Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 5b8a734d authored by mathexp's avatar mathexp
Browse files

bench sumpowlin

parent 81c80d3a
No related branches found
No related tags found
No related merge requests found
Showing
with 1810 additions and 0 deletions
#!/bin/sh
../../../../../../packages/adaptive/target/release/algpath ../../../../../../data/linear/sumpowlin-factorized-3-10-10/random-100/1.json --diff backward --homogenize --arithmetic arb-reckless --jobs 1
\ No newline at end of file
{
"datetime": "2025-03-06 15:17:51.010394",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": 8589934592,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
Running as unit: run-r07259e73f2a640848d6837e6cc4e5bfd.scope; invocation ID: 7395b37c0e0a4fdba45fed8060f12a6c
Starting continuation 1/100...
Continuation 1/100, segment 1/1
137
Starting continuation 2/100...
Continuation 2/100, segment 1/1
215
Starting continuation 3/100...
Continuation 3/100, segment 1/1
216
Starting continuation 4/100...
Continuation 4/100, segment 1/1
155
Starting continuation 5/100...
Continuation 5/100, segment 1/1
265
Starting continuation 6/100...
Continuation 6/100, segment 1/1
143
Starting continuation 7/100...
Continuation 7/100, segment 1/1
157
Starting continuation 8/100...
Continuation 8/100, segment 1/1
184
Starting continuation 9/100...
Continuation 9/100, segment 1/1
157
Starting continuation 10/100...
Continuation 10/100, segment 1/1
194
Starting continuation 11/100...
Continuation 11/100, segment 1/1
162
Starting continuation 12/100...
Continuation 12/100, segment 1/1
147
Starting continuation 13/100...
Continuation 13/100, segment 1/1
202
Starting continuation 14/100...
Continuation 14/100, segment 1/1
183
Starting continuation 15/100...
Continuation 15/100, segment 1/1
160
Starting continuation 16/100...
Continuation 16/100, segment 1/1
220
Starting continuation 17/100...
Continuation 17/100, segment 1/1
126
Starting continuation 18/100...
Continuation 18/100, segment 1/1
210
Starting continuation 19/100...
Continuation 19/100, segment 1/1
265
Starting continuation 20/100...
Continuation 20/100, segment 1/1
128
Starting continuation 21/100...
Continuation 21/100, segment 1/1
138
Starting continuation 22/100...
Continuation 22/100, segment 1/1
186
Starting continuation 23/100...
Continuation 23/100, segment 1/1
237
Starting continuation 24/100...
Continuation 24/100, segment 1/1
184
Starting continuation 25/100...
Continuation 25/100, segment 1/1
191
Starting continuation 26/100...
Continuation 26/100, segment 1/1
190
Starting continuation 27/100...
Continuation 27/100, segment 1/1
128
Starting continuation 28/100...
Continuation 28/100, segment 1/1
122
Starting continuation 29/100...
Continuation 29/100, segment 1/1
206
Starting continuation 30/100...
Continuation 30/100, segment 1/1
194
Starting continuation 31/100...
Continuation 31/100, segment 1/1
130
Starting continuation 32/100...
Continuation 32/100, segment 1/1
236
Starting continuation 33/100...
Continuation 33/100, segment 1/1
191
Starting continuation 34/100...
Continuation 34/100, segment 1/1
189
Starting continuation 35/100...
Continuation 35/100, segment 1/1
296
Starting continuation 36/100...
Continuation 36/100, segment 1/1
164
Starting continuation 37/100...
Continuation 37/100, segment 1/1
193
Starting continuation 38/100...
Continuation 38/100, segment 1/1
206
Starting continuation 39/100...
Continuation 39/100, segment 1/1
92
Starting continuation 40/100...
Continuation 40/100, segment 1/1
201
Starting continuation 41/100...
Continuation 41/100, segment 1/1
164
Starting continuation 42/100...
Continuation 42/100, segment 1/1
216
Starting continuation 43/100...
Continuation 43/100, segment 1/1
217
Starting continuation 44/100...
Continuation 44/100, segment 1/1
207
Starting continuation 45/100...
Continuation 45/100, segment 1/1
155
Starting continuation 46/100...
Continuation 46/100, segment 1/1
187
Starting continuation 47/100...
Continuation 47/100, segment 1/1
208
Starting continuation 48/100...
Continuation 48/100, segment 1/1
200
Starting continuation 49/100...
Continuation 49/100, segment 1/1
225
Starting continuation 50/100...
Continuation 50/100, segment 1/1
176
Starting continuation 51/100...
Continuation 51/100, segment 1/1
257
Starting continuation 52/100...
Continuation 52/100, segment 1/1
157
Starting continuation 53/100...
Continuation 53/100, segment 1/1
228
Starting continuation 54/100...
Continuation 54/100, segment 1/1
164
Starting continuation 55/100...
Continuation 55/100, segment 1/1
150
Starting continuation 56/100...
Continuation 56/100, segment 1/1
140
Starting continuation 57/100...
Continuation 57/100, segment 1/1
166
Starting continuation 58/100...
Continuation 58/100, segment 1/1
212
Starting continuation 59/100...
Continuation 59/100, segment 1/1
158
Starting continuation 60/100...
Continuation 60/100, segment 1/1
136
Starting continuation 61/100...
Continuation 61/100, segment 1/1
157
Starting continuation 62/100...
Continuation 62/100, segment 1/1
214
Starting continuation 63/100...
Continuation 63/100, segment 1/1
161
Starting continuation 64/100...
Continuation 64/100, segment 1/1
182
Starting continuation 65/100...
Continuation 65/100, segment 1/1
165
Starting continuation 66/100...
Continuation 66/100, segment 1/1
165
Starting continuation 67/100...
Continuation 67/100, segment 1/1
194
Starting continuation 68/100...
Continuation 68/100, segment 1/1
136
Starting continuation 69/100...
Continuation 69/100, segment 1/1
195
Starting continuation 70/100...
Continuation 70/100, segment 1/1
191
Starting continuation 71/100...
Continuation 71/100, segment 1/1
145
Starting continuation 72/100...
Continuation 72/100, segment 1/1
224
Starting continuation 73/100...
Continuation 73/100, segment 1/1
215
Starting continuation 74/100...
Continuation 74/100, segment 1/1
126
Starting continuation 75/100...
Continuation 75/100, segment 1/1
187
Starting continuation 76/100...
Continuation 76/100, segment 1/1
313
Starting continuation 77/100...
Continuation 77/100, segment 1/1
183
Starting continuation 78/100...
Continuation 78/100, segment 1/1
103
Starting continuation 79/100...
Continuation 79/100, segment 1/1
237
Starting continuation 80/100...
Continuation 80/100, segment 1/1
152
Starting continuation 81/100...
Continuation 81/100, segment 1/1
154
Starting continuation 82/100...
Continuation 82/100, segment 1/1
220
Starting continuation 83/100...
Continuation 83/100, segment 1/1
174
Starting continuation 84/100...
Continuation 84/100, segment 1/1
188
Starting continuation 85/100...
Continuation 85/100, segment 1/1
186
Starting continuation 86/100...
Continuation 86/100, segment 1/1
194
Starting continuation 87/100...
Continuation 87/100, segment 1/1
296
Starting continuation 88/100...
Continuation 88/100, segment 1/1
253
Starting continuation 89/100...
Continuation 89/100, segment 1/1
126
Starting continuation 90/100...
Continuation 90/100, segment 1/1
161
Starting continuation 91/100...
Continuation 91/100, segment 1/1
155
Starting continuation 92/100...
Continuation 92/100, segment 1/1
143
Starting continuation 93/100...
Continuation 93/100, segment 1/1
123
Starting continuation 94/100...
Continuation 94/100, segment 1/1
137
Starting continuation 95/100...
Continuation 95/100, segment 1/1
157
Starting continuation 96/100...
Continuation 96/100, segment 1/1
154
Starting continuation 97/100...
Continuation 97/100, segment 1/1
255
Starting continuation 98/100...
Continuation 98/100, segment 1/1
232
Starting continuation 99/100...
Continuation 99/100, segment 1/1
131
Starting continuation 100/100...
Continuation 100/100, segment 1/1
127
{
"failures": 0,
"instructions": {
"df": 1450,
"f": 662
},
"maxpreclist": [
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0
],
"meanpreclist": [
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0
],
"overheadtime": 2.142714500427246,
"steplist": [
127.0,
131.0,
232.0,
255.0,
154.0,
157.0,
137.0,
123.0,
143.0,
155.0,
161.0,
126.0,
253.0,
296.0,
194.0,
186.0,
188.0,
174.0,
220.0,
154.0,
152.0,
237.0,
103.0,
183.0,
313.0,
187.0,
126.0,
215.0,
224.0,
145.0,
191.0,
195.0,
136.0,
194.0,
165.0,
165.0,
182.0,
161.0,
214.0,
157.0,
136.0,
158.0,
212.0,
166.0,
140.0,
150.0,
164.0,
228.0,
157.0,
257.0,
176.0,
225.0,
200.0,
208.0,
187.0,
155.0,
207.0,
217.0,
216.0,
164.0,
201.0,
92.0,
206.0,
193.0,
164.0,
296.0,
189.0,
191.0,
236.0,
130.0,
194.0,
206.0,
122.0,
128.0,
190.0,
191.0,
184.0,
237.0,
186.0,
138.0,
128.0,
265.0,
210.0,
126.0,
220.0,
160.0,
183.0,
202.0,
147.0,
162.0,
194.0,
157.0,
184.0,
157.0,
143.0,
265.0,
155.0,
216.0,
215.0,
137.0
],
"time": 2.1240434646606445,
"weightedmeanpreclist": [
53.00000000000001,
52.99999999999999,
52.999999999999986,
52.999999999999986,
52.99999999999999,
53.0,
52.999999999999986,
53.00000000000001,
52.99999999999999,
52.99999999999998,
53.00000000000001,
52.99999999999999,
53.0,
53.00000000000001,
53.000000000000014,
52.99999999999999,
53.00000000000001,
53.00000000000001,
53.0,
53.00000000000001,
53.00000000000001,
53.000000000000014,
52.99999999999999,
52.99999999999999,
53.00000000000002,
53.00000000000001,
52.99999999999999,
53.00000000000002,
53.00000000000003,
53.00000000000001,
52.99999999999999,
53.00000000000001,
52.99999999999999,
53.000000000000014,
53.0,
53.0,
53.0,
53.0,
53.0,
53.000000000000014,
52.99999999999999,
53.0,
53.00000000000001,
52.99999999999999,
52.99999999999999,
53.0,
53.00000000000002,
52.99999999999999,
53.0,
53.0,
53.0,
53.00000000000001,
53.0,
53.00000000000001,
53.0,
53.0,
52.999999999999986,
53.0,
52.99999999999999,
53.00000000000001,
53.00000000000001,
53.0,
52.99999999999999,
53.000000000000014,
53.00000000000002,
53.00000000000001,
52.99999999999999,
52.99999999999999,
53.000000000000014,
52.999999999999986,
53.000000000000014,
52.99999999999999,
52.999999999999986,
52.999999999999986,
53.00000000000001,
53.00000000000001,
52.99999999999998,
52.99999999999999,
52.99999999999999,
52.99999999999999,
52.999999999999986,
53.00000000000003,
53.00000000000001,
53.0,
53.0,
53.0,
52.99999999999999,
53.0,
53.000000000000014,
52.99999999999998,
52.99999999999997,
52.99999999999997,
53.0,
52.999999999999986,
52.99999999999999,
52.99999999999998,
53.0,
52.99999999999999,
53.00000000000002,
52.999999999999986
]
}
\ No newline at end of file
# started on Thu Mar 6 15:17:51 2025
Performance counter stats for 'taskset 4 ./command.sh':
2144.95 msec task-clock # 1.000 CPUs utilized
12 context-switches # 5.595 /sec
1 cpu-migrations # 0.466 /sec
991 page-faults # 462.016 /sec
6632724287 cycles # 3.092 GHz
13447973022 instructions # 2.03 insn per cycle
1012211147 branches # 471.905 M/sec
6153007 branch-misses # 0.61% of all branches
2.145525090 seconds time elapsed
2.141330000 seconds user
0.003999000 seconds sys
#!/bin/sh
julia ../../../../../../packages/_homotopycontinuation.jl ../../../../../../data/linear/sumpowlin-factorized-3-10-10/random-100/1.json
\ No newline at end of file
{
"datetime": "2025-03-06 15:13:42.265866",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": 8589934592,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
Running as unit: run-r114c3815e4c248f492f02f81dec3784b.scope; invocation ID: 896f33648cf84ba19c37059699f6dca1
The latest version of Julia in the `release` channel is 1.11.3+0.x64.linux.gnu. You currently have `1.10.0+0.x64.linux.gnu` installed. Run:
juliaup update
in your terminal shell to install Julia 1.11.3+0.x64.linux.gnu and update the `release` channel to that version.
Parsing file ...
Warmup system ...
Initializing system ...
Solving 1/2...
Solving 2/2...
Certifying ...
Writting to output ...
{
"overheadtime": 3.402185259,
"time": 0.143229713,
"ncertified": 92,
"failures": 0,
"steplist": [
52,
64,
87,
86,
73,
73,
59,
59,
63,
71,
74,
59,
72,
113,
78,
71,
71,
62,
80,
63,
65,
62,
41,
72,
118,
59,
59,
90,
97,
63,
86,
86,
55,
78,
73,
73,
86,
61,
88,
71,
55,
80,
83,
74,
63,
57,
73,
76,
57,
86,
62,
114,
85,
68,
75,
65,
79,
114,
100,
73,
85,
50,
68,
81,
73,
113,
78,
86,
62,
64,
78,
83,
40,
68,
91,
91,
76,
89,
76,
67,
68,
83,
70,
52,
80,
74,
72,
79,
67,
67,
91,
71,
70,
71,
63,
83,
71,
100,
90,
66
]
}
\ No newline at end of file
# started on Thu Mar 6 15:13:42 2025
Performance counter stats for 'taskset 4 ./command.sh':
53376.45 msec task-clock # 1.000 CPUs utilized
287 context-switches # 5.377 /sec
1 cpu-migrations # 0.019 /sec
191259 page-faults # 3.583 K/sec
165107118523 cycles # 3.093 GHz
218084032524 instructions # 1.32 insn per cycle
43754420616 branches # 819.733 M/sec
1141079393 branch-misses # 2.61% of all branches
53.400143764 seconds time elapsed
52.871466000 seconds user
0.503890000 seconds sys
#!/bin/sh
../../../../../../packages/adaptive/target/release/algpath ../../../../../../data/linear/sumpowlin-factorized-3-20-10/random-100/1.json --diff backward --homogenize --arithmetic arb-reckless --jobs 1
\ No newline at end of file
{
"datetime": "2025-03-06 15:17:58.825748",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": 8589934592,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
Running as unit: run-r918cfa0384c440be8f60ea7e9da7eedf.scope; invocation ID: 7e46ddc1c4ff4d56b73080035fb1e7ce
Starting continuation 1/100...
Continuation 1/100, segment 1/1
207
Starting continuation 2/100...
Continuation 2/100, segment 1/1
406
Starting continuation 3/100...
Continuation 3/100, segment 1/1
281
Starting continuation 4/100...
Continuation 4/100, segment 1/1
235
Starting continuation 5/100...
Continuation 5/100, segment 1/1
241
Starting continuation 6/100...
Continuation 6/100, segment 1/1
186
Starting continuation 7/100...
Continuation 7/100, segment 1/1
290
Starting continuation 8/100...
Continuation 8/100, segment 1/1
224
Starting continuation 9/100...
Continuation 9/100, segment 1/1
218
Starting continuation 10/100...
Continuation 10/100, segment 1/1
193
Starting continuation 11/100...
Continuation 11/100, segment 1/1
396
Starting continuation 12/100...
Continuation 12/100, segment 1/1
357
Starting continuation 13/100...
Continuation 13/100, segment 1/1
183
Starting continuation 14/100...
Continuation 14/100, segment 1/1
304
Starting continuation 15/100...
Continuation 15/100, segment 1/1
224
Starting continuation 16/100...
Continuation 16/100, segment 1/1
319
Starting continuation 17/100...
Continuation 17/100, segment 1/1
196
Starting continuation 18/100...
Continuation 18/100, segment 1/1
253
Starting continuation 19/100...
Continuation 19/100, segment 1/1
326
Starting continuation 20/100...
Continuation 20/100, segment 1/1
233
Starting continuation 21/100...
Continuation 21/100, segment 1/1
269
Starting continuation 22/100...
Continuation 22/100, segment 1/1
234
Starting continuation 23/100...
Continuation 23/100, segment 1/1
416
Starting continuation 24/100...
Continuation 24/100, segment 1/1
271
Starting continuation 25/100...
Continuation 25/100, segment 1/1
253
Starting continuation 26/100...
Continuation 26/100, segment 1/1
266
Starting continuation 27/100...
Continuation 27/100, segment 1/1
382
Starting continuation 28/100...
Continuation 28/100, segment 1/1
362
Starting continuation 29/100...
Continuation 29/100, segment 1/1
324
Starting continuation 30/100...
Continuation 30/100, segment 1/1
233
Starting continuation 31/100...
Continuation 31/100, segment 1/1
218
Starting continuation 32/100...
Continuation 32/100, segment 1/1
208
Starting continuation 33/100...
Continuation 33/100, segment 1/1
297
Starting continuation 34/100...
Continuation 34/100, segment 1/1
219
Starting continuation 35/100...
Continuation 35/100, segment 1/1
255
Starting continuation 36/100...
Continuation 36/100, segment 1/1
359
Starting continuation 37/100...
Continuation 37/100, segment 1/1
464
Starting continuation 38/100...
Continuation 38/100, segment 1/1
239
Starting continuation 39/100...
Continuation 39/100, segment 1/1
271
Starting continuation 40/100...
Continuation 40/100, segment 1/1
634
Starting continuation 41/100...
Continuation 41/100, segment 1/1
258
Starting continuation 42/100...
Continuation 42/100, segment 1/1
218
Starting continuation 43/100...
Continuation 43/100, segment 1/1
272
Starting continuation 44/100...
Continuation 44/100, segment 1/1
313
Starting continuation 45/100...
Continuation 45/100, segment 1/1
257
Starting continuation 46/100...
Continuation 46/100, segment 1/1
352
Starting continuation 47/100...
Continuation 47/100, segment 1/1
210
Starting continuation 48/100...
Continuation 48/100, segment 1/1
200
Starting continuation 49/100...
Continuation 49/100, segment 1/1
254
Starting continuation 50/100...
Continuation 50/100, segment 1/1
313
Starting continuation 51/100...
Continuation 51/100, segment 1/1
324
Starting continuation 52/100...
Continuation 52/100, segment 1/1
239
Starting continuation 53/100...
Continuation 53/100, segment 1/1
489
Starting continuation 54/100...
Continuation 54/100, segment 1/1
311
Starting continuation 55/100...
Continuation 55/100, segment 1/1
300
Starting continuation 56/100...
Continuation 56/100, segment 1/1
341
Starting continuation 57/100...
Continuation 57/100, segment 1/1
243
Starting continuation 58/100...
Continuation 58/100, segment 1/1
233
Starting continuation 59/100...
Continuation 59/100, segment 1/1
281
Starting continuation 60/100...
Continuation 60/100, segment 1/1
397
Starting continuation 61/100...
Continuation 61/100, segment 1/1
323
Starting continuation 62/100...
Continuation 62/100, segment 1/1
314
Starting continuation 63/100...
Continuation 63/100, segment 1/1
237
Starting continuation 64/100...
Continuation 64/100, segment 1/1
225
Starting continuation 65/100...
Continuation 65/100, segment 1/1
332
Starting continuation 66/100...
Continuation 66/100, segment 1/1
280
Starting continuation 67/100...
Continuation 67/100, segment 1/1
337
Starting continuation 68/100...
Continuation 68/100, segment 1/1
198
Starting continuation 69/100...
Continuation 69/100, segment 1/1
283
Starting continuation 70/100...
Continuation 70/100, segment 1/1
226
Starting continuation 71/100...
Continuation 71/100, segment 1/1
347
Starting continuation 72/100...
Continuation 72/100, segment 1/1
286
Starting continuation 73/100...
Continuation 73/100, segment 1/1
354
Starting continuation 74/100...
Continuation 74/100, segment 1/1
210
Starting continuation 75/100...
Continuation 75/100, segment 1/1
215
Starting continuation 76/100...
Continuation 76/100, segment 1/1
220
Starting continuation 77/100...
Continuation 77/100, segment 1/1
417
Starting continuation 78/100...
Continuation 78/100, segment 1/1
334
Starting continuation 79/100...
Continuation 79/100, segment 1/1
244
Starting continuation 80/100...
Continuation 80/100, segment 1/1
255
Starting continuation 81/100...
Continuation 81/100, segment 1/1
204
Starting continuation 82/100...
Continuation 82/100, segment 1/1
235
Starting continuation 83/100...
Continuation 83/100, segment 1/1
284
Starting continuation 84/100...
Continuation 84/100, segment 1/1
269
Starting continuation 85/100...
Continuation 85/100, segment 1/1
409
Starting continuation 86/100...
Continuation 86/100, segment 1/1
321
Starting continuation 87/100...
Continuation 87/100, segment 1/1
390
Starting continuation 88/100...
Continuation 88/100, segment 1/1
386
Starting continuation 89/100...
Continuation 89/100, segment 1/1
291
Starting continuation 90/100...
Continuation 90/100, segment 1/1
268
Starting continuation 91/100...
Continuation 91/100, segment 1/1
290
Starting continuation 92/100...
Continuation 92/100, segment 1/1
212
Starting continuation 93/100...
Continuation 93/100, segment 1/1
218
Starting continuation 94/100...
Continuation 94/100, segment 1/1
378
Starting continuation 95/100...
Continuation 95/100, segment 1/1
189
Starting continuation 96/100...
Continuation 96/100, segment 1/1
214
Starting continuation 97/100...
Continuation 97/100, segment 1/1
375
Starting continuation 98/100...
Continuation 98/100, segment 1/1
354
Starting continuation 99/100...
Continuation 99/100, segment 1/1
218
Starting continuation 100/100...
Continuation 100/100, segment 1/1
223
{
"failures": 0,
"instructions": {
"df": 1648,
"f": 728
},
"maxpreclist": [
53.0,
53.0,
55.0,
54.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
55.0,
54.0,
55.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
55.0,
53.0,
53.0,
53.0,
53.0,
53.0,
54.0,
53.0,
54.0,
53.0,
53.0,
53.0,
55.0,
53.0,
53.0,
54.0,
53.0,
54.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
54.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
54.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
56.0,
53.0,
53.0,
53.0,
53.0,
53.0,
54.0,
55.0,
53.0,
53.0,
54.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0
],
"meanpreclist": [
53.0,
53.0,
53.00847457627118,
53.00266666666667,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.00769230769231,
53.00311526479751,
53.01466992665037,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.007194244604314,
53.0,
53.0,
53.0,
53.0,
53.0,
53.002881844380404,
53.0,
53.003533568904594,
53.0,
53.0,
53.0,
53.00903614457831,
53.0,
53.0,
53.003184713375795,
53.0,
53.00755667506297,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0040899795501,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.00284090909091,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.023569023569024,
53.0,
53.0,
53.0,
53.0,
53.0,
53.00261780104712,
53.01127819548872,
53.0,
53.0,
53.00240384615385,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0,
53.0
],
"overheadtime": 6.133197784423828,
"steplist": [
223.0,
218.0,
354.0,
375.0,
214.0,
189.0,
378.0,
218.0,
212.0,
290.0,
268.0,
291.0,
386.0,
390.0,
321.0,
409.0,
269.0,
284.0,
235.0,
204.0,
255.0,
244.0,
334.0,
417.0,
220.0,
215.0,
210.0,
354.0,
286.0,
347.0,
226.0,
283.0,
198.0,
337.0,
280.0,
332.0,
225.0,
237.0,
314.0,
323.0,
397.0,
281.0,
233.0,
243.0,
341.0,
300.0,
311.0,
489.0,
239.0,
324.0,
313.0,
254.0,
200.0,
210.0,
352.0,
257.0,
313.0,
272.0,
218.0,
258.0,
634.0,
271.0,
239.0,
464.0,
359.0,
255.0,
219.0,
297.0,
208.0,
218.0,
233.0,
324.0,
362.0,
382.0,
266.0,
253.0,
271.0,
416.0,
234.0,
269.0,
233.0,
326.0,
253.0,
196.0,
319.0,
224.0,
304.0,
183.0,
357.0,
396.0,
193.0,
218.0,
224.0,
290.0,
186.0,
241.0,
235.0,
281.0,
406.0,
207.0
],
"time": 6.1142401695251465,
"weightedmeanpreclist": [
53.00000000000001,
52.99999999999999,
53.000000000000014,
53.0,
53.0,
53.0,
53.0,
52.999999999999986,
53.0,
52.99999999999999,
53.00000000000001,
52.999999999999986,
52.99999999999999,
53.00000000000001,
53.0,
52.99999999999999,
53.0,
52.99999999999999,
52.99999999999999,
53.0,
52.99999999999999,
52.99999999999999,
53.000000000000014,
53.0,
53.0,
52.99999999999999,
52.99999999999999,
52.99999999999999,
53.00000000000001,
53.0,
52.99999999999999,
53.0,
52.999999999999986,
53.00000000000001,
53.00000000000001,
53.00000000000001,
52.99999999999999,
53.00000000000001,
52.999999999999986,
53.0,
53.0,
53.000000000000014,
53.00000000000001,
53.0,
52.999999999999986,
53.000000000000014,
53.00000000000001,
53.00000000000001,
53.00000000000001,
53.0,
52.99999999999999,
53.0,
52.999999999999986,
52.99999999999999,
52.99999999999999,
52.999999999999986,
53.0,
53.00000000000001,
53.000000000000014,
53.0,
53.00000000000001,
53.0,
53.0,
53.00000000000002,
53.0,
52.99999999999999,
53.000000000000014,
52.99999999999999,
53.0,
53.0,
53.00000000000001,
53.0,
53.0,
53.0,
53.00000000000001,
52.99999999999999,
53.00000000000001,
53.00000000000001,
53.0,
53.00000000000001,
53.0,
52.99999999999999,
52.999999999999986,
53.0,
53.00000000000002,
53.0,
53.000000000000014,
53.000000000000014,
53.0,
52.99999999999999,
53.00000000000001,
53.000000000000014,
53.000000000000014,
52.99999999999999,
52.999999999999986,
53.0,
52.99999999999999,
53.000000000000014,
52.99999999999999,
53.0
]
}
\ No newline at end of file
# started on Thu Mar 6 15:17:58 2025
Performance counter stats for 'taskset 4 ./command.sh':
6135.59 msec task-clock # 1.000 CPUs utilized
15 context-switches # 2.445 /sec
0 cpu-migrations # 0.000 /sec
1132 page-faults # 184.497 /sec
18969428529 cycles # 3.092 GHz
41525052062 instructions # 2.19 insn per cycle
4344574758 branches # 708.095 M/sec
38058221 branch-misses # 0.88% of all branches
6.136179422 seconds time elapsed
6.127956000 seconds user
0.007998000 seconds sys
#!/bin/sh
julia ../../../../../../packages/_homotopycontinuation.jl ../../../../../../data/linear/sumpowlin-factorized-3-20-10/random-100/1.json
\ No newline at end of file
{
"datetime": "2025-03-06 15:14:55.522332",
"return code": 0,
"timeout": null,
"timeout error": false,
"memory": 8589934592,
"memory error": false,
"script error": false,
"killed manually": false
}
\ No newline at end of file
Running as unit: run-r3d61273e2e7b41ad80654da714fdc8b0.scope; invocation ID: 76cefe4d682049dc904c6e76ae07b062
The latest version of Julia in the `release` channel is 1.11.3+0.x64.linux.gnu. You currently have `1.10.0+0.x64.linux.gnu` installed. Run:
juliaup update
in your terminal shell to install Julia 1.11.3+0.x64.linux.gnu and update the `release` channel to that version.
Parsing file ...
Warmup system ...
Initializing system ...
Solving 1/2...
Solving 2/2...
Certifying ...
Writting to output ...
{
"overheadtime": 3.457177425,
"time": 0.184153897,
"ncertified": 87,
"failures": 12,
"steplist": [
92,
86,
1,
1,
91,
82,
110,
88,
101,
121,
107,
109,
134,
1,
114,
1,
101,
106,
96,
87,
107,
99,
122,
1,
108,
85,
90,
131,
107,
122,
99,
103,
96,
9,
109,
1,
87,
101,
119,
125,
6,
109,
90,
105,
136,
123,
112,
1,
93,
136,
112,
105,
84,
101,
139,
119,
116,
106,
102,
95,
164,
122,
109,
116,
3,
106,
81,
1,
84,
97,
111,
128,
151,
163,
1,
106,
107,
145,
109,
115,
97,
118,
107,
84,
110,
102,
112,
78,
131,
126,
84,
86,
91,
104,
77,
103,
96,
109,
158,
89
]
}
\ No newline at end of file
# started on Thu Mar 6 15:14:55 2025
Performance counter stats for 'taskset 4 ./command.sh':
53921.06 msec task-clock # 0.997 CPUs utilized
724 context-switches # 13.427 /sec
0 cpu-migrations # 0.000 /sec
173934 page-faults # 3.226 K/sec
166771804390 cycles # 3.093 GHz
220640309830 instructions # 1.32 insn per cycle
44415677573 branches # 823.717 M/sec
1157007752 branch-misses # 2.60% of all branches
54.071344532 seconds time elapsed
53.372548000 seconds user
0.548098000 seconds sys
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment