Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-sporttournament10.opb |
| MD5SUM | 4cd5bfafbb5309e3197a3fb36e6ee167 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -22 |
| Best CPU time to get the best result obtained on this benchmark | 0.6519 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 118 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 118 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 80 |
| Sum of products size (including duplicates) | 160 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T04:01:14+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119292-1467252074.opb"] 0.00/0.01 c use --random-gen="1340088433 1602959405 1862621646 236459272 2251278217 3513068358 1087996470 2797088915 1243642506 386307207 2092316516 3701753361 1316067324 4140288719 3048725533 1773955486 1948913446 2761985877 1204153094 961946644 1823633567 2708626115 4259186245 3700329427 155849769 1436262957 1480554119 3424874317 721955163 1990420809 3188628378 2135606427 749206181 4192078219 1865320303 339795815 1031130557 3527482424 3136136763 745768853 1809655801 3850387510 1272129115 3997084382 316473976 695721971 4046957527 3681406727 3926247651 3455946126 4179742964 4288799873 918593398 2597903711 2958354566 904342483 3991795349 4224630190 3086273667 3769935432 2261574232 3774410528 37011650 1234096803 2289170474 1586940196 801790510 2066593051 3162128916 2619275029 209494688 2366541426 4291322385 259831985 1555140435 3412041738 2996539008 1479071250 4286391847 1844829015 124640949 4272659056 23757644 3239761783 2529644619 2656674114 1195696969 2936462996 4154485973 3583125835 4236199811 2321977639 510258037 2958644285 4009124187 1249204446 2171788268 206934744 1687836713 1061941699 606733145 791455901 3498513897 3584011884 3066121838 1652937355 4116219452 3288350178 2841978851 1889331074 92765203 2605232525 1500716740 2832929265 2591030702 2655228312 2804077241 1539777899 1610294201 1242199684 1181657513 1792342595 1464362073 1365134996 2269440612 637946795 2160706120 2499099731 889034884 2118661345 937832962 1758612401 1767686285 53314635 887297055 3786512216 2885700509 3636591269 1903984314 1794084438 2063158067 3141237348 3042351741 2817634844 582754539 4072391072 3196652612 2886542208 3019953850 2096526926 3340942238 3936030962 2442334265 1666716339 141906403 2194662185 3523982608 30917825 3999697423 2045884720 2281584112 3715568489 2679928599 3104232085 948564765 952430094 2481491454 1032397361 2977323376 670465474 812978214 3258087614 2132629340 3084914541 739712087 3038975160 815466012 1249493174 2159337836 3670380000 1474280658 1286727133 535895398 2635459758 977109422 2720969503 2659529966 2042244856 55290826 325269440 1551441696 882979619 848928373 809855687 930154628 3932518045 3254477446 4254221578 1666373766 4229483994 4124700743 1792759242 3318010469 1661795526 1024527540 3403254110 3420246762 60974522 3628965969 2984610858 3035531157 3085745107 3739649387 2322177527 3712792315 3829668055 2494563060 1568077195 3732794575 4250264084 1606581548 691799548 2906801062 1293689116 4085238185 1954237408 2024419360 2785231133 3045112667 135468497 283693939 1349064698 3216680312 1136945684 3570337074 3973057637 1705732073 3257796216 1622385518 3472742608 2741823284 370406656 2506564622 4250224945 57007960 1237168368 406012986 2285693547 782418275 3777394880 2949978031 1876813330 2646449230 3908927957 2232847047 1767291396 255 362436" option to reproduce the execution 0.00/0.01 c #vars 45 0.00/0.01 c #constraints 0 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 86 | 0 | 76 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 86 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 0 0.00/0.01 c BCD2: updating upper bound: 118 -> 58 0.00/0.01 c BCD2: 0 <= obj <= 58 0.00/0.01 c BCD2: #cores=0, #unrelaxed=112, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 61 | 0 | 76 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 61 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -58 0.00/0.01 c BCD2: 1 <= obj <= 58 0.00/0.01 c BCD2: #cores=1, #unrelaxed=109, #relaxed=3, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 0 | 1 0.00/0.01 c 0.0s | 0 | 63 | 0 | 76 0 | 0 | 1 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 63 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -57 0.00/0.01 c BCD2: 2 <= obj <= 58 0.00/0.01 c BCD2: #cores=2, #unrelaxed=106, #relaxed=6, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 0 | 2 0.00/0.01 c 0.0s | 0 | 61 | 0 | 76 0 | 0 | 2 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 61 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.01 c lower bound updated to -56 0.00/0.01 c BCD2: 3 <= obj <= 58 0.00/0.01 c BCD2: #cores=2, #unrelaxed=104, #relaxed=8, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 1 | 2 0.00/0.01 c 0.0s | 0 | 61 | 0 | 76 0 | 1 | 3 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 61 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to -55 0.00/0.01 c BCD2: 4 <= obj <= 58 0.00/0.01 c BCD2: #cores=3, #unrelaxed=101, #relaxed=11, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 76 0 | 1 | 4 0.00/0.02 c 0.0s | 0 | 60 | 0 | 76 0 | 1 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 60 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -54 0.00/0.02 c BCD2: 5 <= obj <= 58 0.00/0.02 c BCD2: #cores=3, #unrelaxed=99, #relaxed=13, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 2 | 4 0.00/0.02 c 0.0s | 0 | 60 | 0 | 76 0 | 2 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 60 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=3 0.00/0.02 c lower bound updated to -53 0.00/0.02 c BCD2: 6 <= obj <= 58 0.00/0.02 c BCD2: #cores=3, #unrelaxed=95, #relaxed=17, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 3 | 5 0.00/0.02 c 0.0s | 0 | 57 | 0 | 76 0 | 3 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -52 0.00/0.02 c BCD2: 7 <= obj <= 58 0.00/0.02 c BCD2: #cores=4, #unrelaxed=92, #relaxed=20, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 3 | 7 0.00/0.02 c 0.0s | 0 | 57 | 0 | 76 0 | 3 | 7 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -51 0.00/0.02 c BCD2: 8 <= obj <= 58 0.00/0.02 c BCD2: #cores=4, #unrelaxed=90, #relaxed=22, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 4 | 7 0.00/0.02 c 0.0s | 0 | 57 | 0 | 76 0 | 4 | 8 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -50 0.00/0.02 c BCD2: 9 <= obj <= 58 0.00/0.02 c BCD2: #cores=5, #unrelaxed=87, #relaxed=25, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 4 | 9 0.00/0.02 c 0.0s | 0 | 56 | 0 | 76 0 | 4 | 9 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 56 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -49 0.00/0.02 c BCD2: 10 <= obj <= 58 0.00/0.02 c BCD2: #cores=6, #unrelaxed=84, #relaxed=28, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 4 | 10 0.00/0.02 c 0.0s | 0 | 55 | 0 | 76 0 | 4 | 10 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 55 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -48 0.00/0.02 c BCD2: 11 <= obj <= 58 0.00/0.02 c BCD2: #cores=6, #unrelaxed=82, #relaxed=30, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 5 | 10 0.00/0.02 c 0.0s | 0 | 55 | 0 | 76 0 | 5 | 11 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 55 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -47 0.00/0.02 c BCD2: 12 <= obj <= 58 0.00/0.02 c BCD2: #cores=7, #unrelaxed=79, #relaxed=33, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 5 | 12 0.00/0.02 c 0.0s | 0 | 54 | 0 | 76 0 | 5 | 12 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 54 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -46 0.00/0.02 c BCD2: 13 <= obj <= 58 0.00/0.02 c BCD2: #cores=8, #unrelaxed=76, #relaxed=36, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 5 | 13 0.00/0.02 c 0.0s | 0 | 54 | 0 | 76 0 | 5 | 13 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 54 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -45 0.00/0.02 c BCD2: 14 <= obj <= 58 0.00/0.02 c BCD2: #cores=9, #unrelaxed=73, #relaxed=39, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 5 | 14 0.00/0.02 c 0.0s | 0 | 101 | 1 | 76 0 | 5 | 14 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 101 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 1 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 0.00/0.02 c lower bound updated to -44 0.00/0.02 c BCD2: 15 <= obj <= 58 0.00/0.02 c BCD2: #cores=9, #unrelaxed=71, #relaxed=41, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 6 | 14 0.00/0.02 c 0.0s | 0 | 53 | 0 | 76 0 | 6 | 15 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 53 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 12: cost of the new core is >=4 0.00/0.02 c lower bound updated to -43 0.00/0.02 c BCD2: 16 <= obj <= 58 0.00/0.02 c BCD2: #cores=9, #unrelaxed=66, #relaxed=46, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 76 0 | 7 | 15 0.00/0.02 c 0.0s | 0 | 50 | 0 | 76 0 | 7 | 16 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 50 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -42 0.00/0.02 c BCD2: 17 <= obj <= 58 0.00/0.02 c BCD2: #cores=10, #unrelaxed=63, #relaxed=49, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 7 | 17 0.00/0.03 c 0.0s | 0 | 50 | 0 | 76 0 | 7 | 17 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 50 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 15: cost of the new core is >=5 0.00/0.03 c lower bound updated to -41 0.00/0.03 c BCD2: 18 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=59, #relaxed=53, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 10 | 17 0.00/0.03 c 0.0s | 0 | 46 | 0 | 76 0 | 10 | 20 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to -40 0.00/0.03 c BCD2: 19 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=57, #relaxed=55, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 10 | 21 0.00/0.03 c 0.0s | 0 | 46 | 0 | 76 0 | 10 | 21 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -39 0.00/0.03 c BCD2: 20 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=54, #relaxed=58, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 10 | 21 0.00/0.03 c 0.0s | 0 | 45 | 0 | 76 0 | 10 | 21 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 45 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=2 0.00/0.03 c lower bound updated to -38 0.00/0.03 c BCD2: 21 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=50, #relaxed=62, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 11 | 21 0.00/0.03 c 0.0s | 0 | 54 | 1 | 76 0 | 11 | 22 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 54 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 14: cost of the new core is >=5 0.00/0.03 c lower bound updated to -37 0.00/0.03 c BCD2: 22 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=46, #relaxed=66, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 14 | 22 0.00/0.03 c 0.0s | 0 | 52 | 1 | 76 0 | 14 | 25 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 52 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 0.00/0.03 c lower bound updated to -36 0.00/0.03 c BCD2: 23 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=43, #relaxed=69, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 15 | 25 0.00/0.03 c 0.0s | 0 | 36 | 0 | 76 0 | 15 | 26 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 36 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to -35 0.00/0.03 c BCD2: 24 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=41, #relaxed=71, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 15 | 27 0.00/0.03 c 0.0s | 0 | 36 | 0 | 76 0 | 15 | 27 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 36 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to -34 0.00/0.03 c BCD2: 25 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=39, #relaxed=73, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 15 | 28 0.00/0.03 c 0.0s | 0 | 37 | 1 | 76 0 | 15 | 28 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 37 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 14: cost of the new core is >=5 0.00/0.03 c lower bound updated to -33 0.00/0.03 c BCD2: 26 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=36, #relaxed=76, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 18 | 28 0.00/0.03 c 0.0s | 0 | 33 | 0 | 76 0 | 18 | 31 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 33 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -32 0.00/0.03 c BCD2: 27 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=33, #relaxed=79, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 18 | 31 0.00/0.03 c 0.0s | 0 | 34 | 1 | 76 0 | 18 | 31 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 34 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 6 and merging with 2 cores into a new core of size 23: cost of the new core is >=7 0.00/0.03 c lower bound updated to -31 0.00/0.03 c BCD2: 28 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=27, #relaxed=85, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 76 0 | 20 | 31 0.00/0.03 c 0.0s | 0 | 28 | 0 | 76 0 | 20 | 33 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 28 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -30 0.00/0.03 c BCD2: 29 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=24, #relaxed=88, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 76 0 | 20 | 33 0.00/0.04 c 0.0s | 0 | 29 | 0 | 76 0 | 20 | 33 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 29 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -29 0.00/0.04 c BCD2: 30 <= obj <= 58 0.00/0.04 c BCD2: #cores=10, #unrelaxed=21, #relaxed=91, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 76 0 | 20 | 33 0.00/0.04 c 0.0s | 0 | 31 | 1 | 76 0 | 20 | 33 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 31 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 17: cost of the new core is >=5 0.00/0.04 c lower bound updated to -28 0.00/0.04 c BCD2: 31 <= obj <= 58 0.00/0.04 c BCD2: #cores=9, #unrelaxed=16, #relaxed=96, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 76 0 | 22 | 33 0.00/0.04 c 0.0s | 0 | 53 | 14 | 76 0 | 22 | 35 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 53 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 14 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 22: cost of the new core is >=7 0.00/0.04 c lower bound updated to -27 0.00/0.04 c BCD2: 32 <= obj <= 58 0.00/0.04 c BCD2: #cores=7, #unrelaxed=12, #relaxed=100, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 76 0 | 25 | 35 0.00/0.04 c 0.0s | 0 | 92 | 21 | 76 0 | 25 | 38 0.00/0.04 c #cpu_time = 0.002s 0.00/0.04 c #wall_clock_time = 0.002s 0.00/0.04 c #decision = 92 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 21 0.00/0.04 c #restart = 0 0.00/0.04 o -17 0.00/0.04 c BCD2: updating upper bound: 58 -> 41 0.00/0.04 c BCD2: 32 <= obj <= 41 0.00/0.04 c BCD2: #cores=7, #unrelaxed=12, #relaxed=100, #hardened=0 0.00/0.04 c BCD2: #sat=2 #unsat=33 bias=33/35 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 76 0 | 25 | 39 0.00/0.05 c 0.0s | 0 | 164 | 92 | 84 0 | 25 | 39 0.00/0.05 c #cpu_time = 0.007s 0.00/0.05 c #wall_clock_time = 0.007s 0.00/0.05 c #decision = 164 0.00/0.05 c #random_decision = 1 0.00/0.05 c #conflict = 92 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 4 and merging with 4 cores into a new core of size 50: cost of the new core is >=16 0.00/0.05 c lower bound updated to -26 0.00/0.05 c BCD2: 33 <= obj <= 41 0.00/0.05 c BCD2: #cores=4, #unrelaxed=8, #relaxed=104, #hardened=0 0.00/0.05 c BCD2: #sat=2 #unsat=34 bias=34/36 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 84 0 | 31 | 39 0.00/0.06 c 0.0s | 1 | 163 | 100 | 84 0 | 31 | 47 0.00/0.07 c 0.0s | 2 | 416 | 250 | 93 2 | 31 | 47 0.09/0.10 c 0.0s | 3 | 748 | 475 | 103 5 | 31 | 47 0.09/0.13 c 0.1s | 4 | 1234 | 813 | 114 9 | 31 | 47 0.09/0.18 c 0.1s | 5 | 1951 | 1320 | 126 15 | 31 | 47 0.19/0.26 c 0.2s | 6 | 2965 | 2081 | 139 23 | 31 | 47 0.29/0.39 c 0.3s | 7 | 4549 | 3223 | 153 34 | 31 | 47 0.49/0.57 c 0.5s | 8 | 6840 | 4936 | 169 49 | 31 | 47 0.79/0.84 c 0.8s | 9 | 10389 | 7506 | 186 71 | 31 | 47 1.19/1.22 c 1.2s | 10 | 15894 | 11361 | 205 102 | 31 | 47 1.58/1.65 c 1.6s | 11 | 24110 | 17144 | 226 146 | 31 | 47 2.30/2.38 c 2.3s | 12 | 36828 | 25819 | 249 205 | 31 | 47 3.30/3.38 c 3.3s | 13 | 55666 | 38832 | 274 289 | 31 | 47 3.79/3.86 c 3.8s | 13 | 64837 | 45336 | 274 328 | 31 | 47 3.79/3.86 c #cpu_time = 3.804s 3.79/3.86 c #wall_clock_time = 3.814s 3.79/3.86 c #decision = 64837 3.79/3.86 c #random_decision = 290 3.79/3.86 c #conflict = 45336 3.79/3.86 c #restart = 13 3.79/3.86 o -21 3.79/3.86 c BCD2: updating upper bound: 41 -> 37 3.79/3.86 c BCD2: 33 <= obj <= 37 3.79/3.86 c BCD2: #cores=4, #unrelaxed=8, #relaxed=104, #hardened=0 3.79/3.86 c BCD2: #sat=3 #unsat=34 bias=34/37 3.79/3.86 c Solving starts ... 3.79/3.86 c ============================[ Search Statistics ]============================ 3.79/3.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.86 c | | | | Limit GC | Var | Constra 3.79/3.86 c ============================================================================= 3.79/3.86 c 0.0s | 0 | 0 | 0 | 274 0 | 31 | 48 3.79/3.87 c 0.0s | 1 | 195 | 100 | 274 0 | 31 | 48 3.79/3.89 c 0.0s | 2 | 412 | 250 | 274 1 | 31 | 48 3.89/3.90 c 0.0s | 3 | 740 | 475 | 274 3 | 31 | 48 3.89/3.93 c 0.1s | 4 | 1239 | 813 | 274 5 | 31 | 48 3.89/3.97 c 0.1s | 5 | 1960 | 1320 | 274 8 | 31 | 48 3.99/4.02 c 0.2s | 6 | 2938 | 2081 | 274 12 | 31 | 48 4.09/4.10 c 0.2s | 7 | 4524 | 3223 | 274 19 | 31 | 48 4.19/4.22 c 0.4s | 8 | 6974 | 4936 | 274 29 | 31 | 48 4.40/4.41 c 0.5s | 9 | 10417 | 7506 | 274 44 | 31 | 48 4.59/4.67 c 0.8s | 10 | 15639 | 11361 | 274 67 | 31 | 48 4.99/5.09 c 1.2s | 11 | 23355 | 17144 | 302 99 | 31 | 48 5.69/5.70 c 1.8s | 12 | 34969 | 25819 | 302 147 | 31 | 48 6.70/6.72 c 2.9s | 13 | 52481 | 38832 | 302 218 | 31 | 48 8.19/8.26 c 4.4s | 14 | 79736 | 58352 | 333 317 | 31 | 48 10.19/10.27 c 6.4s | 14 | 114444 | 84452 | 333 449 | 31 | 48 10.49/10.53 c 6.7s | 15 | 118649 | 87632 | 367 464 | 31 | 48 12.49/12.54 c 8.7s | 15 | 152354 | 112832 | 367 581 | 31 | 48 13.99/14.05 c 10.2s | 16 | 177172 | 131552 | 367 668 | 31 | 48 14.59/14.63 c 10.8s | 16 | 186813 | 138601 | 367 701 | 31 | 48 14.59/14.63 c #cpu_time = 10.735s 14.59/14.63 c #wall_clock_time = 10.763s 14.59/14.63 c #decision = 186813 14.59/14.63 c #random_decision = 717 14.59/14.63 c #conflict = 138601 14.59/14.63 c #restart = 16 14.59/14.63 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 69: cost of the new core is >=22 14.59/14.63 c lower bound updated to -25 14.59/14.63 c BCD2: 34 <= obj <= 37 14.59/14.63 c BCD2: #cores=3, #unrelaxed=6, #relaxed=106, #hardened=0 14.59/14.63 c BCD2: #sat=3 #unsat=35 bias=35/38 14.59/14.63 c Solving starts ... 14.59/14.63 c ============================[ Search Statistics ]============================ 14.59/14.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.59/14.63 c | | | | Limit GC | Var | Constra 14.59/14.63 c ============================================================================= 14.59/14.63 c 0.0s | 0 | 0 | 0 | 367 0 | 36 | 48 14.59/14.64 c 0.0s | 1 | 168 | 100 | 367 0 | 36 | 56 14.59/14.65 c 0.0s | 2 | 438 | 250 | 367 0 | 36 | 56 14.59/14.67 c 0.0s | 3 | 786 | 475 | 367 1 | 36 | 56 14.69/14.71 c 0.1s | 4 | 1382 | 813 | 367 2 | 36 | 56 14.69/14.75 c 0.1s | 5 | 2158 | 1320 | 367 5 | 36 | 56 14.79/14.82 c 0.2s | 6 | 3267 | 2081 | 367 8 | 36 | 56 14.89/14.93 c 0.3s | 7 | 4874 | 3223 | 367 13 | 36 | 56 14.99/15.09 c 0.5s | 8 | 7228 | 4936 | 367 21 | 36 | 56 15.29/15.32 c 0.7s | 9 | 10908 | 7506 | 367 33 | 36 | 56 15.59/15.68 c 1.1s | 10 | 16283 | 11361 | 367 51 | 36 | 56 16.19/16.21 c 1.6s | 11 | 24098 | 17144 | 404 75 | 36 | 56 16.89/16.98 c 2.4s | 12 | 36318 | 25819 | 404 112 | 36 | 56 18.08/18.17 c 3.5s | 13 | 53488 | 38832 | 404 167 | 36 | 56 19.89/19.95 c 5.3s | 14 | 79633 | 58352 | 404 250 | 36 | 56 21.88/21.96 c 7.3s | 14 | 109554 | 80152 | 404 342 | 36 | 56 22.58/22.65 c 8.0s | 15 | 119694 | 87632 | 404 374 | 36 | 56 24.58/24.66 c 10.0s | 15 | 149121 | 109732 | 404 468 | 36 | 56 26.58/26.66 c 12.0s | 16 | 179161 | 131552 | 445 553 | 36 | 56 28.60/28.66 c 14.0s | 16 | 210136 | 153652 | 445 640 | 36 | 56 30.59/30.66 c 16.0s | 16 | 240491 | 175852 | 445 727 | 36 | 56 32.59/32.64 c 18.0s | 17 | 269074 | 197432 | 445 811 | 36 | 56 34.59/34.65 c 20.0s | 17 | 298184 | 219132 | 445 896 | 36 | 56 36.59/36.65 c 22.0s | 17 | 327473 | 240532 | 445 979 | 36 | 56 38.59/38.65 c 24.0s | 17 | 356077 | 262332 | 490 1063 | 36 | 56 40.58/40.65 c 26.0s | 17 | 385564 | 284332 | 490 1142 | 36 | 56 41.68/41.73 c 27.1s | 18 | 401010 | 296252 | 490 1185 | 36 | 56 43.68/43.73 c 29.1s | 18 | 431032 | 318352 | 490 1264 | 36 | 56 45.68/45.73 c 31.1s | 18 | 461182 | 340252 | 490 1343 | 36 | 56 47.68/47.73 c 33.1s | 18 | 491791 | 361952 | 490 1421 | 36 | 56 49.68/49.74 c 35.1s | 18 | 524127 | 384052 | 490 1501 | 36 | 56 51.69/51.74 c 37.1s | 18 | 555329 | 406052 | 490 1580 | 36 | 56 53.68/53.75 c 39.1s | 18 | 585788 | 427752 | 490 1658 | 36 | 56 55.18/55.29 c 40.7s | 19 | 608379 | 444482 | 490 1718 | 36 | 56 57.19/57.29 c 42.7s | 19 | 639777 | 465982 | 490 1795 | 36 | 56 59.18/59.29 c 44.7s | 19 | 672011 | 488182 | 539 1872 | 36 | 56 61.28/61.30 c 46.7s | 19 | 702068 | 509782 | 539 1943 | 36 | 56 63.28/63.30 c 48.7s | 19 | 732954 | 532282 | 539 2017 | 36 | 56 65.28/65.30 c 50.7s | 19 | 761931 | 553982 | 539 2089 | 36 | 56 67.28/67.31 c 52.7s | 19 | 790704 | 575882 | 539 2161 | 36 | 56 69.28/69.31 c 54.7s | 19 | 818222 | 596682 | 539 2230 | 36 | 56 71.27/71.32 c 56.7s | 19 | 849152 | 618782 | 539 2303 | 36 | 56 73.27/73.33 c 58.7s | 19 | 878761 | 640982 | 539 2377 | 36 | 56 75.28/75.33 c 60.7s | 19 | 908961 | 662982 | 539 2449 | 36 | 56 75.58/75.67 c 61.0s | 20 | 914390 | 666827 | 539 2462 | 36 | 56 77.58/77.68 c 63.0s | 20 | 944867 | 688327 | 539 2533 | 36 | 56 79.58/79.68 c 65.1s | 20 | 977139 | 710327 | 539 2606 | 36 | 56 81.58/81.68 c 67.1s | 20 | 1007672 | 731827 | 539 2677 | 36 | 56 83.59/83.69 c 69.1s | 20 | 1038181 | 753227 | 539 2747 | 36 | 56 85.68/85.70 c 71.1s | 20 | 1067531 | 774627 | 539 2818 | 36 | 56 87.68/87.70 c 73.1s | 20 | 1097822 | 796527 | 539 2890 | 36 | 56 89.68/89.71 c 75.1s | 20 | 1126244 | 818127 | 593 2959 | 36 | 56 91.68/91.71 c 77.1s | 20 | 1156567 | 839727 | 593 3024 | 36 | 56 93.68/93.72 c 79.1s | 20 | 1187260 | 861627 | 593 3091 | 36 | 56 95.68/95.72 c 81.1s | 20 | 1217279 | 882927 | 593 3155 | 36 | 56 97.68/97.72 c 83.1s | 20 | 1246537 | 904027 | 593 3219 | 36 | 56 99.68/99.73 c 85.1s | 20 | 1275387 | 924927 | 593 3283 | 36 | 56 101.68/101.73 c 87.1s | 20 | 1306254 | 945927 | 593 3346 | 36 | 56 103.68/103.73 c 89.1s | 20 | 1335661 | 967027 | 593 3411 | 36 | 56 105.68/105.73 c 91.1s | 20 | 1365511 | 988327 | 593 3475 | 36 | 56 106.78/106.86 c 92.2s | 21 | 1381435 | 1000345 | 593 3512 | 36 | 56 108.77/108.86 c 94.2s | 21 | 1409989 | 1021745 | 593 3577 | 36 | 56 110.77/110.87 c 96.2s | 21 | 1438642 | 1042845 | 593 3641 | 36 | 56 112.77/112.87 c 98.2s | 21 | 1468556 | 1063845 | 593 3705 | 36 | 56 114.77/114.88 c 100s | 21 | 1497618 | 1085145 | 593 3769 | 36 | 56 116.77/116.88 c 102s | 21 | 1528661 | 1106345 | 593 3834 | 36 | 56 118.78/118.88 c 104s | 21 | 1557157 | 1127545 | 593 3898 | 36 | 56 120.77/120.89 c 106s | 21 | 1584330 | 1148345 | 593 3961 | 36 | 56 122.77/122.89 c 108s | 21 | 1611538 | 1168645 | 593 4023 | 36 | 56 124.87/124.90 c 110s | 21 | 1639044 | 1188645 | 593 4083 | 36 | 56 126.87/126.90 c 112s | 21 | 1664920 | 1208445 | 593 4143 | 36 | 56 128.87/128.91 c 114s | 21 | 1691734 | 1228145 | 593 4203 | 36 | 56 130.88/130.91 c 116s | 21 | 1719843 | 1249345 | 593 4268 | 36 | 56 132.87/132.91 c 118s | 21 | 1749750 | 1271045 | 593 4334 | 36 | 56 134.87/134.91 c 120s | 21 | 1780523 | 1292145 | 593 4398 | 36 | 56 136.87/136.92 c 122s | 21 | 1811495 | 1313245 | 653 4460 | 36 | 56 138.87/138.92 c 124s | 21 | 1841500 | 1334445 | 653 4519 | 36 | 56 140.87/140.93 c 126s | 21 | 1871775 | 1355345 | 653 4577 | 36 | 56 142.87/142.93 c 128s | 21 | 1900325 | 1376045 | 653 4635 | 36 | 56 144.87/144.94 c 130s | 21 | 1928455 | 1396545 | 653 4692 | 36 | 56 146.86/146.95 c 132s | 21 | 1957070 | 1417645 | 653 4751 | 36 | 56 148.86/148.95 c 134s | 21 | 1985810 | 1438845 | 653 4810 | 36 | 56 150.86/150.96 c 136s | 21 | 2014660 | 1459645 | 653 4868 | 36 | 56 152.87/152.96 c 138s | 21 | 2043868 | 1480545 | 653 4926 | 36 | 56 154.76/154.80 c 140s | 22 | 2072056 | 1500622 | 653 4982 | 36 | 56 156.76/156.81 c 142s | 22 | 2098597 | 1520422 | 653 5037 | 36 | 56 158.76/158.81 c 144s | 22 | 2126955 | 1540322 | 653 5093 | 36 | 56 160.76/160.81 c 146s | 22 | 2154397 | 1559422 | 653 5146 | 36 | 56 162.77/162.82 c 148s | 22 | 2182614 | 1578922 | 653 5201 | 36 | 56 164.76/164.82 c 150s | 22 | 2212955 | 1598622 | 653 5256 | 36 | 56 166.76/166.83 c 152s | 22 | 2243428 | 1618322 | 653 5311 | 36 | 56 168.76/168.84 c 154s | 22 | 2271117 | 1637322 | 653 5364 | 36 | 56 170.76/170.84 c 156s | 22 | 2297944 | 1656322 | 653 5417 | 36 | 56 172.77/172.85 c 158s | 22 | 2325366 | 1675422 | 653 5470 | 36 | 56 174.76/174.85 c 160s | 22 | 2351857 | 1694422 | 653 5523 | 36 | 56 176.76/176.86 c 162s | 22 | 2377695 | 1713122 | 653 5575 | 36 | 56 178.76/178.87 c 164s | 22 | 2405869 | 1732822 | 653 5630 | 36 | 56 180.76/180.87 c 166s | 22 | 2433374 | 1751922 | 653 5683 | 36 | 56 182.76/182.88 c 168s | 22 | 2460644 | 1770422 | 653 5735 | 36 | 56 184.77/184.89 c 170s | 22 | 2485605 | 1788422 | 653 5785 | 36 | 56 186.76/186.89 c 172s | 22 | 2512341 | 1807622 | 653 5839 | 36 | 56 188.76/188.89 c 174s | 22 | 2540181 | 1826422 | 653 5891 | 36 | 56 190.86/190.90 c 176s | 22 | 2566289 | 1844222 | 653 5941 | 36 | 56 192.86/192.90 c 178s | 22 | 2591230 | 1861922 | 653 5990 | 36 | 56 194.86/194.90 c 180s | 22 | 2616552 | 1879822 | 653 6040 | 36 | 56 196.87/196.91 c 182s | 22 | 2643618 | 1898422 | 653 6092 | 36 | 56 198.86/198.91 c 184s | 22 | 2669961 | 1916322 | 653 6141 | 36 | 56 200.86/200.92 c 186s | 22 | 2697485 | 1934422 | 653 6192 | 36 | 56 202.86/202.93 c 188s | 22 | 2725470 | 1954122 | 653 6247 | 36 | 56 204.86/204.94 c 190s | 22 | 2753997 | 1974622 | 653 6304 | 36 | 56 206.86/206.95 c 192s | 22 | 2781273 | 1994222 | 653 6359 | 36 | 56 208.85/208.95 c 194s | 22 | 2805888 | 2012122 | 653 6408 | 36 | 56 210.85/210.96 c 196s | 22 | 2829604 | 2030322 | 653 6459 | 36 | 56 212.85/212.96 c 198s | 22 | 2852205 | 2047722 | 653 6507 | 36 | 56 214.85/214.97 c 200s | 22 | 2877678 | 2065922 | 719 6554 | 36 | 56 216.85/216.98 c 202s | 22 | 2903273 | 2084122 | 719 6601 | 36 | 56 218.86/218.98 c 204s | 22 | 2927321 | 2101622 | 719 6645 | 36 | 56 220.85/220.99 c 206s | 22 | 2952669 | 2119222 | 719 6690 | 36 | 56 222.85/223.00 c 208s | 22 | 2976552 | 2136822 | 719 6735 | 36 | 56 224.95/225.00 c 210s | 22 | 3000097 | 2154222 | 719 6779 | 36 | 56 226.95/227.01 c 212s | 22 | 3024201 | 2171922 | 719 6824 | 36 | 56 228.95/229.01 c 214s | 22 | 3049686 | 2190422 | 719 6872 | 36 | 56 230.96/231.02 c 216s | 22 | 3076336 | 2208622 | 719 6918 | 36 | 56 232.96/233.02 c 218s | 22 | 3101097 | 2226522 | 719 6964 | 36 | 56 234.96/235.03 c 220s | 22 | 3126543 | 2244622 | 719 7010 | 36 | 56 235.66/235.76 c 221s | 23 | 3135961 | 2251038 | 719 7026 | 36 | 56 237.66/237.77 c 223s | 23 | 3165835 | 2270438 | 719 7076 | 36 | 56 239.65/239.78 c 225s | 23 | 3195743 | 2290138 | 719 7126 | 36 | 56 241.65/241.78 c 227s | 23 | 3227608 | 2310738 | 719 7178 | 36 | 56 243.65/243.79 c 229s | 23 | 3258589 | 2331238 | 719 7230 | 36 | 56 245.65/245.79 c 231s | 23 | 3285958 | 2349838 | 719 7278 | 36 | 56 247.75/247.80 c 233s | 23 | 3314215 | 2369738 | 719 7329 | 36 | 56 249.66/249.80 c 235s | 23 | 3344423 | 2390238 | 719 7381 | 36 | 56 251.75/251.80 c 237s | 23 | 3372742 | 2410738 | 719 7433 | 36 | 56 253.75/253.81 c 239s | 23 | 3400663 | 2430438 | 719 7483 | 36 | 56 255.75/255.82 c 241s | 23 | 3426854 | 2449338 | 719 7531 | 36 | 56 257.75/257.82 c 243s | 23 | 3456302 | 2469238 | 719 7582 | 36 | 56 259.75/259.82 c 245s | 23 | 3483122 | 2487738 | 719 7629 | 36 | 56 261.76/261.83 c 247s | 23 | 3509281 | 2506138 | 719 7676 | 36 | 56 263.75/263.83 c 249s | 23 | 3537083 | 2525138 | 719 7725 | 36 | 56 265.75/265.84 c 251s | 23 | 3562299 | 2542938 | 719 7770 | 36 | 56 267.75/267.84 c 253s | 23 | 3589719 | 2561038 | 719 7816 | 36 | 56 269.74/269.85 c 255s | 23 | 3615893 | 2578838 | 719 7862 | 36 | 56 271.75/271.85 c 257s | 23 | 3640654 | 2596738 | 719 7907 | 36 | 56 273.74/273.86 c 259s | 23 | 3664308 | 2614238 | 719 7952 | 36 | 56 275.74/275.86 c 261s | 23 | 3687405 | 2631338 | 719 7995 | 36 | 56 277.74/277.87 c 263s | 23 | 3710370 | 2647938 | 719 8037 | 36 | 56 279.74/279.88 c 265s | 23 | 3733425 | 2664138 | 719 8078 | 36 | 56 281.75/281.88 c 267s | 23 | 3759137 | 2682238 | 719 8125 | 36 | 56 283.76/283.88 c 269s | 23 | 3784486 | 2700338 | 719 8170 | 36 | 56 285.75/285.89 c 271s | 23 | 3810457 | 2718138 | 719 8216 | 36 | 56 287.75/287.89 c 273s | 23 | 3836285 | 2736438 | 719 8262 | 36 | 56 289.75/289.90 c 275s | 23 | 3862708 | 2754438 | 719 8308 | 36 | 56 291.85/291.90 c 277s | 23 | 3888153 | 2772338 | 719 8354 | 36 | 56 293.85/293.91 c 279s | 23 | 3913764 | 2790938 | 719 8401 | 36 | 56 295.85/295.91 c 281s | 23 | 3939879 | 2808938 | 719 8447 | 36 | 56 297.85/297.92 c 283s | 23 | 3964259 | 2825438 | 719 8489 | 36 | 56 299.85/299.92 c 285s | 23 | 3991784 | 2844138 | 719 8537 | 36 | 56 301.85/301.93 c 287s | 23 | 4020506 | 2862338 | 719 8583 | 36 | 56 303.84/303.93 c 289s | 23 | 4044703 | 2880238 | 719 8629 | 36 | 56 305.85/305.93 c 291s | 23 | 4069800 | 2898938 | 719 8676 | 36 | 56 307.84/307.95 c 293s | 23 | 4094485 | 2917438 | 719 8723 | 36 | 56 309.84/309.95 c 295s | 23 | 4118679 | 2935038 | 719 8768 | 36 | 56 311.84/311.96 c 297s | 23 | 4143199 | 2953038 | 719 8814 | 36 | 56 313.84/313.96 c 299s | 23 | 4165064 | 2969538 | 719 8856 | 36 | 56 315.84/315.96 c 301s | 23 | 4189479 | 2986638 | 719 8899 | 36 | 56 317.85/317.97 c 303s | 23 | 4214365 | 3004038 | 719 8943 | 36 | 56 319.84/319.98 c 305s | 23 | 4239456 | 3021338 | 719 8987 | 36 | 56 321.84/321.99 c 307s | 23 | 4262783 | 3038138 | 719 9030 | 36 | 56 323.84/323.99 c 309s | 23 | 4285690 | 3055238 | 719 9073 | 36 | 56 325.94/326.00 c 311s | 23 | 4308865 | 3072338 | 719 9117 | 36 | 56 327.94/328.01 c 313s | 23 | 4332456 | 3089238 | 719 9160 | 36 | 56 329.95/330.02 c 315s | 23 | 4356065 | 3106038 | 719 9202 | 36 | 56 331.94/332.03 c 317s | 23 | 4379636 | 3123238 | 719 9246 | 36 | 56 333.94/334.03 c 319s | 23 | 4404017 | 3141238 | 719 9292 | 36 | 56 335.94/336.04 c 321s | 23 | 4428000 | 3159538 | 719 9338 | 36 | 56 337.94/338.05 c 323s | 23 | 4451124 | 3176738 | 791 9380 | 36 | 56 339.95/340.06 c 325s | 23 | 4475554 | 3194438 | 791 9421 | 36 | 56 341.94/342.06 c 327s | 23 | 4499159 | 3212538 | 791 9463 | 36 | 56 343.94/344.07 c 329s | 23 | 4523643 | 3231138 | 791 9507 | 36 | 56 345.94/346.08 c 331s | 23 | 4547294 | 3249138 | 791 9549 | 36 | 56 347.94/348.08 c 333s | 23 | 4570515 | 3266638 | 791 9590 | 36 | 56 349.93/350.08 c 335s | 23 | 4593288 | 3283538 | 791 9629 | 36 | 56 351.94/352.09 c 337s | 23 | 4614724 | 3299738 | 791 9667 | 36 | 56 353.93/354.09 c 339s | 23 | 4637743 | 3316738 | 791 9706 | 36 | 56 356.03/356.10 c 341s | 23 | 4662627 | 3333938 | 791 9746 | 36 | 56 358.03/358.10 c 343s | 23 | 4686483 | 3351838 | 791 9788 | 36 | 56 360.03/360.11 c 345s | 23 | 4709179 | 3369038 | 791 9828 | 36 | 56 360.93/361.01 c 346s | 24 | 4720024 | 3376662 | 791 9846 | 36 | 56 362.94/363.01 c 348s | 24 | 4746595 | 3395562 | 791 9890 | 36 | 56 364.93/365.01 c 350s | 24 | 4773122 | 3413862 | 791 9933 | 36 | 56 366.93/367.02 c 352s | 24 | 4798497 | 3431962 | 791 9975 | 36 | 56 368.93/369.03 c 354s | 24 | 4825220 | 3450762 | 791 10019 | 36 | 56 370.93/371.04 c 356s | 24 | 4852520 | 3469862 | 791 10063 | 36 | 56 372.94/373.05 c 358s | 24 | 4876592 | 3487462 | 791 10104 | 36 | 56 374.93/375.05 c 360s | 24 | 4900914 | 3504962 | 791 10145 | 36 | 56 376.93/377.06 c 362s | 24 | 4924381 | 3522462 | 791 10186 | 36 | 56 378.93/379.07 c 364s | 24 | 4949265 | 3540262 | 791 10227 | 36 | 56 380.94/381.07 c 366s | 24 | 4973932 | 3558862 | 791 10271 | 36 | 56 382.93/383.07 c 368s | 24 | 4998595 | 3576762 | 791 10312 | 36 | 56 384.94/385.08 c 370s | 24 | 5024543 | 3595662 | 791 10357 | 36 | 56 386.93/387.08 c 372s | 24 | 5049379 | 3613662 | 791 10399 | 36 | 56 388.93/389.08 c 374s | 24 | 5074081 | 3631762 | 791 10441 | 36 | 56 390.93/391.08 c 376s | 24 | 5098740 | 3649562 | 791 10482 | 36 | 56 392.93/393.09 c 378s | 24 | 5122981 | 3667462 | 791 10524 | 36 | 56 394.94/395.10 c 380s | 24 | 5147690 | 3685262 | 791 10566 | 36 | 56 397.04/397.11 c 382s | 24 | 5173645 | 3703962 | 791 10609 | 36 | 56 399.03/399.11 c 384s | 24 | 5198395 | 3722062 | 791 10652 | 36 | 56 401.03/401.12 c 386s | 24 | 5221580 | 3738662 | 791 10691 | 36 | 56 403.03/403.12 c 388s | 24 | 5247326 | 3756962 | 791 10733 | 36 | 56 405.03/405.13 c 390s | 24 | 5274142 | 3775062 | 791 10775 | 36 | 56 407.04/407.14 c 392s | 24 | 5300172 | 3793462 | 791 10818 | 36 | 56 409.03/409.14 c 394s | 24 | 5324810 | 3811262 | 791 10860 | 36 | 56 411.03/411.15 c 396s | 24 | 5350062 | 3829362 | 791 10902 | 36 | 56 413.03/413.15 c 398s | 24 | 5375766 | 3847462 | 791 10944 | 36 | 56 415.02/415.16 c 400s | 24 | 5399518 | 3864962 | 791 10985 | 36 | 56 417.02/417.16 c 402s | 24 | 5424344 | 3882662 | 791 11027 | 36 | 56 419.03/419.17 c 404s | 24 | 5451051 | 3901362 | 791 11070 | 36 | 56 421.02/421.17 c 406s | 24 | 5477504 | 3919662 | 791 11113 | 36 | 56 423.02/423.19 c 408s | 24 | 5502542 | 3937862 | 791 11156 | 36 | 56 425.12/425.20 c 410s | 24 | 5527462 | 3955862 | 791 11198 | 36 | 56 427.12/427.20 c 412s | 24 | 5553317 | 3974562 | 791 11241 | 36 | 56 429.12/429.20 c 414s | 24 | 5578228 | 3992362 | 791 11283 | 36 | 56 431.13/431.20 c 416s | 24 | 5603758 | 4010262 | 791 11324 | 36 | 56 433.12/433.20 c 418s | 24 | 5628142 | 4028162 | 791 11366 | 36 | 56 435.12/435.21 c 420s | 24 | 5652799 | 4045362 | 791 11406 | 36 | 56 437.12/437.22 c 422s | 24 | 5680602 | 4064062 | 791 11450 | 36 | 56 439.13/439.23 c 424s | 24 | 5705865 | 4081862 | 791 11492 | 36 | 56 441.13/441.24 c 426s | 24 | 5729332 | 4098762 | 791 11531 | 36 | 56 443.12/443.25 c 428s | 24 | 5754488 | 4115762 | 791 11571 | 36 | 56 445.12/445.26 c 430s | 24 | 5777333 | 4132062 | 791 11609 | 36 | 56 447.12/447.26 c 432s | 24 | 5801294 | 4149662 | 791 11650 | 36 | 56 449.12/449.26 c 434s | 24 | 5825673 | 4166862 | 791 11690 | 36 | 56 451.12/451.26 c 436s | 24 | 5847827 | 4183362 | 791 11728 | 36 | 56 453.13/453.28 c 438s | 24 | 5874555 | 4202562 | 791 11773 | 36 | 56 455.12/455.28 c 440s | 24 | 5901762 | 4221862 | 791 11818 | 36 | 56 457.12/457.29 c 442s | 24 | 5928106 | 4240862 | 791 11862 | 36 | 56 459.22/459.30 c 444s | 24 | 5952329 | 4258962 | 791 11905 | 36 | 56 461.22/461.30 c 446s | 24 | 5979939 | 4277962 | 791 11949 | 36 | 56 463.22/463.30 c 448s | 24 | 6007160 | 4297162 | 791 11994 | 36 | 56 465.23/465.31 c 450s | 24 | 6032816 | 4315162 | 791 12036 | 36 | 56 467.22/467.31 c 452s | 24 | 6060132 | 4333962 | 791 12080 | 36 | 56 469.22/469.32 c 454s | 24 | 6087537 | 4352662 | 791 12123 | 36 | 56 471.22/471.33 c 456s | 24 | 6115513 | 4371262 | 791 12167 | 36 | 56 473.22/473.33 c 458s | 24 | 6142619 | 4389062 | 791 12208 | 36 | 56 475.22/475.33 c 460s | 24 | 6168587 | 4406962 | 791 12250 | 36 | 56 477.21/477.33 c 462s | 24 | 6192663 | 4424162 | 791 12290 | 36 | 56 479.21/479.34 c 464s | 24 | 6217580 | 4441962 | 791 12332 | 36 | 56 481.21/481.34 c 466s | 24 | 6246076 | 4462162 | 791 12379 | 36 | 56 483.21/483.35 c 468s | 24 | 6272035 | 4480862 | 791 12423 | 36 | 56 485.21/485.35 c 470s | 24 | 6299400 | 4500262 | 791 12468 | 36 | 56 487.23/487.36 c 472s | 24 | 6325287 | 4518762 | 791 12511 | 36 | 56 489.22/489.36 c 474s | 24 | 6350628 | 4536862 | 791 12554 | 36 | 56 491.22/491.36 c 476s | 24 | 6374331 | 4554462 | 791 12595 | 36 | 56 493.22/493.37 c 478s | 24 | 6399240 | 4572262 | 791 12636 | 36 | 56 495.22/495.37 c 480s | 24 | 6423414 | 4589862 | 791 12677 | 36 | 56 497.22/497.37 c 482s | 24 | 6448892 | 4608462 | 791 12721 | 36 | 56 499.22/499.38 c 484s | 24 | 6472542 | 4625462 | 791 12760 | 36 | 56 501.22/501.38 c 486s | 24 | 6496113 | 4642762 | 791 12801 | 36 | 56 503.22/503.39 c 488s | 24 | 6520703 | 4659962 | 791 12841 | 36 | 56 505.22/505.39 c 490s | 24 | 6545913 | 4677062 | 791 12881 | 36 | 56 507.31/507.41 c 492s | 24 | 6572587 | 4694162 | 791 12921 | 36 | 56 509.32/509.41 c 494s | 24 | 6600379 | 4713262 | 791 12965 | 36 | 56 511.31/511.41 c 496s | 24 | 6627520 | 4732762 | 791 13011 | 36 | 56 513.31/513.42 c 498s | 24 | 6654354 | 4752462 | 791 13057 | 36 | 56 515.31/515.43 c 500s | 24 | 6682098 | 4770562 | 791 13099 | 36 | 56 517.31/517.43 c 502s | 24 | 6709592 | 4788462 | 791 13141 | 36 | 56 519.31/519.44 c 504s | 24 | 6735021 | 4806562 | 791 13183 | 36 | 56 521.32/521.45 c 506s | 24 | 6762006 | 4824662 | 791 13226 | 36 | 56 523.31/523.46 c 508s | 24 | 6787683 | 4842362 | 791 13267 | 36 | 56 525.31/525.46 c 510s | 24 | 6810925 | 4859362 | 871 13304 | 36 | 56 527.31/527.47 c 512s | 24 | 6834785 | 4876162 | 871 13340 | 36 | 56 529.31/529.47 c 514s | 24 | 6857413 | 4892862 | 871 13375 | 36 | 56 531.32/531.48 c 516s | 24 | 6881794 | 4910062 | 871 13412 | 36 | 56 533.31/533.49 c 518s | 24 | 6907188 | 4927862 | 871 13450 | 36 | 56 535.41/535.50 c 520s | 24 | 6933989 | 4945562 | 871 13488 | 36 | 56 537.41/537.50 c 522s | 24 | 6961609 | 4963462 | 871 13526 | 36 | 56 539.41/539.51 c 524s | 24 | 6986807 | 4980662 | 871 13563 | 36 | 56 541.40/541.51 c 526s | 24 | 7011584 | 4997662 | 871 13599 | 36 | 56 543.41/543.52 c 528s | 24 | 7036287 | 5014162 | 871 13635 | 36 | 56 545.40/545.52 c 530s | 24 | 7060273 | 5031562 | 871 13672 | 36 | 56 547.40/547.53 c 532s | 24 | 7082743 | 5048162 | 871 13707 | 36 | 56 549.40/549.53 c 534s | 24 | 7104203 | 5064362 | 871 13742 | 36 | 56 549.50/549.62 c 534s | 25 | 7105100 | 5065098 | 871 13743 | 36 | 56 551.50/551.63 c 537s | 25 | 7131785 | 5082998 | 871 13781 | 36 | 56 553.50/553.64 c 539s | 25 | 7156416 | 5100698 | 871 13819 | 36 | 56 555.51/555.64 c 541s | 25 | 7180696 | 5118398 | 871 13857 | 36 | 56 557.50/557.64 c 543s | 25 | 7205644 | 5135998 | 871 13895 | 36 | 56 559.50/559.64 c 545s | 25 | 7231025 | 5153298 | 871 13932 | 36 | 56 561.50/561.65 c 547s | 25 | 7255968 | 5171098 | 871 13970 | 36 | 56 563.50/563.66 c 549s | 25 | 7282343 | 5188798 | 871 14007 | 36 | 56 565.50/565.66 c 551s | 25 | 7306401 | 5206098 | 871 14044 | 36 | 56 567.50/567.66 c 553s | 25 | 7330824 | 5223798 | 871 14082 | 36 | 56 569.50/569.67 c 555s | 25 | 7355798 | 5241598 | 871 14120 | 36 | 56 571.50/571.67 c 557s | 25 | 7380009 | 5258998 | 871 14157 | 36 | 56 573.51/573.68 c 559s | 25 | 7404136 | 5276298 | 871 14194 | 36 | 56 575.51/575.69 c 561s | 25 | 7428329 | 5293398 | 871 14231 | 36 | 56 577.61/577.70 c 563s | 25 | 7452887 | 5310698 | 871 14268 | 36 | 56 579.61/579.70 c 565s | 25 | 7478897 | 5328798 | 871 14306 | 36 | 56 581.60/581.72 c 567s | 25 | 7504229 | 5345398 | 871 14342 | 36 | 56 583.60/583.72 c 569s | 25 | 7529414 | 5362498 | 871 14378 | 36 | 56 585.60/585.72 c 571s | 25 | 7555287 | 5379498 | 871 14415 | 36 | 56 587.60/587.72 c 573s | 25 | 7578631 | 5395898 | 871 14450 | 36 | 56 589.61/589.73 c 575s | 25 | 7604488 | 5413298 | 871 14487 | 36 | 56 591.60/591.73 c 577s | 25 | 7632930 | 5432598 | 871 14528 | 36 | 56 593.60/593.73 c 579s | 25 | 7661037 | 5451598 | 871 14569 | 36 | 56 595.60/595.74 c 581s | 25 | 7687301 | 5470298 | 871 14609 | 36 | 56 597.60/597.74 c 583s | 25 | 7712462 | 5488298 | 871 14647 | 36 | 56 599.60/599.75 c 585s | 25 | 7736834 | 5506298 | 871 14686 | 36 | 56 601.60/601.76 c 587s | 25 | 7759362 | 5523398 | 871 14722 | 36 | 56 603.60/603.77 c 589s | 25 | 7781256 | 5540498 | 871 14759 | 36 | 56 605.60/605.77 c 591s | 25 | 7803233 | 5557498 | 871 14795 | 36 | 56 607.60/607.79 c 593s | 25 | 7825070 | 5574098 | 871 14830 | 36 | 56 609.59/609.79 c 595s | 25 | 7847372 | 5590898 | 871 14866 | 36 | 56 611.60/611.79 c 597s | 25 | 7870175 | 5607998 | 871 14903 | 36 | 56 613.59/613.79 c 599s | 25 | 7892681 | 5624798 | 871 14938 | 36 | 56 615.69/615.80 c 601s | 25 | 7916420 | 5642598 | 871 14976 | 36 | 56 617.69/617.80 c 603s | 25 | 7942327 | 5660798 | 871 15015 | 36 | 56 619.70/619.81 c 605s | 25 | 7967311 | 5677798 | 871 15051 | 36 | 56 621.70/621.81 c 607s | 25 | 7992639 | 5695798 | 871 15090 | 36 | 56 623.70/623.82 c 609s | 25 | 8017284 | 5713698 | 871 15128 | 36 | 56 625.69/625.82 c 611s | 25 | 8040706 | 5730998 | 871 15165 | 36 | 56 627.69/627.82 c 613s | 25 | 8065604 | 5748998 | 871 15204 | 36 | 56 629.69/629.83 c 615s | 25 | 8092217 | 5767398 | 871 15243 | 36 | 56 631.69/631.83 c 617s | 25 | 8118241 | 5785498 | 871 15282 | 36 | 56 633.69/633.84 c 619s | 25 | 8143529 | 5802998 | 871 15319 | 36 | 56 635.70/635.85 c 621s | 25 | 8169120 | 5820798 | 871 15357 | 36 | 56 637.69/637.85 c 623s | 25 | 8191914 | 5837698 | 871 15393 | 36 | 56 639.69/639.85 c 625s | 25 | 8214518 | 5854098 | 871 15428 | 36 | 56 641.69/641.86 c 627s | 25 | 8238763 | 5871598 | 871 15466 | 36 | 56 643.69/643.87 c 629s | 25 | 8263893 | 5889298 | 871 15503 | 36 | 56 645.70/645.88 c 631s | 25 | 8289230 | 5907698 | 871 15543 | 36 | 56 647.69/647.89 c 633s | 25 | 8314132 | 5925898 | 871 15582 | 36 | 56 649.79/649.90 c 635s | 25 | 8341607 | 5944698 | 871 15622 | 36 | 56 651.79/651.90 c 637s | 25 | 8366186 | 5962498 | 871 15660 | 36 | 56 653.79/653.90 c 639s | 25 | 8391250 | 5980098 | 871 15698 | 36 | 56 655.79/655.91 c 641s | 25 | 8415087 | 5997798 | 871 15735 | 36 | 56 657.79/657.92 c 643s | 25 | 8438974 | 6015398 | 871 15773 | 36 | 56 659.78/659.93 c 645s | 25 | 8463306 | 6032998 | 871 15811 | 36 | 56 661.78/661.94 c 647s | 25 | 8487572 | 6049798 | 871 15847 | 36 | 56 663.78/663.95 c 649s | 25 | 8511382 | 6066898 | 871 15883 | 36 | 56 665.78/665.96 c 651s | 25 | 8534464 | 6084498 | 871 15921 | 36 | 56 667.78/667.97 c 653s | 25 | 8557941 | 6101598 | 871 15957 | 36 | 56 669.79/669.97 c 655s | 25 | 8581981 | 6118898 | 871 15994 | 36 | 56 671.78/671.98 c 657s | 25 | 8605883 | 6135798 | 871 16031 | 36 | 56 673.78/673.98 c 659s | 25 | 8628979 | 6152498 | 871 16066 | 36 | 56 675.78/675.99 c 661s | 25 | 8651594 | 6169598 | 871 16103 | 36 | 56 677.78/677.99 c 663s | 25 | 8673948 | 6186898 | 871 16140 | 36 | 56 679.88/680.00 c 665s | 25 | 8697269 | 6204198 | 871 16177 | 36 | 56 681.89/682.01 c 667s | 25 | 8720321 | 6221498 | 871 16214 | 36 | 56 683.88/684.01 c 669s | 25 | 8743625 | 6238698 | 871 16250 | 36 | 56 685.89/686.01 c 671s | 25 | 8766559 | 6255898 | 871 16287 | 36 | 56 687.89/688.02 c 673s | 25 | 8791533 | 6273498 | 871 16325 | 36 | 56 689.89/690.02 c 675s | 25 | 8815166 | 6290698 | 871 16361 | 36 | 56 691.89/692.02 c 677s | 25 | 8836862 | 6307498 | 871 16397 | 36 | 56 693.89/694.02 c 679s | 25 | 8860855 | 6324898 | 871 16434 | 36 | 56 695.89/696.03 c 681s | 25 | 8885433 | 6342498 | 871 16472 | 36 | 56 697.89/698.04 c 683s | 25 | 8907870 | 6359198 | 871 16508 | 36 | 56 699.89/700.04 c 685s | 25 | 8934722 | 6377198 | 871 16546 | 36 | 56 701.88/702.05 c 687s | 25 | 8961262 | 6394998 | 871 16584 | 36 | 56 703.89/704.05 c 689s | 25 | 8986673 | 6412898 | 871 16623 | 36 | 56 705.88/706.05 c 691s | 25 | 9013752 | 6430098 | 871 16659 | 36 | 56 707.88/708.05 c 693s | 25 | 9039790 | 6447698 | 871 16697 | 36 | 56 709.88/710.06 c 695s | 25 | 9063334 | 6464998 | 871 16734 | 36 | 56 711.88/712.06 c 697s | 25 | 9088659 | 6481798 | 871 16770 | 36 | 56 713.89/714.07 c 699s | 25 | 9112232 | 6497998 | 871 16804 | 36 | 56 715.88/716.08 c 701s | 25 | 9134679 | 6513898 | 871 16838 | 36 | 56 717.88/718.08 c 703s | 25 | 9157142 | 6530798 | 871 16874 | 36 | 56 719.88/720.08 c 705s | 25 | 9178756 | 6547298 | 871 16910 | 36 | 56 721.88/722.09 c 707s | 25 | 9201006 | 6563498 | 871 16944 | 36 | 56 723.88/724.09 c 709s | 25 | 9224306 | 6579798 | 871 16979 | 36 | 56 725.88/726.09 c 711s | 25 | 9248852 | 6596498 | 871 17015 | 36 | 56 727.97/728.11 c 713s | 25 | 9275962 | 6613898 | 871 17052 | 36 | 56 729.97/730.11 c 715s | 25 | 9302534 | 6630398 | 871 17087 | 36 | 56 731.97/732.12 c 717s | 25 | 9328802 | 6648098 | 871 17125 | 36 | 56 733.97/734.12 c 719s | 25 | 9353394 | 6665198 | 871 17161 | 36 | 56 735.97/736.12 c 721s | 25 | 9377072 | 6681698 | 871 17197 | 36 | 56 737.97/738.13 c 723s | 25 | 9399697 | 6697498 | 871 17230 | 36 | 56 739.96/740.14 c 725s | 25 | 9422950 | 6713498 | 871 17265 | 36 | 56 741.96/742.15 c 727s | 25 | 9447090 | 6729798 | 871 17299 | 36 | 56 743.97/744.15 c 729s | 25 | 9468954 | 6746398 | 871 17335 | 36 | 56 745.97/746.15 c 731s | 25 | 9491674 | 6763298 | 871 17371 | 36 | 56 747.98/748.15 c 733s | 25 | 9515658 | 6780798 | 871 17408 | 36 | 56 749.97/750.16 c 735s | 25 | 9539353 | 6798098 | 871 17445 | 36 | 56 751.97/752.16 c 737s | 25 | 9564300 | 6816898 | 871 17486 | 36 | 56 753.97/754.17 c 739s | 25 | 9589956 | 6835398 | 871 17525 | 36 | 56 755.97/756.17 c 741s | 25 | 9615275 | 6852898 | 871 17563 | 36 | 56 757.97/758.17 c 743s | 25 | 9638578 | 6870098 | 871 17599 | 36 | 56 759.97/760.17 c 745s | 25 | 9661453 | 6886798 | 871 17635 | 36 | 56 761.96/762.18 c 747s | 25 | 9686415 | 6904198 | 871 17672 | 36 | 56 763.96/764.19 c 749s | 25 | 9712683 | 6922398 | 871 17711 | 36 | 56 766.06/766.20 c 751s | 25 | 9736908 | 6939598 | 871 17748 | 36 | 56 768.06/768.20 c 753s | 25 | 9761200 | 6956098 | 871 17783 | 36 | 56 770.06/770.21 c 755s | 25 | 9785938 | 6973398 | 871 17820 | 36 | 56 772.06/772.21 c 757s | 25 | 9810016 | 6990598 | 871 17857 | 36 | 56 774.05/774.22 c 759s | 25 | 9833176 | 7007198 | 871 17893 | 36 | 56 776.05/776.22 c 761s | 25 | 9858068 | 7024698 | 871 17930 | 36 | 56 778.05/778.23 c 763s | 25 | 9882191 | 7041898 | 871 17967 | 36 | 56 779.77/779.96 c 765s | 25 | 9903546 | 7056997 | 871 17999 | 36 | 56 779.77/779.96 c #cpu_time = 763.349s 779.77/779.96 c #wall_clock_time = 765.328s 779.77/779.96 c #decision = 9903546 779.77/779.96 c #random_decision = 42441 779.77/779.96 c #conflict = 7056997 779.77/779.96 c #restart = 25 779.77/779.96 c BCD2: relaxing 6 and merging with 3 cores into a new core of size 112: cost of the new core is >=35 779.77/779.96 c lower bound updated to -24 779.77/779.96 c BCD2: 35 <= obj <= 37 779.77/779.96 c BCD2: #cores=1, #unrelaxed=0, #relaxed=112, #hardened=0 779.77/779.96 c BCD2: #sat=3 #unsat=36 bias=36/39 779.77/779.96 c Solving starts ... 779.77/779.96 c ============================[ Search Statistics ]============================ 779.77/779.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 779.77/779.96 c | | | | Limit GC | Var | Constra 779.77/779.96 c ============================================================================= 779.77/779.96 c 0.0s | 0 | 0 | 0 | 871 0 | 42 | 56 779.77/779.97 c 0.0s | 1 | 171 | 100 | 871 0 | 42 | 65 779.77/779.99 c 0.0s | 2 | 377 | 250 | 871 0 | 42 | 65 779.87/780.02 c 0.1s | 3 | 717 | 475 | 871 0 | 42 | 65 779.87/780.07 c 0.1s | 4 | 1219 | 813 | 871 0 | 42 | 65 779.96/780.14 c 0.2s | 5 | 1874 | 1320 | 871 1 | 42 | 65 780.06/780.26 c 0.3s | 6 | 2875 | 2081 | 871 3 | 42 | 65 780.26/780.42 c 0.5s | 7 | 4415 | 3223 | 871 5 | 42 | 65 780.46/780.68 c 0.7s | 8 | 6729 | 4936 | 871 9 | 42 | 65 780.87/781.05 c 1.1s | 9 | 10282 | 7506 | 871 14 | 42 | 65 781.36/781.59 c 1.6s | 10 | 15603 | 11361 | 871 22 | 42 | 65 782.26/782.45 c 2.5s | 11 | 23517 | 17144 | 871 35 | 42 | 65 783.56/783.73 c 3.8s | 12 | 35421 | 25819 | 871 53 | 42 | 65 785.46/785.64 c 5.7s | 13 | 53544 | 38832 | 871 81 | 42 | 65 787.46/787.65 c 7.7s | 13 | 72251 | 52632 | 871 110 | 42 | 65 788.26/788.47 c 8.5s | 14 | 80275 | 58352 | 871 122 | 42 | 65 790.25/790.48 c 10.5s | 14 | 99437 | 72552 | 871 152 | 42 | 65 792.25/792.49 c 12.5s | 14 | 118933 | 86652 | 871 182 | 42 | 65 792.45/792.63 c 12.7s | 15 | 120208 | 87632 | 871 184 | 42 | 65 794.45/794.63 c 14.7s | 15 | 141437 | 101632 | 871 214 | 42 | 65 796.45/796.64 c 16.7s | 15 | 162550 | 115732 | 871 244 | 42 | 65 798.45/798.65 c 18.7s | 15 | 183084 | 129732 | 871 273 | 42 | 65 798.75/798.92 c 19.0s | 16 | 185712 | 131552 | 871 277 | 42 | 65 800.75/800.93 c 21.0s | 16 | 205346 | 145452 | 871 307 | 42 | 65 802.75/802.94 c 23.0s | 16 | 224846 | 159752 | 871 337 | 42 | 65 804.75/804.94 c 25.0s | 16 | 243793 | 173552 | 871 366 | 42 | 65 806.74/806.94 c 27.0s | 16 | 262958 | 187252 | 871 395 | 42 | 65 808.14/808.38 c 28.4s | 17 | 277663 | 197432 | 871 417 | 42 | 65 810.14/810.39 c 30.4s | 17 | 296928 | 211332 | 871 446 | 42 | 65 812.24/812.40 c 32.4s | 17 | 315143 | 224932 | 871 475 | 42 | 65 814.24/814.41 c 34.5s | 17 | 333345 | 238432 | 871 503 | 42 | 65 816.24/816.42 c 36.5s | 17 | 351726 | 251832 | 871 532 | 42 | 65 818.24/818.43 c 38.5s | 17 | 370356 | 265532 | 871 561 | 42 | 65 820.24/820.44 c 40.5s | 17 | 389670 | 279132 | 871 590 | 42 | 65 822.24/822.44 c 42.5s | 17 | 408646 | 292832 | 871 619 | 42 | 65 822.74/822.94 c 43.0s | 18 | 413362 | 296252 | 871 626 | 42 | 65 824.74/824.94 c 45.0s | 18 | 432346 | 310352 | 959 654 | 42 | 65 826.73/826.95 c 47.0s | 18 | 450804 | 323952 | 959 681 | 42 | 65 828.73/828.95 c 49.0s | 18 | 471255 | 337952 | 959 708 | 42 | 65 830.73/830.95 c 51.0s | 18 | 490823 | 351652 | 959 734 | 42 | 65 832.73/832.96 c 53.0s | 18 | 509641 | 364852 | 959 760 | 42 | 65 834.74/834.97 c 55.0s | 18 | 527891 | 378052 | 959 785 | 42 | 65 836.73/836.98 c 57.0s | 18 | 546203 | 391452 | 959 811 | 42 | 65 838.73/838.98 c 59.0s | 18 | 564653 | 404952 | 959 838 | 42 | 65 840.73/840.98 c 61.0s | 18 | 582297 | 418052 | 959 863 | 42 | 65 842.73/842.99 c 63.0s | 18 | 600352 | 431552 | 959 889 | 42 | 65 844.63/844.90 c 64.9s | 19 | 618286 | 444482 | 959 914 | 42 | 65 846.72/846.90 c 66.9s | 19 | 636942 | 458082 | 959 940 | 42 | 65 848.72/848.91 c 69.0s | 19 | 657340 | 472282 | 959 968 | 42 | 65 850.72/850.92 c 71.0s | 19 | 677074 | 486182 | 959 995 | 42 | 65 852.73/852.93 c 73.0s | 19 | 696035 | 499882 | 959 1021 | 42 | 65 854.73/854.93 c 75.0s | 19 | 714949 | 513882 | 959 1049 | 42 | 65 856.73/856.95 c 77.0s | 19 | 733687 | 527582 | 959 1075 | 42 | 65 858.72/858.95 c 79.0s | 19 | 752518 | 541182 | 959 1101 | 42 | 65 860.72/860.95 c 81.0s | 19 | 770872 | 554782 | 959 1128 | 42 | 65 862.72/862.96 c 83.0s | 19 | 788648 | 567982 | 959 1153 | 42 | 65 864.72/864.96 c 85.0s | 19 | 808168 | 581782 | 959 1180 | 42 | 65 866.73/866.97 c 87.0s | 19 | 826692 | 595482 | 959 1207 | 42 | 65 868.72/868.97 c 89.0s | 19 | 845997 | 609182 | 959 1233 | 42 | 65 870.72/870.99 c 91.0s | 19 | 865401 | 622782 | 959 1260 | 42 | 65 872.82/873.00 c 93.0s | 19 | 884082 | 636282 | 959 1286 | 42 | 65 874.82/875.01 c 95.1s | 19 | 902178 | 649282 | 959 1311 | 42 | 65 876.81/877.02 c 97.1s | 19 | 921740 | 662982 | 959 1337 | 42 | 65 877.31/877.58 c 97.6s | 20 | 927210 | 666827 | 959 1345 | 42 | 65 879.31/879.59 c 99.6s | 20 | 945818 | 680627 | 959 1372 | 42 | 65 881.31/881.60 c 101s | 20 | 965692 | 694627 | 959 1399 | 42 | 65 883.41/883.60 c 103s | 20 | 984842 | 708827 | 959 1426 | 42 | 65 885.32/885.60 c 105s | 20 | 1003242 | 722527 | 959 1453 | 42 | 65 887.41/887.61 c 107s | 20 | 1022040 | 736627 | 959 1480 | 42 | 65 889.40/889.61 c 109s | 20 | 1040444 | 750327 | 959 1506 | 42 | 65 891.40/891.62 c 111s | 20 | 1057823 | 764027 | 959 1533 | 42 | 65 893.40/893.62 c 113s | 20 | 1075688 | 777827 | 959 1560 | 42 | 65 895.40/895.63 c 115s | 20 | 1093550 | 791227 | 959 1586 | 42 | 65 897.41/897.64 c 117s | 20 | 1111474 | 804827 | 959 1612 | 42 | 65 899.40/899.65 c 119s | 20 | 1129826 | 818527 | 959 1639 | 42 | 65 901.40/901.66 c 121s | 20 | 1147685 | 832027 | 959 1665 | 42 | 65 903.40/903.67 c 123s | 20 | 1166419 | 846227 | 959 1692 | 42 | 65 905.40/905.68 c 125s | 20 | 1185164 | 860327 | 959 1719 | 42 | 65 907.40/907.69 c 127s | 20 | 1203593 | 874327 | 959 1747 | 42 | 65 909.40/909.70 c 129s | 20 | 1222045 | 888227 | 959 1774 | 42 | 65 911.49/911.70 c 131s | 20 | 1240191 | 902027 | 959 1800 | 42 | 65 913.49/913.71 c 133s | 20 | 1258269 | 915627 | 959 1827 | 42 | 65 915.49/915.71 c 135s | 20 | 1276590 | 929527 | 959 1854 | 42 | 65 917.49/917.73 c 137s | 20 | 1295307 | 943427 | 959 1881 | 42 | 65 919.50/919.73 c 139s | 20 | 1313825 | 957227 | 959 1907 | 42 | 65 921.49/921.73 c 141s | 20 | 1332522 | 971027 | 959 1934 | 42 | 65 923.50/923.74 c 143s | 20 | 1350690 | 984727 | 959 1961 | 42 | 65 925.50/925.75 c 145s | 20 | 1368879 | 998127 | 959 1987 | 42 | 65 925.90/926.10 c 146s | 21 | 1371875 | 1000345 | 959 1991 | 42 | 65 927.89/928.10 c 148s | 21 | 1390571 | 1014445 | 959 2018 | 42 | 65 929.89/930.11 c 150s | 21 | 1409730 | 1028645 | 959 2046 | 42 | 65 931.89/932.11 c 152s | 21 | 1427933 | 1042345 | 959 2072 | 42 | 65 933.89/934.12 c 154s | 21 | 1446956 | 1056645 | 959 2100 | 42 | 65 935.90/936.12 c 156s | 21 | 1465986 | 1070745 | 959 2127 | 42 | 65 937.88/938.13 c 158s | 21 | 1483706 | 1084145 | 959 2153 | 42 | 65 939.88/940.14 c 160s | 21 | 1502518 | 1097945 | 959 2180 | 42 | 65 941.88/942.14 c 162s | 21 | 1521090 | 1111845 | 959 2207 | 42 | 65 943.88/944.16 c 164s | 21 | 1539351 | 1125545 | 959 2234 | 42 | 65 945.89/946.17 c 166s | 21 | 1557656 | 1139245 | 959 2260 | 42 | 65 947.88/948.17 c 168s | 21 | 1575579 | 1152945 | 959 2287 | 42 | 65 949.88/950.17 c 170s | 21 | 1594138 | 1166745 | 959 2313 | 42 | 65 951.88/952.17 c 172s | 21 | 1613447 | 1181045 | 959 2341 | 42 | 65 953.88/954.18 c 174s | 21 | 1631921 | 1195045 | 959 2368 | 42 | 65 955.88/956.19 c 176s | 21 | 1649066 | 1208445 | 959 2394 | 42 | 65 957.88/958.19 c 178s | 21 | 1666194 | 1221645 | 959 2420 | 42 | 65 959.97/960.20 c 180s | 21 | 1683499 | 1234945 | 959 2445 | 42 | 65 961.97/962.21 c 182s | 21 | 1703152 | 1249445 | 959 2474 | 42 | 65 963.97/964.22 c 184s | 21 | 1721673 | 1263545 | 959 2501 | 42 | 65 965.97/966.23 c 186s | 21 | 1740520 | 1277945 | 959 2529 | 42 | 65 967.97/968.24 c 188s | 21 | 1759553 | 1292045 | 959 2556 | 42 | 65 969.97/970.25 c 190s | 21 | 1778030 | 1305845 | 959 2583 | 42 | 65 971.97/972.27 c 192s | 21 | 1796880 | 1320245 | 959 2611 | 42 | 65 973.97/974.28 c 194s | 21 | 1815705 | 1334545 | 959 2638 | 42 | 65 975.96/976.29 c 196s | 21 | 1833890 | 1348445 | 959 2665 | 42 | 65 978.07/978.30 c 198s | 21 | 1852767 | 1362745 | 959 2693 | 42 | 65 980.07/980.30 c 200s | 21 | 1872845 | 1377245 | 959 2721 | 42 | 65 982.08/982.31 c 202s | 21 | 1892089 | 1391645 | 959 2749 | 42 | 65 984.07/984.32 c 204s | 21 | 1910790 | 1405645 | 959 2776 | 42 | 65 986.07/986.34 c 206s | 21 | 1929141 | 1419745 | 959 2804 | 42 | 65 988.06/988.34 c 208s | 21 | 1947285 | 1433545 | 959 2830 | 42 | 65 990.06/990.35 c 210s | 21 | 1966829 | 1447945 | 959 2858 | 42 | 65 992.07/992.36 c 212s | 21 | 1985726 | 1462145 | 959 2886 | 42 | 65 994.06/994.36 c 214s | 21 | 2004523 | 1476245 | 959 2913 | 42 | 65 996.06/996.37 c 216s | 21 | 2023208 | 1490145 | 959 2940 | 42 | 65 997.57/997.89 c 217s | 22 | 2037713 | 1500622 | 959 2960 | 42 | 65 999.56/999.90 c 219s | 22 | 2056965 | 1515122 | 959 2989 | 42 | 65 1001.66/1001.91 c 221s | 22 | 2075787 | 1529322 | 959 3016 | 42 | 65 1003.65/1003.92 c 223s | 22 | 2094808 | 1543722 | 959 3044 | 42 | 65 1005.65/1005.93 c 225s | 22 | 2113430 | 1557822 | 959 3071 | 42 | 65 1007.65/1007.94 c 227s | 22 | 2132389 | 1572122 | 959 3099 | 42 | 65 1009.65/1009.95 c 229s | 22 | 2150980 | 1586322 | 959 3127 | 42 | 65 1011.65/1011.95 c 231s | 22 | 2170509 | 1600822 | 959 3155 | 42 | 65 1013.64/1013.96 c 233s | 22 | 2188345 | 1614522 | 959 3181 | 42 | 65 1015.64/1015.96 c 236s | 22 | 2206155 | 1627922 | 959 3207 | 42 | 65 1017.65/1017.98 c 238s | 22 | 2224303 | 1641622 | 959 3234 | 42 | 65 1019.65/1019.98 c 240s | 22 | 2243176 | 1655522 | 959 3261 | 42 | 65 1021.65/1021.98 c 242s | 22 | 2262460 | 1669822 | 959 3289 | 42 | 65 1023.75/1024.00 c 244s | 22 | 2280818 | 1683622 | 959 3316 | 42 | 65 1025.74/1026.00 c 246s | 22 | 2299683 | 1697922 | 959 3343 | 42 | 65 1027.74/1028.00 c 248s | 22 | 2318123 | 1711822 | 959 3370 | 42 | 65 1029.74/1030.00 c 250s | 22 | 2336504 | 1725522 | 959 3397 | 42 | 65 1031.74/1032.00 c 252s | 22 | 2355881 | 1739622 | 959 3424 | 42 | 65 1033.75/1034.01 c 254s | 22 | 2374964 | 1753522 | 959 3451 | 42 | 65 1035.74/1036.02 c 256s | 22 | 2393366 | 1767322 | 959 3478 | 42 | 65 1037.74/1038.03 c 258s | 22 | 2412021 | 1781022 | 959 3504 | 42 | 65 1039.74/1040.04 c 260s | 22 | 2430317 | 1794522 | 959 3530 | 42 | 65 1041.74/1042.05 c 262s | 22 | 2449167 | 1808622 | 959 3558 | 42 | 65 1043.74/1044.06 c 264s | 22 | 2467583 | 1822222 | 959 3584 | 42 | 65 1045.74/1046.07 c 266s | 22 | 2486126 | 1836222 | 959 3611 | 42 | 65 1047.73/1048.08 c 268s | 22 | 2505128 | 1850022 | 959 3638 | 42 | 65 1049.73/1050.08 c 270s | 22 | 2523999 | 1863922 | 959 3665 | 42 | 65 1051.73/1052.09 c 272s | 22 | 2541846 | 1877022 | 959 3691 | 42 | 65 1053.83/1054.10 c 274s | 22 | 2560312 | 1890822 | 959 3717 | 42 | 65 1055.84/1056.11 c 276s | 22 | 2578689 | 1904522 | 959 3744 | 42 | 65 1057.83/1058.13 c 278s | 22 | 2596618 | 1918022 | 959 3770 | 42 | 65 1059.83/1060.13 c 280s | 22 | 2613881 | 1931322 | 959 3796 | 42 | 65 1061.83/1062.14 c 282s | 22 | 2631627 | 1944822 | 959 3822 | 42 | 65 1063.83/1064.15 c 284s | 22 | 2649580 | 1958222 | 959 3848 | 42 | 65 1065.83/1066.16 c 286s | 22 | 2667803 | 1972022 | 959 3875 | 42 | 65 1067.83/1068.18 c 288s | 22 | 2685582 | 1985422 | 959 3901 | 42 | 65 1069.82/1070.18 c 290s | 22 | 2702924 | 1998622 | 959 3927 | 42 | 65 1071.82/1072.19 c 292s | 22 | 2720831 | 2011922 | 959 3953 | 42 | 65 1073.92/1074.20 c 294s | 22 | 2739414 | 2025422 | 959 3979 | 42 | 65 1075.92/1076.20 c 296s | 22 | 2757491 | 2038422 | 959 4004 | 42 | 65 1077.92/1078.21 c 298s | 22 | 2776950 | 2052222 | 959 4031 | 42 | 65 1079.93/1080.22 c 300s | 22 | 2796017 | 2065922 | 959 4058 | 42 | 65 1081.92/1082.22 c 302s | 22 | 2814804 | 2079522 | 959 4084 | 42 | 65 1083.93/1084.22 c 304s | 22 | 2833281 | 2093122 | 959 4111 | 42 | 65 1085.92/1086.23 c 306s | 22 | 2851576 | 2106322 | 959 4136 | 42 | 65 1087.92/1088.23 c 308s | 22 | 2870357 | 2119722 | 959 4162 | 42 | 65 1089.93/1090.24 c 310s | 22 | 2889785 | 2133422 | 959 4189 | 42 | 65 1091.92/1092.26 c 312s | 22 | 2908497 | 2146922 | 959 4215 | 42 | 65 1093.92/1094.27 c 314s | 22 | 2926779 | 2159922 | 959 4241 | 42 | 65 1095.92/1096.28 c 316s | 22 | 2944751 | 2172822 | 959 4266 | 42 | 65 1097.92/1098.29 c 318s | 22 | 2963940 | 2186622 | 959 4292 | 42 | 65 1099.91/1100.29 c 320s | 22 | 2981848 | 2200222 | 959 4319 | 42 | 65 1101.92/1102.29 c 322s | 22 | 3000591 | 2213922 | 959 4345 | 42 | 65 1104.01/1104.30 c 324s | 22 | 3019110 | 2227622 | 959 4372 | 42 | 65 1106.01/1106.31 c 326s | 22 | 3037600 | 2241122 | 959 4398 | 42 | 65 1107.42/1107.79 c 327s | 23 | 3050822 | 2251038 | 959 4417 | 42 | 65 1109.51/1109.80 c 329s | 23 | 3068471 | 2264438 | 959 4443 | 42 | 65 1111.51/1111.81 c 331s | 23 | 3087004 | 2278338 | 959 4470 | 42 | 65 1113.51/1113.82 c 333s | 23 | 3105510 | 2292238 | 959 4497 | 42 | 65 1115.51/1115.83 c 335s | 23 | 3123749 | 2305638 | 959 4523 | 42 | 65 1117.51/1117.84 c 337s | 23 | 3142730 | 2319638 | 959 4550 | 42 | 65 1119.51/1119.85 c 339s | 23 | 3160733 | 2333338 | 959 4577 | 42 | 65 1121.50/1121.86 c 341s | 23 | 3179243 | 2347138 | 959 4603 | 42 | 65 1123.50/1123.87 c 343s | 23 | 3198338 | 2361138 | 959 4631 | 42 | 65 1125.50/1125.88 c 345s | 23 | 3216389 | 2374638 | 959 4657 | 42 | 65 1127.50/1127.88 c 347s | 23 | 3233770 | 2387538 | 959 4682 | 42 | 65 1129.50/1129.88 c 349s | 23 | 3251199 | 2400738 | 959 4707 | 42 | 65 1131.50/1131.89 c 351s | 23 | 3269509 | 2414438 | 959 4734 | 42 | 65 1133.59/1133.90 c 353s | 23 | 3288581 | 2428638 | 959 4761 | 42 | 65 1135.59/1135.91 c 355s | 23 | 3306980 | 2442338 | 959 4788 | 42 | 65 1137.59/1137.91 c 357s | 23 | 3324650 | 2455338 | 959 4813 | 42 | 65 1139.59/1139.91 c 359s | 23 | 3342710 | 2468638 | 959 4839 | 42 | 65 1141.60/1141.91 c 361s | 23 | 3361536 | 2482238 | 959 4865 | 42 | 65 1143.59/1143.92 c 363s | 23 | 3381405 | 2496238 | 959 4892 | 42 | 65 1145.59/1145.93 c 365s | 23 | 3400651 | 2509838 | 959 4919 | 42 | 65 1147.58/1147.95 c 367s | 23 | 3418737 | 2522738 | 959 4944 | 42 | 65 1149.58/1149.95 c 369s | 23 | 3437570 | 2536538 | 959 4971 | 42 | 65 1151.58/1151.95 c 371s | 23 | 3455758 | 2549838 | 959 4997 | 42 | 65 1153.59/1153.95 c 373s | 23 | 3474159 | 2563138 | 959 5022 | 42 | 65 1155.58/1155.97 c 376s | 23 | 3493233 | 2577138 | 959 5049 | 42 | 65 1157.59/1157.97 c 378s | 23 | 3511622 | 2590838 | 959 5076 | 42 | 65 1159.59/1159.98 c 380s | 23 | 3530217 | 2604538 | 959 5103 | 42 | 65 1161.59/1161.98 c 382s | 23 | 3547992 | 2618038 | 959 5129 | 42 | 65 1163.59/1163.99 c 384s | 23 | 3567206 | 2631738 | 959 5155 | 42 | 65 1165.59/1166.00 c 386s | 23 | 3587104 | 2645838 | 959 5183 | 42 | 65 1167.68/1168.01 c 388s | 23 | 3606171 | 2659738 | 959 5210 | 42 | 65 1169.68/1170.02 c 390s | 23 | 3625114 | 2673738 | 959 5237 | 42 | 65 1171.68/1172.03 c 392s | 23 | 3643598 | 2687538 | 959 5264 | 42 | 65 1173.68/1174.04 c 394s | 23 | 3661682 | 2701038 | 959 5290 | 42 | 65 1175.69/1176.05 c 396s | 23 | 3679857 | 2714138 | 959 5315 | 42 | 65 1177.68/1178.05 c 398s | 23 | 3697524 | 2727438 | 959 5341 | 42 | 65 1179.68/1180.06 c 400s | 23 | 3714706 | 2740738 | 959 5367 | 42 | 65 1181.68/1182.07 c 402s | 23 | 3732499 | 2753738 | 959 5392 | 42 | 65 1183.68/1184.09 c 404s | 23 | 3750578 | 2766938 | 959 5418 | 42 | 65 1185.67/1186.09 c 406s | 23 | 3768283 | 2779938 | 959 5443 | 42 | 65 1187.68/1188.10 c 408s | 23 | 3787264 | 2793238 | 959 5469 | 42 | 65 1189.77/1190.11 c 410s | 23 | 3806945 | 2806838 | 959 5495 | 42 | 65 1191.77/1192.11 c 412s | 23 | 3827835 | 2820338 | 959 5521 | 42 | 65 1193.77/1194.12 c 414s | 23 | 3849526 | 2833838 | 959 5547 | 42 | 65 1195.77/1196.13 c 416s | 23 | 3869161 | 2847538 | 959 5574 | 42 | 65 1197.76/1198.15 c 418s | 23 | 3889208 | 2860938 | 959 5600 | 42 | 65 1199.77/1200.15 c 420s | 23 | 3909637 | 2875138 | 959 5628 | 42 | 65 1201.76/1202.17 c 422s | 23 | 3932321 | 2889738 | 959 5656 | 42 | 65 1203.76/1204.17 c 424s | 23 | 3954063 | 2904238 | 959 5684 | 42 | 65 1205.76/1206.17 c 426s | 23 | 3974540 | 2918338 | 959 5712 | 42 | 65 1207.76/1208.18 c 428s | 23 | 3993988 | 2932138 | 959 5738 | 42 | 65 1209.77/1210.18 c 430s | 23 | 4014837 | 2946038 | 959 5765 | 42 | 65 1211.76/1212.19 c 432s | 23 | 4034716 | 2959738 | 959 5792 | 42 | 65 1213.86/1214.20 c 434s | 23 | 4055558 | 2973338 | 959 5818 | 42 | 65 1215.86/1216.21 c 436s | 23 | 4076041 | 2986838 | 959 5845 | 42 | 65 1217.85/1218.22 c 438s | 23 | 4096510 | 3000238 | 959 5871 | 42 | 65 1219.85/1220.22 c 440s | 23 | 4117187 | 3013638 | 959 5897 | 42 | 65 1221.86/1222.23 c 442s | 23 | 4137777 | 3027038 | 959 5923 | 42 | 65 1223.85/1224.23 c 444s | 23 | 4158718 | 3041038 | 959 5950 | 42 | 65 1225.85/1226.25 c 446s | 23 | 4178000 | 3054738 | 959 5977 | 42 | 65 1227.85/1228.25 c 448s | 23 | 4197885 | 3068738 | 959 6004 | 42 | 65 1229.85/1230.27 c 450s | 23 | 4219126 | 3082738 | 959 6031 | 42 | 65 1231.85/1232.27 c 452s | 23 | 4237728 | 3096038 | 959 6057 | 42 | 65 1233.85/1234.28 c 454s | 23 | 4257285 | 3109938 | 959 6084 | 42 | 65 1235.85/1236.29 c 456s | 23 | 4276965 | 3123938 | 959 6111 | 42 | 65 1237.84/1238.29 c 458s | 23 | 4296417 | 3137638 | 959 6137 | 42 | 65 1239.94/1240.30 c 460s | 23 | 4315886 | 3151238 | 959 6164 | 42 | 65 1241.94/1242.31 c 462s | 23 | 4334088 | 3164738 | 959 6190 | 42 | 65 1243.94/1244.32 c 464s | 23 | 4352454 | 3178138 | 959 6216 | 42 | 65 1245.94/1246.32 c 466s | 23 | 4371456 | 3191638 | 959 6242 | 42 | 65 1247.94/1248.33 c 468s | 23 | 4389653 | 3205338 | 959 6269 | 42 | 65 1249.94/1250.34 c 470s | 23 | 4408144 | 3219038 | 959 6295 | 42 | 65 1251.94/1252.34 c 472s | 23 | 4426193 | 3232738 | 959 6322 | 42 | 65 1253.94/1254.34 c 474s | 23 | 4444380 | 3246438 | 959 6349 | 42 | 65 1255.95/1256.36 c 476s | 23 | 4462385 | 3259638 | 959 6374 | 42 | 65 1257.94/1258.37 c 478s | 23 | 4480093 | 3272938 | 959 6400 | 42 | 65 1259.94/1260.37 c 480s | 23 | 4498154 | 3286438 | 959 6426 | 42 | 65 1261.94/1262.38 c 482s | 23 | 4515929 | 3299738 | 959 6452 | 42 | 65 1263.94/1264.38 c 484s | 23 | 4533228 | 3312638 | 959 6477 | 42 | 65 1265.94/1266.39 c 486s | 23 | 4549964 | 3325838 | 959 6503 | 42 | 65 1267.94/1268.40 c 488s | 23 | 4569038 | 3339438 | 959 6529 | 42 | 65 1270.03/1270.40 c 490s | 23 | 4588448 | 3352638 | 959 6555 | 42 | 65 1272.03/1272.41 c 492s | 23 | 4606930 | 3365838 | 959 6581 | 42 | 65 1273.63/1274.02 c 494s | 24 | 4621604 | 3376662 | 959 6602 | 42 | 65 1275.64/1276.04 c 496s | 24 | 4640363 | 3390562 | 959 6629 | 42 | 65 1277.63/1278.05 c 498s | 24 | 4658428 | 3404062 | 959 6655 | 42 | 65 1279.62/1280.05 c 500s | 24 | 4675929 | 3417462 | 959 6681 | 42 | 65 1281.62/1282.06 c 502s | 24 | 4694138 | 3430662 | 959 6706 | 42 | 65 1283.62/1284.07 c 504s | 24 | 4711935 | 3443862 | 959 6732 | 42 | 65 1285.63/1286.07 c 506s | 24 | 4730412 | 3457262 | 959 6758 | 42 | 65 1287.62/1288.08 c 508s | 24 | 4748501 | 3470762 | 959 6784 | 42 | 65 1289.62/1290.08 c 510s | 24 | 4766434 | 3483962 | 959 6809 | 42 | 65 1291.62/1292.08 c 512s | 24 | 4784083 | 3497362 | 959 6835 | 42 | 65 1293.62/1294.09 c 514s | 24 | 4801357 | 3510162 | 959 6860 | 42 | 65 1295.72/1296.10 c 516s | 24 | 4818263 | 3522762 | 959 6885 | 42 | 65 1297.72/1298.11 c 518s | 24 | 4835236 | 3535662 | 959 6910 | 42 | 65 1299.71/1300.12 c 520s | 24 | 4853371 | 3548862 | 959 6935 | 42 | 65 1301.71/1302.12 c 522s | 24 | 4871634 | 3562062 | 959 6961 | 42 | 65 1303.71/1304.13 c 524s | 24 | 4890233 | 3575462 | 959 6987 | 42 | 65 1305.72/1306.14 c 526s | 24 | 4907828 | 3588662 | 959 7012 | 42 | 65 1307.72/1308.14 c 528s | 24 | 4925797 | 3601762 | 959 7038 | 42 | 65 1309.72/1310.15 c 530s | 24 | 4943743 | 3614662 | 959 7063 | 42 | 65 1311.72/1312.16 c 532s | 24 | 4961330 | 3627562 | 959 7088 | 42 | 65 1313.72/1314.16 c 534s | 24 | 4979202 | 3640462 | 959 7113 | 42 | 65 1315.72/1316.18 c 536s | 24 | 4996510 | 3653262 | 959 7138 | 42 | 65 1317.71/1318.19 c 538s | 24 | 5014183 | 3666262 | 959 7163 | 42 | 65 1319.72/1320.19 c 540s | 24 | 5032991 | 3679262 | 959 7188 | 42 | 65 1321.71/1322.19 c 542s | 24 | 5051725 | 3692362 | 959 7214 | 42 | 65 1323.81/1324.21 c 544s | 24 | 5069635 | 3705062 | 959 7238 | 42 | 65 1325.81/1326.21 c 546s | 24 | 5086313 | 3717562 | 959 7263 | 42 | 65 1327.81/1328.22 c 548s | 24 | 5102826 | 3730162 | 959 7287 | 42 | 65 1329.81/1330.23 c 550s | 24 | 5120155 | 3743062 | 959 7312 | 42 | 65 1331.81/1332.23 c 552s | 24 | 5137572 | 3756062 | 959 7337 | 42 | 65 1333.81/1334.23 c 554s | 24 | 5155368 | 3768962 | 959 7362 | 42 | 65 1335.81/1336.24 c 556s | 24 | 5172866 | 3781562 | 959 7387 | 42 | 65 1337.80/1338.25 c 558s | 24 | 5190172 | 3794162 | 959 7411 | 42 | 65 1339.80/1340.25 c 560s | 24 | 5207699 | 3806862 | 959 7436 | 42 | 65 1341.80/1342.26 c 562s | 24 | 5226107 | 3820362 | 959 7462 | 42 | 65 1343.80/1344.27 c 564s | 24 | 5243514 | 3833362 | 959 7487 | 42 | 65 1345.80/1346.27 c 566s | 24 | 5261278 | 3846462 | 959 7513 | 42 | 65 1347.79/1348.28 c 568s | 24 | 5278922 | 3859562 | 959 7538 | 42 | 65 1349.79/1350.28 c 570s | 24 | 5296310 | 3872462 | 959 7563 | 42 | 65 1351.89/1352.30 c 572s | 24 | 5314060 | 3885262 | 959 7588 | 42 | 65 1353.89/1354.30 c 574s | 24 | 5331865 | 3898162 | 959 7613 | 42 | 65 1355.90/1356.31 c 576s | 24 | 5350144 | 3911062 | 959 7638 | 42 | 65 1357.89/1358.33 c 578s | 24 | 5367728 | 3923762 | 959 7663 | 42 | 65 1359.89/1360.33 c 580s | 24 | 5385318 | 3936662 | 959 7688 | 42 | 65 1361.88/1362.35 c 582s | 24 | 5403255 | 3949862 | 959 7713 | 42 | 65 1363.88/1364.36 c 584s | 24 | 5421188 | 3962562 | 959 7738 | 42 | 65 1365.89/1366.36 c 586s | 24 | 5438812 | 3975162 | 959 7762 | 42 | 65 1367.88/1368.37 c 588s | 24 | 5456376 | 3987962 | 959 7787 | 42 | 65 1369.88/1370.38 c 590s | 24 | 5473374 | 4000662 | 959 7812 | 42 | 65 1371.88/1372.38 c 592s | 24 | 5490762 | 4013462 | 959 7837 | 42 | 65 1373.88/1374.40 c 594s | 24 | 5508168 | 4026462 | 959 7862 | 42 | 65 1375.98/1376.40 c 596s | 24 | 5525857 | 4039162 | 959 7887 | 42 | 65 1377.99/1378.42 c 598s | 24 | 5542815 | 4051762 | 959 7911 | 42 | 65 1379.98/1380.42 c 600s | 24 | 5560875 | 4064862 | 959 7936 | 42 | 65 1381.98/1382.43 c 602s | 24 | 5578659 | 4077562 | 1055 7960 | 42 | 65 1383.98/1384.45 c 604s | 24 | 5595020 | 4089962 | 1055 7982 | 42 | 65 1385.98/1386.46 c 606s | 24 | 5611456 | 4102162 | 1055 8004 | 42 | 65 1387.98/1388.48 c 608s | 24 | 5628308 | 4114362 | 1055 8026 | 42 | 65 1389.98/1390.48 c 610s | 24 | 5644730 | 4126562 | 1055 8047 | 42 | 65 1391.98/1392.48 c 612s | 24 | 5660964 | 4138662 | 1055 8069 | 42 | 65 1393.98/1394.49 c 614s | 24 | 5677291 | 4150662 | 1055 8090 | 42 | 65 1396.08/1396.51 c 616s | 24 | 5693124 | 4162162 | 1055 8111 | 42 | 65 1398.08/1398.51 c 618s | 24 | 5709172 | 4174062 | 1055 8132 | 42 | 65 1400.08/1400.52 c 620s | 24 | 5726659 | 4186862 | 1055 8154 | 42 | 65 1402.09/1402.53 c 622s | 24 | 5743970 | 4199562 | 1055 8177 | 42 | 65 1404.08/1404.53 c 624s | 24 | 5761565 | 4212062 | 1055 8199 | 42 | 65 1406.08/1406.55 c 626s | 24 | 5778196 | 4224462 | 1055 8221 | 42 | 65 1408.08/1408.55 c 628s | 24 | 5795404 | 4236962 | 1055 8244 | 42 | 65 1410.08/1410.56 c 630s | 24 | 5813271 | 4249962 | 1055 8267 | 42 | 65 1412.09/1412.56 c 632s | 24 | 5830688 | 4263062 | 1055 8290 | 42 | 65 1414.08/1414.57 c 634s | 24 | 5848387 | 4276062 | 1055 8313 | 42 | 65 1416.08/1416.58 c 636s | 24 | 5865246 | 4288762 | 1055 8336 | 42 | 65 1418.08/1418.59 c 638s | 24 | 5882762 | 4301662 | 1055 8358 | 42 | 65 1420.08/1420.59 c 640s | 24 | 5900416 | 4314562 | 1055 8381 | 42 | 65 1422.08/1422.59 c 642s | 24 | 5917697 | 4327362 | 1055 8404 | 42 | 65 1424.08/1424.59 c 644s | 24 | 5935289 | 4340362 | 1055 8427 | 42 | 65 1426.08/1426.59 c 646s | 24 | 5953088 | 4353662 | 1055 8451 | 42 | 65 1428.18/1428.60 c 648s | 24 | 5971438 | 4366662 | 1055 8474 | 42 | 65 1430.17/1430.60 c 650s | 24 | 5989827 | 4379462 | 1055 8497 | 42 | 65 1432.17/1432.62 c 652s | 24 | 6007573 | 4392162 | 1055 8519 | 42 | 65 1434.17/1434.62 c 654s | 24 | 6024387 | 4404562 | 1055 8541 | 42 | 65 1436.18/1436.63 c 656s | 24 | 6042792 | 4417862 | 1055 8565 | 42 | 65 1438.17/1438.64 c 658s | 24 | 6060880 | 4431062 | 1055 8588 | 42 | 65 1440.17/1440.66 c 660s | 24 | 6078858 | 4444062 | 1055 8612 | 42 | 65 1442.17/1442.67 c 662s | 24 | 6096983 | 4456862 | 1055 8634 | 42 | 65 1444.17/1444.67 c 664s | 24 | 6114451 | 4469562 | 1055 8657 | 42 | 65 1446.18/1446.68 c 666s | 24 | 6131560 | 4482162 | 1055 8679 | 42 | 65 1448.17/1448.69 c 668s | 24 | 6148632 | 4494862 | 1055 8702 | 42 | 65 1450.17/1450.69 c 670s | 24 | 6165059 | 4507162 | 1055 8724 | 42 | 65 1452.27/1452.70 c 672s | 24 | 6181997 | 4519562 | 1055 8746 | 42 | 65 1454.27/1454.70 c 674s | 24 | 6200070 | 4532562 | 1055 8769 | 42 | 65 1456.27/1456.70 c 676s | 24 | 6217903 | 4545562 | 1055 8792 | 42 | 65 1458.28/1458.71 c 678s | 24 | 6235432 | 4558262 | 1055 8814 | 42 | 65 1460.28/1460.73 c 680s | 24 | 6252597 | 4570862 | 1055 8837 | 42 | 65 1462.27/1462.73 c 682s | 24 | 6268895 | 4582862 | 1055 8858 | 42 | 65 1464.27/1464.74 c 684s | 24 | 6286116 | 4595562 | 1055 8880 | 42 | 65 1466.27/1466.75 c 686s | 24 | 6303349 | 4608362 | 1055 8903 | 42 | 65 1468.27/1468.75 c 688s | 24 | 6320844 | 4621262 | 1055 8926 | 42 | 65 1470.28/1470.76 c 690s | 24 | 6338526 | 4634162 | 1055 8949 | 42 | 65 1472.27/1472.77 c 692s | 24 | 6356698 | 4647262 | 1055 8972 | 42 | 65 1474.27/1474.78 c 694s | 24 | 6373892 | 4660062 | 1055 8995 | 42 | 65 1476.27/1476.79 c 696s | 24 | 6391133 | 4672562 | 1055 9017 | 42 | 65 1478.37/1478.80 c 698s | 24 | 6407638 | 4684762 | 1055 9039 | 42 | 65 1480.37/1480.80 c 700s | 24 | 6424244 | 4697262 | 1055 9061 | 42 | 65 1482.38/1482.81 c 702s | 24 | 6441344 | 4709662 | 1055 9083 | 42 | 65 1484.37/1484.82 c 704s | 24 | 6458246 | 4722262 | 1055 9105 | 42 | 65 1486.37/1486.83 c 706s | 24 | 6475621 | 4734762 | 1055 9128 | 42 | 65 1488.37/1488.83 c 708s | 24 | 6493535 | 4747362 | 1055 9150 | 42 | 65 1490.37/1490.84 c 710s | 24 | 6511185 | 4759562 | 1055 9172 | 42 | 65 1492.38/1492.85 c 712s | 24 | 6528682 | 4772162 | 1055 9194 | 42 | 65 1494.37/1494.86 c 714s | 24 | 6546638 | 4784762 | 1055 9216 | 42 | 65 1496.37/1496.87 c 716s | 24 | 6565384 | 4797762 | 1055 9240 | 42 | 65 1498.37/1498.89 c 718s | 24 | 6583350 | 4810462 | 1055 9262 | 42 | 65 1500.47/1500.90 c 720s | 24 | 6602020 | 4823262 | 1055 9285 | 42 | 65 1502.47/1502.90 c 722s | 24 | 6620155 | 4835762 | 1055 9307 | 42 | 65 1504.47/1504.92 c 724s | 24 | 6639472 | 4848762 | 1055 9330 | 42 | 65 1506.46/1506.92 c 726s | 24 | 6658420 | 4861862 | 1055 9353 | 42 | 65 1508.46/1508.94 c 728s | 24 | 6676792 | 4874762 | 1055 9376 | 42 | 65 1510.46/1510.95 c 730s | 24 | 6695149 | 4887562 | 1055 9399 | 42 | 65 1512.46/1512.95 c 732s | 24 | 6713012 | 4900462 | 1055 9422 | 42 | 65 1514.46/1514.96 c 735s | 24 | 6729755 | 4912862 | 1055 9444 | 42 | 65 1516.47/1516.97 c 737s | 24 | 6747164 | 4925362 | 1055 9466 | 42 | 65 1518.46/1518.98 c 739s | 24 | 6765098 | 4938262 | 1055 9489 | 42 | 65 1520.46/1520.99 c 741s | 24 | 6781591 | 4950562 | 1055 9511 | 42 | 65 1522.46/1522.99 c 743s | 24 | 6798625 | 4962862 | 1055 9533 | 42 | 65 1524.56/1525.00 c 745s | 24 | 6816612 | 4975862 | 1055 9556 | 42 | 65 1526.56/1527.00 c 747s | 24 | 6834649 | 4988662 | 1055 9579 | 42 | 65 1528.57/1529.01 c 749s | 24 | 6852475 | 5001262 | 1055 9602 | 42 | 65 1530.56/1531.02 c 751s | 24 | 6870460 | 5014162 | 1055 9625 | 42 | 65 1532.56/1533.03 c 753s | 24 | 6888627 | 5027062 | 1055 9647 | 42 | 65 1534.56/1535.03 c 755s | 24 | 6906049 | 5040062 | 1055 9671 | 42 | 65 1536.56/1537.04 c 757s | 24 | 6922784 | 5052662 | 1055 9693 | 42 | 65 1538.56/1539.05 c 759s | 24 | 6939750 | 5065062 | 1055 9715 | 42 | 65 1538.56/1539.05 c 759s | 25 | 6939793 | 5065098 | 1055 9715 | 42 | 65 1540.55/1541.07 c 761s | 25 | 6956396 | 5077798 | 1055 9738 | 42 | 65 1542.55/1543.08 c 763s | 25 | 6973558 | 5090498 | 1055 9760 | 42 | 65 1544.55/1545.09 c 765s | 25 | 6990200 | 5103398 | 1055 9783 | 42 | 65 1546.55/1547.09 c 767s | 25 | 7006328 | 5115998 | 1055 9805 | 42 | 65 1548.65/1549.10 c 769s | 25 | 7022682 | 5128898 | 1055 9828 | 42 | 65 1550.66/1551.11 c 771s | 25 | 7039215 | 5141698 | 1055 9851 | 42 | 65 1552.65/1553.12 c 773s | 25 | 7056074 | 5154498 | 1055 9874 | 42 | 65 1554.65/1555.12 c 775s | 25 | 7072644 | 5166998 | 1055 9896 | 42 | 65 1556.65/1557.14 c 777s | 25 | 7089196 | 5179798 | 1055 9919 | 42 | 65 1558.65/1559.15 c 779s | 25 | 7104773 | 5191798 | 1055 9940 | 42 | 65 1560.66/1561.16 c 781s | 25 | 7121813 | 5204298 | 1055 9962 | 42 | 65 1562.67/1563.17 c 783s | 25 | 7140363 | 5217898 | 1055 9986 | 42 | 65 1564.66/1565.18 c 785s | 25 | 7159206 | 5231098 | 1055 10010 | 42 | 65 1566.66/1567.19 c 787s | 25 | 7176927 | 5243898 | 1055 10032 | 42 | 65 1568.66/1569.19 c 789s | 25 | 7195253 | 5257098 | 1055 10056 | 42 | 65 1570.76/1571.21 c 791s | 25 | 7213253 | 5270198 | 1055 10079 | 42 | 65 1572.76/1573.21 c 793s | 25 | 7230335 | 5282798 | 1055 10101 | 42 | 65 1574.76/1575.21 c 795s | 25 | 7246919 | 5295398 | 1055 10123 | 42 | 65 1576.76/1577.22 c 797s | 25 | 7264779 | 5308298 | 1055 10146 | 42 | 65 1578.76/1579.22 c 799s | 25 | 7281890 | 5321198 | 1055 10169 | 42 | 65 1580.76/1581.23 c 801s | 25 | 7299308 | 5334098 | 1055 10192 | 42 | 65 1582.75/1583.23 c 803s | 25 | 7316314 | 5346898 | 1055 10215 | 42 | 65 1584.76/1585.25 c 805s | 25 | 7333176 | 5359998 | 1055 10238 | 42 | 65 1586.75/1587.25 c 807s | 25 | 7350077 | 5372998 | 1055 10261 | 42 | 65 1588.75/1589.25 c 809s | 25 | 7367422 | 5385698 | 1055 10283 | 42 | 65 1590.75/1591.26 c 811s | 25 | 7384813 | 5398498 | 1055 10306 | 42 | 65 1592.75/1593.27 c 813s | 25 | 7401657 | 5411498 | 1055 10329 | 42 | 65 1594.75/1595.28 c 815s | 25 | 7419314 | 5424598 | 1055 10352 | 42 | 65 1596.76/1597.29 c 817s | 25 | 7437047 | 5437498 | 1055 10375 | 42 | 65 1598.85/1599.30 c 819s | 25 | 7453740 | 5450398 | 1055 10398 | 42 | 65 1600.85/1601.31 c 821s | 25 | 7469898 | 5463098 | 1055 10420 | 42 | 65 1602.85/1603.32 c 823s | 25 | 7486653 | 5475698 | 1055 10442 | 42 | 65 1604.85/1605.33 c 825s | 25 | 7503578 | 5488398 | 1055 10465 | 42 | 65 1606.85/1607.34 c 827s | 25 | 7520238 | 5501198 | 1055 10487 | 42 | 65 1608.86/1609.35 c 829s | 25 | 7536823 | 5513998 | 1055 10510 | 42 | 65 1610.85/1611.36 c 831s | 25 | 7553408 | 5526598 | 1055 10532 | 42 | 65 1612.85/1613.36 c 833s | 25 | 7570724 | 5539098 | 1055 10555 | 42 | 65 1614.85/1615.38 c 835s | 25 | 7589699 | 5552398 | 1055 10578 | 42 | 65 1616.85/1617.38 c 837s | 25 | 7607470 | 5565698 | 1055 10602 | 42 | 65 1618.85/1619.38 c 839s | 25 | 7625421 | 5578998 | 1055 10625 | 42 | 65 1620.84/1621.39 c 841s | 25 | 7642910 | 5592198 | 1055 10649 | 42 | 65 1622.84/1623.39 c 843s | 25 | 7660261 | 5605398 | 1055 10672 | 42 | 65 1624.94/1625.41 c 845s | 25 | 7677113 | 5618398 | 1055 10695 | 42 | 65 1626.94/1627.41 c 847s | 25 | 7694165 | 5631398 | 1055 10718 | 42 | 65 1628.94/1629.43 c 849s | 25 | 7711470 | 5644698 | 1055 10742 | 42 | 65 1630.95/1631.43 c 851s | 25 | 7729198 | 5657998 | 1055 10765 | 42 | 65 1632.94/1633.43 c 853s | 25 | 7746190 | 5671098 | 1055 10788 | 42 | 65 1634.95/1635.45 c 855s | 25 | 7763396 | 5684098 | 1055 10812 | 42 | 65 1636.95/1637.45 c 857s | 25 | 7780964 | 5697498 | 1055 10835 | 42 | 65 1638.95/1639.47 c 859s | 25 | 7798252 | 5710698 | 1055 10859 | 42 | 65 1640.95/1641.47 c 861s | 25 | 7816170 | 5723998 | 1055 10882 | 42 | 65 1642.96/1643.48 c 863s | 25 | 7834268 | 5737298 | 1055 10906 | 42 | 65 1644.95/1645.48 c 865s | 25 | 7851600 | 5750498 | 1055 10929 | 42 | 65 1646.95/1647.49 c 867s | 25 | 7868832 | 5763298 | 1055 10952 | 42 | 65 1649.05/1649.51 c 869s | 25 | 7886084 | 5776098 | 1055 10975 | 42 | 65 1651.05/1651.51 c 871s | 25 | 7904487 | 5789098 | 1055 10998 | 42 | 65 1653.04/1653.51 c 873s | 25 | 7922473 | 5802198 | 1055 11021 | 42 | 65 1655.05/1655.52 c 875s | 25 | 7939814 | 5815198 | 1055 11044 | 42 | 65 1657.04/1657.53 c 877s | 25 | 7957647 | 5828198 | 1055 11067 | 42 | 65 1659.04/1659.54 c 879s | 25 | 7974064 | 5840798 | 1055 11089 | 42 | 65 1661.04/1661.55 c 881s | 25 | 7990595 | 5853198 | 1055 11111 | 42 | 65 1663.04/1663.56 c 883s | 25 | 8007947 | 5865698 | 1055 11134 | 42 | 65 1665.05/1665.56 c 885s | 25 | 8026049 | 5878598 | 1055 11156 | 42 | 65 1667.04/1667.56 c 887s | 25 | 8043259 | 5891198 | 1055 11179 | 42 | 65 1669.04/1669.57 c 889s | 25 | 8060552 | 5903898 | 1055 11201 | 42 | 65 1671.04/1671.58 c 891s | 25 | 8078274 | 5916998 | 1055 11225 | 42 | 65 1673.04/1673.59 c 893s | 25 | 8094863 | 5929498 | 1055 11247 | 42 | 65 1675.14/1675.60 c 895s | 25 | 8112151 | 5941998 | 1055 11269 | 42 | 65 1677.15/1677.62 c 897s | 25 | 8128836 | 5954498 | 1055 11291 | 42 | 65 1679.14/1679.62 c 899s | 25 | 8145803 | 5967298 | 1055 11314 | 42 | 65 1681.14/1681.64 c 901s | 25 | 8163182 | 5979798 | 1055 11336 | 42 | 65 1683.14/1683.64 c 903s | 25 | 8180911 | 5992498 | 1055 11359 | 42 | 65 1685.14/1685.65 c 905s | 25 | 8199453 | 6005898 | 1055 11382 | 42 | 65 1687.14/1687.67 c 907s | 25 | 8218229 | 6019098 | 1055 11406 | 42 | 65 1689.15/1689.67 c 909s | 25 | 8236723 | 6032198 | 1055 11429 | 42 | 65 1691.14/1691.68 c 911s | 25 | 8254200 | 6045098 | 1055 11452 | 42 | 65 1693.14/1693.69 c 913s | 25 | 8272804 | 6058298 | 1055 11475 | 42 | 65 1695.24/1695.70 c 915s | 25 | 8291049 | 6071598 | 1055 11499 | 42 | 65 1697.24/1697.70 c 917s | 25 | 8309734 | 6084598 | 1055 11522 | 42 | 65 1699.24/1699.70 c 919s | 25 | 8328570 | 6097798 | 1055 11546 | 42 | 65 1701.24/1701.72 c 921s | 25 | 8347153 | 6111198 | 1055 11569 | 42 | 65 1703.23/1703.72 c 923s | 25 | 8364799 | 6124198 | 1055 11593 | 42 | 65 1705.23/1705.73 c 925s | 25 | 8382057 | 6137098 | 1055 11615 | 42 | 65 1707.23/1707.75 c 927s | 25 | 8399273 | 6150198 | 1055 11639 | 42 | 65 1709.23/1709.75 c 929s | 25 | 8416316 | 6163598 | 1055 11662 | 42 | 65 1711.24/1711.76 c 931s | 25 | 8433730 | 6177298 | 1055 11687 | 42 | 65 1713.23/1713.77 c 933s | 25 | 8451058 | 6190998 | 1055 11711 | 42 | 65 1715.23/1715.78 c 935s | 25 | 8468539 | 6204198 | 1055 11734 | 42 | 65 1717.23/1717.78 c 937s | 25 | 8485629 | 6217798 | 1055 11758 | 42 | 65 1719.23/1719.79 c 939s | 25 | 8502028 | 6230998 | 1055 11782 | 42 | 65 1721.23/1721.79 c 941s | 25 | 8518374 | 6244098 | 1055 11805 | 42 | 65 1723.24/1723.80 c 943s | 25 | 8536380 | 6257998 | 1055 11830 | 42 | 65 1725.33/1725.80 c 945s | 25 | 8553705 | 6271398 | 1055 11853 | 42 | 65 1727.33/1727.80 c 947s | 25 | 8570412 | 6284398 | 1055 11876 | 42 | 65 1729.33/1729.82 c 949s | 25 | 8586847 | 6297098 | 1055 11899 | 42 | 65 1731.33/1731.82 c 951s | 25 | 8604398 | 6310198 | 1055 11922 | 42 | 65 1733.33/1733.82 c 953s | 25 | 8621761 | 6323398 | 1055 11946 | 42 | 65 1735.33/1735.84 c 955s | 25 | 8638469 | 6336398 | 1055 11969 | 42 | 65 1737.33/1737.84 c 957s | 25 | 8654836 | 6349198 | 1055 11991 | 42 | 65 1739.33/1739.85 c 959s | 25 | 8672737 | 6362398 | 1055 12015 | 42 | 65 1741.32/1741.85 c 961s | 25 | 8691034 | 6375598 | 1055 12038 | 42 | 65 1743.32/1743.85 c 963s | 25 | 8709097 | 6388798 | 1055 12062 | 42 | 65 1745.33/1745.86 c 965s | 25 | 8727470 | 6402398 | 1055 12086 | 42 | 65 1747.33/1747.87 c 967s | 25 | 8745821 | 6415598 | 1055 12109 | 42 | 65 1749.33/1749.87 c 969s | 25 | 8763204 | 6428298 | 1055 12132 | 42 | 65 1751.33/1751.88 c 971s | 25 | 8782224 | 6441498 | 1055 12156 | 42 | 65 1753.33/1753.88 c 973s | 25 | 8801221 | 6454898 | 1055 12179 | 42 | 65 1755.43/1755.90 c 975s | 25 | 8818424 | 6467698 | 1055 12202 | 42 | 65 1757.44/1757.90 c 977s | 25 | 8835483 | 6480098 | 1055 12224 | 42 | 65 1759.43/1759.91 c 979s | 25 | 8852858 | 6493198 | 1055 12247 | 42 | 65 1761.43/1761.92 c 981s | 25 | 8869440 | 6505798 | 1055 12270 | 42 | 65 1763.43/1763.93 c 983s | 25 | 8886509 | 6518598 | 1055 12293 | 42 | 65 1765.43/1765.94 c 985s | 25 | 8903413 | 6531398 | 1055 12315 | 42 | 65 1767.43/1767.95 c 987s | 25 | 8920804 | 6544298 | 1055 12338 | 42 | 65 1769.43/1769.96 c 990s | 25 | 8937666 | 6556998 | 1055 12361 | 42 | 65 1771.43/1771.96 c 992s | 25 | 8954959 | 6569898 | 1055 12384 | 42 | 65 1773.43/1773.97 c 994s | 25 | 8971038 | 6582598 | 1055 12406 | 42 | 65 1775.43/1775.98 c 996s | 25 | 8987245 | 6595298 | 1055 12429 | 42 | 65 1777.42/1777.99 c 998s | 25 | 9003398 | 6607998 | 1055 12451 | 42 | 65 1779.43/1779.99 c 1000s | 25 | 9020963 | 6620998 | 1055 12474 | 42 | 65 1781.53/1782.01 c 1002s | 25 | 9038277 | 6633998 | 1055 12497 | 42 | 65 1783.52/1784.02 c 1004s | 25 | 9054943 | 6646998 | 1055 12520 | 42 | 65 1785.52/1786.02 c 1006s | 25 | 9071172 | 6659598 | 1055 12543 | 42 | 65 1787.52/1788.04 c 1008s | 25 | 9088306 | 6672798 | 1055 12566 | 42 | 65 1789.52/1790.04 c 1010s | 25 | 9105520 | 6685998 | 1055 12590 | 42 | 65 1791.53/1792.05 c 1012s | 25 | 9122321 | 6699098 | 1055 12613 | 42 | 65 1793.52/1794.06 c 1014s | 25 | 9139422 | 6712198 | 1055 12636 | 42 | 65 1795.52/1796.07 c 1016s | 25 | 9156444 | 6725098 | 1055 12659 | 42 | 65 1797.52/1798.08 c 1018s | 25 | 9173077 | 6737698 | 1055 12681 | 42 | 65 1799.52/1800.09 c 1020s | 25 | 9189988 | 6751098 | 1055 12705 | 42 | 65
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119292-1467252074/watcher-4119292-1467252074 -o /tmp/evaluation-result-4119292-1467252074/solver-4119292-1467252074 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467248463-8530 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119292-1467252074.opb pid=9122 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.26 2.25 3/180 9125 /proc/meminfo: memFree=28439640/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=631228 CPUtime=0 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 2338 0 0 0 0 0 0 0 20 0 4 0 6165933 646377472 3209 33554432000 4194304 16246674 140733753011248 140733753010672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 158575 3218 441 2943 0 155469 0 [pid=9125/tid=9126] ppid=9122 vsize=648636 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 664203264 3277 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=653756 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 669446144 3294 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=657852 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 673640448 3313 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.31 2.26 2.25 3/180 9125 /proc/meminfo: memFree=28439640/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 21555 0 0 0 7 2 0 0 20 0 4 0 6165933 1247350784 22413 33554432000 4194304 16246674 140733753011248 140733753010672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 304529 22419 795 2943 0 301423 0 [pid=9125/tid=9126] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 22427 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 22432 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 22435 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.20045 s] /proc/loadavg: 2.31 2.26 2.25 3/180 9125 /proc/meminfo: memFree=28439640/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 41565 0 0 0 14 5 0 0 20 0 4 0 6165933 1247350784 42424 33554432000 4194304 16246674 140733753011248 140733753010672 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 304529 42433 795 2943 0 301423 0 [pid=9125/tid=9126] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 42437 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 42447 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 42454 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300466 s] /proc/loadavg: 2.31 2.26 2.25 3/180 9125 /proc/meminfo: memFree=28439640/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 62231 0 0 0 21 8 0 0 20 0 4 0 6165933 1247350784 63090 33554432000 4194304 16246674 140733753011248 140733753010672 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 304529 63105 796 2943 0 301423 0 [pid=9125/tid=9126] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 63113 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 63124 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 63133 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700393 s] /proc/loadavg: 2.31 2.26 2.25 3/180 9125 /proc/meminfo: memFree=28439640/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 142479 0 0 0 50 19 0 0 20 0 4 0 6165933 1247350784 143338 33554432000 4194304 16246674 140733753011248 140733752993152 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 304529 143348 796 2943 0 301423 0 [pid=9125/tid=9126] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 143352 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 143358 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1247350784 143365 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.31 2.26 2.25 3/184 9129 /proc/meminfo: memFree=26663900/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1219140 CPUtime=1.48 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 245633 0 0 0 115 33 0 0 20 0 4 0 6165933 1248399360 246469 33554432000 4194304 16246674 140733753011248 140733752993152 6020736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 304785 246469 851 2943 0 301679 0 [pid=9125/tid=9126] ppid=9122 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1248399360 246469 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1248399360 246469 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1248399360 246469 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 2.31 2.26 2.25 3/184 9129 /proc/meminfo: memFree=26381800/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 267481 0 0 0 273 36 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 140733752994248 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 326545 268317 851 2943 0 323439 0 [pid=9125/tid=9126] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.28 2.25 2.25 3/184 9129 /proc/meminfo: memFree=26382092/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 267481 0 0 0 593 36 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 140733752993152 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 326545 268317 851 2943 0 323439 0 [pid=9125/tid=9126] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268317 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.26 2.25 2.25 3/184 9129 /proc/meminfo: memFree=26381780/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 267542 0 0 0 1233 36 0 0 20 0 4 0 6165933 1337528320 268378 33554432000 4194304 16246674 140733753011248 140733752993152 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 326545 268378 851 2943 0 323439 0 [pid=9125/tid=9126] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268378 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268378 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268378 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.20 2.24 2.24 3/184 9129 /proc/meminfo: memFree=26382112/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 267610 0 0 0 2512 36 0 0 20 0 4 0 6165933 1337528320 268446 33554432000 4194304 16246674 140733753011248 140733752993152 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 326545 268446 851 2943 0 323439 0 [pid=9125/tid=9126] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268446 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268446 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1337528320 268446 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.20 2.23 2.24 3/183 9129 /proc/meminfo: memFree=26379500/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 267896 0 0 0 5071 37 0 0 20 0 4 0 6165933 1338576896 268732 33554432000 4194304 16246674 140733753011248 140733752994248 6843909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 326801 268732 854 2943 0 323695 0 [pid=9125/tid=9126] ppid=9122 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1338576896 268732 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1338576896 268732 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1338576896 268732 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.24 2.24 2.24 3/183 9130 /proc/meminfo: memFree=26378096/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1308228 CPUtime=102.28 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 268153 0 0 0 10190 38 0 0 20 0 4 0 6165933 1339625472 268989 33554432000 4194304 16246674 140733753011248 140733752994248 5659504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 327057 268989 854 2943 0 323951 0 [pid=9125/tid=9126] ppid=9122 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1339625472 268989 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1339625472 268989 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1339625472 268989 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1308228 ################ # More data... # ################ /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.36 2.27 2.23 3/183 9161 /proc/meminfo: memFree=26360060/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1361.88 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 136131 57 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 12474768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.42 2.30 2.24 3/183 9163 /proc/meminfo: memFree=26360304/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1421.88 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 142130 58 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5600136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.27 2.28 2.23 4/183 9164 /proc/meminfo: memFree=26360056/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1481.87 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 148128 59 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5600224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1314372 [startup+1542.31 s] /proc/loadavg: 2.25 2.27 2.23 3/183 9165 /proc/meminfo: memFree=26359816/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1541.86 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 154127 59 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733753009088 12483376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.25 2.27 2.23 3/183 9166 /proc/meminfo: memFree=26359540/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1601.85 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 160125 60 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5754961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.27 2.27 2.24 4/183 9167 /proc/meminfo: memFree=26359672/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1661.84 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 166123 61 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 12478365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.25 2.27 2.23 3/183 9169 /proc/meminfo: memFree=26359424/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1721.83 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 172122 61 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5711705 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1314372 [startup+1782.3 s] /proc/loadavg: 2.35 2.29 2.24 3/184 9173 /proc/meminfo: memFree=26359084/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1781.82 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 178120 62 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5711805 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1314372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.47 2.32 2.25 4/183 9173 /proc/meminfo: memFree=26359224/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1800.02 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 179940 62 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1314372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 9125 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.47 2.32 2.25 4/183 9173 /proc/meminfo: memFree=26359224/32872528 swapFree=1589492/1720308 [pid=9125] ppid=9122 vsize=1314372 CPUtime=1800.02 cores=0,2,4,6 /proc/9125/stat : 9125 (toysat) R 9122 9125 8356 0 -1 4202496 270077 0 0 0 179940 62 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 140733752993152 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/9125/statm: 328593 270530 856 2943 0 325487 0 [pid=9125/tid=9126] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9126/stat : 9126 (toysat) S 9122 9125 8356 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926874074352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=9125/tid=9127] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9127/stat : 9127 (toysat) S 9122 9125 8356 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926863584496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=9125/tid=9128] ppid=9122 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9125/task/9128/stat : 9128 (toysat) S 9122 9125 8356 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 6165933 1345916928 270530 33554432000 4194304 16246674 140733753011248 139926746164400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1314372 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.41 CPU system time (s): 0.623905 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.623905 maximum resident set size= 1082120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270077 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 400 involuntary context switches= 1964 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5833 second user time and 6.93895 second system time The end
Begin job on node120 at 2016-06-30 04:01:14 IDJOB=4119292 IDBENCH=111694 IDSOLVER=2542 FILE ID=node120/4119292-1467252074 RUNJOBID= node120-1467248463-8530 PBS_JOBID= 20004470 Free space on /tmp= 71656 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament10.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119292-1467252074/watcher-4119292-1467252074 -o /tmp/evaluation-result-4119292-1467252074/solver-4119292-1467252074 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467248463-8530 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119292-1467252074.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4cd5bfafbb5309e3197a3fb36e6ee167 RANDOM SEED=410398783 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28455156 kB Buffers: 129420 kB Cached: 1741956 kB SwapCached: 0 kB Active: 235000 kB Inactive: 1716960 kB Active(anon): 82896 kB Inactive(anon): 0 kB Active(file): 152104 kB Inactive(file): 1716960 kB Unevictable: 1720308 kB Mlocked: 1589492 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 32888 kB Writeback: 4 kB AnonPages: 1802824 kB Mapped: 17136 kB Shmem: 204 kB Slab: 609600 kB SReclaimable: 53096 kB SUnreclaim: 556504 kB KernelStack: 1464 kB PageTables: 9552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2849880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71640 MiB End job on node120 at 2016-06-30 04:31:15