Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24853 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24674 |
| Optimality of the best value was proved | NO |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-06T18:15:17+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-4079555-1465229717.opb"] 0.00/0.01 c use --random-gen="2487863669 1833821785 825579505 1695751860 3172791543 736293667 1824818945 170163567 1620128546 1212304850 2969943765 937659799 1676209764 864218587 1228049813 3500500864 1713379161 1711520865 1126847970 878277152 820307450 86417026 3845859531 1833848593 1958243324 889730575 2482689100 357622101 733286709 883536428 2085172686 1215679042 157779560 489775716 892122150 3583599385 4284408435 1923396399 502655983 1978310307 13427258 3632441525 2580247166 3241346638 958273681 1851192609 263000187 3044005747 1161236494 503272550 1699533757 3094935624 3671080318 558134281 523040145 3702293897 2942554071 2740044083 3583321745 1709298317 1814623953 2176558573 765935986 3372822438 959506355 2945766321 2522630614 2876629728 4260652805 3990368369 3120454733 40629915 289893270 1920264964 463401719 1622746713 3407779364 774970578 2987664102 1876365081 344782266 3959384303 2443797368 2479169670 3267570650 1146369249 1801639974 858874723 2590611698 1806428945 1526022995 1274844196 1040340865 2937320500 2358690953 1712021829 2666162980 1438260515 3412027353 551270214 4009365420 2351491690 1417080159 1623941031 3334217842 2047141460 2504396947 2618226887 89041289 1305919014 2190991570 1363965672 1107470175 3216084180 3127422956 2929411483 978454305 3398108754 613355112 930629354 1713943439 3922687261 3024982386 2557787232 1728145174 2133987852 2588564240 514814063 4021056243 38184631 1479422580 731568316 702502046 2775824635 1289961461 3372282412 4068570255 3348437601 2626537557 4243830008 3932576821 1758417957 3915416384 2612040787 3758212965 1371606580 624190748 4051094308 180951842 3919101924 1022472313 4047408743 3117975418 79681175 1034312277 3541890878 2520131341 1687674083 3755720021 968556260 3930915243 904810113 2260824050 391578227 907859502 550688440 4010770157 1109924160 48695028 3310283231 386885002 1570862922 2540975309 3152526714 1086130228 24676334 655320167 654786916 3027102011 4096821981 2796478034 982687103 1098974757 358239101 3591686402 671699631 3025196262 299891097 3900636343 3950546908 861109380 1640652512 1489274249 2280337813 2026479561 1188082210 3049826996 159604966 1390406248 2343300916 675320579 1865700997 1852489753 3103655750 132264566 3283053407 562900151 93471081 4065068658 1549156443 796073040 3060274325 1327292405 492522949 4258380134 303408412 287350620 471743077 3902493403 1818948344 58857723 3363998762 874013849 3563874810 682553236 3603969756 3206001567 400032777 687639037 3833169704 433385961 2789140612 1679442718 1444689182 1054699742 151520406 2478904160 1896732063 2730513218 2016221314 1703680763 1282172873 2134080395 149339493 1135441658 3276527388 447907992 714657360 1833193666 2663354617 2850046356 3073270259 2916444052 2092135384 1686913306 2475362131 255 362436" option to reproduce the execution 0.00/0.06 c #vars 540 0.00/0.06 c #constraints 4476 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.17 c 0.0s | 1 | 253 | 100 | 1722 0 | 0 | 0 0.09/0.17 c 0.0s | 1 | 301 | 100 | 1722 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.034s 0.09/0.17 c #wall_clock_time = 0.034s 0.09/0.17 c #decision = 301 0.09/0.17 c #random_decision = 1 0.09/0.17 c #conflict = 100 0.09/0.17 c #restart = 1 0.09/0.17 o 30119 0.09/0.18 c BCD2: updating upper bound: 116904 -> 30118 0.09/0.18 c BCD2: 0 <= obj <= 30118 0.09/0.18 c BCD2: #cores=0, #unrelaxed=180, #relaxed=0, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.18 c 0.0s | 0 | 3 | 0 | 1722 0 | 0 | 0 0.09/0.18 c #cpu_time = 0.006s 0.09/0.18 c #wall_clock_time = 0.006s 0.09/0.18 c #decision = 3 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 4: cost of the new core is >=257 0.09/0.18 c lower bound updated to 257 0.09/0.18 c BCD2: 257 <= obj <= 30118 0.09/0.18 c BCD2: #cores=1, #unrelaxed=176, #relaxed=4, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 6 | 0 | 1722 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 6 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 5: cost of the new core is >=605 0.09/0.19 c lower bound updated to 862 0.09/0.19 c BCD2: 862 <= obj <= 30118 0.09/0.19 c BCD2: #cores=2, #unrelaxed=171, #relaxed=9, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 1 0.09/0.19 c 0.0s | 0 | 5 | 0 | 1722 0 | 0 | 1 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 5 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=942 0.09/0.19 c BCD2: refineLB: 909 -> 942 0.09/0.19 c lower bound updated to 1199 0.09/0.19 c BCD2: 1199 <= obj <= 30118 0.09/0.19 c BCD2: #cores=2, #unrelaxed=167, #relaxed=13, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.20 c Solving starts ... 0.09/0.20 c ============================[ Search Statistics ]============================ 0.09/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.20 c | | | | Limit GC | Var | Constra 0.09/0.20 c ============================================================================= 0.09/0.20 c 0.0s | 0 | 0 | 0 | 1722 0 | 1 | 1 0.19/0.20 c 0.0s | 0 | 8 | 0 | 1722 0 | 1 | 2 0.19/0.20 c #cpu_time = 0.005s 0.19/0.20 c #wall_clock_time = 0.005s 0.19/0.20 c #decision = 8 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 5: cost of the new core is >=80 0.19/0.20 c lower bound updated to 1279 0.19/0.20 c BCD2: 1279 <= obj <= 30118 0.19/0.20 c BCD2: #cores=3, #unrelaxed=162, #relaxed=18, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1722 0 | 1 | 3 0.19/0.21 c 0.0s | 0 | 9 | 0 | 1722 0 | 1 | 3 0.19/0.21 c #cpu_time = 0.006s 0.19/0.21 c #wall_clock_time = 0.006s 0.19/0.21 c #decision = 9 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 5: cost of the new core is >=80 0.19/0.21 c lower bound updated to 1359 0.19/0.21 c BCD2: 1359 <= obj <= 30118 0.19/0.21 c BCD2: #cores=4, #unrelaxed=157, #relaxed=23, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1722 0 | 1 | 4 0.19/0.21 c 0.0s | 0 | 6 | 0 | 1722 0 | 1 | 4 0.19/0.21 c #cpu_time = 0.006s 0.19/0.21 c #wall_clock_time = 0.006s 0.19/0.21 c #decision = 6 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: relaxing 2 and merging with 2 cores into a new core of size 12: cost of the new core is >=315 0.19/0.21 c BCD2: refineLB: 312 -> 315 0.19/0.21 c lower bound updated to 1514 0.19/0.21 c BCD2: 1514 <= obj <= 30118 0.19/0.21 c BCD2: #cores=3, #unrelaxed=155, #relaxed=25, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1722 0 | 4 | 4 0.19/0.22 c 0.0s | 0 | 12 | 0 | 1722 0 | 4 | 8 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 12 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 5: cost of the new core is >=257 0.19/0.22 c lower bound updated to 1771 0.19/0.22 c BCD2: 1771 <= obj <= 30118 0.19/0.22 c BCD2: #cores=4, #unrelaxed=150, #relaxed=30, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1722 0 | 4 | 9 0.19/0.23 c 0.0s | 0 | 11 | 0 | 1722 0 | 4 | 9 0.19/0.23 c #cpu_time = 0.005s 0.19/0.23 c #wall_clock_time = 0.005s 0.19/0.23 c #decision = 11 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 8: cost of the new core is >=315 0.19/0.23 c BCD2: refineLB: 258 -> 315 0.19/0.23 c lower bound updated to 1829 0.19/0.23 c BCD2: 1829 <= obj <= 30118 0.19/0.23 c BCD2: #cores=4, #unrelaxed=147, #relaxed=33, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 1722 0 | 5 | 9 0.19/0.23 c 0.0s | 0 | 15 | 0 | 1722 0 | 5 | 10 0.19/0.23 c #cpu_time = 0.005s 0.19/0.23 c #wall_clock_time = 0.005s 0.19/0.23 c #decision = 15 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 5: cost of the new core is >=337 0.19/0.23 c lower bound updated to 2166 0.19/0.23 c BCD2: 2166 <= obj <= 30118 0.19/0.23 c BCD2: #cores=5, #unrelaxed=142, #relaxed=38, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1722 0 | 5 | 11 0.19/0.24 c 0.0s | 0 | 16 | 0 | 1722 0 | 5 | 11 0.19/0.24 c #cpu_time = 0.006s 0.19/0.24 c #wall_clock_time = 0.006s 0.19/0.24 c #decision = 16 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 5: cost of the new core is >=80 0.19/0.24 c lower bound updated to 2246 0.19/0.24 c BCD2: 2246 <= obj <= 30118 0.19/0.24 c BCD2: #cores=6, #unrelaxed=137, #relaxed=43, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1722 0 | 5 | 12 0.19/0.25 c 0.0s | 0 | 17 | 0 | 1722 0 | 5 | 12 0.19/0.25 c #cpu_time = 0.006s 0.19/0.25 c #wall_clock_time = 0.006s 0.19/0.25 c #decision = 17 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 5: cost of the new core is >=80 0.19/0.25 c lower bound updated to 2326 0.19/0.25 c BCD2: 2326 <= obj <= 30118 0.19/0.25 c BCD2: #cores=7, #unrelaxed=132, #relaxed=48, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1722 0 | 5 | 13 0.19/0.26 c 0.0s | 0 | 14 | 0 | 1722 0 | 5 | 13 0.19/0.26 c #cpu_time = 0.006s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 14 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 16: cost of the new core is >=1102 0.19/0.26 c lower bound updated to 2931 0.19/0.26 c BCD2: 2931 <= obj <= 30118 0.19/0.26 c BCD2: #cores=5, #unrelaxed=131, #relaxed=49, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1722 0 | 11 | 13 0.19/0.26 c 0.0s | 0 | 20 | 0 | 1722 0 | 11 | 22 0.19/0.26 c #cpu_time = 0.006s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 20 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 5: cost of the new core is >=257 0.19/0.26 c lower bound updated to 3188 0.19/0.27 c BCD2: 3188 <= obj <= 30118 0.19/0.27 c BCD2: #cores=6, #unrelaxed=126, #relaxed=54, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1722 0 | 11 | 23 0.19/0.27 c 0.0s | 0 | 21 | 0 | 1722 0 | 11 | 23 0.19/0.27 c #cpu_time = 0.006s 0.19/0.27 c #wall_clock_time = 0.006s 0.19/0.27 c #decision = 21 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 5: cost of the new core is >=605 0.19/0.27 c lower bound updated to 3793 0.19/0.27 c BCD2: 3793 <= obj <= 30118 0.19/0.27 c BCD2: #cores=7, #unrelaxed=121, #relaxed=59, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=15 bias=15/16 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1722 0 | 11 | 24 0.19/0.28 c 0.0s | 0 | 20 | 0 | 1722 0 | 11 | 24 0.19/0.28 c #cpu_time = 0.006s 0.19/0.28 c #wall_clock_time = 0.006s 0.19/0.28 c #decision = 20 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 8: cost of the new core is >=788 0.19/0.28 c BCD2: refineLB: 606 -> 788 0.19/0.28 c lower bound updated to 3976 0.19/0.28 c BCD2: 3976 <= obj <= 30118 0.19/0.28 c BCD2: #cores=7, #unrelaxed=118, #relaxed=62, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=16 bias=16/17 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 1722 0 | 12 | 24 0.19/0.29 c 0.0s | 0 | 20 | 1 | 1895 0 | 12 | 25 0.19/0.29 c #cpu_time = 0.005s 0.19/0.29 c #wall_clock_time = 0.005s 0.19/0.29 c #decision = 20 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 1 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 10: cost of the new core is >=1125 0.19/0.29 c lower bound updated to 4313 0.19/0.29 c BCD2: 4313 <= obj <= 30118 0.19/0.29 c BCD2: #cores=7, #unrelaxed=116, #relaxed=64, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=17 bias=17/18 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 1895 0 | 13 | 25 0.19/0.30 c 0.0s | 0 | 22 | 0 | 1895 0 | 13 | 26 0.19/0.30 c #cpu_time = 0.006s 0.19/0.30 c #wall_clock_time = 0.006s 0.19/0.30 c #decision = 22 0.19/0.30 c #random_decision = 0 0.19/0.30 c #conflict = 0 0.19/0.30 c #restart = 0 0.19/0.30 c BCD2: found a new core of size 5: cost of the new core is >=80 0.19/0.30 c lower bound updated to 4393 0.29/0.30 c BCD2: 4393 <= obj <= 30118 0.29/0.30 c BCD2: #cores=8, #unrelaxed=111, #relaxed=69, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 1895 0 | 13 | 27 0.29/0.30 c 0.0s | 0 | 23 | 0 | 1895 0 | 13 | 27 0.29/0.30 c #cpu_time = 0.006s 0.29/0.30 c #wall_clock_time = 0.006s 0.29/0.30 c #decision = 23 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 5: cost of the new core is >=80 0.29/0.30 c lower bound updated to 4473 0.29/0.31 c BCD2: 4473 <= obj <= 30118 0.29/0.31 c BCD2: #cores=9, #unrelaxed=106, #relaxed=74, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1895 0 | 13 | 28 0.29/0.31 c 0.0s | 0 | 23 | 3 | 1895 0 | 13 | 28 0.29/0.31 c #cpu_time = 0.006s 0.29/0.31 c #wall_clock_time = 0.006s 0.29/0.31 c #decision = 23 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 3 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 20: cost of the new core is >=1533 0.29/0.31 c BCD2: refineLB: 1530 -> 1533 0.29/0.31 c lower bound updated to 4721 0.29/0.31 c BCD2: 4721 <= obj <= 30118 0.29/0.31 c BCD2: #cores=7, #unrelaxed=106, #relaxed=74, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 1895 0 | 19 | 28 0.29/0.32 c 0.0s | 0 | 22 | 0 | 1895 0 | 19 | 37 0.29/0.32 c #cpu_time = 0.006s 0.29/0.32 c #wall_clock_time = 0.006s 0.29/0.32 c #decision = 22 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 5: cost of the new core is >=521 0.29/0.32 c lower bound updated to 5242 0.29/0.32 c BCD2: 5242 <= obj <= 30118 0.29/0.32 c BCD2: #cores=8, #unrelaxed=101, #relaxed=79, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 1895 0 | 19 | 38 0.29/0.33 c 0.0s | 0 | 23 | 0 | 1895 0 | 19 | 38 0.29/0.33 c #cpu_time = 0.006s 0.29/0.33 c #wall_clock_time = 0.006s 0.29/0.33 c #decision = 23 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 5: cost of the new core is >=257 0.29/0.33 c lower bound updated to 5499 0.29/0.33 c BCD2: 5499 <= obj <= 30118 0.29/0.33 c BCD2: #cores=9, #unrelaxed=96, #relaxed=84, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=22 bias=22/23 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 1895 0 | 19 | 39 0.29/0.35 c 0.0s | 0 | 24 | 0 | 1895 0 | 19 | 39 0.29/0.35 c #cpu_time = 0.006s 0.29/0.35 c #wall_clock_time = 0.006s 0.29/0.35 c #decision = 24 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 5: cost of the new core is >=605 0.29/0.35 c lower bound updated to 6104 0.29/0.35 c BCD2: 6104 <= obj <= 30118 0.29/0.35 c BCD2: #cores=10, #unrelaxed=91, #relaxed=89, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=23 bias=23/24 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 1895 0 | 19 | 40 0.29/0.36 c 0.0s | 0 | 25 | 0 | 1895 0 | 19 | 40 0.29/0.36 c #cpu_time = 0.006s 0.29/0.36 c #wall_clock_time = 0.007s 0.29/0.36 c #decision = 25 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 5: cost of the new core is >=337 0.29/0.36 c lower bound updated to 6441 0.29/0.36 c BCD2: 6441 <= obj <= 30118 0.29/0.36 c BCD2: #cores=11, #unrelaxed=86, #relaxed=94, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=24 bias=24/25 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1895 0 | 19 | 41 0.29/0.37 c 0.0s | 0 | 24 | 0 | 1895 0 | 19 | 41 0.29/0.37 c #cpu_time = 0.006s 0.29/0.37 c #wall_clock_time = 0.006s 0.29/0.37 c #decision = 24 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 8: cost of the new core is >=380 0.29/0.37 c BCD2: refineLB: 379 -> 380 0.29/0.37 c lower bound updated to 6484 0.29/0.37 c BCD2: 6484 <= obj <= 30118 0.29/0.37 c BCD2: #cores=11, #unrelaxed=83, #relaxed=97, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=25 bias=25/26 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 1895 0 | 20 | 41 0.29/0.38 c 0.0s | 0 | 28 | 0 | 1895 0 | 20 | 42 0.29/0.38 c #cpu_time = 0.007s 0.29/0.38 c #wall_clock_time = 0.007s 0.29/0.38 c #decision = 28 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 5: cost of the new core is >=80 0.29/0.38 c lower bound updated to 6564 0.29/0.38 c BCD2: 6564 <= obj <= 30118 0.29/0.38 c BCD2: #cores=12, #unrelaxed=78, #relaxed=102, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=26 bias=26/27 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 1895 0 | 20 | 43 0.29/0.39 c 0.0s | 0 | 29 | 0 | 1895 0 | 20 | 43 0.29/0.39 c #cpu_time = 0.006s 0.29/0.39 c #wall_clock_time = 0.006s 0.29/0.39 c #decision = 29 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 5: cost of the new core is >=521 0.29/0.39 c lower bound updated to 7085 0.29/0.39 c BCD2: 7085 <= obj <= 30118 0.29/0.39 c BCD2: #cores=13, #unrelaxed=73, #relaxed=107, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=27 bias=27/28 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 1895 0 | 20 | 44 0.39/0.40 c 0.0s | 0 | 30 | 0 | 1895 0 | 20 | 44 0.39/0.40 c #cpu_time = 0.007s 0.39/0.40 c #wall_clock_time = 0.007s 0.39/0.40 c #decision = 30 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 5: cost of the new core is >=257 0.39/0.40 c lower bound updated to 7342 0.39/0.40 c BCD2: 7342 <= obj <= 30118 0.39/0.40 c BCD2: #cores=14, #unrelaxed=68, #relaxed=112, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=28 bias=28/29 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 1895 0 | 20 | 45 0.39/0.42 c 0.0s | 0 | 30 | 0 | 1895 0 | 20 | 45 0.39/0.42 c #cpu_time = 0.006s 0.39/0.42 c #wall_clock_time = 0.006s 0.39/0.42 c #decision = 30 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=315 0.39/0.42 c BCD2: refineLB: 314 -> 315 0.39/0.42 c lower bound updated to 7400 0.39/0.42 c BCD2: 7400 <= obj <= 30118 0.39/0.42 c BCD2: #cores=14, #unrelaxed=64, #relaxed=116, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=29 bias=29/30 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 1895 0 | 21 | 45 0.39/0.43 c 0.0s | 0 | 30 | 0 | 1895 0 | 21 | 46 0.39/0.43 c #cpu_time = 0.007s 0.39/0.43 c #wall_clock_time = 0.007s 0.39/0.43 c #decision = 30 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 13: cost of the new core is >=652 0.39/0.43 c lower bound updated to 7737 0.39/0.43 c BCD2: 7737 <= obj <= 30118 0.39/0.43 c BCD2: #cores=14, #unrelaxed=60, #relaxed=120, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=30 bias=30/31 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 46 0.39/0.44 c 0.0s | 0 | 33 | 0 | 1895 0 | 22 | 47 0.39/0.44 c #cpu_time = 0.007s 0.39/0.44 c #wall_clock_time = 0.007s 0.39/0.44 c #decision = 33 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 5: cost of the new core is >=80 0.39/0.44 c lower bound updated to 7817 0.39/0.45 c BCD2: 7817 <= obj <= 30118 0.39/0.45 c BCD2: #cores=15, #unrelaxed=55, #relaxed=125, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=31 bias=31/32 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 48 0.39/0.46 c 0.0s | 0 | 33 | 0 | 1895 0 | 22 | 48 0.39/0.46 c #cpu_time = 0.007s 0.39/0.46 c #wall_clock_time = 0.007s 0.39/0.46 c #decision = 33 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 4: cost of the new core is >=80 0.39/0.46 c lower bound updated to 7897 0.39/0.46 c BCD2: 7897 <= obj <= 30118 0.39/0.46 c BCD2: #cores=16, #unrelaxed=51, #relaxed=129, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=32 bias=32/33 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 48 0.39/0.47 c 0.0s | 0 | 36 | 0 | 1895 0 | 22 | 48 0.39/0.47 c #cpu_time = 0.007s 0.39/0.47 c #wall_clock_time = 0.007s 0.39/0.47 c #decision = 36 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 5: cost of the new core is >=521 0.39/0.47 c lower bound updated to 8418 0.39/0.47 c BCD2: 8418 <= obj <= 30118 0.39/0.47 c BCD2: #cores=17, #unrelaxed=46, #relaxed=134, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=33 bias=33/34 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 49 0.39/0.48 c 0.0s | 0 | 37 | 0 | 1895 0 | 22 | 49 0.39/0.48 c #cpu_time = 0.007s 0.39/0.48 c #wall_clock_time = 0.007s 0.39/0.48 c #decision = 37 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 5: cost of the new core is >=257 0.39/0.48 c lower bound updated to 8675 0.39/0.48 c BCD2: 8675 <= obj <= 30118 0.39/0.48 c BCD2: #cores=18, #unrelaxed=41, #relaxed=139, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=34 bias=34/35 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 50 0.39/0.49 c 0.0s | 0 | 38 | 0 | 1895 0 | 22 | 50 0.39/0.49 c #cpu_time = 0.006s 0.39/0.49 c #wall_clock_time = 0.007s 0.39/0.49 c #decision = 38 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 5: cost of the new core is >=605 0.39/0.49 c lower bound updated to 9280 0.39/0.49 c BCD2: 9280 <= obj <= 30118 0.39/0.49 c BCD2: #cores=19, #unrelaxed=36, #relaxed=144, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=35 bias=35/36 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 51 0.49/0.50 c 0.0s | 0 | 39 | 0 | 1895 0 | 22 | 51 0.49/0.50 c #cpu_time = 0.007s 0.49/0.50 c #wall_clock_time = 0.007s 0.49/0.50 c #decision = 39 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 5: cost of the new core is >=337 0.49/0.50 c lower bound updated to 9617 0.49/0.50 c BCD2: 9617 <= obj <= 30118 0.49/0.50 c BCD2: #cores=20, #unrelaxed=31, #relaxed=149, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=36 bias=36/37 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 52 0.49/0.51 c 0.0s | 0 | 40 | 0 | 1895 0 | 22 | 52 0.49/0.51 c #cpu_time = 0.007s 0.49/0.51 c #wall_clock_time = 0.007s 0.49/0.51 c #decision = 40 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 5: cost of the new core is >=80 0.49/0.51 c lower bound updated to 9697 0.49/0.51 c BCD2: 9697 <= obj <= 30118 0.49/0.51 c BCD2: #cores=21, #unrelaxed=26, #relaxed=154, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=37 bias=37/38 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 53 0.49/0.52 c 0.0s | 0 | 41 | 0 | 1895 0 | 22 | 53 0.49/0.52 c #cpu_time = 0.007s 0.49/0.52 c #wall_clock_time = 0.007s 0.49/0.52 c #decision = 41 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 5: cost of the new core is >=80 0.49/0.52 c lower bound updated to 9777 0.49/0.52 c BCD2: 9777 <= obj <= 30118 0.49/0.52 c BCD2: #cores=22, #unrelaxed=21, #relaxed=159, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=38 bias=38/39 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 1895 0 | 22 | 54 0.49/0.54 c 0.0s | 0 | 39 | 0 | 1895 0 | 22 | 54 0.49/0.54 c #cpu_time = 0.007s 0.49/0.54 c #wall_clock_time = 0.007s 0.49/0.54 c #decision = 39 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.55 c BCD2: relaxing 1 and merging with 4 cores into a new core of size 21: cost of the new core is >=1047 0.49/0.55 c lower bound updated to 10070 0.49/0.55 c BCD2: 10070 <= obj <= 30118 0.49/0.55 c BCD2: #cores=19, #unrelaxed=20, #relaxed=160, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=39 bias=39/40 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 1895 0 | 28 | 54 0.49/0.56 c 0.0s | 0 | 38 | 0 | 1895 0 | 28 | 62 0.49/0.56 c #cpu_time = 0.007s 0.49/0.56 c #wall_clock_time = 0.007s 0.49/0.56 c #decision = 38 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 4: cost of the new core is >=521 0.49/0.56 c lower bound updated to 10591 0.49/0.57 c BCD2: 10591 <= obj <= 30118 0.49/0.57 c BCD2: #cores=20, #unrelaxed=16, #relaxed=164, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=40 bias=40/41 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 1895 0 | 28 | 62 0.49/0.59 c 0.0s | 0 | 233 | 67 | 1895 0 | 28 | 62 0.49/0.59 c #cpu_time = 0.023s 0.49/0.59 c #wall_clock_time = 0.023s 0.49/0.59 c #decision = 233 0.49/0.59 c #random_decision = 2 0.49/0.59 c #conflict = 67 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 30: cost of the new core is >=1335 0.49/0.59 c BCD2: refineLB: 1334 -> 1335 0.49/0.59 c lower bound updated to 10593 0.49/0.59 c BCD2: 10593 <= obj <= 30118 0.49/0.59 c BCD2: #cores=17, #unrelaxed=13, #relaxed=167, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=41 bias=41/42 0.49/0.60 c Solving starts ... 0.49/0.60 c ============================[ Search Statistics ]============================ 0.49/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.60 c | | | | Limit GC | Var | Constra 0.49/0.60 c ============================================================================= 0.49/0.60 c 0.0s | 0 | 0 | 0 | 1895 0 | 46 | 62 0.59/0.62 c 0.0s | 0 | 273 | 80 | 1895 0 | 46 | 94 0.59/0.62 c #cpu_time = 0.023s 0.59/0.62 c #wall_clock_time = 0.023s 0.59/0.62 c #decision = 273 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 80 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: relaxing 0 and merging with 3 cores into a new core of size 30: cost of the new core is >=2710 0.59/0.62 c lower bound updated to 10992 0.59/0.62 c BCD2: 10992 <= obj <= 30118 0.59/0.62 c BCD2: #cores=15, #unrelaxed=13, #relaxed=167, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=42 bias=42/43 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 1895 0 | 98 | 94 0.59/0.65 c 0.0s | 1 | 194 | 100 | 2085 0 | 98 | 195 0.69/0.72 c 0.1s | 2 | 522 | 250 | 2294 0 | 98 | 195 0.79/0.82 c 0.2s | 3 | 912 | 475 | 2294 0 | 98 | 195 0.99/1.01 c 0.4s | 4 | 1506 | 813 | 2524 0 | 98 | 195 1.20/1.26 c 0.6s | 5 | 2306 | 1320 | 2777 0 | 98 | 195 1.68/1.70 c 1.1s | 6 | 3432 | 2081 | 3055 0 | 98 | 195 2.19/2.28 c 1.7s | 7 | 5041 | 3223 | 3361 0 | 98 | 195 3.30/3.38 c 2.8s | 8 | 7324 | 4936 | 3698 1 | 98 | 195 4.79/4.84 c 4.2s | 9 | 10702 | 7506 | 4068 2 | 98 | 195 6.79/6.88 c 6.3s | 9 | 14975 | 10806 | 4068 4 | 98 | 195 7.19/7.26 c 6.6s | 10 | 15641 | 11361 | 4475 4 | 98 | 195 9.19/9.28 c 8.7s | 10 | 19465 | 14361 | 4475 5 | 98 | 195 11.19/11.22 c 10.6s | 11 | 22923 | 17144 | 4923 6 | 98 | 195 13.19/13.27 c 12.6s | 11 | 26177 | 19844 | 4923 7 | 98 | 195 14.89/14.93 c 14.3s | 11 | 28952 | 22145 | 4923 8 | 98 | 195 14.89/14.93 c #cpu_time = 14.268s 14.89/14.93 c #wall_clock_time = 14.304s 14.89/14.93 c #decision = 28952 14.89/14.93 c #random_decision = 99 14.89/14.93 c #conflict = 22145 14.89/14.93 c #restart = 11 14.89/14.93 c BCD2: relaxing 12 and merging with 15 cores into a new core of size 179: cost of the new core is >=10993 14.89/14.93 c lower bound updated to 10993 14.89/14.93 c BCD2: 10993 <= obj <= 30118 14.89/14.93 c BCD2: #cores=1, #unrelaxed=1, #relaxed=179, #hardened=0 14.89/14.93 c BCD2: #sat=1 #unsat=43 bias=43/44 14.89/14.93 c Solving starts ... 14.89/14.93 c ============================[ Search Statistics ]============================ 14.89/14.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.89/14.93 c | | | | Limit GC | Var | Constra 14.89/14.93 c ============================================================================= 14.89/14.93 c 0.0s | 0 | 0 | 0 | 4923 0 | 318 | 195 14.89/14.98 c 0.1s | 0 | 92 | 45 | 4923 0 | 318 | 620 14.89/14.98 c #cpu_time = 0.054s 14.89/14.98 c #wall_clock_time = 0.055s 14.89/14.98 c #decision = 92 14.89/14.98 c #random_decision = 0 14.89/14.98 c #conflict = 45 14.89/14.98 c #restart = 0 14.89/14.98 o 28746 14.89/14.98 c BCD2: updating upper bound: 30118 -> 28745 14.89/14.98 c BCD2: 10993 <= obj <= 28745 14.89/14.98 c BCD2: #cores=1, #unrelaxed=1, #relaxed=179, #hardened=0 14.89/14.98 c BCD2: #sat=2 #unsat=43 bias=43/45 14.89/14.98 c Solving starts ... 14.89/14.98 c ============================[ Search Statistics ]============================ 14.89/14.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.89/14.98 c | | | | Limit GC | Var | Constra 14.89/14.98 c ============================================================================= 14.89/14.98 c 0.0s | 0 | 0 | 0 | 4923 0 | 318 | 621 14.99/15.05 c 0.1s | 1 | 172 | 100 | 4923 0 | 318 | 621 15.09/15.11 c 0.1s | 1 | 375 | 208 | 4923 0 | 318 | 621 15.09/15.11 c #cpu_time = 0.128s 15.09/15.11 c #wall_clock_time = 0.128s 15.09/15.11 c #decision = 375 15.09/15.11 c #random_decision = 0 15.09/15.11 c #conflict = 208 15.09/15.11 c #restart = 1 15.09/15.11 o 27081 15.09/15.11 c BCD2: updating upper bound: 28745 -> 27080 15.09/15.12 c BCD2: 10993 <= obj <= 27080 15.09/15.12 c BCD2: #cores=1, #unrelaxed=1, #relaxed=179, #hardened=0 15.09/15.12 c BCD2: #sat=3 #unsat=43 bias=43/46 15.09/15.12 c Solving starts ... 15.09/15.12 c ============================[ Search Statistics ]============================ 15.09/15.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.09/15.12 c | | | | Limit GC | Var | Constra 15.09/15.12 c ============================================================================= 15.09/15.12 c 0.0s | 0 | 0 | 0 | 4923 0 | 318 | 622 15.09/15.18 c 0.1s | 1 | 180 | 100 | 4923 0 | 318 | 622 15.19/15.25 c 0.1s | 2 | 417 | 250 | 4923 0 | 318 | 622 15.29/15.34 c 0.2s | 3 | 740 | 475 | 4923 0 | 318 | 622 15.49/15.53 c 0.4s | 4 | 1201 | 813 | 4923 0 | 318 | 622 15.79/15.82 c 0.7s | 5 | 1885 | 1320 | 4923 0 | 318 | 622 16.29/16.30 c 1.2s | 6 | 2904 | 2081 | 4923 0 | 318 | 622 16.89/16.98 c 1.9s | 7 | 4314 | 3223 | 5416 0 | 318 | 622 18.09/18.18 c 3.1s | 8 | 6627 | 4936 | 5416 1 | 318 | 622 19.89/19.92 c 4.8s | 9 | 10103 | 7506 | 5416 2 | 318 | 622 21.09/21.15 c 6.0s | 9 | 12406 | 9120 | 5416 2 | 318 | 622 21.09/21.15 c #cpu_time = 6.021s 21.09/21.15 c #wall_clock_time = 6.037s 21.09/21.15 c #decision = 12406 21.09/21.15 c #random_decision = 36 21.09/21.15 c #conflict = 9120 21.09/21.15 c #restart = 9 21.09/21.15 o 26004 21.09/21.15 c BCD2: updating upper bound: 27080 -> 26003 21.09/21.15 c BCD2: 10993 <= obj <= 26003 21.09/21.15 c BCD2: #cores=1, #unrelaxed=1, #relaxed=179, #hardened=0 21.09/21.15 c BCD2: #sat=4 #unsat=43 bias=43/47 21.09/21.16 c Solving starts ... 21.09/21.16 c ============================[ Search Statistics ]============================ 21.09/21.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.09/21.16 c | | | | Limit GC | Var | Constra 21.09/21.16 c ============================================================================= 21.09/21.16 c 0.0s | 0 | 0 | 0 | 5416 0 | 318 | 623 21.19/21.26 c 0.1s | 1 | 300 | 100 | 5416 0 | 318 | 623 21.29/21.38 c 0.2s | 2 | 590 | 250 | 5416 0 | 318 | 623 21.49/21.53 c 0.4s | 3 | 925 | 475 | 5416 0 | 318 | 623 21.69/21.76 c 0.6s | 4 | 1380 | 813 | 5416 0 | 318 | 623 21.99/22.10 c 0.9s | 5 | 2215 | 1320 | 5416 1 | 318 | 623 22.49/22.59 c 1.4s | 6 | 3298 | 2081 | 5416 1 | 318 | 623 23.19/23.29 c 2.1s | 7 | 4744 | 3223 | 5416 1 | 318 | 623 24.39/24.44 c 3.3s | 8 | 6984 | 4936 | 5416 2 | 318 | 623 26.19/26.27 c 5.1s | 9 | 9883 | 7506 | 5958 2 | 318 | 623 28.28/28.32 c 7.2s | 9 | 14226 | 10706 | 5958 3 | 318 | 623 28.78/28.83 c 7.7s | 10 | 15029 | 11361 | 5958 4 | 318 | 623 30.89/30.93 c 9.8s | 10 | 18514 | 14161 | 5958 5 | 318 | 623 32.88/33.00 c 11.8s | 10 | 21799 | 16861 | 5958 5 | 318 | 623 33.18/33.26 c 12.1s | 11 | 22116 | 17144 | 5958 5 | 318 | 623 35.29/35.31 c 14.2s | 11 | 25821 | 19944 | 5958 6 | 318 | 623 37.28/37.33 c 16.2s | 11 | 28805 | 22344 | 5958 7 | 318 | 623 39.28/39.37 c 18.2s | 11 | 31603 | 24644 | 5958 8 | 318 | 623 40.28/40.30 c 19.1s | 12 | 32984 | 25819 | 5958 8 | 318 | 623 42.28/42.35 c 21.2s | 12 | 36234 | 28319 | 6554 9 | 318 | 623 44.38/44.44 c 23.3s | 12 | 38871 | 30519 | 6554 9 | 318 | 623 46.38/46.49 c 25.3s | 12 | 41793 | 32819 | 6554 10 | 318 | 623 48.48/48.51 c 27.4s | 12 | 44304 | 34919 | 6554 10 | 318 | 623 50.48/50.57 c 29.4s | 12 | 47191 | 37319 | 6554 11 | 318 | 623 52.08/52.13 c 31.0s | 13 | 48886 | 38832 | 6554 12 | 318 | 623 54.08/54.18 c 33.0s | 13 | 52637 | 41732 | 6554 12 | 318 | 623 56.18/56.23 c 35.1s | 13 | 55872 | 44432 | 6554 13 | 318 | 623 58.18/58.28 c 37.1s | 13 | 58795 | 46832 | 6554 14 | 318 | 623 60.27/60.39 c 39.2s | 13 | 61619 | 49232 | 6554 15 | 318 | 623 62.37/62.41 c 41.3s | 13 | 64263 | 51532 | 6554 15 | 318 | 623 64.37/64.45 c 43.3s | 13 | 66801 | 53832 | 6554 16 | 318 | 623 66.47/66.50 c 45.3s | 13 | 69762 | 56232 | 7210 16 | 318 | 623 68.27/68.34 c 47.2s | 14 | 72389 | 58352 | 7210 17 | 318 | 623 70.27/70.39 c 49.2s | 14 | 75624 | 60852 | 7210 18 | 318 | 623 72.36/72.41 c 51.3s | 14 | 78942 | 63352 | 7210 18 | 318 | 623 74.36/74.44 c 53.3s | 14 | 81452 | 65452 | 7210 19 | 318 | 623 76.36/76.44 c 55.3s | 14 | 84301 | 67752 | 7210 19 | 318 | 623 78.36/78.48 c 57.3s | 14 | 87034 | 69952 | 7210 20 | 318 | 623 80.46/80.53 c 59.4s | 14 | 89943 | 72252 | 7210 20 | 318 | 623 82.46/82.53 c 61.4s | 14 | 93280 | 74652 | 7210 21 | 318 | 623 84.45/84.59 c 63.4s | 14 | 96050 | 76852 | 7210 22 | 318 | 623 86.55/86.64 c 65.5s | 14 | 99013 | 79152 | 7210 22 | 318 | 623 88.65/88.74 c 67.6s | 14 | 101862 | 81352 | 7210 23 | 318 | 623 90.65/90.74 c 69.6s | 14 | 104580 | 83452 | 7210 23 | 318 | 623 92.65/92.77 c 71.6s | 14 | 107610 | 85752 | 7210 24 | 318 | 623 94.45/94.56 c 73.4s | 15 | 109997 | 87632 | 7210 24 | 318 | 623 96.55/96.64 c 75.5s | 15 | 113238 | 90132 | 7210 25 | 318 | 623 98.66/98.70 c 77.5s | 15 | 116333 | 92532 | 7210 26 | 318 | 623 100.66/100.70 c 79.5s | 15 | 119116 | 94832 | 7210 26 | 318 | 623 102.65/102.74 c 81.6s | 15 | 121829 | 97132 | 7210 27 | 318 | 623 104.65/104.78 c 83.6s | 15 | 125231 | 99532 | 7932 27 | 318 | 623 106.76/106.86 c 85.7s | 15 | 128492 | 102132 | 7932 28 | 318 | 623 108.86/108.99 c 87.8s | 15 | 131108 | 104432 | 7932 29 | 318 | 623 110.95/111.01 c 89.9s | 15 | 133707 | 106732 | 7932 29 | 318 | 623 112.95/113.09 c 91.9s | 15 | 136166 | 108832 | 7932 30 | 318 | 623 115.05/115.15 c 94.0s | 15 | 139076 | 111232 | 7932 30 | 318 | 623 117.15/117.23 c 96.1s | 15 | 141492 | 113332 | 7932 31 | 318 | 623 119.15/119.26 c 98.1s | 15 | 144059 | 115532 | 7932 31 | 318 | 623 121.24/121.33 c 100s | 15 | 146471 | 117632 | 7932 32 | 318 | 623 123.34/123.43 c 102s | 15 | 148845 | 119732 | 7932 32 | 318 | 623 125.35/125.45 c 104s | 15 | 150847 | 121532 | 7932 33 | 318 | 623 127.44/127.51 c 106s | 15 | 153539 | 123832 | 7932 33 | 318 | 623 129.44/129.52 c 108s | 15 | 156229 | 126032 | 7932 34 | 318 | 623 131.44/131.52 c 110s | 15 | 158709 | 128132 | 7932 34 | 318 | 623 133.54/133.61 c 112s | 15 | 160974 | 130132 | 7932 35 | 318 | 623 134.84/134.95 c 113s | 16 | 162609 | 131552 | 7932 35 | 318 | 623 136.94/137.00 c 115s | 16 | 165622 | 133952 | 7932 36 | 318 | 623 138.93/139.00 c 117s | 16 | 168500 | 136452 | 7932 36 | 318 | 623 140.93/141.04 c 119s | 16 | 171025 | 138552 | 7932 37 | 318 | 623 142.93/143.10 c 121s | 16 | 173908 | 140952 | 7932 37 | 318 | 623 145.03/145.12 c 123s | 16 | 176146 | 142952 | 7932 38 | 318 | 623 147.03/147.17 c 126s | 16 | 178757 | 145252 | 7932 38 | 318 | 623 149.13/149.24 c 128s | 16 | 181221 | 147352 | 7932 39 | 318 | 623 151.22/151.32 c 130s | 16 | 183582 | 149352 | 7932 39 | 318 | 623 153.22/153.35 c 132s | 16 | 185855 | 151252 | 7932 40 | 318 | 623 155.32/155.44 c 134s | 16 | 188585 | 153552 | 7932 40 | 318 | 623 157.33/157.44 c 136s | 16 | 190862 | 155552 | 7932 41 | 318 | 623 159.32/159.46 c 138s | 16 | 193227 | 157652 | 7932 41 | 318 | 623 161.42/161.51 c 140s | 16 | 195332 | 159552 | 7932 42 | 318 | 623 163.52/163.61 c 142s | 16 | 198071 | 161852 | 7932 42 | 318 | 623 165.51/165.62 c 144s | 16 | 200157 | 163652 | 7932 43 | 318 | 623 167.51/167.64 c 146s | 16 | 202831 | 165952 | 8726 43 | 318 | 623 169.51/169.69 c 148s | 16 | 205038 | 167852 | 8726 43 | 318 | 623 171.51/171.69 c 150s | 16 | 207317 | 169852 | 8726 44 | 318 | 623 173.61/173.71 c 152s | 16 | 209569 | 171852 | 8726 44 | 318 | 623 175.61/175.75 c 154s | 16 | 212043 | 173952 | 8726 45 | 318 | 623 177.61/177.78 c 156s | 16 | 214585 | 176152 | 8726 45 | 318 | 623 179.71/179.81 c 158s | 16 | 216617 | 177952 | 8726 46 | 318 | 623 181.70/181.86 c 160s | 16 | 219073 | 180052 | 8726 46 | 318 | 623 183.71/183.89 c 162s | 16 | 221201 | 181852 | 8726 46 | 318 | 623 185.81/185.92 c 164s | 16 | 223446 | 183752 | 8726 47 | 318 | 623 187.80/187.97 c 166s | 16 | 225821 | 185752 | 8726 47 | 318 | 623 189.80/189.98 c 168s | 16 | 227737 | 187452 | 8726 48 | 318 | 623 191.89/192.03 c 170s | 16 | 230084 | 189452 | 8726 48 | 318 | 623 193.99/194.11 c 172s | 16 | 232257 | 191352 | 8726 48 | 318 | 623 195.99/196.18 c 175s | 16 | 234582 | 193352 | 8726 49 | 318 | 623 198.09/198.26 c 177s | 16 | 236818 | 195252 | 8726 49 | 318 | 623 200.20/200.33 c 179s | 16 | 238777 | 196952 | 8726 50 | 318 | 623 200.59/200.70 c 179s | 17 | 239347 | 197432 | 8726 50 | 318 | 623 202.59/202.77 c 181s | 17 | 242423 | 199832 | 8726 50 | 318 | 623 204.69/204.84 c 183s | 17 | 245032 | 202032 | 8726 51 | 318 | 623 206.80/206.93 c 185s | 17 | 247795 | 204232 | 8726 51 | 318 | 623 208.79/208.97 c 187s | 17 | 250407 | 206332 | 8726 52 | 318 | 623 210.89/211.00 c 189s | 17 | 253071 | 208532 | 8726 52 | 318 | 623 212.88/213.08 c 191s | 17 | 255534 | 210532 | 8726 53 | 318 | 623 214.98/215.16 c 194s | 17 | 258466 | 212932 | 8726 53 | 318 | 623 217.08/217.20 c 196s | 17 | 260613 | 214832 | 8726 53 | 318 | 623 219.08/219.22 c 198s | 17 | 263203 | 217032 | 8726 54 | 318 | 623 221.09/221.25 c 200s | 17 | 265456 | 219032 | 8726 54 | 318 | 623 223.18/223.30 c 202s | 17 | 268055 | 221232 | 8726 55 | 318 | 623 225.18/225.33 c 204s | 17 | 270661 | 223432 | 8726 55 | 318 | 623 227.18/227.35 c 206s | 17 | 273213 | 225632 | 8726 56 | 318 | 623 229.18/229.36 c 208s | 17 | 275919 | 227832 | 8726 56 | 318 | 623 231.17/231.39 c 210s | 17 | 278660 | 230032 | 8726 57 | 318 | 623 233.27/233.47 c 212s | 17 | 281210 | 232232 | 8726 57 | 318 | 623 235.38/235.52 c 214s | 17 | 283790 | 234332 | 8726 58 | 318 | 623 237.37/237.55 c 216s | 17 | 286540 | 236732 | 8726 58 | 318 | 623 239.37/239.59 c 218s | 17 | 288817 | 238732 | 8726 59 | 318 | 623 241.47/241.67 c 220s | 17 | 291716 | 241132 | 8726 59 | 318 | 623 243.47/243.69 c 222s | 17 | 294044 | 243232 | 8726 60 | 318 | 623 245.57/245.77 c 224s | 17 | 296689 | 245532 | 8726 60 | 318 | 623 247.57/247.77 c 226s | 17 | 298669 | 247332 | 8726 60 | 318 | 623 249.67/249.83 c 228s | 17 | 300921 | 249332 | 8726 61 | 318 | 623 251.66/251.85 c 230s | 17 | 303162 | 251332 | 8726 61 | 318 | 623 253.76/253.93 c 232s | 17 | 305754 | 253532 | 8726 62 | 318 | 623 255.76/255.98 c 234s | 17 | 308156 | 255632 | 8726 62 | 318 | 623 257.86/258.08 c 236s | 17 | 310457 | 257632 | 8726 63 | 318 | 623 259.96/260.10 c 238s | 17 | 312763 | 259632 | 8726 63 | 318 | 623 262.06/262.23 c 241s | 17 | 314904 | 261532 | 8726 64 | 318 | 623 264.16/264.32 c 243s | 17 | 317744 | 263832 | 9599 64 | 318 | 623 266.25/266.42 c 245s | 17 | 320313 | 265932 | 9599 64 | 318 | 623 268.26/268.45 c 247s | 17 | 322708 | 268032 | 9599 65 | 318 | 623 270.35/270.51 c 249s | 17 | 325287 | 270232 | 9599 65 | 318 | 623 272.35/272.53 c 251s | 17 | 327529 | 272132 | 9599 66 | 318 | 623 274.45/274.61 c 253s | 17 | 330217 | 274432 | 9599 66 | 318 | 623 276.55/276.73 c 255s | 17 | 332619 | 276532 | 9599 66 | 318 | 623 278.55/278.76 c 257s | 17 | 334716 | 278432 | 9599 67 | 318 | 623 280.65/280.82 c 259s | 17 | 336966 | 280432 | 9599 67 | 318 | 623 282.65/282.85 c 261s | 17 | 339000 | 282232 | 9599 67 | 318 | 623 284.75/284.94 c 263s | 17 | 341324 | 284332 | 9599 68 | 318 | 623 286.75/286.98 c 265s | 17 | 343479 | 286232 | 9599 68 | 318 | 623 288.85/289.05 c 267s | 17 | 345549 | 288132 | 9599 69 | 318 | 623 290.95/291.15 c 269s | 17 | 347928 | 290232 | 9599 69 | 318 | 623 293.05/293.27 c 272s | 17 | 350122 | 292132 | 9599 69 | 318 | 623 295.15/295.30 c 274s | 17 | 352322 | 294132 | 9599 70 | 318 | 623 297.15/297.32 c 276s | 17 | 354319 | 295932 | 9599 70 | 318 | 623 297.55/297.70 c 276s | 18 | 354698 | 296252 | 9599 70 | 318 | 623 299.55/299.73 c 278s | 18 | 357550 | 298552 | 9599 71 | 318 | 623 301.54/301.78 c 280s | 18 | 360145 | 300752 | 9599 71 | 318 | 623 303.55/303.79 c 282s | 18 | 362560 | 302852 | 9599 72 | 318 | 623 305.65/305.83 c 284s | 18 | 365051 | 305052 | 9599 72 | 318 | 623 307.64/307.86 c 286s | 18 | 367373 | 307052 | 9599 72 | 318 | 623 309.74/309.93 c 288s | 18 | 369823 | 309152 | 9599 73 | 318 | 623 311.74/311.97 c 290s | 18 | 372321 | 311252 | 9599 73 | 318 | 623 313.74/313.97 c 292s | 18 | 374819 | 313352 | 9599 74 | 318 | 623 315.84/316.07 c 294s | 18 | 377406 | 315552 | 9599 74 | 318 | 623 317.94/318.15 c 296s | 18 | 379590 | 317452 | 9599 74 | 318 | 623 320.04/320.23 c 299s | 18 | 381893 | 319452 | 9599 75 | 318 | 623 322.03/322.29 c 301s | 18 | 384020 | 321352 | 9599 75 | 318 | 623 324.13/324.32 c 303s | 18 | 386179 | 323252 | 9599 76 | 318 | 623 326.13/326.35 c 305s | 18 | 388753 | 325452 | 9599 76 | 318 | 623 328.23/328.41 c 307s | 18 | 390865 | 327352 | 9599 76 | 318 | 623 330.23/330.46 c 309s | 18 | 393107 | 329352 | 9599 77 | 318 | 623 332.33/332.53 c 311s | 18 | 395361 | 331352 | 9599 77 | 318 | 623 334.34/334.54 c 313s | 18 | 397239 | 333052 | 9599 78 | 318 | 623 336.33/336.55 c 315s | 18 | 399379 | 334952 | 9599 78 | 318 | 623 338.43/338.62 c 317s | 18 | 401455 | 336852 | 9599 78 | 318 | 623 340.43/340.63 c 319s | 18 | 403317 | 338452 | 9599 79 | 318 | 623 342.42/342.66 c 321s | 18 | 405538 | 340452 | 9599 79 | 318 | 623 344.42/344.69 c 323s | 18 | 407502 | 342252 | 9599 79 | 318 | 623 346.52/346.71 c 325s | 18 | 409511 | 344052 | 9599 80 | 318 | 623 348.53/348.74 c 327s | 18 | 411767 | 346052 | 9599 80 | 318 | 623 350.62/350.82 c 329s | 18 | 413731 | 347852 | 9599 80 | 318 | 623 352.62/352.85 c 331s | 18 | 415865 | 349752 | 9599 81 | 318 | 623 354.72/354.93 c 333s | 18 | 418161 | 351752 | 9599 81 | 318 | 623 356.82/357.04 c 335s | 18 | 420140 | 353552 | 9599 82 | 318 | 623 358.82/359.05 c 337s | 18 | 422096 | 355352 | 9599 82 | 318 | 623 360.82/361.09 c 339s | 18 | 423921 | 357052 | 9599 82 | 318 | 623 362.92/363.16 c 342s | 18 | 425856 | 358752 | 9599 83 | 318 | 623 365.02/365.25 c 344s | 18 | 427881 | 360552 | 9599 83 | 318 | 623 367.11/367.30 c 346s | 18 | 429754 | 362252 | 9599 83 | 318 | 623 369.11/369.33 c 348s | 18 | 432211 | 364252 | 9599 84 | 318 | 623 371.11/371.35 c 350s | 18 | 434398 | 366252 | 9599 84 | 318 | 623 373.11/373.35 c 352s | 18 | 436374 | 368052 | 9599 84 | 318 | 623 375.11/375.39 c 354s | 18 | 438685 | 370052 | 9599 85 | 318 | 623 377.21/377.48 c 356s | 18 | 441028 | 372152 | 9599 85 | 318 | 623 379.31/379.54 c 358s | 18 | 443126 | 374052 | 9599 86 | 318 | 623 381.30/381.56 c 360s | 18 | 445330 | 376052 | 9599 86 | 318 | 623 383.30/383.59 c 362s | 18 | 447332 | 377852 | 9599 86 | 318 | 623 385.40/385.64 c 364s | 18 | 449485 | 379752 | 9599 87 | 318 | 623 387.50/387.72 c 366s | 18 | 451718 | 381752 | 9599 87 | 318 | 623 389.60/389.85 c 368s | 18 | 453710 | 383552 | 9599 88 | 318 | 623 391.70/391.96 c 370s | 18 | 456211 | 385752 | 9599 88 | 318 | 623 393.70/393.97 c 372s | 18 | 458315 | 387552 | 9599 88 | 318 | 623 395.80/396.04 c 374s | 18 | 460439 | 389452 | 9599 89 | 318 | 623 397.89/398.15 c 376s | 18 | 462793 | 391552 | 9599 89 | 318 | 623 399.99/400.21 c 379s | 18 | 464743 | 393252 | 9599 89 | 318 | 623 401.99/402.22 c 381s | 18 | 466873 | 395152 | 9599 90 | 318 | 623 403.99/404.28 c 383s | 18 | 469134 | 397152 | 9599 90 | 318 | 623 406.09/406.35 c 385s | 18 | 471321 | 399052 | 9599 91 | 318 | 623 408.09/408.38 c 387s | 18 | 473676 | 401152 | 9599 91 | 318 | 623 410.20/410.45 c 389s | 18 | 475947 | 403152 | 9599 91 | 318 | 623 412.19/412.46 c 391s | 18 | 478209 | 405052 | 9599 92 | 318 | 623 414.19/414.46 c 393s | 18 | 480524 | 407052 | 9599 92 | 318 | 623 416.29/416.50 c 395s | 18 | 482541 | 408852 | 9599 92 | 318 | 623 418.29/418.51 c 397s | 18 | 484793 | 410852 | 10559 93 | 318 | 623 420.39/420.60 c 399s | 18 | 487053 | 412852 | 10559 93 | 318 | 623 422.38/422.63 c 401s | 18 | 489181 | 414752 | 10559 93 | 318 | 623 424.49/424.70 c 403s | 18 | 491313 | 416652 | 10559 94 | 318 | 623 426.48/426.71 c 405s | 18 | 493728 | 418752 | 10559 94 | 318 | 623 428.48/428.76 c 407s | 18 | 495731 | 420552 | 10559 95 | 318 | 623 430.58/430.81 c 409s | 18 | 498069 | 422652 | 10559 95 | 318 | 623 432.67/432.91 c 411s | 18 | 500195 | 424552 | 10559 95 | 318 | 623 434.67/434.91 c 413s | 18 | 501931 | 426152 | 10559 96 | 318 | 623 436.67/436.95 c 415s | 18 | 504151 | 428152 | 10559 96 | 318 | 623 438.68/438.96 c 417s | 18 | 506314 | 430052 | 10559 96 | 318 | 623 440.77/441.03 c 419s | 18 | 508784 | 432152 | 10559 97 | 318 | 623 442.77/443.05 c 421s | 18 | 511047 | 434152 | 10559 97 | 318 | 623 444.77/445.06 c 423s | 18 | 513062 | 435952 | 10559 97 | 318 | 623 446.77/447.06 c 425s | 18 | 515070 | 437652 | 10559 98 | 318 | 623 448.87/449.10 c 427s | 18 | 517349 | 439652 | 10559 98 | 318 | 623 450.87/451.12 c 429s | 18 | 519445 | 441452 | 10559 98 | 318 | 623 452.97/453.20 c 432s | 18 | 521597 | 443252 | 10559 99 | 318 | 623 454.17/454.41 c 433s | 19 | 523001 | 444482 | 10559 99 | 318 | 623 456.16/456.49 c 435s | 19 | 526343 | 446982 | 10559 99 | 318 | 623 458.16/458.49 c 437s | 19 | 529039 | 449182 | 10559 100 | 318 | 623 460.26/460.50 c 439s | 19 | 531791 | 451382 | 10559 100 | 318 | 623 462.35/462.60 c 441s | 19 | 534517 | 453582 | 10559 100 | 318 | 623 464.35/464.65 c 443s | 19 | 537158 | 455782 | 10559 101 | 318 | 623 466.45/466.70 c 445s | 19 | 539481 | 457782 | 10559 101 | 318 | 623 468.46/468.76 c 447s | 19 | 541467 | 459482 | 10559 102 | 318 | 623 470.56/470.85 c 449s | 19 | 544388 | 461882 | 10559 102 | 318 | 623 472.65/472.90 c 451s | 19 | 546723 | 463882 | 10559 102 | 318 | 623 474.65/474.99 c 453s | 19 | 549070 | 465882 | 10559 103 | 318 | 623 476.75/477.04 c 455s | 19 | 551832 | 468082 | 10559 103 | 318 | 623 478.75/479.05 c 457s | 19 | 554102 | 469982 | 10559 103 | 318 | 623 480.85/481.14 c 459s | 19 | 556433 | 471982 | 10559 104 | 318 | 623 482.84/483.16 c 462s | 19 | 559060 | 474082 | 10559 104 | 318 | 623 484.95/485.29 c 464s | 19 | 561347 | 475982 | 10559 105 | 318 | 623 487.05/487.33 c 466s | 19 | 563838 | 478082 | 10559 105 | 318 | 623 489.14/489.43 c 468s | 19 | 566157 | 480082 | 10559 105 | 318 | 623 491.14/491.46 c 470s | 19 | 567918 | 481682 | 10559 106 | 318 | 623 493.24/493.56 c 472s | 19 | 570257 | 483682 | 10559 106 | 318 | 623 495.34/495.64 c 474s | 19 | 572741 | 485782 | 10559 106 | 318 | 623 497.34/497.66 c 476s | 19 | 575586 | 488082 | 10559 107 | 318 | 623 499.34/499.67 c 478s | 19 | 577940 | 490082 | 10559 107 | 318 | 623 501.44/501.73 c 480s | 19 | 580026 | 491882 | 10559 107 | 318 | 623 503.54/503.82 c 482s | 19 | 582273 | 493782 | 10559 108 | 318 | 623 505.53/505.87 c 484s | 19 | 584667 | 495782 | 10559 108 | 318 | 623 507.64/507.93 c 486s | 19 | 586908 | 497682 | 10559 108 | 318 | 623 509.64/510.00 c 488s | 19 | 589182 | 499682 | 10559 109 | 318 | 623 511.73/512.05 c 490s | 19 | 591726 | 501782 | 10559 109 | 318 | 623 513.73/514.08 c 492s | 19 | 594298 | 503882 | 10559 110 | 318 | 623 515.83/516.13 c 494s | 19 | 597071 | 506182 | 10559 110 | 318 | 623 517.83/518.17 c 497s | 19 | 599471 | 508182 | 10559 110 | 318 | 623 519.93/520.20 c 499s | 19 | 602077 | 510282 | 10559 111 | 318 | 623 521.92/522.28 c 501s | 19 | 604698 | 512482 | 10559 111 | 318 | 623 524.02/524.34 c 503s | 19 | 607161 | 514582 | 10559 111 | 318 | 623 526.02/526.35 c 505s | 19 | 609630 | 516682 | 10559 112 | 318 | 623 528.02/528.35 c 507s | 19 | 612012 | 518682 | 10559 112 | 318 | 623 530.12/530.40 c 509s | 19 | 614012 | 520382 | 10559 112 | 318 | 623 532.12/532.44 c 511s | 19 | 616389 | 522382 | 10559 113 | 318 | 623 534.12/534.47 c 513s | 19 | 618752 | 524382 | 10559 113 | 318 | 623 536.22/536.50 c 515s | 19 | 620783 | 526082 | 10559 114 | 318 | 623 538.22/538.55 c 517s | 19 | 623334 | 528282 | 10559 114 | 318 | 623 540.31/540.63 c 519s | 19 | 625632 | 530282 | 10559 114 | 318 | 623 542.31/542.64 c 521s | 19 | 627700 | 532082 | 10559 115 | 318 | 623 544.41/544.71 c 523s | 19 | 630544 | 534382 | 10559 115 | 318 | 623 546.41/546.79 c 525s | 19 | 632829 | 536382 | 10559 115 | 318 | 623 548.51/548.85 c 527s | 19 | 635078 | 538382 | 10559 116 | 318 | 623 550.51/550.89 c 529s | 19 | 636980 | 540182 | 10559 116 | 318 | 623 552.61/552.93 c 531s | 19 | 638834 | 541882 | 10559 116 | 318 | 623 554.71/555.00 c 533s | 19 | 640849 | 543682 | 10559 117 | 318 | 623 556.71/557.03 c 535s | 19 | 643039 | 545582 | 10559 117 | 318 | 623 558.71/559.04 c 537s | 19 | 645020 | 547382 | 10559 117 | 318 | 623 560.71/561.10 c 539s | 19 | 647196 | 549282 | 10559 118 | 318 | 623 562.80/563.17 c 542s | 19 | 649258 | 551182 | 10559 118 | 318 | 623 564.90/565.29 c 544s | 19 | 651253 | 552982 | 10559 118 | 318 | 623 567.00/567.33 c 546s | 19 | 653241 | 554782 | 10559 119 | 318 | 623 569.10/569.41 c 548s | 19 | 655506 | 556782 | 10559 119 | 318 | 623 571.10/571.45 c 550s | 19 | 657513 | 558582 | 10559 119 | 318 | 623 573.10/573.47 c 552s | 19 | 659522 | 560382 | 10559 120 | 318 | 623 575.20/575.52 c 554s | 19 | 661869 | 562482 | 10559 120 | 318 | 623 577.31/577.62 c 556s | 19 | 664194 | 564382 | 10559 120 | 318 | 623 579.30/579.62 c 558s | 19 | 666479 | 566282 | 10559 121 | 318 | 623 581.29/581.69 c 560s | 19 | 668749 | 568282 | 10559 121 | 318 | 623 583.39/583.72 c 562s | 19 | 670938 | 570182 | 10559 121 | 318 | 623 585.39/585.78 c 564s | 19 | 673508 | 572282 | 10559 122 | 318 | 623 587.39/587.78 c 566s | 19 | 675785 | 574182 | 10559 122 | 318 | 623 589.49/589.88 c 568s | 19 | 677758 | 575882 | 10559 122 | 318 | 623 591.59/591.97 c 570s | 19 | 680175 | 577882 | 10559 123 | 318 | 623 593.69/594.04 c 572s | 19 | 682364 | 579782 | 10559 123 | 318 | 623 595.69/596.05 c 574s | 19 | 684321 | 581482 | 10559 123 | 318 | 623 597.79/598.11 c 576s | 19 | 686403 | 583382 | 10559 124 | 318 | 623 599.78/600.16 c 579s | 19 | 688769 | 585382 | 10559 124 | 318 | 623 601.88/602.25 c 581s | 19 | 690958 | 587282 | 10559 125 | 318 | 623 603.98/604.35 c 583s | 19 | 693430 | 589382 | 10559 125 | 318 | 623 606.08/606.42 c 585s | 19 | 695974 | 591482 | 10559 125 | 318 | 623 608.09/608.46 c 587s | 19 | 698287 | 593382 | 10559 126 | 318 | 623 610.08/610.50 c 589s | 19 | 700730 | 595482 | 10559 126 | 318 | 623 612.18/612.54 c 591s | 19 | 702749 | 597282 | 10559 126 | 318 | 623 614.28/614.60 c 593s | 19 | 704974 | 599182 | 10559 127 | 318 | 623 616.28/616.68 c 595s | 19 | 707576 | 601382 | 10559 127 | 318 | 623 618.28/618.69 c 597s | 19 | 709802 | 603282 | 10559 127 | 318 | 623 620.37/620.74 c 599s | 19 | 712106 | 605182 | 10559 128 | 318 | 623 622.37/622.76 c 601s | 19 | 714340 | 607082 | 10559 128 | 318 | 623 624.47/624.83 c 603s | 19 | 716581 | 608982 | 10559 128 | 318 | 623 626.47/626.86 c 605s | 19 | 719127 | 611082 | 10559 129 | 318 | 623 628.57/628.94 c 607s | 19 | 721529 | 613182 | 10559 129 | 318 | 623 630.56/630.98 c 609s | 19 | 723624 | 614982 | 10559 130 | 318 | 623 632.66/633.07 c 611s | 19 | 726679 | 617482 | 10559 130 | 318 | 623 634.66/635.09 c 613s | 19 | 729090 | 619482 | 10559 130 | 318 | 623 636.76/637.15 c 615s | 19 | 731796 | 621682 | 10559 131 | 318 | 623 638.77/639.15 c 617s | 19 | 734546 | 623882 | 10559 131 | 318 | 623 640.86/641.25 c 620s | 19 | 736972 | 625882 | 10559 131 | 318 | 623 642.96/643.32 c 622s | 19 | 739450 | 628082 | 10559 132 | 318 | 623 645.06/645.42 c 624s | 19 | 741849 | 630182 | 10559 132 | 318 | 623 647.06/647.49 c 626s | 19 | 743702 | 631882 | 11615 132 | 318 | 623 649.16/649.56 c 628s | 19 | 745743 | 633682 | 11615 133 | 318 | 623 651.15/651.56 c 630s | 19 | 748060 | 635682 | 11615 133 | 318 | 623 653.26/653.61 c 632s | 19 | 750111 | 637482 | 11615 133 | 318 | 623 655.27/655.67 c 634s | 19 | 752278 | 639382 | 11615 134 | 318 | 623 657.36/657.71 c 636s | 19 | 754573 | 641382 | 11615 134 | 318 | 623 659.46/659.80 c 638s | 19 | 756944 | 643382 | 11615 134 | 318 | 623 661.46/661.82 c 640s | 19 | 758928 | 645082 | 11615 135 | 318 | 623 663.46/663.87 c 642s | 19 | 761434 | 647182 | 11615 135 | 318 | 623 665.55/665.92 c 644s | 19 | 763439 | 648982 | 11615 135 | 318 | 623 667.55/667.96 c 646s | 19 | 765449 | 650782 | 11615 135 | 318 | 623 669.56/669.96 c 648s | 19 | 767630 | 652682 | 11615 136 | 318 | 623 671.65/672.02 c 650s | 19 | 769809 | 654582 | 11615 136 | 318 | 623 673.75/674.10 c 652s | 19 | 771746 | 656282 | 11615 136 | 318 | 623 675.75/676.19 c 655s | 19 | 773798 | 658082 | 11615 137 | 318 | 623 677.85/678.22 c 657s | 19 | 775903 | 659982 | 11615 137 | 318 | 623 679.85/680.25 c 659s | 19 | 777776 | 661682 | 11615 137 | 318 | 623 681.95/682.33 c 661s | 19 | 780025 | 663582 | 11615 138 | 318 | 623 684.05/684.44 c 663s | 19 | 782505 | 665682 | 11615 138 | 318 | 623 685.35/685.71 c 664s | 20 | 783856 | 666827 | 11615 138 | 318 | 623 687.34/687.72 c 666s | 20 | 786698 | 669027 | 11615 138 | 318 | 623 689.35/689.77 c 668s | 20 | 789776 | 671427 | 11615 139 | 318 | 623 691.34/691.78 c 670s | 20 | 792351 | 673527 | 11615 139 | 318 | 623 693.44/693.82 c 672s | 20 | 794714 | 675427 | 11615 140 | 318 | 623 695.54/695.90 c 674s | 20 | 797135 | 677527 | 11615 140 | 318 | 623 697.54/697.98 c 676s | 20 | 799750 | 679727 | 11615 140 | 318 | 623 699.64/700.02 c 678s | 20 | 802091 | 681627 | 11615 141 | 318 | 623 701.64/702.03 c 680s | 20 | 804633 | 683727 | 11615 141 | 318 | 623 703.74/704.14 c 682s | 20 | 806959 | 685627 | 11615 141 | 318 | 623 705.74/706.15 c 684s | 20 | 809030 | 687427 | 11615 142 | 318 | 623 707.74/708.17 c 687s | 20 | 811474 | 689527 | 11615 142 | 318 | 623 709.84/710.22 c 689s | 20 | 813785 | 691527 | 11615 142 | 318 | 623 711.84/712.23 c 691s | 20 | 816219 | 693527 | 11615 143 | 318 | 623 713.94/714.30 c 693s | 20 | 819060 | 695827 | 11615 143 | 318 | 623 715.94/716.31 c 695s | 20 | 821311 | 697727 | 11615 143 | 318 | 623 717.94/718.34 c 697s | 20 | 823476 | 699527 | 11615 144 | 318 | 623 719.93/720.37 c 699s | 20 | 825885 | 701527 | 11615 144 | 318 | 623 722.03/722.44 c 701s | 20 | 828247 | 703427 | 11615 144 | 318 | 623 724.13/724.51 c 703s | 20 | 830461 | 705227 | 11615 144 | 318 | 623 726.13/726.56 c 705s | 20 | 833187 | 707327 | 11615 145 | 318 | 623 728.23/728.69 c 707s | 20 | 835570 | 709327 | 11615 145 | 318 | 623 730.33/730.79 c 709s | 20 | 837755 | 711227 | 11615 145 | 318 | 623 732.43/732.82 c 711s | 20 | 839960 | 713127 | 11615 146 | 318 | 623 734.44/734.85 c 713s | 20 | 842106 | 715027 | 11615 146 | 318 | 623 736.53/736.96 c 715s | 20 | 844253 | 716827 | 11615 146 | 318 | 623 738.53/738.99 c 717s | 20 | 846394 | 718627 | 11615 147 | 318 | 623 740.63/741.01 c 719s | 20 | 848915 | 720727 | 11615 147 | 318 | 623 742.63/743.01 c 721s | 20 | 850984 | 722527 | 11615 147 | 318 | 623 744.63/745.02 c 723s | 20 | 852897 | 724127 | 11615 148 | 318 | 623 746.64/747.02 c 725s | 20 | 855194 | 726027 | 11615 148 | 318 | 623 748.63/749.08 c 727s | 20 | 857181 | 727727 | 11615 148 | 318 | 623 750.73/751.19 c 730s | 20 | 859297 | 729527 | 11615 148 | 318 | 623 752.93/753.31 c 732s | 20 | 861251 | 731227 | 11615 149 | 318 | 623 754.93/755.32 c 734s | 20 | 863309 | 732927 | 11615 149 | 318 | 623 756.93/757.34 c 736s | 20 | 865257 | 734627 | 11615 149 | 318 | 623 759.03/759.43 c 738s | 20 | 867281 | 736327 | 11615 150 | 318 | 623 761.03/761.45 c 740s | 20 | 869482 | 738227 | 11615 150 | 318 | 623 763.13/763.52 c 742s | 20 | 871915 | 740227 | 11615 150 | 318 | 623 765.13/765.54 c 744s | 20 | 873967 | 741927 | 11615 150 | 318 | 623 767.23/767.64 c 746s | 20 | 876186 | 743827 | 11615 151 | 318 | 623 769.33/769.71 c 748s | 20 | 878593 | 745827 | 11615 151 | 318 | 623 771.32/771.74 c 750s | 20 | 880869 | 747727 | 11615 151 | 318 | 623 773.32/773.77 c 752s | 20 | 883134 | 749627 | 11615 152 | 318 | 623 775.43/775.84 c 754s | 20 | 885771 | 751827 | 11615 152 | 318 | 623 777.44/777.84 c 756s | 20 | 887978 | 753727 | 11615 152 | 318 | 623 779.43/779.88 c 758s | 20 | 890133 | 755527 | 11615 153 | 318 | 623 781.53/781.92 c 760s | 20 | 892191 | 757327 | 11615 153 | 318 | 623 783.53/783.97 c 762s | 20 | 894161 | 759027 | 11615 153 | 318 | 623 785.63/786.01 c 764s | 20 | 896245 | 760827 | 11615 154 | 318 | 623 787.63/788.09 c 766s | 20 | 898796 | 762827 | 11615 154 | 318 | 623 789.83/790.21 c 769s | 20 | 900968 | 764627 | 11615 154 | 318 | 623 792.03/792.40 c 771s | 20 | 903018 | 766327 | 11615 155 | 318 | 623 794.03/794.41 c 773s | 20 | 905384 | 768327 | 11615 155 | 318 | 623 796.04/796.42 c 775s | 20 | 907446 | 770127 | 11615 155 | 318 | 623 798.13/798.51 c 777s | 20 | 909850 | 772127 | 11615 155 | 318 | 623 800.13/800.55 c 779s | 20 | 912296 | 774127 | 11615 156 | 318 | 623 802.23/802.63 c 781s | 20 | 914513 | 775927 | 11615 156 | 318 | 623 804.23/804.66 c 783s | 20 | 916715 | 777727 | 11615 156 | 318 | 623 806.23/806.67 c 785s | 20 | 918863 | 779527 | 11615 157 | 318 | 623 808.33/808.75 c 787s | 20 | 921053 | 781427 | 11615 157 | 318 | 623 810.43/810.83 c 789s | 20 | 923310 | 783227 | 11615 157 | 318 | 623 812.43/812.87 c 791s | 20 | 925034 | 784727 | 11615 158 | 318 | 623 814.53/814.90 c 793s | 20 | 927954 | 787127 | 11615 158 | 318 | 623 816.53/816.92 c 795s | 20 | 930365 | 789127 | 11615 158 | 318 | 623 818.53/818.94 c 797s | 20 | 932695 | 791027 | 11615 159 | 318 | 623 820.63/821.03 c 799s | 20 | 935401 | 793227 | 11615 159 | 318 | 623 822.63/823.07 c 801s | 20 | 938396 | 795427 | 11615 159 | 318 | 623 824.63/825.10 c 803s | 20 | 940416 | 797127 | 11615 160 | 318 | 623 826.72/827.18 c 806s | 20 | 942986 | 799227 | 11615 160 | 318 | 623 828.82/829.22 c 808s | 20 | 945379 | 801227 | 11615 160 | 318 | 623 830.82/831.26 c 810s | 20 | 947713 | 803127 | 11615 161 | 318 | 623 832.92/833.31 c 812s | 20 | 950080 | 805127 | 11615 161 | 318 | 623 834.92/835.32 c 814s | 20 | 952230 | 806927 | 11615 161 | 318 | 623 837.02/837.42 c 816s | 20 | 954299 | 808727 | 11615 161 | 318 | 623 839.03/839.43 c 818s | 20 | 956368 | 810527 | 11615 162 | 318 | 623 841.13/841.51 c 820s | 20 | 958912 | 812527 | 11615 162 | 318 | 623 843.12/843.51 c 822s | 20 | 960836 | 814127 | 11615 162 | 318 | 623 845.12/845.55 c 824s | 20 | 962832 | 815827 | 11615 163 | 318 | 623 847.22/847.63 c 826s | 20 | 965019 | 817727 | 11615 163 | 318 | 623 849.22/849.69 c 828s | 20 | 966831 | 819327 | 11615 163 | 318 | 623 851.32/851.76 c 830s | 20 | 968989 | 821127 | 11615 164 | 318 | 623 853.42/853.82 c 832s | 20 | 971852 | 823327 | 11615 164 | 318 | 623 855.43/855.86 c 834s | 20 | 974117 | 825227 | 11615 164 | 318 | 623 857.42/857.88 c 836s | 20 | 976120 | 826927 | 11615 164 | 318 | 623 859.52/859.97 c 838s | 20 | 978197 | 828727 | 11615 165 | 318 | 623 861.62/862.03 c 840s | 20 | 980569 | 830627 | 11615 165 | 318 | 623 863.62/864.09 c 842s | 20 | 982824 | 832427 | 11615 165 | 318 | 623 865.72/866.17 c 845s | 20 | 985008 | 834227 | 11615 166 | 318 | 623 867.82/868.20 c 847s | 20 | 987348 | 836127 | 11615 166 | 318 | 623 869.92/870.32 c 849s | 20 | 989356 | 837927 | 11615 166 | 318 | 623 871.92/872.39 c 851s | 20 | 991448 | 839727 | 11615 167 | 318 | 623 874.02/874.40 c 853s | 20 | 994226 | 841927 | 11615 167 | 318 | 623 876.01/876.42 c 855s | 20 | 996735 | 843927 | 11615 167 | 318 | 623 878.01/878.43 c 857s | 20 | 999071 | 845727 | 11615 168 | 318 | 623 880.01/880.48 c 859s | 20 | 1001501 | 847727 | 11615 168 | 318 | 623 882.01/882.49 c 861s | 20 | 1003497 | 849427 | 11615 168 | 318 | 623 884.02/884.49 c 863s | 20 | 1005286 | 851027 | 11615 168 | 318 | 623 886.11/886.58 c 865s | 20 | 1007498 | 852927 | 11615 169 | 318 | 623 888.21/888.69 c 867s | 20 | 1009828 | 854827 | 11615 169 | 318 | 623 890.31/890.73 c 869s | 20 | 1011974 | 856627 | 11615 169 | 318 | 623 892.41/892.83 c 871s | 20 | 1014245 | 858527 | 11615 170 | 318 | 623 894.51/894.96 c 873s | 20 | 1016774 | 860627 | 11615 170 | 318 | 623 896.61/897.02 c 875s | 20 | 1018948 | 862427 | 11615 170 | 318 | 623 898.61/899.06 c 877s | 20 | 1020955 | 864127 | 11615 171 | 318 | 623 900.71/901.14 c 879s | 20 | 1023480 | 866227 | 11615 171 | 318 | 623 902.82/903.22 c 882s | 20 | 1025664 | 868127 | 11615 171 | 318 | 623 904.81/905.29 c 884s | 20 | 1027621 | 869827 | 11615 172 | 318 | 623 906.91/907.32 c 886s | 20 | 1029828 | 871727 | 11615 172 | 318 | 623 909.01/909.41 c 888s | 20 | 1031995 | 873527 | 11615 172 | 318 | 623 911.01/911.48 c 890s | 20 | 1034566 | 875527 | 11615 172 | 318 | 623 913.11/913.51 c 892s | 20 | 1036876 | 877427 | 11615 173 | 318 | 623 915.21/915.61 c 894s | 20 | 1039154 | 879327 | 11615 173 | 318 | 623 917.21/917.65 c 896s | 20 | 1041214 | 881027 | 11615 173 | 318 | 623 919.21/919.66 c 898s | 20 | 1043138 | 882727 | 11615 174 | 318 | 623 921.21/921.69 c 900s | 20 | 1045291 | 884627 | 11615 174 | 318 | 623 923.41/923.80 c 902s | 20 | 1047657 | 886527 | 11615 174 | 318 | 623 925.41/925.82 c 904s | 20 | 1049717 | 888227 | 11615 175 | 318 | 623 927.41/927.83 c 906s | 20 | 1052191 | 890227 | 11615 175 | 318 | 623 929.50/929.93 c 908s | 20 | 1054334 | 892127 | 11615 175 | 318 | 623 931.50/931.99 c 910s | 20 | 1056617 | 894027 | 11615 176 | 318 | 623 933.61/934.09 c 912s | 20 | 1058874 | 896027 | 11615 176 | 318 | 623 935.71/936.18 c 915s | 20 | 1061012 | 897927 | 11615 176 | 318 | 623 937.80/938.22 c 917s | 20 | 1062956 | 899627 | 11615 176 | 318 | 623 939.80/940.29 c 919s | 20 | 1065010 | 901427 | 11615 177 | 318 | 623 941.90/942.39 c 921s | 20 | 1067040 | 903227 | 11615 177 | 318 | 623 944.00/944.40 c 923s | 20 | 1069030 | 905027 | 11615 177 | 318 | 623 946.00/946.41 c 925s | 20 | 1070892 | 906627 | 11615 178 | 318 | 623 948.10/948.56 c 927s | 20 | 1073002 | 908527 | 11615 178 | 318 | 623 950.20/950.66 c 929s | 20 | 1075061 | 910327 | 11615 178 | 318 | 623 952.31/952.72 c 931s | 20 | 1077256 | 912127 | 11615 178 | 318 | 623 954.30/954.75 c 933s | 20 | 1079377 | 913927 | 11615 179 | 318 | 623 956.30/956.75 c 935s | 20 | 1081418 | 915627 | 11615 179 | 318 | 623 958.40/958.82 c 937s | 20 | 1083301 | 917327 | 11615 179 | 318 | 623 960.50/960.91 c 939s | 20 | 1085607 | 919327 | 11615 180 | 318 | 623 962.50/962.95 c 941s | 20 | 1088028 | 921327 | 11615 180 | 318 | 623 964.60/965.05 c 943s | 20 | 1090342 | 923327 | 11615 180 | 318 | 623 966.61/967.06 c 945s | 20 | 1092529 | 925127 | 11615 181 | 318 | 623 968.70/969.15 c 947s | 20 | 1094906 | 927127 | 11615 181 | 318 | 623 970.70/971.16 c 950s | 20 | 1097068 | 928927 | 11615 181 | 318 | 623 972.80/973.23 c 952s | 20 | 1099095 | 930627 | 11615 182 | 318 | 623 974.80/975.23 c 954s | 20 | 1101262 | 932527 | 11615 182 | 318 | 623 976.80/977.25 c 956s | 20 | 1103210 | 934227 | 11615 182 | 318 | 623 978.90/979.30 c 958s | 20 | 1105250 | 936027 | 11615 182 | 318 | 623 980.90/981.31 c 960s | 20 | 1107367 | 937827 | 11615 183 | 318 | 623 982.90/983.33 c 962s | 20 | 1109642 | 939727 | 11615 183 | 318 | 623 984.90/985.38 c 964s | 20 | 1112112 | 941727 | 11615 183 | 318 | 623 986.90/987.38 c 966s | 20 | 1114407 | 943627 | 11615 184 | 318 | 623 988.99/989.41 c 968s | 20 | 1116650 | 945527 | 11615 184 | 318 | 623 990.99/991.46 c 970s | 20 | 1118806 | 947327 | 11615 184 | 318 | 623 993.09/993.51 c 972s | 20 | 1120787 | 949027 | 11615 185 | 318 | 623 995.20/995.61 c 974s | 20 | 1123151 | 951027 | 11615 185 | 318 | 623 997.30/997.72 c 976s | 20 | 1125254 | 952927 | 11615 185 | 318 | 623 999.39/999.89 c 978s | 20 | 1127353 | 954727 | 11615 186 | 318 | 623 1001.49/1001.98 c 980s | 20 | 1130282 | 956927 | 11615 186 | 318 | 623 1003.59/1004.00 c 982s | 20 | 1132474 | 958727 | 11615 186 | 318 | 623 1005.59/1006.03 c 984s | 20 | 1134382 | 960327 | 11615 186 | 318 | 623 1007.69/1008.12 c 986s | 20 | 1136640 | 962227 | 12777 187 | 318 | 623 1009.79/1010.21 c 989s | 20 | 1138783 | 964127 | 12777 187 | 318 | 623 1011.79/1012.24 c 991s | 20 | 1140976 | 966027 | 12777 187 | 318 | 623 1013.80/1014.30 c 993s | 20 | 1142822 | 967627 | 12777 187 | 318 | 623 1015.89/1016.39 c 995s | 20 | 1145074 | 969527 | 12777 188 | 318 | 623 1017.99/1018.45 c 997s | 20 | 1147353 | 971427 | 12777 188 | 318 | 623 1020.09/1020.54 c 999s | 20 | 1149539 | 973327 | 12777 188 | 318 | 623 1022.19/1022.64 c 1001s | 20 | 1151482 | 975027 | 12777 189 | 318 | 623 1024.29/1024.71 c 1003s | 20 | 1153700 | 976927 | 12777 189 | 318 | 623 1026.39/1026.81 c 1005s | 20 | 1155734 | 978727 | 12777 189 | 318 | 623 1028.39/1028.89 c 1007s | 20 | 1157771 | 980427 | 12777 189 | 318 | 623 1030.49/1030.96 c 1009s | 20 | 1159857 | 982127 | 12777 190 | 318 | 623 1032.59/1033.05 c 1011s | 20 | 1162008 | 983927 | 12777 190 | 318 | 623 1034.59/1035.10 c 1013s | 20 | 1164088 | 985727 | 12777 190 | 318 | 623 1036.79/1037.21 c 1016s | 20 | 1165976 | 987327 | 12777 190 | 318 | 623 1038.89/1039.30 c 1018s | 20 | 1168112 | 989127 | 12777 191 | 318 | 623 1040.88/1041.34 c 1020s | 20 | 1170234 | 990927 | 12777 191 | 318 | 623 1042.98/1043.46 c 1022s | 20 | 1172228 | 992627 | 12777 191 | 318 | 623 1045.08/1045.53 c 1024s | 20 | 1174153 | 994327 | 12777 191 | 318 | 623 1047.08/1047.57 c 1026s | 20 | 1176011 | 996027 | 12777 192 | 318 | 623 1049.18/1049.63 c 1028s | 20 | 1177992 | 997727 | 12777 192 | 318 | 623 1051.19/1051.65 c 1030s | 20 | 1179744 | 999227 | 12777 192 | 318 | 623 1052.58/1053.06 c 1031s | 21 | 1181069 | 1000345 | 12777 192 | 318 | 623 1054.69/1055.13 c 1033s | 21 | 1183137 | 1002045 | 12777 193 | 318 | 623 1056.80/1057.22 c 1036s | 21 | 1185601 | 1004145 | 12777 193 | 318 | 623 1058.79/1059.23 c 1038s | 21 | 1187975 | 1006145 | 12777 193 | 318 | 623 1060.89/1061.34 c 1040s | 21 | 1190185 | 1007945 | 12777 194 | 318 | 623 1062.89/1063.35 c 1042s | 21 | 1192524 | 1009845 | 12777 194 | 318 | 623 1064.99/1065.43 c 1044s | 21 | 1194870 | 1011745 | 12777 194 | 318 | 623 1066.99/1067.46 c 1046s | 21 | 1196848 | 1013445 | 12777 194 | 318 | 623 1069.09/1069.53 c 1048s | 21 | 1198905 | 1015145 | 12777 195 | 318 | 623 1071.09/1071.53 c 1050s | 21 | 1201001 | 1016845 | 12777 195 | 318 | 623 1073.09/1073.54 c 1052s | 21 | 1203089 | 1018545 | 12777 195 | 318 | 623 1075.19/1075.64 c 1054s | 21 | 1205145 | 1020245 | 12777 195 | 318 | 623 1077.19/1077.65 c 1056s | 21 | 1207197 | 1021945 | 12777 196 | 318 | 623 1079.19/1079.66 c 1058s | 21 | 1209351 | 1023745 | 12777 196 | 318 | 623 1081.29/1081.71 c 1060s | 21 | 1211668 | 1025645 | 12777 196 | 318 | 623 1083.29/1083.77 c 1062s | 21 | 1213488 | 1027245 | 12777 196 | 318 | 623 1085.29/1085.77 c 1064s | 21 | 1215353 | 1028845 | 12777 197 | 318 | 623 1087.38/1087.84 c 1066s | 21 | 1217766 | 1030845 | 12777 197 | 318 | 623 1089.38/1089.86 c 1068s | 21 | 1219710 | 1032545 | 12777 197 | 318 | 623 1091.48/1091.98 c 1070s | 21 | 1221483 | 1034045 | 12777 197 | 318 | 623 1093.58/1094.00 c 1072s | 21 | 1223443 | 1035645 | 12777 198 | 318 | 623 1095.68/1096.11 c 1074s | 21 | 1225570 | 1037445 | 12777 198 | 318 | 623 1097.78/1098.24 c 1077s | 21 | 1227443 | 1039045 | 12777 198 | 318 | 623 1099.88/1100.36 c 1079s | 21 | 1229191 | 1040545 | 12777 198 | 318 | 623 1101.89/1102.36 c 1081s | 21 | 1231154 | 1042145 | 12777 199 | 318 | 623 1103.99/1104.43 c 1083s | 21 | 1233210 | 1043945 | 12777 199 | 318 | 623 1105.98/1106.43 c 1085s | 21 | 1235137 | 1045645 | 12777 199 | 318 | 623 1108.08/1108.53 c 1087s | 21 | 1236782 | 1047145 | 12777 199 | 318 | 623 1110.08/1110.59 c 1089s | 21 | 1238651 | 1048745 | 12777 200 | 318 | 623 1112.18/1112.60 c 1091s | 21 | 1240773 | 1050645 | 12777 200 | 318 | 623 1114.18/1114.65 c 1093s | 21 | 1242887 | 1052445 | 12777 200 | 318 | 623 1116.28/1116.72 c 1095s | 21 | 1245295 | 1054445 | 12777 200 | 318 | 623 1118.29/1118.72 c 1097s | 21 | 1247615 | 1056345 | 12777 201 | 318 | 623 1120.38/1120.84 c 1099s | 21 | 1250066 | 1058345 | 12777 201 | 318 | 623 1122.48/1122.92 c 1101s | 21 | 1252213 | 1060145 | 12777 201 | 318 | 623 1124.48/1124.97 c 1103s | 21 | 1254267 | 1061845 | 12777 202 | 318 | 623 1126.58/1127.04 c 1105s | 21 | 1256394 | 1063745 | 12777 202 | 318 | 623 1128.58/1129.08 c 1107s | 21 | 1258641 | 1065645 | 12777 202 | 318 | 623 1130.68/1131.19 c 1110s | 21 | 1260666 | 1067345 | 12777 202 | 318 | 623 1132.78/1133.24 c 1112s | 21 | 1262434 | 1068845 | 12777 203 | 318 | 623 1134.88/1135.34 c 1114s | 21 | 1264549 | 1070645 | 12777 203 | 318 | 623 1136.88/1137.38 c 1116s | 21 | 1266361 | 1072245 | 12777 203 | 318 | 623 1138.98/1139.48 c 1118s | 21 | 1268349 | 1073945 | 12777 203 | 318 | 623 1141.08/1141.52 c 1120s | 21 | 1270368 | 1075645 | 12777 204 | 318 | 623 1143.08/1143.56 c 1122s | 21 | 1272498 | 1077345 | 12777 204 | 318 | 623 1145.08/1145.57 c 1124s | 21 | 1274427 | 1078945 | 12777 204 | 318 | 623 1147.18/1147.63 c 1126s | 21 | 1276192 | 1080445 | 12777 204 | 318 | 623 1149.18/1149.67 c 1128s | 21 | 1277948 | 1081945 | 12777 205 | 318 | 623 1151.28/1151.74 c 1130s | 21 | 1280102 | 1083745 | 12777 205 | 318 | 623 1153.27/1153.78 c 1132s | 21 | 1282158 | 1085445 | 12777 205 | 318 | 623 1155.37/1155.85 c 1134s | 21 | 1283976 | 1087045 | 12777 205 | 318 | 623 1157.37/1157.89 c 1136s | 21 | 1285878 | 1088645 | 12777 206 | 318 | 623 1159.47/1159.95 c 1138s | 21 | 1287988 | 1090445 | 12777 206 | 318 | 623 1161.47/1161.96 c 1140s | 21 | 1289802 | 1092045 | 12777 206 | 318 | 623 1163.57/1164.00 c 1142s | 21 | 1291609 | 1093645 | 12777 206 | 318 | 623 1165.68/1166.11 c 1144s | 21 | 1293607 | 1095345 | 12777 207 | 318 | 623 1167.67/1168.17 c 1147s | 21 | 1295886 | 1097345 | 12777 207 | 318 | 623 1169.77/1170.25 c 1149s | 21 | 1298009 | 1099145 | 12777 207 | 318 | 623 1171.77/1172.28 c 1151s | 21 | 1299850 | 1100745 | 12777 207 | 318 | 623 1173.87/1174.37 c 1153s | 21 | 1302017 | 1102545 | 12777 208 | 318 | 623 1175.97/1176.42 c 1155s | 21 | 1304257 | 1104445 | 12777 208 | 318 | 623 1177.97/1178.48 c 1157s | 21 | 1306257 | 1106145 | 12777 208 | 318 | 623 1179.98/1180.49 c 1159s | 21 | 1307961 | 1107645 | 12777 208 | 318 | 623 1181.97/1182.50 c 1161s | 21 | 1309850 | 1109345 | 12777 209 | 318 | 623 1184.07/1184.56 c 1163s | 21 | 1311971 | 1111145 | 12777 209 | 318 | 623 1186.17/1186.65 c 1165s | 21 | 1313786 | 1112745 | 12777 209 | 318 | 623 1188.27/1188.76 c 1167s | 21 | 1315825 | 1114445 | 12777 210 | 318 | 623 1190.37/1190.81 c 1169s | 21 | 1318135 | 1116445 | 12777 210 | 318 | 623 1192.47/1192.91 c 1171s | 21 | 1320104 | 1118145 | 12777 210 | 318 | 623 1194.57/1195.01 c 1173s | 21 | 1321913 | 1119745 | 12777 210 | 318 | 623 1196.57/1197.04 c 1175s | 21 | 1323501 | 1121145 | 12777 211 | 318 | 623 1198.67/1199.15 c 1177s | 21 | 1325752 | 1123045 | 12777 211 | 318 | 623 1200.77/1201.21 c 1180s | 21 | 1327792 | 1124845 | 12777 211 | 318 | 623 1202.76/1203.27 c 1182s | 21 | 1329590 | 1126345 | 12777 211 | 318 | 623 1204.76/1205.28 c 1184s | 21 | 1331209 | 1127745 | 12777 212 | 318 | 623 1206.76/1207.29 c 1186s | 21 | 1333394 | 1129545 | 12777 212 | 318 | 623 1208.86/1209.32 c 1188s | 21 | 1335040 | 1131045 | 12777 212 | 318 | 623 1210.96/1211.41 c 1190s | 21 | 1336862 | 1132545 | 12777 212 | 318 | 623 1213.06/1213.55 c 1192s | 21 | 1338762 | 1134145 | 12777 212 | 318 | 623 1215.17/1215.61 c 1194s | 21 | 1340687 | 1135845 | 12777 213 | 318 | 623 1217.16/1217.62 c 1196s | 21 | 1342549 | 1137445 | 12777 213 | 318 | 623 1219.16/1219.63 c 1198s | 21 | 1344431 | 1139045 | 12777 213 | 318 | 623 1221.26/1221.76 c 1200s | 21 | 1346186 | 1140545 | 12777 213 | 318 | 623 1223.36/1223.87 c 1202s | 21 | 1348082 | 1142145 | 12777 214 | 318 | 623 1225.46/1226.00 c 1204s | 21 | 1350010 | 1143845 | 12777 214 | 318 | 623 1227.56/1228.03 c 1206s | 21 | 1351856 | 1145445 | 12777 214 | 318 | 623 1229.66/1230.10 c 1208s | 21 | 1353663 | 1146945 | 12777 214 | 318 | 623 1231.76/1232.22 c 1211s | 21 | 1355526 | 1148545 | 12777 215 | 318 | 623 1233.76/1234.22 c 1213s | 21 | 1357749 | 1150445 | 12777 215 | 318 | 623 1235.86/1236.31 c 1215s | 21 | 1359977 | 1152345 | 12777 215 | 318 | 623 1237.86/1238.35 c 1217s | 21 | 1361948 | 1154045 | 12777 215 | 318 | 623 1239.86/1240.38 c 1219s | 21 | 1363816 | 1155745 | 12777 216 | 318 | 623 1241.86/1242.39 c 1221s | 21 | 1365893 | 1157545 | 12777 216 | 318 | 623 1243.96/1244.41 c 1223s | 21 | 1367903 | 1159245 | 12777 216 | 318 | 623 1245.96/1246.47 c 1225s | 21 | 1369766 | 1160845 | 12777 216 | 318 | 623 1248.06/1248.54 c 1227s | 21 | 1371850 | 1162645 | 12777 217 | 318 | 623 1250.16/1250.61 c 1229s | 21 | 1373995 | 1164445 | 12777 217 | 318 | 623 1252.25/1252.71 c 1231s | 21 | 1375989 | 1166145 | 12777 217 | 318 | 623 1254.25/1254.74 c 1233s | 21 | 1377548 | 1167545 | 12777 217 | 318 | 623 1256.25/1256.79 c 1235s | 21 | 1379609 | 1169345 | 12777 218 | 318 | 623 1258.35/1258.84 c 1237s | 21 | 1382152 | 1171345 | 12777 218 | 318 | 623 1260.35/1260.85 c 1239s | 21 | 1384674 | 1173245 | 12777 218 | 318 | 623 1262.46/1262.96 c 1241s | 21 | 1386947 | 1175045 | 12777 219 | 318 | 623 1264.45/1264.98 c 1243s | 21 | 1388825 | 1176645 | 12777 219 | 318 | 623 1266.55/1267.09 c 1245s | 21 | 1390805 | 1178345 | 12777 219 | 318 | 623 1268.65/1269.12 c 1247s | 21 | 1392691 | 1180045 | 12777 219 | 318 | 623 1270.75/1271.23 c 1250s | 21 | 1394406 | 1181545 | 12777 220 | 318 | 623 1272.85/1273.36 c 1252s | 21 | 1396435 | 1183345 | 12777 220 | 318 | 623 1274.95/1275.48 c 1254s | 21 | 1398200 | 1184945 | 12777 220 | 318 | 623 1277.05/1277.57 c 1256s | 21 | 1400108 | 1186545 | 12777 220 | 318 | 623 1279.15/1279.60 c 1258s | 21 | 1402063 | 1188145 | 12777 221 | 318 | 623 1281.16/1281.62 c 1260s | 21 | 1404197 | 1189945 | 12777 221 | 318 | 623 1283.25/1283.72 c 1262s | 21 | 1405963 | 1191545 | 12777 221 | 318 | 623 1285.35/1285.83 c 1264s | 21 | 1407663 | 1193045 | 12777 221 | 318 | 623 1287.45/1287.94 c 1266s | 21 | 1409198 | 1194445 | 12777 222 | 318 | 623 1289.55/1290.00 c 1268s | 21 | 1411123 | 1196145 | 12777 222 | 318 | 623 1291.55/1292.04 c 1270s | 21 | 1412879 | 1197745 | 12777 222 | 318 | 623 1293.55/1294.09 c 1272s | 21 | 1414951 | 1199545 | 12777 222 | 318 | 623 1295.65/1296.15 c 1274s | 21 | 1416885 | 1201245 | 12777 223 | 318 | 623 1297.65/1298.17 c 1277s | 21 | 1419087 | 1203145 | 12777 223 | 318 | 623 1299.75/1300.23 c 1279s | 21 | 1421258 | 1204945 | 12777 223 | 318 | 623 1301.85/1302.32 c 1281s | 21 | 1423468 | 1206845 | 12777 223 | 318 | 623 1303.85/1304.34 c 1283s | 21 | 1425508 | 1208645 | 12777 224 | 318 | 623 1305.85/1306.38 c 1285s | 21 | 1427559 | 1210445 | 12777 224 | 318 | 623 1307.95/1308.42 c 1287s | 21 | 1429553 | 1212145 | 12777 224 | 318 | 623 1309.94/1310.48 c 1289s | 21 | 1431386 | 1213745 | 12777 224 | 318 | 623 1311.95/1312.49 c 1291s | 21 | 1433384 | 1215445 | 12777 225 | 318 | 623 1314.15/1314.62 c 1293s | 21 | 1435465 | 1217245 | 12777 225 | 318 | 623 1316.14/1316.70 c 1295s | 21 | 1437144 | 1218745 | 12777 225 | 318 | 623 1318.24/1318.73 c 1297s | 21 | 1439002 | 1220345 | 12777 225 | 318 | 623 1320.34/1320.81 c 1299s | 21 | 1440987 | 1222045 | 12777 226 | 318 | 623 1322.34/1322.82 c 1301s | 21 | 1442944 | 1223745 | 12777 226 | 318 | 623 1324.44/1324.91 c 1303s | 21 | 1444851 | 1225345 | 12777 226 | 318 | 623 1326.54/1327.01 c 1305s | 21 | 1446558 | 1226745 | 12777 226 | 318 | 623 1328.54/1329.08 c 1307s | 21 | 1448137 | 1228145 | 12777 227 | 318 | 623 1330.65/1331.12 c 1309s | 21 | 1450140 | 1229845 | 12777 227 | 318 | 623 1332.75/1333.20 c 1312s | 21 | 1451698 | 1231245 | 12777 227 | 318 | 623 1334.84/1335.30 c 1314s | 21 | 1453320 | 1232645 | 12777 227 | 318 | 623 1336.94/1337.43 c 1316s | 21 | 1454752 | 1233945 | 12777 227 | 318 | 623 1338.94/1339.47 c 1318s | 21 | 1456453 | 1235445 | 12777 228 | 318 | 623 1341.04/1341.51 c 1320s | 21 | 1458405 | 1237045 | 12777 228 | 318 | 623 1343.14/1343.60 c 1322s | 21 | 1460201 | 1238645 | 12777 228 | 318 | 623 1345.24/1345.74 c 1324s | 21 | 1462080 | 1240245 | 12777 228 | 318 | 623 1347.34/1347.83 c 1326s | 21 | 1463879 | 1241845 | 12777 229 | 318 | 623 1349.44/1349.91 c 1328s | 21 | 1466055 | 1243645 | 12777 229 | 318 | 623 1351.44/1351.98 c 1330s | 21 | 1468295 | 1245445 | 12777 229 | 318 | 623 1353.54/1354.07 c 1332s | 21 | 1470271 | 1247145 | 12777 229 | 318 | 623 1355.54/1356.09 c 1334s | 21 | 1472827 | 1249145 | 12777 230 | 318 | 623 1357.64/1358.17 c 1337s | 21 | 1475311 | 1251145 | 12777 230 | 318 | 623 1359.74/1360.27 c 1339s | 21 | 1477537 | 1253045 | 12777 230 | 318 | 623 1361.84/1362.32 c 1341s | 21 | 1479322 | 1254645 | 12777 231 | 318 | 623 1363.84/1364.39 c 1343s | 21 | 1481351 | 1256445 | 12777 231 | 318 | 623 1365.94/1366.47 c 1345s | 21 | 1483330 | 1258145 | 12777 231 | 318 | 623 1368.14/1368.60 c 1347s | 21 | 1485328 | 1259845 | 12777 231 | 318 | 623 1370.14/1370.66 c 1349s | 21 | 1487466 | 1261545 | 12777 232 | 318 | 623 1372.23/1372.70 c 1351s | 21 | 1489630 | 1263345 | 12777 232 | 318 | 623 1374.23/1374.75 c 1353s | 21 | 1491488 | 1264945 | 12777 232 | 318 | 623 1376.33/1376.82 c 1355s | 21 | 1493391 | 1266545 | 12777 232 | 318 | 623 1378.43/1378.90 c 1357s | 21 | 1495138 | 1268045 | 12777 233 | 318 | 623 1380.43/1380.95 c 1359s | 21 | 1497473 | 1269945 | 12777 233 | 318 | 623 1382.53/1383.00 c 1361s | 21 | 1499637 | 1271745 | 12777 233 | 318 | 623 1384.54/1385.08 c 1363s | 21 | 1501675 | 1273445 | 12777 233 | 318 | 623 1386.64/1387.17 c 1366s | 21 | 1503894 | 1275245 | 12777 234 | 318 | 623 1388.73/1389.20 c 1368s | 21 | 1505958 | 1277045 | 12777 234 | 318 | 623 1390.73/1391.25 c 1370s | 21 | 1508000 | 1278745 | 12777 234 | 318 | 623 1392.73/1393.26 c 1372s | 21 | 1509926 | 1280345 | 12777 234 | 318 | 623 1394.73/1395.29 c 1374s | 21 | 1511934 | 1282045 | 12777 235 | 318 | 623 1396.83/1397.33 c 1376s | 21 | 1513981 | 1283845 | 12777 235 | 318 | 623 1398.93/1399.41 c 1378s | 21 | 1515908 | 1285545 | 12777 235 | 318 | 623 1400.93/1401.42 c 1380s | 21 | 1517796 | 1287145 | 12777 235 | 318 | 623 1403.03/1403.50 c 1382s | 21 | 1519817 | 1288845 | 12777 236 | 318 | 623 1405.03/1405.54 c 1384s | 21 | 1522144 | 1290745 | 12777 236 | 318 | 623 1407.13/1407.63 c 1386s | 21 | 1524173 | 1292445 | 12777 236 | 318 | 623 1409.34/1409.81 c 1388s | 21 | 1526231 | 1294145 | 12777 237 | 318 | 623 1411.44/1411.91 c 1390s | 21 | 1528579 | 1296145 | 12777 237 | 318 | 623 1413.54/1414.00 c 1392s | 21 | 1530557 | 1297845 | 12777 237 | 318 | 623 1415.54/1416.09 c 1394s | 21 | 1532430 | 1299445 | 12777 237 | 318 | 623 1417.54/1418.09 c 1396s | 21 | 1534235 | 1300945 | 12777 238 | 318 | 623 1419.64/1420.12 c 1398s | 21 | 1536216 | 1302645 | 12777 238 | 318 | 623 1421.73/1422.23 c 1401s | 21 | 1538292 | 1304445 | 12777 238 | 318 | 623 1423.73/1424.26 c 1403s | 21 | 1540187 | 1306045 | 12777 238 | 318 | 623 1425.73/1426.27 c 1405s | 21 | 1541791 | 1307445 | 12777 239 | 318 | 623 1427.83/1428.38 c 1407s | 21 | 1543969 | 1309345 | 12777 239 | 318 | 623 1429.93/1430.43 c 1409s | 21 | 1545813 | 1310945 | 12777 239 | 318 | 623 1432.03/1432.53 c 1411s | 21 | 1547774 | 1312645 | 12777 239 | 318 | 623 1434.04/1434.57 c 1413s | 21 | 1549405 | 1314045 | 12777 240 | 318 | 623 1436.14/1436.61 c 1415s | 21 | 1551471 | 1315845 | 12777 240 | 318 | 623 1438.13/1438.68 c 1417s | 21 | 1553550 | 1317645 | 12777 240 | 318 | 623 1440.23/1440.74 c 1419s | 21 | 1555583 | 1319345 | 12777 240 | 318 | 623 1442.23/1442.78 c 1421s | 21 | 1557300 | 1320845 | 12777 241 | 318 | 623 1444.43/1444.91 c 1423s | 21 | 1559395 | 1322645 | 12777 241 | 318 | 623 1446.43/1446.95 c 1425s | 21 | 1561430 | 1324345 | 12777 241 | 318 | 623 1448.53/1449.00 c 1427s | 21 | 1563325 | 1325945 | 12777 241 | 318 | 623 1450.54/1451.07 c 1429s | 21 | 1565044 | 1327345 | 12777 242 | 318 | 623 1452.64/1453.16 c 1432s | 21 | 1567147 | 1329145 | 12777 242 | 318 | 623 1454.63/1455.18 c 1434s | 21 | 1569423 | 1330945 | 12777 242 | 318 | 623 1456.73/1457.27 c 1436s | 21 | 1571768 | 1332845 | 12777 242 | 318 | 623 1458.73/1459.29 c 1438s | 21 | 1573957 | 1334645 | 12777 243 | 318 | 623 1460.83/1461.37 c 1440s | 21 | 1576502 | 1336745 | 12777 243 | 318 | 623 1462.93/1463.42 c 1442s | 21 | 1578863 | 1338645 | 12777 243 | 318 | 623 1464.93/1465.45 c 1444s | 21 | 1580925 | 1340445 | 12777 243 | 318 | 623 1467.04/1467.53 c 1446s | 21 | 1583220 | 1342345 | 12777 244 | 318 | 623 1469.03/1469.57 c 1448s | 21 | 1585518 | 1344245 | 12777 244 | 318 | 623 1471.13/1471.63 c 1450s | 21 | 1587756 | 1346145 | 12777 244 | 318 | 623 1473.13/1473.68 c 1452s | 21 | 1589899 | 1347845 | 12777 245 | 318 | 623 1475.23/1475.72 c 1454s | 21 | 1592100 | 1349745 | 12777 245 | 318 | 623 1477.33/1477.80 c 1456s | 21 | 1594226 | 1351545 | 12777 245 | 318 | 623 1479.43/1479.90 c 1458s | 21 | 1596301 | 1353245 | 12777 245 | 318 | 623 1481.42/1481.93 c 1460s | 21 | 1598071 | 1354745 | 12777 246 | 318 | 623 1483.53/1484.03 c 1462s | 21 | 1600017 | 1356445 | 12777 246 | 318 | 623 1485.52/1486.05 c 1464s | 21 | 1601994 | 1358045 | 12777 246 | 318 | 623 1487.52/1488.09 c 1466s | 21 | 1603732 | 1359545 | 12777 246 | 318 | 623 1489.62/1490.17 c 1469s | 21 | 1605213 | 1360845 | 12777 247 | 318 | 623 1491.62/1492.18 c 1471s | 21 | 1607363 | 1362645 | 12777 247 | 318 | 623 1493.82/1494.32 c 1473s | 21 | 1609423 | 1364345 | 12777 247 | 318 | 623 1495.82/1496.35 c 1475s | 21 | 1611184 | 1365845 | 12777 247 | 318 | 623 1497.92/1498.41 c 1477s | 21 | 1612979 | 1367345 | 12777 248 | 318 | 623 1499.93/1500.48 c 1479s | 21 | 1614988 | 1369045 | 12777 248 | 318 | 623 1502.13/1502.62 c 1481s | 21 | 1617055 | 1370745 | 12777 248 | 318 | 623 1504.22/1504.70 c 1483s | 21 | 1618956 | 1372345 | 12777 248 | 318 | 623 1506.22/1506.70 c 1485s | 21 | 1620746 | 1373845 | 12777 248 | 318 | 623 1508.22/1508.74 c 1487s | 21 | 1622627 | 1375445 | 12777 249 | 318 | 623 1510.22/1510.76 c 1489s | 21 | 1624498 | 1377045 | 12777 249 | 318 | 623 1512.22/1512.77 c 1491s | 21 | 1626170 | 1378545 | 12777 249 | 318 | 623 1514.33/1514.83 c 1493s | 21 | 1627850 | 1380045 | 12777 249 | 318 | 623 1516.32/1516.90 c 1495s | 21 | 1629531 | 1381545 | 12777 250 | 318 | 623 1518.42/1518.93 c 1497s | 21 | 1631386 | 1383145 | 12777 250 | 318 | 623 1520.52/1521.01 c 1499s | 21 | 1633412 | 1384845 | 12777 250 | 318 | 623 1522.52/1523.03 c 1501s | 21 | 1635461 | 1386545 | 12777 250 | 318 | 623 1524.52/1525.07 c 1503s | 21 | 1637575 | 1388345 | 12777 251 | 318 | 623 1526.62/1527.11 c 1505s | 21 | 1639813 | 1390245 | 12777 251 | 318 | 623 1528.62/1529.12 c 1507s | 21 | 1641805 | 1391945 | 12777 251 | 318 | 623 1530.62/1531.17 c 1510s | 21 | 1643677 | 1393545 | 12777 251 | 318 | 623 1532.72/1533.27 c 1512s | 21 | 1645664 | 1395245 | 12777 252 | 318 | 623 1534.82/1535.30 c 1514s | 21 | 1647598 | 1396945 | 12777 252 | 318 | 623 1536.82/1537.36 c 1516s | 21 | 1649594 | 1398645 | 12777 252 | 318 | 623 1538.92/1539.47 c 1518s | 21 | 1651657 | 1400445 | 12777 252 | 318 | 623 1541.01/1541.56 c 1520s | 21 | 1653873 | 1402345 | 12777 253 | 318 | 623 1543.01/1543.57 c 1522s | 21 | 1656133 | 1404245 | 12777 253 | 318 | 623 1545.12/1545.62 c 1524s | 21 | 1658205 | 1406045 | 12777 253 | 318 | 623 1547.11/1547.65 c 1526s | 21 | 1659819 | 1407445 | 12777 254 | 318 | 623 1549.21/1549.76 c 1528s | 21 | 1662022 | 1409345 | 12777 254 | 318 | 623 1551.31/1551.85 c 1530s | 21 | 1664072 | 1411145 | 12777 254 | 318 | 623 1553.41/1553.94 c 1532s | 21 | 1666202 | 1412945 | 12777 254 | 318 | 623 1555.41/1555.96 c 1534s | 21 | 1668046 | 1414545 | 12777 255 | 318 | 623 1557.51/1558.00 c 1536s | 21 | 1670353 | 1416445 | 12777 255 | 318 | 623 1559.51/1560.07 c 1538s | 21 | 1672521 | 1418245 | 12777 255 | 318 | 623 1561.71/1562.20 c 1541s | 21 | 1674490 | 1419945 | 12777 255 | 318 | 623 1563.72/1564.29 c 1543s | 21 | 1676349 | 1421545 | 12777 256 | 318 | 623 1565.81/1566.31 c 1545s | 21 | 1678783 | 1423445 | 12777 256 | 318 | 623 1567.81/1568.39 c 1547s | 21 | 1680857 | 1425245 | 12777 256 | 318 | 623 1570.01/1570.51 c 1549s | 21 | 1683010 | 1427045 | 12777 256 | 318 | 623 1572.01/1572.55 c 1551s | 21 | 1685120 | 1428845 | 12777 257 | 318 | 623 1574.11/1574.61 c 1553s | 21 | 1687121 | 1430645 | 12777 257 | 318 | 623 1576.21/1576.71 c 1555s | 21 | 1689018 | 1432345 | 12777 257 | 318 | 623 1578.21/1578.80 c 1557s | 21 | 1690859 | 1433945 | 12777 258 | 318 | 623 1580.31/1580.86 c 1559s | 21 | 1693219 | 1435845 | 12777 258 | 318 | 623 1582.31/1582.87 c 1561s | 21 | 1695413 | 1437645 | 12777 258 | 318 | 623 1584.41/1584.96 c 1563s | 21 | 1697366 | 1439345 | 12777 258 | 318 | 623 1586.51/1587.04 c 1565s | 21 | 1699340 | 1441045 | 12777 259 | 318 | 623 1588.51/1589.04 c 1567s | 21 | 1701295 | 1442745 | 12777 259 | 318 | 623 1590.51/1591.08 c 1569s | 21 | 1703260 | 1444445 | 12777 259 | 318 | 623 1592.60/1593.18 c 1572s | 21 | 1705155 | 1446045 | 12777 259 | 318 | 623 1594.70/1595.27 c 1574s | 21 | 1706759 | 1447445 | 12777 260 | 318 | 623 1596.81/1597.33 c 1576s | 21 | 1708893 | 1449345 | 12777 260 | 318 | 623 1598.91/1599.41 c 1578s | 21 | 1710824 | 1451045 | 12777 260 | 318 | 623 1601.00/1601.55 c 1580s | 21 | 1712595 | 1452645 | 12777 260 | 318 | 623 1603.00/1603.58 c 1582s | 21 | 1714501 | 1454245 | 12777 261 | 318 | 623 1605.20/1605.70 c 1584s | 21 | 1716613 | 1456045 | 12777 261 | 318 | 623 1607.20/1607.78 c 1586s | 21 | 1718778 | 1457845 | 12777 261 | 318 | 623 1609.30/1609.87 c 1588s | 21 | 1721009 | 1459645 | 14055 261 | 318 | 623 1611.30/1611.89 c 1590s | 21 | 1722562 | 1461045 | 14055 261 | 318 | 623 1613.40/1613.99 c 1592s | 21 | 1724073 | 1462445 | 14055 262 | 318 | 623 1615.51/1616.04 c 1594s | 21 | 1725806 | 1464045 | 14055 262 | 318 | 623 1617.50/1618.08 c 1596s | 21 | 1727465 | 1465545 | 14055 262 | 318 | 623 1619.60/1620.19 c 1599s | 21 | 1729458 | 1467245 | 14055 262 | 318 | 623 1621.70/1622.27 c 1601s | 21 | 1731141 | 1468745 | 14055 262 | 318 | 623 1623.80/1624.34 c 1603s | 21 | 1732969 | 1470345 | 14055 263 | 318 | 623 1625.80/1626.39 c 1605s | 21 | 1735049 | 1472145 | 14055 263 | 318 | 623 1627.90/1628.44 c 1607s | 21 | 1737084 | 1473845 | 14055 263 | 318 | 623 1630.00/1630.50 c 1609s | 21 | 1738828 | 1475345 | 14055 263 | 318 | 623 1632.00/1632.55 c 1611s | 21 | 1740388 | 1476645 | 14055 264 | 318 | 623 1634.10/1634.67 c 1613s | 21 | 1742673 | 1478545 | 14055 264 | 318 | 623 1636.20/1636.73 c 1615s | 21 | 1744379 | 1480045 | 14055 264 | 318 | 623 1638.20/1638.79 c 1617s | 21 | 1746257 | 1481645 | 14055 264 | 318 | 623 1640.19/1640.79 c 1619s | 21 | 1747727 | 1482945 | 14055 264 | 318 | 623 1642.29/1642.81 c 1621s | 21 | 1749295 | 1484345 | 14055 265 | 318 | 623 1644.29/1644.83 c 1623s | 21 | 1751294 | 1486045 | 14055 265 | 318 | 623 1646.39/1646.96 c 1625s | 21 | 1753246 | 1487745 | 14055 265 | 318 | 623 1648.50/1649.08 c 1627s | 21 | 1755104 | 1489345 | 14055 265 | 318 | 623 1650.60/1651.17 c 1630s | 21 | 1756658 | 1490745 | 14055 265 | 318 | 623 1652.69/1653.23 c 1632s | 21 | 1758555 | 1492345 | 14055 266 | 318 | 623 1654.69/1655.28 c 1634s | 21 | 1760900 | 1494245 | 14055 266 | 318 | 623 1656.79/1657.39 c 1636s | 21 | 1763134 | 1496045 | 14055 266 | 318 | 623 1658.99/1659.52 c 1638s | 21 | 1764861 | 1497545 | 14055 266 | 318 | 623 1660.99/1661.54 c 1640s | 21 | 1766676 | 1499045 | 14055 267 | 318 | 623 1662.99/1663.55 c 1642s | 22 | 1768520 | 1500622 | 14055 267 | 318 | 623 1665.09/1665.67 c 1644s | 22 | 1770815 | 1502522 | 14055 267 | 318 | 623 1667.20/1667.72 c 1646s | 22 | 1772920 | 1504322 | 14055 267 | 318 | 623 1669.19/1669.72 c 1648s | 22 | 1775122 | 1506122 | 14055 268 | 318 | 623 1671.19/1671.73 c 1650s | 22 | 1777328 | 1508022 | 14055 268 | 318 | 623 1673.29/1673.82 c 1652s | 22 | 1779264 | 1509722 | 14055 268 | 318 | 623 1675.39/1675.91 c 1654s | 22 | 1781709 | 1511622 | 14055 268 | 318 | 623 1677.49/1678.02 c 1656s | 22 | 1783598 | 1513222 | 14055 269 | 318 | 623 1679.49/1680.07 c 1658s | 22 | 1785889 | 1515122 | 14055 269 | 318 | 623 1681.59/1682.11 c 1660s | 22 | 1787674 | 1516722 | 14055 269 | 318 | 623 1683.69/1684.21 c 1663s | 22 | 1789624 | 1518422 | 14055 269 | 318 | 623 1685.69/1686.25 c 1665s | 22 | 1791311 | 1519922 | 14055 269 | 318 | 623 1687.79/1688.30 c 1667s | 22 | 1793303 | 1521722 | 14055 270 | 318 | 623 1689.79/1690.36 c 1669s | 22 | 1795189 | 1523422 | 14055 270 | 318 | 623 1691.88/1692.48 c 1671s | 22 | 1797308 | 1525222 | 14055 270 | 318 | 623 1693.98/1694.54 c 1673s | 22 | 1799153 | 1526822 | 14055 270 | 318 | 623 1695.98/1696.58 c 1675s | 22 | 1800936 | 1528422 | 14055 271 | 318 | 623 1697.99/1698.58 c 1677s | 22 | 1802965 | 1530222 | 14055 271 | 318 | 623 1700.09/1700.69 c 1679s | 22 | 1804990 | 1531922 | 14055 271 | 318 | 623 1702.29/1702.82 c 1681s | 22 | 1806688 | 1533422 | 14055 271 | 318 | 623 1704.28/1704.85 c 1683s | 22 | 1808989 | 1535222 | 14055 272 | 318 | 623 1706.28/1706.86 c 1685s | 22 | 1811010 | 1537022 | 14055 272 | 318 | 623 1708.38/1708.92 c 1687s | 22 | 1812999 | 1538722 | 14055 272 | 318 | 623 1710.48/1711.01 c 1689s | 22 | 1815001 | 1540422 | 14055 272 | 318 | 623 1712.48/1713.05 c 1691s | 22 | 1816943 | 1542022 | 14055 272 | 318 | 623 1714.49/1715.08 c 1693s | 22 | 1818982 | 1543722 | 14055 273 | 318 | 623 1716.59/1717.14 c 1695s | 22 | 1821311 | 1545722 | 14055 273 | 318 | 623 1718.58/1719.17 c 1698s | 22 | 1823214 | 1547322 | 14055 273 | 318 | 623 1720.68/1721.22 c 1700s | 22 | 1824925 | 1548822 | 14055 273 | 318 | 623 1722.78/1723.33 c 1702s | 22 | 1826648 | 1550322 | 14055 274 | 318 | 623 1724.78/1725.35 c 1704s | 22 | 1828560 | 1552022 | 14055 274 | 318 | 623 1726.88/1727.45 c 1706s | 22 | 1830508 | 1553722 | 14055 274 | 318 | 623 1728.88/1729.48 c 1708s | 22 | 1832476 | 1555322 | 14055 274 | 318 | 623 1730.99/1731.58 c 1710s | 22 | 1834044 | 1556722 | 14055 274 | 318 | 623 1733.09/1733.64 c 1712s | 22 | 1836041 | 1558422 | 14055 275 | 318 | 623 1735.09/1735.65 c 1714s | 22 | 1837991 | 1560122 | 14055 275 | 318 | 623 1737.19/1737.77 c 1716s | 22 | 1839734 | 1561722 | 14055 275 | 318 | 623 1739.29/1739.82 c 1718s | 22 | 1841415 | 1563222 | 14055 275 | 318 | 623 1741.29/1741.89 c 1720s | 22 | 1843066 | 1564722 | 14055 276 | 318 | 623 1743.48/1744.00 c 1722s | 22 | 1845006 | 1566422 | 14055 276 | 318 | 623 1745.48/1746.09 c 1724s | 22 | 1846922 | 1568122 | 14055 276 | 318 | 623 1747.58/1748.10 c 1726s | 22 | 1848994 | 1569822 | 14055 276 | 318 | 623 1749.59/1750.19 c 1729s | 22 | 1850955 | 1571522 | 14055 277 | 318 | 623 1751.68/1752.25 c 1731s | 22 | 1853351 | 1573622 | 14055 277 | 318 | 623 1753.78/1754.30 c 1733s | 22 | 1855487 | 1575422 | 14055 277 | 318 | 623 1755.78/1756.32 c 1735s | 22 | 1857465 | 1577122 | 14055 277 | 318 | 623 1757.88/1758.41 c 1737s | 22 | 1859179 | 1578622 | 14055 277 | 318 | 623 1759.98/1760.52 c 1739s | 22 | 1861282 | 1580422 | 14055 278 | 318 | 623 1761.98/1762.58 c 1741s | 22 | 1863219 | 1582122 | 14055 278 | 318 | 623 1764.08/1764.63 c 1743s | 22 | 1865104 | 1583822 | 14055 278 | 318 | 623 1766.19/1766.72 c 1745s | 22 | 1867105 | 1585522 | 14055 278 | 318 | 623 1768.18/1768.80 c 1747s | 22 | 1869190 | 1587322 | 14055 279 | 318 | 623 1770.28/1770.90 c 1749s | 22 | 1871358 | 1589222 | 14055 279 | 318 | 623 1772.38/1772.92 c 1751s | 22 | 1873268 | 1590922 | 14055 279 | 318 | 623 1774.48/1775.04 c 1753s | 22 | 1875249 | 1592522 | 14055 279 | 318 | 623 1776.48/1777.09 c 1755s | 22 | 1877435 | 1594322 | 14055 280 | 318 | 623 1778.58/1779.12 c 1757s | 22 | 1879594 | 1596122 | 14055 280 | 318 | 623 1780.68/1781.21 c 1760s | 22 | 1881544 | 1597822 | 14055 280 | 318 | 623 1782.68/1783.29 c 1762s | 22 | 1883513 | 1599522 | 14055 280 | 318 | 623 1784.78/1785.38 c 1764s | 22 | 1885255 | 1601022 | 14055 281 | 318 | 623 1786.87/1787.44 c 1766s | 22 | 1887592 | 1602922 | 14055 281 | 318 | 623 1788.87/1789.46 c 1768s | 22 | 1889735 | 1604722 | 14055 281 | 318 | 623 1790.97/1791.54 c 1770s | 22 | 1891787 | 1606422 | 14055 281 | 318 | 623 1793.07/1793.62 c 1772s | 22 | 1893529 | 1607922 | 14055 282 | 318 | 623 1795.17/1795.71 c 1774s | 22 | 1896214 | 1610122 | 14055 282 | 318 | 623 1797.27/1797.81 c 1776s | 22 | 1898454 | 1612022 | 14055 282 | 318 | 623 1799.27/1799.82 c 1778s | 22 | 1900488 | 1613722 | 14055 282 | 318 | 623
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-4079555-1465229717/watcher-4079555-1465229717 -o /tmp/evaluation-result-4079555-1465229717/solver-4079555-1465229717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079555-1465229717.opb pid=964 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.30 2.29 2.21 2/179 967 /proc/meminfo: memFree=30246332/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=414140 CPUtime=0 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 1488 0 0 0 0 0 0 0 20 0 4 0 104905271 424079360 2360 33554432000 4194304 16246674 140737400999200 140737400998624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 104303 2370 441 2943 0 101197 0 [pid=967/tid=970] ppid=964 vsize=718268 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 735506432 3547 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=722364 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 739700736 3565 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104905272 745992192 3585 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.30 2.29 2.21 2/179 967 /proc/meminfo: memFree=30246332/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 23167 0 0 0 6 3 0 0 20 0 4 0 104905271 1249447936 23977 33554432000 4194304 16246674 140737400999200 140737400998512 6965369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 305041 23986 839 2943 0 301935 0 [pid=967/tid=970] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 23991 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 23997 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 24004 33554432000 4194304 16246674 140737400999200 140107258518704 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) 1220164 [startup+0.200459 s] /proc/loadavg: 2.30 2.29 2.21 2/179 967 /proc/meminfo: memFree=30246332/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 39750 0 0 0 13 6 0 0 20 0 4 0 104905271 1249447936 40561 33554432000 4194304 16246674 140737400999200 140737400998512 5532733 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 305041 40564 911 2943 0 301935 0 [pid=967/tid=970] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 40566 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 40567 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 40570 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.30034 s] /proc/loadavg: 2.30 2.29 2.21 2/179 967 /proc/meminfo: memFree=30246332/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 53130 0 0 0 22 7 0 0 20 0 4 0 104905271 1249447936 53940 33554432000 4194304 16246674 140737400999200 140737400998512 5864009 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 305041 53943 911 2943 0 301935 0 [pid=967/tid=970] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 53945 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 53946 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 53948 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700393 s] /proc/loadavg: 2.30 2.29 2.21 2/179 967 /proc/meminfo: memFree=30246332/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 122378 0 0 0 52 17 0 0 20 0 4 0 104905271 1249447936 123188 33554432000 4194304 16246674 140737400999200 140737400998512 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 305041 123193 911 2943 0 301935 0 [pid=967/tid=970] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 123196 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 123198 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104905272 1249447936 123203 33554432000 4194304 16246674 140737400999200 140107258518704 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) 1220164 [startup+1.50039 s] /proc/loadavg: 2.30 2.29 2.21 3/183 973 /proc/meminfo: memFree=28737960/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1299012 CPUtime=1.48 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 251199 0 0 0 115 33 0 0 20 0 4 0 104905271 1330188288 252009 33554432000 4194304 16246674 140737400999200 140737400998512 6843107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 324753 252015 914 2943 0 321647 0 [pid=967/tid=970] ppid=964 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1330188288 252020 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1330188288 252024 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1330188288 252030 33554432000 4194304 16246674 140737400999200 140107258518704 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) 1299012 [startup+3.10035 s] /proc/loadavg: 2.44 2.31 2.21 3/183 973 /proc/meminfo: memFree=28339548/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 267846 0 0 0 273 36 0 0 20 0 4 0 104905271 1338576896 268656 33554432000 4194304 16246674 140737400999200 140737400981120 5825483 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 326801 268656 914 2943 0 323695 0 [pid=967/tid=970] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268656 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268656 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268656 33554432000 4194304 16246674 140737400999200 140107258518704 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) 1307204 [startup+6.3003 s] /proc/loadavg: 2.44 2.31 2.21 3/176 1010 /proc/meminfo: memFree=29326400/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 268016 0 0 0 593 36 0 0 20 0 4 0 104905271 1338576896 268826 33554432000 4194304 16246674 140737400999200 140737400981120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 326801 268826 920 2943 0 323695 0 [pid=967/tid=970] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268826 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268826 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1338576896 268826 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.44 2.32 2.22 3/183 1024 /proc/meminfo: memFree=28187268/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1309252 CPUtime=12.69 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 268390 0 0 0 1233 36 0 0 20 0 4 0 104905271 1340674048 269200 33554432000 4194304 16246674 140737400999200 140737400981120 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 327313 269200 920 2943 0 324207 0 [pid=967/tid=970] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269200 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269200 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269200 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.53 2.34 2.22 3/183 1024 /proc/meminfo: memFree=28187160/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1309252 CPUtime=25.49 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 268528 0 0 0 2513 36 0 0 20 0 4 0 104905271 1340674048 269338 33554432000 4194304 16246674 140737400999200 140737400981120 5553712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 327313 269338 920 2943 0 324207 0 [pid=967/tid=970] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269338 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269338 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269338 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.35 2.31 2.22 3/183 1024 /proc/meminfo: memFree=28186524/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 268543 0 0 0 5072 36 0 0 20 0 4 0 104905271 1340674048 269342 33554432000 4194304 16246674 140737400999200 140737400981120 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 327313 269342 921 2943 0 324207 0 [pid=967/tid=970] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269342 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269342 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1340674048 269342 33554432000 4194304 16246674 140737400999200 140107258518704 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) 1309252 [startup+102.3 s] /proc/loadavg: 2.43 2.33 2.23 3/183 1025 /proc/meminfo: memFree=28183252/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1312324 CPUtime=102.26 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 269345 0 0 0 10189 37 0 0 20 0 4 0 104905271 1343819776 270110 33554432000 4194304 16246674 140737400999200 140737400981120 5600392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 328081 270110 921 2943 0 324975 0 [pid=967/tid=970] ppid=964 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1343819776 270110 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1343819776 270110 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1343819776 270110 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1325636 [startup+1302.3 s] /proc/loadavg: 2.27 2.25 2.20 3/183 1055 /proc/meminfo: memFree=28132004/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1301.85 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 130143 42 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 5676316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.14 2.21 2.18 3/183 1056 /proc/meminfo: memFree=28131900/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1361.84 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 136142 42 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400982200 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1325636 [startup+1422.3 s] /proc/loadavg: 2.16 2.20 2.18 4/183 1057 /proc/meminfo: memFree=28131876/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1421.84 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 142141 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400982200 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1325636 [startup+1482.3 s] /proc/loadavg: 2.11 2.18 2.17 4/183 1059 /proc/meminfo: memFree=28132212/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1481.82 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 148139 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1325636 [startup+1542.31 s] /proc/loadavg: 2.08 2.16 2.17 4/184 1063 /proc/meminfo: memFree=28132132/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1541.82 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 154139 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1325636 [startup+1602.3 s] /proc/loadavg: 2.21 2.17 2.17 3/183 1064 /proc/meminfo: memFree=28132316/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1601.8 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 160137 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1325636 [startup+1662.3 s] /proc/loadavg: 2.13 2.15 2.17 3/183 1065 /proc/meminfo: memFree=28132196/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1661.79 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 166136 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 5717188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1325636 [startup+1722.3 s] /proc/loadavg: 2.29 2.20 2.18 3/182 1067 /proc/meminfo: memFree=28133068/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1721.78 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 172135 43 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1325636 [startup+1782.3 s] /proc/loadavg: 2.25 2.20 2.18 3/183 1071 /proc/meminfo: memFree=28132136/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1781.78 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 178134 44 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 5677899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1325636 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.18 2.19 2.18 3/183 1071 /proc/meminfo: memFree=28132140/32872528 swapFree=16080/1655368 [pid=967] ppid=964 vsize=1325636 CPUtime=1800.07 cores=0,2,4,6 /proc/967/stat : 967 (toysat) R 964 967 32454 0 -1 4202496 273072 0 0 0 179963 44 0 0 20 0 4 0 104905271 1357451264 273439 33554432000 4194304 16246674 140737400999200 140737400981120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/967/statm: 331409 273439 922 2943 0 328303 0 [pid=967/tid=970] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/970/stat : 970 (toysat) S 964 967 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107354975472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=967/tid=971] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/971/stat : 971 (toysat) S 964 967 32454 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107268992240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=967/tid=972] ppid=964 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/967/task/972/stat : 972 (toysat) S 964 967 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 104905272 1357451264 273439 33554432000 4194304 16246674 140737400999200 140107258518704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1325636 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 967 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.64 CPU system time (s): 0.444932 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1325636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.444932 maximum resident set size= 1093756 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273072 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= 461 involuntary context switches= 1956 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42333 second user time and 7.10592 second system time The end
Begin job on node122 at 2016-06-06 18:15:17 IDJOB=4079555 IDBENCH=2010 IDSOLVER=2542 FILE ID=node122/4079555-1465229717 RUNJOBID= node122-1465218907-32470 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079555-1465229717/watcher-4079555-1465229717 -o /tmp/evaluation-result-4079555-1465229717/solver-4079555-1465229717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32470 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079555-1465229717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED=1293941800 node122.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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.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.898 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.898 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.54 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.898 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.898 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.898 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.898 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30259896 kB Buffers: 24940 kB Cached: 97500 kB SwapCached: 860 kB Active: 208124 kB Inactive: 46516 kB Active(anon): 132896 kB Inactive(anon): 1584 kB Active(file): 75228 kB Inactive(file): 44932 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 33092 kB Writeback: 0 kB AnonPages: 1857144 kB Mapped: 10104 kB Shmem: 0 kB Slab: 568156 kB SReclaimable: 12044 kB SUnreclaim: 556112 kB KernelStack: 1544 kB PageTables: 9540 kB NFS_Unstable: 8 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2784408 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1714176 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= 71708 MiB End job on node122 at 2016-06-06 18:45:18