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.07 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
| MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 85 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 63 |
| Optimality of the best value was proved | YES |
| Number of variables | 4676 |
| Total number of constraints | 509 |
| Number of constraints which are clauses | 509 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 166 |
| Number of terms in the objective function | 4676 |
| 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 | 4676 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4676 |
| Number of bits of the biggest sum of numbers | 13 |
| 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:41:51+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-4079486-1465231311.opb"] 0.00/0.01 c use --random-gen="3824036441 3398278934 1428547363 172362446 3494996479 1159230753 3744005893 3332156850 3087175273 471630659 4173959782 2284455454 1135150337 937451727 3044566715 230195943 377620 1899289379 2046975403 4002557580 2832122805 2962693550 3277532292 2785158638 632854209 3380173654 1762900530 4109247702 1599571899 3638696377 1126632433 1753710075 3311124522 3898006059 817377201 210406821 3673043210 2957213062 1375566285 2672557109 2731513547 2664752601 968617108 3356922266 2599357783 1082480024 228681625 3242516014 4273652470 2767538634 1521588687 2778378169 3816796202 1482702843 399646928 3944107848 1054608529 681472018 593637511 432363429 2437181734 2342819063 2600331183 3864729393 1492520253 2363710480 1938862001 422010223 2828596613 3684966880 721882664 3383354875 1380602131 3772755493 1769544953 2626954713 3660689321 4169510582 2409675928 3699460501 787753868 1881366675 1500112738 717453957 416302694 3180740062 183233269 402043495 3286003179 1339969110 50541250 3716566409 3984369142 2604411280 1887634793 1950131978 3406102929 1512580144 207994949 1565035246 104478933 1739528742 2540756014 212907860 1505700235 3501724507 3582484423 4267218052 2261396921 4067190986 3106457717 1481060343 1947005009 3088884222 2096059358 3412403767 1265792428 2379022208 4249164846 407794605 1742605021 1929623991 1273547000 4113123276 2954617728 1031723301 2168468399 354181611 3752913618 668039419 820138985 1022729293 2618542957 2726214289 4248154013 200339712 1875380796 2175669407 1096168243 2206147540 1082350674 1726318886 3210695921 1928813817 3774278536 2241441978 1927538846 462124548 2419740324 853420184 4128341095 1561816780 1951824539 3385454510 3438409549 1320146320 3410725359 4271510626 3793844262 1008659734 764494353 2984747168 1733119082 3498171620 1620745692 2115779317 1192488491 2135397622 762555836 58114981 3748760085 876102529 3708588461 3385173566 2824101077 1130331336 2315129167 4260517272 3531371029 2699052599 1994463918 3636708708 3411879651 3781656934 1552134892 3293216215 4228563935 3162156476 2274066649 1030119867 1447506949 4224638871 44855367 3113956118 636158038 200452184 3414408495 839507922 1589308592 2448679903 557544682 3952496355 3453310095 219312062 1816123956 2235757505 2573460114 1857360057 2154691594 215356516 4041328865 2120439475 70513257 3644289747 520635655 2851509644 1314567475 3391969676 3840408190 3366662907 23341709 2552751456 639236281 3141748654 1422516417 1337320461 4017792444 4233576408 2934438884 2598034288 1089174502 2330417315 3845330137 210324004 2942627694 3115487376 2347666726 3477910211 2137706288 1110207445 3870498962 3395741547 3434943413 4074516117 4113584124 2607994266 3302879666 556981167 2316799876 3661186845 2721062002 1874027489 544184146 2163736974 2380306439 4184532102 255 362436" option to reproduce the execution 0.00/0.07 c #vars 4676 0.00/0.07 c #constraints 509 0.09/0.13 c BCD2: Hardening is enabled. 0.09/0.13 c BCD2: BiasedSearch is enabled. 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 0 0.09/0.14 c 0.0s | 0 | 4676 | 0 | 1728 0 | 0 | 0 0.09/0.14 c #cpu_time = 0.009s 0.09/0.14 c #wall_clock_time = 0.009s 0.09/0.14 c #decision = 4676 0.09/0.14 c #random_decision = 17 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 o 4676 0.09/0.16 c BCD2: updating upper bound: 4676 -> 4675 0.09/0.18 c BCD2: 0 <= obj <= 4675 0.09/0.18 c BCD2: #cores=0, #unrelaxed=4676, #relaxed=0, #hardened=0 0.09/0.18 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 0 0.09/0.19 c 0.0s | 0 | 181 | 0 | 1728 0 | 0 | 0 0.09/0.19 c #cpu_time = 0.002s 0.09/0.19 c #wall_clock_time = 0.002s 0.09/0.19 c #decision = 181 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 8: cost of the new core is >=1 0.09/0.19 c lower bound updated to 1 0.09/0.19 c BCD2: 1 <= obj <= 4675 0.09/0.19 c BCD2: #cores=1, #unrelaxed=4668, #relaxed=8, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 1728 0 | 0 | 1 0.09/0.19 c 0.0s | 0 | 183 | 0 | 1728 0 | 0 | 1 0.09/0.19 c #cpu_time = 0.002s 0.09/0.19 c #wall_clock_time = 0.002s 0.09/0.19 c #decision = 183 0.09/0.19 c #random_decision = 0 0.09/0.19 c #conflict = 0 0.09/0.19 c #restart = 0 0.09/0.19 c BCD2: found a new core of size 3: cost of the new core is >=1 0.09/0.19 c lower bound updated to 2 0.09/0.19 c BCD2: 2 <= obj <= 4675 0.09/0.19 c BCD2: #cores=2, #unrelaxed=4665, #relaxed=11, #hardened=0 0.09/0.19 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.19 c Solving starts ... 0.09/0.19 c ============================[ Search Statistics ]============================ 0.09/0.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.19 c | | | | Limit GC | Var | Constra 0.09/0.19 c ============================================================================= 0.09/0.19 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 2 0.19/0.20 c 0.0s | 0 | 261 | 0 | 1728 0 | 0 | 2 0.19/0.20 c #cpu_time = 0.003s 0.19/0.20 c #wall_clock_time = 0.003s 0.19/0.20 c #decision = 261 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 8: cost of the new core is >=1 0.19/0.20 c lower bound updated to 3 0.19/0.20 c BCD2: 3 <= obj <= 4675 0.19/0.20 c BCD2: #cores=3, #unrelaxed=4657, #relaxed=19, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=4 bias=4/5 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 3 0.19/0.20 c 0.0s | 0 | 374 | 0 | 1728 0 | 0 | 3 0.19/0.20 c #cpu_time = 0.002s 0.19/0.20 c #wall_clock_time = 0.002s 0.19/0.20 c #decision = 374 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.20 c lower bound updated to 4 0.19/0.20 c BCD2: 4 <= obj <= 4675 0.19/0.20 c BCD2: #cores=4, #unrelaxed=4641, #relaxed=35, #hardened=0 0.19/0.20 c BCD2: #sat=1 #unsat=5 bias=5/6 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 4 0.19/0.21 c 0.0s | 0 | 438 | 0 | 1728 0 | 0 | 4 0.19/0.21 c #cpu_time = 0.002s 0.19/0.21 c #wall_clock_time = 0.002s 0.19/0.21 c #decision = 438 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 9: cost of the new core is >=1 0.19/0.21 c lower bound updated to 5 0.19/0.21 c BCD2: 5 <= obj <= 4675 0.19/0.21 c BCD2: #cores=5, #unrelaxed=4632, #relaxed=44, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=6 bias=6/7 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 5 0.19/0.21 c 0.0s | 0 | 433 | 0 | 1728 0 | 0 | 5 0.19/0.21 c #cpu_time = 0.002s 0.19/0.21 c #wall_clock_time = 0.003s 0.19/0.21 c #decision = 433 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 5: cost of the new core is >=1 0.19/0.21 c lower bound updated to 6 0.19/0.21 c BCD2: 6 <= obj <= 4675 0.19/0.21 c BCD2: #cores=6, #unrelaxed=4627, #relaxed=49, #hardened=0 0.19/0.21 c BCD2: #sat=1 #unsat=7 bias=7/8 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 6 0.19/0.21 c 0.0s | 0 | 467 | 0 | 1728 0 | 0 | 6 0.19/0.21 c #cpu_time = 0.003s 0.19/0.21 c #wall_clock_time = 0.003s 0.19/0.21 c #decision = 467 0.19/0.21 c #random_decision = 0 0.19/0.21 c #conflict = 0 0.19/0.21 c #restart = 0 0.19/0.21 c BCD2: found a new core of size 26: cost of the new core is >=1 0.19/0.21 c lower bound updated to 7 0.19/0.22 c BCD2: 7 <= obj <= 4675 0.19/0.22 c BCD2: #cores=7, #unrelaxed=4601, #relaxed=75, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=8 bias=8/9 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 7 0.19/0.22 c 0.0s | 0 | 789 | 0 | 1728 0 | 0 | 7 0.19/0.22 c #cpu_time = 0.003s 0.19/0.22 c #wall_clock_time = 0.003s 0.19/0.22 c #decision = 789 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 c BCD2: found a new core of size 21: cost of the new core is >=1 0.19/0.22 c lower bound updated to 8 0.19/0.22 c BCD2: 8 <= obj <= 4675 0.19/0.22 c BCD2: #cores=8, #unrelaxed=4580, #relaxed=96, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=9 bias=9/10 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 8 0.19/0.23 c 0.0s | 0 | 1676 | 0 | 1728 0 | 0 | 8 0.19/0.23 c #cpu_time = 0.003s 0.19/0.23 c #wall_clock_time = 0.003s 0.19/0.23 c #decision = 1676 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 13: cost of the new core is >=1 0.19/0.23 c lower bound updated to 9 0.19/0.23 c BCD2: 9 <= obj <= 4675 0.19/0.23 c BCD2: #cores=9, #unrelaxed=4567, #relaxed=109, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=10 bias=10/11 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 9 0.19/0.23 c 0.0s | 0 | 1725 | 0 | 1728 0 | 0 | 9 0.19/0.23 c #cpu_time = 0.003s 0.19/0.23 c #wall_clock_time = 0.003s 0.19/0.23 c #decision = 1725 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 0 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 28: cost of the new core is >=1 0.19/0.23 c lower bound updated to 10 0.19/0.23 c BCD2: 10 <= obj <= 4675 0.19/0.23 c BCD2: #cores=10, #unrelaxed=4539, #relaxed=137, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=11 bias=11/12 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 10 0.19/0.24 c 0.0s | 0 | 1997 | 0 | 1728 0 | 0 | 10 0.19/0.24 c #cpu_time = 0.004s 0.19/0.24 c #wall_clock_time = 0.004s 0.19/0.24 c #decision = 1997 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 10: cost of the new core is >=1 0.19/0.24 c lower bound updated to 11 0.19/0.24 c BCD2: 11 <= obj <= 4675 0.19/0.24 c BCD2: #cores=11, #unrelaxed=4529, #relaxed=147, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=12 bias=12/13 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 11 0.19/0.24 c 0.0s | 0 | 2155 | 0 | 1728 0 | 0 | 11 0.19/0.24 c #cpu_time = 0.003s 0.19/0.24 c #wall_clock_time = 0.003s 0.19/0.24 c #decision = 2155 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 0 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: found a new core of size 30: cost of the new core is >=1 0.19/0.24 c lower bound updated to 12 0.19/0.24 c BCD2: 12 <= obj <= 4675 0.19/0.24 c BCD2: #cores=12, #unrelaxed=4499, #relaxed=177, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=13 bias=13/14 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 12 0.19/0.25 c 0.0s | 0 | 2158 | 0 | 1728 0 | 0 | 12 0.19/0.25 c #cpu_time = 0.003s 0.19/0.25 c #wall_clock_time = 0.003s 0.19/0.25 c #decision = 2158 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 0 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: found a new core of size 8: cost of the new core is >=1 0.19/0.25 c lower bound updated to 13 0.19/0.25 c BCD2: 13 <= obj <= 4675 0.19/0.25 c BCD2: #cores=13, #unrelaxed=4491, #relaxed=185, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=14 bias=14/15 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 13 0.19/0.26 c 0.0s | 0 | 2297 | 0 | 1728 0 | 0 | 13 0.19/0.26 c #cpu_time = 0.003s 0.19/0.26 c #wall_clock_time = 0.003s 0.19/0.26 c #decision = 2297 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 29: cost of the new core is >=1 0.19/0.26 c lower bound updated to 14 0.19/0.26 c BCD2: 14 <= obj <= 4675 0.19/0.26 c BCD2: #cores=14, #unrelaxed=4462, #relaxed=214, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=15 bias=15/16 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 14 0.19/0.26 c 0.0s | 0 | 2270 | 0 | 1728 0 | 0 | 14 0.19/0.26 c #cpu_time = 0.003s 0.19/0.26 c #wall_clock_time = 0.003s 0.19/0.26 c #decision = 2270 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 0 0.19/0.26 c #restart = 0 0.19/0.26 c BCD2: found a new core of size 39: cost of the new core is >=1 0.19/0.26 c lower bound updated to 15 0.19/0.26 c BCD2: 15 <= obj <= 4675 0.19/0.26 c BCD2: #cores=15, #unrelaxed=4423, #relaxed=253, #hardened=0 0.19/0.26 c BCD2: #sat=1 #unsat=16 bias=16/17 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 15 0.19/0.27 c 0.0s | 0 | 2266 | 0 | 1728 0 | 0 | 15 0.19/0.27 c #cpu_time = 0.004s 0.19/0.27 c #wall_clock_time = 0.004s 0.19/0.27 c #decision = 2266 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.27 c lower bound updated to 16 0.19/0.27 c BCD2: 16 <= obj <= 4675 0.19/0.27 c BCD2: #cores=16, #unrelaxed=4407, #relaxed=269, #hardened=0 0.19/0.27 c BCD2: #sat=1 #unsat=17 bias=17/18 0.19/0.27 c Solving starts ... 0.19/0.27 c ============================[ Search Statistics ]============================ 0.19/0.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.27 c | | | | Limit GC | Var | Constra 0.19/0.27 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 16 0.19/0.27 c 0.0s | 0 | 2275 | 0 | 1728 0 | 0 | 16 0.19/0.27 c #cpu_time = 0.003s 0.19/0.27 c #wall_clock_time = 0.003s 0.19/0.27 c #decision = 2275 0.19/0.27 c #random_decision = 0 0.19/0.27 c #conflict = 0 0.19/0.27 c #restart = 0 0.19/0.27 c BCD2: found a new core of size 10: cost of the new core is >=1 0.19/0.27 c lower bound updated to 17 0.19/0.28 c BCD2: 17 <= obj <= 4675 0.19/0.28 c BCD2: #cores=17, #unrelaxed=4397, #relaxed=279, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=18 bias=18/19 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 17 0.19/0.28 c 0.0s | 0 | 2339 | 0 | 1728 0 | 0 | 17 0.19/0.28 c #cpu_time = 0.003s 0.19/0.28 c #wall_clock_time = 0.003s 0.19/0.28 c #decision = 2339 0.19/0.28 c #random_decision = 0 0.19/0.28 c #conflict = 0 0.19/0.28 c #restart = 0 0.19/0.28 c BCD2: found a new core of size 18: cost of the new core is >=1 0.19/0.28 c lower bound updated to 18 0.19/0.28 c BCD2: 18 <= obj <= 4675 0.19/0.28 c BCD2: #cores=18, #unrelaxed=4379, #relaxed=297, #hardened=0 0.19/0.28 c BCD2: #sat=1 #unsat=19 bias=19/20 0.19/0.28 c Solving starts ... 0.19/0.28 c ============================[ Search Statistics ]============================ 0.19/0.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.28 c | | | | Limit GC | Var | Constra 0.19/0.28 c ============================================================================= 0.19/0.28 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 18 0.19/0.29 c 0.0s | 0 | 2585 | 0 | 1728 0 | 0 | 18 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 2585 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 16: cost of the new core is >=1 0.19/0.29 c lower bound updated to 19 0.19/0.29 c BCD2: 19 <= obj <= 4675 0.19/0.29 c BCD2: #cores=19, #unrelaxed=4363, #relaxed=313, #hardened=0 0.19/0.29 c BCD2: #sat=1 #unsat=20 bias=20/21 0.19/0.29 c Solving starts ... 0.19/0.29 c ============================[ Search Statistics ]============================ 0.19/0.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.29 c | | | | Limit GC | Var | Constra 0.19/0.29 c ============================================================================= 0.19/0.29 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 19 0.19/0.29 c 0.0s | 0 | 2702 | 0 | 1728 0 | 0 | 19 0.19/0.29 c #cpu_time = 0.004s 0.19/0.29 c #wall_clock_time = 0.004s 0.19/0.29 c #decision = 2702 0.19/0.29 c #random_decision = 0 0.19/0.29 c #conflict = 0 0.19/0.29 c #restart = 0 0.19/0.29 c BCD2: found a new core of size 18: cost of the new core is >=1 0.19/0.29 c lower bound updated to 20 0.19/0.30 c BCD2: 20 <= obj <= 4675 0.19/0.30 c BCD2: #cores=20, #unrelaxed=4345, #relaxed=331, #hardened=0 0.19/0.30 c BCD2: #sat=1 #unsat=21 bias=21/22 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 | 1728 0 | 0 | 20 0.29/0.30 c 0.0s | 0 | 2877 | 0 | 1728 0 | 0 | 20 0.29/0.30 c #cpu_time = 0.004s 0.29/0.30 c #wall_clock_time = 0.004s 0.29/0.30 c #decision = 2877 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 7: cost of the new core is >=1 0.29/0.30 c lower bound updated to 21 0.29/0.30 c BCD2: 21 <= obj <= 4675 0.29/0.30 c BCD2: #cores=21, #unrelaxed=4338, #relaxed=338, #hardened=0 0.29/0.30 c BCD2: #sat=1 #unsat=22 bias=22/23 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 | 1728 0 | 0 | 21 0.29/0.31 c 0.0s | 0 | 2882 | 0 | 1728 0 | 0 | 21 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 2882 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 14: cost of the new core is >=1 0.29/0.31 c lower bound updated to 22 0.29/0.31 c BCD2: 22 <= obj <= 4675 0.29/0.31 c BCD2: #cores=22, #unrelaxed=4324, #relaxed=352, #hardened=0 0.29/0.31 c BCD2: #sat=1 #unsat=23 bias=23/24 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 | 1728 0 | 0 | 22 0.29/0.31 c 0.0s | 0 | 2964 | 0 | 1728 0 | 0 | 22 0.29/0.31 c #cpu_time = 0.004s 0.29/0.31 c #wall_clock_time = 0.004s 0.29/0.31 c #decision = 2964 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 47: cost of the new core is >=1 0.29/0.31 c lower bound updated to 23 0.29/0.32 c BCD2: 23 <= obj <= 4675 0.29/0.32 c BCD2: #cores=23, #unrelaxed=4277, #relaxed=399, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=24 bias=24/25 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 | 1728 0 | 0 | 23 0.29/0.32 c 0.0s | 0 | 2943 | 0 | 1728 0 | 0 | 23 0.29/0.32 c #cpu_time = 0.004s 0.29/0.32 c #wall_clock_time = 0.004s 0.29/0.32 c #decision = 2943 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 39: cost of the new core is >=1 0.29/0.32 c lower bound updated to 24 0.29/0.32 c BCD2: 24 <= obj <= 4675 0.29/0.32 c BCD2: #cores=24, #unrelaxed=4238, #relaxed=438, #hardened=0 0.29/0.32 c BCD2: #sat=1 #unsat=25 bias=25/26 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 | 1728 0 | 0 | 24 0.29/0.33 c 0.0s | 0 | 2920 | 0 | 1728 0 | 0 | 24 0.29/0.33 c #cpu_time = 0.004s 0.29/0.33 c #wall_clock_time = 0.004s 0.29/0.33 c #decision = 2920 0.29/0.33 c #random_decision = 0 0.29/0.33 c #conflict = 0 0.29/0.33 c #restart = 0 0.29/0.33 c BCD2: found a new core of size 5: cost of the new core is >=1 0.29/0.33 c lower bound updated to 25 0.29/0.33 c BCD2: 25 <= obj <= 4675 0.29/0.33 c BCD2: #cores=25, #unrelaxed=4233, #relaxed=443, #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 | 1728 0 | 0 | 25 0.29/0.34 c 0.0s | 0 | 2980 | 0 | 1728 0 | 0 | 25 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 2980 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 50: 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 <= 4675 0.29/0.34 c BCD2: #cores=26, #unrelaxed=4183, #relaxed=493, #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 | 1728 0 | 0 | 26 0.29/0.34 c 0.0s | 0 | 2973 | 0 | 1728 0 | 0 | 26 0.29/0.34 c #cpu_time = 0.004s 0.29/0.34 c #wall_clock_time = 0.004s 0.29/0.34 c #decision = 2973 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 30: 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 <= 4675 0.29/0.34 c BCD2: #cores=27, #unrelaxed=4153, #relaxed=523, #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 | 1728 0 | 0 | 27 0.29/0.35 c 0.0s | 0 | 2984 | 0 | 1728 0 | 0 | 27 0.29/0.35 c #cpu_time = 0.004s 0.29/0.35 c #wall_clock_time = 0.004s 0.29/0.35 c #decision = 2984 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 14: 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 <= 4675 0.29/0.35 c BCD2: #cores=28, #unrelaxed=4139, #relaxed=537, #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 | 1728 0 | 0 | 28 0.29/0.36 c 0.0s | 0 | 2975 | 0 | 1728 0 | 0 | 28 0.29/0.36 c #cpu_time = 0.004s 0.29/0.36 c #wall_clock_time = 0.004s 0.29/0.36 c #decision = 2975 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 15: cost of the new core is >=1 0.29/0.36 c lower bound updated to 29 0.29/0.36 c BCD2: 29 <= obj <= 4675 0.29/0.36 c BCD2: #cores=29, #unrelaxed=4124, #relaxed=552, #hardened=0 0.29/0.36 c BCD2: #sat=1 #unsat=30 bias=30/31 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 | 1728 0 | 0 | 29 0.29/0.36 c 0.0s | 0 | 3064 | 0 | 1728 0 | 0 | 29 0.29/0.36 c #cpu_time = 0.004s 0.29/0.36 c #wall_clock_time = 0.004s 0.29/0.36 c #decision = 3064 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 40: cost of the new core is >=1 0.29/0.36 c lower bound updated to 30 0.29/0.37 c BCD2: 30 <= obj <= 4675 0.29/0.37 c BCD2: #cores=30, #unrelaxed=4084, #relaxed=592, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=31 bias=31/32 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 | 1728 0 | 0 | 30 0.29/0.37 c 0.0s | 0 | 3130 | 0 | 1728 0 | 0 | 30 0.29/0.37 c #cpu_time = 0.004s 0.29/0.37 c #wall_clock_time = 0.004s 0.29/0.37 c #decision = 3130 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 31: cost of the new core is >=1 0.29/0.37 c lower bound updated to 31 0.29/0.37 c BCD2: 31 <= obj <= 4675 0.29/0.37 c BCD2: #cores=31, #unrelaxed=4053, #relaxed=623, #hardened=0 0.29/0.37 c BCD2: #sat=1 #unsat=32 bias=32/33 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 | 1728 0 | 0 | 31 0.29/0.38 c 0.0s | 0 | 3144 | 0 | 1728 0 | 0 | 31 0.29/0.38 c #cpu_time = 0.004s 0.29/0.38 c #wall_clock_time = 0.004s 0.29/0.38 c #decision = 3144 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 54: cost of the new core is >=1 0.29/0.38 c lower bound updated to 32 0.29/0.38 c BCD2: 32 <= obj <= 4675 0.29/0.38 c BCD2: #cores=32, #unrelaxed=3999, #relaxed=677, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=33 bias=33/34 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 | 1728 0 | 0 | 32 0.29/0.38 c 0.0s | 0 | 3115 | 0 | 1728 0 | 0 | 32 0.29/0.38 c #cpu_time = 0.004s 0.29/0.38 c #wall_clock_time = 0.004s 0.29/0.38 c #decision = 3115 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 15: cost of the new core is >=1 0.29/0.38 c lower bound updated to 33 0.29/0.39 c BCD2: 33 <= obj <= 4675 0.29/0.39 c BCD2: #cores=33, #unrelaxed=3984, #relaxed=692, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=34 bias=34/35 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 | 1728 0 | 0 | 33 0.29/0.39 c 0.0s | 0 | 3188 | 0 | 1728 0 | 0 | 33 0.29/0.39 c #cpu_time = 0.004s 0.29/0.39 c #wall_clock_time = 0.004s 0.29/0.39 c #decision = 3188 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 71: cost of the new core is >=1 0.29/0.39 c lower bound updated to 34 0.29/0.39 c BCD2: 34 <= obj <= 4675 0.29/0.39 c BCD2: #cores=34, #unrelaxed=3913, #relaxed=763, #hardened=0 0.29/0.39 c BCD2: #sat=1 #unsat=35 bias=35/36 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 | 1728 0 | 0 | 34 0.39/0.40 c 0.0s | 0 | 3218 | 0 | 1728 0 | 0 | 34 0.39/0.40 c #cpu_time = 0.004s 0.39/0.40 c #wall_clock_time = 0.004s 0.39/0.40 c #decision = 3218 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 12: cost of the new core is >=1 0.39/0.40 c lower bound updated to 35 0.39/0.40 c BCD2: 35 <= obj <= 4675 0.39/0.40 c BCD2: #cores=35, #unrelaxed=3901, #relaxed=775, #hardened=0 0.39/0.40 c BCD2: #sat=1 #unsat=36 bias=36/37 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 | 1728 0 | 0 | 35 0.39/0.41 c 0.0s | 0 | 3257 | 0 | 1728 0 | 0 | 35 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 = 3257 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 22: cost of the new core is >=1 0.39/0.41 c lower bound updated to 36 0.39/0.41 c BCD2: 36 <= obj <= 4675 0.39/0.41 c BCD2: #cores=36, #unrelaxed=3879, #relaxed=797, #hardened=0 0.39/0.41 c BCD2: #sat=1 #unsat=37 bias=37/38 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 | 1728 0 | 0 | 36 0.39/0.41 c 0.0s | 0 | 3248 | 0 | 1728 0 | 0 | 36 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 = 3248 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 33: cost of the new core is >=1 0.39/0.41 c lower bound updated to 37 0.39/0.42 c BCD2: 37 <= obj <= 4675 0.39/0.42 c BCD2: #cores=37, #unrelaxed=3846, #relaxed=830, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=38 bias=38/39 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 | 1728 0 | 0 | 37 0.39/0.42 c 0.0s | 0 | 3394 | 0 | 1728 0 | 0 | 37 0.39/0.42 c #cpu_time = 0.004s 0.39/0.42 c #wall_clock_time = 0.004s 0.39/0.42 c #decision = 3394 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 34: cost of the new core is >=1 0.39/0.42 c lower bound updated to 38 0.39/0.42 c BCD2: 38 <= obj <= 4675 0.39/0.42 c BCD2: #cores=38, #unrelaxed=3812, #relaxed=864, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=39 bias=39/40 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 | 1728 0 | 0 | 38 0.39/0.43 c 0.0s | 0 | 3395 | 0 | 1728 0 | 0 | 38 0.39/0.43 c #cpu_time = 0.004s 0.39/0.43 c #wall_clock_time = 0.004s 0.39/0.43 c #decision = 3395 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 36: cost of the new core is >=1 0.39/0.43 c lower bound updated to 39 0.39/0.43 c BCD2: 39 <= obj <= 4675 0.39/0.43 c BCD2: #cores=39, #unrelaxed=3776, #relaxed=900, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=40 bias=40/41 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 | 1728 0 | 0 | 39 0.39/0.44 c 0.0s | 0 | 3390 | 0 | 1728 0 | 0 | 39 0.39/0.44 c #cpu_time = 0.005s 0.39/0.44 c #wall_clock_time = 0.005s 0.39/0.44 c #decision = 3390 0.39/0.44 c #random_decision = 0 0.39/0.44 c #conflict = 0 0.39/0.44 c #restart = 0 0.39/0.44 c BCD2: found a new core of size 5: cost of the new core is >=1 0.39/0.44 c lower bound updated to 40 0.39/0.44 c BCD2: 40 <= obj <= 4675 0.39/0.44 c BCD2: #cores=40, #unrelaxed=3771, #relaxed=905, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=41 bias=41/42 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 | 1728 0 | 0 | 40 0.39/0.45 c 0.0s | 0 | 3573 | 0 | 1728 0 | 0 | 40 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 = 3573 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 52: cost of the new core is >=1 0.39/0.45 c lower bound updated to 41 0.39/0.45 c BCD2: 41 <= obj <= 4675 0.39/0.45 c BCD2: #cores=41, #unrelaxed=3719, #relaxed=957, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=42 bias=42/43 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 | 1728 0 | 0 | 41 0.39/0.45 c 0.0s | 0 | 3676 | 0 | 1728 0 | 0 | 41 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 = 3676 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 56: cost of the new core is >=1 0.39/0.45 c lower bound updated to 42 0.39/0.46 c BCD2: 42 <= obj <= 4675 0.39/0.46 c BCD2: #cores=42, #unrelaxed=3663, #relaxed=1013, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=43 bias=43/44 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 | 1728 0 | 0 | 42 0.39/0.46 c 0.0s | 0 | 3645 | 0 | 1728 0 | 0 | 42 0.39/0.46 c #cpu_time = 0.005s 0.39/0.46 c #wall_clock_time = 0.005s 0.39/0.46 c #decision = 3645 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 24: cost of the new core is >=1 0.39/0.46 c lower bound updated to 43 0.39/0.46 c BCD2: 43 <= obj <= 4675 0.39/0.46 c BCD2: #cores=43, #unrelaxed=3639, #relaxed=1037, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=44 bias=44/45 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 | 1728 0 | 0 | 43 0.39/0.47 c 0.0s | 0 | 3640 | 0 | 1728 0 | 0 | 43 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 = 3640 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 61: cost of the new core is >=1 0.39/0.47 c lower bound updated to 44 0.39/0.47 c BCD2: 44 <= obj <= 4675 0.39/0.47 c BCD2: #cores=44, #unrelaxed=3578, #relaxed=1098, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=45 bias=45/46 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 | 1728 0 | 0 | 44 0.39/0.48 c 0.0s | 0 | 3588 | 0 | 1728 0 | 0 | 44 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 = 3588 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 40: cost of the new core is >=1 0.39/0.48 c lower bound updated to 45 0.39/0.48 c BCD2: 45 <= obj <= 4675 0.39/0.48 c BCD2: #cores=45, #unrelaxed=3538, #relaxed=1138, #hardened=0 0.39/0.48 c BCD2: #sat=1 #unsat=46 bias=46/47 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 | 1728 0 | 0 | 45 0.39/0.49 c 0.0s | 0 | 3556 | 0 | 1728 0 | 0 | 45 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 = 3556 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 20: cost of the new core is >=1 0.39/0.49 c lower bound updated to 46 0.39/0.49 c BCD2: 46 <= obj <= 4675 0.39/0.49 c BCD2: #cores=46, #unrelaxed=3518, #relaxed=1158, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=47 bias=47/48 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 | 1728 0 | 0 | 46 0.39/0.49 c 0.0s | 0 | 3539 | 0 | 1728 0 | 0 | 46 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 = 3539 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 18: cost of the new core is >=1 0.39/0.49 c lower bound updated to 47 0.39/0.50 c BCD2: 47 <= obj <= 4675 0.39/0.50 c BCD2: #cores=47, #unrelaxed=3500, #relaxed=1176, #hardened=0 0.39/0.50 c BCD2: #sat=1 #unsat=48 bias=48/49 0.48/0.50 c Solving starts ... 0.48/0.50 c ============================[ Search Statistics ]============================ 0.48/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.50 c | | | | Limit GC | Var | Constra 0.48/0.50 c ============================================================================= 0.48/0.50 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 47 0.48/0.50 c 0.0s | 0 | 3526 | 0 | 1728 0 | 0 | 47 0.48/0.50 c #cpu_time = 0.005s 0.48/0.50 c #wall_clock_time = 0.005s 0.48/0.50 c #decision = 3526 0.48/0.50 c #random_decision = 0 0.48/0.50 c #conflict = 0 0.48/0.50 c #restart = 0 0.48/0.50 c BCD2: found a new core of size 30: cost of the new core is >=1 0.48/0.50 c lower bound updated to 48 0.48/0.50 c BCD2: 48 <= obj <= 4675 0.48/0.50 c BCD2: #cores=48, #unrelaxed=3470, #relaxed=1206, #hardened=0 0.48/0.50 c BCD2: #sat=1 #unsat=49 bias=49/50 0.48/0.50 c Solving starts ... 0.48/0.50 c ============================[ Search Statistics ]============================ 0.48/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.50 c | | | | Limit GC | Var | Constra 0.48/0.50 c ============================================================================= 0.48/0.50 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 48 0.48/0.51 c 0.0s | 0 | 3514 | 0 | 1728 0 | 0 | 48 0.48/0.51 c #cpu_time = 0.004s 0.48/0.51 c #wall_clock_time = 0.004s 0.48/0.51 c #decision = 3514 0.48/0.51 c #random_decision = 0 0.48/0.51 c #conflict = 0 0.48/0.51 c #restart = 0 0.48/0.51 c BCD2: found a new core of size 34: cost of the new core is >=1 0.48/0.51 c lower bound updated to 49 0.48/0.51 c BCD2: 49 <= obj <= 4675 0.48/0.51 c BCD2: #cores=49, #unrelaxed=3436, #relaxed=1240, #hardened=0 0.48/0.51 c BCD2: #sat=1 #unsat=50 bias=50/51 0.48/0.51 c Solving starts ... 0.48/0.51 c ============================[ Search Statistics ]============================ 0.48/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.51 c | | | | Limit GC | Var | Constra 0.48/0.51 c ============================================================================= 0.48/0.51 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 49 0.48/0.52 c 0.0s | 0 | 3484 | 0 | 1728 0 | 0 | 49 0.48/0.52 c #cpu_time = 0.004s 0.48/0.52 c #wall_clock_time = 0.004s 0.48/0.52 c #decision = 3484 0.48/0.52 c #random_decision = 0 0.48/0.52 c #conflict = 0 0.48/0.52 c #restart = 0 0.48/0.52 c BCD2: found a new core of size 18: cost of the new core is >=1 0.48/0.52 c lower bound updated to 50 0.48/0.52 c BCD2: 50 <= obj <= 4675 0.48/0.52 c BCD2: #cores=50, #unrelaxed=3418, #relaxed=1258, #hardened=0 0.48/0.52 c BCD2: #sat=1 #unsat=51 bias=51/52 0.48/0.52 c Solving starts ... 0.48/0.52 c ============================[ Search Statistics ]============================ 0.48/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.52 c | | | | Limit GC | Var | Constra 0.48/0.52 c ============================================================================= 0.48/0.52 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 50 0.48/0.53 c 0.0s | 0 | 4678 | 0 | 1728 0 | 0 | 50 0.48/0.53 c #cpu_time = 0.007s 0.48/0.53 c #wall_clock_time = 0.008s 0.48/0.53 c #decision = 4678 0.48/0.53 c #random_decision = 2 0.48/0.53 c #conflict = 0 0.48/0.53 c #restart = 0 0.48/0.53 o 100 0.48/0.53 c BCD2: updating upper bound: 4675 -> 99 0.48/0.54 c BCD2: 50 <= obj <= 99 0.48/0.54 c BCD2: #cores=50, #unrelaxed=3418, #relaxed=1258, #hardened=0 0.48/0.54 c BCD2: #sat=2 #unsat=51 bias=51/53 0.48/0.55 c Solving starts ... 0.48/0.55 c ============================[ Search Statistics ]============================ 0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.55 c | | | | Limit GC | Var | Constra 0.48/0.55 c ============================================================================= 0.48/0.55 c 0.0s | 0 | 0 | 0 | 1728 0 | 0 | 51 0.48/0.55 c 0.0s | 0 | 2568 | 0 | 1728 0 | 0 | 51 0.48/0.55 c #cpu_time = 0.004s 0.48/0.55 c #wall_clock_time = 0.004s 0.48/0.55 c #decision = 2568 0.48/0.55 c #random_decision = 0 0.48/0.55 c #conflict = 0 0.48/0.55 c #restart = 0 0.48/0.55 c BCD2: relaxing 69 and merging with 1 cores into a new core of size 82: cost of the new core is >=2 0.48/0.55 c lower bound updated to 51 0.48/0.55 c BCD2: 51 <= obj <= 99 0.48/0.55 c BCD2: #cores=50, #unrelaxed=3349, #relaxed=1327, #hardened=0 0.48/0.55 c BCD2: #sat=2 #unsat=52 bias=52/54 0.48/0.55 c Solving starts ... 0.48/0.55 c ============================[ Search Statistics ]============================ 0.48/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.55 c | | | | Limit GC | Var | Constra 0.48/0.55 c ============================================================================= 0.48/0.55 c 0.0s | 0 | 0 | 0 | 1728 0 | 3 | 51 0.48/0.56 c 0.0s | 0 | 3167 | 0 | 1728 0 | 3 | 56 0.48/0.56 c #cpu_time = 0.007s 0.48/0.56 c #wall_clock_time = 0.007s 0.48/0.56 c #decision = 3167 0.48/0.56 c #random_decision = 0 0.48/0.56 c #conflict = 0 0.48/0.56 c #restart = 0 0.48/0.56 c BCD2: relaxing 42 and merging with 1 cores into a new core of size 52: cost of the new core is >=2 0.48/0.56 c lower bound updated to 52 0.48/0.56 c BCD2: 52 <= obj <= 99 0.48/0.56 c BCD2: #cores=50, #unrelaxed=3307, #relaxed=1369, #hardened=0 0.48/0.56 c BCD2: #sat=2 #unsat=53 bias=53/55 0.48/0.56 c Solving starts ... 0.48/0.56 c ============================[ Search Statistics ]============================ 0.48/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.56 c | | | | Limit GC | Var | Constra 0.48/0.56 c ============================================================================= 0.48/0.56 c 0.0s | 0 | 0 | 0 | 1728 0 | 5 | 56 0.48/0.57 c 0.0s | 0 | 3298 | 2 | 1728 0 | 5 | 59 0.48/0.57 c #cpu_time = 0.005s 0.48/0.57 c #wall_clock_time = 0.005s 0.48/0.57 c #decision = 3298 0.48/0.57 c #random_decision = 0 0.48/0.57 c #conflict = 2 0.48/0.57 c #restart = 0 0.48/0.57 c BCD2: relaxing 43 and merging with 2 cores into a new core of size 57: cost of the new core is >=3 0.48/0.57 c lower bound updated to 53 0.48/0.57 c BCD2: 53 <= obj <= 99 0.48/0.57 c BCD2: #cores=49, #unrelaxed=3264, #relaxed=1412, #hardened=0 0.48/0.57 c BCD2: #sat=2 #unsat=54 bias=54/56 0.48/0.57 c Solving starts ... 0.48/0.57 c ============================[ Search Statistics ]============================ 0.48/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.57 c | | | | Limit GC | Var | Constra 0.48/0.57 c ============================================================================= 0.48/0.57 c 0.0s | 0 | 0 | 0 | 1728 0 | 10 | 59 0.48/0.58 c 0.0s | 0 | 4352 | 10 | 1728 0 | 10 | 67 0.48/0.58 c #cpu_time = 0.010s 0.48/0.58 c #wall_clock_time = 0.010s 0.48/0.58 c #decision = 4352 0.48/0.58 c #random_decision = 4 0.48/0.58 c #conflict = 10 0.48/0.58 c #restart = 0 0.48/0.59 c BCD2: relaxing 60 and merging with 1 cores into a new core of size 112: cost of the new core is >=2 0.48/0.59 c lower bound updated to 54 0.48/0.59 c BCD2: 54 <= obj <= 99 0.48/0.59 c BCD2: #cores=49, #unrelaxed=3204, #relaxed=1472, #hardened=0 0.48/0.59 c BCD2: #sat=2 #unsat=55 bias=55/57 0.48/0.59 c Solving starts ... 0.48/0.59 c ============================[ Search Statistics ]============================ 0.48/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.48/0.59 c | | | | Limit GC | Var | Constra 0.48/0.59 c ============================================================================= 0.48/0.59 c 0.0s | 0 | 0 | 0 | 1728 0 | 13 | 67 0.59/0.61 c 0.0s | 0 | 3957 | 27 | 1728 0 | 13 | 72 0.59/0.61 c #cpu_time = 0.018s 0.59/0.61 c #wall_clock_time = 0.018s 0.59/0.61 c #decision = 3957 0.59/0.61 c #random_decision = 1 0.59/0.61 c #conflict = 27 0.59/0.61 c #restart = 0 0.59/0.61 c BCD2: relaxing 59 and merging with 1 cores into a new core of size 115: cost of the new core is >=2 0.59/0.61 c lower bound updated to 55 0.59/0.61 c BCD2: 55 <= obj <= 99 0.59/0.61 c BCD2: #cores=49, #unrelaxed=3145, #relaxed=1531, #hardened=0 0.59/0.61 c BCD2: #sat=2 #unsat=56 bias=56/58 0.59/0.61 c Solving starts ... 0.59/0.61 c ============================[ Search Statistics ]============================ 0.59/0.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.61 c | | | | Limit GC | Var | Constra 0.59/0.61 c ============================================================================= 0.59/0.61 c 0.0s | 0 | 0 | 0 | 1728 0 | 15 | 72 0.59/0.65 c 0.0s | 1 | 5651 | 100 | 1901 0 | 15 | 75 0.69/0.70 c 0.1s | 2 | 10433 | 250 | 2092 0 | 15 | 75 0.69/0.76 c 0.1s | 3 | 15820 | 475 | 2302 0 | 15 | 75 0.79/0.83 c 0.2s | 3 | 21217 | 665 | 2302 0 | 15 | 75 0.79/0.83 c #cpu_time = 0.217s 0.79/0.83 c #wall_clock_time = 0.217s 0.79/0.83 c #decision = 21217 0.79/0.83 c #random_decision = 15 0.79/0.83 c #conflict = 665 0.79/0.83 c #restart = 3 0.79/0.83 o 73 0.79/0.83 c BCD2: updating upper bound: 99 -> 72 0.79/0.85 c BCD2: 55 <= obj <= 72 0.79/0.85 c BCD2: #cores=49, #unrelaxed=3145, #relaxed=1531, #hardened=0 0.79/0.85 c BCD2: #sat=3 #unsat=56 bias=56/59 0.79/0.85 c Solving starts ... 0.79/0.85 c ============================[ Search Statistics ]============================ 0.79/0.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.85 c | | | | Limit GC | Var | Constra 0.79/0.85 c ============================================================================= 0.79/0.85 c 0.0s | 0 | 0 | 0 | 2302 0 | 15 | 76 0.79/0.86 c 0.0s | 0 | 2655 | 0 | 2302 0 | 15 | 76 0.79/0.86 c #cpu_time = 0.007s 0.79/0.86 c #wall_clock_time = 0.007s 0.79/0.86 c #decision = 2655 0.79/0.86 c #random_decision = 0 0.79/0.86 c #conflict = 0 0.79/0.86 c #restart = 0 0.79/0.86 c BCD2: relaxing 47 and merging with 1 cores into a new core of size 65: cost of the new core is >=2 0.79/0.86 c lower bound updated to 56 0.79/0.86 c BCD2: 56 <= obj <= 72 0.79/0.86 c BCD2: #cores=49, #unrelaxed=3098, #relaxed=1578, #hardened=0 0.79/0.86 c BCD2: #sat=3 #unsat=57 bias=57/60 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 2302 0 | 18 | 76 0.79/0.87 c 0.0s | 0 | 3190 | 2 | 2302 0 | 18 | 81 0.79/0.87 c #cpu_time = 0.008s 0.79/0.87 c #wall_clock_time = 0.008s 0.79/0.87 c #decision = 3190 0.79/0.87 c #random_decision = 0 0.79/0.87 c #conflict = 2 0.79/0.87 c #restart = 0 0.79/0.87 c BCD2: relaxing 102 and merging with 1 cores into a new core of size 173: cost of the new core is >=2 0.79/0.87 c lower bound updated to 57 0.79/0.87 c BCD2: 57 <= obj <= 72 0.79/0.87 c BCD2: #cores=49, #unrelaxed=2996, #relaxed=1680, #hardened=0 0.79/0.87 c BCD2: #sat=3 #unsat=58 bias=58/61 0.79/0.87 c Solving starts ... 0.79/0.87 c ============================[ Search Statistics ]============================ 0.79/0.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.87 c | | | | Limit GC | Var | Constra 0.79/0.87 c ============================================================================= 0.79/0.87 c 0.0s | 0 | 0 | 0 | 2302 0 | 21 | 81 0.89/0.91 c 0.0s | 1 | 4396 | 100 | 2302 0 | 21 | 86 0.89/0.96 c 0.1s | 2 | 8805 | 250 | 2533 0 | 21 | 86 0.89/0.98 c 0.1s | 2 | 16516 | 277 | 2533 0 | 21 | 86 0.89/0.98 c #cpu_time = 0.107s 0.89/0.98 c #wall_clock_time = 0.107s 0.89/0.98 c #decision = 16516 0.89/0.98 c #random_decision = 6 0.89/0.98 c #conflict = 277 0.89/0.98 c #restart = 2 0.89/0.98 c BCD2: relaxing 50 and merging with 2 cores into a new core of size 99: cost of the new core is >=3 0.89/0.98 c lower bound updated to 58 0.89/0.98 c BCD2: 58 <= obj <= 72 0.89/0.98 c BCD2: #cores=48, #unrelaxed=2946, #relaxed=1730, #hardened=0 0.89/0.98 c BCD2: #sat=3 #unsat=59 bias=59/62 0.89/0.98 c Solving starts ... 0.89/0.98 c ============================[ Search Statistics ]============================ 0.89/0.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.98 c | | | | Limit GC | Var | Constra 0.89/0.98 c ============================================================================= 0.89/0.98 c 0.0s | 0 | 0 | 0 | 2533 0 | 27 | 86 0.99/1.02 c 0.0s | 1 | 3595 | 100 | 2533 0 | 27 | 96 0.99/1.06 c 0.1s | 2 | 7653 | 250 | 2533 0 | 27 | 96 1.19/1.23 c 0.3s | 3 | 13949 | 475 | 2787 0 | 27 | 96 1.29/1.38 c 0.4s | 4 | 22457 | 813 | 2787 0 | 27 | 96 1.58/1.61 c 0.6s | 5 | 27039 | 1320 | 3066 0 | 27 | 96 1.99/2.06 c 1.1s | 6 | 36950 | 2081 | 3066 0 | 27 | 96 2.30/2.33 c 1.3s | 6 | 42555 | 2601 | 3373 0 | 27 | 96 2.30/2.33 c #cpu_time = 1.344s 2.30/2.33 c #wall_clock_time = 1.347s 2.30/2.33 c #decision = 42555 2.30/2.33 c #random_decision = 23 2.30/2.33 c #conflict = 2601 2.30/2.33 c #restart = 6 2.30/2.33 c BCD2: relaxing 557 and merging with 15 cores into a new core of size 1166: cost of the new core is >=18 2.30/2.33 c lower bound updated to 59 2.30/2.34 c BCD2: 59 <= obj <= 72 2.30/2.34 c BCD2: #cores=34, #unrelaxed=2389, #relaxed=2287, #hardened=0 2.30/2.34 c BCD2: #sat=3 #unsat=60 bias=60/63 2.30/2.34 c Solving starts ... 2.30/2.34 c ============================[ Search Statistics ]============================ 2.30/2.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.30/2.34 c | | | | Limit GC | Var | Constra 2.30/2.34 c ============================================================================= 2.30/2.34 c 0.0s | 0 | 0 | 0 | 3373 0 | 65 | 96 2.39/2.47 c 0.1s | 1 | 3617 | 100 | 3373 0 | 65 | 157 2.69/2.71 c 0.4s | 2 | 8272 | 250 | 3373 0 | 65 | 157 2.99/3.07 c 0.7s | 3 | 12638 | 475 | 3373 0 | 65 | 157 3.49/3.58 c 1.2s | 4 | 18296 | 813 | 3373 0 | 65 | 157 4.29/4.38 c 2.0s | 5 | 24130 | 1320 | 3373 0 | 65 | 157 5.19/5.23 c 2.9s | 6 | 30892 | 2081 | 3711 0 | 65 | 157 7.09/7.11 c 4.8s | 7 | 43944 | 3223 | 3711 0 | 65 | 157 9.09/9.17 c 6.8s | 7 | 54014 | 4823 | 4083 0 | 65 | 157 9.29/9.34 c 7.0s | 8 | 54659 | 4936 | 4083 0 | 65 | 157 11.39/11.45 c 9.1s | 8 | 65354 | 6336 | 4083 1 | 65 | 157 13.09/13.10 c 10.8s | 9 | 71826 | 7506 | 4083 1 | 65 | 157 15.19/15.22 c 12.9s | 9 | 81945 | 9106 | 4492 2 | 65 | 157 17.29/17.31 c 15.0s | 9 | 90034 | 10406 | 4492 2 | 65 | 157 18.89/18.98 c 16.6s | 10 | 101570 | 11361 | 4492 2 | 65 | 157 21.00/21.01 c 18.7s | 10 | 119228 | 12761 | 4492 3 | 65 | 157 23.10/23.13 c 20.8s | 10 | 129897 | 14461 | 4942 3 | 65 | 157 25.09/25.13 c 22.8s | 10 | 138971 | 15761 | 4942 4 | 65 | 157 26.79/26.86 c 24.5s | 11 | 145034 | 17144 | 4942 4 | 65 | 157 28.99/29.03 c 26.7s | 11 | 163600 | 18444 | 4942 5 | 65 | 157 31.09/31.15 c 28.8s | 11 | 178608 | 19844 | 4942 5 | 65 | 157 33.09/33.17 c 30.8s | 11 | 190095 | 21244 | 4942 5 | 65 | 157 35.19/35.21 c 32.9s | 11 | 199886 | 22844 | 5437 6 | 65 | 157 37.29/37.30 c 35.0s | 11 | 207808 | 24344 | 5437 6 | 65 | 157 39.29/39.36 c 37.0s | 11 | 222128 | 25644 | 5437 6 | 65 | 157 39.59/39.65 c 37.3s | 12 | 224120 | 25819 | 5437 6 | 65 | 157 41.58/41.67 c 39.3s | 12 | 240384 | 27319 | 5437 7 | 65 | 157 43.68/43.72 c 41.4s | 12 | 248325 | 29119 | 5437 7 | 65 | 157 45.78/45.83 c 43.5s | 12 | 258070 | 30519 | 5437 8 | 65 | 157 47.78/47.87 c 45.5s | 12 | 271634 | 32319 | 5437 8 | 65 | 157 49.88/49.94 c 47.6s | 12 | 284975 | 33919 | 5437 8 | 65 | 157 51.98/52.02 c 49.7s | 12 | 292780 | 35819 | 5981 9 | 65 | 157 53.99/54.05 c 51.7s | 12 | 302561 | 37619 | 5981 9 | 65 | 157 55.68/55.71 c 53.4s | 13 | 311159 | 38832 | 5981 10 | 65 | 157 57.78/57.81 c 55.5s | 13 | 322686 | 40432 | 5981 10 | 65 | 157 59.88/59.92 c 57.6s | 13 | 334745 | 41932 | 5981 10 | 65 | 157 61.88/61.97 c 59.6s | 13 | 344268 | 43632 | 5981 11 | 65 | 157 63.98/64.07 c 61.7s | 13 | 355581 | 44932 | 5981 11 | 65 | 157 66.09/66.16 c 63.8s | 13 | 369367 | 46432 | 5981 11 | 65 | 157 66.68/66.71 c 64.4s | 13 | 372640 | 46864 | 5981 11 | 65 | 157 66.68/66.71 c #cpu_time = 64.200s 66.68/66.71 c #wall_clock_time = 64.369s 66.68/66.71 c #decision = 372640 66.68/66.71 c #random_decision = 793 66.68/66.71 c #conflict = 46864 66.68/66.71 c #restart = 13 66.68/66.71 c BCD2: relaxing 54 and merging with 1 cores into a new core of size 101: cost of the new core is >=2 66.68/66.71 c lower bound updated to 60 66.68/66.71 c BCD2: 60 <= obj <= 72 66.68/66.71 c BCD2: #cores=34, #unrelaxed=2335, #relaxed=2341, #hardened=0 66.68/66.71 c BCD2: #sat=3 #unsat=61 bias=61/64 66.68/66.71 c Solving starts ... 66.68/66.71 c ============================[ Search Statistics ]============================ 66.68/66.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 66.68/66.71 c | | | | Limit GC | Var | Constra 66.68/66.71 c ============================================================================= 66.68/66.71 c 0.0s | 0 | 0 | 0 | 5981 0 | 69 | 157 66.88/66.93 c 0.2s | 1 | 2933 | 100 | 5981 1 | 69 | 164 67.19/67.22 c 0.5s | 2 | 5797 | 250 | 5981 1 | 69 | 164 67.48/67.58 c 0.9s | 3 | 10058 | 475 | 5981 1 | 69 | 164 67.98/68.03 c 1.3s | 4 | 14271 | 813 | 5981 1 | 69 | 164 68.58/68.68 c 2.0s | 5 | 19607 | 1320 | 5981 1 | 69 | 164 69.68/69.72 c 3.0s | 6 | 25917 | 2081 | 5981 1 | 69 | 164 71.28/71.34 c 4.6s | 7 | 37200 | 3223 | 5981 2 | 69 | 164 73.28/73.39 c 6.7s | 7 | 50333 | 4823 | 5981 2 | 69 | 164 73.58/73.60 c 6.9s | 8 | 51395 | 4936 | 5981 2 | 69 | 164 75.58/75.68 c 9.0s | 8 | 64390 | 6536 | 5981 2 | 69 | 164 77.08/77.15 c 10.4s | 9 | 71464 | 7506 | 5981 2 | 69 | 164 79.18/79.25 c 12.5s | 9 | 86886 | 9206 | 6580 3 | 69 | 164 81.28/81.34 c 14.6s | 9 | 101841 | 10706 | 6580 3 | 69 | 164 82.08/82.15 c 15.4s | 10 | 106626 | 11361 | 6580 3 | 69 | 164 84.18/84.25 c 17.5s | 10 | 119263 | 12761 | 6580 4 | 69 | 164 86.28/86.34 c 19.6s | 10 | 130287 | 14161 | 6580 4 | 69 | 164 88.37/88.45 c 21.7s | 10 | 140611 | 15661 | 6580 4 | 69 | 164 90.37/90.47 c 23.8s | 10 | 149538 | 17061 | 6580 5 | 69 | 164 90.47/90.59 c 23.9s | 11 | 150251 | 17144 | 6580 5 | 69 | 164 92.57/92.65 c 25.9s | 11 | 163728 | 18444 | 6580 5 | 69 | 164 94.68/94.79 c 28.1s | 11 | 175912 | 19944 | 6580 5 | 69 | 164 96.78/96.83 c 30.1s | 11 | 181981 | 21344 | 6580 6 | 69 | 164 98.87/98.93 c 32.2s | 11 | 192972 | 22744 | 6580 6 | 69 | 164 100.97/101.06 c 34.4s | 11 | 201459 | 24544 | 6580 6 | 69 | 164 102.67/102.73 c 36.0s | 12 | 210162 | 25819 | 6580 7 | 69 | 164 104.67/104.74 c 38.0s | 12 | 220060 | 27419 | 6580 7 | 69 | 164 106.87/106.90 c 40.2s | 12 | 232637 | 29019 | 6580 7 | 69 | 164 108.88/108.92 c 42.2s | 12 | 242449 | 30619 | 6580 8 | 69 | 164 110.87/110.98 c 44.3s | 12 | 254062 | 32419 | 6580 8 | 69 | 164 112.97/113.04 c 46.3s | 12 | 267958 | 34219 | 6580 8 | 69 | 164 114.97/115.06 c 48.4s | 12 | 275736 | 36019 | 6580 9 | 69 | 164 117.07/117.16 c 50.5s | 12 | 286416 | 37619 | 7239 9 | 69 | 164 118.57/118.64 c 51.9s | 13 | 295797 | 38832 | 7239 9 | 69 | 164 120.57/120.65 c 53.9s | 13 | 305904 | 40232 | 7239 10 | 69 | 164 122.67/122.74 c 56.0s | 13 | 315368 | 41832 | 7239 10 | 69 | 164 124.67/124.75 c 58.0s | 13 | 330930 | 43132 | 7239 10 | 69 | 164 126.67/126.76 c 60.1s | 13 | 340978 | 44832 | 7239 11 | 69 | 164 128.67/128.77 c 62.1s | 13 | 348378 | 46332 | 7239 11 | 69 | 164 130.77/130.82 c 64.1s | 13 | 355542 | 47532 | 7239 11 | 69 | 164 132.87/132.92 c 66.2s | 13 | 366826 | 48932 | 7239 11 | 69 | 164 134.97/135.05 c 68.3s | 13 | 377204 | 50532 | 7239 12 | 69 | 164 137.17/137.22 c 70.5s | 13 | 384578 | 51832 | 7239 12 | 69 | 164 139.16/139.27 c 72.6s | 13 | 395115 | 53032 | 7239 12 | 69 | 164 141.26/141.39 c 74.7s | 13 | 406039 | 54432 | 7239 13 | 69 | 164 143.36/143.49 c 76.8s | 13 | 414638 | 55932 | 7239 13 | 69 | 164 145.46/145.53 c 78.8s | 13 | 422588 | 57232 | 7239 13 | 69 | 164 147.37/147.48 c 80.8s | 14 | 436258 | 58352 | 7239 13 | 69 | 164 149.46/149.58 c 82.9s | 14 | 447399 | 59352 | 7239 14 | 69 | 164 151.56/151.62 c 84.9s | 14 | 454643 | 60852 | 7239 14 | 69 | 164 153.66/153.70 c 87.0s | 14 | 461040 | 62352 | 7239 14 | 69 | 164 155.66/155.76 c 89.0s | 14 | 472779 | 63652 | 7239 15 | 69 | 164 157.76/157.85 c 91.1s | 14 | 489710 | 65152 | 7239 15 | 69 | 164 159.86/159.93 c 93.2s | 14 | 501700 | 66852 | 7239 15 | 69 | 164 161.86/161.95 c 95.2s | 14 | 510219 | 68252 | 7239 15 | 69 | 164 163.87/163.97 c 97.3s | 14 | 520857 | 69452 | 7239 16 | 69 | 164 165.86/165.99 c 99.3s | 14 | 533749 | 70652 | 7239 16 | 69 | 164 167.96/168.05 c 101s | 14 | 545903 | 72252 | 7239 16 | 69 | 164 170.06/170.17 c 103s | 14 | 554421 | 73752 | 7239 17 | 69 | 164 172.16/172.24 c 105s | 14 | 567722 | 75252 | 7239 17 | 69 | 164 174.16/174.28 c 107s | 14 | 582479 | 76852 | 7239 17 | 69 | 164 176.26/176.30 c 109s | 14 | 591817 | 78752 | 7239 18 | 69 | 164 178.26/178.32 c 111s | 14 | 601315 | 80352 | 7963 18 | 69 | 164 180.26/180.34 c 113s | 14 | 609863 | 81852 | 7963 18 | 69 | 164 182.26/182.35 c 115s | 14 | 620033 | 83152 | 7963 18 | 69 | 164 184.36/184.40 c 117s | 14 | 634153 | 84552 | 7963 19 | 69 | 164 186.36/186.44 c 119s | 14 | 648506 | 86252 | 7963 19 | 69 | 164 188.06/188.14 c 121s | 15 | 655282 | 87632 | 7963 19 | 69 | 164 190.16/190.24 c 123s | 15 | 664082 | 88932 | 7963 20 | 69 | 164 192.25/192.33 c 125s | 15 | 668747 | 90532 | 7963 20 | 69 | 164 194.36/194.43 c 127s | 15 | 677526 | 91732 | 7963 20 | 69 | 164 196.46/196.54 c 129s | 15 | 686269 | 93232 | 7963 20 | 69 | 164 198.56/198.65 c 131s | 15 | 692156 | 94732 | 7963 21 | 69 | 164 200.66/200.77 c 134s | 15 | 699570 | 95932 | 7963 21 | 69 | 164 202.86/202.90 c 136s | 15 | 711066 | 97232 | 7963 21 | 69 | 164 204.86/204.90 c 138s | 15 | 723706 | 98732 | 7963 21 | 69 | 164 206.87/206.97 c 140s | 15 | 733290 | 100232 | 7963 22 | 69 | 164 208.97/209.02 c 142s | 15 | 742403 | 101432 | 7963 22 | 69 | 164 210.96/211.09 c 144s | 15 | 751190 | 102532 | 7963 22 | 69 | 164 213.06/213.19 c 146s | 15 | 762067 | 104032 | 7963 22 | 69 | 164 215.16/215.28 c 148s | 15 | 768780 | 105432 | 7963 23 | 69 | 164 217.16/217.29 c 150s | 15 | 775428 | 106832 | 7963 23 | 69 | 164 219.36/219.42 c 152s | 15 | 788517 | 108032 | 7963 23 | 69 | 164 221.36/221.48 c 154s | 15 | 802528 | 109532 | 7963 24 | 69 | 164 223.46/223.56 c 156s | 15 | 811638 | 111232 | 7963 24 | 69 | 164 225.47/225.57 c 158s | 15 | 818453 | 112632 | 7963 24 | 69 | 164 227.56/227.60 c 160s | 15 | 826157 | 113932 | 7963 24 | 69 | 164 229.56/229.66 c 162s | 15 | 837737 | 115332 | 7963 25 | 69 | 164 231.56/231.69 c 164s | 15 | 845935 | 117032 | 7963 25 | 69 | 164 233.76/233.80 c 167s | 15 | 854670 | 118432 | 7963 25 | 69 | 164 235.76/235.83 c 169s | 15 | 867695 | 119832 | 7963 25 | 69 | 164 237.86/237.92 c 171s | 15 | 876476 | 121332 | 7963 26 | 69 | 164 240.06/240.12 c 173s | 15 | 887372 | 122732 | 7963 26 | 69 | 164 242.06/242.19 c 175s | 15 | 900530 | 124432 | 7963 26 | 69 | 164 244.16/244.23 c 177s | 15 | 909461 | 126032 | 7963 27 | 69 | 164 246.26/246.33 c 179s | 15 | 918558 | 127732 | 7963 27 | 69 | 164 248.36/248.40 c 181s | 15 | 926672 | 129232 | 7963 27 | 69 | 164 250.35/250.41 c 183s | 15 | 936119 | 130432 | 7963 27 | 69 | 164 252.25/252.31 c 185s | 16 | 945826 | 131552 | 7963 28 | 69 | 164 254.35/254.40 c 187s | 16 | 955684 | 132652 | 7963 28 | 69 | 164 256.36/256.46 c 189s | 16 | 963570 | 134052 | 7963 28 | 69 | 164 258.46/258.60 c 191s | 16 | 970322 | 135452 | 7963 28 | 69 | 164 260.55/260.69 c 193s | 16 | 981484 | 136652 | 7963 29 | 69 | 164 262.65/262.72 c 196s | 16 | 994049 | 138252 | 7963 29 | 69 | 164 264.75/264.82 c 198s | 16 | 1005202 | 139652 | 7963 29 | 69 | 164 266.85/266.98 c 200s | 16 | 1017865 | 141052 | 7963 30 | 69 | 164 269.05/269.12 c 202s | 16 | 1031498 | 142652 | 7963 30 | 69 | 164 271.15/271.21 c 204s | 16 | 1038120 | 143752 | 7963 30 | 69 | 164 273.15/273.26 c 206s | 16 | 1046212 | 145152 | 7963 30 | 69 | 164 275.25/275.37 c 208s | 16 | 1057472 | 146752 | 8760 30 | 69 | 164 277.35/277.41 c 210s | 16 | 1068327 | 148152 | 8760 31 | 69 | 164 279.36/279.43 c 212s | 16 | 1079654 | 149652 | 8760 31 | 69 | 164 281.35/281.46 c 214s | 16 | 1093527 | 151252 | 8760 31 | 69 | 164 283.45/283.50 c 216s | 16 | 1103667 | 152652 | 8760 31 | 69 | 164 285.45/285.53 c 218s | 16 | 1113658 | 154052 | 8760 32 | 69 | 164 287.55/287.61 c 220s | 16 | 1123646 | 155652 | 8760 32 | 69 | 164 289.55/289.66 c 222s | 16 | 1130215 | 157052 | 8760 32 | 69 | 164 291.75/291.81 c 225s | 16 | 1141823 | 158452 | 8760 33 | 69 | 164 293.85/293.98 c 227s | 16 | 1155191 | 160052 | 8760 33 | 69 | 164 295.95/296.03 c 229s | 16 | 1169272 | 161652 | 8760 33 | 69 | 164 298.05/298.11 c 231s | 16 | 1182127 | 163152 | 8760 33 | 69 | 164 300.15/300.23 c 233s | 16 | 1196079 | 164752 | 8760 34 | 69 | 164 302.15/302.26 c 235s | 16 | 1211279 | 166352 | 8760 34 | 69 | 164 304.24/304.35 c 237s | 16 | 1219032 | 167852 | 8760 34 | 69 | 164 306.34/306.40 c 239s | 16 | 1230592 | 169252 | 8760 34 | 69 | 164 308.34/308.41 c 241s | 16 | 1242792 | 170852 | 8760 35 | 69 | 164 310.34/310.42 c 243s | 16 | 1250437 | 172252 | 8760 35 | 69 | 164 312.45/312.51 c 245s | 16 | 1260029 | 173852 | 8760 35 | 69 | 164 314.44/314.54 c 247s | 16 | 1267961 | 175452 | 8760 36 | 69 | 164 316.54/316.68 c 249s | 16 | 1277780 | 177152 | 8760 36 | 69 | 164 318.64/318.75 c 252s | 16 | 1288369 | 178752 | 8760 36 | 69 | 164 320.64/320.76 c 254s | 16 | 1298557 | 180352 | 8760 36 | 69 | 164 322.74/322.82 c 256s | 16 | 1311696 | 181852 | 8760 37 | 69 | 164 324.84/324.93 c 258s | 16 | 1326294 | 183452 | 8760 37 | 69 | 164 326.84/326.99 c 260s | 16 | 1339225 | 185152 | 8760 37 | 69 | 164 329.04/329.18 c 262s | 16 | 1348009 | 186652 | 8760 38 | 69 | 164 331.15/331.27 c 264s | 16 | 1356256 | 188252 | 8760 38 | 69 | 164 333.25/333.32 c 266s | 16 | 1367373 | 189652 | 8760 38 | 69 | 164 335.24/335.35 c 268s | 16 | 1377080 | 191152 | 8760 38 | 69 | 164 337.34/337.47 c 270s | 16 | 1385477 | 192652 | 8760 39 | 69 | 164 339.34/339.49 c 272s | 16 | 1398112 | 194152 | 8760 39 | 69 | 164 341.44/341.53 c 274s | 16 | 1411464 | 195652 | 8760 39 | 69 | 164 343.54/343.64 c 276s | 16 | 1421401 | 197252 | 8760 39 | 69 | 164 343.74/343.87 c 277s | 17 | 1422182 | 197432 | 8760 39 | 69 | 164 345.84/345.94 c 279s | 17 | 1426742 | 198032 | 8760 40 | 69 | 164 347.94/348.05 c 281s | 17 | 1433889 | 199732 | 8760 40 | 69 | 164 350.33/350.48 c 283s | 17 | 1439120 | 201232 | 8760 40 | 69 | 164 352.53/352.61 c 285s | 17 | 1447736 | 202432 | 8760 40 | 69 | 164 354.53/354.63 c 287s | 17 | 1458380 | 203432 | 8760 41 | 69 | 164 356.53/356.68 c 289s | 17 | 1472047 | 205032 | 8760 41 | 69 | 164 358.54/358.70 c 291s | 17 | 1481417 | 206532 | 8760 41 | 69 | 164 360.63/360.74 c 294s | 17 | 1489278 | 207932 | 8760 41 | 69 | 164 362.73/362.80 c 296s | 17 | 1500453 | 209632 | 8760 42 | 69 | 164 364.83/364.91 c 298s | 17 | 1510837 | 211232 | 8760 42 | 69 | 164 366.93/367.04 c 300s | 17 | 1521932 | 212832 | 8760 42 | 69 | 164 369.03/369.16 c 302s | 17 | 1534428 | 214232 | 8760 42 | 69 | 164 371.13/371.28 c 304s | 17 | 1547157 | 215832 | 8760 43 | 69 | 164 373.23/373.38 c 306s | 17 | 1555551 | 217432 | 8760 43 | 69 | 164 375.33/375.49 c 308s | 17 | 1566331 | 218832 | 8760 43 | 69 | 164 377.53/377.62 c 310s | 17 | 1581083 | 220332 | 8760 44 | 69 | 164 379.63/379.71 c 312s | 17 | 1589877 | 222032 | 8760 44 | 69 | 164 381.73/381.81 c 315s | 17 | 1603821 | 223332 | 8760 44 | 69 | 164 383.83/383.92 c 317s | 17 | 1616126 | 224832 | 8760 44 | 69 | 164 385.83/385.99 c 319s | 17 | 1625502 | 226132 | 8760 45 | 69 | 164 387.93/388.04 c 321s | 17 | 1636583 | 227732 | 8760 45 | 69 | 164 389.92/390.10 c 323s | 17 | 1644807 | 229232 | 8760 45 | 69 | 164 392.02/392.17 c 325s | 17 | 1658691 | 230632 | 8760 45 | 69 | 164 394.12/394.25 c 327s | 17 | 1668413 | 232032 | 8760 46 | 69 | 164 396.22/396.33 c 329s | 17 | 1681100 | 233532 | 8760 46 | 69 | 164 398.23/398.37 c 331s | 17 | 1691600 | 235032 | 8760 46 | 69 | 164 400.33/400.46 c 333s | 17 | 1702090 | 236432 | 8760 46 | 69 | 164 402.42/402.51 c 335s | 17 | 1714261 | 237832 | 8760 47 | 69 | 164 404.52/404.63 c 337s | 17 | 1724055 | 239532 | 8760 47 | 69 | 164 406.52/406.68 c 339s | 17 | 1731848 | 241032 | 8760 47 | 69 | 164 408.62/408.79 c 342s | 17 | 1744526 | 242432 | 8760 47 | 69 | 164 410.72/410.84 c 344s | 17 | 1758104 | 244032 | 9636 48 | 69 | 164 412.83/412.93 c 346s | 17 | 1771891 | 245632 | 9636 48 | 69 | 164 414.93/415.09 c 348s | 17 | 1781460 | 247332 | 9636 48 | 69 | 164 417.03/417.14 c 350s | 17 | 1791689 | 248932 | 9636 48 | 69 | 164 419.04/419.15 c 352s | 17 | 1803002 | 250532 | 9636 49 | 69 | 164 421.13/421.25 c 354s | 17 | 1815587 | 252232 | 9636 49 | 69 | 164 423.13/423.28 c 356s | 17 | 1825621 | 253932 | 9636 49 | 69 | 164 425.23/425.35 c 358s | 17 | 1837226 | 255432 | 9636 49 | 69 | 164 427.23/427.38 c 360s | 17 | 1850509 | 257032 | 9636 50 | 69 | 164 429.43/429.50 c 362s | 17 | 1860761 | 258732 | 9636 50 | 69 | 164 431.43/431.53 c 364s | 17 | 1870018 | 260232 | 9636 50 | 69 | 164 433.44/433.58 c 366s | 17 | 1879525 | 261732 | 9636 51 | 69 | 164 435.53/435.66 c 368s | 17 | 1890227 | 263332 | 9636 51 | 69 | 164 437.63/437.71 c 370s | 17 | 1901200 | 264932 | 9636 51 | 69 | 164 439.73/439.81 c 373s | 17 | 1910428 | 266332 | 9636 51 | 69 | 164 441.83/441.96 c 375s | 17 | 1921186 | 267732 | 9636 52 | 69 | 164 444.03/444.11 c 377s | 17 | 1929492 | 269132 | 9636 52 | 69 | 164 446.13/446.20 c 379s | 17 | 1936613 | 270632 | 9636 52 | 69 | 164 448.22/448.35 c 381s | 17 | 1944646 | 272232 | 9636 52 | 69 | 164 450.22/450.35 c 383s | 17 | 1958168 | 273632 | 9636 52 | 69 | 164 452.23/452.39 c 385s | 17 | 1967782 | 275132 | 9636 53 | 69 | 164 454.33/454.43 c 387s | 17 | 1975534 | 276732 | 9636 53 | 69 | 164 456.32/456.47 c 389s | 17 | 1984701 | 278132 | 9636 53 | 69 | 164 458.42/458.56 c 391s | 17 | 1995531 | 279732 | 9636 53 | 69 | 164 460.52/460.68 c 393s | 17 | 2007170 | 281232 | 9636 54 | 69 | 164 462.62/462.72 c 396s | 17 | 2016294 | 282732 | 9636 54 | 69 | 164 464.62/464.77 c 398s | 17 | 2024278 | 284332 | 9636 54 | 69 | 164 466.72/466.81 c 400s | 17 | 2034419 | 285932 | 9636 54 | 69 | 164 468.72/468.83 c 402s | 17 | 2042437 | 287532 | 9636 55 | 69 | 164 470.83/470.91 c 404s | 17 | 2050416 | 289232 | 9636 55 | 69 | 164 472.82/472.98 c 406s | 17 | 2058810 | 290732 | 9636 55 | 69 | 164 474.92/475.04 c 408s | 17 | 2068432 | 292432 | 9636 56 | 69 | 164 477.02/477.15 c 410s | 17 | 2077537 | 294232 | 9636 56 | 69 | 164 479.02/479.19 c 412s | 17 | 2088006 | 295932 | 9636 56 | 69 | 164 479.63/479.73 c 413s | 18 | 2089999 | 296252 | 9636 56 | 69 | 164 481.72/481.85 c 415s | 18 | 2094196 | 296552 | 9636 57 | 69 | 164 483.71/483.89 c 417s | 18 | 2098881 | 297952 | 9636 57 | 69 | 164 485.81/485.91 c 419s | 18 | 2104402 | 299152 | 9636 57 | 69 | 164 487.81/487.95 c 421s | 18 | 2116529 | 300652 | 9636 57 | 69 | 164 489.81/489.96 c 423s | 18 | 2127357 | 302152 | 9636 57 | 69 | 164 491.91/492.02 c 425s | 18 | 2136586 | 303652 | 9636 58 | 69 | 164 493.92/494.06 c 427s | 18 | 2145683 | 305352 | 9636 58 | 69 | 164 496.02/496.17 c 429s | 18 | 2156525 | 306952 | 9636 58 | 69 | 164 498.01/498.20 c 431s | 18 | 2166036 | 308452 | 9636 58 | 69 | 164 500.11/500.21 c 433s | 18 | 2176016 | 310152 | 9636 59 | 69 | 164 502.21/502.32 c 435s | 18 | 2186384 | 311852 | 9636 59 | 69 | 164 504.31/504.40 c 437s | 18 | 2194951 | 313552 | 9636 59 | 69 | 164 506.31/506.43 c 439s | 18 | 2206168 | 315152 | 9636 59 | 69 | 164 508.41/508.55 c 441s | 18 | 2216680 | 316752 | 9636 60 | 69 | 164 510.51/510.62 c 443s | 18 | 2225839 | 318652 | 9636 60 | 69 | 164 512.61/512.79 c 446s | 18 | 2236997 | 320352 | 9636 60 | 69 | 164 514.71/514.84 c 448s | 18 | 2247425 | 322052 | 9636 61 | 69 | 164 516.81/516.96 c 450s | 18 | 2255990 | 323952 | 9636 61 | 69 | 164 518.91/519.07 c 452s | 18 | 2267934 | 325552 | 9636 61 | 69 | 164 521.00/521.14 c 454s | 18 | 2277718 | 327152 | 9636 61 | 69 | 164 523.11/523.25 c 456s | 18 | 2287964 | 328852 | 9636 62 | 69 | 164 525.11/525.27 c 458s | 18 | 2299496 | 330652 | 9636 62 | 69 | 164 527.21/527.37 c 460s | 18 | 2308314 | 332152 | 9636 62 | 69 | 164 529.31/529.44 c 462s | 18 | 2318685 | 333652 | 9636 62 | 69 | 164 531.41/531.52 c 464s | 18 | 2330966 | 335252 | 9636 63 | 69 | 164 533.42/533.58 c 466s | 18 | 2341263 | 336852 | 9636 63 | 69 | 164 535.51/535.61 c 468s | 18 | 2351137 | 338652 | 9636 63 | 69 | 164 537.61/537.70 c 470s | 18 | 2358302 | 340152 | 9636 64 | 69 | 164 539.61/539.79 c 473s | 18 | 2370755 | 341752 | 9636 64 | 69 | 164 541.71/541.87 c 475s | 18 | 2378787 | 343252 | 9636 64 | 69 | 164 543.81/543.90 c 477s | 18 | 2390528 | 344852 | 9636 64 | 69 | 164 545.91/546.00 c 479s | 18 | 2399472 | 346452 | 9636 65 | 69 | 164 547.91/548.02 c 481s | 18 | 2410023 | 348152 | 9636 65 | 69 | 164 550.01/550.12 c 483s | 18 | 2421454 | 349952 | 9636 65 | 69 | 164 552.01/552.20 c 485s | 18 | 2432766 | 351552 | 9636 65 | 69 | 164 554.11/554.22 c 487s | 18 | 2442806 | 353252 | 9636 66 | 69 | 164 556.11/556.29 c 489s | 18 | 2453891 | 354952 | 9636 66 | 69 | 164 558.21/558.31 c 491s | 18 | 2463519 | 356652 | 9636 66 | 69 | 164 560.30/560.43 c 493s | 18 | 2474346 | 358152 | 9636 67 | 69 | 164 562.40/562.55 c 495s | 18 | 2484832 | 359752 | 9636 67 | 69 | 164 564.50/564.65 c 497s | 18 | 2493377 | 361252 | 9636 67 | 69 | 164 566.60/566.72 c 500s | 18 | 2501598 | 362952 | 9636 67 | 69 | 164 568.71/568.84 c 502s | 18 | 2509950 | 364552 | 9636 68 | 69 | 164 570.70/570.87 c 504s | 18 | 2519798 | 366152 | 9636 68 | 69 | 164 572.80/572.91 c 506s | 18 | 2530140 | 367852 | 9636 68 | 69 | 164 574.90/575.00 c 508s | 18 | 2539330 | 369452 | 9636 68 | 69 | 164 576.90/577.09 c 510s | 18 | 2549860 | 371152 | 9636 69 | 69 | 164 579.00/579.16 c 512s | 18 | 2558075 | 372752 | 9636 69 | 69 | 164 581.10/581.20 c 514s | 18 | 2569333 | 374352 | 9636 69 | 69 | 164 583.10/583.28 c 516s | 18 | 2578588 | 375952 | 9636 69 | 69 | 164 585.20/585.34 c 518s | 18 | 2589097 | 377352 | 9636 70 | 69 | 164 587.20/587.34 c 520s | 18 | 2596056 | 378652 | 9636 70 | 69 | 164 589.30/589.43 c 522s | 18 | 2603954 | 380252 | 9636 70 | 69 | 164 591.30/591.45 c 524s | 18 | 2611525 | 381752 | 9636 70 | 69 | 164 593.39/593.54 c 526s | 18 | 2617518 | 382652 | 9636 71 | 69 | 164 595.49/595.60 c 528s | 18 | 2626581 | 383952 | 9636 71 | 69 | 164 597.60/597.77 c 531s | 18 | 2635726 | 384952 | 9636 71 | 69 | 164 599.70/599.82 c 533s | 18 | 2647863 | 386352 | 9636 71 | 69 | 164 601.80/601.90 c 535s | 18 | 2656803 | 387952 | 9636 71 | 69 | 164 603.81/603.97 c 537s | 18 | 2668337 | 389352 | 9636 72 | 69 | 164 605.90/606.01 c 539s | 18 | 2679057 | 390752 | 9636 72 | 69 | 164 608.00/608.11 c 541s | 18 | 2690131 | 392152 | 10600 72 | 69 | 164 610.00/610.18 c 543s | 18 | 2700696 | 393452 | 10600 72 | 69 | 164 612.10/612.29 c 545s | 18 | 2712009 | 394952 | 10600 72 | 69 | 164 614.30/614.42 c 547s | 18 | 2723320 | 396652 | 10600 73 | 69 | 164 616.30/616.42 c 549s | 18 | 2735532 | 398152 | 10600 73 | 69 | 164 618.40/618.54 c 551s | 18 | 2747452 | 399952 | 10600 73 | 69 | 164 620.41/620.58 c 553s | 18 | 2756303 | 401352 | 10600 73 | 69 | 164 622.51/622.61 c 555s | 18 | 2767757 | 402852 | 10600 74 | 69 | 164 624.50/624.64 c 557s | 18 | 2778765 | 404452 | 10600 74 | 69 | 164 626.50/626.64 c 559s | 18 | 2790087 | 405952 | 10600 74 | 69 | 164 628.50/628.65 c 561s | 18 | 2802501 | 407652 | 10600 74 | 69 | 164 630.50/630.69 c 563s | 18 | 2812269 | 409252 | 10600 75 | 69 | 164 632.60/632.76 c 566s | 18 | 2821975 | 410852 | 10600 75 | 69 | 164 634.70/634.83 c 568s | 18 | 2831671 | 412552 | 10600 75 | 69 | 164 636.80/636.93 c 570s | 18 | 2842968 | 414052 | 10600 75 | 69 | 164 638.90/639.02 c 572s | 18 | 2854829 | 415652 | 10600 76 | 69 | 164 640.90/641.08 c 574s | 18 | 2866854 | 417152 | 10600 76 | 69 | 164 643.00/643.13 c 576s | 18 | 2875271 | 418852 | 10600 76 | 69 | 164 645.09/645.22 c 578s | 18 | 2887723 | 420452 | 10600 76 | 69 | 164 647.09/647.24 c 580s | 18 | 2894001 | 422152 | 10600 77 | 69 | 164 649.19/649.34 c 582s | 18 | 2903372 | 423752 | 10600 77 | 69 | 164 651.29/651.41 c 584s | 18 | 2913164 | 425152 | 10600 77 | 69 | 164 653.40/653.52 c 586s | 18 | 2925022 | 426552 | 10600 77 | 69 | 164 655.50/655.64 c 588s | 18 | 2937883 | 427952 | 10600 77 | 69 | 164 657.59/657.77 c 591s | 18 | 2950106 | 429352 | 10600 78 | 69 | 164 659.69/659.88 c 593s | 18 | 2963850 | 430652 | 10600 78 | 69 | 164 661.79/661.97 c 595s | 18 | 2974450 | 431952 | 10600 78 | 69 | 164 663.79/663.99 c 597s | 18 | 2986617 | 432952 | 10600 78 | 69 | 164 665.89/666.09 c 599s | 18 | 2996240 | 434252 | 10600 78 | 69 | 164 667.99/668.14 c 601s | 18 | 3006900 | 435552 | 10600 79 | 69 | 164 670.19/670.34 c 603s | 18 | 3016206 | 436852 | 10600 79 | 69 | 164 672.29/672.40 c 605s | 18 | 3025929 | 438352 | 10600 79 | 69 | 164 674.30/674.43 c 607s | 18 | 3036155 | 439652 | 10600 79 | 69 | 164 676.29/676.46 c 609s | 18 | 3043044 | 440952 | 10600 79 | 69 | 164 678.39/678.54 c 611s | 18 | 3052736 | 441852 | 10600 80 | 69 | 164 680.39/680.55 c 613s | 18 | 3063729 | 443152 | 10600 80 | 69 | 164 682.39/682.55 c 615s | 19 | 3068900 | 444482 | 10600 80 | 69 | 164 684.59/684.74 c 618s | 19 | 3079876 | 445782 | 10600 80 | 69 | 164 686.59/686.77 c 620s | 19 | 3090272 | 447082 | 10600 80 | 69 | 164 688.79/688.91 c 622s | 19 | 3098852 | 448082 | 10600 81 | 69 | 164 690.79/690.96 c 624s | 19 | 3113010 | 449482 | 10600 81 | 69 | 164 692.89/693.06 c 626s | 19 | 3125684 | 451082 | 10600 81 | 69 | 164 694.99/695.18 c 628s | 19 | 3132206 | 452382 | 10600 81 | 69 | 164 697.19/697.34 c 630s | 19 | 3138576 | 453782 | 10600 81 | 69 | 164 699.29/699.44 c 632s | 19 | 3148000 | 454982 | 10600 82 | 69 | 164 701.39/701.51 c 634s | 19 | 3160154 | 456582 | 10600 82 | 69 | 164 703.49/703.63 c 636s | 19 | 3172794 | 458082 | 10600 82 | 69 | 164 705.58/705.78 c 639s | 19 | 3181947 | 459582 | 10600 82 | 69 | 164 707.68/707.86 c 641s | 19 | 3193522 | 460982 | 10600 82 | 69 | 164 709.68/709.87 c 643s | 19 | 3204905 | 462482 | 10600 83 | 69 | 164 711.78/711.97 c 645s | 19 | 3216499 | 464082 | 10600 83 | 69 | 164 713.79/714.00 c 647s | 19 | 3228204 | 465582 | 10600 83 | 69 | 164 715.99/716.13 c 649s | 19 | 3239135 | 467082 | 10600 83 | 69 | 164 718.08/718.23 c 651s | 19 | 3252423 | 468782 | 10600 84 | 69 | 164 720.08/720.29 c 653s | 19 | 3263301 | 470282 | 10600 84 | 69 | 164 722.18/722.39 c 655s | 19 | 3274782 | 471982 | 10600 84 | 69 | 164 724.28/724.46 c 657s | 19 | 3287228 | 473782 | 10600 84 | 69 | 164 726.38/726.50 c 659s | 19 | 3297568 | 475382 | 10600 85 | 69 | 164 728.48/728.62 c 661s | 19 | 3308929 | 477082 | 10600 85 | 69 | 164 730.58/730.74 c 664s | 19 | 3320819 | 478782 | 10600 85 | 69 | 164 732.59/732.74 c 666s | 19 | 3330468 | 480582 | 10600 85 | 69 | 164 734.69/734.83 c 668s | 19 | 3342873 | 482182 | 10600 86 | 69 | 164 736.78/736.90 c 670s | 19 | 3350091 | 483982 | 10600 86 | 69 | 164 738.78/738.99 c 672s | 19 | 3360509 | 485582 | 10600 86 | 69 | 164 740.88/741.06 c 674s | 19 | 3371376 | 487182 | 10600 86 | 69 | 164 742.88/743.08 c 676s | 19 | 3380516 | 488882 | 10600 87 | 69 | 164 744.97/745.19 c 678s | 19 | 3392066 | 490582 | 10600 87 | 69 | 164 747.17/747.31 c 680s | 19 | 3399865 | 492082 | 10600 87 | 69 | 164 749.18/749.34 c 682s | 19 | 3409555 | 493682 | 10600 87 | 69 | 164 751.18/751.39 c 684s | 19 | 3421447 | 495282 | 10600 88 | 69 | 164 753.27/753.43 c 686s | 19 | 3428944 | 496982 | 10600 88 | 69 | 164 755.27/755.43 c 688s | 19 | 3440953 | 498482 | 10600 88 | 69 | 164 757.27/757.49 c 690s | 19 | 3451776 | 500082 | 10600 88 | 69 | 164 759.37/759.57 c 692s | 19 | 3460824 | 501682 | 10600 89 | 69 | 164 761.47/761.66 c 694s | 19 | 3471381 | 503482 | 10600 89 | 69 | 164 763.46/763.66 c 696s | 19 | 3483021 | 505082 | 10600 89 | 69 | 164 765.57/765.73 c 699s | 19 | 3492822 | 506682 | 10600 89 | 69 | 164 767.56/767.78 c 701s | 19 | 3503408 | 508282 | 10600 90 | 69 | 164 769.66/769.82 c 703s | 19 | 3512958 | 509982 | 10600 90 | 69 | 164 771.66/771.86 c 705s | 19 | 3521919 | 511682 | 10600 90 | 69 | 164 773.76/773.99 c 707s | 19 | 3532817 | 513082 | 10600 90 | 69 | 164 775.86/776.08 c 709s | 19 | 3543465 | 514682 | 10600 91 | 69 | 164 777.96/778.10 c 711s | 19 | 3553307 | 516182 | 10600 91 | 69 | 164 779.96/780.10 c 713s | 19 | 3562909 | 517582 | 10600 91 | 69 | 164 781.96/782.14 c 715s | 19 | 3571668 | 519082 | 10600 91 | 69 | 164 784.05/784.25 c 717s | 19 | 3580731 | 520582 | 10600 92 | 69 | 164 786.05/786.28 c 719s | 19 | 3589724 | 522082 | 10600 92 | 69 | 164 788.15/788.31 c 721s | 19 | 3598477 | 523582 | 10600 92 | 69 | 164 790.15/790.35 c 723s | 19 | 3605546 | 525082 | 10600 92 | 69 | 164 792.25/792.41 c 725s | 19 | 3614526 | 526582 | 10600 92 | 69 | 164 794.25/794.41 c 727s | 19 | 3622903 | 528082 | 10600 93 | 69 | 164 796.26/796.41 c 729s | 19 | 3631783 | 529482 | 10600 93 | 69 | 164 798.35/798.50 c 731s | 19 | 3637278 | 531182 | 10600 93 | 69 | 164 800.35/800.54 c 733s | 19 | 3647519 | 532482 | 10600 93 | 69 | 164 802.45/802.60 c 735s | 19 | 3655370 | 533682 | 10600 94 | 69 | 164 804.44/804.66 c 737s | 19 | 3664942 | 534982 | 10600 94 | 69 | 164 806.64/806.80 c 740s | 19 | 3673157 | 536582 | 10600 94 | 69 | 164 808.64/808.84 c 742s | 19 | 3679647 | 537382 | 10600 94 | 69 | 164 810.64/810.88 c 744s | 19 | 3690843 | 538882 | 10600 94 | 69 | 164 812.74/812.91 c 746s | 19 | 3699846 | 540282 | 10600 95 | 69 | 164 814.83/815.01 c 748s | 19 | 3711352 | 541882 | 10600 95 | 69 | 164 816.93/817.10 c 750s | 19 | 3720490 | 543482 | 10600 95 | 69 | 164 818.93/819.11 c 752s | 19 | 3732098 | 545082 | 10600 95 | 69 | 164 820.93/821.15 c 754s | 19 | 3741342 | 546482 | 10600 96 | 69 | 164 823.03/823.23 c 756s | 19 | 3752684 | 548282 | 10600 96 | 69 | 164 825.13/825.31 c 758s | 19 | 3763798 | 550082 | 10600 96 | 69 | 164 827.14/827.34 c 760s | 19 | 3771342 | 551882 | 10600 96 | 69 | 164 829.13/829.36 c 762s | 19 | 3779915 | 553482 | 10600 97 | 69 | 164 831.13/831.37 c 764s | 19 | 3792597 | 555082 | 10600 97 | 69 | 164 833.23/833.47 c 766s | 19 | 3803510 | 556782 | 10600 97 | 69 | 164 835.33/835.58 c 768s | 19 | 3814250 | 558482 | 10600 97 | 69 | 164 837.52/837.70 c 770s | 19 | 3820805 | 560182 | 10600 98 | 69 | 164 839.52/839.74 c 773s | 19 | 3833530 | 561682 | 10600 98 | 69 | 164 841.53/841.76 c 775s | 19 | 3846851 | 563182 | 10600 98 | 69 | 164 843.63/843.81 c 777s | 19 | 3857036 | 564682 | 10600 98 | 69 | 164 845.62/845.89 c 779s | 19 | 3865911 | 566182 | 10600 99 | 69 | 164 847.72/847.97 c 781s | 19 | 3875642 | 567782 | 10600 99 | 69 | 164 849.82/850.01 c 783s | 19 | 3885982 | 569382 | 10600 99 | 69 | 164 851.82/852.03 c 785s | 19 | 3895645 | 570882 | 10600 99 | 69 | 164 853.91/854.12 c 787s | 19 | 3907487 | 572382 | 10600 99 | 69 | 164 856.01/856.24 c 789s | 19 | 3915907 | 574082 | 10600 100 | 69 | 164 858.01/858.29 c 791s | 19 | 3924638 | 575782 | 10600 100 | 69 | 164 860.12/860.35 c 793s | 19 | 3934362 | 577282 | 10600 100 | 69 | 164 862.22/862.46 c 795s | 19 | 3943256 | 578982 | 10600 100 | 69 | 164 864.32/864.50 c 797s | 19 | 3954443 | 580582 | 10600 101 | 69 | 164 866.32/866.52 c 799s | 19 | 3963927 | 582282 | 10600 101 | 69 | 164 868.42/868.65 c 801s | 19 | 3975792 | 583982 | 10600 101 | 69 | 164 870.52/870.72 c 804s | 19 | 3983268 | 585482 | 10600 101 | 69 | 164 872.52/872.78 c 806s | 19 | 3992943 | 586982 | 10600 102 | 69 | 164 874.62/874.83 c 808s | 19 | 4003942 | 588682 | 10600 102 | 69 | 164 876.72/876.93 c 810s | 19 | 4016951 | 590282 | 10600 102 | 69 | 164 878.82/879.03 c 812s | 19 | 4027908 | 591882 | 10600 102 | 69 | 164 880.81/881.06 c 814s | 19 | 4036306 | 593482 | 10600 103 | 69 | 164 882.91/883.14 c 816s | 19 | 4043561 | 594882 | 10600 103 | 69 | 164 885.01/885.30 c 818s | 19 | 4053618 | 596582 | 10600 103 | 69 | 164 887.21/887.41 c 820s | 19 | 4063474 | 598182 | 10600 103 | 69 | 164 889.31/889.52 c 822s | 19 | 4073319 | 599882 | 10600 104 | 69 | 164 891.41/891.61 c 824s | 19 | 4082440 | 601682 | 10600 104 | 69 | 164 893.41/893.62 c 826s | 19 | 4092756 | 603282 | 10600 104 | 69 | 164 895.61/895.81 c 829s | 19 | 4103283 | 604882 | 10600 104 | 69 | 164 897.61/897.83 c 831s | 19 | 4111931 | 606182 | 10600 105 | 69 | 164 899.62/899.87 c 833s | 19 | 4121674 | 607682 | 10600 105 | 69 | 164 901.81/902.07 c 835s | 19 | 4134338 | 609482 | 10600 105 | 69 | 164 903.90/904.14 c 837s | 19 | 4143307 | 611082 | 10600 105 | 69 | 164 906.00/906.25 c 839s | 19 | 4152399 | 612482 | 11661 105 | 69 | 164 908.00/908.26 c 841s | 19 | 4159884 | 613682 | 11661 106 | 69 | 164 910.10/910.35 c 843s | 19 | 4169274 | 615082 | 11661 106 | 69 | 164 912.10/912.38 c 845s | 19 | 4178645 | 616382 | 11661 106 | 69 | 164 914.20/914.46 c 847s | 19 | 4192504 | 617982 | 11661 106 | 69 | 164 916.40/916.61 c 849s | 19 | 4199656 | 619282 | 11661 106 | 69 | 164 918.41/918.66 c 851s | 19 | 4207906 | 620582 | 11661 107 | 69 | 164 920.40/920.67 c 853s | 19 | 4212103 | 621082 | 11661 107 | 69 | 164 922.50/922.71 c 855s | 19 | 4215612 | 621382 | 11661 107 | 69 | 164 924.50/924.77 c 858s | 19 | 4224932 | 622882 | 11661 107 | 69 | 164 926.60/926.87 c 860s | 19 | 4231892 | 623982 | 11661 107 | 69 | 164 928.70/928.92 c 862s | 19 | 4241528 | 625582 | 11661 107 | 69 | 164 930.70/930.98 c 864s | 19 | 4251846 | 627182 | 11661 107 | 69 | 164 932.80/933.04 c 866s | 19 | 4260660 | 628782 | 11661 108 | 69 | 164 934.90/935.14 c 868s | 19 | 4272910 | 630582 | 11661 108 | 69 | 164 937.00/937.25 c 870s | 19 | 4284812 | 632382 | 11661 108 | 69 | 164 938.99/939.26 c 872s | 19 | 4297796 | 634082 | 11661 108 | 69 | 164 941.09/941.36 c 874s | 19 | 4307812 | 635882 | 11661 109 | 69 | 164 943.19/943.40 c 876s | 19 | 4315792 | 637882 | 11661 109 | 69 | 164 945.29/945.52 c 878s | 19 | 4328175 | 639682 | 11661 109 | 69 | 164 947.29/947.53 c 880s | 19 | 4337834 | 641082 | 11661 109 | 69 | 164 949.39/949.60 c 882s | 19 | 4349452 | 642582 | 11661 110 | 69 | 164 951.40/951.61 c 884s | 19 | 4363225 | 644282 | 11661 110 | 69 | 164 953.39/953.65 c 886s | 19 | 4373073 | 645882 | 11661 110 | 69 | 164 955.49/955.76 c 889s | 19 | 4384926 | 647582 | 11661 110 | 69 | 164 957.59/957.87 c 891s | 19 | 4394706 | 649382 | 11661 111 | 69 | 164 959.69/959.97 c 893s | 19 | 4405338 | 651182 | 11661 111 | 69 | 164 961.79/962.05 c 895s | 19 | 4418465 | 652982 | 11661 111 | 69 | 164 963.78/964.05 c 897s | 19 | 4430356 | 654482 | 11661 111 | 69 | 164 965.88/966.14 c 899s | 19 | 4439464 | 656082 | 11661 112 | 69 | 164 967.89/968.18 c 901s | 19 | 4451961 | 657882 | 11661 112 | 69 | 164 969.99/970.22 c 903s | 19 | 4462481 | 659482 | 11661 112 | 69 | 164 972.08/972.38 c 905s | 19 | 4477743 | 661382 | 11661 112 | 69 | 164 974.18/974.48 c 907s | 19 | 4488810 | 663082 | 11661 113 | 69 | 164 976.28/976.57 c 909s | 19 | 4499297 | 664682 | 11661 113 | 69 | 164 978.38/978.62 c 911s | 19 | 4511972 | 666482 | 11661 113 | 69 | 164 978.68/978.97 c 912s | 20 | 4514418 | 666827 | 11661 113 | 69 | 164 980.88/981.11 c 914s | 20 | 4522653 | 667627 | 11661 113 | 69 | 164 982.97/983.23 c 916s | 20 | 4533432 | 669127 | 11661 113 | 69 | 164 984.97/985.27 c 918s | 20 | 4543637 | 670627 | 11661 114 | 69 | 164 987.07/987.34 c 920s | 20 | 4552221 | 672127 | 11661 114 | 69 | 164 989.17/989.44 c 922s | 20 | 4562320 | 673727 | 11661 114 | 69 | 164 991.17/991.45 c 924s | 20 | 4574279 | 674927 | 11661 114 | 69 | 164 993.18/993.47 c 926s | 20 | 4584990 | 676427 | 11661 114 | 69 | 164 995.38/995.63 c 928s | 20 | 4595769 | 677927 | 11661 115 | 69 | 164 997.47/997.76 c 931s | 20 | 4607587 | 679527 | 11661 115 | 69 | 164 999.58/999.82 c 933s | 20 | 4615291 | 680827 | 11661 115 | 69 | 164 1001.57/1001.85 c 935s | 20 | 4623490 | 682427 | 11661 115 | 69 | 164 1003.67/1003.92 c 937s | 20 | 4632225 | 683827 | 11661 115 | 69 | 164 1005.67/1005.96 c 939s | 20 | 4642406 | 685727 | 11661 116 | 69 | 164 1007.77/1008.05 c 941s | 20 | 4651948 | 687727 | 11661 116 | 69 | 164 1009.77/1010.07 c 943s | 20 | 4661518 | 689427 | 11661 116 | 69 | 164 1011.88/1012.14 c 945s | 20 | 4670763 | 691127 | 11661 116 | 69 | 164 1013.87/1014.17 c 947s | 20 | 4683329 | 692827 | 11661 117 | 69 | 164 1015.87/1016.17 c 949s | 20 | 4691711 | 694527 | 11661 117 | 69 | 164 1017.97/1018.25 c 951s | 20 | 4701426 | 696327 | 11661 117 | 69 | 164 1020.06/1020.30 c 953s | 20 | 4712427 | 697927 | 11661 117 | 69 | 164 1022.06/1022.39 c 955s | 20 | 4721598 | 699827 | 11661 118 | 69 | 164 1024.16/1024.47 c 957s | 20 | 4734259 | 701627 | 11661 118 | 69 | 164 1026.26/1026.53 c 959s | 20 | 4742545 | 703427 | 11661 118 | 69 | 164 1028.37/1028.63 c 961s | 20 | 4752464 | 704927 | 11661 118 | 69 | 164 1030.47/1030.74 c 964s | 20 | 4760754 | 706427 | 11661 119 | 69 | 164 1032.46/1032.75 c 966s | 20 | 4774357 | 708027 | 11661 119 | 69 | 164 1034.56/1034.84 c 968s | 20 | 4787737 | 709727 | 11661 119 | 69 | 164 1036.66/1036.91 c 970s | 20 | 4796183 | 711527 | 11661 119 | 69 | 164 1038.66/1038.95 c 972s | 20 | 4805996 | 713027 | 11661 120 | 69 | 164 1040.76/1041.03 c 974s | 20 | 4815063 | 715127 | 11661 120 | 69 | 164 1042.75/1043.05 c 976s | 20 | 4825149 | 717027 | 11661 120 | 69 | 164 1044.76/1045.09 c 978s | 20 | 4835771 | 718927 | 11661 120 | 69 | 164 1046.85/1047.18 c 980s | 20 | 4846085 | 720827 | 11661 121 | 69 | 164 1048.95/1049.26 c 982s | 20 | 4855864 | 722827 | 11661 121 | 69 | 164 1050.95/1051.27 c 984s | 20 | 4866458 | 724827 | 11661 121 | 69 | 164 1053.05/1053.34 c 986s | 20 | 4876158 | 726827 | 11661 122 | 69 | 164 1055.05/1055.35 c 988s | 20 | 4884487 | 728827 | 11661 122 | 69 | 164 1057.05/1057.37 c 990s | 20 | 4892081 | 730527 | 11661 122 | 69 | 164 1059.16/1059.41 c 992s | 20 | 4898663 | 732127 | 11661 122 | 69 | 164 1061.15/1061.45 c 994s | 20 | 4902988 | 733227 | 11661 122 | 69 | 164 1063.45/1063.70 c 996s | 20 | 4911164 | 734527 | 11661 123 | 69 | 164 1065.54/1065.83 c 999s | 20 | 4922810 | 736227 | 11661 123 | 69 | 164 1067.64/1067.90 c 1001s | 20 | 4933784 | 737727 | 11661 123 | 69 | 164 1069.74/1070.00 c 1003s | 20 | 4942867 | 739427 | 11661 123 | 69 | 164 1071.84/1072.10 c 1005s | 20 | 4953455 | 741027 | 11661 124 | 69 | 164 1073.84/1074.19 c 1007s | 20 | 4966822 | 742727 | 11661 124 | 69 | 164 1076.04/1076.30 c 1009s | 20 | 4975382 | 744327 | 11661 124 | 69 | 164 1078.04/1078.33 c 1011s | 20 | 4986940 | 745827 | 11661 124 | 69 | 164 1080.05/1080.39 c 1013s | 20 | 4996099 | 747427 | 11661 124 | 69 | 164 1082.15/1082.47 c 1015s | 20 | 5006194 | 749127 | 11661 125 | 69 | 164 1084.14/1084.49 c 1017s | 20 | 5016746 | 750827 | 11661 125 | 69 | 164 1086.24/1086.54 c 1019s | 20 | 5029548 | 752527 | 11661 125 | 69 | 164 1088.34/1088.69 c 1021s | 20 | 5042453 | 754127 | 11661 125 | 69 | 164 1090.44/1090.74 c 1024s | 20 | 5055632 | 755827 | 11661 126 | 69 | 164 1092.54/1092.86 c 1026s | 20 | 5066102 | 757727 | 11661 126 | 69 | 164 1094.64/1094.91 c 1028s | 20 | 5074997 | 759827 | 11661 126 | 69 | 164 1096.74/1097.00 c 1030s | 20 | 5084330 | 761927 | 11661 126 | 69 | 164 1098.84/1099.15 c 1032s | 20 | 5093971 | 763927 | 11661 127 | 69 | 164 1100.84/1101.20 c 1034s | 20 | 5107449 | 765627 | 11661 127 | 69 | 164 1102.93/1103.28 c 1036s | 20 | 5115183 | 767627 | 11661 127 | 69 | 164 1105.03/1105.32 c 1038s | 20 | 5124203 | 769327 | 11661 128 | 69 | 164 1107.03/1107.36 c 1040s | 20 | 5133979 | 771427 | 11661 128 | 69 | 164 1109.13/1109.40 c 1042s | 20 | 5142253 | 773427 | 11661 128 | 69 | 164 1111.13/1111.49 c 1044s | 20 | 5151017 | 775127 | 11661 128 | 69 | 164 1113.33/1113.64 c 1046s | 20 | 5158478 | 776627 | 11661 129 | 69 | 164 1115.43/1115.72 c 1049s | 20 | 5164924 | 777927 | 11661 129 | 69 | 164 1117.53/1117.84 c 1051s | 20 | 5176952 | 779227 | 11661 129 | 69 | 164 1119.63/1119.93 c 1053s | 20 | 5186525 | 780627 | 11661 129 | 69 | 164 1121.63/1121.97 c 1055s | 20 | 5194738 | 782127 | 11661 129 | 69 | 164 1123.72/1124.02 c 1057s | 20 | 5202239 | 783627 | 11661 130 | 69 | 164 1125.82/1126.12 c 1059s | 20 | 5212263 | 785627 | 11661 130 | 69 | 164 1127.82/1128.13 c 1061s | 20 | 5223387 | 787427 | 11661 130 | 69 | 164 1129.92/1130.22 c 1063s | 20 | 5232638 | 789327 | 11661 130 | 69 | 164 1131.92/1132.28 c 1065s | 20 | 5242714 | 791127 | 11661 131 | 69 | 164 1134.02/1134.32 c 1067s | 20 | 5253021 | 793327 | 11661 131 | 69 | 164 1136.03/1136.34 c 1069s | 20 | 5263168 | 795527 | 11661 131 | 69 | 164 1138.12/1138.41 c 1071s | 20 | 5273498 | 797327 | 11661 131 | 69 | 164 1140.22/1140.50 c 1073s | 20 | 5284149 | 798927 | 11661 132 | 69 | 164 1142.22/1142.54 c 1075s | 20 | 5290787 | 800127 | 11661 132 | 69 | 164 1144.22/1144.56 c 1077s | 20 | 5298762 | 801827 | 11661 132 | 69 | 164 1146.32/1146.63 c 1079s | 20 | 5307208 | 803527 | 11661 132 | 69 | 164 1148.42/1148.74 c 1082s | 20 | 5314834 | 805227 | 11661 133 | 69 | 164 1150.52/1150.81 c 1084s | 20 | 5322842 | 806927 | 11661 133 | 69 | 164 1152.52/1152.84 c 1086s | 20 | 5330875 | 808627 | 11661 133 | 69 | 164 1154.61/1154.94 c 1088s | 20 | 5345712 | 809927 | 11661 133 | 69 | 164 1156.71/1157.06 c 1090s | 20 | 5353261 | 811427 | 11661 133 | 69 | 164 1158.81/1159.19 c 1092s | 20 | 5362680 | 813027 | 11661 134 | 69 | 164 1160.91/1161.27 c 1094s | 20 | 5372433 | 814927 | 11661 134 | 69 | 164 1163.01/1163.30 c 1096s | 20 | 5383678 | 816727 | 11661 134 | 69 | 164 1165.11/1165.44 c 1098s | 20 | 5393607 | 818227 | 11661 134 | 69 | 164 1167.11/1167.49 c 1100s | 20 | 5406768 | 819627 | 11661 135 | 69 | 164 1169.21/1169.51 c 1102s | 20 | 5416545 | 821227 | 11661 135 | 69 | 164 1171.32/1171.64 c 1104s | 20 | 5430590 | 822927 | 11661 135 | 69 | 164 1173.31/1173.69 c 1106s | 20 | 5446350 | 824627 | 11661 135 | 69 | 164 1175.41/1175.74 c 1109s | 20 | 5458165 | 826127 | 11661 136 | 69 | 164 1177.41/1177.78 c 1111s | 20 | 5471236 | 827827 | 11661 136 | 69 | 164 1179.41/1179.78 c 1113s | 20 | 5483823 | 829327 | 11661 136 | 69 | 164 1181.51/1181.81 c 1115s | 20 | 5494763 | 831027 | 11661 136 | 69 | 164 1183.61/1183.92 c 1117s | 20 | 5504098 | 832927 | 11661 136 | 69 | 164 1185.61/1185.97 c 1119s | 20 | 5515203 | 834727 | 11661 137 | 69 | 164 1187.71/1188.02 c 1121s | 20 | 5524842 | 836427 | 11661 137 | 69 | 164 1189.80/1190.11 c 1123s | 20 | 5535185 | 838327 | 11661 137 | 69 | 164 1191.90/1192.26 c 1125s | 20 | 5544124 | 840227 | 11661 138 | 69 | 164 1194.00/1194.30 c 1127s | 20 | 5554282 | 842227 | 11661 138 | 69 | 164 1196.00/1196.38 c 1129s | 20 | 5564879 | 844227 | 11661 138 | 69 | 164 1198.10/1198.43 c 1131s | 20 | 5574189 | 846127 | 11661 138 | 69 | 164 1200.10/1200.43 c 1133s | 20 | 5583209 | 848027 | 11661 139 | 69 | 164 1202.60/1202.90 c 1136s | 20 | 5591028 | 849827 | 11661 139 | 69 | 164 1204.59/1204.93 c 1138s | 20 | 5598629 | 851427 | 11661 139 | 69 | 164 1206.60/1206.94 c 1140s | 20 | 5607522 | 853027 | 11661 139 | 69 | 164 1208.60/1208.97 c 1142s | 20 | 5614777 | 854227 | 11661 139 | 69 | 164 1210.69/1211.06 c 1144s | 20 | 5623715 | 856127 | 11661 140 | 69 | 164 1212.69/1213.07 c 1146s | 20 | 5633110 | 857927 | 11661 140 | 69 | 164 1214.79/1215.11 c 1148s | 20 | 5645857 | 859427 | 11661 140 | 69 | 164 1216.79/1217.17 c 1150s | 20 | 5656307 | 861227 | 11661 140 | 69 | 164 1218.79/1219.18 c 1152s | 20 | 5666860 | 862727 | 11661 141 | 69 | 164 1220.89/1221.25 c 1154s | 20 | 5679224 | 864227 | 11661 141 | 69 | 164 1222.89/1223.26 c 1156s | 20 | 5692885 | 865927 | 11661 141 | 69 | 164 1224.88/1225.29 c 1158s | 20 | 5704856 | 867527 | 11661 141 | 69 | 164 1227.08/1227.40 c 1160s | 20 | 5714734 | 869127 | 11661 142 | 69 | 164 1229.08/1229.41 c 1162s | 20 | 5725300 | 870727 | 11661 142 | 69 | 164 1231.08/1231.46 c 1164s | 20 | 5733006 | 872227 | 11661 142 | 69 | 164 1233.18/1233.55 c 1166s | 20 | 5744589 | 873927 | 11661 142 | 69 | 164 1235.28/1235.65 c 1168s | 20 | 5754115 | 875627 | 11661 142 | 69 | 164 1237.29/1237.68 c 1170s | 20 | 5763330 | 877527 | 11661 143 | 69 | 164 1239.39/1239.71 c 1172s | 20 | 5774734 | 879427 | 11661 143 | 69 | 164 1241.38/1241.73 c 1175s | 20 | 5784331 | 881427 | 11661 143 | 69 | 164 1243.38/1243.75 c 1177s | 20 | 5793581 | 883327 | 11661 144 | 69 | 164 1245.38/1245.77 c 1179s | 20 | 5803500 | 885327 | 11661 144 | 69 | 164 1247.48/1247.80 c 1181s | 20 | 5813635 | 887427 | 11661 144 | 69 | 164 1249.48/1249.82 c 1183s | 20 | 5822463 | 889427 | 11661 144 | 69 | 164 1251.59/1251.92 c 1185s | 20 | 5831667 | 891527 | 11661 145 | 69 | 164 1253.57/1253.98 c 1187s | 20 | 5839336 | 893327 | 11661 145 | 69 | 164 1255.67/1256.09 c 1189s | 20 | 5845404 | 894527 | 11661 145 | 69 | 164 1257.77/1258.16 c 1191s | 20 | 5855046 | 895527 | 11661 145 | 69 | 164 1259.77/1260.19 c 1193s | 20 | 5867694 | 896827 | 11661 145 | 69 | 164 1261.87/1262.22 c 1195s | 20 | 5881675 | 898327 | 11661 146 | 69 | 164 1263.96/1264.33 c 1197s | 20 | 5891307 | 899627 | 11661 146 | 69 | 164 1266.06/1266.43 c 1199s | 20 | 5899525 | 901127 | 11661 146 | 69 | 164 1268.16/1268.53 c 1201s | 20 | 5914990 | 902827 | 11661 146 | 69 | 164 1270.17/1270.56 c 1203s | 20 | 5925009 | 904327 | 11661 147 | 69 | 164 1272.16/1272.57 c 1205s | 20 | 5934357 | 906027 | 11661 147 | 69 | 164 1274.26/1274.61 c 1207s | 20 | 5942956 | 907927 | 11661 147 | 69 | 164 1276.26/1276.63 c 1209s | 20 | 5952550 | 909827 | 11661 147 | 69 | 164 1278.26/1278.69 c 1211s | 20 | 5961706 | 911627 | 11661 148 | 69 | 164 1280.36/1280.74 c 1214s | 20 | 5972240 | 913427 | 11661 148 | 69 | 164 1282.46/1282.82 c 1216s | 20 | 5985548 | 914927 | 11661 148 | 69 | 164 1284.56/1284.95 c 1218s | 20 | 5996193 | 916727 | 11661 148 | 69 | 164 1286.66/1287.03 c 1220s | 20 | 6011474 | 918427 | 11661 149 | 69 | 164 1288.75/1289.15 c 1222s | 20 | 6024394 | 920127 | 11661 149 | 69 | 164 1290.86/1291.21 c 1224s | 20 | 6034253 | 921627 | 11661 149 | 69 | 164 1292.86/1293.23 c 1226s | 20 | 6042829 | 922927 | 11661 149 | 69 | 164 1294.86/1295.25 c 1228s | 20 | 6055957 | 924427 | 11661 149 | 69 | 164 1296.96/1297.32 c 1230s | 20 | 6065290 | 926227 | 11661 150 | 69 | 164 1299.06/1299.42 c 1232s | 20 | 6073473 | 928027 | 11661 150 | 69 | 164 1301.16/1301.50 c 1234s | 20 | 6082621 | 929927 | 11661 150 | 69 | 164 1303.16/1303.53 c 1236s | 20 | 6091212 | 931727 | 11661 150 | 69 | 164 1305.26/1305.60 c 1238s | 20 | 6100837 | 933627 | 11661 151 | 69 | 164 1307.26/1307.64 c 1240s | 20 | 6111167 | 935527 | 11661 151 | 69 | 164 1309.26/1309.66 c 1242s | 20 | 6119587 | 937527 | 11661 151 | 69 | 164 1311.25/1311.69 c 1244s | 20 | 6129481 | 939427 | 11661 151 | 69 | 164 1313.35/1313.72 c 1247s | 20 | 6137565 | 941427 | 11661 152 | 69 | 164 1315.45/1315.81 c 1249s | 20 | 6145287 | 943427 | 12828 152 | 69 | 164 1317.56/1317.99 c 1251s | 20 | 6152011 | 945027 | 12828 152 | 69 | 164 1319.66/1320.02 c 1253s | 20 | 6159042 | 946727 | 12828 152 | 69 | 164 1321.75/1322.15 c 1255s | 20 | 6165130 | 947427 | 12828 152 | 69 | 164 1323.75/1324.15 c 1257s | 20 | 6174762 | 948527 | 12828 153 | 69 | 164 1325.85/1326.22 c 1259s | 20 | 6183693 | 950027 | 12828 153 | 69 | 164 1327.95/1328.32 c 1261s | 20 | 6197149 | 951527 | 12828 153 | 69 | 164 1329.95/1330.38 c 1263s | 20 | 6209246 | 953027 | 12828 153 | 69 | 164 1332.05/1332.42 c 1265s | 20 | 6217337 | 954827 | 12828 153 | 69 | 164 1334.05/1334.49 c 1267s | 20 | 6229613 | 956527 | 12828 154 | 69 | 164 1336.15/1336.55 c 1269s | 20 | 6242485 | 958227 | 12828 154 | 69 | 164 1338.14/1338.56 c 1271s | 20 | 6257878 | 959927 | 12828 154 | 69 | 164 1340.24/1340.62 c 1273s | 20 | 6268839 | 961727 | 12828 154 | 69 | 164 1342.34/1342.70 c 1275s | 20 | 6279055 | 963527 | 12828 155 | 69 | 164 1344.34/1344.73 c 1278s | 20 | 6289802 | 965627 | 12828 155 | 69 | 164 1346.34/1346.73 c 1280s | 20 | 6299470 | 967727 | 12828 155 | 69 | 164 1348.35/1348.76 c 1282s | 20 | 6309176 | 969827 | 12828 155 | 69 | 164 1350.34/1350.78 c 1284s | 20 | 6320914 | 971427 | 12828 156 | 69 | 164 1352.44/1352.86 c 1286s | 20 | 6330711 | 973227 | 12828 156 | 69 | 164 1354.54/1354.92 c 1288s | 20 | 6338875 | 975027 | 12828 156 | 69 | 164 1356.63/1357.00 c 1290s | 20 | 6346475 | 976427 | 12828 156 | 69 | 164 1358.73/1359.14 c 1292s | 20 | 6355024 | 978027 | 12828 156 | 69 | 164 1360.83/1361.22 c 1294s | 20 | 6364501 | 979827 | 12828 157 | 69 | 164 1362.83/1363.27 c 1296s | 20 | 6375285 | 981927 | 12828 157 | 69 | 164 1364.93/1365.37 c 1298s | 20 | 6384828 | 983727 | 12828 157 | 69 | 164 1366.94/1367.38 c 1300s | 20 | 6393276 | 985527 | 12828 157 | 69 | 164 1368.93/1369.38 c 1302s | 20 | 6401721 | 987427 | 12828 158 | 69 | 164 1370.93/1371.39 c 1304s | 20 | 6411484 | 989627 | 12828 158 | 69 | 164 1373.03/1373.45 c 1306s | 20 | 6421401 | 991827 | 12828 158 | 69 | 164 1375.13/1375.50 c 1308s | 20 | 6430951 | 993827 | 12828 159 | 69 | 164 1377.23/1377.61 c 1310s | 20 | 6441641 | 995827 | 12828 159 | 69 | 164 1379.23/1379.69 c 1312s | 20 | 6448996 | 997227 | 12828 159 | 69 | 164 1381.33/1381.76 c 1315s | 20 | 6456669 | 998827 | 12828 159 | 69 | 164 1383.43/1383.80 c 1317s | 20 | 6464204 | 1000327 | 12828 159 | 69 | 164 1383.43/1383.83 c 1317s | 21 | 6464382 | 1000345 | 12828 159 | 69 | 164 1385.42/1385.84 c 1319s | 21 | 6474054 | 1001645 | 12828 160 | 69 | 164 1387.52/1387.94 c 1321s | 21 | 6484743 | 1003145 | 12828 160 | 69 | 164 1389.52/1389.97 c 1323s | 21 | 6496279 | 1004845 | 12828 160 | 69 | 164 1391.62/1392.06 c 1325s | 21 | 6509759 | 1006545 | 12828 160 | 69 | 164 1393.82/1394.23 c 1327s | 21 | 6520490 | 1008045 | 12828 160 | 69 | 164 1395.92/1396.33 c 1329s | 21 | 6530698 | 1009645 | 12828 161 | 69 | 164 1397.92/1398.35 c 1331s | 21 | 6539502 | 1011345 | 12828 161 | 69 | 164 1400.03/1400.41 c 1333s | 21 | 6549791 | 1013245 | 12828 161 | 69 | 164 1402.02/1402.47 c 1335s | 21 | 6559781 | 1015045 | 12828 161 | 69 | 164 1404.12/1404.53 c 1337s | 21 | 6569433 | 1016845 | 12828 162 | 69 | 164 1406.22/1406.61 c 1339s | 21 | 6577674 | 1018845 | 12828 162 | 69 | 164 1408.22/1408.67 c 1341s | 21 | 6591323 | 1020645 | 12828 162 | 69 | 164 1410.32/1410.72 c 1344s | 21 | 6602378 | 1022045 | 12828 162 | 69 | 164 1412.32/1412.79 c 1346s | 21 | 6612449 | 1023645 | 12828 162 | 69 | 164 1414.42/1414.82 c 1348s | 21 | 6623345 | 1025245 | 12828 163 | 69 | 164 1416.53/1416.93 c 1350s | 21 | 6634282 | 1027145 | 12828 163 | 69 | 164 1418.72/1419.12 c 1352s | 21 | 6644805 | 1028645 | 12828 163 | 69 | 164 1420.82/1421.23 c 1354s | 21 | 6655297 | 1030445 | 12828 163 | 69 | 164 1422.91/1423.33 c 1356s | 21 | 6663489 | 1032045 | 12828 164 | 69 | 164 1424.91/1425.39 c 1358s | 21 | 6673186 | 1033545 | 12828 164 | 69 | 164 1427.01/1427.48 c 1360s | 21 | 6684386 | 1035045 | 12828 164 | 69 | 164 1429.21/1429.64 c 1362s | 21 | 6693779 | 1036545 | 12828 164 | 69 | 164 1431.31/1431.70 c 1364s | 21 | 6706287 | 1038045 | 12828 164 | 69 | 164 1433.41/1433.81 c 1367s | 21 | 6715350 | 1039645 | 12828 165 | 69 | 164 1435.41/1435.81 c 1369s | 21 | 6727442 | 1041245 | 12828 165 | 69 | 164 1437.42/1437.85 c 1371s | 21 | 6738969 | 1042845 | 12828 165 | 69 | 164 1439.41/1439.88 c 1373s | 21 | 6751185 | 1044445 | 12828 165 | 69 | 164 1441.51/1441.94 c 1375s | 21 | 6762451 | 1045945 | 12828 165 | 69 | 164 1443.51/1443.94 c 1377s | 21 | 6773927 | 1047445 | 12828 166 | 69 | 164 1445.61/1446.03 c 1379s | 21 | 6786301 | 1049245 | 12828 166 | 69 | 164 1447.71/1448.13 c 1381s | 21 | 6796845 | 1050845 | 12828 166 | 69 | 164 1449.81/1450.24 c 1383s | 21 | 6809823 | 1052445 | 12828 166 | 69 | 164 1451.81/1452.28 c 1385s | 21 | 6821030 | 1053945 | 12828 166 | 69 | 164 1453.92/1454.39 c 1387s | 21 | 6833909 | 1055545 | 12828 167 | 69 | 164 1456.02/1456.46 c 1389s | 21 | 6843860 | 1057145 | 12828 167 | 69 | 164 1458.11/1458.57 c 1391s | 21 | 6856046 | 1058845 | 12828 167 | 69 | 164 1460.21/1460.66 c 1393s | 21 | 6868372 | 1060545 | 12828 167 | 69 | 164 1462.31/1462.72 c 1396s | 21 | 6879727 | 1062245 | 12828 167 | 69 | 164 1464.31/1464.75 c 1398s | 21 | 6890937 | 1063845 | 12828 168 | 69 | 164 1466.41/1466.80 c 1400s | 21 | 6905324 | 1065445 | 12828 168 | 69 | 164 1468.41/1468.87 c 1402s | 21 | 6916455 | 1067345 | 12828 168 | 69 | 164 1470.51/1470.92 c 1404s | 21 | 6924611 | 1069145 | 12828 168 | 69 | 164 1473.21/1473.62 c 1406s | 21 | 6930261 | 1070345 | 12828 169 | 69 | 164 1475.31/1475.78 c 1409s | 21 | 6938312 | 1072145 | 12828 169 | 69 | 164 1477.31/1477.79 c 1411s | 21 | 6945917 | 1073545 | 12828 169 | 69 | 164 1479.41/1479.81 c 1413s | 21 | 6953787 | 1074945 | 12828 169 | 69 | 164 1481.42/1481.89 c 1415s | 21 | 6960726 | 1076145 | 12828 169 | 69 | 164 1483.52/1483.96 c 1417s | 21 | 6969814 | 1077445 | 12828 169 | 69 | 164 1485.51/1485.99 c 1419s | 21 | 6981793 | 1079045 | 12828 170 | 69 | 164 1487.51/1487.99 c 1421s | 21 | 6992356 | 1080545 | 12828 170 | 69 | 164 1489.61/1490.08 c 1423s | 21 | 7000160 | 1081845 | 12828 170 | 69 | 164 1491.71/1492.19 c 1425s | 21 | 7011160 | 1083545 | 12828 170 | 69 | 164 1493.81/1494.23 c 1427s | 21 | 7021415 | 1085045 | 12828 170 | 69 | 164 1495.91/1496.30 c 1429s | 21 | 7030635 | 1086745 | 12828 171 | 69 | 164 1497.92/1498.31 c 1431s | 21 | 7044082 | 1088445 | 12828 171 | 69 | 164 1499.91/1500.39 c 1433s | 21 | 7055009 | 1089945 | 12828 171 | 69 | 164 1502.11/1502.56 c 1435s | 21 | 7065841 | 1091545 | 12828 171 | 69 | 164 1504.31/1504.76 c 1438s | 21 | 7079452 | 1093145 | 12828 172 | 69 | 164 1506.41/1506.84 c 1440s | 21 | 7090546 | 1094645 | 12828 172 | 69 | 164 1508.51/1508.94 c 1442s | 21 | 7099962 | 1096445 | 12828 172 | 69 | 164 1510.61/1511.05 c 1444s | 21 | 7108904 | 1098345 | 12828 172 | 69 | 164 1512.71/1513.12 c 1446s | 21 | 7118835 | 1100245 | 12828 172 | 69 | 164 1514.71/1515.17 c 1448s | 21 | 7128352 | 1102045 | 12828 173 | 69 | 164 1516.71/1517.18 c 1450s | 21 | 7137266 | 1104045 | 12828 173 | 69 | 164 1518.81/1519.26 c 1452s | 21 | 7147448 | 1106045 | 12828 173 | 69 | 164 1520.91/1521.39 c 1454s | 21 | 7157804 | 1108045 | 12828 173 | 69 | 164 1523.00/1523.43 c 1456s | 21 | 7167069 | 1109945 | 12828 174 | 69 | 164 1525.10/1525.50 c 1458s | 21 | 7178338 | 1112045 | 12828 174 | 69 | 164 1527.10/1527.59 c 1460s | 21 | 7188115 | 1114145 | 12828 174 | 69 | 164 1529.20/1529.66 c 1462s | 21 | 7197746 | 1116145 | 12828 174 | 69 | 164 1531.30/1531.71 c 1464s | 21 | 7208326 | 1118145 | 12828 175 | 69 | 164 1533.30/1533.75 c 1467s | 21 | 7218871 | 1120145 | 12828 175 | 69 | 164 1535.31/1535.76 c 1469s | 21 | 7228559 | 1122045 | 12828 175 | 69 | 164 1537.41/1537.82 c 1471s | 21 | 7237845 | 1123945 | 12828 176 | 69 | 164 1539.40/1539.87 c 1473s | 21 | 7247009 | 1126045 | 12828 176 | 69 | 164 1541.70/1542.13 c 1475s | 21 | 7255797 | 1128045 | 12828 176 | 69 | 164 1543.90/1544.30 c 1477s | 21 | 7264499 | 1129645 | 12828 176 | 69 | 164 1545.90/1546.33 c 1479s | 21 | 7273729 | 1131345 | 12828 176 | 69 | 164 1547.90/1548.33 c 1481s | 21 | 7281033 | 1133145 | 12828 177 | 69 | 164 1549.90/1550.34 c 1483s | 21 | 7288654 | 1134445 | 12828 177 | 69 | 164 1552.10/1552.50 c 1485s | 21 | 7297909 | 1135645 | 12828 177 | 69 | 164 1554.10/1554.56 c 1487s | 21 | 7309275 | 1136945 | 12828 177 | 69 | 164 1556.10/1556.60 c 1489s | 21 | 7317491 | 1138545 | 12828 177 | 69 | 164 1558.20/1558.69 c 1491s | 21 | 7327062 | 1139745 | 12828 178 | 69 | 164 1560.29/1560.70 c 1493s | 21 | 7339104 | 1141345 | 12828 178 | 69 | 164 1562.39/1562.80 c 1496s | 21 | 7352483 | 1142845 | 12828 178 | 69 | 164 1564.39/1564.82 c 1498s | 21 | 7365457 | 1144445 | 12828 178 | 69 | 164 1566.39/1566.88 c 1500s | 21 | 7379698 | 1145845 | 12828 178 | 69 | 164 1568.59/1569.01 c 1502s | 21 | 7389560 | 1147445 | 12828 179 | 69 | 164 1570.59/1571.05 c 1504s | 21 | 7400200 | 1148945 | 12828 179 | 69 | 164 1572.70/1573.17 c 1506s | 21 | 7413265 | 1150645 | 12828 179 | 69 | 164 1574.80/1575.26 c 1508s | 21 | 7426567 | 1152345 | 12828 179 | 69 | 164 1576.89/1577.37 c 1510s | 21 | 7435392 | 1153845 | 12828 179 | 69 | 164 1578.99/1579.43 c 1512s | 21 | 7447264 | 1155545 | 12828 180 | 69 | 164 1581.09/1581.55 c 1514s | 21 | 7459673 | 1157245 | 12828 180 | 69 | 164 1583.19/1583.63 c 1516s | 21 | 7471085 | 1159045 | 12828 180 | 69 | 164 1585.29/1585.70 c 1518s | 21 | 7479391 | 1160845 | 12828 180 | 69 | 164 1587.29/1587.74 c 1521s | 21 | 7488140 | 1162445 | 12828 181 | 69 | 164 1589.39/1589.82 c 1523s | 21 | 7499048 | 1164345 | 12828 181 | 69 | 164 1591.40/1591.88 c 1525s | 21 | 7509041 | 1166245 | 12828 181 | 69 | 164 1593.50/1593.91 c 1527s | 21 | 7516895 | 1168145 | 12828 181 | 69 | 164 1595.49/1595.91 c 1529s | 21 | 7524995 | 1169945 | 12828 182 | 69 | 164 1597.49/1597.99 c 1531s | 21 | 7534605 | 1172145 | 12828 182 | 69 | 164 1599.59/1600.07 c 1533s | 21 | 7545148 | 1174345 | 12828 182 | 69 | 164 1601.69/1602.11 c 1535s | 21 | 7553916 | 1176345 | 12828 182 | 69 | 164 1603.69/1604.14 c 1537s | 21 | 7562666 | 1177845 | 12828 183 | 69 | 164 1605.79/1606.28 c 1539s | 21 | 7574931 | 1179845 | 12828 183 | 69 | 164 1608.09/1608.52 c 1541s | 21 | 7582392 | 1181245 | 12828 183 | 69 | 164 1610.19/1610.68 c 1543s | 21 | 7591364 | 1182945 | 12828 183 | 69 | 164 1612.39/1612.82 c 1546s | 21 | 7599449 | 1184445 | 12828 183 | 69 | 164 1614.39/1614.90 c 1548s | 21 | 7609826 | 1186445 | 12828 184 | 69 | 164 1616.49/1616.90 c 1550s | 21 | 7617497 | 1187845 | 12828 184 | 69 | 164 1618.49/1618.99 c 1552s | 21 | 7629194 | 1189645 | 12828 184 | 69 | 164 1620.59/1621.04 c 1554s | 21 | 7638443 | 1191245 | 12828 184 | 69 | 164 1622.59/1623.09 c 1556s | 21 | 7647183 | 1193245 | 12828 185 | 69 | 164 1624.69/1625.14 c 1558s | 21 | 7659734 | 1194945 | 12828 185 | 69 | 164 1626.69/1627.16 c 1560s | 21 | 7671584 | 1196845 | 12828 185 | 69 | 164 1628.79/1629.23 c 1562s | 21 | 7679904 | 1198745 | 12828 185 | 69 | 164 1630.78/1631.29 c 1564s | 21 | 7690734 | 1200545 | 12828 185 | 69 | 164 1632.88/1633.37 c 1566s | 21 | 7700640 | 1202545 | 12828 186 | 69 | 164 1634.88/1635.39 c 1568s | 21 | 7711195 | 1204445 | 12828 186 | 69 | 164 1636.98/1637.40 c 1570s | 21 | 7720110 | 1206345 | 12828 186 | 69 | 164 1638.98/1639.41 c 1572s | 21 | 7729073 | 1208245 | 12828 186 | 69 | 164 1640.98/1641.43 c 1574s | 21 | 7738858 | 1210145 | 12828 187 | 69 | 164 1642.99/1643.49 c 1576s | 21 | 7749036 | 1212145 | 12828 187 | 69 | 164 1645.08/1645.55 c 1578s | 21 | 7760290 | 1214145 | 12828 187 | 69 | 164 1647.08/1647.59 c 1580s | 21 | 7770767 | 1216145 | 12828 188 | 69 | 164 1649.08/1649.59 c 1582s | 21 | 7782259 | 1218145 | 12828 188 | 69 | 164 1651.18/1651.69 c 1584s | 21 | 7792798 | 1220145 | 12828 188 | 69 | 164 1653.28/1653.75 c 1587s | 21 | 7802306 | 1222145 | 12828 188 | 69 | 164 1655.38/1655.81 c 1589s | 21 | 7811842 | 1224045 | 12828 189 | 69 | 164 1657.68/1658.10 c 1591s | 21 | 7821836 | 1226045 | 12828 189 | 69 | 164 1659.88/1660.35 c 1593s | 21 | 7831275 | 1227645 | 12828 189 | 69 | 164 1661.98/1662.44 c 1595s | 21 | 7837507 | 1229245 | 12828 189 | 69 | 164 1664.08/1664.52 c 1597s | 21 | 7845493 | 1230645 | 12828 189 | 69 | 164 1666.08/1666.58 c 1599s | 21 | 7852963 | 1232045 | 12828 190 | 69 | 164 1668.28/1668.80 c 1602s | 21 | 7864045 | 1233645 | 12828 190 | 69 | 164 1670.49/1670.94 c 1604s | 21 | 7875859 | 1234945 | 12828 190 | 69 | 164 1672.58/1673.02 c 1606s | 21 | 7885933 | 1236445 | 12828 190 | 69 | 164 1674.68/1675.14 c 1608s | 21 | 7893841 | 1237945 | 12828 190 | 69 | 164 1676.78/1677.25 c 1610s | 21 | 7903259 | 1239445 | 12828 191 | 69 | 164 1678.78/1679.29 c 1612s | 21 | 7911673 | 1241145 | 12828 191 | 69 | 164 1680.98/1681.40 c 1614s | 21 | 7923308 | 1242845 | 12828 191 | 69 | 164 1683.08/1683.59 c 1616s | 21 | 7936313 | 1244545 | 12828 191 | 69 | 164 1685.18/1685.63 c 1618s | 21 | 7948897 | 1246045 | 12828 191 | 69 | 164 1687.28/1687.71 c 1620s | 21 | 7958979 | 1247745 | 12828 192 | 69 | 164 1689.38/1689.81 c 1623s | 21 | 7972606 | 1249545 | 12828 192 | 69 | 164 1691.39/1691.82 c 1625s | 21 | 7983441 | 1251145 | 12828 192 | 69 | 164 1693.38/1693.84 c 1627s | 21 | 7993036 | 1252845 | 12828 192 | 69 | 164 1695.38/1695.89 c 1629s | 21 | 8007223 | 1254445 | 12828 193 | 69 | 164 1697.48/1697.97 c 1631s | 21 | 8016039 | 1256445 | 12828 193 | 69 | 164 1699.48/1699.98 c 1633s | 21 | 8029384 | 1257945 | 12828 193 | 69 | 164 1701.58/1702.02 c 1635s | 21 | 8040251 | 1259845 | 12828 193 | 69 | 164 1703.68/1704.12 c 1637s | 21 | 8049195 | 1261745 | 12828 193 | 69 | 164 1705.68/1706.13 c 1639s | 21 | 8060018 | 1263445 | 12828 194 | 69 | 164 1707.68/1708.13 c 1641s | 21 | 8070010 | 1265145 | 12828 194 | 69 | 164 1709.68/1710.17 c 1643s | 21 | 8078879 | 1266845 | 12828 194 | 69 | 164 1711.78/1712.23 c 1645s | 21 | 8085413 | 1268445 | 12828 194 | 69 | 164 1713.78/1714.28 c 1647s | 21 | 8092087 | 1269445 | 12828 194 | 69 | 164 1715.78/1716.29 c 1649s | 21 | 8106699 | 1270945 | 12828 195 | 69 | 164 1717.88/1718.37 c 1651s | 21 | 8115027 | 1272345 | 12828 195 | 69 | 164 1719.98/1720.47 c 1653s | 21 | 8124387 | 1273745 | 12828 195 | 69 | 164 1722.18/1722.61 c 1655s | 21 | 8132291 | 1275145 | 12828 195 | 69 | 164 1724.17/1724.64 c 1657s | 21 | 8144542 | 1276345 | 12828 195 | 69 | 164 1726.27/1726.72 c 1660s | 21 | 8155988 | 1277845 | 12828 196 | 69 | 164 1728.27/1728.77 c 1662s | 21 | 8168532 | 1279645 | 12828 196 | 69 | 164 1730.37/1730.82 c 1664s | 21 | 8177243 | 1280945 | 12828 196 | 69 | 164 1732.37/1732.88 c 1666s | 21 | 8190556 | 1282445 | 12828 196 | 69 | 164 1734.47/1734.90 c 1668s | 21 | 8201160 | 1284145 | 12828 196 | 69 | 164 1736.48/1737.00 c 1670s | 21 | 8212952 | 1285845 | 12828 197 | 69 | 164 1738.68/1739.12 c 1672s | 21 | 8226287 | 1287545 | 12828 197 | 69 | 164 1740.77/1741.22 c 1674s | 21 | 8238361 | 1289145 | 12828 197 | 69 | 164 1742.87/1743.34 c 1676s | 21 | 8254254 | 1290745 | 12828 197 | 69 | 164 1744.87/1745.37 c 1678s | 21 | 8266837 | 1292245 | 12828 197 | 69 | 164 1746.97/1747.41 c 1680s | 21 | 8278675 | 1293745 | 12828 198 | 69 | 164 1749.07/1749.50 c 1682s | 21 | 8289774 | 1295545 | 12828 198 | 69 | 164 1751.07/1751.57 c 1684s | 21 | 8299528 | 1297345 | 12828 198 | 69 | 164 1753.17/1753.60 c 1686s | 21 | 8309350 | 1299145 | 12828 198 | 69 | 164 1755.07/1755.60 c 1688s | 21 | 8318435 | 1300945 | 12828 199 | 69 | 164 1757.17/1757.65 c 1690s | 21 | 8329186 | 1302945 | 12828 199 | 69 | 164 1759.17/1759.69 c 1692s | 21 | 8337150 | 1304845 | 12828 199 | 69 | 164 1761.27/1761.74 c 1695s | 21 | 8343291 | 1306045 | 12828 199 | 69 | 164 1763.36/1763.82 c 1697s | 21 | 8353713 | 1307545 | 12828 199 | 69 | 164 1765.36/1765.88 c 1699s | 21 | 8362457 | 1308945 | 12828 200 | 69 | 164 1767.46/1767.98 c 1701s | 21 | 8376089 | 1310645 | 12828 200 | 69 | 164 1769.57/1770.07 c 1703s | 21 | 8387520 | 1312245 | 12828 200 | 69 | 164 1771.67/1772.12 c 1705s | 21 | 8399484 | 1313645 | 12828 200 | 69 | 164 1773.66/1774.19 c 1707s | 21 | 8408026 | 1315145 | 12828 200 | 69 | 164 1775.76/1776.25 c 1709s | 21 | 8420044 | 1317045 | 12828 201 | 69 | 164 1777.86/1778.31 c 1711s | 21 | 8430886 | 1318545 | 12828 201 | 69 | 164 1779.86/1780.37 c 1713s | 21 | 8441856 | 1320345 | 12828 201 | 69 | 164 1781.96/1782.47 c 1715s | 21 | 8456986 | 1321745 | 12828 201 | 69 | 164 1784.06/1784.53 c 1717s | 21 | 8468962 | 1323145 | 12828 201 | 69 | 164 1786.16/1786.66 c 1719s | 21 | 8482507 | 1324445 | 12828 202 | 69 | 164 1788.27/1788.73 c 1722s | 21 | 8495778 | 1325745 | 12828 202 | 69 | 164 1790.37/1790.81 c 1724s | 21 | 8507545 | 1327545 | 12828 202 | 69 | 164 1792.36/1792.85 c 1726s | 21 | 8521668 | 1329145 | 12828 202 | 69 | 164 1794.36/1794.87 c 1728s | 21 | 8534257 | 1330745 | 12828 202 | 69 | 164 1796.46/1796.91 c 1730s | 21 | 8546224 | 1332345 | 12828 203 | 69 | 164 1798.46/1798.95 c 1732s | 21 | 8560268 | 1333945 | 12828 203 | 69 | 164
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-4079486-1465231311/watcher-4079486-1465231311 -o /tmp/evaluation-result-4079486-1465231311/solver-4079486-1465231311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079486-1465231311.opb pid=15628 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.17 2.22 2.22 3/179 15631 /proc/meminfo: memFree=29397836/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=758340 CPUtime=0 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 2833 0 0 0 0 0 0 0 20 0 4 0 105063468 776540160 3194 33554432000 4194304 16246674 140733512702560 140733512701984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 190097 3204 442 2943 0 186991 0 [pid=15631/tid=15632] ppid=15628 vsize=775748 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 794365952 3265 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=779844 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 798560256 3281 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=784964 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105063468 803803136 3298 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.17 2.22 2.22 3/179 15631 /proc/meminfo: memFree=29397836/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 26235 0 0 0 6 3 0 0 20 0 4 0 105063468 1249447936 26535 33554432000 4194304 16246674 140733512702560 140733512701872 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 305041 26545 831 2943 0 301935 0 [pid=15631/tid=15632] ppid=15628 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1249447936 26553 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1249447936 26561 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105063468 1249447936 26571 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200576 s] /proc/loadavg: 2.17 2.22 2.22 3/179 15631 /proc/meminfo: memFree=29397836/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1307204 CPUtime=0.19 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 44807 0 0 0 14 5 0 0 20 0 4 0 105063468 1338576896 45106 33554432000 4194304 16246674 140733512702560 140733512701872 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 326801 45106 898 2943 0 323695 0 [pid=15631/tid=15632] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45106 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45106 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45106 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.30049 s] /proc/loadavg: 2.17 2.22 2.22 3/179 15631 /proc/meminfo: memFree=29397836/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1307204 CPUtime=0.29 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 45235 0 0 0 23 6 0 0 20 0 4 0 105063468 1338576896 45534 33554432000 4194304 16246674 140733512702560 140733512701872 12414352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 326801 45534 899 2943 0 323695 0 [pid=15631/tid=15632] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45534 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45534 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 45534 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1307204 [startup+0.700416 s] /proc/loadavg: 2.17 2.22 2.22 3/179 15631 /proc/meminfo: memFree=29397836/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 60110 0 0 0 61 8 0 0 20 0 4 0 105063468 1338576896 60409 33554432000 4194304 16246674 140733512702560 140733512701872 5664948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 326801 60419 907 2943 0 323695 0 [pid=15631/tid=15632] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 60426 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 60432 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 60438 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.50042 s] /proc/loadavg: 2.16 2.22 2.22 3/183 15635 /proc/meminfo: memFree=29155576/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 129308 0 0 0 132 17 0 0 20 0 4 0 105063468 1338576896 129608 33554432000 4194304 16246674 140733512702560 140733512684480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 326801 129627 907 2943 0 323695 0 [pid=15631/tid=15632] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 129636 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 129653 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1338576896 129663 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10043 s] /proc/loadavg: 2.16 2.22 2.22 3/183 15635 /proc/meminfo: memFree=28727892/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 167604 0 0 0 286 23 0 0 20 0 4 0 105063468 1339625472 167903 33554432000 4194304 16246674 140733512702560 140733512684480 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 327057 167903 911 2943 0 323951 0 [pid=15631/tid=15632] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 167903 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 167903 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 167903 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30041 s] /proc/loadavg: 2.15 2.21 2.22 3/183 15635 /proc/meminfo: memFree=28507296/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 268022 0 0 0 591 38 0 0 20 0 4 0 105063468 1339625472 268321 33554432000 4194304 16246674 140733512702560 140733512684480 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 327057 268321 911 2943 0 323951 0 [pid=15631/tid=15632] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268321 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268321 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268321 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.13 2.21 2.21 3/183 15635 /proc/meminfo: memFree=28327380/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 268034 0 0 0 1231 38 0 0 20 0 4 0 105063468 1339625472 268333 33554432000 4194304 16246674 140733512702560 140733512684480 5598730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 327057 268333 913 2943 0 323951 0 [pid=15631/tid=15632] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268333 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268333 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268333 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.11 2.20 2.21 4/183 15635 /proc/meminfo: memFree=28326264/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1308228 CPUtime=25.49 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 268042 0 0 0 2511 38 0 0 20 0 4 0 105063468 1339625472 268341 33554432000 4194304 16246674 140733512702560 140733512684480 13780660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 327057 268341 914 2943 0 323951 0 [pid=15631/tid=15632] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268341 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268341 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1339625472 268341 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.18 2.21 2.21 3/183 15635 /proc/meminfo: memFree=28318668/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 269805 0 0 0 5070 38 0 0 20 0 4 0 105063468 1345916928 270104 33554432000 4194304 16246674 140733512702560 140733512684480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 328593 270104 914 2943 0 325487 0 [pid=15631/tid=15632] ppid=15628 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1345916928 270104 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1345916928 270104 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1345916928 270104 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1314372 [startup+102.301 s] /proc/loadavg: 2.26 2.22 2.21 3/183 15636 /proc/meminfo: memFree=28310660/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1318468 CPUtime=102.28 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 270829 0 0 0 10190 38 0 0 20 0 4 0 105063468 1350111232 271128 33554432000 4194304 16246674 140733512702560 140733512684480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 329617 271128 914 2943 0 326511 0 [pid=15631/tid=15632] ppid=15628 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1350111232 271128 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1350111232 271128 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1350111232 271128 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1331780 [startup+1362.3 s] /proc/loadavg: 2.37 2.21 2.18 3/183 15788 /proc/meminfo: memFree=28285560/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1331780 CPUtime=1361.94 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 274433 0 0 0 136149 45 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140733512684480 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 332945 274713 915 2943 0 329839 0 [pid=15631/tid=15632] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1331780 [startup+1422.3 s] /proc/loadavg: 2.37 2.23 2.19 4/183 15790 /proc/meminfo: memFree=28284516/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1331780 CPUtime=1421.92 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 274443 0 0 0 142147 45 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140733512684480 5661432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 332945 274713 915 2943 0 329839 0 [pid=15631/tid=15632] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1331780 [startup+1482.3 s] /proc/loadavg: 2.38 2.25 2.19 3/183 15791 /proc/meminfo: memFree=28284480/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1331780 CPUtime=1481.91 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 274443 0 0 0 148145 46 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140733512684480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 332945 274713 915 2943 0 329839 0 [pid=15631/tid=15632] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.22 2.23 2.19 3/183 15792 /proc/meminfo: memFree=28284404/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1331780 CPUtime=1541.91 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 274443 0 0 0 154145 46 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140733512701656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 332945 274713 915 2943 0 329839 0 [pid=15631/tid=15632] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1363742720 274713 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.12 2.20 2.18 3/183 15793 /proc/meminfo: memFree=28281292/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1601.89 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 160143 46 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512685560 5711976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.32 2.24 2.19 3/183 15794 /proc/meminfo: memFree=28281204/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1661.88 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 166142 46 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512684480 5598185 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.17 2.21 2.18 3/184 15799 /proc/meminfo: memFree=28280744/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1721.87 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 172140 47 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512684480 5672160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.31 2.24 2.19 3/183 15800 /proc/meminfo: memFree=28280280/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1781.86 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 178139 47 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512684480 5722671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.31 2.25 2.19 3/183 15800 /proc/meminfo: memFree=28280248/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1800.06 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 179959 47 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512684480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1334852 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 15631 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.31 2.25 2.19 3/183 15800 /proc/meminfo: memFree=28280248/32872528 swapFree=16636/1570076 [pid=15631] ppid=15628 vsize=1334852 CPUtime=1800.06 cores=1,3,5,7 /proc/15631/stat : 15631 (toysat) R 15628 15631 13075 0 -1 4202496 275211 0 0 0 179959 47 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140733512684480 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15631/statm: 333713 275481 915 2943 0 330607 0 [pid=15631/tid=15632] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15632/stat : 15632 (toysat) S 15628 15631 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728645692656 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15631/tid=15633] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15633/stat : 15633 (toysat) S 15628 15631 13075 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728562855152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15631/tid=15634] ppid=15628 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/15631/task/15634/stat : 15634 (toysat) S 15628 15631 13075 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 105063468 1366888448 275481 33554432000 4194304 16246674 140733512702560 140728552381616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1334852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.6 CPU system time (s): 0.476927 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.476927 maximum resident set size= 1101924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275211 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= 299 involuntary context switches= 1955 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.7321 second user time and 16.6325 second system time The end
Begin job on node140 at 2016-06-06 18:41:51 IDJOB=4079486 IDBENCH=2044 IDSOLVER=2542 FILE ID=node140/4079486-1465231311 RUNJOBID= node140-1465216678-13092 PBS_JOBID= 19843199 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-exam.pi.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079486-1465231311/watcher-4079486-1465231311 -o /tmp/evaluation-result-4079486-1465231311/solver-4079486-1465231311 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079486-1465231311.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=2005879022 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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 : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29398752 kB Buffers: 26432 kB Cached: 84400 kB SwapCached: 1756 kB Active: 1149728 kB Inactive: 50588 kB Active(anon): 1089500 kB Inactive(anon): 2612 kB Active(file): 60228 kB Inactive(file): 47976 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098596 kB Dirty: 16720 kB Writeback: 0 kB AnonPages: 2614440 kB Mapped: 10380 kB Shmem: 0 kB Slab: 566956 kB SReclaimable: 11240 kB SUnreclaim: 555716 kB KernelStack: 1520 kB PageTables: 8996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2804864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1511424 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 node140 at 2016-06-06 19:11:52