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.06 | 1800.34 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air02.opb |
| MD5SUM | 3f00532e02ccc246cb25b1a4f0a837d4 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3905 |
| Best CPU time to get the best result obtained on this benchmark | 189.275 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3905 |
| Optimality of the best value was proved | YES |
| Number of variables | 6774 |
| Total number of constraints | 50 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 50 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 3729 |
| Number of terms in the objective function | 6774 |
| Biggest coefficient in the objective function | 4804 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 6613094 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 4804 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 6613094 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T01:34:28+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-4099753-1466206468.opb"] 0.00/0.01 c use --random-gen="660175173 3669931501 721250637 846914259 1213807569 3928434142 3064835538 4163118286 1702325134 617727931 1178979343 3175334623 3512953084 2773222807 790449692 3439184575 1462780517 3308510673 1793802928 2999649354 3145425929 1820652122 2947408911 2240348614 2228455414 2217290448 4160209364 183161670 3537717993 94867667 1996147227 907772647 1658524728 1463801918 3497737400 1507683842 1061575609 2239730629 1004878092 3505948415 465290459 1681373628 622159041 2665836922 1288240419 4273940684 2956724001 240471031 1685508726 1263944395 3058537705 64329686 3218762428 3343497184 2047163450 3668723495 3755779148 1745533946 3111771957 1260990465 492237814 542487028 1392884508 2635454566 2091579343 3396832125 605834343 4199658782 3824165592 61386543 1832890877 1438004218 2545335645 1132747996 883612985 2992737607 1454609239 704155784 50307942 754787203 2657768994 4128784526 3126965307 219234840 460252197 3995768786 2326681537 2078871307 2984066177 3326986842 499150840 3458543237 3105318666 277983292 1167919430 3699696211 4010694742 1656102766 2451587621 4000629269 3997124088 4051205098 370893286 352117461 3963961431 366229750 1030063606 2927816857 1560674606 297717665 3597097500 4218381876 949830006 4174368274 2280446833 2656660159 3775199399 1740166238 3695995259 322096246 2344714791 248335503 142051140 3284466139 1677863646 1252127240 4121099912 334345604 3621404641 943560078 379322213 1258074052 3750049934 2638496249 1719362203 496188518 180602403 1816623735 2444846338 3634368586 586535882 3484450672 2294819804 4104275941 3550119736 2335113665 1329710240 1978963300 864317614 127204702 3917301832 1826609931 3971417398 2397533480 2804181287 2347341904 4041579760 3753365645 379280201 58627256 2894654863 1961087236 3675376756 3747607732 543521168 3941470047 1816848392 4186373924 4209845346 1721358664 1969112636 1553912400 227954628 925296139 3835817021 1266082169 3888278089 748333349 1731696704 145648693 2726695167 3258063298 2722402174 1284963509 1018593505 1681442589 1961026751 1426947104 2548285966 1197889443 3725197619 2288259048 3331399776 3781289871 3646656871 3887778678 3829885599 2201467625 4178062679 102386401 3949702771 680748381 3976417231 1971822171 1121546695 3542927605 2419978972 301021750 2811798531 1292043251 3932692317 556670081 2786017749 3501689149 2771142383 291037672 1187384582 3643527167 2651049942 1190867353 34322714 2556927098 2024546285 3298526220 2263063022 1840444880 1855778534 143799231 3907525266 963868433 298748590 3270978663 3557645029 3752723713 4131456214 3830292645 235282020 2873129077 1496980397 1291935229 1427148830 1600302830 3935591368 1366296100 1703688709 1155477044 3542846742 3455129049 901926363 511469019 3174922074 2284261001 67613370 502086476 728804612 289666475 255 362436" option to reproduce the execution 0.09/0.15 c #vars 6774 0.09/0.15 c #constraints 50 0.39/0.47 c BCD2: Hardening is enabled. 0.39/0.47 c BCD2: BiasedSearch is enabled. 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 2291 0 | 0 | 0 0.49/0.50 c 0.0s | 0 | 22 | 0 | 2291 0 | 0 | 0 0.49/0.50 c #cpu_time = 0.023s 0.49/0.50 c #wall_clock_time = 0.023s 0.49/0.50 c #decision = 22 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 o 199443 0.49/0.50 c BCD2: updating upper bound: 6613094 -> 199442 0.49/0.53 c BCD2: 0 <= obj <= 199442 0.49/0.53 c BCD2: #cores=0, #unrelaxed=6774, #relaxed=0, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=1 bias=1/2 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 2291 0 | 0 | 0 0.79/0.84 c 0.3s | 1 | 12274 | 100 | 2291 0 | 0 | 0 1.29/1.35 c 0.8s | 1 | 22500 | 204 | 2521 0 | 0 | 0 1.29/1.35 c #cpu_time = 0.806s 1.29/1.35 c #wall_clock_time = 0.808s 1.29/1.35 c #decision = 22500 1.29/1.35 c #random_decision = 0 1.29/1.35 c #conflict = 204 1.29/1.35 c #restart = 1 2.09/2.18 c BCD2: found a new core of size 4913: cost of the new core is >=87 2.09/2.18 c lower bound updated to 87 2.09/2.20 c BCD2: 87 <= obj <= 199442 2.09/2.20 c BCD2: #cores=1, #unrelaxed=1861, #relaxed=4913, #hardened=0 2.09/2.20 c BCD2: #sat=1 #unsat=2 bias=2/3 2.20/2.22 c Solving starts ... 2.20/2.22 c ============================[ Search Statistics ]============================ 2.20/2.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.22 c | | | | Limit GC | Var | Constra 2.20/2.22 c ============================================================================= 2.20/2.23 c 0.0s | 0 | 0 | 0 | 2521 0 | 0 | 0 2.20/2.27 c 0.0s | 0 | 1723 | 0 | 2521 0 | 0 | 0 2.20/2.27 c #cpu_time = 0.038s 2.20/2.27 c #wall_clock_time = 0.038s 2.20/2.27 c #decision = 1723 2.20/2.27 c #random_decision = 0 2.20/2.27 c #conflict = 0 2.20/2.27 c #restart = 0 2.20/2.27 c BCD2: found a new core of size 183: cost of the new core is >=479 2.20/2.27 c lower bound updated to 566 2.20/2.27 c BCD2: 566 <= obj <= 199442 2.20/2.27 c BCD2: #cores=2, #unrelaxed=1678, #relaxed=5096, #hardened=0 2.20/2.27 c BCD2: #sat=1 #unsat=3 bias=3/4 2.30/2.35 c Solving starts ... 2.30/2.35 c ============================[ Search Statistics ]============================ 2.30/2.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.35 c | | | | Limit GC | Var | Constra 2.30/2.35 c ============================================================================= 2.30/2.35 c 0.0s | 0 | 0 | 0 | 2521 0 | 0 | 1 2.30/2.39 c 0.0s | 0 | 1658 | 0 | 2521 0 | 0 | 1 2.30/2.39 c #cpu_time = 0.043s 2.30/2.39 c #wall_clock_time = 0.043s 2.30/2.39 c #decision = 1658 2.30/2.39 c #random_decision = 0 2.30/2.39 c #conflict = 0 2.30/2.39 c #restart = 0 2.30/2.40 c BCD2: found a new core of size 116: cost of the new core is >=35 2.30/2.40 c lower bound updated to 601 2.39/2.40 c BCD2: 601 <= obj <= 199442 2.39/2.40 c BCD2: #cores=3, #unrelaxed=1562, #relaxed=5212, #hardened=0 2.39/2.40 c BCD2: #sat=1 #unsat=4 bias=4/5 2.39/2.49 c Solving starts ... 2.39/2.49 c ============================[ Search Statistics ]============================ 2.39/2.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.39/2.49 c | | | | Limit GC | Var | Constra 2.39/2.49 c ============================================================================= 2.39/2.49 c 0.0s | 0 | 0 | 0 | 2521 0 | 0 | 2 2.49/2.54 c 0.0s | 0 | 1564 | 0 | 2521 0 | 0 | 2 2.49/2.54 c #cpu_time = 0.045s 2.49/2.54 c #wall_clock_time = 0.045s 2.49/2.54 c #decision = 1564 2.49/2.54 c #random_decision = 0 2.49/2.54 c #conflict = 0 2.49/2.54 c #restart = 0 2.49/2.54 c BCD2: found a new core of size 20: cost of the new core is >=895 2.49/2.54 c lower bound updated to 1496 2.49/2.54 c BCD2: 1496 <= obj <= 199442 2.49/2.54 c BCD2: #cores=4, #unrelaxed=1542, #relaxed=5232, #hardened=0 2.49/2.54 c BCD2: #sat=1 #unsat=5 bias=5/6 2.49/2.59 c Solving starts ... 2.49/2.59 c ============================[ Search Statistics ]============================ 2.49/2.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.59 c | | | | Limit GC | Var | Constra 2.49/2.59 c ============================================================================= 2.49/2.59 c 0.0s | 0 | 0 | 0 | 2521 0 | 0 | 3 4.29/4.38 c 1.8s | 1 | 17154 | 100 | 2774 0 | 0 | 3 6.49/6.50 c 3.9s | 1 | 35625 | 200 | 2774 0 | 0 | 3 7.18/7.28 c 4.7s | 2 | 35736 | 250 | 2774 0 | 0 | 3 9.09/9.14 c 6.5s | 3 | 82416 | 475 | 3052 0 | 0 | 3 11.39/11.48 c 8.9s | 3 | 93135 | 675 | 3358 0 | 0 | 3 12.99/13.02 c 10.4s | 4 | 94178 | 813 | 3358 0 | 0 | 3 15.79/15.87 c 13.3s | 4 | 127485 | 986 | 3358 0 | 0 | 3 15.79/15.87 c #cpu_time = 13.242s 15.79/15.87 c #wall_clock_time = 13.277s 15.79/15.87 c #decision = 127485 15.79/15.87 c #random_decision = 244 15.79/15.87 c #conflict = 986 15.79/15.87 c #restart = 4 15.79/15.87 o 15558 15.79/15.88 c BCD2: updating upper bound: 199442 -> 15557 15.89/15.91 c BCD2: 1496 <= obj <= 15557 15.89/15.91 c BCD2: #cores=4, #unrelaxed=1542, #relaxed=5232, #hardened=0 15.89/15.91 c BCD2: #sat=2 #unsat=5 bias=5/7 18.99/19.09 c Solving starts ... 18.99/19.09 c ============================[ Search Statistics ]============================ 18.99/19.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.99/19.09 c | | | | Limit GC | Var | Constra 18.99/19.09 c ============================================================================= 18.99/19.09 c 0.0s | 0 | 0 | 0 | 3358 0 | 0 | 4 19.29/19.37 c 0.3s | 0 | 477 | 4 | 3358 0 | 0 | 4 19.29/19.37 c #cpu_time = 0.278s 19.29/19.37 c #wall_clock_time = 0.279s 19.29/19.37 c #decision = 477 19.29/19.37 c #random_decision = 0 19.29/19.37 c #conflict = 4 19.29/19.37 c #restart = 0 19.29/19.37 c BCD2: relaxing 406 and merging with 4 cores into a new core of size 5638: cost of the new core is >=1497 19.29/19.37 c lower bound updated to 1497 19.39/19.40 c BCD2: 1497 <= obj <= 15557 19.39/19.40 c BCD2: #cores=1, #unrelaxed=1136, #relaxed=5638, #hardened=0 19.39/19.40 c BCD2: #sat=2 #unsat=6 bias=6/8 19.39/19.43 c Solving starts ... 19.39/19.43 c ============================[ Search Statistics ]============================ 19.39/19.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.39/19.43 c | | | | Limit GC | Var | Constra 19.39/19.43 c ============================================================================= 19.39/19.43 c 0.0s | 0 | 0 | 0 | 3358 0 | 14 | 4 20.28/20.39 c 1.0s | 1 | 1880 | 100 | 3358 0 | 14 | 28 20.69/20.76 c 1.3s | 1 | 3225 | 134 | 3694 0 | 14 | 28 20.69/20.76 c #cpu_time = 1.325s 20.69/20.76 c #wall_clock_time = 1.329s 20.69/20.76 c #decision = 3225 20.69/20.76 c #random_decision = 1 20.69/20.76 c #conflict = 134 20.69/20.76 c #restart = 1 20.69/20.76 o 7242 20.69/20.76 c BCD2: updating upper bound: 15557 -> 7241 20.79/20.80 c BCD2: 1497 <= obj <= 7241 20.79/20.80 c BCD2: #cores=1, #unrelaxed=1136, #relaxed=5638, #hardened=0 20.79/20.80 c BCD2: #sat=3 #unsat=6 bias=6/9 20.79/20.84 c Solving starts ... 20.79/20.84 c ============================[ Search Statistics ]============================ 20.79/20.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.79/20.84 c | | | | Limit GC | Var | Constra 20.79/20.84 c ============================================================================= 20.79/20.84 c 0.0s | 0 | 0 | 0 | 3694 0 | 14 | 29 21.29/21.39 c 0.5s | 1 | 1691 | 100 | 3694 0 | 14 | 29 22.29/22.30 c 1.5s | 2 | 3158 | 250 | 3694 0 | 14 | 29 24.09/24.12 c 3.3s | 3 | 5028 | 475 | 3694 0 | 14 | 29 26.29/26.32 c 5.5s | 3 | 7287 | 775 | 4064 0 | 14 | 29 26.50/26.51 c 5.7s | 4 | 7412 | 813 | 4064 0 | 14 | 29 29.09/29.15 c 8.3s | 4 | 9799 | 1213 | 4064 0 | 14 | 29 29.59/29.65 c 8.8s | 5 | 10145 | 1320 | 4064 0 | 14 | 29 32.00/32.07 c 11.2s | 5 | 12013 | 1620 | 4064 0 | 14 | 29 34.79/34.83 c 14.0s | 5 | 12717 | 1920 | 4471 0 | 14 | 29 35.89/35.91 c 15.1s | 6 | 13113 | 2081 | 4471 0 | 14 | 29 38.19/38.29 c 17.5s | 6 | 15321 | 2381 | 4471 0 | 14 | 29 40.69/40.79 c 20.0s | 6 | 17033 | 2781 | 4471 0 | 14 | 29 43.58/43.62 c 22.8s | 6 | 18629 | 3081 | 4471 0 | 14 | 29 44.58/44.65 c 23.8s | 7 | 19041 | 3223 | 4471 0 | 14 | 29 47.29/47.38 c 26.5s | 7 | 21690 | 3623 | 4919 0 | 14 | 29 49.68/49.74 c 28.9s | 7 | 22647 | 3923 | 4919 0 | 14 | 29 52.08/52.12 c 31.3s | 7 | 23574 | 4223 | 4919 0 | 14 | 29 54.28/54.36 c 33.5s | 7 | 24308 | 4523 | 4919 0 | 14 | 29 56.98/57.00 c 36.2s | 7 | 26444 | 4923 | 4919 0 | 14 | 29 56.98/57.08 c 36.2s | 8 | 26560 | 4936 | 4919 0 | 14 | 29 59.08/59.19 c 38.4s | 8 | 28394 | 5036 | 4919 1 | 14 | 29 61.48/61.52 c 40.7s | 8 | 29434 | 5336 | 4919 1 | 14 | 29 63.48/63.54 c 42.7s | 8 | 30126 | 5636 | 4919 1 | 14 | 29 65.58/65.68 c 44.8s | 8 | 30618 | 5936 | 4919 1 | 14 | 29 67.98/68.00 c 47.2s | 8 | 31181 | 6236 | 5411 1 | 14 | 29 70.78/70.80 c 50.0s | 8 | 31725 | 6536 | 5411 1 | 14 | 29 72.88/72.91 c 52.1s | 8 | 32673 | 6836 | 5411 1 | 14 | 29 74.98/75.03 c 54.2s | 8 | 33914 | 7136 | 5411 1 | 14 | 29 77.28/77.39 c 56.6s | 8 | 34629 | 7436 | 5411 1 | 14 | 29 77.98/78.02 c 57.2s | 9 | 34725 | 7506 | 5411 1 | 14 | 29 80.08/80.14 c 59.3s | 9 | 36524 | 7706 | 5411 2 | 14 | 29 82.38/82.40 c 61.6s | 9 | 38321 | 7906 | 5411 2 | 14 | 29 84.48/84.52 c 63.7s | 9 | 39286 | 8106 | 5411 2 | 14 | 29 87.17/87.20 c 66.4s | 9 | 40627 | 8406 | 5411 2 | 14 | 29 89.18/89.27 c 68.4s | 9 | 41370 | 8606 | 5411 2 | 14 | 29 92.27/92.36 c 71.5s | 9 | 42248 | 8906 | 5411 2 | 14 | 29 94.68/94.76 c 73.9s | 9 | 43492 | 9106 | 5411 2 | 14 | 29 97.48/97.54 c 76.7s | 9 | 43955 | 9306 | 5411 2 | 14 | 29 100.28/100.38 c 79.5s | 9 | 44612 | 9506 | 5411 2 | 14 | 29 102.68/102.76 c 81.9s | 9 | 45995 | 9706 | 5411 2 | 14 | 29 105.48/105.60 c 84.8s | 9 | 46731 | 9906 | 5411 2 | 14 | 29 108.37/108.41 c 87.6s | 9 | 47219 | 10106 | 5953 2 | 14 | 29 111.47/111.56 c 90.7s | 9 | 47960 | 10306 | 5953 2 | 14 | 29 113.77/113.88 c 93.0s | 9 | 48729 | 10406 | 5953 2 | 14 | 29 117.27/117.37 c 96.5s | 9 | 49312 | 10606 | 5953 2 | 14 | 29 120.67/120.70 c 99.9s | 9 | 49733 | 10806 | 5953 2 | 14 | 29 123.87/123.92 c 103s | 9 | 50157 | 11006 | 5953 2 | 14 | 29 126.17/126.26 c 105s | 9 | 51308 | 11306 | 5953 2 | 14 | 29 126.67/126.70 c 105s | 10 | 51370 | 11361 | 5953 2 | 14 | 29 129.37/129.40 c 108s | 10 | 53453 | 11561 | 5953 3 | 14 | 29 131.87/131.95 c 111s | 10 | 54115 | 11861 | 5953 3 | 14 | 29 134.17/134.26 c 113s | 10 | 54580 | 12061 | 5953 3 | 14 | 29 136.87/136.90 c 116s | 10 | 56003 | 12361 | 5953 3 | 14 | 29 139.77/139.83 c 118s | 10 | 56938 | 12661 | 5953 3 | 14 | 29 143.57/143.66 c 122s | 10 | 57390 | 12761 | 5953 3 | 14 | 29 147.37/147.48 c 126s | 10 | 57645 | 12861 | 5953 3 | 14 | 29 151.46/151.52 c 130s | 10 | 57918 | 12961 | 5953 3 | 14 | 29 155.26/155.34 c 134s | 10 | 58539 | 13161 | 5953 3 | 14 | 29 158.76/158.86 c 138s | 10 | 58886 | 13361 | 5953 3 | 14 | 29 161.27/161.33 c 140s | 10 | 59879 | 13561 | 5953 3 | 14 | 29 164.27/164.30 c 143s | 10 | 60906 | 13861 | 5953 3 | 14 | 29 166.66/166.71 c 145s | 10 | 61380 | 14161 | 5953 3 | 14 | 29 168.96/169.01 c 148s | 10 | 61965 | 14461 | 5953 3 | 14 | 29 171.96/172.01 c 151s | 10 | 62616 | 14761 | 5953 3 | 14 | 29 174.37/174.49 c 153s | 10 | 65268 | 15161 | 5953 3 | 14 | 29 176.66/176.71 c 155s | 10 | 66148 | 15461 | 5953 3 | 14 | 29 178.86/178.91 c 158s | 10 | 66803 | 15661 | 5953 3 | 14 | 29 180.86/180.96 c 160s | 10 | 67139 | 15861 | 6549 3 | 14 | 29 183.36/183.44 c 162s | 10 | 67874 | 16161 | 6549 3 | 14 | 29 185.66/185.74 c 164s | 10 | 68661 | 16361 | 6549 3 | 14 | 29 188.46/188.57 c 167s | 10 | 69593 | 16661 | 6549 3 | 14 | 29 190.86/190.96 c 170s | 10 | 70525 | 16961 | 6549 3 | 14 | 29 192.36/192.48 c 171s | 11 | 70850 | 17144 | 6549 3 | 14 | 29 194.56/194.61 c 173s | 11 | 72404 | 17244 | 6549 4 | 14 | 29 197.16/197.26 c 176s | 11 | 73264 | 17544 | 6549 4 | 14 | 29 199.36/199.43 c 178s | 11 | 73599 | 17744 | 6549 4 | 14 | 29 201.76/201.81 c 180s | 11 | 73977 | 17944 | 6549 4 | 14 | 29 203.76/203.89 c 183s | 11 | 74281 | 18144 | 6549 4 | 14 | 29 206.56/206.65 c 185s | 11 | 74748 | 18444 | 6549 4 | 14 | 29 208.96/209.03 c 188s | 11 | 75692 | 18744 | 6549 4 | 14 | 29 211.65/211.70 c 190s | 11 | 76377 | 19044 | 6549 4 | 14 | 29 214.05/214.18 c 193s | 11 | 77327 | 19344 | 6549 4 | 14 | 29 217.06/217.16 c 196s | 11 | 77912 | 19644 | 6549 4 | 14 | 29 220.16/220.28 c 199s | 11 | 78401 | 19844 | 6549 4 | 14 | 29 222.46/222.50 c 201s | 11 | 79594 | 20044 | 6549 4 | 14 | 29 225.65/225.72 c 204s | 11 | 80341 | 20244 | 6549 4 | 14 | 29 228.55/228.62 c 207s | 11 | 80657 | 20344 | 6549 4 | 14 | 29 231.86/231.92 c 211s | 11 | 81111 | 20544 | 6549 4 | 14 | 29 234.16/234.26 c 213s | 11 | 81767 | 20844 | 6549 4 | 14 | 29 236.96/237.05 c 216s | 11 | 82627 | 21044 | 6549 4 | 14 | 29 239.55/239.64 c 218s | 11 | 83436 | 21244 | 6549 4 | 14 | 29 241.85/241.91 c 221s | 11 | 83872 | 21444 | 6549 4 | 14 | 29 243.95/244.09 c 223s | 11 | 84937 | 21644 | 6549 4 | 14 | 29 246.55/246.69 c 225s | 11 | 86596 | 21944 | 6549 4 | 14 | 29 249.35/249.50 c 228s | 11 | 87100 | 22244 | 6549 4 | 14 | 29 251.95/252.01 c 231s | 11 | 88005 | 22544 | 6549 4 | 14 | 29 255.36/255.49 c 234s | 11 | 88674 | 22844 | 6549 4 | 14 | 29 258.65/258.72 c 237s | 11 | 89025 | 23044 | 6549 4 | 14 | 29 260.76/260.89 c 240s | 11 | 89217 | 23144 | 6549 4 | 14 | 29 263.75/263.88 c 243s | 11 | 89589 | 23344 | 6549 4 | 14 | 29 265.85/265.93 c 245s | 11 | 90554 | 23544 | 6549 4 | 14 | 29 268.55/268.70 c 247s | 11 | 91350 | 23844 | 6549 4 | 14 | 29 271.54/271.66 c 250s | 11 | 92531 | 24044 | 6549 4 | 14 | 29 274.04/274.15 c 253s | 11 | 92902 | 24244 | 6549 4 | 14 | 29 276.06/276.17 c 255s | 11 | 93687 | 24444 | 7204 4 | 14 | 29 278.85/278.98 c 258s | 11 | 94193 | 24644 | 7204 4 | 14 | 29 281.85/281.98 c 261s | 11 | 94708 | 24844 | 7204 4 | 14 | 29 285.25/285.33 c 264s | 11 | 95713 | 25144 | 7204 4 | 14 | 29 288.44/288.59 c 267s | 11 | 96180 | 25344 | 7204 5 | 14 | 29 290.84/290.94 c 270s | 11 | 97801 | 25744 | 7204 5 | 14 | 29 291.35/291.40 c 270s | 12 | 98486 | 25819 | 7204 5 | 14 | 29 293.75/293.82 c 272s | 12 | 102318 | 26119 | 7204 5 | 14 | 29 296.35/296.42 c 275s | 12 | 103441 | 26619 | 7204 5 | 14 | 29 298.15/298.22 c 277s | 12 | 104209 | 26902 | 7204 5 | 14 | 29 298.15/298.22 c #cpu_time = 276.650s 298.15/298.22 c #wall_clock_time = 277.378s 298.15/298.22 c #decision = 104209 298.15/298.22 c #random_decision = 211 298.15/298.22 c #conflict = 26902 298.15/298.22 c #restart = 12 298.15/298.22 o 5300 298.15/298.22 c BCD2: hardening fixes 49 literals 298.15/298.22 c BCD2: updating upper bound: 7241 -> 5299 298.15/298.26 c BCD2: 1497 <= obj <= 5299 298.15/298.26 c BCD2: #cores=1, #unrelaxed=1109, #relaxed=5616, #hardened=49 298.15/298.26 c BCD2: #sat=4 #unsat=6 bias=6/10 298.25/298.30 c Solving starts ... 298.25/298.30 c ============================[ Search Statistics ]============================ 298.25/298.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 298.25/298.30 c | | | | Limit GC | Var | Constra 298.25/298.30 c ============================================================================= 298.25/298.30 c 0.0s | 0 | 0 | 0 | 7204 0 | 63 | 30 300.15/300.26 c 2.0s | 1 | 1853 | 100 | 7204 1 | 63 | 30 301.15/301.28 c 3.0s | 2 | 3749 | 250 | 7204 1 | 63 | 30 303.14/303.25 c 5.0s | 3 | 5801 | 475 | 7204 1 | 63 | 30 305.64/305.70 c 7.4s | 3 | 8333 | 775 | 7204 1 | 63 | 30 305.75/305.85 c 7.5s | 4 | 8396 | 813 | 7204 1 | 63 | 30 308.74/308.82 c 10.5s | 4 | 10740 | 1213 | 7204 1 | 63 | 30 309.44/309.55 c 11.3s | 5 | 12223 | 1320 | 7204 1 | 63 | 30 311.94/312.03 c 13.7s | 5 | 14919 | 1720 | 7204 1 | 63 | 30 314.24/314.36 c 16.1s | 6 | 15565 | 2081 | 7204 1 | 63 | 30 316.64/316.78 c 18.5s | 6 | 17480 | 2381 | 7204 1 | 63 | 30 319.44/319.50 c 21.2s | 6 | 19004 | 2781 | 7204 1 | 63 | 30 322.44/322.57 c 24.3s | 6 | 19747 | 3081 | 7204 1 | 63 | 30 323.14/323.26 c 25.0s | 7 | 20202 | 3223 | 7204 1 | 63 | 30 325.65/325.73 c 27.4s | 7 | 22189 | 3523 | 7204 1 | 63 | 30 327.85/327.95 c 29.7s | 7 | 22937 | 3823 | 7204 1 | 63 | 30 330.44/330.59 c 32.3s | 7 | 23982 | 4223 | 7204 1 | 63 | 30 333.14/333.23 c 34.9s | 7 | 24646 | 4523 | 7204 1 | 63 | 30 335.14/335.24 c 36.9s | 7 | 24944 | 4723 | 7204 1 | 63 | 30 338.14/338.22 c 39.9s | 7 | 25577 | 4923 | 7204 1 | 63 | 30 338.24/338.39 c 40.1s | 8 | 25604 | 4936 | 7204 1 | 63 | 30 340.44/340.59 c 42.3s | 8 | 27013 | 5036 | 7204 2 | 63 | 30 346.44/346.52 c 48.2s | 8 | 30902 | 5336 | 7204 2 | 63 | 30 355.64/355.71 c 57.4s | 8 | 31143 | 5436 | 7204 2 | 63 | 30 363.04/363.18 c 64.9s | 8 | 31445 | 5536 | 7204 2 | 63 | 30 378.23/378.34 c 80.0s | 8 | 31727 | 5636 | 7204 2 | 63 | 30 388.13/388.28 c 90.0s | 8 | 32113 | 5736 | 7204 2 | 63 | 30 394.23/394.33 c 96.0s | 8 | 32723 | 5836 | 7204 2 | 63 | 30 400.53/400.64 c 102s | 8 | 32917 | 5936 | 7204 2 | 63 | 30 408.03/408.12 c 109s | 8 | 33263 | 6036 | 7204 2 | 63 | 30 417.32/417.47 c 119s | 8 | 33779 | 6136 | 7204 2 | 63 | 30 422.92/423.01 c 124s | 8 | 34455 | 6236 | 7204 2 | 63 | 30 425.52/425.60 c 127s | 8 | 34621 | 6336 | 7204 2 | 63 | 30 427.62/427.78 c 129s | 8 | 35051 | 6436 | 7204 2 | 63 | 30 431.62/431.73 c 133s | 8 | 35588 | 6536 | 7204 2 | 63 | 30 438.12/438.24 c 139s | 8 | 36445 | 6636 | 7204 2 | 63 | 30 449.02/449.10 c 150s | 8 | 36830 | 6736 | 7204 2 | 63 | 30 453.12/453.25 c 154s | 8 | 37261 | 6836 | 7204 2 | 63 | 30 458.32/458.45 c 160s | 8 | 37583 | 6936 | 7204 2 | 63 | 30 462.72/462.85 c 164s | 8 | 37903 | 7036 | 7204 2 | 63 | 30 469.92/470.02 c 171s | 8 | 38192 | 7136 | 7204 2 | 63 | 30 484.82/484.90 c 186s | 8 | 38413 | 7236 | 7204 2 | 63 | 30 498.42/498.54 c 200s | 8 | 38596 | 7336 | 7204 2 | 63 | 30 506.72/506.81 c 208s | 8 | 39397 | 7436 | 7204 2 | 63 | 30 508.12/508.29 c 209s | 9 | 39532 | 7506 | 7204 2 | 63 | 30 512.41/512.54 c 214s | 9 | 41425 | 7606 | 7204 2 | 63 | 30 516.31/516.46 c 218s | 9 | 41709 | 7706 | 7204 2 | 63 | 30 518.91/519.08 c 220s | 9 | 42046 | 7806 | 7204 2 | 63 | 30 522.11/522.29 c 223s | 9 | 42268 | 7906 | 7204 2 | 63 | 30 524.81/524.99 c 226s | 9 | 42732 | 8006 | 7204 2 | 63 | 30 527.92/528.01 c 229s | 9 | 47695 | 8406 | 7204 2 | 63 | 30 530.31/530.42 c 232s | 9 | 49074 | 8606 | 7204 2 | 63 | 30 532.61/532.73 c 234s | 9 | 49499 | 8806 | 7204 2 | 63 | 30 534.91/535.05 c 236s | 9 | 50541 | 9106 | 7204 2 | 63 | 30 537.61/537.79 c 239s | 9 | 53166 | 9406 | 7204 2 | 63 | 30 539.91/540.03 c 241s | 9 | 54213 | 9506 | 7204 2 | 63 | 30 542.41/542.55 c 244s | 9 | 60663 | 9806 | 7204 2 | 63 | 30 545.61/545.78 c 247s | 9 | 64864 | 10106 | 7204 2 | 63 | 30 549.10/549.28 c 250s | 9 | 67743 | 10306 | 7204 3 | 63 | 30 551.50/551.62 c 253s | 9 | 70502 | 10406 | 7925 3 | 63 | 30 554.31/554.48 c 256s | 9 | 71697 | 10606 | 7925 3 | 63 | 30 557.50/557.61 c 259s | 9 | 74187 | 10706 | 7925 3 | 63 | 30 561.80/561.93 c 263s | 9 | 74482 | 10806 | 7925 3 | 63 | 30 564.21/564.36 c 266s | 9 | 74720 | 10906 | 7925 3 | 63 | 30 566.51/566.64 c 268s | 9 | 75214 | 11106 | 7925 3 | 63 | 30 570.40/570.59 c 272s | 9 | 76568 | 11306 | 7925 3 | 63 | 30 571.91/572.05 c 273s | 10 | 76936 | 11361 | 7925 3 | 63 | 30 574.50/574.69 c 276s | 10 | 79200 | 11461 | 7925 3 | 63 | 30 577.10/577.22 c 278s | 10 | 79988 | 11661 | 7925 3 | 63 | 30 579.60/579.80 c 281s | 10 | 82303 | 11961 | 7925 3 | 63 | 30 581.70/581.85 c 283s | 10 | 84165 | 12261 | 7925 3 | 63 | 30 583.91/584.09 c 285s | 10 | 85115 | 12561 | 7925 3 | 63 | 30 586.50/586.60 c 288s | 10 | 86576 | 12861 | 7925 3 | 63 | 30 588.51/588.65 c 290s | 10 | 87574 | 13161 | 7925 3 | 63 | 30 590.90/591.07 c 292s | 10 | 88628 | 13461 | 7925 3 | 63 | 30 593.40/593.50 c 295s | 10 | 89668 | 13761 | 7925 3 | 63 | 30 595.70/595.83 c 297s | 10 | 91414 | 14061 | 7925 3 | 63 | 30 597.70/597.86 c 299s | 10 | 93300 | 14361 | 7925 3 | 63 | 30 600.39/600.59 c 302s | 10 | 95903 | 14661 | 7925 3 | 63 | 30 602.59/602.77 c 304s | 10 | 99383 | 14961 | 7925 4 | 63 | 30 605.60/605.71 c 307s | 10 | 102665 | 15361 | 7925 4 | 63 | 30 608.31/608.46 c 310s | 10 | 103511 | 15561 | 7925 4 | 63 | 30 612.10/612.26 c 313s | 10 | 104661 | 15761 | 7925 4 | 63 | 30 614.20/614.31 c 316s | 10 | 104888 | 15861 | 7925 4 | 63 | 30 616.50/616.69 c 318s | 10 | 105523 | 16061 | 7925 4 | 63 | 30 619.00/619.19 c 320s | 10 | 106689 | 16361 | 7925 4 | 63 | 30 621.30/621.41 c 323s | 10 | 107552 | 16561 | 7925 4 | 63 | 30 623.30/623.45 c 325s | 10 | 108778 | 16861 | 7925 4 | 63 | 30 625.99/626.10 c 327s | 11 | 111725 | 17144 | 7925 4 | 63 | 30 628.69/628.84 c 330s | 11 | 114050 | 17444 | 7925 4 | 63 | 30 631.09/631.25 c 332s | 11 | 115759 | 17744 | 7925 4 | 63 | 30 633.29/633.44 c 335s | 11 | 116774 | 18044 | 7925 4 | 63 | 30 635.50/635.65 c 337s | 11 | 117171 | 18244 | 7925 4 | 63 | 30 638.29/638.43 c 340s | 11 | 117809 | 18444 | 7925 4 | 63 | 30 640.49/640.62 c 342s | 11 | 118391 | 18644 | 7925 4 | 63 | 30 645.60/645.78 c 347s | 11 | 119138 | 18844 | 7925 4 | 63 | 30 648.79/648.91 c 350s | 11 | 119861 | 19144 | 7925 4 | 63 | 30 651.59/651.77 c 353s | 11 | 123697 | 19344 | 7925 5 | 63 | 30 654.69/654.86 c 356s | 11 | 124714 | 19644 | 7925 5 | 63 | 30 657.49/657.60 c 359s | 11 | 127967 | 19844 | 7925 5 | 63 | 30 659.89/660.03 c 361s | 11 | 129145 | 20244 | 7925 5 | 63 | 30 662.79/662.96 c 364s | 11 | 130421 | 20644 | 7925 5 | 63 | 30 665.89/666.05 c 367s | 11 | 131150 | 20844 | 7925 5 | 63 | 30 668.49/668.65 c 370s | 11 | 132416 | 21244 | 7925 5 | 63 | 30 670.69/670.82 c 372s | 11 | 133118 | 21444 | 7925 5 | 63 | 30 673.09/673.21 c 374s | 11 | 134929 | 21544 | 7925 5 | 63 | 30 676.08/676.24 c 377s | 11 | 135252 | 21644 | 7925 5 | 63 | 30 678.60/678.80 c 380s | 11 | 135581 | 21744 | 7925 5 | 63 | 30 681.90/682.01 c 383s | 11 | 136614 | 21944 | 7925 5 | 63 | 30 684.38/684.53 c 386s | 11 | 137273 | 22244 | 7925 5 | 63 | 30 686.48/686.67 c 388s | 11 | 138115 | 22544 | 7925 5 | 63 | 30 688.59/688.72 c 390s | 11 | 138919 | 22844 | 7925 5 | 63 | 30 691.58/691.79 c 393s | 11 | 139631 | 23044 | 7925 5 | 63 | 30 694.09/694.20 c 395s | 11 | 140683 | 23344 | 7925 5 | 63 | 30 697.29/697.42 c 399s | 11 | 141623 | 23744 | 7925 5 | 63 | 30 700.48/700.69 c 402s | 11 | 144042 | 23944 | 7925 5 | 63 | 30 704.38/704.59 c 406s | 11 | 144186 | 24044 | 7925 5 | 63 | 30 710.38/710.58 c 412s | 11 | 144422 | 24144 | 7925 5 | 63 | 30 714.18/714.35 c 416s | 11 | 144633 | 24244 | 7925 5 | 63 | 30 716.48/716.62 c 418s | 11 | 144772 | 24344 | 7925 5 | 63 | 30 718.68/718.81 c 420s | 11 | 144993 | 24444 | 7925 5 | 63 | 30 720.78/720.91 c 422s | 11 | 145575 | 24644 | 7925 5 | 63 | 30 723.38/723.50 c 425s | 11 | 148744 | 24844 | 7925 5 | 63 | 30 726.78/726.90 c 428s | 11 | 149875 | 25044 | 7925 5 | 63 | 30 729.18/729.39 c 431s | 11 | 150921 | 25244 | 7925 5 | 63 | 30 731.38/731.50 c 433s | 11 | 151597 | 25444 | 7925 5 | 63 | 30 735.68/735.82 c 437s | 11 | 154843 | 25744 | 7925 6 | 63 | 30 736.78/737.00 c 438s | 12 | 155042 | 25819 | 7925 6 | 63 | 30 739.68/739.85 c 441s | 12 | 157641 | 25919 | 7925 6 | 63 | 30 742.18/742.30 c 444s | 12 | 158831 | 26219 | 7925 6 | 63 | 30 745.58/745.72 c 447s | 12 | 163451 | 26419 | 7925 6 | 63 | 30 747.58/747.74 c 449s | 12 | 163802 | 26519 | 7925 6 | 63 | 30 751.08/751.29 c 452s | 12 | 164824 | 26719 | 7925 6 | 63 | 30 753.68/753.80 c 455s | 12 | 165244 | 26919 | 7925 6 | 63 | 30 757.48/757.65 c 459s | 12 | 167540 | 27019 | 7925 6 | 63 | 30 759.48/759.67 c 461s | 12 | 169605 | 27419 | 7925 6 | 63 | 30 762.08/762.28 c 463s | 12 | 171504 | 27819 | 7925 6 | 63 | 30 764.67/764.84 c 466s | 12 | 173834 | 28119 | 7925 6 | 63 | 30 766.97/767.18 c 468s | 12 | 174571 | 28319 | 7925 6 | 63 | 30 769.47/769.62 c 471s | 12 | 175234 | 28519 | 7925 6 | 63 | 30 772.17/772.34 c 474s | 12 | 175656 | 28719 | 7925 6 | 63 | 30 774.57/774.72 c 476s | 12 | 176154 | 28919 | 7925 6 | 63 | 30 777.07/777.29 c 478s | 12 | 176692 | 29219 | 7925 6 | 63 | 30 780.17/780.36 c 482s | 12 | 178209 | 29419 | 7925 7 | 63 | 30 784.28/784.47 c 486s | 12 | 179088 | 29619 | 7925 7 | 63 | 30 786.48/786.60 c 488s | 12 | 179387 | 29719 | 7925 7 | 63 | 30 789.68/789.90 c 491s | 12 | 179774 | 29919 | 8718 7 | 63 | 30 793.08/793.21 c 494s | 12 | 181921 | 30119 | 8718 7 | 63 | 30 795.28/795.44 c 497s | 12 | 182663 | 30319 | 8718 7 | 63 | 30 798.17/798.30 c 500s | 12 | 185262 | 30519 | 8718 7 | 63 | 30 800.57/800.79 c 502s | 12 | 185841 | 30719 | 8718 7 | 63 | 30 802.77/802.97 c 504s | 12 | 186905 | 31019 | 8718 7 | 63 | 30 805.26/805.43 c 507s | 12 | 188681 | 31419 | 8718 7 | 63 | 30 808.06/808.22 c 509s | 12 | 190465 | 31819 | 8718 7 | 63 | 30 810.37/810.59 c 512s | 12 | 191567 | 32119 | 8718 7 | 63 | 30 813.27/813.46 c 515s | 12 | 192192 | 32419 | 8718 7 | 63 | 30 815.97/816.11 c 517s | 12 | 192528 | 32619 | 8718 7 | 63 | 30 818.17/818.39 c 520s | 12 | 193201 | 32819 | 8718 7 | 63 | 30 821.07/821.26 c 522s | 12 | 194134 | 33019 | 8718 7 | 63 | 30 824.36/824.58 c 526s | 12 | 195841 | 33319 | 8718 7 | 63 | 30 826.76/826.96 c 528s | 12 | 197465 | 33619 | 8718 7 | 63 | 30 828.86/829.05 c 530s | 12 | 199676 | 33919 | 8718 7 | 63 | 30 831.26/831.40 c 533s | 12 | 201252 | 34319 | 8718 7 | 63 | 30 833.46/833.69 c 535s | 12 | 201968 | 34619 | 8718 7 | 63 | 30 836.17/836.36 c 538s | 12 | 202850 | 34919 | 8718 8 | 63 | 30 838.57/838.72 c 540s | 12 | 204507 | 35219 | 8718 8 | 63 | 30 840.76/840.91 c 542s | 12 | 205408 | 35519 | 8718 8 | 63 | 30 843.57/843.78 c 545s | 12 | 206020 | 35819 | 8718 8 | 63 | 30 846.26/846.49 c 548s | 12 | 206819 | 36119 | 8718 8 | 63 | 30 848.66/848.85 c 550s | 12 | 207618 | 36519 | 8718 8 | 63 | 30 851.56/851.73 c 553s | 12 | 209000 | 36819 | 8718 8 | 63 | 30 854.36/854.53 c 556s | 12 | 211833 | 37019 | 8718 8 | 63 | 30 856.76/856.92 c 558s | 12 | 212421 | 37219 | 8718 8 | 63 | 30 859.86/860.05 c 561s | 12 | 212894 | 37419 | 8718 8 | 63 | 30 862.56/862.77 c 564s | 12 | 214721 | 37819 | 8718 8 | 63 | 30 864.86/865.03 c 566s | 12 | 215840 | 38119 | 8718 8 | 63 | 30 867.65/867.86 c 569s | 12 | 216454 | 38419 | 8718 8 | 63 | 30 869.76/869.94 c 571s | 12 | 216945 | 38619 | 8718 8 | 63 | 30 871.86/872.03 c 573s | 13 | 218991 | 38832 | 8718 8 | 63 | 30 874.47/874.63 c 576s | 13 | 220536 | 38932 | 8718 9 | 63 | 30 877.26/877.47 c 579s | 13 | 222606 | 39232 | 8718 9 | 63 | 30 879.76/879.96 c 581s | 13 | 223403 | 39532 | 8718 9 | 63 | 30 881.75/881.96 c 583s | 13 | 223979 | 39732 | 8718 9 | 63 | 30 884.36/884.53 c 586s | 13 | 224843 | 40132 | 8718 9 | 63 | 30 886.56/886.77 c 588s | 13 | 225309 | 40432 | 8718 9 | 63 | 30 889.06/889.21 c 590s | 13 | 226385 | 40832 | 8718 9 | 63 | 30 891.46/891.68 c 593s | 13 | 227980 | 41132 | 8718 9 | 63 | 30 894.16/894.34 c 596s | 13 | 230156 | 41432 | 8718 9 | 63 | 30 896.56/896.70 c 598s | 13 | 232262 | 41732 | 8718 9 | 63 | 30 899.45/899.62 c 601s | 13 | 234499 | 42032 | 8718 9 | 63 | 30 901.96/902.15 c 603s | 13 | 235981 | 42232 | 8718 9 | 63 | 30 904.15/904.36 c 606s | 13 | 238307 | 42532 | 8718 9 | 63 | 30 906.46/906.65 c 608s | 13 | 239488 | 42932 | 8718 9 | 63 | 30 909.56/909.75 c 611s | 13 | 240523 | 43232 | 8718 9 | 63 | 30 911.86/912.00 c 613s | 13 | 241964 | 43532 | 8718 9 | 63 | 30 914.15/914.39 c 616s | 13 | 243140 | 43732 | 8718 9 | 63 | 30 916.65/916.84 c 618s | 13 | 243981 | 43932 | 8718 9 | 63 | 30 918.75/918.92 c 620s | 13 | 244524 | 44132 | 8718 9 | 63 | 30 921.15/921.39 c 623s | 13 | 245663 | 44532 | 8718 9 | 63 | 30 923.85/924.01 c 625s | 13 | 246659 | 44832 | 8718 9 | 63 | 30 926.75/926.91 c 628s | 13 | 247476 | 45132 | 8718 9 | 63 | 30 928.75/928.97 c 630s | 13 | 248276 | 45332 | 8718 9 | 63 | 30 931.34/931.58 c 633s | 13 | 251384 | 45532 | 8718 10 | 63 | 30 933.54/933.72 c 635s | 13 | 252885 | 45732 | 8718 10 | 63 | 30 936.84/937.07 c 638s | 13 | 254301 | 46032 | 8718 10 | 63 | 30 938.85/939.08 c 640s | 13 | 254629 | 46232 | 8718 10 | 63 | 30 941.35/941.59 c 643s | 13 | 255037 | 46432 | 8718 10 | 63 | 30 944.35/944.54 c 646s | 13 | 255438 | 46632 | 8718 10 | 63 | 30 946.45/946.61 c 648s | 13 | 255900 | 46832 | 8718 10 | 63 | 30 948.64/948.89 c 650s | 13 | 256201 | 47032 | 8718 10 | 63 | 30 950.95/951.16 c 652s | 13 | 256491 | 47232 | 8718 10 | 63 | 30 953.85/954.00 c 655s | 13 | 256871 | 47432 | 8718 10 | 63 | 30 956.75/956.92 c 658s | 13 | 257260 | 47632 | 8718 10 | 63 | 30 959.15/959.31 c 661s | 13 | 257626 | 47832 | 8718 10 | 63 | 30 961.84/962.03 c 663s | 13 | 258382 | 48032 | 8718 10 | 63 | 30 964.65/964.88 c 666s | 13 | 259737 | 48232 | 8718 10 | 63 | 30 967.24/967.45 c 669s | 13 | 260077 | 48432 | 8718 10 | 63 | 30 969.54/969.76 c 671s | 13 | 260391 | 48632 | 8718 10 | 63 | 30 972.05/972.22 c 673s | 13 | 260859 | 48832 | 8718 10 | 63 | 30 974.15/974.33 c 676s | 13 | 262428 | 49132 | 8718 10 | 63 | 30 976.75/976.91 c 678s | 13 | 263962 | 49432 | 8718 10 | 63 | 30 978.95/979.13 c 680s | 13 | 264634 | 49632 | 8718 10 | 63 | 30 981.54/981.79 c 683s | 13 | 266124 | 49832 | 8718 10 | 63 | 30 984.04/984.27 c 685s | 13 | 267201 | 50232 | 8718 10 | 63 | 30 986.74/986.92 c 688s | 13 | 267871 | 50532 | 8718 10 | 63 | 30 989.44/989.66 c 691s | 13 | 269682 | 50832 | 8718 10 | 63 | 30 991.64/991.82 c 693s | 13 | 272344 | 51032 | 8718 10 | 63 | 30 994.14/994.40 c 696s | 13 | 272866 | 51232 | 8718 10 | 63 | 30 997.44/997.64 c 699s | 13 | 274281 | 51632 | 8718 10 | 63 | 30 999.54/999.76 c 701s | 13 | 274523 | 51732 | 8718 10 | 63 | 30 1001.94/1002.14 c 703s | 13 | 275303 | 51932 | 8718 10 | 63 | 30 1004.73/1004.93 c 706s | 13 | 276002 | 52132 | 8718 10 | 63 | 30 1008.33/1008.56 c 710s | 13 | 276645 | 52332 | 8718 10 | 63 | 30 1010.85/1011.05 c 712s | 13 | 277068 | 52532 | 8718 10 | 63 | 30 1013.74/1013.90 c 715s | 13 | 277788 | 52832 | 8718 10 | 63 | 30 1016.73/1016.90 c 718s | 13 | 278228 | 53032 | 8718 10 | 63 | 30 1019.23/1019.42 c 721s | 13 | 278351 | 53132 | 8718 10 | 63 | 30 1022.03/1022.23 c 723s | 13 | 278691 | 53332 | 8718 10 | 63 | 30 1024.23/1024.40 c 726s | 13 | 279486 | 53532 | 8718 10 | 63 | 30 1027.23/1027.49 c 729s | 13 | 282175 | 53732 | 8718 11 | 63 | 30 1029.94/1030.18 c 731s | 13 | 285021 | 54032 | 8718 11 | 63 | 30 1032.63/1032.84 c 734s | 13 | 287226 | 54432 | 8718 11 | 63 | 30 1034.83/1035.03 c 736s | 13 | 288149 | 54732 | 8718 11 | 63 | 30 1037.53/1037.75 c 739s | 13 | 289383 | 55132 | 8718 11 | 63 | 30 1039.73/1039.93 c 741s | 13 | 292488 | 55332 | 8718 11 | 63 | 30 1042.03/1042.22 c 743s | 13 | 294111 | 55532 | 8718 11 | 63 | 30 1044.13/1044.34 c 746s | 13 | 296151 | 55732 | 8718 11 | 63 | 30 1046.23/1046.45 c 748s | 13 | 296489 | 55832 | 8718 11 | 63 | 30 1048.24/1048.47 c 750s | 13 | 296769 | 55932 | 8718 11 | 63 | 30 1051.03/1051.27 c 752s | 13 | 297505 | 56132 | 8718 11 | 63 | 30 1053.03/1053.29 c 754s | 13 | 298751 | 56332 | 8718 11 | 63 | 30 1056.63/1056.80 c 758s | 13 | 300178 | 56632 | 8718 11 | 63 | 30 1059.23/1059.48 c 761s | 13 | 302348 | 56932 | 8718 11 | 63 | 30 1061.43/1061.66 c 763s | 13 | 302895 | 57132 | 8718 11 | 63 | 30 1063.93/1064.11 c 765s | 13 | 303751 | 57432 | 8718 11 | 63 | 30 1066.03/1066.25 c 767s | 13 | 304191 | 57632 | 8718 11 | 63 | 30 1068.93/1069.11 c 770s | 13 | 305183 | 57832 | 8718 12 | 63 | 30 1071.13/1071.36 c 773s | 13 | 306067 | 58032 | 8718 12 | 63 | 30 1073.93/1074.18 c 775s | 13 | 309611 | 58332 | 8718 12 | 63 | 30 1074.13/1074.32 c 776s | 14 | 309687 | 58352 | 8718 12 | 63 | 30 1077.72/1077.92 c 779s | 14 | 312379 | 58552 | 8718 12 | 63 | 30 1080.03/1080.28 c 781s | 14 | 312860 | 58752 | 8718 12 | 63 | 30 1082.53/1082.75 c 784s | 14 | 313354 | 58952 | 9590 12 | 63 | 30 1085.13/1085.38 c 787s | 14 | 314020 | 59252 | 9590 12 | 63 | 30 1087.93/1088.11 c 789s | 14 | 315458 | 59452 | 9590 12 | 63 | 30 1090.13/1090.39 c 792s | 14 | 316906 | 59752 | 9590 12 | 63 | 30 1093.12/1093.36 c 795s | 14 | 318922 | 60052 | 9590 12 | 63 | 30 1095.53/1095.72 c 797s | 14 | 320177 | 60352 | 9590 12 | 63 | 30 1098.62/1098.85 c 800s | 14 | 322799 | 60552 | 9590 12 | 63 | 30 1101.22/1101.46 c 803s | 14 | 324563 | 60852 | 9590 12 | 63 | 30 1103.92/1104.14 c 805s | 14 | 325624 | 61152 | 9590 12 | 63 | 30 1106.43/1106.68 c 808s | 14 | 326164 | 61452 | 9590 12 | 63 | 30 1109.73/1109.91 c 811s | 14 | 330192 | 61752 | 9590 12 | 63 | 30 1113.03/1113.22 c 814s | 14 | 332160 | 61852 | 9590 12 | 63 | 30 1118.12/1118.39 c 820s | 14 | 333992 | 62052 | 9590 12 | 63 | 30 1121.72/1121.98 c 823s | 14 | 334236 | 62152 | 9590 12 | 63 | 30 1126.92/1127.15 c 828s | 14 | 334774 | 62252 | 9590 12 | 63 | 30 1130.92/1131.10 c 832s | 14 | 335138 | 62352 | 9590 12 | 63 | 30 1133.02/1133.28 c 834s | 14 | 336031 | 62452 | 9590 12 | 63 | 30 1145.91/1146.11 c 847s | 14 | 336741 | 62652 | 9590 12 | 63 | 30 1149.32/1149.56 c 851s | 14 | 337878 | 62852 | 9590 12 | 63 | 30 1151.32/1151.57 c 853s | 14 | 338334 | 62952 | 9590 12 | 63 | 30 1154.82/1155.02 c 856s | 14 | 338541 | 63052 | 9590 12 | 63 | 30 1157.62/1157.89 c 859s | 14 | 347061 | 63152 | 9590 13 | 63 | 30 1162.32/1162.55 c 864s | 14 | 347664 | 63252 | 9590 13 | 63 | 30 1164.31/1164.59 c 866s | 14 | 348459 | 63352 | 9590 13 | 63 | 30 1166.51/1166.79 c 868s | 14 | 350269 | 63552 | 9590 13 | 63 | 30 1168.81/1169.08 c 870s | 14 | 350786 | 63752 | 9590 13 | 63 | 30 1170.91/1171.19 c 872s | 14 | 351392 | 64052 | 9590 13 | 63 | 30 1173.22/1173.48 c 875s | 14 | 352387 | 64452 | 9590 13 | 63 | 30 1176.01/1176.26 c 877s | 14 | 352998 | 64752 | 9590 13 | 63 | 30 1178.61/1178.84 c 880s | 14 | 354227 | 65152 | 9590 13 | 63 | 30 1181.32/1181.54 c 883s | 14 | 354976 | 65552 | 9590 13 | 63 | 30 1183.91/1184.11 c 885s | 14 | 357226 | 65952 | 9590 13 | 63 | 30 1186.51/1186.71 c 888s | 14 | 358833 | 66252 | 9590 13 | 63 | 30 1189.71/1189.99 c 891s | 14 | 360790 | 66552 | 9590 13 | 63 | 30 1192.41/1192.65 c 894s | 14 | 361166 | 66652 | 9590 13 | 63 | 30 1195.41/1195.66 c 897s | 14 | 361684 | 66752 | 9590 13 | 63 | 30 1197.41/1197.67 c 899s | 14 | 361868 | 66852 | 9590 13 | 63 | 30 1200.51/1200.74 c 902s | 14 | 362194 | 66952 | 9590 13 | 63 | 30 1203.01/1203.29 c 904s | 14 | 364430 | 67252 | 9590 13 | 63 | 30 1205.11/1205.33 c 907s | 14 | 365439 | 67452 | 9590 13 | 63 | 30 1208.71/1208.99 c 910s | 14 | 365981 | 67652 | 9590 13 | 63 | 30 1211.70/1211.99 c 913s | 14 | 366338 | 67852 | 9590 13 | 63 | 30 1213.91/1214.16 c 915s | 14 | 367654 | 68052 | 9590 13 | 63 | 30 1217.62/1217.83 c 919s | 14 | 368597 | 68252 | 9590 13 | 63 | 30 1221.10/1221.38 c 923s | 14 | 368815 | 68352 | 9590 13 | 63 | 30 1224.11/1224.38 c 926s | 14 | 369389 | 68452 | 9590 13 | 63 | 30 1229.91/1230.12 c 931s | 14 | 369651 | 68552 | 9590 13 | 63 | 30 1234.70/1234.98 c 936s | 14 | 369894 | 68652 | 9590 13 | 63 | 30 1239.00/1239.22 c 940s | 14 | 370087 | 68752 | 9590 13 | 63 | 30 1241.30/1241.57 c 943s | 14 | 373296 | 68852 | 9590 13 | 63 | 30 1248.00/1248.22 c 949s | 14 | 373494 | 68952 | 9590 13 | 63 | 30 1254.91/1255.13 c 956s | 14 | 374223 | 69052 | 9590 13 | 63 | 30 1258.10/1258.34 c 960s | 14 | 375276 | 69152 | 9590 13 | 63 | 30 1261.40/1261.67 c 963s | 14 | 375471 | 69252 | 9590 13 | 63 | 30 1263.90/1264.13 c 965s | 14 | 375866 | 69352 | 9590 14 | 63 | 30 1268.90/1269.10 c 970s | 14 | 376368 | 69552 | 9590 14 | 63 | 30 1271.10/1271.31 c 973s | 14 | 378730 | 69652 | 9590 14 | 63 | 30 1275.70/1275.94 c 977s | 14 | 378916 | 69752 | 9590 14 | 63 | 30 1281.49/1281.73 c 983s | 14 | 379169 | 69852 | 9590 14 | 63 | 30 1284.49/1284.74 c 986s | 14 | 379407 | 69952 | 9590 14 | 63 | 30 1287.10/1287.38 c 989s | 14 | 379740 | 70052 | 9590 14 | 63 | 30 1289.90/1290.12 c 991s | 14 | 380353 | 70252 | 9590 14 | 63 | 30 1291.89/1292.14 c 993s | 14 | 381139 | 70452 | 9590 14 | 63 | 30 1294.69/1294.90 c 996s | 14 | 382137 | 70752 | 9590 14 | 63 | 30 1297.09/1297.33 c 999s | 14 | 382703 | 70952 | 9590 14 | 63 | 30 1299.29/1299.53 c 1001s | 14 | 382871 | 71052 | 9590 14 | 63 | 30 1302.79/1303.09 c 1004s | 14 | 383606 | 71252 | 9590 14 | 63 | 30 1305.49/1305.80 c 1007s | 14 | 384341 | 71452 | 9590 14 | 63 | 30 1308.79/1309.01 c 1010s | 14 | 385288 | 71652 | 9590 14 | 63 | 30 1311.29/1311.59 c 1013s | 14 | 385801 | 71852 | 9590 14 | 63 | 30 1314.59/1314.86 c 1016s | 14 | 389591 | 72052 | 9590 14 | 63 | 30 1316.79/1317.02 c 1018s | 14 | 389856 | 72152 | 9590 14 | 63 | 30 1319.69/1320.00 c 1021s | 14 | 392611 | 72352 | 9590 14 | 63 | 30 1323.20/1323.43 c 1025s | 14 | 393473 | 72552 | 9590 14 | 63 | 30 1325.19/1325.45 c 1027s | 14 | 393761 | 72652 | 9590 14 | 63 | 30 1328.49/1328.80 c 1030s | 14 | 394539 | 72852 | 9590 14 | 63 | 30 1330.69/1330.99 c 1032s | 14 | 394784 | 72952 | 9590 14 | 63 | 30 1333.69/1333.91 c 1035s | 14 | 395592 | 73052 | 9590 14 | 63 | 30 1335.69/1335.95 c 1037s | 14 | 395975 | 73152 | 9590 14 | 63 | 30 1339.38/1339.62 c 1041s | 14 | 396498 | 73352 | 9590 14 | 63 | 30 1343.38/1343.68 c 1045s | 14 | 399001 | 73552 | 9590 14 | 63 | 30 1345.59/1345.88 c 1047s | 14 | 399211 | 73652 | 9590 14 | 63 | 30 1350.98/1351.30 c 1052s | 14 | 400932 | 73752 | 9590 14 | 63 | 30 1353.38/1353.67 c 1055s | 14 | 401100 | 73852 | 9590 14 | 63 | 30 1355.78/1356.01 c 1057s | 14 | 401330 | 73952 | 9590 14 | 63 | 30 1358.18/1358.47 c 1060s | 14 | 401625 | 74052 | 9590 14 | 63 | 30 1361.78/1362.04 c 1063s | 14 | 402840 | 74252 | 9590 14 | 63 | 30 1364.28/1364.55 c 1066s | 14 | 403252 | 74452 | 9590 14 | 63 | 30 1366.58/1366.86 c 1068s | 14 | 403569 | 74652 | 9590 14 | 63 | 30 1368.59/1368.88 c 1070s | 14 | 403894 | 74852 | 9590 14 | 63 | 30 1370.78/1371.01 c 1072s | 14 | 405177 | 74952 | 9590 14 | 63 | 30 1373.69/1373.93 c 1075s | 14 | 405605 | 75152 | 9590 14 | 63 | 30 1375.78/1376.08 c 1077s | 14 | 405904 | 75252 | 9590 14 | 63 | 30 1378.28/1378.55 c 1080s | 14 | 406225 | 75352 | 9590 14 | 63 | 30 1380.58/1380.83 c 1082s | 14 | 406386 | 75452 | 9590 14 | 63 | 30 1383.69/1383.92 c 1085s | 14 | 406777 | 75652 | 9590 14 | 63 | 30 1386.89/1387.10 c 1088s | 14 | 407583 | 75852 | 9590 14 | 63 | 30 1389.18/1389.46 c 1091s | 14 | 407914 | 75952 | 9590 14 | 63 | 30 1391.68/1391.90 c 1093s | 14 | 408199 | 76052 | 9590 14 | 63 | 30 1395.97/1396.26 c 1097s | 14 | 409236 | 76252 | 9590 14 | 63 | 30 1398.37/1398.64 c 1100s | 14 | 411005 | 76452 | 9590 14 | 63 | 30 1401.57/1401.83 c 1103s | 14 | 412074 | 76752 | 9590 14 | 63 | 30 1403.77/1404.00 c 1105s | 14 | 414057 | 76952 | 9590 14 | 63 | 30 1406.48/1406.73 c 1108s | 14 | 415193 | 77152 | 9590 14 | 63 | 30 1409.48/1409.70 c 1111s | 14 | 416770 | 77352 | 9590 14 | 63 | 30 1411.88/1412.11 c 1113s | 14 | 420003 | 77552 | 9590 14 | 63 | 30 1414.48/1414.76 c 1116s | 14 | 421674 | 77752 | 9590 14 | 63 | 30 1416.58/1416.83 c 1118s | 14 | 423365 | 77952 | 9590 14 | 63 | 30 1418.88/1419.19 c 1120s | 14 | 423907 | 78252 | 9590 14 | 63 | 30 1423.17/1423.45 c 1125s | 14 | 426172 | 78552 | 9590 15 | 63 | 30 1425.98/1426.26 c 1127s | 14 | 427328 | 78852 | 9590 15 | 63 | 30 1428.48/1428.74 c 1130s | 14 | 428542 | 79052 | 9590 15 | 63 | 30 1430.57/1430.83 c 1132s | 14 | 430000 | 79352 | 9590 15 | 63 | 30 1432.97/1433.26 c 1134s | 14 | 431091 | 79552 | 9590 15 | 63 | 30 1436.38/1436.64 c 1138s | 14 | 432838 | 79752 | 9590 15 | 63 | 30 1439.27/1439.50 c 1141s | 14 | 433542 | 79952 | 9590 15 | 63 | 30 1442.17/1442.46 c 1144s | 14 | 435291 | 80152 | 9590 15 | 63 | 30 1445.37/1445.62 c 1147s | 14 | 436425 | 80352 | 9590 15 | 63 | 30 1448.17/1448.45 c 1150s | 14 | 436860 | 80552 | 9590 15 | 63 | 30 1451.07/1451.37 c 1153s | 14 | 437195 | 80752 | 9590 15 | 63 | 30 1454.17/1454.46 c 1156s | 14 | 437726 | 80952 | 9590 15 | 63 | 30 1456.87/1457.17 c 1158s | 14 | 438599 | 81152 | 9590 15 | 63 | 30 1460.17/1460.44 c 1162s | 14 | 438904 | 81352 | 9590 15 | 63 | 30 1462.77/1463.10 c 1164s | 14 | 439492 | 81552 | 9590 15 | 63 | 30 1465.77/1466.09 c 1167s | 14 | 439785 | 81752 | 9590 15 | 63 | 30 1468.87/1469.19 c 1170s | 14 | 440397 | 81952 | 9590 15 | 63 | 30 1474.56/1474.80 c 1176s | 14 | 440854 | 82152 | 9590 15 | 63 | 30 1477.17/1477.43 c 1179s | 14 | 441197 | 82252 | 9590 15 | 63 | 30 1480.16/1480.41 c 1182s | 14 | 441791 | 82552 | 9590 15 | 63 | 30 1482.26/1482.54 c 1184s | 14 | 442255 | 82752 | 9590 15 | 63 | 30 1485.57/1485.87 c 1187s | 14 | 443164 | 82952 | 9590 15 | 63 | 30 1488.66/1488.96 c 1190s | 14 | 443822 | 83152 | 9590 15 | 63 | 30 1490.86/1491.15 c 1192s | 14 | 444078 | 83252 | 9590 15 | 63 | 30 1494.57/1494.90 c 1196s | 14 | 444250 | 83352 | 9590 15 | 63 | 30 1499.86/1500.15 c 1201s | 14 | 444434 | 83452 | 9590 15 | 63 | 30 1502.26/1502.51 c 1204s | 14 | 444629 | 83552 | 9590 15 | 63 | 30 1506.66/1506.91 c 1208s | 14 | 444841 | 83652 | 9590 15 | 63 | 30 1512.66/1512.95 c 1214s | 14 | 444977 | 83752 | 9590 15 | 63 | 30 1515.05/1515.34 c 1217s | 14 | 445197 | 83852 | 9590 15 | 63 | 30 1520.07/1520.32 c 1222s | 14 | 445679 | 84052 | 9590 15 | 63 | 30 1522.17/1522.42 c 1224s | 14 | 445912 | 84152 | 9590 15 | 63 | 30 1524.46/1524.70 c 1226s | 14 | 446037 | 84252 | 9590 15 | 63 | 30 1526.96/1527.23 c 1228s | 14 | 446318 | 84352 | 9590 15 | 63 | 30 1530.86/1531.18 c 1232s | 14 | 446649 | 84552 | 9590 15 | 63 | 30 1533.96/1534.24 c 1235s | 14 | 447230 | 84752 | 9590 15 | 63 | 30 1536.56/1536.81 c 1238s | 14 | 447471 | 84852 | 9590 15 | 63 | 30 1538.86/1539.17 c 1240s | 14 | 447954 | 85052 | 9590 15 | 63 | 30 1542.06/1542.36 c 1244s | 14 | 448453 | 85252 | 9590 15 | 63 | 30 1545.55/1545.88 c 1247s | 14 | 449211 | 85352 | 9590 15 | 63 | 30 1549.66/1549.99 c 1251s | 14 | 449639 | 85452 | 9590 15 | 63 | 30 1554.55/1554.84 c 1256s | 14 | 449977 | 85552 | 9590 15 | 63 | 30 1560.95/1561.21 c 1262s | 14 | 450211 | 85652 | 9590 15 | 63 | 30 1565.36/1565.67 c 1267s | 14 | 450533 | 85752 | 9590 16 | 63 | 30 1568.46/1568.79 c 1270s | 14 | 451237 | 85952 | 9590 16 | 63 | 30 1572.05/1572.33 c 1274s | 14 | 451962 | 86152 | 9590 16 | 63 | 30 1575.15/1575.43 c 1277s | 14 | 452593 | 86352 | 9590 16 | 63 | 30 1577.55/1577.80 c 1279s | 14 | 452890 | 86452 | 9590 16 | 63 | 30 1579.55/1579.85 c 1281s | 14 | 454784 | 86652 | 9590 16 | 63 | 30 1581.65/1581.99 c 1283s | 14 | 455660 | 86752 | 9590 16 | 63 | 30 1585.25/1585.52 c 1287s | 14 | 455883 | 86852 | 9590 16 | 63 | 30 1587.64/1587.90 c 1289s | 14 | 456130 | 86952 | 9590 16 | 63 | 30 1590.65/1590.95 c 1292s | 14 | 456975 | 87152 | 9590 16 | 63 | 30 1592.95/1593.26 c 1294s | 14 | 457360 | 87352 | 9590 16 | 63 | 30 1596.15/1596.44 c 1298s | 14 | 457854 | 87552 | 9590 16 | 63 | 30 1599.05/1599.37 c 1301s | 15 | 458451 | 87632 | 9590 16 | 63 | 30 1601.74/1602.09 c 1303s | 15 | 460319 | 87832 | 9590 16 | 63 | 30 1604.14/1604.44 c 1306s | 15 | 460919 | 88132 | 9590 16 | 63 | 30 1606.45/1606.73 c 1308s | 15 | 462025 | 88432 | 9590 16 | 63 | 30 1609.06/1609.32 c 1311s | 15 | 463082 | 88732 | 9590 16 | 63 | 30 1611.45/1611.70 c 1313s | 15 | 464417 | 89032 | 9590 16 | 63 | 30 1614.15/1614.47 c 1316s | 15 | 466899 | 89332 | 9590 16 | 63 | 30 1617.95/1618.24 c 1319s | 15 | 468557 | 89632 | 9590 16 | 63 | 30 1620.54/1620.83 c 1322s | 15 | 469667 | 89832 | 9590 16 | 63 | 30 1622.74/1623.07 c 1324s | 15 | 470437 | 90032 | 9590 16 | 63 | 30 1625.55/1625.81 c 1327s | 15 | 471508 | 90232 | 9590 16 | 63 | 30 1627.85/1628.18 c 1329s | 15 | 473334 | 90432 | 9590 16 | 63 | 30 1629.95/1630.30 c 1332s | 15 | 474025 | 90632 | 9590 16 | 63 | 30 1632.54/1632.85 c 1334s | 15 | 474927 | 90932 | 9590 16 | 63 | 30 1634.74/1635.05 c 1336s | 15 | 475610 | 91232 | 9590 16 | 63 | 30 1637.14/1637.42 c 1339s | 15 | 476422 | 91532 | 9590 16 | 63 | 30 1639.34/1639.62 c 1341s | 15 | 477797 | 91832 | 9590 16 | 63 | 30 1641.54/1641.83 c 1343s | 15 | 478901 | 92032 | 9590 16 | 63 | 30 1644.04/1644.33 c 1346s | 15 | 482897 | 92332 | 9590 16 | 63 | 30 1647.24/1647.51 c 1349s | 15 | 485937 | 92632 | 9590 16 | 63 | 30 1650.74/1651.09 c 1352s | 15 | 486526 | 92832 | 9590 17 | 63 | 30 1652.84/1653.16 c 1354s | 15 | 487491 | 92932 | 9590 17 | 63 | 30 1656.04/1656.39 c 1358s | 15 | 488114 | 93032 | 9590 17 | 63 | 30 1659.94/1660.25 c 1361s | 15 | 489668 | 93232 | 9590 17 | 63 | 30 1662.13/1662.41 c 1364s | 15 | 490411 | 93432 | 9590 17 | 63 | 30 1665.34/1665.60 c 1367s | 15 | 490958 | 93632 | 9590 17 | 63 | 30 1668.63/1668.93 c 1370s | 15 | 491251 | 93732 | 9590 17 | 63 | 30 1670.75/1671.02 c 1372s | 15 | 491674 | 93832 | 9590 17 | 63 | 30 1673.74/1674.09 c 1375s | 15 | 491905 | 93932 | 9590 17 | 63 | 30 1677.14/1677.47 c 1379s | 15 | 494642 | 94032 | 9590 17 | 63 | 30 1681.03/1681.30 c 1383s | 15 | 502441 | 94232 | 9590 17 | 63 | 30 1684.53/1684.83 c 1386s | 15 | 503217 | 94432 | 9590 17 | 63 | 30 1686.84/1687.12 c 1388s | 15 | 504785 | 94632 | 9590 17 | 63 | 30 1690.74/1691.03 c 1392s | 15 | 506482 | 94932 | 9590 17 | 63 | 30 1693.04/1693.31 c 1395s | 15 | 507092 | 95032 | 9590 17 | 63 | 30 1695.44/1695.79 c 1397s | 15 | 507455 | 95132 | 9590 17 | 63 | 30 1698.03/1698.35 c 1400s | 15 | 507815 | 95232 | 9590 17 | 63 | 30 1700.53/1700.84 c 1402s | 15 | 507991 | 95332 | 9590 17 | 63 | 30 1702.73/1703.04 c 1404s | 15 | 508354 | 95432 | 9590 17 | 63 | 30 1706.43/1706.70 c 1408s | 15 | 508955 | 95632 | 9590 17 | 63 | 30 1709.63/1709.94 c 1411s | 15 | 510858 | 96032 | 9590 17 | 63 | 30 1712.93/1713.29 c 1414s | 15 | 511302 | 96232 | 9590 17 | 63 | 30 1715.03/1715.35 c 1417s | 15 | 511557 | 96332 | 9590 17 | 63 | 30 1717.13/1717.40 c 1419s | 15 | 512120 | 96432 | 9590 17 | 63 | 30 1720.24/1720.58 c 1422s | 15 | 512509 | 96632 | 9590 17 | 63 | 30 1722.73/1723.01 c 1424s | 15 | 512794 | 96732 | 9590 17 | 63 | 30 1725.13/1725.45 c 1427s | 15 | 513137 | 96832 | 9590 17 | 63 | 30 1729.23/1729.59 c 1431s | 15 | 513537 | 97032 | 9590 17 | 63 | 30 1731.33/1731.70 c 1433s | 15 | 513752 | 97132 | 9590 17 | 63 | 30 1734.13/1734.47 c 1436s | 15 | 513916 | 97232 | 9590 17 | 63 | 30 1736.23/1736.57 c 1438s | 15 | 514486 | 97332 | 9590 17 | 63 | 30 1740.03/1740.34 c 1442s | 15 | 514974 | 97532 | 9590 17 | 63 | 30 1744.02/1744.35 c 1446s | 15 | 515987 | 97732 | 9590 17 | 63 | 30 1747.53/1747.86 c 1449s | 15 | 517503 | 97932 | 9590 17 | 63 | 30 1751.23/1751.55 c 1453s | 15 | 518029 | 98132 | 9590 17 | 63 | 30 1755.13/1755.40 c 1457s | 15 | 518367 | 98332 | 9590 17 | 63 | 30 1758.63/1758.95 c 1460s | 15 | 519354 | 98432 | 9590 17 | 63 | 30 1762.52/1762.88 c 1464s | 15 | 519696 | 98532 | 9590 18 | 63 | 30 1765.22/1765.59 c 1467s | 15 | 520213 | 98732 | 9590 18 | 63 | 30 1767.12/1767.41 c 1469s | 15 | 520563 | 98827 | 9590 18 | 63 | 30 1767.12/1767.41 c #cpu_time = 1465.260s 1767.12/1767.41 c #wall_clock_time = 1469.112s 1767.12/1767.41 c #decision = 520563 1767.12/1767.41 c #random_decision = 1095 1767.12/1767.41 c #conflict = 98827 1767.12/1767.41 c #restart = 15 1767.12/1767.42 c BCD2: relaxing 1109 and merging with 1 cores into a new core of size 6747: cost of the new core is >=1529 1767.12/1767.42 c lower bound updated to 1529 1767.12/1767.45 c BCD2: 1529 <= obj <= 5299 1767.12/1767.45 c BCD2: #cores=1, #unrelaxed=0, #relaxed=6725, #hardened=49 1767.12/1767.45 c BCD2: #sat=4 #unsat=7 bias=7/11 1767.22/1767.50 c Solving starts ... 1767.22/1767.50 c ============================[ Search Statistics ]============================ 1767.22/1767.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1767.22/1767.50 c | | | | Limit GC | Var | Constra 1767.22/1767.50 c ============================================================================= 1767.22/1767.50 c 0.0s | 0 | 0 | 0 | 9590 0 | 66 | 30 1770.72/1771.05 c 3.6s | 0 | 970 | 100 | 9590 0 | 66 | 35 1770.72/1771.06 c 3.6s | 1 | 970 | 100 | 9590 0 | 66 | 35 1773.12/1773.49 c 6.0s | 2 | 1791 | 250 | 9590 0 | 66 | 35 1775.62/1775.96 c 8.5s | 2 | 3130 | 450 | 9590 0 | 66 | 35 1775.82/1776.17 c 8.7s | 3 | 3158 | 475 | 9590 0 | 66 | 35 1778.21/1778.55 c 11.1s | 3 | 4611 | 675 | 9590 0 | 66 | 35 1779.02/1779.35 c 11.9s | 4 | 5630 | 813 | 9590 0 | 66 | 35 1781.12/1781.41 c 13.9s | 4 | 8913 | 1213 | 9590 0 | 66 | 35 1782.02/1782.35 c 14.8s | 5 | 9152 | 1320 | 9590 0 | 66 | 35 1784.12/1784.43 c 16.9s | 5 | 10453 | 1520 | 9590 0 | 66 | 35 1786.52/1786.80 c 19.3s | 5 | 12031 | 1920 | 9590 0 | 66 | 35 1787.72/1788.07 c 20.6s | 6 | 12913 | 2081 | 9590 0 | 66 | 35 1790.12/1790.48 c 23.0s | 6 | 14324 | 2481 | 9590 0 | 66 | 35 1793.02/1793.38 c 25.9s | 6 | 15547 | 2781 | 9590 0 | 66 | 35 1795.41/1795.74 c 28.2s | 6 | 16110 | 3081 | 9590 0 | 66 | 35 1796.91/1797.21 c 29.7s | 7 | 16861 | 3223 | 9590 0 | 66 | 35 1799.01/1799.38 c 31.9s | 7 | 17901 | 3423 | 9590 0 | 66 | 35
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-4099753-1466206468/watcher-4099753-1466206468 -o /tmp/evaluation-result-4099753-1466206468/solver-4099753-1466206468 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099753-1466206468.opb pid=1708 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.26 1.64 0.84 3/179 1711 /proc/meminfo: memFree=16937188/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=661948 CPUtime=0 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 2456 0 0 0 0 0 0 0 20 0 4 0 22693934 677834752 3328 33554432000 4194304 16246674 140735214778416 140735214777840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 165999 3338 441 2943 0 162893 0 [pid=1711/tid=1712] ppid=1708 vsize=756156 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 774303744 3698 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=761276 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 779546624 3718 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22693934 783740928 3734 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.26 1.64 0.84 3/179 1711 /proc/meminfo: memFree=16937188/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 29436 0 0 0 6 3 0 0 20 0 4 0 22693934 1333334016 30245 33554432000 4194304 16246674 140735214778416 140735214777728 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 325521 30260 801 2943 0 322415 0 [pid=1711/tid=1712] ppid=1708 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1333334016 30272 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1333334016 30284 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1333334016 30295 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200513 s] /proc/loadavg: 2.26 1.64 0.84 3/179 1711 /proc/meminfo: memFree=16937188/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 51465 0 0 0 13 6 0 0 20 0 4 0 22693934 1344868352 52274 33554432000 4194304 16246674 140735214778416 140735214777728 4220978 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 52274 834 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52274 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52274 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52274 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30048 s] /proc/loadavg: 2.26 1.64 0.84 3/179 1711 /proc/meminfo: memFree=16937188/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 51466 0 0 0 23 6 0 0 20 0 4 0 22693934 1344868352 52275 33554432000 4194304 16246674 140735214778416 140735214777728 13907056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 52275 834 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52275 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52275 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52275 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700371 s] /proc/loadavg: 2.26 1.64 0.84 3/179 1711 /proc/meminfo: memFree=16937188/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 51536 0 0 0 63 6 0 0 20 0 4 0 22693934 1344868352 52345 33554432000 4194304 16246674 140735214778416 140735214777592 5546252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 52345 904 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52345 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52345 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 52345 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50037 s] /proc/loadavg: 2.24 1.64 0.84 3/183 1715 /proc/meminfo: memFree=16728824/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 77052 0 0 0 139 10 0 0 20 0 4 0 22693934 1344868352 77861 33554432000 4194304 16246674 140735214778416 140735214760320 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 77877 911 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 77887 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 77896 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 77905 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10036 s] /proc/loadavg: 2.24 1.64 0.84 3/183 1715 /proc/meminfo: memFree=15856484/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 269554 0 0 0 273 36 0 0 20 0 4 0 22693934 1344868352 270363 33554432000 4194304 16246674 140735214778416 140735214760320 13874640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 270363 919 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270363 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270363 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270363 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30042 s] /proc/loadavg: 2.24 1.64 0.84 4/183 1715 /proc/meminfo: memFree=15856452/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=6.29 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 269556 0 0 0 593 36 0 0 20 0 4 0 22693934 1344868352 270365 33554432000 4194304 16246674 140735214778416 140735214777592 12483168 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 270365 921 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270365 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270365 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270365 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.20 1.65 0.86 3/183 1715 /proc/meminfo: memFree=15856336/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1313348 CPUtime=12.69 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 269557 0 0 0 1232 37 0 0 20 0 4 0 22693934 1344868352 270366 33554432000 4194304 16246674 140735214778416 140735214760320 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 328337 270366 922 2943 0 325231 0 [pid=1711/tid=1712] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270366 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270366 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1344868352 270366 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.17 1.67 0.87 4/183 1715 /proc/meminfo: memFree=15850776/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=25.49 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271093 0 0 0 2510 39 0 0 20 0 4 0 22693934 1351159808 271902 33554432000 4194304 16246674 140735214778416 140735214760320 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271902 922 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271902 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271902 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271902 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1319492 [startup+51.1005 s] /proc/loadavg: 2.17 1.71 0.90 3/183 1715 /proc/meminfo: memFree=15850712/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=51.08 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271094 0 0 0 5069 39 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140735214777592 5712622 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271903 923 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1319492 [startup+102.3 s] /proc/loadavg: 2.24 1.80 0.98 3/183 1716 /proc/meminfo: memFree=15849840/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=102.28 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271094 0 0 0 10186 42 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140735214777592 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271903 923 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271903 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1319492 [startup+1362.3 s] /proc/loadavg: 2.25 2.24 1.90 4/183 1748 /proc/meminfo: memFree=14794124/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1362.08 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 136121 87 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140735214760320 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271904 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1319492 [startup+1422.3 s] /proc/loadavg: 2.20 2.23 1.92 3/183 1749 /proc/meminfo: memFree=14794136/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1422.07 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 142115 92 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140735214760320 7249982 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271904 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1319492 [startup+1482.3 s] /proc/loadavg: 2.17 2.21 1.93 4/183 1750 /proc/meminfo: memFree=14794420/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1482.06 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 148110 96 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140735214760320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271904 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1319492 [startup+1542.31 s] /proc/loadavg: 2.11 2.19 1.93 4/184 1755 /proc/meminfo: memFree=14794340/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1542.06 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 154106 100 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140735214777592 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271904 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271904 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.24 2.21 1.95 3/184 1833 /proc/meminfo: memFree=28169280/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1602.04 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 160100 104 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214777592 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 1319492 [startup+1662.3 s] /proc/loadavg: 2.26 2.22 1.97 3/183 1834 /proc/meminfo: memFree=27950848/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1662.03 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 166096 107 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214777592 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.34 2.24 1.99 3/183 1835 /proc/meminfo: memFree=27935008/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1722.03 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271095 0 0 0 172091 112 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214777592 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1722.03 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.23 2.23 2.00 3/183 1836 /proc/meminfo: memFree=27934540/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1782.02 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271096 0 0 0 178088 114 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214760320 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1782.02 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.25 2.24 2.01 3/183 1837 /proc/meminfo: memFree=27934628/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271099 0 0 0 179887 114 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214777592 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 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 1711 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.25 2.24 2.01 3/183 1837 /proc/meminfo: memFree=27934628/32872528 swapFree=17888/1798212 [pid=1711] ppid=1708 vsize=1319492 CPUtime=1800.01 cores=0,2,4,6 /proc/1711/stat : 1711 (toysat) R 1708 1711 579 0 -1 4202496 271099 0 0 0 179887 114 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140735214777592 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/1711/statm: 329873 271907 924 2943 0 326767 0 [pid=1711/tid=1712] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1712/stat : 1712 (toysat) S 1708 1711 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140341030137072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=1711/tid=1713] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1713/stat : 1713 (toysat) S 1708 1711 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340942056688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=1711/tid=1714] ppid=1708 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/1711/task/1714/stat : 1714 (toysat) S 1708 1711 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22693934 1351159808 271907 33554432000 4194304 16246674 140735214778416 140340931583152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.34 CPU time (s): 1800.06 CPU user time (s): 1798.88 CPU system time (s): 1.17882 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.88 system time used= 1.17882 maximum resident set size= 1087628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271099 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= 19 involuntary context switches= 3648 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.31404 second user time and 9.55355 second system time The end
Begin job on node123 at 2016-06-18 01:34:28 IDJOB=4099753 IDBENCH=1510 IDSOLVER=2542 FILE ID=node123/4099753-1466206468 RUNJOBID= node123-1466206081-595 PBS_JOBID= 19918154 Free space on /tmp= 71380 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099753-1466206468/watcher-4099753-1466206468 -o /tmp/evaluation-result-4099753-1466206468/solver-4099753-1466206468 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-595 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099753-1466206468.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f00532e02ccc246cb25b1a4f0a837d4 RANDOM SEED=1996356339 node123.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.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 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.791 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.791 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.791 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.57 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.791 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.56 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.791 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.56 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.791 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.791 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: 16937468 kB Buffers: 38348 kB Cached: 388724 kB SwapCached: 1640 kB Active: 13296876 kB Inactive: 101896 kB Active(anon): 12972840 kB Inactive(anon): 1100 kB Active(file): 324036 kB Inactive(file): 100796 kB Unevictable: 1798212 kB Mlocked: 17888 kB SwapTotal: 67108856 kB SwapFree: 67099272 kB Dirty: 16720 kB Writeback: 0 kB AnonPages: 14768980 kB Mapped: 10396 kB Shmem: 0 kB Slab: 578024 kB SReclaimable: 22268 kB SUnreclaim: 555756 kB KernelStack: 1520 kB PageTables: 32924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 14912676 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2152448 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= 71596 MiB End job on node123 at 2016-06-18 02:04:28