Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
| MD5SUM | f97e3571862917880e13c63c8ac169f9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 69 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 65 |
| Optimality of the best value was proved | YES |
| Number of variables | 2459 |
| Total number of constraints | 873 |
| Number of constraints which are clauses | 873 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2459 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2459 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2459 |
| Number of bits of the biggest sum of numbers | 12 |
| 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:38:22+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-4079485-1465231102.opb"] 0.00/0.01 c use --random-gen="3779564690 3727215994 3432813753 88503496 2260006134 3902337859 459324665 3291124512 3779187512 2673539872 3155781917 715204350 2697730990 3231494489 1904293663 1864961433 2451738840 3497831996 794417584 3357934801 153300419 2191121211 4075323221 620026362 1647928008 2940604366 4144816805 3289710804 2096978073 145320501 97002567 2344112331 556129222 1339204563 245605936 1426795296 4095133312 3450305459 317981085 975233131 3706209106 897868648 1229452979 2318639714 2285087126 2252080039 1464923617 81611829 2563033494 512475715 246144774 2326701116 4193045745 2454803977 145158531 3209372949 2271320511 3800233867 489737980 3413436877 1157152571 746045214 76078324 2821048793 2323588719 1850777474 1963177563 257758658 1993816841 1690497535 1068385199 4085394619 1208637072 1200762083 3633122327 2661434462 3331716209 3810649935 1688424039 1608455143 831656893 2026807100 2545038874 1380989245 4021483725 1646769378 157339394 177704217 3155792947 1445457968 4268484127 1287711250 4293048334 3774613651 4174846187 4003521398 1110888202 1851297072 325701779 1382907156 1428009704 2338568561 1988148673 1597954663 1459853920 3558702213 3463693838 280960226 2039554774 2624836876 572275960 2387763481 1764558875 2589339364 4063921131 3695760519 2357274094 2099784379 2702937128 2940329764 2084326434 3441453756 2812940750 214538446 28872022 3982152523 1041184286 2108788599 3274029943 2220194402 3041604029 1587330136 3367812522 3405302747 2346927638 1538706270 1381223422 2492484099 1230890260 2771299660 854516140 3861860592 3153509836 390002487 809620310 2528017888 2392436594 2346601025 4177014793 396380839 1500657251 876279086 1138327087 4089708999 3155632651 1569737176 1890468170 3555620054 2894245966 2469214424 2945177377 1458514551 3005012435 1492014264 1637729086 3122784392 1050810643 1619779651 3297047415 3552814102 2933029862 3900492658 3608360297 3509218701 2549117814 679451927 3771550023 956654797 2468553069 258571888 81797888 1992008234 3859435295 2057262917 1009934268 3801342408 856597510 202358221 1324843245 843995639 3127999758 3323545603 3500465790 2712759629 2986358717 446940851 2067387069 3345464022 2085045895 102056249 1933758500 2982798976 1693770406 137496139 1319724045 735585771 2831578350 944079753 1683274682 3204381869 2025970905 1385911834 2453650301 2387395031 1230369563 3198406388 598528886 3104616244 2389365579 2482636341 2328143797 3978394913 1707717442 1705438384 1395127537 2558300324 746847875 3734646473 437124964 2684104142 2089377199 2858223830 3356155639 2610122271 1749050880 2668617250 1556515047 460683397 2723730981 2997187582 1657260064 2304370235 1056182801 3594354624 3957672342 384234578 4199103221 646838599 4276999765 493444238 2915976273 2617711167 3049933401 2365547047 3220520727 193988501 255 362436" option to reproduce the execution 0.09/0.10 c #vars 2459 0.09/0.10 c #constraints 873 0.09/0.19 c BCD2: Hardening is enabled. 0.09/0.19 c BCD2: BiasedSearch is enabled. 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 | 1101 0 | 28 | 0 0.09/0.19 c 0.0s | 0 | 2431 | 0 | 1101 0 | 28 | 0 0.09/0.19 c #cpu_time = 0.005s 0.09/0.19 c #wall_clock_time = 0.005s 0.09/0.19 c #decision = 2431 0.09/0.19 c #random_decision = 10 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 o 2459 0.09/0.19 c BCD2: updating upper bound: 2459 -> 2458 0.18/0.21 c BCD2: 0 <= obj <= 2458 0.18/0.21 c BCD2: #cores=0, #unrelaxed=2459, #relaxed=0, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=1 bias=1/2 0.18/0.21 c Solving starts ... 0.18/0.21 c ============================[ Search Statistics ]============================ 0.18/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.21 c | | | | Limit GC | Var | Constra 0.18/0.21 c ============================================================================= 0.18/0.21 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.21 c 0.0s | 0 | 34 | 0 | 1101 0 | 28 | 0 0.18/0.21 c #cpu_time = 0.003s 0.18/0.21 c #wall_clock_time = 0.003s 0.18/0.21 c #decision = 34 0.18/0.21 c #random_decision = 0 0.18/0.21 c #conflict = 0 0.18/0.21 c #restart = 0 0.18/0.21 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.21 c lower bound updated to 1 0.18/0.21 c BCD2: 1 <= obj <= 2458 0.18/0.21 c BCD2: #cores=1, #unrelaxed=2458, #relaxed=1, #hardened=0 0.18/0.21 c BCD2: #sat=1 #unsat=2 bias=2/3 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.22 c 0.0s | 0 | 40 | 0 | 1101 0 | 28 | 0 0.18/0.22 c #cpu_time = 0.003s 0.18/0.22 c #wall_clock_time = 0.003s 0.18/0.22 c #decision = 40 0.18/0.22 c #random_decision = 0 0.18/0.22 c #conflict = 0 0.18/0.22 c #restart = 0 0.18/0.22 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.22 c lower bound updated to 2 0.18/0.23 c BCD2: 2 <= obj <= 2458 0.18/0.23 c BCD2: #cores=2, #unrelaxed=2457, #relaxed=2, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.23 c 0.0s | 0 | 78 | 0 | 1101 0 | 28 | 0 0.18/0.23 c #cpu_time = 0.003s 0.18/0.23 c #wall_clock_time = 0.003s 0.18/0.23 c #decision = 78 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.23 c lower bound updated to 3 0.18/0.23 c BCD2: 3 <= obj <= 2458 0.18/0.23 c BCD2: #cores=3, #unrelaxed=2456, #relaxed=3, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=4 bias=4/5 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.23 c 0.0s | 0 | 164 | 0 | 1101 0 | 28 | 0 0.18/0.23 c #cpu_time = 0.003s 0.18/0.23 c #wall_clock_time = 0.003s 0.18/0.23 c #decision = 164 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.23 c lower bound updated to 4 0.18/0.23 c BCD2: 4 <= obj <= 2458 0.18/0.23 c BCD2: #cores=4, #unrelaxed=2455, #relaxed=4, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=5 bias=5/6 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.24 c 0.0s | 0 | 171 | 0 | 1101 0 | 28 | 0 0.18/0.24 c #cpu_time = 0.010s 0.18/0.24 c #wall_clock_time = 0.010s 0.18/0.24 c #decision = 171 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.24 c lower bound updated to 5 0.18/0.24 c BCD2: 5 <= obj <= 2458 0.18/0.24 c BCD2: #cores=5, #unrelaxed=2454, #relaxed=5, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=6 bias=6/7 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.25 c 0.0s | 0 | 314 | 0 | 1101 0 | 28 | 0 0.18/0.25 c #cpu_time = 0.003s 0.18/0.25 c #wall_clock_time = 0.003s 0.18/0.25 c #decision = 314 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.25 c lower bound updated to 6 0.18/0.25 c BCD2: 6 <= obj <= 2458 0.18/0.25 c BCD2: #cores=6, #unrelaxed=2453, #relaxed=6, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=7 bias=7/8 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 0 0.18/0.25 c 0.0s | 0 | 373 | 0 | 1101 0 | 28 | 0 0.18/0.25 c #cpu_time = 0.003s 0.18/0.25 c #wall_clock_time = 0.003s 0.18/0.25 c #decision = 373 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 4: cost of the new core is >=1 0.18/0.25 c lower bound updated to 7 0.18/0.26 c BCD2: 7 <= obj <= 2458 0.18/0.26 c BCD2: #cores=7, #unrelaxed=2449, #relaxed=10, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=8 bias=8/9 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 70 0.18/0.26 c 0.0s | 0 | 375 | 0 | 1101 0 | 28 | 70 0.18/0.26 c #cpu_time = 0.003s 0.18/0.26 c #wall_clock_time = 0.003s 0.18/0.26 c #decision = 375 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.26 c lower bound updated to 8 0.18/0.26 c BCD2: 8 <= obj <= 2458 0.18/0.26 c BCD2: #cores=8, #unrelaxed=2448, #relaxed=11, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=9 bias=9/10 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 70 0.18/0.26 c 0.0s | 0 | 400 | 0 | 1101 0 | 28 | 70 0.18/0.26 c #cpu_time = 0.003s 0.18/0.26 c #wall_clock_time = 0.003s 0.18/0.26 c #decision = 400 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.26 c lower bound updated to 9 0.18/0.26 c BCD2: 9 <= obj <= 2458 0.18/0.26 c BCD2: #cores=9, #unrelaxed=2447, #relaxed=12, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=10 bias=10/11 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.26 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 70 0.18/0.27 c 0.0s | 0 | 481 | 0 | 1101 0 | 28 | 70 0.18/0.27 c #cpu_time = 0.003s 0.18/0.27 c #wall_clock_time = 0.003s 0.18/0.27 c #decision = 481 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 32: cost of the new core is >=1 0.18/0.27 c lower bound updated to 10 0.18/0.27 c BCD2: 10 <= obj <= 2458 0.18/0.27 c BCD2: #cores=10, #unrelaxed=2415, #relaxed=44, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=11 bias=11/12 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 71 0.18/0.27 c 0.0s | 0 | 454 | 0 | 1101 0 | 28 | 71 0.18/0.27 c #cpu_time = 0.003s 0.18/0.27 c #wall_clock_time = 0.003s 0.18/0.27 c #decision = 454 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.18/0.27 c #restart = 0 0.18/0.27 c BCD2: found a new core of size 32: cost of the new core is >=1 0.18/0.27 c lower bound updated to 11 0.18/0.27 c BCD2: 11 <= obj <= 2458 0.18/0.27 c BCD2: #cores=11, #unrelaxed=2383, #relaxed=76, #hardened=0 0.18/0.27 c BCD2: #sat=1 #unsat=12 bias=12/13 0.18/0.27 c Solving starts ... 0.18/0.27 c ============================[ Search Statistics ]============================ 0.18/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.27 c | | | | Limit GC | Var | Constra 0.18/0.27 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 72 0.18/0.28 c 0.0s | 0 | 474 | 0 | 1101 0 | 28 | 72 0.18/0.28 c #cpu_time = 0.003s 0.18/0.28 c #wall_clock_time = 0.003s 0.18/0.28 c #decision = 474 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.28 c lower bound updated to 12 0.18/0.28 c BCD2: 12 <= obj <= 2458 0.18/0.28 c BCD2: #cores=12, #unrelaxed=2382, #relaxed=77, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=13 bias=13/14 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 72 0.18/0.28 c 0.0s | 0 | 475 | 0 | 1101 0 | 28 | 72 0.18/0.28 c #cpu_time = 0.003s 0.18/0.28 c #wall_clock_time = 0.003s 0.18/0.28 c #decision = 475 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.28 c lower bound updated to 13 0.18/0.28 c BCD2: 13 <= obj <= 2458 0.18/0.28 c BCD2: #cores=13, #unrelaxed=2381, #relaxed=78, #hardened=0 0.18/0.28 c BCD2: #sat=1 #unsat=14 bias=14/15 0.18/0.28 c Solving starts ... 0.18/0.28 c ============================[ Search Statistics ]============================ 0.18/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.28 c | | | | Limit GC | Var | Constra 0.18/0.28 c ============================================================================= 0.18/0.28 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 72 0.18/0.28 c 0.0s | 0 | 484 | 0 | 1101 0 | 28 | 72 0.18/0.28 c #cpu_time = 0.003s 0.18/0.28 c #wall_clock_time = 0.003s 0.18/0.28 c #decision = 484 0.18/0.28 c #random_decision = 0 0.18/0.28 c #conflict = 0 0.18/0.28 c #restart = 0 0.18/0.28 c BCD2: found a new core of size 38: cost of the new core is >=1 0.18/0.28 c lower bound updated to 14 0.18/0.29 c BCD2: 14 <= obj <= 2458 0.18/0.29 c BCD2: #cores=14, #unrelaxed=2343, #relaxed=116, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=15 bias=15/16 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 73 0.18/0.29 c 0.0s | 0 | 504 | 0 | 1101 0 | 28 | 73 0.18/0.29 c #cpu_time = 0.003s 0.18/0.29 c #wall_clock_time = 0.003s 0.18/0.29 c #decision = 504 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 28: cost of the new core is >=1 0.18/0.29 c lower bound updated to 15 0.18/0.29 c BCD2: 15 <= obj <= 2458 0.18/0.29 c BCD2: #cores=15, #unrelaxed=2315, #relaxed=144, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=16 bias=16/17 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 74 0.18/0.29 c 0.0s | 0 | 478 | 0 | 1101 0 | 28 | 74 0.18/0.29 c #cpu_time = 0.003s 0.18/0.29 c #wall_clock_time = 0.003s 0.18/0.29 c #decision = 478 0.18/0.29 c #random_decision = 0 0.18/0.29 c #conflict = 0 0.18/0.29 c #restart = 0 0.18/0.29 c BCD2: found a new core of size 1: cost of the new core is >=1 0.18/0.29 c lower bound updated to 16 0.18/0.29 c BCD2: 16 <= obj <= 2458 0.18/0.29 c BCD2: #cores=16, #unrelaxed=2314, #relaxed=145, #hardened=0 0.18/0.29 c BCD2: #sat=1 #unsat=17 bias=17/18 0.18/0.29 c Solving starts ... 0.18/0.29 c ============================[ Search Statistics ]============================ 0.18/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.29 c | | | | Limit GC | Var | Constra 0.18/0.29 c ============================================================================= 0.18/0.29 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 74 0.29/0.30 c 0.0s | 0 | 479 | 0 | 1101 0 | 28 | 74 0.29/0.30 c #cpu_time = 0.003s 0.29/0.30 c #wall_clock_time = 0.003s 0.29/0.30 c #decision = 479 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.30 c lower bound updated to 17 0.29/0.30 c BCD2: 17 <= obj <= 2458 0.29/0.30 c BCD2: #cores=17, #unrelaxed=2313, #relaxed=146, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 74 0.29/0.30 c 0.0s | 0 | 562 | 0 | 1101 0 | 28 | 74 0.29/0.30 c #cpu_time = 0.003s 0.29/0.30 c #wall_clock_time = 0.003s 0.29/0.30 c #decision = 562 0.29/0.30 c #random_decision = 0 0.29/0.30 c #conflict = 0 0.29/0.30 c #restart = 0 0.29/0.30 c BCD2: found a new core of size 12: cost of the new core is >=1 0.29/0.30 c lower bound updated to 18 0.29/0.30 c BCD2: 18 <= obj <= 2458 0.29/0.30 c BCD2: #cores=18, #unrelaxed=2301, #relaxed=158, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.30 c Solving starts ... 0.29/0.30 c ============================[ Search Statistics ]============================ 0.29/0.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.30 c | | | | Limit GC | Var | Constra 0.29/0.30 c ============================================================================= 0.29/0.30 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 75 0.29/0.31 c 0.0s | 0 | 558 | 0 | 1101 0 | 28 | 75 0.29/0.31 c #cpu_time = 0.003s 0.29/0.31 c #wall_clock_time = 0.003s 0.29/0.31 c #decision = 558 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.31 c lower bound updated to 19 0.29/0.31 c BCD2: 19 <= obj <= 2458 0.29/0.31 c BCD2: #cores=19, #unrelaxed=2300, #relaxed=159, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 75 0.29/0.31 c 0.0s | 0 | 603 | 0 | 1101 0 | 28 | 75 0.29/0.31 c #cpu_time = 0.003s 0.29/0.31 c #wall_clock_time = 0.003s 0.29/0.31 c #decision = 603 0.29/0.31 c #random_decision = 0 0.29/0.31 c #conflict = 0 0.29/0.31 c #restart = 0 0.29/0.31 c BCD2: found a new core of size 21: cost of the new core is >=1 0.29/0.31 c lower bound updated to 20 0.29/0.31 c BCD2: 20 <= obj <= 2458 0.29/0.31 c BCD2: #cores=20, #unrelaxed=2279, #relaxed=180, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.31 c Solving starts ... 0.29/0.31 c ============================[ Search Statistics ]============================ 0.29/0.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.31 c | | | | Limit GC | Var | Constra 0.29/0.31 c ============================================================================= 0.29/0.31 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 76 0.29/0.32 c 0.0s | 0 | 617 | 0 | 1101 0 | 28 | 76 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 617 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.32 c lower bound updated to 21 0.29/0.32 c BCD2: 21 <= obj <= 2458 0.29/0.32 c BCD2: #cores=21, #unrelaxed=2278, #relaxed=181, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=22 bias=22/23 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 76 0.29/0.32 c 0.0s | 0 | 647 | 0 | 1101 0 | 28 | 76 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 647 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 3: cost of the new core is >=1 0.29/0.32 c lower bound updated to 22 0.29/0.32 c BCD2: 22 <= obj <= 2458 0.29/0.32 c BCD2: #cores=22, #unrelaxed=2275, #relaxed=184, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=23 bias=23/24 0.29/0.32 c Solving starts ... 0.29/0.32 c ============================[ Search Statistics ]============================ 0.29/0.32 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.32 c | | | | Limit GC | Var | Constra 0.29/0.32 c ============================================================================= 0.29/0.32 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 77 0.29/0.32 c 0.0s | 0 | 646 | 0 | 1101 0 | 28 | 77 0.29/0.32 c #cpu_time = 0.003s 0.29/0.32 c #wall_clock_time = 0.003s 0.29/0.32 c #decision = 646 0.29/0.32 c #random_decision = 0 0.29/0.32 c #conflict = 0 0.29/0.32 c #restart = 0 0.29/0.32 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.32 c lower bound updated to 23 0.29/0.33 c BCD2: 23 <= obj <= 2458 0.29/0.33 c BCD2: #cores=23, #unrelaxed=2274, #relaxed=185, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=24 bias=24/25 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 77 0.29/0.33 c 0.0s | 0 | 672 | 0 | 1101 0 | 28 | 77 0.29/0.33 c #cpu_time = 0.003s 0.29/0.33 c #wall_clock_time = 0.003s 0.29/0.33 c #decision = 672 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.33 c lower bound updated to 24 0.29/0.33 c BCD2: 24 <= obj <= 2458 0.29/0.33 c BCD2: #cores=24, #unrelaxed=2273, #relaxed=186, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=25 bias=25/26 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 77 0.29/0.33 c 0.0s | 0 | 723 | 0 | 1101 0 | 28 | 77 0.29/0.33 c #cpu_time = 0.003s 0.29/0.33 c #wall_clock_time = 0.003s 0.29/0.33 c #decision = 723 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.33 c lower bound updated to 25 0.29/0.33 c BCD2: 25 <= obj <= 2458 0.29/0.33 c BCD2: #cores=25, #unrelaxed=2272, #relaxed=187, #hardened=0 0.29/0.33 c BCD2: #sat=1 #unsat=26 bias=26/27 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 77 0.29/0.34 c 0.0s | 0 | 779 | 0 | 1101 0 | 28 | 77 0.29/0.34 c #cpu_time = 0.003s 0.29/0.34 c #wall_clock_time = 0.003s 0.29/0.34 c #decision = 779 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.34 c lower bound updated to 26 0.29/0.34 c BCD2: 26 <= obj <= 2458 0.29/0.34 c BCD2: #cores=26, #unrelaxed=2271, #relaxed=188, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=27 bias=27/28 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 77 0.29/0.34 c 0.0s | 0 | 813 | 0 | 1101 0 | 28 | 77 0.29/0.34 c #cpu_time = 0.003s 0.29/0.34 c #wall_clock_time = 0.003s 0.29/0.34 c #decision = 813 0.29/0.34 c #random_decision = 0 0.29/0.34 c #conflict = 0 0.29/0.34 c #restart = 0 0.29/0.34 c BCD2: found a new core of size 21: cost of the new core is >=1 0.29/0.34 c lower bound updated to 27 0.29/0.34 c BCD2: 27 <= obj <= 2458 0.29/0.34 c BCD2: #cores=27, #unrelaxed=2250, #relaxed=209, #hardened=0 0.29/0.34 c BCD2: #sat=1 #unsat=28 bias=28/29 0.29/0.34 c Solving starts ... 0.29/0.34 c ============================[ Search Statistics ]============================ 0.29/0.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.34 c | | | | Limit GC | Var | Constra 0.29/0.34 c ============================================================================= 0.29/0.34 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 78 0.29/0.35 c 0.0s | 0 | 811 | 0 | 1101 0 | 28 | 78 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 811 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.35 c lower bound updated to 28 0.29/0.35 c BCD2: 28 <= obj <= 2458 0.29/0.35 c BCD2: #cores=28, #unrelaxed=2249, #relaxed=210, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=29 bias=29/30 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 78 0.29/0.35 c 0.0s | 0 | 891 | 0 | 1101 0 | 28 | 78 0.29/0.35 c #cpu_time = 0.003s 0.29/0.35 c #wall_clock_time = 0.003s 0.29/0.35 c #decision = 891 0.29/0.35 c #random_decision = 0 0.29/0.35 c #conflict = 0 0.29/0.35 c #restart = 0 0.29/0.35 c BCD2: found a new core of size 20: cost of the new core is >=1 0.29/0.35 c lower bound updated to 29 0.29/0.35 c BCD2: 29 <= obj <= 2458 0.29/0.35 c BCD2: #cores=29, #unrelaxed=2229, #relaxed=230, #hardened=0 0.29/0.35 c BCD2: #sat=1 #unsat=30 bias=30/31 0.29/0.35 c Solving starts ... 0.29/0.35 c ============================[ Search Statistics ]============================ 0.29/0.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.35 c | | | | Limit GC | Var | Constra 0.29/0.35 c ============================================================================= 0.29/0.35 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 79 0.29/0.36 c 0.0s | 0 | 918 | 0 | 1101 0 | 28 | 79 0.29/0.36 c #cpu_time = 0.003s 0.29/0.36 c #wall_clock_time = 0.003s 0.29/0.36 c #decision = 918 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 8: cost of the new core is >=1 0.29/0.36 c lower bound updated to 30 0.29/0.36 c BCD2: 30 <= obj <= 2458 0.29/0.36 c BCD2: #cores=30, #unrelaxed=2221, #relaxed=238, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=31 bias=31/32 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 80 0.29/0.36 c 0.0s | 0 | 914 | 0 | 1101 0 | 28 | 80 0.29/0.36 c #cpu_time = 0.003s 0.29/0.36 c #wall_clock_time = 0.003s 0.29/0.36 c #decision = 914 0.29/0.36 c #random_decision = 0 0.29/0.36 c #conflict = 0 0.29/0.36 c #restart = 0 0.29/0.36 c BCD2: found a new core of size 5: cost of the new core is >=1 0.29/0.36 c lower bound updated to 31 0.29/0.36 c BCD2: 31 <= obj <= 2458 0.29/0.36 c BCD2: #cores=31, #unrelaxed=2216, #relaxed=243, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=32 bias=32/33 0.29/0.36 c Solving starts ... 0.29/0.36 c ============================[ Search Statistics ]============================ 0.29/0.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.36 c | | | | Limit GC | Var | Constra 0.29/0.36 c ============================================================================= 0.29/0.36 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 81 0.29/0.37 c 0.0s | 0 | 911 | 0 | 1101 0 | 28 | 81 0.29/0.37 c #cpu_time = 0.003s 0.29/0.37 c #wall_clock_time = 0.003s 0.29/0.37 c #decision = 911 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.37 c lower bound updated to 32 0.29/0.37 c BCD2: 32 <= obj <= 2458 0.29/0.37 c BCD2: #cores=32, #unrelaxed=2215, #relaxed=244, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=33 bias=33/34 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 81 0.29/0.37 c 0.0s | 0 | 972 | 0 | 1101 0 | 28 | 81 0.29/0.37 c #cpu_time = 0.003s 0.29/0.37 c #wall_clock_time = 0.003s 0.29/0.37 c #decision = 972 0.29/0.37 c #random_decision = 0 0.29/0.37 c #conflict = 0 0.29/0.37 c #restart = 0 0.29/0.37 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.37 c lower bound updated to 33 0.29/0.37 c BCD2: 33 <= obj <= 2458 0.29/0.37 c BCD2: #cores=33, #unrelaxed=2214, #relaxed=245, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=34 bias=34/35 0.29/0.37 c Solving starts ... 0.29/0.37 c ============================[ Search Statistics ]============================ 0.29/0.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.37 c | | | | Limit GC | Var | Constra 0.29/0.37 c ============================================================================= 0.29/0.37 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 81 0.29/0.38 c 0.0s | 0 | 1047 | 0 | 1101 0 | 28 | 81 0.29/0.38 c #cpu_time = 0.003s 0.29/0.38 c #wall_clock_time = 0.003s 0.29/0.38 c #decision = 1047 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 36: cost of the new core is >=1 0.29/0.38 c lower bound updated to 34 0.29/0.38 c BCD2: 34 <= obj <= 2458 0.29/0.38 c BCD2: #cores=34, #unrelaxed=2178, #relaxed=281, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=35 bias=35/36 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 82 0.29/0.38 c 0.0s | 0 | 1052 | 0 | 1101 0 | 28 | 82 0.29/0.38 c #cpu_time = 0.003s 0.29/0.38 c #wall_clock_time = 0.003s 0.29/0.38 c #decision = 1052 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.38 c lower bound updated to 35 0.29/0.38 c BCD2: 35 <= obj <= 2458 0.29/0.38 c BCD2: #cores=35, #unrelaxed=2177, #relaxed=282, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=36 bias=36/37 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 82 0.29/0.39 c 0.0s | 0 | 1121 | 0 | 1101 0 | 28 | 82 0.29/0.39 c #cpu_time = 0.003s 0.29/0.39 c #wall_clock_time = 0.003s 0.29/0.39 c #decision = 1121 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 20: cost of the new core is >=1 0.29/0.39 c lower bound updated to 36 0.29/0.39 c BCD2: 36 <= obj <= 2458 0.29/0.39 c BCD2: #cores=36, #unrelaxed=2157, #relaxed=302, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=37 bias=37/38 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 83 0.29/0.39 c 0.0s | 0 | 1149 | 0 | 1101 0 | 28 | 83 0.29/0.39 c #cpu_time = 0.003s 0.29/0.39 c #wall_clock_time = 0.003s 0.29/0.39 c #decision = 1149 0.29/0.39 c #random_decision = 0 0.29/0.39 c #conflict = 0 0.29/0.39 c #restart = 0 0.29/0.39 c BCD2: found a new core of size 18: cost of the new core is >=1 0.29/0.39 c lower bound updated to 37 0.29/0.39 c BCD2: 37 <= obj <= 2458 0.29/0.39 c BCD2: #cores=37, #unrelaxed=2139, #relaxed=320, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=38 bias=38/39 0.29/0.39 c Solving starts ... 0.29/0.39 c ============================[ Search Statistics ]============================ 0.29/0.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.39 c | | | | Limit GC | Var | Constra 0.29/0.39 c ============================================================================= 0.29/0.39 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 84 0.29/0.40 c 0.0s | 0 | 1152 | 0 | 1101 0 | 28 | 84 0.29/0.40 c #cpu_time = 0.003s 0.29/0.40 c #wall_clock_time = 0.003s 0.29/0.40 c #decision = 1152 0.29/0.40 c #random_decision = 0 0.29/0.40 c #conflict = 0 0.29/0.40 c #restart = 0 0.29/0.40 c BCD2: found a new core of size 1: cost of the new core is >=1 0.29/0.40 c lower bound updated to 38 0.39/0.40 c BCD2: 38 <= obj <= 2458 0.39/0.40 c BCD2: #cores=38, #unrelaxed=2138, #relaxed=321, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=39 bias=39/40 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 | 1101 0 | 28 | 84 0.39/0.40 c 0.0s | 0 | 1171 | 0 | 1101 0 | 28 | 84 0.39/0.40 c #cpu_time = 0.003s 0.39/0.40 c #wall_clock_time = 0.003s 0.39/0.40 c #decision = 1171 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 39 0.39/0.40 c BCD2: 39 <= obj <= 2458 0.39/0.40 c BCD2: #cores=39, #unrelaxed=2134, #relaxed=325, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=40 bias=40/41 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 | 1101 0 | 28 | 85 0.39/0.41 c 0.0s | 0 | 1273 | 0 | 1101 0 | 28 | 85 0.39/0.41 c #cpu_time = 0.004s 0.39/0.41 c #wall_clock_time = 0.004s 0.39/0.41 c #decision = 1273 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.41 c lower bound updated to 40 0.39/0.41 c BCD2: 40 <= obj <= 2458 0.39/0.41 c BCD2: #cores=40, #unrelaxed=2133, #relaxed=326, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=41 bias=41/42 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 | 1101 0 | 28 | 85 0.39/0.41 c 0.0s | 0 | 1393 | 0 | 1101 0 | 28 | 85 0.39/0.41 c #cpu_time = 0.003s 0.39/0.41 c #wall_clock_time = 0.003s 0.39/0.41 c #decision = 1393 0.39/0.41 c #random_decision = 0 0.39/0.41 c #conflict = 0 0.39/0.41 c #restart = 0 0.39/0.41 c BCD2: found a new core of size 26: cost of the new core is >=1 0.39/0.41 c lower bound updated to 41 0.39/0.41 c BCD2: 41 <= obj <= 2458 0.39/0.41 c BCD2: #cores=41, #unrelaxed=2107, #relaxed=352, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=42 bias=42/43 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 | 1101 0 | 28 | 86 0.39/0.42 c 0.0s | 0 | 1386 | 0 | 1101 0 | 28 | 86 0.39/0.42 c #cpu_time = 0.003s 0.39/0.42 c #wall_clock_time = 0.003s 0.39/0.42 c #decision = 1386 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 65: cost of the new core is >=1 0.39/0.42 c lower bound updated to 42 0.39/0.42 c BCD2: 42 <= obj <= 2458 0.39/0.42 c BCD2: #cores=42, #unrelaxed=2042, #relaxed=417, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=43 bias=43/44 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 87 0.39/0.42 c 0.0s | 0 | 1372 | 0 | 1101 0 | 28 | 87 0.39/0.42 c #cpu_time = 0.003s 0.39/0.42 c #wall_clock_time = 0.003s 0.39/0.42 c #decision = 1372 0.39/0.42 c #random_decision = 0 0.39/0.42 c #conflict = 0 0.39/0.42 c #restart = 0 0.39/0.42 c BCD2: found a new core of size 36: cost of the new core is >=1 0.39/0.42 c lower bound updated to 43 0.39/0.42 c BCD2: 43 <= obj <= 2458 0.39/0.42 c BCD2: #cores=43, #unrelaxed=2006, #relaxed=453, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=44 bias=44/45 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 88 0.39/0.43 c 0.0s | 0 | 1346 | 0 | 1101 0 | 28 | 88 0.39/0.43 c #cpu_time = 0.003s 0.39/0.43 c #wall_clock_time = 0.003s 0.39/0.43 c #decision = 1346 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 3: cost of the new core is >=1 0.39/0.43 c lower bound updated to 44 0.39/0.43 c BCD2: 44 <= obj <= 2458 0.39/0.43 c BCD2: #cores=44, #unrelaxed=2003, #relaxed=456, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=45 bias=45/46 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 89 0.39/0.43 c 0.0s | 0 | 1382 | 0 | 1101 0 | 28 | 89 0.39/0.43 c #cpu_time = 0.003s 0.39/0.43 c #wall_clock_time = 0.003s 0.39/0.43 c #decision = 1382 0.39/0.43 c #random_decision = 0 0.39/0.43 c #conflict = 0 0.39/0.43 c #restart = 0 0.39/0.43 c BCD2: found a new core of size 6: cost of the new core is >=1 0.39/0.43 c lower bound updated to 45 0.39/0.43 c BCD2: 45 <= obj <= 2458 0.39/0.43 c BCD2: #cores=45, #unrelaxed=1997, #relaxed=462, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=46 bias=46/47 0.39/0.43 c Solving starts ... 0.39/0.43 c ============================[ Search Statistics ]============================ 0.39/0.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.43 c | | | | Limit GC | Var | Constra 0.39/0.43 c ============================================================================= 0.39/0.43 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 90 0.39/0.44 c 0.0s | 0 | 1422 | 0 | 1101 0 | 28 | 90 0.39/0.44 c #cpu_time = 0.003s 0.39/0.44 c #wall_clock_time = 0.003s 0.39/0.44 c #decision = 1422 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.44 c lower bound updated to 46 0.39/0.44 c BCD2: 46 <= obj <= 2458 0.39/0.44 c BCD2: #cores=46, #unrelaxed=1996, #relaxed=463, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=47 bias=47/48 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 90 0.39/0.44 c 0.0s | 0 | 1508 | 0 | 1101 0 | 28 | 90 0.39/0.44 c #cpu_time = 0.004s 0.39/0.44 c #wall_clock_time = 0.004s 0.39/0.44 c #decision = 1508 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 26: cost of the new core is >=1 0.39/0.44 c lower bound updated to 47 0.39/0.44 c BCD2: 47 <= obj <= 2458 0.39/0.44 c BCD2: #cores=47, #unrelaxed=1970, #relaxed=489, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=48 bias=48/49 0.39/0.44 c Solving starts ... 0.39/0.44 c ============================[ Search Statistics ]============================ 0.39/0.44 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.44 c | | | | Limit GC | Var | Constra 0.39/0.44 c ============================================================================= 0.39/0.44 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 91 0.39/0.45 c 0.0s | 0 | 1513 | 0 | 1101 0 | 28 | 91 0.39/0.45 c #cpu_time = 0.004s 0.39/0.45 c #wall_clock_time = 0.004s 0.39/0.45 c #decision = 1513 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 36: cost of the new core is >=1 0.39/0.45 c lower bound updated to 48 0.39/0.45 c BCD2: 48 <= obj <= 2458 0.39/0.45 c BCD2: #cores=48, #unrelaxed=1934, #relaxed=525, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=49 bias=49/50 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 92 0.39/0.45 c 0.0s | 0 | 1487 | 0 | 1101 0 | 28 | 92 0.39/0.45 c #cpu_time = 0.003s 0.39/0.45 c #wall_clock_time = 0.003s 0.39/0.45 c #decision = 1487 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 0 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.45 c lower bound updated to 49 0.39/0.45 c BCD2: 49 <= obj <= 2458 0.39/0.45 c BCD2: #cores=49, #unrelaxed=1933, #relaxed=526, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=50 bias=50/51 0.39/0.45 c Solving starts ... 0.39/0.45 c ============================[ Search Statistics ]============================ 0.39/0.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.45 c | | | | Limit GC | Var | Constra 0.39/0.45 c ============================================================================= 0.39/0.45 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 92 0.39/0.46 c 0.0s | 0 | 1595 | 0 | 1101 0 | 28 | 92 0.39/0.46 c #cpu_time = 0.003s 0.39/0.46 c #wall_clock_time = 0.003s 0.39/0.46 c #decision = 1595 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 3: cost of the new core is >=1 0.39/0.46 c lower bound updated to 50 0.39/0.46 c BCD2: 50 <= obj <= 2458 0.39/0.46 c BCD2: #cores=50, #unrelaxed=1930, #relaxed=529, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=51 bias=51/52 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 93 0.39/0.46 c 0.0s | 0 | 1631 | 0 | 1101 0 | 28 | 93 0.39/0.46 c #cpu_time = 0.003s 0.39/0.46 c #wall_clock_time = 0.003s 0.39/0.46 c #decision = 1631 0.39/0.46 c #random_decision = 0 0.39/0.46 c #conflict = 0 0.39/0.46 c #restart = 0 0.39/0.46 c BCD2: found a new core of size 26: cost of the new core is >=1 0.39/0.46 c lower bound updated to 51 0.39/0.46 c BCD2: 51 <= obj <= 2458 0.39/0.46 c BCD2: #cores=51, #unrelaxed=1904, #relaxed=555, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=52 bias=52/53 0.39/0.46 c Solving starts ... 0.39/0.46 c ============================[ Search Statistics ]============================ 0.39/0.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.46 c | | | | Limit GC | Var | Constra 0.39/0.46 c ============================================================================= 0.39/0.46 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 94 0.39/0.47 c 0.0s | 0 | 1797 | 0 | 1101 0 | 28 | 94 0.39/0.47 c #cpu_time = 0.004s 0.39/0.47 c #wall_clock_time = 0.004s 0.39/0.47 c #decision = 1797 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 26: cost of the new core is >=1 0.39/0.47 c lower bound updated to 52 0.39/0.47 c BCD2: 52 <= obj <= 2458 0.39/0.47 c BCD2: #cores=52, #unrelaxed=1878, #relaxed=581, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=53 bias=53/54 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 | 1101 0 | 28 | 95 0.39/0.47 c 0.0s | 0 | 1773 | 0 | 1101 0 | 28 | 95 0.39/0.47 c #cpu_time = 0.003s 0.39/0.47 c #wall_clock_time = 0.003s 0.39/0.47 c #decision = 1773 0.39/0.47 c #random_decision = 0 0.39/0.47 c #conflict = 0 0.39/0.47 c #restart = 0 0.39/0.47 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.47 c lower bound updated to 53 0.39/0.47 c BCD2: 53 <= obj <= 2458 0.39/0.47 c BCD2: #cores=53, #unrelaxed=1877, #relaxed=582, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=54 bias=54/55 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 95 0.39/0.48 c 0.0s | 0 | 1774 | 0 | 1101 0 | 28 | 95 0.39/0.48 c #cpu_time = 0.004s 0.39/0.48 c #wall_clock_time = 0.004s 0.39/0.48 c #decision = 1774 0.39/0.48 c #random_decision = 0 0.39/0.48 c #conflict = 0 0.39/0.48 c #restart = 0 0.39/0.48 c BCD2: found a new core of size 1: cost of the new core is >=1 0.39/0.48 c lower bound updated to 54 0.39/0.48 c BCD2: 54 <= obj <= 2458 0.39/0.48 c BCD2: #cores=54, #unrelaxed=1876, #relaxed=583, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=55 bias=55/56 0.39/0.48 c Solving starts ... 0.39/0.48 c ============================[ Search Statistics ]============================ 0.39/0.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.48 c | | | | Limit GC | Var | Constra 0.39/0.48 c ============================================================================= 0.39/0.48 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 95 0.39/0.49 c 0.0s | 0 | 1799 | 0 | 1101 0 | 28 | 95 0.39/0.49 c #cpu_time = 0.004s 0.39/0.49 c #wall_clock_time = 0.004s 0.39/0.49 c #decision = 1799 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 47: cost of the new core is >=1 0.39/0.49 c lower bound updated to 55 0.39/0.49 c BCD2: 55 <= obj <= 2458 0.39/0.49 c BCD2: #cores=55, #unrelaxed=1829, #relaxed=630, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=56 bias=56/57 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 96 0.39/0.49 c 0.0s | 0 | 1817 | 0 | 1101 0 | 28 | 96 0.39/0.49 c #cpu_time = 0.004s 0.39/0.49 c #wall_clock_time = 0.004s 0.39/0.49 c #decision = 1817 0.39/0.49 c #random_decision = 0 0.39/0.49 c #conflict = 0 0.39/0.49 c #restart = 0 0.39/0.49 c BCD2: found a new core of size 49: cost of the new core is >=1 0.39/0.49 c lower bound updated to 56 0.39/0.49 c BCD2: 56 <= obj <= 2458 0.39/0.49 c BCD2: #cores=56, #unrelaxed=1780, #relaxed=679, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=57 bias=57/58 0.39/0.49 c Solving starts ... 0.39/0.49 c ============================[ Search Statistics ]============================ 0.39/0.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.49 c | | | | Limit GC | Var | Constra 0.39/0.49 c ============================================================================= 0.39/0.49 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 97 0.49/0.50 c 0.0s | 0 | 1798 | 0 | 1101 0 | 28 | 97 0.49/0.50 c #cpu_time = 0.003s 0.49/0.50 c #wall_clock_time = 0.003s 0.49/0.50 c #decision = 1798 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 16: cost of the new core is >=1 0.49/0.50 c lower bound updated to 57 0.49/0.50 c BCD2: 57 <= obj <= 2458 0.49/0.50 c BCD2: #cores=57, #unrelaxed=1764, #relaxed=695, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=58 bias=58/59 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 98 0.49/0.50 c 0.0s | 0 | 1791 | 0 | 1101 0 | 28 | 98 0.49/0.50 c #cpu_time = 0.004s 0.49/0.50 c #wall_clock_time = 0.004s 0.49/0.50 c #decision = 1791 0.49/0.50 c #random_decision = 0 0.49/0.50 c #conflict = 0 0.49/0.50 c #restart = 0 0.49/0.50 c BCD2: found a new core of size 19: cost of the new core is >=1 0.49/0.50 c lower bound updated to 58 0.49/0.50 c BCD2: 58 <= obj <= 2458 0.49/0.50 c BCD2: #cores=58, #unrelaxed=1745, #relaxed=714, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=59 bias=59/60 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 99 0.49/0.51 c 0.0s | 0 | 2451 | 0 | 1101 0 | 28 | 99 0.49/0.51 c #cpu_time = 0.005s 0.49/0.51 c #wall_clock_time = 0.005s 0.49/0.51 c #decision = 2451 0.49/0.51 c #random_decision = 1 0.49/0.51 c #conflict = 0 0.49/0.51 c #restart = 0 0.49/0.51 o 95 0.49/0.51 c BCD2: updating upper bound: 2458 -> 94 0.49/0.52 c BCD2: 58 <= obj <= 94 0.49/0.52 c BCD2: #cores=58, #unrelaxed=1745, #relaxed=714, #hardened=0 0.49/0.52 c BCD2: #sat=2 #unsat=59 bias=59/61 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 1101 0 | 28 | 100 0.49/0.52 c 0.0s | 0 | 2416 | 3 | 1101 0 | 28 | 100 0.49/0.52 c #cpu_time = 0.005s 0.49/0.52 c #wall_clock_time = 0.005s 0.49/0.52 c #decision = 2416 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 3 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: relaxing 30 and merging with 2 cores into a new core of size 78: cost of the new core is >=3 0.49/0.52 c lower bound updated to 59 0.49/0.53 c BCD2: 59 <= obj <= 94 0.49/0.53 c BCD2: #cores=57, #unrelaxed=1715, #relaxed=744, #hardened=0 0.49/0.53 c BCD2: #sat=2 #unsat=60 bias=60/62 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 1101 0 | 34 | 100 0.49/0.55 c 0.0s | 1 | 2887 | 100 | 1212 0 | 34 | 110 0.49/0.58 c 0.1s | 2 | 5693 | 250 | 1334 0 | 34 | 110 0.59/0.64 c 0.1s | 3 | 10436 | 475 | 1468 0 | 34 | 110 0.69/0.75 c 0.2s | 4 | 14321 | 813 | 1615 0 | 34 | 110 0.89/0.92 c 0.4s | 4 | 20165 | 1250 | 1615 0 | 34 | 110 0.89/0.92 c #cpu_time = 0.388s 0.89/0.92 c #wall_clock_time = 0.389s 0.89/0.92 c #decision = 20165 0.89/0.92 c #random_decision = 8 0.89/0.92 c #conflict = 1250 0.89/0.92 c #restart = 4 0.89/0.92 c BCD2: relaxing 789 and merging with 17 cores into a new core of size 1255: cost of the new core is >=20 0.89/0.92 c lower bound updated to 60 0.89/0.92 c BCD2: 60 <= obj <= 94 0.89/0.92 c BCD2: #cores=41, #unrelaxed=926, #relaxed=1533, #hardened=0 0.89/0.92 c BCD2: #sat=2 #unsat=61 bias=61/63 0.89/0.92 c Solving starts ... 0.89/0.92 c ============================[ Search Statistics ]============================ 0.89/0.92 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.92 c | | | | Limit GC | Var | Constra 0.89/0.92 c ============================================================================= 0.89/0.92 c 0.0s | 0 | 0 | 0 | 1615 0 | 71 | 110 0.99/1.02 c 0.1s | 1 | 2571 | 100 | 1777 0 | 71 | 167 1.20/1.29 c 0.4s | 1 | 4969 | 223 | 1777 0 | 71 | 167 1.20/1.29 c #cpu_time = 0.368s 1.20/1.29 c #wall_clock_time = 0.369s 1.20/1.29 c #decision = 4969 1.20/1.29 c #random_decision = 6 1.20/1.29 c #conflict = 223 1.20/1.29 c #restart = 1 1.20/1.29 o 83 1.20/1.30 c BCD2: updating upper bound: 94 -> 82 1.29/1.30 c BCD2: 60 <= obj <= 82 1.29/1.30 c BCD2: #cores=41, #unrelaxed=926, #relaxed=1533, #hardened=0 1.29/1.30 c BCD2: #sat=3 #unsat=61 bias=61/64 1.29/1.31 c Solving starts ... 1.29/1.31 c ============================[ Search Statistics ]============================ 1.29/1.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.31 c | | | | Limit GC | Var | Constra 1.29/1.31 c ============================================================================= 1.29/1.31 c 0.0s | 0 | 0 | 0 | 1777 0 | 71 | 168 1.49/1.57 c 0.3s | 1 | 3298 | 100 | 1777 0 | 71 | 168 1.79/1.88 c 0.6s | 2 | 6198 | 250 | 1777 0 | 71 | 168 2.39/2.41 c 1.1s | 3 | 10001 | 475 | 1777 0 | 71 | 168 3.49/3.53 c 2.2s | 4 | 17376 | 813 | 1955 0 | 71 | 168 4.49/4.57 c 3.3s | 5 | 26441 | 1320 | 1955 0 | 71 | 168 6.09/6.16 c 4.9s | 6 | 36564 | 2081 | 2151 0 | 71 | 168 8.29/8.33 c 7.0s | 6 | 51303 | 3181 | 2151 1 | 71 | 168 8.29/8.39 c 7.1s | 7 | 51365 | 3223 | 2151 1 | 71 | 168 10.39/10.44 c 9.1s | 7 | 65048 | 4223 | 2367 2 | 71 | 168 11.69/11.73 c 10.4s | 8 | 70576 | 4936 | 2367 2 | 71 | 168 13.68/13.74 c 12.4s | 8 | 79714 | 5836 | 2367 3 | 71 | 168 15.88/15.92 c 14.6s | 8 | 86644 | 7036 | 2604 3 | 71 | 168 16.78/16.88 c 15.6s | 9 | 89694 | 7506 | 2604 4 | 71 | 168 18.89/18.94 c 17.6s | 9 | 100579 | 8406 | 2604 4 | 71 | 168 20.88/20.98 c 19.7s | 9 | 106360 | 9406 | 2604 5 | 71 | 168 23.08/23.10 c 21.8s | 9 | 113323 | 10406 | 2865 5 | 71 | 168 25.08/25.19 c 23.9s | 9 | 123031 | 11206 | 2865 5 | 71 | 168 25.49/25.56 c 24.3s | 10 | 125377 | 11361 | 2865 6 | 71 | 168 27.59/27.65 c 26.3s | 10 | 138385 | 12361 | 2865 6 | 71 | 168 29.58/29.69 c 28.4s | 10 | 151814 | 13361 | 2865 7 | 71 | 168 31.58/31.69 c 30.4s | 10 | 162016 | 14561 | 2865 7 | 71 | 168 33.68/33.73 c 32.4s | 10 | 173497 | 15661 | 3152 8 | 71 | 168 35.68/35.76 c 34.5s | 10 | 184725 | 16761 | 3152 8 | 71 | 168 36.58/36.60 c 35.3s | 11 | 189520 | 17144 | 3152 8 | 71 | 168 38.59/38.61 c 37.3s | 11 | 202005 | 18044 | 3152 9 | 71 | 168 40.58/40.65 c 39.3s | 11 | 213437 | 19344 | 3152 9 | 71 | 168 42.68/42.78 c 41.5s | 11 | 222620 | 20544 | 3152 10 | 71 | 168 44.78/44.81 c 43.5s | 11 | 231931 | 21544 | 3152 10 | 71 | 168 46.98/47.10 c 45.8s | 11 | 241247 | 22744 | 3152 11 | 71 | 168 49.08/49.12 c 47.8s | 11 | 254081 | 23644 | 3152 11 | 71 | 168 51.18/51.25 c 49.9s | 11 | 267603 | 24944 | 3468 12 | 71 | 168 52.58/52.64 c 51.3s | 12 | 274427 | 25819 | 3468 12 | 71 | 168 54.68/54.72 c 53.4s | 12 | 285240 | 27019 | 3468 13 | 71 | 168 56.68/56.76 c 55.5s | 12 | 298102 | 28219 | 3468 13 | 71 | 168 58.68/58.77 c 57.5s | 12 | 306520 | 29719 | 3468 14 | 71 | 168 60.78/60.80 c 59.5s | 12 | 314177 | 30919 | 3468 15 | 71 | 168 62.79/62.81 c 61.5s | 12 | 325500 | 32119 | 3468 15 | 71 | 168 64.78/64.88 c 63.6s | 12 | 336509 | 33119 | 3468 16 | 71 | 168 66.88/66.93 c 65.6s | 12 | 345245 | 34319 | 3468 16 | 71 | 168 68.98/69.01 c 67.7s | 12 | 352806 | 35619 | 3468 17 | 71 | 168 70.98/71.09 c 69.8s | 12 | 360486 | 36819 | 3468 17 | 71 | 168 73.08/73.12 c 71.8s | 12 | 369755 | 38019 | 3815 18 | 71 | 168 74.48/74.59 c 73.3s | 13 | 380006 | 38832 | 3815 18 | 71 | 168 76.58/76.64 c 75.3s | 13 | 392564 | 40032 | 3815 18 | 71 | 168 78.68/78.74 c 77.4s | 13 | 401113 | 41332 | 3815 19 | 71 | 168 80.68/80.79 c 79.5s | 13 | 409546 | 42532 | 3815 19 | 71 | 168 82.78/82.85 c 81.5s | 13 | 418494 | 43632 | 3815 20 | 71 | 168 84.89/84.92 c 83.6s | 13 | 427261 | 44732 | 3815 20 | 71 | 168 86.98/87.04 c 85.7s | 13 | 437248 | 45832 | 3815 21 | 71 | 168 89.08/89.12 c 87.8s | 13 | 450680 | 46832 | 3815 21 | 71 | 168 91.18/91.22 c 89.9s | 13 | 462456 | 47932 | 3815 22 | 71 | 168 93.18/93.29 c 92.0s | 13 | 471242 | 49132 | 3815 22 | 71 | 168 95.28/95.33 c 94.0s | 13 | 478672 | 50432 | 3815 23 | 71 | 168 97.28/97.39 c 96.1s | 13 | 485425 | 51532 | 3815 23 | 71 | 168 99.37/99.42 c 98.1s | 13 | 491008 | 52732 | 3815 24 | 71 | 168 101.47/101.53 c 100s | 13 | 499936 | 53732 | 3815 24 | 71 | 168 103.48/103.59 c 102s | 13 | 507837 | 55132 | 3815 24 | 71 | 168 105.57/105.67 c 104s | 13 | 519787 | 56432 | 3815 25 | 71 | 168 107.77/107.88 c 106s | 13 | 530323 | 57832 | 4197 25 | 71 | 168 109.17/109.23 c 107s | 14 | 539214 | 58352 | 4197 26 | 71 | 168 111.28/111.40 c 110s | 14 | 553536 | 59452 | 4197 26 | 71 | 168 113.48/113.54 c 112s | 14 | 569216 | 60552 | 4197 26 | 71 | 168 115.58/115.69 c 114s | 14 | 583692 | 61752 | 4197 27 | 71 | 168 117.67/117.77 c 116s | 14 | 596535 | 62952 | 4197 27 | 71 | 168 119.77/119.88 c 118s | 14 | 603238 | 64152 | 4197 28 | 71 | 168 121.97/122.03 c 120s | 14 | 611416 | 65252 | 4197 28 | 71 | 168 124.07/124.17 c 122s | 14 | 618855 | 66352 | 4197 29 | 71 | 168 126.17/126.27 c 124s | 14 | 628048 | 67752 | 4197 29 | 71 | 168 128.27/128.31 c 127s | 14 | 637928 | 69052 | 4197 30 | 71 | 168 130.37/130.43 c 129s | 14 | 648901 | 70452 | 4197 30 | 71 | 168 132.37/132.49 c 131s | 14 | 657407 | 72152 | 4197 31 | 71 | 168 134.47/134.50 c 133s | 14 | 665378 | 73552 | 4197 31 | 71 | 168 136.47/136.60 c 135s | 14 | 674493 | 74852 | 4197 32 | 71 | 168 138.57/138.68 c 137s | 14 | 685204 | 76152 | 4197 32 | 71 | 168 140.67/140.70 c 139s | 14 | 694058 | 77052 | 4197 33 | 71 | 168 142.77/142.83 c 141s | 14 | 709222 | 77852 | 4197 33 | 71 | 168 144.87/144.97 c 143s | 14 | 718848 | 78752 | 4197 33 | 71 | 168 146.97/147.05 c 145s | 14 | 727598 | 79852 | 4197 34 | 71 | 168 149.07/149.11 c 147s | 14 | 741554 | 80952 | 4197 34 | 71 | 168 151.07/151.18 c 149s | 14 | 753821 | 82052 | 4197 35 | 71 | 168 153.07/153.19 c 151s | 14 | 764939 | 83252 | 4197 35 | 71 | 168 155.17/155.22 c 153s | 14 | 775606 | 84452 | 4197 35 | 71 | 168 157.26/157.40 c 156s | 14 | 784959 | 85652 | 4617 36 | 71 | 168 159.36/159.42 c 158s | 14 | 798992 | 86652 | 4617 36 | 71 | 168 160.67/160.80 c 159s | 15 | 806670 | 87632 | 4617 36 | 71 | 168 162.87/162.98 c 161s | 15 | 814787 | 88732 | 4617 37 | 71 | 168 164.96/165.06 c 163s | 15 | 825606 | 89832 | 4617 37 | 71 | 168 167.06/167.15 c 165s | 15 | 834335 | 91032 | 4617 38 | 71 | 168 169.16/169.23 c 167s | 15 | 842924 | 92432 | 4617 38 | 71 | 168 171.26/171.38 c 170s | 15 | 849829 | 93632 | 4617 39 | 71 | 168 173.26/173.39 c 172s | 15 | 857342 | 94732 | 4617 39 | 71 | 168 175.36/175.49 c 174s | 15 | 864657 | 95832 | 4617 39 | 71 | 168 177.56/177.62 c 176s | 15 | 873599 | 97032 | 4617 40 | 71 | 168 179.56/179.68 c 178s | 15 | 884327 | 98332 | 4617 40 | 71 | 168 181.67/181.75 c 180s | 15 | 896791 | 99632 | 4617 41 | 71 | 168 183.66/183.78 c 182s | 15 | 904618 | 100932 | 4617 41 | 71 | 168 185.76/185.88 c 184s | 15 | 912473 | 102332 | 4617 42 | 71 | 168 187.96/188.01 c 186s | 15 | 921971 | 103732 | 4617 42 | 71 | 168 189.96/190.04 c 188s | 15 | 936408 | 104832 | 4617 42 | 71 | 168 191.96/192.05 c 190s | 15 | 949031 | 106332 | 4617 43 | 71 | 168 193.96/194.07 c 192s | 15 | 957258 | 107732 | 4617 43 | 71 | 168 196.06/196.18 c 194s | 15 | 964649 | 109132 | 4617 44 | 71 | 168 198.06/198.19 c 196s | 15 | 977283 | 110332 | 4617 44 | 71 | 168 200.36/200.40 c 199s | 15 | 990581 | 111632 | 4617 45 | 71 | 168 202.46/202.51 c 201s | 15 | 1001245 | 113032 | 4617 45 | 71 | 168 204.46/204.59 c 203s | 15 | 1010912 | 114232 | 4617 46 | 71 | 168 206.56/206.69 c 205s | 15 | 1020203 | 115432 | 4617 46 | 71 | 168 208.66/208.79 c 207s | 15 | 1027346 | 116832 | 4617 47 | 71 | 168 210.76/210.83 c 209s | 15 | 1034610 | 117932 | 4617 47 | 71 | 168 212.85/212.91 c 211s | 15 | 1049438 | 118932 | 4617 47 | 71 | 168 214.85/214.95 c 213s | 15 | 1064665 | 119932 | 4617 48 | 71 | 168 216.95/217.03 c 215s | 15 | 1078450 | 121332 | 4617 48 | 71 | 168 218.96/219.04 c 217s | 15 | 1088423 | 122432 | 4617 49 | 71 | 168 221.05/221.10 c 219s | 15 | 1098047 | 123732 | 4617 49 | 71 | 168 223.15/223.27 c 221s | 15 | 1107514 | 124832 | 4617 49 | 71 | 168 225.25/225.33 c 224s | 15 | 1123700 | 125832 | 4617 50 | 71 | 168 227.25/227.34 c 226s | 15 | 1135425 | 126932 | 4617 50 | 71 | 168 229.25/229.35 c 228s | 15 | 1151270 | 128032 | 4617 51 | 71 | 168 231.25/231.37 c 230s | 15 | 1164571 | 129432 | 5079 51 | 71 | 168 233.45/233.51 c 232s | 15 | 1176192 | 130732 | 5079 51 | 71 | 168 234.75/234.88 c 233s | 16 | 1182206 | 131552 | 5079 52 | 71 | 168 236.85/236.92 c 235s | 16 | 1188720 | 132852 | 5079 52 | 71 | 168 238.86/238.94 c 237s | 16 | 1192901 | 134052 | 5079 52 | 71 | 168 241.06/241.18 c 239s | 16 | 1202702 | 135152 | 5079 53 | 71 | 168 243.16/243.23 c 241s | 16 | 1209798 | 136352 | 5079 53 | 71 | 168 245.25/245.30 c 243s | 16 | 1214910 | 137652 | 5079 54 | 71 | 168 247.35/247.41 c 246s | 16 | 1226061 | 138752 | 5079 54 | 71 | 168 249.45/249.55 c 248s | 16 | 1233654 | 140152 | 5079 54 | 71 | 168 251.45/251.59 c 250s | 16 | 1244762 | 141152 | 5079 55 | 71 | 168 253.65/253.78 c 252s | 16 | 1255883 | 142452 | 5079 55 | 71 | 168 255.75/255.87 c 254s | 16 | 1268796 | 143652 | 5079 55 | 71 | 168 257.85/257.96 c 256s | 16 | 1279205 | 144852 | 5079 56 | 71 | 168 259.95/260.05 c 258s | 16 | 1288858 | 146052 | 5079 56 | 71 | 168 262.05/262.11 c 260s | 16 | 1296748 | 147252 | 5079 57 | 71 | 168 264.05/264.19 c 262s | 16 | 1308528 | 148652 | 5079 57 | 71 | 168 266.15/266.28 c 264s | 16 | 1317635 | 149952 | 5079 58 | 71 | 168 268.25/268.37 c 267s | 16 | 1326791 | 151252 | 5079 58 | 71 | 168 270.34/270.49 c 269s | 16 | 1331593 | 152452 | 5079 58 | 71 | 168 272.44/272.50 c 271s | 16 | 1343873 | 153552 | 5079 59 | 71 | 168 274.44/274.53 c 273s | 16 | 1355519 | 154852 | 5079 59 | 71 | 168 276.54/276.60 c 275s | 16 | 1366036 | 156052 | 5079 59 | 71 | 168 278.64/278.76 c 277s | 16 | 1373997 | 157252 | 5079 60 | 71 | 168 280.84/280.93 c 279s | 16 | 1384824 | 158452 | 5079 60 | 71 | 168 282.85/282.93 c 281s | 16 | 1389436 | 159752 | 5079 61 | 71 | 168 284.84/284.99 c 283s | 16 | 1401648 | 160952 | 5079 61 | 71 | 168 286.94/287.04 c 285s | 16 | 1415920 | 161952 | 5079 61 | 71 | 168 289.04/289.17 c 287s | 16 | 1429505 | 163152 | 5079 62 | 71 | 168 291.14/291.21 c 289s | 16 | 1441002 | 164452 | 5079 62 | 71 | 168 293.24/293.32 c 292s | 16 | 1447695 | 165752 | 5079 63 | 71 | 168 295.24/295.37 c 294s | 16 | 1456797 | 166952 | 5079 63 | 71 | 168 297.34/297.49 c 296s | 16 | 1466101 | 168252 | 5079 63 | 71 | 168 299.44/299.56 c 298s | 16 | 1472929 | 169452 | 5079 64 | 71 | 168 301.55/301.65 c 300s | 16 | 1479190 | 170852 | 5079 64 | 71 | 168 303.55/303.70 c 302s | 16 | 1483791 | 172352 | 5079 65 | 71 | 168 305.75/305.84 c 304s | 16 | 1492376 | 173652 | 5079 65 | 71 | 168 307.85/307.93 c 306s | 16 | 1500293 | 174852 | 5079 66 | 71 | 168 309.85/309.93 c 308s | 16 | 1510588 | 176052 | 5079 66 | 71 | 168 311.85/311.99 c 310s | 16 | 1521677 | 177252 | 5079 66 | 71 | 168 314.05/314.17 c 312s | 16 | 1530193 | 178552 | 5079 67 | 71 | 168 316.05/316.18 c 314s | 16 | 1537869 | 179652 | 5079 67 | 71 | 168 318.25/318.30 c 316s | 16 | 1547784 | 180852 | 5079 67 | 71 | 168 320.35/320.45 c 319s | 16 | 1558069 | 182252 | 5079 68 | 71 | 168 322.45/322.58 c 321s | 16 | 1567169 | 183552 | 5079 68 | 71 | 168 324.55/324.63 c 323s | 16 | 1575625 | 184752 | 5079 69 | 71 | 168 326.64/326.70 c 325s | 16 | 1582807 | 186252 | 5079 69 | 71 | 168 328.64/328.76 c 327s | 16 | 1596143 | 187352 | 5079 70 | 71 | 168 330.74/330.82 c 329s | 16 | 1606562 | 188852 | 5079 70 | 71 | 168 332.74/332.89 c 331s | 16 | 1614019 | 190352 | 5079 71 | 71 | 168 334.84/334.90 c 333s | 16 | 1623575 | 191652 | 5079 71 | 71 | 168 336.94/337.04 c 335s | 16 | 1635070 | 192852 | 5079 71 | 71 | 168 338.95/339.07 c 337s | 16 | 1646442 | 194152 | 5079 72 | 71 | 168 340.94/341.09 c 339s | 16 | 1654969 | 195652 | 5587 72 | 71 | 168 343.04/343.19 c 341s | 16 | 1663454 | 196952 | 5587 73 | 71 | 168 343.84/343.98 c 342s | 17 | 1666901 | 197432 | 5587 73 | 71 | 168 346.14/346.29 c 344s | 17 | 1675353 | 198632 | 5587 73 | 71 | 168 348.34/348.40 c 347s | 17 | 1683350 | 200132 | 5587 73 | 71 | 168 350.34/350.43 c 349s | 17 | 1696895 | 201232 | 5587 74 | 71 | 168 352.54/352.70 c 351s | 17 | 1708989 | 202632 | 5587 74 | 71 | 168 354.64/354.77 c 353s | 17 | 1718843 | 203632 | 5587 75 | 71 | 168 356.74/356.84 c 355s | 17 | 1729468 | 204932 | 5587 75 | 71 | 168 358.84/358.93 c 357s | 17 | 1740911 | 206332 | 5587 75 | 71 | 168 360.94/361.02 c 359s | 17 | 1751679 | 207632 | 5587 76 | 71 | 168 362.94/363.04 c 361s | 17 | 1758758 | 208932 | 5587 76 | 71 | 168 364.94/365.06 c 363s | 17 | 1767108 | 210132 | 5587 76 | 71 | 168 367.14/367.21 c 365s | 17 | 1776724 | 211532 | 5587 77 | 71 | 168 369.13/369.28 c 367s | 17 | 1784894 | 212832 | 5587 77 | 71 | 168 371.23/371.31 c 370s | 17 | 1790809 | 214332 | 5587 78 | 71 | 168 373.33/373.43 c 372s | 17 | 1800600 | 216032 | 5587 78 | 71 | 168 375.33/375.46 c 374s | 17 | 1812229 | 217532 | 5587 79 | 71 | 168 377.44/377.59 c 376s | 17 | 1825995 | 218732 | 5587 79 | 71 | 168 379.54/379.64 c 378s | 17 | 1836959 | 220232 | 5587 79 | 71 | 168 381.74/381.87 c 380s | 17 | 1846573 | 221732 | 5587 80 | 71 | 168 383.83/383.93 c 382s | 17 | 1857347 | 223132 | 5587 80 | 71 | 168 385.93/386.01 c 384s | 17 | 1863542 | 224832 | 5587 81 | 71 | 168 387.93/388.03 c 386s | 17 | 1872195 | 226132 | 5587 81 | 71 | 168 390.03/390.19 c 388s | 17 | 1879939 | 227732 | 5587 82 | 71 | 168 392.13/392.27 c 390s | 17 | 1891950 | 229232 | 5587 82 | 71 | 168 394.23/394.30 c 392s | 17 | 1900244 | 230832 | 5587 83 | 71 | 168 396.23/396.32 c 395s | 17 | 1907629 | 232332 | 5587 83 | 71 | 168 398.24/398.33 c 397s | 17 | 1916766 | 233932 | 5587 84 | 71 | 168 400.33/400.40 c 399s | 17 | 1927729 | 235432 | 5587 84 | 71 | 168 402.33/402.40 c 401s | 17 | 1935531 | 236732 | 5587 84 | 71 | 168 404.33/404.41 c 403s | 17 | 1942272 | 238232 | 5587 85 | 71 | 168 406.33/406.44 c 405s | 17 | 1951677 | 239832 | 5587 85 | 71 | 168 408.33/408.46 c 407s | 17 | 1960925 | 241232 | 5587 86 | 71 | 168 410.44/410.55 c 409s | 17 | 1969223 | 242932 | 5587 86 | 71 | 168 412.43/412.57 c 411s | 17 | 1980016 | 244232 | 5587 87 | 71 | 168 414.53/414.68 c 413s | 17 | 1989454 | 246132 | 5587 87 | 71 | 168 416.63/416.77 c 415s | 17 | 1997148 | 247632 | 5587 88 | 71 | 168 418.63/418.80 c 417s | 17 | 2006638 | 249032 | 5587 88 | 71 | 168 420.73/420.85 c 419s | 17 | 2017965 | 250632 | 5587 89 | 71 | 168 422.93/423.01 c 421s | 17 | 2028999 | 252032 | 5587 89 | 71 | 168 425.03/425.12 c 423s | 17 | 2035769 | 253532 | 5587 89 | 71 | 168 427.03/427.16 c 425s | 17 | 2044675 | 254632 | 5587 90 | 71 | 168 429.13/429.24 c 427s | 17 | 2056396 | 256132 | 5587 90 | 71 | 168 431.23/431.34 c 430s | 17 | 2068022 | 257432 | 5587 91 | 71 | 168 433.22/433.39 c 432s | 17 | 2079215 | 258932 | 5587 91 | 71 | 168 435.42/435.54 c 434s | 17 | 2086036 | 260232 | 5587 91 | 71 | 168 437.52/437.64 c 436s | 17 | 2097662 | 261532 | 5587 92 | 71 | 168 439.62/439.70 c 438s | 17 | 2106899 | 262832 | 5587 92 | 71 | 168 441.62/441.78 c 440s | 17 | 2115772 | 264132 | 5587 93 | 71 | 168 443.72/443.87 c 442s | 17 | 2124754 | 265532 | 5587 93 | 71 | 168 445.82/445.98 c 444s | 17 | 2137571 | 266832 | 5587 93 | 71 | 168 447.92/448.04 c 446s | 17 | 2146073 | 268232 | 5587 94 | 71 | 168 450.03/450.13 c 448s | 17 | 2153403 | 269632 | 5587 94 | 71 | 168 452.13/452.20 c 450s | 17 | 2164185 | 271432 | 5587 95 | 71 | 168 454.22/454.31 c 453s | 17 | 2176311 | 272932 | 5587 95 | 71 | 168 456.32/456.42 c 455s | 17 | 2185957 | 274232 | 5587 96 | 71 | 168 458.42/458.59 c 457s | 17 | 2198530 | 275632 | 5587 96 | 71 | 168 460.52/460.65 c 459s | 17 | 2208830 | 277032 | 5587 96 | 71 | 168 462.62/462.73 c 461s | 17 | 2218446 | 278132 | 5587 97 | 71 | 168 464.62/464.77 c 463s | 17 | 2235277 | 279432 | 5587 97 | 71 | 168 466.72/466.80 c 465s | 17 | 2242351 | 281032 | 5587 98 | 71 | 168 468.72/468.83 c 467s | 17 | 2255911 | 282332 | 5587 98 | 71 | 168 470.92/471.03 c 469s | 17 | 2263887 | 283732 | 5587 98 | 71 | 168 472.92/473.04 c 471s | 17 | 2275411 | 285232 | 5587 99 | 71 | 168 474.92/475.09 c 473s | 17 | 2285656 | 286932 | 5587 99 | 71 | 168 477.02/477.14 c 475s | 17 | 2291594 | 288432 | 5587 100 | 71 | 168 479.02/479.14 c 477s | 17 | 2300979 | 289732 | 5587 100 | 71 | 168 481.11/481.26 c 479s | 17 | 2313897 | 290932 | 5587 101 | 71 | 168 483.21/483.38 c 482s | 17 | 2327041 | 292432 | 5587 101 | 71 | 168 485.41/485.52 c 484s | 17 | 2336576 | 293932 | 6146 101 | 71 | 168 487.51/487.62 c 486s | 17 | 2348487 | 295332 | 6146 102 | 71 | 168 488.71/488.86 c 487s | 18 | 2354954 | 296252 | 6146 102 | 71 | 168 490.72/490.88 c 489s | 18 | 2367445 | 297352 | 6146 102 | 71 | 168 492.82/493.00 c 491s | 18 | 2375484 | 298652 | 6146 103 | 71 | 168 494.91/495.03 c 493s | 18 | 2380389 | 299552 | 6146 103 | 71 | 168 497.01/497.12 c 495s | 18 | 2394094 | 300652 | 6146 103 | 71 | 168 499.01/499.16 c 497s | 18 | 2407160 | 301852 | 6146 103 | 71 | 168 501.11/501.21 c 499s | 18 | 2418056 | 303352 | 6146 104 | 71 | 168 503.21/503.31 c 502s | 18 | 2423688 | 304552 | 6146 104 | 71 | 168 505.31/505.42 c 504s | 18 | 2433377 | 305652 | 6146 104 | 71 | 168 507.41/507.52 c 506s | 18 | 2451236 | 306752 | 6146 105 | 71 | 168 509.41/509.60 c 508s | 18 | 2463335 | 308252 | 6146 105 | 71 | 168 511.51/511.62 c 510s | 18 | 2473843 | 309552 | 6146 106 | 71 | 168 513.61/513.70 c 512s | 18 | 2481131 | 310752 | 6146 106 | 71 | 168 515.61/515.71 c 514s | 18 | 2488156 | 311852 | 6146 106 | 71 | 168 517.61/517.76 c 516s | 18 | 2498079 | 313052 | 6146 107 | 71 | 168 519.61/519.76 c 518s | 18 | 2509148 | 314452 | 6146 107 | 71 | 168 521.81/521.95 c 520s | 18 | 2517383 | 315852 | 6146 107 | 71 | 168 524.01/524.11 c 522s | 18 | 2529816 | 316952 | 6146 108 | 71 | 168 526.21/526.32 c 525s | 18 | 2547652 | 318152 | 6146 108 | 71 | 168 528.30/528.49 c 527s | 18 | 2561018 | 319352 | 6146 108 | 71 | 168 530.40/530.59 c 529s | 18 | 2570673 | 320752 | 6146 109 | 71 | 168 532.51/532.68 c 531s | 18 | 2577816 | 322052 | 6146 109 | 71 | 168 534.61/534.71 c 533s | 18 | 2586819 | 323252 | 6146 109 | 71 | 168 536.70/536.88 c 535s | 18 | 2598214 | 324252 | 6146 110 | 71 | 168 538.80/538.97 c 537s | 18 | 2609638 | 325352 | 6146 110 | 71 | 168 540.80/540.97 c 539s | 18 | 2617739 | 326852 | 6146 110 | 71 | 168 542.90/543.02 c 541s | 18 | 2622480 | 328252 | 6146 111 | 71 | 168 545.00/545.18 c 543s | 18 | 2626604 | 329652 | 6146 111 | 71 | 168 547.10/547.22 c 545s | 18 | 2634703 | 330952 | 6146 111 | 71 | 168 549.10/549.23 c 547s | 18 | 2646577 | 332152 | 6146 112 | 71 | 168 551.11/551.25 c 549s | 18 | 2657361 | 333352 | 6146 112 | 71 | 168 553.20/553.32 c 552s | 18 | 2665613 | 334652 | 6146 112 | 71 | 168 555.30/555.45 c 554s | 18 | 2677408 | 335652 | 6146 113 | 71 | 168 557.40/557.55 c 556s | 18 | 2685049 | 337252 | 6146 113 | 71 | 168 559.60/559.70 c 558s | 18 | 2695439 | 338452 | 6146 114 | 71 | 168 561.60/561.75 c 560s | 18 | 2706629 | 339652 | 6146 114 | 71 | 168 563.70/563.84 c 562s | 18 | 2713600 | 340852 | 6146 114 | 71 | 168 565.80/565.91 c 564s | 18 | 2722463 | 342052 | 6146 114 | 71 | 168 567.90/568.03 c 566s | 18 | 2730904 | 343652 | 6146 115 | 71 | 168 570.00/570.11 c 568s | 18 | 2740929 | 345152 | 6146 115 | 71 | 168 572.01/572.14 c 570s | 18 | 2751937 | 346552 | 6146 116 | 71 | 168 574.10/574.27 c 572s | 18 | 2762230 | 347752 | 6146 116 | 71 | 168 576.20/576.34 c 575s | 18 | 2775752 | 349152 | 6146 116 | 71 | 168 578.31/578.40 c 577s | 18 | 2782940 | 350852 | 6146 117 | 71 | 168 580.31/580.42 c 579s | 18 | 2789732 | 352252 | 6146 117 | 71 | 168 582.41/582.57 c 581s | 18 | 2796784 | 353752 | 6146 118 | 71 | 168 584.51/584.60 c 583s | 18 | 2807618 | 355052 | 6146 118 | 71 | 168 586.50/586.61 c 585s | 18 | 2815791 | 356552 | 6146 118 | 71 | 168 588.51/588.69 c 587s | 18 | 2824493 | 358052 | 6146 119 | 71 | 168 590.50/590.69 c 589s | 18 | 2832428 | 359552 | 6146 119 | 71 | 168 592.70/592.89 c 591s | 18 | 2846558 | 360852 | 6146 120 | 71 | 168 594.80/594.91 c 593s | 18 | 2860494 | 362052 | 6146 120 | 71 | 168 596.80/596.98 c 595s | 18 | 2870601 | 363352 | 6146 120 | 71 | 168 598.90/599.03 c 597s | 18 | 2883838 | 364652 | 6146 121 | 71 | 168 601.00/601.11 c 599s | 18 | 2892909 | 366352 | 6146 121 | 71 | 168 603.10/603.23 c 601s | 18 | 2902462 | 367652 | 6146 122 | 71 | 168 605.11/605.28 c 603s | 18 | 2911095 | 369052 | 6146 122 | 71 | 168 607.21/607.37 c 606s | 18 | 2919856 | 370552 | 6146 122 | 71 | 168 609.30/609.47 c 608s | 18 | 2928937 | 371752 | 6146 123 | 71 | 168 611.40/611.50 c 610s | 18 | 2941947 | 372652 | 6146 123 | 71 | 168 613.40/613.56 c 612s | 18 | 2957271 | 373652 | 6146 123 | 71 | 168 615.50/615.68 c 614s | 18 | 2966183 | 374852 | 6146 124 | 71 | 168 617.60/617.79 c 616s | 18 | 2974008 | 376152 | 6146 124 | 71 | 168 619.80/619.90 c 618s | 18 | 2988928 | 377552 | 6146 124 | 71 | 168 621.80/621.90 c 620s | 18 | 3000130 | 379052 | 6146 125 | 71 | 168 623.81/623.98 c 622s | 18 | 3011676 | 380752 | 6146 125 | 71 | 168 625.90/626.08 c 624s | 18 | 3019082 | 382252 | 6146 126 | 71 | 168 628.00/628.12 c 626s | 18 | 3029413 | 383552 | 6146 126 | 71 | 168 630.10/630.22 c 628s | 18 | 3038889 | 384952 | 6146 126 | 71 | 168 632.10/632.26 c 630s | 18 | 3047016 | 386352 | 6146 127 | 71 | 168 634.20/634.38 c 633s | 18 | 3055297 | 387952 | 6146 127 | 71 | 168 636.30/636.48 c 635s | 18 | 3067336 | 389252 | 6146 127 | 71 | 168 638.40/638.50 c 637s | 18 | 3076083 | 390752 | 6146 128 | 71 | 168 640.39/640.59 c 639s | 18 | 3082613 | 392352 | 6146 128 | 71 | 168 642.50/642.69 c 641s | 18 | 3088685 | 393652 | 6146 129 | 71 | 168 644.60/644.71 c 643s | 18 | 3096712 | 394952 | 6146 129 | 71 | 168 646.59/646.79 c 645s | 18 | 3108977 | 396452 | 6146 129 | 71 | 168 648.69/648.85 c 647s | 18 | 3118195 | 397752 | 6146 130 | 71 | 168 650.69/650.88 c 649s | 18 | 3127787 | 399152 | 6146 130 | 71 | 168 652.79/652.95 c 651s | 18 | 3134289 | 400252 | 6146 131 | 71 | 168 654.79/654.98 c 653s | 18 | 3145046 | 401352 | 6146 131 | 71 | 168 656.89/657.08 c 655s | 18 | 3152505 | 402652 | 6146 131 | 71 | 168 659.00/659.11 c 657s | 18 | 3159899 | 404152 | 6146 132 | 71 | 168 661.10/661.22 c 659s | 18 | 3164539 | 405552 | 6146 132 | 71 | 168 663.19/663.32 c 662s | 18 | 3174853 | 407252 | 6146 132 | 71 | 168 665.19/665.37 c 664s | 18 | 3184132 | 408652 | 6146 133 | 71 | 168 667.29/667.41 c 666s | 18 | 3191998 | 410152 | 6146 133 | 71 | 168 669.39/669.52 c 668s | 18 | 3201038 | 411652 | 6146 134 | 71 | 168 671.39/671.52 c 670s | 18 | 3210816 | 413052 | 6146 134 | 71 | 168 673.49/673.63 c 672s | 18 | 3218077 | 414652 | 6146 134 | 71 | 168 675.50/675.64 c 674s | 18 | 3226782 | 416052 | 6146 135 | 71 | 168 677.49/677.68 c 676s | 18 | 3236062 | 417552 | 6146 135 | 71 | 168 679.49/679.69 c 678s | 18 | 3243701 | 418952 | 6146 136 | 71 | 168 681.69/681.80 c 680s | 18 | 3252025 | 420352 | 6146 136 | 71 | 168 683.69/683.85 c 682s | 18 | 3262007 | 421852 | 6146 136 | 71 | 168 685.69/685.85 c 684s | 18 | 3270562 | 423352 | 6146 137 | 71 | 168 687.69/687.87 c 686s | 18 | 3279487 | 424852 | 6146 137 | 71 | 168 689.79/689.97 c 688s | 18 | 3286009 | 426352 | 6146 138 | 71 | 168 691.89/692.10 c 690s | 18 | 3294238 | 427752 | 6146 138 | 71 | 168 693.99/694.11 c 692s | 18 | 3303143 | 429152 | 6146 138 | 71 | 168 695.99/696.11 c 694s | 18 | 3310091 | 430652 | 6146 139 | 71 | 168 698.08/698.26 c 696s | 18 | 3320877 | 432152 | 6146 139 | 71 | 168 700.08/700.29 c 698s | 18 | 3329575 | 433752 | 6146 140 | 71 | 168 702.18/702.32 c 701s | 18 | 3338057 | 435252 | 6146 140 | 71 | 168 704.28/704.44 c 703s | 18 | 3347205 | 436752 | 6146 141 | 71 | 168 706.38/706.53 c 705s | 18 | 3356817 | 438252 | 6146 141 | 71 | 168 708.39/708.56 c 707s | 18 | 3364405 | 439752 | 6146 141 | 71 | 168 710.48/710.64 c 709s | 18 | 3373679 | 441252 | 6761 142 | 71 | 168 712.58/712.74 c 711s | 18 | 3383107 | 442752 | 6761 142 | 71 | 168 714.68/714.86 c 713s | 18 | 3390857 | 444252 | 6761 142 | 71 | 168 714.99/715.12 c 713s | 19 | 3392124 | 444482 | 6761 142 | 71 | 168 717.08/717.23 c 715s | 19 | 3395242 | 444882 | 6761 143 | 71 | 168 719.08/719.27 c 717s | 19 | 3401141 | 446082 | 6761 143 | 71 | 168 721.08/721.27 c 719s | 19 | 3407289 | 447482 | 6761 143 | 71 | 168 723.18/723.38 c 722s | 19 | 3414051 | 448682 | 6761 144 | 71 | 168 725.28/725.43 c 724s | 19 | 3424365 | 449782 | 6761 144 | 71 | 168 727.37/727.52 c 726s | 19 | 3432998 | 450982 | 6761 144 | 71 | 168 729.38/729.53 c 728s | 19 | 3443264 | 452382 | 6761 144 | 71 | 168 731.37/731.59 c 730s | 19 | 3452674 | 453982 | 6761 145 | 71 | 168 733.47/733.60 c 732s | 19 | 3465558 | 455182 | 6761 145 | 71 | 168 735.47/735.61 c 734s | 19 | 3473803 | 456782 | 6761 146 | 71 | 168 737.57/737.73 c 736s | 19 | 3481659 | 458182 | 6761 146 | 71 | 168 739.57/739.77 c 738s | 19 | 3489238 | 459582 | 6761 146 | 71 | 168 741.67/741.80 c 740s | 19 | 3500131 | 460782 | 6761 147 | 71 | 168 743.58/743.80 c 742s | 19 | 3511173 | 462482 | 6761 147 | 71 | 168 745.67/745.87 c 744s | 19 | 3519959 | 463782 | 6761 147 | 71 | 168 747.77/747.97 c 746s | 19 | 3529080 | 464982 | 6761 148 | 71 | 168 749.77/749.97 c 748s | 19 | 3537562 | 466282 | 6761 148 | 71 | 168 751.86/752.04 c 750s | 19 | 3548275 | 467482 | 6761 148 | 71 | 168 753.96/754.15 c 752s | 19 | 3555609 | 468782 | 6761 149 | 71 | 168 755.96/756.17 c 754s | 19 | 3566618 | 470382 | 6761 149 | 71 | 168 758.06/758.22 c 756s | 19 | 3574357 | 471782 | 6761 149 | 71 | 168 760.07/760.26 c 758s | 19 | 3585556 | 472882 | 6761 150 | 71 | 168 762.16/762.32 c 761s | 19 | 3594592 | 473982 | 6761 150 | 71 | 168 764.16/764.33 c 763s | 19 | 3601377 | 475182 | 6761 150 | 71 | 168 766.16/766.37 c 765s | 19 | 3611367 | 476682 | 6761 151 | 71 | 168 768.36/768.54 c 767s | 19 | 3625350 | 477982 | 6761 151 | 71 | 168 770.46/770.62 c 769s | 19 | 3637708 | 479382 | 6761 151 | 71 | 168 772.56/772.75 c 771s | 19 | 3644834 | 480982 | 6761 152 | 71 | 168 774.66/774.89 c 773s | 19 | 3651829 | 482282 | 6761 152 | 71 | 168 776.76/776.90 c 775s | 19 | 3658123 | 483482 | 6761 152 | 71 | 168 778.76/778.98 c 777s | 19 | 3667931 | 484982 | 6761 153 | 71 | 168 780.75/780.99 c 779s | 19 | 3676051 | 486482 | 6761 153 | 71 | 168 782.85/783.05 c 781s | 19 | 3684253 | 487782 | 6761 153 | 71 | 168 784.95/785.15 c 783s | 19 | 3691942 | 489082 | 6761 154 | 71 | 168 787.05/787.28 c 785s | 19 | 3701191 | 490582 | 6761 154 | 71 | 168 789.15/789.38 c 788s | 19 | 3716082 | 491582 | 6761 154 | 71 | 168 791.26/791.43 c 790s | 19 | 3727172 | 492782 | 6761 155 | 71 | 168 793.26/793.47 c 792s | 19 | 3737327 | 494282 | 6761 155 | 71 | 168 795.36/795.53 c 794s | 19 | 3746026 | 495482 | 6761 155 | 71 | 168 797.46/797.61 c 796s | 19 | 3757743 | 496782 | 6761 156 | 71 | 168 799.45/799.65 c 798s | 19 | 3767054 | 498282 | 6761 156 | 71 | 168 801.45/801.67 c 800s | 19 | 3778515 | 499382 | 6761 156 | 71 | 168 803.55/803.71 c 802s | 19 | 3787229 | 500982 | 6761 157 | 71 | 168 805.65/805.84 c 804s | 19 | 3796207 | 502382 | 6761 157 | 71 | 168 807.75/807.91 c 806s | 19 | 3805676 | 503982 | 6761 158 | 71 | 168 809.85/810.00 c 808s | 19 | 3816677 | 505482 | 6761 158 | 71 | 168 811.95/812.17 c 810s | 19 | 3824340 | 506982 | 6761 158 | 71 | 168 814.05/814.28 c 812s | 19 | 3835534 | 508682 | 6761 159 | 71 | 168 816.15/816.36 c 815s | 19 | 3846276 | 510282 | 6761 159 | 71 | 168 818.24/818.43 c 817s | 19 | 3860756 | 511482 | 6761 159 | 71 | 168 820.24/820.46 c 819s | 19 | 3870676 | 512882 | 6761 160 | 71 | 168 822.34/822.51 c 821s | 19 | 3881544 | 514482 | 6761 160 | 71 | 168 824.44/824.62 c 823s | 19 | 3888201 | 516182 | 6761 161 | 71 | 168 826.44/826.69 c 825s | 19 | 3895315 | 517682 | 6761 161 | 71 | 168 828.54/828.74 c 827s | 19 | 3902724 | 519082 | 6761 161 | 71 | 168 830.64/830.82 c 829s | 19 | 3913180 | 520382 | 6761 162 | 71 | 168 832.75/832.95 c 831s | 19 | 3922175 | 521982 | 6761 162 | 71 | 168 834.74/834.99 c 833s | 19 | 3931222 | 523582 | 6761 163 | 71 | 168 836.84/837.00 c 835s | 19 | 3940901 | 525382 | 6761 163 | 71 | 168 838.83/839.02 c 837s | 19 | 3950514 | 527282 | 6761 163 | 71 | 168 840.93/841.10 c 839s | 19 | 3961159 | 528782 | 6761 164 | 71 | 168 842.93/843.14 c 841s | 19 | 3969485 | 530182 | 6761 164 | 71 | 168 845.03/845.23 c 843s | 19 | 3979871 | 531882 | 6761 165 | 71 | 168 847.13/847.33 c 846s | 19 | 3988331 | 533482 | 6761 165 | 71 | 168 849.23/849.44 c 848s | 19 | 3998812 | 534982 | 6761 165 | 71 | 168 851.33/851.51 c 850s | 19 | 4005970 | 536382 | 6761 166 | 71 | 168 853.43/853.64 c 852s | 19 | 4018716 | 537782 | 6761 166 | 71 | 168 855.63/855.88 c 854s | 19 | 4028650 | 539182 | 6761 167 | 71 | 168 857.62/857.89 c 856s | 19 | 4038355 | 540582 | 6761 167 | 71 | 168 859.72/859.98 c 858s | 19 | 4048823 | 541982 | 6761 167 | 71 | 168 861.82/862.09 c 860s | 19 | 4058247 | 543482 | 6761 168 | 71 | 168 864.02/864.20 c 862s | 19 | 4069448 | 544982 | 6761 168 | 71 | 168 866.12/866.34 c 865s | 19 | 4079952 | 546482 | 6761 168 | 71 | 168 868.12/868.38 c 867s | 19 | 4090347 | 547982 | 6761 169 | 71 | 168 870.22/870.44 c 869s | 19 | 4102059 | 549582 | 6761 169 | 71 | 168 872.23/872.46 c 871s | 19 | 4108792 | 551182 | 6761 170 | 71 | 168 874.32/874.55 c 873s | 19 | 4121439 | 552682 | 6761 170 | 71 | 168 876.42/876.63 c 875s | 19 | 4127892 | 554182 | 6761 170 | 71 | 168 878.51/878.75 c 877s | 19 | 4139459 | 555682 | 6761 171 | 71 | 168 880.51/880.79 c 879s | 19 | 4150081 | 557082 | 6761 171 | 71 | 168 882.61/882.83 c 881s | 19 | 4161001 | 558482 | 6761 171 | 71 | 168 884.61/884.89 c 883s | 19 | 4167144 | 559582 | 6761 172 | 71 | 168 886.62/886.89 c 885s | 19 | 4173610 | 560782 | 6761 172 | 71 | 168 888.82/889.06 c 887s | 19 | 4180725 | 561782 | 6761 172 | 71 | 168 890.81/891.07 c 889s | 19 | 4189386 | 562682 | 6761 173 | 71 | 168 893.22/893.43 c 892s | 19 | 4198264 | 563882 | 6761 173 | 71 | 168 895.21/895.46 c 894s | 19 | 4203990 | 564782 | 6761 173 | 71 | 168 897.31/897.53 c 896s | 19 | 4213855 | 565982 | 6761 173 | 71 | 168 899.41/899.68 c 898s | 19 | 4225306 | 566982 | 6761 174 | 71 | 168 901.51/901.70 c 900s | 19 | 4239535 | 567982 | 6761 174 | 71 | 168 903.61/903.86 c 902s | 19 | 4250875 | 569082 | 6761 174 | 71 | 168 905.81/906.01 c 904s | 19 | 4261887 | 570282 | 6761 174 | 71 | 168 907.80/908.02 c 906s | 19 | 4269682 | 571382 | 6761 175 | 71 | 168 909.90/910.11 c 908s | 19 | 4281104 | 572682 | 6761 175 | 71 | 168 911.91/912.17 c 910s | 19 | 4287464 | 573982 | 6761 175 | 71 | 168 914.11/914.32 c 913s | 19 | 4294347 | 575082 | 6761 176 | 71 | 168 916.21/916.42 c 915s | 19 | 4302387 | 576782 | 6761 176 | 71 | 168 918.29/918.51 c 917s | 19 | 4314254 | 578082 | 6761 176 | 71 | 168 920.29/920.53 c 919s | 19 | 4325831 | 579282 | 6761 177 | 71 | 168 922.39/922.63 c 921s | 19 | 4335560 | 580882 | 6761 177 | 71 | 168 924.49/924.74 c 923s | 19 | 4341782 | 582282 | 6761 178 | 71 | 168 926.49/926.79 c 925s | 19 | 4348822 | 583682 | 6761 178 | 71 | 168 928.59/928.82 c 927s | 19 | 4355009 | 585482 | 6761 178 | 71 | 168 930.69/930.93 c 929s | 19 | 4364149 | 586982 | 6761 179 | 71 | 168 932.70/932.96 c 931s | 19 | 4375757 | 588282 | 6761 179 | 71 | 168 934.79/935.01 c 933s | 19 | 4386491 | 589682 | 6761 179 | 71 | 168 936.79/937.04 c 935s | 19 | 4394302 | 590982 | 6761 180 | 71 | 168 938.89/939.10 c 937s | 19 | 4403475 | 592182 | 6761 180 | 71 | 168 940.99/941.21 c 939s | 19 | 4415233 | 593482 | 6761 180 | 71 | 168 942.99/943.23 c 941s | 19 | 4423634 | 594982 | 6761 181 | 71 | 168 945.09/945.30 c 943s | 19 | 4436023 | 596582 | 6761 181 | 71 | 168 947.19/947.40 c 946s | 19 | 4443972 | 598082 | 6761 182 | 71 | 168 949.29/949.51 c 948s | 19 | 4452789 | 599582 | 6761 182 | 71 | 168 951.39/951.64 c 950s | 19 | 4463172 | 600982 | 6761 182 | 71 | 168 953.48/953.72 c 952s | 19 | 4470695 | 602482 | 6761 183 | 71 | 168 955.58/955.81 c 954s | 19 | 4479231 | 604182 | 6761 183 | 71 | 168 957.58/957.84 c 956s | 19 | 4487076 | 605582 | 6761 183 | 71 | 168 959.88/960.13 c 958s | 19 | 4499527 | 606682 | 6761 184 | 71 | 168 961.98/962.24 c 960s | 19 | 4507074 | 608082 | 6761 184 | 71 | 168 963.98/964.29 c 962s | 19 | 4514723 | 609582 | 6761 184 | 71 | 168 966.08/966.32 c 965s | 19 | 4524810 | 611082 | 6761 185 | 71 | 168 968.17/968.49 c 967s | 19 | 4533200 | 612682 | 6761 185 | 71 | 168 970.27/970.52 c 969s | 19 | 4541962 | 614082 | 6761 186 | 71 | 168 972.28/972.56 c 971s | 19 | 4551321 | 615582 | 6761 186 | 71 | 168 974.37/974.66 c 973s | 19 | 4562193 | 617082 | 6761 186 | 71 | 168 976.47/976.70 c 975s | 19 | 4570563 | 618682 | 6761 187 | 71 | 168 978.47/978.78 c 977s | 19 | 4579067 | 620182 | 6761 187 | 71 | 168 980.57/980.82 c 979s | 19 | 4587332 | 621582 | 6761 187 | 71 | 168 982.67/982.91 c 981s | 19 | 4596697 | 623182 | 6761 188 | 71 | 168 984.77/985.05 c 983s | 19 | 4606659 | 624782 | 6761 188 | 71 | 168 986.77/987.07 c 985s | 19 | 4613509 | 626182 | 6761 189 | 71 | 168 988.87/989.12 c 987s | 19 | 4622333 | 627382 | 6761 189 | 71 | 168 990.86/991.20 c 989s | 19 | 4633651 | 628682 | 6761 189 | 71 | 168 992.96/993.26 c 991s | 19 | 4642668 | 629882 | 6761 190 | 71 | 168 994.96/995.28 c 993s | 19 | 4653513 | 631082 | 6761 190 | 71 | 168 997.06/997.33 c 996s | 19 | 4660207 | 632182 | 6761 190 | 71 | 168 999.06/999.38 c 998s | 19 | 4668776 | 633382 | 6761 190 | 71 | 168 1001.16/1001.45 c 1000s | 19 | 4678308 | 634782 | 6761 191 | 71 | 168 1003.26/1003.54 c 1002s | 19 | 4688335 | 636282 | 6761 191 | 71 | 168 1005.36/1005.69 c 1004s | 19 | 4695800 | 637882 | 6761 192 | 71 | 168 1007.46/1007.74 c 1006s | 19 | 4702539 | 639382 | 6761 192 | 71 | 168 1009.45/1009.76 c 1008s | 19 | 4712375 | 640982 | 6761 192 | 71 | 168 1011.45/1011.79 c 1010s | 19 | 4721791 | 642682 | 6761 193 | 71 | 168 1013.55/1013.80 c 1012s | 19 | 4731552 | 644382 | 6761 193 | 71 | 168 1015.55/1015.81 c 1014s | 19 | 4742355 | 646082 | 6761 194 | 71 | 168 1017.55/1017.85 c 1016s | 19 | 4750749 | 647782 | 6761 194 | 71 | 168 1019.65/1019.96 c 1018s | 19 | 4760390 | 649582 | 6761 195 | 71 | 168 1021.75/1022.02 c 1020s | 19 | 4769720 | 651282 | 6761 195 | 71 | 168 1023.84/1024.14 c 1022s | 19 | 4778860 | 652782 | 6761 195 | 71 | 168 1025.84/1026.18 c 1024s | 19 | 4788580 | 654382 | 6761 196 | 71 | 168 1027.94/1028.27 c 1026s | 19 | 4797813 | 656082 | 6761 196 | 71 | 168 1030.04/1030.31 c 1029s | 19 | 4806863 | 657782 | 6761 197 | 71 | 168 1032.04/1032.38 c 1031s | 19 | 4813508 | 659082 | 6761 197 | 71 | 168 1034.14/1034.49 c 1033s | 19 | 4818601 | 659982 | 6761 197 | 71 | 168 1036.24/1036.57 c 1035s | 19 | 4825597 | 661382 | 7438 197 | 71 | 168 1038.35/1038.62 c 1037s | 19 | 4832352 | 662482 | 7438 198 | 71 | 168 1040.45/1040.71 c 1039s | 19 | 4840756 | 663682 | 7438 198 | 71 | 168 1042.54/1042.84 c 1041s | 19 | 4851231 | 665482 | 7438 198 | 71 | 168 1044.24/1044.58 c 1043s | 20 | 4858445 | 666827 | 7438 199 | 71 | 168 1046.24/1046.59 c 1045s | 20 | 4876775 | 668027 | 7438 199 | 71 | 168 1048.34/1048.60 c 1047s | 20 | 4885380 | 669427 | 7438 199 | 71 | 168 1050.35/1050.63 c 1049s | 20 | 4894508 | 670627 | 7438 200 | 71 | 168 1052.34/1052.64 c 1051s | 20 | 4901133 | 672027 | 7438 200 | 71 | 168 1054.54/1054.82 c 1053s | 20 | 4916476 | 673027 | 7438 200 | 71 | 168 1056.64/1056.92 c 1055s | 20 | 4930693 | 674327 | 7438 200 | 71 | 168 1058.74/1059.06 c 1057s | 20 | 4943523 | 675727 | 7438 201 | 71 | 168 1060.84/1061.11 c 1059s | 20 | 4951709 | 677027 | 7438 201 | 71 | 168 1062.84/1063.16 c 1061s | 20 | 4963449 | 678527 | 7438 201 | 71 | 168 1064.94/1065.27 c 1063s | 20 | 4973159 | 680027 | 7438 202 | 71 | 168 1066.94/1067.28 c 1065s | 20 | 4980594 | 681127 | 7438 202 | 71 | 168 1069.14/1069.49 c 1068s | 20 | 4988492 | 682327 | 7438 202 | 71 | 168 1071.34/1071.62 c 1070s | 20 | 4999641 | 683427 | 7438 203 | 71 | 168 1073.33/1073.64 c 1072s | 20 | 5008161 | 684927 | 7438 203 | 71 | 168 1075.33/1075.66 c 1074s | 20 | 5017202 | 686427 | 7438 203 | 71 | 168 1077.43/1077.72 c 1076s | 20 | 5025859 | 688127 | 7438 204 | 71 | 168 1079.43/1079.77 c 1078s | 20 | 5036320 | 689927 | 7438 204 | 71 | 168 1081.63/1081.91 c 1080s | 20 | 5046272 | 691427 | 7438 204 | 71 | 168 1083.73/1084.05 c 1082s | 20 | 5060637 | 692627 | 7438 205 | 71 | 168 1085.73/1086.06 c 1084s | 20 | 5071628 | 694127 | 7438 205 | 71 | 168 1087.73/1088.07 c 1086s | 20 | 5079858 | 695627 | 7438 205 | 71 | 168 1089.73/1090.09 c 1088s | 20 | 5089031 | 697127 | 7438 206 | 71 | 168 1091.83/1092.14 c 1090s | 20 | 5098317 | 698427 | 7438 206 | 71 | 168 1093.83/1094.14 c 1092s | 20 | 5110105 | 699827 | 7438 206 | 71 | 168 1096.03/1096.32 c 1095s | 20 | 5120831 | 700727 | 7438 207 | 71 | 168 1098.12/1098.42 c 1097s | 20 | 5133460 | 702327 | 7438 207 | 71 | 168 1100.22/1100.54 c 1099s | 20 | 5141641 | 704127 | 7438 207 | 71 | 168 1102.32/1102.61 c 1101s | 20 | 5150943 | 705527 | 7438 208 | 71 | 168 1104.33/1104.63 c 1103s | 20 | 5158467 | 707227 | 7438 208 | 71 | 168 1106.32/1106.70 c 1105s | 20 | 5166294 | 708727 | 7438 209 | 71 | 168 1108.52/1108.84 c 1107s | 20 | 5177548 | 710627 | 7438 209 | 71 | 168 1110.52/1110.86 c 1109s | 20 | 5186117 | 712327 | 7438 209 | 71 | 168 1112.62/1112.90 c 1111s | 20 | 5195215 | 714027 | 7438 210 | 71 | 168 1114.62/1114.98 c 1113s | 20 | 5204290 | 715727 | 7438 210 | 71 | 168 1116.72/1117.02 c 1115s | 20 | 5212993 | 717427 | 7438 211 | 71 | 168 1118.71/1119.06 c 1117s | 20 | 5221519 | 718927 | 7438 211 | 71 | 168 1120.72/1121.09 c 1119s | 20 | 5231105 | 720727 | 7438 211 | 71 | 168 1122.81/1123.18 c 1121s | 20 | 5239196 | 722427 | 7438 212 | 71 | 168 1124.91/1125.27 c 1123s | 20 | 5247844 | 724127 | 7438 212 | 71 | 168 1127.01/1127.38 c 1126s | 20 | 5256422 | 725827 | 7438 213 | 71 | 168 1129.11/1129.41 c 1128s | 20 | 5266524 | 727627 | 7438 213 | 71 | 168 1131.21/1131.51 c 1130s | 20 | 5272622 | 729127 | 7438 213 | 71 | 168 1133.30/1133.61 c 1132s | 20 | 5280980 | 730627 | 7438 214 | 71 | 168 1135.30/1135.64 c 1134s | 20 | 5287031 | 731727 | 7438 214 | 71 | 168 1137.40/1137.75 c 1136s | 20 | 5295589 | 733027 | 7438 214 | 71 | 168 1139.40/1139.80 c 1138s | 20 | 5306870 | 734427 | 7438 215 | 71 | 168 1141.80/1142.10 c 1140s | 20 | 5317072 | 735627 | 7438 215 | 71 | 168 1143.90/1144.27 c 1142s | 20 | 5325387 | 736927 | 7438 215 | 71 | 168 1145.90/1146.28 c 1144s | 20 | 5335844 | 737927 | 7438 215 | 71 | 168 1148.09/1148.48 c 1147s | 20 | 5347258 | 739327 | 7438 216 | 71 | 168 1150.19/1150.56 c 1149s | 20 | 5359048 | 740627 | 7438 216 | 71 | 168 1152.29/1152.69 c 1151s | 20 | 5368091 | 741927 | 7438 216 | 71 | 168 1154.39/1154.77 c 1153s | 20 | 5377775 | 743127 | 7438 217 | 71 | 168 1156.39/1156.79 c 1155s | 20 | 5386813 | 744527 | 7438 217 | 71 | 168 1158.49/1158.87 c 1157s | 20 | 5395386 | 745927 | 7438 217 | 71 | 168 1160.59/1160.97 c 1159s | 20 | 5403494 | 747127 | 7438 218 | 71 | 168 1162.69/1163.00 c 1161s | 20 | 5412286 | 748527 | 7438 218 | 71 | 168 1164.69/1165.04 c 1163s | 20 | 5421793 | 749827 | 7438 218 | 71 | 168 1166.69/1167.06 c 1165s | 20 | 5430640 | 751127 | 7438 218 | 71 | 168 1168.69/1169.10 c 1167s | 20 | 5439867 | 752527 | 7438 219 | 71 | 168 1170.79/1171.10 c 1169s | 20 | 5446871 | 754127 | 7438 219 | 71 | 168 1172.78/1173.10 c 1171s | 20 | 5455424 | 755327 | 7438 219 | 71 | 168 1174.78/1175.16 c 1173s | 20 | 5466566 | 756527 | 7438 220 | 71 | 168 1176.98/1177.31 c 1175s | 20 | 5479746 | 757827 | 7438 220 | 71 | 168 1178.99/1179.38 c 1178s | 20 | 5488268 | 759127 | 7438 220 | 71 | 168 1181.08/1181.43 c 1180s | 20 | 5496825 | 760827 | 7438 221 | 71 | 168 1183.18/1183.51 c 1182s | 20 | 5506419 | 762527 | 7438 221 | 71 | 168 1185.28/1185.67 c 1184s | 20 | 5514960 | 764227 | 7438 222 | 71 | 168 1187.38/1187.72 c 1186s | 20 | 5524678 | 765927 | 7438 222 | 71 | 168 1189.48/1189.81 c 1188s | 20 | 5532759 | 767627 | 7438 222 | 71 | 168 1191.48/1191.83 c 1190s | 20 | 5542421 | 769027 | 7438 223 | 71 | 168 1193.58/1193.92 c 1192s | 20 | 5554011 | 770627 | 7438 223 | 71 | 168 1195.58/1195.95 c 1194s | 20 | 5564597 | 771727 | 7438 223 | 71 | 168 1197.68/1198.09 c 1196s | 20 | 5574545 | 773127 | 7438 224 | 71 | 168 1199.88/1200.24 c 1198s | 20 | 5583174 | 774327 | 7438 224 | 71 | 168 1201.97/1202.30 c 1200s | 20 | 5590178 | 775827 | 7438 224 | 71 | 168 1204.07/1204.40 c 1203s | 20 | 5597602 | 777227 | 7438 225 | 71 | 168 1206.07/1206.47 c 1205s | 20 | 5604468 | 778727 | 7438 225 | 71 | 168 1208.17/1208.56 c 1207s | 20 | 5621574 | 779827 | 7438 225 | 71 | 168 1210.37/1210.74 c 1209s | 20 | 5632309 | 781327 | 7438 226 | 71 | 168 1212.37/1212.78 c 1211s | 20 | 5640163 | 782727 | 7438 226 | 71 | 168 1214.57/1214.92 c 1213s | 20 | 5649177 | 784327 | 7438 226 | 71 | 168 1216.67/1217.04 c 1215s | 20 | 5657254 | 785927 | 7438 227 | 71 | 168 1218.67/1219.04 c 1217s | 20 | 5664807 | 787427 | 7438 227 | 71 | 168 1220.77/1221.16 c 1219s | 20 | 5671779 | 788827 | 7438 227 | 71 | 168 1222.87/1223.25 c 1221s | 20 | 5680935 | 790427 | 7438 228 | 71 | 168 1224.86/1225.26 c 1223s | 20 | 5689644 | 792127 | 7438 228 | 71 | 168 1226.86/1227.27 c 1225s | 20 | 5696848 | 793627 | 7438 228 | 71 | 168 1228.96/1229.32 c 1228s | 20 | 5703422 | 795027 | 7438 229 | 71 | 168 1231.06/1231.44 c 1230s | 20 | 5711063 | 796727 | 7438 229 | 71 | 168 1233.16/1233.53 c 1232s | 20 | 5719054 | 798227 | 7438 229 | 71 | 168 1235.17/1235.59 c 1234s | 20 | 5726309 | 799727 | 7438 230 | 71 | 168 1237.27/1237.61 c 1236s | 20 | 5733836 | 801227 | 7438 230 | 71 | 168 1239.26/1239.65 c 1238s | 20 | 5741162 | 802727 | 7438 231 | 71 | 168 1241.26/1241.68 c 1240s | 20 | 5749492 | 804427 | 7438 231 | 71 | 168 1243.46/1243.86 c 1242s | 20 | 5757199 | 805927 | 7438 231 | 71 | 168 1245.56/1245.92 c 1244s | 20 | 5764258 | 807527 | 7438 232 | 71 | 168 1247.55/1247.97 c 1246s | 20 | 5772601 | 809127 | 7438 232 | 71 | 168 1249.65/1250.01 c 1248s | 20 | 5780940 | 810827 | 7438 232 | 71 | 168 1251.66/1252.06 c 1250s | 20 | 5788382 | 811527 | 7438 233 | 71 | 168 1253.86/1254.21 c 1252s | 20 | 5805253 | 812727 | 7438 233 | 71 | 168 1255.85/1256.27 c 1254s | 20 | 5816987 | 814027 | 7438 233 | 71 | 168 1257.95/1258.30 c 1256s | 20 | 5827134 | 815027 | 7438 233 | 71 | 168 1259.95/1260.32 c 1259s | 20 | 5838099 | 816327 | 7438 234 | 71 | 168 1261.95/1262.39 c 1261s | 20 | 5848213 | 817827 | 7438 234 | 71 | 168 1264.15/1264.57 c 1263s | 20 | 5860542 | 818927 | 7438 234 | 71 | 168 1266.25/1266.60 c 1265s | 20 | 5876713 | 820027 | 7438 235 | 71 | 168 1268.25/1268.69 c 1267s | 20 | 5892194 | 821227 | 7438 235 | 71 | 168 1270.35/1270.75 c 1269s | 20 | 5906647 | 822227 | 7438 235 | 71 | 168 1272.34/1272.79 c 1271s | 20 | 5917070 | 823327 | 7438 235 | 71 | 168 1274.54/1274.91 c 1273s | 20 | 5929482 | 824427 | 7438 236 | 71 | 168 1276.64/1277.02 c 1275s | 20 | 5933990 | 825727 | 7438 236 | 71 | 168 1278.64/1279.07 c 1277s | 20 | 5940542 | 826827 | 7438 236 | 71 | 168 1280.74/1281.11 c 1279s | 20 | 5954484 | 828127 | 7438 236 | 71 | 168 1282.74/1283.19 c 1281s | 20 | 5964161 | 829427 | 7438 237 | 71 | 168 1284.84/1285.25 c 1283s | 20 | 5973596 | 830627 | 7438 237 | 71 | 168 1286.85/1287.29 c 1285s | 20 | 5988183 | 831827 | 7438 237 | 71 | 168 1288.95/1289.33 c 1288s | 20 | 6000991 | 833227 | 7438 238 | 71 | 168 1291.04/1291.40 c 1290s | 20 | 6011326 | 834627 | 7438 238 | 71 | 168 1293.04/1293.49 c 1292s | 20 | 6021601 | 835827 | 7438 238 | 71 | 168 1295.14/1295.53 c 1294s | 20 | 6033393 | 836927 | 7438 239 | 71 | 168 1297.24/1297.69 c 1296s | 20 | 6046846 | 838127 | 7438 239 | 71 | 168 1299.33/1299.70 c 1298s | 20 | 6053222 | 839027 | 7438 239 | 71 | 168 1301.33/1301.77 c 1300s | 20 | 6059949 | 840027 | 7438 239 | 71 | 168 1303.34/1303.79 c 1302s | 20 | 6068926 | 841027 | 7438 239 | 71 | 168 1305.54/1305.91 c 1304s | 20 | 6081370 | 842227 | 7438 240 | 71 | 168 1307.53/1307.92 c 1306s | 20 | 6090201 | 843227 | 7438 240 | 71 | 168 1309.53/1309.94 c 1308s | 20 | 6099448 | 844227 | 7438 240 | 71 | 168 1311.53/1311.99 c 1310s | 20 | 6109680 | 845927 | 7438 241 | 71 | 168 1313.73/1314.12 c 1312s | 20 | 6118697 | 847427 | 7438 241 | 71 | 168 1315.83/1316.27 c 1314s | 20 | 6130387 | 848527 | 7438 241 | 71 | 168 1318.02/1318.47 c 1317s | 20 | 6143512 | 849727 | 7438 242 | 71 | 168 1320.12/1320.58 c 1319s | 20 | 6151599 | 850727 | 7438 242 | 71 | 168 1322.22/1322.69 c 1321s | 20 | 6165035 | 851727 | 7438 242 | 71 | 168 1324.42/1324.86 c 1323s | 20 | 6177101 | 853027 | 7438 242 | 71 | 168 1326.62/1327.08 c 1325s | 20 | 6185702 | 854027 | 7438 243 | 71 | 168 1328.72/1329.17 c 1327s | 20 | 6199338 | 855227 | 7438 243 | 71 | 168 1330.72/1331.18 c 1329s | 20 | 6210335 | 856427 | 7438 243 | 71 | 168 1332.82/1333.29 c 1331s | 20 | 6221583 | 857627 | 7438 243 | 71 | 168 1335.02/1335.45 c 1334s | 20 | 6235045 | 858727 | 7438 244 | 71 | 168 1337.22/1337.66 c 1336s | 20 | 6247046 | 859927 | 7438 244 | 71 | 168 1339.31/1339.76 c 1338s | 20 | 6255767 | 861127 | 7438 244 | 71 | 168 1341.41/1341.89 c 1340s | 20 | 6263455 | 862227 | 7438 244 | 71 | 168 1343.51/1343.98 c 1342s | 20 | 6273344 | 863327 | 7438 245 | 71 | 168 1345.61/1346.05 c 1344s | 20 | 6282830 | 864527 | 7438 245 | 71 | 168 1347.71/1348.10 c 1346s | 20 | 6292469 | 865427 | 7438 245 | 71 | 168 1349.81/1350.21 c 1348s | 20 | 6305414 | 866527 | 7438 245 | 71 | 168 1351.81/1352.25 c 1350s | 20 | 6317956 | 867827 | 7438 246 | 71 | 168 1353.91/1354.32 c 1353s | 20 | 6327892 | 869127 | 7438 246 | 71 | 168 1355.91/1356.39 c 1355s | 20 | 6339020 | 870327 | 7438 246 | 71 | 168 1358.00/1358.44 c 1357s | 20 | 6348094 | 871627 | 7438 247 | 71 | 168 1360.10/1360.53 c 1359s | 20 | 6359436 | 872827 | 7438 247 | 71 | 168 1362.20/1362.65 c 1361s | 20 | 6369286 | 874027 | 7438 247 | 71 | 168 1364.50/1364.94 c 1363s | 20 | 6385754 | 874827 | 7438 247 | 71 | 168 1366.50/1366.99 c 1365s | 20 | 6396677 | 876027 | 7438 248 | 71 | 168 1368.60/1369.06 c 1367s | 20 | 6406021 | 877327 | 7438 248 | 71 | 168 1370.60/1371.06 c 1369s | 20 | 6412769 | 878527 | 7438 248 | 71 | 168 1372.70/1373.12 c 1371s | 20 | 6421825 | 879527 | 7438 248 | 71 | 168 1374.70/1375.17 c 1373s | 20 | 6433344 | 880927 | 7438 249 | 71 | 168 1376.90/1377.34 c 1376s | 20 | 6442561 | 882427 | 7438 249 | 71 | 168 1378.99/1379.46 c 1378s | 20 | 6456981 | 883627 | 7438 249 | 71 | 168 1381.09/1381.58 c 1380s | 20 | 6466645 | 884627 | 7438 250 | 71 | 168 1383.19/1383.68 c 1382s | 20 | 6479687 | 885727 | 7438 250 | 71 | 168 1385.19/1385.68 c 1384s | 20 | 6487784 | 886927 | 7438 250 | 71 | 168 1387.29/1387.72 c 1386s | 20 | 6493243 | 887927 | 7438 250 | 71 | 168 1389.39/1389.84 c 1388s | 20 | 6503506 | 889227 | 7438 251 | 71 | 168 1391.49/1391.91 c 1390s | 20 | 6513311 | 890427 | 7438 251 | 71 | 168 1393.59/1394.02 c 1392s | 20 | 6522865 | 891527 | 7438 251 | 71 | 168 1395.60/1396.07 c 1394s | 20 | 6535119 | 892627 | 7438 252 | 71 | 168 1397.69/1398.20 c 1396s | 20 | 6547035 | 894127 | 7438 252 | 71 | 168 1399.79/1400.24 c 1398s | 20 | 6562114 | 895227 | 7438 252 | 71 | 168 1401.79/1402.24 c 1400s | 20 | 6575267 | 896227 | 7438 252 | 71 | 168 1403.89/1404.34 c 1403s | 20 | 6587211 | 897427 | 7438 253 | 71 | 168 1405.89/1406.37 c 1405s | 20 | 6599098 | 898427 | 7438 253 | 71 | 168 1407.99/1408.49 c 1407s | 20 | 6610150 | 899527 | 7438 253 | 71 | 168 1410.19/1410.69 c 1409s | 20 | 6617809 | 900827 | 7438 253 | 71 | 168 1412.29/1412.75 c 1411s | 20 | 6625384 | 901927 | 7438 254 | 71 | 168 1414.49/1414.98 c 1413s | 20 | 6637444 | 903527 | 7438 254 | 71 | 168 1416.69/1417.15 c 1415s | 20 | 6647291 | 904527 | 7438 254 | 71 | 168 1418.69/1419.19 c 1417s | 20 | 6656257 | 905627 | 7438 255 | 71 | 168 1420.89/1421.34 c 1420s | 20 | 6665723 | 906727 | 7438 255 | 71 | 168 1423.09/1423.55 c 1422s | 20 | 6677992 | 907827 | 7438 255 | 71 | 168 1425.18/1425.69 c 1424s | 20 | 6688251 | 908827 | 7438 255 | 71 | 168 1427.28/1427.70 c 1426s | 20 | 6700457 | 909727 | 7438 256 | 71 | 168 1429.38/1429.84 c 1428s | 20 | 6713317 | 910827 | 7438 256 | 71 | 168 1431.58/1432.07 c 1430s | 20 | 6722756 | 912327 | 7438 256 | 71 | 168 1433.68/1434.19 c 1432s | 20 | 6729202 | 913227 | 7438 256 | 71 | 168 1435.78/1436.26 c 1434s | 20 | 6739200 | 914327 | 7438 257 | 71 | 168 1437.88/1438.37 c 1437s | 20 | 6750255 | 915627 | 7438 257 | 71 | 168 1439.98/1440.44 c 1439s | 20 | 6757545 | 917027 | 7438 257 | 71 | 168 1442.08/1442.51 c 1441s | 20 | 6765827 | 918627 | 7438 258 | 71 | 168 1444.09/1444.57 c 1443s | 20 | 6773577 | 920027 | 7438 258 | 71 | 168 1446.08/1446.57 c 1445s | 20 | 6787105 | 921127 | 7438 258 | 71 | 168 1448.08/1448.60 c 1447s | 20 | 6797203 | 922527 | 7438 259 | 71 | 168 1450.28/1450.72 c 1449s | 20 | 6804466 | 923927 | 7438 259 | 71 | 168 1452.48/1452.91 c 1451s | 20 | 6817285 | 925127 | 7438 259 | 71 | 168 1454.48/1454.98 c 1453s | 20 | 6825074 | 926127 | 7438 259 | 71 | 168 1456.58/1457.00 c 1455s | 20 | 6833347 | 927127 | 7438 260 | 71 | 168 1458.88/1459.32 c 1458s | 20 | 6841021 | 928227 | 7438 260 | 71 | 168 1460.88/1461.32 c 1460s | 20 | 6850627 | 929327 | 7438 260 | 71 | 168 1462.98/1463.41 c 1462s | 20 | 6859901 | 930427 | 7438 260 | 71 | 168 1465.08/1465.52 c 1464s | 20 | 6871534 | 931627 | 7438 261 | 71 | 168 1467.08/1467.56 c 1466s | 20 | 6885115 | 932927 | 7438 261 | 71 | 168 1469.08/1469.56 c 1468s | 20 | 6893949 | 934227 | 7438 261 | 71 | 168 1471.08/1471.56 c 1470s | 20 | 6904307 | 935527 | 7438 262 | 71 | 168 1473.18/1473.67 c 1472s | 20 | 6912913 | 937127 | 7438 262 | 71 | 168 1475.28/1475.75 c 1474s | 20 | 6921150 | 938427 | 7438 262 | 71 | 168 1477.38/1477.85 c 1476s | 20 | 6932075 | 939927 | 7438 263 | 71 | 168 1479.48/1479.97 c 1478s | 20 | 6942155 | 941327 | 7438 263 | 71 | 168 1481.48/1481.97 c 1480s | 20 | 6950513 | 942727 | 7438 263 | 71 | 168 1483.58/1484.02 c 1482s | 20 | 6960546 | 943927 | 7438 264 | 71 | 168 1485.57/1486.05 c 1484s | 20 | 6972429 | 945227 | 7438 264 | 71 | 168 1487.67/1488.17 c 1486s | 20 | 6981534 | 946527 | 7438 264 | 71 | 168 1489.77/1490.26 c 1488s | 20 | 6992708 | 947927 | 7438 264 | 71 | 168 1492.28/1492.75 c 1491s | 20 | 6999018 | 949127 | 7438 265 | 71 | 168 1494.38/1494.86 c 1493s | 20 | 7009208 | 950527 | 7438 265 | 71 | 168 1496.48/1496.95 c 1495s | 20 | 7018105 | 951927 | 7438 265 | 71 | 168 1498.58/1499.08 c 1497s | 20 | 7028658 | 953227 | 7438 266 | 71 | 168 1500.68/1501.14 c 1499s | 20 | 7041543 | 954727 | 7438 266 | 71 | 168 1502.78/1503.29 c 1501s | 20 | 7048719 | 956127 | 7438 266 | 71 | 168 1504.88/1505.36 c 1504s | 20 | 7060509 | 957227 | 7438 267 | 71 | 168 1506.98/1507.45 c 1506s | 20 | 7073297 | 958727 | 7438 267 | 71 | 168 1508.99/1509.47 c 1508s | 20 | 7082969 | 959927 | 7438 267 | 71 | 168 1510.98/1511.50 c 1510s | 20 | 7098044 | 961027 | 7438 268 | 71 | 168 1513.08/1513.51 c 1512s | 20 | 7104971 | 962327 | 7438 268 | 71 | 168 1515.08/1515.52 c 1514s | 20 | 7116066 | 963627 | 7438 268 | 71 | 168 1517.08/1517.58 c 1516s | 20 | 7125720 | 965027 | 7438 268 | 71 | 168 1519.28/1519.73 c 1518s | 20 | 7133063 | 966327 | 7438 269 | 71 | 168 1521.38/1521.80 c 1520s | 20 | 7144461 | 967427 | 7438 269 | 71 | 168 1523.48/1523.93 c 1522s | 20 | 7156754 | 968527 | 7438 269 | 71 | 168 1525.58/1526.04 c 1524s | 20 | 7165808 | 969627 | 7438 270 | 71 | 168 1527.68/1528.11 c 1526s | 20 | 7168470 | 970227 | 7438 270 | 71 | 168 1529.67/1530.20 c 1528s | 20 | 7177954 | 971327 | 7438 270 | 71 | 168 1531.87/1532.36 c 1531s | 20 | 7189267 | 972627 | 7438 270 | 71 | 168 1533.87/1534.38 c 1533s | 20 | 7197350 | 973827 | 7438 271 | 71 | 168 1536.07/1536.52 c 1535s | 20 | 7205890 | 975027 | 7438 271 | 71 | 168 1538.17/1538.67 c 1537s | 20 | 7215102 | 976227 | 7438 271 | 71 | 168 1540.37/1540.81 c 1539s | 20 | 7226357 | 977227 | 7438 271 | 71 | 168 1542.47/1542.92 c 1541s | 20 | 7239770 | 978227 | 7438 272 | 71 | 168 1544.57/1545.04 c 1543s | 20 | 7252471 | 979527 | 7438 272 | 71 | 168 1546.57/1547.06 c 1545s | 20 | 7259139 | 980727 | 7438 272 | 71 | 168 1548.67/1549.13 c 1547s | 20 | 7269446 | 982027 | 7438 272 | 71 | 168 1550.67/1551.20 c 1549s | 20 | 7277068 | 983227 | 7438 273 | 71 | 168 1552.77/1553.30 c 1551s | 20 | 7284168 | 984227 | 7438 273 | 71 | 168 1554.87/1555.39 c 1554s | 20 | 7292836 | 985527 | 7438 273 | 71 | 168 1556.97/1557.43 c 1556s | 20 | 7302704 | 986527 | 7438 274 | 71 | 168 1559.07/1559.54 c 1558s | 20 | 7313174 | 987527 | 7438 274 | 71 | 168 1561.16/1561.64 c 1560s | 20 | 7325474 | 988627 | 7438 274 | 71 | 168 1563.16/1563.66 c 1562s | 20 | 7334413 | 989427 | 7438 274 | 71 | 168 1565.26/1565.75 c 1564s | 20 | 7345301 | 990627 | 7438 274 | 71 | 168 1567.27/1567.78 c 1566s | 20 | 7356598 | 991727 | 7438 275 | 71 | 168 1569.37/1569.83 c 1568s | 20 | 7367274 | 992827 | 8182 275 | 71 | 168 1571.46/1571.95 c 1570s | 20 | 7377050 | 994127 | 8182 275 | 71 | 168 1573.66/1574.16 c 1572s | 20 | 7384305 | 995327 | 8182 275 | 71 | 168 1576.16/1576.69 c 1575s | 20 | 7389710 | 996027 | 8182 276 | 71 | 168 1578.27/1578.73 c 1577s | 20 | 7402735 | 997127 | 8182 276 | 71 | 168 1580.26/1580.73 c 1579s | 20 | 7408998 | 998027 | 8182 276 | 71 | 168 1582.36/1582.86 c 1581s | 20 | 7420235 | 998927 | 8182 276 | 71 | 168 1584.46/1584.93 c 1583s | 20 | 7433755 | 1000327 | 8182 276 | 71 | 168 1584.46/1584.95 c 1583s | 21 | 7433799 | 1000345 | 8182 276 | 71 | 168 1586.56/1587.09 c 1585s | 21 | 7444446 | 1001745 | 8182 277 | 71 | 168 1588.76/1589.20 c 1587s | 21 | 7452745 | 1003345 | 8182 277 | 71 | 168 1590.86/1591.32 c 1590s | 21 | 7460564 | 1004745 | 8182 277 | 71 | 168 1592.86/1593.34 c 1592s | 21 | 7470523 | 1005945 | 8182 278 | 71 | 168 1594.96/1595.44 c 1594s | 21 | 7479411 | 1007445 | 8182 278 | 71 | 168 1596.96/1597.47 c 1596s | 21 | 7489836 | 1008645 | 8182 278 | 71 | 168 1599.06/1599.52 c 1598s | 21 | 7499149 | 1009745 | 8182 279 | 71 | 168 1601.16/1601.63 c 1600s | 21 | 7509819 | 1011345 | 8182 279 | 71 | 168 1603.26/1603.77 c 1602s | 21 | 7516853 | 1012745 | 8182 279 | 71 | 168 1605.36/1605.85 c 1604s | 21 | 7527636 | 1014145 | 8182 279 | 71 | 168 1607.56/1608.01 c 1606s | 21 | 7538073 | 1015345 | 8182 280 | 71 | 168 1609.56/1610.09 c 1608s | 21 | 7546483 | 1016645 | 8182 280 | 71 | 168 1611.66/1612.12 c 1610s | 21 | 7558295 | 1017845 | 8182 280 | 71 | 168 1613.75/1614.24 c 1612s | 21 | 7570811 | 1018945 | 8182 280 | 71 | 168 1615.85/1616.34 c 1615s | 21 | 7583285 | 1020445 | 8182 281 | 71 | 168 1617.86/1618.37 c 1617s | 21 | 7589582 | 1021845 | 8182 281 | 71 | 168 1619.97/1620.46 c 1619s | 21 | 7597357 | 1023145 | 8182 281 | 71 | 168 1622.06/1622.55 c 1621s | 21 | 7608875 | 1024345 | 8182 282 | 71 | 168 1624.06/1624.59 c 1623s | 21 | 7618519 | 1025545 | 8182 282 | 71 | 168 1626.16/1626.64 c 1625s | 21 | 7625998 | 1026845 | 8182 282 | 71 | 168 1628.36/1628.89 c 1627s | 21 | 7636320 | 1028145 | 8182 282 | 71 | 168 1630.46/1630.97 c 1629s | 21 | 7642519 | 1029145 | 8182 283 | 71 | 168 1632.56/1633.06 c 1631s | 21 | 7651307 | 1030145 | 8182 283 | 71 | 168 1634.76/1635.28 c 1633s | 21 | 7662939 | 1031345 | 8182 283 | 71 | 168 1636.96/1637.41 c 1636s | 21 | 7672075 | 1032545 | 8182 283 | 71 | 168 1638.96/1639.49 c 1638s | 21 | 7682077 | 1033845 | 8182 284 | 71 | 168 1640.97/1641.49 c 1640s | 21 | 7690048 | 1034845 | 8182 284 | 71 | 168 1643.17/1643.64 c 1642s | 21 | 7698765 | 1036245 | 8182 284 | 71 | 168 1645.16/1645.68 c 1644s | 21 | 7708611 | 1037645 | 8182 284 | 71 | 168 1647.26/1647.79 c 1646s | 21 | 7712673 | 1038845 | 8182 285 | 71 | 168 1649.46/1649.96 c 1648s | 21 | 7722230 | 1040145 | 8182 285 | 71 | 168 1651.66/1652.11 c 1650s | 21 | 7732287 | 1041145 | 8182 285 | 71 | 168 1653.76/1654.25 c 1652s | 21 | 7738231 | 1042345 | 8182 286 | 71 | 168 1655.86/1656.34 c 1655s | 21 | 7750438 | 1043345 | 8182 286 | 71 | 168 1657.96/1658.48 c 1657s | 21 | 7760373 | 1044745 | 8182 286 | 71 | 168 1659.96/1660.49 c 1659s | 21 | 7771274 | 1045845 | 8182 286 | 71 | 168 1662.16/1662.64 c 1661s | 21 | 7777901 | 1046945 | 8182 287 | 71 | 168 1664.26/1664.77 c 1663s | 21 | 7785482 | 1048245 | 8182 287 | 71 | 168 1666.26/1666.78 c 1665s | 21 | 7788469 | 1049245 | 8182 287 | 71 | 168 1668.46/1668.91 c 1667s | 21 | 7797318 | 1050445 | 8182 287 | 71 | 168 1670.46/1670.92 c 1669s | 21 | 7807063 | 1051545 | 8182 287 | 71 | 168 1672.45/1672.94 c 1671s | 21 | 7818676 | 1052745 | 8182 288 | 71 | 168 1674.65/1675.10 c 1673s | 21 | 7827006 | 1054145 | 8182 288 | 71 | 168 1676.65/1677.13 c 1675s | 21 | 7836441 | 1055345 | 8182 288 | 71 | 168 1678.75/1679.25 c 1677s | 21 | 7850064 | 1056645 | 8182 289 | 71 | 168 1680.75/1681.27 c 1679s | 21 | 7858802 | 1057945 | 8182 289 | 71 | 168 1682.85/1683.30 c 1681s | 21 | 7866798 | 1059145 | 8182 289 | 71 | 168 1684.86/1685.36 c 1684s | 21 | 7873065 | 1060245 | 8182 289 | 71 | 168 1687.06/1687.54 c 1686s | 21 | 7882074 | 1061545 | 8182 290 | 71 | 168 1689.15/1689.65 c 1688s | 21 | 7893940 | 1063045 | 8182 290 | 71 | 168 1691.25/1691.79 c 1690s | 21 | 7902165 | 1064345 | 8182 290 | 71 | 168 1693.35/1693.86 c 1692s | 21 | 7913747 | 1065445 | 8182 290 | 71 | 168 1695.65/1696.10 c 1694s | 21 | 7926095 | 1066545 | 8182 291 | 71 | 168 1697.65/1698.18 c 1696s | 21 | 7934367 | 1067945 | 8182 291 | 71 | 168 1699.75/1700.24 c 1698s | 21 | 7945488 | 1069245 | 8182 291 | 71 | 168 1701.75/1702.25 c 1700s | 21 | 7954025 | 1070345 | 8182 292 | 71 | 168 1703.85/1704.34 c 1703s | 21 | 7965791 | 1071745 | 8182 292 | 71 | 168 1705.95/1706.44 c 1705s | 21 | 7970863 | 1073045 | 8182 292 | 71 | 168 1708.06/1708.51 c 1707s | 21 | 7976596 | 1074245 | 8182 292 | 71 | 168 1710.16/1710.66 c 1709s | 21 | 7987329 | 1075345 | 8182 293 | 71 | 168 1712.25/1712.70 c 1711s | 21 | 7999853 | 1076545 | 8182 293 | 71 | 168 1714.25/1714.74 c 1713s | 21 | 8010470 | 1077445 | 8182 293 | 71 | 168 1716.35/1716.85 c 1715s | 21 | 8023257 | 1078745 | 8182 293 | 71 | 168 1718.45/1718.92 c 1717s | 21 | 8033439 | 1080045 | 8182 294 | 71 | 168 1720.55/1721.05 c 1719s | 21 | 8042295 | 1081245 | 8182 294 | 71 | 168 1722.55/1723.08 c 1721s | 21 | 8048859 | 1082345 | 8182 294 | 71 | 168 1724.64/1725.11 c 1723s | 21 | 8057554 | 1083745 | 8182 294 | 71 | 168 1726.65/1727.18 c 1725s | 21 | 8069011 | 1084845 | 8182 295 | 71 | 168 1728.74/1729.20 c 1727s | 21 | 8075809 | 1086245 | 8182 295 | 71 | 168 1730.74/1731.29 c 1729s | 21 | 8084168 | 1087645 | 8182 295 | 71 | 168 1732.94/1733.44 c 1732s | 21 | 8094662 | 1088945 | 8182 296 | 71 | 168 1735.04/1735.56 c 1734s | 21 | 8100995 | 1090445 | 8182 296 | 71 | 168 1737.14/1737.64 c 1736s | 21 | 8108927 | 1091745 | 8182 296 | 71 | 168 1739.14/1739.64 c 1738s | 21 | 8117270 | 1093045 | 8182 296 | 71 | 168 1741.14/1741.69 c 1740s | 21 | 8124340 | 1094245 | 8182 297 | 71 | 168 1743.25/1743.72 c 1742s | 21 | 8135749 | 1095445 | 8182 297 | 71 | 168 1745.35/1745.82 c 1744s | 21 | 8147108 | 1096745 | 8182 297 | 71 | 168 1747.44/1748.00 c 1746s | 21 | 8155034 | 1098045 | 8182 297 | 71 | 168 1749.54/1750.03 c 1748s | 21 | 8163210 | 1099345 | 8182 298 | 71 | 168 1751.64/1752.19 c 1750s | 21 | 8171848 | 1100645 | 8182 298 | 71 | 168 1753.74/1754.27 c 1752s | 21 | 8180820 | 1101945 | 8182 298 | 71 | 168 1755.94/1756.41 c 1755s | 21 | 8189977 | 1103245 | 8182 299 | 71 | 168 1757.94/1758.49 c 1757s | 21 | 8200874 | 1104745 | 8182 299 | 71 | 168 1760.04/1760.58 c 1759s | 21 | 8211805 | 1106145 | 8182 299 | 71 | 168 1762.04/1762.59 c 1761s | 21 | 8223808 | 1107645 | 8182 300 | 71 | 168 1764.24/1764.74 c 1763s | 21 | 8231331 | 1109045 | 8182 300 | 71 | 168 1766.25/1766.76 c 1765s | 21 | 8237252 | 1110145 | 8182 300 | 71 | 168 1768.24/1768.77 c 1767s | 21 | 8247037 | 1111145 | 8182 300 | 71 | 168 1770.44/1770.91 c 1769s | 21 | 8255961 | 1112445 | 8182 301 | 71 | 168 1772.44/1772.93 c 1771s | 21 | 8265963 | 1113845 | 8182 301 | 71 | 168 1774.44/1774.97 c 1773s | 21 | 8276492 | 1115145 | 8182 301 | 71 | 168 1776.63/1777.13 c 1775s | 21 | 8285028 | 1116645 | 8182 301 | 71 | 168 1778.73/1779.27 c 1777s | 21 | 8291283 | 1118045 | 8182 302 | 71 | 168 1780.83/1781.31 c 1779s | 21 | 8296595 | 1119345 | 8182 302 | 71 | 168 1782.93/1783.41 c 1782s | 21 | 8307437 | 1120745 | 8182 302 | 71 | 168 1785.04/1785.57 c 1784s | 21 | 8314409 | 1122345 | 8182 303 | 71 | 168 1787.14/1787.70 c 1786s | 21 | 8319885 | 1123645 | 8182 303 | 71 | 168 1789.23/1789.79 c 1788s | 21 | 8329778 | 1124845 | 8182 303 | 71 | 168 1791.33/1791.86 c 1790s | 21 | 8337123 | 1126145 | 8182 304 | 71 | 168 1793.43/1793.93 c 1792s | 21 | 8342253 | 1127645 | 8182 304 | 71 | 168 1795.43/1795.95 c 1794s | 21 | 8353168 | 1128845 | 8182 304 | 71 | 168 1797.53/1798.09 c 1796s | 21 | 8364666 | 1130045 | 8182 304 | 71 | 168 1799.63/1800.10 c 1798s | 21 | 8372352 | 1131145 | 8182 305 | 71 | 168
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-4079485-1465231102/watcher-4079485-1465231102 -o /tmp/evaluation-result-4079485-1465231102/solver-4079485-1465231102 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079485-1465231102.opb pid=32204 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.25 2.23 2.19 4/179 32207 /proc/meminfo: memFree=30092348/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=702908 CPUtime=0 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 2614 0 0 0 0 0 0 0 20 0 4 0 105043377 719777792 3486 33554432000 4194304 16246674 140735403286944 140735403286368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 176239 3496 441 2943 0 173133 0 [pid=32207/tid=32208] ppid=32204 vsize=720316 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 737603584 3556 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=725436 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 742846464 3573 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=729532 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105043377 747040768 3591 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.25 2.23 2.19 4/179 32207 /proc/meminfo: memFree=30092348/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 26605 0 0 0 6 3 0 0 20 0 4 0 105043377 1333334016 27415 33554432000 4194304 16246674 140735403286944 140735403286256 7889302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 325521 27429 798 2943 0 322415 0 [pid=32207/tid=32208] ppid=32204 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1333334016 27442 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1333334016 27454 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1333334016 27465 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200496 s] /proc/loadavg: 2.25 2.23 2.19 4/179 32207 /proc/meminfo: memFree=30092348/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1303108 CPUtime=0.18 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 45979 0 0 0 13 5 0 0 20 0 4 0 105043377 1334382592 46788 33554432000 4194304 16246674 140735403286944 140735403286256 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 325777 46794 870 2943 0 322671 0 [pid=32207/tid=32208] ppid=32204 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1334382592 46797 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1334382592 46799 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1334382592 46802 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1303108 [startup+0.300452 s] /proc/loadavg: 2.25 2.23 2.19 4/179 32207 /proc/meminfo: memFree=30092348/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=0.29 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 47434 0 0 0 23 6 0 0 20 0 4 0 105043377 1339625472 48243 33554432000 4194304 16246674 140735403286944 140735403286256 14073233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 48243 894 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 48243 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 48243 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 48243 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1308228 [startup+0.700399 s] /proc/loadavg: 2.25 2.23 2.19 4/179 32207 /proc/meminfo: memFree=30092348/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=0.69 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 53116 0 0 0 62 7 0 0 20 0 4 0 105043377 1339625472 53925 33554432000 4194304 16246674 140735403286944 140735403286256 5831811 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 53925 910 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 53925 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 53925 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 53925 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1308228 [startup+1.50039 s] /proc/loadavg: 2.25 2.23 2.19 4/183 32211 /proc/meminfo: memFree=28934664/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 86963 0 0 0 137 12 0 0 20 0 4 0 105043377 1339625472 87772 33554432000 4194304 16246674 140735403286944 140735403269936 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 87772 910 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 87772 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 87772 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 87772 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10037 s] /proc/loadavg: 2.31 2.24 2.19 3/183 32260 /proc/meminfo: memFree=29411688/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=3.08 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 251736 0 0 0 275 33 0 0 20 0 4 0 105043377 1339625472 252545 33554432000 4194304 16246674 140735403286944 140735403268864 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 252546 910 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 252547 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 252547 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 252548 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1308228 [startup+6.30038 s] /proc/loadavg: 2.31 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28294228/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 268261 0 0 0 593 36 0 0 20 0 4 0 105043377 1339625472 269070 33554432000 4194304 16246674 140735403286944 140735403268864 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 269070 910 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269070 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269070 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269070 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7003 s] /proc/loadavg: 2.26 2.23 2.19 3/183 32260 /proc/meminfo: memFree=28179820/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 268265 0 0 0 1233 36 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 140735403268864 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 269074 914 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5074 s] /proc/loadavg: 2.29 2.24 2.19 3/183 32260 /proc/meminfo: memFree=28171804/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1308228 CPUtime=25.49 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 268265 0 0 0 2513 36 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 140735403268864 6020494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327057 269074 914 2943 0 323951 0 [pid=32207/tid=32208] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1339625472 269074 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1004 s] /proc/loadavg: 2.34 2.25 2.19 3/183 32260 /proc/meminfo: memFree=28170004/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1311300 CPUtime=51.08 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 268847 0 0 0 5072 36 0 0 20 0 4 0 105043377 1342771200 269656 33554432000 4194304 16246674 140735403286944 140735403268864 5661595 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 327825 269656 914 2943 0 324719 0 [pid=32207/tid=32208] ppid=32204 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1342771200 269656 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1342771200 269656 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1342771200 269656 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.26 2.24 2.19 3/184 32264 /proc/meminfo: memFree=28164356/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1315396 CPUtime=102.27 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 269990 0 0 0 10190 37 0 0 20 0 4 0 105043377 1346965504 270799 33554432000 4194304 16246674 140735403286944 140735403268864 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 328849 270799 914 2943 0 325743 0 [pid=32207/tid=32208] ppid=32204 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1346965504 270799 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1346965504 270799 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1346965504 270799 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1321540 [startup+1302.3 s] /proc/loadavg: 2.11 2.16 2.17 3/184 32294 /proc/meminfo: memFree=28131608/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1301.93 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271871 0 0 0 130152 41 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 140735403268864 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272406 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1321540 [startup+1362.3 s] /proc/loadavg: 2.24 2.19 2.18 3/184 32318 /proc/meminfo: memFree=28121340/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1361.9 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271907 0 0 0 136149 41 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 140735403268864 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272406 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272406 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1321540 [startup+1422.3 s] /proc/loadavg: 2.19 2.18 2.18 3/183 32320 /proc/meminfo: memFree=28122280/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1421.88 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 142147 41 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1321540 [startup+1482.3 s] /proc/loadavg: 2.23 2.20 2.18 3/183 32321 /proc/meminfo: memFree=28122344/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1481.87 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 148146 41 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1321540 [startup+1542.3 s] /proc/loadavg: 2.18 2.19 2.18 3/183 32322 /proc/meminfo: memFree=28122328/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1541.88 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 154146 42 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 32323 /proc/meminfo: memFree=28122636/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1601.86 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 160144 42 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 5711636 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1321540 [startup+1662.31 s] /proc/loadavg: 2.24 2.22 2.18 3/183 32324 /proc/meminfo: memFree=28122548/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1661.86 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 166143 43 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 2.27 2.23 2.19 4/183 32326 /proc/meminfo: memFree=28122112/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1721.85 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 172142 43 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268800 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 2.16 2.21 2.18 3/183 32327 /proc/meminfo: memFree=28121676/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1781.83 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 178140 43 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 6837232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.12 2.20 2.18 4/183 32327 /proc/meminfo: memFree=28121524/32872528 swapFree=17892/1720544 [pid=32207] ppid=32204 vsize=1321540 CPUtime=1800.03 cores=0,2,4,6 /proc/32207/stat : 32207 (toysat) R 32204 32207 31655 0 -1 4202496 271917 0 0 0 179960 43 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 140735403268864 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/32207/statm: 330385 272409 915 2943 0 327279 0 [pid=32207/tid=32208] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32208/stat : 32208 (toysat) S 32204 32207 31655 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763222818032 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=32207/tid=32209] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32209/stat : 32209 (toysat) S 32204 32207 31655 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763134737648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=32207/tid=32210] ppid=32204 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/32207/task/32210/stat : 32210 (toysat) S 32204 32207 31655 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105043377 1353256960 272409 33554432000 4194304 16246674 140735403286944 139763124264112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1321540 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 32207 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.51 CPU time (s): 1800.05 CPU user time (s): 1799.61 CPU system time (s): 0.434933 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.61 system time used= 0.434933 maximum resident set size= 1089636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271917 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= 339 involuntary context switches= 1948 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.81127 second user time and 6.80097 second system time The end
Begin job on node117 at 2016-06-06 18:38:22 IDJOB=4079485 IDBENCH=2039 IDSOLVER=2542 FILE ID=node117/4079485-1465231102 RUNJOBID= node117-1465227498-31671 PBS_JOBID= 19843241 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079485-1465231102/watcher-4079485-1465231102 -o /tmp/evaluation-result-4079485-1465231102/solver-4079485-1465231102 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465227498-31671 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079485-1465231102.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED=172191047 node117.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 : 2667.088 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 : 5334.17 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 : 2667.088 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 : 2667.088 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 : 2667.088 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.56 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 : 2667.088 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.54 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.088 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.53 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30106276 kB Buffers: 20772 kB Cached: 96636 kB SwapCached: 1404 kB Active: 300772 kB Inactive: 41264 kB Active(anon): 224924 kB Inactive(anon): 2180 kB Active(file): 75848 kB Inactive(file): 39084 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67098972 kB Dirty: 33440 kB Writeback: 0 kB AnonPages: 1945156 kB Mapped: 10152 kB Shmem: 0 kB Slab: 569116 kB SReclaimable: 12296 kB SUnreclaim: 556820 kB KernelStack: 1464 kB PageTables: 9520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2848996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1705984 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node117 at 2016-06-06 19:08:23