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.09 | 1800.72 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb |
| MD5SUM | b02c0aa46abe377e9678cb0b7b4280ae |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 82 |
| Best CPU time to get the best result obtained on this benchmark | 1800.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 72 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 31592 |
| Sum of products size | 63184 |
0.00/0.00 c 2016-06-18T20:26:33+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-4106601-1466274393.opb"] 0.00/0.01 c use --random-gen="102718892 2816285968 3474803410 3999738524 2833471648 2767048084 4058446894 753630933 4039678387 1707480085 3258114470 3531252744 3924093797 644553714 1657790638 657266563 2065511726 1211529752 2332604262 479116639 3619122889 3783884564 4237062103 655637011 2902777241 761545761 369979663 357079767 3575999747 3517436976 2076422323 1832192502 2779314678 253876110 3262587685 2284091009 1327920547 3261119864 2203782877 2327628527 213474391 1526102557 3946480900 2962671451 951517204 3670196490 575560016 2781702850 3153384950 2937864335 2518473501 1854441531 908388824 4286809097 2112645178 3136342059 1129014788 1019686320 3071770136 1052528546 4164175156 597625441 3553662514 788601304 3366569667 1991445585 2389104260 4280409342 1589927202 4267443687 3223382439 1730318175 3279600572 1644536549 631068993 3419888810 4070827366 16574556 2493235305 2464442815 3876656268 907156232 803865662 3211703924 572361363 1784570604 3456569237 2855405569 2422413619 642269598 279632812 2208139215 1755473360 3990074148 7523313 3897127526 745324492 1503039587 3636450487 3886460680 3797363663 2249336063 2869722103 2816417027 1265729731 2313191450 442405401 2101924210 3689846783 2579680260 2235943132 328607889 3509509059 1541719304 295920760 1350423280 3383669248 3440898293 3297008733 9243227 2211045445 3918417820 1509495445 3601991976 2743295743 2045204294 1986744002 3114917953 2700502421 3607321730 3483955118 4216243409 3950328902 2102408549 659764655 1755567091 4120573185 1246942360 51402007 3667983706 2873111217 3881370135 1048398213 2506597522 4094158225 94276222 609132412 2786771537 3977075561 258097814 789816609 1099461006 2655252481 2634968313 3405359782 3093799682 1637636755 3249329469 2843345599 458390306 265797943 553190307 407831916 99672521 2388198887 1617432820 1532071532 88893015 2512204098 3965069488 488069753 1521292350 2531635352 257912188 2794339673 444095352 2164771438 4100871746 3537202038 3359341103 1107884715 1805794026 775463121 1549270993 2621328755 3631376672 2231623458 2244972540 3228454789 332193905 1403853999 3995813422 2341605213 1185694836 2855979052 1919985864 999789284 915239525 4086338587 2240956385 2922644221 4021151867 1920493689 2116474472 3665849429 3125689396 2150603293 4072945789 376045142 3802741340 4147122731 3191716354 3432477205 810909625 4237088930 1274075482 1639599096 2518479021 232867751 4080674051 454633088 4260724032 4157598399 2358971787 4064273415 2329201021 4126074802 3932134416 3489794378 279247302 3790429360 3223253908 4151991114 2476068647 1610888296 3245210386 3048824124 830216573 3752539325 3507442312 3607624615 4155096076 2249941101 444901743 2320738855 486608539 3298886025 4182302971 248685253 3092168328 3654328511 585227182 295915826 1166837741 3927346969 3614360353 255 362436" option to reproduce the execution 0.08/0.12 c #vars 1000 0.08/0.12 c #constraints 1000 0.69/0.74 c BCD2: Hardening is enabled. 0.69/0.74 c BCD2: BiasedSearch is enabled. 0.69/0.74 c Solving starts ... 0.69/0.74 c ============================[ Search Statistics ]============================ 0.69/0.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.74 c | | | | Limit GC | Var | Constra 0.69/0.74 c ============================================================================= 0.69/0.79 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 0.79/0.87 c 0.1s | 0 | 3082 | 0 | 32258 0 | 0 | 0 0.79/0.87 c #cpu_time = 0.060s 0.79/0.87 c #wall_clock_time = 0.060s 0.79/0.87 c #decision = 3082 0.79/0.87 c #random_decision = 1 0.79/0.87 c #conflict = 0 0.79/0.87 c #restart = 0 0.79/0.87 o 884 0.79/0.87 c BCD2: updating upper bound: 1000 -> 883 0.79/0.87 c BCD2: 0 <= obj <= 883 0.79/0.87 c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0 0.79/0.87 c BCD2: #sat=1 #unsat=1 bias=1/2 0.79/0.87 c Solving starts ... 0.79/0.87 c ============================[ Search Statistics ]============================ 0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.87 c | | | | Limit GC | Var | Constra 0.79/0.87 c ============================================================================= 0.79/0.87 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 0.89/0.96 c 0.1s | 0 | 856 | 0 | 32258 0 | 0 | 0 0.89/0.96 c #cpu_time = 0.074s 0.89/0.96 c #wall_clock_time = 0.074s 0.89/0.96 c #decision = 856 0.89/0.96 c #random_decision = 0 0.89/0.96 c #conflict = 0 0.89/0.96 c #restart = 0 0.89/0.96 c BCD2: found a new core of size 26: cost of the new core is >=1 0.89/0.96 c lower bound updated to 1 0.89/0.96 c BCD2: 1 <= obj <= 883 0.89/0.96 c BCD2: #cores=1, #unrelaxed=974, #relaxed=26, #hardened=0 0.89/0.96 c BCD2: #sat=1 #unsat=2 bias=2/3 0.89/0.96 c Solving starts ... 0.89/0.96 c ============================[ Search Statistics ]============================ 0.89/0.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.96 c | | | | Limit GC | Var | Constra 0.89/0.96 c ============================================================================= 0.98/1.03 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 0.98/1.10 c 0.1s | 0 | 834 | 0 | 32258 0 | 0 | 0 0.98/1.10 c #cpu_time = 0.059s 0.98/1.10 c #wall_clock_time = 0.059s 0.98/1.10 c #decision = 834 0.98/1.10 c #random_decision = 0 0.98/1.10 c #conflict = 0 0.98/1.10 c #restart = 0 0.98/1.10 c BCD2: found a new core of size 32: cost of the new core is >=1 0.98/1.10 c lower bound updated to 2 0.98/1.10 c BCD2: 2 <= obj <= 883 0.98/1.10 c BCD2: #cores=2, #unrelaxed=942, #relaxed=58, #hardened=0 0.98/1.10 c BCD2: #sat=1 #unsat=3 bias=3/4 0.98/1.10 c Solving starts ... 0.98/1.10 c ============================[ Search Statistics ]============================ 0.98/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.10 c | | | | Limit GC | Var | Constra 0.98/1.10 c ============================================================================= 0.98/1.10 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.10/1.17 c 0.1s | 0 | 817 | 0 | 32258 0 | 0 | 0 1.10/1.17 c #cpu_time = 0.058s 1.10/1.17 c #wall_clock_time = 0.058s 1.10/1.17 c #decision = 817 1.10/1.17 c #random_decision = 0 1.10/1.17 c #conflict = 0 1.10/1.17 c #restart = 0 1.10/1.17 c BCD2: found a new core of size 26: cost of the new core is >=1 1.10/1.17 c lower bound updated to 3 1.10/1.17 c BCD2: 3 <= obj <= 883 1.10/1.17 c BCD2: #cores=3, #unrelaxed=916, #relaxed=84, #hardened=0 1.10/1.17 c BCD2: #sat=1 #unsat=4 bias=4/5 1.10/1.17 c Solving starts ... 1.10/1.17 c ============================[ Search Statistics ]============================ 1.10/1.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.10/1.17 c | | | | Limit GC | Var | Constra 1.10/1.17 c ============================================================================= 1.10/1.19 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.20/1.25 c 0.1s | 0 | 816 | 0 | 32258 0 | 0 | 0 1.20/1.25 c #cpu_time = 0.057s 1.20/1.25 c #wall_clock_time = 0.057s 1.20/1.25 c #decision = 816 1.20/1.25 c #random_decision = 0 1.20/1.25 c #conflict = 0 1.20/1.25 c #restart = 0 1.20/1.25 c BCD2: found a new core of size 32: cost of the new core is >=1 1.20/1.25 c lower bound updated to 4 1.20/1.25 c BCD2: 4 <= obj <= 883 1.20/1.25 c BCD2: #cores=4, #unrelaxed=884, #relaxed=116, #hardened=0 1.20/1.25 c BCD2: #sat=1 #unsat=5 bias=5/6 1.20/1.25 c Solving starts ... 1.20/1.25 c ============================[ Search Statistics ]============================ 1.20/1.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.20/1.25 c | | | | Limit GC | Var | Constra 1.20/1.25 c ============================================================================= 1.20/1.25 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.29/1.32 c 0.1s | 0 | 821 | 0 | 32258 0 | 0 | 0 1.29/1.32 c #cpu_time = 0.059s 1.29/1.32 c #wall_clock_time = 0.059s 1.29/1.32 c #decision = 821 1.29/1.32 c #random_decision = 0 1.29/1.32 c #conflict = 0 1.29/1.32 c #restart = 0 1.29/1.32 c BCD2: found a new core of size 32: cost of the new core is >=1 1.29/1.32 c lower bound updated to 5 1.29/1.32 c BCD2: 5 <= obj <= 883 1.29/1.32 c BCD2: #cores=5, #unrelaxed=852, #relaxed=148, #hardened=0 1.29/1.32 c BCD2: #sat=1 #unsat=6 bias=6/7 1.29/1.32 c Solving starts ... 1.29/1.32 c ============================[ Search Statistics ]============================ 1.29/1.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.32 c | | | | Limit GC | Var | Constra 1.29/1.32 c ============================================================================= 1.29/1.34 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.39/1.41 c 0.1s | 0 | 808 | 0 | 32258 0 | 0 | 0 1.39/1.41 c #cpu_time = 0.059s 1.39/1.41 c #wall_clock_time = 0.059s 1.39/1.41 c #decision = 808 1.39/1.41 c #random_decision = 0 1.39/1.41 c #conflict = 0 1.39/1.41 c #restart = 0 1.39/1.41 c BCD2: found a new core of size 27: cost of the new core is >=1 1.39/1.41 c lower bound updated to 6 1.39/1.41 c BCD2: 6 <= obj <= 883 1.39/1.41 c BCD2: #cores=6, #unrelaxed=825, #relaxed=175, #hardened=0 1.39/1.41 c BCD2: #sat=1 #unsat=7 bias=7/8 1.39/1.41 c Solving starts ... 1.39/1.41 c ============================[ Search Statistics ]============================ 1.39/1.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.41 c | | | | Limit GC | Var | Constra 1.39/1.41 c ============================================================================= 1.39/1.41 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.39/1.47 c 0.1s | 0 | 788 | 0 | 32258 0 | 0 | 0 1.39/1.47 c #cpu_time = 0.057s 1.39/1.47 c #wall_clock_time = 0.057s 1.39/1.47 c #decision = 788 1.39/1.47 c #random_decision = 0 1.39/1.47 c #conflict = 0 1.39/1.47 c #restart = 0 1.39/1.47 c BCD2: found a new core of size 31: cost of the new core is >=1 1.39/1.47 c lower bound updated to 7 1.39/1.47 c BCD2: 7 <= obj <= 883 1.39/1.47 c BCD2: #cores=7, #unrelaxed=794, #relaxed=206, #hardened=0 1.39/1.47 c BCD2: #sat=1 #unsat=8 bias=8/9 1.39/1.47 c Solving starts ... 1.39/1.47 c ============================[ Search Statistics ]============================ 1.39/1.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.47 c | | | | Limit GC | Var | Constra 1.39/1.47 c ============================================================================= 1.39/1.49 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.49/1.56 c 0.1s | 0 | 786 | 0 | 32258 0 | 0 | 0 1.49/1.56 c #cpu_time = 0.058s 1.49/1.56 c #wall_clock_time = 0.058s 1.49/1.56 c #decision = 786 1.49/1.56 c #random_decision = 0 1.49/1.56 c #conflict = 0 1.49/1.56 c #restart = 0 1.49/1.56 c BCD2: found a new core of size 26: cost of the new core is >=1 1.49/1.56 c lower bound updated to 8 1.49/1.56 c BCD2: 8 <= obj <= 883 1.49/1.56 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.49/1.56 c BCD2: #sat=1 #unsat=9 bias=9/10 1.49/1.56 c Solving starts ... 1.49/1.56 c ============================[ Search Statistics ]============================ 1.49/1.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.56 c | | | | Limit GC | Var | Constra 1.49/1.56 c ============================================================================= 1.49/1.56 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 0 1.59/1.66 c 0.1s | 0 | 4589 | 0 | 32258 0 | 0 | 0 1.59/1.66 c #cpu_time = 0.076s 1.59/1.66 c #wall_clock_time = 0.076s 1.59/1.66 c #decision = 4589 1.59/1.66 c #random_decision = 1 1.59/1.66 c #conflict = 0 1.59/1.66 c #restart = 0 1.59/1.66 o 127 1.59/1.66 c BCD2: updating upper bound: 883 -> 126 1.59/1.67 c BCD2: 8 <= obj <= 126 1.59/1.67 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.59/1.67 c BCD2: #sat=2 #unsat=9 bias=9/11 1.59/1.67 c Solving starts ... 1.59/1.67 c ============================[ Search Statistics ]============================ 1.59/1.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.67 c | | | | Limit GC | Var | Constra 1.59/1.67 c ============================================================================= 1.59/1.69 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 1 1.79/1.80 c 0.1s | 0 | 4385 | 9 | 32258 0 | 0 | 1 1.79/1.80 c #cpu_time = 0.088s 1.79/1.80 c #wall_clock_time = 0.088s 1.79/1.80 c #decision = 4385 1.79/1.80 c #random_decision = 11 1.79/1.80 c #conflict = 9 1.79/1.80 c #restart = 0 1.79/1.80 o 101 1.79/1.80 c BCD2: updating upper bound: 126 -> 100 1.79/1.81 c BCD2: 8 <= obj <= 100 1.79/1.81 c BCD2: #cores=8, #unrelaxed=768, #relaxed=232, #hardened=0 1.79/1.81 c BCD2: #sat=3 #unsat=9 bias=9/12 1.79/1.81 c Solving starts ... 1.79/1.81 c ============================[ Search Statistics ]============================ 1.79/1.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.81 c | | | | Limit GC | Var | Constra 1.79/1.81 c ============================================================================= 1.79/1.81 c 0.0s | 0 | 0 | 0 | 32258 0 | 0 | 2 1.98/2.09 c 0.3s | 1 | 1048 | 100 | 35484 0 | 0 | 2 2.38/2.47 c 0.7s | 2 | 2266 | 250 | 39033 0 | 0 | 2 2.88/2.91 c 1.1s | 3 | 3494 | 475 | 42937 0 | 0 | 2 3.68/3.76 c 1.9s | 4 | 5092 | 813 | 47231 0 | 0 | 2 4.98/5.05 c 3.2s | 5 | 6896 | 1320 | 51955 0 | 0 | 2 6.39/6.43 c 4.6s | 6 | 9213 | 2081 | 57151 0 | 0 | 2 8.39/8.45 c 6.6s | 6 | 11165 | 2781 | 57151 0 | 0 | 2 10.09/10.19 c 8.4s | 7 | 11740 | 3223 | 62867 0 | 0 | 2 12.20/12.27 c 10.5s | 7 | 13521 | 3823 | 62867 0 | 0 | 2 14.29/14.32 c 12.5s | 7 | 14576 | 4523 | 62867 0 | 0 | 2 15.99/16.06 c 14.2s | 8 | 15148 | 4936 | 69154 0 | 0 | 2 17.98/18.08 c 16.3s | 8 | 16850 | 5536 | 69154 0 | 0 | 2 20.18/20.29 c 18.5s | 8 | 17690 | 6136 | 69154 0 | 0 | 2 22.38/22.46 c 20.6s | 8 | 18480 | 6736 | 69154 0 | 0 | 2 24.48/24.59 c 22.8s | 8 | 19252 | 7336 | 69154 0 | 0 | 2 25.29/25.31 c 23.5s | 9 | 19459 | 7506 | 76070 0 | 0 | 2 27.49/27.53 c 25.7s | 9 | 21610 | 8206 | 76070 0 | 0 | 2 29.58/29.67 c 27.9s | 9 | 22596 | 8806 | 76070 0 | 0 | 2 31.79/31.88 c 30.1s | 9 | 23338 | 9306 | 76070 0 | 0 | 2 34.09/34.14 c 32.3s | 9 | 24037 | 9806 | 76070 0 | 0 | 2 36.18/36.28 c 34.5s | 9 | 24563 | 10206 | 76070 0 | 0 | 2 38.49/38.53 c 36.7s | 9 | 25369 | 10806 | 76070 0 | 0 | 2 40.88/40.91 c 39.1s | 9 | 26089 | 11306 | 83677 0 | 0 | 2 41.08/41.10 c 39.3s | 10 | 26181 | 11361 | 83677 0 | 0 | 2 43.18/43.22 c 41.4s | 10 | 27559 | 11761 | 83677 0 | 0 | 2 45.48/45.50 c 43.7s | 10 | 28289 | 12261 | 83677 0 | 0 | 2 47.68/47.71 c 45.9s | 10 | 29132 | 12761 | 83677 0 | 0 | 2 49.68/49.71 c 47.9s | 10 | 29712 | 13161 | 83677 0 | 0 | 2 51.97/52.03 c 50.2s | 10 | 30251 | 13561 | 83677 0 | 0 | 2 54.37/54.42 c 52.6s | 10 | 30779 | 13961 | 83677 0 | 0 | 2 56.67/56.79 c 55.0s | 10 | 31619 | 14561 | 83677 0 | 0 | 2 58.87/58.99 c 57.2s | 10 | 32490 | 15161 | 83677 0 | 0 | 2 60.97/61.04 c 59.2s | 10 | 33349 | 15761 | 83677 0 | 0 | 2 63.28/63.38 c 61.6s | 10 | 34376 | 16361 | 83677 0 | 0 | 2 65.48/65.53 c 63.7s | 10 | 34984 | 16761 | 83677 0 | 0 | 2 67.87/67.96 c 66.2s | 11 | 35508 | 17144 | 92045 0 | 0 | 2 69.97/70.02 c 68.2s | 11 | 36833 | 17444 | 92045 0 | 0 | 2 72.17/72.25 c 70.4s | 11 | 37848 | 18144 | 92045 0 | 0 | 2 74.27/74.33 c 72.5s | 11 | 38786 | 18844 | 92045 0 | 0 | 2 76.67/76.70 c 74.9s | 11 | 39698 | 19444 | 92045 0 | 0 | 2 78.77/78.88 c 77.1s | 11 | 40367 | 19944 | 92045 0 | 0 | 2 81.28/81.38 c 79.6s | 11 | 40973 | 20444 | 92045 0 | 0 | 2 83.68/83.77 c 82.0s | 11 | 41628 | 20844 | 92045 0 | 0 | 2 86.27/86.30 c 84.5s | 11 | 42279 | 21244 | 92045 0 | 0 | 2 88.88/88.94 c 87.1s | 11 | 42704 | 21544 | 92045 0 | 0 | 2 91.28/91.38 c 89.6s | 11 | 43332 | 21944 | 92045 0 | 0 | 2 93.58/93.67 c 91.9s | 11 | 44052 | 22444 | 92045 0 | 0 | 2 96.38/96.43 c 94.6s | 11 | 44739 | 22944 | 92045 0 | 0 | 2 99.37/99.47 c 97.7s | 11 | 45138 | 23244 | 92045 0 | 0 | 2 102.17/102.29 c 100s | 11 | 45359 | 23444 | 92045 0 | 0 | 2 104.87/104.90 c 103s | 11 | 46035 | 23844 | 92045 0 | 0 | 2 107.07/107.16 c 105s | 11 | 46440 | 24144 | 92045 0 | 0 | 2 109.27/109.35 c 107s | 11 | 46888 | 24444 | 92045 0 | 0 | 2 111.37/111.43 c 109s | 11 | 47348 | 24744 | 92045 0 | 0 | 2 114.17/114.21 c 112s | 11 | 47897 | 25144 | 92045 0 | 0 | 2 116.27/116.34 c 114s | 11 | 48843 | 25544 | 92045 0 | 0 | 2 117.47/117.58 c 115s | 12 | 49223 | 25819 | 101250 0 | 0 | 2 119.56/119.62 c 117s | 12 | 50801 | 26219 | 101250 0 | 0 | 2 121.67/121.71 c 119s | 12 | 51734 | 26719 | 101250 0 | 0 | 2 123.77/123.89 c 122s | 12 | 52923 | 27319 | 101250 0 | 0 | 2 125.97/126.06 c 124s | 12 | 53609 | 27819 | 101250 0 | 0 | 2 128.26/128.39 c 126s | 12 | 54383 | 28319 | 101250 0 | 0 | 2 130.56/130.63 c 128s | 12 | 54927 | 28719 | 101250 0 | 0 | 2 132.96/133.01 c 131s | 12 | 55515 | 29119 | 101250 0 | 0 | 2 134.96/135.04 c 133s | 12 | 56039 | 29519 | 101250 0 | 0 | 2 137.07/137.13 c 135s | 12 | 56637 | 30019 | 101250 0 | 0 | 2 139.17/139.24 c 137s | 12 | 57317 | 30519 | 101250 0 | 0 | 2 141.47/141.52 c 139s | 12 | 58056 | 31019 | 101250 0 | 0 | 2 143.86/143.94 c 142s | 12 | 58793 | 31519 | 101250 0 | 0 | 2 146.16/146.28 c 144s | 12 | 59468 | 32019 | 101250 0 | 0 | 2 148.26/148.35 c 146s | 12 | 60022 | 32419 | 101250 0 | 0 | 2 150.67/150.80 c 148s | 12 | 60691 | 32919 | 101250 0 | 0 | 2 152.87/152.99 c 151s | 12 | 61511 | 33519 | 101250 0 | 0 | 2 155.26/155.32 c 153s | 12 | 62315 | 34119 | 101250 0 | 0 | 2 157.66/157.73 c 155s | 12 | 63198 | 34719 | 101250 0 | 0 | 2 159.76/159.86 c 158s | 12 | 63866 | 35219 | 101250 0 | 0 | 2 162.06/162.11 c 160s | 12 | 64588 | 35719 | 101250 0 | 0 | 2 164.36/164.45 c 162s | 12 | 65245 | 36219 | 101250 0 | 0 | 2 166.46/166.59 c 164s | 12 | 65755 | 36619 | 101250 0 | 0 | 2 168.56/168.68 c 166s | 12 | 66405 | 37019 | 101250 0 | 0 | 2 170.96/171.00 c 169s | 12 | 67030 | 37419 | 101250 0 | 0 | 2 173.36/173.47 c 171s | 12 | 67527 | 37819 | 101250 0 | 0 | 2 175.86/175.98 c 174s | 12 | 68086 | 38219 | 101250 0 | 0 | 2 178.06/178.16 c 176s | 12 | 68475 | 38519 | 101250 0 | 0 | 2 180.06/180.11 c 178s | 13 | 68894 | 38832 | 111376 0 | 0 | 2 182.26/182.36 c 180s | 13 | 70283 | 39132 | 111376 0 | 0 | 2 184.36/184.42 c 182s | 13 | 70897 | 39632 | 111376 0 | 0 | 2 186.56/186.61 c 184s | 13 | 71582 | 40132 | 111376 0 | 0 | 2 188.55/188.64 c 186s | 13 | 72060 | 40532 | 111376 0 | 0 | 2 190.65/190.72 c 188s | 13 | 72919 | 41132 | 111376 0 | 0 | 2 193.06/193.13 c 191s | 13 | 73730 | 41732 | 111376 0 | 0 | 2 195.36/195.48 c 193s | 13 | 74617 | 42232 | 111376 0 | 0 | 2 197.96/198.09 c 196s | 13 | 75156 | 42632 | 111376 0 | 0 | 2 200.35/200.48 c 198s | 13 | 75920 | 43232 | 111376 0 | 0 | 2 202.85/202.93 c 201s | 13 | 76460 | 43632 | 111376 0 | 0 | 2 205.36/205.46 c 203s | 13 | 76834 | 43932 | 111376 0 | 0 | 2 207.66/207.75 c 205s | 13 | 77316 | 44332 | 111376 0 | 0 | 2 210.06/210.19 c 208s | 13 | 77936 | 44832 | 111376 0 | 0 | 2 212.26/212.34 c 210s | 13 | 79258 | 45632 | 111376 0 | 0 | 2 214.35/214.45 c 212s | 13 | 80122 | 46232 | 111376 0 | 0 | 2 216.35/216.46 c 214s | 13 | 80811 | 46732 | 111376 0 | 0 | 2 218.65/218.73 c 216s | 13 | 81333 | 47132 | 111376 0 | 0 | 2 220.76/220.83 c 219s | 13 | 81780 | 47432 | 111376 0 | 0 | 2 223.06/223.11 c 221s | 13 | 82556 | 47932 | 111376 0 | 0 | 2 225.56/225.67 c 223s | 13 | 83106 | 48332 | 111376 0 | 0 | 2 227.86/227.91 c 226s | 13 | 83822 | 48832 | 111376 0 | 0 | 2 230.05/230.18 c 228s | 13 | 84552 | 49332 | 111376 0 | 0 | 2 232.25/232.35 c 230s | 13 | 85086 | 49732 | 111376 0 | 0 | 2 234.65/234.75 c 232s | 13 | 85757 | 50232 | 111376 0 | 0 | 2 237.15/237.21 c 235s | 13 | 86420 | 50632 | 111376 0 | 0 | 2 239.35/239.40 c 237s | 13 | 86956 | 51032 | 111376 0 | 0 | 2 241.74/241.83 c 240s | 13 | 87783 | 51532 | 111376 0 | 0 | 2 243.75/243.85 c 242s | 13 | 88348 | 51932 | 111376 0 | 0 | 2 246.25/246.32 c 244s | 13 | 89016 | 52432 | 111376 0 | 0 | 2 248.45/248.53 c 246s | 13 | 89560 | 52832 | 111376 0 | 0 | 2 251.05/251.16 c 249s | 13 | 90122 | 53232 | 111376 0 | 0 | 2 253.25/253.32 c 251s | 13 | 90660 | 53632 | 111376 0 | 0 | 2 255.65/255.76 c 253s | 13 | 91290 | 54132 | 111376 0 | 0 | 2 258.05/258.15 c 256s | 13 | 91838 | 54532 | 111376 0 | 0 | 2 260.24/260.35 c 258s | 13 | 92369 | 54932 | 111376 0 | 0 | 2 262.34/262.48 c 260s | 13 | 92968 | 55332 | 111376 0 | 0 | 2 264.55/264.65 c 262s | 13 | 93341 | 55632 | 111376 0 | 0 | 2 266.75/266.87 c 265s | 13 | 93740 | 55932 | 111376 0 | 0 | 2 269.14/269.20 c 267s | 13 | 94111 | 56232 | 111376 0 | 0 | 2 271.34/271.49 c 269s | 13 | 94485 | 56532 | 111376 0 | 0 | 2 273.54/273.67 c 271s | 13 | 94957 | 56932 | 111376 0 | 0 | 2 276.05/276.12 c 274s | 13 | 95610 | 57432 | 111376 0 | 0 | 2 278.35/278.47 c 276s | 13 | 96218 | 57832 | 111376 0 | 0 | 2 280.45/280.60 c 278s | 13 | 96743 | 58232 | 122514 0 | 0 | 2 281.14/281.24 c 279s | 14 | 96911 | 58352 | 122514 0 | 0 | 2 283.75/283.87 c 282s | 14 | 97884 | 58452 | 122514 0 | 0 | 2 285.84/285.98 c 284s | 14 | 98725 | 59052 | 122514 0 | 0 | 2 287.94/288.09 c 286s | 14 | 99430 | 59552 | 122514 0 | 0 | 2 290.04/290.14 c 288s | 14 | 100099 | 60052 | 122514 0 | 0 | 2 292.34/292.40 c 290s | 14 | 100913 | 60552 | 122514 0 | 0 | 2 295.04/295.19 c 293s | 14 | 101536 | 60952 | 122514 0 | 0 | 2 297.74/297.88 c 296s | 14 | 101993 | 61252 | 122514 0 | 0 | 2 300.25/300.36 c 298s | 14 | 102659 | 61652 | 122514 0 | 0 | 2 302.55/302.66 c 300s | 14 | 103075 | 61952 | 122514 0 | 0 | 2 304.94/305.05 c 303s | 14 | 103773 | 62452 | 122514 0 | 0 | 2 307.04/307.15 c 305s | 14 | 104287 | 62852 | 122514 0 | 0 | 2 309.24/309.39 c 307s | 14 | 104901 | 63252 | 122514 0 | 0 | 2 311.84/311.96 c 310s | 14 | 105471 | 63652 | 122514 0 | 0 | 2 314.13/314.27 c 312s | 14 | 105916 | 63952 | 122514 0 | 0 | 2 316.64/316.70 c 314s | 14 | 106502 | 64352 | 122514 0 | 0 | 2 318.95/319.04 c 317s | 14 | 107111 | 64752 | 122514 0 | 0 | 2 321.14/321.23 c 319s | 14 | 107713 | 65152 | 122514 0 | 0 | 2 323.44/323.57 c 321s | 14 | 108246 | 65552 | 122514 0 | 0 | 2 325.55/325.64 c 323s | 14 | 108802 | 65952 | 122514 0 | 0 | 2 327.85/327.91 c 326s | 14 | 109376 | 66352 | 122514 0 | 0 | 2 330.04/330.18 c 328s | 14 | 109890 | 66752 | 122514 0 | 0 | 2 332.64/332.74 c 330s | 14 | 110513 | 67152 | 122514 0 | 0 | 2 335.23/335.34 c 333s | 14 | 110973 | 67452 | 122514 0 | 0 | 2 337.54/337.67 c 335s | 14 | 111531 | 67852 | 122514 0 | 0 | 2 339.64/339.74 c 337s | 14 | 112054 | 68252 | 122514 0 | 0 | 2 342.23/342.34 c 340s | 14 | 112692 | 68752 | 122514 0 | 0 | 2 344.34/344.47 c 342s | 14 | 113292 | 69152 | 122514 0 | 0 | 2 347.03/347.13 c 345s | 14 | 113788 | 69552 | 122514 0 | 0 | 2 349.44/349.51 c 347s | 14 | 114420 | 69952 | 122514 0 | 0 | 2 351.63/351.75 c 349s | 14 | 114860 | 70252 | 122514 0 | 0 | 2 353.73/353.81 c 351s | 14 | 115256 | 70552 | 122514 0 | 0 | 2 356.23/356.36 c 354s | 14 | 115883 | 70952 | 122514 0 | 0 | 2 358.23/358.36 c 356s | 14 | 116325 | 71252 | 122514 0 | 0 | 2 360.43/360.54 c 358s | 14 | 116732 | 71552 | 122514 0 | 0 | 2 362.83/362.92 c 361s | 14 | 117179 | 71852 | 122514 0 | 0 | 2 365.33/365.40 c 363s | 14 | 117830 | 72252 | 122514 0 | 0 | 2 367.33/367.45 c 365s | 14 | 118496 | 72652 | 122514 0 | 0 | 2 369.92/370.03 c 368s | 14 | 119206 | 73052 | 122514 0 | 0 | 2 372.53/372.62 c 370s | 14 | 119704 | 73452 | 122514 0 | 0 | 2 375.04/375.17 c 373s | 14 | 120283 | 73852 | 122514 0 | 0 | 2 377.53/377.67 c 375s | 14 | 120872 | 74252 | 122514 0 | 0 | 2 379.63/379.70 c 377s | 14 | 121283 | 74552 | 122514 0 | 0 | 2 382.03/382.12 c 380s | 14 | 121685 | 74852 | 122514 0 | 0 | 2 384.13/384.29 c 382s | 14 | 122140 | 75152 | 122514 0 | 0 | 2 386.22/386.38 c 384s | 14 | 122579 | 75452 | 122514 0 | 0 | 2 388.63/388.79 c 386s | 14 | 123001 | 75752 | 122514 0 | 0 | 2 390.83/390.93 c 389s | 14 | 123481 | 76052 | 122514 0 | 0 | 2 393.03/393.18 c 391s | 14 | 123919 | 76352 | 122514 0 | 0 | 2 395.42/395.57 c 393s | 14 | 124326 | 76652 | 122514 0 | 0 | 2 398.13/398.28 c 396s | 14 | 124763 | 76952 | 122514 0 | 0 | 2 400.92/401.06 c 399s | 14 | 125173 | 77252 | 122514 0 | 0 | 2 403.82/403.96 c 402s | 14 | 125600 | 77552 | 122514 0 | 0 | 2 406.62/406.73 c 404s | 14 | 126028 | 77852 | 122514 0 | 0 | 2 408.73/408.89 c 407s | 14 | 126492 | 78152 | 122514 0 | 0 | 2 411.43/411.57 c 409s | 14 | 127098 | 78552 | 122514 0 | 0 | 2 413.82/413.96 c 412s | 14 | 127514 | 78852 | 122514 0 | 0 | 2 416.53/416.61 c 414s | 14 | 128167 | 79252 | 122514 0 | 0 | 2 418.52/418.62 c 416s | 14 | 128599 | 79552 | 122514 0 | 0 | 2 420.52/420.66 c 418s | 14 | 129132 | 79852 | 122514 0 | 0 | 2 422.82/422.93 c 421s | 14 | 129578 | 80152 | 122514 0 | 0 | 2 425.32/425.47 c 423s | 14 | 130167 | 80552 | 122514 0 | 0 | 2 427.72/427.81 c 425s | 14 | 130699 | 80952 | 122514 0 | 0 | 2 429.82/429.90 c 428s | 14 | 131093 | 81252 | 122514 0 | 0 | 2 432.02/432.18 c 430s | 14 | 131501 | 81552 | 122514 0 | 0 | 2 434.23/434.33 c 432s | 14 | 131913 | 81852 | 122514 0 | 0 | 2 436.52/436.61 c 434s | 14 | 132312 | 82152 | 122514 0 | 0 | 2 439.12/439.29 c 437s | 14 | 132720 | 82452 | 122514 0 | 0 | 2 441.32/441.43 c 439s | 14 | 133135 | 82752 | 122514 0 | 0 | 2 443.62/443.76 c 441s | 14 | 133552 | 83052 | 122514 0 | 0 | 2 445.72/445.88 c 444s | 14 | 134032 | 83352 | 122514 0 | 0 | 2 448.02/448.11 c 446s | 14 | 134613 | 83652 | 122514 0 | 0 | 2 450.42/450.51 c 448s | 14 | 135263 | 84052 | 122514 0 | 0 | 2 452.82/452.98 c 451s | 14 | 135863 | 84452 | 122514 0 | 0 | 2 455.32/455.44 c 453s | 14 | 136388 | 84852 | 122514 0 | 0 | 2 457.82/457.96 c 456s | 14 | 136968 | 85252 | 122514 0 | 0 | 2 460.21/460.34 c 458s | 14 | 137518 | 85652 | 122514 0 | 0 | 2 462.31/462.49 c 460s | 14 | 137956 | 85952 | 122514 0 | 0 | 2 464.61/464.79 c 462s | 14 | 138538 | 86352 | 122514 0 | 0 | 2 467.01/467.18 c 465s | 14 | 139087 | 86752 | 122514 0 | 0 | 2 469.41/469.53 c 467s | 14 | 139666 | 87152 | 134766 0 | 0 | 2 471.50/471.66 c 469s | 14 | 140064 | 87452 | 134766 0 | 0 | 2 472.71/472.87 c 471s | 15 | 140298 | 87632 | 134766 0 | 0 | 2 476.60/476.73 c 474s | 15 | 141270 | 87732 | 134766 0 | 0 | 2 479.20/479.30 c 477s | 15 | 141652 | 88032 | 134766 0 | 0 | 2 481.30/481.46 c 479s | 15 | 142092 | 88332 | 134766 0 | 0 | 2 483.70/483.83 c 482s | 15 | 142658 | 88732 | 134766 0 | 0 | 2 485.80/485.99 c 484s | 15 | 143334 | 89132 | 134766 0 | 0 | 2 488.09/488.28 c 486s | 15 | 143925 | 89532 | 134766 0 | 0 | 2 490.50/490.68 c 488s | 15 | 144569 | 89932 | 134766 0 | 0 | 2 492.81/492.93 c 491s | 15 | 145027 | 90232 | 134766 0 | 0 | 2 494.90/495.10 c 493s | 15 | 145624 | 90632 | 134766 0 | 0 | 2 497.69/497.87 c 496s | 15 | 146202 | 91032 | 134766 0 | 0 | 2 500.19/500.33 c 498s | 15 | 146772 | 91432 | 134766 0 | 0 | 2 502.19/502.39 c 500s | 15 | 147186 | 91732 | 134766 0 | 0 | 2 504.99/505.18 c 503s | 15 | 147719 | 92132 | 134766 0 | 0 | 2 507.28/507.43 c 505s | 15 | 148321 | 92532 | 134766 0 | 0 | 2 509.99/510.11 c 508s | 15 | 148936 | 92932 | 134766 0 | 0 | 2 512.08/512.27 c 510s | 15 | 149332 | 93232 | 134766 0 | 0 | 2 514.58/514.76 c 512s | 15 | 149717 | 93532 | 134766 0 | 0 | 2 516.79/516.99 c 515s | 15 | 150111 | 93832 | 134766 0 | 0 | 2 519.09/519.23 c 517s | 15 | 150720 | 94232 | 134766 0 | 0 | 2 521.28/521.42 c 519s | 15 | 151117 | 94532 | 134766 0 | 0 | 2 523.48/523.63 c 521s | 15 | 151563 | 94832 | 134766 0 | 0 | 2 525.58/525.79 c 523s | 15 | 152013 | 95132 | 134766 0 | 0 | 2 528.08/528.20 c 526s | 15 | 152458 | 95432 | 134766 0 | 0 | 2 530.67/530.86 c 529s | 15 | 152879 | 95732 | 134766 0 | 0 | 2 533.17/533.37 c 531s | 15 | 153393 | 96032 | 134766 0 | 0 | 2 535.87/536.04 c 534s | 15 | 153809 | 96332 | 134766 0 | 0 | 2 538.37/538.53 c 536s | 15 | 154271 | 96632 | 134766 0 | 0 | 2 540.97/541.18 c 539s | 15 | 154685 | 96932 | 134766 0 | 0 | 2 543.96/544.15 c 542s | 15 | 155080 | 97232 | 134766 0 | 0 | 2 546.47/546.66 c 544s | 15 | 155579 | 97532 | 134766 0 | 0 | 2 548.97/549.19 c 547s | 15 | 156342 | 98032 | 134766 0 | 0 | 2 551.07/551.29 c 549s | 15 | 156747 | 98332 | 134766 0 | 0 | 2 553.76/553.99 c 552s | 15 | 157301 | 98732 | 134766 0 | 0 | 2 556.16/556.36 c 554s | 15 | 157887 | 99132 | 134766 0 | 0 | 2 558.46/558.62 c 556s | 15 | 158480 | 99532 | 134766 0 | 0 | 2 560.55/560.75 c 558s | 15 | 159137 | 99932 | 134766 0 | 0 | 2 562.85/563.00 c 561s | 15 | 159487 | 100232 | 134766 0 | 0 | 2 564.85/565.01 c 563s | 15 | 159905 | 100532 | 134766 0 | 0 | 2 566.85/567.08 c 565s | 15 | 160341 | 100832 | 134766 0 | 0 | 2 569.35/569.59 c 567s | 15 | 160952 | 101232 | 134766 0 | 0 | 2 571.54/571.72 c 569s | 15 | 161537 | 101632 | 134766 0 | 0 | 2 573.55/573.76 c 571s | 15 | 161923 | 101932 | 134766 0 | 0 | 2 576.05/576.29 c 574s | 15 | 162321 | 102232 | 134766 0 | 0 | 2 578.65/578.83 c 577s | 15 | 162706 | 102532 | 134766 0 | 0 | 2 580.84/581.09 c 579s | 15 | 163107 | 102832 | 134766 0 | 0 | 2 583.95/584.12 c 582s | 15 | 163533 | 103132 | 134766 0 | 0 | 2 587.04/587.24 c 585s | 15 | 164005 | 103432 | 134766 0 | 0 | 2 589.34/589.54 c 587s | 15 | 164258 | 103632 | 134766 0 | 0 | 2 592.13/592.33 c 590s | 15 | 164862 | 104032 | 134766 0 | 0 | 2 594.24/594.41 c 592s | 15 | 165303 | 104332 | 134766 0 | 0 | 2 596.24/596.43 c 594s | 15 | 165708 | 104632 | 134766 0 | 0 | 2 598.24/598.48 c 596s | 15 | 166118 | 104932 | 134766 0 | 0 | 2 600.33/600.52 c 598s | 15 | 166546 | 105232 | 134766 0 | 0 | 2 602.73/602.93 c 601s | 15 | 166931 | 105532 | 134766 0 | 0 | 2 604.93/605.14 c 603s | 15 | 167363 | 105832 | 134766 0 | 0 | 2 607.22/607.46 c 605s | 15 | 167778 | 106132 | 134766 0 | 0 | 2 609.62/609.86 c 608s | 15 | 168224 | 106432 | 134766 0 | 0 | 2 612.21/612.45 c 610s | 15 | 168679 | 106732 | 134766 0 | 0 | 2 614.72/614.97 c 613s | 15 | 169088 | 107032 | 134766 0 | 0 | 2 617.42/617.61 c 615s | 15 | 169563 | 107332 | 134766 0 | 0 | 2 619.62/619.83 c 618s | 15 | 170030 | 107632 | 134766 0 | 0 | 2 622.31/622.50 c 620s | 15 | 170513 | 107932 | 134766 0 | 0 | 2 625.11/625.36 c 623s | 15 | 171002 | 108232 | 134766 0 | 0 | 2 628.02/628.24 c 626s | 15 | 171357 | 108532 | 134766 0 | 0 | 2 630.51/630.78 c 628s | 15 | 171755 | 108832 | 134766 0 | 0 | 2 633.42/633.62 c 631s | 15 | 172135 | 109132 | 134766 0 | 0 | 2 636.21/636.44 c 634s | 15 | 172525 | 109432 | 134766 0 | 0 | 2 638.91/639.15 c 637s | 15 | 172922 | 109732 | 134766 0 | 0 | 2 641.40/641.60 c 639s | 15 | 173377 | 110032 | 134766 0 | 0 | 2 644.11/644.31 c 642s | 15 | 173778 | 110332 | 134766 0 | 0 | 2 646.30/646.58 c 644s | 15 | 174232 | 110632 | 134766 0 | 0 | 2 648.91/649.11 c 647s | 15 | 174617 | 110932 | 134766 0 | 0 | 2 651.10/651.39 c 649s | 15 | 175090 | 111232 | 134766 0 | 0 | 2 653.79/654.06 c 652s | 15 | 175463 | 111532 | 134766 0 | 0 | 2 656.39/656.68 c 654s | 15 | 175907 | 111832 | 134766 0 | 0 | 2 659.09/659.35 c 657s | 15 | 176336 | 112132 | 134766 0 | 0 | 2 661.59/661.87 c 660s | 15 | 176758 | 112432 | 134766 0 | 0 | 2 664.09/664.37 c 662s | 15 | 177263 | 112732 | 134766 0 | 0 | 2 666.79/667.07 c 665s | 15 | 177789 | 113032 | 134766 0 | 0 | 2 669.79/670.08 c 668s | 15 | 178192 | 113332 | 134766 0 | 0 | 2 672.59/672.85 c 671s | 15 | 178595 | 113632 | 134766 0 | 0 | 2 674.69/674.90 c 673s | 15 | 178883 | 113832 | 134766 0 | 0 | 2 676.69/676.99 c 675s | 15 | 179164 | 114032 | 134766 0 | 0 | 2 679.49/679.71 c 677s | 15 | 179574 | 114332 | 134766 0 | 0 | 2 682.48/682.75 c 680s | 15 | 179961 | 114632 | 134766 0 | 0 | 2 684.49/684.79 c 682s | 15 | 180230 | 114832 | 134766 0 | 0 | 2 686.59/686.80 c 684s | 15 | 180513 | 115032 | 134766 0 | 0 | 2 689.39/689.67 c 687s | 15 | 180921 | 115332 | 134766 0 | 0 | 2 692.28/692.54 c 690s | 15 | 181318 | 115632 | 134766 0 | 0 | 2 694.58/694.84 c 693s | 15 | 181570 | 115832 | 134766 0 | 0 | 2 697.38/697.63 c 695s | 15 | 181958 | 116132 | 134766 0 | 0 | 2 699.87/700.11 c 698s | 15 | 182356 | 116432 | 134766 0 | 0 | 2 702.57/702.85 c 701s | 15 | 182761 | 116732 | 134766 0 | 0 | 2 705.58/705.80 c 703s | 15 | 183168 | 117032 | 134766 0 | 0 | 2 707.58/707.86 c 706s | 15 | 183461 | 117232 | 134766 0 | 0 | 2 710.38/710.66 c 708s | 15 | 183885 | 117532 | 134766 0 | 0 | 2 712.58/712.82 c 711s | 15 | 184136 | 117732 | 134766 0 | 0 | 2 715.07/715.38 c 713s | 15 | 184620 | 118032 | 134766 0 | 0 | 2 717.17/717.40 c 715s | 15 | 184872 | 118232 | 134766 0 | 0 | 2 719.68/719.96 c 718s | 15 | 185309 | 118532 | 134766 0 | 0 | 2 721.87/722.18 c 720s | 15 | 185616 | 118732 | 134766 0 | 0 | 2 723.97/724.25 c 722s | 15 | 185891 | 118932 | 134766 0 | 0 | 2 726.57/726.88 c 725s | 15 | 186260 | 119232 | 134766 0 | 0 | 2 728.97/729.26 c 727s | 15 | 186664 | 119532 | 134766 0 | 0 | 2 731.86/732.11 c 730s | 15 | 187104 | 119832 | 134766 0 | 0 | 2 734.57/734.89 c 733s | 15 | 187509 | 120132 | 134766 0 | 0 | 2 736.66/736.92 c 735s | 15 | 187793 | 120332 | 134766 0 | 0 | 2 739.07/739.31 c 737s | 15 | 188078 | 120532 | 134766 0 | 0 | 2 742.06/742.35 c 740s | 15 | 188485 | 120832 | 134766 0 | 0 | 2 744.15/744.43 c 742s | 15 | 188723 | 121032 | 134766 0 | 0 | 2 746.56/746.88 c 745s | 15 | 189011 | 121232 | 134766 0 | 0 | 2 749.46/749.71 c 747s | 15 | 189406 | 121532 | 134766 0 | 0 | 2 751.65/751.99 c 750s | 15 | 189678 | 121732 | 134766 0 | 0 | 2 754.46/754.71 c 752s | 15 | 189941 | 121932 | 134766 0 | 0 | 2 757.26/757.55 c 755s | 15 | 190373 | 122232 | 134766 0 | 0 | 2 759.25/759.56 c 757s | 15 | 190616 | 122432 | 134766 0 | 0 | 2 762.15/762.42 c 760s | 15 | 191026 | 122732 | 134766 0 | 0 | 2 765.05/765.35 c 763s | 15 | 191404 | 123032 | 134766 0 | 0 | 2 768.05/768.34 c 766s | 15 | 191819 | 123332 | 134766 0 | 0 | 2 770.85/771.10 c 769s | 15 | 192277 | 123632 | 134766 0 | 0 | 2 773.44/773.79 c 771s | 15 | 192680 | 123932 | 134766 0 | 0 | 2 775.74/776.08 c 774s | 15 | 193123 | 124232 | 134766 0 | 0 | 2 778.66/778.99 c 777s | 15 | 193574 | 124532 | 134766 0 | 0 | 2 781.25/781.53 c 779s | 15 | 193977 | 124832 | 134766 0 | 0 | 2 783.65/783.98 c 782s | 15 | 194343 | 125032 | 134766 0 | 0 | 2 786.04/786.38 c 784s | 15 | 194633 | 125232 | 134766 0 | 0 | 2 788.45/788.79 c 786s | 15 | 194945 | 125432 | 134766 0 | 0 | 2 791.05/791.30 c 789s | 15 | 195335 | 125732 | 134766 0 | 0 | 2 793.65/793.96 c 792s | 15 | 195799 | 126032 | 134766 0 | 0 | 2 796.55/796.82 c 795s | 15 | 196197 | 126332 | 134766 0 | 0 | 2 798.54/798.85 c 797s | 15 | 196484 | 126532 | 134766 0 | 0 | 2 801.24/801.51 c 799s | 15 | 196868 | 126832 | 134766 0 | 0 | 2 804.14/804.47 c 802s | 15 | 197287 | 127132 | 134766 0 | 0 | 2 806.34/806.65 c 804s | 15 | 197545 | 127332 | 134766 0 | 0 | 2 808.64/808.98 c 807s | 15 | 197815 | 127532 | 134766 0 | 0 | 2 811.14/811.47 c 809s | 15 | 198073 | 127732 | 134766 0 | 0 | 2 813.74/814.07 c 812s | 15 | 198473 | 128032 | 134766 0 | 0 | 2 815.74/816.09 c 814s | 15 | 198723 | 128232 | 134766 0 | 0 | 2 817.94/818.23 c 816s | 15 | 199005 | 128432 | 134766 0 | 0 | 2 820.34/820.61 c 818s | 15 | 199285 | 128632 | 134766 0 | 0 | 2 822.34/822.68 c 820s | 15 | 199560 | 128832 | 134766 0 | 0 | 2 825.13/825.43 c 823s | 15 | 199951 | 129132 | 134766 0 | 0 | 2 827.83/828.19 c 826s | 15 | 200348 | 129432 | 134766 0 | 0 | 2 829.93/830.25 c 828s | 15 | 200585 | 129632 | 134766 0 | 0 | 2 832.93/833.24 c 831s | 15 | 201025 | 129932 | 134766 0 | 0 | 2 836.03/836.34 c 834s | 15 | 201443 | 130232 | 134766 0 | 0 | 2 838.43/838.71 c 836s | 15 | 201684 | 130432 | 134766 0 | 0 | 2 840.52/840.84 c 839s | 15 | 201944 | 130632 | 134766 0 | 0 | 2 842.63/842.97 c 841s | 15 | 202213 | 130832 | 148243 0 | 0 | 2 845.43/845.75 c 843s | 15 | 202662 | 131132 | 148243 0 | 0 | 2 848.03/848.31 c 846s | 15 | 203041 | 131432 | 148243 0 | 0 | 2 849.23/849.52 c 847s | 16 | 203184 | 131552 | 148243 0 | 0 | 2 855.32/855.69 c 853s | 16 | 204147 | 131652 | 148243 0 | 0 | 2 857.32/857.69 c 855s | 16 | 204409 | 131852 | 148243 0 | 0 | 2 860.11/860.49 c 858s | 16 | 204842 | 132152 | 148243 0 | 0 | 2 862.42/862.71 c 860s | 16 | 205272 | 132452 | 148243 0 | 0 | 2 864.91/865.25 c 863s | 16 | 205834 | 132852 | 148243 0 | 0 | 2 867.42/867.72 c 865s | 16 | 206273 | 133152 | 148243 0 | 0 | 2 869.62/869.91 c 868s | 16 | 206883 | 133452 | 148243 0 | 0 | 2 872.02/872.31 c 870s | 16 | 207309 | 133752 | 148243 0 | 0 | 2 874.12/874.41 c 872s | 16 | 207671 | 134052 | 148243 0 | 0 | 2 876.22/876.53 c 874s | 16 | 208011 | 134352 | 148243 0 | 0 | 2 878.32/878.68 c 876s | 16 | 208396 | 134652 | 148243 0 | 0 | 2 880.62/880.98 c 879s | 16 | 208828 | 134952 | 148243 0 | 0 | 2 883.02/883.39 c 881s | 16 | 209224 | 135252 | 148243 0 | 0 | 2 885.61/885.93 c 884s | 16 | 209623 | 135552 | 148243 0 | 0 | 2 888.32/888.68 c 886s | 16 | 210092 | 135852 | 148243 0 | 0 | 2 890.51/890.81 c 889s | 16 | 210501 | 136152 | 148243 0 | 0 | 2 892.81/893.17 c 891s | 16 | 210923 | 136452 | 148243 0 | 0 | 2 895.40/895.71 c 893s | 16 | 211348 | 136752 | 148243 0 | 0 | 2 898.01/898.36 c 896s | 16 | 211735 | 137052 | 148243 0 | 0 | 2 900.20/900.54 c 898s | 16 | 212138 | 137352 | 148243 0 | 0 | 2 902.61/902.96 c 901s | 16 | 212697 | 137752 | 148243 0 | 0 | 2 905.31/905.65 c 903s | 16 | 213214 | 138152 | 148243 0 | 0 | 2 907.61/907.94 c 906s | 16 | 213605 | 138452 | 148243 0 | 0 | 2 909.80/910.14 c 908s | 16 | 214028 | 138752 | 148243 0 | 0 | 2 912.50/912.89 c 911s | 16 | 214519 | 139052 | 148243 0 | 0 | 2 914.70/915.08 c 913s | 16 | 214948 | 139352 | 148243 0 | 0 | 2 917.29/917.63 c 915s | 16 | 215471 | 139752 | 148243 0 | 0 | 2 919.60/919.91 c 918s | 16 | 215964 | 140052 | 148243 0 | 0 | 2 922.09/922.49 c 920s | 16 | 216408 | 140352 | 148243 0 | 0 | 2 924.29/924.69 c 922s | 16 | 216835 | 140652 | 148243 0 | 0 | 2 926.60/926.97 c 925s | 16 | 217298 | 140952 | 148243 0 | 0 | 2 928.89/929.24 c 927s | 16 | 217723 | 141252 | 148243 0 | 0 | 2 931.50/931.89 c 930s | 16 | 218229 | 141652 | 148243 0 | 0 | 2 934.19/934.58 c 932s | 16 | 218778 | 142052 | 148243 0 | 0 | 2 936.49/936.82 c 935s | 16 | 219161 | 142352 | 148243 0 | 0 | 2 938.99/939.36 c 937s | 16 | 219598 | 142652 | 148243 0 | 0 | 2 941.59/941.98 c 940s | 16 | 219983 | 142952 | 148243 0 | 0 | 2 944.39/944.77 c 942s | 16 | 220359 | 143252 | 148243 0 | 0 | 2 946.90/947.27 c 945s | 16 | 220743 | 143552 | 148243 0 | 0 | 2 949.09/949.44 c 947s | 16 | 221017 | 143752 | 148243 0 | 0 | 2 951.68/952.06 c 950s | 16 | 221428 | 144052 | 148243 0 | 0 | 2 954.50/954.81 c 952s | 16 | 221895 | 144352 | 148243 0 | 0 | 2 957.19/957.52 c 955s | 16 | 222346 | 144652 | 148243 0 | 0 | 2 959.59/959.93 c 958s | 16 | 222768 | 144952 | 148243 0 | 0 | 2 961.98/962.39 c 960s | 16 | 223210 | 145252 | 148243 0 | 0 | 2 964.28/964.68 c 962s | 16 | 223487 | 145452 | 148243 0 | 0 | 2 967.09/967.40 c 965s | 16 | 223907 | 145752 | 148243 0 | 0 | 2 969.38/969.70 c 967s | 16 | 224370 | 146052 | 148243 0 | 0 | 2 971.47/971.82 c 970s | 16 | 224674 | 146252 | 148243 0 | 0 | 2 973.87/974.28 c 972s | 16 | 225182 | 146552 | 148243 0 | 0 | 2 976.58/976.94 c 975s | 16 | 225663 | 146852 | 148243 0 | 0 | 2 979.58/979.91 c 978s | 16 | 226140 | 147152 | 148243 0 | 0 | 2 981.67/982.09 c 980s | 16 | 226423 | 147352 | 148243 0 | 0 | 2 984.18/984.57 c 982s | 16 | 226682 | 147552 | 148243 0 | 0 | 2 986.67/987.05 c 985s | 16 | 226948 | 147752 | 148243 0 | 0 | 2 989.47/989.83 c 988s | 16 | 227394 | 148052 | 148243 0 | 0 | 2 992.36/992.70 c 990s | 16 | 227890 | 148352 | 148243 0 | 0 | 2 994.56/994.92 c 993s | 16 | 228170 | 148552 | 148243 0 | 0 | 2 996.87/997.20 c 995s | 16 | 228468 | 148752 | 148243 0 | 0 | 2 999.47/999.89 c 998s | 16 | 228756 | 148952 | 148243 0 | 0 | 2 1002.36/1002.76 c 1000s | 16 | 229043 | 149152 | 148243 0 | 0 | 2 1004.86/1005.25 c 1003s | 16 | 229350 | 149352 | 148243 0 | 0 | 2 1007.97/1008.37 c 1006s | 16 | 229776 | 149652 | 148243 0 | 0 | 2 1010.46/1010.84 c 1009s | 16 | 230041 | 149852 | 148243 0 | 0 | 2 1013.26/1013.69 c 1011s | 16 | 230483 | 150152 | 148243 0 | 0 | 2 1015.45/1015.84 c 1014s | 16 | 230736 | 150352 | 148243 0 | 0 | 2 1018.27/1018.67 c 1016s | 16 | 231143 | 150652 | 148243 0 | 0 | 2 1021.15/1021.53 c 1019s | 16 | 231569 | 150952 | 148243 0 | 0 | 2 1023.95/1024.34 c 1022s | 16 | 231976 | 151252 | 148243 0 | 0 | 2 1026.55/1026.90 c 1025s | 16 | 232239 | 151452 | 148243 0 | 0 | 2 1028.76/1029.14 c 1027s | 16 | 232529 | 151652 | 148243 0 | 0 | 2 1030.85/1031.29 c 1029s | 16 | 232777 | 151852 | 148243 0 | 0 | 2 1033.25/1033.61 c 1031s | 16 | 233064 | 152052 | 148243 0 | 0 | 2 1035.55/1035.97 c 1034s | 16 | 233317 | 152252 | 148243 0 | 0 | 2 1038.25/1038.69 c 1036s | 16 | 233590 | 152452 | 148243 0 | 0 | 2 1040.94/1041.38 c 1039s | 16 | 233906 | 152652 | 148243 0 | 0 | 2 1044.15/1044.55 c 1042s | 16 | 234228 | 152852 | 148243 0 | 0 | 2 1046.45/1046.86 c 1045s | 16 | 234492 | 153052 | 148243 0 | 0 | 2 1048.94/1049.34 c 1047s | 16 | 234786 | 153252 | 148243 0 | 0 | 2 1051.45/1051.87 c 1050s | 16 | 235051 | 153452 | 148243 0 | 0 | 2 1053.95/1054.31 c 1052s | 16 | 235327 | 153652 | 148243 0 | 0 | 2 1056.64/1057.03 c 1055s | 16 | 235636 | 153852 | 148243 0 | 0 | 2 1059.15/1059.51 c 1057s | 16 | 235916 | 154052 | 148243 0 | 0 | 2 1061.84/1062.21 c 1060s | 16 | 236187 | 154252 | 148243 0 | 0 | 2 1064.14/1064.52 c 1062s | 16 | 236475 | 154452 | 148243 0 | 0 | 2 1066.14/1066.52 c 1064s | 16 | 236793 | 154652 | 148243 0 | 0 | 2 1068.54/1068.98 c 1067s | 16 | 237213 | 154952 | 148243 0 | 0 | 2 1071.34/1071.76 c 1069s | 16 | 237632 | 155252 | 148243 0 | 0 | 2 1073.44/1073.87 c 1072s | 16 | 237904 | 155452 | 148243 0 | 0 | 2 1076.14/1076.54 c 1074s | 16 | 238296 | 155752 | 148243 0 | 0 | 2 1079.04/1079.43 c 1077s | 16 | 238716 | 156052 | 148243 0 | 0 | 2 1081.73/1082.11 c 1080s | 16 | 238981 | 156252 | 148243 0 | 0 | 2 1084.44/1084.87 c 1083s | 16 | 239446 | 156552 | 148243 0 | 0 | 2 1086.73/1087.10 c 1085s | 16 | 240064 | 156852 | 148243 0 | 0 | 2 1089.03/1089.42 c 1087s | 16 | 240557 | 157152 | 148243 0 | 0 | 2 1091.33/1091.77 c 1089s | 16 | 240998 | 157452 | 148243 0 | 0 | 2 1093.83/1094.25 c 1092s | 16 | 241450 | 157752 | 148243 0 | 0 | 2 1095.82/1096.29 c 1094s | 16 | 241944 | 158052 | 148243 0 | 0 | 2 1098.33/1098.71 c 1096s | 16 | 242532 | 158452 | 148243 0 | 0 | 2 1100.43/1100.88 c 1099s | 16 | 242971 | 158752 | 148243 0 | 0 | 2 1102.53/1102.95 c 1101s | 16 | 243393 | 159052 | 148243 0 | 0 | 2 1104.93/1105.35 c 1103s | 16 | 243761 | 159352 | 148243 0 | 0 | 2 1107.23/1107.61 c 1105s | 16 | 244249 | 159652 | 148243 0 | 0 | 2 1109.32/1109.79 c 1107s | 16 | 244633 | 159952 | 148243 0 | 0 | 2 1111.43/1111.88 c 1110s | 16 | 245010 | 160252 | 148243 0 | 0 | 2 1114.22/1114.64 c 1112s | 16 | 245415 | 160552 | 148243 0 | 0 | 2 1116.92/1117.38 c 1115s | 16 | 245822 | 160852 | 148243 0 | 0 | 2 1119.73/1120.16 c 1118s | 16 | 246192 | 161152 | 148243 0 | 0 | 2 1122.52/1122.99 c 1121s | 16 | 246620 | 161452 | 148243 0 | 0 | 2 1125.12/1125.52 c 1123s | 16 | 247055 | 161752 | 148243 0 | 0 | 2 1127.92/1128.30 c 1126s | 16 | 247476 | 162052 | 148243 0 | 0 | 2 1130.52/1130.95 c 1129s | 16 | 247868 | 162352 | 148243 0 | 0 | 2 1132.72/1133.15 c 1131s | 16 | 248126 | 162552 | 148243 0 | 0 | 2 1135.31/1135.73 c 1133s | 16 | 248365 | 162752 | 148243 0 | 0 | 2 1137.61/1138.07 c 1136s | 16 | 248652 | 162952 | 148243 0 | 0 | 2 1139.72/1140.10 c 1138s | 16 | 248914 | 163152 | 148243 0 | 0 | 2 1142.31/1142.75 c 1140s | 16 | 249352 | 163452 | 148243 0 | 0 | 2 1145.21/1145.62 c 1143s | 16 | 249868 | 163852 | 148243 0 | 0 | 2 1147.81/1148.24 c 1146s | 16 | 250262 | 164152 | 148243 0 | 0 | 2 1150.21/1150.60 c 1148s | 16 | 250660 | 164452 | 148243 0 | 0 | 2 1152.70/1153.19 c 1151s | 16 | 251036 | 164752 | 148243 0 | 0 | 2 1155.30/1155.75 c 1153s | 16 | 251483 | 165052 | 148243 0 | 0 | 2 1157.59/1158.05 c 1156s | 16 | 251891 | 165352 | 148243 0 | 0 | 2 1159.70/1160.12 c 1158s | 16 | 252171 | 165552 | 148243 0 | 0 | 2 1162.10/1162.53 c 1160s | 16 | 252650 | 165852 | 148243 0 | 0 | 2 1164.50/1164.98 c 1163s | 16 | 253037 | 166152 | 148243 0 | 0 | 2 1167.50/1167.93 c 1166s | 16 | 253475 | 166452 | 148243 0 | 0 | 2 1169.79/1170.27 c 1168s | 16 | 253747 | 166652 | 148243 0 | 0 | 2 1172.09/1172.57 c 1170s | 16 | 254208 | 166952 | 148243 0 | 0 | 2 1174.89/1175.33 c 1173s | 16 | 254704 | 167252 | 148243 0 | 0 | 2 1176.89/1177.34 c 1175s | 16 | 255037 | 167452 | 148243 0 | 0 | 2 1179.29/1179.71 c 1177s | 16 | 255332 | 167652 | 148243 0 | 0 | 2 1181.69/1182.10 c 1180s | 16 | 255603 | 167852 | 148243 0 | 0 | 2 1184.19/1184.69 c 1182s | 16 | 255861 | 168052 | 148243 0 | 0 | 2 1186.38/1186.88 c 1185s | 16 | 256143 | 168252 | 148243 0 | 0 | 2 1188.99/1189.48 c 1187s | 16 | 256417 | 168452 | 148243 0 | 0 | 2 1191.29/1191.78 c 1189s | 16 | 256714 | 168652 | 148243 0 | 0 | 2 1193.88/1194.35 c 1192s | 16 | 256977 | 168852 | 148243 0 | 0 | 2 1196.29/1196.75 c 1194s | 16 | 257302 | 169052 | 148243 0 | 0 | 2 1198.88/1199.35 c 1197s | 16 | 257566 | 169252 | 148243 0 | 0 | 2 1201.69/1202.19 c 1200s | 16 | 257838 | 169452 | 148243 0 | 0 | 2 1204.38/1204.82 c 1203s | 16 | 258102 | 169652 | 148243 0 | 0 | 2 1206.98/1207.45 c 1205s | 16 | 258373 | 169852 | 148243 0 | 0 | 2 1209.98/1210.44 c 1208s | 16 | 258647 | 170052 | 148243 0 | 0 | 2 1212.67/1213.18 c 1211s | 16 | 259033 | 170352 | 148243 0 | 0 | 2 1215.47/1215.98 c 1214s | 16 | 259427 | 170652 | 148243 0 | 0 | 2 1218.27/1218.74 c 1216s | 16 | 259874 | 170952 | 148243 0 | 0 | 2 1220.58/1221.10 c 1219s | 16 | 260146 | 171152 | 148243 0 | 0 | 2 1222.68/1223.17 c 1221s | 16 | 260403 | 171352 | 148243 0 | 0 | 2 1224.77/1225.25 c 1223s | 16 | 260661 | 171552 | 148243 0 | 0 | 2 1226.87/1227.32 c 1225s | 16 | 260907 | 171752 | 148243 0 | 0 | 2 1228.88/1229.36 c 1227s | 16 | 261188 | 171952 | 148243 0 | 0 | 2 1231.07/1231.53 c 1229s | 16 | 261455 | 172152 | 148243 0 | 0 | 2 1233.16/1233.64 c 1231s | 16 | 261698 | 172352 | 148243 0 | 0 | 2 1235.86/1236.37 c 1234s | 16 | 262115 | 172652 | 148243 0 | 0 | 2 1238.27/1238.70 c 1236s | 16 | 262373 | 172852 | 148243 0 | 0 | 2 1240.76/1241.28 c 1239s | 16 | 262721 | 173052 | 148243 0 | 0 | 2 1243.77/1244.21 c 1242s | 16 | 263147 | 173352 | 148243 0 | 0 | 2 1245.87/1246.40 c 1244s | 16 | 263460 | 173552 | 148243 0 | 0 | 2 1248.26/1248.77 c 1246s | 16 | 263756 | 173752 | 148243 0 | 0 | 2 1251.06/1251.56 c 1249s | 16 | 264176 | 174052 | 148243 0 | 0 | 2 1253.57/1254.07 c 1252s | 16 | 264416 | 174252 | 148243 0 | 0 | 2 1263.36/1263.90 c 1262s | 16 | 264705 | 174452 | 148243 1 | 0 | 2 1266.26/1266.72 c 1264s | 16 | 264827 | 174552 | 148243 1 | 0 | 2 1269.36/1269.81 c 1268s | 16 | 265123 | 174752 | 148243 1 | 0 | 2 1271.46/1271.95 c 1270s | 16 | 265392 | 174952 | 148243 1 | 0 | 2 1273.56/1274.05 c 1272s | 16 | 265721 | 175152 | 148243 1 | 0 | 2 1275.66/1276.13 c 1274s | 16 | 266022 | 175352 | 148243 1 | 0 | 2 1278.45/1278.96 c 1277s | 16 | 266266 | 175552 | 148243 1 | 0 | 2 1282.46/1282.95 c 1281s | 16 | 266434 | 175652 | 148243 1 | 0 | 2 1285.35/1285.81 c 1284s | 16 | 266860 | 175952 | 148243 1 | 0 | 2 1287.56/1288.08 c 1286s | 16 | 267130 | 176152 | 148243 1 | 0 | 2 1289.87/1290.35 c 1288s | 16 | 267288 | 176252 | 148243 1 | 0 | 2 1292.25/1292.72 c 1290s | 16 | 267611 | 176452 | 148243 1 | 0 | 2 1295.25/1295.77 c 1293s | 16 | 267936 | 176652 | 148243 1 | 0 | 2 1297.85/1298.33 c 1296s | 16 | 268409 | 176952 | 148243 1 | 0 | 2 1299.95/1300.44 c 1298s | 16 | 268698 | 177152 | 148243 1 | 0 | 2 1302.45/1302.94 c 1301s | 16 | 268982 | 177352 | 148243 1 | 0 | 2 1304.55/1305.07 c 1303s | 16 | 269236 | 177552 | 148243 1 | 0 | 2 1307.35/1307.86 c 1306s | 16 | 269693 | 177852 | 148243 1 | 0 | 2 1310.25/1310.71 c 1308s | 16 | 270076 | 178152 | 148243 1 | 0 | 2 1313.25/1313.76 c 1311s | 16 | 270458 | 178452 | 148243 1 | 0 | 2 1316.25/1316.72 c 1314s | 16 | 270884 | 178752 | 148243 1 | 0 | 2 1318.45/1319.00 c 1317s | 16 | 271162 | 178952 | 148243 1 | 0 | 2 1321.25/1321.79 c 1319s | 16 | 271412 | 179152 | 148243 1 | 0 | 2 1323.95/1324.41 c 1322s | 16 | 271680 | 179352 | 148243 1 | 0 | 2 1326.15/1326.66 c 1324s | 16 | 271990 | 179552 | 148243 1 | 0 | 2 1328.94/1329.40 c 1327s | 16 | 272250 | 179752 | 148243 1 | 0 | 2 1331.44/1331.93 c 1330s | 16 | 272518 | 179952 | 148243 1 | 0 | 2 1333.75/1334.26 c 1332s | 16 | 272770 | 180152 | 148243 1 | 0 | 2 1336.65/1337.12 c 1335s | 16 | 273198 | 180452 | 148243 1 | 0 | 2 1339.24/1339.70 c 1337s | 16 | 273479 | 180652 | 148243 1 | 0 | 2 1341.23/1341.77 c 1339s | 16 | 273759 | 180852 | 148243 1 | 0 | 2 1343.64/1344.11 c 1342s | 16 | 274065 | 181052 | 148243 1 | 0 | 2 1346.04/1346.57 c 1344s | 16 | 274549 | 181352 | 148243 1 | 0 | 2 1348.43/1348.91 c 1347s | 16 | 274997 | 181652 | 148243 1 | 0 | 2 1350.94/1351.44 c 1349s | 16 | 275434 | 181952 | 148243 1 | 0 | 2 1353.64/1354.20 c 1352s | 16 | 275832 | 182252 | 148243 1 | 0 | 2 1356.33/1356.86 c 1355s | 16 | 276212 | 182552 | 148243 1 | 0 | 2 1358.53/1359.03 c 1357s | 16 | 276630 | 182852 | 148243 1 | 0 | 2 1361.23/1361.71 c 1359s | 16 | 277139 | 183252 | 148243 1 | 0 | 2 1363.72/1364.24 c 1362s | 16 | 277562 | 183552 | 148243 1 | 0 | 2 1366.02/1366.54 c 1364s | 16 | 277960 | 183852 | 148243 1 | 0 | 2 1368.62/1369.18 c 1367s | 16 | 278302 | 184152 | 148243 1 | 0 | 2 1371.33/1371.84 c 1370s | 16 | 278698 | 184452 | 148243 1 | 0 | 2 1373.93/1374.47 c 1372s | 16 | 279111 | 184752 | 148243 1 | 0 | 2 1376.42/1376.93 c 1375s | 16 | 279528 | 185052 | 148243 1 | 0 | 2 1379.12/1379.62 c 1377s | 16 | 279871 | 185352 | 148243 1 | 0 | 2 1381.72/1382.28 c 1380s | 16 | 280219 | 185652 | 148243 1 | 0 | 2 1384.43/1384.95 c 1383s | 16 | 280599 | 185952 | 148243 1 | 0 | 2 1387.41/1387.90 c 1386s | 16 | 280963 | 186252 | 148243 1 | 0 | 2 1389.62/1390.14 c 1388s | 16 | 281218 | 186452 | 148243 1 | 0 | 2 1391.72/1392.23 c 1390s | 16 | 281459 | 186652 | 148243 1 | 0 | 2 1394.51/1395.01 c 1393s | 16 | 281825 | 186952 | 148243 1 | 0 | 2 1397.22/1397.74 c 1395s | 16 | 282284 | 187252 | 148243 1 | 0 | 2 1400.02/1400.57 c 1398s | 16 | 282681 | 187552 | 148243 1 | 0 | 2 1402.12/1402.66 c 1400s | 16 | 283079 | 187852 | 148243 1 | 0 | 2 1404.22/1404.75 c 1402s | 16 | 283506 | 188152 | 148243 1 | 0 | 2 1406.32/1406.90 c 1405s | 16 | 283898 | 188452 | 148243 1 | 0 | 2 1408.51/1409.07 c 1407s | 16 | 284358 | 188752 | 148243 1 | 0 | 2 1411.31/1411.83 c 1410s | 16 | 284941 | 189152 | 148243 1 | 0 | 2 1413.51/1414.01 c 1412s | 16 | 285376 | 189452 | 148243 1 | 0 | 2 1415.81/1416.32 c 1414s | 16 | 285799 | 189752 | 148243 1 | 0 | 2 1418.62/1419.13 c 1417s | 16 | 286181 | 190052 | 148243 1 | 0 | 2 1421.60/1422.16 c 1420s | 16 | 286573 | 190352 | 148243 1 | 0 | 2 1423.80/1424.30 c 1422s | 16 | 286831 | 190552 | 148243 1 | 0 | 2 1426.32/1426.88 c 1425s | 16 | 287223 | 190852 | 148243 1 | 0 | 2 1429.01/1429.55 c 1427s | 16 | 287592 | 191152 | 148243 1 | 0 | 2 1431.21/1431.77 c 1429s | 16 | 287854 | 191352 | 148243 1 | 0 | 2 1433.60/1434.11 c 1432s | 16 | 288251 | 191652 | 148243 1 | 0 | 2 1436.40/1436.95 c 1435s | 16 | 288626 | 191952 | 148243 1 | 0 | 2 1438.90/1439.44 c 1437s | 16 | 289010 | 192252 | 148243 1 | 0 | 2 1441.30/1441.83 c 1440s | 16 | 289398 | 192552 | 148243 1 | 0 | 2 1443.59/1444.10 c 1442s | 16 | 289664 | 192752 | 148243 1 | 0 | 2 1445.59/1446.12 c 1444s | 16 | 289915 | 192952 | 148243 1 | 0 | 2 1447.60/1448.15 c 1446s | 16 | 290182 | 193152 | 148243 1 | 0 | 2 1449.80/1450.31 c 1448s | 16 | 290451 | 193352 | 148243 1 | 0 | 2 1451.79/1452.33 c 1450s | 16 | 290702 | 193552 | 148243 1 | 0 | 2 1453.89/1454.43 c 1452s | 16 | 290956 | 193752 | 148243 1 | 0 | 2 1455.90/1456.44 c 1454s | 16 | 291228 | 193952 | 148243 1 | 0 | 2 1458.58/1459.17 c 1457s | 16 | 291620 | 194252 | 148243 1 | 0 | 2 1460.88/1461.42 c 1459s | 16 | 291856 | 194452 | 148243 1 | 0 | 2 1463.19/1463.76 c 1461s | 16 | 292106 | 194652 | 148243 1 | 0 | 2 1465.90/1466.41 c 1464s | 16 | 292352 | 194852 | 148243 1 | 0 | 2 1468.10/1468.62 c 1466s | 16 | 292581 | 195052 | 148243 1 | 0 | 2 1470.29/1470.85 c 1469s | 16 | 292825 | 195252 | 148243 1 | 0 | 2 1472.68/1473.20 c 1471s | 16 | 293073 | 195452 | 148243 1 | 0 | 2 1474.88/1475.42 c 1473s | 16 | 293322 | 195652 | 148243 1 | 0 | 2 1476.98/1477.54 c 1475s | 16 | 293586 | 195852 | 148243 1 | 0 | 2 1479.18/1479.72 c 1477s | 16 | 293810 | 196052 | 163068 1 | 0 | 2 1481.48/1482.02 c 1480s | 16 | 294049 | 196252 | 163068 1 | 0 | 2 1483.99/1484.55 c 1482s | 16 | 294282 | 196452 | 163068 1 | 0 | 2 1486.69/1487.30 c 1485s | 16 | 294548 | 196652 | 163068 1 | 0 | 2 1489.08/1489.67 c 1487s | 16 | 294818 | 196852 | 163068 1 | 0 | 2 1491.48/1492.05 c 1490s | 16 | 295118 | 197052 | 163068 1 | 0 | 2 1493.98/1494.59 c 1492s | 16 | 295358 | 197252 | 163068 1 | 0 | 2 1496.18/1496.79 c 1494s | 17 | 295561 | 197432 | 163068 1 | 0 | 2 1502.58/1503.10 c 1501s | 17 | 296516 | 197532 | 163068 1 | 0 | 2 1505.18/1505.72 c 1503s | 17 | 296769 | 197732 | 163068 1 | 0 | 2 1508.48/1509.02 c 1507s | 17 | 297010 | 197932 | 163068 1 | 0 | 2 1511.27/1511.87 c 1510s | 17 | 297252 | 198132 | 163068 1 | 0 | 2 1513.78/1514.37 c 1512s | 17 | 297496 | 198332 | 163068 1 | 0 | 2 1516.49/1517.09 c 1515s | 17 | 297791 | 198532 | 163068 1 | 0 | 2 1518.58/1519.12 c 1517s | 17 | 298101 | 198732 | 163068 1 | 0 | 2 1520.68/1521.24 c 1519s | 17 | 298484 | 199032 | 163068 1 | 0 | 2 1523.57/1524.13 c 1522s | 17 | 298888 | 199332 | 163068 1 | 0 | 2 1525.67/1526.22 c 1524s | 17 | 299125 | 199532 | 163068 1 | 0 | 2 1528.38/1528.99 c 1527s | 17 | 299818 | 200032 | 163068 1 | 0 | 2 1530.97/1531.54 c 1529s | 17 | 300286 | 200432 | 163068 1 | 0 | 2 1533.67/1534.21 c 1532s | 17 | 300792 | 200832 | 163068 1 | 0 | 2 1535.97/1536.56 c 1534s | 17 | 301173 | 201132 | 163068 1 | 0 | 2 1538.27/1538.81 c 1536s | 17 | 301565 | 201432 | 163068 1 | 0 | 2 1540.57/1541.11 c 1539s | 17 | 301949 | 201732 | 163068 1 | 0 | 2 1542.77/1543.38 c 1541s | 17 | 302354 | 202032 | 163068 1 | 0 | 2 1544.97/1545.52 c 1543s | 17 | 302722 | 202332 | 163068 1 | 0 | 2 1547.37/1547.94 c 1546s | 17 | 303210 | 202732 | 163068 1 | 0 | 2 1549.57/1550.14 c 1548s | 17 | 303703 | 203132 | 163068 1 | 0 | 2 1551.86/1552.43 c 1550s | 17 | 304190 | 203532 | 163068 1 | 0 | 2 1554.17/1554.70 c 1552s | 17 | 304696 | 203932 | 163068 1 | 0 | 2 1556.57/1557.14 c 1555s | 17 | 305191 | 204332 | 163068 1 | 0 | 2 1558.76/1559.37 c 1557s | 17 | 305558 | 204632 | 163068 1 | 0 | 2 1561.26/1561.86 c 1560s | 17 | 305949 | 204932 | 163068 1 | 0 | 2 1563.86/1564.49 c 1562s | 17 | 306352 | 205232 | 163068 1 | 0 | 2 1566.16/1566.72 c 1564s | 17 | 306901 | 205632 | 163068 1 | 0 | 2 1568.26/1568.86 c 1567s | 17 | 307434 | 206032 | 163068 1 | 0 | 2 1570.65/1571.22 c 1569s | 17 | 308010 | 206432 | 163068 1 | 0 | 2 1572.75/1573.38 c 1571s | 17 | 308530 | 206832 | 163068 1 | 0 | 2 1575.95/1576.56 c 1574s | 17 | 308935 | 207132 | 163068 1 | 0 | 2 1577.96/1578.60 c 1576s | 17 | 309336 | 207432 | 163068 1 | 0 | 2 1580.35/1580.94 c 1579s | 17 | 309860 | 207832 | 163068 1 | 0 | 2 1582.64/1583.28 c 1581s | 17 | 310406 | 208232 | 163068 1 | 0 | 2 1584.85/1585.44 c 1583s | 17 | 310938 | 208632 | 163068 1 | 0 | 2 1587.45/1588.05 c 1586s | 17 | 311432 | 209032 | 163068 1 | 0 | 2 1590.06/1590.61 c 1588s | 17 | 311922 | 209432 | 163068 1 | 0 | 2 1592.15/1592.75 c 1590s | 17 | 312282 | 209732 | 163068 1 | 0 | 2 1594.35/1594.95 c 1593s | 17 | 312646 | 210032 | 163068 1 | 0 | 2 1596.44/1597.04 c 1595s | 17 | 313177 | 210432 | 163068 1 | 0 | 2 1598.45/1599.10 c 1597s | 17 | 313836 | 210932 | 163068 1 | 0 | 2 1600.84/1601.41 c 1599s | 17 | 314427 | 211332 | 163068 1 | 0 | 2 1603.44/1604.01 c 1602s | 17 | 314995 | 211732 | 163068 1 | 0 | 2 1606.05/1606.61 c 1604s | 17 | 315569 | 212132 | 163068 1 | 0 | 2 1608.54/1609.15 c 1607s | 17 | 316122 | 212532 | 163068 1 | 0 | 2 1610.84/1611.45 c 1609s | 17 | 316652 | 212932 | 163068 1 | 0 | 2 1612.94/1613.56 c 1611s | 17 | 317068 | 213232 | 163068 1 | 0 | 2 1615.13/1615.72 c 1613s | 17 | 317486 | 213532 | 163068 1 | 0 | 2 1617.13/1617.75 c 1615s | 17 | 318107 | 213932 | 163068 1 | 0 | 2 1619.43/1620.07 c 1618s | 17 | 318673 | 214332 | 163068 1 | 0 | 2 1621.73/1622.37 c 1620s | 17 | 319042 | 214632 | 163068 1 | 0 | 2 1623.93/1624.57 c 1622s | 17 | 319437 | 214932 | 163068 1 | 0 | 2 1626.53/1627.19 c 1625s | 17 | 319970 | 215332 | 163068 1 | 0 | 2 1628.73/1629.30 c 1627s | 17 | 320343 | 215632 | 163068 1 | 0 | 2 1630.73/1631.38 c 1629s | 17 | 320707 | 215932 | 163068 1 | 0 | 2 1632.83/1633.40 c 1631s | 17 | 321082 | 216232 | 163068 1 | 0 | 2 1635.42/1636.08 c 1634s | 17 | 321605 | 216632 | 163068 1 | 0 | 2 1637.72/1638.35 c 1636s | 17 | 322150 | 217032 | 163068 1 | 0 | 2 1640.02/1640.66 c 1638s | 17 | 322721 | 217432 | 163068 1 | 0 | 2 1642.02/1642.68 c 1640s | 17 | 323127 | 217732 | 163068 1 | 0 | 2 1644.72/1645.37 c 1643s | 17 | 323665 | 218132 | 163068 1 | 0 | 2 1646.92/1647.58 c 1645s | 17 | 324083 | 218432 | 163068 1 | 0 | 2 1649.92/1650.57 c 1648s | 17 | 324644 | 218832 | 163068 1 | 0 | 2 1652.62/1653.20 c 1651s | 17 | 325010 | 219132 | 163068 1 | 0 | 2 1655.12/1655.77 c 1653s | 17 | 325379 | 219432 | 163068 1 | 0 | 2 1657.41/1658.09 c 1656s | 17 | 325815 | 219732 | 163068 1 | 0 | 2 1660.11/1660.74 c 1658s | 17 | 326221 | 220032 | 163068 1 | 0 | 2 1662.71/1663.36 c 1661s | 17 | 326631 | 220332 | 163068 1 | 0 | 2 1665.60/1666.27 c 1664s | 17 | 327034 | 220632 | 163068 1 | 0 | 2 1667.90/1668.52 c 1666s | 17 | 327313 | 220832 | 163068 1 | 0 | 2 1670.41/1671.04 c 1669s | 17 | 327553 | 221032 | 163068 1 | 0 | 2 1672.90/1673.50 c 1671s | 17 | 328005 | 221332 | 163068 1 | 0 | 2 1675.21/1675.89 c 1674s | 17 | 328471 | 221632 | 163068 1 | 0 | 2 1677.60/1678.25 c 1676s | 17 | 329103 | 222032 | 163068 1 | 0 | 2 1680.40/1681.07 c 1679s | 17 | 329483 | 222332 | 163068 1 | 0 | 2 1682.70/1683.37 c 1681s | 17 | 329864 | 222632 | 163068 1 | 0 | 2 1685.00/1685.61 c 1683s | 17 | 330223 | 222932 | 163068 1 | 0 | 2 1687.40/1688.00 c 1686s | 17 | 330580 | 223232 | 163068 1 | 0 | 2 1690.00/1690.65 c 1688s | 17 | 330999 | 223532 | 163068 1 | 0 | 2 1692.41/1693.01 c 1691s | 17 | 331383 | 223832 | 163068 1 | 0 | 2 1694.61/1695.29 c 1693s | 17 | 331773 | 224132 | 163068 1 | 0 | 2 1696.71/1697.36 c 1695s | 17 | 332236 | 224432 | 163068 1 | 0 | 2 1698.91/1699.50 c 1697s | 17 | 332652 | 224732 | 163068 1 | 0 | 2 1701.10/1701.71 c 1699s | 17 | 333094 | 225032 | 163068 1 | 0 | 2 1703.30/1703.97 c 1702s | 17 | 333691 | 225432 | 163068 1 | 0 | 2 1705.39/1706.06 c 1704s | 17 | 334090 | 225732 | 163068 1 | 0 | 2 1708.19/1708.81 c 1707s | 17 | 334625 | 226132 | 163068 1 | 0 | 2 1710.30/1710.94 c 1709s | 17 | 335041 | 226432 | 163068 1 | 0 | 2 1712.90/1713.57 c 1711s | 17 | 335570 | 226832 | 163068 1 | 0 | 2 1715.29/1715.91 c 1714s | 17 | 335969 | 227132 | 163068 1 | 0 | 2 1717.89/1718.56 c 1716s | 17 | 336470 | 227532 | 163068 1 | 0 | 2 1720.49/1721.13 c 1719s | 17 | 336932 | 227832 | 163068 1 | 0 | 2 1723.10/1723.76 c 1721s | 17 | 337340 | 228132 | 163068 1 | 0 | 2 1725.69/1726.32 c 1724s | 17 | 337741 | 228432 | 163068 1 | 0 | 2 1727.99/1728.61 c 1726s | 17 | 338165 | 228732 | 163068 1 | 0 | 2 1730.29/1730.99 c 1729s | 17 | 338590 | 229032 | 163068 1 | 0 | 2 1732.59/1733.28 c 1731s | 17 | 339097 | 229332 | 163068 1 | 0 | 2 1735.20/1735.89 c 1734s | 17 | 339692 | 229732 | 163068 1 | 0 | 2 1737.40/1738.09 c 1736s | 17 | 340053 | 230032 | 163068 1 | 0 | 2 1739.79/1740.43 c 1738s | 17 | 340408 | 230332 | 163068 1 | 0 | 2 1742.18/1742.89 c 1741s | 17 | 340771 | 230632 | 163068 1 | 0 | 2 1744.68/1745.37 c 1743s | 17 | 341124 | 230932 | 163068 1 | 0 | 2 1747.18/1747.86 c 1746s | 17 | 341368 | 231132 | 163068 1 | 0 | 2 1749.28/1749.92 c 1748s | 17 | 341625 | 231332 | 163068 1 | 0 | 2 1751.98/1752.63 c 1750s | 17 | 342039 | 231632 | 163068 1 | 0 | 2 1753.99/1754.68 c 1752s | 17 | 342276 | 231832 | 163068 1 | 0 | 2 1756.18/1756.86 c 1755s | 17 | 342551 | 232032 | 163068 1 | 0 | 2 1758.88/1759.53 c 1757s | 17 | 343057 | 232432 | 163068 1 | 0 | 2 1761.08/1761.70 c 1759s | 17 | 343486 | 232732 | 163068 1 | 0 | 2 1763.37/1764.02 c 1762s | 17 | 343900 | 233032 | 163068 1 | 0 | 2 1765.57/1766.25 c 1764s | 17 | 344353 | 233332 | 163068 1 | 0 | 2 1768.29/1768.96 c 1767s | 17 | 344756 | 233632 | 163068 1 | 0 | 2 1770.68/1771.31 c 1769s | 17 | 345192 | 233932 | 163068 1 | 0 | 2 1773.68/1774.33 c 1772s | 17 | 345532 | 234232 | 163068 1 | 0 | 2 1775.88/1776.51 c 1774s | 17 | 345788 | 234432 | 163068 1 | 0 | 2 1777.97/1778.65 c 1776s | 17 | 346031 | 234632 | 163068 1 | 0 | 2 1780.38/1781.03 c 1779s | 17 | 346267 | 234832 | 163068 1 | 0 | 2 1782.98/1783.64 c 1781s | 17 | 346530 | 235032 | 163068 1 | 0 | 2 1785.18/1785.86 c 1784s | 17 | 346833 | 235232 | 163068 1 | 0 | 2 1787.47/1788.14 c 1786s | 17 | 347095 | 235432 | 163068 1 | 0 | 2 1789.97/1790.62 c 1788s | 17 | 347355 | 235632 | 163068 1 | 0 | 2 1792.47/1793.12 c 1791s | 17 | 347684 | 235832 | 163068 1 | 0 | 2 1795.56/1796.26 c 1794s | 17 | 347949 | 236032 | 163068 1 | 0 | 2 1798.37/1799.04 c 1797s | 17 | 348232 | 236232 | 163068 1 | 0 | 2
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-4106601-1466274393/watcher-4106601-1466274393 -o /tmp/evaluation-result-4106601-1466274393/solver-4106601-1466274393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106601-1466274393.opb pid=26723 running on 4 cores: 1,3,5,7 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.28 2.27 2.27 3/179 26726 /proc/meminfo: memFree=28497148/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=289212 CPUtime=0 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 4 0 29485027 296153088 854 33554432000 4194304 16246674 140733206952688 140733206952112 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 73071 866 441 2943 0 69965 0 [pid=26726/tid=26727] ppid=26723 vsize=305596 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 312930304 914 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=309692 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 317124608 932 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=313788 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29485028 321318912 947 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.28 2.27 2.27 3/179 26726 /proc/meminfo: memFree=28497148/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 26768 0 0 0 5 3 0 0 20 0 4 0 29485027 1333334016 26556 33554432000 4194304 16246674 140733206952688 140733206952000 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 325521 26571 800 2943 0 322415 0 [pid=26726/tid=26727] ppid=26723 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1333334016 26583 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1333334016 26594 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1333334016 26605 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.20053 s] /proc/loadavg: 2.28 2.27 2.27 3/179 26726 /proc/meminfo: memFree=28497148/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1307204 CPUtime=0.19 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 47757 0 0 0 12 7 0 0 20 0 4 0 29485027 1338576896 47545 33554432000 4194304 16246674 140733206952688 140733206952000 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 326801 47550 834 2943 0 323695 0 [pid=26726/tid=26727] ppid=26723 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1338576896 47552 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1338576896 47554 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1338576896 47558 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.3005 s] /proc/loadavg: 2.28 2.27 2.27 3/179 26726 /proc/meminfo: memFree=28497148/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1314372 CPUtime=0.28 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 49684 0 0 0 21 7 0 0 20 0 4 0 29485027 1345916928 49472 33554432000 4194304 16246674 140733206952688 140733206952000 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 328593 49472 835 2943 0 325487 0 [pid=26726/tid=26727] ppid=26723 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1345916928 49472 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1345916928 49472 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1345916928 49472 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1314372 [startup+0.700431 s] /proc/loadavg: 2.28 2.27 2.27 3/179 26726 /proc/meminfo: memFree=28497148/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=0.69 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 60830 0 0 0 60 9 0 0 20 0 4 0 29485027 1348014080 60618 33554432000 4194304 16246674 140733206952688 140733206950528 12481063 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 60618 835 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 60618 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 60618 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 60618 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1316420 [startup+1.50043 s] /proc/loadavg: 2.28 2.27 2.27 3/183 26730 /proc/meminfo: memFree=28209056/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=1.49 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 72498 0 0 0 138 11 0 0 20 0 4 0 29485027 1348014080 72286 33554432000 4194304 16246674 140733206952688 140733206934592 5991600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 72286 895 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 72286 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 72286 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 72286 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.10043 s] /proc/loadavg: 2.28 2.27 2.27 3/183 26730 /proc/meminfo: memFree=28195540/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=3.08 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 75924 0 0 0 297 11 0 0 20 0 4 0 29485027 1348014080 75712 33554432000 4194304 16246674 140733206952688 140733206934592 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 75712 910 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 75712 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 75712 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 75712 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1316420 [startup+6.30043 s] /proc/loadavg: 2.26 2.26 2.27 3/183 26730 /proc/meminfo: memFree=28187364/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=6.29 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 77959 0 0 0 617 12 0 0 20 0 4 0 29485027 1348014080 77747 33554432000 4194304 16246674 140733206952688 140733206934592 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 77747 910 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77747 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77747 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77747 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.24 2.26 2.27 3/183 26730 /proc/meminfo: memFree=28187440/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=12.69 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 77962 0 0 0 1257 12 0 0 20 0 4 0 29485027 1348014080 77750 33554432000 4194304 16246674 140733206952688 140733206951784 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 77750 913 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.18 2.25 2.26 4/183 26730 /proc/meminfo: memFree=28144824/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=25.48 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 77962 0 0 0 2536 12 0 0 20 0 4 0 29485027 1348014080 77750 33554432000 4194304 16246674 140733206952688 140733206934592 12997776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 77750 913 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 77750 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1316420 [startup+51.1006 s] /proc/loadavg: 2.27 2.26 2.27 3/183 26730 /proc/meminfo: memFree=28069016/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 83659 0 0 0 5093 15 0 0 20 0 4 0 29485027 1348014080 83447 33554432000 4194304 16246674 140733206952688 140733206934592 6837020 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 83447 913 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 83447 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 83447 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 83447 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.48 2.31 2.28 3/183 26731 /proc/meminfo: memFree=27834924/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 122649 0 0 0 10205 23 0 0 20 0 4 0 29485027 1348014080 122437 33554432000 4194304 16246674 140733206952688 140733206934464 13927610 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 329105 122437 915 2943 0 325999 0 [pid=26726/tid=26727] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 122437 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 122437 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 1348014080 122437 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 2466372 [startup+1362.3 s] /proc/loadavg: 2.36 2.32 2.28 3/183 27006 /proc/meminfo: memFree=26677048/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1361.83 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 555996 0 0 0 135937 246 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206934592 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 2466372 [startup+1422.3 s] /proc/loadavg: 2.29 2.31 2.27 4/184 27060 /proc/meminfo: memFree=26692960/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1421.81 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556025 0 0 0 141926 255 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206950528 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 2466372 [startup+1482.3 s] /proc/loadavg: 2.27 2.29 2.27 4/183 27061 /proc/meminfo: memFree=26681436/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1481.79 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556042 0 0 0 147914 265 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206951784 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 2466372 [startup+1542.31 s] /proc/loadavg: 2.22 2.27 2.26 3/183 27062 /proc/meminfo: memFree=26667924/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1541.77 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556050 0 0 0 153903 274 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206934592 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 2466372 [startup+1602.3 s] /proc/loadavg: 2.29 2.28 2.27 3/183 27063 /proc/meminfo: memFree=26667860/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1601.74 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556075 0 0 0 159890 284 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206934592 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 2466372 [startup+1662.3 s] /proc/loadavg: 2.34 2.29 2.27 4/183 27064 /proc/meminfo: memFree=26667940/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1661.71 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556110 0 0 0 165870 301 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206934592 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 2466372 [startup+1722.3 s] /proc/loadavg: 2.30 2.29 2.27 3/182 27065 /proc/meminfo: memFree=26646520/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1721.69 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556128 0 0 0 171853 316 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206934592 4220498 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 2466372 [startup+1782.3 s] /proc/loadavg: 2.21 2.27 2.26 3/183 27067 /proc/meminfo: memFree=26612436/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2466372 CPUtime=1781.67 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556140 0 0 0 177836 331 0 0 20 0 4 0 29485027 2525564928 557854 33554432000 4194304 16246674 140733206952688 140733206951864 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616593 557854 918 2943 0 613487 0 [pid=26726/tid=26727] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2466372 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2525564928 557854 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 2466372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 2.23 2.26 2.26 4/183 27067 /proc/meminfo: memFree=26612640/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2467396 CPUtime=1800.07 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556178 0 0 0 179672 335 0 0 20 0 4 0 29485027 2526613504 557888 33554432000 4194304 16246674 140733206952688 140733206934592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616849 557888 918 2943 0 613743 0 [pid=26726/tid=26727] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2467396 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 26726 sig 9 ??? kill -26726 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.23 2.26 2.26 4/183 27067 /proc/meminfo: memFree=26612640/32872528 swapFree=1499884/1696108 [pid=26726] ppid=26723 vsize=2467396 CPUtime=1800.07 cores=1,3,5,7 /proc/26726/stat : 26726 (toysat) R 26723 26726 24910 0 -1 4202496 556178 0 0 0 179672 335 0 0 20 0 4 0 29485027 2526613504 557888 33554432000 4194304 16246674 140733206952688 140733206934592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26726/statm: 616849 557888 918 2943 0 613743 0 [pid=26726/tid=26727] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26727/stat : 26727 (toysat) S 26723 26726 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045999647984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26726/tid=26728] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26728/stat : 26728 (toysat) S 26723 26726 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045989158128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=26726/tid=26729] ppid=26723 vsize=2467396 CPUtime=0 cores=1,3,5,7 /proc/26726/task/26729/stat : 26729 (toysat) S 26723 26726 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29485028 2526613504 557888 33554432000 4194304 16246674 140733206952688 140045978684592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2467396 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1796.73 CPU system time (s): 3.35449 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 2467396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.73 system time used= 3.35449 maximum resident set size= 2231552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 556178 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= 648 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.853 second user time and 16.3645 second system time The end
Begin job on node137 at 2016-06-18 20:26:33 IDJOB=4106601 IDBENCH=48126 IDSOLVER=2542 FILE ID=node137/4106601-1466274393 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106601-1466274393/watcher-4106601-1466274393 -o /tmp/evaluation-result-4106601-1466274393/solver-4106601-1466274393 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106601-1466274393.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED=874380361 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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 : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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 : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 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 : 2666.486 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: 28497528 kB Buffers: 154280 kB Cached: 258848 kB SwapCached: 1268 kB Active: 1673320 kB Inactive: 259016 kB Active(anon): 1520392 kB Inactive(anon): 1028 kB Active(file): 152928 kB Inactive(file): 257988 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16528 kB Writeback: 0 kB AnonPages: 3201868 kB Mapped: 10924 kB Shmem: 0 kB Slab: 607936 kB SReclaimable: 51760 kB SUnreclaim: 556176 kB KernelStack: 1520 kB PageTables: 10540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3359784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1515520 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= 71672 MiB End job on node137 at 2016-06-18 20:56:34