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.04 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | ff9be653d1d3ea3b1a82846016e94df6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T18:14:28+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079551-1465229668.opb"] 0.00/0.01 c use --random-gen="996778725 2802887162 3584262852 1921581590 1384796158 340181685 1979498843 2671277201 1305977685 2058208407 1179695404 3422988405 245706548 2545553825 2050443958 3503184348 258979610 794415901 2372717274 182295865 299195 1460806673 1736035930 3708949961 2720616320 735273996 3925432051 603361172 593472969 4256633833 2814058897 1101402562 602189332 408597528 2416483914 689375087 3130951785 1073942362 530149630 1501692360 983527753 2007907334 342435889 2485551780 3891353941 3384351451 369445107 2578669692 860840608 854224276 3025794893 1538529596 3083736777 3458728042 382938291 1864238490 2081840140 2589561523 96609487 1469522958 818537918 3444926437 1948286691 1923402193 455680270 2387862199 1824422030 1082381969 942352042 4247291474 1328872652 3320386238 4002840343 1076441090 3250080321 1814990316 1228257675 2376971017 2741460327 3714204233 540034913 3364334799 4238370830 72279531 3191456247 2033963643 4230391842 3273224577 2557983919 3632273146 1480421681 2303413035 368557239 1269195161 616054163 3755676214 2885107031 2502762726 3371911323 3110773288 1460553256 3076230892 176939459 1167434708 3941358 3958349548 2122012432 728105724 3318011111 3145061205 2380979201 4086818533 598021858 2138107097 3606534425 2401118796 1073835175 3127609279 1537719190 3537570157 2886680332 1846519277 2924308799 2744406822 2188891053 725713395 491928503 3380782314 1784172248 973883557 1363337498 102500716 3673952229 2635941541 2411258393 1959022779 2301437538 2409310197 282100389 890749393 3789815633 3131263288 3314655313 3538279428 2811023274 1314540856 1867420319 2025492264 1937984462 213582702 124793812 123833323 1064153214 1957483569 80516099 3682620092 3618920426 793986488 1495963418 1037888672 2373428497 1116332802 72438419 2953704815 2691056452 3371665676 537153541 1195788007 690050580 2297654182 3172563806 2437945747 1141737919 1977371702 3960693179 613844097 389353640 2261670277 4043069622 1920795493 357422694 4237787803 481998958 672083173 4191587532 2207196903 3375024690 431787238 1517247170 298550151 3310497087 51864636 1386968025 3198148952 29729557 4037407668 2703809266 322494802 329916952 3374521452 2040615164 3721532262 1089586935 13732261 902485807 4138572895 854666646 3180003321 2692314292 562456744 2839292268 830520196 3471612115 4240587896 1181411978 358227265 3263085140 854790029 4130888554 1763446892 1268135723 1600322685 876843708 2218256904 2631080308 92913711 2054045721 2648896078 4028844139 3232523649 1277306605 268968744 2333429245 3977429076 2766406902 2805586900 990728700 568540564 3692234836 1297275710 108605300 587277391 1525931213 2977811090 374810118 1078225974 3651279270 2230728129 4287387975 3257230708 3451952462 17256093 3802706738 156810103 254650280 1818030173 255 362436" option to reproduce the execution 0.00/0.07 c #vars 540 0.00/0.07 c #constraints 4476 0.09/0.14 c BCD2: Hardening is enabled. 0.09/0.14 c BCD2: BiasedSearch is enabled. 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.16 c 0.0s | 0 | 230 | 86 | 1722 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.024s 0.09/0.16 c #wall_clock_time = 0.024s 0.09/0.16 c #decision = 230 0.09/0.16 c #random_decision = 1 0.09/0.16 c #conflict = 86 0.09/0.16 c #restart = 0 0.09/0.16 o 90 0.09/0.16 c BCD2: updating upper bound: 324 -> 89 0.09/0.16 c BCD2: 0 <= obj <= 89 0.09/0.16 c BCD2: #cores=0, #unrelaxed=180, #relaxed=0, #hardened=0 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 3 | 0 | 1722 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.006s 0.09/0.17 c #wall_clock_time = 0.006s 0.09/0.17 c #decision = 3 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 4: cost of the new core is >=1 0.09/0.17 c lower bound updated to 1 0.09/0.17 c BCD2: 1 <= obj <= 89 0.09/0.17 c BCD2: #cores=1, #unrelaxed=176, #relaxed=4, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 0 0.09/0.17 c 0.0s | 0 | 6 | 0 | 1722 0 | 0 | 0 0.09/0.17 c #cpu_time = 0.005s 0.09/0.17 c #wall_clock_time = 0.005s 0.09/0.17 c #decision = 6 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 5: cost of the new core is >=1 0.09/0.17 c lower bound updated to 2 0.09/0.17 c BCD2: 2 <= obj <= 89 0.09/0.17 c BCD2: #cores=2, #unrelaxed=171, #relaxed=9, #hardened=0 0.09/0.17 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 1 0.09/0.18 c 0.0s | 0 | 7 | 0 | 1722 0 | 0 | 1 0.09/0.18 c #cpu_time = 0.005s 0.09/0.18 c #wall_clock_time = 0.005s 0.09/0.18 c #decision = 7 0.09/0.18 c #random_decision = 0 0.09/0.18 c #conflict = 0 0.09/0.18 c #restart = 0 0.09/0.18 c BCD2: found a new core of size 5: cost of the new core is >=1 0.09/0.18 c lower bound updated to 3 0.09/0.18 c BCD2: 3 <= obj <= 89 0.09/0.18 c BCD2: #cores=3, #unrelaxed=166, #relaxed=14, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=4 bias=4/5 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 2 0.09/0.19 c 0.0s | 0 | 8 | 0 | 1722 0 | 0 | 2 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 8 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 5: cost of the new core is >=1 0.09/0.19 c lower bound updated to 4 0.09/0.19 c BCD2: 4 <= obj <= 89 0.09/0.19 c BCD2: #cores=4, #unrelaxed=161, #relaxed=19, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=5 bias=5/6 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 3 0.09/0.19 c 0.0s | 0 | 9 | 0 | 1722 0 | 0 | 3 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 9 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 5: cost of the new core is >=1 0.09/0.19 c lower bound updated to 5 0.09/0.19 c BCD2: 5 <= obj <= 89 0.09/0.19 c BCD2: #cores=5, #unrelaxed=156, #relaxed=24, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=6 bias=6/7 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1722 0 | 0 | 4 0.19/0.20 c 0.0s | 0 | 6 | 0 | 1722 0 | 0 | 4 0.19/0.20 c #cpu_time = 0.005s 0.19/0.20 c #wall_clock_time = 0.005s 0.19/0.20 c #decision = 6 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 16: cost of the new core is >=4 0.19/0.20 c lower bound updated to 6 0.19/0.20 c BCD2: 6 <= obj <= 89 0.19/0.20 c BCD2: #cores=3, #unrelaxed=155, #relaxed=25, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 4 0.19/0.20 c 0.0s | 0 | 12 | 0 | 1722 0 | 3 | 7 0.19/0.20 c #cpu_time = 0.005s 0.19/0.20 c #wall_clock_time = 0.005s 0.19/0.20 c #decision = 12 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.20 c lower bound updated to 7 0.19/0.21 c BCD2: 7 <= obj <= 89 0.19/0.21 c BCD2: #cores=4, #unrelaxed=150, #relaxed=30, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 8 0.19/0.21 c 0.0s | 0 | 12 | 0 | 1722 0 | 3 | 8 0.19/0.21 c #cpu_time = 0.005s 0.19/0.21 c #wall_clock_time = 0.005s 0.19/0.21 c #decision = 12 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 4: cost of the new core is >=1 0.19/0.21 c lower bound updated to 8 0.19/0.21 c BCD2: 8 <= obj <= 89 0.19/0.21 c BCD2: #cores=5, #unrelaxed=146, #relaxed=34, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 8 0.19/0.22 c 0.0s | 0 | 15 | 0 | 1722 0 | 3 | 8 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 15 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.22 c lower bound updated to 9 0.19/0.22 c BCD2: 9 <= obj <= 89 0.19/0.22 c BCD2: #cores=6, #unrelaxed=141, #relaxed=39, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 9 0.19/0.22 c 0.0s | 0 | 16 | 0 | 1722 0 | 3 | 9 0.19/0.22 c #cpu_time = 0.005s 0.19/0.22 c #wall_clock_time = 0.005s 0.19/0.22 c #decision = 16 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.22 c lower bound updated to 10 0.19/0.22 c BCD2: 10 <= obj <= 89 0.19/0.22 c BCD2: #cores=7, #unrelaxed=136, #relaxed=44, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 10 0.19/0.23 c 0.0s | 0 | 17 | 0 | 1722 0 | 3 | 10 0.19/0.23 c #cpu_time = 0.005s 0.19/0.23 c #wall_clock_time = 0.005s 0.19/0.23 c #decision = 17 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.23 c lower bound updated to 11 0.19/0.23 c BCD2: 11 <= obj <= 89 0.19/0.23 c BCD2: #cores=8, #unrelaxed=131, #relaxed=49, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 11 0.19/0.24 c 0.0s | 0 | 18 | 0 | 1722 0 | 3 | 11 0.19/0.24 c #cpu_time = 0.005s 0.19/0.24 c #wall_clock_time = 0.005s 0.19/0.24 c #decision = 18 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.24 c lower bound updated to 12 0.19/0.24 c BCD2: 12 <= obj <= 89 0.19/0.24 c BCD2: #cores=9, #unrelaxed=126, #relaxed=54, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 12 0.19/0.24 c 0.0s | 0 | 19 | 0 | 1722 0 | 3 | 12 0.19/0.24 c #cpu_time = 0.005s 0.19/0.24 c #wall_clock_time = 0.005s 0.19/0.24 c #decision = 19 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.24 c lower bound updated to 13 0.19/0.24 c BCD2: 13 <= obj <= 89 0.19/0.24 c BCD2: #cores=10, #unrelaxed=121, #relaxed=59, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 13 0.19/0.25 c 0.0s | 0 | 20 | 0 | 1722 0 | 3 | 13 0.19/0.25 c #cpu_time = 0.005s 0.19/0.25 c #wall_clock_time = 0.005s 0.19/0.25 c #decision = 20 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.25 c lower bound updated to 14 0.19/0.25 c BCD2: 14 <= obj <= 89 0.19/0.25 c BCD2: #cores=11, #unrelaxed=116, #relaxed=64, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=15 bias=15/16 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 14 0.19/0.26 c 0.0s | 0 | 20 | 0 | 1722 0 | 3 | 14 0.19/0.26 c #cpu_time = 0.005s 0.19/0.26 c #wall_clock_time = 0.006s 0.19/0.26 c #decision = 20 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 4: cost of the new core is >=1 0.19/0.26 c lower bound updated to 15 0.19/0.26 c BCD2: 15 <= obj <= 89 0.19/0.26 c BCD2: #cores=12, #unrelaxed=112, #relaxed=68, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=16 bias=16/17 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 14 0.19/0.26 c 0.0s | 0 | 23 | 0 | 1722 0 | 3 | 14 0.19/0.26 c #cpu_time = 0.005s 0.19/0.26 c #wall_clock_time = 0.005s 0.19/0.26 c #decision = 23 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.26 c lower bound updated to 16 0.19/0.26 c BCD2: 16 <= obj <= 89 0.19/0.26 c BCD2: #cores=13, #unrelaxed=107, #relaxed=73, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=17 bias=17/18 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 15 0.19/0.27 c 0.0s | 0 | 24 | 0 | 1722 0 | 3 | 15 0.19/0.27 c #cpu_time = 0.005s 0.19/0.27 c #wall_clock_time = 0.005s 0.19/0.27 c #decision = 24 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.27 c lower bound updated to 17 0.19/0.27 c BCD2: 17 <= obj <= 89 0.19/0.27 c BCD2: #cores=14, #unrelaxed=102, #relaxed=78, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=18 bias=18/19 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1722 0 | 3 | 16 0.19/0.27 c 0.0s | 0 | 31 | 3 | 1722 0 | 3 | 16 0.19/0.27 c #cpu_time = 0.006s 0.19/0.27 c #wall_clock_time = 0.006s 0.19/0.27 c #decision = 31 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 3 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 15: cost of the new core is >=4 0.19/0.27 c lower bound updated to 18 0.19/0.27 c BCD2: 18 <= obj <= 89 0.19/0.27 c BCD2: #cores=12, #unrelaxed=101, #relaxed=79, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=19 bias=19/20 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 16 0.19/0.28 c 0.0s | 0 | 22 | 0 | 1722 0 | 6 | 19 0.19/0.28 c #cpu_time = 0.005s 0.19/0.28 c #wall_clock_time = 0.005s 0.19/0.28 c #decision = 22 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.28 c lower bound updated to 19 0.19/0.28 c BCD2: 19 <= obj <= 89 0.19/0.28 c BCD2: #cores=13, #unrelaxed=96, #relaxed=84, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=20 bias=20/21 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 20 0.19/0.29 c 0.0s | 0 | 23 | 0 | 1722 0 | 6 | 20 0.19/0.29 c #cpu_time = 0.006s 0.19/0.29 c #wall_clock_time = 0.006s 0.19/0.29 c #decision = 23 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.29 c lower bound updated to 20 0.19/0.29 c BCD2: 20 <= obj <= 89 0.19/0.29 c BCD2: #cores=14, #unrelaxed=91, #relaxed=89, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=21 bias=21/22 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 21 0.19/0.29 c 0.0s | 0 | 24 | 0 | 1722 0 | 6 | 21 0.19/0.29 c #cpu_time = 0.006s 0.19/0.29 c #wall_clock_time = 0.006s 0.19/0.29 c #decision = 24 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.29 c lower bound updated to 21 0.19/0.29 c BCD2: 21 <= obj <= 89 0.19/0.29 c BCD2: #cores=15, #unrelaxed=86, #relaxed=94, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=22 bias=22/23 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 22 0.28/0.30 c 0.0s | 0 | 25 | 0 | 1722 0 | 6 | 22 0.28/0.30 c #cpu_time = 0.006s 0.28/0.30 c #wall_clock_time = 0.006s 0.28/0.30 c #decision = 25 0.28/0.30 c #random_decision = 0 0.28/0.30 c #conflict = 0 0.28/0.30 c #restart = 0 0.28/0.30 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.30 c lower bound updated to 22 0.28/0.30 c BCD2: 22 <= obj <= 89 0.28/0.30 c BCD2: #cores=16, #unrelaxed=81, #relaxed=99, #hardened=0 0.28/0.30 c BCD2: #sat=1 #unsat=23 bias=23/24 0.28/0.30 c Solving starts ... 0.28/0.30 c ============================[ Search Statistics ]============================ 0.28/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.30 c | | | | Limit GC | Var | Constra 0.28/0.30 c ============================================================================= 0.28/0.30 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 23 0.28/0.31 c 0.0s | 0 | 25 | 0 | 1722 0 | 6 | 23 0.28/0.31 c #cpu_time = 0.006s 0.28/0.31 c #wall_clock_time = 0.006s 0.28/0.31 c #decision = 25 0.28/0.31 c #random_decision = 0 0.28/0.31 c #conflict = 0 0.28/0.31 c #restart = 0 0.28/0.31 c BCD2: found a new core of size 4: cost of the new core is >=1 0.28/0.31 c lower bound updated to 23 0.28/0.31 c BCD2: 23 <= obj <= 89 0.28/0.31 c BCD2: #cores=17, #unrelaxed=77, #relaxed=103, #hardened=0 0.28/0.31 c BCD2: #sat=1 #unsat=24 bias=24/25 0.28/0.31 c Solving starts ... 0.28/0.31 c ============================[ Search Statistics ]============================ 0.28/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.31 c | | | | Limit GC | Var | Constra 0.28/0.31 c ============================================================================= 0.28/0.31 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 23 0.28/0.31 c 0.0s | 0 | 28 | 0 | 1722 0 | 6 | 23 0.28/0.31 c #cpu_time = 0.005s 0.28/0.31 c #wall_clock_time = 0.005s 0.28/0.31 c #decision = 28 0.28/0.31 c #random_decision = 0 0.28/0.31 c #conflict = 0 0.28/0.31 c #restart = 0 0.28/0.31 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.31 c lower bound updated to 24 0.28/0.31 c BCD2: 24 <= obj <= 89 0.28/0.31 c BCD2: #cores=18, #unrelaxed=72, #relaxed=108, #hardened=0 0.28/0.31 c BCD2: #sat=1 #unsat=25 bias=25/26 0.28/0.31 c Solving starts ... 0.28/0.31 c ============================[ Search Statistics ]============================ 0.28/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.31 c | | | | Limit GC | Var | Constra 0.28/0.31 c ============================================================================= 0.28/0.31 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 24 0.28/0.32 c 0.0s | 0 | 29 | 0 | 1722 0 | 6 | 24 0.28/0.32 c #cpu_time = 0.005s 0.28/0.32 c #wall_clock_time = 0.005s 0.28/0.32 c #decision = 29 0.28/0.32 c #random_decision = 0 0.28/0.32 c #conflict = 0 0.28/0.32 c #restart = 0 0.28/0.32 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.32 c lower bound updated to 25 0.28/0.32 c BCD2: 25 <= obj <= 89 0.28/0.32 c BCD2: #cores=19, #unrelaxed=67, #relaxed=113, #hardened=0 0.28/0.32 c BCD2: #sat=1 #unsat=26 bias=26/27 0.28/0.32 c Solving starts ... 0.28/0.32 c ============================[ Search Statistics ]============================ 0.28/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.32 c | | | | Limit GC | Var | Constra 0.28/0.32 c ============================================================================= 0.28/0.32 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 25 0.28/0.33 c 0.0s | 0 | 30 | 0 | 1722 0 | 6 | 25 0.28/0.33 c #cpu_time = 0.005s 0.28/0.33 c #wall_clock_time = 0.005s 0.28/0.33 c #decision = 30 0.28/0.33 c #random_decision = 0 0.28/0.33 c #conflict = 0 0.28/0.33 c #restart = 0 0.28/0.33 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.33 c lower bound updated to 26 0.28/0.33 c BCD2: 26 <= obj <= 89 0.28/0.33 c BCD2: #cores=20, #unrelaxed=62, #relaxed=118, #hardened=0 0.28/0.33 c BCD2: #sat=1 #unsat=27 bias=27/28 0.28/0.33 c Solving starts ... 0.28/0.33 c ============================[ Search Statistics ]============================ 0.28/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.33 c | | | | Limit GC | Var | Constra 0.28/0.33 c ============================================================================= 0.28/0.33 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 26 0.28/0.33 c 0.0s | 0 | 31 | 0 | 1722 0 | 6 | 26 0.28/0.33 c #cpu_time = 0.005s 0.28/0.33 c #wall_clock_time = 0.005s 0.28/0.33 c #decision = 31 0.28/0.33 c #random_decision = 0 0.28/0.33 c #conflict = 0 0.28/0.33 c #restart = 0 0.28/0.33 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.33 c lower bound updated to 27 0.28/0.33 c BCD2: 27 <= obj <= 89 0.28/0.33 c BCD2: #cores=21, #unrelaxed=57, #relaxed=123, #hardened=0 0.28/0.33 c BCD2: #sat=1 #unsat=28 bias=28/29 0.28/0.33 c Solving starts ... 0.28/0.33 c ============================[ Search Statistics ]============================ 0.28/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.33 c | | | | Limit GC | Var | Constra 0.28/0.33 c ============================================================================= 0.28/0.33 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 27 0.28/0.34 c 0.0s | 0 | 32 | 0 | 1722 0 | 6 | 27 0.28/0.34 c #cpu_time = 0.005s 0.28/0.34 c #wall_clock_time = 0.005s 0.28/0.34 c #decision = 32 0.28/0.34 c #random_decision = 0 0.28/0.34 c #conflict = 0 0.28/0.34 c #restart = 0 0.28/0.34 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.34 c lower bound updated to 28 0.28/0.34 c BCD2: 28 <= obj <= 89 0.28/0.34 c BCD2: #cores=22, #unrelaxed=52, #relaxed=128, #hardened=0 0.28/0.34 c BCD2: #sat=1 #unsat=29 bias=29/30 0.28/0.34 c Solving starts ... 0.28/0.34 c ============================[ Search Statistics ]============================ 0.28/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.34 c | | | | Limit GC | Var | Constra 0.28/0.34 c ============================================================================= 0.28/0.34 c 0.0s | 0 | 0 | 0 | 1722 0 | 6 | 28 0.28/0.35 c 0.0s | 0 | 29 | 0 | 1722 0 | 6 | 28 0.28/0.35 c #cpu_time = 0.005s 0.28/0.35 c #wall_clock_time = 0.005s 0.28/0.35 c #decision = 29 0.28/0.35 c #random_decision = 0 0.28/0.35 c #conflict = 0 0.28/0.35 c #restart = 0 0.28/0.35 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 16: cost of the new core is >=4 0.28/0.35 c lower bound updated to 29 0.28/0.35 c BCD2: 29 <= obj <= 89 0.28/0.35 c BCD2: #cores=20, #unrelaxed=51, #relaxed=129, #hardened=0 0.28/0.35 c BCD2: #sat=1 #unsat=30 bias=30/31 0.28/0.35 c Solving starts ... 0.28/0.35 c ============================[ Search Statistics ]============================ 0.28/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.35 c | | | | Limit GC | Var | Constra 0.28/0.35 c ============================================================================= 0.28/0.35 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 28 0.28/0.35 c 0.0s | 0 | 34 | 0 | 1722 0 | 9 | 31 0.28/0.35 c #cpu_time = 0.005s 0.28/0.35 c #wall_clock_time = 0.005s 0.28/0.35 c #decision = 34 0.28/0.35 c #random_decision = 0 0.28/0.35 c #conflict = 0 0.28/0.35 c #restart = 0 0.28/0.35 c BCD2: found a new core of size 4: cost of the new core is >=1 0.28/0.35 c lower bound updated to 30 0.28/0.35 c BCD2: 30 <= obj <= 89 0.28/0.35 c BCD2: #cores=21, #unrelaxed=47, #relaxed=133, #hardened=0 0.28/0.35 c BCD2: #sat=1 #unsat=31 bias=31/32 0.28/0.35 c Solving starts ... 0.28/0.35 c ============================[ Search Statistics ]============================ 0.28/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.35 c | | | | Limit GC | Var | Constra 0.28/0.35 c ============================================================================= 0.28/0.35 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 31 0.28/0.36 c 0.0s | 0 | 37 | 0 | 1722 0 | 9 | 31 0.28/0.36 c #cpu_time = 0.005s 0.28/0.36 c #wall_clock_time = 0.005s 0.28/0.36 c #decision = 37 0.28/0.36 c #random_decision = 0 0.28/0.36 c #conflict = 0 0.28/0.36 c #restart = 0 0.28/0.36 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.36 c lower bound updated to 31 0.28/0.36 c BCD2: 31 <= obj <= 89 0.28/0.36 c BCD2: #cores=22, #unrelaxed=42, #relaxed=138, #hardened=0 0.28/0.36 c BCD2: #sat=1 #unsat=32 bias=32/33 0.28/0.36 c Solving starts ... 0.28/0.36 c ============================[ Search Statistics ]============================ 0.28/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.36 c | | | | Limit GC | Var | Constra 0.28/0.36 c ============================================================================= 0.28/0.36 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 32 0.28/0.36 c 0.0s | 0 | 38 | 0 | 1722 0 | 9 | 32 0.28/0.36 c #cpu_time = 0.005s 0.28/0.36 c #wall_clock_time = 0.005s 0.28/0.36 c #decision = 38 0.28/0.36 c #random_decision = 0 0.28/0.36 c #conflict = 0 0.28/0.36 c #restart = 0 0.28/0.36 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.36 c lower bound updated to 32 0.28/0.36 c BCD2: 32 <= obj <= 89 0.28/0.36 c BCD2: #cores=23, #unrelaxed=37, #relaxed=143, #hardened=0 0.28/0.36 c BCD2: #sat=1 #unsat=33 bias=33/34 0.28/0.36 c Solving starts ... 0.28/0.36 c ============================[ Search Statistics ]============================ 0.28/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.36 c | | | | Limit GC | Var | Constra 0.28/0.36 c ============================================================================= 0.28/0.37 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 33 0.28/0.37 c 0.0s | 0 | 39 | 0 | 1722 0 | 9 | 33 0.28/0.37 c #cpu_time = 0.005s 0.28/0.37 c #wall_clock_time = 0.005s 0.28/0.37 c #decision = 39 0.28/0.37 c #random_decision = 0 0.28/0.37 c #conflict = 0 0.28/0.37 c #restart = 0 0.28/0.37 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.37 c lower bound updated to 33 0.28/0.37 c BCD2: 33 <= obj <= 89 0.28/0.37 c BCD2: #cores=24, #unrelaxed=32, #relaxed=148, #hardened=0 0.28/0.37 c BCD2: #sat=1 #unsat=34 bias=34/35 0.28/0.37 c Solving starts ... 0.28/0.37 c ============================[ Search Statistics ]============================ 0.28/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.37 c | | | | Limit GC | Var | Constra 0.28/0.37 c ============================================================================= 0.28/0.37 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 34 0.28/0.38 c 0.0s | 0 | 40 | 0 | 1722 0 | 9 | 34 0.28/0.38 c #cpu_time = 0.005s 0.28/0.38 c #wall_clock_time = 0.005s 0.28/0.38 c #decision = 40 0.28/0.38 c #random_decision = 0 0.28/0.38 c #conflict = 0 0.28/0.38 c #restart = 0 0.28/0.38 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.38 c lower bound updated to 34 0.28/0.38 c BCD2: 34 <= obj <= 89 0.28/0.38 c BCD2: #cores=25, #unrelaxed=27, #relaxed=153, #hardened=0 0.28/0.38 c BCD2: #sat=1 #unsat=35 bias=35/36 0.28/0.38 c Solving starts ... 0.28/0.38 c ============================[ Search Statistics ]============================ 0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.38 c | | | | Limit GC | Var | Constra 0.28/0.38 c ============================================================================= 0.28/0.38 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 35 0.28/0.38 c 0.0s | 0 | 41 | 0 | 1722 0 | 9 | 35 0.28/0.38 c #cpu_time = 0.005s 0.28/0.38 c #wall_clock_time = 0.005s 0.28/0.38 c #decision = 41 0.28/0.38 c #random_decision = 0 0.28/0.38 c #conflict = 0 0.28/0.38 c #restart = 0 0.28/0.38 c BCD2: found a new core of size 5: cost of the new core is >=1 0.28/0.38 c lower bound updated to 35 0.28/0.38 c BCD2: 35 <= obj <= 89 0.28/0.38 c BCD2: #cores=26, #unrelaxed=22, #relaxed=158, #hardened=0 0.28/0.38 c BCD2: #sat=1 #unsat=36 bias=36/37 0.28/0.38 c Solving starts ... 0.28/0.38 c ============================[ Search Statistics ]============================ 0.28/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.38 c | | | | Limit GC | Var | Constra 0.28/0.38 c ============================================================================= 0.28/0.38 c 0.0s | 0 | 0 | 0 | 1722 0 | 9 | 36 0.28/0.39 c 0.0s | 0 | 38 | 0 | 1722 0 | 9 | 36 0.28/0.39 c #cpu_time = 0.006s 0.28/0.39 c #wall_clock_time = 0.006s 0.28/0.39 c #decision = 38 0.28/0.39 c #random_decision = 0 0.28/0.39 c #conflict = 0 0.28/0.39 c #restart = 0 0.28/0.39 c BCD2: relaxing 1 and merging with 3 cores into a new core of size 16: cost of the new core is >=4 0.28/0.39 c lower bound updated to 36 0.28/0.39 c BCD2: 36 <= obj <= 89 0.28/0.39 c BCD2: #cores=24, #unrelaxed=21, #relaxed=159, #hardened=0 0.28/0.39 c BCD2: #sat=1 #unsat=37 bias=37/38 0.28/0.39 c Solving starts ... 0.28/0.39 c ============================[ Search Statistics ]============================ 0.28/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.28/0.39 c | | | | Limit GC | Var | Constra 0.28/0.39 c ============================================================================= 0.28/0.39 c 0.0s | 0 | 0 | 0 | 1722 0 | 12 | 36 0.39/0.40 c 0.0s | 0 | 43 | 0 | 1722 0 | 12 | 39 0.39/0.40 c #cpu_time = 0.005s 0.39/0.40 c #wall_clock_time = 0.005s 0.39/0.40 c #decision = 43 0.39/0.40 c #random_decision = 0 0.39/0.40 c #conflict = 0 0.39/0.40 c #restart = 0 0.39/0.40 c BCD2: found a new core of size 4: cost of the new core is >=1 0.39/0.40 c lower bound updated to 37 0.39/0.40 c BCD2: 37 <= obj <= 89 0.39/0.40 c BCD2: #cores=25, #unrelaxed=17, #relaxed=163, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=38 bias=38/39 0.39/0.40 c Solving starts ... 0.39/0.40 c ============================[ Search Statistics ]============================ 0.39/0.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.40 c | | | | Limit GC | Var | Constra 0.39/0.40 c ============================================================================= 0.39/0.40 c 0.0s | 0 | 0 | 0 | 1722 0 | 12 | 39 0.39/0.41 c 0.0s | 0 | 188 | 39 | 1895 0 | 12 | 39 0.39/0.41 c #cpu_time = 0.016s 0.39/0.41 c #wall_clock_time = 0.016s 0.39/0.41 c #decision = 188 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 39 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: relaxing 1 and merging with 6 cores into a new core of size 30: cost of the new core is >=7 0.39/0.41 c lower bound updated to 38 0.39/0.41 c BCD2: 38 <= obj <= 89 0.39/0.41 c BCD2: #cores=20, #unrelaxed=16, #relaxed=164, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=39 bias=39/40 0.39/0.41 c Solving starts ... 0.39/0.41 c ============================[ Search Statistics ]============================ 0.39/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.41 c | | | | Limit GC | Var | Constra 0.39/0.41 c ============================================================================= 0.39/0.41 c 0.0s | 0 | 0 | 0 | 1895 0 | 18 | 39 0.39/0.46 c 0.0s | 1 | 253 | 100 | 1895 0 | 18 | 45 0.39/0.47 c 0.1s | 1 | 356 | 128 | 2085 0 | 18 | 45 0.39/0.47 c #cpu_time = 0.054s 0.39/0.47 c #wall_clock_time = 0.055s 0.39/0.47 c #decision = 356 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 128 0.39/0.47 c #restart = 1 0.39/0.47 c BCD2: relaxing 5 and merging with 3 cores into a new core of size 30: cost of the new core is >=7 0.39/0.47 c lower bound updated to 39 0.39/0.47 c BCD2: 39 <= obj <= 89 0.39/0.47 c BCD2: #cores=18, #unrelaxed=11, #relaxed=169, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=40 bias=40/41 0.39/0.47 c Solving starts ... 0.39/0.47 c ============================[ Search Statistics ]============================ 0.39/0.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.47 c | | | | Limit GC | Var | Constra 0.39/0.47 c ============================================================================= 0.39/0.47 c 0.0s | 0 | 0 | 0 | 2085 0 | 21 | 45 0.49/0.52 c 0.0s | 1 | 186 | 100 | 2085 0 | 21 | 48 0.49/0.60 c 0.1s | 2 | 491 | 250 | 2294 0 | 21 | 48 0.69/0.70 c 0.2s | 3 | 846 | 475 | 2294 0 | 21 | 48 0.79/0.86 c 0.4s | 4 | 1315 | 813 | 2524 0 | 21 | 48 1.09/1.14 c 0.7s | 5 | 2043 | 1320 | 2777 0 | 21 | 48 1.59/1.65 c 1.2s | 6 | 3116 | 2081 | 3055 0 | 21 | 48 2.09/2.11 c 1.6s | 6 | 4281 | 2927 | 3055 0 | 21 | 48 2.09/2.11 c #cpu_time = 1.634s 2.09/2.11 c #wall_clock_time = 1.638s 2.09/2.11 c #decision = 4281 2.09/2.11 c #random_decision = 9 2.09/2.11 c #conflict = 2927 2.09/2.11 c #restart = 6 2.09/2.11 c BCD2: relaxing 11 and merging with 17 cores into a new core of size 176: cost of the new core is >=39 2.09/2.11 c lower bound updated to 40 2.09/2.11 c BCD2: 40 <= obj <= 89 2.09/2.11 c BCD2: #cores=2, #unrelaxed=0, #relaxed=180, #hardened=0 2.09/2.11 c BCD2: #sat=1 #unsat=41 bias=41/42 2.09/2.11 c Solving starts ... 2.09/2.11 c ============================[ Search Statistics ]============================ 2.09/2.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.11 c | | | | Limit GC | Var | Constra 2.09/2.11 c ============================================================================= 2.09/2.11 c 0.0s | 0 | 0 | 0 | 3055 0 | 40 | 48 2.09/2.14 c 0.0s | 0 | 85 | 15 | 3055 0 | 40 | 69 2.09/2.14 c #cpu_time = 0.034s 2.09/2.14 c #wall_clock_time = 0.034s 2.09/2.14 c #decision = 85 2.09/2.14 c #random_decision = 0 2.09/2.14 c #conflict = 15 2.09/2.14 c #restart = 0 2.09/2.14 o 80 2.09/2.14 c BCD2: updating upper bound: 89 -> 79 2.09/2.14 c BCD2: 40 <= obj <= 79 2.09/2.14 c BCD2: #cores=2, #unrelaxed=0, #relaxed=180, #hardened=0 2.09/2.14 c BCD2: #sat=2 #unsat=41 bias=41/43 2.09/2.14 c Solving starts ... 2.09/2.14 c ============================[ Search Statistics ]============================ 2.09/2.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.14 c | | | | Limit GC | Var | Constra 2.09/2.14 c ============================================================================= 2.09/2.14 c 0.0s | 0 | 0 | 0 | 3055 0 | 40 | 70 2.09/2.18 c 0.0s | 0 | 152 | 61 | 3361 0 | 40 | 70 2.09/2.18 c #cpu_time = 0.034s 2.09/2.18 c #wall_clock_time = 0.034s 2.09/2.18 c #decision = 152 2.09/2.18 c #random_decision = 0 2.09/2.18 c #conflict = 61 2.09/2.18 c #restart = 0 2.09/2.18 o 76 2.09/2.18 c BCD2: updating upper bound: 79 -> 75 2.09/2.18 c BCD2: 40 <= obj <= 75 2.09/2.18 c BCD2: #cores=2, #unrelaxed=0, #relaxed=180, #hardened=0 2.09/2.18 c BCD2: #sat=3 #unsat=41 bias=41/44 2.09/2.18 c Solving starts ... 2.09/2.18 c ============================[ Search Statistics ]============================ 2.09/2.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.09/2.18 c | | | | Limit GC | Var | Constra 2.09/2.18 c ============================================================================= 2.09/2.18 c 0.0s | 0 | 0 | 0 | 3361 0 | 40 | 71 2.20/2.23 c 0.0s | 1 | 194 | 100 | 3361 0 | 40 | 71 2.20/2.30 c 0.1s | 2 | 511 | 250 | 3361 0 | 40 | 71 2.39/2.43 c 0.3s | 3 | 860 | 475 | 3361 0 | 40 | 71 2.59/2.60 c 0.4s | 4 | 1362 | 813 | 3361 0 | 40 | 71 2.79/2.86 c 0.7s | 5 | 2260 | 1320 | 3361 0 | 40 | 71 3.30/3.31 c 1.1s | 6 | 3351 | 2081 | 3698 0 | 40 | 71 4.09/4.12 c 1.9s | 7 | 4966 | 3223 | 3698 1 | 40 | 71 5.09/5.10 c 2.9s | 8 | 7357 | 4936 | 4068 1 | 40 | 71 6.69/6.75 c 4.6s | 9 | 11025 | 7506 | 4068 3 | 40 | 71 8.68/8.76 c 6.6s | 9 | 15541 | 10606 | 4475 4 | 40 | 71 9.28/9.31 c 7.1s | 10 | 16519 | 11361 | 4475 4 | 40 | 71 11.28/11.36 c 9.2s | 10 | 20448 | 14461 | 4923 5 | 40 | 71 13.29/13.36 c 11.2s | 11 | 23854 | 17144 | 4923 6 | 40 | 71 15.28/15.37 c 13.2s | 11 | 27495 | 19944 | 4923 7 | 40 | 71 17.38/17.44 c 15.3s | 11 | 30654 | 22644 | 5416 8 | 40 | 71 19.38/19.44 c 17.3s | 11 | 33921 | 25244 | 5416 9 | 40 | 71 19.79/19.86 c 17.7s | 12 | 34590 | 25819 | 5416 9 | 40 | 71 21.88/21.91 c 19.7s | 12 | 38477 | 28619 | 5416 10 | 40 | 71 23.88/23.96 c 21.8s | 12 | 41798 | 31219 | 5416 11 | 40 | 71 24.19/24.27 c 22.1s | 12 | 42241 | 31602 | 5416 11 | 40 | 71 24.19/24.27 c #cpu_time = 22.024s 24.19/24.27 c #wall_clock_time = 22.085s 24.19/24.27 c #decision = 42241 24.19/24.27 c #random_decision = 94 24.19/24.27 c #conflict = 31602 24.19/24.27 c #restart = 12 24.19/24.27 o 72 24.19/24.27 c BCD2: updating upper bound: 75 -> 71 24.19/24.27 c BCD2: 40 <= obj <= 71 24.19/24.27 c BCD2: #cores=2, #unrelaxed=0, #relaxed=180, #hardened=0 24.19/24.27 c BCD2: #sat=4 #unsat=41 bias=41/45 24.19/24.27 c Solving starts ... 24.19/24.27 c ============================[ Search Statistics ]============================ 24.19/24.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 24.19/24.27 c | | | | Limit GC | Var | Constra 24.19/24.27 c ============================================================================= 24.19/24.27 c 0.0s | 0 | 0 | 0 | 5416 0 | 40 | 72 24.29/24.36 c 0.1s | 1 | 307 | 100 | 5416 0 | 40 | 72 24.38/24.48 c 0.2s | 2 | 558 | 250 | 5416 0 | 40 | 72 24.58/24.67 c 0.4s | 3 | 924 | 475 | 5416 1 | 40 | 72 24.78/24.88 c 0.6s | 4 | 1433 | 813 | 5416 1 | 40 | 72 25.18/25.24 c 1.0s | 5 | 2112 | 1320 | 5416 1 | 40 | 72 25.68/25.77 c 1.5s | 6 | 3298 | 2081 | 5416 1 | 40 | 72 26.58/26.61 c 2.3s | 7 | 4972 | 3223 | 5416 1 | 40 | 72 27.78/27.82 c 3.6s | 8 | 7247 | 4936 | 5958 2 | 40 | 72 29.58/29.65 c 5.4s | 9 | 10588 | 7506 | 5958 3 | 40 | 72 31.58/31.67 c 7.4s | 9 | 14467 | 10306 | 5958 4 | 40 | 72 32.48/32.52 c 8.2s | 10 | 15972 | 11361 | 5958 4 | 40 | 72 34.48/34.55 c 10.3s | 10 | 20180 | 14161 | 5958 5 | 40 | 72 36.48/36.60 c 12.3s | 10 | 23660 | 16661 | 5958 6 | 40 | 72 36.88/36.97 c 12.7s | 11 | 24337 | 17144 | 5958 6 | 40 | 72 38.88/38.99 c 14.7s | 11 | 28002 | 19744 | 5958 7 | 40 | 72 40.88/40.99 c 16.7s | 11 | 31093 | 22044 | 5958 7 | 40 | 72 42.89/43.00 c 18.7s | 11 | 34163 | 24344 | 6554 8 | 40 | 72 44.28/44.32 c 20.1s | 12 | 36118 | 25819 | 6554 8 | 40 | 72 46.29/46.36 c 22.1s | 12 | 39423 | 28219 | 6554 9 | 40 | 72 48.38/48.41 c 24.1s | 12 | 42475 | 30619 | 6554 10 | 40 | 72 50.38/50.42 c 26.2s | 12 | 45318 | 32919 | 6554 11 | 40 | 72 52.47/52.51 c 28.2s | 12 | 48465 | 35419 | 6554 11 | 40 | 72 54.47/54.53 c 30.3s | 12 | 51206 | 37619 | 6554 12 | 40 | 72 55.47/55.57 c 31.3s | 13 | 52657 | 38832 | 6554 12 | 40 | 72 57.57/57.62 c 33.3s | 13 | 56955 | 41832 | 6554 13 | 40 | 72 59.57/59.65 c 35.4s | 13 | 59606 | 44132 | 6554 14 | 40 | 72 61.58/61.66 c 37.4s | 13 | 61964 | 46232 | 6554 14 | 40 | 72 63.67/63.71 c 39.4s | 13 | 64554 | 48532 | 6554 15 | 40 | 72 65.67/65.76 c 41.5s | 13 | 67328 | 50932 | 6554 16 | 40 | 72 67.77/67.80 c 43.5s | 13 | 69821 | 53132 | 7210 16 | 40 | 72 69.07/69.12 c 44.9s | 13 | 71397 | 54536 | 7210 17 | 40 | 72 69.07/69.12 c #cpu_time = 44.736s 69.07/69.12 c #wall_clock_time = 44.851s 69.07/69.12 c #decision = 71397 69.07/69.12 c #random_decision = 209 69.07/69.12 c #conflict = 54536 69.07/69.12 c #restart = 13 69.07/69.12 o 66 69.07/69.12 c BCD2: updating upper bound: 71 -> 65 69.07/69.12 c BCD2: 40 <= obj <= 65 69.07/69.12 c BCD2: #cores=2, #unrelaxed=0, #relaxed=180, #hardened=0 69.07/69.12 c BCD2: #sat=5 #unsat=41 bias=41/46 69.07/69.12 c Solving starts ... 69.07/69.12 c ============================[ Search Statistics ]============================ 69.07/69.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 69.07/69.12 c | | | | Limit GC | Var | Constra 69.07/69.12 c ============================================================================= 69.07/69.12 c 0.0s | 0 | 0 | 0 | 7210 0 | 40 | 73 69.17/69.22 c 0.1s | 1 | 197 | 100 | 7210 0 | 40 | 73 69.28/69.36 c 0.2s | 2 | 419 | 250 | 7210 0 | 40 | 73 69.47/69.56 c 0.4s | 3 | 788 | 475 | 7210 0 | 40 | 73 69.67/69.77 c 0.7s | 4 | 1297 | 813 | 7210 0 | 40 | 73 70.07/70.15 c 1.0s | 5 | 2009 | 1320 | 7210 0 | 40 | 73 70.67/70.75 c 1.6s | 6 | 3065 | 2081 | 7210 0 | 40 | 73 71.67/71.71 c 2.6s | 7 | 4476 | 3223 | 7210 1 | 40 | 73 72.97/73.06 c 3.9s | 8 | 6741 | 4936 | 7210 1 | 40 | 73 74.98/75.09 c 6.0s | 8 | 9697 | 7336 | 7210 2 | 40 | 73 75.18/75.24 c 6.1s | 9 | 9874 | 7506 | 7210 2 | 40 | 73 77.28/77.32 c 8.2s | 9 | 13069 | 10106 | 7210 2 | 40 | 73 78.28/78.36 c 9.2s | 10 | 14549 | 11361 | 7210 3 | 40 | 73 80.38/80.46 c 11.3s | 10 | 18373 | 14161 | 7210 4 | 40 | 73 82.37/82.48 c 13.4s | 10 | 21222 | 16561 | 7210 4 | 40 | 73 82.87/82.99 c 13.9s | 11 | 21959 | 17144 | 7210 4 | 40 | 73 84.97/85.03 c 15.9s | 11 | 25152 | 19644 | 7210 5 | 40 | 73 86.98/87.08 c 18.0s | 11 | 27973 | 21944 | 7210 6 | 40 | 73 89.08/89.17 c 20.0s | 11 | 31243 | 24644 | 7210 6 | 40 | 73 90.18/90.27 c 21.1s | 12 | 32582 | 25819 | 7210 7 | 40 | 73 92.27/92.35 c 23.2s | 12 | 35701 | 28319 | 7210 7 | 40 | 73 94.27/94.38 c 25.3s | 12 | 38301 | 30619 | 7210 8 | 40 | 73 96.47/96.50 c 27.4s | 12 | 40915 | 32919 | 7210 9 | 40 | 73 98.47/98.56 c 29.4s | 12 | 43669 | 35319 | 7210 9 | 40 | 73 100.47/100.58 c 31.5s | 12 | 46791 | 37819 | 7210 10 | 40 | 73 101.27/101.38 c 32.3s | 13 | 47974 | 38832 | 7210 10 | 40 | 73 103.26/103.38 c 34.3s | 13 | 51229 | 41332 | 7932 11 | 40 | 73 105.26/105.39 c 36.3s | 13 | 54177 | 43732 | 7932 11 | 40 | 73 107.36/107.47 c 38.4s | 13 | 56876 | 45932 | 7932 12 | 40 | 73 109.47/109.52 c 40.4s | 13 | 59781 | 48232 | 7932 12 | 40 | 73 111.47/111.52 c 42.4s | 13 | 62216 | 50332 | 7932 13 | 40 | 73 113.47/113.54 c 44.4s | 13 | 64810 | 52432 | 7932 13 | 40 | 73 115.48/115.54 c 46.4s | 13 | 67221 | 54532 | 7932 14 | 40 | 73 117.57/117.63 c 48.5s | 13 | 69699 | 56632 | 7932 14 | 40 | 73 119.27/119.32 c 50.2s | 14 | 71662 | 58352 | 7932 15 | 40 | 73 121.27/121.39 c 52.3s | 14 | 75021 | 60952 | 7932 15 | 40 | 73 123.37/123.43 c 54.3s | 14 | 78178 | 63452 | 7932 16 | 40 | 73 125.37/125.44 c 56.3s | 14 | 80690 | 65552 | 7932 17 | 40 | 73 127.36/127.47 c 58.4s | 14 | 83499 | 67852 | 7932 17 | 40 | 73 129.36/129.48 c 60.4s | 14 | 86065 | 69952 | 7932 18 | 40 | 73 131.46/131.56 c 62.4s | 14 | 89075 | 72452 | 7932 18 | 40 | 73 133.56/133.61 c 64.5s | 14 | 91541 | 74552 | 7932 19 | 40 | 73 135.56/135.66 c 66.5s | 14 | 94248 | 76752 | 7932 19 | 40 | 73 137.66/137.75 c 68.6s | 14 | 96831 | 78952 | 7932 20 | 40 | 73 139.78/139.85 c 70.7s | 14 | 99373 | 81152 | 7932 20 | 40 | 73 141.87/141.90 c 72.8s | 14 | 101989 | 83352 | 7932 21 | 40 | 73 143.87/143.94 c 74.8s | 14 | 104936 | 85552 | 7932 21 | 40 | 73 145.46/145.59 c 76.5s | 15 | 107638 | 87632 | 7932 22 | 40 | 73 147.56/147.61 c 78.5s | 15 | 110896 | 90232 | 7932 23 | 40 | 73 149.57/149.67 c 80.5s | 15 | 114080 | 92832 | 7932 23 | 40 | 73 151.56/151.69 c 82.6s | 15 | 117088 | 95332 | 7932 24 | 40 | 73 153.66/153.75 c 84.6s | 15 | 119841 | 97632 | 7932 24 | 40 | 73 155.66/155.79 c 86.7s | 15 | 122504 | 99832 | 7932 25 | 40 | 73 157.76/157.81 c 88.7s | 15 | 125548 | 102132 | 7932 25 | 40 | 73 159.76/159.83 c 90.7s | 15 | 128761 | 104632 | 7932 26 | 40 | 73 161.76/161.89 c 92.8s | 15 | 131340 | 106832 | 8726 27 | 40 | 73 163.86/163.97 c 94.8s | 15 | 134188 | 109332 | 8726 27 | 40 | 73 165.96/166.07 c 96.9s | 15 | 136735 | 111532 | 8726 28 | 40 | 73 168.06/168.14 c 99.0s | 15 | 139562 | 113932 | 8726 28 | 40 | 73 170.16/170.21 c 101s | 15 | 142075 | 116032 | 8726 29 | 40 | 73 172.16/172.21 c 103s | 15 | 144755 | 118332 | 8726 29 | 40 | 73 174.16/174.28 c 105s | 15 | 147034 | 120332 | 8726 29 | 40 | 73 176.16/176.29 c 107s | 15 | 149457 | 122432 | 8726 30 | 40 | 73 178.27/178.40 c 109s | 15 | 152053 | 124632 | 8726 30 | 40 | 73 180.36/180.41 c 111s | 15 | 154648 | 126732 | 8726 31 | 40 | 73 182.36/182.43 c 113s | 15 | 157086 | 128832 | 8726 31 | 40 | 73 184.36/184.49 c 115s | 15 | 159452 | 130932 | 8726 32 | 40 | 73 185.06/185.13 c 116s | 16 | 160143 | 131552 | 8726 32 | 40 | 73 187.06/187.18 c 118s | 16 | 162867 | 133752 | 8726 32 | 40 | 73 189.16/189.22 c 120s | 16 | 165330 | 135952 | 8726 33 | 40 | 73 191.15/191.25 c 122s | 16 | 167763 | 138052 | 8726 33 | 40 | 73 193.15/193.27 c 124s | 16 | 170339 | 140252 | 8726 34 | 40 | 73 195.15/195.29 c 126s | 16 | 172655 | 142352 | 8726 34 | 40 | 73 197.25/197.32 c 128s | 16 | 175170 | 144552 | 8726 35 | 40 | 73 199.26/199.34 c 130s | 16 | 177653 | 146752 | 8726 35 | 40 | 73 201.26/201.35 c 132s | 16 | 179906 | 148752 | 8726 36 | 40 | 73 203.35/203.41 c 134s | 16 | 182462 | 150952 | 8726 36 | 40 | 73 205.35/205.46 c 136s | 16 | 184854 | 153052 | 8726 37 | 40 | 73 207.35/207.46 c 138s | 16 | 187303 | 155252 | 8726 37 | 40 | 73 209.35/209.47 c 140s | 16 | 189711 | 157352 | 8726 38 | 40 | 73 211.45/211.54 c 142s | 16 | 192365 | 159652 | 8726 38 | 40 | 73 213.46/213.59 c 144s | 16 | 194603 | 161652 | 8726 39 | 40 | 73 215.45/215.60 c 146s | 16 | 197160 | 163852 | 8726 39 | 40 | 73 217.55/217.65 c 148s | 16 | 199598 | 165952 | 8726 40 | 40 | 73 219.55/219.69 c 150s | 16 | 202226 | 168252 | 8726 40 | 40 | 73 221.65/221.72 c 152s | 16 | 204694 | 170452 | 8726 41 | 40 | 73 223.65/223.73 c 154s | 16 | 207183 | 172652 | 8726 41 | 40 | 73 225.65/225.78 c 156s | 16 | 209678 | 174752 | 8726 42 | 40 | 73 227.76/227.84 c 158s | 16 | 212016 | 176852 | 8726 42 | 40 | 73 229.75/229.89 c 160s | 16 | 214107 | 178752 | 8726 42 | 40 | 73 231.85/231.93 c 162s | 16 | 216384 | 180852 | 8726 43 | 40 | 73 233.95/234.00 c 164s | 16 | 218451 | 182752 | 8726 43 | 40 | 73 235.95/236.02 c 166s | 16 | 220549 | 184652 | 8726 44 | 40 | 73 237.95/238.09 c 168s | 16 | 222988 | 186852 | 8726 44 | 40 | 73 240.05/240.17 c 171s | 16 | 225203 | 188852 | 8726 45 | 40 | 73 242.15/242.21 c 173s | 16 | 227650 | 191052 | 8726 45 | 40 | 73 244.15/244.23 c 175s | 16 | 229759 | 192952 | 8726 46 | 40 | 73 246.25/246.30 c 177s | 16 | 232630 | 195452 | 8726 46 | 40 | 73 248.15/248.28 c 179s | 17 | 234868 | 197432 | 8726 47 | 40 | 73 250.24/250.34 c 181s | 17 | 238634 | 200132 | 8726 47 | 40 | 73 252.34/252.40 c 183s | 17 | 241615 | 202532 | 8726 48 | 40 | 73 254.44/254.50 c 185s | 17 | 244390 | 204832 | 9599 48 | 40 | 73 256.44/256.57 c 187s | 17 | 246588 | 206732 | 9599 48 | 40 | 73 258.56/258.62 c 189s | 17 | 249349 | 209032 | 9599 49 | 40 | 73 260.55/260.66 c 191s | 17 | 251839 | 211132 | 9599 49 | 40 | 73 262.65/262.72 c 193s | 17 | 254170 | 213132 | 9599 50 | 40 | 73 264.65/264.73 c 195s | 17 | 256572 | 215232 | 9599 50 | 40 | 73 266.75/266.80 c 197s | 17 | 258977 | 217232 | 9599 51 | 40 | 73 268.75/268.83 c 199s | 17 | 262035 | 219732 | 9599 51 | 40 | 73 270.84/270.98 c 201s | 17 | 264521 | 221832 | 9599 52 | 40 | 73 272.94/273.09 c 203s | 17 | 267244 | 224132 | 9599 52 | 40 | 73 275.05/275.15 c 206s | 17 | 269608 | 226132 | 9599 52 | 40 | 73 277.15/277.23 c 208s | 17 | 272442 | 228432 | 9599 53 | 40 | 73 279.24/279.30 c 210s | 17 | 275465 | 230832 | 9599 53 | 40 | 73 281.24/281.31 c 212s | 17 | 278337 | 233232 | 9599 54 | 40 | 73 283.25/283.36 c 214s | 17 | 280867 | 235432 | 9599 54 | 40 | 73 285.34/285.41 c 216s | 17 | 283396 | 237632 | 9599 55 | 40 | 73 287.34/287.45 c 218s | 17 | 285876 | 239732 | 9599 55 | 40 | 73 289.35/289.47 c 220s | 17 | 288081 | 241632 | 9599 56 | 40 | 73 291.45/291.55 c 222s | 17 | 290888 | 244032 | 9599 56 | 40 | 73 293.54/293.61 c 224s | 17 | 293378 | 246132 | 9599 56 | 40 | 73 295.54/295.65 c 226s | 17 | 296167 | 248432 | 9599 57 | 40 | 73 297.64/297.74 c 228s | 17 | 298880 | 250632 | 9599 57 | 40 | 73 299.74/299.82 c 230s | 17 | 301273 | 252732 | 9599 58 | 40 | 73 301.74/301.87 c 232s | 17 | 303930 | 254932 | 9599 58 | 40 | 73 303.84/303.92 c 234s | 17 | 306866 | 257232 | 9599 59 | 40 | 73 305.84/305.93 c 236s | 17 | 309572 | 259432 | 9599 59 | 40 | 73 307.94/308.01 c 238s | 17 | 311917 | 261432 | 9599 60 | 40 | 73 310.03/310.10 c 240s | 17 | 314731 | 263732 | 9599 60 | 40 | 73 312.03/312.16 c 243s | 17 | 317662 | 265832 | 9599 60 | 40 | 73 314.04/314.17 c 245s | 17 | 320264 | 267932 | 9599 61 | 40 | 73 316.04/316.18 c 247s | 17 | 323116 | 270132 | 9599 61 | 40 | 73 318.14/318.22 c 249s | 17 | 325666 | 272132 | 9599 62 | 40 | 73 320.15/320.26 c 251s | 17 | 328097 | 274132 | 9599 62 | 40 | 73 322.25/322.36 c 253s | 17 | 330518 | 276132 | 9599 63 | 40 | 73 324.24/324.36 c 255s | 17 | 333155 | 278332 | 9599 63 | 40 | 73 326.34/326.40 c 257s | 17 | 335607 | 280432 | 9599 63 | 40 | 73 328.34/328.41 c 259s | 17 | 338008 | 282432 | 9599 64 | 40 | 73 330.34/330.47 c 261s | 17 | 340441 | 284532 | 9599 64 | 40 | 73 332.34/332.48 c 263s | 17 | 342696 | 286532 | 9599 65 | 40 | 73 334.34/334.50 c 265s | 17 | 345126 | 288632 | 9599 65 | 40 | 73 336.43/336.52 c 267s | 17 | 347079 | 290432 | 9599 65 | 40 | 73 338.43/338.59 c 269s | 17 | 349332 | 292432 | 9599 66 | 40 | 73 340.53/340.62 c 271s | 17 | 351483 | 294332 | 9599 66 | 40 | 73 342.33/342.48 c 273s | 18 | 353730 | 296252 | 9599 67 | 40 | 73 344.43/344.55 c 275s | 18 | 356813 | 298652 | 9599 67 | 40 | 73 346.54/346.62 c 277s | 18 | 359453 | 300852 | 9599 68 | 40 | 73 348.64/348.71 c 279s | 18 | 362253 | 303252 | 9599 68 | 40 | 73 350.64/350.72 c 281s | 18 | 364535 | 305252 | 9599 68 | 40 | 73 352.63/352.77 c 283s | 18 | 366985 | 307352 | 9599 69 | 40 | 73 354.73/354.82 c 285s | 18 | 369376 | 309452 | 9599 69 | 40 | 73 356.73/356.86 c 287s | 18 | 371609 | 311452 | 9599 70 | 40 | 73 358.83/358.91 c 289s | 18 | 373955 | 313552 | 9599 70 | 40 | 73 360.84/360.93 c 291s | 18 | 376119 | 315452 | 9599 70 | 40 | 73 362.83/362.99 c 293s | 18 | 378441 | 317552 | 9599 71 | 40 | 73 364.93/365.00 c 295s | 18 | 380534 | 319452 | 9599 71 | 40 | 73 366.93/367.01 c 297s | 18 | 383021 | 321552 | 9599 72 | 40 | 73 368.92/369.01 c 299s | 18 | 385611 | 323752 | 9599 72 | 40 | 73 370.92/371.06 c 301s | 18 | 387917 | 325752 | 9599 73 | 40 | 73 373.03/373.14 c 304s | 18 | 390385 | 327952 | 9599 73 | 40 | 73 375.14/375.24 c 306s | 18 | 392491 | 329852 | 9599 73 | 40 | 73 377.24/377.31 c 308s | 18 | 394943 | 331952 | 9599 74 | 40 | 73 379.23/379.35 c 310s | 18 | 397077 | 333852 | 9599 74 | 40 | 73 381.23/381.35 c 312s | 18 | 398986 | 335552 | 9599 75 | 40 | 73 383.23/383.36 c 314s | 18 | 401490 | 337752 | 9599 75 | 40 | 73 385.23/385.38 c 316s | 18 | 403614 | 339652 | 9599 75 | 40 | 73 387.33/387.40 c 318s | 18 | 405920 | 341652 | 9599 76 | 40 | 73 389.43/389.51 c 320s | 18 | 408208 | 343652 | 9599 76 | 40 | 73 391.43/391.57 c 322s | 18 | 410262 | 345452 | 9599 77 | 40 | 73 393.53/393.66 c 324s | 18 | 412895 | 347752 | 9599 77 | 40 | 73 395.62/395.72 c 326s | 18 | 414944 | 349552 | 9599 77 | 40 | 73 397.62/397.77 c 328s | 18 | 417188 | 351552 | 9599 78 | 40 | 73 399.72/399.86 c 330s | 18 | 419985 | 353852 | 10559 78 | 40 | 73 401.82/401.95 c 332s | 18 | 422304 | 355852 | 10559 79 | 40 | 73 403.82/403.95 c 334s | 18 | 424737 | 357952 | 10559 79 | 40 | 73 405.94/406.05 c 336s | 18 | 427129 | 360052 | 10559 79 | 40 | 73 408.03/408.13 c 339s | 18 | 429412 | 362052 | 10559 80 | 40 | 73 410.02/410.14 c 341s | 18 | 431392 | 363852 | 10559 80 | 40 | 73 412.02/412.18 c 343s | 18 | 433307 | 365552 | 10559 80 | 40 | 73 414.12/414.21 c 345s | 18 | 435258 | 367252 | 10559 81 | 40 | 73 416.12/416.23 c 347s | 18 | 437707 | 369352 | 10559 81 | 40 | 73 418.12/418.26 c 349s | 18 | 439643 | 371052 | 10559 81 | 40 | 73 420.12/420.27 c 351s | 18 | 441721 | 372852 | 10559 82 | 40 | 73 422.12/422.28 c 353s | 18 | 443850 | 374752 | 10559 82 | 40 | 73 424.22/424.33 c 355s | 18 | 445723 | 376452 | 10559 82 | 40 | 73 426.22/426.39 c 357s | 18 | 448013 | 378452 | 10559 83 | 40 | 73 428.32/428.41 c 359s | 18 | 450137 | 380352 | 10559 83 | 40 | 73 430.42/430.51 c 361s | 18 | 452710 | 382552 | 10559 83 | 40 | 73 432.42/432.55 c 363s | 18 | 455132 | 384652 | 10559 84 | 40 | 73 434.53/434.63 c 365s | 18 | 457411 | 386652 | 10559 84 | 40 | 73 436.52/436.67 c 367s | 18 | 459531 | 388552 | 10559 85 | 40 | 73 438.62/438.75 c 369s | 18 | 462001 | 390652 | 10559 85 | 40 | 73 440.62/440.76 c 371s | 18 | 463881 | 392352 | 10559 85 | 40 | 73 442.72/442.85 c 373s | 18 | 465690 | 393952 | 10559 86 | 40 | 73 444.82/444.91 c 375s | 18 | 468180 | 396052 | 10559 86 | 40 | 73 446.82/446.97 c 377s | 18 | 470286 | 397952 | 10559 86 | 40 | 73 448.92/449.00 c 379s | 18 | 472201 | 399652 | 10559 87 | 40 | 73 450.92/451.04 c 381s | 18 | 474445 | 401652 | 10559 87 | 40 | 73 452.91/453.09 c 383s | 18 | 476722 | 403652 | 10559 87 | 40 | 73 455.01/455.15 c 386s | 18 | 479029 | 405652 | 10559 88 | 40 | 73 457.11/457.20 c 388s | 18 | 481365 | 407652 | 10559 88 | 40 | 73 459.11/459.25 c 390s | 18 | 483391 | 409452 | 10559 88 | 40 | 73 461.12/461.27 c 392s | 18 | 485552 | 411352 | 10559 89 | 40 | 73 463.12/463.29 c 394s | 18 | 487652 | 413152 | 10559 89 | 40 | 73 465.11/465.30 c 396s | 18 | 489539 | 414852 | 10559 89 | 40 | 73 467.21/467.31 c 398s | 18 | 491501 | 416652 | 10559 90 | 40 | 73 469.21/469.36 c 400s | 18 | 493447 | 418452 | 10559 90 | 40 | 73 471.31/471.45 c 402s | 18 | 495419 | 420252 | 10559 90 | 40 | 73 473.31/473.46 c 404s | 18 | 497441 | 422052 | 10559 91 | 40 | 73 475.31/475.47 c 406s | 18 | 499847 | 424152 | 10559 91 | 40 | 73 477.31/477.50 c 408s | 18 | 501851 | 425952 | 10559 91 | 40 | 73 479.41/479.56 c 410s | 18 | 504059 | 427952 | 10559 92 | 40 | 73 481.51/481.64 c 412s | 18 | 506332 | 429952 | 10559 92 | 40 | 73 483.61/483.74 c 414s | 18 | 508432 | 431752 | 10559 93 | 40 | 73 485.61/485.77 c 416s | 18 | 511026 | 433852 | 10559 93 | 40 | 73 487.61/487.77 c 418s | 18 | 513302 | 435752 | 10559 93 | 40 | 73 489.71/489.82 c 420s | 18 | 515678 | 437752 | 10559 94 | 40 | 73 491.81/491.91 c 422s | 18 | 518129 | 439852 | 10559 94 | 40 | 73 493.82/493.94 c 424s | 18 | 520204 | 441652 | 10559 94 | 40 | 73 495.91/496.03 c 426s | 18 | 522436 | 443552 | 10559 95 | 40 | 73 496.81/496.98 c 427s | 19 | 523478 | 444482 | 10559 95 | 40 | 73 498.91/499.03 c 429s | 19 | 526305 | 446682 | 10559 95 | 40 | 73 501.01/501.12 c 431s | 19 | 528788 | 448782 | 10559 96 | 40 | 73 503.01/503.14 c 434s | 19 | 531340 | 450882 | 10559 96 | 40 | 73 505.01/505.17 c 436s | 19 | 533624 | 452782 | 10559 96 | 40 | 73 507.11/507.26 c 438s | 19 | 536069 | 454882 | 10559 97 | 40 | 73 509.22/509.35 c 440s | 19 | 538348 | 456882 | 10559 97 | 40 | 73 511.31/511.40 c 442s | 19 | 540439 | 458682 | 10559 98 | 40 | 73 513.31/513.41 c 444s | 19 | 542896 | 460682 | 10559 98 | 40 | 73 515.31/515.46 c 446s | 19 | 545225 | 462682 | 10559 98 | 40 | 73 517.41/517.54 c 448s | 19 | 547320 | 464482 | 10559 99 | 40 | 73 519.51/519.63 c 450s | 19 | 549624 | 466482 | 10559 99 | 40 | 73 521.50/521.68 c 452s | 19 | 551523 | 468182 | 10559 99 | 40 | 73 523.61/523.71 c 454s | 19 | 553506 | 469882 | 10559 100 | 40 | 73 525.60/525.79 c 456s | 19 | 555729 | 471782 | 10559 100 | 40 | 73 527.70/527.83 c 458s | 19 | 558071 | 473682 | 10559 100 | 40 | 73 529.70/529.83 c 460s | 19 | 559981 | 475382 | 10559 101 | 40 | 73 531.80/531.90 c 462s | 19 | 562182 | 477282 | 10559 101 | 40 | 73 533.81/533.93 c 464s | 19 | 564284 | 479182 | 10559 101 | 40 | 73 535.91/536.01 c 466s | 19 | 566309 | 480982 | 10559 102 | 40 | 73 537.91/538.07 c 468s | 19 | 568424 | 482882 | 10559 102 | 40 | 73 539.90/540.10 c 470s | 19 | 570472 | 484682 | 10559 102 | 40 | 73 542.00/542.14 c 473s | 19 | 572519 | 486482 | 10559 103 | 40 | 73 544.00/544.15 c 475s | 19 | 574508 | 488282 | 10559 103 | 40 | 73 546.10/546.26 c 477s | 19 | 576392 | 489982 | 10559 103 | 40 | 73 548.20/548.35 c 479s | 19 | 578234 | 491582 | 10559 104 | 40 | 73 550.20/550.39 c 481s | 19 | 580207 | 493382 | 10559 104 | 40 | 73 552.30/552.40 c 483s | 19 | 582378 | 495282 | 10559 104 | 40 | 73 554.30/554.41 c 485s | 19 | 584649 | 497182 | 10559 105 | 40 | 73 556.30/556.46 c 487s | 19 | 587043 | 499182 | 10559 105 | 40 | 73 558.40/558.50 c 489s | 19 | 589268 | 501082 | 10559 105 | 40 | 73 560.40/560.51 c 491s | 19 | 591574 | 502982 | 10559 106 | 40 | 73 562.40/562.56 c 493s | 19 | 594077 | 505082 | 10559 106 | 40 | 73 564.50/564.65 c 495s | 19 | 596335 | 506982 | 10559 106 | 40 | 73 566.60/566.73 c 497s | 19 | 598615 | 508982 | 10559 107 | 40 | 73 568.60/568.75 c 499s | 19 | 600806 | 510882 | 10559 107 | 40 | 73 570.69/570.80 c 501s | 19 | 602770 | 512682 | 10559 107 | 40 | 73 572.69/572.84 c 503s | 19 | 605283 | 514682 | 10559 108 | 40 | 73 574.69/574.88 c 505s | 19 | 607468 | 516482 | 10559 108 | 40 | 73 576.80/576.90 c 507s | 19 | 609382 | 518182 | 10559 108 | 40 | 73 578.90/579.00 c 509s | 19 | 611650 | 520082 | 10559 109 | 40 | 73 580.90/581.09 c 511s | 19 | 613727 | 521882 | 10559 109 | 40 | 73 583.01/583.13 c 514s | 19 | 615491 | 523482 | 10559 109 | 40 | 73 585.00/585.15 c 516s | 19 | 617512 | 525282 | 10559 110 | 40 | 73 587.10/587.24 c 518s | 19 | 619768 | 527182 | 10559 110 | 40 | 73 589.10/589.27 c 520s | 19 | 621975 | 528982 | 10559 111 | 40 | 73 591.20/591.35 c 522s | 19 | 624483 | 531082 | 10559 111 | 40 | 73 593.29/593.42 c 524s | 19 | 626576 | 532882 | 10559 111 | 40 | 73 595.29/595.49 c 526s | 19 | 628493 | 534582 | 10559 112 | 40 | 73 597.39/597.52 c 528s | 19 | 630790 | 536482 | 10559 112 | 40 | 73 599.40/599.53 c 530s | 19 | 632610 | 538082 | 10559 112 | 40 | 73 601.50/601.60 c 532s | 19 | 634532 | 539782 | 10559 113 | 40 | 73 603.50/603.67 c 534s | 19 | 637345 | 542082 | 10559 113 | 40 | 73 605.60/605.72 c 536s | 19 | 639889 | 544182 | 10559 113 | 40 | 73 607.70/607.80 c 538s | 19 | 642314 | 546282 | 10559 114 | 40 | 73 609.70/609.81 c 540s | 19 | 644878 | 548382 | 10559 114 | 40 | 73 611.69/611.87 c 542s | 19 | 647254 | 550282 | 10559 114 | 40 | 73 613.70/613.89 c 544s | 19 | 649235 | 551982 | 10559 115 | 40 | 73 615.79/615.98 c 546s | 19 | 651590 | 553982 | 10559 115 | 40 | 73 617.89/618.09 c 548s | 19 | 653743 | 555882 | 10559 115 | 40 | 73 619.99/620.15 c 551s | 19 | 655825 | 557682 | 10559 116 | 40 | 73 622.09/622.20 c 553s | 19 | 658045 | 559582 | 10559 116 | 40 | 73 624.09/624.27 c 555s | 19 | 660014 | 561282 | 10559 116 | 40 | 73 626.19/626.32 c 557s | 19 | 662295 | 563282 | 10559 117 | 40 | 73 628.19/628.32 c 559s | 19 | 664535 | 565182 | 10559 117 | 40 | 73 630.29/630.48 c 561s | 19 | 666560 | 566982 | 10559 118 | 40 | 73 632.39/632.54 c 563s | 19 | 668867 | 568982 | 10559 118 | 40 | 73 634.38/634.55 c 565s | 19 | 670963 | 570782 | 10559 118 | 40 | 73 636.38/636.55 c 567s | 19 | 673022 | 572482 | 10559 119 | 40 | 73 638.49/638.65 c 569s | 19 | 675572 | 574682 | 11615 119 | 40 | 73 640.59/640.74 c 571s | 19 | 677588 | 576482 | 11615 119 | 40 | 73 642.69/642.82 c 573s | 19 | 679475 | 578182 | 11615 119 | 40 | 73 644.69/644.87 c 575s | 19 | 681348 | 579882 | 11615 120 | 40 | 73 646.79/646.91 c 577s | 19 | 683677 | 581882 | 11615 120 | 40 | 73 648.78/648.96 c 579s | 19 | 685992 | 583882 | 11615 120 | 40 | 73 650.78/650.99 c 581s | 19 | 688327 | 585882 | 11615 121 | 40 | 73 652.78/652.99 c 583s | 19 | 690580 | 587882 | 11615 121 | 40 | 73 654.88/655.07 c 585s | 19 | 692724 | 589782 | 11615 121 | 40 | 73 656.98/657.15 c 588s | 19 | 694636 | 591482 | 11615 122 | 40 | 73 659.09/659.20 c 590s | 19 | 696829 | 593382 | 11615 122 | 40 | 73 661.10/661.23 c 592s | 19 | 698849 | 595182 | 11615 122 | 40 | 73 663.19/663.39 c 594s | 19 | 700783 | 596882 | 11615 123 | 40 | 73 665.18/665.39 c 596s | 19 | 702876 | 598782 | 11615 123 | 40 | 73 667.28/667.43 c 598s | 19 | 704884 | 600582 | 11615 123 | 40 | 73 669.29/669.45 c 600s | 19 | 707047 | 602382 | 11615 123 | 40 | 73 671.39/671.51 c 602s | 19 | 709227 | 604182 | 11615 124 | 40 | 73 673.39/673.55 c 604s | 19 | 711414 | 606082 | 11615 124 | 40 | 73 675.49/675.64 c 606s | 19 | 713444 | 607882 | 11615 124 | 40 | 73 677.49/677.69 c 608s | 19 | 715307 | 609582 | 11615 125 | 40 | 73 679.58/679.75 c 610s | 19 | 717431 | 611482 | 11615 125 | 40 | 73 681.68/681.81 c 612s | 19 | 719310 | 613182 | 11615 125 | 40 | 73 683.68/683.88 c 614s | 19 | 720962 | 614682 | 11615 125 | 40 | 73 685.78/685.96 c 616s | 19 | 722962 | 616482 | 11615 126 | 40 | 73 687.88/688.08 c 618s | 19 | 725036 | 618282 | 11615 126 | 40 | 73 689.98/690.16 c 621s | 19 | 727007 | 619982 | 11615 126 | 40 | 73 692.08/692.25 c 623s | 19 | 728975 | 621682 | 11615 127 | 40 | 73 694.09/694.29 c 625s | 19 | 731011 | 623482 | 11615 127 | 40 | 73 696.19/696.39 c 627s | 19 | 732782 | 625082 | 11615 127 | 40 | 73 698.28/698.44 c 629s | 19 | 734431 | 626582 | 11615 127 | 40 | 73 700.38/700.52 c 631s | 19 | 736746 | 628582 | 11615 128 | 40 | 73 702.38/702.55 c 633s | 19 | 739078 | 630582 | 11615 128 | 40 | 73 704.48/704.64 c 635s | 19 | 741227 | 632482 | 11615 128 | 40 | 73 706.47/706.68 c 637s | 19 | 743155 | 634282 | 11615 129 | 40 | 73 708.57/708.78 c 639s | 19 | 745106 | 636082 | 11615 129 | 40 | 73 710.67/710.83 c 641s | 19 | 746911 | 637682 | 11615 129 | 40 | 73 712.68/712.85 c 643s | 19 | 748529 | 639182 | 11615 130 | 40 | 73 714.78/714.93 c 645s | 19 | 750789 | 641182 | 11615 130 | 40 | 73 716.88/717.03 c 647s | 19 | 753114 | 643182 | 11615 130 | 40 | 73 718.87/719.08 c 649s | 19 | 755134 | 644982 | 11615 131 | 40 | 73 720.97/721.15 c 652s | 19 | 757227 | 646882 | 11615 131 | 40 | 73 723.08/723.23 c 654s | 19 | 759143 | 648582 | 11615 131 | 40 | 73 725.18/725.33 c 656s | 19 | 760974 | 650182 | 11615 131 | 40 | 73 727.18/727.36 c 658s | 19 | 762961 | 651982 | 11615 132 | 40 | 73 729.18/729.36 c 660s | 19 | 764838 | 653682 | 11615 132 | 40 | 73 731.17/731.36 c 662s | 19 | 766715 | 655382 | 11615 132 | 40 | 73 733.27/733.42 c 664s | 19 | 768482 | 656982 | 11615 133 | 40 | 73 735.37/735.52 c 666s | 19 | 770767 | 658982 | 11615 133 | 40 | 73 737.37/737.53 c 668s | 19 | 772718 | 660682 | 11615 133 | 40 | 73 739.37/739.53 c 670s | 19 | 774554 | 662282 | 11615 133 | 40 | 73 741.37/741.58 c 672s | 19 | 776695 | 664182 | 11615 134 | 40 | 73 743.47/743.69 c 674s | 19 | 778877 | 666082 | 11615 134 | 40 | 73 744.37/744.56 c 675s | 20 | 779723 | 666827 | 11615 134 | 40 | 73 746.47/746.63 c 677s | 20 | 781758 | 668527 | 11615 135 | 40 | 73 748.47/748.67 c 679s | 20 | 784006 | 670527 | 11615 135 | 40 | 73 750.57/750.77 c 681s | 20 | 786125 | 672427 | 11615 135 | 40 | 73 752.67/752.80 c 683s | 20 | 788182 | 674227 | 11615 135 | 40 | 73 754.67/754.87 c 685s | 20 | 790447 | 676227 | 11615 136 | 40 | 73 756.77/756.94 c 687s | 20 | 792427 | 678027 | 11615 136 | 40 | 73 758.87/759.02 c 689s | 20 | 794372 | 679727 | 11615 136 | 40 | 73 760.86/761.07 c 691s | 20 | 796557 | 681627 | 11615 137 | 40 | 73 762.96/763.18 c 694s | 20 | 798705 | 683527 | 11615 137 | 40 | 73 764.95/765.20 c 696s | 20 | 800683 | 685227 | 11615 137 | 40 | 73 767.05/767.27 c 698s | 20 | 802674 | 687027 | 11615 138 | 40 | 73 769.15/769.30 c 700s | 20 | 804705 | 688827 | 11615 138 | 40 | 73 771.16/771.34 c 702s | 20 | 806599 | 690527 | 11615 138 | 40 | 73 773.16/773.38 c 704s | 20 | 808397 | 692127 | 11615 139 | 40 | 73 775.26/775.40 c 706s | 20 | 810397 | 693927 | 11615 139 | 40 | 73 777.25/777.47 c 708s | 20 | 812379 | 695727 | 11615 139 | 40 | 73 779.35/779.50 c 710s | 20 | 814141 | 697327 | 11615 139 | 40 | 73 781.35/781.53 c 712s | 20 | 816125 | 699127 | 11615 140 | 40 | 73 783.35/783.55 c 714s | 20 | 818278 | 701027 | 11615 140 | 40 | 73 785.35/785.60 c 716s | 20 | 820192 | 702727 | 11615 140 | 40 | 73 787.45/787.69 c 718s | 20 | 822532 | 704727 | 11615 141 | 40 | 73 789.45/789.69 c 720s | 20 | 824790 | 706727 | 11615 141 | 40 | 73 791.54/791.77 c 722s | 20 | 826883 | 708627 | 11615 141 | 40 | 73 793.54/793.77 c 724s | 20 | 828797 | 710327 | 11615 142 | 40 | 73 795.54/795.78 c 726s | 20 | 831022 | 712227 | 11615 142 | 40 | 73 797.64/797.84 c 728s | 20 | 833345 | 714127 | 11615 142 | 40 | 73 799.73/799.97 c 730s | 20 | 835577 | 715927 | 11615 143 | 40 | 73 801.84/802.04 c 732s | 20 | 837765 | 717827 | 11615 143 | 40 | 73 803.83/804.06 c 734s | 20 | 839733 | 719527 | 11615 143 | 40 | 73 805.93/806.19 c 737s | 20 | 841680 | 721227 | 11615 143 | 40 | 73 808.13/808.34 c 739s | 20 | 843963 | 723127 | 11615 144 | 40 | 73 810.23/810.43 c 741s | 20 | 846203 | 725027 | 11615 144 | 40 | 73 812.33/812.55 c 743s | 20 | 848241 | 726827 | 11615 144 | 40 | 73 814.33/814.57 c 745s | 20 | 850338 | 728527 | 11615 145 | 40 | 73 816.42/816.62 c 747s | 20 | 852671 | 730327 | 11615 145 | 40 | 73 818.52/818.70 c 749s | 20 | 855072 | 732227 | 11615 145 | 40 | 73 820.53/820.71 c 751s | 20 | 857058 | 733827 | 11615 146 | 40 | 73 822.63/822.81 c 753s | 20 | 859439 | 735827 | 11615 146 | 40 | 73 824.62/824.81 c 755s | 20 | 861405 | 737527 | 11615 146 | 40 | 73 826.61/826.86 c 757s | 20 | 863406 | 739227 | 11615 146 | 40 | 73 828.62/828.87 c 759s | 20 | 865528 | 740927 | 11615 147 | 40 | 73 830.72/830.95 c 761s | 20 | 867824 | 742827 | 11615 147 | 40 | 73 832.82/833.02 c 763s | 20 | 869911 | 744527 | 11615 147 | 40 | 73 834.83/835.03 c 765s | 20 | 871937 | 746127 | 11615 148 | 40 | 73 836.81/837.05 c 767s | 20 | 874243 | 748027 | 11615 148 | 40 | 73 838.91/839.10 c 769s | 20 | 876299 | 749727 | 11615 148 | 40 | 73 841.01/841.25 c 772s | 20 | 878340 | 751427 | 11615 148 | 40 | 73 843.11/843.31 c 774s | 20 | 880361 | 753127 | 11615 149 | 40 | 73 845.11/845.38 c 776s | 20 | 882358 | 754827 | 11615 149 | 40 | 73 847.20/847.43 c 778s | 20 | 884214 | 756427 | 11615 149 | 40 | 73 849.30/849.50 c 780s | 20 | 886176 | 758127 | 11615 150 | 40 | 73 851.31/851.57 c 782s | 20 | 888403 | 760027 | 11615 150 | 40 | 73 853.41/853.67 c 784s | 20 | 890454 | 761827 | 11615 150 | 40 | 73 855.40/855.69 c 786s | 20 | 892128 | 763327 | 11615 150 | 40 | 73 857.50/857.71 c 788s | 20 | 894047 | 765027 | 11615 151 | 40 | 73 859.50/859.76 c 790s | 20 | 896255 | 766927 | 11615 151 | 40 | 73 861.50/861.77 c 792s | 20 | 898504 | 768827 | 11615 151 | 40 | 73 863.50/863.77 c 794s | 20 | 901122 | 770927 | 11615 152 | 40 | 73 865.61/865.86 c 796s | 20 | 903413 | 772927 | 11615 152 | 40 | 73 867.60/867.89 c 798s | 20 | 905370 | 774627 | 11615 152 | 40 | 73 869.70/869.92 c 800s | 20 | 907309 | 776327 | 11615 153 | 40 | 73 871.70/871.96 c 802s | 20 | 909503 | 778227 | 11615 153 | 40 | 73 873.80/874.06 c 804s | 20 | 911604 | 780027 | 11615 153 | 40 | 73 875.89/876.15 c 807s | 20 | 913460 | 781727 | 11615 154 | 40 | 73 877.89/878.19 c 809s | 20 | 915517 | 783527 | 11615 154 | 40 | 73 879.99/880.22 c 811s | 20 | 917511 | 785227 | 11615 154 | 40 | 73 882.00/882.29 c 813s | 20 | 919152 | 786727 | 11615 154 | 40 | 73 884.09/884.30 c 815s | 20 | 921036 | 788427 | 11615 155 | 40 | 73 886.08/886.31 c 817s | 20 | 922798 | 790027 | 11615 155 | 40 | 73 888.08/888.33 c 819s | 20 | 924572 | 791627 | 11615 155 | 40 | 73 890.18/890.40 c 821s | 20 | 926282 | 793127 | 11615 156 | 40 | 73 892.19/892.47 c 823s | 20 | 928377 | 795027 | 11615 156 | 40 | 73 894.29/894.58 c 825s | 20 | 930432 | 796827 | 11615 156 | 40 | 73 896.48/896.70 c 827s | 20 | 932190 | 798427 | 11615 156 | 40 | 73 898.49/898.79 c 829s | 20 | 934222 | 800227 | 11615 157 | 40 | 73 900.58/900.87 c 831s | 20 | 936262 | 802027 | 11615 157 | 40 | 73 902.68/902.95 c 833s | 20 | 938227 | 803727 | 11615 157 | 40 | 73 904.78/905.01 c 835s | 20 | 940011 | 805327 | 11615 158 | 40 | 73 906.78/907.08 c 837s | 20 | 941952 | 807127 | 11615 158 | 40 | 73 908.88/909.13 c 840s | 20 | 943921 | 808927 | 11615 158 | 40 | 73 910.97/911.22 c 842s | 20 | 945782 | 810627 | 11615 158 | 40 | 73 913.07/913.31 c 844s | 20 | 947710 | 812427 | 11615 159 | 40 | 73 915.08/915.38 c 846s | 20 | 949614 | 814127 | 11615 159 | 40 | 73 917.17/917.43 c 848s | 20 | 951396 | 815727 | 11615 159 | 40 | 73 919.26/919.52 c 850s | 20 | 953004 | 817227 | 11615 160 | 40 | 73 921.26/921.54 c 852s | 20 | 954832 | 818927 | 11615 160 | 40 | 73 923.36/923.64 c 854s | 20 | 956973 | 820827 | 11615 160 | 40 | 73 925.36/925.66 c 856s | 20 | 959119 | 822627 | 11615 160 | 40 | 73 927.46/927.76 c 858s | 20 | 961723 | 824727 | 11615 161 | 40 | 73 929.46/929.79 c 860s | 20 | 964014 | 826627 | 11615 161 | 40 | 73 931.56/931.85 c 862s | 20 | 966094 | 828427 | 11615 161 | 40 | 73 933.55/933.88 c 864s | 20 | 968226 | 830327 | 11615 162 | 40 | 73 935.65/935.94 c 866s | 20 | 970401 | 832227 | 11615 162 | 40 | 73 937.75/938.05 c 868s | 20 | 972314 | 833927 | 11615 162 | 40 | 73 939.76/940.06 c 870s | 20 | 974122 | 835527 | 11615 163 | 40 | 73 941.86/942.10 c 872s | 20 | 975976 | 837227 | 11615 163 | 40 | 73 943.86/944.18 c 875s | 20 | 977949 | 838927 | 11615 163 | 40 | 73 945.96/946.28 c 877s | 20 | 979868 | 840627 | 11615 163 | 40 | 73 948.06/948.37 c 879s | 20 | 981750 | 842327 | 11615 164 | 40 | 73 950.16/950.45 c 881s | 20 | 983964 | 844227 | 11615 164 | 40 | 73 952.26/952.50 c 883s | 20 | 985889 | 845927 | 11615 164 | 40 | 73 954.26/954.52 c 885s | 20 | 987947 | 847727 | 11615 165 | 40 | 73 956.25/956.57 c 887s | 20 | 990080 | 849627 | 11615 165 | 40 | 73 958.25/958.58 c 889s | 20 | 992079 | 851427 | 11615 165 | 40 | 73 960.35/960.67 c 891s | 20 | 994330 | 853327 | 11615 166 | 40 | 73 962.36/962.67 c 893s | 20 | 996526 | 855227 | 11615 166 | 40 | 73 964.46/964.74 c 895s | 20 | 998822 | 857127 | 11615 166 | 40 | 73 966.44/966.78 c 897s | 20 | 1000968 | 858827 | 11615 167 | 40 | 73 968.54/968.82 c 899s | 20 | 1003414 | 860927 | 11615 167 | 40 | 73 970.54/970.83 c 901s | 20 | 1005496 | 862627 | 11615 167 | 40 | 73 972.74/973.00 c 903s | 20 | 1007699 | 864427 | 11615 168 | 40 | 73 974.74/975.04 c 905s | 20 | 1009885 | 866227 | 11615 168 | 40 | 73 976.83/977.11 c 907s | 20 | 1012295 | 868127 | 11615 168 | 40 | 73 978.84/979.19 c 910s | 20 | 1014602 | 869927 | 11615 168 | 40 | 73 980.93/981.24 c 912s | 20 | 1017017 | 871827 | 11615 169 | 40 | 73 982.93/983.27 c 914s | 20 | 1019080 | 873527 | 11615 169 | 40 | 73 984.93/985.29 c 916s | 20 | 1021062 | 875227 | 11615 169 | 40 | 73 987.03/987.34 c 918s | 20 | 1023010 | 876827 | 11615 170 | 40 | 73 989.03/989.36 c 920s | 20 | 1024909 | 878427 | 11615 170 | 40 | 73 991.13/991.44 c 922s | 20 | 1026784 | 880027 | 11615 170 | 40 | 73 993.23/993.50 c 924s | 20 | 1028339 | 881427 | 11615 170 | 40 | 73 995.23/995.59 c 926s | 20 | 1029926 | 882827 | 11615 171 | 40 | 73 997.22/997.59 c 928s | 20 | 1031679 | 884327 | 11615 171 | 40 | 73 999.32/999.66 c 930s | 20 | 1033662 | 886027 | 11615 171 | 40 | 73 1001.32/1001.67 c 932s | 20 | 1035330 | 887527 | 11615 171 | 40 | 73 1003.41/1003.73 c 934s | 20 | 1036999 | 889027 | 11615 172 | 40 | 73 1005.41/1005.77 c 936s | 20 | 1039006 | 890827 | 11615 172 | 40 | 73 1007.42/1007.80 c 938s | 20 | 1040793 | 892427 | 11615 172 | 40 | 73 1009.62/1009.93 c 940s | 20 | 1042586 | 894027 | 11615 173 | 40 | 73 1011.71/1012.02 c 942s | 20 | 1044653 | 895827 | 11615 173 | 40 | 73 1013.72/1014.06 c 944s | 20 | 1046568 | 897527 | 11615 173 | 40 | 73 1015.81/1016.14 c 947s | 20 | 1048287 | 899027 | 11615 173 | 40 | 73 1017.81/1018.17 c 949s | 20 | 1050347 | 900827 | 11615 174 | 40 | 73 1019.91/1020.22 c 951s | 20 | 1052581 | 902727 | 11615 174 | 40 | 73 1021.91/1022.28 c 953s | 20 | 1054571 | 904427 | 12777 174 | 40 | 73 1024.01/1024.39 c 955s | 20 | 1056422 | 906027 | 12777 174 | 40 | 73 1026.11/1026.42 c 957s | 20 | 1058167 | 907527 | 12777 175 | 40 | 73 1028.10/1028.47 c 959s | 20 | 1060173 | 909327 | 12777 175 | 40 | 73 1030.10/1030.49 c 961s | 20 | 1062013 | 910927 | 12777 175 | 40 | 73 1032.20/1032.53 c 963s | 20 | 1063835 | 912527 | 12777 175 | 40 | 73 1034.30/1034.67 c 965s | 20 | 1065863 | 914227 | 12777 176 | 40 | 73 1036.40/1036.77 c 967s | 20 | 1068153 | 916127 | 12777 176 | 40 | 73 1038.50/1038.82 c 969s | 20 | 1070179 | 917827 | 12777 176 | 40 | 73 1040.49/1040.88 c 971s | 20 | 1072002 | 919427 | 12777 176 | 40 | 73 1042.60/1042.90 c 973s | 20 | 1073697 | 920927 | 12777 177 | 40 | 73 1044.70/1045.00 c 975s | 20 | 1075612 | 922627 | 12777 177 | 40 | 73 1046.78/1047.14 c 978s | 20 | 1077426 | 924227 | 12777 177 | 40 | 73 1048.88/1049.25 c 980s | 20 | 1079171 | 925727 | 12777 177 | 40 | 73 1050.99/1051.30 c 982s | 20 | 1080716 | 927127 | 12777 178 | 40 | 73 1052.99/1053.36 c 984s | 20 | 1082649 | 928827 | 12777 178 | 40 | 73 1054.99/1055.38 c 986s | 20 | 1084508 | 930427 | 12777 178 | 40 | 73 1057.18/1057.50 c 988s | 20 | 1086073 | 931827 | 12777 178 | 40 | 73 1059.18/1059.53 c 990s | 20 | 1087924 | 933427 | 12777 179 | 40 | 73 1061.19/1061.56 c 992s | 20 | 1090072 | 935227 | 12777 179 | 40 | 73 1063.28/1063.62 c 994s | 20 | 1091935 | 936827 | 12777 179 | 40 | 73 1065.28/1065.69 c 996s | 20 | 1093588 | 938227 | 12777 179 | 40 | 73 1067.37/1067.73 c 998s | 20 | 1095179 | 939627 | 12777 180 | 40 | 73 1069.37/1069.75 c 1000s | 20 | 1097118 | 941327 | 12777 180 | 40 | 73 1071.47/1071.87 c 1002s | 20 | 1098922 | 942927 | 12777 180 | 40 | 73 1073.47/1073.89 c 1004s | 20 | 1100494 | 944327 | 12777 180 | 40 | 73 1075.58/1075.98 c 1006s | 20 | 1102217 | 945827 | 12777 180 | 40 | 73 1077.68/1078.05 c 1008s | 20 | 1104253 | 947527 | 12777 181 | 40 | 73 1079.77/1080.14 c 1011s | 20 | 1106306 | 949327 | 12777 181 | 40 | 73 1081.87/1082.25 c 1013s | 20 | 1108412 | 951027 | 12777 181 | 40 | 73 1083.97/1084.33 c 1015s | 20 | 1110000 | 952427 | 12777 181 | 40 | 73 1086.06/1086.41 c 1017s | 20 | 1111763 | 954027 | 12777 182 | 40 | 73 1088.16/1088.51 c 1019s | 20 | 1113550 | 955627 | 12777 182 | 40 | 73 1090.26/1090.63 c 1021s | 20 | 1115251 | 957127 | 12777 182 | 40 | 73 1092.26/1092.69 c 1023s | 20 | 1116847 | 958527 | 12777 182 | 40 | 73 1094.36/1094.77 c 1025s | 20 | 1118640 | 960027 | 12777 183 | 40 | 73 1096.47/1096.81 c 1027s | 20 | 1120492 | 961627 | 12777 183 | 40 | 73 1098.57/1098.95 c 1029s | 20 | 1122413 | 963327 | 12777 183 | 40 | 73 1100.56/1100.97 c 1031s | 20 | 1124397 | 964927 | 12777 183 | 40 | 73 1102.56/1102.97 c 1033s | 20 | 1126238 | 966527 | 12777 184 | 40 | 73 1104.56/1104.99 c 1035s | 20 | 1128089 | 968127 | 12777 184 | 40 | 73 1106.66/1107.03 c 1037s | 20 | 1129893 | 969727 | 12777 184 | 40 | 73 1108.66/1109.09 c 1039s | 20 | 1131686 | 971227 | 12777 184 | 40 | 73 1110.66/1111.10 c 1041s | 20 | 1133445 | 972727 | 12777 185 | 40 | 73 1112.75/1113.12 c 1044s | 20 | 1135451 | 974427 | 12777 185 | 40 | 73 1114.86/1115.23 c 1046s | 20 | 1137443 | 976127 | 12777 185 | 40 | 73 1116.95/1117.34 c 1048s | 20 | 1139175 | 977627 | 12777 185 | 40 | 73 1119.05/1119.44 c 1050s | 20 | 1140901 | 979027 | 12777 186 | 40 | 73 1121.15/1121.58 c 1052s | 20 | 1143038 | 980827 | 12777 186 | 40 | 73 1123.35/1123.72 c 1054s | 20 | 1144909 | 982427 | 12777 186 | 40 | 73 1125.35/1125.76 c 1056s | 20 | 1146509 | 983827 | 12777 186 | 40 | 73 1127.44/1127.85 c 1058s | 20 | 1148038 | 985127 | 12777 187 | 40 | 73 1129.54/1129.95 c 1060s | 20 | 1149893 | 986727 | 12777 187 | 40 | 73 1131.55/1131.96 c 1062s | 20 | 1151756 | 988327 | 12777 187 | 40 | 73 1133.54/1133.99 c 1064s | 20 | 1153559 | 989927 | 12777 187 | 40 | 73 1135.64/1136.05 c 1066s | 20 | 1155363 | 991527 | 12777 187 | 40 | 73 1137.63/1138.06 c 1068s | 20 | 1157415 | 993327 | 12777 188 | 40 | 73 1139.73/1140.11 c 1070s | 20 | 1159459 | 995127 | 12777 188 | 40 | 73 1141.84/1142.22 c 1073s | 20 | 1161324 | 996727 | 12777 188 | 40 | 73 1143.94/1144.31 c 1075s | 20 | 1163108 | 998327 | 12777 189 | 40 | 73 1146.03/1146.41 c 1077s | 20 | 1165342 | 1000227 | 12777 189 | 40 | 73 1146.13/1146.55 c 1077s | 21 | 1165477 | 1000345 | 12777 189 | 40 | 73 1148.23/1148.60 c 1079s | 21 | 1167370 | 1001945 | 12777 189 | 40 | 73 1150.34/1150.73 c 1081s | 21 | 1169302 | 1003645 | 12777 189 | 40 | 73 1152.34/1152.78 c 1083s | 21 | 1170998 | 1005145 | 12777 190 | 40 | 73 1154.44/1154.88 c 1085s | 21 | 1173000 | 1006845 | 12777 190 | 40 | 73 1156.53/1156.99 c 1087s | 21 | 1174723 | 1008345 | 12777 190 | 40 | 73 1158.73/1159.11 c 1089s | 21 | 1176328 | 1009745 | 12777 190 | 40 | 73 1160.73/1161.19 c 1092s | 21 | 1177825 | 1011045 | 12777 190 | 40 | 73 1162.83/1163.27 c 1094s | 21 | 1179880 | 1012845 | 12777 191 | 40 | 73 1164.93/1165.33 c 1096s | 21 | 1181764 | 1014545 | 12777 191 | 40 | 73 1167.02/1167.45 c 1098s | 21 | 1183604 | 1016145 | 12777 191 | 40 | 73 1169.03/1169.47 c 1100s | 21 | 1185201 | 1017545 | 12777 191 | 40 | 73 1171.13/1171.56 c 1102s | 21 | 1187130 | 1019245 | 12777 192 | 40 | 73 1173.12/1173.57 c 1104s | 21 | 1188903 | 1020845 | 12777 192 | 40 | 73 1175.22/1175.65 c 1106s | 21 | 1190889 | 1022545 | 12777 192 | 40 | 73 1177.31/1177.76 c 1108s | 21 | 1192587 | 1024045 | 12777 192 | 40 | 73 1179.41/1179.88 c 1110s | 21 | 1194373 | 1025645 | 12777 193 | 40 | 73 1181.51/1181.95 c 1112s | 21 | 1196219 | 1027245 | 12777 193 | 40 | 73 1183.61/1184.03 c 1114s | 21 | 1197822 | 1028645 | 12777 193 | 40 | 73 1185.71/1186.19 c 1117s | 21 | 1199322 | 1029945 | 12777 193 | 40 | 73 1187.80/1188.23 c 1119s | 21 | 1200804 | 1031245 | 12777 194 | 40 | 73 1189.91/1190.31 c 1121s | 21 | 1202607 | 1032845 | 12777 194 | 40 | 73 1191.90/1192.32 c 1123s | 21 | 1204284 | 1034245 | 12777 194 | 40 | 73 1193.90/1194.33 c 1125s | 21 | 1206026 | 1035745 | 12777 194 | 40 | 73 1195.90/1196.35 c 1127s | 21 | 1207810 | 1037245 | 12777 195 | 40 | 73 1198.00/1198.46 c 1129s | 21 | 1209764 | 1038945 | 12777 195 | 40 | 73 1200.10/1200.50 c 1131s | 21 | 1211575 | 1040545 | 12777 195 | 40 | 73 1202.10/1202.59 c 1133s | 21 | 1213398 | 1042145 | 12777 195 | 40 | 73 1204.30/1204.73 c 1135s | 21 | 1215112 | 1043645 | 12777 195 | 40 | 73 1206.30/1206.77 c 1137s | 21 | 1217107 | 1045345 | 12777 196 | 40 | 73 1208.39/1208.81 c 1139s | 21 | 1219048 | 1047045 | 12777 196 | 40 | 73 1210.49/1210.91 c 1141s | 21 | 1220837 | 1048645 | 12777 196 | 40 | 73 1212.59/1213.08 c 1143s | 21 | 1222751 | 1050245 | 12777 197 | 40 | 73 1214.59/1215.09 c 1145s | 21 | 1224840 | 1052045 | 12777 197 | 40 | 73 1216.68/1217.14 c 1148s | 21 | 1226705 | 1053645 | 12777 197 | 40 | 73 1218.79/1219.25 c 1150s | 21 | 1228530 | 1055245 | 12777 197 | 40 | 73 1220.89/1221.31 c 1152s | 21 | 1230130 | 1056645 | 12777 197 | 40 | 73 1222.90/1223.39 c 1154s | 21 | 1232013 | 1058345 | 12777 198 | 40 | 73 1224.99/1225.48 c 1156s | 21 | 1234141 | 1060245 | 12777 198 | 40 | 73 1226.98/1227.49 c 1158s | 21 | 1235737 | 1061645 | 12777 198 | 40 | 73 1229.08/1229.51 c 1160s | 21 | 1237347 | 1063045 | 12777 198 | 40 | 73 1231.08/1231.57 c 1162s | 21 | 1239188 | 1064645 | 12777 199 | 40 | 73 1233.18/1233.66 c 1164s | 21 | 1240862 | 1066145 | 12777 199 | 40 | 73 1235.18/1235.67 c 1166s | 21 | 1242538 | 1067645 | 12777 199 | 40 | 73 1237.27/1237.71 c 1168s | 21 | 1244086 | 1069045 | 12777 199 | 40 | 73 1239.27/1239.77 c 1170s | 21 | 1245745 | 1070545 | 12777 200 | 40 | 73 1241.37/1241.86 c 1172s | 21 | 1247867 | 1072345 | 12777 200 | 40 | 73 1243.47/1243.90 c 1174s | 21 | 1249971 | 1074145 | 12777 200 | 40 | 73 1245.47/1245.92 c 1176s | 21 | 1251962 | 1075845 | 12777 200 | 40 | 73 1247.47/1247.95 c 1178s | 21 | 1253795 | 1077445 | 12777 201 | 40 | 73 1249.57/1250.01 c 1180s | 21 | 1255577 | 1079045 | 12777 201 | 40 | 73 1251.67/1252.10 c 1182s | 21 | 1257402 | 1080645 | 12777 201 | 40 | 73 1253.77/1254.20 c 1185s | 21 | 1259264 | 1082245 | 12777 201 | 40 | 73 1255.77/1256.21 c 1187s | 21 | 1261115 | 1083845 | 12777 202 | 40 | 73 1257.86/1258.30 c 1189s | 21 | 1263444 | 1085845 | 12777 202 | 40 | 73 1259.86/1260.34 c 1191s | 21 | 1265413 | 1087545 | 12777 202 | 40 | 73 1261.96/1262.42 c 1193s | 21 | 1267262 | 1089145 | 12777 202 | 40 | 73 1263.95/1264.46 c 1195s | 21 | 1269264 | 1090845 | 12777 203 | 40 | 73 1266.05/1266.56 c 1197s | 21 | 1271267 | 1092545 | 12777 203 | 40 | 73 1268.15/1268.65 c 1199s | 21 | 1273178 | 1094145 | 12777 203 | 40 | 73 1270.25/1270.76 c 1201s | 21 | 1274758 | 1095545 | 12777 203 | 40 | 73 1272.36/1272.86 c 1203s | 21 | 1276530 | 1097145 | 12777 204 | 40 | 73 1274.46/1274.95 c 1205s | 21 | 1278362 | 1098745 | 12777 204 | 40 | 73 1276.55/1277.03 c 1207s | 21 | 1280006 | 1100245 | 12777 204 | 40 | 73 1278.55/1279.09 c 1209s | 21 | 1281561 | 1101645 | 12777 204 | 40 | 73 1280.65/1281.15 c 1212s | 21 | 1283221 | 1103145 | 12777 205 | 40 | 73 1282.75/1283.29 c 1214s | 21 | 1285062 | 1104745 | 12777 205 | 40 | 73 1284.85/1285.36 c 1216s | 21 | 1286747 | 1106245 | 12777 205 | 40 | 73 1286.94/1287.46 c 1218s | 21 | 1288272 | 1107645 | 12777 205 | 40 | 73 1288.94/1289.49 c 1220s | 21 | 1289796 | 1108945 | 12777 206 | 40 | 73 1291.05/1291.53 c 1222s | 21 | 1291773 | 1110645 | 12777 206 | 40 | 73 1293.14/1293.62 c 1224s | 21 | 1293650 | 1112245 | 12777 206 | 40 | 73 1295.24/1295.71 c 1226s | 21 | 1295593 | 1113845 | 12777 206 | 40 | 73 1297.24/1297.73 c 1228s | 21 | 1297336 | 1115345 | 12777 206 | 40 | 73 1299.34/1299.83 c 1230s | 21 | 1299618 | 1117245 | 12777 207 | 40 | 73 1301.34/1301.88 c 1232s | 21 | 1301694 | 1119045 | 12777 207 | 40 | 73 1303.44/1303.93 c 1234s | 21 | 1303570 | 1120645 | 12777 207 | 40 | 73 1305.44/1305.94 c 1236s | 21 | 1305202 | 1122045 | 12777 208 | 40 | 73 1307.44/1308.00 c 1238s | 21 | 1307317 | 1123845 | 12777 208 | 40 | 73 1309.64/1310.10 c 1240s | 21 | 1309106 | 1125445 | 12777 208 | 40 | 73 1311.64/1312.17 c 1243s | 21 | 1310663 | 1126845 | 12777 208 | 40 | 73 1313.64/1314.18 c 1245s | 21 | 1312114 | 1128145 | 12777 208 | 40 | 73 1315.74/1316.22 c 1247s | 21 | 1313757 | 1129545 | 12777 209 | 40 | 73 1317.73/1318.26 c 1249s | 21 | 1315677 | 1131245 | 12777 209 | 40 | 73 1319.83/1320.40 c 1251s | 21 | 1317445 | 1132845 | 12777 209 | 40 | 73 1321.93/1322.45 c 1253s | 21 | 1319039 | 1134245 | 12777 209 | 40 | 73 1324.03/1324.55 c 1255s | 21 | 1320451 | 1135545 | 12777 210 | 40 | 73 1326.13/1326.66 c 1257s | 21 | 1322067 | 1137045 | 12777 210 | 40 | 73 1328.12/1328.69 c 1259s | 21 | 1323595 | 1138445 | 12777 210 | 40 | 73 1330.22/1330.71 c 1261s | 21 | 1325170 | 1139845 | 12777 210 | 40 | 73 1332.22/1332.72 c 1263s | 21 | 1326717 | 1141245 | 12777 210 | 40 | 73 1334.31/1334.80 c 1265s | 21 | 1328396 | 1142745 | 12777 211 | 40 | 73 1336.41/1336.93 c 1267s | 21 | 1330152 | 1144345 | 12777 211 | 40 | 73 1338.51/1339.03 c 1269s | 21 | 1331810 | 1145845 | 12777 211 | 40 | 73 1340.51/1341.07 c 1271s | 21 | 1333402 | 1147245 | 12777 211 | 40 | 73 1342.62/1343.15 c 1274s | 21 | 1335096 | 1148745 | 12777 212 | 40 | 73 1344.72/1345.27 c 1276s | 21 | 1336897 | 1150345 | 12777 212 | 40 | 73 1346.81/1347.37 c 1278s | 21 | 1338634 | 1151845 | 12777 212 | 40 | 73 1348.91/1349.46 c 1280s | 21 | 1340165 | 1153145 | 12777 212 | 40 | 73 1351.11/1351.64 c 1282s | 21 | 1341635 | 1154445 | 12777 213 | 40 | 73 1353.11/1353.66 c 1284s | 21 | 1343278 | 1155945 | 12777 213 | 40 | 73 1355.21/1355.77 c 1286s | 21 | 1345044 | 1157545 | 12777 213 | 40 | 73 1357.30/1357.85 c 1288s | 21 | 1346654 | 1158945 | 12777 213 | 40 | 73 1359.40/1359.93 c 1290s | 21 | 1348203 | 1160345 | 12777 213 | 40 | 73 1361.41/1361.97 c 1292s | 21 | 1349795 | 1161745 | 12777 214 | 40 | 73 1363.50/1364.09 c 1294s | 21 | 1351589 | 1163345 | 12777 214 | 40 | 73 1365.60/1366.10 c 1296s | 21 | 1353149 | 1164745 | 12777 214 | 40 | 73 1367.70/1368.22 c 1299s | 21 | 1354582 | 1166045 | 12777 214 | 40 | 73 1369.90/1370.40 c 1301s | 21 | 1356034 | 1167345 | 12777 214 | 40 | 73 1371.99/1372.51 c 1303s | 21 | 1357552 | 1168745 | 12777 215 | 40 | 73 1374.09/1374.64 c 1305s | 21 | 1359649 | 1170545 | 12777 215 | 40 | 73 1376.09/1376.66 c 1307s | 21 | 1361128 | 1171845 | 12777 215 | 40 | 73 1378.19/1378.78 c 1309s | 21 | 1362792 | 1173245 | 12777 215 | 40 | 73 1380.28/1380.84 c 1311s | 21 | 1364201 | 1174545 | 12777 216 | 40 | 73 1382.29/1382.85 c 1313s | 21 | 1365756 | 1175945 | 12777 216 | 40 | 73 1384.39/1384.98 c 1315s | 21 | 1367372 | 1177445 | 12777 216 | 40 | 73 1386.48/1387.02 c 1317s | 21 | 1368955 | 1178845 | 12777 216 | 40 | 73 1388.58/1389.19 c 1320s | 21 | 1370971 | 1180545 | 12777 217 | 40 | 73 1390.69/1391.27 c 1322s | 21 | 1373290 | 1182545 | 12777 217 | 40 | 73 1392.69/1393.28 c 1324s | 21 | 1375380 | 1184345 | 12777 217 | 40 | 73 1394.79/1395.37 c 1326s | 21 | 1377315 | 1186045 | 12777 217 | 40 | 73 1396.89/1397.44 c 1328s | 21 | 1379084 | 1187545 | 12777 218 | 40 | 73 1398.99/1399.52 c 1330s | 21 | 1381176 | 1189345 | 12777 218 | 40 | 73 1400.99/1401.59 c 1332s | 21 | 1382879 | 1190845 | 12777 218 | 40 | 73 1403.09/1403.67 c 1334s | 21 | 1384583 | 1192345 | 12777 218 | 40 | 73 1405.08/1405.68 c 1336s | 21 | 1386255 | 1193745 | 12777 219 | 40 | 73 1407.18/1407.74 c 1338s | 21 | 1388366 | 1195545 | 12777 219 | 40 | 73 1409.28/1409.83 c 1340s | 21 | 1390157 | 1197145 | 12777 219 | 40 | 73 1411.38/1411.95 c 1342s | 21 | 1391869 | 1198645 | 12777 219 | 40 | 73 1413.48/1414.07 c 1344s | 21 | 1393388 | 1199945 | 12777 219 | 40 | 73 1415.58/1416.16 c 1347s | 21 | 1395223 | 1201545 | 12777 220 | 40 | 73 1417.68/1418.26 c 1349s | 21 | 1397205 | 1203245 | 12777 220 | 40 | 73 1419.78/1420.30 c 1351s | 21 | 1399045 | 1204845 | 12777 220 | 40 | 73 1421.78/1422.37 c 1353s | 21 | 1400792 | 1206345 | 12777 220 | 40 | 73 1423.87/1424.50 c 1355s | 21 | 1402983 | 1208145 | 12777 221 | 40 | 73 1425.97/1426.51 c 1357s | 21 | 1404869 | 1209745 | 12777 221 | 40 | 73 1428.08/1428.64 c 1359s | 21 | 1406694 | 1211345 | 12777 221 | 40 | 73 1430.28/1430.80 c 1361s | 21 | 1408357 | 1212845 | 12777 221 | 40 | 73 1432.38/1432.97 c 1363s | 21 | 1410091 | 1214345 | 12777 222 | 40 | 73 1434.48/1435.07 c 1365s | 21 | 1411912 | 1215945 | 12777 222 | 40 | 73 1436.48/1437.09 c 1367s | 21 | 1413448 | 1217345 | 12777 222 | 40 | 73 1438.68/1439.23 c 1370s | 21 | 1414975 | 1218745 | 12777 222 | 40 | 73 1440.68/1441.27 c 1372s | 21 | 1416583 | 1220145 | 12777 223 | 40 | 73 1442.68/1443.27 c 1374s | 21 | 1418532 | 1221845 | 12777 223 | 40 | 73 1444.77/1445.34 c 1376s | 21 | 1420210 | 1223345 | 12777 223 | 40 | 73 1446.77/1447.39 c 1378s | 21 | 1421979 | 1224845 | 12777 223 | 40 | 73 1448.87/1449.49 c 1380s | 21 | 1423445 | 1226145 | 12777 224 | 40 | 73 1450.97/1451.54 c 1382s | 21 | 1425213 | 1227745 | 12777 224 | 40 | 73 1453.07/1453.62 c 1384s | 21 | 1426900 | 1229245 | 12777 224 | 40 | 73 1455.17/1455.74 c 1386s | 21 | 1428536 | 1230745 | 12777 224 | 40 | 73 1457.27/1457.81 c 1388s | 21 | 1430486 | 1232345 | 12777 224 | 40 | 73 1459.28/1459.89 c 1390s | 21 | 1433144 | 1234445 | 12777 225 | 40 | 73 1461.38/1461.98 c 1392s | 21 | 1435433 | 1236445 | 12777 225 | 40 | 73 1463.47/1464.10 c 1394s | 21 | 1437507 | 1238245 | 12777 225 | 40 | 73 1465.57/1466.11 c 1396s | 21 | 1439492 | 1239945 | 12777 226 | 40 | 73 1467.57/1468.17 c 1399s | 21 | 1441721 | 1241845 | 12777 226 | 40 | 73 1469.67/1470.22 c 1401s | 21 | 1443621 | 1243545 | 12777 226 | 40 | 73 1471.78/1472.34 c 1403s | 21 | 1445746 | 1245245 | 12777 226 | 40 | 73 1473.88/1474.42 c 1405s | 21 | 1448003 | 1247045 | 12777 227 | 40 | 73 1475.87/1476.48 c 1407s | 21 | 1450194 | 1248945 | 12777 227 | 40 | 73 1478.07/1478.60 c 1409s | 21 | 1452264 | 1250645 | 12777 227 | 40 | 73 1480.18/1480.71 c 1411s | 21 | 1453989 | 1252145 | 12777 227 | 40 | 73 1482.17/1482.73 c 1413s | 21 | 1455836 | 1253745 | 12777 228 | 40 | 73 1484.17/1484.75 c 1415s | 21 | 1457552 | 1255245 | 12777 228 | 40 | 73 1486.17/1486.79 c 1417s | 21 | 1459247 | 1256745 | 12777 228 | 40 | 73 1488.37/1488.91 c 1419s | 21 | 1460899 | 1258245 | 12777 228 | 40 | 73 1490.37/1490.96 c 1421s | 21 | 1462746 | 1259845 | 12777 229 | 40 | 73 1492.47/1493.06 c 1423s | 21 | 1464873 | 1261645 | 12777 229 | 40 | 73 1494.57/1495.10 c 1425s | 21 | 1466730 | 1263245 | 12777 229 | 40 | 73 1496.57/1497.11 c 1427s | 21 | 1468299 | 1264645 | 12777 229 | 40 | 73 1498.57/1499.17 c 1430s | 21 | 1470158 | 1266245 | 12777 230 | 40 | 73 1500.67/1501.27 c 1432s | 21 | 1472195 | 1267945 | 12777 230 | 40 | 73 1502.67/1503.29 c 1434s | 21 | 1473794 | 1269345 | 12777 230 | 40 | 73 1504.77/1505.31 c 1436s | 21 | 1475523 | 1270845 | 12777 230 | 40 | 73 1506.77/1507.34 c 1438s | 21 | 1477096 | 1272245 | 12777 231 | 40 | 73 1508.77/1509.36 c 1440s | 21 | 1479245 | 1274045 | 12777 231 | 40 | 73 1510.87/1511.46 c 1442s | 21 | 1481061 | 1275645 | 12777 231 | 40 | 73 1512.97/1513.58 c 1444s | 21 | 1482572 | 1277045 | 12777 231 | 40 | 73 1515.07/1515.69 c 1446s | 21 | 1484177 | 1278445 | 12777 232 | 40 | 73 1517.17/1517.73 c 1448s | 21 | 1486089 | 1280145 | 12777 232 | 40 | 73 1519.17/1519.79 c 1450s | 21 | 1487793 | 1281645 | 12777 232 | 40 | 73 1521.17/1521.80 c 1452s | 21 | 1489418 | 1283045 | 12777 232 | 40 | 73 1523.27/1523.87 c 1454s | 21 | 1491240 | 1284545 | 12777 232 | 40 | 73 1525.27/1525.89 c 1456s | 21 | 1492918 | 1286045 | 12777 233 | 40 | 73 1527.37/1527.95 c 1458s | 21 | 1494774 | 1287645 | 12777 233 | 40 | 73 1529.57/1530.12 c 1460s | 21 | 1496447 | 1289145 | 12777 233 | 40 | 73 1531.66/1532.22 c 1463s | 21 | 1498017 | 1290545 | 12777 233 | 40 | 73 1533.66/1534.24 c 1465s | 21 | 1499949 | 1292145 | 12777 234 | 40 | 73 1535.76/1536.30 c 1467s | 21 | 1501924 | 1293845 | 12777 234 | 40 | 73 1537.76/1538.37 c 1469s | 21 | 1503801 | 1295445 | 12777 234 | 40 | 73 1539.86/1540.44 c 1471s | 21 | 1505558 | 1296945 | 12777 234 | 40 | 73 1541.96/1542.52 c 1473s | 21 | 1507245 | 1298445 | 12777 235 | 40 | 73 1543.97/1544.59 c 1475s | 21 | 1509696 | 1300445 | 12777 235 | 40 | 73 1546.06/1546.67 c 1477s | 21 | 1511840 | 1302245 | 12777 235 | 40 | 73 1548.26/1548.82 c 1479s | 21 | 1513883 | 1303945 | 12777 235 | 40 | 73 1550.26/1550.83 c 1481s | 21 | 1515670 | 1305445 | 12777 236 | 40 | 73 1552.36/1552.93 c 1483s | 21 | 1517768 | 1307245 | 12777 236 | 40 | 73 1554.45/1555.05 c 1485s | 21 | 1519595 | 1308845 | 12777 236 | 40 | 73 1556.46/1557.09 c 1487s | 21 | 1521590 | 1310445 | 12777 236 | 40 | 73 1558.56/1559.14 c 1490s | 21 | 1523505 | 1312045 | 12777 237 | 40 | 73 1560.66/1561.25 c 1492s | 21 | 1525378 | 1313645 | 12777 237 | 40 | 73 1562.76/1563.30 c 1494s | 21 | 1527089 | 1315145 | 12777 237 | 40 | 73 1564.77/1565.31 c 1496s | 21 | 1528823 | 1316645 | 12777 237 | 40 | 73 1566.75/1567.31 c 1498s | 21 | 1530545 | 1318145 | 12777 238 | 40 | 73 1568.75/1569.34 c 1500s | 21 | 1532765 | 1319945 | 12777 238 | 40 | 73 1570.86/1571.42 c 1502s | 21 | 1534683 | 1321545 | 12777 238 | 40 | 73 1572.86/1573.47 c 1504s | 21 | 1536324 | 1322945 | 12777 238 | 40 | 73 1574.96/1575.51 c 1506s | 21 | 1538105 | 1324445 | 12777 239 | 40 | 73 1577.06/1577.62 c 1508s | 21 | 1540066 | 1326145 | 12777 239 | 40 | 73 1579.17/1579.71 c 1510s | 21 | 1542008 | 1327845 | 12777 239 | 40 | 73 1581.26/1581.82 c 1512s | 21 | 1544066 | 1329545 | 12777 239 | 40 | 73 1583.36/1583.90 c 1514s | 21 | 1545973 | 1331145 | 12777 240 | 40 | 73 1585.35/1585.95 c 1516s | 21 | 1547931 | 1332845 | 12777 240 | 40 | 73 1587.35/1587.97 c 1518s | 21 | 1549854 | 1334445 | 12777 240 | 40 | 73 1589.45/1590.07 c 1520s | 21 | 1551736 | 1336045 | 12777 240 | 40 | 73 1591.45/1592.08 c 1522s | 21 | 1553575 | 1337645 | 12777 241 | 40 | 73 1593.55/1594.19 c 1525s | 21 | 1555591 | 1339345 | 12777 241 | 40 | 73 1595.66/1596.26 c 1527s | 21 | 1557306 | 1340845 | 12777 241 | 40 | 73 1597.76/1598.36 c 1529s | 21 | 1559197 | 1342445 | 12777 241 | 40 | 73 1599.85/1600.41 c 1531s | 21 | 1560773 | 1343745 | 12777 242 | 40 | 73 1601.95/1602.51 c 1533s | 21 | 1562680 | 1345445 | 12777 242 | 40 | 73 1603.96/1604.55 c 1535s | 21 | 1564197 | 1346845 | 12777 242 | 40 | 73 1606.06/1606.69 c 1537s | 21 | 1565871 | 1348345 | 12777 242 | 40 | 73 1608.15/1608.72 c 1539s | 21 | 1567295 | 1349645 | 12777 242 | 40 | 73 1610.15/1610.76 c 1541s | 21 | 1569197 | 1351245 | 12777 243 | 40 | 73 1612.25/1612.86 c 1543s | 21 | 1571001 | 1352845 | 12777 243 | 40 | 73 1614.26/1614.89 c 1545s | 21 | 1572820 | 1354445 | 12777 243 | 40 | 73 1616.46/1617.03 c 1547s | 21 | 1574552 | 1355945 | 12777 243 | 40 | 73 1618.45/1619.05 c 1549s | 21 | 1576169 | 1357345 | 12777 244 | 40 | 73 1620.45/1621.08 c 1551s | 21 | 1578027 | 1358945 | 12777 244 | 40 | 73 1622.44/1623.09 c 1553s | 21 | 1579773 | 1360445 | 12777 244 | 40 | 73 1624.55/1625.19 c 1556s | 21 | 1581656 | 1362045 | 12777 244 | 40 | 73 1626.75/1627.31 c 1558s | 21 | 1583458 | 1363645 | 12777 245 | 40 | 73 1628.75/1629.37 c 1560s | 21 | 1585563 | 1365345 | 12777 245 | 40 | 73 1630.86/1631.46 c 1562s | 21 | 1587596 | 1366945 | 12777 245 | 40 | 73 1632.95/1633.58 c 1564s | 21 | 1589362 | 1368445 | 12777 245 | 40 | 73 1635.05/1635.60 c 1566s | 21 | 1590963 | 1369845 | 12777 246 | 40 | 73 1637.04/1637.65 c 1568s | 21 | 1592731 | 1371345 | 12777 246 | 40 | 73 1639.14/1639.70 c 1570s | 21 | 1594469 | 1372845 | 12777 246 | 40 | 73 1641.14/1641.72 c 1572s | 21 | 1596117 | 1374245 | 12777 246 | 40 | 73 1643.14/1643.72 c 1574s | 21 | 1597702 | 1375645 | 12777 246 | 40 | 73 1645.16/1645.78 c 1576s | 21 | 1599419 | 1377145 | 12777 247 | 40 | 73 1647.25/1647.85 c 1578s | 21 | 1601385 | 1378845 | 12777 247 | 40 | 73 1649.35/1649.96 c 1580s | 21 | 1603270 | 1380445 | 12777 247 | 40 | 73 1651.55/1652.11 c 1582s | 21 | 1605013 | 1381945 | 12777 247 | 40 | 73 1653.54/1654.18 c 1585s | 21 | 1606726 | 1383445 | 12777 248 | 40 | 73 1655.54/1656.19 c 1587s | 21 | 1608549 | 1385045 | 12777 248 | 40 | 73 1657.64/1658.22 c 1589s | 21 | 1610411 | 1386645 | 12777 248 | 40 | 73 1659.64/1660.23 c 1591s | 21 | 1612080 | 1388145 | 12777 248 | 40 | 73 1661.65/1662.23 c 1593s | 21 | 1613821 | 1389645 | 12777 249 | 40 | 73 1663.75/1664.34 c 1595s | 21 | 1615848 | 1391445 | 12777 249 | 40 | 73 1665.84/1666.43 c 1597s | 21 | 1617760 | 1393145 | 12777 249 | 40 | 73 1667.85/1668.46 c 1599s | 21 | 1619538 | 1394745 | 12777 249 | 40 | 73 1669.85/1670.49 c 1601s | 21 | 1621229 | 1396245 | 12777 250 | 40 | 73 1671.94/1672.54 c 1603s | 21 | 1623121 | 1397845 | 12777 250 | 40 | 73 1674.04/1674.62 c 1605s | 21 | 1625230 | 1399645 | 12777 250 | 40 | 73 1676.14/1676.73 c 1607s | 21 | 1627196 | 1401245 | 14055 250 | 40 | 73 1678.15/1678.75 c 1609s | 21 | 1628704 | 1402545 | 14055 250 | 40 | 73 1680.25/1680.85 c 1611s | 21 | 1630290 | 1403945 | 14055 251 | 40 | 73 1682.24/1682.87 c 1613s | 21 | 1632392 | 1405745 | 14055 251 | 40 | 73 1684.34/1684.98 c 1615s | 21 | 1634078 | 1407245 | 14055 251 | 40 | 73 1686.44/1687.06 c 1617s | 21 | 1635820 | 1408745 | 14055 251 | 40 | 73 1688.54/1689.17 c 1620s | 21 | 1637383 | 1410145 | 14055 251 | 40 | 73 1690.53/1691.17 c 1622s | 21 | 1639177 | 1411645 | 14055 252 | 40 | 73 1692.54/1693.17 c 1624s | 21 | 1640919 | 1413245 | 14055 252 | 40 | 73 1694.65/1695.23 c 1626s | 21 | 1642744 | 1414845 | 14055 252 | 40 | 73 1696.64/1697.30 c 1628s | 21 | 1644474 | 1416345 | 14055 252 | 40 | 73 1698.74/1699.35 c 1630s | 21 | 1645989 | 1417645 | 14055 253 | 40 | 73 1700.84/1701.43 c 1632s | 21 | 1647846 | 1419245 | 14055 253 | 40 | 73 1702.84/1703.45 c 1634s | 21 | 1649600 | 1420745 | 14055 253 | 40 | 73 1704.84/1705.47 c 1636s | 21 | 1651257 | 1422145 | 14055 253 | 40 | 73 1706.84/1707.49 c 1638s | 21 | 1652632 | 1423345 | 14055 253 | 40 | 73 1709.04/1709.66 c 1640s | 21 | 1653952 | 1424545 | 14055 253 | 40 | 73 1711.14/1711.79 c 1642s | 21 | 1655812 | 1426145 | 14055 254 | 40 | 73 1713.34/1713.95 c 1644s | 21 | 1657808 | 1427845 | 14055 254 | 40 | 73 1715.44/1716.04 c 1646s | 21 | 1659762 | 1429545 | 14055 254 | 40 | 73 1717.53/1718.18 c 1649s | 21 | 1661462 | 1431045 | 14055 254 | 40 | 73 1719.63/1720.28 c 1651s | 21 | 1663183 | 1432545 | 14055 255 | 40 | 73 1721.84/1722.40 c 1653s | 21 | 1665100 | 1434245 | 14055 255 | 40 | 73 1723.84/1724.48 c 1655s | 21 | 1666879 | 1435845 | 14055 255 | 40 | 73 1726.04/1726.60 c 1657s | 21 | 1668631 | 1437345 | 14055 255 | 40 | 73 1728.03/1728.66 c 1659s | 21 | 1670271 | 1438745 | 14055 255 | 40 | 73 1730.13/1730.70 c 1661s | 21 | 1672359 | 1440445 | 14055 256 | 40 | 73 1732.13/1732.77 c 1663s | 21 | 1674308 | 1442145 | 14055 256 | 40 | 73 1734.24/1734.86 c 1665s | 21 | 1676103 | 1443745 | 14055 256 | 40 | 73 1736.23/1736.89 c 1667s | 21 | 1677660 | 1445145 | 14055 256 | 40 | 73 1738.33/1738.97 c 1669s | 21 | 1679039 | 1446445 | 14055 257 | 40 | 73 1740.43/1741.01 c 1671s | 21 | 1680768 | 1448045 | 14055 257 | 40 | 73 1742.43/1743.01 c 1673s | 21 | 1682671 | 1449645 | 14055 257 | 40 | 73 1744.43/1745.02 c 1675s | 21 | 1684408 | 1451145 | 14055 257 | 40 | 73 1746.54/1747.10 c 1677s | 21 | 1686112 | 1452645 | 14055 257 | 40 | 73 1748.54/1749.15 c 1680s | 21 | 1687753 | 1454045 | 14055 258 | 40 | 73 1750.64/1751.21 c 1682s | 21 | 1689845 | 1455745 | 14055 258 | 40 | 73 1752.63/1753.27 c 1684s | 21 | 1691414 | 1457145 | 14055 258 | 40 | 73 1754.63/1755.27 c 1686s | 21 | 1692884 | 1458445 | 14055 258 | 40 | 73 1756.83/1757.45 c 1688s | 21 | 1694364 | 1459745 | 14055 258 | 40 | 73 1758.83/1759.48 c 1690s | 21 | 1695551 | 1460845 | 14055 259 | 40 | 73 1760.93/1761.52 c 1692s | 21 | 1697144 | 1462245 | 14055 259 | 40 | 73 1763.03/1763.66 c 1694s | 21 | 1698659 | 1463645 | 14055 259 | 40 | 73 1765.12/1765.75 c 1696s | 21 | 1700397 | 1465145 | 14055 259 | 40 | 73 1767.23/1767.86 c 1698s | 21 | 1702102 | 1466645 | 14055 259 | 40 | 73 1769.33/1769.94 c 1700s | 21 | 1703642 | 1468045 | 14055 260 | 40 | 73 1771.42/1772.00 c 1702s | 21 | 1705519 | 1469645 | 14055 260 | 40 | 73 1773.53/1774.10 c 1704s | 21 | 1707447 | 1471345 | 14055 260 | 40 | 73 1775.63/1776.24 c 1707s | 21 | 1709102 | 1472845 | 14055 260 | 40 | 73 1777.63/1778.27 c 1709s | 21 | 1710861 | 1474345 | 14055 260 | 40 | 73 1779.73/1780.30 c 1711s | 21 | 1712531 | 1475845 | 14055 261 | 40 | 73 1781.83/1782.41 c 1713s | 21 | 1714492 | 1477545 | 14055 261 | 40 | 73 1783.93/1784.52 c 1715s | 21 | 1716271 | 1479145 | 14055 261 | 40 | 73 1786.03/1786.67 c 1717s | 21 | 1717985 | 1480645 | 14055 261 | 40 | 73 1788.14/1788.77 c 1719s | 21 | 1719524 | 1482045 | 14055 262 | 40 | 73 1790.23/1790.85 c 1721s | 21 | 1721537 | 1483845 | 14055 262 | 40 | 73 1792.22/1792.88 c 1723s | 21 | 1723521 | 1485545 | 14055 262 | 40 | 73 1794.32/1794.93 c 1725s | 21 | 1725188 | 1487045 | 14055 262 | 40 | 73 1796.32/1796.98 c 1727s | 21 | 1726703 | 1488345 | 14055 262 | 40 | 73 1798.42/1799.09 c 1729s | 21 | 1728301 | 1489745 | 14055 263 | 40 | 73
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-4079551-1465229668/watcher-4079551-1465229668 -o /tmp/evaluation-result-4079551-1465229668/solver-4079551-1465229668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079551-1465229668.opb pid=5562 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.03 2.06 2.01 3/179 5565 /proc/meminfo: memFree=31191076/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=680380 CPUtime=0 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 2528 0 0 0 0 0 0 0 20 0 4 0 104901466 696709120 3400 33554432000 4194304 16246674 140733743337712 140733743337136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 170863 3410 441 2943 0 167757 0 [pid=5565/tid=5566] ppid=5562 vsize=697788 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 714534912 3469 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 718729216 3485 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=705980 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 722923520 3501 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.03 2.06 2.01 3/179 5565 /proc/meminfo: memFree=31191076/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 22913 0 0 0 6 3 0 0 20 0 4 0 104901466 1250496512 23723 33554432000 4194304 16246674 140733743337712 140733743337024 5828560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 305297 23723 836 2943 0 302191 0 [pid=5565/tid=5566] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 23723 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 23723 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 23723 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.20054 s] /proc/loadavg: 2.03 2.06 2.01 3/179 5565 /proc/meminfo: memFree=31191076/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1221188 CPUtime=0.19 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 36831 0 0 0 15 4 0 0 20 0 4 0 104901466 1250496512 37641 33554432000 4194304 16246674 140733743337712 140733743337024 5582293 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 305297 37651 909 2943 0 302191 0 [pid=5565/tid=5566] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 37658 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 37665 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 37670 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300479 s] /proc/loadavg: 2.03 2.06 2.01 3/179 5565 /proc/meminfo: memFree=31191076/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1221188 CPUtime=0.28 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 48824 0 0 0 23 5 0 0 20 0 4 0 104901466 1250496512 49634 33554432000 4194304 16246674 140733743337712 140733743337024 5582293 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 305297 49637 909 2943 0 302191 0 [pid=5565/tid=5566] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 49638 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 49639 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 49641 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1221188 [startup+0.700316 s] /proc/loadavg: 2.03 2.06 2.01 3/179 5565 /proc/meminfo: memFree=31191076/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1221188 CPUtime=0.69 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 109983 0 0 0 54 15 0 0 20 0 4 0 104901466 1250496512 110793 33554432000 4194304 16246674 140733743337712 140733743337024 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 305297 110807 909 2943 0 302191 0 [pid=5565/tid=5566] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 110813 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 110820 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 110826 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1221188 [startup+1.5004 s] /proc/loadavg: 2.03 2.06 2.01 3/183 5569 /proc/meminfo: memFree=30483744/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1221188 CPUtime=1.48 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 244401 0 0 0 116 32 0 0 20 0 4 0 104901466 1250496512 245211 33554432000 4194304 16246674 140733743337712 140733743319616 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 305297 245215 909 2943 0 302191 0 [pid=5565/tid=5566] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 245218 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 245222 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104901466 1250496512 245225 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10044 s] /proc/loadavg: 2.03 2.06 2.01 3/183 5569 /proc/meminfo: memFree=29709488/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 267663 0 0 0 273 36 0 0 20 0 4 0 104901466 1337528320 268473 33554432000 4194304 16246674 140733743337712 140733743319616 5601488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 326545 268473 914 2943 0 323439 0 [pid=5565/tid=5566] ppid=5562 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1337528320 268473 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1337528320 268473 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1337528320 268473 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30045 s] /proc/loadavg: 2.19 2.09 2.02 3/183 5569 /proc/meminfo: memFree=29676752/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 268014 0 0 0 592 36 0 0 20 0 4 0 104901466 1338576896 268824 33554432000 4194304 16246674 140733743337712 140733743319616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 326801 268824 917 2943 0 323695 0 [pid=5565/tid=5566] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268824 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268824 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268824 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.17 2.09 2.02 3/183 5569 /proc/meminfo: memFree=29676888/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 268015 0 0 0 1232 36 0 0 20 0 4 0 104901466 1338576896 268825 33554432000 4194304 16246674 140733743337712 140733743319616 12415720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 326801 268825 918 2943 0 323695 0 [pid=5565/tid=5566] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268825 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268825 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1338576896 268825 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.13 2.09 2.02 3/183 5569 /proc/meminfo: memFree=29675684/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1309252 CPUtime=25.48 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 268473 0 0 0 2512 36 0 0 20 0 4 0 104901466 1340674048 269283 33554432000 4194304 16246674 140733743337712 140733743319616 5721633 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 327313 269283 919 2943 0 324207 0 [pid=5565/tid=5566] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269283 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269283 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269283 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.09 2.08 2.02 3/183 5569 /proc/meminfo: memFree=29674784/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1309252 CPUtime=51.08 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 268528 0 0 0 5072 36 0 0 20 0 4 0 104901466 1340674048 269338 33554432000 4194304 16246674 140733743337712 140733743319616 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 327313 269338 919 2943 0 324207 0 [pid=5565/tid=5566] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269338 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269338 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1340674048 269338 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.301 s] /proc/loadavg: 2.04 2.06 2.01 3/183 5570 /proc/meminfo: memFree=29669476/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1311300 CPUtime=102.27 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 268896 0 0 0 10190 37 0 0 20 0 4 0 104901466 1342771200 269706 33554432000 4194304 16246674 140733743337712 140733743319616 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 327825 269706 919 2943 0 324719 0 [pid=5565/tid=5566] ppid=5562 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1342771200 269706 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1342771200 269706 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1342771200 269706 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1311300 ################ # More data... # ################ /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1328708 [startup+1302.3 s] /proc/loadavg: 2.09 2.08 2.02 3/183 5600 /proc/meminfo: memFree=29605244/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1301.84 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273817 0 0 0 130098 86 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5673558 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.18 2.11 2.03 3/183 5602 /proc/meminfo: memFree=29604720/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1361.8 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273859 0 0 0 136092 88 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.12 2.10 2.03 3/183 5603 /proc/meminfo: memFree=29605692/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1421.78 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 142088 90 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.04 2.08 2.02 3/183 5604 /proc/meminfo: memFree=29605540/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1481.77 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 148085 92 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5708466 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.11 2.09 2.03 3/184 5608 /proc/meminfo: memFree=29604684/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1541.77 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 154084 93 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 8224713 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.16 2.10 2.03 3/183 5609 /proc/meminfo: memFree=29605052/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1601.75 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 160080 95 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.16 2.11 2.04 3/182 5610 /proc/meminfo: memFree=29604792/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1661.74 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 166076 98 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.09 2.11 2.04 3/183 5612 /proc/meminfo: memFree=29604888/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1721.74 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 172073 101 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743320712 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.03 2.08 2.03 3/183 5613 /proc/meminfo: memFree=29604852/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1781.73 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 178070 103 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 6020448 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.09 2.09 2.03 3/175 5640 /proc/meminfo: memFree=30747944/32872528 swapFree=11372/178980 [pid=5565] ppid=5562 vsize=1328708 CPUtime=1800.02 cores=1,3,5,7 /proc/5565/stat : 5565 (toysat) R 5562 5565 4590 0 -1 4202496 273877 0 0 0 179899 103 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 140733743319616 5523722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5565/statm: 332177 274206 920 2943 0 329071 0 [pid=5565/tid=5566] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5566/stat : 5566 (toysat) S 5562 5565 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751791242480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5565/tid=5567] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5567/stat : 5567 (toysat) S 5562 5565 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751780752624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5565/tid=5568] ppid=5562 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/5565/task/5568/stat : 5568 (toysat) S 5562 5565 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104901466 1360596992 274206 33554432000 4194304 16246674 140733743337712 139751659138224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1328708 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5565 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.04 CPU user time (s): 1799 CPU system time (s): 1.03884 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.03884 maximum resident set size= 1096824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273877 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= 499 involuntary context switches= 1848 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.2601 second user time and 16.4215 second system time The end
Begin job on node105 at 2016-06-06 18:14:28 IDJOB=4079551 IDBENCH=2007 IDSOLVER=2542 FILE ID=node105/4079551-1465229668 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079551-1465229668/watcher-4079551-1465229668 -o /tmp/evaluation-result-4079551-1465229668/solver-4079551-1465229668 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079551-1465229668.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6 RANDOM SEED=1911360416 node105.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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31192248 kB Buffers: 23860 kB Cached: 118560 kB SwapCached: 1756 kB Active: 753708 kB Inactive: 46796 kB Active(anon): 658560 kB Inactive(anon): 1504 kB Active(file): 95148 kB Inactive(file): 45292 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 33692 kB Writeback: 0 kB AnonPages: 871352 kB Mapped: 11012 kB Shmem: 0 kB Slab: 568996 kB SReclaimable: 12116 kB SUnreclaim: 556880 kB KernelStack: 1520 kB PageTables: 6460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1421324 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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= 71716 MiB End job on node105 at 2016-06-06 18:44:29