Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g9x9.opb |
| MD5SUM | 4b56e6775cc4a081c8696ef0fa81b784 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 0.008998 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20 |
| Optimality of the best value was proved | YES |
| Number of variables | 81 |
| Total number of constraints | 81 |
| Number of constraints which are clauses | 81 |
| 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 | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 81 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 81 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 81 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-06T19:14:43+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-4079563-1465233283.opb"] 0.00/0.01 c use --random-gen="1844783309 1127327641 753425701 763336395 3618629531 2445466342 3873215480 696211266 1069339525 1729673375 1138862547 1144473311 3539316169 2306291713 1915116037 2419613576 2192175894 3403331892 1998084680 153272107 713340429 3246579106 2755936430 782529128 839931007 3447593648 2905116296 1250134375 3322968100 232088606 3276097757 2191484047 4128402142 1132928475 3873529182 4168712834 1833301742 1817252531 1428900635 502939274 541819128 747744593 1418337575 1176290040 664991323 3138470518 160592660 3197533035 605160519 2198384114 2608884741 3779473199 2622604057 2270923578 2736584305 880221064 1316907012 869920064 3741734425 2199412553 1234469994 3088742464 3920367173 146930405 2762705832 3995493788 2774818745 1352170879 870285104 4243370271 2488298193 2056319988 1891880586 927430898 838574414 598455412 3973986205 1152690386 3211639537 2171275449 3660048985 1466483612 2899622384 3521276463 233930983 3941016096 437954670 2074388216 2086769339 2822588968 4242541040 834816791 3268550675 1136366217 2534034427 2256980255 2344474692 3559609475 2447959392 1130784688 1569598019 2067572610 897357431 927501870 1772248263 3467173681 239038181 692534284 2164901688 1808652523 2778608846 3444412140 3502025140 2457403324 3947951700 1845956089 1309002893 3453173869 2261539625 4095062305 3202215343 4221556096 1875775763 673576528 3967649662 1880496718 3017245406 1155047658 2881842024 2256013257 1805747178 1824117211 1527567419 136075392 3839658468 1970451542 1917263653 895079559 855793825 2860240694 489803182 3496116223 1601148365 986089269 4250763322 3233182641 3677530287 4191634210 70503143 1266280337 3106960295 2480013529 4104862882 129763102 1305600191 1017816156 2436965712 2048050554 1696367045 1381600297 3652746517 3813922481 4232527477 3658896420 1202555362 4041688636 2581276726 1258332010 1485230409 1936881673 1532486616 3721686113 3565366339 2350570052 1366544260 1919503161 660683453 2258230185 1307203600 1783768212 1697444803 691563495 764416531 3657097068 3090346484 488865826 1973640615 2370160267 1569932307 365605258 3214394501 2988436629 118348584 3186853541 3378206708 3499993009 3310806235 3028942311 524827936 3113992687 3202693577 3806758765 3170086225 1176975709 2744433356 3197612310 3422362018 984917948 3655577118 1995631283 3997575013 3770503208 3540837323 1452105056 963557439 2743277853 1770729012 1772930096 3940688370 246624916 2591779155 1226397485 86028505 150526635 1692427878 570973326 2034317893 3109168452 2807474494 2764418100 1655244712 2033617869 325348945 4293813657 3792530338 3189968953 200830231 736831702 3436184055 2621210002 2357347428 3503237221 3034868671 744712961 2190547345 3501786794 1753134434 427993751 3104010996 1120525082 1231109133 334400388 72313891 1908688595 2272355881 2847792423 255 362436" option to reproduce the execution 0.00/0.01 c #vars 81 0.00/0.01 c #constraints 81 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 81 | 0 | 54 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 81 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 81 0.00/0.01 c BCD2: updating upper bound: 81 -> 80 0.00/0.01 c BCD2: 0 <= obj <= 80 0.00/0.01 c BCD2: #cores=0, #unrelaxed=81, #relaxed=0, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 9 | 0 | 54 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 9 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.01 c lower bound updated to 1 0.00/0.01 c BCD2: 1 <= obj <= 80 0.00/0.01 c BCD2: #cores=1, #unrelaxed=78, #relaxed=3, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 1 0.00/0.01 c 0.0s | 0 | 10 | 0 | 54 0 | 0 | 1 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 10 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.01 c lower bound updated to 2 0.00/0.01 c BCD2: 2 <= obj <= 80 0.00/0.01 c BCD2: #cores=2, #unrelaxed=74, #relaxed=7, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 2 0.00/0.01 c 0.0s | 0 | 10 | 0 | 54 0 | 0 | 2 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 10 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.01 c lower bound updated to 3 0.00/0.01 c BCD2: 3 <= obj <= 80 0.00/0.01 c BCD2: #cores=3, #unrelaxed=70, #relaxed=11, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 3 0.00/0.01 c 0.0s | 0 | 18 | 0 | 54 0 | 0 | 3 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 18 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.01 c lower bound updated to 4 0.00/0.01 c BCD2: 4 <= obj <= 80 0.00/0.01 c BCD2: #cores=4, #unrelaxed=66, #relaxed=15, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 4 0.00/0.01 c 0.0s | 0 | 17 | 0 | 54 0 | 0 | 4 0.00/0.01 c #cpu_time = 0.000s 0.00/0.01 c #wall_clock_time = 0.000s 0.00/0.01 c #decision = 17 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.01 c lower bound updated to 5 0.00/0.01 c BCD2: 5 <= obj <= 80 0.00/0.01 c BCD2: #cores=5, #unrelaxed=61, #relaxed=20, #hardened=0 0.00/0.01 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 5 0.00/0.02 c 0.0s | 0 | 16 | 0 | 54 0 | 0 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 16 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 6 0.00/0.02 c BCD2: 6 <= obj <= 80 0.00/0.02 c BCD2: #cores=6, #unrelaxed=56, #relaxed=25, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 6 0.00/0.02 c 0.0s | 0 | 23 | 0 | 54 0 | 0 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 23 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 7 0.00/0.02 c BCD2: 7 <= obj <= 80 0.00/0.02 c BCD2: #cores=7, #unrelaxed=51, #relaxed=30, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 7 0.00/0.02 c 0.0s | 0 | 22 | 0 | 54 0 | 0 | 7 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 22 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 8 0.00/0.02 c BCD2: 8 <= obj <= 80 0.00/0.02 c BCD2: #cores=8, #unrelaxed=47, #relaxed=34, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 8 0.00/0.02 c 0.0s | 0 | 22 | 0 | 54 0 | 0 | 8 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 22 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 9 0.00/0.02 c BCD2: 9 <= obj <= 80 0.00/0.02 c BCD2: #cores=9, #unrelaxed=42, #relaxed=39, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 9 0.00/0.02 c 0.0s | 0 | 23 | 0 | 54 0 | 0 | 9 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 23 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 10 0.00/0.02 c BCD2: 10 <= obj <= 80 0.00/0.02 c BCD2: #cores=10, #unrelaxed=38, #relaxed=43, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 10 0.00/0.02 c 0.0s | 0 | 26 | 0 | 54 0 | 0 | 10 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 26 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 11 0.00/0.02 c BCD2: 11 <= obj <= 80 0.00/0.02 c BCD2: #cores=11, #unrelaxed=33, #relaxed=48, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 11 0.00/0.02 c 0.0s | 0 | 27 | 0 | 54 0 | 0 | 11 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 27 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 12 0.00/0.02 c BCD2: 12 <= obj <= 80 0.00/0.02 c BCD2: #cores=12, #unrelaxed=28, #relaxed=53, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 12 0.00/0.02 c 0.0s | 0 | 29 | 0 | 54 0 | 0 | 12 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 29 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 13 0.00/0.02 c BCD2: 13 <= obj <= 80 0.00/0.02 c BCD2: #cores=13, #unrelaxed=23, #relaxed=58, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 13 0.00/0.02 c 0.0s | 0 | 28 | 0 | 54 0 | 0 | 13 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 28 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to 14 0.00/0.02 c BCD2: 14 <= obj <= 80 0.00/0.02 c BCD2: #cores=14, #unrelaxed=20, #relaxed=61, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 14 0.00/0.02 c 0.0s | 0 | 28 | 0 | 54 0 | 0 | 14 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 28 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 5: cost of the new core is >=1 0.00/0.02 c lower bound updated to 15 0.00/0.02 c BCD2: 15 <= obj <= 80 0.00/0.02 c BCD2: #cores=15, #unrelaxed=15, #relaxed=66, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 15 0.00/0.02 c 0.0s | 0 | 27 | 0 | 54 0 | 0 | 15 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 27 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 4: cost of the new core is >=1 0.00/0.02 c lower bound updated to 16 0.00/0.02 c BCD2: 16 <= obj <= 80 0.00/0.02 c BCD2: #cores=16, #unrelaxed=11, #relaxed=70, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 16 0.00/0.02 c 0.0s | 0 | 26 | 0 | 54 0 | 0 | 16 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 26 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to 17 0.00/0.02 c BCD2: 17 <= obj <= 80 0.00/0.02 c BCD2: #cores=17, #unrelaxed=8, #relaxed=73, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 17 0.00/0.02 c 0.0s | 0 | 85 | 0 | 54 0 | 0 | 17 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 85 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 o 26 0.00/0.02 c BCD2: updating upper bound: 80 -> 25 0.00/0.02 c BCD2: 17 <= obj <= 25 0.00/0.02 c BCD2: #cores=17, #unrelaxed=8, #relaxed=73, #hardened=0 0.00/0.02 c BCD2: #sat=2 #unsat=18 bias=18/20 0.00/0.02 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 54 0 | 0 | 18 0.00/0.03 c 0.0s | 0 | 75 | 17 | 54 0 | 0 | 18 0.00/0.03 c #cpu_time = 0.001s 0.00/0.03 c #wall_clock_time = 0.001s 0.00/0.03 c #decision = 75 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 17 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 5 and merging with 13 cores into a new core of size 61: cost of the new core is >=14 0.00/0.03 c lower bound updated to 18 0.00/0.03 c BCD2: 18 <= obj <= 25 0.00/0.03 c BCD2: #cores=5, #unrelaxed=3, #relaxed=78, #hardened=0 0.00/0.03 c BCD2: #sat=2 #unsat=19 bias=19/21 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 54 0 | 26 | 18 0.00/0.04 c 0.0s | 1 | 201 | 100 | 60 0 | 26 | 57 0.00/0.05 c 0.0s | 2 | 427 | 250 | 66 3 | 26 | 57 0.00/0.08 c 0.0s | 3 | 911 | 475 | 73 6 | 26 | 57 0.08/0.11 c 0.1s | 4 | 1484 | 813 | 81 12 | 26 | 57 0.08/0.16 c 0.1s | 5 | 2395 | 1320 | 90 19 | 26 | 57 0.19/0.24 c 0.2s | 6 | 3802 | 2081 | 100 30 | 26 | 57 0.29/0.36 c 0.3s | 7 | 5790 | 3223 | 111 45 | 26 | 57 0.49/0.53 c 0.5s | 8 | 9042 | 4936 | 123 66 | 26 | 57 0.69/0.79 c 0.8s | 9 | 13272 | 7506 | 136 96 | 26 | 57 1.09/1.17 c 1.1s | 10 | 19817 | 11361 | 150 138 | 26 | 57 1.59/1.60 c 1.6s | 11 | 30337 | 17144 | 165 196 | 26 | 57 2.20/2.23 c 2.2s | 12 | 45967 | 25819 | 182 276 | 26 | 57 3.09/3.13 c 3.1s | 13 | 68324 | 38832 | 201 389 | 26 | 57 4.40/4.49 c 4.5s | 14 | 102647 | 58352 | 222 545 | 26 | 57 6.39/6.50 c 6.5s | 14 | 149659 | 86352 | 222 753 | 26 | 57 6.49/6.59 c 6.6s | 15 | 151723 | 87632 | 245 762 | 26 | 57 8.49/8.59 c 8.6s | 15 | 198568 | 115732 | 245 954 | 26 | 57 9.69/9.73 c 9.7s | 16 | 225529 | 131552 | 270 1062 | 26 | 57 11.69/11.73 c 11.7s | 16 | 274770 | 159052 | 270 1235 | 26 | 57 13.69/13.73 c 13.7s | 16 | 322050 | 186152 | 270 1406 | 26 | 57 14.49/14.56 c 14.5s | 17 | 341960 | 197432 | 297 1477 | 26 | 57 16.50/16.56 c 16.5s | 17 | 392181 | 223932 | 297 1631 | 26 | 57 18.49/18.57 c 18.5s | 17 | 436223 | 249232 | 297 1779 | 26 | 57 20.19/20.22 c 20.2s | 17 | 474075 | 270852 | 297 1905 | 26 | 57 20.19/20.22 c #cpu_time = 20.192s 20.19/20.22 c #wall_clock_time = 20.191s 20.19/20.22 c #decision = 474075 20.19/20.22 c #random_decision = 1700 20.19/20.22 c #conflict = 270852 20.19/20.22 c #restart = 17 20.19/20.22 o 23 20.19/20.22 c BCD2: updating upper bound: 25 -> 22 20.19/20.22 c BCD2: 18 <= obj <= 22 20.19/20.22 c BCD2: #cores=5, #unrelaxed=3, #relaxed=78, #hardened=0 20.19/20.22 c BCD2: #sat=3 #unsat=19 bias=19/22 20.19/20.22 c Solving starts ... 20.19/20.22 c ============================[ Search Statistics ]============================ 20.19/20.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.19/20.22 c | | | | Limit GC | Var | Constra 20.19/20.22 c ============================================================================= 20.19/20.22 c 0.0s | 0 | 0 | 0 | 297 0 | 26 | 58 20.19/20.23 c 0.0s | 1 | 188 | 100 | 297 0 | 26 | 58 20.19/20.24 c 0.0s | 2 | 441 | 250 | 297 1 | 26 | 58 20.19/20.26 c 0.0s | 3 | 805 | 475 | 297 3 | 26 | 58 20.19/20.28 c 0.1s | 4 | 1498 | 813 | 297 4 | 26 | 58 20.29/20.32 c 0.1s | 5 | 2409 | 1320 | 297 7 | 26 | 58 20.29/20.37 c 0.2s | 6 | 3627 | 2081 | 297 12 | 26 | 58 20.39/20.46 c 0.2s | 7 | 5684 | 3223 | 297 18 | 26 | 58 20.39/20.46 c 0.2s | 7 | 5724 | 3225 | 297 18 | 26 | 58 20.39/20.46 c #cpu_time = 0.241s 20.39/20.46 c #wall_clock_time = 0.241s 20.39/20.46 c #decision = 5724 20.39/20.46 c #random_decision = 22 20.39/20.46 c #conflict = 3225 20.39/20.46 c #restart = 7 20.39/20.46 o 22 20.39/20.46 c BCD2: updating upper bound: 22 -> 21 20.39/20.46 c BCD2: 18 <= obj <= 21 20.39/20.46 c BCD2: #cores=5, #unrelaxed=3, #relaxed=78, #hardened=0 20.39/20.46 c BCD2: #sat=4 #unsat=19 bias=19/23 20.39/20.46 c Solving starts ... 20.39/20.46 c ============================[ Search Statistics ]============================ 20.39/20.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.39/20.46 c | | | | Limit GC | Var | Constra 20.39/20.46 c ============================================================================= 20.39/20.46 c 0.0s | 0 | 0 | 0 | 297 0 | 26 | 59 20.39/20.47 c 0.0s | 1 | 209 | 100 | 297 1 | 26 | 59 20.39/20.48 c 0.0s | 2 | 479 | 250 | 297 2 | 26 | 59 20.49/20.50 c 0.0s | 3 | 933 | 475 | 297 3 | 26 | 59 20.49/20.52 c 0.1s | 4 | 1433 | 813 | 297 5 | 26 | 59 20.49/20.56 c 0.1s | 5 | 2321 | 1320 | 297 7 | 26 | 59 20.59/20.63 c 0.2s | 6 | 3573 | 2081 | 297 12 | 26 | 59 20.69/20.71 c 0.3s | 7 | 5431 | 3223 | 297 18 | 26 | 59 20.79/20.84 c 0.4s | 8 | 8078 | 4936 | 297 28 | 26 | 59 20.99/21.04 c 0.6s | 9 | 12345 | 7506 | 297 43 | 26 | 59 21.29/21.34 c 0.9s | 10 | 18701 | 11361 | 297 64 | 26 | 59 21.69/21.77 c 1.3s | 11 | 28402 | 17144 | 297 97 | 26 | 59 22.38/22.42 c 2.0s | 12 | 43106 | 25819 | 327 144 | 26 | 59 23.38/23.41 c 2.9s | 13 | 64581 | 38832 | 327 213 | 26 | 59 24.78/24.85 c 4.4s | 14 | 96389 | 58352 | 327 318 | 26 | 59 26.78/26.85 c 6.4s | 14 | 142688 | 85052 | 327 461 | 26 | 59 26.98/27.05 c 6.6s | 15 | 146946 | 87632 | 327 474 | 26 | 59 28.98/29.05 c 8.6s | 15 | 190449 | 114632 | 327 618 | 26 | 59 30.28/30.34 c 9.9s | 16 | 217988 | 131552 | 327 708 | 26 | 59 32.29/32.34 c 11.9s | 16 | 265196 | 158452 | 327 850 | 26 | 59 34.29/34.35 c 13.9s | 16 | 308004 | 184352 | 360 980 | 26 | 59 35.30/35.31 c 14.9s | 17 | 331334 | 197432 | 360 1043 | 26 | 59 37.29/37.32 c 16.9s | 17 | 376566 | 224232 | 360 1175 | 26 | 59 39.29/39.32 c 18.9s | 17 | 420023 | 250632 | 360 1305 | 26 | 59 41.28/41.32 c 20.9s | 17 | 464638 | 276332 | 360 1432 | 26 | 59 42.89/42.94 c 22.5s | 18 | 496735 | 296252 | 360 1529 | 26 | 59 44.88/44.94 c 24.5s | 18 | 541403 | 323052 | 360 1661 | 26 | 59 46.88/46.95 c 26.5s | 18 | 584640 | 349352 | 360 1790 | 26 | 59 48.88/48.95 c 28.5s | 18 | 626790 | 375452 | 360 1918 | 26 | 59 50.88/50.96 c 30.5s | 18 | 669228 | 401052 | 397 2037 | 26 | 59 52.89/52.96 c 32.5s | 18 | 710780 | 426352 | 397 2150 | 26 | 59 54.28/54.39 c 33.9s | 19 | 740413 | 444482 | 397 2231 | 26 | 59 56.28/56.39 c 35.9s | 19 | 782544 | 470082 | 397 2345 | 26 | 59 58.29/58.39 c 37.9s | 19 | 821442 | 494682 | 397 2456 | 26 | 59 60.29/60.39 c 39.9s | 19 | 862299 | 519882 | 397 2569 | 26 | 59 62.29/62.39 c 41.9s | 19 | 902839 | 545282 | 397 2683 | 26 | 59 64.39/64.40 c 43.9s | 19 | 943299 | 570682 | 397 2796 | 26 | 59 66.38/66.41 c 45.9s | 19 | 982164 | 595782 | 397 2909 | 26 | 59 68.38/68.41 c 48.0s | 19 | 1021625 | 621082 | 397 3022 | 26 | 59 70.39/70.41 c 50.0s | 19 | 1061695 | 646782 | 397 3138 | 26 | 59 71.98/72.00 c 51.5s | 20 | 1093320 | 666827 | 397 3228 | 26 | 59 73.98/74.00 c 53.5s | 20 | 1138399 | 692727 | 397 3344 | 26 | 59 75.99/76.01 c 55.5s | 20 | 1182865 | 718127 | 397 3459 | 26 | 59 77.98/78.01 c 57.5s | 20 | 1224356 | 742527 | 437 3561 | 26 | 59 79.98/80.01 c 59.6s | 20 | 1264255 | 766727 | 437 3662 | 26 | 59 81.98/82.02 c 61.6s | 20 | 1306546 | 792027 | 437 3765 | 26 | 59 83.98/84.02 c 63.6s | 20 | 1352268 | 817527 | 437 3871 | 26 | 59 85.98/86.02 c 65.6s | 20 | 1398090 | 843527 | 437 3979 | 26 | 59 87.98/88.02 c 67.6s | 20 | 1440905 | 869027 | 437 4084 | 26 | 59 89.98/90.03 c 69.6s | 20 | 1486879 | 895527 | 437 4194 | 26 | 59 91.97/92.03 c 71.6s | 20 | 1530859 | 921427 | 437 4302 | 26 | 59 93.98/94.04 c 73.6s | 20 | 1573980 | 947127 | 437 4408 | 26 | 59 95.98/96.04 c 75.6s | 20 | 1618963 | 972827 | 437 4515 | 26 | 59 97.99/98.05 c 77.6s | 20 | 1660265 | 998427 | 437 4621 | 26 | 59 98.18/98.20 c 77.7s | 21 | 1663543 | 1000345 | 437 4629 | 26 | 59 100.19/100.20 c 79.7s | 21 | 1703988 | 1025545 | 437 4734 | 26 | 59 102.18/102.20 c 81.7s | 21 | 1744310 | 1050845 | 437 4839 | 26 | 59 104.18/104.21 c 83.7s | 21 | 1786936 | 1076445 | 437 4946 | 26 | 59 106.18/106.21 c 85.8s | 21 | 1826210 | 1101045 | 437 5048 | 26 | 59 108.17/108.22 c 87.8s | 21 | 1866918 | 1126345 | 437 5154 | 26 | 59 110.17/110.22 c 89.8s | 21 | 1906643 | 1151645 | 437 5259 | 26 | 59 112.18/112.22 c 91.8s | 21 | 1949343 | 1177345 | 437 5366 | 26 | 59 114.17/114.22 c 93.8s | 21 | 1991858 | 1203045 | 437 5473 | 26 | 59 116.17/116.23 c 95.8s | 21 | 2031546 | 1227545 | 481 5571 | 26 | 59 118.17/118.24 c 97.8s | 21 | 2070183 | 1251745 | 481 5664 | 26 | 59 120.18/120.24 c 99.8s | 21 | 2106822 | 1275345 | 481 5754 | 26 | 59 122.18/122.24 c 101s | 21 | 2146314 | 1299945 | 481 5848 | 26 | 59 124.18/124.25 c 103s | 21 | 2186749 | 1325145 | 481 5944 | 26 | 59 126.17/126.25 c 105s | 21 | 2226543 | 1350145 | 481 6040 | 26 | 59 128.17/128.25 c 107s | 21 | 2264703 | 1374445 | 481 6133 | 26 | 59 130.17/130.26 c 109s | 21 | 2304699 | 1399445 | 481 6228 | 26 | 59 132.17/132.26 c 111s | 21 | 2342479 | 1423645 | 481 6321 | 26 | 59 134.18/134.27 c 113s | 21 | 2382507 | 1448545 | 481 6415 | 26 | 59 136.17/136.27 c 115s | 21 | 2420707 | 1473045 | 481 6509 | 26 | 59 138.17/138.27 c 117s | 21 | 2459796 | 1497345 | 481 6601 | 26 | 59 138.47/138.53 c 118s | 22 | 2465028 | 1500622 | 481 6613 | 26 | 59 140.47/140.54 c 120s | 22 | 2503813 | 1525922 | 481 6708 | 26 | 59 142.47/142.54 c 122s | 22 | 2541258 | 1550622 | 481 6801 | 26 | 59 144.46/144.54 c 124s | 22 | 2580610 | 1576122 | 481 6897 | 26 | 59 146.47/146.55 c 126s | 22 | 2618715 | 1601022 | 481 6992 | 26 | 59 148.48/148.55 c 128s | 22 | 2656173 | 1625222 | 481 7084 | 26 | 59 150.47/150.56 c 130s | 22 | 2693559 | 1649322 | 481 7176 | 26 | 59 152.47/152.56 c 132s | 22 | 2732572 | 1674022 | 481 7269 | 26 | 59 154.47/154.57 c 134s | 22 | 2771163 | 1698522 | 481 7362 | 26 | 59 156.47/156.58 c 136s | 22 | 2809921 | 1723122 | 481 7456 | 26 | 59 158.47/158.59 c 138s | 22 | 2848025 | 1747822 | 481 7549 | 26 | 59 160.47/160.59 c 140s | 22 | 2885405 | 1771722 | 481 7639 | 26 | 59 162.47/162.59 c 142s | 22 | 2921803 | 1795322 | 481 7729 | 26 | 59 164.46/164.59 c 144s | 22 | 2959733 | 1819522 | 481 7821 | 26 | 59 166.47/166.59 c 146s | 22 | 2995974 | 1843322 | 481 7911 | 26 | 59 168.47/168.59 c 148s | 22 | 3032452 | 1866922 | 481 8002 | 26 | 59 170.48/170.60 c 150s | 22 | 3071079 | 1891822 | 481 8096 | 26 | 59 172.56/172.60 c 152s | 22 | 3111010 | 1916822 | 481 8191 | 26 | 59 174.26/174.31 c 153s | 22 | 3145725 | 1938369 | 481 8273 | 26 | 59 174.26/174.31 c #cpu_time = 153.857s 174.26/174.31 c #wall_clock_time = 153.851s 174.26/174.31 c #decision = 3145725 174.26/174.31 c #random_decision = 12841 174.26/174.31 c #conflict = 1938369 174.26/174.31 c #restart = 22 174.26/174.31 o 21 174.26/174.31 c BCD2: updating upper bound: 21 -> 20 174.26/174.31 c BCD2: 18 <= obj <= 20 174.26/174.31 c BCD2: #cores=5, #unrelaxed=3, #relaxed=78, #hardened=0 174.26/174.31 c BCD2: #sat=5 #unsat=19 bias=19/24 174.26/174.31 c Solving starts ... 174.26/174.31 c ============================[ Search Statistics ]============================ 174.26/174.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 174.26/174.31 c | | | | Limit GC | Var | Constra 174.26/174.31 c ============================================================================= 174.26/174.31 c 0.0s | 0 | 0 | 0 | 481 0 | 26 | 60 174.26/174.32 c 0.0s | 1 | 176 | 100 | 481 0 | 26 | 60 174.26/174.34 c 0.0s | 2 | 496 | 250 | 481 1 | 26 | 60 174.26/174.35 c 0.0s | 3 | 866 | 475 | 481 2 | 26 | 60 174.26/174.38 c 0.1s | 4 | 1494 | 813 | 481 3 | 26 | 60 174.36/174.42 c 0.1s | 5 | 2263 | 1320 | 481 5 | 26 | 60 174.36/174.49 c 0.2s | 6 | 3651 | 2081 | 481 8 | 26 | 60 174.46/174.58 c 0.3s | 7 | 5687 | 3223 | 481 12 | 26 | 60 174.66/174.71 c 0.4s | 8 | 8828 | 4936 | 481 19 | 26 | 60 174.87/174.92 c 0.6s | 9 | 13214 | 7506 | 481 28 | 26 | 60 175.16/175.23 c 0.9s | 10 | 19522 | 11361 | 481 43 | 26 | 60 175.56/175.69 c 1.4s | 11 | 29282 | 17144 | 481 65 | 26 | 60 176.26/176.37 c 2.1s | 12 | 43639 | 25819 | 530 96 | 26 | 60 177.26/177.39 c 3.1s | 13 | 66027 | 38832 | 530 141 | 26 | 60 178.76/178.89 c 4.6s | 14 | 100217 | 58352 | 530 208 | 26 | 60 180.76/180.89 c 6.6s | 14 | 144334 | 84152 | 530 297 | 26 | 60 181.06/181.17 c 6.9s | 15 | 149897 | 87632 | 530 309 | 26 | 60 183.06/183.17 c 8.9s | 15 | 193660 | 113132 | 530 397 | 26 | 60 184.56/184.64 c 10.3s | 16 | 225938 | 131552 | 530 461 | 26 | 60 186.56/186.64 c 12.3s | 16 | 271351 | 157252 | 530 550 | 26 | 60 188.56/188.65 c 14.3s | 16 | 314985 | 182252 | 530 636 | 26 | 60 189.76/189.85 c 15.5s | 17 | 341481 | 197432 | 530 688 | 26 | 60 191.76/191.86 c 17.5s | 17 | 389250 | 224332 | 530 781 | 26 | 60 193.76/193.86 c 19.6s | 17 | 434656 | 250332 | 530 871 | 26 | 60 195.76/195.86 c 21.6s | 17 | 481703 | 276932 | 530 963 | 26 | 60 197.27/197.31 c 23.0s | 18 | 517030 | 296252 | 530 1030 | 26 | 60 199.26/199.31 c 25.0s | 18 | 566682 | 322352 | 530 1120 | 26 | 60 201.27/201.32 c 27.0s | 18 | 616469 | 348852 | 530 1212 | 26 | 60 203.26/203.32 c 29.0s | 18 | 663799 | 374652 | 530 1301 | 26 | 60 205.26/205.32 c 31.0s | 18 | 709500 | 400652 | 530 1391 | 26 | 60 207.26/207.33 c 33.0s | 18 | 756119 | 426952 | 530 1482 | 26 | 60 208.66/208.70 c 34.4s | 19 | 785759 | 444482 | 530 1543 | 26 | 60 210.66/210.70 c 36.4s | 19 | 830704 | 470882 | 530 1634 | 26 | 60 212.66/212.71 c 38.4s | 19 | 873374 | 496882 | 530 1724 | 26 | 60 214.65/214.71 c 40.4s | 19 | 916648 | 522782 | 530 1813 | 26 | 60 216.67/216.72 c 42.4s | 19 | 959990 | 548782 | 530 1903 | 26 | 60 218.66/218.73 c 44.4s | 19 | 1004483 | 575482 | 530 1996 | 26 | 60 220.66/220.73 c 46.4s | 19 | 1046553 | 601082 | 530 2084 | 26 | 60 222.66/222.74 c 48.4s | 19 | 1088789 | 626882 | 530 2173 | 26 | 60 224.65/224.74 c 50.4s | 19 | 1131344 | 652582 | 530 2262 | 26 | 60 225.75/225.82 c 51.5s | 20 | 1155531 | 666827 | 530 2312 | 26 | 60 227.76/227.82 c 53.5s | 20 | 1201849 | 692927 | 530 2402 | 26 | 60 229.75/229.82 c 55.5s | 20 | 1243522 | 718527 | 530 2491 | 26 | 60 231.75/231.82 c 57.5s | 20 | 1287238 | 743927 | 530 2578 | 26 | 60 233.76/233.82 c 59.5s | 20 | 1329118 | 768727 | 530 2664 | 26 | 60 235.76/235.83 c 61.5s | 20 | 1373034 | 793827 | 530 2751 | 26 | 60 237.75/237.83 c 63.5s | 20 | 1416170 | 819027 | 530 2838 | 26 | 60 239.76/239.84 c 65.5s | 20 | 1460901 | 844327 | 530 2926 | 26 | 60 241.75/241.84 c 67.5s | 20 | 1505928 | 869027 | 530 3011 | 26 | 60 243.75/243.85 c 69.5s | 20 | 1549119 | 893727 | 530 3097 | 26 | 60 245.75/245.85 c 71.5s | 20 | 1594586 | 918927 | 530 3184 | 26 | 60 247.75/247.85 c 73.5s | 20 | 1640935 | 944027 | 530 3271 | 26 | 60 249.76/249.85 c 75.5s | 20 | 1684173 | 969027 | 530 3358 | 26 | 60 251.75/251.86 c 77.5s | 20 | 1725756 | 994027 | 530 3445 | 26 | 60 252.26/252.36 c 78.1s | 21 | 1737410 | 1000345 | 530 3467 | 26 | 60 254.26/254.37 c 80.1s | 21 | 1781813 | 1026545 | 530 3557 | 26 | 60 256.26/256.37 c 82.1s | 21 | 1824464 | 1052545 | 530 3647 | 26 | 60 258.25/258.37 c 84.1s | 21 | 1869184 | 1078045 | 530 3735 | 26 | 60 260.25/260.38 c 86.1s | 21 | 1910262 | 1102245 | 530 3818 | 26 | 60 262.25/262.38 c 88.1s | 21 | 1954119 | 1127345 | 530 3905 | 26 | 60 264.25/264.39 c 90.1s | 21 | 1995784 | 1151445 | 583 3985 | 26 | 60 266.26/266.39 c 92.1s | 21 | 2039232 | 1176245 | 583 4064 | 26 | 60 268.25/268.40 c 94.1s | 21 | 2083332 | 1201145 | 583 4143 | 26 | 60 270.35/270.41 c 96.1s | 21 | 2126204 | 1225145 | 583 4219 | 26 | 60 272.35/272.41 c 98.1s | 21 | 2170652 | 1249845 | 583 4297 | 26 | 60 274.35/274.41 c 100s | 21 | 2211525 | 1273745 | 583 4373 | 26 | 60 276.35/276.41 c 102s | 21 | 2256394 | 1297845 | 583 4450 | 26 | 60 278.36/278.42 c 104s | 21 | 2297729 | 1321845 | 583 4527 | 26 | 60 280.35/280.43 c 106s | 21 | 2341067 | 1345745 | 583 4603 | 26 | 60 282.35/282.43 c 108s | 21 | 2381837 | 1369945 | 583 4680 | 26 | 60 284.35/284.43 c 110s | 21 | 2423443 | 1394245 | 583 4757 | 26 | 60 286.35/286.44 c 112s | 21 | 2464157 | 1417745 | 583 4832 | 26 | 60 288.35/288.44 c 114s | 21 | 2504952 | 1441545 | 583 4908 | 26 | 60 290.36/290.45 c 116s | 21 | 2548440 | 1465845 | 583 4985 | 26 | 60 292.35/292.45 c 118s | 21 | 2588171 | 1489145 | 583 5060 | 26 | 60 293.35/293.45 c 119s | 22 | 2607710 | 1500622 | 583 5097 | 26 | 60 295.35/295.46 c 121s | 22 | 2649621 | 1525722 | 583 5176 | 26 | 60 297.34/297.46 c 123s | 22 | 2688467 | 1549922 | 583 5253 | 26 | 60 299.34/299.47 c 125s | 22 | 2729411 | 1574222 | 583 5330 | 26 | 60 301.35/301.47 c 127s | 22 | 2772033 | 1599022 | 583 5409 | 26 | 60 303.34/303.47 c 129s | 22 | 2813797 | 1623022 | 583 5486 | 26 | 60 305.34/305.48 c 131s | 22 | 2861346 | 1647922 | 583 5564 | 26 | 60 307.34/307.48 c 133s | 22 | 2910831 | 1672822 | 583 5643 | 26 | 60 309.34/309.48 c 135s | 22 | 2956047 | 1697322 | 583 5721 | 26 | 60 311.35/311.49 c 137s | 22 | 3001493 | 1721722 | 583 5799 | 26 | 60 313.34/313.49 c 139s | 22 | 3045364 | 1746522 | 583 5878 | 26 | 60 315.34/315.50 c 141s | 22 | 3087494 | 1771122 | 583 5956 | 26 | 60 317.43/317.50 c 143s | 22 | 3129779 | 1795522 | 583 6034 | 26 | 60 319.44/319.51 c 145s | 22 | 3172354 | 1819922 | 583 6112 | 26 | 60 321.44/321.51 c 147s | 22 | 3212446 | 1843622 | 583 6187 | 26 | 60 323.45/323.52 c 149s | 22 | 3252930 | 1867922 | 583 6265 | 26 | 60 325.44/325.52 c 151s | 22 | 3294947 | 1892722 | 583 6344 | 26 | 60 327.43/327.53 c 153s | 22 | 3335234 | 1916922 | 583 6421 | 26 | 60 329.43/329.53 c 155s | 22 | 3374655 | 1940722 | 583 6497 | 26 | 60 331.43/331.54 c 157s | 22 | 3417802 | 1965722 | 583 6577 | 26 | 60 333.43/333.54 c 159s | 22 | 3459967 | 1989722 | 583 6653 | 26 | 60 335.44/335.55 c 161s | 22 | 3500744 | 2013622 | 583 6729 | 26 | 60 337.43/337.55 c 163s | 22 | 3541314 | 2037422 | 583 6805 | 26 | 60 339.43/339.55 c 165s | 22 | 3582777 | 2061922 | 583 6882 | 26 | 60 341.43/341.56 c 167s | 22 | 3622476 | 2085922 | 583 6959 | 26 | 60 343.43/343.57 c 169s | 22 | 3663043 | 2109722 | 583 7034 | 26 | 60 345.44/345.57 c 171s | 22 | 3706928 | 2134722 | 583 7114 | 26 | 60 347.43/347.58 c 173s | 22 | 3749808 | 2158622 | 583 7190 | 26 | 60 349.43/349.58 c 175s | 22 | 3790448 | 2182622 | 583 7266 | 26 | 60 351.43/351.59 c 177s | 22 | 3833036 | 2207022 | 583 7343 | 26 | 60 353.43/353.59 c 179s | 22 | 3876854 | 2231422 | 583 7421 | 26 | 60 355.13/355.27 c 180s | 23 | 3911414 | 2251038 | 583 7484 | 26 | 60 357.12/357.28 c 182s | 23 | 3951934 | 2274838 | 583 7560 | 26 | 60 359.12/359.28 c 184s | 23 | 3992331 | 2299238 | 583 7637 | 26 | 60 361.12/361.28 c 186s | 23 | 4032536 | 2323238 | 583 7714 | 26 | 60 363.12/363.29 c 188s | 23 | 4072215 | 2346938 | 583 7790 | 26 | 60 365.12/365.29 c 190s | 23 | 4108775 | 2369338 | 583 7861 | 26 | 60 367.11/367.29 c 192s | 23 | 4146765 | 2392438 | 583 7935 | 26 | 60 369.22/369.30 c 194s | 23 | 4183385 | 2415838 | 583 8009 | 26 | 60 371.22/371.30 c 196s | 23 | 4220471 | 2439638 | 583 8085 | 26 | 60 373.22/373.30 c 198s | 23 | 4256680 | 2463038 | 583 8160 | 26 | 60 375.22/375.31 c 201s | 23 | 4292504 | 2486038 | 583 8234 | 26 | 60 377.23/377.32 c 203s | 23 | 4329812 | 2509738 | 583 8309 | 26 | 60 379.22/379.32 c 205s | 23 | 4366507 | 2533438 | 583 8385 | 26 | 60 381.22/381.32 c 207s | 23 | 4403096 | 2556738 | 583 8459 | 26 | 60 383.22/383.33 c 209s | 23 | 4442883 | 2580338 | 583 8534 | 26 | 60 385.21/385.33 c 211s | 23 | 4480671 | 2603638 | 583 8609 | 26 | 60 387.22/387.33 c 213s | 23 | 4517978 | 2626738 | 583 8683 | 26 | 60 389.21/389.34 c 215s | 23 | 4555296 | 2649738 | 583 8756 | 26 | 60 391.21/391.34 c 217s | 23 | 4593684 | 2672638 | 583 8829 | 26 | 60 393.21/393.35 c 219s | 23 | 4631490 | 2695338 | 583 8902 | 26 | 60 395.21/395.36 c 221s | 23 | 4667087 | 2717438 | 583 8973 | 26 | 60 397.20/397.37 c 223s | 23 | 4705939 | 2741238 | 583 9049 | 26 | 60 399.21/399.37 c 225s | 23 | 4743209 | 2765338 | 583 9126 | 26 | 60 401.21/401.37 c 227s | 23 | 4779876 | 2789438 | 583 9203 | 26 | 60 403.21/403.38 c 229s | 23 | 4815602 | 2813338 | 583 9279 | 26 | 60 405.21/405.38 c 231s | 23 | 4855237 | 2837338 | 642 9350 | 26 | 60 407.21/407.38 c 233s | 23 | 4892588 | 2860638 | 642 9418 | 26 | 60 409.21/409.39 c 235s | 23 | 4927768 | 2883538 | 642 9485 | 26 | 60 411.21/411.40 c 237s | 23 | 4963518 | 2906638 | 642 9552 | 26 | 60 413.31/413.40 c 239s | 23 | 4997880 | 2929338 | 642 9619 | 26 | 60 415.31/415.41 c 241s | 23 | 5035109 | 2952838 | 642 9688 | 26 | 60 417.31/417.42 c 243s | 23 | 5071401 | 2975638 | 642 9755 | 26 | 60 419.30/419.42 c 245s | 23 | 5107792 | 2998738 | 642 9822 | 26 | 60 421.31/421.42 c 247s | 23 | 5140889 | 3021138 | 642 9888 | 26 | 60 423.30/423.42 c 249s | 23 | 5176572 | 3043838 | 642 9954 | 26 | 60 425.30/425.43 c 251s | 23 | 5212525 | 3066838 | 642 10021 | 26 | 60 427.30/427.43 c 253s | 23 | 5247017 | 3088838 | 642 10086 | 26 | 60 429.30/429.44 c 255s | 23 | 5281006 | 3110438 | 642 10149 | 26 | 60 431.31/431.44 c 257s | 23 | 5317464 | 3133638 | 642 10217 | 26 | 60 433.31/433.45 c 259s | 23 | 5353469 | 3157338 | 642 10286 | 26 | 60 435.30/435.45 c 261s | 23 | 5388401 | 3180338 | 642 10353 | 26 | 60 437.30/437.46 c 263s | 23 | 5427073 | 3204538 | 642 10423 | 26 | 60 439.30/439.46 c 265s | 23 | 5463750 | 3227538 | 642 10490 | 26 | 60 441.29/441.47 c 267s | 23 | 5498133 | 3249538 | 642 10554 | 26 | 60 443.30/443.47 c 269s | 23 | 5532917 | 3271838 | 642 10619 | 26 | 60 445.29/445.48 c 271s | 23 | 5567553 | 3293838 | 642 10684 | 26 | 60 447.30/447.48 c 273s | 23 | 5605990 | 3316938 | 642 10751 | 26 | 60 449.30/449.49 c 275s | 23 | 5640710 | 3339338 | 642 10816 | 26 | 60 451.30/451.49 c 277s | 23 | 5676551 | 3361438 | 642 10881 | 26 | 60 452.80/452.90 c 278s | 24 | 5700034 | 3376662 | 642 10925 | 26 | 60 454.79/454.90 c 280s | 24 | 5742651 | 3400962 | 642 10996 | 26 | 60 456.79/456.90 c 282s | 24 | 5782447 | 3424262 | 642 11064 | 26 | 60 458.79/458.90 c 284s | 24 | 5822082 | 3448162 | 642 11133 | 26 | 60 460.79/460.90 c 286s | 24 | 5859935 | 3472062 | 642 11203 | 26 | 60 462.79/462.91 c 288s | 24 | 5898717 | 3495862 | 642 11272 | 26 | 60 464.78/464.92 c 290s | 24 | 5936294 | 3519362 | 642 11340 | 26 | 60 466.78/466.92 c 292s | 24 | 5974668 | 3542962 | 642 11409 | 26 | 60 468.78/468.92 c 294s | 24 | 6014659 | 3567462 | 642 11480 | 26 | 60 470.79/470.93 c 296s | 24 | 6053270 | 3591162 | 642 11549 | 26 | 60 472.78/472.93 c 298s | 24 | 6092721 | 3615362 | 642 11619 | 26 | 60 474.78/474.93 c 300s | 24 | 6133311 | 3638862 | 642 11687 | 26 | 60 476.77/476.93 c 302s | 24 | 6171875 | 3661462 | 642 11754 | 26 | 60 478.77/478.94 c 304s | 24 | 6211692 | 3685662 | 642 11823 | 26 | 60 480.78/480.94 c 306s | 24 | 6251438 | 3710262 | 642 11894 | 26 | 60 482.79/482.94 c 308s | 24 | 6290639 | 3734762 | 642 11965 | 26 | 60 484.78/484.95 c 310s | 24 | 6327691 | 3758062 | 642 12033 | 26 | 60 486.77/486.96 c 312s | 24 | 6364973 | 3781462 | 642 12100 | 26 | 60 488.77/488.97 c 314s | 24 | 6401161 | 3805162 | 642 12169 | 26 | 60 490.78/490.97 c 316s | 24 | 6437669 | 3828462 | 642 12236 | 26 | 60 492.78/492.97 c 318s | 24 | 6475291 | 3852362 | 642 12306 | 26 | 60 494.78/494.98 c 320s | 24 | 6512711 | 3876062 | 642 12375 | 26 | 60 496.77/496.99 c 322s | 24 | 6550259 | 3899762 | 642 12444 | 26 | 60 498.77/498.99 c 324s | 24 | 6588238 | 3923262 | 642 12513 | 26 | 60 500.77/501.00 c 326s | 24 | 6625679 | 3946362 | 642 12580 | 26 | 60 502.87/503.00 c 328s | 24 | 6662728 | 3970162 | 642 12650 | 26 | 60 504.87/505.00 c 330s | 24 | 6700334 | 3993262 | 642 12717 | 26 | 60 506.86/507.01 c 332s | 24 | 6736460 | 4016362 | 642 12785 | 26 | 60 508.87/509.02 c 334s | 24 | 6773189 | 4038962 | 642 12851 | 26 | 60 510.87/511.02 c 336s | 24 | 6808570 | 4061662 | 642 12917 | 26 | 60 512.87/513.03 c 338s | 24 | 6844340 | 4085062 | 642 12985 | 26 | 60 514.87/515.03 c 340s | 24 | 6878403 | 4107862 | 642 13052 | 26 | 60 516.87/517.03 c 342s | 24 | 6911479 | 4130362 | 642 13117 | 26 | 60 518.86/519.03 c 344s | 24 | 6950782 | 4154062 | 642 13186 | 26 | 60 520.86/521.03 c 346s | 24 | 6993665 | 4178462 | 642 13257 | 26 | 60 522.87/523.03 c 348s | 24 | 7034917 | 4202362 | 642 13327 | 26 | 60 524.86/525.04 c 350s | 24 | 7075272 | 4226162 | 642 13396 | 26 | 60 526.87/527.04 c 352s | 24 | 7114251 | 4249462 | 642 13464 | 26 | 60 528.86/529.04 c 354s | 24 | 7151666 | 4273062 | 642 13533 | 26 | 60 530.86/531.05 c 356s | 24 | 7187562 | 4296362 | 642 13600 | 26 | 60 532.86/533.05 c 358s | 24 | 7223793 | 4319562 | 642 13668 | 26 | 60 534.85/535.06 c 360s | 24 | 7263725 | 4343862 | 642 13738 | 26 | 60 536.85/537.06 c 362s | 24 | 7303771 | 4367662 | 642 13807 | 26 | 60 538.87/539.06 c 364s | 24 | 7342888 | 4390962 | 642 13874 | 26 | 60 540.86/541.07 c 366s | 24 | 7383925 | 4415562 | 642 13946 | 26 | 60 542.86/543.08 c 368s | 24 | 7420665 | 4438862 | 642 14014 | 26 | 60 544.86/545.08 c 370s | 24 | 7455947 | 4461862 | 642 14081 | 26 | 60 546.85/547.08 c 372s | 24 | 7493379 | 4485962 | 642 14151 | 26 | 60 548.86/549.08 c 374s | 24 | 7528742 | 4508862 | 642 14218 | 26 | 60 550.85/551.08 c 376s | 24 | 7566058 | 4532662 | 642 14288 | 26 | 60 552.85/553.08 c 378s | 24 | 7601623 | 4555962 | 642 14356 | 26 | 60 554.85/555.08 c 380s | 24 | 7636517 | 4578762 | 642 14422 | 26 | 60 556.85/557.09 c 382s | 24 | 7673911 | 4602462 | 642 14492 | 26 | 60 558.95/559.10 c 384s | 24 | 7710738 | 4626762 | 642 14563 | 26 | 60 560.85/561.10 c 386s | 24 | 7746624 | 4650362 | 642 14632 | 26 | 60 562.94/563.11 c 388s | 24 | 7783603 | 4673662 | 642 14700 | 26 | 60 564.94/565.11 c 390s | 24 | 7822769 | 4697662 | 642 14770 | 26 | 60 566.94/567.11 c 392s | 24 | 7861756 | 4720862 | 642 14837 | 26 | 60 568.94/569.12 c 394s | 24 | 7900191 | 4743062 | 642 14902 | 26 | 60 570.94/571.12 c 396s | 24 | 7935459 | 4766062 | 642 14970 | 26 | 60 572.95/573.13 c 398s | 24 | 7970087 | 4788162 | 642 15034 | 26 | 60 574.95/575.13 c 400s | 24 | 8003136 | 4809362 | 642 15096 | 26 | 60 576.94/577.14 c 402s | 24 | 8038496 | 4831962 | 642 15162 | 26 | 60 578.94/579.15 c 404s | 24 | 8074343 | 4854962 | 642 15230 | 26 | 60 580.94/581.15 c 406s | 24 | 8108349 | 4876662 | 642 15293 | 26 | 60 582.94/583.15 c 408s | 24 | 8144485 | 4900362 | 642 15362 | 26 | 60 584.93/585.16 c 410s | 24 | 8180392 | 4924062 | 642 15431 | 26 | 60 586.93/587.16 c 412s | 24 | 8216471 | 4947162 | 642 15499 | 26 | 60 588.94/589.17 c 414s | 24 | 8254589 | 4970562 | 642 15567 | 26 | 60 590.94/591.17 c 416s | 24 | 8293880 | 4994462 | 642 15637 | 26 | 60 592.94/593.18 c 418s | 24 | 8330312 | 5017762 | 642 15706 | 26 | 60 594.94/595.18 c 420s | 24 | 8366098 | 5040762 | 642 15773 | 26 | 60 596.93/597.19 c 422s | 24 | 8402336 | 5063462 | 642 15839 | 26 | 60 597.14/597.34 c 423s | 25 | 8404961 | 5065098 | 642 15844 | 26 | 60 599.13/599.34 c 425s | 25 | 8443520 | 5088798 | 642 15914 | 26 | 60 601.13/601.34 c 427s | 25 | 8479006 | 5111598 | 642 15981 | 26 | 60 603.13/603.34 c 429s | 25 | 8517177 | 5135598 | 642 16051 | 26 | 60 605.13/605.35 c 431s | 25 | 8554965 | 5159998 | 642 16122 | 26 | 60 607.13/607.35 c 433s | 25 | 8591343 | 5183898 | 642 16191 | 26 | 60 609.12/609.36 c 435s | 25 | 8625411 | 5205398 | 642 16254 | 26 | 60 611.12/611.36 c 437s | 25 | 8663665 | 5230098 | 642 16326 | 26 | 60 613.12/613.37 c 439s | 25 | 8699733 | 5253298 | 642 16394 | 26 | 60 615.12/615.38 c 441s | 25 | 8734304 | 5276098 | 642 16460 | 26 | 60 617.12/617.39 c 443s | 25 | 8769381 | 5298598 | 642 16526 | 26 | 60 619.13/619.39 c 445s | 25 | 8806220 | 5321898 | 642 16594 | 26 | 60 621.12/621.39 c 447s | 25 | 8840989 | 5344798 | 707 16658 | 26 | 60 623.12/623.39 c 449s | 25 | 8875028 | 5367298 | 707 16718 | 26 | 60 625.22/625.40 c 451s | 25 | 8912451 | 5391698 | 707 16783 | 26 | 60 627.21/627.41 c 453s | 25 | 8948350 | 5414898 | 707 16845 | 26 | 60 629.22/629.41 c 455s | 25 | 8981853 | 5436898 | 707 16904 | 26 | 60 631.23/631.42 c 457s | 25 | 9016890 | 5459198 | 707 16963 | 26 | 60 633.22/633.42 c 459s | 25 | 9052756 | 5482698 | 707 17026 | 26 | 60 635.22/635.42 c 461s | 25 | 9088066 | 5505598 | 707 17087 | 26 | 60 637.21/637.42 c 463s | 25 | 9122904 | 5528298 | 707 17147 | 26 | 60 639.21/639.43 c 465s | 25 | 9161276 | 5551598 | 707 17209 | 26 | 60 641.21/641.44 c 467s | 25 | 9196920 | 5574398 | 707 17270 | 26 | 60 643.21/643.44 c 469s | 25 | 9234011 | 5597398 | 707 17332 | 26 | 60 645.20/645.44 c 471s | 25 | 9268854 | 5619698 | 707 17391 | 26 | 60 647.20/647.45 c 473s | 25 | 9303882 | 5642098 | 707 17451 | 26 | 60 649.21/649.45 c 475s | 25 | 9337549 | 5664198 | 707 17510 | 26 | 60 651.21/651.45 c 477s | 25 | 9373635 | 5686198 | 707 17569 | 26 | 60 653.22/653.46 c 479s | 25 | 9409953 | 5709098 | 707 17630 | 26 | 60 655.21/655.46 c 481s | 25 | 9449014 | 5732898 | 707 17694 | 26 | 60 657.21/657.46 c 483s | 25 | 9487832 | 5756698 | 707 17757 | 26 | 60 659.20/659.47 c 485s | 25 | 9525013 | 5779698 | 707 17819 | 26 | 60 661.20/661.47 c 487s | 25 | 9560587 | 5803298 | 707 17882 | 26 | 60 663.21/663.48 c 489s | 25 | 9594231 | 5826398 | 707 17943 | 26 | 60 665.20/665.49 c 491s | 25 | 9630442 | 5849698 | 707 18005 | 26 | 60 667.19/667.49 c 493s | 25 | 9668279 | 5873298 | 707 18068 | 26 | 60 669.19/669.49 c 495s | 25 | 9704021 | 5896798 | 707 18131 | 26 | 60 671.19/671.49 c 497s | 25 | 9738722 | 5919698 | 707 18192 | 26 | 60 673.29/673.50 c 499s | 25 | 9773642 | 5942298 | 707 18253 | 26 | 60 675.21/675.50 c 501s | 25 | 9809847 | 5965298 | 707 18314 | 26 | 60 677.30/677.51 c 503s | 25 | 9846963 | 5988498 | 707 18376 | 26 | 60 679.29/679.51 c 505s | 25 | 9885863 | 6012098 | 707 18439 | 26 | 60 681.29/681.52 c 507s | 25 | 9921818 | 6034398 | 707 18499 | 26 | 60 683.29/683.52 c 509s | 25 | 9959006 | 6057098 | 707 18560 | 26 | 60 685.29/685.52 c 511s | 25 | 9992020 | 6078898 | 707 18618 | 26 | 60 687.30/687.53 c 513s | 25 | 10026928 | 6101198 | 707 18677 | 26 | 60 689.29/689.53 c 515s | 25 | 10060959 | 6123398 | 707 18737 | 26 | 60 691.29/691.53 c 517s | 25 | 10095851 | 6145698 | 707 18797 | 26 | 60 693.29/693.54 c 519s | 25 | 10137087 | 6169798 | 707 18860 | 26 | 60 695.29/695.54 c 521s | 25 | 10176710 | 6193498 | 707 18923 | 26 | 60 697.30/697.55 c 523s | 25 | 10214585 | 6216998 | 707 18986 | 26 | 60 699.28/699.55 c 525s | 25 | 10252212 | 6240498 | 707 19048 | 26 | 60 701.28/701.56 c 527s | 25 | 10289449 | 6263898 | 707 19111 | 26 | 60 703.28/703.56 c 529s | 25 | 10327113 | 6287198 | 707 19172 | 26 | 60 705.28/705.56 c 531s | 25 | 10364337 | 6310498 | 707 19234 | 26 | 60 707.28/707.57 c 533s | 25 | 10400860 | 6333598 | 707 19296 | 26 | 60 709.29/709.57 c 535s | 25 | 10440158 | 6357698 | 707 19360 | 26 | 60 711.28/711.57 c 537s | 25 | 10477392 | 6380798 | 707 19422 | 26 | 60 713.29/713.58 c 539s | 25 | 10515000 | 6404298 | 707 19484 | 26 | 60 715.29/715.59 c 541s | 25 | 10553177 | 6427398 | 707 19546 | 26 | 60 717.28/717.59 c 543s | 25 | 10589457 | 6450198 | 707 19606 | 26 | 60 719.38/719.60 c 545s | 25 | 10625839 | 6473298 | 707 19668 | 26 | 60 721.39/721.61 c 547s | 25 | 10662488 | 6496398 | 707 19730 | 26 | 60 723.38/723.61 c 549s | 25 | 10698117 | 6519298 | 707 19791 | 26 | 60 725.38/725.62 c 551s | 25 | 10734522 | 6542398 | 707 19853 | 26 | 60 727.37/727.62 c 553s | 25 | 10771300 | 6565298 | 707 19914 | 26 | 60 729.37/729.63 c 555s | 25 | 10806408 | 6587498 | 707 19973 | 26 | 60 731.38/731.63 c 557s | 25 | 10842434 | 6610398 | 707 20034 | 26 | 60 733.37/733.64 c 559s | 25 | 10881449 | 6633798 | 707 20097 | 26 | 60 735.37/735.64 c 561s | 25 | 10916045 | 6656498 | 707 20157 | 26 | 60 737.36/737.64 c 563s | 25 | 10951090 | 6679198 | 707 20218 | 26 | 60 739.36/739.65 c 565s | 25 | 10985207 | 6701398 | 707 20277 | 26 | 60 741.37/741.65 c 567s | 25 | 11018330 | 6723098 | 707 20336 | 26 | 60 743.38/743.65 c 569s | 25 | 11052929 | 6745398 | 707 20395 | 26 | 60 745.37/745.65 c 571s | 25 | 11085673 | 6767598 | 707 20454 | 26 | 60 747.37/747.66 c 573s | 25 | 11118087 | 6789198 | 707 20512 | 26 | 60 749.36/749.66 c 575s | 25 | 11152652 | 6812098 | 707 20573 | 26 | 60 751.36/751.66 c 577s | 25 | 11186952 | 6834298 | 707 20633 | 26 | 60 753.37/753.66 c 579s | 25 | 11219747 | 6856498 | 707 20692 | 26 | 60 755.36/755.67 c 581s | 25 | 11253784 | 6878898 | 707 20752 | 26 | 60 757.36/757.67 c 583s | 25 | 11291695 | 6901398 | 707 20812 | 26 | 60 759.36/759.68 c 585s | 25 | 11328474 | 6924498 | 707 20873 | 26 | 60 761.35/761.68 c 587s | 25 | 11365117 | 6947698 | 707 20935 | 26 | 60 763.36/763.69 c 589s | 25 | 11400524 | 6971098 | 707 20997 | 26 | 60 765.37/765.70 c 591s | 25 | 11435479 | 6993998 | 707 21059 | 26 | 60 767.46/767.70 c 593s | 25 | 11471184 | 7016698 | 707 21119 | 26 | 60 769.46/769.70 c 595s | 25 | 11506581 | 7039498 | 707 21180 | 26 | 60 771.46/771.70 c 597s | 25 | 11541795 | 7062598 | 707 21241 | 26 | 60 773.46/773.71 c 599s | 25 | 11576815 | 7085598 | 707 21303 | 26 | 60 775.46/775.71 c 601s | 25 | 11610869 | 7107698 | 707 21362 | 26 | 60 777.46/777.72 c 603s | 25 | 11642962 | 7129498 | 707 21419 | 26 | 60 779.45/779.73 c 605s | 25 | 11674535 | 7150598 | 707 21475 | 26 | 60 781.45/781.73 c 607s | 25 | 11708710 | 7173298 | 707 21536 | 26 | 60 783.45/783.74 c 609s | 25 | 11742720 | 7196298 | 707 21598 | 26 | 60 785.45/785.74 c 611s | 25 | 11775332 | 7218498 | 707 21657 | 26 | 60 787.45/787.74 c 613s | 25 | 11809582 | 7241098 | 707 21717 | 26 | 60 789.45/789.74 c 615s | 25 | 11842758 | 7263198 | 707 21777 | 26 | 60 791.44/791.74 c 617s | 25 | 11877942 | 7285898 | 707 21837 | 26 | 60 793.44/793.75 c 619s | 25 | 11913607 | 7308598 | 707 21898 | 26 | 60 795.44/795.75 c 621s | 25 | 11944736 | 7329698 | 707 21954 | 26 | 60 797.44/797.75 c 623s | 25 | 11978360 | 7352298 | 707 22014 | 26 | 60 799.45/799.76 c 625s | 25 | 12015623 | 7375898 | 707 22077 | 26 | 60 801.44/801.76 c 627s | 25 | 12055087 | 7399498 | 707 22140 | 26 | 60 803.44/803.76 c 629s | 25 | 12093781 | 7422998 | 707 22203 | 26 | 60 805.44/805.76 c 631s | 25 | 12134836 | 7446898 | 707 22267 | 26 | 60 807.44/807.76 c 633s | 25 | 12174078 | 7469798 | 707 22328 | 26 | 60 809.44/809.77 c 635s | 25 | 12214791 | 7492998 | 707 22390 | 26 | 60 811.43/811.78 c 637s | 25 | 12251369 | 7514598 | 707 22448 | 26 | 60 813.43/813.78 c 639s | 25 | 12289354 | 7537098 | 707 22508 | 26 | 60 815.44/815.79 c 641s | 25 | 12328719 | 7559898 | 707 22568 | 26 | 60 817.44/817.79 c 643s | 25 | 12363824 | 7582698 | 707 22629 | 26 | 60 818.84/819.10 c 644s | 26 | 12386266 | 7597752 | 707 22669 | 26 | 60 820.84/821.11 c 646s | 26 | 12427244 | 7624152 | 707 22739 | 26 | 60 822.84/823.11 c 648s | 26 | 12465982 | 7649252 | 707 22806 | 26 | 60 824.84/825.12 c 650s | 26 | 12504020 | 7673852 | 707 22871 | 26 | 60 826.83/827.12 c 652s | 26 | 12541250 | 7698052 | 707 22935 | 26 | 60 828.83/829.12 c 654s | 26 | 12577629 | 7721952 | 707 22998 | 26 | 60 830.83/831.13 c 656s | 26 | 12615129 | 7746352 | 707 23063 | 26 | 60 832.83/833.14 c 658s | 26 | 12652119 | 7770052 | 707 23125 | 26 | 60 834.83/835.14 c 660s | 26 | 12690337 | 7794452 | 707 23190 | 26 | 60 836.83/837.15 c 662s | 26 | 12725799 | 7818052 | 707 23253 | 26 | 60 838.82/839.15 c 664s | 26 | 12764845 | 7843852 | 707 23321 | 26 | 60 840.82/841.16 c 666s | 26 | 12802803 | 7868452 | 707 23386 | 26 | 60 842.83/843.16 c 668s | 26 | 12839711 | 7892752 | 707 23450 | 26 | 60 844.83/845.16 c 670s | 26 | 12877289 | 7917052 | 707 23515 | 26 | 60 846.83/847.16 c 672s | 26 | 12913159 | 7940552 | 707 23577 | 26 | 60 848.82/849.17 c 674s | 26 | 12949994 | 7964452 | 707 23640 | 26 | 60 850.82/851.17 c 676s | 26 | 12992705 | 7989452 | 707 23707 | 26 | 60 852.82/853.18 c 678s | 26 | 13033436 | 8013952 | 707 23772 | 26 | 60 854.82/855.18 c 680s | 26 | 13075692 | 8037952 | 707 23835 | 26 | 60 856.81/857.19 c 682s | 26 | 13124514 | 8062352 | 707 23900 | 26 | 60 858.82/859.19 c 684s | 26 | 13166807 | 8085352 | 707 23961 | 26 | 60 860.81/861.19 c 686s | 26 | 13202300 | 8108152 | 707 24022 | 26 | 60 862.82/863.19 c 688s | 26 | 13239396 | 8131652 | 707 24084 | 26 | 60 864.82/865.19 c 690s | 26 | 13276899 | 8154952 | 707 24146 | 26 | 60 866.81/867.19 c 692s | 26 | 13315319 | 8178352 | 707 24208 | 26 | 60 868.82/869.19 c 694s | 26 | 13353517 | 8202152 | 707 24271 | 26 | 60 870.81/871.20 c 696s | 26 | 13397100 | 8226652 | 707 24336 | 26 | 60 872.91/873.20 c 698s | 26 | 13435707 | 8249852 | 707 24398 | 26 | 60 874.91/875.21 c 700s | 26 | 13476619 | 8273452 | 707 24461 | 26 | 60 876.90/877.21 c 702s | 26 | 13513290 | 8296452 | 707 24522 | 26 | 60 878.90/879.21 c 704s | 26 | 13551282 | 8319452 | 707 24583 | 26 | 60 880.91/881.22 c 706s | 26 | 13589211 | 8342952 | 707 24646 | 26 | 60 882.90/883.22 c 708s | 26 | 13626547 | 8366452 | 707 24709 | 26 | 60 884.91/885.23 c 710s | 26 | 13664699 | 8389552 | 707 24770 | 26 | 60 886.91/887.23 c 712s | 26 | 13700284 | 8412152 | 707 24831 | 26 | 60 888.91/889.24 c 714s | 26 | 13737400 | 8435252 | 707 24892 | 26 | 60 890.90/891.25 c 716s | 26 | 13776350 | 8459052 | 707 24956 | 26 | 60 892.91/893.26 c 718s | 26 | 13816041 | 8482852 | 707 25019 | 26 | 60 894.90/895.26 c 720s | 26 | 13853549 | 8506452 | 707 25082 | 26 | 60 896.90/897.27 c 722s | 26 | 13894607 | 8531052 | 707 25147 | 26 | 60 898.90/899.27 c 724s | 26 | 13934728 | 8555152 | 707 25211 | 26 | 60 900.90/901.28 c 726s | 26 | 13974951 | 8579152 | 707 25275 | 26 | 60 902.90/903.28 c 728s | 26 | 14012759 | 8601952 | 707 25337 | 26 | 60 904.90/905.29 c 730s | 26 | 14052505 | 8625052 | 707 25398 | 26 | 60 906.89/907.30 c 732s | 26 | 14091888 | 8648252 | 707 25460 | 26 | 60 908.99/909.30 c 734s | 26 | 14128648 | 8671052 | 707 25520 | 26 | 60 910.99/911.30 c 736s | 26 | 14164506 | 8693752 | 707 25581 | 26 | 60 912.99/913.30 c 738s | 26 | 14204592 | 8718252 | 707 25646 | 26 | 60 914.99/915.31 c 741s | 26 | 14242832 | 8741752 | 707 25709 | 26 | 60 916.98/917.32 c 743s | 26 | 14287593 | 8765952 | 707 25773 | 26 | 60 918.98/919.32 c 745s | 26 | 14327096 | 8789152 | 707 25835 | 26 | 60 920.99/921.32 c 747s | 26 | 14367280 | 8812552 | 707 25897 | 26 | 60 922.99/923.33 c 749s | 26 | 14404491 | 8835752 | 707 25959 | 26 | 60 924.98/925.34 c 751s | 26 | 14442078 | 8859152 | 707 26022 | 26 | 60 926.98/927.34 c 753s | 26 | 14480357 | 8882452 | 707 26084 | 26 | 60 928.98/929.34 c 755s | 26 | 14518956 | 8906452 | 707 26147 | 26 | 60 930.98/931.35 c 757s | 26 | 14555169 | 8929652 | 707 26209 | 26 | 60 932.98/933.35 c 759s | 26 | 14593202 | 8953552 | 707 26273 | 26 | 60 934.98/935.36 c 761s | 26 | 14632030 | 8977052 | 707 26336 | 26 | 60 936.99/937.36 c 763s | 26 | 14671322 | 9001052 | 707 26400 | 26 | 60 938.98/939.36 c 765s | 26 | 14706541 | 9024352 | 707 26462 | 26 | 60 940.98/941.37 c 767s | 26 | 14745221 | 9047952 | 707 26525 | 26 | 60 942.97/943.38 c 769s | 26 | 14783054 | 9071452 | 707 26588 | 26 | 60 944.97/945.38 c 771s | 26 | 14821350 | 9095252 | 707 26651 | 26 | 60 946.97/947.38 c 773s | 26 | 14860090 | 9118952 | 778 26710 | 26 | 60 948.98/949.39 c 775s | 26 | 14895878 | 9142252 | 778 26767 | 26 | 60 950.97/951.39 c 777s | 26 | 14931815 | 9165552 | 778 26824 | 26 | 60 952.97/953.40 c 779s | 26 | 14968364 | 9188652 | 778 26880 | 26 | 60 955.07/955.40 c 781s | 26 | 15004254 | 9211652 | 778 26937 | 26 | 60 957.07/957.41 c 783s | 26 | 15041142 | 9234652 | 778 26993 | 26 | 60 959.07/959.41 c 785s | 26 | 15078140 | 9258152 | 778 27050 | 26 | 60 961.08/961.42 c 787s | 26 | 15114040 | 9280752 | 778 27105 | 26 | 60 963.07/963.42 c 789s | 26 | 15151086 | 9303952 | 778 27162 | 26 | 60 965.07/965.43 c 791s | 26 | 15189577 | 9327652 | 778 27220 | 26 | 60 967.07/967.44 c 793s | 26 | 15229016 | 9350652 | 778 27275 | 26 | 60 969.07/969.44 c 795s | 26 | 15269032 | 9374152 | 778 27333 | 26 | 60 971.08/971.44 c 797s | 26 | 15312736 | 9397152 | 778 27389 | 26 | 60 973.07/973.45 c 799s | 26 | 15357992 | 9420852 | 778 27447 | 26 | 60 975.07/975.46 c 801s | 26 | 15398105 | 9443852 | 778 27503 | 26 | 60 977.07/977.47 c 803s | 26 | 15437658 | 9467152 | 778 27559 | 26 | 60 979.07/979.47 c 805s | 26 | 15475465 | 9490552 | 778 27616 | 26 | 60 981.06/981.47 c 807s | 26 | 15510846 | 9512952 | 778 27671 | 26 | 60 983.07/983.48 c 809s | 26 | 15548293 | 9535852 | 778 27726 | 26 | 60 985.06/985.48 c 811s | 26 | 15583747 | 9558952 | 778 27782 | 26 | 60 987.06/987.49 c 813s | 26 | 15619252 | 9582052 | 778 27839 | 26 | 60 989.06/989.49 c 815s | 26 | 15654617 | 9605352 | 778 27895 | 26 | 60 991.16/991.50 c 817s | 26 | 15690640 | 9628952 | 778 27953 | 26 | 60 993.17/993.50 c 819s | 26 | 15727612 | 9652452 | 778 28010 | 26 | 60 995.17/995.51 c 821s | 26 | 15764128 | 9676252 | 778 28068 | 26 | 60 997.17/997.52 c 823s | 26 | 15801708 | 9700452 | 778 28127 | 26 | 60 999.16/999.53 c 825s | 26 | 15837441 | 9723652 | 778 28183 | 26 | 60 1001.16/1001.53 c 827s | 26 | 15873411 | 9747352 | 778 28241 | 26 | 60 1003.16/1003.54 c 829s | 26 | 15909947 | 9771152 | 778 28299 | 26 | 60 1005.17/1005.55 c 831s | 26 | 15944750 | 9793852 | 778 28355 | 26 | 60 1007.16/1007.56 c 833s | 26 | 15979219 | 9816152 | 778 28409 | 26 | 60 1009.16/1009.56 c 835s | 26 | 16012399 | 9838552 | 778 28464 | 26 | 60 1011.16/1011.57 c 837s | 26 | 16049511 | 9861852 | 778 28521 | 26 | 60 1013.16/1013.57 c 839s | 26 | 16085966 | 9884552 | 778 28576 | 26 | 60 1015.16/1015.57 c 841s | 26 | 16125074 | 9907852 | 778 28633 | 26 | 60 1017.17/1017.58 c 843s | 26 | 16158496 | 9929352 | 778 28685 | 26 | 60 1019.16/1019.59 c 845s | 26 | 16194250 | 9952052 | 778 28741 | 26 | 60 1021.16/1021.60 c 847s | 26 | 16230797 | 9975652 | 778 28798 | 26 | 60 1023.26/1023.61 c 849s | 26 | 16265850 | 9998752 | 778 28855 | 26 | 60 1025.26/1025.61 c 851s | 26 | 16302059 | 10021852 | 778 28911 | 26 | 60 1027.26/1027.61 c 853s | 26 | 16335124 | 10044052 | 778 28965 | 26 | 60 1029.26/1029.62 c 855s | 26 | 16369415 | 10067052 | 778 29021 | 26 | 60 1031.26/1031.63 c 857s | 26 | 16404040 | 10090052 | 778 29078 | 26 | 60 1033.26/1033.63 c 859s | 26 | 16436782 | 10112052 | 778 29131 | 26 | 60 1035.25/1035.64 c 861s | 26 | 16471216 | 10134452 | 778 29186 | 26 | 60 1037.25/1037.64 c 863s | 26 | 16505435 | 10156752 | 778 29240 | 26 | 60 1039.26/1039.64 c 865s | 26 | 16540400 | 10179352 | 778 29295 | 26 | 60 1041.25/1041.64 c 867s | 26 | 16576602 | 10202752 | 778 29353 | 26 | 60 1043.25/1043.65 c 869s | 26 | 16611210 | 10225952 | 778 29409 | 26 | 60 1045.25/1045.65 c 871s | 26 | 16647045 | 10248952 | 778 29465 | 26 | 60 1047.25/1047.66 c 873s | 26 | 16682029 | 10272152 | 778 29522 | 26 | 60 1049.25/1049.67 c 875s | 26 | 16714471 | 10294052 | 778 29576 | 26 | 60 1051.26/1051.67 c 877s | 26 | 16748422 | 10316252 | 778 29630 | 26 | 60 1053.25/1053.67 c 879s | 26 | 16781992 | 10338552 | 778 29684 | 26 | 60 1055.25/1055.68 c 881s | 26 | 16817179 | 10361952 | 778 29741 | 26 | 60 1057.25/1057.69 c 883s | 26 | 16852314 | 10385252 | 778 29798 | 26 | 60 1059.25/1059.69 c 885s | 26 | 16886066 | 10407952 | 778 29853 | 26 | 60 1061.26/1061.69 c 887s | 26 | 16922107 | 10431052 | 778 29909 | 26 | 60 1063.26/1063.69 c 889s | 26 | 16958228 | 10453852 | 778 29965 | 26 | 60 1065.25/1065.70 c 891s | 26 | 16994368 | 10476952 | 778 30021 | 26 | 60 1067.35/1067.70 c 893s | 26 | 17029684 | 10499752 | 778 30077 | 26 | 60 1069.35/1069.71 c 895s | 26 | 17063738 | 10521152 | 778 30129 | 26 | 60 1071.35/1071.71 c 897s | 26 | 17099952 | 10544552 | 778 30187 | 26 | 60 1073.36/1073.72 c 899s | 26 | 17134549 | 10567552 | 778 30243 | 26 | 60 1075.35/1075.72 c 901s | 26 | 17168478 | 10589852 | 778 30297 | 26 | 60 1077.35/1077.73 c 903s | 26 | 17201341 | 10611452 | 778 30350 | 26 | 60 1079.35/1079.73 c 905s | 26 | 17235620 | 10633152 | 778 30402 | 26 | 60 1081.35/1081.74 c 907s | 26 | 17271898 | 10656152 | 778 30459 | 26 | 60 1083.35/1083.74 c 909s | 26 | 17305558 | 10678452 | 778 30513 | 26 | 60 1085.36/1085.74 c 911s | 26 | 17340559 | 10700552 | 778 30567 | 26 | 60 1087.35/1087.74 c 913s | 26 | 17372594 | 10721452 | 778 30618 | 26 | 60 1089.35/1089.75 c 915s | 26 | 17405688 | 10743652 | 778 30672 | 26 | 60 1091.34/1091.75 c 917s | 26 | 17440818 | 10765852 | 778 30727 | 26 | 60 1093.34/1093.76 c 919s | 26 | 17476982 | 10788052 | 778 30781 | 26 | 60 1095.35/1095.77 c 921s | 26 | 17513097 | 10810952 | 778 30837 | 26 | 60 1097.34/1097.77 c 923s | 26 | 17550691 | 10834652 | 778 30894 | 26 | 60 1099.35/1099.77 c 925s | 26 | 17586830 | 10857852 | 778 30951 | 26 | 60 1101.35/1101.77 c 927s | 26 | 17619808 | 10879452 | 778 31004 | 26 | 60 1103.35/1103.78 c 929s | 26 | 17653359 | 10901752 | 778 31058 | 26 | 60 1105.35/1105.78 c 931s | 26 | 17685681 | 10923252 | 778 31111 | 26 | 60 1107.36/1107.79 c 933s | 26 | 17717964 | 10944752 | 778 31164 | 26 | 60 1109.35/1109.80 c 935s | 26 | 17752932 | 10967952 | 778 31220 | 26 | 60 1111.45/1111.80 c 937s | 26 | 17786763 | 10990752 | 778 31276 | 26 | 60 1113.45/1113.80 c 939s | 26 | 17819803 | 11013152 | 778 31331 | 26 | 60 1115.44/1115.80 c 941s | 26 | 17852922 | 11035452 | 778 31386 | 26 | 60 1117.44/1117.81 c 943s | 26 | 17886973 | 11057352 | 778 31439 | 26 | 60 1119.45/1119.82 c 945s | 26 | 17920211 | 11079252 | 778 31493 | 26 | 60 1121.44/1121.82 c 947s | 26 | 17954531 | 11101452 | 778 31547 | 26 | 60 1123.44/1123.83 c 949s | 26 | 17988140 | 11123152 | 778 31600 | 26 | 60 1125.44/1125.83 c 951s | 26 | 18025929 | 11147252 | 778 31659 | 26 | 60 1127.44/1127.83 c 953s | 26 | 18062327 | 11169952 | 778 31714 | 26 | 60 1129.45/1129.84 c 955s | 26 | 18098220 | 11192852 | 778 31770 | 26 | 60 1131.44/1131.85 c 957s | 26 | 18131589 | 11215252 | 778 31825 | 26 | 60 1133.44/1133.85 c 959s | 26 | 18165945 | 11237852 | 778 31880 | 26 | 60 1135.44/1135.86 c 961s | 26 | 18197486 | 11258952 | 778 31932 | 26 | 60 1137.45/1137.86 c 963s | 26 | 18231659 | 11281252 | 778 31986 | 26 | 60 1139.44/1139.87 c 965s | 26 | 18263813 | 11302752 | 778 32039 | 26 | 60 1141.45/1141.87 c 967s | 26 | 18296516 | 11324552 | 778 32092 | 26 | 60 1143.44/1143.88 c 969s | 26 | 18331176 | 11346252 | 778 32146 | 26 | 60 1145.44/1145.88 c 971s | 26 | 18369286 | 11369252 | 778 32202 | 26 | 60 1147.44/1147.88 c 973s | 26 | 18403211 | 11391552 | 778 32256 | 26 | 60 1147.94/1148.35 c 974s | 27 | 18411905 | 11396733 | 778 32269 | 26 | 60 1149.94/1150.35 c 976s | 27 | 18452134 | 11420233 | 778 32326 | 26 | 60 1151.94/1152.35 c 978s | 27 | 18488557 | 11443133 | 778 32382 | 26 | 60 1153.94/1154.35 c 980s | 27 | 18525641 | 11465533 | 778 32436 | 26 | 60 1155.94/1156.35 c 982s | 27 | 18566583 | 11488533 | 778 32492 | 26 | 60 1157.94/1158.36 c 984s | 27 | 18613026 | 11511633 | 778 32548 | 26 | 60 1159.94/1160.36 c 986s | 27 | 18651148 | 11533633 | 778 32602 | 26 | 60 1161.94/1162.36 c 988s | 27 | 18684862 | 11555433 | 778 32655 | 26 | 60 1163.94/1164.37 c 990s | 27 | 18719896 | 11578433 | 778 32711 | 26 | 60 1165.93/1166.38 c 992s | 27 | 18754579 | 11600833 | 778 32766 | 26 | 60 1167.94/1168.38 c 994s | 27 | 18790270 | 11622933 | 778 32819 | 26 | 60 1169.93/1170.38 c 996s | 27 | 18826412 | 11645833 | 778 32875 | 26 | 60 1171.93/1172.38 c 998s | 27 | 18861381 | 11668233 | 778 32930 | 26 | 60 1173.93/1174.39 c 1000s | 27 | 18895405 | 11689933 | 778 32983 | 26 | 60 1175.93/1176.39 c 1002s | 27 | 18931835 | 11712733 | 778 33038 | 26 | 60 1178.03/1178.40 c 1004s | 27 | 18967550 | 11735333 | 778 33094 | 26 | 60 1179.94/1180.40 c 1006s | 27 | 19004469 | 11758333 | 778 33150 | 26 | 60 1182.04/1182.41 c 1008s | 27 | 19045376 | 11782533 | 778 33209 | 26 | 60 1184.04/1184.41 c 1010s | 27 | 19086360 | 11805833 | 778 33265 | 26 | 60 1186.04/1186.41 c 1012s | 27 | 19124924 | 11827933 | 778 33319 | 26 | 60 1188.04/1188.42 c 1014s | 27 | 19161749 | 11850133 | 778 33373 | 26 | 60 1190.04/1190.42 c 1016s | 27 | 19197039 | 11872033 | 778 33426 | 26 | 60 1192.04/1192.43 c 1018s | 27 | 19233291 | 11894933 | 778 33482 | 26 | 60 1194.03/1194.43 c 1020s | 27 | 19269716 | 11917633 | 778 33538 | 26 | 60 1196.03/1196.43 c 1022s | 27 | 19305972 | 11940433 | 778 33593 | 26 | 60 1198.03/1198.44 c 1024s | 27 | 19342730 | 11962733 | 778 33647 | 26 | 60 1200.03/1200.44 c 1026s | 27 | 19380036 | 11985833 | 778 33704 | 26 | 60 1202.04/1202.44 c 1028s | 27 | 19417394 | 12009133 | 778 33760 | 26 | 60 1204.03/1204.45 c 1030s | 27 | 19452819 | 12031733 | 778 33814 | 26 | 60 1206.03/1206.46 c 1032s | 27 | 19489455 | 12054733 | 778 33870 | 26 | 60 1208.03/1208.46 c 1034s | 27 | 19526425 | 12077733 | 778 33926 | 26 | 60 1210.03/1210.47 c 1036s | 27 | 19563179 | 12101133 | 778 33984 | 26 | 60 1212.03/1212.48 c 1038s | 27 | 19600200 | 12124133 | 778 34040 | 26 | 60 1214.04/1214.48 c 1040s | 27 | 19634958 | 12145833 | 778 34093 | 26 | 60 1216.03/1216.49 c 1042s | 27 | 19670810 | 12167833 | 778 34146 | 26 | 60 1218.03/1218.49 c 1044s | 27 | 19708462 | 12191133 | 778 34203 | 26 | 60 1220.13/1220.50 c 1046s | 27 | 19743097 | 12213333 | 778 34257 | 26 | 60 1222.13/1222.50 c 1048s | 27 | 19777999 | 12235433 | 778 34311 | 26 | 60 1224.13/1224.51 c 1050s | 27 | 19814131 | 12258333 | 778 34366 | 26 | 60 1226.14/1226.51 c 1052s | 27 | 19850285 | 12281233 | 778 34422 | 26 | 60 1228.13/1228.51 c 1054s | 27 | 19887043 | 12304333 | 778 34479 | 26 | 60 1230.13/1230.51 c 1056s | 27 | 19923885 | 12327333 | 778 34534 | 26 | 60 1232.13/1232.52 c 1058s | 27 | 19959496 | 12349933 | 778 34590 | 26 | 60 1234.13/1234.52 c 1060s | 27 | 19993748 | 12372233 | 778 34644 | 26 | 60 1236.14/1236.53 c 1062s | 27 | 20028981 | 12394833 | 778 34699 | 26 | 60 1238.13/1238.53 c 1064s | 27 | 20066011 | 12418033 | 778 34755 | 26 | 60 1240.13/1240.54 c 1066s | 27 | 20104473 | 12441933 | 778 34814 | 26 | 60 1242.13/1242.54 c 1068s | 27 | 20140868 | 12465033 | 778 34870 | 26 | 60 1244.12/1244.55 c 1070s | 27 | 20178115 | 12488133 | 778 34926 | 26 | 60 1246.12/1246.55 c 1072s | 27 | 20214857 | 12511233 | 778 34982 | 26 | 60 1248.13/1248.55 c 1074s | 27 | 20249812 | 12533833 | 778 35038 | 26 | 60 1250.12/1250.56 c 1076s | 27 | 20290838 | 12557433 | 778 35095 | 26 | 60 1252.12/1252.56 c 1078s | 27 | 20329820 | 12580033 | 778 35150 | 26 | 60 1254.12/1254.56 c 1080s | 27 | 20370672 | 12603633 | 778 35208 | 26 | 60 1256.12/1256.57 c 1082s | 27 | 20411319 | 12626933 | 778 35264 | 26 | 60 1258.13/1258.57 c 1084s | 27 | 20453473 | 12650833 | 778 35323 | 26 | 60 1260.13/1260.58 c 1086s | 27 | 20494455 | 12674033 | 778 35379 | 26 | 60 1262.13/1262.58 c 1088s | 27 | 20535447 | 12696833 | 778 35435 | 26 | 60 1264.12/1264.59 c 1090s | 27 | 20572432 | 12718833 | 778 35489 | 26 | 60 1266.12/1266.59 c 1092s | 27 | 20610705 | 12741933 | 778 35545 | 26 | 60 1268.12/1268.59 c 1094s | 27 | 20650520 | 12765633 | 778 35603 | 26 | 60 1270.13/1270.59 c 1096s | 27 | 20687524 | 12787833 | 778 35657 | 26 | 60 1272.22/1272.60 c 1098s | 27 | 20724667 | 12809933 | 778 35711 | 26 | 60 1274.22/1274.60 c 1100s | 27 | 20762984 | 12833133 | 778 35768 | 26 | 60 1276.22/1276.60 c 1102s | 27 | 20802283 | 12856133 | 778 35824 | 26 | 60 1278.22/1278.61 c 1104s | 27 | 20840890 | 12879033 | 778 35880 | 26 | 60 1280.22/1280.62 c 1106s | 27 | 20876995 | 12901033 | 778 35933 | 26 | 60 1282.22/1282.62 c 1108s | 27 | 20916843 | 12924033 | 778 35990 | 26 | 60 1284.22/1284.63 c 1110s | 27 | 20955746 | 12946833 | 778 36045 | 26 | 60 1286.22/1286.63 c 1112s | 27 | 20994638 | 12969433 | 778 36100 | 26 | 60 1288.22/1288.64 c 1114s | 27 | 21033132 | 12992233 | 778 36156 | 26 | 60 1290.22/1290.64 c 1116s | 27 | 21071026 | 13014933 | 778 36211 | 26 | 60 1292.23/1292.65 c 1118s | 27 | 21107558 | 13036633 | 778 36264 | 26 | 60 1294.22/1294.65 c 1120s | 27 | 21143921 | 13058633 | 778 36318 | 26 | 60 1296.22/1296.65 c 1122s | 27 | 21181385 | 13081133 | 778 36373 | 26 | 60 1298.22/1298.66 c 1124s | 27 | 21216809 | 13103733 | 778 36428 | 26 | 60 1300.22/1300.66 c 1126s | 27 | 21253475 | 13126433 | 778 36484 | 26 | 60 1302.22/1302.67 c 1128s | 27 | 21290799 | 13149133 | 778 36539 | 26 | 60 1304.22/1304.67 c 1130s | 27 | 21326169 | 13171133 | 778 36592 | 26 | 60 1306.22/1306.67 c 1132s | 27 | 21362048 | 13193833 | 778 36648 | 26 | 60 1308.22/1308.67 c 1134s | 27 | 21396135 | 13216033 | 778 36702 | 26 | 60 1310.22/1310.67 c 1136s | 27 | 21434801 | 13238533 | 778 36757 | 26 | 60 1312.22/1312.68 c 1138s | 27 | 21470013 | 13260933 | 778 36812 | 26 | 60 1314.22/1314.68 c 1140s | 27 | 21504411 | 13282833 | 778 36865 | 26 | 60 1316.21/1316.69 c 1142s | 27 | 21540062 | 13304733 | 778 36918 | 26 | 60 1318.31/1318.70 c 1144s | 27 | 21576329 | 13326933 | 778 36973 | 26 | 60 1320.31/1320.71 c 1146s | 27 | 21612142 | 13348333 | 778 37025 | 26 | 60 1322.31/1322.71 c 1148s | 27 | 21652775 | 13371733 | 778 37082 | 26 | 60 1324.31/1324.71 c 1150s | 27 | 21689160 | 13394233 | 778 37137 | 26 | 60 1326.32/1326.72 c 1152s | 27 | 21726229 | 13417233 | 778 37193 | 26 | 60 1328.31/1328.72 c 1154s | 27 | 21763037 | 13439933 | 778 37249 | 26 | 60 1330.31/1330.73 c 1156s | 27 | 21797570 | 13461733 | 778 37302 | 26 | 60 1332.31/1332.73 c 1158s | 27 | 21836657 | 13484933 | 778 37358 | 26 | 60 1334.31/1334.73 c 1160s | 27 | 21874978 | 13507233 | 778 37413 | 26 | 60 1336.31/1336.74 c 1162s | 27 | 21913924 | 13529633 | 778 37467 | 26 | 60 1338.31/1338.74 c 1164s | 27 | 21951316 | 13551733 | 778 37521 | 26 | 60 1340.32/1340.75 c 1166s | 27 | 21988162 | 13573233 | 778 37573 | 26 | 60 1342.31/1342.75 c 1168s | 27 | 22025467 | 13595633 | 778 37627 | 26 | 60 1344.31/1344.75 c 1170s | 27 | 22068084 | 13618733 | 778 37683 | 26 | 60 1346.31/1346.76 c 1172s | 27 | 22106795 | 13641433 | 778 37738 | 26 | 60 1348.32/1348.76 c 1174s | 27 | 22145410 | 13663833 | 778 37793 | 26 | 60 1350.31/1350.77 c 1176s | 27 | 22186528 | 13687033 | 778 37849 | 26 | 60 1352.31/1352.77 c 1178s | 27 | 22224826 | 13709433 | 778 37904 | 26 | 60 1354.31/1354.78 c 1180s | 27 | 22263765 | 13732333 | 778 37959 | 26 | 60 1356.31/1356.78 c 1182s | 27 | 22302979 | 13754733 | 778 38014 | 26 | 60 1358.31/1358.79 c 1184s | 27 | 22342198 | 13777833 | 778 38070 | 26 | 60 1360.31/1360.80 c 1186s | 27 | 22379644 | 13800633 | 778 38125 | 26 | 60 1362.40/1362.80 c 1188s | 27 | 22418819 | 13822833 | 778 38179 | 26 | 60 1364.40/1364.80 c 1190s | 27 | 22456271 | 13844633 | 778 38232 | 26 | 60 1366.40/1366.81 c 1192s | 27 | 22497448 | 13868133 | 778 38289 | 26 | 60 1368.40/1368.81 c 1194s | 27 | 22536157 | 13891133 | 778 38345 | 26 | 60 1370.41/1370.82 c 1196s | 27 | 22580294 | 13915733 | 778 38405 | 26 | 60 1372.42/1372.82 c 1198s | 27 | 22619774 | 13938833 | 778 38461 | 26 | 60 1374.41/1374.83 c 1200s | 27 | 22658371 | 13961533 | 778 38516 | 26 | 60 1376.41/1376.84 c 1202s | 27 | 22695979 | 13984233 | 778 38572 | 26 | 60 1378.41/1378.84 c 1204s | 27 | 22734588 | 14006533 | 778 38626 | 26 | 60 1380.41/1380.84 c 1206s | 27 | 22772438 | 14029233 | 778 38682 | 26 | 60 1382.41/1382.85 c 1208s | 27 | 22811784 | 14052333 | 778 38738 | 26 | 60 1384.40/1384.86 c 1210s | 27 | 22849870 | 14075133 | 778 38793 | 26 | 60 1386.40/1386.86 c 1212s | 27 | 22888990 | 14099133 | 778 38851 | 26 | 60 1388.40/1388.86 c 1214s | 27 | 22927591 | 14123133 | 778 38910 | 26 | 60 1390.40/1390.87 c 1216s | 27 | 22965180 | 14146133 | 778 38966 | 26 | 60 1392.40/1392.87 c 1218s | 27 | 23002809 | 14169233 | 778 39022 | 26 | 60 1394.41/1394.87 c 1220s | 27 | 23040486 | 14192133 | 778 39078 | 26 | 60 1396.40/1396.87 c 1222s | 27 | 23076935 | 14214933 | 778 39133 | 26 | 60 1398.40/1398.87 c 1224s | 27 | 23114891 | 14238233 | 778 39190 | 26 | 60 1400.41/1400.88 c 1226s | 27 | 23151250 | 14261233 | 778 39246 | 26 | 60 1402.41/1402.88 c 1228s | 27 | 23187339 | 14284033 | 778 39302 | 26 | 60 1404.41/1404.89 c 1230s | 27 | 23223559 | 14306633 | 778 39356 | 26 | 60 1406.40/1406.89 c 1232s | 27 | 23260565 | 14329633 | 778 39412 | 26 | 60 1408.40/1408.89 c 1234s | 27 | 23297720 | 14353033 | 778 39469 | 26 | 60 1410.50/1410.90 c 1236s | 27 | 23333264 | 14375633 | 778 39524 | 26 | 60 1412.50/1412.91 c 1238s | 27 | 23368480 | 14398433 | 778 39580 | 26 | 60 1414.50/1414.92 c 1240s | 27 | 23406630 | 14421633 | 778 39636 | 26 | 60 1416.50/1416.92 c 1242s | 27 | 23443007 | 14444533 | 778 39692 | 26 | 60 1418.50/1418.92 c 1244s | 27 | 23480473 | 14467733 | 778 39748 | 26 | 60 1420.50/1420.93 c 1246s | 27 | 23517364 | 14490833 | 778 39805 | 26 | 60 1422.50/1422.94 c 1248s | 27 | 23553026 | 14513233 | 778 39860 | 26 | 60 1424.50/1424.94 c 1250s | 27 | 23588050 | 14535833 | 778 39915 | 26 | 60 1426.49/1426.94 c 1252s | 27 | 23621176 | 14556933 | 778 39966 | 26 | 60 1428.50/1428.94 c 1254s | 27 | 23656800 | 14579333 | 778 40021 | 26 | 60 1430.50/1430.95 c 1256s | 27 | 23690556 | 14600933 | 778 40074 | 26 | 60 1432.50/1432.95 c 1258s | 27 | 23726223 | 14623733 | 778 40129 | 26 | 60 1434.50/1434.96 c 1260s | 27 | 23762556 | 14646133 | 778 40184 | 26 | 60 1436.50/1436.96 c 1262s | 27 | 23798016 | 14668833 | 778 40240 | 26 | 60 1438.50/1438.97 c 1264s | 27 | 23832361 | 14691733 | 778 40295 | 26 | 60 1440.50/1440.97 c 1266s | 27 | 23866825 | 14713833 | 778 40350 | 26 | 60 1442.50/1442.97 c 1268s | 27 | 23901736 | 14736533 | 778 40405 | 26 | 60 1444.50/1444.97 c 1270s | 27 | 23939567 | 14759933 | 778 40462 | 26 | 60 1446.50/1446.98 c 1272s | 27 | 23976489 | 14782633 | 856 40513 | 26 | 60 1448.49/1448.98 c 1274s | 27 | 24010944 | 14804133 | 856 40561 | 26 | 60 1450.50/1450.99 c 1276s | 27 | 24044245 | 14824933 | 856 40607 | 26 | 60 1452.49/1452.99 c 1278s | 27 | 24077517 | 14845133 | 856 40651 | 26 | 60 1454.59/1455.00 c 1280s | 27 | 24115130 | 14868233 | 856 40703 | 26 | 60 1456.60/1457.00 c 1282s | 27 | 24155035 | 14891133 | 856 40754 | 26 | 60 1458.60/1459.00 c 1284s | 27 | 24192307 | 14913333 | 856 40803 | 26 | 60 1460.60/1461.01 c 1286s | 27 | 24230027 | 14935733 | 856 40853 | 26 | 60 1462.60/1463.01 c 1288s | 27 | 24264446 | 14957733 | 856 40902 | 26 | 60 1464.59/1465.01 c 1290s | 27 | 24297900 | 14979533 | 856 40951 | 26 | 60 1466.59/1467.02 c 1292s | 27 | 24332205 | 15001033 | 856 40999 | 26 | 60 1468.59/1469.02 c 1294s | 27 | 24369366 | 15023633 | 856 41049 | 26 | 60 1470.59/1471.02 c 1296s | 27 | 24401691 | 15045133 | 856 41097 | 26 | 60 1472.60/1473.03 c 1298s | 27 | 24437161 | 15066833 | 856 41146 | 26 | 60 1474.59/1475.04 c 1300s | 27 | 24472040 | 15088833 | 856 41195 | 26 | 60 1476.59/1477.05 c 1302s | 27 | 24507305 | 15111233 | 856 41245 | 26 | 60 1478.59/1479.05 c 1304s | 27 | 24543172 | 15133533 | 856 41294 | 26 | 60 1480.59/1481.05 c 1306s | 27 | 24578374 | 15155533 | 856 41343 | 26 | 60 1482.58/1483.06 c 1308s | 27 | 24613421 | 15177033 | 856 41391 | 26 | 60 1484.60/1485.06 c 1310s | 27 | 24647832 | 15198733 | 856 41440 | 26 | 60 1486.59/1487.07 c 1312s | 27 | 24687516 | 15221533 | 856 41491 | 26 | 60 1488.59/1489.07 c 1314s | 27 | 24724463 | 15243533 | 856 41540 | 26 | 60 1490.59/1491.08 c 1316s | 27 | 24760990 | 15266233 | 856 41590 | 26 | 60 1492.59/1493.08 c 1318s | 27 | 24796032 | 15288133 | 856 41639 | 26 | 60 1494.60/1495.08 c 1320s | 27 | 24830573 | 15310333 | 856 41689 | 26 | 60 1496.59/1497.09 c 1322s | 27 | 24866848 | 15333833 | 856 41741 | 26 | 60 1498.69/1499.10 c 1324s | 27 | 24901802 | 15355433 | 856 41789 | 26 | 60 1500.69/1501.11 c 1326s | 27 | 24937821 | 15377933 | 856 41839 | 26 | 60 1502.68/1503.11 c 1328s | 27 | 24973817 | 15400333 | 856 41889 | 26 | 60 1504.68/1505.12 c 1330s | 27 | 25008605 | 15421833 | 856 41936 | 26 | 60 1506.69/1507.12 c 1332s | 27 | 25043347 | 15444233 | 856 41986 | 26 | 60 1508.69/1509.13 c 1334s | 27 | 25077556 | 15466333 | 856 42036 | 26 | 60 1510.69/1511.13 c 1336s | 27 | 25111495 | 15487733 | 856 42084 | 26 | 60 1512.69/1513.14 c 1338s | 27 | 25145828 | 15508833 | 856 42130 | 26 | 60 1514.68/1515.15 c 1340s | 27 | 25177576 | 15529433 | 856 42176 | 26 | 60 1516.68/1517.16 c 1342s | 27 | 25207513 | 15548833 | 856 42220 | 26 | 60 1518.69/1519.16 c 1344s | 27 | 25241045 | 15570233 | 856 42267 | 26 | 60 1520.68/1521.16 c 1346s | 27 | 25275056 | 15592933 | 856 42318 | 26 | 60 1522.68/1523.17 c 1348s | 27 | 25308554 | 15614633 | 856 42367 | 26 | 60 1524.68/1525.17 c 1350s | 27 | 25342452 | 15636733 | 856 42416 | 26 | 60 1526.68/1527.17 c 1352s | 27 | 25378521 | 15659133 | 856 42466 | 26 | 60 1528.69/1529.17 c 1354s | 27 | 25414991 | 15681833 | 856 42516 | 26 | 60 1530.68/1531.18 c 1356s | 27 | 25449128 | 15704233 | 856 42566 | 26 | 60 1532.68/1533.18 c 1358s | 27 | 25483662 | 15726533 | 856 42616 | 26 | 60 1534.68/1535.19 c 1360s | 27 | 25518422 | 15748433 | 856 42665 | 26 | 60 1536.68/1537.19 c 1362s | 27 | 25552320 | 15769833 | 856 42712 | 26 | 60 1538.78/1539.20 c 1364s | 27 | 25585453 | 15790733 | 856 42759 | 26 | 60 1540.68/1541.20 c 1366s | 27 | 25620843 | 15813733 | 856 42810 | 26 | 60 1542.78/1543.20 c 1368s | 27 | 25653980 | 15835833 | 856 42859 | 26 | 60 1544.78/1545.21 c 1370s | 27 | 25689513 | 15858933 | 856 42911 | 26 | 60 1546.78/1547.21 c 1372s | 27 | 25724074 | 15881633 | 856 42961 | 26 | 60 1548.78/1549.22 c 1374s | 27 | 25758078 | 15903933 | 856 43011 | 26 | 60 1550.78/1551.23 c 1376s | 27 | 25789575 | 15925033 | 856 43058 | 26 | 60 1552.79/1553.23 c 1378s | 27 | 25828578 | 15948533 | 856 43111 | 26 | 60 1554.78/1555.23 c 1380s | 27 | 25864714 | 15972033 | 856 43163 | 26 | 60 1556.78/1557.24 c 1382s | 27 | 25901632 | 15994833 | 856 43214 | 26 | 60 1558.78/1559.24 c 1384s | 27 | 25936636 | 16016933 | 856 43263 | 26 | 60 1560.78/1561.25 c 1386s | 27 | 25968159 | 16038533 | 856 43312 | 26 | 60 1562.78/1563.25 c 1388s | 27 | 25999304 | 16060033 | 856 43360 | 26 | 60 1564.78/1565.25 c 1390s | 27 | 26030653 | 16081033 | 856 43407 | 26 | 60 1566.78/1567.26 c 1392s | 27 | 26060331 | 16101033 | 856 43451 | 26 | 60 1568.78/1569.27 c 1394s | 27 | 26090494 | 16121233 | 856 43497 | 26 | 60 1570.77/1571.27 c 1396s | 27 | 26125267 | 16143833 | 856 43547 | 26 | 60 1572.77/1573.27 c 1398s | 27 | 26160055 | 16166633 | 856 43598 | 26 | 60 1574.78/1575.28 c 1400s | 27 | 26196922 | 16189733 | 856 43649 | 26 | 60 1576.77/1577.28 c 1402s | 27 | 26231431 | 16212333 | 856 43700 | 26 | 60 1578.77/1579.29 c 1404s | 27 | 26265225 | 16234733 | 856 43750 | 26 | 60 1580.77/1581.30 c 1406s | 27 | 26299760 | 16257533 | 856 43801 | 26 | 60 1582.87/1583.30 c 1408s | 27 | 26332702 | 16279533 | 856 43850 | 26 | 60 1584.88/1585.30 c 1410s | 27 | 26365208 | 16300833 | 856 43898 | 26 | 60 1586.78/1587.30 c 1412s | 27 | 26396621 | 16321533 | 856 43944 | 26 | 60 1588.88/1589.31 c 1414s | 27 | 26430542 | 16342633 | 856 43991 | 26 | 60 1590.87/1591.31 c 1416s | 27 | 26466425 | 16365633 | 856 44042 | 26 | 60 1592.87/1593.32 c 1419s | 27 | 26501169 | 16388033 | 856 44092 | 26 | 60 1594.87/1595.32 c 1421s | 27 | 26536125 | 16411133 | 856 44144 | 26 | 60 1596.88/1597.32 c 1423s | 27 | 26570715 | 16434133 | 856 44195 | 26 | 60 1598.87/1599.33 c 1425s | 27 | 26604431 | 16456333 | 856 44245 | 26 | 60 1600.87/1601.34 c 1427s | 27 | 26636598 | 16478333 | 856 44294 | 26 | 60 1602.87/1603.35 c 1429s | 27 | 26670388 | 16500133 | 856 44343 | 26 | 60 1604.88/1605.35 c 1431s | 27 | 26704374 | 16522433 | 856 44392 | 26 | 60 1606.87/1607.36 c 1433s | 27 | 26736762 | 16544633 | 856 44442 | 26 | 60 1608.88/1609.36 c 1435s | 27 | 26770110 | 16566933 | 856 44492 | 26 | 60 1610.87/1611.37 c 1437s | 27 | 26801663 | 16588433 | 856 44540 | 26 | 60 1612.87/1613.37 c 1439s | 27 | 26834232 | 16610533 | 856 44589 | 26 | 60 1614.87/1615.38 c 1441s | 27 | 26866692 | 16632333 | 856 44638 | 26 | 60 1616.87/1617.39 c 1443s | 27 | 26897645 | 16653633 | 856 44686 | 26 | 60 1618.88/1619.40 c 1445s | 27 | 26932151 | 16675833 | 856 44735 | 26 | 60 1620.87/1621.40 c 1447s | 27 | 26965761 | 16697933 | 856 44785 | 26 | 60 1622.97/1623.40 c 1449s | 27 | 27001704 | 16720333 | 856 44834 | 26 | 60 1624.97/1625.41 c 1451s | 27 | 27033505 | 16741333 | 856 44881 | 26 | 60 1626.97/1627.42 c 1453s | 27 | 27068868 | 16764333 | 856 44933 | 26 | 60 1628.96/1629.42 c 1455s | 27 | 27103553 | 16787233 | 856 44984 | 26 | 60 1630.97/1631.42 c 1457s | 27 | 27137781 | 16809333 | 856 45033 | 26 | 60 1632.96/1633.43 c 1459s | 27 | 27170418 | 16830933 | 856 45081 | 26 | 60 1634.97/1635.43 c 1461s | 27 | 27203594 | 16852833 | 856 45130 | 26 | 60 1636.97/1637.43 c 1463s | 27 | 27236914 | 16875033 | 856 45180 | 26 | 60 1638.97/1639.44 c 1465s | 27 | 27269741 | 16896833 | 856 45229 | 26 | 60 1640.97/1641.44 c 1467s | 27 | 27302074 | 16918233 | 856 45277 | 26 | 60 1642.97/1643.45 c 1469s | 27 | 27334140 | 16938733 | 856 45322 | 26 | 60 1644.97/1645.45 c 1471s | 27 | 27364274 | 16958233 | 856 45366 | 26 | 60 1646.96/1647.46 c 1473s | 27 | 27397188 | 16978333 | 856 45411 | 26 | 60 1648.96/1649.46 c 1475s | 27 | 27429607 | 16998633 | 856 45456 | 26 | 60 1650.96/1651.47 c 1477s | 27 | 27465001 | 17020733 | 856 45505 | 26 | 60 1652.97/1653.47 c 1479s | 27 | 27500558 | 17043433 | 856 45556 | 26 | 60 1654.96/1655.47 c 1481s | 27 | 27534067 | 17065733 | 856 45606 | 26 | 60 1656.96/1657.48 c 1483s | 27 | 27566939 | 17087133 | 856 45654 | 26 | 60 1657.76/1658.21 c 1483s | 28 | 27579007 | 17095205 | 856 45672 | 26 | 60 1659.76/1660.22 c 1485s | 28 | 27616998 | 17117905 | 856 45722 | 26 | 60 1661.77/1662.22 c 1487s | 28 | 27655804 | 17140505 | 856 45772 | 26 | 60 1663.77/1664.22 c 1489s | 28 | 27694181 | 17163205 | 856 45823 | 26 | 60 1665.76/1666.23 c 1491s | 28 | 27732207 | 17185205 | 856 45872 | 26 | 60 1667.76/1668.23 c 1493s | 28 | 27767660 | 17206205 | 856 45919 | 26 | 60 1669.76/1670.23 c 1495s | 28 | 27807657 | 17229105 | 856 45970 | 26 | 60 1671.76/1672.23 c 1497s | 28 | 27846261 | 17251505 | 856 46019 | 26 | 60 1673.77/1674.24 c 1499s | 28 | 27883429 | 17273105 | 856 46068 | 26 | 60 1675.76/1676.24 c 1501s | 28 | 27921395 | 17294905 | 856 46116 | 26 | 60 1677.76/1678.24 c 1503s | 28 | 27959784 | 17316605 | 856 46164 | 26 | 60 1679.76/1680.25 c 1505s | 28 | 27996104 | 17338005 | 856 46212 | 26 | 60 1681.76/1682.26 c 1507s | 28 | 28035213 | 17360505 | 856 46262 | 26 | 60 1683.77/1684.27 c 1509s | 28 | 28071410 | 17382705 | 856 46312 | 26 | 60 1685.76/1686.27 c 1511s | 28 | 28108843 | 17405405 | 856 46362 | 26 | 60 1687.75/1688.27 c 1513s | 28 | 28144746 | 17428105 | 856 46412 | 26 | 60 1689.76/1690.27 c 1515s | 28 | 28179334 | 17450305 | 856 46462 | 26 | 60 1691.76/1692.28 c 1517s | 28 | 28214094 | 17472005 | 856 46510 | 26 | 60 1693.76/1694.28 c 1519s | 28 | 28249239 | 17494005 | 856 46559 | 26 | 60 1695.77/1696.29 c 1521s | 28 | 28284909 | 17516505 | 856 46609 | 26 | 60 1697.76/1698.30 c 1523s | 28 | 28320395 | 17538605 | 856 46658 | 26 | 60 1699.86/1700.30 c 1525s | 28 | 28354557 | 17560905 | 856 46708 | 26 | 60 1701.86/1702.31 c 1527s | 28 | 28389117 | 17583605 | 856 46758 | 26 | 60 1703.86/1704.32 c 1530s | 28 | 28424860 | 17606205 | 856 46809 | 26 | 60 1705.85/1706.32 c 1532s | 28 | 28459325 | 17628005 | 856 46857 | 26 | 60 1707.86/1708.32 c 1534s | 28 | 28492685 | 17650105 | 856 46906 | 26 | 60 1709.85/1710.33 c 1536s | 28 | 28527525 | 17671605 | 856 46954 | 26 | 60 1711.85/1712.34 c 1538s | 28 | 28562082 | 17693605 | 856 47003 | 26 | 60 1713.85/1714.34 c 1540s | 28 | 28596579 | 17716105 | 856 47053 | 26 | 60 1715.85/1716.34 c 1542s | 28 | 28632036 | 17738505 | 856 47102 | 26 | 60 1717.86/1718.35 c 1544s | 28 | 28664679 | 17759705 | 856 47150 | 26 | 60 1719.85/1720.35 c 1546s | 28 | 28700992 | 17782305 | 856 47200 | 26 | 60 1721.85/1722.36 c 1548s | 28 | 28735272 | 17803705 | 856 47247 | 26 | 60 1723.86/1724.37 c 1550s | 28 | 28768047 | 17824805 | 856 47295 | 26 | 60 1725.85/1726.37 c 1552s | 28 | 28800581 | 17845805 | 856 47341 | 26 | 60 1727.85/1728.38 c 1554s | 28 | 28836115 | 17867405 | 856 47390 | 26 | 60 1729.86/1730.38 c 1556s | 28 | 28870435 | 17889005 | 856 47438 | 26 | 60 1731.85/1732.39 c 1558s | 28 | 28906942 | 17910805 | 856 47486 | 26 | 60 1733.95/1734.40 c 1560s | 28 | 28942050 | 17931405 | 856 47532 | 26 | 60 1735.95/1736.40 c 1562s | 28 | 28979918 | 17952905 | 856 47580 | 26 | 60 1737.95/1738.41 c 1564s | 28 | 29017758 | 17975405 | 856 47630 | 26 | 60 1739.95/1740.41 c 1566s | 28 | 29054623 | 17996105 | 856 47676 | 26 | 60 1741.95/1742.42 c 1568s | 28 | 29090838 | 18016305 | 856 47721 | 26 | 60 1743.95/1744.42 c 1570s | 28 | 29126973 | 18038805 | 856 47771 | 26 | 60 1745.95/1746.43 c 1572s | 28 | 29165650 | 18061605 | 856 47821 | 26 | 60 1747.95/1748.43 c 1574s | 28 | 29204816 | 18084605 | 856 47873 | 26 | 60 1749.94/1750.43 c 1576s | 28 | 29240892 | 18106905 | 856 47922 | 26 | 60 1751.95/1752.43 c 1578s | 28 | 29274316 | 18127805 | 856 47969 | 26 | 60 1753.94/1754.44 c 1580s | 28 | 29309194 | 18149505 | 856 48017 | 26 | 60 1755.94/1756.44 c 1582s | 28 | 29343569 | 18171205 | 856 48066 | 26 | 60 1757.95/1758.45 c 1584s | 28 | 29379143 | 18193605 | 856 48116 | 26 | 60 1759.95/1760.45 c 1586s | 28 | 29412983 | 18215205 | 856 48164 | 26 | 60 1761.95/1762.45 c 1588s | 28 | 29446000 | 18236005 | 856 48210 | 26 | 60 1763.96/1764.45 c 1590s | 28 | 29481950 | 18258005 | 856 48259 | 26 | 60 1765.95/1766.46 c 1592s | 28 | 29517362 | 18279705 | 856 48307 | 26 | 60 1767.95/1768.47 c 1594s | 28 | 29552037 | 18301805 | 856 48357 | 26 | 60 1769.95/1770.48 c 1596s | 28 | 29587773 | 18324205 | 856 48407 | 26 | 60 1771.95/1772.48 c 1598s | 28 | 29619901 | 18345305 | 856 48454 | 26 | 60 1773.95/1774.49 c 1600s | 28 | 29652112 | 18366205 | 856 48500 | 26 | 60 1775.94/1776.50 c 1602s | 28 | 29685669 | 18387405 | 856 48547 | 26 | 60 1778.04/1778.50 c 1604s | 28 | 29719365 | 18408105 | 856 48594 | 26 | 60 1780.04/1780.50 c 1606s | 28 | 29757269 | 18430805 | 856 48644 | 26 | 60 1782.04/1782.51 c 1608s | 28 | 29796403 | 18454005 | 856 48696 | 26 | 60 1784.04/1784.51 c 1610s | 28 | 29834000 | 18476205 | 856 48745 | 26 | 60 1786.05/1786.52 c 1612s | 28 | 29870132 | 18497605 | 856 48793 | 26 | 60 1788.04/1788.53 c 1614s | 28 | 29907173 | 18520205 | 856 48843 | 26 | 60 1790.04/1790.53 c 1616s | 28 | 29942494 | 18541905 | 856 48891 | 26 | 60 1792.05/1792.54 c 1618s | 28 | 29977963 | 18563605 | 856 48939 | 26 | 60 1794.05/1794.54 c 1620s | 28 | 30013787 | 18586005 | 856 48989 | 26 | 60 1796.05/1796.54 c 1622s | 28 | 30050829 | 18608505 | 856 49039 | 26 | 60 1798.05/1798.55 c 1624s | 28 | 30085215 | 18630005 | 856 49087 | 26 | 60
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-4079563-1465233283/watcher-4079563-1465233283 -o /tmp/evaluation-result-4079563-1465233283/solver-4079563-1465233283 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079563-1465233283.opb pid=2484 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.19 2.18 3/179 2487 /proc/meminfo: memFree=29223620/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=832956 CPUtime=0 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 3125 0 0 0 0 0 0 0 20 0 4 0 105261332 852946944 3486 33554432000 4194304 16246674 140735639977648 140735639977072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 208751 3496 441 2943 0 205645 0 [pid=2487/tid=2488] ppid=2484 vsize=851388 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 871821312 3558 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=855484 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 876015616 3574 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=859580 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261332 880209920 3591 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.19 2.19 2.18 3/179 2487 /proc/meminfo: memFree=29223620/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 23328 0 0 0 5 3 0 0 20 0 4 0 105261332 1247350784 23677 33554432000 4194304 16246674 140735639977648 140735639977072 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 304529 23686 783 2943 0 301423 0 [pid=2487/tid=2488] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 23690 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 23700 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 23707 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200523 s] /proc/loadavg: 2.19 2.19 2.18 3/179 2487 /proc/meminfo: memFree=29223620/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 44557 0 0 0 13 6 0 0 20 0 4 0 105261332 1247350784 44905 33554432000 4194304 16246674 140735639977648 140735639977072 13780501 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 304529 44916 783 2943 0 301423 0 [pid=2487/tid=2488] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 44921 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 44928 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 44934 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300494 s] /proc/loadavg: 2.19 2.19 2.18 3/179 2487 /proc/meminfo: memFree=29223620/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 65950 0 0 0 20 9 0 0 20 0 4 0 105261332 1247350784 66298 33554432000 4194304 16246674 140735639977648 140735639977072 5665836 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 304529 66307 784 2943 0 301423 0 [pid=2487/tid=2488] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 66313 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 66323 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 66328 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700403 s] /proc/loadavg: 2.19 2.19 2.18 3/179 2487 /proc/meminfo: memFree=29223620/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 154989 0 0 0 47 22 0 0 20 0 4 0 105261332 1247350784 155338 33554432000 4194304 16246674 140735639977648 140735639960640 13191869 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 304529 155347 784 2943 0 301423 0 [pid=2487/tid=2488] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 155356 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 155364 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261332 1247350784 155369 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50043 s] /proc/loadavg: 2.19 2.19 2.18 4/183 2491 /proc/meminfo: memFree=28241552/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 245642 0 0 0 115 34 0 0 20 0 4 0 105261332 1248399360 245968 33554432000 4194304 16246674 140735639977648 140735639960648 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 304785 245968 842 2943 0 301679 0 [pid=2487/tid=2488] ppid=2484 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1248399360 245968 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1248399360 245968 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1248399360 245968 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10042 s] /proc/loadavg: 2.17 2.18 2.18 4/183 2491 /proc/meminfo: memFree=28153264/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267444 0 0 0 272 37 0 0 20 0 4 0 105261332 1337528320 267770 33554432000 4194304 16246674 140735639977648 140735639960648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267770 842 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267770 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267770 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267770 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.17 2.18 2.18 3/183 2491 /proc/meminfo: memFree=28152068/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267537 0 0 0 592 37 0 0 20 0 4 0 105261332 1337528320 267863 33554432000 4194304 16246674 140735639977648 140735639960648 5827969 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267863 842 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267863 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267863 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267863 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.16 2.18 2.18 3/183 2491 /proc/meminfo: memFree=28151716/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267541 0 0 0 1231 38 0 0 20 0 4 0 105261332 1337528320 267867 33554432000 4194304 16246674 140735639977648 140735639960648 5673420 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267867 845 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267867 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267867 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267867 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.20 2.19 2.18 3/183 2491 /proc/meminfo: memFree=28152288/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267542 0 0 0 2510 38 0 0 20 0 4 0 105261332 1337528320 267868 33554432000 4194304 16246674 140735639977648 140735639959552 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267868 846 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267868 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267868 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267868 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.21 2.19 2.18 3/183 2491 /proc/meminfo: memFree=28152184/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267601 0 0 0 5069 39 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 140735639959552 6842531 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267927 846 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.301 s] /proc/loadavg: 2.12 2.17 2.17 3/183 2492 /proc/meminfo: memFree=28152196/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1306180 CPUtime=102.29 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 267601 0 0 0 10188 41 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 140735639959552 6021072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 326545 267927 846 2943 0 323439 0 [pid=2487/tid=2488] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1337528320 267927 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.34 2.31 2.22 3/182 2572 /proc/meminfo: memFree=28158224/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1308228 CPUtime=1361.9 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268493 0 0 0 136103 87 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 140735639959552 5832728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327057 268478 848 2943 0 323951 0 [pid=2487/tid=2488] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.23 2.28 2.21 3/183 2574 /proc/meminfo: memFree=28157828/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1308228 CPUtime=1421.9 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268493 0 0 0 142101 89 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 140735639960648 5602231 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327057 268478 848 2943 0 323951 0 [pid=2487/tid=2488] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.19 2.26 2.21 3/183 2575 /proc/meminfo: memFree=28156996/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1308228 CPUtime=1481.88 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268493 0 0 0 148097 91 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 140735639960648 12483348 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327057 268478 848 2943 0 323951 0 [pid=2487/tid=2488] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1339625472 268478 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.15 2.24 2.20 3/184 2579 /proc/meminfo: memFree=28155900/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1541.88 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 154095 93 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639959552 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1309252 [startup+1602.3 s] /proc/loadavg: 2.23 2.24 2.20 3/183 2580 /proc/meminfo: memFree=28154664/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1601.87 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 160092 95 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639960648 13962576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1309252 [startup+1662.3 s] /proc/loadavg: 2.29 2.25 2.20 3/183 2582 /proc/meminfo: memFree=28154800/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1661.86 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 166089 97 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639960648 13954531 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1309252 [startup+1722.3 s] /proc/loadavg: 2.19 2.23 2.20 3/183 2583 /proc/meminfo: memFree=28155440/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1721.85 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 172086 99 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639960648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1309252 [startup+1782.3 s] /proc/loadavg: 2.22 2.23 2.20 3/183 2584 /proc/meminfo: memFree=28155284/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1781.84 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 178083 101 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639959552 5519392 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1309252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.22 2.23 2.19 3/183 2585 /proc/meminfo: memFree=28155680/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1800.04 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 179902 102 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639959552 13928624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1309252 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 2487 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.22 2.23 2.19 3/183 2585 /proc/meminfo: memFree=28155680/32872528 swapFree=16384/1696552 [pid=2487] ppid=2484 vsize=1309252 CPUtime=1800.04 cores=1,3,5,7 /proc/2487/stat : 2487 (toysat) R 2484 2487 1166 0 -1 4202496 268749 0 0 0 179902 102 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 140735639959552 13928624 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2487/statm: 327313 268734 848 2943 0 324207 0 [pid=2487/tid=2488] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2488/stat : 2488 (toysat) S 2484 2487 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909975223536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=2487/tid=2489] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2489/stat : 2489 (toysat) S 2484 2487 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909964733680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=2487/tid=2490] ppid=2484 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/2487/task/2490/stat : 2490 (toysat) S 2484 2487 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261332 1340674048 268734 33554432000 4194304 16246674 140735639977648 139909954260144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1309252 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.03 CPU system time (s): 1.02084 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.03 system time used= 1.02084 maximum resident set size= 1074936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268749 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= 361 involuntary context switches= 2385 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42633 second user time and 7.13791 second system time The end
Begin job on node125 at 2016-06-06 19:14:43 IDJOB=4079563 IDBENCH=2213 IDSOLVER=2542 FILE ID=node125/4079563-1465233283 RUNJOBID= node125-1465224138-1183 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079563-1465233283/watcher-4079563-1465233283 -o /tmp/evaluation-result-4079563-1465233283/solver-4079563-1465233283 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1183 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079563-1465233283.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784 RANDOM SEED=2124134915 node125.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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 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.456 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.56 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 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.456 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: 29224272 kB Buffers: 27568 kB Cached: 115024 kB SwapCached: 2016 kB Active: 1201716 kB Inactive: 47104 kB Active(anon): 1107228 kB Inactive(anon): 1380 kB Active(file): 94488 kB Inactive(file): 45724 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16352 kB Writeback: 0 kB AnonPages: 2801692 kB Mapped: 10464 kB Shmem: 0 kB Slab: 567308 kB SReclaimable: 11228 kB SUnreclaim: 556080 kB KernelStack: 1448 kB PageTables: 9864 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2946752 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1798144 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= 71712 MiB End job on node125 at 2016-06-06 19:44:43