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.05 | 1800.51 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir05_trarea_ac.opb |
| MD5SUM | 3bc65171ee2bdd2ee7a63cc75f29f375 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 49818 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 1152 |
| Total number of constraints | 1774 |
| Number of constraints which are clauses | 1774 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 39 |
| Number of terms in the objective function | 661 |
| Biggest coefficient in the objective function | 2133 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 1049330 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 2133 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 1049330 |
| Number of bits of the biggest sum of numbers | 21 |
| 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-07T00:53:11+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079104-1465253591.opb"] 0.00/0.01 c use --random-gen="1052577662 296291660 3568825323 194296080 2029871731 335987201 206154639 1329319738 4092618709 3430765939 1857987329 985549406 1483226901 808773572 3362427272 3560432490 216401758 668003492 646496037 3750058393 675104770 2344408799 2299648963 4034769943 1923899713 740113794 2744967933 862899274 3185540671 564081529 2528441725 817591617 4246650088 230079500 3882364821 1024180451 3845901845 1418007619 474784709 4150230015 3477458988 1247337667 4077223879 1159911933 2795174671 4017921631 1447923081 364142712 1987527556 1639739181 2217790377 1569435073 2882018811 1057725614 414126554 2047545399 3262704760 930278759 2126999175 3312186815 3725730561 1163179060 95799622 3463525807 2785014180 2509993636 3956644478 2528473833 2291772163 2547724963 2304204273 210000117 994090068 2790663504 3758089871 2038161744 3296398457 1190595367 2740131857 2257735030 1640827255 4061991621 4081611831 2694913833 3772363430 2158498303 2554982830 314448467 2806374851 828485572 1341754821 2052701363 2853041783 1907537761 3078662749 262656688 3319769497 4023909658 4261240000 1868906066 1613825847 3049352724 2610231716 1901913831 618908355 3884380048 1662499782 1227153926 1626063098 2548001096 4026582796 708433882 2178983337 3884629213 4149507551 1052164665 3808947181 892109523 1738589326 3049405547 1139469642 1451981663 2290831305 640842817 1769891648 2367315084 3446140666 1950734336 1392446690 2939702955 1530186506 642515546 2027155802 1083134230 1317256208 3275083826 4069775119 2391540174 2999347117 4148486746 3634730685 4030327560 3634331366 4043454851 2324192803 558253387 3931792802 2883349641 3654569476 326731421 2201210205 538739973 639685914 1456322698 1419181230 284468067 4037875561 100713030 3286708350 287144679 795958468 165744061 1653234381 2221322327 3391108583 1610498379 3302564206 2058545510 3179143289 3633944153 954893824 4191448084 4096114932 1839486617 3971310196 855466638 2462733 3779695624 4166059543 334559433 2949173989 2018326426 3814361644 4160626962 970544393 1005608863 1789829802 2151304651 348040497 2261363462 2672763548 3064533384 2716939687 3786411591 2674569488 3291511192 2823714724 4193369688 2021803895 1012525585 3981949162 91920052 609048703 3409706612 1647332880 4239429393 4293840622 1432254637 3455632972 1865138442 2014084131 2682533082 3514487238 3857311538 3967081400 2586880230 4197796509 3483396600 3331432583 3047097874 1010643659 1321679437 456772900 2733579170 1308190693 1977201483 3941009919 2855661468 1439693128 3219001758 2166662034 1439961307 141650939 3295760168 226524080 1388857755 135595656 3677313085 1834534765 665709973 2429957525 3894704792 270232923 3173813735 3422926231 2482298643 524251633 441409050 3511563816 1366316718 3966886122 3146199818 2030326162 408021678 804366194 4265722090 255 362436" option to reproduce the execution 0.00/0.02 c #vars 1152 0.00/0.02 c #constraints 1774 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 0 0.00/0.05 c 0.0s | 0 | 695 | 0 | 973 0 | 5 | 0 0.00/0.05 c #cpu_time = 0.004s 0.00/0.05 c #wall_clock_time = 0.004s 0.00/0.05 c #decision = 695 0.00/0.05 c #random_decision = 1 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 o 1049330 0.00/0.07 c BCD2: refineUB: 1049329 -> 1048224 0.00/0.07 c BCD2: updating upper bound: 1049330 -> 1048224 0.00/0.07 c BCD2: 0 <= obj <= 1048224 0.00/0.07 c BCD2: #cores=0, #unrelaxed=661, #relaxed=0, #hardened=0 0.00/0.07 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 0 0.00/0.07 c 0.0s | 0 | 1 | 0 | 973 0 | 5 | 0 0.00/0.07 c #cpu_time = 0.002s 0.00/0.07 c #wall_clock_time = 0.002s 0.00/0.07 c #decision = 1 0.00/0.07 c #random_decision = 0 0.00/0.07 c #conflict = 0 0.00/0.07 c #restart = 0 0.00/0.07 c BCD2: found a new core of size 2: cost of the new core is >=1340 0.00/0.07 c lower bound updated to 1340 0.00/0.08 c BCD2: refineUB: 1049329 -> 1048224 0.00/0.08 c BCD2: 1340 <= obj <= 1048224 0.00/0.08 c BCD2: #cores=1, #unrelaxed=659, #relaxed=2, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 1 0.00/0.09 c 0.0s | 0 | 1 | 0 | 973 0 | 5 | 1 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 1 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 1: cost of the new core is >=1314 0.00/0.09 c lower bound updated to 2654 0.09/0.10 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.10 c BCD2: 2654 <= obj <= 1048224 0.09/0.10 c BCD2: #cores=2, #unrelaxed=658, #relaxed=3, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 1 0.09/0.11 c 0.0s | 0 | 2 | 0 | 973 0 | 5 | 1 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 2 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1531 0.09/0.11 c lower bound updated to 4185 0.09/0.11 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.11 c BCD2: 4185 <= obj <= 1048224 0.09/0.11 c BCD2: #cores=3, #unrelaxed=657, #relaxed=4, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 1 0.09/0.11 c 0.0s | 0 | 3 | 0 | 973 0 | 5 | 1 0.09/0.11 c #cpu_time = 0.001s 0.09/0.11 c #wall_clock_time = 0.001s 0.09/0.11 c #decision = 3 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 1: cost of the new core is >=1288 0.09/0.11 c lower bound updated to 5473 0.09/0.12 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.12 c BCD2: 5473 <= obj <= 1048224 0.09/0.12 c BCD2: #cores=4, #unrelaxed=656, #relaxed=5, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 1 0.09/0.12 c 0.0s | 0 | 10 | 0 | 973 0 | 5 | 1 0.09/0.12 c #cpu_time = 0.001s 0.09/0.12 c #wall_clock_time = 0.001s 0.09/0.12 c #decision = 10 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 7: cost of the new core is >=1340 0.09/0.12 c lower bound updated to 6813 0.09/0.13 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.13 c BCD2: 6813 <= obj <= 1048224 0.09/0.13 c BCD2: #cores=5, #unrelaxed=649, #relaxed=12, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 2 0.09/0.13 c 0.0s | 0 | 11 | 0 | 973 0 | 5 | 2 0.09/0.13 c #cpu_time = 0.001s 0.09/0.13 c #wall_clock_time = 0.001s 0.09/0.13 c #decision = 11 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 0 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: found a new core of size 7: cost of the new core is >=1366 0.09/0.13 c lower bound updated to 8179 0.09/0.14 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.14 c BCD2: 8179 <= obj <= 1048224 0.09/0.14 c BCD2: #cores=6, #unrelaxed=642, #relaxed=19, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 973 0 | 5 | 3 0.09/0.14 c 0.0s | 0 | 6 | 0 | 973 0 | 5 | 3 0.09/0.14 c #cpu_time = 0.001s 0.09/0.14 c #wall_clock_time = 0.001s 0.09/0.14 c #decision = 6 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 1: cost of the new core is >=1540 0.09/0.14 c lower bound updated to 9719 0.09/0.14 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.14 c BCD2: 9719 <= obj <= 1048224 0.09/0.14 c BCD2: #cores=7, #unrelaxed=641, #relaxed=20, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.15 c Solving starts ... 0.09/0.15 c ============================[ Search Statistics ]============================ 0.09/0.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.15 c | | | | Limit GC | Var | Constra 0.09/0.15 c ============================================================================= 0.09/0.15 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 3 0.09/0.15 c 0.0s | 0 | 7 | 0 | 973 0 | 5 | 3 0.09/0.15 c #cpu_time = 0.001s 0.09/0.15 c #wall_clock_time = 0.001s 0.09/0.15 c #decision = 7 0.09/0.15 c #random_decision = 0 0.09/0.15 c #conflict = 0 0.09/0.15 c #restart = 0 0.09/0.15 c BCD2: found a new core of size 1: cost of the new core is >=1262 0.09/0.15 c lower bound updated to 10981 0.09/0.16 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.16 c BCD2: 10981 <= obj <= 1048224 0.09/0.16 c BCD2: #cores=8, #unrelaxed=640, #relaxed=21, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 3 0.09/0.16 c 0.0s | 0 | 12 | 0 | 973 0 | 5 | 3 0.09/0.16 c #cpu_time = 0.001s 0.09/0.16 c #wall_clock_time = 0.001s 0.09/0.16 c #decision = 12 0.09/0.16 c #random_decision = 0 0.09/0.16 c #conflict = 0 0.09/0.16 c #restart = 0 0.09/0.16 c BCD2: found a new core of size 5: cost of the new core is >=1314 0.09/0.16 c lower bound updated to 12295 0.09/0.17 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.17 c BCD2: 12295 <= obj <= 1048224 0.09/0.17 c BCD2: #cores=9, #unrelaxed=635, #relaxed=26, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 4 0.09/0.18 c 0.0s | 0 | 10 | 0 | 973 0 | 5 | 4 0.09/0.18 c #cpu_time = 0.001s 0.09/0.18 c #wall_clock_time = 0.001s 0.09/0.18 c #decision = 10 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 2: cost of the new core is >=1340 0.09/0.18 c lower bound updated to 13635 0.09/0.19 c BCD2: refineUB: 1049329 -> 1048224 0.09/0.19 c BCD2: 13635 <= obj <= 1048224 0.09/0.19 c BCD2: #cores=10, #unrelaxed=633, #relaxed=28, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 973 0 | 5 | 5 0.09/0.19 c 0.0s | 0 | 14 | 0 | 973 0 | 5 | 5 0.09/0.19 c #cpu_time = 0.001s 0.09/0.19 c #wall_clock_time = 0.001s 0.09/0.19 c #decision = 14 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 >=1340 0.09/0.19 c lower bound updated to 14975 0.19/0.20 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.20 c BCD2: 14975 <= obj <= 1048224 0.19/0.20 c BCD2: #cores=11, #unrelaxed=628, #relaxed=33, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=12 bias=12/13 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 | 973 0 | 5 | 5 0.19/0.21 c 0.0s | 0 | 23 | 0 | 973 0 | 5 | 5 0.19/0.21 c #cpu_time = 0.001s 0.19/0.21 c #wall_clock_time = 0.001s 0.19/0.21 c #decision = 23 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 >=1410 0.19/0.21 c lower bound updated to 16385 0.19/0.22 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.22 c BCD2: 16385 <= obj <= 1048224 0.19/0.22 c BCD2: #cores=12, #unrelaxed=623, #relaxed=38, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=13 bias=13/14 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 | 973 0 | 5 | 5 0.19/0.22 c 0.0s | 0 | 26 | 0 | 973 0 | 5 | 5 0.19/0.22 c #cpu_time = 0.001s 0.19/0.22 c #wall_clock_time = 0.001s 0.19/0.22 c #decision = 26 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 >=1236 0.19/0.22 c lower bound updated to 17621 0.19/0.23 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.23 c BCD2: 17621 <= obj <= 1048224 0.19/0.23 c BCD2: #cores=13, #unrelaxed=618, #relaxed=43, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=14 bias=14/15 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.24 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 5 0.19/0.24 c 0.0s | 0 | 25 | 0 | 973 0 | 5 | 5 0.19/0.24 c #cpu_time = 0.001s 0.19/0.24 c #wall_clock_time = 0.001s 0.19/0.24 c #decision = 25 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 3: cost of the new core is >=1314 0.19/0.24 c lower bound updated to 18935 0.19/0.25 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.25 c BCD2: 18935 <= obj <= 1048224 0.19/0.25 c BCD2: #cores=14, #unrelaxed=615, #relaxed=46, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=15 bias=15/16 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 | 973 0 | 5 | 5 0.19/0.25 c 0.0s | 0 | 26 | 0 | 973 0 | 5 | 5 0.19/0.25 c #cpu_time = 0.001s 0.19/0.25 c #wall_clock_time = 0.001s 0.19/0.25 c #decision = 26 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 3: cost of the new core is >=1314 0.19/0.25 c lower bound updated to 20249 0.19/0.27 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.27 c BCD2: 20249 <= obj <= 1048224 0.19/0.27 c BCD2: #cores=15, #unrelaxed=612, #relaxed=49, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=16 bias=16/17 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 | 973 0 | 5 | 5 0.19/0.27 c 0.0s | 0 | 27 | 0 | 973 0 | 5 | 5 0.19/0.27 c #cpu_time = 0.001s 0.19/0.27 c #wall_clock_time = 0.001s 0.19/0.27 c #decision = 27 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 3: cost of the new core is >=1340 0.19/0.27 c lower bound updated to 21589 0.19/0.28 c BCD2: refineUB: 1049329 -> 1048224 0.19/0.28 c BCD2: 21589 <= obj <= 1048224 0.19/0.28 c BCD2: #cores=16, #unrelaxed=609, #relaxed=52, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=17 bias=17/18 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 | 973 0 | 5 | 5 0.19/0.28 c 0.0s | 0 | 65 | 0 | 973 0 | 5 | 5 0.19/0.28 c #cpu_time = 0.001s 0.19/0.28 c #wall_clock_time = 0.001s 0.19/0.28 c #decision = 65 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: found a new core of size 21: cost of the new core is >=1340 0.19/0.28 c lower bound updated to 22929 0.29/0.30 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.30 c BCD2: 22929 <= obj <= 1048224 0.29/0.30 c BCD2: #cores=17, #unrelaxed=588, #relaxed=73, #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 | 973 0 | 5 | 5 0.29/0.30 c 0.0s | 0 | 50 | 0 | 973 0 | 5 | 5 0.29/0.30 c #cpu_time = 0.001s 0.29/0.30 c #wall_clock_time = 0.001s 0.29/0.30 c #decision = 50 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 >=1340 0.29/0.30 c lower bound updated to 24269 0.29/0.32 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.32 c BCD2: 24269 <= obj <= 1048224 0.29/0.32 c BCD2: #cores=18, #unrelaxed=583, #relaxed=78, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=19 bias=19/20 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 | 973 0 | 5 | 5 0.29/0.32 c 0.0s | 0 | 54 | 0 | 973 0 | 5 | 5 0.29/0.32 c #cpu_time = 0.001s 0.29/0.32 c #wall_clock_time = 0.001s 0.29/0.32 c #decision = 54 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 3: cost of the new core is >=1618 0.29/0.32 c lower bound updated to 25887 0.29/0.33 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.33 c BCD2: 25887 <= obj <= 1048224 0.29/0.33 c BCD2: #cores=19, #unrelaxed=580, #relaxed=81, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 973 0 | 5 | 5 0.29/0.33 c 0.0s | 0 | 63 | 0 | 973 0 | 5 | 5 0.29/0.33 c #cpu_time = 0.002s 0.29/0.33 c #wall_clock_time = 0.002s 0.29/0.33 c #decision = 63 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 >=1442 0.29/0.33 c lower bound updated to 27329 0.29/0.35 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.35 c BCD2: 27329 <= obj <= 1048224 0.29/0.35 c BCD2: #cores=20, #unrelaxed=575, #relaxed=86, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 973 0 | 5 | 5 0.29/0.35 c 0.0s | 0 | 72 | 0 | 973 0 | 5 | 5 0.29/0.35 c #cpu_time = 0.002s 0.29/0.35 c #wall_clock_time = 0.002s 0.29/0.35 c #decision = 72 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 3: cost of the new core is >=1288 0.29/0.35 c lower bound updated to 28617 0.29/0.36 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.36 c BCD2: 28617 <= obj <= 1048224 0.29/0.36 c BCD2: #cores=21, #unrelaxed=572, #relaxed=89, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 973 0 | 5 | 5 0.29/0.37 c 0.0s | 0 | 87 | 0 | 973 0 | 5 | 5 0.29/0.37 c #cpu_time = 0.002s 0.29/0.37 c #wall_clock_time = 0.002s 0.29/0.37 c #decision = 87 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: found a new core of size 20: cost of the new core is >=1210 0.29/0.37 c lower bound updated to 29827 0.29/0.37 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.37 c BCD2: 29827 <= obj <= 1048224 0.29/0.37 c BCD2: #cores=22, #unrelaxed=552, #relaxed=109, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=23 bias=23/24 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 5 0.29/0.38 c 0.0s | 0 | 83 | 0 | 973 0 | 5 | 5 0.29/0.38 c #cpu_time = 0.001s 0.29/0.38 c #wall_clock_time = 0.001s 0.29/0.38 c #decision = 83 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 17: cost of the new core is >=1288 0.29/0.38 c lower bound updated to 31115 0.29/0.38 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.38 c BCD2: 31115 <= obj <= 1048224 0.29/0.38 c BCD2: #cores=23, #unrelaxed=535, #relaxed=126, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 973 0 | 5 | 5 0.29/0.38 c 0.0s | 0 | 70 | 0 | 973 0 | 5 | 5 0.29/0.38 c #cpu_time = 0.001s 0.29/0.38 c #wall_clock_time = 0.001s 0.29/0.38 c #decision = 70 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 3: cost of the new core is >=1314 0.29/0.38 c lower bound updated to 32429 0.29/0.39 c BCD2: refineUB: 1049329 -> 1048224 0.29/0.39 c BCD2: 32429 <= obj <= 1048224 0.29/0.39 c BCD2: #cores=24, #unrelaxed=532, #relaxed=129, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 973 0 | 5 | 5 0.29/0.39 c 0.0s | 0 | 108 | 0 | 973 0 | 5 | 5 0.29/0.39 c #cpu_time = 0.001s 0.29/0.39 c #wall_clock_time = 0.001s 0.29/0.39 c #decision = 108 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 13: cost of the new core is >=1398 0.29/0.39 c lower bound updated to 33827 0.39/0.40 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.40 c BCD2: 33827 <= obj <= 1048224 0.39/0.40 c BCD2: #cores=25, #unrelaxed=519, #relaxed=142, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=26 bias=26/27 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 | 973 0 | 5 | 5 0.39/0.40 c 0.0s | 0 | 121 | 0 | 973 0 | 5 | 5 0.39/0.40 c #cpu_time = 0.001s 0.39/0.40 c #wall_clock_time = 0.001s 0.39/0.40 c #decision = 121 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 23: cost of the new core is >=1340 0.39/0.40 c lower bound updated to 35167 0.39/0.41 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.41 c BCD2: 35167 <= obj <= 1048224 0.39/0.41 c BCD2: #cores=26, #unrelaxed=496, #relaxed=165, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=27 bias=27/28 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 | 973 0 | 5 | 5 0.39/0.41 c 0.0s | 0 | 121 | 0 | 973 0 | 5 | 5 0.39/0.41 c #cpu_time = 0.001s 0.39/0.41 c #wall_clock_time = 0.001s 0.39/0.41 c #decision = 121 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 5: cost of the new core is >=1184 0.39/0.41 c lower bound updated to 36351 0.39/0.42 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.42 c BCD2: 36351 <= obj <= 1048224 0.39/0.42 c BCD2: #cores=27, #unrelaxed=491, #relaxed=170, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 973 0 | 5 | 5 0.39/0.42 c 0.0s | 0 | 154 | 0 | 973 0 | 5 | 5 0.39/0.42 c #cpu_time = 0.002s 0.39/0.42 c #wall_clock_time = 0.002s 0.39/0.42 c #decision = 154 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: found a new core of size 25: cost of the new core is >=1314 0.39/0.42 c lower bound updated to 37665 0.39/0.43 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.43 c BCD2: 37665 <= obj <= 1048224 0.39/0.43 c BCD2: #cores=28, #unrelaxed=466, #relaxed=195, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=29 bias=29/30 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 973 0 | 5 | 5 0.39/0.43 c 0.0s | 0 | 145 | 0 | 973 0 | 5 | 5 0.39/0.43 c #cpu_time = 0.002s 0.39/0.43 c #wall_clock_time = 0.002s 0.39/0.43 c #decision = 145 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: found a new core of size 17: cost of the new core is >=1262 0.39/0.43 c lower bound updated to 38927 0.39/0.44 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.44 c BCD2: 38927 <= obj <= 1048224 0.39/0.44 c BCD2: #cores=29, #unrelaxed=449, #relaxed=212, #hardened=0 0.39/0.44 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 | 973 0 | 5 | 5 0.39/0.44 c 0.0s | 0 | 154 | 0 | 973 0 | 5 | 5 0.39/0.44 c #cpu_time = 0.002s 0.39/0.44 c #wall_clock_time = 0.002s 0.39/0.44 c #decision = 154 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 2: cost of the new core is >=1158 0.39/0.44 c lower bound updated to 40085 0.39/0.45 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.45 c BCD2: 40085 <= obj <= 1048224 0.39/0.45 c BCD2: #cores=30, #unrelaxed=447, #relaxed=214, #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 | 973 0 | 5 | 5 0.39/0.45 c 0.0s | 0 | 241 | 0 | 973 0 | 5 | 5 0.39/0.45 c #cpu_time = 0.002s 0.39/0.45 c #wall_clock_time = 0.002s 0.39/0.45 c #decision = 241 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: relaxing 117 and merging with 1 cores into a new core of size 119: cost of the new core is >=2420 0.39/0.45 c BCD2: refineLB: 2406 -> 2420 0.39/0.45 c lower bound updated to 41347 0.39/0.46 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.46 c BCD2: 41347 <= obj <= 1048224 0.39/0.46 c BCD2: #cores=30, #unrelaxed=330, #relaxed=331, #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 | 973 0 | 6 | 5 0.39/0.47 c 0.0s | 0 | 163 | 0 | 973 0 | 6 | 6 0.39/0.47 c #cpu_time = 0.002s 0.39/0.47 c #wall_clock_time = 0.002s 0.39/0.47 c #decision = 163 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 7: cost of the new core is >=1480 0.39/0.47 c lower bound updated to 42827 0.39/0.47 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.47 c BCD2: 42827 <= obj <= 1048224 0.39/0.47 c BCD2: #cores=31, #unrelaxed=323, #relaxed=338, #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 | 973 0 | 6 | 6 0.39/0.48 c 0.0s | 0 | 268 | 0 | 973 0 | 6 | 6 0.39/0.48 c #cpu_time = 0.002s 0.39/0.48 c #wall_clock_time = 0.002s 0.39/0.48 c #decision = 268 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 64: cost of the new core is >=1106 0.39/0.48 c lower bound updated to 43933 0.39/0.48 c BCD2: refineUB: 1049329 -> 1048224 0.39/0.48 c BCD2: 43933 <= obj <= 1048224 0.39/0.48 c BCD2: #cores=32, #unrelaxed=259, #relaxed=402, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=34 bias=34/35 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.49/0.50 c 0.0s | 0 | 0 | 0 | 973 0 | 6 | 6 0.49/0.50 c 0.0s | 0 | 244 | 0 | 973 0 | 6 | 6 0.49/0.50 c #cpu_time = 0.002s 0.49/0.50 c #wall_clock_time = 0.002s 0.49/0.50 c #decision = 244 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 46: cost of the new core is >=1236 0.49/0.50 c lower bound updated to 45169 0.49/0.51 c BCD2: refineUB: 1049329 -> 1048224 0.49/0.51 c BCD2: 45169 <= obj <= 1048224 0.49/0.51 c BCD2: #cores=33, #unrelaxed=213, #relaxed=448, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=35 bias=35/36 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 | 973 0 | 6 | 6 0.49/0.51 c 0.0s | 0 | 958 | 0 | 973 0 | 6 | 6 0.49/0.51 c #cpu_time = 0.003s 0.49/0.51 c #wall_clock_time = 0.003s 0.49/0.51 c #decision = 958 0.49/0.51 c #random_decision = 7 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 o 61309 0.49/0.51 c BCD2: updating upper bound: 1048224 -> 61308 0.49/0.52 c BCD2: 45169 <= obj <= 61308 0.49/0.52 c BCD2: #cores=33, #unrelaxed=213, #relaxed=448, #hardened=0 0.49/0.52 c BCD2: #sat=2 #unsat=35 bias=35/37 1.89/1.96 c Solving starts ... 1.89/1.96 c ============================[ Search Statistics ]============================ 1.89/1.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.96 c | | | | Limit GC | Var | Constra 1.89/1.96 c ============================================================================= 1.89/1.96 c 0.0s | 0 | 0 | 0 | 973 0 | 6 | 6 1.89/1.96 c 0.0s | 0 | 57 | 0 | 973 0 | 6 | 6 1.89/1.96 c #cpu_time = 0.002s 1.89/1.96 c #wall_clock_time = 0.002s 1.89/1.96 c #decision = 57 1.89/1.96 c #random_decision = 0 1.89/1.96 c #conflict = 0 1.89/1.96 c #restart = 0 1.89/1.96 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=1236 1.89/1.96 c BCD2: refineLB: 1234 -> 1236 1.89/1.96 c lower bound updated to 45221 1.89/1.96 c BCD2: 45221 <= obj <= 61308 1.89/1.96 c BCD2: #cores=33, #unrelaxed=212, #relaxed=449, #hardened=0 1.89/1.96 c BCD2: #sat=2 #unsat=36 bias=36/38 3.89/3.90 c Solving starts ... 3.89/3.90 c ============================[ Search Statistics ]============================ 3.89/3.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.90 c | | | | Limit GC | Var | Constra 3.89/3.90 c ============================================================================= 3.89/3.90 c 0.0s | 0 | 0 | 0 | 973 0 | 15 | 6 3.89/3.90 c 0.0s | 0 | 649 | 2 | 973 0 | 15 | 23 3.89/3.90 c #cpu_time = 0.004s 3.89/3.90 c #wall_clock_time = 0.004s 3.89/3.90 c #decision = 649 3.89/3.90 c #random_decision = 1 3.89/3.90 c #conflict = 2 3.89/3.90 c #restart = 0 3.89/3.90 o 55799 3.89/3.90 c BCD2: updating upper bound: 61308 -> 55798 3.89/3.91 c BCD2: 45221 <= obj <= 55798 3.89/3.91 c BCD2: #cores=33, #unrelaxed=212, #relaxed=449, #hardened=0 3.89/3.91 c BCD2: #sat=3 #unsat=36 bias=36/39 4.89/4.91 c Solving starts ... 4.89/4.91 c ============================[ Search Statistics ]============================ 4.89/4.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.89/4.91 c | | | | Limit GC | Var | Constra 4.89/4.91 c ============================================================================= 4.89/4.91 c 0.0s | 0 | 0 | 0 | 973 0 | 15 | 24 4.99/5.02 c 0.0s | 0 | 36 | 0 | 973 0 | 15 | 24 4.99/5.02 c #cpu_time = 0.002s 4.99/5.02 c #wall_clock_time = 0.002s 4.99/5.02 c #decision = 36 4.99/5.02 c #random_decision = 0 4.99/5.02 c #conflict = 0 4.99/5.02 c #restart = 0 4.99/5.02 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=2924 4.99/5.02 c BCD2: refineLB: 2907 -> 2924 4.99/5.02 c lower bound updated to 45239 4.99/5.02 c BCD2: 45239 <= obj <= 55798 4.99/5.02 c BCD2: #cores=32, #unrelaxed=211, #relaxed=450, #hardened=0 4.99/5.02 c BCD2: #sat=3 #unsat=37 bias=37/40 6.49/6.56 c Solving starts ... 6.49/6.56 c ============================[ Search Statistics ]============================ 6.49/6.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.49/6.56 c | | | | Limit GC | Var | Constra 6.49/6.56 c ============================================================================= 6.49/6.56 c 0.0s | 0 | 0 | 0 | 973 0 | 49 | 24 6.49/6.57 c 0.0s | 0 | 39 | 0 | 973 0 | 49 | 91 6.49/6.57 c #cpu_time = 0.002s 6.49/6.57 c #wall_clock_time = 0.002s 6.49/6.57 c #decision = 39 6.49/6.57 c #random_decision = 0 6.49/6.57 c #conflict = 0 6.49/6.57 c #restart = 0 6.49/6.57 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 40: cost of the new core is >=3850 6.49/6.57 c BCD2: refineLB: 3845 -> 3850 6.49/6.57 c lower bound updated to 45245 6.49/6.57 c BCD2: 45245 <= obj <= 55798 6.49/6.57 c BCD2: #cores=30, #unrelaxed=210, #relaxed=451, #hardened=0 6.49/6.57 c BCD2: #sat=3 #unsat=38 bias=38/41 7.59/7.63 c Solving starts ... 7.59/7.63 c ============================[ Search Statistics ]============================ 7.59/7.63 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.59/7.63 c | | | | Limit GC | Var | Constra 7.59/7.63 c ============================================================================= 7.59/7.63 c 0.0s | 0 | 0 | 0 | 973 0 | 80 | 91 7.59/7.64 c 0.0s | 0 | 58 | 0 | 973 0 | 80 | 153 7.59/7.64 c #cpu_time = 0.002s 7.59/7.64 c #wall_clock_time = 0.002s 7.59/7.64 c #decision = 58 7.59/7.64 c #random_decision = 0 7.59/7.64 c #conflict = 0 7.59/7.64 c #restart = 0 7.59/7.64 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 29: cost of the new core is >=1390 7.59/7.64 c BCD2: refineLB: 1385 -> 1390 7.59/7.64 c lower bound updated to 45321 7.59/7.64 c BCD2: 45321 <= obj <= 55798 7.59/7.64 c BCD2: #cores=30, #unrelaxed=206, #relaxed=455, #hardened=0 7.59/7.64 c BCD2: #sat=3 #unsat=39 bias=39/42 8.79/8.81 c Solving starts ... 8.79/8.81 c ============================[ Search Statistics ]============================ 8.79/8.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.79/8.81 c | | | | Limit GC | Var | Constra 8.79/8.81 c ============================================================================= 8.79/8.81 c 0.0s | 0 | 0 | 0 | 973 0 | 89 | 153 8.79/8.81 c 0.0s | 0 | 56 | 0 | 973 0 | 89 | 170 8.79/8.81 c #cpu_time = 0.002s 8.79/8.81 c #wall_clock_time = 0.002s 8.79/8.81 c #decision = 56 8.79/8.81 c #random_decision = 0 8.79/8.81 c #conflict = 0 8.79/8.81 c #restart = 0 8.79/8.81 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 19: cost of the new core is >=1352 8.79/8.81 c BCD2: refineLB: 1346 -> 1352 8.79/8.81 c lower bound updated to 45411 8.79/8.81 c BCD2: 45411 <= obj <= 55798 8.79/8.81 c BCD2: #cores=30, #unrelaxed=204, #relaxed=457, #hardened=0 8.79/8.81 c BCD2: #sat=3 #unsat=40 bias=40/43 9.99/10.07 c Solving starts ... 9.99/10.07 c ============================[ Search Statistics ]============================ 9.99/10.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.99/10.07 c | | | | Limit GC | Var | Constra 9.99/10.07 c ============================================================================= 9.99/10.07 c 0.0s | 0 | 0 | 0 | 973 0 | 98 | 170 9.99/10.08 c 0.0s | 0 | 1190 | 43 | 973 0 | 98 | 188 9.99/10.08 c #cpu_time = 0.009s 9.99/10.08 c #wall_clock_time = 0.009s 9.99/10.08 c #decision = 1190 9.99/10.08 c #random_decision = 1 9.99/10.08 c #conflict = 43 9.99/10.08 c #restart = 0 9.99/10.08 c BCD2: relaxing 12 and merging with 3 cores into a new core of size 112: cost of the new core is >=5421 9.99/10.08 c lower bound updated to 45412 9.99/10.09 c BCD2: 45412 <= obj <= 55798 9.99/10.09 c BCD2: #cores=28, #unrelaxed=192, #relaxed=469, #hardened=0 9.99/10.09 c BCD2: #sat=3 #unsat=41 bias=41/44 11.29/11.37 c Solving starts ... 11.29/11.37 c ============================[ Search Statistics ]============================ 11.29/11.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.29/11.37 c | | | | Limit GC | Var | Constra 11.29/11.37 c ============================================================================= 11.29/11.37 c 0.0s | 0 | 0 | 0 | 973 0 | 111 | 188 11.29/11.40 c 0.0s | 1 | 949 | 100 | 1071 0 | 111 | 215 11.39/11.43 c 0.1s | 2 | 2345 | 250 | 1179 0 | 111 | 215 11.39/11.48 c 0.1s | 3 | 4299 | 475 | 1297 0 | 111 | 215 11.49/11.57 c 0.2s | 4 | 5639 | 813 | 1427 0 | 111 | 215 11.49/11.59 c 0.2s | 4 | 6581 | 921 | 1427 0 | 111 | 215 11.49/11.59 c #cpu_time = 0.220s 11.49/11.59 c #wall_clock_time = 0.221s 11.49/11.59 c #decision = 6581 11.49/11.59 c #random_decision = 6 11.49/11.59 c #conflict = 921 11.49/11.59 c #restart = 4 11.49/11.59 o 51048 11.49/11.59 c BCD2: updating upper bound: 55798 -> 51047 11.59/11.60 c BCD2: 45412 <= obj <= 51047 11.59/11.60 c BCD2: #cores=28, #unrelaxed=192, #relaxed=469, #hardened=0 11.59/11.60 c BCD2: #sat=4 #unsat=41 bias=41/45 12.09/12.17 c Solving starts ... 12.09/12.17 c ============================[ Search Statistics ]============================ 12.09/12.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.09/12.17 c | | | | Limit GC | Var | Constra 12.09/12.17 c ============================================================================= 12.09/12.17 c 0.0s | 0 | 0 | 0 | 1427 0 | 111 | 216 12.09/12.18 c 0.0s | 0 | 35 | 0 | 1427 0 | 111 | 216 12.09/12.18 c #cpu_time = 0.003s 12.09/12.18 c #wall_clock_time = 0.003s 12.09/12.18 c #decision = 35 12.09/12.18 c #random_decision = 0 12.09/12.18 c #conflict = 0 12.09/12.18 c #restart = 0 12.09/12.18 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 18: cost of the new core is >=1314 12.09/12.18 c BCD2: refineLB: 1312 -> 1314 12.09/12.18 c lower bound updated to 45438 12.09/12.18 c BCD2: 45438 <= obj <= 51047 12.09/12.18 c BCD2: #cores=28, #unrelaxed=191, #relaxed=470, #hardened=0 12.09/12.18 c BCD2: #sat=4 #unsat=42 bias=42/46 12.39/12.48 c Solving starts ... 12.39/12.48 c ============================[ Search Statistics ]============================ 12.39/12.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.39/12.48 c | | | | Limit GC | Var | Constra 12.39/12.48 c ============================================================================= 12.39/12.48 c 0.0s | 0 | 0 | 0 | 1427 0 | 128 | 216 12.39/12.48 c 0.0s | 0 | 39 | 0 | 1427 0 | 128 | 251 12.39/12.48 c #cpu_time = 0.004s 12.39/12.48 c #wall_clock_time = 0.004s 12.39/12.48 c #decision = 39 12.39/12.48 c #random_decision = 0 12.39/12.48 c #conflict = 0 12.39/12.48 c #restart = 0 12.39/12.48 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 25: cost of the new core is >=1366 12.39/12.48 c BCD2: refineLB: 1364 -> 1366 12.39/12.48 c lower bound updated to 45464 12.39/12.49 c BCD2: 45464 <= obj <= 51047 12.39/12.49 c BCD2: #cores=28, #unrelaxed=189, #relaxed=472, #hardened=0 12.39/12.49 c BCD2: #sat=4 #unsat=43 bias=43/47 13.79/13.86 c Solving starts ... 13.79/13.86 c ============================[ Search Statistics ]============================ 13.79/13.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.79/13.86 c | | | | Limit GC | Var | Constra 13.79/13.86 c ============================================================================= 13.79/13.86 c 0.0s | 0 | 0 | 0 | 1427 0 | 144 | 251 13.79/13.86 c 0.0s | 0 | 271 | 3 | 1427 0 | 144 | 286 13.79/13.86 c #cpu_time = 0.005s 13.79/13.86 c #wall_clock_time = 0.005s 13.79/13.86 c #decision = 271 13.79/13.86 c #random_decision = 0 13.79/13.86 c #conflict = 3 13.79/13.86 c #restart = 0 13.79/13.86 c BCD2: relaxing 59 and merging with 7 cores into a new core of size 324: cost of the new core is >=15776 13.79/13.86 c lower bound updated to 45465 13.79/13.86 c BCD2: 45465 <= obj <= 51047 13.79/13.86 c BCD2: #cores=22, #unrelaxed=130, #relaxed=531, #hardened=0 13.79/13.86 c BCD2: #sat=4 #unsat=44 bias=44/48 14.89/14.92 c Solving starts ... 14.89/14.92 c ============================[ Search Statistics ]============================ 14.89/14.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.89/14.92 c | | | | Limit GC | Var | Constra 14.89/14.92 c ============================================================================= 14.89/14.92 c 0.0s | 0 | 0 | 0 | 1427 0 | 203 | 286 14.89/14.97 c 0.1s | 1 | 820 | 100 | 1427 0 | 203 | 417 14.99/15.07 c 0.1s | 2 | 2455 | 250 | 1427 0 | 203 | 417 15.19/15.20 c 0.3s | 3 | 4950 | 475 | 1570 0 | 203 | 417 15.29/15.37 c 0.5s | 4 | 8912 | 813 | 1570 0 | 203 | 417 15.59/15.60 c 0.7s | 5 | 12758 | 1320 | 1728 0 | 203 | 417 15.89/15.99 c 1.1s | 6 | 18955 | 2081 | 1728 0 | 203 | 417 16.59/16.63 c 1.7s | 7 | 29809 | 3223 | 1901 1 | 203 | 417 17.59/17.65 c 2.7s | 8 | 42463 | 4936 | 2092 2 | 203 | 417 19.09/19.19 c 4.3s | 9 | 62817 | 7506 | 2302 4 | 203 | 417 21.18/21.24 c 6.3s | 9 | 91676 | 11006 | 2533 6 | 203 | 417 21.38/21.45 c 6.5s | 10 | 94197 | 11361 | 2533 6 | 203 | 417 23.38/23.46 c 8.5s | 10 | 113875 | 15161 | 2533 8 | 203 | 417 24.48/24.54 c 9.6s | 11 | 128493 | 17144 | 2787 9 | 203 | 417 26.49/26.58 c 11.7s | 11 | 158138 | 20644 | 2787 11 | 203 | 417 28.59/28.62 c 13.7s | 11 | 186511 | 24244 | 2787 13 | 203 | 417 29.48/29.58 c 14.7s | 12 | 198526 | 25819 | 3066 14 | 203 | 417 31.58/31.61 c 16.7s | 12 | 225807 | 29119 | 3066 15 | 203 | 417 33.58/33.63 c 18.7s | 12 | 246988 | 32419 | 3066 17 | 203 | 417 35.58/35.69 c 20.8s | 12 | 270568 | 35819 | 3066 19 | 203 | 417 37.39/37.47 c 22.5s | 13 | 285848 | 38832 | 3373 20 | 203 | 417 39.48/39.52 c 24.6s | 13 | 309304 | 41932 | 3373 21 | 203 | 417 41.48/41.55 c 26.6s | 13 | 333472 | 45232 | 3373 23 | 203 | 417 43.58/43.60 c 28.7s | 13 | 355564 | 48632 | 3373 25 | 203 | 417 45.58/45.65 c 30.7s | 13 | 378771 | 51832 | 3373 26 | 203 | 417 47.58/47.65 c 32.7s | 13 | 398419 | 55032 | 3373 27 | 203 | 417 49.59/49.66 c 34.7s | 13 | 422300 | 58132 | 3711 29 | 203 | 417 49.78/49.80 c 34.9s | 14 | 423931 | 58352 | 3711 29 | 203 | 417 51.79/51.84 c 36.9s | 14 | 444119 | 61652 | 3711 30 | 203 | 417 53.78/53.84 c 38.9s | 14 | 463994 | 64852 | 3711 31 | 203 | 417 55.78/55.86 c 40.9s | 14 | 483931 | 68152 | 3711 33 | 203 | 417 57.78/57.88 c 43.0s | 14 | 502977 | 71652 | 3711 34 | 203 | 417 59.79/59.89 c 45.0s | 14 | 529855 | 75152 | 3711 36 | 203 | 417 61.89/61.95 c 47.0s | 14 | 555202 | 78252 | 3711 37 | 203 | 417 63.89/63.97 c 49.1s | 14 | 579621 | 81752 | 3711 39 | 203 | 417 65.89/65.98 c 51.1s | 14 | 608334 | 85252 | 3711 40 | 203 | 417 67.38/67.43 c 52.5s | 15 | 627093 | 87632 | 4083 41 | 203 | 417 69.39/69.46 c 54.5s | 15 | 647408 | 90832 | 4083 42 | 203 | 417 71.38/71.50 c 56.6s | 15 | 672365 | 93932 | 4083 43 | 203 | 417 73.48/73.53 c 58.6s | 15 | 696674 | 96932 | 4083 45 | 203 | 417 75.48/75.55 c 60.6s | 15 | 718203 | 100132 | 4083 46 | 203 | 417 77.58/77.61 c 62.7s | 15 | 741118 | 103232 | 4083 47 | 203 | 417 79.58/79.63 c 64.7s | 15 | 763854 | 106432 | 4083 48 | 203 | 417 81.58/81.67 c 66.7s | 15 | 785668 | 109532 | 4083 49 | 203 | 417 83.59/83.70 c 68.8s | 15 | 807228 | 112732 | 4083 51 | 203 | 417 85.68/85.71 c 70.8s | 15 | 830798 | 115832 | 4083 52 | 203 | 417 87.68/87.74 c 72.8s | 15 | 852053 | 118932 | 4083 53 | 203 | 417 89.68/89.79 c 74.9s | 15 | 872109 | 122032 | 4083 54 | 203 | 417 91.68/91.79 c 76.9s | 15 | 891028 | 125132 | 4083 56 | 203 | 417 93.78/93.86 c 78.9s | 15 | 912270 | 128832 | 4083 57 | 203 | 417 95.38/95.41 c 80.5s | 16 | 924401 | 131552 | 4492 58 | 203 | 417 97.38/97.49 c 82.6s | 16 | 945755 | 134952 | 4492 59 | 203 | 417 99.48/99.53 c 84.6s | 16 | 969760 | 138452 | 4492 60 | 203 | 417 101.48/101.56 c 86.6s | 16 | 994713 | 141552 | 4492 62 | 203 | 417 103.48/103.58 c 88.7s | 16 | 1017350 | 144952 | 4492 63 | 203 | 417 105.58/105.61 c 90.7s | 16 | 1041246 | 148252 | 4492 64 | 203 | 417 107.58/107.63 c 92.7s | 16 | 1062549 | 151452 | 4492 65 | 203 | 417 109.57/109.63 c 94.7s | 16 | 1081684 | 154852 | 4492 66 | 203 | 417 111.57/111.67 c 96.8s | 16 | 1105475 | 158252 | 4492 68 | 203 | 417 113.67/113.70 c 98.8s | 16 | 1126286 | 161552 | 4492 69 | 203 | 417 115.67/115.71 c 100s | 16 | 1148944 | 164752 | 4492 70 | 203 | 417 117.68/117.75 c 102s | 16 | 1166471 | 167952 | 4492 71 | 203 | 417 119.67/119.78 c 104s | 16 | 1188138 | 171252 | 4492 72 | 203 | 417 121.67/121.79 c 106s | 16 | 1206748 | 174652 | 4492 74 | 203 | 417 123.77/123.84 c 108s | 16 | 1227526 | 178052 | 4492 75 | 203 | 417 125.77/125.86 c 110s | 16 | 1244441 | 181452 | 4492 76 | 203 | 417 127.87/127.91 c 112s | 16 | 1269732 | 184852 | 4492 77 | 203 | 417 129.87/129.93 c 115s | 16 | 1293022 | 187952 | 4492 78 | 203 | 417 131.87/131.94 c 117s | 16 | 1315309 | 191252 | 4492 80 | 203 | 417 133.87/133.98 c 119s | 16 | 1336613 | 194652 | 4492 81 | 203 | 417 135.67/135.71 c 120s | 17 | 1355929 | 197432 | 4942 82 | 203 | 417 137.67/137.74 c 122s | 17 | 1379342 | 200532 | 4942 83 | 203 | 417 139.67/139.75 c 124s | 17 | 1400346 | 203732 | 4942 84 | 203 | 417 141.67/141.79 c 126s | 17 | 1416526 | 207732 | 4942 85 | 203 | 417 143.77/143.83 c 128s | 17 | 1434228 | 211132 | 4942 86 | 203 | 417 145.77/145.87 c 130s | 17 | 1458953 | 214332 | 4942 87 | 203 | 417 147.87/147.92 c 132s | 17 | 1478297 | 217932 | 4942 88 | 203 | 417 149.87/149.94 c 135s | 17 | 1497806 | 221432 | 4942 90 | 203 | 417 151.88/151.97 c 137s | 17 | 1518194 | 224832 | 4942 91 | 203 | 417 153.98/154.03 c 139s | 17 | 1536654 | 228332 | 4942 92 | 203 | 417 155.97/156.07 c 141s | 17 | 1554185 | 231732 | 4942 93 | 203 | 417 158.07/158.12 c 143s | 17 | 1574186 | 235332 | 4942 94 | 203 | 417 160.07/160.18 c 145s | 17 | 1594990 | 238732 | 4942 95 | 203 | 417 162.17/162.21 c 147s | 17 | 1614842 | 241932 | 4942 96 | 203 | 417 164.17/164.25 c 149s | 17 | 1636787 | 245232 | 4942 98 | 203 | 417 166.18/166.27 c 151s | 17 | 1656052 | 248532 | 4942 99 | 203 | 417 168.17/168.28 c 153s | 17 | 1681992 | 251632 | 4942 100 | 203 | 417 170.27/170.34 c 155s | 17 | 1704220 | 254932 | 4942 101 | 203 | 417 172.27/172.36 c 157s | 17 | 1724519 | 257932 | 4942 102 | 203 | 417 174.37/174.40 c 159s | 17 | 1740592 | 261232 | 4942 103 | 203 | 417 176.37/176.43 c 161s | 17 | 1757643 | 264732 | 4942 104 | 203 | 417 178.37/178.43 c 163s | 17 | 1778911 | 267932 | 4942 105 | 203 | 417 180.37/180.46 c 165s | 17 | 1795722 | 271132 | 4942 106 | 203 | 417 182.37/182.46 c 167s | 17 | 1814707 | 274432 | 4942 107 | 203 | 417 184.37/184.48 c 169s | 17 | 1836267 | 277432 | 4942 108 | 203 | 417 186.47/186.52 c 171s | 17 | 1859939 | 280632 | 4942 109 | 203 | 417 188.47/188.54 c 173s | 17 | 1877586 | 283732 | 4942 110 | 203 | 417 190.47/190.57 c 175s | 17 | 1900997 | 286832 | 4942 111 | 203 | 417 192.57/192.63 c 177s | 17 | 1918683 | 290132 | 4942 113 | 203 | 417 194.57/194.65 c 179s | 17 | 1934859 | 293132 | 4942 114 | 203 | 417 196.47/196.56 c 181s | 18 | 1952018 | 296252 | 5437 114 | 203 | 417 198.46/198.56 c 183s | 18 | 1968196 | 299452 | 5437 115 | 203 | 417 200.46/200.58 c 185s | 18 | 1986609 | 302852 | 5437 117 | 203 | 417 202.56/202.61 c 187s | 18 | 2004179 | 306352 | 5437 118 | 203 | 417 204.57/204.63 c 189s | 18 | 2024904 | 309652 | 5437 119 | 203 | 417 206.56/206.68 c 191s | 18 | 2043042 | 313252 | 5437 120 | 203 | 417 208.56/208.69 c 193s | 18 | 2059168 | 316652 | 5437 121 | 203 | 417 210.66/210.75 c 195s | 18 | 2085542 | 319752 | 5437 122 | 203 | 417 212.66/212.78 c 197s | 18 | 2105336 | 322752 | 5437 123 | 203 | 417 214.76/214.83 c 199s | 18 | 2125261 | 326152 | 5437 124 | 203 | 417 216.77/216.87 c 201s | 18 | 2141153 | 329852 | 5437 125 | 203 | 417 218.76/218.87 c 203s | 18 | 2158049 | 333652 | 5437 126 | 203 | 417 220.86/220.92 c 205s | 18 | 2175990 | 337052 | 5437 127 | 203 | 417 222.86/222.95 c 208s | 18 | 2193129 | 340752 | 5437 128 | 203 | 417 224.86/224.98 c 210s | 18 | 2209840 | 344452 | 5437 129 | 203 | 417 226.96/227.02 c 212s | 18 | 2228421 | 348152 | 5437 130 | 203 | 417 228.96/229.08 c 214s | 18 | 2248003 | 351252 | 5437 131 | 203 | 417 231.06/231.12 c 216s | 18 | 2265626 | 354352 | 5437 132 | 203 | 417 233.06/233.14 c 218s | 18 | 2280126 | 357452 | 5437 133 | 203 | 417 235.16/235.22 c 220s | 18 | 2300074 | 360852 | 5437 134 | 203 | 417 237.16/237.27 c 222s | 18 | 2322010 | 364352 | 5437 135 | 203 | 417 239.25/239.30 c 224s | 18 | 2337380 | 368152 | 5437 137 | 203 | 417 241.25/241.38 c 226s | 18 | 2354145 | 372052 | 5437 138 | 203 | 417 243.35/243.40 c 228s | 18 | 2370996 | 376052 | 5437 139 | 203 | 417 245.36/245.46 c 230s | 18 | 2388479 | 379652 | 5437 140 | 203 | 417 247.35/247.49 c 232s | 18 | 2407787 | 383152 | 5437 141 | 203 | 417 249.45/249.50 c 234s | 18 | 2425526 | 386852 | 5437 142 | 203 | 417 251.45/251.53 c 236s | 18 | 2445418 | 390352 | 5437 143 | 203 | 417 253.45/253.56 c 238s | 18 | 2463654 | 393852 | 5437 144 | 203 | 417 255.45/255.57 c 240s | 18 | 2480110 | 397752 | 5437 146 | 203 | 417 257.46/257.59 c 242s | 18 | 2496216 | 401552 | 5437 147 | 203 | 417 259.56/259.61 c 244s | 18 | 2513176 | 405352 | 5437 148 | 203 | 417 261.55/261.63 c 246s | 18 | 2527386 | 408952 | 5437 149 | 203 | 417 263.55/263.63 c 248s | 18 | 2539816 | 412352 | 5437 150 | 203 | 417 265.55/265.64 c 250s | 18 | 2555865 | 414952 | 5437 151 | 203 | 417 267.55/267.65 c 252s | 18 | 2571509 | 418452 | 5437 152 | 203 | 417 269.55/269.68 c 254s | 18 | 2587151 | 422052 | 5437 153 | 203 | 417 271.65/271.72 c 256s | 18 | 2602391 | 425652 | 5437 154 | 203 | 417 273.64/273.77 c 258s | 18 | 2621889 | 429252 | 5437 155 | 203 | 417 275.64/275.77 c 260s | 18 | 2636986 | 432952 | 5437 156 | 203 | 417 277.74/277.81 c 262s | 18 | 2655905 | 436552 | 5437 158 | 203 | 417 279.74/279.81 c 264s | 18 | 2670365 | 440352 | 5437 159 | 203 | 417 281.74/281.88 c 266s | 18 | 2685030 | 443452 | 5981 160 | 203 | 417 282.44/282.51 c 267s | 19 | 2690981 | 444482 | 5981 160 | 203 | 417 284.44/284.51 c 269s | 19 | 2707157 | 447582 | 5981 161 | 203 | 417 286.44/286.53 c 271s | 19 | 2724050 | 451082 | 5981 162 | 203 | 417 288.44/288.59 c 273s | 19 | 2748523 | 454182 | 5981 163 | 203 | 417 290.54/290.63 c 275s | 19 | 2770239 | 457282 | 5981 163 | 203 | 417 292.55/292.65 c 277s | 19 | 2791401 | 460282 | 5981 164 | 203 | 417 294.54/294.67 c 279s | 19 | 2813846 | 463382 | 5981 165 | 203 | 417 296.54/296.69 c 281s | 19 | 2834257 | 466382 | 5981 166 | 203 | 417 298.54/298.69 c 283s | 19 | 2854869 | 469282 | 5981 167 | 203 | 417 300.64/300.72 c 285s | 19 | 2875636 | 472682 | 5981 168 | 203 | 417 302.65/302.73 c 287s | 19 | 2893856 | 475882 | 5981 169 | 203 | 417 304.66/304.74 c 289s | 19 | 2909190 | 479482 | 5981 170 | 203 | 417 306.65/306.76 c 291s | 19 | 2929252 | 483282 | 5981 171 | 203 | 417 308.75/308.81 c 293s | 19 | 2946975 | 486882 | 5981 172 | 203 | 417 310.75/310.82 c 295s | 19 | 2964842 | 490282 | 5981 173 | 203 | 417 312.75/312.86 c 297s | 19 | 2984122 | 494082 | 5981 174 | 203 | 417 314.75/314.87 c 299s | 19 | 3000937 | 497282 | 5981 175 | 203 | 417 316.75/316.90 c 301s | 19 | 3019487 | 500582 | 5981 176 | 203 | 417 318.85/318.92 c 303s | 19 | 3036170 | 504282 | 5981 177 | 203 | 417 320.85/320.92 c 305s | 19 | 3053144 | 507582 | 5981 178 | 203 | 417 322.85/322.93 c 308s | 19 | 3070190 | 511082 | 5981 179 | 203 | 417 324.85/324.96 c 310s | 19 | 3091395 | 514482 | 5981 180 | 203 | 417 326.95/327.01 c 312s | 19 | 3114049 | 517582 | 5981 181 | 203 | 417 328.95/329.08 c 314s | 19 | 3133319 | 520882 | 5981 181 | 203 | 417 331.05/331.11 c 316s | 19 | 3158030 | 523982 | 5981 182 | 203 | 417 333.04/333.14 c 318s | 19 | 3180617 | 526982 | 5981 183 | 203 | 417 335.04/335.15 c 320s | 19 | 3199963 | 529882 | 5981 184 | 203 | 417 337.04/337.16 c 322s | 19 | 3216082 | 532782 | 5981 185 | 203 | 417 339.04/339.19 c 324s | 19 | 3239827 | 535582 | 5981 186 | 203 | 417 341.14/341.20 c 326s | 19 | 3261924 | 538582 | 5981 186 | 203 | 417 343.15/343.22 c 328s | 19 | 3284379 | 541782 | 5981 187 | 203 | 417 345.14/345.24 c 330s | 19 | 3302605 | 544982 | 5981 188 | 203 | 417 347.24/347.30 c 332s | 19 | 3321013 | 548382 | 5981 189 | 203 | 417 349.24/349.31 c 334s | 19 | 3339176 | 551582 | 5981 190 | 203 | 417 351.24/351.32 c 336s | 19 | 3358945 | 554682 | 5981 191 | 203 | 417 353.24/353.35 c 338s | 19 | 3376041 | 557982 | 5981 192 | 203 | 417 355.25/355.39 c 340s | 19 | 3395553 | 561582 | 5981 193 | 203 | 417 357.34/357.46 c 342s | 19 | 3413718 | 564482 | 5981 194 | 203 | 417 359.34/359.46 c 344s | 19 | 3432299 | 567282 | 5981 195 | 203 | 417 361.44/361.52 c 346s | 19 | 3450439 | 570482 | 5981 195 | 203 | 417 363.44/363.59 c 348s | 19 | 3466997 | 573382 | 5981 196 | 203 | 417 365.54/365.63 c 350s | 19 | 3488724 | 576482 | 5981 197 | 203 | 417 367.54/367.67 c 352s | 19 | 3510505 | 579882 | 5981 198 | 203 | 417 369.64/369.72 c 354s | 19 | 3531303 | 583182 | 5981 199 | 203 | 417 371.64/371.75 c 356s | 19 | 3550722 | 586082 | 5981 200 | 203 | 417 373.64/373.79 c 358s | 19 | 3569477 | 589082 | 5981 201 | 203 | 417 375.74/375.82 c 360s | 19 | 3585596 | 592082 | 5981 202 | 203 | 417 377.74/377.87 c 362s | 19 | 3604970 | 595482 | 5981 203 | 203 | 417 379.84/379.90 c 364s | 19 | 3622710 | 598582 | 5981 203 | 203 | 417 381.84/381.94 c 367s | 19 | 3642188 | 601582 | 5981 204 | 203 | 417 383.84/383.95 c 369s | 19 | 3660346 | 604582 | 5981 205 | 203 | 417 385.83/385.98 c 371s | 19 | 3678214 | 607882 | 5981 206 | 203 | 417 387.93/388.00 c 373s | 19 | 3696826 | 611482 | 5981 207 | 203 | 417 389.93/390.05 c 375s | 19 | 3715116 | 614982 | 5981 208 | 203 | 417 391.93/392.09 c 377s | 19 | 3730714 | 617982 | 5981 209 | 203 | 417 394.03/394.14 c 379s | 19 | 3750011 | 621682 | 5981 210 | 203 | 417 396.04/396.16 c 381s | 19 | 3768630 | 625082 | 5981 211 | 203 | 417 398.03/398.18 c 383s | 19 | 3786287 | 628082 | 5981 212 | 203 | 417 400.03/400.19 c 385s | 19 | 3804107 | 631082 | 5981 213 | 203 | 417 402.13/402.22 c 387s | 19 | 3820008 | 634182 | 5981 214 | 203 | 417 404.13/404.28 c 389s | 19 | 3835305 | 637682 | 5981 215 | 203 | 417 406.23/406.31 c 391s | 19 | 3851120 | 641082 | 5981 215 | 203 | 417 408.23/408.33 c 393s | 19 | 3869753 | 644582 | 5981 216 | 203 | 417 410.23/410.36 c 395s | 19 | 3884722 | 648082 | 5981 217 | 203 | 417 412.23/412.37 c 397s | 19 | 3902114 | 651482 | 5981 218 | 203 | 417 414.23/414.39 c 399s | 19 | 3921331 | 655182 | 5981 219 | 203 | 417 416.33/416.45 c 401s | 19 | 3939037 | 658782 | 5981 220 | 203 | 417 418.43/418.50 c 403s | 19 | 3957350 | 662182 | 6580 221 | 203 | 417 420.43/420.53 c 405s | 19 | 3973616 | 665482 | 6580 222 | 203 | 417 421.33/421.42 c 406s | 20 | 3980996 | 666827 | 6580 223 | 203 | 417 423.33/423.47 c 408s | 20 | 3997211 | 669927 | 6580 223 | 203 | 417 425.33/425.49 c 410s | 20 | 4014284 | 673327 | 6580 224 | 203 | 417 427.43/427.54 c 412s | 20 | 4032157 | 676627 | 6580 225 | 203 | 417 429.42/429.59 c 414s | 20 | 4051358 | 679827 | 6580 226 | 203 | 417 431.52/431.64 c 416s | 20 | 4071221 | 682827 | 6580 227 | 203 | 417 433.52/433.64 c 418s | 20 | 4088813 | 685827 | 6580 227 | 203 | 417 435.53/435.65 c 420s | 20 | 4105755 | 689027 | 6580 228 | 203 | 417 437.52/437.67 c 422s | 20 | 4124656 | 692227 | 6580 229 | 203 | 417 439.52/439.69 c 424s | 20 | 4141508 | 695327 | 6580 230 | 203 | 417 441.62/441.73 c 426s | 20 | 4162184 | 698627 | 6580 231 | 203 | 417 443.62/443.76 c 428s | 20 | 4180412 | 701527 | 6580 232 | 203 | 417 445.72/445.80 c 430s | 20 | 4197013 | 704527 | 6580 232 | 203 | 417 447.73/447.84 c 432s | 20 | 4213795 | 707727 | 6580 233 | 203 | 417 449.72/449.90 c 434s | 20 | 4230090 | 711027 | 6580 234 | 203 | 417 451.92/452.00 c 437s | 20 | 4244347 | 713927 | 6580 235 | 203 | 417 453.92/454.02 c 439s | 20 | 4261410 | 716827 | 6580 236 | 203 | 417 455.92/456.04 c 441s | 20 | 4280747 | 720027 | 6580 236 | 203 | 417 457.92/458.06 c 443s | 20 | 4297301 | 723127 | 6580 237 | 203 | 417 460.02/460.11 c 445s | 20 | 4313373 | 726527 | 6580 238 | 203 | 417 462.02/462.13 c 447s | 20 | 4335072 | 730127 | 6580 239 | 203 | 417 464.02/464.17 c 449s | 20 | 4351270 | 733727 | 6580 240 | 203 | 417 466.02/466.18 c 451s | 20 | 4368906 | 737527 | 6580 241 | 203 | 417 468.12/468.23 c 453s | 20 | 4391958 | 740827 | 6580 242 | 203 | 417 470.12/470.23 c 455s | 20 | 4408907 | 744327 | 6580 243 | 203 | 417 472.12/472.23 c 457s | 20 | 4429522 | 747827 | 6580 244 | 203 | 417 474.12/474.28 c 459s | 20 | 4447284 | 751027 | 6580 244 | 203 | 417 476.22/476.32 c 461s | 20 | 4462788 | 754227 | 6580 245 | 203 | 417 478.21/478.32 c 463s | 20 | 4483569 | 757327 | 6580 246 | 203 | 417 480.21/480.36 c 465s | 20 | 4501140 | 760127 | 6580 247 | 203 | 417 482.31/482.43 c 467s | 20 | 4516733 | 763127 | 6580 248 | 203 | 417 484.31/484.46 c 469s | 20 | 4532139 | 766127 | 6580 248 | 203 | 417 486.41/486.51 c 471s | 20 | 4547199 | 769227 | 6580 249 | 203 | 417 488.42/488.55 c 473s | 20 | 4564091 | 772827 | 6580 250 | 203 | 417 490.52/490.60 c 475s | 20 | 4581964 | 776627 | 6580 251 | 203 | 417 492.51/492.65 c 477s | 20 | 4599177 | 780227 | 6580 252 | 203 | 417 494.61/494.72 c 479s | 20 | 4615657 | 783527 | 6580 253 | 203 | 417 496.62/496.75 c 481s | 20 | 4632290 | 786627 | 6580 254 | 203 | 417 498.72/498.80 c 483s | 20 | 4651166 | 789727 | 6580 255 | 203 | 417 500.72/500.82 c 485s | 20 | 4666787 | 793027 | 6580 255 | 203 | 417 502.72/502.85 c 487s | 20 | 4682840 | 796327 | 6580 256 | 203 | 417 504.72/504.89 c 489s | 20 | 4697190 | 799827 | 6580 257 | 203 | 417 506.82/506.91 c 491s | 20 | 4708610 | 802527 | 6580 258 | 203 | 417 508.81/508.92 c 494s | 20 | 4726059 | 805927 | 6580 259 | 203 | 417 510.81/510.98 c 496s | 20 | 4740769 | 809327 | 6580 260 | 203 | 417 512.91/513.04 c 498s | 20 | 4755423 | 812727 | 6580 261 | 203 | 417 514.91/515.06 c 500s | 20 | 4771607 | 816127 | 6580 261 | 203 | 417 516.92/517.08 c 502s | 20 | 4791822 | 818927 | 6580 262 | 203 | 417 519.01/519.13 c 504s | 20 | 4812756 | 821927 | 6580 263 | 203 | 417 521.01/521.15 c 506s | 20 | 4830428 | 825027 | 6580 264 | 203 | 417 523.01/523.15 c 508s | 20 | 4846965 | 828327 | 6580 265 | 203 | 417 525.11/525.20 c 510s | 20 | 4866215 | 831927 | 6580 266 | 203 | 417 527.11/527.23 c 512s | 20 | 4883840 | 835127 | 6580 266 | 203 | 417 529.12/529.28 c 514s | 20 | 4902860 | 838327 | 6580 267 | 203 | 417 531.22/531.32 c 516s | 20 | 4919476 | 841527 | 6580 268 | 203 | 417 533.31/533.45 c 518s | 20 | 4938308 | 844727 | 6580 269 | 203 | 417 535.31/535.46 c 520s | 20 | 4959198 | 847927 | 6580 270 | 203 | 417 537.31/537.49 c 522s | 20 | 4976060 | 851227 | 6580 271 | 203 | 417 539.41/539.52 c 524s | 20 | 4990451 | 854127 | 6580 271 | 203 | 417 541.41/541.55 c 526s | 20 | 5007571 | 857427 | 6580 272 | 203 | 417 543.42/543.57 c 528s | 20 | 5023649 | 860527 | 6580 273 | 203 | 417 545.52/545.61 c 530s | 20 | 5041278 | 863527 | 6580 274 | 203 | 417 547.51/547.65 c 532s | 20 | 5057340 | 866427 | 6580 275 | 203 | 417 549.51/549.65 c 534s | 20 | 5073661 | 869527 | 6580 275 | 203 | 417 551.61/551.70 c 536s | 20 | 5093212 | 872727 | 6580 276 | 203 | 417 553.61/553.77 c 538s | 20 | 5114237 | 876027 | 6580 277 | 203 | 417 555.60/555.79 c 540s | 20 | 5129738 | 878827 | 6580 278 | 203 | 417 557.71/557.85 c 542s | 20 | 5149389 | 881827 | 6580 279 | 203 | 417 559.70/559.86 c 544s | 20 | 5165064 | 884627 | 6580 279 | 203 | 417 561.70/561.88 c 546s | 20 | 5181715 | 887427 | 6580 280 | 203 | 417 563.80/563.92 c 548s | 20 | 5197303 | 890427 | 6580 281 | 203 | 417 565.80/565.97 c 551s | 20 | 5211805 | 893127 | 6580 282 | 203 | 417 567.90/568.02 c 553s | 20 | 5227508 | 896627 | 6580 282 | 203 | 417 569.90/570.03 c 555s | 20 | 5244771 | 899627 | 6580 283 | 203 | 417 571.91/572.03 c 557s | 20 | 5258090 | 902827 | 6580 284 | 203 | 417 573.90/574.07 c 559s | 20 | 5274413 | 906127 | 6580 285 | 203 | 417 575.90/576.08 c 561s | 20 | 5290270 | 909427 | 6580 286 | 203 | 417 577.90/578.09 c 563s | 20 | 5307555 | 912527 | 6580 287 | 203 | 417 580.00/580.10 c 565s | 20 | 5323058 | 915827 | 6580 287 | 203 | 417 582.00/582.16 c 567s | 20 | 5337225 | 919127 | 6580 288 | 203 | 417 584.00/584.17 c 569s | 20 | 5353910 | 922227 | 6580 289 | 203 | 417 586.00/586.17 c 571s | 20 | 5364785 | 925427 | 6580 290 | 203 | 417 588.10/588.22 c 573s | 20 | 5374365 | 928627 | 6580 291 | 203 | 417 590.10/590.24 c 575s | 20 | 5384579 | 931327 | 6580 291 | 203 | 417 592.10/592.30 c 577s | 20 | 5402765 | 935027 | 6580 292 | 203 | 417 594.10/594.30 c 579s | 20 | 5421768 | 938027 | 6580 293 | 203 | 417 596.21/596.31 c 581s | 20 | 5436994 | 941127 | 6580 294 | 203 | 417 598.20/598.32 c 583s | 20 | 5452673 | 944027 | 6580 295 | 203 | 417 600.30/600.40 c 585s | 20 | 5468293 | 946827 | 6580 296 | 203 | 417 602.30/602.44 c 587s | 20 | 5482779 | 950027 | 6580 296 | 203 | 417 604.30/604.49 c 589s | 20 | 5498575 | 953027 | 6580 297 | 203 | 417 606.40/606.53 c 591s | 20 | 5512745 | 956127 | 6580 298 | 203 | 417 608.40/608.58 c 593s | 20 | 5529225 | 959227 | 6580 299 | 203 | 417 610.51/610.61 c 595s | 20 | 5543867 | 962527 | 6580 300 | 203 | 417 612.50/612.64 c 597s | 20 | 5556803 | 965727 | 6580 300 | 203 | 417 614.50/614.67 c 599s | 20 | 5573165 | 968627 | 6580 301 | 203 | 417 616.60/616.72 c 601s | 20 | 5585417 | 971627 | 6580 302 | 203 | 417 618.60/618.74 c 603s | 20 | 5602091 | 974627 | 6580 303 | 203 | 417 620.70/620.81 c 605s | 20 | 5619529 | 977627 | 6580 304 | 203 | 417 622.70/622.85 c 607s | 20 | 5631823 | 980327 | 6580 304 | 203 | 417 624.70/624.89 c 609s | 20 | 5651146 | 983727 | 6580 305 | 203 | 417 626.80/626.91 c 611s | 20 | 5664818 | 986927 | 6580 306 | 203 | 417 628.80/628.95 c 614s | 20 | 5681345 | 989827 | 6580 307 | 203 | 417 630.90/631.01 c 616s | 20 | 5696885 | 993127 | 7239 307 | 203 | 417 632.89/633.01 c 618s | 20 | 5711267 | 996127 | 7239 308 | 203 | 417 635.09/635.20 c 620s | 20 | 5724673 | 999127 | 7239 309 | 203 | 417 635.70/635.82 c 620s | 21 | 5731668 | 1000345 | 7239 309 | 203 | 417 637.69/637.87 c 622s | 21 | 5746958 | 1003345 | 7239 310 | 203 | 417 639.69/639.89 c 624s | 21 | 5765137 | 1006845 | 7239 311 | 203 | 417 641.79/641.93 c 627s | 21 | 5785622 | 1010345 | 7239 312 | 203 | 417 643.79/643.95 c 629s | 21 | 5805799 | 1013645 | 7239 312 | 203 | 417 645.79/645.98 c 631s | 21 | 5825865 | 1017145 | 7239 313 | 203 | 417 647.90/648.04 c 633s | 21 | 5845391 | 1020345 | 7239 314 | 203 | 417 649.89/650.08 c 635s | 21 | 5865186 | 1023445 | 7239 315 | 203 | 417 651.99/652.11 c 637s | 21 | 5884791 | 1026645 | 7239 315 | 203 | 417 653.99/654.12 c 639s | 21 | 5903532 | 1030245 | 7239 316 | 203 | 417 655.99/656.12 c 641s | 21 | 5921493 | 1033445 | 7239 317 | 203 | 417 657.99/658.13 c 643s | 21 | 5939975 | 1036845 | 7239 318 | 203 | 417 660.00/660.14 c 645s | 21 | 5956613 | 1040145 | 7239 319 | 203 | 417 661.99/662.15 c 647s | 21 | 5973467 | 1043645 | 7239 320 | 203 | 417 664.09/664.20 c 649s | 21 | 5991695 | 1047145 | 7239 320 | 203 | 417 666.09/666.23 c 651s | 21 | 6008970 | 1050445 | 7239 321 | 203 | 417 668.09/668.24 c 653s | 21 | 6022891 | 1053045 | 7239 322 | 203 | 417 670.19/670.33 c 655s | 21 | 6044500 | 1056045 | 7239 323 | 203 | 417 672.19/672.36 c 657s | 21 | 6063520 | 1059345 | 7239 323 | 203 | 417 674.19/674.36 c 659s | 21 | 6083230 | 1062645 | 7239 324 | 203 | 417 676.29/676.41 c 661s | 21 | 6098533 | 1066145 | 7239 325 | 203 | 417 678.28/678.45 c 663s | 21 | 6116032 | 1069645 | 7239 326 | 203 | 417 680.28/680.49 c 665s | 21 | 6135517 | 1073245 | 7239 327 | 203 | 417 682.38/682.54 c 667s | 21 | 6153015 | 1076745 | 7239 327 | 203 | 417 684.38/684.57 c 669s | 21 | 6174703 | 1080045 | 7239 328 | 203 | 417 686.39/686.58 c 671s | 21 | 6193768 | 1083445 | 7239 329 | 203 | 417 688.38/688.60 c 673s | 21 | 6209473 | 1086545 | 7239 330 | 203 | 417 690.48/690.62 c 675s | 21 | 6227614 | 1089845 | 7239 331 | 203 | 417 692.48/692.66 c 677s | 21 | 6245992 | 1092845 | 7239 331 | 203 | 417 694.48/694.68 c 679s | 21 | 6263300 | 1095645 | 7239 332 | 203 | 417 696.58/696.72 c 681s | 21 | 6281793 | 1098645 | 7239 333 | 203 | 417 698.58/698.78 c 683s | 21 | 6300271 | 1101645 | 7239 333 | 203 | 417 700.69/700.82 c 685s | 21 | 6315461 | 1104645 | 7239 334 | 203 | 417 702.68/702.83 c 687s | 21 | 6330865 | 1107945 | 7239 335 | 203 | 417 704.68/704.85 c 689s | 21 | 6345966 | 1110945 | 7239 336 | 203 | 417 706.78/706.90 c 691s | 21 | 6362296 | 1114545 | 7239 337 | 203 | 417 708.78/708.93 c 694s | 21 | 6376488 | 1117645 | 7239 337 | 203 | 417 710.78/710.95 c 696s | 21 | 6391508 | 1120345 | 7239 338 | 203 | 417 712.98/713.15 c 698s | 21 | 6406308 | 1123045 | 7239 339 | 203 | 417 714.98/715.16 c 700s | 21 | 6424976 | 1126045 | 7239 339 | 203 | 417 716.98/717.16 c 702s | 21 | 6441843 | 1128945 | 7239 340 | 203 | 417 718.98/719.19 c 704s | 21 | 6458161 | 1131945 | 7239 341 | 203 | 417 721.08/721.23 c 706s | 21 | 6473531 | 1135145 | 7239 341 | 203 | 417 723.09/723.24 c 708s | 21 | 6489131 | 1138145 | 7239 342 | 203 | 417 725.08/725.29 c 710s | 21 | 6505308 | 1141245 | 7239 343 | 203 | 417 727.18/727.33 c 712s | 21 | 6519782 | 1143945 | 7239 344 | 203 | 417 729.19/729.39 c 714s | 21 | 6538259 | 1146845 | 7239 344 | 203 | 417 731.28/731.45 c 716s | 21 | 6552523 | 1149645 | 7239 345 | 203 | 417 733.28/733.46 c 718s | 21 | 6567482 | 1152445 | 7239 346 | 203 | 417 735.28/735.49 c 720s | 21 | 6584690 | 1155245 | 7239 346 | 203 | 417 737.38/737.52 c 722s | 21 | 6600999 | 1158145 | 7239 347 | 203 | 417 739.38/739.57 c 724s | 21 | 6617238 | 1160845 | 7239 348 | 203 | 417 741.48/741.60 c 726s | 21 | 6634910 | 1163545 | 7239 348 | 203 | 417 743.48/743.65 c 728s | 21 | 6650766 | 1166445 | 7239 349 | 203 | 417 745.48/745.65 c 730s | 21 | 6667601 | 1169145 | 7239 350 | 203 | 417 747.48/747.69 c 732s | 21 | 6688214 | 1172545 | 7239 350 | 203 | 417 749.58/749.77 c 734s | 21 | 6707375 | 1175745 | 7239 351 | 203 | 417 751.68/751.84 c 736s | 21 | 6727145 | 1178645 | 7239 352 | 203 | 417 753.78/753.90 c 738s | 21 | 6747070 | 1181645 | 7239 353 | 203 | 417 755.78/755.92 c 740s | 21 | 6764756 | 1184545 | 7239 353 | 203 | 417 757.78/757.95 c 743s | 21 | 6785502 | 1188245 | 7239 354 | 203 | 417 759.77/759.96 c 745s | 21 | 6804539 | 1191145 | 7239 355 | 203 | 417 761.87/762.00 c 747s | 21 | 6821390 | 1194045 | 7239 356 | 203 | 417 763.87/764.04 c 749s | 21 | 6838473 | 1197045 | 7239 356 | 203 | 417 765.87/766.07 c 751s | 21 | 6856944 | 1199845 | 7239 357 | 203 | 417 767.97/768.11 c 753s | 21 | 6872699 | 1202545 | 7239 358 | 203 | 417 769.98/770.13 c 755s | 21 | 6890726 | 1205545 | 7239 358 | 203 | 417 771.97/772.20 c 757s | 21 | 6909107 | 1208545 | 7239 359 | 203 | 417 774.07/774.22 c 759s | 21 | 6923850 | 1211245 | 7239 360 | 203 | 417 776.07/776.26 c 761s | 21 | 6939964 | 1214345 | 7239 360 | 203 | 417 778.17/778.35 c 763s | 21 | 6954941 | 1217245 | 7239 361 | 203 | 417 780.17/780.37 c 765s | 21 | 6969653 | 1219745 | 7239 362 | 203 | 417 782.27/782.43 c 767s | 21 | 6985735 | 1222445 | 7239 362 | 203 | 417 784.27/784.47 c 769s | 21 | 7000142 | 1225045 | 7239 363 | 203 | 417 786.38/786.57 c 771s | 21 | 7010345 | 1227045 | 7239 364 | 203 | 417 788.48/788.63 c 773s | 21 | 7027010 | 1229845 | 7239 364 | 203 | 417 790.47/790.65 c 775s | 21 | 7041372 | 1232345 | 7239 365 | 203 | 417 792.57/792.70 c 777s | 21 | 7056439 | 1235245 | 7239 366 | 203 | 417 794.57/794.70 c 779s | 21 | 7069091 | 1237545 | 7239 366 | 203 | 417 796.57/796.72 c 781s | 21 | 7085415 | 1240745 | 7239 367 | 203 | 417 798.58/798.77 c 783s | 21 | 7102362 | 1243845 | 7239 368 | 203 | 417 800.57/800.80 c 785s | 21 | 7119629 | 1247145 | 7239 368 | 203 | 417 802.67/802.82 c 787s | 21 | 7138422 | 1250445 | 7239 369 | 203 | 417 804.67/804.83 c 789s | 21 | 7158243 | 1253945 | 7239 370 | 203 | 417 806.67/806.83 c 791s | 21 | 7176942 | 1257445 | 7239 371 | 203 | 417 808.67/808.86 c 793s | 21 | 7195219 | 1260945 | 7239 372 | 203 | 417 810.68/810.87 c 795s | 21 | 7213915 | 1264245 | 7239 373 | 203 | 417 812.67/812.89 c 797s | 21 | 7231215 | 1267745 | 7239 373 | 203 | 417 814.77/814.91 c 799s | 21 | 7248126 | 1271145 | 7239 374 | 203 | 417 816.77/816.93 c 802s | 21 | 7265768 | 1274245 | 7239 375 | 203 | 417 818.77/818.96 c 804s | 21 | 7282480 | 1277645 | 7239 376 | 203 | 417 820.87/821.00 c 806s | 21 | 7297908 | 1280945 | 7239 377 | 203 | 417 822.87/823.09 c 808s | 21 | 7316189 | 1284145 | 7239 377 | 203 | 417 824.97/825.12 c 810s | 21 | 7334752 | 1287145 | 7239 378 | 203 | 417 826.97/827.13 c 812s | 21 | 7352090 | 1290045 | 7239 379 | 203 | 417 828.97/829.13 c 814s | 21 | 7368020 | 1293145 | 7239 379 | 203 | 417 830.96/831.18 c 816s | 21 | 7387201 | 1296345 | 7239 380 | 203 | 417 833.06/833.21 c 818s | 21 | 7403558 | 1299645 | 7239 381 | 203 | 417 835.06/835.21 c 820s | 21 | 7420564 | 1302545 | 7239 382 | 203 | 417 837.07/837.27 c 822s | 21 | 7439835 | 1305545 | 7239 382 | 203 | 417 839.06/839.30 c 824s | 21 | 7458154 | 1308945 | 7239 383 | 203 | 417 841.16/841.30 c 826s | 21 | 7477510 | 1311845 | 7239 384 | 203 | 417 843.16/843.36 c 828s | 21 | 7495947 | 1315045 | 7239 385 | 203 | 417 845.16/845.37 c 830s | 21 | 7512998 | 1318045 | 7239 385 | 203 | 417 847.26/847.42 c 832s | 21 | 7533559 | 1320845 | 7239 386 | 203 | 417 849.26/849.42 c 834s | 21 | 7549441 | 1324045 | 7239 387 | 203 | 417 851.27/851.44 c 836s | 21 | 7565407 | 1326945 | 7239 388 | 203 | 417 853.26/853.49 c 838s | 21 | 7584908 | 1330245 | 7239 388 | 203 | 417 855.46/855.65 c 840s | 21 | 7599895 | 1333245 | 7239 389 | 203 | 417 857.46/857.66 c 842s | 21 | 7615918 | 1336045 | 7239 390 | 203 | 417 859.56/859.70 c 844s | 21 | 7631228 | 1339545 | 7239 391 | 203 | 417 861.56/861.73 c 846s | 21 | 7649716 | 1342845 | 7239 391 | 203 | 417 863.56/863.74 c 848s | 21 | 7666279 | 1346245 | 7239 392 | 203 | 417 865.57/865.75 c 850s | 21 | 7684258 | 1349345 | 7239 393 | 203 | 417 867.56/867.78 c 852s | 21 | 7699043 | 1351845 | 7239 394 | 203 | 417 869.66/869.81 c 854s | 21 | 7717147 | 1354945 | 7239 394 | 203 | 417 871.66/871.83 c 856s | 21 | 7735256 | 1357845 | 7239 395 | 203 | 417 873.66/873.87 c 858s | 21 | 7750550 | 1360945 | 7239 396 | 203 | 417 875.76/875.91 c 860s | 21 | 7768595 | 1364345 | 7239 397 | 203 | 417 877.76/877.94 c 863s | 21 | 7790398 | 1367245 | 7239 397 | 203 | 417 879.76/879.96 c 865s | 21 | 7806311 | 1370245 | 7239 398 | 203 | 417 881.76/881.98 c 867s | 21 | 7824254 | 1372945 | 7239 399 | 203 | 417 883.85/884.00 c 869s | 21 | 7841210 | 1375845 | 7239 399 | 203 | 417 885.85/886.02 c 871s | 21 | 7855657 | 1379145 | 7239 400 | 203 | 417 887.85/888.03 c 873s | 21 | 7870903 | 1382545 | 7239 401 | 203 | 417 889.86/890.06 c 875s | 21 | 7886571 | 1385545 | 7239 402 | 203 | 417 891.85/892.08 c 877s | 21 | 7901542 | 1388245 | 7239 402 | 203 | 417 893.95/894.11 c 879s | 21 | 7918451 | 1391245 | 7239 403 | 203 | 417 895.95/896.13 c 881s | 21 | 7934545 | 1394045 | 7239 404 | 203 | 417 898.05/898.20 c 883s | 21 | 7950842 | 1397145 | 7239 404 | 203 | 417 900.05/900.24 c 885s | 21 | 7968293 | 1400245 | 7239 405 | 203 | 417 902.05/902.26 c 887s | 21 | 7984679 | 1403045 | 7239 406 | 203 | 417 904.06/904.28 c 889s | 21 | 7999120 | 1406045 | 7239 407 | 203 | 417 906.16/906.36 c 891s | 21 | 8015668 | 1409645 | 7239 407 | 203 | 417 908.16/908.37 c 893s | 21 | 8034484 | 1412945 | 7239 408 | 203 | 417 910.16/910.37 c 895s | 21 | 8050260 | 1416345 | 7239 409 | 203 | 417 912.16/912.38 c 897s | 21 | 8071353 | 1419845 | 7239 410 | 203 | 417 914.26/914.41 c 899s | 21 | 8086668 | 1423545 | 7239 411 | 203 | 417 916.26/916.43 c 901s | 21 | 8104151 | 1426845 | 7239 412 | 203 | 417 918.25/918.48 c 903s | 21 | 8121451 | 1429845 | 7239 412 | 203 | 417 920.35/920.53 c 905s | 21 | 8139686 | 1433345 | 7239 413 | 203 | 417 922.35/922.54 c 907s | 21 | 8156831 | 1436945 | 7239 414 | 203 | 417 924.45/924.60 c 909s | 21 | 8173477 | 1440345 | 7239 415 | 203 | 417 926.45/926.66 c 911s | 21 | 8193722 | 1443645 | 7239 416 | 203 | 417 928.45/928.69 c 913s | 21 | 8214837 | 1446945 | 7239 416 | 203 | 417 930.56/930.72 c 915s | 21 | 8233689 | 1450245 | 7239 417 | 203 | 417 932.55/932.73 c 917s | 21 | 8251994 | 1453545 | 7239 418 | 203 | 417 934.55/934.75 c 919s | 21 | 8266481 | 1456745 | 7239 419 | 203 | 417 936.55/936.75 c 921s | 21 | 8280676 | 1459845 | 7239 420 | 203 | 417 938.65/938.81 c 923s | 21 | 8299402 | 1463045 | 7239 420 | 203 | 417 940.65/940.83 c 925s | 21 | 8314855 | 1466345 | 7239 421 | 203 | 417 942.65/942.87 c 927s | 21 | 8331931 | 1469145 | 7239 422 | 203 | 417 944.65/944.88 c 929s | 21 | 8350051 | 1472145 | 7239 422 | 203 | 417 946.74/946.93 c 932s | 21 | 8363925 | 1475145 | 7239 423 | 203 | 417 948.74/948.94 c 934s | 21 | 8380253 | 1478445 | 7239 424 | 203 | 417 950.74/950.99 c 936s | 21 | 8396470 | 1481645 | 7239 425 | 203 | 417 952.84/953.03 c 938s | 21 | 8411611 | 1484445 | 7239 425 | 203 | 417 954.84/955.08 c 940s | 21 | 8429750 | 1487745 | 7239 426 | 203 | 417 956.84/957.10 c 942s | 21 | 8444098 | 1491045 | 7963 427 | 203 | 417 958.93/959.16 c 944s | 21 | 8460869 | 1494245 | 7963 427 | 203 | 417 961.03/961.21 c 946s | 21 | 8477202 | 1497245 | 7963 428 | 203 | 417 963.03/963.26 c 948s | 21 | 8491376 | 1500245 | 7963 429 | 203 | 417 963.23/963.48 c 948s | 22 | 8492905 | 1500622 | 7963 429 | 203 | 417 965.33/965.53 c 950s | 22 | 8508560 | 1503622 | 7963 430 | 203 | 417 967.33/967.54 c 952s | 22 | 8531246 | 1506522 | 7963 430 | 203 | 417 969.33/969.59 c 954s | 22 | 8549181 | 1509322 | 7963 431 | 203 | 417 971.33/971.59 c 956s | 22 | 8564509 | 1512222 | 7963 431 | 203 | 417 973.43/973.65 c 958s | 22 | 8580952 | 1515122 | 7963 432 | 203 | 417 975.43/975.66 c 960s | 22 | 8596308 | 1518022 | 7963 433 | 203 | 417 977.52/977.76 c 962s | 22 | 8613406 | 1521222 | 7963 433 | 203 | 417 979.62/979.82 c 964s | 22 | 8632731 | 1524522 | 7963 434 | 203 | 417 981.62/981.82 c 966s | 22 | 8650143 | 1527422 | 7963 435 | 203 | 417 983.72/983.90 c 968s | 22 | 8666833 | 1530322 | 7963 435 | 203 | 417 985.72/985.97 c 971s | 22 | 8682651 | 1533222 | 7963 436 | 203 | 417 987.72/987.98 c 973s | 22 | 8697745 | 1535822 | 7963 437 | 203 | 417 989.82/990.01 c 975s | 22 | 8712891 | 1538722 | 7963 437 | 203 | 417 991.82/992.05 c 977s | 22 | 8728785 | 1541822 | 7963 438 | 203 | 417 993.92/994.11 c 979s | 22 | 8743173 | 1544522 | 7963 439 | 203 | 417 995.92/996.16 c 981s | 22 | 8760874 | 1547322 | 7963 439 | 203 | 417 998.01/998.20 c 983s | 22 | 8776718 | 1550322 | 7963 440 | 203 | 417 1000.01/1000.20 c 985s | 22 | 8793201 | 1553222 | 7963 441 | 203 | 417 1002.02/1002.22 c 987s | 22 | 8811316 | 1556322 | 7963 441 | 203 | 417 1004.01/1004.25 c 989s | 22 | 8828143 | 1559622 | 7963 442 | 203 | 417 1006.11/1006.31 c 991s | 22 | 8844081 | 1562922 | 7963 443 | 203 | 417 1008.11/1008.36 c 993s | 22 | 8859038 | 1566022 | 7963 443 | 203 | 417 1010.21/1010.41 c 995s | 22 | 8876331 | 1569122 | 7963 444 | 203 | 417 1012.21/1012.42 c 997s | 22 | 8892911 | 1571922 | 7963 445 | 203 | 417 1014.21/1014.46 c 999s | 22 | 8911649 | 1575022 | 7963 445 | 203 | 417 1016.21/1016.47 c 1001s | 22 | 8928712 | 1577922 | 7963 446 | 203 | 417 1018.30/1018.50 c 1003s | 22 | 8944693 | 1580922 | 7963 447 | 203 | 417 1020.30/1020.52 c 1005s | 22 | 8963544 | 1584322 | 7963 447 | 203 | 417 1022.40/1022.62 c 1007s | 22 | 8979111 | 1587522 | 7963 448 | 203 | 417 1024.40/1024.67 c 1009s | 22 | 8996500 | 1590822 | 7963 449 | 203 | 417 1026.50/1026.71 c 1011s | 22 | 9011136 | 1593922 | 7963 450 | 203 | 417 1028.50/1028.72 c 1013s | 22 | 9026602 | 1597122 | 7963 450 | 203 | 417 1030.50/1030.73 c 1015s | 22 | 9045125 | 1599922 | 7963 451 | 203 | 417 1032.50/1032.77 c 1017s | 22 | 9061356 | 1602722 | 7963 451 | 203 | 417 1034.60/1034.84 c 1019s | 22 | 9075472 | 1605622 | 7963 452 | 203 | 417 1036.71/1036.91 c 1021s | 22 | 9087576 | 1607822 | 7963 453 | 203 | 417 1038.71/1038.92 c 1024s | 22 | 9106345 | 1610522 | 7963 453 | 203 | 417 1040.70/1040.92 c 1026s | 22 | 9122049 | 1613122 | 7963 454 | 203 | 417 1042.71/1042.97 c 1028s | 22 | 9138816 | 1615822 | 7963 454 | 203 | 417 1044.81/1045.02 c 1030s | 22 | 9154581 | 1618722 | 7963 455 | 203 | 417 1046.80/1047.04 c 1032s | 22 | 9169920 | 1621622 | 7963 456 | 203 | 417 1048.80/1049.06 c 1034s | 22 | 9185969 | 1624522 | 7963 456 | 203 | 417 1050.80/1051.08 c 1036s | 22 | 9199408 | 1627122 | 7963 457 | 203 | 417 1052.90/1053.10 c 1038s | 22 | 9217674 | 1630122 | 7963 458 | 203 | 417 1054.90/1055.14 c 1040s | 22 | 9235726 | 1633022 | 7963 458 | 203 | 417 1056.90/1057.15 c 1042s | 22 | 9251031 | 1635722 | 7963 459 | 203 | 417 1059.00/1059.21 c 1044s | 22 | 9265761 | 1638622 | 7963 459 | 203 | 417 1061.00/1061.25 c 1046s | 22 | 9282446 | 1641322 | 7963 460 | 203 | 417 1063.10/1063.30 c 1048s | 22 | 9297168 | 1643922 | 7963 461 | 203 | 417 1065.10/1065.33 c 1050s | 22 | 9313827 | 1646822 | 7963 461 | 203 | 417 1067.09/1067.36 c 1052s | 22 | 9329931 | 1649722 | 7963 462 | 203 | 417 1069.19/1069.40 c 1054s | 22 | 9345572 | 1652522 | 7963 462 | 203 | 417 1071.20/1071.46 c 1056s | 22 | 9355533 | 1654522 | 7963 463 | 203 | 417 1073.29/1073.56 c 1058s | 22 | 9371496 | 1657422 | 7963 464 | 203 | 417 1075.29/1075.58 c 1060s | 22 | 9382903 | 1659922 | 7963 464 | 203 | 417 1077.29/1077.58 c 1062s | 22 | 9396611 | 1662222 | 7963 465 | 203 | 417 1079.39/1079.61 c 1064s | 22 | 9416485 | 1665222 | 7963 465 | 203 | 417 1081.39/1081.64 c 1066s | 22 | 9436224 | 1667922 | 7963 466 | 203 | 417 1083.40/1083.66 c 1068s | 22 | 9454236 | 1670622 | 7963 466 | 203 | 417 1085.49/1085.71 c 1070s | 22 | 9471101 | 1673622 | 7963 467 | 203 | 417 1087.48/1087.73 c 1072s | 22 | 9488054 | 1677022 | 7963 468 | 203 | 417 1089.48/1089.73 c 1074s | 22 | 9505362 | 1680022 | 7963 469 | 203 | 417 1091.48/1091.75 c 1076s | 22 | 9526915 | 1683322 | 7963 469 | 203 | 417 1093.48/1093.79 c 1078s | 22 | 9544021 | 1686422 | 7963 470 | 203 | 417 1095.49/1095.80 c 1080s | 22 | 9559145 | 1689922 | 7963 471 | 203 | 417 1097.59/1097.84 c 1082s | 22 | 9575995 | 1693122 | 7963 471 | 203 | 417 1099.58/1099.85 c 1084s | 22 | 9591575 | 1695822 | 7963 472 | 203 | 417 1101.58/1101.87 c 1086s | 22 | 9602183 | 1697922 | 7963 472 | 203 | 417 1103.58/1103.88 c 1088s | 22 | 9622759 | 1700922 | 7963 473 | 203 | 417 1105.58/1105.89 c 1090s | 22 | 9637711 | 1703822 | 7963 474 | 203 | 417 1107.68/1107.92 c 1092s | 22 | 9656332 | 1706922 | 7963 474 | 203 | 417 1109.68/1109.96 c 1095s | 22 | 9674551 | 1709922 | 7963 475 | 203 | 417 1111.78/1112.01 c 1097s | 22 | 9693118 | 1712822 | 7963 476 | 203 | 417 1113.77/1114.07 c 1099s | 22 | 9712540 | 1715722 | 7963 476 | 203 | 417 1115.87/1116.10 c 1101s | 22 | 9728749 | 1718722 | 7963 477 | 203 | 417 1117.87/1118.15 c 1103s | 22 | 9744347 | 1721922 | 7963 478 | 203 | 417 1119.97/1120.20 c 1105s | 22 | 9760762 | 1725422 | 7963 479 | 203 | 417 1121.97/1122.21 c 1107s | 22 | 9776254 | 1728722 | 7963 479 | 203 | 417 1123.98/1124.25 c 1109s | 22 | 9793158 | 1731122 | 7963 480 | 203 | 417 1126.07/1126.31 c 1111s | 22 | 9808385 | 1734722 | 7963 481 | 203 | 417 1128.07/1128.38 c 1113s | 22 | 9827633 | 1737822 | 7963 481 | 203 | 417 1130.17/1130.45 c 1115s | 22 | 9843097 | 1741122 | 7963 482 | 203 | 417 1132.17/1132.45 c 1117s | 22 | 9855181 | 1744622 | 7963 483 | 203 | 417 1134.17/1134.48 c 1119s | 22 | 9869607 | 1748222 | 7963 484 | 203 | 417 1136.17/1136.48 c 1121s | 22 | 9885142 | 1751322 | 7963 484 | 203 | 417 1138.27/1138.56 c 1123s | 22 | 9904772 | 1754422 | 7963 485 | 203 | 417 1140.26/1140.59 c 1125s | 22 | 9923325 | 1757322 | 7963 486 | 203 | 417 1142.26/1142.60 c 1127s | 22 | 9940057 | 1760322 | 7963 486 | 203 | 417 1144.36/1144.66 c 1129s | 22 | 9956435 | 1763522 | 7963 487 | 203 | 417 1146.46/1146.70 c 1131s | 22 | 9971737 | 1766422 | 7963 488 | 203 | 417 1148.46/1148.74 c 1133s | 22 | 9986492 | 1769822 | 7963 488 | 203 | 417 1150.56/1150.80 c 1135s | 22 | 10000692 | 1772922 | 7963 489 | 203 | 417 1152.56/1152.86 c 1137s | 22 | 10013176 | 1775722 | 7963 490 | 203 | 417 1154.56/1154.88 c 1139s | 22 | 10026146 | 1778722 | 7963 490 | 203 | 417 1156.56/1156.89 c 1141s | 22 | 10039027 | 1781522 | 7963 491 | 203 | 417 1158.65/1158.91 c 1143s | 22 | 10050678 | 1784622 | 7963 492 | 203 | 417 1160.65/1160.94 c 1146s | 22 | 10062642 | 1787722 | 7963 492 | 203 | 417 1162.65/1162.95 c 1148s | 22 | 10075106 | 1790722 | 7963 493 | 203 | 417 1164.66/1164.96 c 1150s | 22 | 10089323 | 1794122 | 7963 494 | 203 | 417 1166.65/1166.99 c 1152s | 22 | 10104256 | 1797622 | 7963 495 | 203 | 417 1168.75/1169.02 c 1154s | 22 | 10118517 | 1800922 | 7963 495 | 203 | 417 1170.75/1171.05 c 1156s | 22 | 10134233 | 1804522 | 7963 496 | 203 | 417 1172.85/1173.11 c 1158s | 22 | 10150288 | 1807522 | 7963 497 | 203 | 417 1174.85/1175.11 c 1160s | 22 | 10165543 | 1810222 | 7963 497 | 203 | 417 1176.85/1177.13 c 1162s | 22 | 10178826 | 1813422 | 7963 498 | 203 | 417 1178.84/1179.17 c 1164s | 22 | 10192136 | 1816422 | 7963 499 | 203 | 417 1180.94/1181.21 c 1166s | 22 | 10206287 | 1819522 | 7963 499 | 203 | 417 1182.94/1183.24 c 1168s | 22 | 10219345 | 1823022 | 7963 500 | 203 | 417 1184.94/1185.28 c 1170s | 22 | 10235020 | 1826622 | 7963 501 | 203 | 417 1187.04/1187.33 c 1172s | 22 | 10251790 | 1830322 | 7963 502 | 203 | 417 1189.04/1189.35 c 1174s | 22 | 10265253 | 1833922 | 7963 503 | 203 | 417 1191.14/1191.42 c 1176s | 22 | 10278205 | 1837522 | 7963 503 | 203 | 417 1193.14/1193.45 c 1178s | 22 | 10291325 | 1840922 | 7963 504 | 203 | 417 1195.14/1195.46 c 1180s | 22 | 10306266 | 1844422 | 7963 505 | 203 | 417 1197.13/1197.48 c 1182s | 22 | 10321087 | 1847322 | 7963 505 | 203 | 417 1199.23/1199.51 c 1184s | 22 | 10336555 | 1850422 | 7963 506 | 203 | 417 1201.23/1201.56 c 1186s | 22 | 10350390 | 1853922 | 7963 507 | 203 | 417 1203.24/1203.56 c 1188s | 22 | 10364106 | 1856822 | 7963 508 | 203 | 417 1205.24/1205.58 c 1190s | 22 | 10379136 | 1859022 | 7963 508 | 203 | 417 1207.23/1207.59 c 1192s | 22 | 10400996 | 1862222 | 7963 509 | 203 | 417 1209.23/1209.59 c 1194s | 22 | 10420762 | 1865322 | 7963 509 | 203 | 417 1211.33/1211.65 c 1196s | 22 | 10440993 | 1868222 | 7963 510 | 203 | 417 1213.33/1213.65 c 1198s | 22 | 10460373 | 1871222 | 7963 511 | 203 | 417 1215.43/1215.76 c 1200s | 22 | 10479686 | 1874322 | 7963 511 | 203 | 417 1217.44/1217.77 c 1202s | 22 | 10497815 | 1877522 | 7963 512 | 203 | 417 1219.53/1219.81 c 1204s | 22 | 10515214 | 1880522 | 7963 513 | 203 | 417 1221.53/1221.87 c 1206s | 22 | 10529787 | 1883322 | 7963 513 | 203 | 417 1223.63/1223.90 c 1208s | 22 | 10544626 | 1886222 | 7963 514 | 203 | 417 1225.63/1225.91 c 1210s | 22 | 10565054 | 1889122 | 7963 515 | 203 | 417 1227.63/1227.91 c 1212s | 22 | 10580710 | 1892122 | 7963 515 | 203 | 417 1229.63/1229.92 c 1214s | 22 | 10597430 | 1894822 | 7963 516 | 203 | 417 1231.62/1231.93 c 1217s | 22 | 10613883 | 1897522 | 7963 517 | 203 | 417 1233.62/1233.98 c 1219s | 22 | 10629988 | 1900522 | 7963 517 | 203 | 417 1235.72/1236.04 c 1221s | 22 | 10645978 | 1903622 | 7963 518 | 203 | 417 1237.72/1238.08 c 1223s | 22 | 10660833 | 1906322 | 7963 519 | 203 | 417 1239.72/1240.09 c 1225s | 22 | 10676365 | 1909022 | 7963 519 | 203 | 417 1241.82/1242.11 c 1227s | 22 | 10691281 | 1912222 | 7963 520 | 203 | 417 1243.82/1244.12 c 1229s | 22 | 10703795 | 1914322 | 7963 520 | 203 | 417 1245.82/1246.15 c 1231s | 22 | 10721949 | 1917922 | 7963 521 | 203 | 417 1247.81/1248.15 c 1233s | 22 | 10735519 | 1921122 | 7963 522 | 203 | 417 1249.81/1250.17 c 1235s | 22 | 10749092 | 1924322 | 7963 523 | 203 | 417 1251.81/1252.19 c 1237s | 22 | 10767436 | 1927322 | 7963 523 | 203 | 417 1253.91/1254.24 c 1239s | 22 | 10785132 | 1930222 | 7963 524 | 203 | 417 1255.92/1256.29 c 1241s | 22 | 10802568 | 1933222 | 7963 524 | 203 | 417 1257.91/1258.30 c 1243s | 22 | 10819369 | 1935822 | 7963 525 | 203 | 417 1260.01/1260.30 c 1245s | 22 | 10834425 | 1938522 | 7963 526 | 203 | 417 1262.01/1262.36 c 1247s | 22 | 10846922 | 1941522 | 7963 526 | 203 | 417 1264.01/1264.38 c 1249s | 22 | 10864485 | 1944322 | 7963 527 | 203 | 417 1266.11/1266.46 c 1251s | 22 | 10880479 | 1946922 | 7963 528 | 203 | 417 1268.21/1268.50 c 1253s | 22 | 10900483 | 1949822 | 7963 528 | 203 | 417 1270.21/1270.53 c 1255s | 22 | 10918349 | 1952622 | 7963 529 | 203 | 417 1272.21/1272.58 c 1257s | 22 | 10935483 | 1955422 | 7963 529 | 203 | 417 1274.31/1274.61 c 1259s | 22 | 10953251 | 1958222 | 7963 530 | 203 | 417 1276.31/1276.62 c 1261s | 22 | 10967027 | 1961422 | 7963 531 | 203 | 417 1278.40/1278.72 c 1263s | 22 | 10983187 | 1964222 | 7963 531 | 203 | 417 1280.40/1280.78 c 1265s | 22 | 10999254 | 1967022 | 7963 532 | 203 | 417 1282.50/1282.82 c 1267s | 22 | 11014645 | 1969822 | 7963 533 | 203 | 417 1284.51/1284.83 c 1269s | 22 | 11029867 | 1972622 | 7963 533 | 203 | 417 1286.60/1286.90 c 1271s | 22 | 11045300 | 1975522 | 7963 534 | 203 | 417 1288.80/1289.16 c 1274s | 22 | 11054061 | 1977422 | 7963 534 | 203 | 417 1290.80/1291.19 c 1276s | 22 | 11068049 | 1980122 | 7963 535 | 203 | 417 1292.90/1293.21 c 1278s | 22 | 11081584 | 1983022 | 7963 536 | 203 | 417 1294.90/1295.22 c 1280s | 22 | 11097075 | 1986122 | 7963 536 | 203 | 417 1296.89/1297.26 c 1282s | 22 | 11112929 | 1988922 | 7963 537 | 203 | 417 1298.99/1299.32 c 1284s | 22 | 11131401 | 1991622 | 7963 537 | 203 | 417 1301.00/1301.33 c 1286s | 22 | 11149942 | 1994522 | 7963 538 | 203 | 417 1302.99/1303.38 c 1288s | 22 | 11169324 | 1997822 | 7963 539 | 203 | 417 1305.09/1305.40 c 1290s | 22 | 11186778 | 2000922 | 7963 539 | 203 | 417 1307.09/1307.43 c 1292s | 22 | 11201348 | 2003722 | 7963 540 | 203 | 417 1309.09/1309.47 c 1294s | 22 | 11215381 | 2006822 | 7963 541 | 203 | 417 1311.09/1311.48 c 1296s | 22 | 11233284 | 2009622 | 7963 541 | 203 | 417 1313.09/1313.49 c 1298s | 22 | 11251001 | 2013322 | 7963 542 | 203 | 417 1315.19/1315.54 c 1300s | 22 | 11267881 | 2016822 | 7963 543 | 203 | 417 1317.18/1317.56 c 1302s | 22 | 11282061 | 2020222 | 7963 544 | 203 | 417 1319.28/1319.64 c 1304s | 22 | 11297003 | 2023722 | 7963 545 | 203 | 417 1321.28/1321.67 c 1306s | 22 | 11311851 | 2027422 | 7963 545 | 203 | 417 1323.38/1323.70 c 1308s | 22 | 11328192 | 2030622 | 7963 546 | 203 | 417 1325.38/1325.71 c 1310s | 22 | 11345320 | 2033622 | 7963 547 | 203 | 417 1327.39/1327.75 c 1312s | 22 | 11364271 | 2036722 | 7963 547 | 203 | 417 1329.38/1329.79 c 1314s | 22 | 11381521 | 2039822 | 7963 548 | 203 | 417 1331.38/1331.79 c 1316s | 22 | 11393656 | 2042722 | 7963 549 | 203 | 417 1333.48/1333.83 c 1318s | 22 | 11408785 | 2046322 | 7963 550 | 203 | 417 1335.48/1335.88 c 1320s | 22 | 11424064 | 2049822 | 7963 550 | 203 | 417 1337.57/1337.91 c 1322s | 22 | 11441460 | 2053222 | 7963 551 | 203 | 417 1339.58/1339.92 c 1324s | 22 | 11457071 | 2056222 | 7963 552 | 203 | 417 1341.57/1341.98 c 1327s | 22 | 11474283 | 2059522 | 7963 552 | 203 | 417 1343.58/1343.99 c 1329s | 22 | 11490111 | 2062822 | 7963 553 | 203 | 417 1345.68/1346.00 c 1331s | 22 | 11504863 | 2066322 | 7963 554 | 203 | 417 1347.68/1348.04 c 1333s | 22 | 11521581 | 2070122 | 7963 555 | 203 | 417 1349.78/1350.11 c 1335s | 22 | 11537187 | 2073622 | 7963 556 | 203 | 417 1351.78/1352.13 c 1337s | 22 | 11552052 | 2076822 | 7963 556 | 203 | 417 1353.78/1354.20 c 1339s | 22 | 11568200 | 2079922 | 7963 557 | 203 | 417 1355.88/1356.25 c 1341s | 22 | 11583362 | 2082922 | 7963 558 | 203 | 417 1357.97/1358.33 c 1343s | 22 | 11600274 | 2085922 | 7963 558 | 203 | 417 1359.97/1360.38 c 1345s | 22 | 11617457 | 2088822 | 7963 559 | 203 | 417 1362.07/1362.44 c 1347s | 22 | 11634059 | 2091722 | 7963 560 | 203 | 417 1364.07/1364.47 c 1349s | 22 | 11647281 | 2094522 | 7963 560 | 203 | 417 1366.07/1366.47 c 1351s | 22 | 11662029 | 2097122 | 7963 561 | 203 | 417 1368.17/1368.51 c 1353s | 22 | 11675852 | 2099922 | 7963 561 | 203 | 417 1370.16/1370.51 c 1355s | 22 | 11690216 | 2102822 | 7963 562 | 203 | 417 1372.16/1372.54 c 1357s | 22 | 11705537 | 2105822 | 7963 563 | 203 | 417 1374.16/1374.59 c 1359s | 22 | 11719024 | 2108722 | 7963 563 | 203 | 417 1376.26/1376.64 c 1361s | 22 | 11730635 | 2111122 | 7963 564 | 203 | 417 1378.26/1378.65 c 1363s | 22 | 11746396 | 2114322 | 7963 564 | 203 | 417 1380.26/1380.68 c 1365s | 22 | 11763891 | 2117822 | 7963 565 | 203 | 417 1382.36/1382.72 c 1367s | 22 | 11780092 | 2120722 | 7963 566 | 203 | 417 1384.35/1384.74 c 1369s | 22 | 11795512 | 2123622 | 7963 567 | 203 | 417 1386.45/1386.80 c 1371s | 22 | 11811763 | 2126522 | 7963 567 | 203 | 417 1388.45/1388.81 c 1373s | 22 | 11826884 | 2129522 | 7963 568 | 203 | 417 1390.45/1390.87 c 1375s | 22 | 11843924 | 2132422 | 7963 568 | 203 | 417 1392.45/1392.88 c 1377s | 22 | 11858234 | 2135122 | 7963 569 | 203 | 417 1394.65/1395.09 c 1380s | 22 | 11871542 | 2137722 | 7963 570 | 203 | 417 1396.66/1397.09 c 1382s | 22 | 11888893 | 2140622 | 7963 570 | 203 | 417 1398.75/1399.13 c 1384s | 22 | 11903871 | 2143622 | 7963 571 | 203 | 417 1400.75/1401.18 c 1386s | 22 | 11919224 | 2146622 | 7963 572 | 203 | 417 1402.85/1403.22 c 1388s | 22 | 11933568 | 2149422 | 7963 572 | 203 | 417 1404.85/1405.23 c 1390s | 22 | 11950383 | 2152222 | 7963 573 | 203 | 417 1406.94/1407.30 c 1392s | 22 | 11964306 | 2155022 | 7963 573 | 203 | 417 1408.94/1409.37 c 1394s | 22 | 11982155 | 2157722 | 7963 574 | 203 | 417 1410.95/1411.38 c 1396s | 22 | 11996557 | 2160222 | 7963 575 | 203 | 417 1412.94/1413.39 c 1398s | 22 | 12007818 | 2162922 | 7963 575 | 203 | 417 1415.14/1415.56 c 1400s | 22 | 12022139 | 2165822 | 7963 576 | 203 | 417 1417.14/1417.58 c 1402s | 22 | 12035973 | 2168822 | 7963 577 | 203 | 417 1419.24/1419.61 c 1404s | 22 | 12050980 | 2171822 | 7963 577 | 203 | 417 1421.24/1421.66 c 1406s | 22 | 12066322 | 2175422 | 7963 578 | 203 | 417 1423.33/1423.72 c 1408s | 22 | 12084033 | 2178622 | 7963 579 | 203 | 417 1425.34/1425.78 c 1410s | 22 | 12095512 | 2180822 | 7963 579 | 203 | 417 1427.44/1427.83 c 1412s | 22 | 12111583 | 2184222 | 7963 580 | 203 | 417 1429.43/1429.85 c 1414s | 22 | 12130093 | 2187622 | 7963 581 | 203 | 417 1431.43/1431.87 c 1416s | 22 | 12148271 | 2191522 | 7963 582 | 203 | 417 1433.53/1433.92 c 1418s | 22 | 12165765 | 2195322 | 7963 582 | 203 | 417 1435.53/1435.96 c 1421s | 22 | 12184396 | 2199122 | 7963 583 | 203 | 417 1437.52/1437.98 c 1423s | 22 | 12204359 | 2202722 | 7963 584 | 203 | 417 1439.53/1440.00 c 1425s | 22 | 12220451 | 2206422 | 7963 585 | 203 | 417 1441.62/1442.02 c 1427s | 22 | 12233587 | 2209922 | 7963 586 | 203 | 417 1443.63/1444.05 c 1429s | 22 | 12248186 | 2213422 | 7963 586 | 203 | 417 1445.73/1446.11 c 1431s | 22 | 12263260 | 2216922 | 7963 587 | 203 | 417 1447.73/1448.16 c 1433s | 22 | 12281712 | 2220322 | 7963 588 | 203 | 417 1449.73/1450.19 c 1435s | 22 | 12299422 | 2224022 | 7963 589 | 203 | 417 1451.83/1452.25 c 1437s | 22 | 12316377 | 2227822 | 7963 590 | 203 | 417 1454.03/1454.43 c 1439s | 22 | 12331868 | 2231122 | 7963 590 | 203 | 417 1456.03/1456.49 c 1441s | 22 | 12347005 | 2234222 | 8760 591 | 203 | 417 1458.12/1458.52 c 1443s | 22 | 12364620 | 2237422 | 8760 591 | 203 | 417 1460.12/1460.56 c 1445s | 22 | 12381404 | 2240422 | 8760 592 | 203 | 417 1462.12/1462.56 c 1447s | 22 | 12399477 | 2243222 | 8760 593 | 203 | 417 1464.22/1464.61 c 1449s | 22 | 12416467 | 2246122 | 8760 593 | 203 | 417 1466.22/1466.61 c 1451s | 22 | 12431982 | 2248822 | 8760 594 | 203 | 417 1467.72/1468.10 c 1453s | 23 | 12444340 | 2251038 | 8760 594 | 203 | 417 1469.72/1470.17 c 1455s | 23 | 12460914 | 2253538 | 8760 595 | 203 | 417 1471.72/1472.19 c 1457s | 23 | 12477605 | 2256338 | 8760 595 | 203 | 417 1473.82/1474.26 c 1459s | 23 | 12494793 | 2259038 | 8760 596 | 203 | 417 1475.92/1476.33 c 1461s | 23 | 12510036 | 2262038 | 8760 596 | 203 | 417 1477.91/1478.39 c 1463s | 23 | 12522735 | 2264538 | 8760 597 | 203 | 417 1480.01/1480.43 c 1465s | 23 | 12541494 | 2268138 | 8760 598 | 203 | 417 1482.01/1482.44 c 1467s | 23 | 12559833 | 2271538 | 8760 598 | 203 | 417 1484.01/1484.46 c 1469s | 23 | 12578267 | 2275138 | 8760 599 | 203 | 417 1486.11/1486.50 c 1471s | 23 | 12596458 | 2278538 | 8760 600 | 203 | 417 1488.10/1488.51 c 1473s | 23 | 12613554 | 2282138 | 8760 601 | 203 | 417 1490.11/1490.57 c 1475s | 23 | 12627177 | 2285038 | 8760 601 | 203 | 417 1492.10/1492.57 c 1477s | 23 | 12643682 | 2288338 | 8760 602 | 203 | 417 1494.20/1494.63 c 1479s | 23 | 12661392 | 2291638 | 8760 603 | 203 | 417 1496.20/1496.66 c 1481s | 23 | 12679814 | 2295338 | 8760 603 | 203 | 417 1498.30/1498.70 c 1483s | 23 | 12697223 | 2298038 | 8760 604 | 203 | 417 1500.30/1500.75 c 1485s | 23 | 12716398 | 2301538 | 8760 605 | 203 | 417 1502.31/1502.79 c 1487s | 23 | 12734201 | 2305238 | 8760 605 | 203 | 417 1504.30/1504.80 c 1489s | 23 | 12750277 | 2308438 | 8760 606 | 203 | 417 1506.40/1506.85 c 1491s | 23 | 12766473 | 2312038 | 8760 607 | 203 | 417 1508.40/1508.87 c 1493s | 23 | 12783108 | 2315238 | 8760 607 | 203 | 417 1510.50/1510.94 c 1496s | 23 | 12801173 | 2318038 | 8760 608 | 203 | 417 1512.50/1512.98 c 1498s | 23 | 12818719 | 2321038 | 8760 608 | 203 | 417 1514.79/1515.25 c 1500s | 23 | 12833035 | 2323638 | 8760 609 | 203 | 417 1516.79/1517.27 c 1502s | 23 | 12850357 | 2326438 | 8760 610 | 203 | 417 1518.89/1519.31 c 1504s | 23 | 12868612 | 2329538 | 8760 610 | 203 | 417 1520.90/1521.35 c 1506s | 23 | 12885939 | 2332638 | 8760 611 | 203 | 417 1522.99/1523.41 c 1508s | 23 | 12901078 | 2335938 | 8760 611 | 203 | 417 1524.99/1525.44 c 1510s | 23 | 12916071 | 2339238 | 8760 612 | 203 | 417 1527.09/1527.50 c 1512s | 23 | 12932489 | 2342338 | 8760 613 | 203 | 417 1529.09/1529.56 c 1514s | 23 | 12949235 | 2345638 | 8760 613 | 203 | 417 1531.09/1531.57 c 1516s | 23 | 12967371 | 2349438 | 8760 614 | 203 | 417 1533.19/1533.61 c 1518s | 23 | 12985690 | 2352338 | 8760 615 | 203 | 417 1535.19/1535.61 c 1520s | 23 | 13002183 | 2355438 | 8760 615 | 203 | 417 1537.18/1537.65 c 1522s | 23 | 13015180 | 2358338 | 8760 616 | 203 | 417 1539.28/1539.72 c 1524s | 23 | 13036376 | 2361438 | 8760 617 | 203 | 417 1541.29/1541.74 c 1526s | 23 | 13052869 | 2364438 | 8760 617 | 203 | 417 1543.39/1543.80 c 1528s | 23 | 13067793 | 2367538 | 8760 618 | 203 | 417 1545.39/1545.80 c 1530s | 23 | 13082856 | 2370738 | 8760 619 | 203 | 417 1547.39/1547.83 c 1532s | 23 | 13098687 | 2373838 | 8760 619 | 203 | 417 1549.38/1549.83 c 1534s | 23 | 13113960 | 2376738 | 8760 620 | 203 | 417 1551.38/1551.84 c 1536s | 23 | 13129415 | 2379638 | 8760 620 | 203 | 417 1553.38/1553.85 c 1538s | 23 | 13143019 | 2382738 | 8760 621 | 203 | 417 1555.38/1555.87 c 1540s | 23 | 13157687 | 2385838 | 8760 622 | 203 | 417 1557.67/1558.11 c 1543s | 23 | 13169029 | 2388538 | 8760 622 | 203 | 417 1559.67/1560.12 c 1545s | 23 | 13185198 | 2390938 | 8760 623 | 203 | 417 1561.68/1562.15 c 1547s | 23 | 13200059 | 2393738 | 8760 623 | 203 | 417 1563.67/1564.16 c 1549s | 23 | 13215969 | 2397138 | 8760 624 | 203 | 417 1565.77/1566.21 c 1551s | 23 | 13230939 | 2400238 | 8760 625 | 203 | 417 1567.77/1568.25 c 1553s | 23 | 13247121 | 2403138 | 8760 625 | 203 | 417 1569.77/1570.25 c 1555s | 23 | 13262931 | 2405738 | 8760 626 | 203 | 417 1571.87/1572.33 c 1557s | 23 | 13278735 | 2408538 | 8760 626 | 203 | 417 1573.87/1574.33 c 1559s | 23 | 13292653 | 2411438 | 8760 627 | 203 | 417 1575.87/1576.37 c 1561s | 23 | 13307271 | 2414338 | 8760 627 | 203 | 417 1577.97/1578.40 c 1563s | 23 | 13323481 | 2417238 | 8760 628 | 203 | 417 1579.97/1580.44 c 1565s | 23 | 13339038 | 2419838 | 8760 629 | 203 | 417 1582.07/1582.50 c 1567s | 23 | 13351554 | 2422538 | 8760 629 | 203 | 417 1584.07/1584.53 c 1569s | 23 | 13366977 | 2425338 | 8760 630 | 203 | 417 1586.07/1586.53 c 1571s | 23 | 13382245 | 2428938 | 8760 630 | 203 | 417 1588.07/1588.54 c 1573s | 23 | 13396885 | 2431738 | 8760 631 | 203 | 417 1590.07/1590.57 c 1575s | 23 | 13410984 | 2434438 | 8760 631 | 203 | 417 1592.17/1592.62 c 1577s | 23 | 13426968 | 2437138 | 8760 632 | 203 | 417 1594.17/1594.63 c 1579s | 23 | 13441585 | 2439838 | 8760 633 | 203 | 417 1596.16/1596.68 c 1581s | 23 | 13455848 | 2442438 | 8760 633 | 203 | 417 1598.26/1598.74 c 1583s | 23 | 13470171 | 2444938 | 8760 634 | 203 | 417 1600.26/1600.74 c 1585s | 23 | 13485426 | 2447638 | 8760 634 | 203 | 417 1602.27/1602.76 c 1587s | 23 | 13497297 | 2450038 | 8760 635 | 203 | 417 1604.36/1604.81 c 1589s | 23 | 13509744 | 2452538 | 8760 635 | 203 | 417 1606.36/1606.89 c 1591s | 23 | 13525497 | 2455138 | 8760 636 | 203 | 417 1608.46/1608.94 c 1594s | 23 | 13539379 | 2457538 | 8760 636 | 203 | 417 1610.46/1610.96 c 1596s | 23 | 13555764 | 2459838 | 8760 637 | 203 | 417 1612.56/1613.01 c 1598s | 23 | 13571506 | 2462438 | 8760 637 | 203 | 417 1614.56/1615.02 c 1600s | 23 | 13585387 | 2464738 | 8760 638 | 203 | 417 1616.57/1617.08 c 1602s | 23 | 13598989 | 2467638 | 8760 638 | 203 | 417 1618.66/1619.12 c 1604s | 23 | 13609758 | 2470138 | 8760 639 | 203 | 417 1620.66/1621.14 c 1606s | 23 | 13619276 | 2472638 | 8760 639 | 203 | 417 1622.76/1623.20 c 1608s | 23 | 13633063 | 2475138 | 8760 640 | 203 | 417 1624.86/1625.30 c 1610s | 23 | 13647861 | 2477838 | 8760 640 | 203 | 417 1626.86/1627.37 c 1612s | 23 | 13661965 | 2480238 | 8760 641 | 203 | 417 1628.96/1629.43 c 1614s | 23 | 13672266 | 2482338 | 8760 641 | 203 | 417 1630.96/1631.44 c 1616s | 23 | 13693678 | 2484938 | 8760 642 | 203 | 417 1632.96/1633.45 c 1618s | 23 | 13711858 | 2488138 | 8760 642 | 203 | 417 1634.96/1635.49 c 1620s | 23 | 13725738 | 2490338 | 8760 643 | 203 | 417 1637.06/1637.58 c 1622s | 23 | 13741795 | 2493538 | 8760 644 | 203 | 417 1639.16/1639.63 c 1624s | 23 | 13758980 | 2497338 | 8760 644 | 203 | 417 1641.16/1641.65 c 1626s | 23 | 13773713 | 2500638 | 8760 645 | 203 | 417 1643.16/1643.66 c 1628s | 23 | 13787580 | 2503838 | 8760 646 | 203 | 417 1645.17/1645.70 c 1630s | 23 | 13800463 | 2506638 | 8760 646 | 203 | 417 1647.26/1647.71 c 1632s | 23 | 13818845 | 2509538 | 8760 647 | 203 | 417 1649.26/1649.78 c 1634s | 23 | 13837944 | 2512638 | 8760 647 | 203 | 417 1651.36/1651.85 c 1636s | 23 | 13853594 | 2515538 | 8760 648 | 203 | 417 1653.36/1653.86 c 1638s | 23 | 13870934 | 2518338 | 8760 649 | 203 | 417 1655.46/1655.90 c 1640s | 23 | 13889199 | 2521138 | 8760 649 | 203 | 417 1657.46/1657.94 c 1643s | 23 | 13902317 | 2523638 | 8760 650 | 203 | 417 1659.46/1659.95 c 1645s | 23 | 13916560 | 2526338 | 8760 650 | 203 | 417 1661.46/1661.97 c 1647s | 23 | 13935111 | 2529138 | 8760 651 | 203 | 417 1663.56/1664.04 c 1649s | 23 | 13953711 | 2531938 | 8760 651 | 203 | 417 1665.56/1666.06 c 1651s | 23 | 13965593 | 2534638 | 8760 652 | 203 | 417 1667.66/1668.12 c 1653s | 23 | 13983660 | 2537538 | 8760 652 | 203 | 417 1669.66/1670.15 c 1655s | 23 | 14002008 | 2540338 | 8760 653 | 203 | 417 1671.75/1672.23 c 1657s | 23 | 14021007 | 2543138 | 8760 654 | 203 | 417 1673.76/1674.26 c 1659s | 23 | 14034857 | 2546038 | 8760 654 | 203 | 417 1675.75/1676.29 c 1661s | 23 | 14049585 | 2548938 | 8760 655 | 203 | 417 1677.85/1678.31 c 1663s | 23 | 14062776 | 2551738 | 8760 655 | 203 | 417 1679.85/1680.37 c 1665s | 23 | 14079407 | 2554538 | 8760 656 | 203 | 417 1681.95/1682.42 c 1667s | 23 | 14092398 | 2557538 | 8760 656 | 203 | 417 1683.95/1684.46 c 1669s | 23 | 14104218 | 2559838 | 8760 657 | 203 | 417 1686.05/1686.50 c 1671s | 23 | 14116191 | 2562538 | 8760 658 | 203 | 417 1688.06/1688.52 c 1673s | 23 | 14132238 | 2565838 | 8760 658 | 203 | 417 1690.05/1690.57 c 1675s | 23 | 14148757 | 2568438 | 8760 659 | 203 | 417 1692.15/1692.61 c 1677s | 23 | 14164433 | 2571038 | 8760 659 | 203 | 417 1694.15/1694.66 c 1679s | 23 | 14179077 | 2573538 | 8760 660 | 203 | 417 1696.25/1696.73 c 1681s | 23 | 14195469 | 2576138 | 8760 660 | 203 | 417 1698.25/1698.74 c 1683s | 23 | 14215735 | 2578938 | 8760 661 | 203 | 417 1700.35/1700.80 c 1685s | 23 | 14234022 | 2581638 | 8760 661 | 203 | 417 1702.35/1702.86 c 1687s | 23 | 14250302 | 2584738 | 8760 662 | 203 | 417 1704.35/1704.88 c 1689s | 23 | 14265979 | 2587638 | 8760 663 | 203 | 417 1706.45/1706.94 c 1692s | 23 | 14285730 | 2590838 | 8760 663 | 203 | 417 1708.45/1708.96 c 1694s | 23 | 14302848 | 2594138 | 8760 664 | 203 | 417 1710.55/1711.00 c 1696s | 23 | 14318535 | 2597438 | 8760 665 | 203 | 417 1712.55/1713.01 c 1698s | 23 | 14333384 | 2600838 | 8760 665 | 203 | 417 1714.55/1715.01 c 1700s | 23 | 14350015 | 2603738 | 8760 666 | 203 | 417 1716.55/1717.02 c 1702s | 23 | 14364757 | 2606538 | 8760 666 | 203 | 417 1718.54/1719.06 c 1704s | 23 | 14381756 | 2609238 | 8760 667 | 203 | 417 1720.64/1721.11 c 1706s | 23 | 14399055 | 2611938 | 8760 668 | 203 | 417 1722.64/1723.18 c 1708s | 23 | 14413183 | 2614538 | 8760 668 | 203 | 417 1724.74/1725.24 c 1710s | 23 | 14429284 | 2616938 | 8760 669 | 203 | 417 1726.74/1727.30 c 1712s | 23 | 14445136 | 2619538 | 8760 669 | 203 | 417 1728.85/1729.36 c 1714s | 23 | 14460569 | 2622138 | 8760 670 | 203 | 417 1730.84/1731.36 c 1716s | 23 | 14477329 | 2624738 | 8760 670 | 203 | 417 1732.94/1733.42 c 1718s | 23 | 14491058 | 2627338 | 8760 671 | 203 | 417 1734.94/1735.45 c 1720s | 23 | 14507551 | 2629838 | 8760 671 | 203 | 417 1737.04/1737.50 c 1722s | 23 | 14524916 | 2632338 | 8760 672 | 203 | 417 1739.04/1739.57 c 1724s | 23 | 14540180 | 2635038 | 8760 672 | 203 | 417 1741.04/1741.58 c 1726s | 23 | 14555456 | 2637638 | 8760 673 | 203 | 417 1743.05/1743.59 c 1728s | 23 | 14570767 | 2639938 | 8760 673 | 203 | 417 1745.14/1745.65 c 1730s | 23 | 14584738 | 2642438 | 8760 674 | 203 | 417 1747.14/1747.67 c 1732s | 23 | 14600743 | 2645038 | 8760 674 | 203 | 417 1749.24/1749.71 c 1734s | 23 | 14612042 | 2647838 | 8760 675 | 203 | 417 1751.24/1751.73 c 1736s | 23 | 14621728 | 2650338 | 8760 675 | 203 | 417 1753.24/1753.74 c 1738s | 23 | 14630361 | 2652038 | 8760 676 | 203 | 417 1755.25/1755.75 c 1740s | 23 | 14642577 | 2654838 | 8760 676 | 203 | 417 1757.25/1757.80 c 1742s | 23 | 14656243 | 2657538 | 8760 677 | 203 | 417 1759.45/1759.90 c 1744s | 23 | 14673186 | 2660938 | 8760 678 | 203 | 417 1761.45/1761.93 c 1747s | 23 | 14687283 | 2664438 | 8760 678 | 203 | 417 1763.44/1763.94 c 1749s | 23 | 14699548 | 2667638 | 8760 679 | 203 | 417 1765.54/1766.01 c 1751s | 23 | 14714543 | 2670938 | 8760 680 | 203 | 417 1767.54/1768.02 c 1753s | 23 | 14730871 | 2674138 | 8760 680 | 203 | 417 1769.55/1770.04 c 1755s | 23 | 14746667 | 2676638 | 8760 681 | 203 | 417 1771.54/1772.10 c 1757s | 23 | 14761258 | 2679038 | 8760 681 | 203 | 417 1773.64/1774.12 c 1759s | 23 | 14774179 | 2681638 | 8760 682 | 203 | 417 1775.64/1776.13 c 1761s | 23 | 14789268 | 2684538 | 8760 682 | 203 | 417 1777.64/1778.14 c 1763s | 23 | 14804901 | 2687038 | 8760 683 | 203 | 417 1779.64/1780.15 c 1765s | 23 | 14816188 | 2689338 | 8760 683 | 203 | 417 1781.65/1782.19 c 1767s | 23 | 14832283 | 2692138 | 8760 684 | 203 | 417 1783.75/1784.27 c 1769s | 23 | 14847179 | 2694838 | 8760 684 | 203 | 417 1785.74/1786.28 c 1771s | 23 | 14864153 | 2697438 | 8760 685 | 203 | 417 1787.84/1788.32 c 1773s | 23 | 14881371 | 2700038 | 8760 685 | 203 | 417 1789.84/1790.33 c 1775s | 23 | 14898404 | 2702738 | 8760 686 | 203 | 417 1791.84/1792.37 c 1777s | 23 | 14915661 | 2705338 | 8760 687 | 203 | 417 1793.94/1794.40 c 1779s | 23 | 14929732 | 2708038 | 8760 687 | 203 | 417 1795.84/1796.40 c 1781s | 23 | 14944966 | 2710638 | 8760 688 | 203 | 417 1797.94/1798.43 c 1783s | 23 | 14961854 | 2713538 | 8760 688 | 203 | 417 1799.94/1800.47 c 1785s | 23 | 14979905 | 2716038 | 8760 689 | 203 | 417
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-4079104-1465253591/watcher-4079104-1465253591 -o /tmp/evaluation-result-4079104-1465253591/solver-4079104-1465253591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079104-1465253591.opb pid=4923 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.04 2.01 3/179 4926 /proc/meminfo: memFree=30570196/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=684476 CPUtime=0 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 2543 0 0 0 0 0 0 0 20 0 4 0 107294546 700903424 3416 33554432000 4194304 16246674 140736091413120 140736091412544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 171631 3422 441 2943 0 168525 0 [pid=4926/tid=4927] ppid=4923 vsize=701884 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 718729216 3483 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=707004 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 723972096 3502 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=711100 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 728166400 3518 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100216 s] /proc/loadavg: 2.10 2.04 2.01 3/179 4926 /proc/meminfo: memFree=30570196/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 29602 0 0 0 5 4 0 0 20 0 4 0 107294546 1247350784 30461 33554432000 4194304 16246674 140736091413120 140736091412544 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 304529 30475 760 2943 0 301423 0 [pid=4926/tid=4927] ppid=4923 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1247350784 30485 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1247350784 30495 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1247350784 30506 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200511 s] /proc/loadavg: 2.10 2.04 2.01 3/179 4926 /proc/meminfo: memFree=30570196/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 47796 0 0 0 11 8 0 0 20 0 4 0 107294546 1249447936 48634 33554432000 4194304 16246674 140736091413120 140736091412432 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 305041 48648 830 2943 0 301935 0 [pid=4926/tid=4927] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 48658 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 48669 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 48679 33554432000 4194304 16246674 140736091413120 139948757871792 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.300458 s] /proc/loadavg: 2.10 2.04 2.01 3/179 4926 /proc/meminfo: memFree=30570196/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 80349 0 0 0 17 12 0 0 20 0 4 0 107294546 1249447936 81187 33554432000 4194304 16246674 140736091413120 140736091395008 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 305041 81204 830 2943 0 301935 0 [pid=4926/tid=4927] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 81214 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 81224 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1249447936 81235 33554432000 4194304 16246674 140736091413120 139948757871792 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.700409 s] /proc/loadavg: 2.10 2.04 2.01 3/179 4926 /proc/meminfo: memFree=30570196/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1307204 CPUtime=0.69 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 102778 0 0 0 54 15 0 0 20 0 4 0 107294546 1338576896 103615 33554432000 4194304 16246674 140736091413120 140736091395008 12429087 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 326801 103615 833 2943 0 323695 0 [pid=4926/tid=4927] ppid=4923 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1338576896 103615 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1338576896 103615 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1338576896 103615 33554432000 4194304 16246674 140736091413120 139948757871792 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) 1307204 [startup+1.50039 s] /proc/loadavg: 2.10 2.04 2.01 3/183 4930 /proc/meminfo: memFree=29835972/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1318468 CPUtime=1.49 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270581 0 0 0 113 36 0 0 20 0 4 0 107294546 1350111232 271418 33554432000 4194304 16246674 140736091413120 140736091395008 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329617 271424 833 2943 0 326511 0 [pid=4926/tid=4927] ppid=4923 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1350111232 271428 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1350111232 271431 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1350111232 271435 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1318468 [startup+3.1004 s] /proc/loadavg: 2.10 2.04 2.01 3/183 4930 /proc/meminfo: memFree=29483440/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1319492 CPUtime=3.09 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270944 0 0 0 273 36 0 0 20 0 4 0 107294546 1351159808 271781 33554432000 4194304 16246674 140736091413120 140736091395008 12655228 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329873 271781 833 2943 0 326767 0 [pid=4926/tid=4927] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271781 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271781 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271781 33554432000 4194304 16246674 140736091413120 139948757871792 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) 1319492 [startup+6.3004 s] /proc/loadavg: 2.10 2.04 2.01 3/183 4930 /proc/meminfo: memFree=29483284/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1319492 CPUtime=6.29 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270954 0 0 0 593 36 0 0 20 0 4 0 107294546 1351159808 271791 33554432000 4194304 16246674 140736091413120 140736091395008 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329873 271791 843 2943 0 326767 0 [pid=4926/tid=4927] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271791 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271791 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271791 33554432000 4194304 16246674 140736091413120 139948757871792 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) 1319492 [startup+12.7004 s] /proc/loadavg: 2.09 2.04 2.01 3/183 4930 /proc/meminfo: memFree=29483168/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1319492 CPUtime=12.69 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270956 0 0 0 1233 36 0 0 20 0 4 0 107294546 1351159808 271793 33554432000 4194304 16246674 140736091413120 140736091395008 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329873 271793 843 2943 0 326767 0 [pid=4926/tid=4927] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271793 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271793 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271793 33554432000 4194304 16246674 140736091413120 139948757871792 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) 1319492 [startup+25.5005 s] /proc/loadavg: 2.07 2.04 2.01 3/183 4930 /proc/meminfo: memFree=29484176/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1319492 CPUtime=25.48 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270961 0 0 0 2512 36 0 0 20 0 4 0 107294546 1351159808 271798 33554432000 4194304 16246674 140736091413120 140736091395008 13780628 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329873 271798 848 2943 0 326767 0 [pid=4926/tid=4927] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271798 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271798 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271798 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1319492 [startup+51.1005 s] /proc/loadavg: 2.04 2.03 2.00 3/183 4930 /proc/meminfo: memFree=29484412/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1319492 CPUtime=51.08 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 270964 0 0 0 5072 36 0 0 20 0 4 0 107294546 1351159808 271801 33554432000 4194304 16246674 140736091413120 140736091395008 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 329873 271801 851 2943 0 326767 0 [pid=4926/tid=4927] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271801 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271801 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1351159808 271801 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1319492 [startup+102.3 s] /proc/loadavg: 2.08 2.04 2.00 3/183 4931 /proc/meminfo: memFree=29480976/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 271732 0 0 0 10191 37 0 0 20 0 4 0 107294546 1354305536 272569 33554432000 4194304 16246674 140736091413120 140736091395008 5599998 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/4926/statm: 330641 272569 851 2943 0 327535 0 [pid=4926/tid=4927] ppid=4923 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1354305536 272569 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1354305536 272569 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1354305536 272569 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.05 2.08 2.02 3/183 5277 /proc/meminfo: memFree=29529628/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1361.97 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273503 0 0 0 136150 47 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 140736091395008 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274109 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.22 2.12 2.04 3/183 5278 /proc/meminfo: memFree=29528780/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1421.94 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273539 0 0 0 142147 47 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 140736091395008 5661520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274109 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.08 2.10 2.03 3/183 5279 /proc/meminfo: memFree=29528804/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1481.91 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273576 0 0 0 148143 48 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 140736091395008 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274109 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.09 2.09 2.03 3/183 5281 /proc/meminfo: memFree=29528824/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1541.9 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273608 0 0 0 154141 49 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 140736091395008 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274109 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274109 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.15 2.10 2.04 3/183 5282 /proc/meminfo: memFree=29526900/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1601.86 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 160137 49 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.20 2.13 2.05 3/184 5286 /proc/meminfo: memFree=29522488/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1661.86 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 166136 50 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 5824438 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.10 2.11 2.05 3/183 5287 /proc/meminfo: memFree=29521924/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1721.84 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 172134 50 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 13927423 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.04 2.09 2.04 3/183 5288 /proc/meminfo: memFree=29521708/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1781.84 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 178133 51 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.02 2.08 2.04 3/183 5289 /proc/meminfo: memFree=29521304/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1800.04 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 179953 51 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 5661124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1328708 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 4926 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.02 2.08 2.04 3/183 5289 /proc/meminfo: memFree=29521304/32872528 swapFree=10676/249824 [pid=4926] ppid=4923 vsize=1328708 CPUtime=1800.04 cores=0,2,4,6 /proc/4926/stat : 4926 (toysat) R 4923 4926 1222 0 -1 4202496 273623 0 0 0 179953 51 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 140736091395008 5661124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4926/statm: 332177 274110 852 2943 0 329071 0 [pid=4926/tid=4927] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4927/stat : 4927 (toysat) S 4923 4926 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948889976048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=4926/tid=4928] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4928/stat : 4928 (toysat) S 4923 4926 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948879486192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=4926/tid=4929] ppid=4923 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/4926/task/4929/stat : 4929 (toysat) S 4923 4926 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107294546 1360596992 274110 33554432000 4194304 16246674 140736091413120 139948757871792 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.54 CPU system time (s): 0.515921 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.515921 maximum resident set size= 1096440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273623 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= 373 involuntary context switches= 1929 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51231 second user time and 7.00893 second system time The end
Begin job on node103 at 2016-06-07 00:53:11 IDJOB=4079104 IDBENCH=25044 IDSOLVER=2542 FILE ID=node103/4079104-1465253591 RUNJOBID= node103-1465221288-1238 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir05_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079104-1465253591/watcher-4079104-1465253591 -o /tmp/evaluation-result-4079104-1465253591/solver-4079104-1465253591 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079104-1465253591.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3bc65171ee2bdd2ee7a63cc75f29f375 RANDOM SEED=1562106702 node103.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.760 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.52 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.760 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.760 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.760 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.760 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.760 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.760 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.760 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: 30570832 kB Buffers: 61468 kB Cached: 141524 kB SwapCached: 1716 kB Active: 1247152 kB Inactive: 101152 kB Active(anon): 1146528 kB Inactive(anon): 1160 kB Active(file): 100624 kB Inactive(file): 99992 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096644 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1343340 kB Mapped: 10828 kB Shmem: 0 kB Slab: 569868 kB SReclaimable: 14028 kB SUnreclaim: 555840 kB KernelStack: 1520 kB PageTables: 6552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1536912 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1323008 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= 71704 MiB End job on node103 at 2016-06-07 01:23:11