| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb |
| MD5SUM | 7ba66e72f7a10b492134dc7de6859631 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 242.948 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -19 |
| Optimality of the best value was proved | NO |
| Number of variables | 1440 |
| Total number of constraints | 48 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 48 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524317 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524372 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T05:59:23+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-4101225-1466222363.opb"] 0.00/0.01 c use --random-gen="4194479592 1812714445 1406601302 1154396187 4141987709 1956385884 870943736 2498242515 1922017513 468344759 434710581 3846994327 174038311 2252712159 3307042791 3809331226 1895643960 3752394706 3661582402 629347144 1262476735 2428069174 1848289281 2253527893 18313939 996390573 2051379954 883256600 3063571482 3156577563 3826154979 3648087906 1257993982 3379150597 3001455926 3768842422 3498775755 321427994 1877743858 1416848526 384789528 4049202284 3062134966 375638330 4151642437 640303422 1561885950 3601247571 42292124 812575152 1247788251 1542954685 4277269752 3396884378 1376076934 3758987776 758197475 3617737550 3983079296 3654030379 4282878164 1057735109 4009672723 1092669456 2531780976 1094557801 3164932364 2374668277 3388785302 2732280548 2429322660 3370699698 4033768724 2676639471 1333752543 2733893805 2025271130 985057620 1001351562 862179479 156039512 1940258679 2527181157 254557959 2918492151 3282966970 1788356030 2087199750 4027595184 4008002840 4002818883 3518461345 2940621742 1052640637 122882709 3248526058 3375781517 1466940211 2349642503 2245635102 4129318600 2915028358 1393156576 2026166309 2607538063 3991453771 2333020417 1304335867 2942503173 1315714278 184855271 3176616783 2978532281 3095255601 3296865522 211633171 812246399 1804373510 748995660 3344165482 365366059 767680098 1140503688 4292756813 2989774471 1040942717 3648533250 297092349 2662998613 3547814486 3519992214 3492993314 2405166781 1544132094 1368813241 3870369380 4232285115 478075828 612154582 3225484091 2401606900 3707658068 1544126423 1426930937 34491109 3351537801 1127975068 223699850 648555665 1260451658 3652128428 3852233589 477324291 1849149789 2844327863 2818090491 81919578 1112993133 1229924226 1248439241 4138656827 1769477759 190371327 2191581909 151456839 4261231075 1781955710 4153153382 527434537 1306041764 339802412 1137393913 239866661 2117370901 1834724695 2389449788 2156702676 2703464039 3101704647 1449918289 3672753564 3681845920 1385238238 1800910012 2878404186 2777946083 232812206 589642917 1662706663 2187162149 2073718153 2027514677 2905785511 438012764 180034617 3441509193 1223553331 425090683 1924267551 1221122534 4068321436 194910892 691612892 906963034 3041023290 718900033 3223220539 1960969870 2285452394 693259153 643739289 80971832 2202810789 1721354474 2789421669 3838707747 3616978881 398736523 2612925298 738794523 2371643441 2917181843 2410161221 1744449561 4095481766 1048056481 246527365 2596855313 2137643603 3798894695 1079017150 382185030 4035217723 323446180 1102090100 2087104641 1330191334 4063442280 3338780876 1078781965 3427751865 42447810 97308416 4271398041 2969343782 894400632 3790127494 4008754661 200844561 189215636 1705780505 3247523295 1456023342 3899404028 2431599482 1086935646 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1440 0.00/0.02 c #constraints 48 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 502 0 | 411 | 0 0.00/0.06 c 0.0s | 1 | 138 | 100 | 502 0 | 427 | 0 0.00/0.08 c 0.0s | 2 | 329 | 250 | 553 0 | 427 | 0 0.09/0.10 c 0.1s | 3 | 569 | 475 | 609 0 | 427 | 0 0.09/0.14 c 0.1s | 4 | 951 | 813 | 670 0 | 427 | 0 0.18/0.29 c 0.2s | 5 | 1818 | 1320 | 738 0 | 427 | 0 0.39/0.42 c 0.4s | 6 | 2819 | 2081 | 894 2 | 427 | 0 0.99/1.09 c 1.0s | 7 | 4281 | 3223 | 984 2 | 427 | 0 1.48/1.52 c 1.5s | 8 | 6351 | 4936 | 1083 5 | 427 | 0 1.99/2.01 c 2.0s | 9 | 9236 | 7506 | 1192 8 | 427 | 0 2.69/2.78 c 2.7s | 10 | 13357 | 11361 | 1312 12 | 427 | 0 4.78/4.81 c 4.8s | 10 | 19049 | 15561 | 1312 16 | 427 | 0 5.78/5.85 c 5.8s | 11 | 20766 | 17144 | 1444 17 | 427 | 0 7.58/7.69 c 7.6s | 12 | 31460 | 25819 | 1589 25 | 427 | 0 9.68/9.70 c 9.7s | 12 | 37226 | 30719 | 1589 29 | 427 | 0 11.68/11.75 c 11.7s | 12 | 41431 | 34519 | 1589 31 | 427 | 0 13.78/13.80 c 13.8s | 12 | 45331 | 38219 | 1589 34 | 427 | 0 14.08/14.10 c 14.0s | 13 | 46063 | 38832 | 1748 34 | 427 | 0 16.08/16.11 c 16.1s | 13 | 58445 | 50232 | 1748 44 | 441 | 0 17.38/17.46 c 17.4s | 14 | 67710 | 58352 | 1923 51 | 441 | 0 19.38/19.49 c 19.4s | 14 | 75259 | 64552 | 1923 54 | 441 | 0 21.48/21.50 c 21.5s | 14 | 81904 | 70352 | 1923 58 | 441 | 0 23.48/23.52 c 23.5s | 14 | 87874 | 75652 | 1923 61 | 441 | 0 25.48/25.55 c 25.5s | 14 | 94201 | 81052 | 1923 65 | 441 | 0 27.49/27.57 c 27.5s | 14 | 100838 | 86852 | 1923 68 | 441 | 0 27.78/27.87 c 27.8s | 15 | 101714 | 87632 | 2116 69 | 441 | 0 29.79/29.87 c 29.8s | 15 | 114331 | 96432 | 2116 74 | 441 | 0 31.78/31.87 c 31.8s | 15 | 125407 | 105632 | 2116 80 | 441 | 0 33.88/33.92 c 33.9s | 15 | 134873 | 113632 | 2116 86 | 441 | 0 35.88/35.92 c 35.9s | 15 | 143421 | 120832 | 2116 90 | 441 | 0 37.88/37.94 c 37.9s | 15 | 151925 | 128232 | 2116 95 | 441 | 0 38.88/38.92 c 38.9s | 16 | 155673 | 131552 | 2328 97 | 441 | 0 40.88/40.95 c 40.9s | 16 | 163920 | 137552 | 2328 101 | 441 | 0 41.38/41.48 c 41.4s | 16 | 164838 | 138273 | 2328 101 | 441 | 0 41.38/41.48 c #cpu_time = 41.430s 41.38/41.48 c #wall_clock_time = 41.428s 41.38/41.48 c #decision = 164838 41.38/41.48 c #random_decision = 624 41.38/41.48 c #conflict = 138273 41.38/41.48 c #restart = 16 41.38/41.48 o 0 41.38/41.48 c BCD2: updating upper bound: 524317 -> 524316 41.38/41.48 c BCD2: 0 <= obj <= 524316 41.38/41.48 c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0 41.38/41.48 c BCD2: #sat=1 #unsat=1 bias=1/2 41.38/41.48 c Solving starts ... 41.38/41.48 c ============================[ Search Statistics ]============================ 41.38/41.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.38/41.48 c | | | | Limit GC | Var | Constra 41.38/41.48 c ============================================================================= 41.38/41.48 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.48/41.50 c 0.0s | 0 | 19 | 1 | 2328 0 | 441 | 0 41.48/41.50 c #cpu_time = 0.022s 41.48/41.50 c #wall_clock_time = 0.022s 41.48/41.50 c #decision = 19 41.48/41.50 c #random_decision = 0 41.48/41.50 c #conflict = 1 41.48/41.50 c #restart = 0 41.48/41.50 c BCD2: found a new core of size 3: cost of the new core is >=33 41.48/41.50 c lower bound updated to -524284 41.48/41.50 c BCD2: 33 <= obj <= 524316 41.48/41.50 c BCD2: #cores=1, #unrelaxed=27, #relaxed=3, #hardened=0 41.48/41.50 c BCD2: #sat=1 #unsat=2 bias=2/3 41.48/41.50 c Solving starts ... 41.48/41.50 c ============================[ Search Statistics ]============================ 41.48/41.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.48/41.50 c | | | | Limit GC | Var | Constra 41.48/41.50 c ============================================================================= 41.48/41.50 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.48/41.52 c 0.0s | 0 | 17 | 0 | 2328 0 | 441 | 0 41.48/41.52 c #cpu_time = 0.022s 41.48/41.52 c #wall_clock_time = 0.022s 41.48/41.52 c #decision = 17 41.48/41.52 c #random_decision = 0 41.48/41.52 c #conflict = 0 41.48/41.52 c #restart = 0 41.48/41.52 c BCD2: found a new core of size 1: cost of the new core is >=257 41.48/41.52 c lower bound updated to -524027 41.48/41.52 c BCD2: 290 <= obj <= 524316 41.48/41.52 c BCD2: #cores=2, #unrelaxed=26, #relaxed=4, #hardened=0 41.48/41.52 c BCD2: #sat=1 #unsat=3 bias=3/4 41.48/41.52 c Solving starts ... 41.48/41.52 c ============================[ Search Statistics ]============================ 41.48/41.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.48/41.52 c | | | | Limit GC | Var | Constra 41.48/41.52 c ============================================================================= 41.48/41.52 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.48/41.54 c 0.0s | 0 | 18 | 0 | 2328 0 | 441 | 0 41.48/41.54 c #cpu_time = 0.022s 41.48/41.54 c #wall_clock_time = 0.022s 41.48/41.54 c #decision = 18 41.48/41.54 c #random_decision = 0 41.48/41.54 c #conflict = 0 41.48/41.54 c #restart = 0 41.48/41.54 c BCD2: found a new core of size 1: cost of the new core is >=513 41.48/41.54 c lower bound updated to -523514 41.48/41.54 c BCD2: 803 <= obj <= 524316 41.48/41.54 c BCD2: #cores=3, #unrelaxed=25, #relaxed=5, #hardened=0 41.48/41.54 c BCD2: #sat=1 #unsat=4 bias=4/5 41.48/41.54 c Solving starts ... 41.48/41.54 c ============================[ Search Statistics ]============================ 41.48/41.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.48/41.54 c | | | | Limit GC | Var | Constra 41.48/41.54 c ============================================================================= 41.48/41.54 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.48/41.57 c 0.0s | 0 | 19 | 0 | 2328 0 | 441 | 0 41.48/41.57 c #cpu_time = 0.022s 41.48/41.57 c #wall_clock_time = 0.022s 41.48/41.57 c #decision = 19 41.48/41.57 c #random_decision = 0 41.48/41.57 c #conflict = 0 41.48/41.57 c #restart = 0 41.48/41.57 c BCD2: found a new core of size 1: cost of the new core is >=1025 41.48/41.57 c lower bound updated to -522489 41.48/41.57 c BCD2: 1828 <= obj <= 524316 41.48/41.57 c BCD2: #cores=4, #unrelaxed=24, #relaxed=6, #hardened=0 41.48/41.57 c BCD2: #sat=1 #unsat=5 bias=5/6 41.48/41.57 c Solving starts ... 41.48/41.57 c ============================[ Search Statistics ]============================ 41.48/41.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.48/41.57 c | | | | Limit GC | Var | Constra 41.48/41.57 c ============================================================================= 41.48/41.57 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.48/41.59 c 0.0s | 0 | 20 | 0 | 2328 0 | 441 | 0 41.48/41.59 c #cpu_time = 0.022s 41.48/41.59 c #wall_clock_time = 0.022s 41.48/41.59 c #decision = 20 41.48/41.59 c #random_decision = 0 41.48/41.59 c #conflict = 0 41.48/41.59 c #restart = 0 41.48/41.59 c BCD2: found a new core of size 1: cost of the new core is >=2049 41.48/41.59 c lower bound updated to -520440 41.48/41.59 c BCD2: 3877 <= obj <= 524316 41.48/41.59 c BCD2: #cores=5, #unrelaxed=23, #relaxed=7, #hardened=0 41.48/41.59 c BCD2: #sat=1 #unsat=6 bias=6/7 41.48/41.59 c Solving starts ... 41.48/41.59 c ============================[ Search Statistics ]============================ 41.48/41.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.48/41.59 c | | | | Limit GC | Var | Constra 41.48/41.59 c ============================================================================= 41.48/41.59 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.58/41.61 c 0.0s | 0 | 21 | 0 | 2328 0 | 441 | 0 41.58/41.61 c #cpu_time = 0.022s 41.58/41.61 c #wall_clock_time = 0.022s 41.58/41.61 c #decision = 21 41.58/41.61 c #random_decision = 0 41.58/41.61 c #conflict = 0 41.58/41.61 c #restart = 0 41.58/41.61 c BCD2: found a new core of size 1: cost of the new core is >=4097 41.58/41.61 c lower bound updated to -516343 41.58/41.61 c BCD2: 7974 <= obj <= 524316 41.58/41.61 c BCD2: #cores=6, #unrelaxed=22, #relaxed=8, #hardened=0 41.58/41.61 c BCD2: #sat=1 #unsat=7 bias=7/8 41.58/41.61 c Solving starts ... 41.58/41.61 c ============================[ Search Statistics ]============================ 41.58/41.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.58/41.61 c | | | | Limit GC | Var | Constra 41.58/41.61 c ============================================================================= 41.58/41.61 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.58/41.63 c 0.0s | 0 | 22 | 0 | 2328 0 | 441 | 0 41.58/41.63 c #cpu_time = 0.022s 41.58/41.63 c #wall_clock_time = 0.022s 41.58/41.63 c #decision = 22 41.58/41.63 c #random_decision = 0 41.58/41.63 c #conflict = 0 41.58/41.63 c #restart = 0 41.58/41.63 c BCD2: found a new core of size 1: cost of the new core is >=8193 41.58/41.63 c lower bound updated to -508150 41.58/41.63 c BCD2: 16167 <= obj <= 524316 41.58/41.63 c BCD2: #cores=7, #unrelaxed=21, #relaxed=9, #hardened=0 41.58/41.63 c BCD2: #sat=1 #unsat=8 bias=8/9 41.58/41.63 c Solving starts ... 41.58/41.63 c ============================[ Search Statistics ]============================ 41.58/41.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.58/41.63 c | | | | Limit GC | Var | Constra 41.58/41.63 c ============================================================================= 41.58/41.63 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.58/41.66 c 0.0s | 0 | 23 | 0 | 2328 0 | 441 | 0 41.58/41.66 c #cpu_time = 0.022s 41.58/41.66 c #wall_clock_time = 0.022s 41.58/41.66 c #decision = 23 41.58/41.66 c #random_decision = 0 41.58/41.66 c #conflict = 0 41.58/41.66 c #restart = 0 41.58/41.66 c BCD2: found a new core of size 1: cost of the new core is >=16385 41.58/41.66 c lower bound updated to -491765 41.58/41.66 c BCD2: 32552 <= obj <= 524316 41.58/41.66 c BCD2: #cores=8, #unrelaxed=20, #relaxed=10, #hardened=0 41.58/41.66 c BCD2: #sat=1 #unsat=9 bias=9/10 41.58/41.66 c Solving starts ... 41.58/41.66 c ============================[ Search Statistics ]============================ 41.58/41.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.58/41.66 c | | | | Limit GC | Var | Constra 41.58/41.66 c ============================================================================= 41.58/41.66 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.58/41.68 c 0.0s | 0 | 24 | 0 | 2328 0 | 441 | 0 41.58/41.68 c #cpu_time = 0.022s 41.58/41.68 c #wall_clock_time = 0.022s 41.58/41.68 c #decision = 24 41.58/41.68 c #random_decision = 0 41.58/41.68 c #conflict = 0 41.58/41.68 c #restart = 0 41.58/41.68 c BCD2: found a new core of size 1: cost of the new core is >=32769 41.58/41.68 c lower bound updated to -458996 41.58/41.68 c BCD2: 65321 <= obj <= 524316 41.58/41.68 c BCD2: #cores=9, #unrelaxed=19, #relaxed=11, #hardened=0 41.58/41.68 c BCD2: #sat=1 #unsat=10 bias=10/11 41.58/41.68 c Solving starts ... 41.58/41.68 c ============================[ Search Statistics ]============================ 41.58/41.68 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.58/41.68 c | | | | Limit GC | Var | Constra 41.58/41.68 c ============================================================================= 41.58/41.68 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.68/41.70 c 0.0s | 0 | 25 | 0 | 2328 0 | 441 | 0 41.68/41.70 c #cpu_time = 0.022s 41.68/41.70 c #wall_clock_time = 0.022s 41.68/41.70 c #decision = 25 41.68/41.70 c #random_decision = 0 41.68/41.70 c #conflict = 0 41.68/41.70 c #restart = 0 41.68/41.70 c BCD2: found a new core of size 1: cost of the new core is >=65537 41.68/41.70 c lower bound updated to -393459 41.68/41.70 c BCD2: 130858 <= obj <= 524316 41.68/41.70 c BCD2: #cores=10, #unrelaxed=18, #relaxed=12, #hardened=0 41.68/41.70 c BCD2: #sat=1 #unsat=11 bias=11/12 41.68/41.70 c Solving starts ... 41.68/41.70 c ============================[ Search Statistics ]============================ 41.68/41.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.68/41.70 c | | | | Limit GC | Var | Constra 41.68/41.70 c ============================================================================= 41.68/41.70 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.68/41.72 c 0.0s | 0 | 26 | 0 | 2328 0 | 441 | 0 41.68/41.72 c #cpu_time = 0.022s 41.68/41.72 c #wall_clock_time = 0.022s 41.68/41.72 c #decision = 26 41.68/41.72 c #random_decision = 0 41.68/41.72 c #conflict = 0 41.68/41.72 c #restart = 0 41.68/41.72 c BCD2: found a new core of size 1: cost of the new core is >=131073 41.68/41.72 c lower bound updated to -262386 41.68/41.72 c BCD2: 261931 <= obj <= 524316 41.68/41.72 c BCD2: #cores=11, #unrelaxed=17, #relaxed=13, #hardened=0 41.68/41.72 c BCD2: #sat=1 #unsat=12 bias=12/13 41.68/41.72 c Solving starts ... 41.68/41.72 c ============================[ Search Statistics ]============================ 41.68/41.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.68/41.72 c | | | | Limit GC | Var | Constra 41.68/41.72 c ============================================================================= 41.68/41.72 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.68/41.74 c 0.0s | 0 | 27 | 0 | 2328 0 | 441 | 0 41.68/41.74 c #cpu_time = 0.022s 41.68/41.74 c #wall_clock_time = 0.022s 41.68/41.74 c #decision = 27 41.68/41.74 c #random_decision = 0 41.68/41.74 c #conflict = 0 41.68/41.74 c #restart = 0 41.68/41.74 c BCD2: found a new core of size 1: cost of the new core is >=262145 41.68/41.74 c lower bound updated to -241 41.68/41.74 c BCD2: 524076 <= obj <= 524316 41.68/41.74 c BCD2: #cores=12, #unrelaxed=16, #relaxed=14, #hardened=0 41.68/41.74 c BCD2: #sat=1 #unsat=13 bias=13/14 41.68/41.74 c Solving starts ... 41.68/41.74 c ============================[ Search Statistics ]============================ 41.68/41.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 41.68/41.74 c | | | | Limit GC | Var | Constra 41.68/41.74 c ============================================================================= 41.68/41.74 c 0.0s | 0 | 0 | 0 | 2328 0 | 441 | 0 41.79/41.84 c 0.1s | 1 | 514 | 100 | 2328 0 | 442 | 0 41.89/41.91 c 0.2s | 2 | 781 | 250 | 2328 1 | 444 | 0 41.89/41.94 c 0.2s | 3 | 1156 | 475 | 2328 1 | 444 | 0 41.89/41.98 c 0.2s | 4 | 1596 | 813 | 2328 1 | 444 | 0 41.98/42.06 c 0.3s | 5 | 2436 | 1320 | 2328 1 | 446 | 0 42.08/42.18 c 0.4s | 6 | 3322 | 2081 | 2328 2 | 446 | 0 42.28/42.37 c 0.6s | 7 | 4709 | 3223 | 2328 2 | 446 | 0 42.68/42.78 c 1.0s | 8 | 6541 | 4936 | 2328 4 | 446 | 0 43.08/43.19 c 1.4s | 9 | 9475 | 7506 | 2328 5 | 446 | 0 43.78/43.81 c 2.1s | 10 | 13867 | 11361 | 2328 7 | 447 | 0 44.88/44.96 c 3.2s | 11 | 20320 | 17144 | 2328 11 | 447 | 0 46.38/46.43 c 4.7s | 12 | 30244 | 25819 | 2328 17 | 447 | 0 48.38/48.43 c 6.7s | 12 | 43474 | 38319 | 2328 26 | 447 | 0 48.48/48.53 c 6.8s | 13 | 44053 | 38832 | 2328 26 | 447 | 0 50.48/50.54 c 8.8s | 13 | 55273 | 48932 | 2328 34 | 447 | 0 52.38/52.40 c 10.7s | 14 | 66799 | 58352 | 2561 40 | 447 | 0 54.38/54.41 c 12.7s | 14 | 80120 | 70152 | 2561 48 | 447 | 0 56.38/56.43 c 14.7s | 14 | 92592 | 81052 | 2561 55 | 447 | 0 57.48/57.53 c 15.8s | 15 | 99906 | 87632 | 2561 59 | 447 | 0 59.48/59.54 c 17.8s | 15 | 110610 | 97132 | 2561 65 | 447 | 0 61.47/61.54 c 19.8s | 15 | 121719 | 107032 | 2561 71 | 447 | 0 63.47/63.55 c 21.8s | 15 | 131185 | 116032 | 2561 77 | 447 | 0 65.47/65.55 c 23.8s | 15 | 141723 | 125432 | 2561 83 | 447 | 0 66.77/66.80 c 25.1s | 16 | 148539 | 131552 | 2561 87 | 447 | 0 68.77/68.80 c 27.1s | 16 | 160980 | 141852 | 2561 94 | 448 | 0 70.77/70.80 c 29.1s | 16 | 174477 | 153452 | 2561 101 | 448 | 0 72.77/72.81 c 31.1s | 16 | 184653 | 163252 | 2818 107 | 448 | 0 74.78/74.82 c 33.1s | 16 | 197737 | 174152 | 2818 114 | 448 | 0 76.77/76.86 c 35.1s | 16 | 208315 | 183952 | 2818 120 | 448 | 0 78.77/78.86 c 37.1s | 16 | 219177 | 193752 | 2818 125 | 448 | 0 79.58/79.61 c 37.9s | 17 | 223429 | 197432 | 2818 128 | 448 | 0 81.58/81.62 c 39.9s | 17 | 234122 | 205632 | 2818 132 | 448 | 0 83.58/83.62 c 41.9s | 17 | 246739 | 216132 | 2818 139 | 448 | 0 85.57/85.63 c 43.9s | 17 | 258919 | 226532 | 2818 145 | 448 | 0 87.57/87.65 c 45.9s | 17 | 270384 | 236232 | 2818 151 | 448 | 0 89.57/89.66 c 47.9s | 17 | 282694 | 245432 | 2818 156 | 448 | 0 91.57/91.67 c 49.9s | 17 | 294622 | 254932 | 2818 162 | 448 | 0 93.58/93.67 c 51.9s | 17 | 306267 | 263932 | 2818 167 | 448 | 0 95.57/95.68 c 53.9s | 17 | 317752 | 273632 | 2818 173 | 448 | 0 97.57/97.69 c 55.9s | 17 | 331387 | 284532 | 2818 179 | 448 | 0 99.67/99.71 c 58.0s | 17 | 344572 | 294732 | 2818 185 | 448 | 0 99.97/100.04 c 58.3s | 18 | 346591 | 296252 | 2818 186 | 448 | 0 101.97/102.04 c 60.3s | 18 | 358970 | 306652 | 3100 192 | 448 | 0 103.97/104.05 c 62.3s | 18 | 369579 | 316152 | 3100 197 | 448 | 0 105.97/106.06 c 64.3s | 18 | 381490 | 325952 | 3100 203 | 448 | 0 107.97/108.07 c 66.3s | 18 | 393520 | 336052 | 3100 208 | 448 | 0 109.97/110.08 c 68.3s | 18 | 403557 | 345052 | 3100 213 | 448 | 0 111.97/112.09 c 70.3s | 18 | 414582 | 354952 | 3100 219 | 448 | 0 113.97/114.09 c 72.3s | 18 | 424183 | 363852 | 3100 224 | 448 | 0 116.07/116.11 c 74.4s | 18 | 435283 | 373652 | 3100 229 | 448 | 0 118.07/118.12 c 76.4s | 18 | 448078 | 384252 | 3100 235 | 448 | 0 120.06/120.13 c 78.4s | 18 | 459257 | 394152 | 3100 240 | 448 | 0 122.07/122.15 c 80.4s | 18 | 468960 | 403452 | 3100 245 | 448 | 0 124.06/124.17 c 82.4s | 18 | 479616 | 412852 | 3100 251 | 448 | 0 126.06/126.18 c 84.4s | 18 | 490628 | 422552 | 3100 256 | 448 | 0 128.16/128.20 c 86.5s | 18 | 500131 | 431552 | 3100 261 | 448 | 0 130.16/130.21 c 88.5s | 18 | 509564 | 440352 | 3100 266 | 448 | 0 131.06/131.11 c 89.4s | 19 | 514029 | 444482 | 3100 268 | 448 | 0 133.07/133.13 c 91.4s | 19 | 525930 | 453982 | 3100 273 | 448 | 0 135.06/135.15 c 93.4s | 19 | 535506 | 461782 | 3100 277 | 448 | 0 137.06/137.16 c 95.4s | 19 | 546515 | 470382 | 3100 282 | 448 | 0 139.06/139.17 c 97.4s | 19 | 554898 | 477582 | 3100 286 | 448 | 0 141.06/141.17 c 99.4s | 19 | 563180 | 485182 | 3100 290 | 448 | 0 143.07/143.19 c 101s | 19 | 572177 | 493582 | 3100 295 | 448 | 0 145.06/145.20 c 103s | 19 | 579824 | 501082 | 3100 299 | 448 | 0 147.16/147.22 c 105s | 19 | 587286 | 507682 | 3100 302 | 448 | 0 149.16/149.25 c 107s | 19 | 595120 | 514582 | 3100 306 | 448 | 0 151.16/151.27 c 109s | 19 | 603250 | 522082 | 3100 310 | 448 | 0 153.16/153.28 c 111s | 19 | 613738 | 531382 | 3411 315 | 448 | 0 155.26/155.30 c 113s | 19 | 624610 | 540482 | 3411 319 | 448 | 0 157.26/157.32 c 115s | 19 | 635519 | 549782 | 3411 324 | 448 | 0 159.26/159.32 c 117s | 19 | 646683 | 559082 | 3411 329 | 448 | 0 161.26/161.32 c 119s | 19 | 656985 | 568282 | 3411 334 | 448 | 0 163.26/163.34 c 121s | 19 | 666606 | 576882 | 3411 338 | 448 | 0 165.25/165.35 c 123s | 19 | 677966 | 586082 | 3411 343 | 448 | 0 167.26/167.37 c 125s | 19 | 688608 | 595282 | 3411 347 | 448 | 0 169.25/169.38 c 127s | 19 | 698842 | 604382 | 3411 352 | 448 | 0 171.25/171.39 c 129s | 19 | 709527 | 613482 | 3411 356 | 448 | 0 173.35/173.40 c 131s | 19 | 720485 | 622982 | 3411 361 | 448 | 0 175.35/175.43 c 133s | 19 | 730050 | 631382 | 3411 366 | 448 | 0 177.35/177.43 c 135s | 19 | 740825 | 640482 | 3411 370 | 448 | 0 179.36/179.44 c 137s | 19 | 751104 | 649582 | 3411 375 | 448 | 0 181.35/181.45 c 139s | 19 | 761411 | 658582 | 3411 379 | 448 | 0 183.26/183.32 c 141s | 20 | 771198 | 666827 | 3411 384 | 448 | 0 185.26/185.34 c 143s | 20 | 785222 | 678127 | 3411 389 | 448 | 0 187.26/187.35 c 145s | 20 | 795564 | 687127 | 3411 394 | 448 | 0 189.27/189.38 c 147s | 20 | 806207 | 696527 | 3411 399 | 448 | 0 191.37/191.46 c 149s | 20 | 815521 | 704827 | 3411 403 | 448 | 0 193.36/193.47 c 151s | 20 | 825509 | 713927 | 3411 407 | 448 | 0 195.36/195.48 c 153s | 20 | 835623 | 723027 | 3411 412 | 448 | 0 197.36/197.49 c 155s | 20 | 843925 | 730527 | 3411 416 | 448 | 0 199.36/199.49 c 157s | 20 | 853633 | 739527 | 3411 420 | 448 | 0 201.46/201.51 c 159s | 20 | 861945 | 747327 | 3411 424 | 448 | 0 203.46/203.52 c 161s | 20 | 872242 | 756327 | 3411 429 | 448 | 0 205.45/205.54 c 163s | 20 | 884531 | 766327 | 3411 434 | 448 | 0 207.45/207.55 c 165s | 20 | 895892 | 774727 | 3411 438 | 448 | 0 209.45/209.56 c 167s | 20 | 908193 | 785027 | 3411 443 | 448 | 0 211.45/211.59 c 169s | 20 | 919980 | 794727 | 3411 448 | 448 | 0 213.55/213.61 c 171s | 20 | 931373 | 805027 | 3411 453 | 448 | 0 215.56/215.62 c 173s | 20 | 940937 | 813927 | 3411 458 | 448 | 0 217.55/217.63 c 175s | 20 | 950544 | 822627 | 3411 462 | 448 | 0 219.55/219.64 c 177s | 20 | 959698 | 831127 | 3411 466 | 448 | 0 221.55/221.64 c 179s | 20 | 969195 | 839727 | 3411 471 | 448 | 0 223.55/223.65 c 181s | 20 | 979632 | 848827 | 3411 475 | 448 | 0 225.56/225.67 c 183s | 20 | 989203 | 857127 | 3753 479 | 448 | 0 227.55/227.69 c 185s | 20 | 997811 | 864727 | 3753 483 | 448 | 0 229.65/229.70 c 187s | 20 | 1007461 | 873127 | 3753 487 | 448 | 0 231.64/231.71 c 189s | 20 | 1017383 | 881627 | 3753 491 | 448 | 0 233.65/233.72 c 191s | 20 | 1026530 | 889627 | 3753 494 | 448 | 0 235.65/235.73 c 193s | 20 | 1037810 | 899227 | 3753 499 | 448 | 0 237.66/237.73 c 195s | 20 | 1047613 | 907627 | 3753 503 | 448 | 0 239.65/239.73 c 197s | 20 | 1058100 | 917027 | 3753 507 | 448 | 0 241.65/241.75 c 200s | 20 | 1067428 | 925627 | 3753 511 | 448 | 0 243.65/243.75 c 202s | 20 | 1076574 | 933227 | 3753 515 | 448 | 0 245.65/245.76 c 204s | 20 | 1086526 | 941527 | 3753 518 | 448 | 0 247.65/247.78 c 206s | 20 | 1095932 | 949627 | 3753 522 | 448 | 0 249.66/249.79 c 208s | 20 | 1105400 | 958027 | 3753 526 | 448 | 0 251.75/251.80 c 210s | 20 | 1114238 | 965927 | 3753 530 | 448 | 0 253.75/253.81 c 212s | 20 | 1123569 | 974127 | 3753 534 | 448 | 0 255.75/255.83 c 214s | 20 | 1132839 | 982027 | 3753 537 | 448 | 0 257.75/257.88 c 216s | 20 | 1143730 | 991127 | 3753 542 | 448 | 0 259.85/259.90 c 218s | 20 | 1154237 | 999227 | 3753 545 | 448 | 0 260.05/260.13 c 218s | 21 | 1155544 | 1000345 | 3753 546 | 448 | 0 262.04/262.14 c 220s | 21 | 1167435 | 1010145 | 3753 550 | 448 | 0 264.05/264.15 c 222s | 21 | 1179122 | 1019745 | 3753 555 | 448 | 0 266.04/266.17 c 224s | 21 | 1188300 | 1028045 | 3753 559 | 448 | 0 268.04/268.18 c 226s | 21 | 1198824 | 1037145 | 3753 563 | 448 | 0 270.04/270.18 c 228s | 21 | 1209819 | 1046145 | 3753 567 | 448 | 0 272.04/272.19 c 230s | 21 | 1220023 | 1054345 | 3753 571 | 448 | 0 274.14/274.20 c 232s | 21 | 1228839 | 1061745 | 3753 574 | 448 | 0 276.15/276.21 c 234s | 21 | 1240580 | 1071045 | 3753 579 | 448 | 0 278.14/278.21 c 236s | 21 | 1251956 | 1080145 | 3753 583 | 448 | 0 280.14/280.23 c 238s | 21 | 1262900 | 1089245 | 3753 587 | 448 | 0 282.14/282.25 c 240s | 21 | 1273337 | 1098145 | 3753 591 | 448 | 0 284.14/284.26 c 242s | 21 | 1285068 | 1107245 | 3753 596 | 448 | 0 286.14/286.27 c 244s | 21 | 1295120 | 1116945 | 3753 600 | 448 | 0 288.15/288.28 c 246s | 21 | 1302802 | 1124245 | 3753 604 | 448 | 0 290.14/290.28 c 248s | 21 | 1309580 | 1130645 | 3753 607 | 448 | 0 292.14/292.29 c 250s | 21 | 1317104 | 1137145 | 3753 610 | 448 | 0 294.24/294.30 c 252s | 21 | 1325680 | 1144545 | 3753 613 | 448 | 0 296.24/296.31 c 254s | 21 | 1334813 | 1152045 | 3753 617 | 448 | 0 298.24/298.32 c 256s | 21 | 1344140 | 1159945 | 3753 620 | 448 | 0 300.24/300.37 c 258s | 21 | 1351621 | 1167045 | 3753 624 | 448 | 0 302.24/302.39 c 260s | 21 | 1359065 | 1174045 | 3753 627 | 448 | 0 304.33/304.42 c 262s | 21 | 1367933 | 1182145 | 3753 631 | 448 | 0 306.33/306.45 c 264s | 21 | 1375343 | 1189045 | 3753 634 | 448 | 0 308.33/308.47 c 266s | 21 | 1384707 | 1197545 | 3753 638 | 448 | 0 310.43/310.50 c 268s | 21 | 1394268 | 1205745 | 3753 642 | 448 | 0 312.45/312.51 c 270s | 21 | 1404047 | 1214445 | 3753 646 | 448 | 0 314.44/314.53 c 272s | 21 | 1413735 | 1222845 | 3753 650 | 448 | 0 316.44/316.54 c 274s | 21 | 1423898 | 1231845 | 3753 654 | 448 | 0 318.44/318.56 c 276s | 21 | 1434835 | 1240645 | 3753 658 | 448 | 0 320.44/320.57 c 278s | 21 | 1446686 | 1249945 | 3753 662 | 448 | 0 322.44/322.59 c 280s | 21 | 1456673 | 1258245 | 3753 666 | 448 | 0 324.44/324.59 c 282s | 21 | 1466767 | 1266445 | 3753 670 | 448 | 0 326.54/326.60 c 284s | 21 | 1476524 | 1274745 | 3753 674 | 448 | 0 328.54/328.60 c 286s | 21 | 1485072 | 1282845 | 3753 678 | 448 | 0 330.54/330.62 c 288s | 21 | 1493503 | 1290445 | 3753 681 | 448 | 0 332.54/332.69 c 290s | 21 | 1505215 | 1300145 | 3753 686 | 448 | 0 334.64/334.70 c 292s | 21 | 1513759 | 1308045 | 3753 689 | 448 | 0 336.64/336.73 c 294s | 21 | 1522217 | 1315945 | 3753 693 | 448 | 0 338.63/338.73 c 296s | 21 | 1533706 | 1325645 | 3753 698 | 448 | 0 340.63/340.74 c 298s | 21 | 1543508 | 1334245 | 3753 702 | 448 | 0 342.63/342.76 c 301s | 21 | 1554942 | 1343645 | 3753 706 | 448 | 0 344.63/344.79 c 303s | 21 | 1565503 | 1352045 | 4129 710 | 448 | 0 346.63/346.79 c 305s | 21 | 1575405 | 1360645 | 4129 713 | 448 | 0 348.64/348.79 c 307s | 21 | 1584452 | 1368845 | 4129 717 | 448 | 0 350.63/350.79 c 309s | 21 | 1595775 | 1378545 | 4129 721 | 448 | 0 352.73/352.81 c 311s | 21 | 1604904 | 1385945 | 4129 724 | 448 | 0 354.83/354.95 c 313s | 21 | 1613197 | 1393445 | 4129 728 | 448 | 0 356.83/356.97 c 315s | 21 | 1621140 | 1400645 | 4129 731 | 448 | 0 358.83/358.98 c 317s | 21 | 1628196 | 1407145 | 4129 733 | 448 | 0 360.84/360.99 c 319s | 21 | 1636638 | 1414645 | 4129 737 | 448 | 0 362.83/363.00 c 321s | 21 | 1644669 | 1421845 | 4129 740 | 448 | 0 364.93/365.02 c 323s | 21 | 1654491 | 1430345 | 4129 743 | 448 | 0 366.93/367.03 c 325s | 21 | 1663048 | 1437845 | 4129 747 | 448 | 0 368.93/369.05 c 327s | 21 | 1671329 | 1445145 | 4129 750 | 448 | 0 370.93/371.06 c 329s | 21 | 1679334 | 1452445 | 4129 753 | 448 | 0 372.93/373.07 c 331s | 21 | 1689914 | 1461045 | 4129 756 | 448 | 0 374.92/375.09 c 333s | 21 | 1699923 | 1470245 | 4129 760 | 448 | 0 376.92/377.09 c 335s | 21 | 1710005 | 1478345 | 4129 764 | 448 | 0 379.02/379.12 c 337s | 21 | 1720545 | 1486845 | 4129 768 | 448 | 0 381.02/381.12 c 339s | 21 | 1729857 | 1494445 | 4129 771 | 448 | 0 382.72/382.84 c 341s | 22 | 1737405 | 1500622 | 4129 773 | 448 | 0 384.72/384.85 c 343s | 22 | 1747909 | 1510322 | 4129 778 | 448 | 0 386.72/386.88 c 345s | 22 | 1759569 | 1521122 | 4129 782 | 448 | 0 388.72/388.89 c 347s | 22 | 1768782 | 1529622 | 4129 786 | 448 | 0 390.82/390.90 c 349s | 22 | 1777743 | 1537722 | 4129 789 | 448 | 0 392.82/392.92 c 351s | 22 | 1788209 | 1547222 | 4129 793 | 448 | 0 394.82/394.93 c 353s | 22 | 1796925 | 1555622 | 4129 797 | 448 | 0 396.82/396.95 c 355s | 22 | 1805690 | 1563722 | 4129 800 | 448 | 0 398.81/398.95 c 357s | 22 | 1814395 | 1571722 | 4129 804 | 448 | 0 400.81/400.96 c 359s | 22 | 1823099 | 1579322 | 4129 807 | 448 | 0 402.81/402.98 c 361s | 22 | 1832095 | 1587122 | 4129 811 | 448 | 0 404.92/405.01 c 363s | 22 | 1839529 | 1594122 | 4129 814 | 448 | 0 406.92/407.03 c 365s | 22 | 1847039 | 1601122 | 4129 817 | 448 | 0 409.02/409.12 c 367s | 22 | 1855658 | 1609222 | 4129 820 | 448 | 0 411.02/411.15 c 369s | 22 | 1862686 | 1616022 | 4129 823 | 448 | 0 413.01/413.16 c 371s | 22 | 1871839 | 1624122 | 4129 826 | 448 | 0 415.01/415.17 c 373s | 22 | 1881829 | 1632622 | 4129 830 | 448 | 0 417.01/417.19 c 375s | 22 | 1892050 | 1640822 | 4129 834 | 448 | 0 419.21/419.30 c 377s | 22 | 1901761 | 1649122 | 4129 837 | 448 | 0 421.22/421.31 c 379s | 22 | 1911180 | 1657422 | 4129 841 | 448 | 0 423.21/423.31 c 381s | 22 | 1920162 | 1665422 | 4129 844 | 448 | 0 425.20/425.32 c 383s | 22 | 1928642 | 1673122 | 4129 847 | 448 | 0 427.20/427.33 c 385s | 22 | 1937959 | 1681322 | 4129 851 | 448 | 0 429.20/429.34 c 387s | 22 | 1949262 | 1690722 | 4129 855 | 448 | 0 431.21/431.35 c 389s | 22 | 1958133 | 1698122 | 4129 858 | 448 | 0 433.20/433.36 c 391s | 22 | 1968605 | 1707222 | 4129 862 | 448 | 0 435.20/435.37 c 393s | 22 | 1980589 | 1716822 | 4129 866 | 448 | 0 437.20/437.38 c 395s | 22 | 1991800 | 1725822 | 4129 870 | 448 | 0 439.20/439.38 c 397s | 22 | 2004084 | 1735722 | 4129 874 | 448 | 0 441.20/441.39 c 399s | 22 | 2013860 | 1743822 | 4129 878 | 448 | 0 443.30/443.41 c 401s | 22 | 2023238 | 1752322 | 4129 881 | 448 | 0 445.30/445.43 c 403s | 22 | 2033066 | 1760622 | 4129 885 | 448 | 0 447.29/447.44 c 405s | 22 | 2042747 | 1769022 | 4129 889 | 448 | 0 449.29/449.47 c 407s | 22 | 2050998 | 1776622 | 4129 892 | 448 | 0 451.29/451.48 c 409s | 22 | 2061649 | 1785822 | 4129 896 | 448 | 0 453.39/453.52 c 411s | 22 | 2071210 | 1794322 | 4129 899 | 448 | 0 455.40/455.59 c 413s | 22 | 2080834 | 1803022 | 4129 903 | 448 | 0 457.49/457.62 c 415s | 22 | 2090628 | 1811022 | 4129 907 | 448 | 0 459.49/459.63 c 417s | 22 | 2099867 | 1819322 | 4129 910 | 448 | 0 461.49/461.68 c 419s | 22 | 2109323 | 1827622 | 4129 914 | 448 | 0 463.49/463.70 c 421s | 22 | 2117380 | 1834922 | 4129 917 | 448 | 0 465.59/465.71 c 423s | 22 | 2125915 | 1842522 | 4129 920 | 448 | 0 467.59/467.72 c 425s | 22 | 2134848 | 1850122 | 4129 923 | 448 | 0 469.60/469.73 c 427s | 22 | 2144044 | 1858222 | 4129 927 | 448 | 0 471.59/471.73 c 429s | 22 | 2154337 | 1867022 | 4129 931 | 448 | 0 473.59/473.74 c 431s | 22 | 2163925 | 1875622 | 4129 934 | 448 | 0 475.59/475.75 c 434s | 22 | 2171356 | 1882822 | 4129 937 | 448 | 0 477.59/477.76 c 436s | 22 | 2179414 | 1890422 | 4129 941 | 448 | 0 479.60/479.78 c 438s | 22 | 2190815 | 1899922 | 4129 945 | 448 | 0 481.69/481.80 c 440s | 22 | 2200078 | 1907422 | 4129 948 | 448 | 0 483.69/483.82 c 442s | 22 | 2210996 | 1916622 | 4129 952 | 448 | 0 485.68/485.82 c 444s | 22 | 2221097 | 1925222 | 4129 955 | 448 | 0 487.68/487.83 c 446s | 22 | 2231748 | 1933922 | 4129 959 | 448 | 0 489.68/489.84 c 448s | 22 | 2241761 | 1941922 | 4129 963 | 448 | 0 491.68/491.84 c 450s | 22 | 2254476 | 1952122 | 4129 967 | 448 | 0 493.68/493.84 c 452s | 22 | 2263974 | 1959622 | 4129 970 | 448 | 0 495.67/495.85 c 454s | 22 | 2274821 | 1968822 | 4129 974 | 448 | 0 497.67/497.86 c 456s | 22 | 2285152 | 1977422 | 4129 978 | 448 | 0 499.67/499.89 c 458s | 22 | 2295174 | 1985922 | 4129 981 | 448 | 0 501.77/501.90 c 460s | 22 | 2304970 | 1993622 | 4129 985 | 448 | 0 503.78/503.93 c 462s | 22 | 2315033 | 2002522 | 4129 988 | 448 | 0 505.77/505.95 c 464s | 22 | 2323216 | 2010022 | 4129 992 | 448 | 0 507.77/507.96 c 466s | 22 | 2331112 | 2017422 | 4129 995 | 448 | 0 509.77/509.97 c 468s | 22 | 2339777 | 2025122 | 4129 998 | 448 | 0 511.76/511.97 c 470s | 22 | 2347700 | 2032122 | 4129 1001 | 448 | 0 513.76/513.99 c 472s | 22 | 2356330 | 2039822 | 4129 1004 | 448 | 0 515.87/516.02 c 474s | 22 | 2367556 | 2049422 | 4129 1009 | 448 | 0 517.86/518.02 c 476s | 22 | 2378726 | 2058022 | 4129 1012 | 448 | 0 519.86/520.05 c 478s | 22 | 2388371 | 2065722 | 4129 1016 | 448 | 0 521.86/522.05 c 480s | 22 | 2398881 | 2074522 | 4129 1019 | 448 | 0 523.86/524.07 c 482s | 22 | 2408392 | 2082522 | 4129 1023 | 448 | 0 525.86/526.09 c 484s | 22 | 2417938 | 2090522 | 4129 1026 | 448 | 0 527.87/528.10 c 486s | 22 | 2429143 | 2100022 | 4542 1030 | 448 | 0 529.96/530.11 c 488s | 22 | 2437882 | 2107822 | 4542 1033 | 448 | 0 531.95/532.11 c 490s | 22 | 2447157 | 2115622 | 4542 1036 | 448 | 0 533.95/534.12 c 492s | 22 | 2456950 | 2123622 | 4542 1039 | 448 | 0 535.95/536.12 c 494s | 22 | 2469438 | 2133322 | 4542 1043 | 448 | 0 538.05/538.29 c 496s | 22 | 2477385 | 2140522 | 4542 1046 | 448 | 0 540.15/540.33 c 498s | 22 | 2485285 | 2147222 | 4542 1049 | 448 | 0 542.15/542.33 c 500s | 22 | 2494450 | 2155122 | 4542 1052 | 448 | 0 544.15/544.34 c 502s | 22 | 2504365 | 2163222 | 4542 1055 | 448 | 0 546.15/546.35 c 504s | 22 | 2515393 | 2172022 | 4542 1058 | 448 | 0 548.15/548.37 c 506s | 22 | 2522918 | 2179122 | 4542 1061 | 448 | 0 550.14/550.38 c 508s | 22 | 2532881 | 2187922 | 4542 1065 | 448 | 0 552.15/552.38 c 510s | 22 | 2541806 | 2195522 | 4542 1068 | 448 | 0 554.14/554.39 c 512s | 22 | 2551205 | 2203722 | 4542 1071 | 448 | 0 556.14/556.39 c 514s | 22 | 2561091 | 2211922 | 4542 1074 | 448 | 0 558.24/558.40 c 516s | 22 | 2569650 | 2219122 | 4542 1077 | 448 | 0 560.24/560.45 c 518s | 22 | 2577623 | 2225922 | 4542 1080 | 448 | 0 562.24/562.45 c 520s | 22 | 2586939 | 2234322 | 4542 1083 | 448 | 0 564.24/564.45 c 522s | 22 | 2594535 | 2240922 | 4542 1085 | 448 | 0 566.23/566.46 c 524s | 22 | 2602991 | 2248022 | 4542 1088 | 448 | 0 566.93/567.13 c 525s | 23 | 2606408 | 2251038 | 4542 1089 | 448 | 0 568.93/569.14 c 527s | 23 | 2616363 | 2259038 | 4542 1093 | 448 | 0 570.93/571.17 c 529s | 23 | 2627391 | 2269038 | 4542 1096 | 448 | 0 572.94/573.19 c 531s | 23 | 2637990 | 2278038 | 4542 1100 | 448 | 0 575.04/575.27 c 533s | 23 | 2646146 | 2285338 | 4542 1103 | 448 | 0 577.14/577.30 c 535s | 23 | 2657085 | 2294038 | 4542 1106 | 448 | 0 579.14/579.31 c 537s | 23 | 2666154 | 2301238 | 4542 1109 | 448 | 0 581.13/581.32 c 539s | 23 | 2674136 | 2307738 | 4542 1112 | 448 | 0 583.13/583.32 c 541s | 23 | 2684032 | 2316438 | 4542 1115 | 448 | 0 585.14/585.34 c 543s | 23 | 2692942 | 2324138 | 4542 1118 | 448 | 0 587.13/587.35 c 545s | 23 | 2701586 | 2331738 | 4542 1121 | 448 | 0 589.13/589.37 c 547s | 23 | 2709574 | 2338938 | 4542 1124 | 448 | 0 591.13/591.39 c 549s | 23 | 2716965 | 2346038 | 4542 1127 | 448 | 0 593.22/593.41 c 551s | 23 | 2724985 | 2353038 | 4542 1129 | 448 | 0 595.22/595.43 c 553s | 23 | 2732891 | 2360338 | 4542 1132 | 448 | 0 597.23/597.44 c 555s | 23 | 2741185 | 2368038 | 4542 1135 | 448 | 0 599.22/599.46 c 557s | 23 | 2750673 | 2376138 | 4542 1139 | 448 | 0 601.22/601.48 c 559s | 23 | 2760328 | 2384338 | 4542 1142 | 448 | 0 603.22/603.49 c 561s | 23 | 2770665 | 2392738 | 4542 1145 | 448 | 0 605.32/605.50 c 563s | 23 | 2781569 | 2401638 | 4542 1149 | 448 | 0 607.31/607.51 c 565s | 23 | 2792638 | 2409238 | 4542 1152 | 448 | 0 609.32/609.52 c 567s | 23 | 2803695 | 2417938 | 4542 1155 | 448 | 0 611.31/611.54 c 569s | 23 | 2813698 | 2426338 | 4542 1158 | 448 | 0 613.31/613.55 c 571s | 23 | 2824143 | 2434838 | 4542 1162 | 448 | 0 615.32/615.57 c 573s | 23 | 2833301 | 2442738 | 4542 1165 | 448 | 0 617.32/617.57 c 575s | 23 | 2841791 | 2450038 | 4542 1168 | 448 | 0 619.32/619.58 c 577s | 23 | 2850537 | 2457738 | 4542 1171 | 448 | 0 621.32/621.58 c 579s | 23 | 2859601 | 2465738 | 4542 1174 | 448 | 0 623.31/623.59 c 581s | 23 | 2870280 | 2474738 | 4542 1177 | 448 | 0 625.41/625.61 c 583s | 23 | 2880261 | 2483038 | 4542 1181 | 448 | 0 627.41/627.61 c 585s | 23 | 2890446 | 2491138 | 4542 1184 | 448 | 0 629.41/629.63 c 587s | 23 | 2901177 | 2500438 | 4542 1187 | 448 | 0 631.41/631.64 c 589s | 23 | 2911040 | 2508638 | 4542 1191 | 448 | 0 633.41/633.65 c 591s | 23 | 2922316 | 2517638 | 4542 1194 | 448 | 0 635.40/635.65 c 593s | 23 | 2931031 | 2525238 | 4542 1197 | 448 | 0 637.40/637.66 c 595s | 23 | 2939796 | 2532838 | 4542 1200 | 448 | 0 639.40/639.67 c 597s | 23 | 2946769 | 2539438 | 4542 1203 | 448 | 0 641.50/641.70 c 599s | 23 | 2953336 | 2545538 | 4542 1205 | 448 | 0 643.50/643.70 c 601s | 23 | 2960992 | 2552538 | 4542 1208 | 448 | 0 645.50/645.71 c 603s | 23 | 2971294 | 2560738 | 4542 1211 | 448 | 0 647.50/647.71 c 605s | 23 | 2981422 | 2569238 | 4542 1214 | 448 | 0 649.50/649.73 c 607s | 23 | 2991964 | 2578038 | 4542 1218 | 448 | 0 651.50/651.74 c 609s | 23 | 3001787 | 2586238 | 4542 1221 | 448 | 0 653.49/653.75 c 612s | 23 | 3012189 | 2595238 | 4542 1225 | 448 | 0 655.50/655.76 c 614s | 23 | 3020323 | 2602738 | 4542 1228 | 448 | 0 657.60/657.85 c 616s | 23 | 3029578 | 2610838 | 4542 1231 | 448 | 0 659.59/659.85 c 618s | 23 | 3039430 | 2619638 | 4542 1234 | 448 | 0 661.59/661.86 c 620s | 23 | 3050222 | 2629138 | 4542 1238 | 448 | 0 663.59/663.88 c 622s | 23 | 3060560 | 2637638 | 4542 1241 | 448 | 0 665.69/665.90 c 624s | 23 | 3070850 | 2645738 | 4542 1244 | 448 | 0 667.69/667.91 c 626s | 23 | 3080019 | 2652638 | 4542 1247 | 448 | 0 669.69/669.93 c 628s | 23 | 3090463 | 2661038 | 4542 1250 | 448 | 0 671.69/671.94 c 630s | 23 | 3099697 | 2669138 | 4542 1254 | 448 | 0 673.79/674.00 c 632s | 23 | 3108943 | 2677638 | 4542 1257 | 448 | 0 675.79/676.01 c 634s | 23 | 3117204 | 2685238 | 4542 1260 | 448 | 0 677.79/678.02 c 636s | 23 | 3126168 | 2692938 | 4542 1263 | 448 | 0 679.78/680.03 c 638s | 23 | 3135876 | 2700938 | 4542 1266 | 448 | 0 681.79/682.04 c 640s | 23 | 3146879 | 2709938 | 4542 1270 | 448 | 0 683.78/684.04 c 642s | 23 | 3157678 | 2719238 | 4542 1273 | 448 | 0 685.78/686.05 c 644s | 23 | 3166969 | 2727338 | 4542 1277 | 448 | 0 687.78/688.06 c 646s | 23 | 3177771 | 2736338 | 4542 1280 | 448 | 0 689.78/690.08 c 648s | 23 | 3186860 | 2744238 | 4542 1283 | 448 | 0 691.78/692.08 c 650s | 23 | 3196154 | 2752138 | 4542 1286 | 448 | 0 693.78/694.09 c 652s | 23 | 3207535 | 2762138 | 4542 1290 | 448 | 0 695.88/696.10 c 654s | 23 | 3218909 | 2771138 | 4542 1294 | 448 | 0 697.87/698.12 c 656s | 23 | 3228729 | 2778538 | 4542 1297 | 448 | 0 699.87/700.13 c 658s | 23 | 3239162 | 2787138 | 4542 1300 | 448 | 0 701.87/702.14 c 660s | 23 | 3248398 | 2795238 | 4542 1303 | 448 | 0 703.88/704.14 c 662s | 23 | 3258162 | 2803638 | 4542 1307 | 448 | 0 705.87/706.16 c 664s | 23 | 3267460 | 2811638 | 4542 1310 | 448 | 0 707.87/708.17 c 666s | 23 | 3275596 | 2818838 | 4542 1312 | 448 | 0 709.88/710.18 c 668s | 23 | 3285270 | 2827138 | 4542 1316 | 448 | 0 711.97/712.20 c 670s | 23 | 3293501 | 2834538 | 4542 1319 | 448 | 0 713.97/714.21 c 672s | 23 | 3302052 | 2841938 | 4542 1322 | 448 | 0 715.98/716.29 c 674s | 23 | 3310341 | 2849438 | 4542 1325 | 448 | 0 718.08/718.31 c 676s | 23 | 3319312 | 2857338 | 4542 1328 | 448 | 0 720.07/720.32 c 678s | 23 | 3327434 | 2864538 | 4542 1330 | 448 | 0 722.07/722.33 c 680s | 23 | 3337207 | 2872838 | 4542 1334 | 448 | 0 724.07/724.37 c 682s | 23 | 3348173 | 2882538 | 4542 1338 | 448 | 0 726.16/726.40 c 684s | 23 | 3356593 | 2890138 | 4542 1341 | 448 | 0 728.16/728.40 c 686s | 23 | 3364872 | 2897738 | 4542 1344 | 448 | 0 730.17/730.41 c 688s | 23 | 3374840 | 2906338 | 4542 1347 | 448 | 0 732.16/732.42 c 690s | 23 | 3384137 | 2914738 | 4542 1350 | 448 | 0 734.16/734.43 c 692s | 23 | 3392442 | 2922238 | 4542 1353 | 448 | 0 736.26/736.53 c 694s | 23 | 3400716 | 2929638 | 4542 1356 | 448 | 0 738.26/738.55 c 696s | 23 | 3410067 | 2937638 | 4542 1359 | 448 | 0 740.26/740.56 c 698s | 23 | 3418568 | 2945138 | 4542 1362 | 448 | 0 742.26/742.56 c 700s | 23 | 3431329 | 2954938 | 4542 1366 | 448 | 0 744.25/744.58 c 702s | 23 | 3440013 | 2962538 | 4542 1369 | 448 | 0 746.25/746.60 c 704s | 23 | 3449189 | 2970338 | 4542 1372 | 448 | 0 748.35/748.61 c 706s | 23 | 3458703 | 2978838 | 4542 1375 | 448 | 0 750.35/750.62 c 708s | 23 | 3468877 | 2987538 | 4542 1379 | 448 | 0 752.35/752.62 c 710s | 23 | 3479115 | 2996438 | 4542 1382 | 448 | 0 754.35/754.63 c 712s | 23 | 3490396 | 3006038 | 4542 1386 | 448 | 0 756.35/756.63 c 714s | 23 | 3499570 | 3014138 | 4542 1389 | 448 | 0 758.34/758.64 c 716s | 23 | 3509802 | 3022638 | 4542 1393 | 448 | 0 760.34/760.67 c 718s | 23 | 3521958 | 3032738 | 4542 1397 | 448 | 0 762.34/762.68 c 720s | 23 | 3533381 | 3042538 | 4542 1400 | 448 | 0 764.44/764.70 c 722s | 23 | 3545747 | 3052638 | 4542 1404 | 448 | 0 766.34/766.70 c 724s | 23 | 3555467 | 3060638 | 4542 1408 | 448 | 0 768.44/768.71 c 726s | 23 | 3565835 | 3069538 | 4542 1411 | 448 | 0 770.44/770.73 c 728s | 23 | 3575260 | 3077738 | 4542 1414 | 448 | 0 772.43/772.74 c 730s | 23 | 3586136 | 3087438 | 4542 1418 | 448 | 0 774.43/774.74 c 732s | 23 | 3595518 | 3095738 | 4542 1421 | 448 | 0 776.45/776.76 c 735s | 23 | 3603767 | 3102738 | 4542 1424 | 448 | 0 778.44/778.78 c 737s | 23 | 3612299 | 3110038 | 4542 1427 | 448 | 0 780.44/780.79 c 739s | 23 | 3621763 | 3117638 | 4542 1430 | 448 | 0 782.44/782.79 c 741s | 23 | 3630467 | 3125138 | 4542 1433 | 448 | 0 784.54/784.81 c 743s | 23 | 3641283 | 3133338 | 4542 1436 | 448 | 0 786.54/786.83 c 745s | 23 | 3650485 | 3141938 | 4542 1440 | 448 | 0 788.54/788.84 c 747s | 23 | 3660961 | 3151238 | 4542 1443 | 448 | 0 790.54/790.86 c 749s | 23 | 3670405 | 3159238 | 4542 1446 | 448 | 0 792.53/792.88 c 751s | 23 | 3678603 | 3166838 | 4542 1449 | 448 | 0 794.53/794.88 c 753s | 23 | 3688136 | 3175138 | 4542 1453 | 448 | 0 796.53/796.88 c 755s | 23 | 3697280 | 3183038 | 4542 1456 | 448 | 0 798.63/798.90 c 757s | 23 | 3706534 | 3191238 | 4542 1459 | 448 | 0 800.64/800.91 c 759s | 23 | 3713893 | 3198038 | 4542 1462 | 448 | 0 802.63/802.95 c 761s | 23 | 3721331 | 3205138 | 4542 1464 | 448 | 0 804.62/804.97 c 763s | 23 | 3730277 | 3212838 | 4542 1467 | 448 | 0 806.62/806.97 c 765s | 23 | 3738647 | 3220238 | 4997 1470 | 448 | 0 808.72/809.00 c 767s | 23 | 3747299 | 3227938 | 4997 1473 | 448 | 0 810.72/811.01 c 769s | 23 | 3755476 | 3235238 | 4997 1475 | 448 | 0 812.73/813.02 c 771s | 23 | 3763931 | 3242638 | 4997 1478 | 448 | 0 814.72/815.06 c 773s | 23 | 3771520 | 3249438 | 4997 1481 | 448 | 0 816.72/817.07 c 775s | 23 | 3779764 | 3256938 | 4997 1483 | 448 | 0 818.72/819.07 c 777s | 23 | 3787803 | 3263938 | 4997 1486 | 448 | 0 820.71/821.08 c 779s | 23 | 3796703 | 3271538 | 4997 1488 | 448 | 0 822.81/823.16 c 781s | 23 | 3806525 | 3279938 | 4997 1492 | 448 | 0 824.82/825.16 c 783s | 23 | 3815725 | 3288238 | 4997 1495 | 448 | 0 826.81/827.16 c 785s | 23 | 3823589 | 3294838 | 4997 1497 | 448 | 0 828.81/829.18 c 787s | 23 | 3832251 | 3302538 | 4997 1500 | 448 | 0 830.81/831.18 c 789s | 23 | 3838939 | 3308838 | 4997 1502 | 448 | 0 832.91/833.21 c 791s | 23 | 3847228 | 3316238 | 4997 1505 | 448 | 0 834.91/835.21 c 793s | 23 | 3855821 | 3323938 | 4997 1507 | 448 | 0 836.91/837.22 c 795s | 23 | 3863395 | 3330938 | 4997 1510 | 448 | 0 838.91/839.24 c 797s | 23 | 3871587 | 3338438 | 4997 1513 | 448 | 0 840.91/841.26 c 799s | 23 | 3881232 | 3346538 | 4997 1516 | 448 | 0 842.90/843.26 c 801s | 23 | 3889161 | 3353038 | 4997 1518 | 448 | 0 844.91/845.27 c 803s | 23 | 3898479 | 3361238 | 4997 1521 | 448 | 0 846.91/847.28 c 805s | 23 | 3906840 | 3368738 | 4997 1524 | 448 | 0 848.91/849.29 c 807s | 23 | 3915457 | 3376638 | 4997 1526 | 448 | 0 848.91/849.30 c 807s | 24 | 3915481 | 3376662 | 4997 1526 | 448 | 0 851.01/851.35 c 809s | 24 | 3928758 | 3385862 | 4997 1530 | 448 | 0 853.00/853.36 c 811s | 24 | 3940763 | 3394362 | 4997 1533 | 448 | 0 855.00/855.36 c 813s | 24 | 3952482 | 3403062 | 4997 1536 | 448 | 0 857.00/857.37 c 815s | 24 | 3962674 | 3411262 | 4997 1539 | 448 | 0 859.00/859.38 c 817s | 24 | 3974203 | 3420062 | 4997 1542 | 448 | 0 861.01/861.38 c 819s | 24 | 3984389 | 3427862 | 4997 1545 | 448 | 0 863.00/863.38 c 821s | 24 | 3996492 | 3436962 | 4997 1548 | 448 | 0 865.00/865.39 c 823s | 24 | 4006971 | 3444862 | 4997 1551 | 448 | 0 867.10/867.41 c 825s | 24 | 4017416 | 3452262 | 4997 1554 | 448 | 0 869.09/869.42 c 827s | 24 | 4028384 | 3460962 | 4997 1557 | 448 | 0 871.09/871.43 c 829s | 24 | 4039468 | 3470162 | 4997 1560 | 448 | 0 873.09/873.44 c 831s | 24 | 4049227 | 3478762 | 4997 1563 | 448 | 0 875.09/875.45 c 833s | 24 | 4059539 | 3487462 | 4997 1567 | 448 | 0 877.09/877.45 c 835s | 24 | 4069229 | 3495262 | 4997 1569 | 448 | 0 879.08/879.46 c 837s | 24 | 4080429 | 3504862 | 4997 1573 | 448 | 0 881.08/881.47 c 839s | 24 | 4090485 | 3513262 | 4997 1576 | 448 | 0 883.08/883.49 c 841s | 24 | 4101499 | 3522662 | 4997 1579 | 448 | 0 885.18/885.51 c 843s | 24 | 4110891 | 3530362 | 4997 1582 | 448 | 0 887.18/887.55 c 845s | 24 | 4123938 | 3539662 | 4997 1586 | 448 | 0 889.18/889.55 c 847s | 24 | 4135319 | 3547762 | 4997 1588 | 448 | 0 891.18/891.57 c 849s | 24 | 4146424 | 3555562 | 4997 1591 | 448 | 0 893.18/893.57 c 851s | 24 | 4157010 | 3563062 | 4997 1594 | 448 | 0 895.38/895.72 c 853s | 24 | 4169009 | 3571762 | 4997 1597 | 448 | 0 897.39/897.74 c 855s | 24 | 4179554 | 3578762 | 4997 1600 | 448 | 0 899.38/899.74 c 857s | 24 | 4191176 | 3587562 | 4997 1603 | 448 | 0 901.38/901.75 c 860s | 24 | 4202466 | 3596462 | 4997 1606 | 448 | 0 903.48/903.81 c 862s | 24 | 4212074 | 3604362 | 4997 1609 | 448 | 0 905.47/905.81 c 864s | 24 | 4220929 | 3611862 | 4997 1612 | 448 | 0 907.47/907.83 c 866s | 24 | 4232595 | 3621462 | 4997 1615 | 448 | 0 909.48/909.84 c 868s | 24 | 4243605 | 3629962 | 4997 1618 | 448 | 0 911.47/911.85 c 870s | 24 | 4253942 | 3638662 | 4997 1621 | 448 | 0 913.47/913.86 c 872s | 24 | 4264000 | 3647362 | 4997 1625 | 448 | 0 915.47/915.87 c 874s | 24 | 4275144 | 3656262 | 4997 1628 | 448 | 0 917.57/917.91 c 876s | 24 | 4284256 | 3663662 | 4997 1631 | 448 | 0 919.57/919.91 c 878s | 24 | 4295861 | 3673762 | 4997 1634 | 448 | 0 921.57/921.92 c 880s | 24 | 4307258 | 3683362 | 4997 1638 | 448 | 0 923.56/923.92 c 882s | 24 | 4316056 | 3691562 | 4997 1641 | 448 | 0 925.56/925.94 c 884s | 24 | 4324425 | 3699062 | 4997 1643 | 448 | 0 927.56/927.96 c 886s | 24 | 4338136 | 3708862 | 4997 1647 | 448 | 0 929.56/929.96 c 888s | 24 | 4350677 | 3718362 | 4997 1650 | 448 | 0 931.56/931.97 c 890s | 24 | 4359979 | 3725662 | 4997 1653 | 448 | 0 933.57/933.99 c 892s | 24 | 4371245 | 3734762 | 4997 1656 | 448 | 0 935.66/936.02 c 894s | 24 | 4382350 | 3743062 | 4997 1659 | 448 | 0 937.66/938.03 c 896s | 24 | 4393601 | 3752062 | 4997 1663 | 448 | 0 939.66/940.05 c 898s | 24 | 4403879 | 3760162 | 4997 1666 | 448 | 0 941.66/942.07 c 900s | 24 | 4414044 | 3768562 | 4997 1669 | 448 | 0 943.66/944.09 c 902s | 24 | 4420744 | 3774762 | 4997 1671 | 448 | 0 945.77/946.13 c 904s | 24 | 4429337 | 3782162 | 4997 1674 | 448 | 0 947.76/948.14 c 906s | 24 | 4441306 | 3791762 | 4997 1677 | 448 | 0 949.76/950.17 c 908s | 24 | 4450322 | 3799662 | 4997 1680 | 448 | 0 951.76/952.18 c 910s | 24 | 4459183 | 3807162 | 4997 1683 | 448 | 0 953.76/954.19 c 912s | 24 | 4468749 | 3815062 | 4997 1685 | 448 | 0 955.86/956.21 c 914s | 24 | 4480641 | 3824662 | 4997 1689 | 448 | 0 957.86/958.22 c 916s | 24 | 4489355 | 3831962 | 4997 1692 | 448 | 0 959.85/960.23 c 918s | 24 | 4500372 | 3841662 | 4997 1695 | 448 | 0 961.85/962.24 c 920s | 24 | 4510410 | 3850562 | 4997 1698 | 448 | 0 963.85/964.26 c 922s | 24 | 4520753 | 3858962 | 4997 1701 | 448 | 0 965.85/966.27 c 924s | 24 | 4531239 | 3867562 | 4997 1704 | 448 | 0 967.85/968.28 c 926s | 24 | 4542933 | 3876962 | 4997 1708 | 448 | 0 969.85/970.30 c 928s | 24 | 4553954 | 3886262 | 4997 1711 | 448 | 0 971.94/972.31 c 930s | 24 | 4562069 | 3892862 | 4997 1714 | 448 | 0 973.94/974.31 c 932s | 24 | 4573010 | 3901762 | 4997 1717 | 448 | 0 975.94/976.33 c 934s | 24 | 4583329 | 3910962 | 4997 1720 | 448 | 0 977.94/978.34 c 936s | 24 | 4592193 | 3919262 | 4997 1723 | 448 | 0 979.94/980.35 c 938s | 24 | 4599220 | 3925862 | 4997 1726 | 448 | 0 981.94/982.37 c 940s | 24 | 4607294 | 3933062 | 4997 1728 | 448 | 0 983.94/984.38 c 942s | 24 | 4614854 | 3940162 | 4997 1731 | 448 | 0 986.04/986.42 c 944s | 24 | 4623830 | 3947962 | 4997 1734 | 448 | 0 988.04/988.43 c 946s | 24 | 4631821 | 3955562 | 4997 1736 | 448 | 0 990.04/990.44 c 948s | 24 | 4641166 | 3963562 | 4997 1739 | 448 | 0 992.04/992.46 c 950s | 24 | 4651757 | 3971662 | 4997 1742 | 448 | 0 994.04/994.47 c 952s | 24 | 4660590 | 3979062 | 4997 1745 | 448 | 0 996.03/996.48 c 954s | 24 | 4668496 | 3986062 | 4997 1747 | 448 | 0 998.03/998.49 c 956s | 24 | 4679079 | 3995062 | 4997 1751 | 448 | 0 1000.13/1000.50 c 958s | 24 | 4689235 | 4003062 | 4997 1753 | 448 | 0 1002.13/1002.52 c 960s | 24 | 4700469 | 4012362 | 4997 1757 | 448 | 0 1004.13/1004.54 c 962s | 24 | 4710938 | 4021862 | 4997 1760 | 448 | 0 1006.15/1006.56 c 964s | 24 | 4720004 | 4029662 | 4997 1763 | 448 | 0 1008.24/1008.68 c 966s | 24 | 4728346 | 4036262 | 4997 1766 | 448 | 0 1010.24/1010.69 c 968s | 24 | 4740635 | 4046362 | 4997 1769 | 448 | 0 1012.34/1012.70 c 970s | 24 | 4752126 | 4055562 | 4997 1773 | 448 | 0 1014.34/1014.70 c 972s | 24 | 4762546 | 4063662 | 4997 1775 | 448 | 0 1016.34/1016.71 c 974s | 24 | 4772015 | 4071962 | 4997 1778 | 448 | 0 1018.34/1018.73 c 976s | 24 | 4783087 | 4081962 | 4997 1782 | 448 | 0 1020.34/1020.74 c 978s | 24 | 4790855 | 4089262 | 4997 1785 | 448 | 0 1022.34/1022.75 c 981s | 24 | 4798544 | 4095962 | 4997 1787 | 448 | 0 1024.33/1024.77 c 983s | 24 | 4806206 | 4102762 | 4997 1790 | 448 | 0 1026.43/1026.80 c 985s | 24 | 4814135 | 4110062 | 4997 1792 | 448 | 0 1028.43/1028.80 c 987s | 24 | 4821853 | 4117062 | 4997 1795 | 448 | 0 1030.44/1030.82 c 989s | 24 | 4830144 | 4124362 | 4997 1797 | 448 | 0 1032.43/1032.82 c 991s | 24 | 4838563 | 4131662 | 4997 1800 | 448 | 0 1034.43/1034.85 c 993s | 24 | 4847634 | 4139662 | 4997 1803 | 448 | 0 1036.43/1036.87 c 995s | 24 | 4853850 | 4145662 | 4997 1805 | 448 | 0 1038.43/1038.89 c 997s | 24 | 4860855 | 4152362 | 4997 1808 | 448 | 0 1040.43/1040.89 c 999s | 24 | 4870590 | 4160962 | 4997 1811 | 448 | 0 1042.44/1042.90 c 1001s | 24 | 4881211 | 4169562 | 4997 1814 | 448 | 0 1044.53/1044.90 c 1003s | 24 | 4890468 | 4177462 | 4997 1817 | 448 | 0 1046.53/1046.91 c 1005s | 24 | 4900651 | 4186162 | 4997 1820 | 448 | 0 1048.53/1048.92 c 1007s | 24 | 4909283 | 4193662 | 4997 1823 | 448 | 0 1050.53/1050.93 c 1009s | 24 | 4917863 | 4201062 | 4997 1825 | 448 | 0 1052.53/1052.94 c 1011s | 24 | 4927779 | 4209462 | 4997 1828 | 448 | 0 1054.53/1054.95 c 1013s | 24 | 4936415 | 4216862 | 4997 1831 | 448 | 0 1056.52/1056.96 c 1015s | 24 | 4946311 | 4225462 | 4997 1834 | 448 | 0 1058.53/1059.00 c 1017s | 24 | 4954603 | 4232562 | 4997 1837 | 448 | 0 1060.63/1061.01 c 1019s | 24 | 4963216 | 4239762 | 4997 1839 | 448 | 0 1062.63/1063.02 c 1021s | 24 | 4970185 | 4245562 | 4997 1841 | 448 | 0 1064.63/1065.05 c 1023s | 24 | 4976451 | 4250862 | 4997 1843 | 448 | 0 1066.74/1067.11 c 1025s | 24 | 4982055 | 4255762 | 4997 1845 | 448 | 0 1068.73/1069.13 c 1027s | 24 | 4989999 | 4262062 | 4997 1847 | 448 | 0 1070.73/1071.14 c 1029s | 24 | 4995033 | 4266862 | 4997 1849 | 448 | 0 1072.73/1073.17 c 1031s | 24 | 4999848 | 4271562 | 4997 1850 | 448 | 0 1074.83/1075.21 c 1033s | 24 | 5004946 | 4276362 | 4997 1852 | 448 | 0 1076.83/1077.22 c 1035s | 24 | 5009637 | 4280862 | 4997 1854 | 448 | 0 1078.83/1079.25 c 1037s | 24 | 5014418 | 4285562 | 4997 1855 | 448 | 0 1080.83/1081.26 c 1039s | 24 | 5019271 | 4290262 | 4997 1857 | 448 | 0 1082.83/1083.27 c 1041s | 24 | 5023244 | 4294062 | 4997 1858 | 448 | 0 1084.83/1085.27 c 1043s | 24 | 5029420 | 4298562 | 4997 1860 | 448 | 0 1086.92/1087.30 c 1045s | 24 | 5033578 | 4302662 | 4997 1861 | 448 | 0 1088.92/1089.30 c 1047s | 24 | 5037902 | 4306962 | 4997 1863 | 448 | 0 1090.93/1091.33 c 1049s | 24 | 5042320 | 4311262 | 4997 1864 | 448 | 0 1092.92/1093.33 c 1051s | 24 | 5046898 | 4315662 | 4997 1866 | 448 | 0 1094.92/1095.38 c 1053s | 24 | 5051340 | 4319962 | 4997 1867 | 448 | 0 1096.92/1097.39 c 1055s | 24 | 5057920 | 4325862 | 4997 1869 | 448 | 0 1099.02/1099.41 c 1057s | 24 | 5063861 | 4331362 | 4997 1871 | 448 | 0 1101.02/1101.43 c 1059s | 24 | 5069687 | 4336762 | 4997 1873 | 448 | 0 1103.03/1103.44 c 1061s | 24 | 5075263 | 4341962 | 4997 1875 | 448 | 0 1105.02/1105.45 c 1063s | 24 | 5080847 | 4347162 | 4997 1877 | 448 | 0 1107.02/1107.46 c 1065s | 24 | 5086059 | 4352062 | 4997 1879 | 448 | 0 1109.02/1109.47 c 1067s | 24 | 5091903 | 4357862 | 4997 1881 | 448 | 0 1111.02/1111.48 c 1069s | 24 | 5097064 | 4362962 | 4997 1883 | 448 | 0 1113.02/1113.49 c 1071s | 24 | 5101585 | 4367462 | 4997 1884 | 448 | 0 1115.03/1115.49 c 1073s | 24 | 5106628 | 4372362 | 4997 1886 | 448 | 0 1117.12/1117.51 c 1075s | 24 | 5113026 | 4378262 | 4997 1888 | 448 | 0 1119.12/1119.53 c 1077s | 24 | 5118677 | 4383562 | 4997 1890 | 448 | 0 1121.12/1121.56 c 1079s | 24 | 5124121 | 4388662 | 4997 1892 | 448 | 0 1123.12/1123.58 c 1081s | 24 | 5130335 | 4394462 | 4997 1894 | 448 | 0 1125.12/1125.58 c 1083s | 24 | 5135830 | 4399562 | 4997 1895 | 448 | 0 1127.23/1127.61 c 1085s | 24 | 5142518 | 4405662 | 4997 1898 | 448 | 0 1129.22/1129.62 c 1087s | 24 | 5150687 | 4412262 | 4997 1900 | 448 | 0 1131.22/1131.62 c 1089s | 24 | 5161101 | 4420262 | 4997 1903 | 448 | 0 1133.22/1133.62 c 1091s | 24 | 5171811 | 4428762 | 4997 1906 | 448 | 0 1135.22/1135.63 c 1093s | 24 | 5181914 | 4437262 | 4997 1909 | 448 | 0 1137.22/1137.65 c 1095s | 24 | 5193455 | 4447062 | 4997 1913 | 448 | 0 1139.32/1139.72 c 1097s | 24 | 5201750 | 4454562 | 4997 1915 | 448 | 0 1141.32/1141.74 c 1099s | 24 | 5210337 | 4462262 | 4997 1918 | 448 | 0 1143.32/1143.74 c 1101s | 24 | 5218823 | 4469562 | 4997 1921 | 448 | 0 1145.32/1145.76 c 1104s | 24 | 5230005 | 4479262 | 4997 1924 | 448 | 0 1147.32/1147.76 c 1106s | 24 | 5238174 | 4486562 | 4997 1927 | 448 | 0 1149.32/1149.77 c 1108s | 24 | 5248798 | 4495262 | 4997 1930 | 448 | 0 1151.32/1151.79 c 1110s | 24 | 5257306 | 4502362 | 4997 1933 | 448 | 0 1153.41/1153.82 c 1112s | 24 | 5264281 | 4508762 | 4997 1935 | 448 | 0 1155.41/1155.82 c 1114s | 24 | 5271237 | 4514762 | 4997 1937 | 448 | 0 1157.41/1157.83 c 1116s | 24 | 5279253 | 4522562 | 4997 1940 | 448 | 0 1159.41/1159.84 c 1118s | 24 | 5287066 | 4530162 | 4997 1943 | 448 | 0 1161.41/1161.87 c 1120s | 24 | 5294095 | 4536662 | 4997 1945 | 448 | 0 1163.42/1163.88 c 1122s | 24 | 5304274 | 4545462 | 4997 1948 | 448 | 0 1165.41/1165.89 c 1124s | 24 | 5314531 | 4554662 | 4997 1952 | 448 | 0 1167.51/1167.90 c 1126s | 24 | 5322341 | 4561562 | 4997 1954 | 448 | 0 1169.51/1169.92 c 1128s | 24 | 5333121 | 4570962 | 4997 1957 | 448 | 0 1171.51/1171.95 c 1130s | 24 | 5340717 | 4577862 | 4997 1960 | 448 | 0 1173.51/1173.97 c 1132s | 24 | 5348967 | 4585262 | 4997 1962 | 448 | 0 1175.51/1175.98 c 1134s | 24 | 5358303 | 4593062 | 4997 1965 | 448 | 0 1177.51/1177.98 c 1136s | 24 | 5367050 | 4600462 | 4997 1968 | 448 | 0 1179.61/1180.01 c 1138s | 24 | 5374415 | 4606862 | 4997 1970 | 448 | 0 1181.61/1182.01 c 1140s | 24 | 5383209 | 4614262 | 4997 1973 | 448 | 0 1183.61/1184.01 c 1142s | 24 | 5392248 | 4622662 | 4997 1976 | 448 | 0 1185.61/1186.02 c 1144s | 24 | 5401865 | 4630462 | 4997 1979 | 448 | 0 1187.62/1188.04 c 1146s | 24 | 5411064 | 4637862 | 4997 1981 | 448 | 0 1189.61/1190.07 c 1148s | 24 | 5420301 | 4645662 | 4997 1984 | 448 | 0 1191.61/1192.09 c 1150s | 24 | 5430341 | 4654062 | 4997 1987 | 448 | 0 1193.71/1194.10 c 1152s | 24 | 5439620 | 4662062 | 4997 1990 | 448 | 0 1195.71/1196.11 c 1154s | 24 | 5448157 | 4669662 | 4997 1993 | 448 | 0 1197.71/1198.13 c 1156s | 24 | 5456550 | 4676762 | 4997 1995 | 448 | 0 1199.72/1200.16 c 1158s | 24 | 5462413 | 4682162 | 4997 1997 | 448 | 0 1201.71/1202.19 c 1160s | 24 | 5470126 | 4689162 | 4997 2000 | 448 | 0 1203.71/1204.19 c 1162s | 24 | 5477078 | 4695562 | 4997 2002 | 448 | 0 1205.81/1206.21 c 1164s | 24 | 5487162 | 4703862 | 4997 2005 | 448 | 0 1207.81/1208.22 c 1166s | 24 | 5497028 | 4711862 | 4997 2008 | 448 | 0 1209.81/1210.23 c 1168s | 24 | 5506104 | 4719262 | 4997 2011 | 448 | 0 1211.81/1212.24 c 1170s | 24 | 5516457 | 4727962 | 4997 2014 | 448 | 0 1213.81/1214.24 c 1172s | 24 | 5526723 | 4736762 | 4997 2017 | 448 | 0 1215.81/1216.25 c 1174s | 24 | 5535254 | 4744462 | 4997 2020 | 448 | 0 1217.81/1218.25 c 1176s | 24 | 5544146 | 4752062 | 4997 2022 | 448 | 0 1219.81/1220.28 c 1178s | 24 | 5553293 | 4760262 | 4997 2025 | 448 | 0 1221.81/1222.28 c 1180s | 24 | 5561528 | 4767562 | 4997 2028 | 448 | 0 1223.80/1224.29 c 1182s | 24 | 5569398 | 4774762 | 4997 2031 | 448 | 0 1225.90/1226.30 c 1184s | 24 | 5576313 | 4781062 | 4997 2033 | 448 | 0 1227.90/1228.32 c 1186s | 24 | 5585325 | 4788562 | 4997 2036 | 448 | 0 1229.90/1230.32 c 1188s | 24 | 5596043 | 4797662 | 4997 2039 | 448 | 0 1232.00/1232.40 c 1190s | 24 | 5605057 | 4805662 | 4997 2042 | 448 | 0 1234.00/1234.41 c 1192s | 24 | 5612072 | 4812062 | 4997 2044 | 448 | 0 1236.01/1236.42 c 1194s | 24 | 5621146 | 4819662 | 4997 2047 | 448 | 0 1238.00/1238.43 c 1196s | 24 | 5631337 | 4827962 | 4997 2050 | 448 | 0 1240.00/1240.45 c 1198s | 24 | 5643956 | 4837862 | 4997 2053 | 448 | 0 1242.00/1242.46 c 1200s | 24 | 5652414 | 4845362 | 4997 2056 | 448 | 0 1244.00/1244.46 c 1202s | 24 | 5659814 | 4851962 | 4997 2058 | 448 | 0 1246.01/1246.48 c 1204s | 24 | 5668087 | 4859262 | 4997 2061 | 448 | 0 1248.00/1248.49 c 1206s | 24 | 5677258 | 4867062 | 4997 2064 | 448 | 0 1250.00/1250.49 c 1208s | 24 | 5685628 | 4874362 | 4997 2067 | 448 | 0 1252.10/1252.58 c 1210s | 24 | 5692788 | 4880862 | 4997 2069 | 448 | 0 1254.09/1254.58 c 1212s | 24 | 5701443 | 4888762 | 4997 2072 | 448 | 0 1256.10/1256.59 c 1214s | 24 | 5711399 | 4897562 | 5497 2075 | 448 | 0 1258.20/1258.60 c 1216s | 24 | 5720766 | 4905962 | 5497 2077 | 448 | 0 1260.21/1260.62 c 1218s | 24 | 5728954 | 4913062 | 5497 2080 | 448 | 0 1262.20/1262.64 c 1220s | 24 | 5737291 | 4920462 | 5497 2082 | 448 | 0 1264.20/1264.65 c 1222s | 24 | 5745451 | 4927862 | 5497 2085 | 448 | 0 1266.20/1266.67 c 1224s | 24 | 5753275 | 4935162 | 5497 2087 | 448 | 0 1268.20/1268.67 c 1226s | 24 | 5761781 | 4943062 | 5497 2090 | 448 | 0 1270.21/1270.67 c 1228s | 24 | 5769708 | 4949662 | 5497 2092 | 448 | 0 1272.31/1272.70 c 1230s | 24 | 5779662 | 4957962 | 5497 2095 | 448 | 0 1274.30/1274.72 c 1232s | 24 | 5788724 | 4965862 | 5497 2097 | 448 | 0 1276.30/1276.74 c 1234s | 24 | 5797194 | 4973562 | 5497 2100 | 448 | 0 1278.30/1278.75 c 1237s | 24 | 5806210 | 4981162 | 5497 2102 | 448 | 0 1280.30/1280.76 c 1239s | 24 | 5814494 | 4988362 | 5497 2105 | 448 | 0 1282.30/1282.77 c 1241s | 24 | 5825022 | 4997262 | 5497 2108 | 448 | 0 1284.30/1284.79 c 1243s | 24 | 5834124 | 5004662 | 5497 2110 | 448 | 0 1286.40/1286.80 c 1245s | 24 | 5843476 | 5012962 | 5497 2113 | 448 | 0 1288.50/1288.95 c 1247s | 24 | 5849122 | 5018562 | 5497 2115 | 448 | 0 1290.69/1291.10 c 1249s | 24 | 5855195 | 5024362 | 5497 2117 | 448 | 0 1292.69/1293.10 c 1251s | 24 | 5865339 | 5033162 | 5497 2119 | 448 | 0 1294.69/1295.10 c 1253s | 24 | 5875000 | 5041262 | 5497 2122 | 448 | 0 1296.69/1297.12 c 1255s | 24 | 5884209 | 5049162 | 5497 2125 | 448 | 0 1298.70/1299.13 c 1257s | 24 | 5892844 | 5056862 | 5497 2127 | 448 | 0 1300.69/1301.15 c 1259s | 24 | 5900195 | 5063662 | 5497 2129 | 448 | 0 1301.00/1301.42 c 1259s | 25 | 5901962 | 5065098 | 5497 2130 | 448 | 0 1302.99/1303.48 c 1261s | 25 | 5911786 | 5073998 | 5497 2133 | 448 | 0 1304.99/1305.48 c 1263s | 25 | 5923329 | 5083998 | 5497 2136 | 448 | 0 1306.99/1307.49 c 1265s | 25 | 5931791 | 5091498 | 5497 2139 | 448 | 0 1309.09/1309.51 c 1267s | 25 | 5942757 | 5100298 | 5497 2142 | 448 | 0 1311.09/1311.51 c 1269s | 25 | 5951038 | 5107098 | 5497 2144 | 448 | 0 1313.09/1313.52 c 1271s | 25 | 5961544 | 5115198 | 5497 2147 | 448 | 0 1315.09/1315.54 c 1273s | 25 | 5971930 | 5124098 | 5497 2150 | 448 | 0 1317.09/1317.54 c 1275s | 25 | 5983151 | 5132398 | 5497 2152 | 448 | 0 1319.09/1319.55 c 1277s | 25 | 5993691 | 5140898 | 5497 2155 | 448 | 0 1321.09/1321.57 c 1279s | 25 | 6002818 | 5148198 | 5497 2157 | 448 | 0 1323.08/1323.57 c 1281s | 25 | 6011125 | 5156198 | 5497 2160 | 448 | 0 1325.09/1325.59 c 1283s | 25 | 6017111 | 5161998 | 5497 2162 | 448 | 0 1327.18/1327.60 c 1285s | 25 | 6023537 | 5168298 | 5497 2164 | 448 | 0 1329.19/1329.63 c 1287s | 25 | 6032032 | 5175398 | 5497 2167 | 448 | 0 1331.19/1331.63 c 1289s | 25 | 6042473 | 5183798 | 5497 2169 | 448 | 0 1333.19/1333.64 c 1291s | 25 | 6052174 | 5191598 | 5497 2172 | 448 | 0 1335.19/1335.65 c 1293s | 25 | 6061548 | 5199398 | 5497 2174 | 448 | 0 1337.19/1337.68 c 1295s | 25 | 6070994 | 5207598 | 5497 2177 | 448 | 0 1339.19/1339.68 c 1297s | 25 | 6080047 | 5215798 | 5497 2180 | 448 | 0 1341.19/1341.68 c 1299s | 25 | 6089271 | 5223598 | 5497 2183 | 448 | 0 1343.19/1343.69 c 1301s | 25 | 6097827 | 5231198 | 5497 2185 | 448 | 0 1345.29/1345.70 c 1303s | 25 | 6109035 | 5240898 | 5497 2188 | 448 | 0 1347.29/1347.72 c 1305s | 25 | 6120101 | 5250098 | 5497 2191 | 448 | 0 1349.29/1349.72 c 1307s | 25 | 6130088 | 5258598 | 5497 2194 | 448 | 0 1351.28/1351.73 c 1309s | 25 | 6139515 | 5265898 | 5497 2197 | 448 | 0 1353.28/1353.74 c 1311s | 25 | 6149084 | 5273598 | 5497 2199 | 448 | 0 1355.28/1355.74 c 1313s | 25 | 6157864 | 5281598 | 5497 2202 | 448 | 0 1357.28/1357.76 c 1316s | 25 | 6167104 | 5289898 | 5497 2204 | 448 | 0 1359.29/1359.77 c 1318s | 25 | 6178504 | 5299798 | 5497 2208 | 448 | 0 1361.28/1361.77 c 1320s | 25 | 6187233 | 5307398 | 5497 2210 | 448 | 0 1363.28/1363.79 c 1322s | 25 | 6198235 | 5316498 | 5497 2213 | 448 | 0 1365.38/1365.81 c 1324s | 25 | 6207264 | 5324098 | 5497 2216 | 448 | 0 1367.38/1367.81 c 1326s | 25 | 6218189 | 5333298 | 5497 2219 | 448 | 0 1369.38/1369.88 c 1328s | 25 | 6227263 | 5341598 | 5497 2222 | 448 | 0 1371.39/1371.89 c 1330s | 25 | 6237175 | 5350298 | 5497 2224 | 448 | 0 1373.38/1373.90 c 1332s | 25 | 6246350 | 5358498 | 5497 2227 | 448 | 0 1375.58/1376.01 c 1334s | 25 | 6256208 | 5365998 | 5497 2230 | 448 | 0 1377.58/1378.01 c 1336s | 25 | 6264010 | 5372998 | 5497 2232 | 448 | 0 1379.58/1380.02 c 1338s | 25 | 6271063 | 5379598 | 5497 2234 | 448 | 0 1381.58/1382.04 c 1340s | 25 | 6280580 | 5387798 | 5497 2237 | 448 | 0 1383.58/1384.06 c 1342s | 25 | 6287370 | 5394198 | 5497 2239 | 448 | 0 1385.58/1386.06 c 1344s | 25 | 6295028 | 5401098 | 5497 2241 | 448 | 0 1387.57/1388.09 c 1346s | 25 | 6302080 | 5407598 | 5497 2243 | 448 | 0 1389.68/1390.11 c 1348s | 25 | 6309325 | 5414198 | 5497 2246 | 448 | 0 1391.68/1392.12 c 1350s | 25 | 6316415 | 5420898 | 5497 2248 | 448 | 0 1393.68/1394.14 c 1352s | 25 | 6322739 | 5426698 | 5497 2250 | 448 | 0 1395.68/1396.15 c 1354s | 25 | 6329664 | 5432898 | 5497 2252 | 448 | 0 1397.69/1398.16 c 1356s | 25 | 6337013 | 5439498 | 5497 2254 | 448 | 0 1399.68/1400.18 c 1358s | 25 | 6347045 | 5447498 | 5497 2257 | 448 | 0 1401.68/1402.19 c 1360s | 25 | 6356903 | 5455598 | 5497 2259 | 448 | 0 1403.78/1404.22 c 1362s | 25 | 6365215 | 5462598 | 5497 2262 | 448 | 0 1405.78/1406.24 c 1364s | 25 | 6373348 | 5469798 | 5497 2264 | 448 | 0 1407.78/1408.27 c 1366s | 25 | 6380135 | 5476198 | 5497 2266 | 448 | 0 1409.78/1410.27 c 1368s | 25 | 6386495 | 5482198 | 5497 2268 | 448 | 0 1411.88/1412.30 c 1370s | 25 | 6393125 | 5488398 | 5497 2270 | 448 | 0 1413.88/1414.30 c 1372s | 25 | 6400149 | 5494698 | 5497 2272 | 448 | 0 1415.88/1416.31 c 1374s | 25 | 6408258 | 5501098 | 5497 2275 | 448 | 0 1417.88/1418.32 c 1376s | 25 | 6415346 | 5507898 | 5497 2277 | 448 | 0 1419.88/1420.33 c 1378s | 25 | 6422086 | 5514198 | 5497 2279 | 448 | 0 1421.88/1422.34 c 1380s | 25 | 6428640 | 5520398 | 5497 2281 | 448 | 0 1423.88/1424.34 c 1382s | 25 | 6434874 | 5526398 | 5497 2283 | 448 | 0 1425.88/1426.37 c 1384s | 25 | 6441263 | 5532298 | 5497 2285 | 448 | 0 1427.88/1428.39 c 1386s | 25 | 6448054 | 5538898 | 5497 2287 | 448 | 0 1429.87/1430.39 c 1388s | 25 | 6457614 | 5547398 | 5497 2290 | 448 | 0 1431.97/1432.41 c 1390s | 25 | 6465028 | 5554098 | 5497 2292 | 448 | 0 1433.98/1434.43 c 1392s | 25 | 6471827 | 5560198 | 5497 2294 | 448 | 0 1435.97/1436.46 c 1394s | 25 | 6478465 | 5566098 | 5497 2296 | 448 | 0 1437.97/1438.47 c 1396s | 25 | 6485942 | 5572498 | 5497 2298 | 448 | 0 1439.97/1440.47 c 1398s | 25 | 6493409 | 5578698 | 5497 2300 | 448 | 0 1441.97/1442.48 c 1400s | 25 | 6501390 | 5586398 | 5497 2303 | 448 | 0 1443.98/1444.48 c 1402s | 25 | 6507960 | 5592698 | 5497 2305 | 448 | 0 1446.18/1446.66 c 1404s | 25 | 6514251 | 5598798 | 5497 2307 | 448 | 0 1448.27/1448.73 c 1406s | 25 | 6523782 | 5607098 | 5497 2310 | 448 | 0 1450.27/1450.79 c 1409s | 25 | 6530599 | 5613598 | 5497 2312 | 448 | 0 1452.37/1452.81 c 1411s | 25 | 6540883 | 5622198 | 5497 2315 | 448 | 0 1454.37/1454.82 c 1413s | 25 | 6548845 | 5629598 | 5497 2317 | 448 | 0 1456.37/1456.82 c 1415s | 25 | 6556749 | 5636898 | 5497 2320 | 448 | 0 1458.37/1458.82 c 1417s | 25 | 6564990 | 5644598 | 5497 2322 | 448 | 0 1460.37/1460.84 c 1419s | 25 | 6574713 | 5652698 | 5497 2325 | 448 | 0 1462.36/1462.87 c 1421s | 25 | 6582786 | 5658998 | 5497 2327 | 448 | 0 1464.36/1464.87 c 1423s | 25 | 6590412 | 5665398 | 5497 2329 | 448 | 0 1466.36/1466.89 c 1425s | 25 | 6598739 | 5671898 | 5497 2331 | 448 | 0 1468.46/1468.92 c 1427s | 25 | 6607173 | 5678698 | 5497 2334 | 448 | 0 1470.46/1470.93 c 1429s | 25 | 6615787 | 5685998 | 5497 2336 | 448 | 0 1472.47/1472.93 c 1431s | 25 | 6623534 | 5692798 | 5497 2338 | 448 | 0 1474.46/1474.94 c 1433s | 25 | 6632691 | 5700898 | 5497 2341 | 448 | 0 1476.46/1476.95 c 1435s | 25 | 6642874 | 5709498 | 5497 2344 | 448 | 0 1478.46/1478.96 c 1437s | 25 | 6652634 | 5718098 | 5497 2347 | 448 | 0 1480.46/1480.98 c 1439s | 25 | 6662393 | 5726098 | 5497 2349 | 448 | 0 1482.47/1482.99 c 1441s | 25 | 6669580 | 5732798 | 5497 2351 | 448 | 0 1484.57/1485.01 c 1443s | 25 | 6678112 | 5740098 | 5497 2354 | 448 | 0 1486.57/1487.02 c 1445s | 25 | 6688326 | 5748498 | 5497 2357 | 448 | 0 1488.57/1489.03 c 1447s | 25 | 6697136 | 5755798 | 5497 2359 | 448 | 0 1490.57/1491.03 c 1449s | 25 | 6705930 | 5763398 | 5497 2362 | 448 | 0 1492.57/1493.05 c 1451s | 25 | 6715598 | 5771298 | 5497 2364 | 448 | 0 1494.57/1495.06 c 1453s | 25 | 6724428 | 5778298 | 5497 2367 | 448 | 0 1496.56/1497.06 c 1455s | 25 | 6733605 | 5786098 | 5497 2369 | 448 | 0 1498.56/1499.09 c 1457s | 25 | 6741819 | 5793198 | 5497 2371 | 448 | 0 1500.66/1501.11 c 1459s | 25 | 6751122 | 5800798 | 5497 2374 | 448 | 0 1502.66/1503.13 c 1461s | 25 | 6758899 | 5807798 | 5497 2376 | 448 | 0 1504.66/1505.15 c 1463s | 25 | 6767127 | 5814898 | 5497 2379 | 448 | 0 1506.67/1507.17 c 1465s | 25 | 6774691 | 5821498 | 5497 2381 | 448 | 0 1508.66/1509.17 c 1467s | 25 | 6781802 | 5827498 | 5497 2383 | 448 | 0 1510.66/1511.19 c 1469s | 25 | 6792234 | 5835898 | 5497 2386 | 448 | 0 1512.76/1513.20 c 1471s | 25 | 6804078 | 5846198 | 5497 2389 | 448 | 0 1514.76/1515.22 c 1473s | 25 | 6812740 | 5854098 | 5497 2392 | 448 | 0 1516.76/1517.23 c 1475s | 25 | 6820878 | 5861498 | 5497 2394 | 448 | 0 1518.77/1519.24 c 1477s | 25 | 6829952 | 5869498 | 5497 2397 | 448 | 0 1520.76/1521.25 c 1479s | 25 | 6838236 | 5876898 | 5497 2399 | 448 | 0 1522.76/1523.29 c 1481s | 25 | 6848111 | 5885298 | 5497 2402 | 448 | 0 1524.86/1525.31 c 1483s | 25 | 6854796 | 5891298 | 5497 2404 | 448 | 0 1526.85/1527.33 c 1485s | 25 | 6861425 | 5897398 | 5497 2406 | 448 | 0 1528.85/1529.34 c 1487s | 25 | 6868014 | 5903098 | 5497 2408 | 448 | 0 1530.86/1531.36 c 1489s | 25 | 6875038 | 5909398 | 5497 2410 | 448 | 0 1532.85/1533.36 c 1491s | 25 | 6882065 | 5915998 | 5497 2412 | 448 | 0 1534.85/1535.39 c 1493s | 25 | 6890284 | 5923598 | 5497 2415 | 448 | 0 1536.95/1537.44 c 1495s | 25 | 6896128 | 5928098 | 5497 2416 | 448 | 0 1538.95/1539.45 c 1497s | 25 | 6907403 | 5936598 | 5497 2419 | 448 | 0 1540.95/1541.46 c 1499s | 25 | 6916654 | 5944498 | 5497 2421 | 448 | 0 1542.96/1543.47 c 1501s | 25 | 6926208 | 5952098 | 5497 2424 | 448 | 0 1544.95/1545.48 c 1503s | 25 | 6935754 | 5959898 | 5497 2426 | 448 | 0 1546.96/1547.48 c 1505s | 25 | 6944225 | 5966898 | 5497 2429 | 448 | 0 1549.06/1549.50 c 1507s | 25 | 6954149 | 5974798 | 5497 2431 | 448 | 0 1551.06/1551.51 c 1509s | 25 | 6963912 | 5983098 | 5497 2434 | 448 | 0 1553.06/1553.55 c 1511s | 25 | 6972698 | 5990298 | 5497 2437 | 448 | 0 1555.06/1555.55 c 1513s | 25 | 6981681 | 5997698 | 5497 2439 | 448 | 0 1557.06/1557.56 c 1515s | 25 | 6991018 | 6005498 | 5497 2442 | 448 | 0 1559.06/1559.57 c 1517s | 25 | 7000338 | 6012998 | 5497 2444 | 448 | 0 1561.06/1561.59 c 1519s | 25 | 7009135 | 6020298 | 5497 2446 | 448 | 0 1563.16/1563.62 c 1521s | 25 | 7017662 | 6027398 | 5497 2449 | 448 | 0 1565.16/1565.64 c 1523s | 25 | 7026493 | 6034598 | 5497 2451 | 448 | 0 1567.16/1567.66 c 1525s | 25 | 7036191 | 6042298 | 5497 2454 | 448 | 0 1569.15/1569.70 c 1527s | 25 | 7045697 | 6050098 | 5497 2456 | 448 | 0 1571.25/1571.70 c 1529s | 25 | 7052940 | 6056598 | 5497 2458 | 448 | 0 1573.25/1573.72 c 1531s | 25 | 7061078 | 6063298 | 5497 2461 | 448 | 0 1575.25/1575.73 c 1533s | 25 | 7071872 | 6071298 | 5497 2463 | 448 | 0 1577.25/1577.74 c 1535s | 25 | 7080883 | 6078798 | 5497 2466 | 448 | 0 1579.35/1579.81 c 1538s | 25 | 7089132 | 6085498 | 5497 2468 | 448 | 0 1581.36/1581.82 c 1540s | 25 | 7099857 | 6093898 | 5497 2471 | 448 | 0 1583.35/1583.83 c 1542s | 25 | 7109808 | 6101398 | 5497 2473 | 448 | 0 1585.35/1585.83 c 1544s | 25 | 7117682 | 6108198 | 5497 2475 | 448 | 0 1587.35/1587.88 c 1546s | 25 | 7125083 | 6114698 | 5497 2478 | 448 | 0 1589.35/1589.89 c 1548s | 25 | 7132588 | 6121098 | 5497 2480 | 448 | 0 1591.36/1591.89 c 1550s | 25 | 7142611 | 6129198 | 5497 2482 | 448 | 0 1593.45/1593.92 c 1552s | 25 | 7152047 | 6136898 | 5497 2485 | 448 | 0 1595.45/1595.93 c 1554s | 25 | 7159909 | 6143298 | 5497 2487 | 448 | 0 1597.45/1597.93 c 1556s | 25 | 7168020 | 6150298 | 5497 2489 | 448 | 0 1599.44/1599.95 c 1558s | 25 | 7174880 | 6156298 | 5497 2491 | 448 | 0 1601.54/1602.06 c 1560s | 25 | 7181456 | 6161998 | 5497 2493 | 448 | 0 1603.54/1604.08 c 1562s | 25 | 7190865 | 6169698 | 5497 2496 | 448 | 0 1605.55/1606.08 c 1564s | 25 | 7200698 | 6177598 | 5497 2498 | 448 | 0 1607.54/1608.09 c 1566s | 25 | 7210145 | 6185398 | 5497 2501 | 448 | 0 1609.64/1610.11 c 1568s | 25 | 7219910 | 6193198 | 5497 2503 | 448 | 0 1611.64/1612.12 c 1570s | 25 | 7227840 | 6199998 | 5497 2506 | 448 | 0 1613.64/1614.12 c 1572s | 25 | 7237506 | 6207998 | 5497 2508 | 448 | 0 1615.64/1616.12 c 1574s | 25 | 7245475 | 6214398 | 5497 2510 | 448 | 0 1617.65/1618.14 c 1576s | 25 | 7253700 | 6221298 | 5497 2513 | 448 | 0 1619.64/1620.14 c 1578s | 25 | 7261711 | 6228098 | 5497 2515 | 448 | 0 1621.64/1622.17 c 1580s | 25 | 7270047 | 6234998 | 5497 2517 | 448 | 0 1623.64/1624.18 c 1582s | 25 | 7278739 | 6242198 | 5497 2520 | 448 | 0 1625.64/1626.18 c 1584s | 25 | 7287776 | 6249498 | 5497 2522 | 448 | 0 1627.64/1628.19 c 1586s | 25 | 7297103 | 6257098 | 5497 2525 | 448 | 0 1629.65/1630.19 c 1588s | 25 | 7305230 | 6263598 | 5497 2527 | 448 | 0 1631.75/1632.21 c 1590s | 25 | 7313095 | 6270098 | 5497 2529 | 448 | 0 1633.75/1634.23 c 1592s | 25 | 7324085 | 6277998 | 5497 2531 | 448 | 0 1635.75/1636.23 c 1594s | 25 | 7334525 | 6286098 | 5497 2534 | 448 | 0 1637.75/1638.23 c 1596s | 25 | 7344870 | 6294298 | 5497 2537 | 448 | 0 1639.84/1640.39 c 1598s | 25 | 7355294 | 6302598 | 5497 2540 | 448 | 0 1641.95/1642.41 c 1600s | 25 | 7365227 | 6310298 | 5497 2542 | 448 | 0 1643.94/1644.42 c 1602s | 25 | 7372563 | 6316998 | 5497 2544 | 448 | 0 1645.94/1646.43 c 1604s | 25 | 7380974 | 6323598 | 5497 2546 | 448 | 0 1647.94/1648.48 c 1606s | 25 | 7390867 | 6331398 | 5497 2549 | 448 | 0 1649.94/1650.49 c 1608s | 25 | 7400293 | 6339498 | 5497 2552 | 448 | 0 1651.94/1652.49 c 1610s | 25 | 7407095 | 6345798 | 5497 2554 | 448 | 0 1653.95/1654.50 c 1612s | 25 | 7416724 | 6353598 | 5497 2556 | 448 | 0 1656.04/1656.51 c 1614s | 25 | 7426973 | 6361898 | 5497 2559 | 448 | 0 1658.04/1658.53 c 1616s | 25 | 7433836 | 6368298 | 5497 2561 | 448 | 0 1660.04/1660.54 c 1618s | 25 | 7442062 | 6375398 | 5497 2564 | 448 | 0 1662.04/1662.54 c 1620s | 25 | 7450529 | 6382498 | 5497 2566 | 448 | 0 1664.04/1664.54 c 1622s | 25 | 7458594 | 6389298 | 5497 2568 | 448 | 0 1666.04/1666.56 c 1624s | 25 | 7465584 | 6395498 | 5497 2570 | 448 | 0 1668.14/1668.61 c 1626s | 25 | 7474216 | 6402598 | 5497 2573 | 448 | 0 1670.14/1670.66 c 1628s | 25 | 7482001 | 6409198 | 5497 2575 | 448 | 0 1672.14/1672.66 c 1630s | 25 | 7489318 | 6415198 | 5497 2577 | 448 | 0 1674.14/1674.67 c 1632s | 25 | 7496760 | 6421598 | 5497 2579 | 448 | 0 1676.14/1676.68 c 1634s | 25 | 7504125 | 6427998 | 5497 2581 | 448 | 0 1678.14/1678.70 c 1636s | 25 | 7511419 | 6434798 | 5497 2583 | 448 | 0 1680.23/1680.71 c 1638s | 25 | 7520233 | 6441898 | 5497 2585 | 448 | 0 1682.23/1682.72 c 1640s | 25 | 7528772 | 6449198 | 5497 2588 | 448 | 0 1684.23/1684.73 c 1642s | 25 | 7537771 | 6456998 | 5497 2590 | 448 | 0 1686.23/1686.74 c 1644s | 25 | 7546573 | 6463998 | 5497 2593 | 448 | 0 1688.23/1688.74 c 1646s | 25 | 7556644 | 6472198 | 5497 2595 | 448 | 0 1690.24/1690.75 c 1649s | 25 | 7564553 | 6479098 | 5497 2598 | 448 | 0 1692.23/1692.76 c 1651s | 25 | 7571372 | 6484998 | 5497 2600 | 448 | 0 1694.23/1694.78 c 1653s | 25 | 7578907 | 6491698 | 5497 2602 | 448 | 0 1696.23/1696.79 c 1655s | 25 | 7586373 | 6497998 | 5497 2604 | 448 | 0 1698.33/1698.81 c 1657s | 25 | 7595566 | 6506098 | 5497 2607 | 448 | 0 1700.33/1700.84 c 1659s | 25 | 7605073 | 6514198 | 5497 2609 | 448 | 0 1702.33/1702.84 c 1661s | 25 | 7613593 | 6521398 | 5497 2612 | 448 | 0 1704.33/1704.84 c 1663s | 25 | 7621915 | 6528898 | 5497 2614 | 448 | 0 1706.33/1706.84 c 1665s | 25 | 7627848 | 6534498 | 5497 2616 | 448 | 0 1708.33/1708.86 c 1667s | 25 | 7636867 | 6541898 | 5497 2618 | 448 | 0 1710.33/1710.87 c 1669s | 25 | 7644352 | 6548098 | 5497 2621 | 448 | 0 1712.33/1712.87 c 1671s | 25 | 7652935 | 6554998 | 5497 2623 | 448 | 0 1714.33/1714.87 c 1673s | 25 | 7660427 | 6561198 | 5497 2625 | 448 | 0 1716.33/1716.88 c 1675s | 25 | 7668225 | 6567898 | 5497 2627 | 448 | 0 1718.33/1718.89 c 1677s | 25 | 7675319 | 6574298 | 5497 2629 | 448 | 0 1720.33/1720.89 c 1679s | 25 | 7683714 | 6581298 | 5497 2631 | 448 | 0 1722.43/1722.90 c 1681s | 25 | 7692426 | 6588698 | 5497 2634 | 448 | 0 1724.44/1724.92 c 1683s | 25 | 7699978 | 6595398 | 5497 2636 | 448 | 0 1726.43/1726.93 c 1685s | 25 | 7710629 | 6603998 | 5497 2639 | 448 | 0 1728.43/1728.93 c 1687s | 25 | 7719026 | 6611098 | 5497 2641 | 448 | 0 1730.43/1730.96 c 1689s | 25 | 7728198 | 6618098 | 5497 2644 | 448 | 0 1732.43/1732.98 c 1691s | 25 | 7737012 | 6625698 | 5497 2646 | 448 | 0 1734.43/1734.98 c 1693s | 25 | 7745954 | 6633398 | 5497 2649 | 448 | 0 1736.43/1737.00 c 1695s | 25 | 7753672 | 6640398 | 5497 2651 | 448 | 0 1738.52/1739.00 c 1697s | 25 | 7760430 | 6646398 | 5497 2653 | 448 | 0 1740.52/1741.02 c 1699s | 25 | 7768713 | 6653498 | 5497 2655 | 448 | 0 1742.52/1743.03 c 1701s | 25 | 7779250 | 6662398 | 5497 2658 | 448 | 0 1744.52/1745.05 c 1703s | 25 | 7786216 | 6668498 | 5497 2660 | 448 | 0 1746.52/1747.05 c 1705s | 25 | 7793766 | 6674798 | 5497 2662 | 448 | 0 1748.53/1749.07 c 1707s | 25 | 7801331 | 6681298 | 5497 2664 | 448 | 0 1750.52/1751.08 c 1709s | 25 | 7810767 | 6689398 | 5497 2667 | 448 | 0 1752.62/1753.10 c 1711s | 25 | 7819537 | 6696798 | 5497 2670 | 448 | 0 1754.62/1755.10 c 1713s | 25 | 7826619 | 6703298 | 5497 2672 | 448 | 0 1756.62/1757.12 c 1715s | 25 | 7833348 | 6709498 | 5497 2674 | 448 | 0 1758.63/1759.13 c 1717s | 25 | 7841083 | 6716298 | 5497 2676 | 448 | 0 1760.63/1761.17 c 1719s | 25 | 7850375 | 6723898 | 5497 2679 | 448 | 0 1762.73/1763.20 c 1721s | 25 | 7857265 | 6729698 | 5497 2680 | 448 | 0 1764.73/1765.22 c 1723s | 25 | 7865009 | 6736398 | 5497 2683 | 448 | 0 1766.73/1767.23 c 1725s | 25 | 7875029 | 6745298 | 5497 2686 | 448 | 0 1768.73/1769.24 c 1727s | 25 | 7882896 | 6751598 | 5497 2688 | 448 | 0 1770.72/1771.26 c 1729s | 25 | 7890707 | 6758698 | 5497 2690 | 448 | 0 1772.73/1773.27 c 1731s | 25 | 7897739 | 6765098 | 5497 2692 | 448 | 0 1774.82/1775.30 c 1733s | 25 | 7905649 | 6771898 | 5497 2694 | 448 | 0 1776.82/1777.31 c 1735s | 25 | 7915524 | 6779898 | 5497 2697 | 448 | 0 1778.82/1779.31 c 1737s | 25 | 7922822 | 6785698 | 5497 2699 | 448 | 0 1780.82/1781.33 c 1739s | 25 | 7931766 | 6792898 | 5497 2701 | 448 | 0 1782.82/1783.33 c 1741s | 25 | 7940702 | 6800798 | 5497 2704 | 448 | 0 1784.83/1785.36 c 1743s | 25 | 7949024 | 6807898 | 5497 2706 | 448 | 0 1786.82/1787.38 c 1745s | 25 | 7957454 | 6814798 | 5497 2709 | 448 | 0 1788.92/1789.40 c 1747s | 25 | 7964081 | 6821198 | 5497 2711 | 448 | 0 1790.92/1791.41 c 1749s | 25 | 7970797 | 6827398 | 5497 2713 | 448 | 0 1792.92/1793.43 c 1751s | 25 | 7980538 | 6835398 | 5497 2715 | 448 | 0 1794.92/1795.45 c 1753s | 25 | 7990026 | 6843198 | 5497 2718 | 448 | 0 1796.92/1797.47 c 1755s | 25 | 7996246 | 6848698 | 5497 2720 | 448 | 0 1798.92/1799.49 c 1757s | 25 | 8004193 | 6855298 | 5497 2722 | 448 | 0
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-4101225-1466222363/watcher-4101225-1466222363 -o /tmp/evaluation-result-4101225-1466222363/solver-4101225-1466222363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101225-1466222363.opb pid=13398 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.10 2.09 2.02 3/179 13401 /proc/meminfo: memFree=30002008/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=175548 CPUtime=0 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 407 0 0 0 0 0 0 0 20 0 3 0 24281905 179761152 1299 33554432000 4194304 16246674 140733879485872 140733879485072 14063209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 43887 1300 216 2943 0 40781 0 [pid=13401/tid=13402] ppid=13398 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 246870016 1342 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 246870016 1365 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=241084 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 246870016 1391 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100207 s] /proc/loadavg: 2.10 2.09 2.02 3/179 13401 /proc/meminfo: memFree=30002008/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 21384 0 0 0 5 4 0 0 20 0 4 0 24281905 1247350784 22244 33554432000 4194304 16246674 140733879485872 140733879485296 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 304529 22250 752 2943 0 301423 0 [pid=13401/tid=13402] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 22253 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 22259 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 22263 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200448 s] /proc/loadavg: 2.10 2.09 2.02 3/179 13401 /proc/meminfo: memFree=30002008/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 34282 0 0 0 13 5 0 0 20 0 4 0 24281905 1247350784 35142 33554432000 4194304 16246674 140733879485872 140733879485296 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 304529 35147 752 2943 0 301423 0 [pid=13401/tid=13402] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 35151 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 35159 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 35165 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300448 s] /proc/loadavg: 2.10 2.09 2.02 3/179 13401 /proc/meminfo: memFree=30002008/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1218116 CPUtime=0.28 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 47846 0 0 0 20 8 0 0 20 0 4 0 24281905 1247350784 48706 33554432000 4194304 16246674 140733879485872 140733879485296 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 304529 48716 752 2943 0 301423 0 [pid=13401/tid=13402] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 48718 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 48720 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 48723 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1218116 [startup+0.700378 s] /proc/loadavg: 2.10 2.09 2.02 3/179 13401 /proc/meminfo: memFree=30002008/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 99268 0 0 0 54 15 0 0 20 0 4 0 24281905 1247350784 100128 33554432000 4194304 16246674 140733879485872 140733879467776 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 304529 100133 752 2943 0 301423 0 [pid=13401/tid=13402] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 100135 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 100138 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 100141 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50038 s] /proc/loadavg: 2.10 2.09 2.02 3/183 13405 /proc/meminfo: memFree=29399324/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 219165 0 0 0 117 31 0 0 20 0 4 0 24281905 1247350784 220025 33554432000 4194304 16246674 140733879485872 140733879467776 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 304529 220031 752 2943 0 301423 0 [pid=13401/tid=13402] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 220034 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 220038 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24281906 1247350784 220040 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10038 s] /proc/loadavg: 2.10 2.09 2.02 3/183 13405 /proc/meminfo: memFree=29012568/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1300036 CPUtime=3.09 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 260006 0 0 0 271 38 0 0 20 0 4 0 24281905 1331236864 260843 33554432000 4194304 16246674 140733879485872 140733879468872 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 325009 260850 825 2943 0 321903 0 [pid=13401/tid=13402] ppid=13398 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1331236864 260860 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1331236864 260868 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1300036 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1331236864 260872 33554432000 4194304 16246674 140733879485872 140439715830960 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) 1300036 [startup+6.30038 s] /proc/loadavg: 2.09 2.09 2.02 3/183 13405 /proc/meminfo: memFree=28927644/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1307204 CPUtime=6.28 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 267867 0 0 0 589 39 0 0 20 0 4 0 24281905 1338576896 268704 33554432000 4194304 16246674 140733879485872 140733879468872 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 326801 268704 827 2943 0 323695 0 [pid=13401/tid=13402] ppid=13398 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1338576896 268704 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1338576896 268704 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1338576896 268704 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.08 2.08 2.02 3/183 13405 /proc/meminfo: memFree=28924544/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1310276 CPUtime=12.68 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 268639 0 0 0 1229 39 0 0 20 0 4 0 24281905 1341722624 269476 33554432000 4194304 16246674 140733879485872 140733879467776 5711952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 327569 269476 827 2943 0 324463 0 [pid=13401/tid=13402] ppid=13398 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1341722624 269476 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1341722624 269476 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1341722624 269476 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1310276 [startup+25.5004 s] /proc/loadavg: 2.06 2.08 2.02 3/183 13405 /proc/meminfo: memFree=28912696/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1322564 CPUtime=25.48 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 271711 0 0 0 2508 40 0 0 20 0 4 0 24281905 1354305536 272548 33554432000 4194304 16246674 140733879485872 140733879467776 5822818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 330641 272548 827 2943 0 327535 0 [pid=13401/tid=13402] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272548 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272548 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272548 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1322564 [startup+51.1004 s] /proc/loadavg: 2.04 2.07 2.02 3/184 13409 /proc/meminfo: memFree=28912424/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 271734 0 0 0 5068 40 0 0 20 0 4 0 24281905 1354305536 272571 33554432000 4194304 16246674 140733879485872 140733879468872 5545713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 330641 272571 850 2943 0 327535 0 [pid=13401/tid=13402] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272571 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272571 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1354305536 272571 33554432000 4194304 16246674 140733879485872 140439715830960 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) 1322564 [startup+102.3 s] /proc/loadavg: 2.02 2.06 2.01 3/184 13433 /proc/meminfo: memFree=28901780/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1331780 CPUtime=102.28 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 274038 0 0 0 10187 41 0 0 20 0 4 0 24281905 1363742720 274875 33554432000 4194304 16246674 140733879485872 140733879467776 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 332945 274875 850 2943 0 329839 0 [pid=13401/tid=13402] ppid=13398 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1363742720 274875 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1363742720 274875 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1363742720 274875 33554432000 4194304 16246674 140733879485872 140439715830960 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) 1331780 ################ # More data... # ################ /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.26 2.23 2.12 3/183 13512 /proc/meminfo: memFree=29148012/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1361.88 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 136128 60 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5823849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.38 2.27 2.13 3/183 13513 /proc/meminfo: memFree=29147568/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1421.88 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 142127 61 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.30 2.26 2.14 3/183 13514 /proc/meminfo: memFree=29114420/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1481.86 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 148125 61 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879483712 5722520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.21 2.24 2.14 3/183 13515 /proc/meminfo: memFree=29040840/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1541.86 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 154124 62 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5675656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.18 2.22 2.14 3/183 13517 /proc/meminfo: memFree=28949372/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1601.84 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 160121 63 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5827552 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.27 2.24 2.14 3/183 13518 /proc/meminfo: memFree=28879476/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1661.84 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 166120 64 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 13950986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.23 2.24 2.15 4/183 13519 /proc/meminfo: memFree=28774696/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1721.83 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 172118 65 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 6021028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.18 2.22 2.15 3/183 13520 /proc/meminfo: memFree=28670204/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1781.82 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 178116 66 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.23 2.15 3/183 13520 /proc/meminfo: memFree=28650828/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1800.02 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 179936 66 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1343044 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 13401 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.23 2.15 3/183 13520 /proc/meminfo: memFree=28650828/32872528 swapFree=534252/566956 [pid=13401] ppid=13398 vsize=1343044 CPUtime=1800.02 cores=0,2,4,6 /proc/13401/stat : 13401 (toysat) R 13398 13401 10353 0 -1 4202496 277251 0 0 0 179936 66 0 0 20 0 4 0 24281905 1375277056 277695 33554432000 4194304 16246674 140733879485872 140733879467776 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13401/statm: 335761 277695 851 2943 0 332655 0 [pid=13401/tid=13402] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13402/stat : 13402 (toysat) S 13398 13401 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439810190576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=13401/tid=13403] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13403/stat : 13403 (toysat) S 13398 13401 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439726304496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13401/tid=13404] ppid=13398 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/13401/task/13404/stat : 13404 (toysat) S 13398 13401 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24281906 1375277056 277695 33554432000 4194304 16246674 140733879485872 140439715830960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1343044 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.36 CPU system time (s): 0.664898 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.664898 maximum resident set size= 1110780 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277251 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= 409 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.86426 second user time and 6.83496 second system time The end
Begin job on node138 at 2016-06-18 05:59:23 IDJOB=4101225 IDBENCH=1716 IDSOLVER=2542 FILE ID=node138/4101225-1466222363 RUNJOBID= node138-1466206053-10369 PBS_JOBID= 19918139 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101225-1466222363/watcher-4101225-1466222363 -o /tmp/evaluation-result-4101225-1466222363/solver-4101225-1466222363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101225-1466222363.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7ba66e72f7a10b492134dc7de6859631 RANDOM SEED=552577803 node138.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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.79 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.395 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.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.395 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.54 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.395 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30002272 kB Buffers: 98852 kB Cached: 121768 kB SwapCached: 1060 kB Active: 1442864 kB Inactive: 123696 kB Active(anon): 1346844 kB Inactive(anon): 1228 kB Active(file): 96020 kB Inactive(file): 122468 kB Unevictable: 566956 kB Mlocked: 534252 kB SwapTotal: 67108856 kB SwapFree: 67099636 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1912156 kB Mapped: 10728 kB Shmem: 0 kB Slab: 602916 kB SReclaimable: 46608 kB SUnreclaim: 556308 kB KernelStack: 1520 kB PageTables: 7620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2056912 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1370112 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= 71700 MiB End job on node138 at 2016-06-18 06:29:23