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.16 | 1800.46 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0234-0234.opb |
| MD5SUM | bd78b3a0ee7b4ded4e739ef42318649f |
| 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 | -20 |
| Best CPU time to get the best result obtained on this benchmark | 0.217966 |
| 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 | 72 |
| Total number of constraints | 24 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 24 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 180 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 180 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 180 |
| Sum of products size (including duplicates) | 360 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-30T03:31:11+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-4119244-1467250270.opb"] 0.00/0.01 c use --random-gen="489721764 208142729 4076481920 1270079718 3502701854 3203473610 2833673845 3099260074 473383243 4185120255 798688938 2203779582 2139547001 3672574903 160528276 3638191932 630971409 394083434 19408396 2278131993 3259883180 1651379873 2233210213 4192194289 2727471981 2579824382 1173227389 3092202755 3713790643 2818546176 3656072513 3552689882 3063439553 2380799509 2548198429 3607540858 1611198964 4012446557 4206580404 1303039232 4007990439 2213266782 3993706441 1617476863 757137082 1141449346 502976404 2747386764 2612813276 1981305559 2921924068 1279202038 4142026162 303888474 113158221 568467076 85190030 2630291251 891069754 2780588703 1720212018 1870097521 3569096835 1206828399 1962000001 1932888734 3519033277 2385692511 3279331339 2895643340 1453108525 942398653 1976707182 3939584601 1926713433 3037115352 1112774669 2298576352 2189478006 3671287902 711453547 1910055766 514016194 1348303468 3289881451 1893098206 3351225544 2824799871 321210740 3182298696 2532973704 3335470678 1275630233 821485362 1567990573 2181860216 2056648997 2809122536 2577256233 2872550338 740279636 737265623 2181411591 543058431 3768285794 3187910695 884112624 3859879544 2867185283 3811543018 335541616 3148103049 2739779800 1351732703 1936355881 556563293 1085927723 1433176826 1355906676 1222934662 1667609800 388953365 3677474654 335473938 2409423956 2293970574 1648858045 1847175824 3012309781 1334317203 1559058949 1021981022 1003232357 4231100875 4034475527 4112821456 1084508140 1994536470 988457531 3137295837 2476118448 1696275101 893555419 1304536081 3494117766 3087087213 1423912738 1386223381 2938145934 431030378 2445367251 3911691053 4036196352 2949182243 4219125736 1550548689 2102625465 3985093991 2251021545 3395975584 1233543262 2903962334 3605856439 3389076248 3940057745 3933864410 3905943528 1634113469 3886486496 3861827263 208365545 3923520938 2518905064 247427574 2025056639 451554520 1070215600 2282936249 2681770910 542658889 3994903578 1301590778 2722005385 137955650 2682400850 989279631 1668576182 4270608319 1555820388 3500518902 3267294660 3056798576 4248751069 393004806 96392503 1449601391 3455632592 2593505827 1548183343 504218852 3879365994 1131156224 426962009 1708626894 1388676931 3370416988 1760062237 2053431313 1534845853 2151515911 2815273518 406003329 2993371083 2747257561 2099194131 418224812 2568139034 3248990769 1382730231 824811670 3516392300 88294235 2780529989 1630165401 3643678180 278501847 3560625825 1558646077 1623542036 1082738202 3265651763 1559438194 2168983147 800533675 2336989558 2055968215 707583092 23675998 3342216795 3445670903 820506364 2072166596 902591607 3029130982 3151492499 3904904614 2494810546 4148719064 2662141037 3987499369 1296255784 3123435849 3514137364 3941815283 2736192570 1208233082 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 0.00/0.01 c #constraints 24 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 | 188 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 117 | 0 | 188 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 117 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 3 0.00/0.01 c BCD2: updating upper bound: 180 -> 86 0.00/0.01 c BCD2: 0 <= obj <= 86 0.00/0.01 c BCD2: #cores=0, #unrelaxed=180, #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 | 188 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 98 | 0 | 188 0 | 0 | 0 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 = 98 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -83 0.00/0.02 c BCD2: 1 <= obj <= 86 0.00/0.02 c BCD2: #cores=1, #unrelaxed=178, #relaxed=2, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 188 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 98 | 0 | 188 0 | 0 | 0 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 = 98 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -82 0.00/0.02 c BCD2: 2 <= obj <= 86 0.00/0.02 c BCD2: #cores=2, #unrelaxed=176, #relaxed=4, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 188 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 196 | 1 | 188 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 196 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.02 c lower bound updated to -81 0.00/0.02 c BCD2: 3 <= obj <= 86 0.00/0.02 c BCD2: #cores=2, #unrelaxed=175, #relaxed=5, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 188 0 | 1 | 0 0.00/0.02 c 0.0s | 0 | 196 | 1 | 188 0 | 1 | 1 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 196 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.02 c lower bound updated to -80 0.00/0.02 c BCD2: 4 <= obj <= 86 0.00/0.02 c BCD2: #cores=2, #unrelaxed=174, #relaxed=6, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 188 0 | 2 | 1 0.00/0.02 c 0.0s | 0 | 100 | 0 | 188 0 | 2 | 2 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 = 100 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -79 0.00/0.02 c BCD2: 5 <= obj <= 86 0.00/0.02 c BCD2: #cores=3, #unrelaxed=172, #relaxed=8, #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 | 188 0 | 2 | 2 0.00/0.02 c 0.0s | 0 | 100 | 0 | 188 0 | 2 | 2 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 = 100 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -78 0.00/0.02 c BCD2: 6 <= obj <= 86 0.00/0.02 c BCD2: #cores=4, #unrelaxed=170, #relaxed=10, #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 | 188 0 | 2 | 2 0.00/0.02 c 0.0s | 0 | 198 | 1 | 188 0 | 2 | 2 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 198 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.02 c lower bound updated to -77 0.00/0.02 c BCD2: 7 <= obj <= 86 0.00/0.02 c BCD2: #cores=4, #unrelaxed=169, #relaxed=11, #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 | 188 0 | 3 | 2 0.00/0.02 c 0.0s | 0 | 198 | 1 | 188 0 | 3 | 3 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 198 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.02 c lower bound updated to -76 0.00/0.02 c BCD2: 8 <= obj <= 86 0.00/0.02 c BCD2: #cores=4, #unrelaxed=168, #relaxed=12, #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 | 188 0 | 4 | 3 0.00/0.02 c 0.0s | 0 | 102 | 0 | 188 0 | 4 | 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 = 102 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -75 0.00/0.02 c BCD2: 9 <= obj <= 86 0.00/0.02 c BCD2: #cores=5, #unrelaxed=166, #relaxed=14, #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 | 188 0 | 4 | 4 0.00/0.02 c 0.0s | 0 | 102 | 0 | 188 0 | 4 | 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 = 102 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 2: cost of the new core is >=1 0.00/0.02 c lower bound updated to -74 0.00/0.02 c BCD2: 10 <= obj <= 86 0.00/0.02 c BCD2: #cores=6, #unrelaxed=164, #relaxed=16, #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 | 188 0 | 4 | 4 0.00/0.02 c 0.0s | 0 | 200 | 1 | 188 0 | 4 | 4 0.00/0.02 c #cpu_time = 0.001s 0.00/0.02 c #wall_clock_time = 0.001s 0.00/0.02 c #decision = 200 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.03 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.03 c lower bound updated to -73 0.00/0.03 c BCD2: 11 <= obj <= 86 0.00/0.03 c BCD2: #cores=6, #unrelaxed=163, #relaxed=17, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 188 0 | 5 | 4 0.00/0.03 c 0.0s | 0 | 200 | 1 | 188 0 | 5 | 5 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 200 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.03 c lower bound updated to -72 0.00/0.03 c BCD2: 12 <= obj <= 86 0.00/0.03 c BCD2: #cores=6, #unrelaxed=162, #relaxed=18, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 188 0 | 6 | 5 0.00/0.03 c 0.0s | 0 | 127 | 1 | 188 0 | 6 | 6 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 = 127 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 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=3 0.00/0.03 c lower bound updated to -71 0.00/0.03 c BCD2: 13 <= obj <= 86 0.00/0.03 c BCD2: #cores=6, #unrelaxed=160, #relaxed=20, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15 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 | 188 0 | 7 | 6 0.00/0.03 c 0.0s | 0 | 127 | 1 | 188 0 | 7 | 7 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 127 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 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=4 0.00/0.03 c lower bound updated to -70 0.00/0.03 c BCD2: 14 <= obj <= 86 0.00/0.03 c BCD2: #cores=6, #unrelaxed=158, #relaxed=22, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 188 0 | 8 | 7 0.00/0.03 c 0.0s | 0 | 101 | 0 | 188 0 | 8 | 8 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 = 101 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 -69 0.00/0.03 c BCD2: 15 <= obj <= 86 0.00/0.03 c BCD2: #cores=7, #unrelaxed=156, #relaxed=24, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 188 0 | 8 | 8 0.00/0.03 c 0.0s | 0 | 102 | 0 | 188 0 | 8 | 8 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 = 102 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 -68 0.00/0.03 c BCD2: 16 <= obj <= 86 0.00/0.03 c BCD2: #cores=8, #unrelaxed=154, #relaxed=26, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 188 0 | 8 | 8 0.00/0.03 c 0.0s | 0 | 198 | 1 | 188 0 | 8 | 8 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 198 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.03 c lower bound updated to -67 0.00/0.03 c BCD2: 17 <= obj <= 86 0.00/0.03 c BCD2: #cores=8, #unrelaxed=153, #relaxed=27, #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 | 188 0 | 9 | 8 0.00/0.03 c 0.0s | 0 | 198 | 1 | 188 0 | 9 | 9 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 198 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.03 c lower bound updated to -66 0.00/0.03 c BCD2: 18 <= obj <= 86 0.00/0.03 c BCD2: #cores=8, #unrelaxed=152, #relaxed=28, #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 | 188 0 | 10 | 9 0.00/0.03 c 0.0s | 0 | 104 | 1 | 188 0 | 10 | 10 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 104 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 7 and merging with 3 cores into a new core of size 16: cost of the new core is >=7 0.00/0.03 c lower bound updated to -65 0.00/0.03 c BCD2: 19 <= obj <= 86 0.00/0.03 c BCD2: #cores=6, #unrelaxed=145, #relaxed=35, #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 | 188 0 | 13 | 10 0.00/0.03 c 0.0s | 0 | 96 | 0 | 188 0 | 13 | 13 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 = 96 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 -64 0.00/0.03 c BCD2: 20 <= obj <= 86 0.00/0.03 c BCD2: #cores=7, #unrelaxed=143, #relaxed=37, #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 | 188 0 | 13 | 13 0.00/0.04 c 0.0s | 0 | 97 | 0 | 188 0 | 13 | 13 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 = 97 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -63 0.00/0.04 c BCD2: 21 <= obj <= 86 0.00/0.04 c BCD2: #cores=8, #unrelaxed=141, #relaxed=39, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 188 0 | 13 | 13 0.00/0.04 c 0.0s | 0 | 188 | 1 | 188 0 | 13 | 13 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 = 188 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.04 c lower bound updated to -62 0.00/0.04 c BCD2: 22 <= obj <= 86 0.00/0.04 c BCD2: #cores=8, #unrelaxed=140, #relaxed=40, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 188 0 | 14 | 13 0.00/0.04 c 0.0s | 0 | 187 | 1 | 188 0 | 14 | 14 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 = 187 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 1 and merging with 2 cores into a new core of size 6: cost of the new core is >=4 0.00/0.04 c lower bound updated to -61 0.00/0.04 c BCD2: 23 <= obj <= 86 0.00/0.04 c BCD2: #cores=7, #unrelaxed=139, #relaxed=41, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 188 0 | 16 | 14 0.00/0.04 c 0.0s | 0 | 98 | 0 | 188 0 | 16 | 16 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 = 98 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -60 0.00/0.04 c BCD2: 24 <= obj <= 86 0.00/0.04 c BCD2: #cores=8, #unrelaxed=137, #relaxed=43, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 188 0 | 16 | 16 0.00/0.04 c 0.0s | 0 | 98 | 0 | 188 0 | 16 | 16 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 = 98 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -59 0.00/0.04 c BCD2: 25 <= obj <= 86 0.00/0.04 c BCD2: #cores=9, #unrelaxed=135, #relaxed=45, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27 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 | 188 0 | 16 | 16 0.00/0.04 c 0.0s | 0 | 99 | 0 | 188 0 | 16 | 16 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 = 99 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 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -58 0.00/0.04 c BCD2: 26 <= obj <= 86 0.00/0.04 c BCD2: #cores=10, #unrelaxed=133, #relaxed=47, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 188 0 | 16 | 16 0.00/0.04 c 0.0s | 0 | 191 | 1 | 188 0 | 16 | 16 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 = 191 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.04 c lower bound updated to -57 0.00/0.04 c BCD2: 27 <= obj <= 86 0.00/0.04 c BCD2: #cores=10, #unrelaxed=132, #relaxed=48, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 188 0 | 17 | 16 0.00/0.04 c 0.0s | 0 | 191 | 1 | 188 0 | 17 | 17 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 = 191 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 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.04 c lower bound updated to -56 0.00/0.04 c BCD2: 28 <= obj <= 86 0.00/0.04 c BCD2: #cores=10, #unrelaxed=131, #relaxed=49, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30 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 | 188 0 | 18 | 17 0.00/0.04 c 0.0s | 0 | 190 | 1 | 188 0 | 18 | 18 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 = 190 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 1 and merging with 2 cores into a new core of size 6: cost of the new core is >=4 0.00/0.04 c lower bound updated to -55 0.00/0.04 c BCD2: 29 <= obj <= 86 0.00/0.04 c BCD2: #cores=9, #unrelaxed=130, #relaxed=50, #hardened=0 0.00/0.04 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 | 188 0 | 20 | 18 0.00/0.04 c 0.0s | 0 | 99 | 0 | 188 0 | 20 | 20 0.00/0.04 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 99 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -54 0.00/0.05 c BCD2: 30 <= obj <= 86 0.00/0.05 c BCD2: #cores=10, #unrelaxed=128, #relaxed=52, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=31 bias=31/32 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 | 188 0 | 20 | 20 0.00/0.05 c 0.0s | 0 | 189 | 1 | 188 0 | 20 | 20 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 189 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.05 c lower bound updated to -53 0.00/0.05 c BCD2: 31 <= obj <= 86 0.00/0.05 c BCD2: #cores=10, #unrelaxed=127, #relaxed=53, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=32 bias=32/33 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 | 188 0 | 21 | 20 0.00/0.05 c 0.0s | 0 | 162 | 1 | 188 0 | 21 | 21 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 162 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 11: cost of the new core is >=7 0.00/0.05 c lower bound updated to -52 0.00/0.05 c BCD2: 32 <= obj <= 86 0.00/0.05 c BCD2: #cores=9, #unrelaxed=125, #relaxed=55, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=33 bias=33/34 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 | 188 0 | 23 | 21 0.00/0.05 c 0.0s | 0 | 161 | 1 | 188 0 | 23 | 23 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 161 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 16: cost of the new core is >=10 0.00/0.05 c lower bound updated to -51 0.00/0.05 c BCD2: 33 <= obj <= 86 0.00/0.05 c BCD2: #cores=8, #unrelaxed=123, #relaxed=57, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=34 bias=34/35 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 | 188 0 | 25 | 23 0.00/0.05 c 0.0s | 0 | 152 | 4 | 188 0 | 25 | 25 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 152 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 4 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 24: cost of the new core is >=15 0.00/0.05 c lower bound updated to -50 0.00/0.05 c BCD2: 34 <= obj <= 86 0.00/0.05 c BCD2: #cores=7, #unrelaxed=121, #relaxed=59, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=35 bias=35/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 | 188 0 | 27 | 25 0.00/0.05 c 0.0s | 0 | 95 | 0 | 188 0 | 27 | 27 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 95 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -49 0.00/0.05 c BCD2: 35 <= obj <= 86 0.00/0.05 c BCD2: #cores=8, #unrelaxed=119, #relaxed=61, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=36 bias=36/37 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 | 188 0 | 27 | 27 0.00/0.05 c 0.0s | 0 | 95 | 0 | 188 0 | 27 | 27 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 95 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -48 0.00/0.05 c BCD2: 36 <= obj <= 86 0.00/0.05 c BCD2: #cores=9, #unrelaxed=117, #relaxed=63, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=37 bias=37/38 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 | 188 0 | 27 | 27 0.00/0.05 c 0.0s | 0 | 96 | 0 | 188 0 | 27 | 27 0.00/0.05 c #cpu_time = 0.000s 0.00/0.05 c #wall_clock_time = 0.000s 0.00/0.05 c #decision = 96 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.05 c lower bound updated to -47 0.00/0.05 c BCD2: 37 <= obj <= 86 0.00/0.05 c BCD2: #cores=10, #unrelaxed=115, #relaxed=65, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=38 bias=38/39 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 | 188 0 | 27 | 27 0.00/0.05 c 0.0s | 0 | 184 | 1 | 188 0 | 27 | 27 0.00/0.05 c #cpu_time = 0.001s 0.00/0.05 c #wall_clock_time = 0.001s 0.00/0.05 c #decision = 184 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.05 c lower bound updated to -46 0.00/0.05 c BCD2: 38 <= obj <= 86 0.00/0.05 c BCD2: #cores=10, #unrelaxed=114, #relaxed=66, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=39 bias=39/40 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 | 188 0 | 28 | 27 0.00/0.06 c 0.0s | 0 | 185 | 1 | 188 0 | 28 | 28 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 185 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.06 c lower bound updated to -45 0.00/0.06 c BCD2: 39 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=113, #relaxed=67, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=40 bias=40/41 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 29 | 28 0.00/0.06 c 0.0s | 0 | 184 | 1 | 188 0 | 29 | 29 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 184 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 6: cost of the new core is >=4 0.00/0.06 c lower bound updated to -44 0.00/0.06 c BCD2: 40 <= obj <= 86 0.00/0.06 c BCD2: #cores=9, #unrelaxed=112, #relaxed=68, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=41 bias=41/42 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 31 | 29 0.00/0.06 c 0.0s | 0 | 97 | 0 | 188 0 | 31 | 31 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 97 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -43 0.00/0.06 c BCD2: 41 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=110, #relaxed=70, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=42 bias=42/43 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 31 | 31 0.00/0.06 c 0.0s | 0 | 97 | 0 | 188 0 | 31 | 31 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 97 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -42 0.00/0.06 c BCD2: 42 <= obj <= 86 0.00/0.06 c BCD2: #cores=11, #unrelaxed=108, #relaxed=72, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=43 bias=43/44 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 31 | 31 0.00/0.06 c 0.0s | 0 | 163 | 1 | 188 0 | 31 | 31 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 163 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 10: cost of the new core is >=6 0.00/0.06 c lower bound updated to -41 0.00/0.06 c BCD2: 43 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=106, #relaxed=74, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=44 bias=44/45 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 33 | 31 0.00/0.06 c 0.0s | 0 | 182 | 1 | 188 0 | 33 | 33 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 182 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.06 c lower bound updated to -40 0.00/0.06 c BCD2: 44 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=105, #relaxed=75, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=45 bias=45/46 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 34 | 33 0.00/0.06 c 0.0s | 0 | 96 | 0 | 188 0 | 34 | 34 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 96 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 3 and merging with 2 cores into a new core of size 9: cost of the new core is >=5 0.00/0.06 c lower bound updated to -39 0.00/0.06 c BCD2: 45 <= obj <= 86 0.00/0.06 c BCD2: #cores=9, #unrelaxed=102, #relaxed=78, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=46 bias=46/47 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 36 | 34 0.00/0.06 c 0.0s | 0 | 94 | 0 | 188 0 | 36 | 36 0.00/0.06 c #cpu_time = 0.000s 0.00/0.06 c #wall_clock_time = 0.000s 0.00/0.06 c #decision = 94 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 0 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.06 c lower bound updated to -38 0.00/0.06 c BCD2: 46 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=100, #relaxed=80, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=47 bias=47/48 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 36 | 36 0.00/0.06 c 0.0s | 0 | 179 | 1 | 188 0 | 36 | 36 0.00/0.06 c #cpu_time = 0.001s 0.00/0.06 c #wall_clock_time = 0.001s 0.00/0.06 c #decision = 179 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.06 c lower bound updated to -37 0.00/0.06 c BCD2: 47 <= obj <= 86 0.00/0.06 c BCD2: #cores=10, #unrelaxed=99, #relaxed=81, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=48 bias=48/49 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 188 0 | 37 | 36 0.00/0.07 c 0.0s | 0 | 95 | 0 | 188 0 | 37 | 37 0.00/0.07 c #cpu_time = 0.000s 0.00/0.07 c #wall_clock_time = 0.000s 0.00/0.07 c #decision = 95 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -36 0.00/0.07 c BCD2: 48 <= obj <= 86 0.00/0.07 c BCD2: #cores=11, #unrelaxed=97, #relaxed=83, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=49 bias=49/50 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 37 | 37 0.00/0.07 c 0.0s | 0 | 180 | 1 | 188 0 | 37 | 37 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 180 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -35 0.00/0.07 c BCD2: 49 <= obj <= 86 0.00/0.07 c BCD2: #cores=11, #unrelaxed=96, #relaxed=84, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=50 bias=50/51 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 38 | 37 0.00/0.07 c 0.0s | 0 | 97 | 0 | 188 0 | 38 | 38 0.00/0.07 c #cpu_time = 0.000s 0.00/0.07 c #wall_clock_time = 0.000s 0.00/0.07 c #decision = 97 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -34 0.00/0.07 c BCD2: 50 <= obj <= 86 0.00/0.07 c BCD2: #cores=12, #unrelaxed=94, #relaxed=86, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=51 bias=51/52 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 38 | 38 0.00/0.07 c 0.0s | 0 | 97 | 0 | 188 0 | 38 | 38 0.00/0.07 c #cpu_time = 0.000s 0.00/0.07 c #wall_clock_time = 0.000s 0.00/0.07 c #decision = 97 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -33 0.00/0.07 c BCD2: 51 <= obj <= 86 0.00/0.07 c BCD2: #cores=13, #unrelaxed=92, #relaxed=88, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=52 bias=52/53 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 38 | 38 0.00/0.07 c 0.0s | 0 | 182 | 1 | 188 0 | 38 | 38 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 182 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -32 0.00/0.07 c BCD2: 52 <= obj <= 86 0.00/0.07 c BCD2: #cores=13, #unrelaxed=91, #relaxed=89, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=53 bias=53/54 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 39 | 38 0.00/0.07 c 0.0s | 0 | 183 | 1 | 188 0 | 39 | 39 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 183 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -31 0.00/0.07 c BCD2: 53 <= obj <= 86 0.00/0.07 c BCD2: #cores=13, #unrelaxed=90, #relaxed=90, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=54 bias=54/55 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 40 | 39 0.00/0.07 c 0.0s | 0 | 179 | 1 | 188 0 | 40 | 40 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 179 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 8: cost of the new core is >=5 0.00/0.07 c lower bound updated to -30 0.00/0.07 c BCD2: 54 <= obj <= 86 0.00/0.07 c BCD2: #cores=12, #unrelaxed=88, #relaxed=92, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=55 bias=55/56 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 42 | 40 0.00/0.07 c 0.0s | 0 | 96 | 0 | 188 0 | 42 | 42 0.00/0.07 c #cpu_time = 0.000s 0.00/0.07 c #wall_clock_time = 0.000s 0.00/0.07 c #decision = 96 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.07 c lower bound updated to -29 0.00/0.07 c BCD2: 55 <= obj <= 86 0.00/0.07 c BCD2: #cores=13, #unrelaxed=86, #relaxed=94, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=56 bias=56/57 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 42 | 42 0.00/0.07 c 0.0s | 0 | 180 | 1 | 188 0 | 42 | 42 0.00/0.07 c #cpu_time = 0.001s 0.00/0.07 c #wall_clock_time = 0.001s 0.00/0.07 c #decision = 180 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 1 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=2 0.00/0.07 c lower bound updated to -28 0.00/0.07 c BCD2: 56 <= obj <= 86 0.00/0.07 c BCD2: #cores=13, #unrelaxed=85, #relaxed=95, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=57 bias=57/58 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 188 0 | 43 | 42 0.00/0.08 c 0.0s | 0 | 157 | 1 | 188 0 | 43 | 43 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 157 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 1 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 17: cost of the new core is >=10 0.00/0.08 c lower bound updated to -27 0.00/0.08 c BCD2: 57 <= obj <= 86 0.00/0.08 c BCD2: #cores=11, #unrelaxed=82, #relaxed=98, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=58 bias=58/59 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 188 0 | 46 | 43 0.00/0.08 c 0.0s | 0 | 97 | 2 | 188 0 | 46 | 46 0.00/0.08 c #cpu_time = 0.001s 0.00/0.08 c #wall_clock_time = 0.001s 0.00/0.08 c #decision = 97 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 2 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: relaxing 16 and merging with 5 cores into a new core of size 31: cost of the new core is >=11 0.00/0.08 c lower bound updated to -26 0.00/0.08 c BCD2: 58 <= obj <= 86 0.00/0.08 c BCD2: #cores=7, #unrelaxed=66, #relaxed=114, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=59 bias=59/60 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 188 0 | 51 | 46 0.00/0.08 c 0.0s | 0 | 220 | 32 | 188 0 | 51 | 51 0.00/0.08 c #cpu_time = 0.004s 0.00/0.08 c #wall_clock_time = 0.004s 0.00/0.08 c #decision = 220 0.00/0.08 c #random_decision = 1 0.00/0.08 c #conflict = 32 0.00/0.08 c #restart = 0 0.00/0.08 o -14 0.00/0.08 c BCD2: updating upper bound: 86 -> 69 0.00/0.08 c BCD2: 58 <= obj <= 69 0.00/0.08 c BCD2: #cores=7, #unrelaxed=66, #relaxed=114, #hardened=0 0.00/0.08 c BCD2: #sat=2 #unsat=59 bias=59/61 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 188 0 | 51 | 52 0.00/0.09 c 0.0s | 0 | 170 | 12 | 188 0 | 51 | 52 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 170 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 12 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: relaxing 11 and merging with 3 cores into a new core of size 54: cost of the new core is >=27 0.00/0.09 c lower bound updated to -25 0.00/0.09 c BCD2: 59 <= obj <= 69 0.00/0.09 c BCD2: #cores=5, #unrelaxed=55, #relaxed=125, #hardened=0 0.00/0.09 c BCD2: #sat=2 #unsat=60 bias=60/62 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 188 0 | 56 | 52 0.09/0.10 c 0.0s | 1 | 183 | 100 | 207 0 | 56 | 59 0.09/0.12 c 0.0s | 2 | 408 | 250 | 228 0 | 56 | 59 0.09/0.16 c 0.1s | 3 | 747 | 475 | 251 1 | 56 | 59 0.18/0.23 c 0.1s | 4 | 1200 | 813 | 277 2 | 56 | 59 0.18/0.25 c 0.2s | 4 | 1433 | 890 | 277 3 | 56 | 59 0.18/0.25 c #cpu_time = 0.162s 0.18/0.25 c #wall_clock_time = 0.162s 0.18/0.25 c #decision = 1433 0.18/0.25 c #random_decision = 1 0.18/0.25 c #conflict = 890 0.18/0.25 c #restart = 4 0.18/0.25 c BCD2: relaxing 26 and merging with 4 cores into a new core of size 144: cost of the new core is >=56 0.18/0.25 c lower bound updated to -24 0.18/0.25 c BCD2: 60 <= obj <= 69 0.18/0.25 c BCD2: #cores=2, #unrelaxed=29, #relaxed=151, #hardened=0 0.18/0.25 c BCD2: #sat=2 #unsat=61 bias=61/63 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 277 0 | 63 | 59 0.18/0.28 c 0.0s | 1 | 198 | 100 | 277 0 | 63 | 69 0.28/0.31 c 0.1s | 2 | 460 | 250 | 277 0 | 63 | 69 0.28/0.39 c 0.1s | 3 | 862 | 475 | 305 0 | 63 | 69 0.48/0.51 c 0.3s | 4 | 1413 | 813 | 305 2 | 63 | 69 0.59/0.68 c 0.4s | 5 | 2128 | 1320 | 336 4 | 63 | 69 0.89/0.94 c 0.7s | 5 | 3297 | 2028 | 336 6 | 63 | 69 0.89/0.94 c #cpu_time = 0.686s 0.89/0.94 c #wall_clock_time = 0.688s 0.89/0.94 c #decision = 3297 0.89/0.94 c #random_decision = 9 0.89/0.94 c #conflict = 2028 0.89/0.94 c #restart = 5 0.89/0.94 o -16 0.89/0.94 c BCD2: updating upper bound: 69 -> 67 0.89/0.94 c BCD2: 60 <= obj <= 67 0.89/0.94 c BCD2: #cores=2, #unrelaxed=29, #relaxed=151, #hardened=0 0.89/0.94 c BCD2: #sat=3 #unsat=61 bias=61/64 0.89/0.94 c Solving starts ... 0.89/0.94 c ============================[ Search Statistics ]============================ 0.89/0.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.94 c | | | | Limit GC | Var | Constra 0.89/0.94 c ============================================================================= 0.89/0.94 c 0.0s | 0 | 0 | 0 | 336 0 | 63 | 70 0.89/0.96 c 0.0s | 1 | 217 | 100 | 336 1 | 63 | 70 0.99/1.00 c 0.1s | 2 | 464 | 250 | 370 1 | 63 | 70 0.99/1.05 c 0.1s | 3 | 840 | 475 | 370 2 | 63 | 70 1.10/1.13 c 0.2s | 4 | 1330 | 813 | 370 4 | 63 | 70 1.20/1.25 c 0.3s | 5 | 1958 | 1320 | 370 5 | 63 | 70 1.39/1.44 c 0.5s | 6 | 2945 | 2081 | 408 8 | 63 | 70 1.49/1.75 c 0.8s | 7 | 4480 | 3223 | 408 12 | 63 | 70 2.09/2.18 c 1.2s | 8 | 6699 | 4936 | 449 18 | 63 | 70 2.79/2.83 c 1.9s | 9 | 9864 | 7506 | 449 27 | 63 | 70 3.79/3.86 c 2.9s | 10 | 14416 | 11361 | 494 38 | 63 | 70 5.29/5.33 c 4.4s | 11 | 21323 | 17144 | 544 55 | 63 | 70 7.29/7.34 c 6.4s | 11 | 30060 | 25044 | 599 76 | 63 | 70 7.49/7.55 c 6.6s | 12 | 30936 | 25819 | 599 78 | 63 | 70 9.49/9.55 c 8.6s | 12 | 39343 | 33419 | 599 98 | 63 | 70 10.99/11.07 c 10.1s | 13 | 45332 | 38832 | 659 111 | 63 | 70 12.99/13.09 c 12.1s | 13 | 54023 | 46532 | 659 129 | 63 | 70 15.09/15.11 c 14.2s | 13 | 61905 | 53732 | 659 146 | 63 | 70 16.29/16.38 c 15.4s | 14 | 66976 | 58352 | 725 157 | 63 | 70 18.29/18.38 c 17.4s | 14 | 74997 | 65852 | 725 173 | 63 | 70 20.38/20.40 c 19.5s | 14 | 83019 | 73452 | 725 190 | 63 | 70 22.39/22.43 c 21.5s | 14 | 90681 | 80752 | 725 206 | 63 | 70 24.28/24.38 c 23.4s | 15 | 98361 | 87632 | 798 221 | 63 | 70 26.38/26.41 c 25.5s | 15 | 106265 | 94932 | 798 235 | 63 | 70 28.38/28.43 c 27.5s | 15 | 113257 | 101432 | 798 249 | 63 | 70 30.38/30.46 c 29.5s | 15 | 120534 | 108232 | 798 262 | 63 | 70 32.38/32.48 c 31.5s | 15 | 128068 | 115032 | 798 276 | 63 | 70 34.39/34.48 c 33.5s | 15 | 135546 | 121832 | 798 290 | 63 | 70 36.48/36.51 c 35.6s | 15 | 143142 | 128932 | 878 304 | 63 | 70 37.28/37.31 c 36.4s | 16 | 145882 | 131552 | 878 309 | 63 | 70 39.28/39.31 c 38.4s | 16 | 153955 | 139052 | 878 323 | 63 | 70 41.28/41.32 c 40.4s | 16 | 161865 | 146252 | 878 337 | 63 | 70 43.29/43.33 c 42.4s | 16 | 169864 | 153552 | 878 351 | 63 | 70 45.28/45.34 c 44.4s | 16 | 177785 | 160452 | 878 364 | 63 | 70 47.28/47.34 c 46.4s | 16 | 185978 | 168052 | 878 378 | 63 | 70 49.28/49.35 c 48.4s | 16 | 194039 | 175452 | 878 392 | 63 | 70 51.28/51.37 c 50.4s | 16 | 202168 | 182852 | 878 406 | 63 | 70 53.28/53.38 c 52.4s | 16 | 209935 | 189852 | 878 419 | 63 | 70 55.38/55.41 c 54.5s | 16 | 216675 | 196052 | 966 431 | 63 | 70 55.78/55.84 c 54.9s | 17 | 218182 | 197432 | 966 433 | 63 | 70 57.78/57.86 c 56.9s | 17 | 226781 | 205232 | 966 447 | 63 | 70 59.78/59.88 c 58.9s | 17 | 234907 | 212432 | 966 459 | 63 | 70 61.88/61.91 c 61.0s | 17 | 243548 | 219532 | 966 472 | 63 | 70 63.87/63.93 c 63.0s | 17 | 251469 | 226532 | 966 484 | 63 | 70 65.87/65.97 c 65.0s | 17 | 259047 | 233332 | 966 496 | 63 | 70 67.97/68.00 c 67.1s | 17 | 266823 | 239932 | 966 507 | 63 | 70 69.97/70.01 c 69.1s | 17 | 274821 | 246632 | 966 519 | 63 | 70 71.97/72.05 c 71.1s | 17 | 282668 | 253432 | 966 531 | 63 | 70 73.99/74.05 c 73.1s | 17 | 289815 | 259732 | 966 542 | 63 | 70 74.48/74.56 c 73.6s | 17 | 291818 | 261459 | 966 545 | 63 | 70 74.48/74.56 c #cpu_time = 73.426s 74.48/74.56 c #wall_clock_time = 73.619s 74.48/74.56 c #decision = 291818 74.48/74.56 c #random_decision = 1012 74.48/74.56 c #conflict = 261459 74.48/74.56 c #restart = 17 74.48/74.56 o -18 74.48/74.56 c BCD2: updating upper bound: 67 -> 65 74.48/74.56 c BCD2: 60 <= obj <= 65 74.48/74.56 c BCD2: #cores=2, #unrelaxed=29, #relaxed=151, #hardened=0 74.48/74.56 c BCD2: #sat=4 #unsat=61 bias=61/65 74.48/74.56 c Solving starts ... 74.48/74.56 c ============================[ Search Statistics ]============================ 74.48/74.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 74.48/74.56 c | | | | Limit GC | Var | Constra 74.48/74.56 c ============================================================================= 74.48/74.56 c 0.0s | 0 | 0 | 0 | 966 0 | 63 | 71 74.48/74.58 c 0.0s | 1 | 189 | 100 | 966 0 | 63 | 71 74.58/74.62 c 0.1s | 2 | 424 | 250 | 966 0 | 63 | 71 74.58/74.68 c 0.1s | 3 | 745 | 475 | 966 0 | 63 | 71 74.68/74.77 c 0.2s | 4 | 1198 | 813 | 966 1 | 63 | 71 74.88/74.91 c 0.3s | 5 | 1809 | 1320 | 966 2 | 63 | 71 74.98/75.10 c 0.5s | 6 | 2742 | 2081 | 966 3 | 63 | 71 75.38/75.41 c 0.8s | 7 | 4135 | 3223 | 966 5 | 63 | 71 75.78/75.85 c 1.3s | 8 | 6082 | 4936 | 966 8 | 63 | 71 76.48/76.53 c 2.0s | 9 | 8989 | 7506 | 966 13 | 63 | 71 77.48/77.59 c 3.0s | 10 | 13100 | 11361 | 966 20 | 63 | 71 79.08/79.16 c 4.6s | 11 | 19200 | 17144 | 966 30 | 63 | 71 81.08/81.18 c 6.6s | 11 | 27185 | 24444 | 966 42 | 63 | 71 81.48/81.58 c 7.0s | 12 | 28678 | 25819 | 966 45 | 63 | 71 83.48/83.58 c 9.0s | 12 | 37471 | 33319 | 1063 57 | 63 | 71 85.09/85.11 c 10.6s | 13 | 43502 | 38832 | 1063 66 | 63 | 71 87.08/87.13 c 12.6s | 13 | 51446 | 46132 | 1063 78 | 63 | 71 89.08/89.15 c 14.6s | 13 | 58555 | 52932 | 1063 89 | 63 | 71 90.78/90.81 c 16.2s | 14 | 64331 | 58352 | 1063 98 | 63 | 71 92.78/92.82 c 18.3s | 14 | 72612 | 65452 | 1063 109 | 63 | 71 94.78/94.84 c 20.3s | 14 | 80091 | 72352 | 1063 120 | 63 | 71 96.78/96.85 c 22.3s | 14 | 87420 | 78952 | 1063 131 | 63 | 71 98.78/98.87 c 24.3s | 14 | 95852 | 86252 | 1063 143 | 63 | 71 99.18/99.23 c 24.7s | 15 | 97397 | 87632 | 1063 145 | 63 | 71 101.18/101.24 c 26.7s | 15 | 105561 | 95132 | 1063 157 | 63 | 71 103.18/103.26 c 28.7s | 15 | 113109 | 102132 | 1063 168 | 63 | 71 104.28/104.34 c 29.8s | 15 | 117110 | 105689 | 1063 174 | 63 | 71 104.28/104.34 c #cpu_time = 29.698s 104.28/104.34 c #wall_clock_time = 29.776s 104.28/104.34 c #decision = 117110 104.28/104.34 c #random_decision = 373 104.28/104.34 c #conflict = 105689 104.28/104.34 c #restart = 15 104.28/104.34 o -20 104.28/104.34 c BCD2: updating upper bound: 65 -> 63 104.28/104.34 c BCD2: 60 <= obj <= 63 104.28/104.34 c BCD2: #cores=2, #unrelaxed=29, #relaxed=151, #hardened=0 104.28/104.34 c BCD2: #sat=5 #unsat=61 bias=61/66 104.28/104.34 c Solving starts ... 104.28/104.34 c ============================[ Search Statistics ]============================ 104.28/104.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 104.28/104.34 c | | | | Limit GC | Var | Constra 104.28/104.34 c ============================================================================= 104.28/104.34 c 0.0s | 0 | 0 | 0 | 1063 0 | 63 | 72 104.28/104.37 c 0.0s | 1 | 185 | 100 | 1063 0 | 63 | 72 104.38/104.41 c 0.1s | 2 | 416 | 250 | 1063 0 | 63 | 72 104.38/104.46 c 0.1s | 3 | 734 | 475 | 1063 1 | 63 | 72 104.48/104.55 c 0.2s | 4 | 1183 | 813 | 1063 1 | 63 | 72 104.58/104.67 c 0.3s | 5 | 1784 | 1320 | 1063 2 | 63 | 72 104.78/104.88 c 0.5s | 6 | 2643 | 2081 | 1063 3 | 63 | 72 105.08/105.16 c 0.8s | 7 | 3882 | 3223 | 1063 5 | 63 | 72 105.58/105.60 c 1.3s | 8 | 5756 | 4936 | 1063 8 | 63 | 72 106.17/106.29 c 2.0s | 9 | 8513 | 7506 | 1063 12 | 63 | 72 107.27/107.37 c 3.0s | 10 | 12708 | 11361 | 1063 19 | 63 | 72 108.97/109.06 c 4.7s | 11 | 18963 | 17144 | 1063 28 | 63 | 72 110.97/111.07 c 6.7s | 11 | 26596 | 24244 | 1063 39 | 63 | 72 111.48/111.51 c 7.2s | 12 | 28281 | 25819 | 1063 42 | 63 | 72 113.47/113.51 c 9.2s | 12 | 35738 | 32719 | 1063 53 | 63 | 72 115.27/115.32 c 11.0s | 13 | 42373 | 38832 | 1063 63 | 63 | 72 117.27/117.35 c 13.0s | 13 | 50396 | 45932 | 1063 74 | 63 | 72 119.27/119.37 c 15.0s | 13 | 57744 | 52532 | 1063 85 | 63 | 72 120.97/121.09 c 16.8s | 14 | 64362 | 58352 | 1063 94 | 63 | 72 123.07/123.12 c 18.8s | 14 | 72184 | 65652 | 1063 106 | 63 | 72 125.07/125.14 c 20.8s | 14 | 79733 | 72752 | 1170 117 | 63 | 72 127.07/127.14 c 22.8s | 14 | 87103 | 79352 | 1170 127 | 63 | 72 129.08/129.16 c 24.8s | 14 | 94264 | 86152 | 1170 137 | 63 | 72 129.57/129.61 c 25.3s | 15 | 95802 | 87632 | 1170 139 | 63 | 72 131.57/131.64 c 27.3s | 15 | 103705 | 95032 | 1170 150 | 63 | 72 133.57/133.66 c 29.3s | 15 | 111492 | 102332 | 1170 161 | 63 | 72 135.58/135.68 c 31.3s | 15 | 118575 | 109132 | 1170 171 | 63 | 72 137.57/137.69 c 33.4s | 15 | 125568 | 115832 | 1170 181 | 63 | 72 139.66/139.70 c 35.4s | 15 | 132603 | 122332 | 1170 191 | 63 | 72 141.66/141.72 c 37.4s | 15 | 139366 | 128732 | 1170 200 | 63 | 72 142.46/142.56 c 38.2s | 16 | 142482 | 131552 | 1170 204 | 63 | 72 144.47/144.57 c 40.2s | 16 | 149921 | 138452 | 1170 215 | 63 | 72 146.46/146.58 c 42.2s | 16 | 156958 | 145152 | 1170 224 | 63 | 72 148.56/148.60 c 44.3s | 16 | 163802 | 151652 | 1170 234 | 63 | 72 150.56/150.61 c 46.3s | 16 | 170490 | 158052 | 1170 243 | 63 | 72 152.56/152.62 c 48.3s | 16 | 177274 | 164452 | 1170 253 | 63 | 72 154.57/154.64 c 50.3s | 16 | 184303 | 171052 | 1170 263 | 63 | 72 156.58/156.65 c 52.3s | 16 | 191355 | 177652 | 1170 272 | 63 | 72 158.57/158.68 c 54.3s | 16 | 198364 | 184252 | 1170 282 | 63 | 72 160.57/160.69 c 56.4s | 16 | 205082 | 190752 | 1170 292 | 63 | 72 162.57/162.70 c 58.4s | 16 | 211588 | 196952 | 1170 301 | 63 | 72 162.77/162.82 c 58.5s | 17 | 212136 | 197432 | 1170 301 | 63 | 72 164.77/164.85 c 60.5s | 17 | 220098 | 204832 | 1170 312 | 63 | 72 166.77/166.85 c 62.5s | 17 | 227542 | 211832 | 1170 323 | 63 | 72 168.77/168.86 c 64.5s | 17 | 234447 | 218432 | 1170 333 | 63 | 72 170.77/170.86 c 66.5s | 17 | 241787 | 225432 | 1170 343 | 63 | 72 172.76/172.89 c 68.6s | 17 | 248692 | 232032 | 1170 353 | 63 | 72 174.86/174.90 c 70.6s | 17 | 255461 | 238332 | 1170 362 | 63 | 72 176.86/176.91 c 72.6s | 17 | 262388 | 244632 | 1170 371 | 63 | 72 178.86/178.92 c 74.6s | 17 | 268894 | 250832 | 1170 380 | 63 | 72 180.86/180.94 c 76.6s | 17 | 275746 | 257332 | 1170 390 | 63 | 72 182.87/182.94 c 78.6s | 17 | 281967 | 263132 | 1170 399 | 63 | 72 184.86/184.96 c 80.6s | 17 | 289045 | 269932 | 1170 409 | 63 | 72 186.86/186.97 c 82.6s | 17 | 296433 | 276832 | 1170 419 | 63 | 72 188.86/188.98 c 84.6s | 17 | 303737 | 283832 | 1170 429 | 63 | 72 190.96/191.00 c 86.7s | 17 | 310680 | 290432 | 1170 439 | 63 | 72 192.66/192.71 c 88.4s | 18 | 316757 | 296252 | 1287 447 | 63 | 72 194.66/194.73 c 90.4s | 18 | 324014 | 303152 | 1287 456 | 63 | 72 196.66/196.74 c 92.4s | 18 | 330887 | 309652 | 1287 465 | 63 | 72 198.66/198.75 c 94.4s | 18 | 337766 | 316052 | 1287 474 | 63 | 72 200.66/200.76 c 96.4s | 18 | 344467 | 322352 | 1287 482 | 63 | 72 202.66/202.78 c 98.4s | 18 | 351730 | 329052 | 1287 492 | 63 | 72 204.66/204.78 c 100s | 18 | 358660 | 335452 | 1287 500 | 63 | 72 206.76/206.81 c 102s | 18 | 365268 | 341752 | 1287 509 | 63 | 72 208.76/208.81 c 104s | 18 | 372063 | 348252 | 1287 518 | 63 | 72 210.76/210.82 c 106s | 18 | 379202 | 354652 | 1287 526 | 63 | 72 212.75/212.84 c 108s | 18 | 386008 | 361052 | 1287 535 | 63 | 72 214.76/214.85 c 110s | 18 | 392931 | 367552 | 1287 544 | 63 | 72 216.75/216.88 c 112s | 18 | 399751 | 374052 | 1287 553 | 63 | 72 218.75/218.90 c 114s | 18 | 406778 | 380752 | 1287 562 | 63 | 72 220.85/220.91 c 116s | 18 | 413637 | 387352 | 1287 571 | 63 | 72 222.85/222.92 c 118s | 18 | 420717 | 393852 | 1287 580 | 63 | 72 224.85/224.93 c 120s | 18 | 427560 | 399952 | 1287 588 | 63 | 72 226.86/226.95 c 122s | 18 | 434760 | 406452 | 1287 597 | 63 | 72 228.85/228.96 c 124s | 18 | 441901 | 412752 | 1287 605 | 63 | 72 230.85/230.98 c 126s | 18 | 449067 | 419352 | 1287 614 | 63 | 72 232.95/233.01 c 128s | 18 | 456274 | 426152 | 1287 623 | 63 | 72 234.95/235.03 c 130s | 18 | 463861 | 433252 | 1287 633 | 63 | 72 236.95/237.06 c 132s | 18 | 470644 | 439552 | 1287 641 | 63 | 72 238.45/238.58 c 134s | 19 | 475914 | 444482 | 1287 648 | 63 | 72 240.55/240.61 c 136s | 19 | 483160 | 451182 | 1287 657 | 63 | 72 242.55/242.63 c 138s | 19 | 489845 | 457382 | 1287 666 | 63 | 72 244.55/244.64 c 140s | 19 | 496287 | 463382 | 1287 674 | 63 | 72 246.56/246.66 c 142s | 19 | 503034 | 469582 | 1287 682 | 63 | 72 248.56/248.66 c 144s | 19 | 509575 | 475582 | 1287 690 | 63 | 72 250.55/250.69 c 146s | 19 | 515885 | 481482 | 1287 698 | 63 | 72 252.65/252.72 c 148s | 19 | 522171 | 487382 | 1287 706 | 63 | 72 254.65/254.72 c 150s | 19 | 528482 | 493282 | 1287 714 | 63 | 72 256.66/256.73 c 152s | 19 | 535089 | 499482 | 1287 723 | 63 | 72 258.65/258.74 c 154s | 19 | 541574 | 505382 | 1287 731 | 63 | 72 260.65/260.74 c 156s | 19 | 548030 | 511282 | 1287 739 | 63 | 72 262.65/262.74 c 158s | 19 | 554314 | 517182 | 1287 747 | 63 | 72 264.65/264.75 c 160s | 19 | 560472 | 522882 | 1287 755 | 63 | 72 266.65/266.75 c 162s | 19 | 567043 | 529082 | 1287 763 | 63 | 72 268.66/268.77 c 164s | 19 | 574849 | 536182 | 1287 773 | 63 | 72 270.65/270.79 c 166s | 19 | 581854 | 542582 | 1287 781 | 63 | 72 272.75/272.81 c 168s | 19 | 588641 | 548882 | 1287 790 | 63 | 72 274.75/274.83 c 170s | 19 | 595495 | 554982 | 1287 798 | 63 | 72 276.75/276.84 c 172s | 19 | 602260 | 561182 | 1287 807 | 63 | 72 278.75/278.86 c 174s | 19 | 609558 | 567682 | 1287 815 | 63 | 72 280.75/280.89 c 176s | 19 | 617395 | 574482 | 1287 825 | 63 | 72 282.85/282.91 c 178s | 19 | 624364 | 580882 | 1287 833 | 63 | 72 284.84/284.91 c 180s | 19 | 631237 | 587182 | 1287 842 | 63 | 72 286.84/286.92 c 182s | 19 | 638382 | 593882 | 1287 851 | 63 | 72 288.84/288.93 c 184s | 19 | 645250 | 600482 | 1287 860 | 63 | 72 290.84/290.95 c 186s | 19 | 651371 | 606382 | 1287 868 | 63 | 72 292.85/292.97 c 188s | 19 | 657524 | 612082 | 1287 876 | 63 | 72 294.84/294.98 c 190s | 19 | 664323 | 618582 | 1287 884 | 63 | 72 296.94/297.01 c 192s | 19 | 670944 | 624882 | 1416 893 | 63 | 72 298.94/299.01 c 194s | 19 | 677854 | 631182 | 1416 901 | 63 | 72 300.94/301.02 c 196s | 19 | 684533 | 637582 | 1416 909 | 63 | 72 302.94/303.04 c 198s | 19 | 691184 | 643882 | 1416 916 | 63 | 72 304.95/305.07 c 200s | 19 | 697727 | 649982 | 1416 924 | 63 | 72 306.94/307.07 c 202s | 19 | 704006 | 655982 | 1416 931 | 63 | 72 308.94/309.09 c 204s | 19 | 710437 | 661982 | 1416 939 | 63 | 72 310.45/310.57 c 206s | 20 | 715487 | 666827 | 1416 945 | 63 | 72 312.44/312.58 c 208s | 20 | 722649 | 673427 | 1416 953 | 63 | 72 314.44/314.59 c 210s | 20 | 729698 | 679927 | 1416 961 | 63 | 72 316.54/316.61 c 212s | 20 | 736735 | 686427 | 1416 970 | 63 | 72 318.54/318.63 c 214s | 20 | 743838 | 692927 | 1416 978 | 63 | 72 320.54/320.65 c 216s | 20 | 750450 | 699227 | 1416 986 | 63 | 72 322.55/322.65 c 218s | 20 | 757166 | 705427 | 1416 993 | 63 | 72 324.54/324.66 c 220s | 20 | 763777 | 711527 | 1416 1001 | 63 | 72 326.54/326.67 c 222s | 20 | 770651 | 717927 | 1416 1009 | 63 | 72 328.54/328.68 c 224s | 20 | 776605 | 723427 | 1416 1016 | 63 | 72 330.54/330.68 c 226s | 20 | 782871 | 729227 | 1416 1023 | 63 | 72 332.55/332.69 c 228s | 20 | 789243 | 735227 | 1416 1030 | 63 | 72 334.65/334.71 c 230s | 20 | 795678 | 741227 | 1416 1038 | 63 | 72 336.64/336.73 c 232s | 20 | 802653 | 747627 | 1416 1046 | 63 | 72 338.64/338.73 c 234s | 20 | 809554 | 753927 | 1416 1054 | 63 | 72 340.64/340.76 c 236s | 20 | 816007 | 760027 | 1416 1061 | 63 | 72 342.64/342.78 c 238s | 20 | 822734 | 766227 | 1416 1069 | 63 | 72 344.74/344.82 c 240s | 20 | 829023 | 772027 | 1416 1076 | 63 | 72 346.75/346.84 c 242s | 20 | 835342 | 777727 | 1416 1083 | 63 | 72 348.74/348.86 c 244s | 20 | 842416 | 784327 | 1416 1092 | 63 | 72 350.74/350.89 c 246s | 20 | 849407 | 790727 | 1416 1100 | 63 | 72 352.84/352.92 c 248s | 20 | 856033 | 796727 | 1416 1107 | 63 | 72 354.84/354.93 c 250s | 20 | 862319 | 802627 | 1416 1114 | 63 | 72 356.83/356.94 c 252s | 20 | 868476 | 808427 | 1416 1122 | 63 | 72 358.84/358.95 c 254s | 20 | 874852 | 813927 | 1416 1128 | 63 | 72 360.83/360.96 c 256s | 20 | 881637 | 820227 | 1416 1136 | 63 | 72 362.83/362.99 c 258s | 20 | 888610 | 826827 | 1416 1145 | 63 | 72 364.93/365.00 c 260s | 20 | 895638 | 833227 | 1416 1153 | 63 | 72 366.93/367.02 c 262s | 20 | 902291 | 839427 | 1416 1160 | 63 | 72 368.93/369.04 c 264s | 20 | 908673 | 845427 | 1416 1168 | 63 | 72 370.94/371.05 c 266s | 20 | 915158 | 851427 | 1416 1175 | 63 | 72 372.93/373.06 c 268s | 20 | 921710 | 857327 | 1416 1183 | 63 | 72 374.93/375.08 c 270s | 20 | 928469 | 863527 | 1416 1190 | 63 | 72 376.93/377.08 c 272s | 20 | 935087 | 869527 | 1416 1198 | 63 | 72 379.03/379.10 c 274s | 20 | 941678 | 875527 | 1416 1205 | 63 | 72 381.03/381.10 c 276s | 20 | 948266 | 881727 | 1416 1213 | 63 | 72 383.03/383.13 c 278s | 20 | 954921 | 887927 | 1416 1221 | 63 | 72 385.03/385.14 c 280s | 20 | 961576 | 894127 | 1416 1229 | 63 | 72 387.03/387.15 c 282s | 20 | 968242 | 900227 | 1416 1236 | 63 | 72 389.03/389.16 c 284s | 20 | 974691 | 906227 | 1416 1244 | 63 | 72 391.03/391.17 c 286s | 20 | 981412 | 912227 | 1416 1251 | 63 | 72 393.13/393.20 c 288s | 20 | 987786 | 918127 | 1416 1258 | 63 | 72 395.14/395.21 c 290s | 20 | 993885 | 923827 | 1416 1266 | 63 | 72 397.13/397.23 c 292s | 20 | 999758 | 929327 | 1416 1272 | 63 | 72 399.13/399.24 c 294s | 20 | 1005708 | 934727 | 1416 1279 | 63 | 72 401.13/401.24 c 296s | 20 | 1012842 | 941327 | 1416 1287 | 63 | 72 403.13/403.27 c 298s | 20 | 1019773 | 947727 | 1416 1295 | 63 | 72 405.14/405.29 c 300s | 20 | 1026553 | 953927 | 1416 1303 | 63 | 72 407.24/407.32 c 302s | 20 | 1032842 | 959827 | 1416 1311 | 63 | 72 409.23/409.33 c 304s | 20 | 1039306 | 965827 | 1416 1318 | 63 | 72 411.23/411.35 c 307s | 20 | 1045667 | 971827 | 1416 1325 | 63 | 72 413.23/413.35 c 309s | 20 | 1051799 | 977527 | 1416 1333 | 63 | 72 415.23/415.37 c 311s | 20 | 1057746 | 983127 | 1416 1340 | 63 | 72 417.24/417.39 c 313s | 20 | 1063403 | 988527 | 1416 1346 | 63 | 72 419.33/419.42 c 315s | 20 | 1069966 | 994627 | 1416 1354 | 63 | 72 421.13/421.28 c 316s | 21 | 1076201 | 1000345 | 1416 1361 | 63 | 72 423.22/423.30 c 318s | 21 | 1083319 | 1006745 | 1416 1369 | 63 | 72 425.22/425.31 c 320s | 21 | 1090447 | 1013345 | 1416 1377 | 63 | 72 427.22/427.33 c 322s | 21 | 1096699 | 1019145 | 1416 1385 | 63 | 72 429.23/429.35 c 325s | 21 | 1103463 | 1025345 | 1416 1392 | 63 | 72 431.22/431.38 c 327s | 21 | 1109908 | 1031445 | 1416 1400 | 63 | 72 433.22/433.38 c 329s | 21 | 1116303 | 1037445 | 1416 1407 | 63 | 72 435.32/435.40 c 331s | 21 | 1122794 | 1043445 | 1416 1415 | 63 | 72 437.32/437.42 c 333s | 21 | 1129772 | 1049845 | 1416 1423 | 63 | 72 439.32/439.42 c 335s | 21 | 1136405 | 1055845 | 1416 1430 | 63 | 72 441.33/441.46 c 337s | 21 | 1142670 | 1061645 | 1416 1438 | 63 | 72 443.32/443.48 c 339s | 21 | 1150007 | 1067945 | 1416 1445 | 63 | 72 445.42/445.51 c 341s | 21 | 1156743 | 1074045 | 1416 1453 | 63 | 72 447.42/447.52 c 343s | 21 | 1163170 | 1079945 | 1416 1460 | 63 | 72 449.42/449.56 c 345s | 21 | 1169584 | 1085745 | 1416 1468 | 63 | 72 451.42/451.57 c 347s | 21 | 1176256 | 1091945 | 1416 1475 | 63 | 72 453.42/453.58 c 349s | 21 | 1182825 | 1098045 | 1416 1483 | 63 | 72 455.52/455.61 c 351s | 21 | 1189180 | 1103945 | 1416 1490 | 63 | 72 457.52/457.64 c 353s | 21 | 1195396 | 1109845 | 1416 1498 | 63 | 72 459.52/459.65 c 355s | 21 | 1201375 | 1115345 | 1416 1504 | 63 | 72 461.52/461.69 c 357s | 21 | 1207741 | 1121245 | 1558 1512 | 63 | 72 463.62/463.72 c 359s | 21 | 1214468 | 1127545 | 1558 1519 | 63 | 72 465.62/465.75 c 361s | 21 | 1220494 | 1133245 | 1558 1525 | 63 | 72 467.61/467.75 c 363s | 21 | 1226556 | 1138945 | 1558 1532 | 63 | 72 469.61/469.78 c 365s | 21 | 1232516 | 1144545 | 1558 1538 | 63 | 72 471.71/471.80 c 367s | 21 | 1238991 | 1150645 | 1558 1545 | 63 | 72 473.71/473.82 c 369s | 21 | 1245715 | 1156845 | 1558 1552 | 63 | 72 475.71/475.83 c 371s | 21 | 1252190 | 1162945 | 1558 1559 | 63 | 72 477.72/477.84 c 373s | 21 | 1258125 | 1168345 | 1558 1565 | 63 | 72 479.71/479.85 c 375s | 21 | 1264066 | 1173645 | 1558 1572 | 63 | 72 481.71/481.86 c 377s | 21 | 1271086 | 1179845 | 1558 1579 | 63 | 72 483.71/483.88 c 379s | 21 | 1277221 | 1185545 | 1558 1585 | 63 | 72 485.71/485.89 c 381s | 21 | 1283535 | 1191145 | 1558 1592 | 63 | 72 487.81/487.92 c 383s | 21 | 1289737 | 1196945 | 1558 1598 | 63 | 72 489.82/489.94 c 385s | 21 | 1296081 | 1203045 | 1558 1605 | 63 | 72 491.81/491.95 c 387s | 21 | 1302058 | 1208745 | 1558 1612 | 63 | 72 493.81/493.97 c 389s | 21 | 1308298 | 1214545 | 1558 1618 | 63 | 72 495.91/496.01 c 391s | 21 | 1313918 | 1219945 | 1558 1625 | 63 | 72 497.91/498.03 c 393s | 21 | 1319620 | 1225245 | 1558 1631 | 63 | 72 499.91/500.06 c 395s | 21 | 1325393 | 1230645 | 1558 1637 | 63 | 72 501.91/502.09 c 397s | 21 | 1331206 | 1236145 | 1558 1643 | 63 | 72 504.01/504.11 c 399s | 21 | 1337098 | 1241645 | 1558 1649 | 63 | 72 506.01/506.12 c 401s | 21 | 1342496 | 1246745 | 1558 1655 | 63 | 72 508.01/508.15 c 403s | 21 | 1347976 | 1251845 | 1558 1661 | 63 | 72 510.01/510.18 c 405s | 21 | 1354516 | 1257945 | 1558 1668 | 63 | 72 512.11/512.20 c 407s | 21 | 1360979 | 1263945 | 1558 1675 | 63 | 72 514.11/514.20 c 409s | 21 | 1367399 | 1269745 | 1558 1681 | 63 | 72 516.11/516.22 c 411s | 21 | 1373969 | 1275645 | 1558 1688 | 63 | 72 518.11/518.22 c 413s | 21 | 1380259 | 1281545 | 1558 1695 | 63 | 72 520.10/520.22 c 415s | 21 | 1386252 | 1287045 | 1558 1701 | 63 | 72 522.10/522.23 c 417s | 21 | 1392801 | 1293045 | 1558 1708 | 63 | 72 524.10/524.25 c 419s | 21 | 1399709 | 1299345 | 1558 1715 | 63 | 72 526.11/526.28 c 421s | 21 | 1406583 | 1305745 | 1558 1723 | 63 | 72 528.21/528.30 c 423s | 21 | 1413092 | 1311945 | 1558 1730 | 63 | 72 530.20/530.33 c 425s | 21 | 1419450 | 1317945 | 1558 1737 | 63 | 72 532.20/532.33 c 427s | 21 | 1425461 | 1323745 | 1558 1743 | 63 | 72 534.20/534.36 c 430s | 21 | 1431573 | 1329545 | 1558 1750 | 63 | 72 536.20/536.37 c 432s | 21 | 1437237 | 1334945 | 1558 1756 | 63 | 72 538.22/538.39 c 434s | 21 | 1443011 | 1340345 | 1558 1762 | 63 | 72 540.32/540.42 c 436s | 21 | 1448687 | 1345745 | 1558 1768 | 63 | 72 542.31/542.45 c 438s | 21 | 1455323 | 1352045 | 1558 1776 | 63 | 72 544.31/544.47 c 440s | 21 | 1461946 | 1358245 | 1558 1783 | 63 | 72 546.41/546.50 c 442s | 21 | 1468185 | 1364245 | 1558 1790 | 63 | 72 548.41/548.53 c 444s | 21 | 1473813 | 1369545 | 1558 1796 | 63 | 72 550.41/550.55 c 446s | 21 | 1479910 | 1375345 | 1558 1802 | 63 | 72 552.42/552.55 c 448s | 21 | 1485622 | 1380845 | 1558 1809 | 63 | 72 554.41/554.55 c 450s | 21 | 1491870 | 1386845 | 1558 1815 | 63 | 72 556.41/556.57 c 452s | 21 | 1498075 | 1392745 | 1558 1822 | 63 | 72 558.41/558.58 c 454s | 21 | 1504553 | 1398945 | 1558 1829 | 63 | 72 560.51/560.60 c 456s | 21 | 1510745 | 1404845 | 1558 1836 | 63 | 72 562.51/562.60 c 458s | 21 | 1516784 | 1410645 | 1558 1843 | 63 | 72 564.51/564.62 c 460s | 21 | 1522936 | 1416445 | 1558 1849 | 63 | 72 566.50/566.64 c 462s | 21 | 1528887 | 1421945 | 1558 1856 | 63 | 72 568.50/568.68 c 464s | 21 | 1534605 | 1427245 | 1558 1862 | 63 | 72 570.60/570.70 c 466s | 21 | 1540181 | 1432545 | 1558 1868 | 63 | 72 572.60/572.71 c 468s | 21 | 1545565 | 1437645 | 1558 1874 | 63 | 72 574.60/574.71 c 470s | 21 | 1551823 | 1443645 | 1558 1880 | 63 | 72 576.61/576.74 c 472s | 21 | 1557819 | 1449245 | 1558 1887 | 63 | 72 578.60/578.74 c 474s | 21 | 1563332 | 1454445 | 1558 1893 | 63 | 72 580.60/580.75 c 476s | 21 | 1568970 | 1459745 | 1558 1899 | 63 | 72 582.60/582.77 c 478s | 21 | 1575827 | 1465945 | 1558 1906 | 63 | 72 584.60/584.78 c 480s | 21 | 1582017 | 1471745 | 1558 1913 | 63 | 72 586.70/586.81 c 482s | 21 | 1588164 | 1477445 | 1558 1919 | 63 | 72 588.71/588.83 c 484s | 21 | 1594631 | 1483445 | 1558 1926 | 63 | 72 590.70/590.86 c 486s | 21 | 1600854 | 1489245 | 1558 1933 | 63 | 72 592.70/592.87 c 488s | 21 | 1607738 | 1495445 | 1558 1940 | 63 | 72 594.31/594.41 c 490s | 22 | 1613427 | 1500622 | 1558 1946 | 63 | 72 596.30/596.42 c 492s | 22 | 1619880 | 1506722 | 1558 1953 | 63 | 72 598.30/598.45 c 494s | 22 | 1627199 | 1513422 | 1558 1960 | 63 | 72 600.30/600.48 c 496s | 22 | 1633614 | 1519422 | 1558 1967 | 63 | 72 602.40/602.51 c 498s | 22 | 1639878 | 1525422 | 1558 1974 | 63 | 72 604.40/604.53 c 500s | 22 | 1646046 | 1531222 | 1558 1981 | 63 | 72 606.40/606.56 c 502s | 22 | 1652239 | 1537122 | 1558 1988 | 63 | 72 608.40/608.58 c 504s | 22 | 1658422 | 1542922 | 1558 1994 | 63 | 72 610.50/610.61 c 506s | 22 | 1664670 | 1548822 | 1558 2001 | 63 | 72 612.50/612.64 c 508s | 22 | 1670804 | 1554722 | 1558 2008 | 63 | 72 614.50/614.64 c 510s | 22 | 1677082 | 1560722 | 1558 2015 | 63 | 72 616.50/616.66 c 512s | 22 | 1683250 | 1566622 | 1558 2021 | 63 | 72 618.50/618.67 c 514s | 22 | 1689259 | 1572222 | 1558 2028 | 63 | 72 620.49/620.68 c 516s | 22 | 1694918 | 1577622 | 1558 2034 | 63 | 72 622.49/622.69 c 518s | 22 | 1700877 | 1583322 | 1558 2041 | 63 | 72 624.59/624.71 c 520s | 22 | 1706913 | 1589122 | 1558 2047 | 63 | 72 626.59/626.74 c 522s | 22 | 1712831 | 1594722 | 1558 2054 | 63 | 72 628.59/628.77 c 524s | 22 | 1718727 | 1600422 | 1558 2060 | 63 | 72 630.60/630.77 c 526s | 22 | 1724449 | 1605922 | 1558 2066 | 63 | 72 632.59/632.79 c 528s | 22 | 1730817 | 1612022 | 1558 2073 | 63 | 72 634.69/634.81 c 530s | 22 | 1736584 | 1617622 | 1558 2080 | 63 | 72 636.69/636.84 c 532s | 22 | 1742301 | 1623022 | 1558 2086 | 63 | 72 638.69/638.85 c 534s | 22 | 1748354 | 1628722 | 1558 2093 | 63 | 72 640.69/640.86 c 536s | 22 | 1754577 | 1634622 | 1558 2099 | 63 | 72 642.70/642.89 c 538s | 22 | 1760394 | 1640222 | 1558 2106 | 63 | 72 644.69/644.90 c 540s | 22 | 1766424 | 1645922 | 1558 2112 | 63 | 72 646.79/646.92 c 542s | 22 | 1772522 | 1651722 | 1558 2119 | 63 | 72 648.79/648.93 c 544s | 22 | 1778836 | 1657722 | 1558 2126 | 63 | 72 650.79/650.94 c 546s | 22 | 1784627 | 1663222 | 1558 2132 | 63 | 72 652.79/652.95 c 548s | 22 | 1790406 | 1668722 | 1558 2139 | 63 | 72 654.79/654.98 c 550s | 22 | 1795947 | 1673922 | 1558 2144 | 63 | 72 656.79/656.98 c 552s | 22 | 1801382 | 1679022 | 1558 2150 | 63 | 72 658.89/659.00 c 554s | 22 | 1806643 | 1683922 | 1558 2156 | 63 | 72 660.88/661.02 c 556s | 22 | 1812434 | 1689422 | 1558 2162 | 63 | 72 662.88/663.03 c 558s | 22 | 1818595 | 1695222 | 1558 2169 | 63 | 72 664.88/665.05 c 560s | 22 | 1824966 | 1701322 | 1558 2176 | 63 | 72 666.89/667.06 c 562s | 22 | 1830648 | 1706622 | 1558 2182 | 63 | 72 668.88/669.06 c 564s | 22 | 1836915 | 1712522 | 1558 2189 | 63 | 72 670.89/671.08 c 566s | 22 | 1843201 | 1718322 | 1558 2195 | 63 | 72 672.99/673.12 c 568s | 22 | 1849228 | 1723822 | 1558 2202 | 63 | 72 674.99/675.13 c 570s | 22 | 1855510 | 1729622 | 1558 2208 | 63 | 72 676.99/677.13 c 572s | 22 | 1861252 | 1735022 | 1558 2214 | 63 | 72 678.99/679.15 c 574s | 22 | 1867416 | 1740622 | 1558 2221 | 63 | 72 680.99/681.15 c 576s | 22 | 1873151 | 1745922 | 1558 2227 | 63 | 72 682.99/683.19 c 578s | 22 | 1878697 | 1751022 | 1558 2233 | 63 | 72 685.09/685.22 c 580s | 22 | 1884528 | 1756422 | 1558 2239 | 63 | 72 687.09/687.25 c 582s | 22 | 1890474 | 1762022 | 1558 2245 | 63 | 72 689.08/689.27 c 584s | 22 | 1896374 | 1767522 | 1558 2252 | 63 | 72 691.09/691.28 c 586s | 22 | 1902047 | 1772822 | 1558 2258 | 63 | 72 693.19/693.30 c 588s | 22 | 1907820 | 1778322 | 1558 2264 | 63 | 72 695.18/695.32 c 590s | 22 | 1913806 | 1784122 | 1558 2271 | 63 | 72 697.18/697.35 c 593s | 22 | 1920113 | 1790122 | 1558 2278 | 63 | 72 699.18/699.38 c 595s | 22 | 1926545 | 1796222 | 1558 2285 | 63 | 72 701.28/701.40 c 597s | 22 | 1932489 | 1801822 | 1558 2291 | 63 | 72 703.28/703.43 c 599s | 22 | 1937968 | 1806922 | 1558 2297 | 63 | 72 705.29/705.44 c 601s | 22 | 1943951 | 1812522 | 1558 2303 | 63 | 72 707.28/707.44 c 603s | 22 | 1949331 | 1817722 | 1558 2309 | 63 | 72 709.28/709.47 c 605s | 22 | 1955203 | 1823222 | 1558 2315 | 63 | 72 711.38/711.50 c 607s | 22 | 1961082 | 1828822 | 1558 2322 | 63 | 72 713.38/713.54 c 609s | 22 | 1966594 | 1834122 | 1558 2328 | 63 | 72 715.38/715.55 c 611s | 22 | 1972808 | 1840022 | 1558 2335 | 63 | 72 717.38/717.57 c 613s | 22 | 1979027 | 1845622 | 1558 2341 | 63 | 72 719.38/719.58 c 615s | 22 | 1984514 | 1850722 | 1558 2347 | 63 | 72 721.38/721.59 c 617s | 22 | 1990309 | 1856122 | 1558 2353 | 63 | 72 723.38/723.59 c 619s | 22 | 1995985 | 1861522 | 1558 2359 | 63 | 72 725.37/725.60 c 621s | 22 | 2001729 | 1866922 | 1714 2365 | 63 | 72 727.47/727.61 c 623s | 22 | 2007880 | 1872622 | 1714 2371 | 63 | 72 729.48/729.64 c 625s | 22 | 2013506 | 1878022 | 1714 2377 | 63 | 72 731.48/731.67 c 627s | 22 | 2019321 | 1883522 | 1714 2383 | 63 | 72 733.48/733.68 c 629s | 22 | 2025367 | 1889122 | 1714 2388 | 63 | 72 735.58/735.71 c 631s | 22 | 2031833 | 1895122 | 1714 2395 | 63 | 72 737.58/737.72 c 633s | 22 | 2037787 | 1900722 | 1714 2401 | 63 | 72 739.58/739.74 c 635s | 22 | 2043788 | 1906422 | 1714 2407 | 63 | 72 741.59/741.77 c 637s | 22 | 2049664 | 1912022 | 1714 2413 | 63 | 72 743.58/743.78 c 639s | 22 | 2055264 | 1917322 | 1714 2418 | 63 | 72 745.58/745.79 c 641s | 22 | 2061045 | 1922722 | 1714 2424 | 63 | 72 747.68/747.83 c 643s | 22 | 2066980 | 1928222 | 1714 2430 | 63 | 72 749.68/749.85 c 645s | 22 | 2072641 | 1933622 | 1714 2435 | 63 | 72 751.68/751.85 c 647s | 22 | 2079123 | 1939622 | 1714 2442 | 63 | 72 753.68/753.87 c 649s | 22 | 2085238 | 1945122 | 1714 2447 | 63 | 72 755.68/755.89 c 651s | 22 | 2091164 | 1950722 | 1714 2453 | 63 | 72 757.67/757.89 c 653s | 22 | 2096739 | 1956022 | 1714 2459 | 63 | 72 759.67/759.89 c 655s | 22 | 2102603 | 1961522 | 1714 2465 | 63 | 72 761.77/761.92 c 657s | 22 | 2107923 | 1966622 | 1714 2470 | 63 | 72 763.77/763.94 c 659s | 22 | 2113828 | 1972122 | 1714 2476 | 63 | 72 765.78/765.96 c 661s | 22 | 2119422 | 1977322 | 1714 2481 | 63 | 72 767.77/767.99 c 663s | 22 | 2124735 | 1982422 | 1714 2487 | 63 | 72 769.87/770.00 c 665s | 22 | 2130402 | 1987722 | 1714 2492 | 63 | 72 771.87/772.01 c 667s | 22 | 2136751 | 1993522 | 1714 2498 | 63 | 72 773.87/774.04 c 669s | 22 | 2142824 | 1999222 | 1714 2504 | 63 | 72 775.87/776.07 c 671s | 22 | 2148545 | 2004522 | 1714 2510 | 63 | 72 777.88/778.09 c 673s | 22 | 2154537 | 2010022 | 1714 2516 | 63 | 72 779.97/780.10 c 675s | 22 | 2160507 | 2015522 | 1714 2521 | 63 | 72 781.97/782.11 c 677s | 22 | 2166121 | 2020722 | 1714 2527 | 63 | 72 783.97/784.12 c 679s | 22 | 2171706 | 2025822 | 1714 2532 | 63 | 72 785.97/786.13 c 681s | 22 | 2177687 | 2031322 | 1714 2538 | 63 | 72 787.97/788.16 c 683s | 22 | 2183742 | 2037022 | 1714 2544 | 63 | 72 789.97/790.17 c 685s | 22 | 2189243 | 2042322 | 1714 2550 | 63 | 72 792.07/792.20 c 687s | 22 | 2194516 | 2047422 | 1714 2555 | 63 | 72 794.07/794.21 c 689s | 22 | 2200134 | 2052722 | 1714 2561 | 63 | 72 796.07/796.22 c 691s | 22 | 2205875 | 2058222 | 1714 2566 | 63 | 72 798.07/798.23 c 693s | 22 | 2211449 | 2063522 | 1714 2572 | 63 | 72 800.06/800.23 c 695s | 22 | 2217079 | 2068722 | 1714 2577 | 63 | 72 802.07/802.25 c 697s | 22 | 2222684 | 2074122 | 1714 2583 | 63 | 72 804.06/804.28 c 699s | 22 | 2227975 | 2079222 | 1714 2589 | 63 | 72 806.16/806.32 c 701s | 22 | 2233545 | 2084522 | 1714 2594 | 63 | 72 808.16/808.35 c 704s | 22 | 2239170 | 2089822 | 1714 2600 | 63 | 72 810.16/810.40 c 706s | 22 | 2245387 | 2095422 | 1714 2606 | 63 | 72 812.27/812.42 c 708s | 22 | 2251137 | 2100822 | 1714 2611 | 63 | 72 814.28/814.43 c 710s | 22 | 2256668 | 2106122 | 1714 2617 | 63 | 72 816.27/816.46 c 712s | 22 | 2262231 | 2111422 | 1714 2622 | 63 | 72 818.27/818.48 c 714s | 22 | 2268474 | 2117022 | 1714 2628 | 63 | 72 820.37/820.50 c 716s | 22 | 2274870 | 2122822 | 1714 2634 | 63 | 72 822.37/822.53 c 718s | 22 | 2280752 | 2128322 | 1714 2640 | 63 | 72 824.37/824.54 c 720s | 22 | 2287013 | 2133722 | 1714 2646 | 63 | 72 826.37/826.58 c 722s | 22 | 2292968 | 2139222 | 1714 2652 | 63 | 72 828.37/828.59 c 724s | 22 | 2298480 | 2144422 | 1714 2657 | 63 | 72 830.47/830.61 c 726s | 22 | 2304663 | 2150222 | 1714 2663 | 63 | 72 832.47/832.63 c 728s | 22 | 2311227 | 2156222 | 1714 2669 | 63 | 72 834.47/834.63 c 730s | 22 | 2317066 | 2161722 | 1714 2675 | 63 | 72 836.46/836.65 c 732s | 22 | 2322839 | 2167122 | 1714 2681 | 63 | 72 838.47/838.67 c 734s | 22 | 2328963 | 2172322 | 1714 2687 | 63 | 72 840.46/840.68 c 736s | 22 | 2334699 | 2177522 | 1714 2692 | 63 | 72 842.56/842.71 c 738s | 22 | 2340025 | 2182622 | 1714 2697 | 63 | 72 844.56/844.73 c 740s | 22 | 2345739 | 2187822 | 1714 2703 | 63 | 72 846.56/846.76 c 742s | 22 | 2351280 | 2193222 | 1714 2709 | 63 | 72 848.56/848.76 c 744s | 22 | 2356155 | 2198022 | 1714 2714 | 63 | 72 850.57/850.78 c 746s | 22 | 2361385 | 2203022 | 1714 2719 | 63 | 72 852.56/852.80 c 748s | 22 | 2366796 | 2208122 | 1714 2724 | 63 | 72 854.66/854.83 c 750s | 22 | 2371767 | 2212922 | 1714 2729 | 63 | 72 856.66/856.84 c 752s | 22 | 2376735 | 2217722 | 1714 2734 | 63 | 72 858.66/858.85 c 754s | 22 | 2382186 | 2222922 | 1714 2740 | 63 | 72 860.66/860.88 c 756s | 22 | 2387633 | 2228122 | 1714 2745 | 63 | 72 862.76/862.90 c 758s | 22 | 2392926 | 2233122 | 1714 2751 | 63 | 72 864.77/864.92 c 760s | 22 | 2398480 | 2238222 | 1714 2756 | 63 | 72 866.76/866.96 c 762s | 22 | 2404272 | 2243522 | 1714 2762 | 63 | 72 868.76/868.96 c 764s | 22 | 2410178 | 2248822 | 1714 2767 | 63 | 72 869.66/869.86 c 765s | 23 | 2412775 | 2251038 | 1714 2769 | 63 | 72 871.66/871.88 c 767s | 23 | 2420123 | 2257638 | 1714 2776 | 63 | 72 873.76/873.91 c 769s | 23 | 2426552 | 2263538 | 1714 2783 | 63 | 72 875.76/875.94 c 771s | 23 | 2433098 | 2269538 | 1714 2789 | 63 | 72 877.75/877.95 c 773s | 23 | 2439341 | 2275438 | 1714 2795 | 63 | 72 879.75/879.95 c 775s | 23 | 2446253 | 2281938 | 1714 2802 | 63 | 72 881.75/881.97 c 777s | 23 | 2452030 | 2287438 | 1714 2808 | 63 | 72 883.85/884.00 c 779s | 23 | 2457800 | 2292938 | 1714 2814 | 63 | 72 885.85/886.02 c 781s | 23 | 2463535 | 2298338 | 1714 2819 | 63 | 72 887.86/888.04 c 783s | 23 | 2469163 | 2303538 | 1714 2825 | 63 | 72 889.85/890.07 c 785s | 23 | 2475237 | 2309138 | 1714 2831 | 63 | 72 891.95/892.10 c 787s | 23 | 2481324 | 2314838 | 1714 2837 | 63 | 72 893.95/894.11 c 789s | 23 | 2487397 | 2320538 | 1714 2843 | 63 | 72 895.95/896.16 c 791s | 23 | 2493130 | 2325938 | 1714 2849 | 63 | 72 897.95/898.16 c 793s | 23 | 2498571 | 2331038 | 1714 2854 | 63 | 72 899.96/900.18 c 795s | 23 | 2504584 | 2336638 | 1714 2860 | 63 | 72 902.05/902.21 c 797s | 23 | 2510383 | 2342138 | 1714 2866 | 63 | 72 904.05/904.23 c 799s | 23 | 2516412 | 2347838 | 1714 2872 | 63 | 72 906.05/906.26 c 801s | 23 | 2522333 | 2353438 | 1714 2878 | 63 | 72 908.05/908.27 c 803s | 23 | 2527976 | 2358738 | 1714 2883 | 63 | 72 910.05/910.29 c 805s | 23 | 2533312 | 2363838 | 1714 2888 | 63 | 72 912.15/912.31 c 807s | 23 | 2539534 | 2369638 | 1714 2895 | 63 | 72 914.15/914.32 c 809s | 23 | 2545666 | 2375138 | 1714 2900 | 63 | 72 916.14/916.33 c 811s | 23 | 2551723 | 2380538 | 1714 2906 | 63 | 72 918.14/918.36 c 814s | 23 | 2558206 | 2386438 | 1714 2912 | 63 | 72 920.14/920.36 c 816s | 23 | 2564293 | 2392138 | 1714 2918 | 63 | 72 922.14/922.37 c 818s | 23 | 2570071 | 2397638 | 1714 2924 | 63 | 72 924.15/924.39 c 820s | 23 | 2575881 | 2403038 | 1714 2930 | 63 | 72 926.25/926.41 c 822s | 23 | 2581792 | 2408338 | 1714 2935 | 63 | 72 928.25/928.42 c 824s | 23 | 2587236 | 2413438 | 1714 2941 | 63 | 72 930.25/930.42 c 826s | 23 | 2592618 | 2418538 | 1714 2946 | 63 | 72 932.25/932.43 c 828s | 23 | 2598564 | 2424138 | 1714 2952 | 63 | 72 934.25/934.43 c 830s | 23 | 2604411 | 2429538 | 1714 2958 | 63 | 72 936.26/936.45 c 832s | 23 | 2609942 | 2434638 | 1714 2963 | 63 | 72 938.25/938.49 c 834s | 23 | 2615319 | 2439638 | 1714 2968 | 63 | 72 940.25/940.49 c 836s | 23 | 2620646 | 2444438 | 1714 2973 | 63 | 72 942.25/942.49 c 838s | 23 | 2626165 | 2449438 | 1714 2979 | 63 | 72 944.35/944.52 c 840s | 23 | 2631863 | 2454838 | 1714 2984 | 63 | 72 946.35/946.53 c 842s | 23 | 2637609 | 2460238 | 1714 2990 | 63 | 72 948.35/948.53 c 844s | 23 | 2643573 | 2465838 | 1714 2996 | 63 | 72 950.35/950.55 c 846s | 23 | 2650154 | 2471838 | 1714 3002 | 63 | 72 952.35/952.55 c 848s | 23 | 2656726 | 2477838 | 1714 3008 | 63 | 72 954.35/954.58 c 850s | 23 | 2662960 | 2483438 | 1714 3014 | 63 | 72 956.45/956.60 c 852s | 23 | 2668938 | 2488938 | 1714 3020 | 63 | 72 958.45/958.62 c 854s | 23 | 2675042 | 2494638 | 1714 3026 | 63 | 72 960.45/960.63 c 856s | 23 | 2681433 | 2500638 | 1714 3032 | 63 | 72 962.45/962.66 c 858s | 23 | 2687381 | 2506238 | 1714 3038 | 63 | 72 964.45/964.70 c 860s | 23 | 2693752 | 2512138 | 1714 3045 | 63 | 72 966.55/966.70 c 862s | 23 | 2699741 | 2517838 | 1714 3051 | 63 | 72 968.54/968.72 c 864s | 23 | 2705862 | 2523438 | 1714 3056 | 63 | 72 970.54/970.75 c 866s | 23 | 2711894 | 2528938 | 1714 3062 | 63 | 72 972.55/972.77 c 868s | 23 | 2717289 | 2534038 | 1714 3068 | 63 | 72 974.54/974.79 c 870s | 23 | 2722842 | 2539138 | 1714 3073 | 63 | 72 976.64/976.83 c 872s | 23 | 2727982 | 2543938 | 1714 3078 | 63 | 72 978.64/978.84 c 874s | 23 | 2733400 | 2549038 | 1714 3083 | 63 | 72 980.64/980.84 c 876s | 23 | 2738607 | 2553938 | 1714 3088 | 63 | 72 982.64/982.85 c 878s | 23 | 2744450 | 2559538 | 1714 3094 | 63 | 72 984.65/984.88 c 880s | 23 | 2750004 | 2564838 | 1714 3100 | 63 | 72 986.74/986.90 c 882s | 23 | 2755095 | 2569738 | 1714 3105 | 63 | 72 988.74/988.93 c 884s | 23 | 2760281 | 2574738 | 1714 3110 | 63 | 72 990.74/990.94 c 886s | 23 | 2765891 | 2580038 | 1714 3116 | 63 | 72 992.74/992.94 c 888s | 23 | 2771571 | 2585138 | 1714 3121 | 63 | 72 994.74/994.96 c 890s | 23 | 2776871 | 2589738 | 1714 3126 | 63 | 72 996.75/996.99 c 892s | 23 | 2782301 | 2594838 | 1714 3131 | 63 | 72 998.84/999.03 c 894s | 23 | 2788319 | 2600638 | 1714 3138 | 63 | 72 1000.84/1001.04 c 896s | 23 | 2794321 | 2606138 | 1714 3143 | 63 | 72 1002.84/1003.06 c 898s | 23 | 2800466 | 2611738 | 1714 3149 | 63 | 72 1004.84/1005.07 c 900s | 23 | 2806241 | 2617138 | 1714 3155 | 63 | 72 1006.94/1007.10 c 902s | 23 | 2812507 | 2623138 | 1714 3161 | 63 | 72 1008.94/1009.12 c 904s | 23 | 2818633 | 2629038 | 1714 3167 | 63 | 72 1010.94/1011.15 c 906s | 23 | 2824778 | 2634838 | 1714 3173 | 63 | 72 1012.94/1013.15 c 908s | 23 | 2830569 | 2640338 | 1714 3179 | 63 | 72 1014.93/1015.16 c 910s | 23 | 2836171 | 2645638 | 1714 3185 | 63 | 72 1016.93/1017.19 c 912s | 23 | 2841553 | 2650738 | 1714 3190 | 63 | 72 1019.03/1019.22 c 914s | 23 | 2847095 | 2655938 | 1714 3196 | 63 | 72 1021.04/1021.24 c 916s | 23 | 2852739 | 2661238 | 1714 3201 | 63 | 72 1023.03/1023.26 c 918s | 23 | 2858119 | 2666238 | 1714 3206 | 63 | 72 1025.03/1025.29 c 920s | 23 | 2863416 | 2671238 | 1714 3212 | 63 | 72 1027.13/1027.30 c 922s | 23 | 2868776 | 2676138 | 1714 3217 | 63 | 72 1029.13/1029.32 c 924s | 23 | 2874370 | 2681338 | 1714 3222 | 63 | 72 1031.13/1031.34 c 927s | 23 | 2880036 | 2686738 | 1714 3228 | 63 | 72 1033.14/1033.38 c 929s | 23 | 2885734 | 2692138 | 1714 3234 | 63 | 72 1035.24/1035.40 c 931s | 23 | 2891355 | 2697438 | 1714 3239 | 63 | 72 1037.23/1037.41 c 933s | 23 | 2897864 | 2703538 | 1714 3246 | 63 | 72 1039.23/1039.43 c 935s | 23 | 2904788 | 2710038 | 1714 3252 | 63 | 72 1041.23/1041.44 c 937s | 23 | 2911450 | 2716138 | 1714 3259 | 63 | 72 1043.23/1043.47 c 939s | 23 | 2917144 | 2721338 | 1714 3264 | 63 | 72 1045.24/1045.49 c 941s | 23 | 2922919 | 2726638 | 1714 3270 | 63 | 72 1047.34/1047.52 c 943s | 23 | 2929399 | 2732438 | 1714 3276 | 63 | 72 1049.33/1049.55 c 945s | 23 | 2935615 | 2737838 | 1714 3282 | 63 | 72 1051.33/1051.56 c 947s | 23 | 2941731 | 2743238 | 1714 3287 | 63 | 72 1053.33/1053.58 c 949s | 23 | 2947828 | 2748938 | 1714 3293 | 63 | 72 1055.43/1055.60 c 951s | 23 | 2953341 | 2754238 | 1714 3299 | 63 | 72 1057.43/1057.64 c 953s | 23 | 2958544 | 2759238 | 1714 3304 | 63 | 72 1059.43/1059.67 c 955s | 23 | 2964271 | 2764438 | 1714 3309 | 63 | 72 1061.52/1061.70 c 957s | 23 | 2969903 | 2769638 | 1714 3315 | 63 | 72 1063.52/1063.74 c 959s | 23 | 2975692 | 2774838 | 1714 3320 | 63 | 72 1065.52/1065.76 c 961s | 23 | 2981870 | 2780338 | 1714 3326 | 63 | 72 1067.52/1067.78 c 963s | 23 | 2987629 | 2785538 | 1714 3332 | 63 | 72 1069.62/1069.80 c 965s | 23 | 2993306 | 2790538 | 1714 3337 | 63 | 72 1071.63/1071.83 c 967s | 23 | 2998763 | 2795338 | 1714 3342 | 63 | 72 1073.62/1073.85 c 969s | 23 | 3004212 | 2800538 | 1714 3347 | 63 | 72 1075.62/1075.86 c 971s | 23 | 3009780 | 2805838 | 1714 3353 | 63 | 72 1077.72/1077.91 c 973s | 23 | 3015349 | 2811038 | 1714 3358 | 63 | 72 1079.72/1079.91 c 975s | 23 | 3020921 | 2816438 | 1714 3364 | 63 | 72 1081.72/1081.93 c 977s | 23 | 3026495 | 2821738 | 1714 3370 | 63 | 72 1083.73/1083.93 c 979s | 23 | 3032955 | 2827638 | 1714 3376 | 63 | 72 1085.72/1085.96 c 981s | 23 | 3039537 | 2833738 | 1714 3382 | 63 | 72 1087.72/1087.98 c 983s | 23 | 3046296 | 2839838 | 1714 3389 | 63 | 72 1089.72/1090.00 c 985s | 23 | 3053441 | 2845838 | 1714 3395 | 63 | 72 1091.82/1092.03 c 987s | 23 | 3058937 | 2850938 | 1714 3400 | 63 | 72 1093.82/1094.04 c 989s | 23 | 3064142 | 2855838 | 1714 3405 | 63 | 72 1095.82/1096.06 c 991s | 23 | 3069805 | 2861138 | 1714 3411 | 63 | 72 1097.82/1098.07 c 993s | 23 | 3075483 | 2866338 | 1714 3416 | 63 | 72 1099.92/1100.10 c 995s | 23 | 3081344 | 2871738 | 1714 3422 | 63 | 72 1101.92/1102.10 c 997s | 23 | 3086934 | 2876838 | 1714 3427 | 63 | 72 1103.92/1104.13 c 999s | 23 | 3092909 | 2882438 | 1714 3433 | 63 | 72 1105.92/1106.15 c 1001s | 23 | 3098290 | 2887538 | 1714 3439 | 63 | 72 1108.02/1108.20 c 1003s | 23 | 3103363 | 2892238 | 1714 3444 | 63 | 72 1110.02/1110.23 c 1005s | 23 | 3108461 | 2896938 | 1714 3448 | 63 | 72 1112.02/1112.25 c 1007s | 23 | 3113808 | 2901938 | 1714 3454 | 63 | 72 1114.02/1114.27 c 1009s | 23 | 3119801 | 2907638 | 1714 3460 | 63 | 72 1116.12/1116.31 c 1011s | 23 | 3125752 | 2913138 | 1714 3465 | 63 | 72 1118.12/1118.33 c 1013s | 23 | 3131286 | 2918338 | 1714 3471 | 63 | 72 1120.12/1120.34 c 1016s | 23 | 3136771 | 2923338 | 1714 3476 | 63 | 72 1122.13/1122.36 c 1018s | 23 | 3141664 | 2927838 | 1714 3481 | 63 | 72 1124.12/1124.38 c 1020s | 23 | 3146325 | 2932138 | 1714 3485 | 63 | 72 1126.22/1126.41 c 1022s | 23 | 3150765 | 2936238 | 1714 3490 | 63 | 72 1128.22/1128.44 c 1024s | 23 | 3156461 | 2941638 | 1714 3495 | 63 | 72 1130.22/1130.47 c 1026s | 23 | 3162035 | 2946738 | 1714 3501 | 63 | 72 1132.22/1132.47 c 1028s | 23 | 3168020 | 2952138 | 1714 3506 | 63 | 72 1134.33/1134.50 c 1030s | 23 | 3174247 | 2958038 | 1714 3513 | 63 | 72 1136.32/1136.51 c 1032s | 23 | 3179859 | 2963338 | 1714 3518 | 63 | 72 1138.32/1138.53 c 1034s | 23 | 3185567 | 2968838 | 1714 3524 | 63 | 72 1140.32/1140.56 c 1036s | 23 | 3191315 | 2974238 | 1714 3530 | 63 | 72 1142.32/1142.56 c 1038s | 23 | 3197000 | 2979638 | 1714 3535 | 63 | 72 1144.32/1144.56 c 1040s | 23 | 3203007 | 2985238 | 1886 3541 | 63 | 72 1146.33/1146.58 c 1042s | 23 | 3208737 | 2990238 | 1886 3546 | 63 | 72 1148.42/1148.61 c 1044s | 23 | 3214241 | 2995538 | 1886 3551 | 63 | 72 1150.42/1150.66 c 1046s | 23 | 3219294 | 3000338 | 1886 3555 | 63 | 72 1152.42/1152.66 c 1048s | 23 | 3224163 | 3005038 | 1886 3560 | 63 | 72 1154.42/1154.67 c 1050s | 23 | 3229580 | 3010238 | 1886 3565 | 63 | 72 1156.52/1156.70 c 1052s | 23 | 3234960 | 3015438 | 1886 3570 | 63 | 72 1158.52/1158.73 c 1054s | 23 | 3240031 | 3020238 | 1886 3574 | 63 | 72 1160.51/1160.75 c 1056s | 23 | 3245358 | 3025338 | 1886 3579 | 63 | 72 1162.51/1162.77 c 1058s | 23 | 3251129 | 3030838 | 1886 3585 | 63 | 72 1164.51/1164.77 c 1060s | 23 | 3256626 | 3036138 | 1886 3590 | 63 | 72 1166.51/1166.79 c 1062s | 23 | 3262061 | 3041338 | 1886 3595 | 63 | 72 1168.61/1168.80 c 1064s | 23 | 3268020 | 3046838 | 1886 3600 | 63 | 72 1170.62/1170.81 c 1066s | 23 | 3274654 | 3052838 | 1886 3606 | 63 | 72 1172.61/1172.82 c 1068s | 23 | 3281199 | 3058438 | 1886 3611 | 63 | 72 1174.61/1174.86 c 1070s | 23 | 3287225 | 3063938 | 1886 3616 | 63 | 72 1176.61/1176.88 c 1072s | 23 | 3292839 | 3069138 | 1886 3621 | 63 | 72 1178.61/1178.89 c 1074s | 23 | 3298554 | 3074438 | 1886 3627 | 63 | 72 1180.71/1180.92 c 1076s | 23 | 3304345 | 3079938 | 1886 3632 | 63 | 72 1182.72/1182.93 c 1078s | 23 | 3310071 | 3085338 | 1886 3637 | 63 | 72 1184.71/1184.95 c 1080s | 23 | 3315581 | 3090638 | 1886 3642 | 63 | 72 1186.71/1186.96 c 1082s | 23 | 3321380 | 3096038 | 1886 3647 | 63 | 72 1188.71/1188.97 c 1084s | 23 | 3326840 | 3101238 | 1886 3652 | 63 | 72 1190.81/1191.00 c 1086s | 23 | 3332186 | 3106238 | 1886 3657 | 63 | 72 1192.81/1193.00 c 1088s | 23 | 3338121 | 3111838 | 1886 3663 | 63 | 72 1194.81/1195.01 c 1090s | 23 | 3344302 | 3117638 | 1886 3668 | 63 | 72 1196.81/1197.04 c 1092s | 23 | 3350259 | 3123238 | 1886 3674 | 63 | 72 1198.81/1199.07 c 1094s | 23 | 3356767 | 3129238 | 1886 3679 | 63 | 72 1200.81/1201.09 c 1096s | 23 | 3363099 | 3135138 | 1886 3685 | 63 | 72 1202.91/1203.12 c 1098s | 23 | 3369389 | 3140938 | 1886 3691 | 63 | 72 1204.91/1205.14 c 1100s | 23 | 3375036 | 3146238 | 1886 3696 | 63 | 72 1206.91/1207.18 c 1102s | 23 | 3380907 | 3151638 | 1886 3701 | 63 | 72 1208.91/1209.19 c 1104s | 23 | 3386448 | 3156738 | 1886 3706 | 63 | 72 1211.00/1211.23 c 1106s | 23 | 3392022 | 3161838 | 1886 3711 | 63 | 72 1213.00/1213.24 c 1108s | 23 | 3397468 | 3166938 | 1886 3716 | 63 | 72 1215.00/1215.25 c 1110s | 23 | 3403064 | 3172238 | 1886 3721 | 63 | 72 1217.00/1217.25 c 1112s | 23 | 3408919 | 3177738 | 1886 3726 | 63 | 72 1219.01/1219.28 c 1114s | 23 | 3415393 | 3183638 | 1886 3732 | 63 | 72 1221.00/1221.30 c 1116s | 23 | 3421733 | 3189538 | 1886 3737 | 63 | 72 1223.10/1223.32 c 1118s | 23 | 3428282 | 3195438 | 1886 3743 | 63 | 72 1225.10/1225.33 c 1120s | 23 | 3434872 | 3201138 | 1886 3749 | 63 | 72 1227.10/1227.36 c 1123s | 23 | 3441353 | 3206538 | 1886 3754 | 63 | 72 1229.10/1229.37 c 1125s | 23 | 3446964 | 3211838 | 1886 3759 | 63 | 72 1231.20/1231.40 c 1127s | 23 | 3452838 | 3217138 | 1886 3764 | 63 | 72 1233.20/1233.43 c 1129s | 23 | 3458413 | 3222338 | 1886 3769 | 63 | 72 1235.20/1235.45 c 1131s | 23 | 3464457 | 3228038 | 1886 3774 | 63 | 72 1237.20/1237.46 c 1133s | 23 | 3470613 | 3233538 | 1886 3780 | 63 | 72 1239.20/1239.46 c 1135s | 23 | 3477325 | 3239738 | 1886 3786 | 63 | 72 1241.20/1241.48 c 1137s | 23 | 3484039 | 3245838 | 1886 3792 | 63 | 72 1243.20/1243.50 c 1139s | 23 | 3490423 | 3251838 | 1886 3797 | 63 | 72 1245.30/1245.52 c 1141s | 23 | 3496825 | 3257838 | 1886 3803 | 63 | 72 1247.30/1247.55 c 1143s | 23 | 3503193 | 3263738 | 1886 3809 | 63 | 72 1249.30/1249.59 c 1145s | 23 | 3510008 | 3269738 | 1886 3815 | 63 | 72 1251.39/1251.63 c 1147s | 23 | 3516781 | 3275938 | 1886 3821 | 63 | 72 1253.39/1253.63 c 1149s | 23 | 3522901 | 3281738 | 1886 3826 | 63 | 72 1255.39/1255.64 c 1151s | 23 | 3528733 | 3287238 | 1886 3831 | 63 | 72 1257.40/1257.66 c 1153s | 23 | 3534933 | 3292938 | 1886 3837 | 63 | 72 1259.39/1259.67 c 1155s | 23 | 3540773 | 3298438 | 1886 3842 | 63 | 72 1261.39/1261.68 c 1157s | 23 | 3546599 | 3303838 | 1886 3847 | 63 | 72 1263.39/1263.69 c 1159s | 23 | 3552541 | 3309338 | 1886 3853 | 63 | 72 1265.40/1265.69 c 1161s | 23 | 3558559 | 3314838 | 1886 3858 | 63 | 72 1267.50/1267.73 c 1163s | 23 | 3564493 | 3320238 | 1886 3863 | 63 | 72 1269.51/1269.73 c 1165s | 23 | 3570620 | 3325738 | 1886 3869 | 63 | 72 1271.50/1271.74 c 1167s | 23 | 3577099 | 3331538 | 1886 3874 | 63 | 72 1273.50/1273.76 c 1169s | 23 | 3583381 | 3337438 | 1886 3880 | 63 | 72 1275.60/1275.81 c 1171s | 23 | 3589766 | 3343438 | 1886 3886 | 63 | 72 1277.60/1277.82 c 1173s | 23 | 3596074 | 3349338 | 1886 3891 | 63 | 72 1279.60/1279.84 c 1175s | 23 | 3602194 | 3355038 | 1886 3897 | 63 | 72 1281.61/1281.87 c 1177s | 23 | 3607905 | 3360238 | 1886 3902 | 63 | 72 1283.70/1283.90 c 1179s | 23 | 3614236 | 3366038 | 1886 3907 | 63 | 72 1285.70/1285.92 c 1181s | 23 | 3620586 | 3371738 | 1886 3913 | 63 | 72 1287.40/1287.66 c 1183s | 24 | 3626034 | 3376662 | 1886 3917 | 63 | 72 1289.40/1289.68 c 1185s | 24 | 3632803 | 3383062 | 1886 3924 | 63 | 72 1291.39/1291.69 c 1187s | 24 | 3639518 | 3389462 | 1886 3930 | 63 | 72 1293.39/1293.70 c 1189s | 24 | 3646320 | 3395762 | 1886 3936 | 63 | 72 1295.39/1295.70 c 1191s | 24 | 3652918 | 3401962 | 1886 3942 | 63 | 72 1297.49/1297.70 c 1193s | 24 | 3659239 | 3407762 | 1886 3948 | 63 | 72 1299.49/1299.70 c 1195s | 24 | 3665528 | 3413562 | 1886 3953 | 63 | 72 1301.50/1301.72 c 1197s | 24 | 3672267 | 3419662 | 1886 3959 | 63 | 72 1303.49/1303.73 c 1199s | 24 | 3678533 | 3425562 | 1886 3965 | 63 | 72 1305.49/1305.75 c 1201s | 24 | 3684153 | 3430862 | 1886 3970 | 63 | 72 1307.49/1307.78 c 1203s | 24 | 3689616 | 3435862 | 1886 3975 | 63 | 72 1309.59/1309.80 c 1205s | 24 | 3695222 | 3441062 | 1886 3980 | 63 | 72 1311.59/1311.82 c 1207s | 24 | 3700633 | 3446162 | 1886 3985 | 63 | 72 1313.60/1313.85 c 1209s | 24 | 3706223 | 3451362 | 1886 3990 | 63 | 72 1315.59/1315.89 c 1211s | 24 | 3712463 | 3457162 | 1886 3995 | 63 | 72 1317.69/1317.92 c 1213s | 24 | 3718230 | 3462362 | 1886 4000 | 63 | 72 1319.69/1319.95 c 1215s | 24 | 3723978 | 3467762 | 1886 4005 | 63 | 72 1321.69/1321.96 c 1217s | 24 | 3729696 | 3473162 | 1886 4011 | 63 | 72 1323.69/1323.99 c 1219s | 24 | 3735264 | 3478462 | 1886 4016 | 63 | 72 1325.79/1326.00 c 1221s | 24 | 3741034 | 3483862 | 1886 4021 | 63 | 72 1327.79/1328.02 c 1223s | 24 | 3747197 | 3489562 | 1886 4026 | 63 | 72 1329.79/1330.03 c 1225s | 24 | 3753039 | 3495062 | 1886 4032 | 63 | 72 1331.79/1332.04 c 1227s | 24 | 3758688 | 3500362 | 1886 4037 | 63 | 72 1333.79/1334.09 c 1229s | 24 | 3764019 | 3505362 | 1886 4042 | 63 | 72 1335.88/1336.10 c 1231s | 24 | 3769359 | 3510362 | 1886 4046 | 63 | 72 1337.88/1338.14 c 1233s | 24 | 3775391 | 3516062 | 1886 4052 | 63 | 72 1339.89/1340.16 c 1235s | 24 | 3781141 | 3521462 | 1886 4057 | 63 | 72 1341.88/1342.18 c 1237s | 24 | 3786519 | 3526462 | 1886 4062 | 63 | 72 1343.88/1344.19 c 1239s | 24 | 3792108 | 3531862 | 1886 4067 | 63 | 72 1345.98/1346.20 c 1241s | 24 | 3797569 | 3536962 | 1886 4072 | 63 | 72 1347.98/1348.24 c 1243s | 24 | 3802984 | 3542062 | 1886 4077 | 63 | 72 1349.98/1350.26 c 1245s | 24 | 3808578 | 3547262 | 1886 4082 | 63 | 72 1351.99/1352.30 c 1247s | 24 | 3813847 | 3552262 | 1886 4087 | 63 | 72 1354.08/1354.34 c 1250s | 24 | 3819206 | 3557162 | 1886 4092 | 63 | 72 1356.08/1356.36 c 1252s | 24 | 3824183 | 3561762 | 1886 4096 | 63 | 72 1358.18/1358.40 c 1254s | 24 | 3829373 | 3566562 | 1886 4101 | 63 | 72 1360.18/1360.40 c 1256s | 24 | 3834515 | 3571362 | 1886 4105 | 63 | 72 1362.18/1362.43 c 1258s | 24 | 3839418 | 3575862 | 1886 4110 | 63 | 72 1364.18/1364.46 c 1260s | 24 | 3844815 | 3580862 | 1886 4114 | 63 | 72 1366.18/1366.48 c 1262s | 24 | 3849986 | 3585762 | 1886 4119 | 63 | 72 1368.18/1368.48 c 1264s | 24 | 3855541 | 3590962 | 1886 4124 | 63 | 72 1370.18/1370.49 c 1266s | 24 | 3860956 | 3596062 | 1886 4129 | 63 | 72 1372.28/1372.52 c 1268s | 24 | 3866671 | 3601362 | 1886 4134 | 63 | 72 1374.28/1374.53 c 1270s | 24 | 3872384 | 3606762 | 1886 4139 | 63 | 72 1376.29/1376.56 c 1272s | 24 | 3877968 | 3612062 | 1886 4144 | 63 | 72 1378.28/1378.56 c 1274s | 24 | 3883445 | 3617162 | 1886 4149 | 63 | 72 1380.28/1380.57 c 1276s | 24 | 3889416 | 3622762 | 1886 4155 | 63 | 72 1382.28/1382.59 c 1278s | 24 | 3895866 | 3628862 | 1886 4161 | 63 | 72 1384.38/1384.61 c 1280s | 24 | 3901474 | 3634162 | 1886 4166 | 63 | 72 1386.38/1386.64 c 1282s | 24 | 3907052 | 3639362 | 1886 4171 | 63 | 72 1388.39/1388.67 c 1284s | 24 | 3912899 | 3644962 | 1886 4176 | 63 | 72 1390.49/1390.71 c 1286s | 24 | 3918655 | 3650462 | 1886 4181 | 63 | 72 1392.48/1392.73 c 1288s | 24 | 3924597 | 3656062 | 1886 4187 | 63 | 72 1394.48/1394.76 c 1290s | 24 | 3930586 | 3661562 | 1886 4192 | 63 | 72 1396.48/1396.77 c 1292s | 24 | 3936380 | 3666962 | 1886 4197 | 63 | 72 1398.48/1398.79 c 1294s | 24 | 3942180 | 3672462 | 1886 4203 | 63 | 72 1400.58/1400.81 c 1296s | 24 | 3947457 | 3677462 | 1886 4207 | 63 | 72 1402.59/1402.85 c 1298s | 24 | 3953056 | 3682762 | 1886 4213 | 63 | 72 1404.58/1404.85 c 1300s | 24 | 3958557 | 3687762 | 1886 4217 | 63 | 72 1406.58/1406.85 c 1302s | 24 | 3963460 | 3692262 | 1886 4222 | 63 | 72 1408.58/1408.89 c 1304s | 24 | 3968714 | 3696962 | 1886 4226 | 63 | 72 1410.68/1410.91 c 1306s | 24 | 3974177 | 3701862 | 1886 4231 | 63 | 72 1412.68/1412.94 c 1308s | 24 | 3979474 | 3706962 | 1886 4236 | 63 | 72 1414.68/1414.96 c 1310s | 24 | 3984640 | 3711962 | 1886 4241 | 63 | 72 1416.68/1416.97 c 1312s | 24 | 3990208 | 3717162 | 1886 4246 | 63 | 72 1418.78/1419.00 c 1314s | 24 | 3995628 | 3722362 | 1886 4251 | 63 | 72 1420.77/1421.00 c 1316s | 24 | 4000959 | 3727362 | 1886 4255 | 63 | 72 1422.77/1423.02 c 1318s | 24 | 4006367 | 3732462 | 1886 4260 | 63 | 72 1424.77/1425.04 c 1320s | 24 | 4012023 | 3737662 | 1886 4265 | 63 | 72 1426.78/1427.06 c 1322s | 24 | 4018180 | 3743262 | 1886 4271 | 63 | 72 1428.77/1429.07 c 1324s | 24 | 4024255 | 3748862 | 1886 4276 | 63 | 72 1430.77/1431.09 c 1326s | 24 | 4030121 | 3754362 | 1886 4281 | 63 | 72 1432.87/1433.11 c 1328s | 24 | 4036135 | 3759862 | 1886 4287 | 63 | 72 1434.87/1435.11 c 1330s | 24 | 4041569 | 3764862 | 1886 4292 | 63 | 72 1436.87/1437.12 c 1332s | 24 | 4046857 | 3769962 | 1886 4296 | 63 | 72 1438.88/1439.15 c 1334s | 24 | 4052086 | 3774962 | 1886 4301 | 63 | 72 1440.87/1441.16 c 1336s | 24 | 4057811 | 3780362 | 1886 4306 | 63 | 72 1442.87/1443.18 c 1338s | 24 | 4063416 | 3785662 | 1886 4312 | 63 | 72 1444.97/1445.22 c 1340s | 24 | 4069351 | 3791262 | 1886 4317 | 63 | 72 1446.97/1447.22 c 1342s | 24 | 4075162 | 3796562 | 1886 4322 | 63 | 72 1448.97/1449.25 c 1344s | 24 | 4080553 | 3801562 | 1886 4327 | 63 | 72 1450.97/1451.27 c 1346s | 24 | 4086002 | 3806662 | 1886 4332 | 63 | 72 1452.97/1453.30 c 1348s | 24 | 4091398 | 3811762 | 1886 4337 | 63 | 72 1455.07/1455.31 c 1350s | 24 | 4096540 | 3816662 | 1886 4342 | 63 | 72 1457.06/1457.32 c 1352s | 24 | 4102094 | 3821862 | 1886 4347 | 63 | 72 1459.06/1459.33 c 1354s | 24 | 4107435 | 3826862 | 1886 4351 | 63 | 72 1461.06/1461.33 c 1356s | 24 | 4112817 | 3831862 | 1886 4356 | 63 | 72 1463.07/1463.33 c 1358s | 24 | 4117973 | 3836762 | 1886 4361 | 63 | 72 1465.06/1465.35 c 1361s | 24 | 4123225 | 3841762 | 1886 4366 | 63 | 72 1467.06/1467.36 c 1363s | 24 | 4128571 | 3846762 | 1886 4371 | 63 | 72 1469.06/1469.38 c 1365s | 24 | 4134709 | 3852462 | 1886 4376 | 63 | 72 1471.16/1471.41 c 1367s | 24 | 4140539 | 3857962 | 1886 4381 | 63 | 72 1473.16/1473.43 c 1369s | 24 | 4146251 | 3863362 | 1886 4387 | 63 | 72 1475.17/1475.44 c 1371s | 24 | 4151792 | 3868462 | 1886 4391 | 63 | 72 1477.16/1477.48 c 1373s | 24 | 4157330 | 3873562 | 1886 4396 | 63 | 72 1479.26/1479.52 c 1375s | 24 | 4162952 | 3878862 | 1886 4402 | 63 | 72 1481.26/1481.55 c 1377s | 24 | 4168176 | 3883762 | 1886 4406 | 63 | 72 1483.26/1483.58 c 1379s | 24 | 4173506 | 3888662 | 1886 4411 | 63 | 72 1485.26/1485.59 c 1381s | 24 | 4178875 | 3893662 | 1886 4416 | 63 | 72 1487.26/1487.60 c 1383s | 24 | 4184920 | 3899262 | 1886 4421 | 63 | 72 1489.36/1489.64 c 1385s | 24 | 4190264 | 3904262 | 1886 4426 | 63 | 72 1491.37/1491.66 c 1387s | 24 | 4196014 | 3909662 | 1886 4431 | 63 | 72 1493.37/1493.68 c 1389s | 24 | 4202492 | 3915762 | 1886 4437 | 63 | 72 1495.46/1495.71 c 1391s | 24 | 4208643 | 3921462 | 1886 4443 | 63 | 72 1497.46/1497.72 c 1393s | 24 | 4214903 | 3927262 | 1886 4448 | 63 | 72 1499.47/1499.73 c 1395s | 24 | 4221124 | 3933062 | 1886 4454 | 63 | 72 1501.46/1501.76 c 1397s | 24 | 4227504 | 3938762 | 1886 4459 | 63 | 72 1503.46/1503.77 c 1399s | 24 | 4233461 | 3944162 | 1886 4464 | 63 | 72 1505.46/1505.77 c 1401s | 24 | 4239234 | 3949462 | 1886 4470 | 63 | 72 1507.46/1507.78 c 1403s | 24 | 4245201 | 3954962 | 1886 4475 | 63 | 72 1509.56/1509.80 c 1405s | 24 | 4251254 | 3960462 | 1886 4480 | 63 | 72 1511.57/1511.84 c 1407s | 24 | 4257093 | 3965762 | 1886 4485 | 63 | 72 1513.56/1513.87 c 1409s | 24 | 4263767 | 3971762 | 1886 4491 | 63 | 72 1515.56/1515.88 c 1411s | 24 | 4269481 | 3977162 | 1886 4496 | 63 | 72 1517.66/1517.91 c 1413s | 24 | 4275211 | 3982562 | 1886 4501 | 63 | 72 1519.66/1519.95 c 1415s | 24 | 4280502 | 3987562 | 1886 4506 | 63 | 72 1521.66/1521.97 c 1417s | 24 | 4285697 | 3992462 | 1886 4511 | 63 | 72 1523.67/1523.99 c 1419s | 24 | 4291107 | 3997562 | 1886 4516 | 63 | 72 1525.66/1525.99 c 1421s | 24 | 4296762 | 4002762 | 1886 4521 | 63 | 72 1527.76/1528.02 c 1423s | 24 | 4302771 | 4008362 | 1886 4526 | 63 | 72 1529.76/1530.06 c 1425s | 24 | 4308695 | 4013962 | 1886 4532 | 63 | 72 1531.76/1532.08 c 1427s | 24 | 4314223 | 4019162 | 1886 4537 | 63 | 72 1533.86/1534.10 c 1429s | 24 | 4319844 | 4024562 | 1886 4542 | 63 | 72 1535.86/1536.10 c 1431s | 24 | 4325537 | 4029862 | 1886 4547 | 63 | 72 1537.86/1538.10 c 1433s | 24 | 4331168 | 4035062 | 1886 4552 | 63 | 72 1539.86/1540.13 c 1435s | 24 | 4336722 | 4040162 | 1886 4557 | 63 | 72 1541.86/1542.14 c 1437s | 24 | 4341904 | 4045062 | 1886 4562 | 63 | 72 1543.86/1544.16 c 1439s | 24 | 4346817 | 4049562 | 1886 4566 | 63 | 72 1545.86/1546.16 c 1441s | 24 | 4353441 | 4055562 | 1886 4572 | 63 | 72 1547.86/1548.18 c 1443s | 24 | 4360790 | 4062262 | 1886 4578 | 63 | 72 1549.85/1550.19 c 1445s | 24 | 4367600 | 4068462 | 1886 4584 | 63 | 72 1551.95/1552.22 c 1447s | 24 | 4374612 | 4074762 | 1886 4590 | 63 | 72 1553.95/1554.22 c 1449s | 24 | 4381755 | 4081362 | 1886 4596 | 63 | 72 1555.95/1556.23 c 1451s | 24 | 4388552 | 4087562 | 1886 4602 | 63 | 72 1557.95/1558.23 c 1453s | 24 | 4395375 | 4093762 | 1886 4608 | 63 | 72 1559.96/1560.26 c 1455s | 24 | 4402145 | 4099862 | 1886 4614 | 63 | 72 1561.95/1562.28 c 1457s | 24 | 4408416 | 4105562 | 1886 4620 | 63 | 72 1564.05/1564.30 c 1459s | 24 | 4414750 | 4111462 | 1886 4625 | 63 | 72 1566.05/1566.33 c 1461s | 24 | 4421079 | 4117262 | 1886 4631 | 63 | 72 1568.05/1568.33 c 1463s | 24 | 4427027 | 4122662 | 1886 4636 | 63 | 72 1570.05/1570.33 c 1465s | 24 | 4433638 | 4128562 | 1886 4642 | 63 | 72 1572.06/1572.36 c 1468s | 24 | 4440355 | 4134762 | 1886 4648 | 63 | 72 1574.05/1574.37 c 1470s | 24 | 4447167 | 4140862 | 1886 4654 | 63 | 72 1576.05/1576.39 c 1472s | 24 | 4454048 | 4147062 | 1886 4660 | 63 | 72 1578.15/1578.42 c 1474s | 24 | 4461279 | 4153462 | 1886 4666 | 63 | 72 1580.15/1580.43 c 1476s | 24 | 4468209 | 4159762 | 1886 4672 | 63 | 72 1582.15/1582.44 c 1478s | 24 | 4475281 | 4166262 | 1886 4678 | 63 | 72 1584.15/1584.47 c 1480s | 24 | 4481712 | 4172262 | 1886 4684 | 63 | 72 1586.14/1586.47 c 1482s | 24 | 4487952 | 4178162 | 1886 4690 | 63 | 72 1588.14/1588.47 c 1484s | 24 | 4493672 | 4183562 | 1886 4695 | 63 | 72 1590.14/1590.48 c 1486s | 24 | 4499688 | 4189262 | 1886 4700 | 63 | 72 1592.14/1592.49 c 1488s | 24 | 4505651 | 4194762 | 1886 4706 | 63 | 72 1594.14/1594.50 c 1490s | 24 | 4511526 | 4200162 | 1886 4711 | 63 | 72 1596.25/1596.51 c 1492s | 24 | 4517585 | 4205762 | 1886 4716 | 63 | 72 1598.24/1598.54 c 1494s | 24 | 4523623 | 4211262 | 1886 4722 | 63 | 72 1600.24/1600.57 c 1496s | 24 | 4529778 | 4216962 | 1886 4727 | 63 | 72 1602.34/1602.61 c 1498s | 24 | 4535581 | 4222462 | 1886 4732 | 63 | 72 1604.35/1604.63 c 1500s | 24 | 4541234 | 4227762 | 1886 4737 | 63 | 72 1606.35/1606.65 c 1502s | 24 | 4546961 | 4233062 | 1886 4743 | 63 | 72 1608.35/1608.68 c 1504s | 24 | 4553180 | 4238562 | 1886 4748 | 63 | 72 1610.45/1610.71 c 1506s | 24 | 4559120 | 4244062 | 1886 4753 | 63 | 72 1612.45/1612.74 c 1508s | 24 | 4564759 | 4249362 | 1886 4758 | 63 | 72 1614.44/1614.75 c 1510s | 24 | 4571158 | 4254762 | 1886 4763 | 63 | 72 1616.44/1616.77 c 1512s | 24 | 4577548 | 4260362 | 1886 4769 | 63 | 72 1618.44/1618.78 c 1514s | 24 | 4583780 | 4266062 | 1886 4774 | 63 | 72 1620.45/1620.79 c 1516s | 24 | 4589376 | 4271362 | 1886 4779 | 63 | 72 1622.44/1622.79 c 1518s | 24 | 4595075 | 4276562 | 1886 4784 | 63 | 72 1624.54/1624.83 c 1520s | 24 | 4600559 | 4281662 | 1886 4789 | 63 | 72 1626.54/1626.86 c 1522s | 24 | 4606299 | 4286862 | 1886 4794 | 63 | 72 1628.64/1628.90 c 1524s | 24 | 4612295 | 4292262 | 1886 4800 | 63 | 72 1630.64/1630.93 c 1526s | 24 | 4618000 | 4297562 | 1886 4805 | 63 | 72 1632.64/1632.97 c 1528s | 24 | 4623495 | 4302662 | 1886 4810 | 63 | 72 1634.75/1635.01 c 1530s | 24 | 4629123 | 4307662 | 1886 4814 | 63 | 72 1636.74/1637.02 c 1532s | 24 | 4634454 | 4312462 | 1886 4819 | 63 | 72 1638.74/1639.05 c 1534s | 24 | 4640170 | 4317662 | 1886 4824 | 63 | 72 1640.74/1641.07 c 1536s | 24 | 4646388 | 4323362 | 1886 4830 | 63 | 72 1642.74/1643.09 c 1538s | 24 | 4652290 | 4328862 | 1886 4835 | 63 | 72 1644.84/1645.11 c 1540s | 24 | 4658405 | 4334562 | 1886 4840 | 63 | 72 1646.84/1647.11 c 1542s | 24 | 4664423 | 4340162 | 1886 4846 | 63 | 72 1648.84/1649.14 c 1544s | 24 | 4670467 | 4345762 | 1886 4851 | 63 | 72 1650.84/1651.16 c 1546s | 24 | 4676389 | 4351162 | 1886 4856 | 63 | 72 1652.84/1653.18 c 1548s | 24 | 4682017 | 4356462 | 1886 4862 | 63 | 72 1654.84/1655.19 c 1550s | 24 | 4687595 | 4361662 | 1886 4867 | 63 | 72 1656.94/1657.20 c 1552s | 24 | 4693210 | 4366962 | 1886 4872 | 63 | 72 1658.94/1659.20 c 1554s | 24 | 4698800 | 4372262 | 1886 4877 | 63 | 72 1660.94/1661.22 c 1556s | 24 | 4704773 | 4377862 | 1886 4882 | 63 | 72 1662.94/1663.22 c 1558s | 24 | 4710433 | 4383162 | 1886 4887 | 63 | 72 1664.93/1665.24 c 1560s | 24 | 4715938 | 4388262 | 1886 4892 | 63 | 72 1666.93/1667.25 c 1562s | 24 | 4721437 | 4393162 | 1886 4897 | 63 | 72 1668.93/1669.28 c 1564s | 24 | 4726993 | 4398262 | 1886 4902 | 63 | 72 1670.94/1671.30 c 1566s | 24 | 4732554 | 4403262 | 1886 4907 | 63 | 72 1673.03/1673.32 c 1568s | 24 | 4738460 | 4408662 | 1886 4912 | 63 | 72 1675.03/1675.33 c 1570s | 24 | 4744123 | 4413962 | 1886 4917 | 63 | 72 1677.03/1677.36 c 1573s | 24 | 4749528 | 4418962 | 1886 4922 | 63 | 72 1679.03/1679.37 c 1575s | 24 | 4754773 | 4423862 | 1886 4927 | 63 | 72 1681.03/1681.37 c 1577s | 24 | 4760216 | 4428962 | 1886 4932 | 63 | 72 1683.04/1683.38 c 1579s | 24 | 4765461 | 4433862 | 1886 4936 | 63 | 72 1685.13/1685.40 c 1581s | 24 | 4771263 | 4439162 | 1886 4941 | 63 | 72 1687.14/1687.44 c 1583s | 24 | 4776637 | 4444262 | 1886 4946 | 63 | 72 1689.14/1689.46 c 1585s | 24 | 4782177 | 4449362 | 1886 4951 | 63 | 72 1691.14/1691.46 c 1587s | 24 | 4787685 | 4454462 | 1886 4956 | 63 | 72 1693.14/1693.48 c 1589s | 24 | 4793099 | 4459562 | 1886 4961 | 63 | 72 1695.14/1695.50 c 1591s | 24 | 4798276 | 4464462 | 1886 4966 | 63 | 72 1697.23/1697.50 c 1593s | 24 | 4803809 | 4469662 | 1886 4971 | 63 | 72 1699.23/1699.54 c 1595s | 24 | 4809086 | 4474562 | 1886 4976 | 63 | 72 1701.23/1701.59 c 1597s | 24 | 4814689 | 4479762 | 1886 4981 | 63 | 72 1703.23/1703.59 c 1599s | 24 | 4820015 | 4484662 | 1886 4985 | 63 | 72 1705.33/1705.63 c 1601s | 24 | 4825494 | 4489662 | 1886 4990 | 63 | 72 1707.34/1707.66 c 1603s | 24 | 4831252 | 4495062 | 1886 4995 | 63 | 72 1709.33/1709.68 c 1605s | 24 | 4837065 | 4500362 | 1886 5000 | 63 | 72 1711.33/1711.69 c 1607s | 24 | 4842704 | 4505562 | 1886 5005 | 63 | 72 1713.43/1713.72 c 1609s | 24 | 4848397 | 4510662 | 1886 5010 | 63 | 72 1715.43/1715.72 c 1611s | 24 | 4854054 | 4515662 | 1886 5015 | 63 | 72 1717.43/1717.76 c 1613s | 24 | 4859864 | 4520662 | 1886 5020 | 63 | 72 1719.44/1719.78 c 1615s | 24 | 4865261 | 4525562 | 1886 5025 | 63 | 72 1721.54/1721.82 c 1617s | 24 | 4870619 | 4530562 | 1886 5030 | 63 | 72 1723.53/1723.84 c 1619s | 24 | 4875906 | 4535362 | 1886 5034 | 63 | 72 1725.53/1725.88 c 1621s | 24 | 4881347 | 4540162 | 1886 5039 | 63 | 72 1727.53/1727.89 c 1623s | 24 | 4886510 | 4544862 | 1886 5043 | 63 | 72 1729.63/1729.92 c 1625s | 24 | 4892261 | 4550062 | 1886 5048 | 63 | 72 1731.62/1731.94 c 1627s | 24 | 4898764 | 4556162 | 1886 5054 | 63 | 72 1733.63/1733.95 c 1629s | 24 | 4905062 | 4561862 | 1886 5060 | 63 | 72 1735.62/1735.96 c 1631s | 24 | 4911523 | 4567762 | 1886 5065 | 63 | 72 1737.62/1737.99 c 1633s | 24 | 4917787 | 4573362 | 1886 5071 | 63 | 72 1739.72/1740.00 c 1635s | 24 | 4923644 | 4578762 | 1886 5076 | 63 | 72 1741.72/1742.02 c 1637s | 24 | 4930216 | 4584662 | 1886 5082 | 63 | 72 1743.72/1744.04 c 1639s | 24 | 4936328 | 4590362 | 1886 5087 | 63 | 72 1745.72/1746.04 c 1641s | 24 | 4942541 | 4595962 | 1886 5093 | 63 | 72 1747.72/1748.07 c 1643s | 24 | 4948594 | 4601562 | 1886 5098 | 63 | 72 1749.71/1750.09 c 1645s | 24 | 4954725 | 4607262 | 1886 5103 | 63 | 72 1751.81/1752.11 c 1647s | 24 | 4960551 | 4612762 | 1886 5109 | 63 | 72 1753.81/1754.13 c 1649s | 24 | 4966406 | 4618262 | 1886 5114 | 63 | 72 1755.81/1756.17 c 1651s | 24 | 4972535 | 4623762 | 1886 5119 | 63 | 72 1757.82/1758.19 c 1653s | 24 | 4978494 | 4629362 | 1886 5125 | 63 | 72 1759.91/1760.20 c 1655s | 24 | 4984346 | 4634862 | 1886 5130 | 63 | 72 1761.91/1762.21 c 1657s | 24 | 4990008 | 4640262 | 1886 5135 | 63 | 72 1763.91/1764.24 c 1659s | 24 | 4995524 | 4645462 | 1886 5140 | 63 | 72 1765.91/1766.26 c 1661s | 24 | 5001049 | 4650762 | 1886 5146 | 63 | 72 1767.91/1768.27 c 1663s | 24 | 5006346 | 4655862 | 1886 5150 | 63 | 72 1769.91/1770.28 c 1665s | 24 | 5011723 | 4660862 | 2075 5155 | 63 | 72 1772.00/1772.30 c 1667s | 24 | 5016924 | 4665862 | 2075 5159 | 63 | 72 1774.00/1774.32 c 1669s | 24 | 5021799 | 4670462 | 2075 5163 | 63 | 72 1776.00/1776.35 c 1672s | 24 | 5026791 | 4675162 | 2075 5168 | 63 | 72 1778.00/1778.36 c 1674s | 24 | 5031875 | 4679862 | 2075 5172 | 63 | 72 1780.00/1780.39 c 1676s | 24 | 5036987 | 4684562 | 2075 5176 | 63 | 72 1782.00/1782.40 c 1678s | 24 | 5042484 | 4689662 | 2075 5180 | 63 | 72 1784.10/1784.41 c 1680s | 24 | 5047727 | 4694562 | 2075 5185 | 63 | 72 1786.10/1786.42 c 1682s | 24 | 5053052 | 4699462 | 2075 5189 | 63 | 72 1788.10/1788.44 c 1684s | 24 | 5058341 | 4704462 | 2075 5194 | 63 | 72 1790.09/1790.47 c 1686s | 24 | 5064610 | 4710362 | 2075 5199 | 63 | 72 1792.09/1792.47 c 1688s | 24 | 5070740 | 4716162 | 2075 5204 | 63 | 72 1794.10/1794.50 c 1690s | 24 | 5076788 | 4721862 | 2075 5209 | 63 | 72 1796.19/1796.53 c 1692s | 24 | 5082440 | 4727262 | 2075 5214 | 63 | 72 1798.19/1798.56 c 1694s | 24 | 5087949 | 4732462 | 2075 5218 | 63 | 72
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-4119244-1467250270/watcher-4119244-1467250270 -o /tmp/evaluation-result-4119244-1467250270/solver-4119244-1467250270 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467250270-8262 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119244-1467250270.opb pid=8291 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.19 2.26 2.20 5/178 8294 /proc/meminfo: memFree=29735712/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 2689 0 0 0 0 0 0 0 20 0 4 0 5983898 738652160 2538 33554432000 4194304 16246674 140737481850960 140737481850384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 180847 2547 441 2943 0 177741 0 [pid=8294/tid=8296] ppid=8291 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 756477952 2608 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=742844 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 760672256 2626 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=747964 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5983898 765915136 2644 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.19 2.26 2.20 5/178 8294 /proc/meminfo: memFree=29735712/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 22990 0 0 0 6 3 0 0 20 0 4 0 5983898 1247350784 22826 33554432000 4194304 16246674 140737481850960 140737481850384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 304529 22835 793 2943 0 301423 0 [pid=8294/tid=8296] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 22839 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 22846 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 22855 33554432000 4194304 16246674 140737481850960 139909049339056 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.200501 s] /proc/loadavg: 2.19 2.26 2.20 5/178 8294 /proc/meminfo: memFree=29735712/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 45883 0 0 0 13 5 0 0 20 0 4 0 5983898 1247350784 45720 33554432000 4194304 16246674 140737481850960 140737481850384 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 304529 45727 793 2943 0 301423 0 [pid=8294/tid=8296] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 45732 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 45738 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 45749 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300475 s] /proc/loadavg: 2.19 2.26 2.20 5/178 8294 /proc/meminfo: memFree=29735712/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 70648 0 0 0 20 8 0 0 20 0 4 0 5983898 1247350784 70484 33554432000 4194304 16246674 140737481850960 140737481850384 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 304529 70493 793 2943 0 301423 0 [pid=8294/tid=8296] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 70498 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 70503 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 70507 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700392 s] /proc/loadavg: 2.19 2.26 2.20 5/178 8294 /proc/meminfo: memFree=29735712/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 179357 0 0 0 45 24 0 0 20 0 4 0 5983898 1247350784 179194 33554432000 4194304 16246674 140737481850960 140737481850384 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 304529 179203 793 2943 0 301423 0 [pid=8294/tid=8296] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 179208 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 179217 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5983898 1247350784 179229 33554432000 4194304 16246674 140737481850960 139909049339056 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.50039 s] /proc/loadavg: 2.19 2.26 2.20 4/183 8299 /proc/meminfo: memFree=28605592/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 245817 0 0 0 117 32 0 0 20 0 4 0 5983898 1248399360 245631 33554432000 4194304 16246674 140737481850960 140737481833728 6835974 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 304785 245631 852 2943 0 301679 0 [pid=8294/tid=8296] ppid=8291 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1248399360 245631 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1248399360 245631 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1248399360 245631 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.19 2.26 2.20 3/183 8299 /proc/meminfo: memFree=28517876/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267560 0 0 0 274 35 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 140737481832832 5545721 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326545 267374 852 2943 0 323439 0 [pid=8294/tid=8296] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909049339056 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.3004 s] /proc/loadavg: 2.17 2.26 2.19 4/183 8299 /proc/meminfo: memFree=28373024/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267560 0 0 0 594 35 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 140737481832832 5601477 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326545 267374 852 2943 0 323439 0 [pid=8294/tid=8296] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267374 33554432000 4194304 16246674 140737481850960 139909049339056 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.7003 s] /proc/loadavg: 2.24 2.27 2.20 3/183 8299 /proc/meminfo: memFree=27601796/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267632 0 0 0 1234 35 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 140737481833960 5513439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326545 267446 854 2943 0 323439 0 [pid=8294/tid=8296] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909049339056 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.5003 s] /proc/loadavg: 2.27 2.27 2.20 4/183 8299 /proc/meminfo: memFree=27597376/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1306180 CPUtime=25.48 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267632 0 0 0 2513 35 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 140737481832832 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326545 267446 854 2943 0 323439 0 [pid=8294/tid=8296] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1337528320 267446 33554432000 4194304 16246674 140737481850960 139909049339056 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.1004 s] /proc/loadavg: 2.25 2.26 2.20 3/183 8300 /proc/meminfo: memFree=27597012/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1307204 CPUtime=51.08 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267727 0 0 0 5073 35 0 0 20 0 4 0 5983898 1338576896 267541 33554432000 4194304 16246674 140737481850960 140737481832832 5722834 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326801 267541 854 2943 0 323695 0 [pid=8294/tid=8296] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267541 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267541 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267541 33554432000 4194304 16246674 140737481850960 139909049339056 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.27 2.27 2.20 3/183 8301 /proc/meminfo: memFree=27592560/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1307204 CPUtime=102.28 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 267901 0 0 0 10192 36 0 0 20 0 4 0 5983898 1338576896 267715 33554432000 4194304 16246674 140737481850960 140737481833960 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 326801 267715 854 2943 0 323695 0 [pid=8294/tid=8296] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267715 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267715 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1338576896 267715 33554432000 4194304 16246674 140737481850960 139909049339056 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) 1307204 ################ # More data... # ################ /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1310276 [startup+1362.3 s] /proc/loadavg: 2.34 2.29 2.23 3/183 8333 /proc/meminfo: memFree=27547584/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1362.08 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 136161 47 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 5823131 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1310276 [startup+1422.3 s] /proc/loadavg: 2.29 2.28 2.23 4/183 8334 /proc/meminfo: memFree=27533704/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1422.07 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 142159 48 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 12875549 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1310276 [startup+1482.3 s] /proc/loadavg: 2.28 2.27 2.23 3/183 8335 /proc/meminfo: memFree=27533348/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1482.06 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 148158 48 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 5717612 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1310276 [startup+1542.3 s] /proc/loadavg: 2.25 2.27 2.23 3/183 8336 /proc/meminfo: memFree=27533652/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1542.06 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 154157 49 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1310276 [startup+1602.3 s] /proc/loadavg: 2.13 2.23 2.21 4/183 8338 /proc/meminfo: memFree=27533504/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1602.04 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 160155 49 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 5546321 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1310276 [startup+1662.3 s] /proc/loadavg: 2.22 2.23 2.21 3/183 8339 /proc/meminfo: memFree=27533168/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1662.04 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 166154 50 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481850136 6076992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.04 Current children cumulated vsize (KiB) 1310276 [startup+1722.3 s] /proc/loadavg: 2.25 2.23 2.21 3/183 8340 /proc/meminfo: memFree=27533980/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1722.03 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268672 0 0 0 172152 51 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 140737481832832 5721352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268486 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268486 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1310276 [startup+1782.3 s] /proc/loadavg: 2.26 2.24 2.21 4/184 8344 /proc/meminfo: memFree=27532296/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1782 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268710 0 0 0 178149 51 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 140737481832832 13927423 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268742 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 1310276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.33 2.25 2.21 3/184 8367 /proc/meminfo: memFree=27530776/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1800.09 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268723 0 0 0 179958 51 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 140737481832832 5707625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268742 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1310276 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 8294 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.33 2.25 2.21 3/184 8367 /proc/meminfo: memFree=27530776/32872528 swapFree=1497828/1644996 [pid=8294] ppid=8291 vsize=1310276 CPUtime=1800.09 cores=0,2,4,6 /proc/8294/stat : 8294 (toysat) R 8291 8294 7734 0 -1 4202496 268723 0 0 0 179958 51 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 140737481832832 5707625 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8294/statm: 327569 268742 856 2943 0 324463 0 [pid=8294/tid=8296] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8296/stat : 8296 (toysat) S 8291 8294 7734 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909070302448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8294/tid=8297] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8297/stat : 8297 (toysat) S 8291 8294 7734 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909059812592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=8294/tid=8298] ppid=8291 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/8294/task/8298/stat : 8298 (toysat) S 8291 8294 7734 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5983898 1341722624 268742 33554432000 4194304 16246674 140737481850960 139909049339056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1310276 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.46 CPU time (s): 1800.16 CPU user time (s): 1799.59 CPU system time (s): 0.569913 CPU usage (%): 99.9831 Max. virtual memory (cumulated for all children) (KiB): 1310276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.569913 maximum resident set size= 1074968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268723 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= 70 involuntary context switches= 1864 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.561 second user time and 9.15561 second system time The end
Begin job on node124 at 2016-06-30 03:31:11 IDJOB=4119244 IDBENCH=111682 IDSOLVER=2542 FILE ID=node124/4119244-1467250270 RUNJOBID= node124-1467250270-8262 PBS_JOBID= 20004467 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0234-0234.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119244-1467250270/watcher-4119244-1467250270 -o /tmp/evaluation-result-4119244-1467250270/solver-4119244-1467250270 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467250270-8262 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119244-1467250270.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bd78b3a0ee7b4ded4e739ef42318649f RANDOM SEED=67644317 node124.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 : 2667.062 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 : 5334.12 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 : 2667.062 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.55 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 : 2667.062 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.55 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 : 2667.062 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 : 2667.062 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 : 2667.062 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.55 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 : 2667.062 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.56 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 : 2667.062 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: 29747140 kB Buffers: 107372 kB Cached: 614692 kB SwapCached: 0 kB Active: 150900 kB Inactive: 586548 kB Active(anon): 6124 kB Inactive(anon): 11988 kB Active(file): 144776 kB Inactive(file): 574560 kB Unevictable: 1644996 kB Mlocked: 1497828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 32676 kB Writeback: 0 kB AnonPages: 1660624 kB Mapped: 13748 kB Shmem: 204 kB Slab: 608356 kB SReclaimable: 52184 kB SUnreclaim: 556172 kB KernelStack: 1392 kB PageTables: 7796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1747716 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 151552 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= 71692 MiB End job on node124 at 2016-06-30 04:01:11