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.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb |
| MD5SUM | a5b00f1ae7deac89a36da7a8be4b1f6d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 316 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 291 |
| Optimality of the best value was proved | NO |
| Number of variables | 5380 |
| Total number of constraints | 630 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 542 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 77 |
| Number of terms in the objective function | 3720 |
| Biggest coefficient in the objective function | 2115 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 527620 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262086 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 527620 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T07:39:07+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-4101977-1466228347.opb"] 0.00/0.01 c use --random-gen="708088353 3068878866 2655491329 2674662739 4140209969 2212076958 3746913614 3611921100 2688109212 4212901569 1210689679 1375211366 3205816322 845220055 2407459166 3160419203 377881640 1730524554 1489770068 47573171 2555640721 2732151934 3275896408 1626595081 3562518931 1892164948 1696401189 243119367 1931047328 623176202 3474773920 54216751 3509421569 1382301540 133695458 199786282 3659729262 646334200 1254248609 1096264779 1718625802 4066028018 329364804 1116718271 3622863883 3547613187 2117326667 3704473333 601043354 2338300740 875227654 3568617401 3519058955 4084907126 933912726 1679760465 821125637 1879277067 2273383113 2375663443 599741326 2431299383 823112826 3293242105 79972818 3360987037 3996046957 2866232378 4222293680 2881558062 389031493 2460090916 1896737900 3028891924 2598001765 507247580 3261498768 3377274996 1755997236 1355543005 3201436690 2034893315 154593930 1907602618 288953646 2559042448 3565102562 2683413964 536321591 620704349 1821852667 2704574502 934836034 3847271797 2446550126 1477692911 3237747851 4082438735 3273851076 54931134 2782464940 1009486576 1235938754 3729838724 2577138011 4238695066 3086062402 2532863864 3574428268 1814278623 65750515 1599360727 799005440 1768570786 4167207130 3779555528 1202133315 3792314377 8407454 3969388087 2749048173 3153511668 2356870380 1639440927 78970785 2185004920 3821174464 1335929281 1056971530 2551101683 2782665949 227286786 3132428582 413248635 2825497246 3976106712 1269079508 3048965984 773797060 3177097472 3937914179 702961761 2889873676 1092486877 3694604607 3991110555 3209512973 2732579106 996916830 3845294487 24121364 4197012768 3540483575 684623746 2312322611 2090585728 3620030078 2615999888 2685555742 3988307507 2739345036 2152948399 4228380899 810144267 1274125600 342868971 4063593126 1638601909 1476099049 1609369069 1899116213 3720641517 2474161601 534507715 3653575835 3042319117 536003584 37388821 830117240 1021676793 2295609666 2914240112 3485838418 1897020495 1990753352 3691913821 3207359790 2158448060 455687512 2002952361 1869208939 379843070 2535484694 1969591615 1749009628 3367850554 1711952143 34393771 3966185980 2992639566 1011438836 8891328 1028400238 2729398478 742750130 1404175131 2390560237 258398776 2966875967 2901103168 2550555305 1683718206 2972637814 4094998627 1252732272 1390054846 3566557249 667451432 680311248 527960864 825267606 491334893 195813514 2801129685 691794916 1135414420 605662226 2886453066 2402702037 2738726378 48773790 517981734 1398869067 796555747 2902453166 2686218443 146153932 3768891403 461098954 2847957981 2564741767 3996911997 685649580 539462718 76509623 2232460290 836147400 1773600660 89669158 571182610 2127962650 2874317236 1294585971 1470109947 2024912267 3883674004 255 362436" option to reproduce the execution 0.00/0.04 c #vars 5380 0.00/0.04 c #constraints 630 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 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.19 c 0.0s | 0 | 0 | 0 | 2114 0 | 1086 | 0 0.29/0.36 c 0.2s | 0 | 26716 | 62 | 2114 0 | 1108 | 0 0.29/0.36 c #cpu_time = 0.167s 0.29/0.36 c #wall_clock_time = 0.167s 0.29/0.36 c #decision = 26716 0.29/0.36 c #random_decision = 83 0.29/0.36 c #conflict = 62 0.29/0.36 c #restart = 0 0.29/0.36 o 2799 0.29/0.37 c BCD2: updating upper bound: 527620 -> 2798 0.29/0.38 c BCD2: 0 <= obj <= 2798 0.29/0.38 c BCD2: #cores=0, #unrelaxed=3720, #relaxed=0, #hardened=0 0.29/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 2114 0 | 1108 | 0 0.29/0.39 c 0.0s | 0 | 375 | 0 | 2114 0 | 1108 | 0 0.29/0.39 c #cpu_time = 0.008s 0.29/0.39 c #wall_clock_time = 0.008s 0.29/0.39 c #decision = 375 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 12: cost of the new core is >=1 0.29/0.39 c lower bound updated to 1 0.29/0.40 c BCD2: 1 <= obj <= 2798 0.29/0.40 c BCD2: #cores=1, #unrelaxed=3708, #relaxed=12, #hardened=0 0.29/0.40 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 2114 0 | 1108 | 0 0.39/0.42 c 0.0s | 0 | 437 | 0 | 2114 0 | 1108 | 0 0.39/0.42 c #cpu_time = 0.006s 0.39/0.42 c #wall_clock_time = 0.006s 0.39/0.42 c #decision = 437 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 32: cost of the new core is >=5 0.39/0.42 c lower bound updated to 6 0.39/0.42 c BCD2: 6 <= obj <= 2798 0.39/0.42 c BCD2: #cores=2, #unrelaxed=3676, #relaxed=44, #hardened=0 0.39/0.42 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 2114 0 | 1108 | 0 0.39/0.43 c 0.0s | 0 | 528 | 0 | 2114 0 | 1108 | 0 0.39/0.43 c #cpu_time = 0.006s 0.39/0.43 c #wall_clock_time = 0.006s 0.39/0.43 c #decision = 528 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 26: cost of the new core is >=1 0.39/0.43 c lower bound updated to 7 0.39/0.43 c BCD2: 7 <= obj <= 2798 0.39/0.43 c BCD2: #cores=3, #unrelaxed=3650, #relaxed=70, #hardened=0 0.39/0.43 c BCD2: #sat=1 #unsat=4 bias=4/5 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 | 2114 0 | 1108 | 0 0.39/0.44 c 0.0s | 0 | 662 | 0 | 2114 0 | 1108 | 0 0.39/0.44 c #cpu_time = 0.006s 0.39/0.44 c #wall_clock_time = 0.006s 0.39/0.44 c #decision = 662 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 9: cost of the new core is >=2 0.39/0.44 c lower bound updated to 9 0.39/0.44 c BCD2: 9 <= obj <= 2798 0.39/0.44 c BCD2: #cores=4, #unrelaxed=3641, #relaxed=79, #hardened=0 0.39/0.44 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 2114 0 | 1108 | 0 0.39/0.45 c 0.0s | 0 | 993 | 1 | 2114 0 | 1108 | 0 0.39/0.45 c #cpu_time = 0.008s 0.39/0.45 c #wall_clock_time = 0.008s 0.39/0.45 c #decision = 993 0.39/0.45 c #random_decision = 0 0.39/0.45 c #conflict = 1 0.39/0.45 c #restart = 0 0.39/0.45 c BCD2: found a new core of size 20: cost of the new core is >=1 0.39/0.45 c lower bound updated to 10 0.39/0.45 c BCD2: 10 <= obj <= 2798 0.39/0.45 c BCD2: #cores=5, #unrelaxed=3621, #relaxed=99, #hardened=0 0.39/0.45 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 2114 0 | 1108 | 0 0.39/0.46 c 0.0s | 0 | 744 | 0 | 2114 0 | 1108 | 0 0.39/0.46 c #cpu_time = 0.006s 0.39/0.46 c #wall_clock_time = 0.006s 0.39/0.46 c #decision = 744 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 17: cost of the new core is >=1 0.39/0.46 c lower bound updated to 11 0.39/0.46 c BCD2: 11 <= obj <= 2798 0.39/0.46 c BCD2: #cores=6, #unrelaxed=3604, #relaxed=116, #hardened=0 0.39/0.46 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 2114 0 | 1108 | 0 0.39/0.47 c 0.0s | 0 | 855 | 0 | 2114 0 | 1108 | 0 0.39/0.47 c #cpu_time = 0.006s 0.39/0.47 c #wall_clock_time = 0.006s 0.39/0.47 c #decision = 855 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 8: cost of the new core is >=2 0.39/0.47 c lower bound updated to 13 0.39/0.47 c BCD2: 13 <= obj <= 2798 0.39/0.47 c BCD2: #cores=7, #unrelaxed=3596, #relaxed=124, #hardened=0 0.39/0.47 c BCD2: #sat=1 #unsat=8 bias=8/9 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 | 2114 0 | 1108 | 0 0.39/0.48 c 0.0s | 0 | 872 | 0 | 2114 0 | 1108 | 0 0.39/0.48 c #cpu_time = 0.007s 0.39/0.48 c #wall_clock_time = 0.007s 0.39/0.48 c #decision = 872 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 24: cost of the new core is >=1 0.39/0.48 c lower bound updated to 14 0.39/0.49 c BCD2: 14 <= obj <= 2798 0.39/0.49 c BCD2: #cores=8, #unrelaxed=3572, #relaxed=148, #hardened=0 0.39/0.49 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 2114 0 | 1108 | 0 0.39/0.49 c 0.0s | 0 | 954 | 0 | 2114 0 | 1108 | 0 0.39/0.49 c #cpu_time = 0.006s 0.39/0.49 c #wall_clock_time = 0.006s 0.39/0.49 c #decision = 954 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 9: cost of the new core is >=2 0.39/0.49 c lower bound updated to 16 0.49/0.50 c BCD2: 16 <= obj <= 2798 0.49/0.50 c BCD2: #cores=9, #unrelaxed=3563, #relaxed=157, #hardened=0 0.49/0.50 c BCD2: #sat=1 #unsat=10 bias=10/11 0.49/0.50 c Solving starts ... 0.49/0.50 c ============================[ Search Statistics ]============================ 0.49/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.50 c | | | | Limit GC | Var | Constra 0.49/0.50 c ============================================================================= 0.49/0.50 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.51 c 0.0s | 0 | 1570 | 1 | 2114 0 | 1108 | 0 0.49/0.51 c #cpu_time = 0.009s 0.49/0.51 c #wall_clock_time = 0.009s 0.49/0.51 c #decision = 1570 0.49/0.51 c #random_decision = 0 0.49/0.51 c #conflict = 1 0.49/0.51 c #restart = 0 0.49/0.51 c BCD2: found a new core of size 15: cost of the new core is >=1 0.49/0.51 c lower bound updated to 17 0.49/0.51 c BCD2: 17 <= obj <= 2798 0.49/0.51 c BCD2: #cores=10, #unrelaxed=3548, #relaxed=172, #hardened=0 0.49/0.51 c BCD2: #sat=1 #unsat=11 bias=11/12 0.49/0.51 c Solving starts ... 0.49/0.51 c ============================[ Search Statistics ]============================ 0.49/0.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.51 c | | | | Limit GC | Var | Constra 0.49/0.51 c ============================================================================= 0.49/0.51 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.52 c 0.0s | 0 | 1034 | 0 | 2114 0 | 1108 | 0 0.49/0.52 c #cpu_time = 0.006s 0.49/0.52 c #wall_clock_time = 0.006s 0.49/0.52 c #decision = 1034 0.49/0.52 c #random_decision = 0 0.49/0.52 c #conflict = 0 0.49/0.52 c #restart = 0 0.49/0.52 c BCD2: found a new core of size 8: cost of the new core is >=1 0.49/0.52 c lower bound updated to 18 0.49/0.52 c BCD2: 18 <= obj <= 2798 0.49/0.52 c BCD2: #cores=11, #unrelaxed=3540, #relaxed=180, #hardened=0 0.49/0.52 c BCD2: #sat=1 #unsat=12 bias=12/13 0.49/0.52 c Solving starts ... 0.49/0.52 c ============================[ Search Statistics ]============================ 0.49/0.52 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.52 c | | | | Limit GC | Var | Constra 0.49/0.52 c ============================================================================= 0.49/0.52 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.53 c 0.0s | 0 | 1040 | 0 | 2114 0 | 1108 | 0 0.49/0.53 c #cpu_time = 0.006s 0.49/0.53 c #wall_clock_time = 0.006s 0.49/0.53 c #decision = 1040 0.49/0.53 c #random_decision = 0 0.49/0.53 c #conflict = 0 0.49/0.53 c #restart = 0 0.49/0.53 c BCD2: found a new core of size 13: cost of the new core is >=1 0.49/0.53 c lower bound updated to 19 0.49/0.53 c BCD2: 19 <= obj <= 2798 0.49/0.53 c BCD2: #cores=12, #unrelaxed=3527, #relaxed=193, #hardened=0 0.49/0.53 c BCD2: #sat=1 #unsat=13 bias=13/14 0.49/0.53 c Solving starts ... 0.49/0.53 c ============================[ Search Statistics ]============================ 0.49/0.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.53 c | | | | Limit GC | Var | Constra 0.49/0.53 c ============================================================================= 0.49/0.53 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.54 c 0.0s | 0 | 1086 | 0 | 2114 0 | 1108 | 0 0.49/0.54 c #cpu_time = 0.006s 0.49/0.54 c #wall_clock_time = 0.006s 0.49/0.54 c #decision = 1086 0.49/0.54 c #random_decision = 0 0.49/0.54 c #conflict = 0 0.49/0.54 c #restart = 0 0.49/0.54 c BCD2: found a new core of size 20: cost of the new core is >=1 0.49/0.54 c lower bound updated to 20 0.49/0.54 c BCD2: 20 <= obj <= 2798 0.49/0.54 c BCD2: #cores=13, #unrelaxed=3507, #relaxed=213, #hardened=0 0.49/0.54 c BCD2: #sat=1 #unsat=14 bias=14/15 0.49/0.54 c Solving starts ... 0.49/0.54 c ============================[ Search Statistics ]============================ 0.49/0.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.54 c | | | | Limit GC | Var | Constra 0.49/0.54 c ============================================================================= 0.49/0.54 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.55 c 0.0s | 0 | 1182 | 0 | 2114 0 | 1108 | 0 0.49/0.55 c #cpu_time = 0.006s 0.49/0.55 c #wall_clock_time = 0.006s 0.49/0.55 c #decision = 1182 0.49/0.55 c #random_decision = 0 0.49/0.55 c #conflict = 0 0.49/0.55 c #restart = 0 0.49/0.55 c BCD2: found a new core of size 10: cost of the new core is >=2 0.49/0.55 c lower bound updated to 22 0.49/0.55 c BCD2: 22 <= obj <= 2798 0.49/0.55 c BCD2: #cores=14, #unrelaxed=3497, #relaxed=223, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=15 bias=15/16 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.56 c 0.0s | 0 | 1220 | 0 | 2114 0 | 1108 | 0 0.49/0.56 c #cpu_time = 0.006s 0.49/0.56 c #wall_clock_time = 0.006s 0.49/0.56 c #decision = 1220 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 10: cost of the new core is >=1 0.49/0.56 c lower bound updated to 23 0.49/0.56 c BCD2: 23 <= obj <= 2798 0.49/0.56 c BCD2: #cores=15, #unrelaxed=3487, #relaxed=233, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=16 bias=16/17 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.57 c 0.0s | 0 | 1257 | 0 | 2114 0 | 1108 | 0 0.49/0.57 c #cpu_time = 0.006s 0.49/0.57 c #wall_clock_time = 0.006s 0.49/0.57 c #decision = 1257 0.49/0.57 c #random_decision = 0 0.49/0.57 c #conflict = 0 0.49/0.57 c #restart = 0 0.49/0.57 c BCD2: found a new core of size 8: cost of the new core is >=2 0.49/0.57 c lower bound updated to 25 0.49/0.57 c BCD2: 25 <= obj <= 2798 0.49/0.57 c BCD2: #cores=16, #unrelaxed=3479, #relaxed=241, #hardened=0 0.49/0.57 c BCD2: #sat=1 #unsat=17 bias=17/18 0.49/0.57 c Solving starts ... 0.49/0.57 c ============================[ Search Statistics ]============================ 0.49/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.57 c | | | | Limit GC | Var | Constra 0.49/0.57 c ============================================================================= 0.49/0.57 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.58 c 0.0s | 0 | 1263 | 0 | 2114 0 | 1108 | 0 0.49/0.58 c #cpu_time = 0.006s 0.49/0.58 c #wall_clock_time = 0.006s 0.49/0.58 c #decision = 1263 0.49/0.58 c #random_decision = 0 0.49/0.58 c #conflict = 0 0.49/0.58 c #restart = 0 0.49/0.58 c BCD2: found a new core of size 13: cost of the new core is >=1 0.49/0.58 c lower bound updated to 26 0.49/0.58 c BCD2: 26 <= obj <= 2798 0.49/0.58 c BCD2: #cores=17, #unrelaxed=3466, #relaxed=254, #hardened=0 0.49/0.58 c BCD2: #sat=1 #unsat=18 bias=18/19 0.49/0.58 c Solving starts ... 0.49/0.58 c ============================[ Search Statistics ]============================ 0.49/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.58 c | | | | Limit GC | Var | Constra 0.49/0.58 c ============================================================================= 0.49/0.58 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.49/0.59 c 0.0s | 0 | 1296 | 0 | 2114 0 | 1108 | 0 0.49/0.59 c #cpu_time = 0.006s 0.49/0.59 c #wall_clock_time = 0.006s 0.49/0.59 c #decision = 1296 0.49/0.59 c #random_decision = 0 0.49/0.59 c #conflict = 0 0.49/0.59 c #restart = 0 0.49/0.59 c BCD2: found a new core of size 32: cost of the new core is >=5 0.49/0.59 c lower bound updated to 31 0.49/0.59 c BCD2: 31 <= obj <= 2798 0.49/0.59 c BCD2: #cores=18, #unrelaxed=3434, #relaxed=286, #hardened=0 0.49/0.59 c BCD2: #sat=1 #unsat=19 bias=19/20 0.49/0.59 c Solving starts ... 0.49/0.59 c ============================[ Search Statistics ]============================ 0.49/0.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.59 c | | | | Limit GC | Var | Constra 0.49/0.59 c ============================================================================= 0.49/0.59 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.59/0.60 c 0.0s | 0 | 2359 | 12 | 2114 0 | 1108 | 0 0.59/0.60 c #cpu_time = 0.011s 0.59/0.60 c #wall_clock_time = 0.011s 0.59/0.60 c #decision = 2359 0.59/0.60 c #random_decision = 0 0.59/0.60 c #conflict = 12 0.59/0.60 c #restart = 0 0.59/0.60 c BCD2: found a new core of size 20: cost of the new core is >=1 0.59/0.60 c lower bound updated to 32 0.59/0.61 c BCD2: 32 <= obj <= 2798 0.59/0.61 c BCD2: #cores=19, #unrelaxed=3414, #relaxed=306, #hardened=0 0.59/0.61 c BCD2: #sat=1 #unsat=20 bias=20/21 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 | 2114 0 | 1108 | 0 0.59/0.62 c 0.0s | 0 | 2285 | 2 | 2114 0 | 1108 | 0 0.59/0.62 c #cpu_time = 0.010s 0.59/0.62 c #wall_clock_time = 0.010s 0.59/0.62 c #decision = 2285 0.59/0.62 c #random_decision = 0 0.59/0.62 c #conflict = 2 0.59/0.62 c #restart = 0 0.59/0.62 c BCD2: found a new core of size 38: cost of the new core is >=1 0.59/0.62 c lower bound updated to 33 0.59/0.62 c BCD2: 33 <= obj <= 2798 0.59/0.62 c BCD2: #cores=20, #unrelaxed=3376, #relaxed=344, #hardened=0 0.59/0.62 c BCD2: #sat=1 #unsat=21 bias=21/22 0.59/0.62 c Solving starts ... 0.59/0.62 c ============================[ Search Statistics ]============================ 0.59/0.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.62 c | | | | Limit GC | Var | Constra 0.59/0.62 c ============================================================================= 0.59/0.62 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.59/0.64 c 0.0s | 0 | 3427 | 5 | 2114 0 | 1108 | 0 0.59/0.64 c #cpu_time = 0.018s 0.59/0.64 c #wall_clock_time = 0.018s 0.59/0.64 c #decision = 3427 0.59/0.64 c #random_decision = 0 0.59/0.64 c #conflict = 5 0.59/0.64 c #restart = 0 0.59/0.64 c BCD2: found a new core of size 33: cost of the new core is >=1 0.59/0.64 c lower bound updated to 34 0.59/0.65 c BCD2: 34 <= obj <= 2798 0.59/0.65 c BCD2: #cores=21, #unrelaxed=3343, #relaxed=377, #hardened=0 0.59/0.65 c BCD2: #sat=1 #unsat=22 bias=22/23 0.59/0.65 c Solving starts ... 0.59/0.65 c ============================[ Search Statistics ]============================ 0.59/0.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.59/0.65 c | | | | Limit GC | Var | Constra 0.59/0.65 c ============================================================================= 0.59/0.65 c 0.0s | 0 | 0 | 0 | 2114 0 | 1108 | 0 0.69/0.70 c 0.1s | 0 | 12757 | 26 | 2326 0 | 1108 | 0 0.69/0.70 c #cpu_time = 0.053s 0.69/0.70 c #wall_clock_time = 0.053s 0.69/0.70 c #decision = 12757 0.69/0.70 c #random_decision = 0 0.69/0.70 c #conflict = 26 0.69/0.70 c #restart = 0 0.69/0.70 c BCD2: found a new core of size 32: cost of the new core is >=1 0.69/0.70 c lower bound updated to 35 0.69/0.70 c BCD2: 35 <= obj <= 2798 0.69/0.70 c BCD2: #cores=22, #unrelaxed=3311, #relaxed=409, #hardened=0 0.69/0.70 c BCD2: #sat=1 #unsat=23 bias=23/24 0.69/0.71 c Solving starts ... 0.69/0.71 c ============================[ Search Statistics ]============================ 0.69/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.71 c | | | | Limit GC | Var | Constra 0.69/0.71 c ============================================================================= 0.69/0.71 c 0.0s | 0 | 0 | 0 | 2326 0 | 1108 | 0 0.69/0.72 c 0.0s | 0 | 3149 | 3 | 2326 0 | 1108 | 0 0.69/0.72 c #cpu_time = 0.017s 0.69/0.72 c #wall_clock_time = 0.017s 0.69/0.72 c #decision = 3149 0.69/0.72 c #random_decision = 0 0.69/0.72 c #conflict = 3 0.69/0.72 c #restart = 0 0.69/0.72 c BCD2: found a new core of size 32: cost of the new core is >=1 0.69/0.73 c lower bound updated to 36 0.69/0.73 c BCD2: 36 <= obj <= 2798 0.69/0.73 c BCD2: #cores=23, #unrelaxed=3279, #relaxed=441, #hardened=0 0.69/0.73 c BCD2: #sat=1 #unsat=24 bias=24/25 0.69/0.73 c Solving starts ... 0.69/0.73 c ============================[ Search Statistics ]============================ 0.69/0.73 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.73 c | | | | Limit GC | Var | Constra 0.69/0.73 c ============================================================================= 0.69/0.73 c 0.0s | 0 | 0 | 0 | 2326 0 | 1108 | 0 0.69/0.77 c 0.0s | 0 | 8034 | 10 | 2326 0 | 1109 | 0 0.69/0.77 c #cpu_time = 0.044s 0.69/0.77 c #wall_clock_time = 0.044s 0.69/0.77 c #decision = 8034 0.69/0.77 c #random_decision = 1 0.69/0.77 c #conflict = 10 0.69/0.77 c #restart = 0 0.69/0.77 c BCD2: found a new core of size 15: cost of the new core is >=1 0.69/0.77 c lower bound updated to 37 0.69/0.78 c BCD2: 37 <= obj <= 2798 0.69/0.78 c BCD2: #cores=24, #unrelaxed=3264, #relaxed=456, #hardened=0 0.69/0.78 c BCD2: #sat=1 #unsat=25 bias=25/26 0.69/0.78 c Solving starts ... 0.69/0.78 c ============================[ Search Statistics ]============================ 0.69/0.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.78 c | | | | Limit GC | Var | Constra 0.69/0.78 c ============================================================================= 0.69/0.78 c 0.0s | 0 | 0 | 0 | 2326 0 | 1109 | 0 0.69/0.79 c 0.0s | 0 | 2078 | 30 | 2326 0 | 1109 | 0 0.69/0.79 c #cpu_time = 0.013s 0.69/0.79 c #wall_clock_time = 0.013s 0.69/0.79 c #decision = 2078 0.69/0.79 c #random_decision = 0 0.69/0.79 c #conflict = 30 0.69/0.79 c #restart = 0 0.69/0.79 c BCD2: found a new core of size 63: cost of the new core is >=1 0.69/0.79 c lower bound updated to 38 0.69/0.80 c BCD2: 38 <= obj <= 2798 0.69/0.80 c BCD2: #cores=25, #unrelaxed=3201, #relaxed=519, #hardened=0 0.69/0.80 c BCD2: #sat=1 #unsat=26 bias=26/27 0.79/0.80 c Solving starts ... 0.79/0.80 c ============================[ Search Statistics ]============================ 0.79/0.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.80 c | | | | Limit GC | Var | Constra 0.79/0.80 c ============================================================================= 0.79/0.80 c 0.0s | 0 | 0 | 0 | 2326 0 | 1109 | 0 0.79/0.81 c 0.0s | 0 | 1904 | 54 | 2326 0 | 1109 | 0 0.79/0.81 c #cpu_time = 0.015s 0.79/0.81 c #wall_clock_time = 0.015s 0.79/0.81 c #decision = 1904 0.79/0.81 c #random_decision = 1 0.79/0.81 c #conflict = 54 0.79/0.81 c #restart = 0 0.79/0.81 c BCD2: found a new core of size 71: cost of the new core is >=1 0.79/0.81 c lower bound updated to 39 0.79/0.81 c BCD2: 39 <= obj <= 2798 0.79/0.81 c BCD2: #cores=26, #unrelaxed=3130, #relaxed=590, #hardened=0 0.79/0.81 c BCD2: #sat=1 #unsat=27 bias=27/28 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 2326 0 | 1109 | 0 0.79/0.85 c 0.0s | 0 | 8704 | 16 | 2326 0 | 1109 | 0 0.79/0.85 c #cpu_time = 0.032s 0.79/0.85 c #wall_clock_time = 0.032s 0.79/0.85 c #decision = 8704 0.79/0.85 c #random_decision = 1 0.79/0.85 c #conflict = 16 0.79/0.85 c #restart = 0 0.79/0.85 c BCD2: found a new core of size 63: cost of the new core is >=1 0.79/0.85 c lower bound updated to 40 0.79/0.85 c BCD2: 40 <= obj <= 2798 0.79/0.85 c BCD2: #cores=27, #unrelaxed=3067, #relaxed=653, #hardened=0 0.79/0.85 c BCD2: #sat=1 #unsat=28 bias=28/29 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 | 2326 0 | 1109 | 0 0.79/0.89 c 0.0s | 0 | 8063 | 8 | 2326 0 | 1109 | 0 0.79/0.89 c #cpu_time = 0.035s 0.79/0.89 c #wall_clock_time = 0.035s 0.79/0.89 c #decision = 8063 0.79/0.89 c #random_decision = 1 0.79/0.89 c #conflict = 8 0.79/0.89 c #restart = 0 0.79/0.89 c BCD2: found a new core of size 45: cost of the new core is >=1 0.79/0.89 c lower bound updated to 41 0.79/0.89 c BCD2: 41 <= obj <= 2798 0.79/0.89 c BCD2: #cores=28, #unrelaxed=3022, #relaxed=698, #hardened=0 0.79/0.89 c BCD2: #sat=1 #unsat=29 bias=29/30 0.79/0.89 c Solving starts ... 0.79/0.89 c ============================[ Search Statistics ]============================ 0.79/0.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.89 c | | | | Limit GC | Var | Constra 0.79/0.89 c ============================================================================= 0.79/0.89 c 0.0s | 0 | 0 | 0 | 2326 0 | 1109 | 0 0.89/0.93 c 0.0s | 1 | 6692 | 100 | 2559 0 | 1109 | 0 0.89/0.99 c 0.1s | 1 | 18781 | 120 | 2559 0 | 1111 | 0 0.89/0.99 c #cpu_time = 0.093s 0.89/0.99 c #wall_clock_time = 0.093s 0.89/0.99 c #decision = 18781 0.89/0.99 c #random_decision = 4 0.89/0.99 c #conflict = 120 0.89/0.99 c #restart = 1 0.89/0.99 c BCD2: found a new core of size 40: cost of the new core is >=1 0.89/0.99 c lower bound updated to 42 0.89/0.99 c BCD2: 42 <= obj <= 2798 0.89/0.99 c BCD2: #cores=29, #unrelaxed=2982, #relaxed=738, #hardened=0 0.89/0.99 c BCD2: #sat=1 #unsat=30 bias=30/31 0.89/0.99 c Solving starts ... 0.89/0.99 c ============================[ Search Statistics ]============================ 0.89/0.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.89/0.99 c | | | | Limit GC | Var | Constra 0.89/0.99 c ============================================================================= 0.89/0.99 c 0.0s | 0 | 0 | 0 | 2559 0 | 1111 | 0 0.99/1.05 c 0.1s | 1 | 12581 | 100 | 2559 0 | 1112 | 0 0.99/1.09 c 0.1s | 2 | 17689 | 250 | 2815 0 | 1113 | 0 0.99/1.10 c 0.1s | 2 | 20354 | 272 | 2815 0 | 1113 | 0 0.99/1.10 c #cpu_time = 0.106s 0.99/1.10 c #wall_clock_time = 0.106s 0.99/1.10 c #decision = 20354 0.99/1.10 c #random_decision = 5 0.99/1.10 c #conflict = 272 0.99/1.10 c #restart = 2 0.99/1.10 c BCD2: found a new core of size 60: cost of the new core is >=1 0.99/1.10 c lower bound updated to 43 0.99/1.10 c BCD2: 43 <= obj <= 2798 0.99/1.10 c BCD2: #cores=30, #unrelaxed=2922, #relaxed=798, #hardened=0 0.99/1.10 c BCD2: #sat=1 #unsat=31 bias=31/32 0.99/1.10 c Solving starts ... 0.99/1.10 c ============================[ Search Statistics ]============================ 0.99/1.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.99/1.10 c | | | | Limit GC | Var | Constra 0.99/1.10 c ============================================================================= 0.99/1.10 c 0.0s | 0 | 0 | 0 | 2815 0 | 1113 | 0 1.09/1.14 c 0.0s | 1 | 9341 | 100 | 2815 0 | 1113 | 0 1.09/1.15 c 0.1s | 1 | 12349 | 113 | 2815 0 | 1113 | 0 1.09/1.15 c #cpu_time = 0.049s 1.09/1.15 c #wall_clock_time = 0.049s 1.09/1.15 c #decision = 12349 1.09/1.15 c #random_decision = 1 1.09/1.15 c #conflict = 113 1.09/1.15 c #restart = 1 1.09/1.15 c BCD2: found a new core of size 77: cost of the new core is >=1 1.09/1.15 c lower bound updated to 44 1.09/1.15 c BCD2: 44 <= obj <= 2798 1.09/1.15 c BCD2: #cores=31, #unrelaxed=2845, #relaxed=875, #hardened=0 1.09/1.15 c BCD2: #sat=1 #unsat=32 bias=32/33 1.09/1.15 c Solving starts ... 1.09/1.15 c ============================[ Search Statistics ]============================ 1.09/1.15 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.15 c | | | | Limit GC | Var | Constra 1.09/1.15 c ============================================================================= 1.09/1.15 c 0.0s | 0 | 0 | 0 | 2815 0 | 1113 | 0 1.09/1.19 c 0.0s | 1 | 4962 | 100 | 3097 0 | 1113 | 0 1.19/1.23 c 0.1s | 1 | 10045 | 179 | 3097 0 | 1113 | 0 1.19/1.23 c #cpu_time = 0.071s 1.19/1.23 c #wall_clock_time = 0.072s 1.19/1.23 c #decision = 10045 1.19/1.23 c #random_decision = 6 1.19/1.23 c #conflict = 179 1.19/1.23 c #restart = 1 1.19/1.23 o 588 1.19/1.23 c BCD2: hardening fixes 248 literals 1.19/1.23 c BCD2: updating upper bound: 2798 -> 587 1.19/1.24 c BCD2: 44 <= obj <= 587 1.19/1.24 c BCD2: #cores=31, #unrelaxed=2597, #relaxed=875, #hardened=248 1.19/1.24 c BCD2: #sat=2 #unsat=32 bias=32/34 1.19/1.24 c Solving starts ... 1.19/1.24 c ============================[ Search Statistics ]============================ 1.19/1.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.19/1.24 c | | | | Limit GC | Var | Constra 1.19/1.24 c ============================================================================= 1.19/1.24 c 0.0s | 0 | 0 | 0 | 3097 0 | 1113 | 1 1.19/1.25 c 0.0s | 0 | 21 | 0 | 3097 0 | 1113 | 1 1.19/1.25 c #cpu_time = 0.004s 1.19/1.25 c #wall_clock_time = 0.004s 1.19/1.25 c #decision = 21 1.19/1.25 c #random_decision = 0 1.19/1.25 c #conflict = 0 1.39/1.46 c #restart = 0 1.39/1.46 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 27: cost of the new core is >=3 1.39/1.46 c lower bound updated to 45 1.39/1.46 c BCD2: 45 <= obj <= 587 1.39/1.46 c BCD2: #cores=30, #unrelaxed=2597, #relaxed=875, #hardened=248 1.39/1.46 c BCD2: #sat=2 #unsat=33 bias=33/35 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 3097 0 | 1119 | 1 1.39/1.46 c 0.0s | 0 | 1263 | 0 | 3097 0 | 1119 | 11 1.39/1.46 c #cpu_time = 0.007s 1.39/1.46 c #wall_clock_time = 0.007s 1.39/1.46 c #decision = 1263 1.39/1.46 c #random_decision = 0 1.39/1.46 c #conflict = 0 1.39/1.46 c #restart = 0 1.39/1.46 c BCD2: relaxing 25 and merging with 1 cores into a new core of size 57: cost of the new core is >=6 1.39/1.46 c lower bound updated to 46 1.39/1.46 c BCD2: 46 <= obj <= 587 1.39/1.46 c BCD2: #cores=30, #unrelaxed=2572, #relaxed=900, #hardened=248 1.39/1.46 c BCD2: #sat=2 #unsat=34 bias=34/36 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 3097 0 | 1128 | 11 1.39/1.46 c 0.0s | 1 | 6306 | 100 | 3097 0 | 1128 | 28 1.39/1.46 c 0.1s | 1 | 9118 | 201 | 3097 0 | 1128 | 28 1.39/1.46 c #cpu_time = 0.065s 1.39/1.46 c #wall_clock_time = 0.065s 1.39/1.46 c #decision = 9118 1.39/1.46 c #random_decision = 1 1.39/1.46 c #conflict = 201 1.39/1.46 c #restart = 1 1.39/1.46 c BCD2: relaxing 29 and merging with 2 cores into a new core of size 89: cost of the new core is >=3 1.39/1.46 c lower bound updated to 47 1.39/1.46 c BCD2: 47 <= obj <= 587 1.39/1.46 c BCD2: #cores=29, #unrelaxed=2543, #relaxed=929, #hardened=248 1.39/1.46 c BCD2: #sat=2 #unsat=35 bias=35/37 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 3097 0 | 1132 | 28 1.39/1.46 c 0.0s | 0 | 10533 | 69 | 3097 0 | 1132 | 34 1.39/1.46 c #cpu_time = 0.037s 1.39/1.46 c #wall_clock_time = 0.038s 1.39/1.46 c #decision = 10533 1.39/1.46 c #random_decision = 2 1.39/1.46 c #conflict = 69 1.39/1.46 c #restart = 0 1.39/1.46 c BCD2: relaxing 6 and merging with 1 cores into a new core of size 23: cost of the new core is >=2 1.39/1.46 c lower bound updated to 48 1.39/1.46 c BCD2: 48 <= obj <= 587 1.39/1.46 c BCD2: #cores=29, #unrelaxed=2537, #relaxed=935, #hardened=248 1.39/1.46 c BCD2: #sat=2 #unsat=36 bias=36/38 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 3097 0 | 1135 | 34 1.39/1.46 c 0.0s | 1 | 5395 | 100 | 3097 0 | 1135 | 39 1.39/1.46 c 0.1s | 1 | 9436 | 182 | 3407 0 | 1136 | 39 1.39/1.46 c #cpu_time = 0.080s 1.39/1.46 c #wall_clock_time = 0.080s 1.39/1.46 c #decision = 9436 1.39/1.46 c #random_decision = 2 1.39/1.46 c #conflict = 182 1.39/1.46 c #restart = 1 1.39/1.46 c BCD2: relaxing 0 and merging with 2 cores into a new core of size 48: cost of the new core is >=3 1.39/1.46 c lower bound updated to 49 1.39/1.46 c BCD2: 49 <= obj <= 587 1.39/1.46 c BCD2: #cores=28, #unrelaxed=2537, #relaxed=935, #hardened=248 1.39/1.46 c BCD2: #sat=2 #unsat=37 bias=37/39 1.39/1.46 c Solving starts ... 1.39/1.46 c ============================[ Search Statistics ]============================ 1.39/1.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.39/1.46 c | | | | Limit GC | Var | Constra 1.39/1.46 c ============================================================================= 1.39/1.46 c 0.0s | 0 | 0 | 0 | 3407 0 | 1141 | 39 1.39/1.49 c 0.0s | 0 | 9276 | 20 | 3407 0 | 1141 | 47 1.39/1.49 c #cpu_time = 0.033s 1.39/1.49 c #wall_clock_time = 0.033s 1.39/1.49 c #decision = 9276 1.39/1.49 c #random_decision = 0 1.39/1.49 c #conflict = 20 1.39/1.49 c #restart = 0 1.39/1.49 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 71: cost of the new core is >=7 1.39/1.49 c lower bound updated to 50 1.49/1.50 c BCD2: 50 <= obj <= 587 1.49/1.50 c BCD2: #cores=28, #unrelaxed=2523, #relaxed=949, #hardened=248 1.49/1.50 c BCD2: #sat=2 #unsat=38 bias=38/40 1.49/1.50 c Solving starts ... 1.49/1.50 c ============================[ Search Statistics ]============================ 1.49/1.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.50 c | | | | Limit GC | Var | Constra 1.49/1.50 c ============================================================================= 1.49/1.50 c 0.0s | 0 | 0 | 0 | 3407 0 | 1142 | 47 1.49/1.54 c 0.0s | 0 | 5067 | 15 | 3407 0 | 1142 | 48 1.49/1.54 c #cpu_time = 0.040s 1.49/1.54 c #wall_clock_time = 0.040s 1.49/1.54 c #decision = 5067 1.49/1.54 c #random_decision = 2 1.49/1.54 c #conflict = 15 1.49/1.54 c #restart = 0 1.49/1.54 c BCD2: relaxing 18 and merging with 2 cores into a new core of size 48: cost of the new core is >=4 1.49/1.54 c lower bound updated to 51 1.49/1.54 c BCD2: 51 <= obj <= 587 1.49/1.54 c BCD2: #cores=27, #unrelaxed=2505, #relaxed=967, #hardened=248 1.49/1.54 c BCD2: #sat=2 #unsat=39 bias=39/41 1.49/1.54 c Solving starts ... 1.49/1.54 c ============================[ Search Statistics ]============================ 1.49/1.54 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.54 c | | | | Limit GC | Var | Constra 1.49/1.54 c ============================================================================= 1.49/1.54 c 0.0s | 0 | 0 | 0 | 3407 0 | 1146 | 48 1.49/1.57 c 0.0s | 0 | 6118 | 17 | 3407 0 | 1147 | 54 1.49/1.57 c #cpu_time = 0.025s 1.49/1.57 c #wall_clock_time = 0.025s 1.49/1.57 c #decision = 6118 1.49/1.57 c #random_decision = 0 1.49/1.57 c #conflict = 17 1.49/1.57 c #restart = 0 1.49/1.57 c BCD2: relaxing 65 and merging with 1 cores into a new core of size 113: cost of the new core is >=5 1.49/1.57 c lower bound updated to 52 1.49/1.57 c BCD2: 52 <= obj <= 587 1.49/1.57 c BCD2: #cores=27, #unrelaxed=2440, #relaxed=1032, #hardened=248 1.49/1.57 c BCD2: #sat=2 #unsat=40 bias=40/42 1.49/1.57 c Solving starts ... 1.49/1.57 c ============================[ Search Statistics ]============================ 1.49/1.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.49/1.57 c | | | | Limit GC | Var | Constra 1.49/1.57 c ============================================================================= 1.49/1.57 c 0.0s | 0 | 0 | 0 | 3407 0 | 1148 | 54 1.59/1.64 c 0.1s | 0 | 13880 | 33 | 3407 0 | 1148 | 55 1.59/1.64 c #cpu_time = 0.071s 1.59/1.64 c #wall_clock_time = 0.071s 1.59/1.64 c #decision = 13880 1.59/1.64 c #random_decision = 1 1.59/1.64 c #conflict = 33 1.59/1.64 c #restart = 0 1.59/1.64 c BCD2: relaxing 59 and merging with 1 cores into a new core of size 85: cost of the new core is >=2 1.59/1.64 c lower bound updated to 53 1.59/1.65 c BCD2: 53 <= obj <= 587 1.59/1.65 c BCD2: #cores=27, #unrelaxed=2381, #relaxed=1091, #hardened=248 1.59/1.65 c BCD2: #sat=2 #unsat=41 bias=41/43 1.59/1.65 c Solving starts ... 1.59/1.65 c ============================[ Search Statistics ]============================ 1.59/1.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.65 c | | | | Limit GC | Var | Constra 1.59/1.65 c ============================================================================= 1.59/1.65 c 0.0s | 0 | 0 | 0 | 3407 0 | 1157 | 55 1.59/1.69 c 0.0s | 0 | 4213 | 16 | 3407 0 | 1157 | 72 1.59/1.69 c #cpu_time = 0.033s 1.59/1.69 c #wall_clock_time = 0.033s 1.59/1.69 c #decision = 4213 1.59/1.69 c #random_decision = 2 1.59/1.69 c #conflict = 16 1.59/1.69 c #restart = 0 1.59/1.69 o 519 1.59/1.69 c BCD2: hardening fixes 124 literals 1.59/1.69 c BCD2: updating upper bound: 587 -> 518 1.59/1.69 c BCD2: 53 <= obj <= 518 1.59/1.69 c BCD2: #cores=27, #unrelaxed=2257, #relaxed=1091, #hardened=372 1.59/1.69 c BCD2: #sat=3 #unsat=41 bias=41/44 1.69/1.70 c Solving starts ... 1.69/1.70 c ============================[ Search Statistics ]============================ 1.69/1.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.70 c | | | | Limit GC | Var | Constra 1.69/1.70 c ============================================================================= 1.69/1.70 c 0.0s | 0 | 0 | 0 | 3407 0 | 1157 | 73 1.69/1.71 c 0.0s | 0 | 3157 | 24 | 3407 0 | 1157 | 73 1.69/1.71 c #cpu_time = 0.016s 1.69/1.71 c #wall_clock_time = 0.016s 1.69/1.71 c #decision = 3157 1.69/1.71 c #random_decision = 0 1.69/1.71 c #conflict = 24 1.69/1.71 c #restart = 0 1.69/1.71 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 81: cost of the new core is >=8 1.69/1.71 c lower bound updated to 54 1.69/1.72 c BCD2: 54 <= obj <= 518 1.69/1.72 c BCD2: #cores=27, #unrelaxed=2247, #relaxed=1101, #hardened=372 1.69/1.72 c BCD2: #sat=3 #unsat=42 bias=42/45 1.69/1.72 c Solving starts ... 1.69/1.72 c ============================[ Search Statistics ]============================ 1.69/1.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.72 c | | | | Limit GC | Var | Constra 1.69/1.72 c ============================================================================= 1.69/1.72 c 0.0s | 0 | 0 | 0 | 3407 0 | 1159 | 73 1.69/1.73 c 0.0s | 0 | 2557 | 11 | 3407 0 | 1160 | 77 1.69/1.73 c #cpu_time = 0.017s 1.69/1.73 c #wall_clock_time = 0.018s 1.69/1.73 c #decision = 2557 1.69/1.73 c #random_decision = 0 1.69/1.73 c #conflict = 11 1.69/1.73 c #restart = 0 1.69/1.73 c BCD2: updating lower bound of a core 1.69/1.73 c lower bound updated to 58 1.69/1.74 c BCD2: 58 <= obj <= 518 1.69/1.74 c BCD2: #cores=27, #unrelaxed=2247, #relaxed=1101, #hardened=372 1.69/1.74 c BCD2: #sat=3 #unsat=43 bias=43/46 1.69/1.74 c Solving starts ... 1.69/1.74 c ============================[ Search Statistics ]============================ 1.69/1.74 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.69/1.74 c | | | | Limit GC | Var | Constra 1.69/1.74 c ============================================================================= 1.69/1.74 c 0.0s | 0 | 0 | 0 | 3407 0 | 1160 | 77 1.69/1.79 c 0.1s | 1 | 5699 | 100 | 3407 0 | 1161 | 77 1.79/1.84 c 0.1s | 2 | 8624 | 250 | 3407 0 | 1162 | 77 1.79/1.86 c 0.1s | 2 | 13041 | 255 | 3407 0 | 1162 | 77 1.79/1.86 c #cpu_time = 0.119s 1.79/1.86 c #wall_clock_time = 0.119s 1.79/1.86 c #decision = 13041 1.79/1.86 c #random_decision = 2 1.79/1.86 c #conflict = 255 1.79/1.86 c #restart = 2 1.79/1.86 c BCD2: relaxing 22 and merging with 1 cores into a new core of size 49: cost of the new core is >=4 1.79/1.86 c lower bound updated to 59 1.79/1.86 c BCD2: 59 <= obj <= 518 1.79/1.86 c BCD2: #cores=27, #unrelaxed=2225, #relaxed=1123, #hardened=372 1.79/1.86 c BCD2: #sat=3 #unsat=44 bias=44/47 1.79/1.86 c Solving starts ... 1.79/1.86 c ============================[ Search Statistics ]============================ 1.79/1.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.79/1.86 c | | | | Limit GC | Var | Constra 1.79/1.86 c ============================================================================= 1.79/1.86 c 0.0s | 0 | 0 | 0 | 3407 0 | 1164 | 77 1.89/1.90 c 0.0s | 0 | 3842 | 39 | 3407 0 | 1164 | 80 1.89/1.90 c #cpu_time = 0.035s 1.89/1.90 c #wall_clock_time = 0.036s 1.89/1.90 c #decision = 3842 1.89/1.90 c #random_decision = 2 1.89/1.90 c #conflict = 39 1.89/1.90 c #restart = 0 1.89/1.90 c BCD2: relaxing 52 and merging with 3 cores into a new core of size 108: cost of the new core is >=5 1.89/1.90 c lower bound updated to 60 1.89/1.90 c BCD2: 60 <= obj <= 518 1.89/1.90 c BCD2: #cores=25, #unrelaxed=2173, #relaxed=1175, #hardened=372 1.89/1.90 c BCD2: #sat=3 #unsat=45 bias=45/48 1.89/1.90 c Solving starts ... 1.89/1.90 c ============================[ Search Statistics ]============================ 1.89/1.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.90 c | | | | Limit GC | Var | Constra 1.89/1.90 c ============================================================================= 1.89/1.90 c 0.0s | 0 | 0 | 0 | 3407 0 | 1171 | 80 1.89/1.92 c 0.0s | 1 | 1427 | 100 | 3407 0 | 1171 | 91 1.99/2.01 c 0.1s | 1 | 8595 | 217 | 3407 0 | 1171 | 91 1.99/2.01 c #cpu_time = 0.105s 1.99/2.01 c #wall_clock_time = 0.105s 1.99/2.01 c #decision = 8595 1.99/2.01 c #random_decision = 3 1.99/2.01 c #conflict = 217 1.99/2.01 c #restart = 1 1.99/2.01 c BCD2: relaxing 35 and merging with 3 cores into a new core of size 89: cost of the new core is >=4 1.99/2.01 c lower bound updated to 61 1.99/2.01 c BCD2: 61 <= obj <= 518 1.99/2.01 c BCD2: #cores=23, #unrelaxed=2138, #relaxed=1210, #hardened=372 1.99/2.01 c BCD2: #sat=3 #unsat=46 bias=46/49 1.99/2.01 c Solving starts ... 1.99/2.01 c ============================[ Search Statistics ]============================ 1.99/2.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.01 c | | | | Limit GC | Var | Constra 1.99/2.01 c ============================================================================= 1.99/2.01 c 0.0s | 0 | 0 | 0 | 3407 0 | 1181 | 91 1.99/2.04 c 0.0s | 0 | 1771 | 27 | 3407 0 | 1181 | 108 1.99/2.04 c #cpu_time = 0.024s 1.99/2.04 c #wall_clock_time = 0.024s 1.99/2.04 c #decision = 1771 1.99/2.04 c #random_decision = 1 1.99/2.04 c #conflict = 27 1.99/2.04 c #restart = 0 1.99/2.04 o 430 1.99/2.04 c BCD2: updating upper bound: 518 -> 429 1.99/2.05 c BCD2: 61 <= obj <= 429 1.99/2.05 c BCD2: #cores=23, #unrelaxed=2138, #relaxed=1210, #hardened=372 1.99/2.05 c BCD2: #sat=4 #unsat=46 bias=46/50 1.99/2.06 c Solving starts ... 1.99/2.06 c ============================[ Search Statistics ]============================ 1.99/2.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.06 c | | | | Limit GC | Var | Constra 1.99/2.06 c ============================================================================= 1.99/2.06 c 0.0s | 0 | 0 | 0 | 3407 0 | 1181 | 109 1.99/2.07 c 0.0s | 0 | 3396 | 18 | 3407 0 | 1181 | 109 1.99/2.07 c #cpu_time = 0.016s 1.99/2.07 c #wall_clock_time = 0.016s 1.99/2.07 c #decision = 3396 1.99/2.07 c #random_decision = 0 1.99/2.07 c #conflict = 18 1.99/2.07 c #restart = 0 1.99/2.07 c BCD2: relaxing 28 and merging with 1 cores into a new core of size 117: cost of the new core is >=5 1.99/2.07 c lower bound updated to 62 1.99/2.07 c BCD2: 62 <= obj <= 429 1.99/2.07 c BCD2: #cores=23, #unrelaxed=2110, #relaxed=1238, #hardened=372 1.99/2.07 c BCD2: #sat=4 #unsat=47 bias=47/51 1.99/2.07 c Solving starts ... 1.99/2.07 c ============================[ Search Statistics ]============================ 1.99/2.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.07 c | | | | Limit GC | Var | Constra 1.99/2.07 c ============================================================================= 1.99/2.07 c 0.0s | 0 | 0 | 0 | 3407 0 | 1183 | 109 2.09/2.10 c 0.0s | 1 | 1956 | 100 | 3748 0 | 1183 | 112 2.09/2.15 c 0.1s | 2 | 4763 | 250 | 3748 0 | 1183 | 112 2.20/2.25 c 0.2s | 2 | 6584 | 443 | 3748 0 | 1183 | 112 2.20/2.25 c #cpu_time = 0.166s 2.20/2.25 c #wall_clock_time = 0.166s 2.20/2.25 c #decision = 6584 2.20/2.25 c #random_decision = 3 2.20/2.25 c #conflict = 443 2.20/2.25 c #restart = 2 2.20/2.25 o 353 2.20/2.25 c BCD2: updating upper bound: 429 -> 352 2.20/2.26 c BCD2: 62 <= obj <= 352 2.20/2.26 c BCD2: #cores=23, #unrelaxed=2110, #relaxed=1238, #hardened=372 2.20/2.26 c BCD2: #sat=5 #unsat=47 bias=47/52 2.20/2.26 c Solving starts ... 2.20/2.26 c ============================[ Search Statistics ]============================ 2.20/2.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.20/2.26 c | | | | Limit GC | Var | Constra 2.20/2.26 c ============================================================================= 2.20/2.26 c 0.0s | 0 | 0 | 0 | 3748 0 | 1183 | 113 2.20/2.30 c 0.0s | 1 | 3785 | 100 | 3748 0 | 1183 | 113 2.30/2.34 c 0.1s | 2 | 5170 | 250 | 3748 0 | 1183 | 113 2.30/2.39 c 0.1s | 3 | 7286 | 475 | 3748 0 | 1183 | 113 2.49/2.56 c 0.3s | 4 | 20148 | 813 | 4123 0 | 1184 | 113 2.49/2.57 c 0.3s | 4 | 21391 | 850 | 4123 0 | 1184 | 113 2.49/2.57 c #cpu_time = 0.314s 2.49/2.57 c #wall_clock_time = 0.315s 2.49/2.57 c #decision = 21391 2.49/2.57 c #random_decision = 4 2.49/2.57 c #conflict = 850 2.49/2.57 c #restart = 4 2.49/2.57 c BCD2: relaxing 48 and merging with 2 cores into a new core of size 116: cost of the new core is >=4 2.49/2.57 c lower bound updated to 63 2.49/2.58 c BCD2: 63 <= obj <= 352 2.49/2.58 c BCD2: #cores=22, #unrelaxed=2062, #relaxed=1286, #hardened=372 2.49/2.58 c BCD2: #sat=5 #unsat=48 bias=48/53 2.49/2.58 c Solving starts ... 2.49/2.58 c ============================[ Search Statistics ]============================ 2.49/2.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.58 c | | | | Limit GC | Var | Constra 2.49/2.58 c ============================================================================= 2.49/2.58 c 0.0s | 0 | 0 | 0 | 4123 0 | 1190 | 113 2.59/2.61 c 0.0s | 1 | 1201 | 100 | 4123 0 | 1190 | 123 2.59/2.65 c 0.1s | 2 | 2585 | 250 | 4123 0 | 1190 | 123 2.69/2.71 c 0.1s | 3 | 4022 | 475 | 4123 0 | 1190 | 123 2.69/2.78 c 0.2s | 4 | 5589 | 813 | 4123 0 | 1190 | 123 2.79/2.86 c 0.3s | 4 | 7235 | 1003 | 4123 0 | 1190 | 123 2.79/2.86 c #cpu_time = 0.272s 2.79/2.86 c #wall_clock_time = 0.273s 2.79/2.86 c #decision = 7235 2.79/2.86 c #random_decision = 9 2.79/2.86 c #conflict = 1003 2.79/2.86 c #restart = 4 2.79/2.86 o 304 2.79/2.88 c BCD2: hardening fixes 124 literals 2.79/2.88 c BCD2: updating upper bound: 352 -> 303 2.79/2.89 c BCD2: 63 <= obj <= 303 2.79/2.89 c BCD2: #cores=22, #unrelaxed=1938, #relaxed=1286, #hardened=496 2.79/2.89 c BCD2: #sat=6 #unsat=48 bias=48/54 2.79/2.89 c Solving starts ... 2.79/2.89 c ============================[ Search Statistics ]============================ 2.79/2.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.79/2.89 c | | | | Limit GC | Var | Constra 2.79/2.89 c ============================================================================= 2.79/2.89 c 0.0s | 0 | 0 | 0 | 4123 0 | 1190 | 124 2.89/2.92 c 0.0s | 1 | 1176 | 100 | 4123 0 | 1190 | 124 2.99/3.00 c 0.1s | 2 | 7447 | 250 | 4123 0 | 1191 | 124 2.99/3.06 c 0.2s | 3 | 8934 | 475 | 4123 0 | 1191 | 124 3.19/3.20 c 0.3s | 4 | 12018 | 813 | 4536 0 | 1191 | 124 3.30/3.33 c 0.4s | 5 | 15029 | 1320 | 4536 0 | 1191 | 124 3.40/3.48 c 0.6s | 5 | 17347 | 1898 | 4536 0 | 1191 | 124 3.40/3.48 c #cpu_time = 0.585s 3.40/3.48 c #wall_clock_time = 0.586s 3.40/3.48 c #decision = 17347 3.40/3.48 c #random_decision = 6 3.40/3.48 c #conflict = 1898 3.40/3.48 c #restart = 5 3.40/3.48 o 265 3.40/3.49 c BCD2: updating upper bound: 303 -> 264 3.49/3.50 c BCD2: 63 <= obj <= 264 3.49/3.50 c BCD2: #cores=22, #unrelaxed=1938, #relaxed=1286, #hardened=496 3.49/3.50 c BCD2: #sat=7 #unsat=48 bias=48/55 3.49/3.50 c Solving starts ... 3.49/3.50 c ============================[ Search Statistics ]============================ 3.49/3.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.50 c | | | | Limit GC | Var | Constra 3.49/3.50 c ============================================================================= 3.49/3.50 c 0.0s | 0 | 0 | 0 | 4536 0 | 1191 | 125 3.49/3.55 c 0.1s | 1 | 1513 | 100 | 4536 1 | 1191 | 125 3.49/3.56 c 0.1s | 1 | 2799 | 107 | 4536 1 | 1191 | 125 3.49/3.56 c #cpu_time = 0.063s 3.49/3.56 c #wall_clock_time = 0.063s 3.49/3.56 c #decision = 2799 3.49/3.56 c #random_decision = 0 3.49/3.56 c #conflict = 107 3.49/3.56 c #restart = 1 3.49/3.56 c BCD2: relaxing 26 and merging with 1 cores into a new core of size 142: cost of the new core is >=5 3.49/3.56 c lower bound updated to 64 3.49/3.56 c BCD2: 64 <= obj <= 264 3.49/3.56 c BCD2: #cores=22, #unrelaxed=1912, #relaxed=1312, #hardened=496 3.49/3.56 c BCD2: #sat=7 #unsat=49 bias=49/56 3.49/3.56 c Solving starts ... 3.49/3.56 c ============================[ Search Statistics ]============================ 3.49/3.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.56 c | | | | Limit GC | Var | Constra 3.49/3.56 c ============================================================================= 3.49/3.56 c 0.0s | 0 | 0 | 0 | 4536 0 | 1194 | 125 3.59/3.61 c 0.0s | 1 | 3061 | 100 | 4536 0 | 1194 | 130 3.59/3.67 c 0.1s | 1 | 8592 | 214 | 4536 0 | 1194 | 130 3.59/3.67 c #cpu_time = 0.106s 3.59/3.67 c #wall_clock_time = 0.107s 3.59/3.67 c #decision = 8592 3.59/3.67 c #random_decision = 6 3.59/3.67 c #conflict = 214 3.59/3.67 c #restart = 1 3.59/3.67 c BCD2: relaxing 42 and merging with 1 cores into a new core of size 127: cost of the new core is >=3 3.59/3.67 c lower bound updated to 65 3.59/3.67 c BCD2: 65 <= obj <= 264 3.59/3.67 c BCD2: #cores=22, #unrelaxed=1870, #relaxed=1354, #hardened=496 3.59/3.67 c BCD2: #sat=7 #unsat=50 bias=50/57 3.59/3.67 c Solving starts ... 3.59/3.67 c ============================[ Search Statistics ]============================ 3.59/3.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.67 c | | | | Limit GC | Var | Constra 3.59/3.67 c ============================================================================= 3.59/3.67 c 0.0s | 0 | 0 | 0 | 4536 0 | 1200 | 130 3.69/3.71 c 0.0s | 0 | 7279 | 44 | 4536 0 | 1200 | 141 3.69/3.71 c #cpu_time = 0.036s 3.69/3.71 c #wall_clock_time = 0.036s 3.69/3.71 c #decision = 7279 3.69/3.71 c #random_decision = 2 3.69/3.71 c #conflict = 44 3.69/3.71 c #restart = 0 3.69/3.71 c BCD2: relaxing 14 and merging with 1 cores into a new core of size 141: cost of the new core is >=4 3.69/3.71 c lower bound updated to 66 3.69/3.72 c BCD2: 66 <= obj <= 264 3.69/3.72 c BCD2: #cores=22, #unrelaxed=1856, #relaxed=1368, #hardened=496 3.69/3.72 c BCD2: #sat=7 #unsat=51 bias=51/58 3.69/3.72 c Solving starts ... 3.69/3.72 c ============================[ Search Statistics ]============================ 3.69/3.72 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.72 c | | | | Limit GC | Var | Constra 3.69/3.72 c ============================================================================= 3.69/3.72 c 0.0s | 0 | 0 | 0 | 4536 0 | 1201 | 141 3.69/3.75 c 0.0s | 0 | 6307 | 47 | 4536 0 | 1201 | 142 3.69/3.75 c #cpu_time = 0.029s 3.69/3.75 c #wall_clock_time = 0.029s 3.69/3.75 c #decision = 6307 3.69/3.75 c #random_decision = 0 3.69/3.75 c #conflict = 47 3.69/3.75 c #restart = 0 3.69/3.75 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 145: cost of the new core is >=5 3.69/3.75 c lower bound updated to 67 3.69/3.75 c BCD2: 67 <= obj <= 264 3.69/3.75 c BCD2: #cores=22, #unrelaxed=1852, #relaxed=1372, #hardened=496 3.69/3.75 c BCD2: #sat=7 #unsat=52 bias=52/59 3.69/3.75 c Solving starts ... 3.69/3.75 c ============================[ Search Statistics ]============================ 3.69/3.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.75 c | | | | Limit GC | Var | Constra 3.69/3.75 c ============================================================================= 3.69/3.75 c 0.0s | 0 | 0 | 0 | 4536 0 | 1202 | 142 3.69/3.79 c 0.0s | 0 | 6393 | 48 | 4536 0 | 1203 | 144 3.69/3.79 c #cpu_time = 0.038s 3.69/3.79 c #wall_clock_time = 0.038s 3.69/3.79 c #decision = 6393 3.69/3.79 c #random_decision = 2 3.69/3.79 c #conflict = 48 3.69/3.79 c #restart = 0 3.69/3.79 c BCD2: updating lower bound of a core 3.69/3.79 c lower bound updated to 68 3.69/3.79 c BCD2: 68 <= obj <= 264 3.69/3.79 c BCD2: #cores=22, #unrelaxed=1852, #relaxed=1372, #hardened=496 3.69/3.79 c BCD2: #sat=7 #unsat=53 bias=53/60 3.69/3.79 c Solving starts ... 3.69/3.79 c ============================[ Search Statistics ]============================ 3.69/3.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.69/3.79 c | | | | Limit GC | Var | Constra 3.69/3.79 c ============================================================================= 3.69/3.79 c 0.0s | 0 | 0 | 0 | 4536 0 | 1203 | 144 3.79/3.85 c 0.1s | 1 | 4716 | 100 | 4536 0 | 1203 | 144 3.89/3.91 c 0.1s | 2 | 7670 | 250 | 4536 0 | 1204 | 144 3.89/3.97 c 0.2s | 3 | 9985 | 475 | 4536 0 | 1204 | 144 3.99/4.05 c 0.3s | 4 | 11799 | 813 | 4990 0 | 1204 | 144 4.19/4.24 c 0.4s | 5 | 21400 | 1320 | 4990 0 | 1204 | 144 4.40/4.46 c 0.7s | 6 | 26546 | 2081 | 4990 0 | 1205 | 144 4.79/4.81 c 1.0s | 7 | 30053 | 3223 | 4990 0 | 1205 | 144 5.29/5.37 c 1.6s | 8 | 33223 | 4936 | 5489 0 | 1205 | 144 5.99/6.09 c 2.3s | 9 | 49392 | 7506 | 5489 1 | 1205 | 144 8.09/8.10 c 4.3s | 9 | 55123 | 10906 | 6038 2 | 1205 | 144 8.29/8.34 c 4.5s | 10 | 55651 | 11361 | 6038 2 | 1205 | 144 10.29/10.38 c 6.6s | 10 | 60598 | 14161 | 6038 2 | 1205 | 144 12.39/12.44 c 8.6s | 10 | 63650 | 16661 | 6038 3 | 1205 | 144 12.79/12.85 c 9.1s | 11 | 64224 | 17144 | 6038 3 | 1205 | 144 14.88/14.90 c 11.1s | 11 | 68090 | 19344 | 6642 3 | 1205 | 144 16.88/16.92 c 13.1s | 11 | 71145 | 21844 | 6642 4 | 1205 | 144 18.88/18.93 c 15.1s | 11 | 74199 | 24444 | 6642 4 | 1205 | 144 20.19/20.22 c 16.4s | 12 | 76045 | 25819 | 6642 5 | 1205 | 144 22.19/22.26 c 18.5s | 12 | 82838 | 29219 | 6642 5 | 1205 | 144 24.30/24.33 c 20.5s | 12 | 87817 | 33119 | 7307 6 | 1205 | 144 26.40/26.49 c 22.7s | 12 | 96356 | 35319 | 7307 7 | 1205 | 144 27.50/27.59 c 23.8s | 13 | 105480 | 38832 | 7307 7 | 1205 | 144 29.59/29.64 c 25.8s | 13 | 120908 | 44632 | 7307 8 | 1205 | 144 31.59/31.70 c 27.9s | 13 | 125885 | 49032 | 7307 9 | 1205 | 144 33.69/33.71 c 29.9s | 13 | 130651 | 52932 | 8038 10 | 1205 | 144 35.48/35.54 c 31.7s | 14 | 144733 | 58352 | 8038 11 | 1206 | 144 37.49/37.58 c 33.8s | 14 | 153125 | 63352 | 8038 12 | 1206 | 144 39.48/39.58 c 35.8s | 14 | 159790 | 67752 | 8038 13 | 1206 | 144 41.58/41.60 c 37.8s | 14 | 166019 | 71952 | 8038 13 | 1206 | 144 43.58/43.63 c 39.8s | 14 | 171732 | 76152 | 8038 14 | 1206 | 144 45.58/45.64 c 41.8s | 14 | 178142 | 80552 | 8842 15 | 1206 | 144 47.58/47.65 c 43.9s | 14 | 184604 | 84752 | 8842 15 | 1206 | 144 49.08/49.19 c 45.4s | 15 | 188569 | 87632 | 8842 16 | 1206 | 144 50.98/51.02 c 47.2s | 15 | 221509 | 92579 | 8842 17 | 1207 | 144 50.98/51.02 c #cpu_time = 47.095s 50.98/51.02 c #wall_clock_time = 47.219s 50.98/51.02 c #decision = 221509 50.98/51.02 c #random_decision = 370 50.98/51.02 c #conflict = 92579 50.98/51.02 c #restart = 15 50.98/51.02 o 231 50.98/51.02 c BCD2: updating upper bound: 264 -> 230 50.98/51.04 c BCD2: 68 <= obj <= 230 50.98/51.04 c BCD2: #cores=22, #unrelaxed=1852, #relaxed=1372, #hardened=496 50.98/51.04 c BCD2: #sat=8 #unsat=53 bias=53/61 50.98/51.05 c Solving starts ... 50.98/51.05 c ============================[ Search Statistics ]============================ 50.98/51.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 50.98/51.05 c | | | | Limit GC | Var | Constra 50.98/51.05 c ============================================================================= 50.98/51.05 c 0.0s | 0 | 0 | 0 | 8842 0 | 1207 | 145 51.08/51.10 c 0.1s | 0 | 1363 | 61 | 8842 0 | 1207 | 145 51.08/51.10 c #cpu_time = 0.058s 51.08/51.10 c #wall_clock_time = 0.058s 51.08/51.10 c #decision = 1363 51.08/51.10 c #random_decision = 1 51.08/51.10 c #conflict = 61 51.08/51.10 c #restart = 0 51.08/51.11 c BCD2: relaxing 287 and merging with 6 cores into a new core of size 614: cost of the new core is >=11 51.08/51.11 c lower bound updated to 69 51.08/51.11 c BCD2: 69 <= obj <= 230 51.08/51.11 c BCD2: #cores=17, #unrelaxed=1565, #relaxed=1659, #hardened=496 51.08/51.11 c BCD2: #sat=8 #unsat=54 bias=54/62 51.08/51.11 c Solving starts ... 51.08/51.11 c ============================[ Search Statistics ]============================ 51.08/51.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 51.08/51.11 c | | | | Limit GC | Var | Constra 51.08/51.11 c ============================================================================= 51.08/51.12 c 0.0s | 0 | 0 | 0 | 8842 0 | 1288 | 145 51.18/51.23 c 0.1s | 1 | 1240 | 100 | 8842 0 | 1288 | 315 51.28/51.35 c 0.2s | 2 | 2842 | 250 | 8842 0 | 1288 | 315 51.48/51.54 c 0.4s | 3 | 4434 | 475 | 8842 0 | 1288 | 315 51.79/51.83 c 0.7s | 4 | 6412 | 813 | 8842 0 | 1288 | 315 52.28/52.31 c 1.2s | 5 | 8431 | 1320 | 8842 0 | 1288 | 315 52.79/52.82 c 1.7s | 6 | 11919 | 2081 | 8842 0 | 1288 | 315 53.58/53.67 c 2.6s | 7 | 16576 | 3223 | 8842 0 | 1288 | 315 54.78/54.82 c 3.7s | 8 | 24168 | 4936 | 8842 0 | 1289 | 315 56.58/56.61 c 5.5s | 9 | 31999 | 7506 | 8842 0 | 1289 | 315 58.58/58.62 c 7.5s | 9 | 37789 | 10306 | 8842 1 | 1289 | 315 59.49/59.54 c 8.4s | 10 | 40279 | 11361 | 8842 1 | 1289 | 315 61.59/61.61 c 10.5s | 10 | 46748 | 13861 | 8842 1 | 1289 | 315 63.58/63.66 c 12.5s | 10 | 51457 | 16261 | 8842 2 | 1289 | 315 64.38/64.42 c 13.3s | 11 | 53115 | 17144 | 8842 2 | 1289 | 315 66.48/66.53 c 15.4s | 11 | 59903 | 19744 | 8842 2 | 1290 | 315 68.48/68.57 c 17.5s | 11 | 65864 | 22044 | 8842 3 | 1290 | 315 70.58/70.61 c 19.5s | 11 | 70072 | 23944 | 8842 3 | 1290 | 315 72.58/72.69 c 21.6s | 11 | 73827 | 25644 | 8842 3 | 1290 | 315 72.78/72.86 c 21.7s | 12 | 74126 | 25819 | 8842 3 | 1290 | 315 74.88/74.91 c 23.8s | 12 | 78450 | 27419 | 8842 4 | 1290 | 315 76.88/76.91 c 25.8s | 12 | 82173 | 29519 | 8842 4 | 1290 | 315 78.88/78.93 c 27.8s | 12 | 90457 | 31619 | 9727 4 | 1295 | 315 80.97/81.09 c 30.0s | 12 | 94124 | 33319 | 9727 4 | 1295 | 315 83.17/83.21 c 32.1s | 12 | 96878 | 34619 | 9727 5 | 1295 | 315 85.17/85.25 c 34.1s | 12 | 98652 | 35719 | 9727 5 | 1295 | 315 87.17/87.29 c 36.2s | 12 | 100451 | 37019 | 9727 5 | 1295 | 315 89.27/89.34 c 38.2s | 12 | 103576 | 38519 | 9727 5 | 1295 | 315 89.67/89.75 c 38.6s | 13 | 104187 | 38832 | 9727 5 | 1295 | 315 91.77/91.87 c 40.8s | 13 | 109239 | 40332 | 9727 6 | 1295 | 315 93.87/93.96 c 42.8s | 13 | 112426 | 41832 | 9727 6 | 1295 | 315 95.97/96.01 c 44.9s | 13 | 114133 | 42932 | 9727 6 | 1295 | 315 97.98/98.06 c 46.9s | 13 | 116972 | 44432 | 9727 6 | 1295 | 315 100.18/100.24 c 49.1s | 13 | 119063 | 45632 | 9727 7 | 1295 | 315 102.28/102.32 c 51.2s | 13 | 122702 | 47532 | 9727 7 | 1295 | 315 104.37/104.41 c 53.3s | 13 | 126526 | 49532 | 9727 7 | 1295 | 315 106.37/106.45 c 55.3s | 13 | 130870 | 51432 | 9727 7 | 1295 | 315 108.37/108.49 c 57.4s | 13 | 133382 | 53132 | 9727 8 | 1295 | 315 110.47/110.54 c 59.4s | 13 | 135305 | 54332 | 9727 8 | 1295 | 315 112.57/112.65 c 61.5s | 13 | 138456 | 55932 | 9727 8 | 1295 | 315 114.67/114.73 c 63.6s | 13 | 141853 | 57632 | 9727 8 | 1295 | 315 115.77/115.84 c 64.7s | 14 | 143018 | 58352 | 9727 9 | 1295 | 315 117.78/117.85 c 66.7s | 14 | 146283 | 59752 | 9727 9 | 1295 | 315 119.77/119.88 c 68.8s | 14 | 150374 | 61752 | 9727 9 | 1295 | 315 121.87/121.99 c 70.9s | 14 | 153187 | 63352 | 9727 9 | 1295 | 315 123.97/124.02 c 72.9s | 14 | 155740 | 64752 | 9727 10 | 1295 | 315 125.97/126.06 c 74.9s | 14 | 159403 | 67052 | 9727 10 | 1295 | 315 128.17/128.21 c 77.1s | 14 | 163824 | 69252 | 9727 10 | 1295 | 315 130.17/130.27 c 79.2s | 14 | 167188 | 71052 | 9727 11 | 1295 | 315 132.17/132.27 c 81.2s | 14 | 171073 | 73052 | 9727 11 | 1295 | 315 134.17/134.28 c 83.2s | 14 | 175365 | 75252 | 9727 11 | 1295 | 315 136.17/136.28 c 85.2s | 14 | 177755 | 76652 | 9727 11 | 1295 | 315 138.37/138.42 c 87.3s | 14 | 180980 | 78252 | 9727 12 | 1295 | 315 140.36/140.49 c 89.4s | 14 | 183122 | 79652 | 9727 12 | 1295 | 315 142.46/142.58 c 91.5s | 14 | 184921 | 80952 | 9727 12 | 1295 | 315 144.56/144.62 c 93.5s | 14 | 188709 | 82452 | 9727 12 | 1296 | 315 146.56/146.65 c 95.5s | 14 | 191518 | 83852 | 9727 13 | 1296 | 315 148.67/148.79 c 97.7s | 14 | 194470 | 85452 | 9727 13 | 1296 | 315 150.57/150.61 c 99.5s | 15 | 198873 | 87632 | 9727 13 | 1296 | 315 152.57/152.62 c 101s | 15 | 205518 | 90132 | 9727 14 | 1296 | 315 154.57/154.65 c 103s | 15 | 211927 | 92932 | 9727 14 | 1296 | 315 156.57/156.65 c 105s | 15 | 217259 | 95532 | 9727 14 | 1296 | 315 158.67/158.70 c 107s | 15 | 222513 | 97932 | 10700 15 | 1296 | 315 160.68/160.76 c 109s | 15 | 227232 | 100332 | 10700 15 | 1296 | 315 162.78/162.85 c 111s | 15 | 231942 | 102432 | 10700 15 | 1296 | 315 164.77/164.87 c 113s | 15 | 236101 | 104432 | 10700 16 | 1296 | 315 166.87/166.92 c 115s | 15 | 240714 | 106232 | 10700 16 | 1296 | 315 168.87/168.93 c 117s | 15 | 245586 | 108332 | 10700 16 | 1296 | 315 170.87/170.94 c 119s | 15 | 250302 | 110232 | 10700 17 | 1296 | 315 172.97/173.01 c 121s | 15 | 256127 | 112832 | 10700 17 | 1296 | 315 174.97/175.02 c 123s | 15 | 261048 | 115032 | 10700 17 | 1296 | 315 176.97/177.03 c 125s | 15 | 265751 | 117032 | 10700 18 | 1296 | 315 178.97/179.09 c 127s | 15 | 270669 | 119132 | 10700 18 | 1296 | 315 181.07/181.15 c 130s | 15 | 274893 | 121232 | 10700 18 | 1296 | 315 183.07/183.16 c 132s | 15 | 278857 | 122932 | 10700 18 | 1296 | 315 185.17/185.22 c 134s | 15 | 284043 | 125132 | 10700 19 | 1296 | 315 187.16/187.26 c 136s | 15 | 288661 | 127532 | 10700 19 | 1296 | 315 189.17/189.26 c 138s | 15 | 292607 | 129532 | 10700 19 | 1296 | 315 191.06/191.18 c 140s | 16 | 297481 | 131552 | 10700 20 | 1296 | 315 193.16/193.21 c 142s | 16 | 303408 | 133552 | 10700 20 | 1296 | 315 195.16/195.23 c 144s | 16 | 307767 | 135452 | 10700 20 | 1296 | 315 197.16/197.29 c 146s | 16 | 311791 | 137352 | 10700 21 | 1296 | 315 199.26/199.32 c 148s | 16 | 318481 | 140052 | 10700 21 | 1297 | 315 201.27/201.37 c 150s | 16 | 325656 | 142752 | 10700 21 | 1297 | 315 203.26/203.39 c 152s | 16 | 332483 | 145452 | 10700 22 | 1297 | 315 205.36/205.40 c 154s | 16 | 338887 | 148152 | 10700 22 | 1297 | 315 207.36/207.45 c 156s | 16 | 344474 | 150852 | 10700 23 | 1297 | 315 209.46/209.51 c 158s | 16 | 350960 | 153452 | 10700 23 | 1297 | 315 211.46/211.55 c 160s | 16 | 355745 | 156252 | 10700 23 | 1297 | 315 213.56/213.64 c 162s | 16 | 361082 | 159052 | 10700 24 | 1297 | 315 215.67/215.70 c 164s | 16 | 366389 | 161652 | 10700 24 | 1297 | 315 217.66/217.74 c 166s | 16 | 371299 | 164252 | 10700 24 | 1297 | 315 219.66/219.77 c 168s | 16 | 375892 | 166852 | 10700 25 | 1297 | 315 221.76/221.80 c 170s | 16 | 379994 | 169452 | 10700 25 | 1297 | 315 223.96/224.01 c 172s | 16 | 383042 | 171352 | 10700 26 | 1297 | 315 225.96/226.06 c 174s | 16 | 388489 | 174152 | 10700 26 | 1297 | 315 227.96/228.08 c 176s | 16 | 394020 | 176552 | 10700 26 | 1297 | 315 230.06/230.12 c 179s | 16 | 399020 | 178952 | 10700 27 | 1297 | 315 232.06/232.13 c 181s | 16 | 404040 | 181452 | 10700 27 | 1297 | 315 234.06/234.16 c 183s | 16 | 407781 | 183452 | 10700 27 | 1297 | 315 236.06/236.18 c 185s | 16 | 411541 | 185252 | 10700 28 | 1297 | 315 238.16/238.24 c 187s | 16 | 416912 | 187752 | 10700 28 | 1297 | 315 240.16/240.29 c 189s | 16 | 422634 | 190052 | 10700 28 | 1297 | 315 242.26/242.36 c 191s | 16 | 427659 | 192552 | 10700 29 | 1297 | 315 244.36/244.41 c 193s | 16 | 431810 | 195152 | 11771 29 | 1297 | 315 246.06/246.13 c 195s | 17 | 436376 | 197432 | 11771 29 | 1297 | 315 248.06/248.18 c 197s | 17 | 442339 | 200132 | 11771 30 | 1297 | 315 250.16/250.25 c 199s | 17 | 447684 | 202732 | 11771 30 | 1297 | 315 252.15/252.28 c 201s | 17 | 452290 | 204832 | 11771 30 | 1297 | 315 254.25/254.39 c 203s | 17 | 458339 | 207432 | 11771 31 | 1297 | 315 256.36/256.43 c 205s | 17 | 463534 | 210132 | 11771 31 | 1297 | 315 258.35/258.49 c 207s | 17 | 468847 | 213132 | 11771 31 | 1297 | 315 260.45/260.56 c 209s | 17 | 474422 | 215932 | 11771 32 | 1297 | 315 262.55/262.68 c 211s | 17 | 478679 | 218132 | 11771 32 | 1297 | 315 264.65/264.72 c 213s | 17 | 482565 | 220332 | 11771 32 | 1297 | 315 266.65/266.75 c 215s | 17 | 489028 | 222832 | 11771 33 | 1297 | 315 268.75/268.81 c 217s | 17 | 493728 | 225232 | 11771 33 | 1297 | 315 270.75/270.86 c 219s | 17 | 497813 | 227232 | 11771 33 | 1297 | 315 272.76/272.90 c 221s | 17 | 501630 | 229132 | 11771 33 | 1297 | 315 274.85/274.92 c 223s | 17 | 505646 | 231132 | 11771 34 | 1297 | 315 276.85/276.99 c 225s | 17 | 513203 | 234432 | 11771 34 | 1297 | 315 278.95/279.08 c 227s | 17 | 518019 | 236832 | 11771 35 | 1297 | 315 280.95/281.08 c 229s | 17 | 521182 | 238732 | 11771 35 | 1297 | 315 283.05/283.14 c 232s | 17 | 524648 | 241032 | 11771 35 | 1297 | 315 285.15/285.23 c 234s | 17 | 529995 | 243032 | 11771 35 | 1297 | 315 287.25/287.30 c 236s | 17 | 535171 | 245132 | 11771 36 | 1297 | 315 289.25/289.34 c 238s | 17 | 540260 | 247332 | 11771 36 | 1297 | 315 291.24/291.36 c 240s | 17 | 543728 | 249532 | 11771 36 | 1297 | 315 293.44/293.51 c 242s | 17 | 548826 | 251732 | 11771 37 | 1297 | 315 295.44/295.57 c 244s | 17 | 554514 | 254132 | 11771 37 | 1297 | 315 297.54/297.68 c 246s | 17 | 559433 | 256432 | 11771 37 | 1297 | 315 299.54/299.69 c 248s | 17 | 563668 | 258532 | 11771 37 | 1297 | 315 301.64/301.77 c 250s | 17 | 566652 | 260532 | 11771 38 | 1297 | 315 303.74/303.85 c 252s | 17 | 570120 | 262832 | 11771 38 | 1297 | 315 305.85/305.91 c 254s | 17 | 576304 | 265432 | 11771 38 | 1297 | 315 307.84/307.98 c 256s | 17 | 582856 | 268032 | 11771 39 | 1297 | 315 309.94/310.00 c 258s | 17 | 587474 | 270232 | 11771 39 | 1297 | 315 311.94/312.01 c 260s | 17 | 593051 | 272832 | 11771 39 | 1297 | 315 313.94/314.01 c 262s | 17 | 598326 | 275032 | 11771 40 | 1297 | 315 315.94/316.10 c 264s | 17 | 604317 | 277532 | 11771 40 | 1297 | 315 318.04/318.11 c 266s | 17 | 609318 | 279832 | 11771 40 | 1297 | 315 320.05/320.16 c 269s | 17 | 612625 | 281432 | 11771 41 | 1297 | 315 322.04/322.18 c 271s | 17 | 618536 | 284032 | 11771 41 | 1297 | 315 324.14/324.22 c 273s | 17 | 622657 | 286232 | 11771 41 | 1297 | 315 326.14/326.24 c 275s | 17 | 627292 | 288332 | 11771 42 | 1297 | 315 328.14/328.24 c 277s | 17 | 632225 | 290332 | 11771 42 | 1297 | 315 330.14/330.29 c 279s | 17 | 638026 | 292632 | 11771 42 | 1297 | 315 332.24/332.34 c 281s | 17 | 643664 | 295132 | 11771 42 | 1297 | 315 333.24/333.35 c 282s | 18 | 646321 | 296252 | 11771 43 | 1297 | 315 335.34/335.41 c 284s | 18 | 653679 | 298952 | 11771 43 | 1297 | 315 337.34/337.43 c 286s | 18 | 659885 | 301652 | 11771 43 | 1297 | 315 339.34/339.48 c 288s | 18 | 665846 | 304352 | 11771 44 | 1297 | 315 341.34/341.48 c 290s | 18 | 669156 | 305952 | 11771 44 | 1297 | 315 343.44/343.53 c 292s | 18 | 675194 | 308752 | 11771 44 | 1297 | 315 345.45/345.53 c 294s | 18 | 680578 | 311052 | 11771 45 | 1297 | 315 347.44/347.54 c 296s | 18 | 686567 | 313852 | 11771 45 | 1297 | 315 349.54/349.60 c 298s | 18 | 691371 | 316552 | 11771 45 | 1297 | 315 351.54/351.65 c 300s | 18 | 696037 | 318452 | 11771 46 | 1297 | 315 353.54/353.65 c 302s | 18 | 700932 | 320952 | 11771 46 | 1297 | 315 355.64/355.70 c 304s | 18 | 706372 | 323552 | 11771 46 | 1297 | 315 357.64/357.71 c 306s | 18 | 709787 | 325452 | 11771 47 | 1297 | 315 359.65/359.77 c 308s | 18 | 714456 | 327952 | 11771 47 | 1297 | 315 361.74/361.83 c 310s | 18 | 720552 | 330552 | 11771 47 | 1297 | 315 363.74/363.84 c 312s | 18 | 725740 | 332852 | 11771 48 | 1297 | 315 365.74/365.86 c 314s | 18 | 731736 | 335452 | 11771 48 | 1297 | 315 368.45/368.57 c 317s | 18 | 739132 | 337952 | 11771 48 | 1297 | 315 370.54/370.61 c 319s | 18 | 745031 | 340552 | 11771 49 | 1297 | 315 372.84/372.91 c 321s | 18 | 748998 | 342652 | 12949 49 | 1297 | 315 374.84/374.92 c 323s | 18 | 753867 | 344952 | 12949 49 | 1297 | 315 376.94/377.00 c 325s | 18 | 759807 | 347852 | 12949 49 | 1297 | 315 378.94/379.00 c 327s | 18 | 765103 | 350152 | 12949 50 | 1297 | 315 380.94/381.03 c 329s | 18 | 770830 | 352752 | 12949 50 | 1297 | 315 382.93/383.08 c 331s | 18 | 775590 | 355252 | 12949 50 | 1297 | 315 385.04/385.15 c 334s | 18 | 780527 | 357752 | 12949 51 | 1297 | 315 387.03/387.19 c 336s | 18 | 785359 | 360052 | 12949 51 | 1297 | 315 389.13/389.25 c 338s | 18 | 790078 | 362452 | 12949 51 | 1297 | 315 391.23/391.31 c 340s | 18 | 794784 | 364652 | 12949 52 | 1297 | 315 393.23/393.33 c 342s | 18 | 799881 | 366952 | 12949 52 | 1297 | 315 395.33/395.40 c 344s | 18 | 805018 | 369152 | 12949 52 | 1297 | 315 397.43/397.52 c 346s | 18 | 808603 | 370952 | 12949 52 | 1297 | 315 399.43/399.58 c 348s | 18 | 811968 | 372652 | 12949 53 | 1297 | 315 401.54/401.65 c 350s | 18 | 816141 | 374752 | 12949 53 | 1297 | 315 403.53/403.67 c 352s | 18 | 822307 | 377152 | 12949 53 | 1297 | 315 405.63/405.71 c 354s | 18 | 827141 | 379352 | 12949 53 | 1297 | 315 407.63/407.73 c 356s | 18 | 830325 | 381352 | 12949 54 | 1297 | 315 409.63/409.76 c 358s | 18 | 834811 | 383752 | 12949 54 | 1297 | 315 411.73/411.85 c 360s | 18 | 838619 | 386052 | 12949 54 | 1297 | 315 413.73/413.89 c 362s | 18 | 842452 | 388252 | 12949 55 | 1297 | 315 416.33/416.49 c 365s | 18 | 846619 | 390852 | 12949 55 | 1297 | 315 418.43/418.52 c 367s | 18 | 850269 | 393152 | 12949 55 | 1297 | 315 420.43/420.53 c 369s | 18 | 853351 | 395152 | 12949 55 | 1297 | 315 422.53/422.60 c 371s | 18 | 856185 | 396752 | 12949 56 | 1297 | 315 424.53/424.60 c 373s | 18 | 859514 | 398652 | 12949 56 | 1297 | 315 426.53/426.68 c 375s | 18 | 865221 | 401052 | 12949 56 | 1297 | 315 428.62/428.77 c 377s | 18 | 868243 | 402952 | 12949 56 | 1297 | 315 430.62/430.78 c 379s | 18 | 872712 | 404852 | 12949 57 | 1297 | 315 432.92/433.09 c 381s | 18 | 878714 | 407352 | 12949 57 | 1297 | 315 435.02/435.12 c 384s | 18 | 884438 | 409852 | 12949 57 | 1297 | 315 437.02/437.19 c 386s | 18 | 887258 | 411452 | 12949 57 | 1297 | 315 439.12/439.24 c 388s | 18 | 890288 | 413252 | 12949 58 | 1297 | 315 441.22/441.32 c 390s | 18 | 893007 | 414852 | 12949 58 | 1297 | 315 443.23/443.39 c 392s | 18 | 897807 | 417152 | 12949 58 | 1297 | 315 445.32/445.45 c 394s | 18 | 902979 | 419652 | 12949 58 | 1297 | 315 447.32/447.47 c 396s | 18 | 907500 | 422152 | 12949 59 | 1297 | 315 449.42/449.50 c 398s | 18 | 912788 | 424752 | 12949 59 | 1297 | 315 451.42/451.59 c 400s | 18 | 918234 | 427152 | 12949 59 | 1297 | 315 453.42/453.59 c 402s | 18 | 924257 | 429552 | 12949 60 | 1297 | 315 455.52/455.66 c 404s | 18 | 929798 | 432252 | 12949 60 | 1297 | 315 457.62/457.72 c 406s | 18 | 935022 | 434852 | 12949 60 | 1297 | 315 459.62/459.76 c 408s | 18 | 939933 | 437452 | 12949 61 | 1297 | 315 461.62/461.76 c 410s | 18 | 944528 | 439952 | 12949 61 | 1297 | 315 463.72/463.80 c 412s | 18 | 949115 | 442452 | 12949 61 | 1297 | 315 465.52/465.66 c 414s | 19 | 953721 | 444482 | 12949 62 | 1297 | 315 467.62/467.72 c 416s | 19 | 958902 | 446382 | 12949 62 | 1297 | 315 469.62/469.73 c 418s | 19 | 964095 | 448582 | 12949 62 | 1297 | 315 471.62/471.79 c 420s | 19 | 969757 | 450882 | 12949 62 | 1297 | 315 473.72/473.82 c 422s | 19 | 974065 | 452982 | 12949 63 | 1297 | 315 475.72/475.87 c 424s | 19 | 978806 | 455482 | 12949 63 | 1297 | 315 477.92/478.00 c 426s | 19 | 982817 | 457782 | 12949 63 | 1297 | 315 480.02/480.14 c 429s | 19 | 987441 | 459782 | 12949 64 | 1297 | 315 482.02/482.15 c 431s | 19 | 991148 | 461282 | 12949 64 | 1297 | 315 484.03/484.18 c 433s | 19 | 994573 | 463282 | 12949 64 | 1297 | 315 486.02/486.19 c 435s | 19 | 998155 | 465182 | 12949 64 | 1297 | 315 488.12/488.22 c 437s | 19 | 1001621 | 467082 | 12949 64 | 1297 | 315 490.12/490.25 c 439s | 19 | 1005174 | 468982 | 12949 65 | 1297 | 315 492.22/492.33 c 441s | 19 | 1009149 | 471082 | 12949 65 | 1297 | 315 494.32/494.48 c 443s | 19 | 1012480 | 472982 | 12949 65 | 1297 | 315 496.42/496.53 c 445s | 19 | 1017115 | 474782 | 12949 65 | 1297 | 315 498.42/498.58 c 447s | 19 | 1022727 | 477182 | 12949 66 | 1297 | 315 500.42/500.58 c 449s | 19 | 1028880 | 479882 | 12949 66 | 1297 | 315 502.52/502.62 c 451s | 19 | 1034381 | 482282 | 12949 66 | 1297 | 315 504.52/504.64 c 453s | 19 | 1039364 | 484482 | 12949 67 | 1297 | 315 506.51/506.69 c 455s | 19 | 1045418 | 487282 | 12949 67 | 1297 | 315 508.61/508.74 c 457s | 19 | 1050096 | 489182 | 12949 67 | 1297 | 315 510.61/510.78 c 459s | 19 | 1054872 | 491182 | 12949 67 | 1297 | 315 513.11/513.27 c 462s | 19 | 1059022 | 492882 | 12949 68 | 1297 | 315 515.21/515.33 c 464s | 19 | 1063431 | 494882 | 12949 68 | 1297 | 315 517.31/517.40 c 466s | 19 | 1067695 | 496782 | 12949 68 | 1297 | 315 519.31/519.43 c 468s | 19 | 1071805 | 498682 | 12949 68 | 1297 | 315 521.32/521.47 c 470s | 19 | 1076275 | 500582 | 12949 69 | 1297 | 315 523.41/523.52 c 472s | 19 | 1081060 | 502682 | 12949 69 | 1297 | 315 525.41/525.56 c 474s | 19 | 1085444 | 504682 | 12949 69 | 1297 | 315 527.41/527.57 c 476s | 19 | 1090756 | 506982 | 12949 69 | 1297 | 315 529.51/529.60 c 478s | 19 | 1095135 | 508882 | 12949 70 | 1297 | 315 531.51/531.62 c 480s | 19 | 1100801 | 511382 | 12949 70 | 1297 | 315 533.51/533.67 c 482s | 19 | 1106282 | 513882 | 12949 70 | 1297 | 315 535.61/535.72 c 484s | 19 | 1111382 | 515982 | 12949 71 | 1297 | 315 537.60/537.73 c 486s | 19 | 1117092 | 518382 | 12949 71 | 1297 | 315 539.60/539.78 c 488s | 19 | 1122512 | 520982 | 12949 71 | 1297 | 315 541.70/541.86 c 490s | 19 | 1128016 | 523382 | 12949 72 | 1297 | 315 543.70/543.89 c 492s | 19 | 1134103 | 525982 | 12949 72 | 1297 | 315 545.80/545.92 c 494s | 19 | 1138007 | 527582 | 12949 72 | 1297 | 315 547.81/547.93 c 496s | 19 | 1143672 | 529882 | 12949 72 | 1297 | 315 549.81/549.99 c 498s | 19 | 1147502 | 531682 | 12949 73 | 1297 | 315 551.91/552.02 c 500s | 19 | 1152957 | 534182 | 12949 73 | 1297 | 315 554.91/555.08 c 503s | 19 | 1157912 | 536082 | 12949 73 | 1297 | 315 557.01/557.16 c 506s | 19 | 1162854 | 538282 | 12949 73 | 1297 | 315 559.11/559.22 c 508s | 19 | 1167555 | 540482 | 12949 74 | 1297 | 315 561.11/561.27 c 510s | 19 | 1173649 | 542982 | 12949 74 | 1297 | 315 563.22/563.33 c 512s | 19 | 1179597 | 545582 | 12949 74 | 1297 | 315 565.21/565.36 c 514s | 19 | 1185402 | 548082 | 12949 75 | 1297 | 315 567.31/567.42 c 516s | 19 | 1191190 | 550882 | 12949 75 | 1297 | 315 569.31/569.44 c 518s | 19 | 1196427 | 553482 | 12949 75 | 1297 | 315 571.31/571.47 c 520s | 19 | 1201977 | 555982 | 12949 76 | 1297 | 315 573.41/573.50 c 522s | 19 | 1208083 | 558582 | 12949 76 | 1297 | 315 575.41/575.56 c 524s | 19 | 1213153 | 561282 | 12949 76 | 1297 | 315 577.41/577.60 c 526s | 19 | 1218192 | 563782 | 14244 76 | 1297 | 315 579.51/579.60 c 528s | 19 | 1222909 | 566182 | 14244 77 | 1297 | 315 581.51/581.62 c 530s | 19 | 1228915 | 568782 | 14244 77 | 1297 | 315 583.51/583.68 c 532s | 19 | 1234241 | 571282 | 14244 77 | 1297 | 315 585.61/585.78 c 534s | 19 | 1237588 | 573082 | 14244 78 | 1297 | 315 587.80/587.98 c 536s | 19 | 1238519 | 573582 | 14244 78 | 1297 | 315 589.90/590.02 c 538s | 19 | 1244359 | 576082 | 14244 78 | 1297 | 315 591.90/592.05 c 540s | 19 | 1249526 | 578382 | 14244 78 | 1297 | 315 594.01/594.13 c 543s | 19 | 1255001 | 580982 | 14244 78 | 1297 | 315 596.30/596.44 c 545s | 19 | 1259265 | 583182 | 14244 79 | 1297 | 315 598.60/598.71 c 547s | 19 | 1263274 | 584982 | 14244 79 | 1297 | 315 600.60/600.78 c 549s | 19 | 1268191 | 587182 | 14244 79 | 1297 | 315 602.60/602.80 c 551s | 19 | 1272842 | 589282 | 14244 79 | 1297 | 315 604.70/604.85 c 553s | 19 | 1276812 | 591082 | 14244 80 | 1297 | 315 606.80/606.92 c 555s | 19 | 1281301 | 592882 | 14244 80 | 1297 | 315 608.80/608.98 c 557s | 19 | 1287325 | 595282 | 14244 80 | 1297 | 315 610.90/611.05 c 559s | 19 | 1291293 | 597082 | 14244 80 | 1297 | 315 612.89/613.09 c 561s | 19 | 1294545 | 598682 | 14244 80 | 1297 | 315 614.99/615.14 c 564s | 19 | 1297814 | 600282 | 14244 81 | 1297 | 315 617.00/617.18 c 566s | 19 | 1301518 | 602082 | 14244 81 | 1297 | 315 619.09/619.22 c 568s | 19 | 1305130 | 603882 | 14244 81 | 1297 | 315 621.29/621.46 c 570s | 19 | 1308917 | 605382 | 14244 81 | 1297 | 315 623.29/623.46 c 572s | 19 | 1312794 | 607282 | 14244 81 | 1297 | 315 625.39/625.51 c 574s | 19 | 1317828 | 609882 | 14244 82 | 1297 | 315 627.39/627.57 c 576s | 19 | 1324416 | 612582 | 14244 82 | 1297 | 315 629.39/629.58 c 578s | 19 | 1330154 | 615082 | 14244 82 | 1297 | 315 631.49/631.60 c 580s | 19 | 1334214 | 617182 | 14244 83 | 1297 | 315 633.50/633.61 c 582s | 19 | 1338653 | 619482 | 14244 83 | 1297 | 315 635.49/635.62 c 584s | 19 | 1343242 | 621882 | 14244 83 | 1297 | 315 637.49/637.67 c 586s | 19 | 1348443 | 624382 | 14244 83 | 1297 | 315 639.59/639.80 c 588s | 19 | 1352358 | 626582 | 14244 84 | 1297 | 315 641.69/641.84 c 590s | 19 | 1356719 | 628882 | 14244 84 | 1297 | 315 643.69/643.89 c 592s | 19 | 1361792 | 631282 | 14244 84 | 1297 | 315 645.79/645.92 c 594s | 19 | 1366121 | 633382 | 14244 85 | 1297 | 315 647.80/647.93 c 596s | 19 | 1370927 | 635682 | 14244 85 | 1297 | 315 649.79/649.96 c 598s | 19 | 1375530 | 638082 | 14244 85 | 1297 | 315 651.79/651.97 c 600s | 19 | 1380226 | 640482 | 14244 85 | 1297 | 315 653.89/654.04 c 602s | 19 | 1384267 | 642282 | 14244 86 | 1297 | 315 655.89/656.05 c 604s | 19 | 1388433 | 644382 | 14244 86 | 1297 | 315 657.99/658.12 c 607s | 19 | 1393754 | 646882 | 14244 86 | 1297 | 315 659.99/660.16 c 609s | 19 | 1398017 | 649082 | 14244 86 | 1297 | 315 662.10/662.22 c 611s | 19 | 1402420 | 650982 | 14244 87 | 1297 | 315 664.09/664.29 c 613s | 19 | 1408159 | 653382 | 14244 87 | 1297 | 315 666.19/666.33 c 615s | 19 | 1412877 | 655882 | 14244 87 | 1297 | 315 668.19/668.38 c 617s | 19 | 1416372 | 657582 | 14244 87 | 1297 | 315 670.29/670.40 c 619s | 19 | 1421204 | 659882 | 14244 88 | 1297 | 315 672.29/672.46 c 621s | 19 | 1426181 | 662382 | 14244 88 | 1297 | 315 674.30/674.48 c 623s | 19 | 1431124 | 664582 | 14244 88 | 1297 | 315 676.19/676.35 c 625s | 20 | 1435628 | 666827 | 14244 88 | 1297 | 315 678.19/678.37 c 627s | 20 | 1439557 | 667727 | 14244 89 | 1297 | 315 680.29/680.40 c 629s | 20 | 1444893 | 669727 | 14244 89 | 1297 | 315 682.29/682.42 c 631s | 20 | 1451158 | 672127 | 14244 89 | 1297 | 315 684.29/684.45 c 633s | 20 | 1454202 | 673427 | 14244 89 | 1297 | 315 686.40/686.51 c 635s | 20 | 1459803 | 676127 | 14244 90 | 1297 | 315 688.39/688.56 c 637s | 20 | 1465533 | 678527 | 14244 90 | 1297 | 315 690.49/690.63 c 639s | 20 | 1470911 | 680727 | 14244 90 | 1297 | 315 692.49/692.64 c 641s | 20 | 1476643 | 683327 | 14244 90 | 1297 | 315 694.49/694.66 c 643s | 20 | 1481795 | 685927 | 14244 91 | 1297 | 315 696.59/696.74 c 645s | 20 | 1487322 | 688127 | 14244 91 | 1297 | 315 698.69/698.82 c 647s | 20 | 1492601 | 690227 | 14244 91 | 1297 | 315 700.69/700.86 c 649s | 20 | 1496908 | 692427 | 14244 91 | 1297 | 315 702.69/702.86 c 651s | 20 | 1500817 | 694327 | 14244 92 | 1297 | 315 704.78/704.92 c 653s | 20 | 1506306 | 696627 | 14244 92 | 1297 | 315 706.88/707.01 c 655s | 20 | 1512660 | 699127 | 14244 92 | 1297 | 315 708.88/709.05 c 657s | 20 | 1517550 | 701227 | 14244 92 | 1297 | 315 710.98/711.13 c 660s | 20 | 1522994 | 703527 | 14244 93 | 1297 | 315 713.08/713.20 c 662s | 20 | 1527396 | 705227 | 14244 93 | 1297 | 315 715.08/715.23 c 664s | 20 | 1533844 | 707827 | 14244 93 | 1297 | 315 717.19/717.33 c 666s | 20 | 1538331 | 709827 | 14244 93 | 1297 | 315 719.29/719.41 c 668s | 20 | 1543103 | 711827 | 14244 94 | 1297 | 315 721.28/721.44 c 670s | 20 | 1548623 | 714327 | 14244 94 | 1297 | 315 723.38/723.52 c 672s | 20 | 1554151 | 716527 | 14244 94 | 1297 | 315 725.48/725.66 c 674s | 20 | 1559678 | 719027 | 14244 95 | 1297 | 315 727.58/727.74 c 676s | 20 | 1565329 | 721427 | 14244 95 | 1297 | 315 729.68/729.81 c 678s | 20 | 1570935 | 723827 | 14244 95 | 1297 | 315 731.68/731.84 c 680s | 20 | 1576111 | 726127 | 14244 95 | 1297 | 315 733.68/733.88 c 682s | 20 | 1581270 | 728027 | 14244 96 | 1297 | 315 735.78/735.98 c 684s | 20 | 1587739 | 730227 | 14244 96 | 1297 | 315 737.88/738.02 c 686s | 20 | 1594396 | 732427 | 14244 96 | 1297 | 315 739.88/740.07 c 688s | 20 | 1599524 | 734627 | 14244 96 | 1297 | 315 741.97/742.13 c 691s | 20 | 1604571 | 736827 | 14244 97 | 1297 | 315 743.97/744.16 c 693s | 20 | 1610549 | 739227 | 14244 97 | 1297 | 315 746.07/746.22 c 695s | 20 | 1615779 | 741527 | 14244 97 | 1297 | 315 748.07/748.24 c 697s | 20 | 1620576 | 743727 | 14244 97 | 1297 | 315 750.08/750.28 c 699s | 20 | 1625758 | 746027 | 14244 98 | 1297 | 315 752.17/752.35 c 701s | 20 | 1630685 | 748427 | 14244 98 | 1297 | 315 754.27/754.41 c 703s | 20 | 1636173 | 750727 | 14244 98 | 1297 | 315 756.27/756.48 c 705s | 20 | 1640716 | 752927 | 14244 98 | 1297 | 315 758.67/758.81 c 707s | 20 | 1643381 | 754327 | 14244 99 | 1297 | 315 760.67/760.82 c 709s | 20 | 1644758 | 754927 | 14244 99 | 1297 | 315 762.67/762.87 c 711s | 20 | 1649665 | 756827 | 14244 99 | 1297 | 315 764.77/764.97 c 713s | 20 | 1654214 | 758727 | 14244 99 | 1297 | 315 766.87/767.01 c 715s | 20 | 1658420 | 760427 | 14244 99 | 1297 | 315 768.97/769.11 c 717s | 20 | 1662653 | 762127 | 14244 100 | 1297 | 315 770.97/771.18 c 720s | 20 | 1667497 | 764327 | 14244 100 | 1297 | 315 773.06/773.20 c 722s | 20 | 1671954 | 766327 | 14244 100 | 1297 | 315 775.06/775.25 c 724s | 20 | 1676696 | 768327 | 14244 100 | 1297 | 315 777.06/777.28 c 726s | 20 | 1682524 | 770627 | 14244 100 | 1297 | 315 779.06/779.28 c 728s | 20 | 1687508 | 772427 | 14244 101 | 1297 | 315 781.16/781.30 c 730s | 20 | 1694557 | 775027 | 14244 101 | 1297 | 315 783.16/783.32 c 732s | 20 | 1700987 | 777527 | 14244 101 | 1297 | 315 785.45/785.64 c 734s | 20 | 1706150 | 779527 | 14244 102 | 1297 | 315 787.46/787.66 c 736s | 20 | 1711584 | 781727 | 14244 102 | 1297 | 315 789.45/789.67 c 738s | 20 | 1717972 | 784227 | 14244 102 | 1297 | 315 791.55/791.73 c 740s | 20 | 1723789 | 786627 | 14244 102 | 1297 | 315 793.65/793.86 c 742s | 20 | 1727943 | 788527 | 14244 103 | 1297 | 315 795.65/795.89 c 744s | 20 | 1734329 | 791227 | 14244 103 | 1297 | 315 797.76/797.94 c 746s | 20 | 1740415 | 793327 | 14244 103 | 1297 | 315 799.86/800.00 c 748s | 20 | 1745968 | 795327 | 14244 103 | 1297 | 315 801.86/802.01 c 750s | 20 | 1751676 | 797527 | 14244 104 | 1297 | 315 803.85/804.02 c 752s | 20 | 1757676 | 799927 | 14244 104 | 1297 | 315 805.85/806.05 c 754s | 20 | 1763043 | 802327 | 14244 104 | 1297 | 315 807.85/808.09 c 756s | 20 | 1768285 | 804327 | 14244 104 | 1297 | 315 809.95/810.12 c 759s | 20 | 1774245 | 806727 | 14244 105 | 1297 | 315 812.05/812.20 c 761s | 20 | 1779831 | 809427 | 14244 105 | 1297 | 315 814.05/814.22 c 763s | 20 | 1786456 | 812027 | 14244 105 | 1297 | 315 816.06/816.28 c 765s | 20 | 1790879 | 813827 | 14244 106 | 1297 | 315 818.15/818.33 c 767s | 20 | 1796633 | 816427 | 14244 106 | 1297 | 315 820.15/820.39 c 769s | 20 | 1801097 | 818427 | 14244 106 | 1297 | 315 822.25/822.47 c 771s | 20 | 1803950 | 819827 | 14244 106 | 1297 | 315 824.35/824.56 c 773s | 20 | 1807228 | 821227 | 14244 106 | 1297 | 315 826.45/826.60 c 775s | 20 | 1809930 | 822327 | 14244 106 | 1297 | 315 828.55/828.78 c 777s | 20 | 1812032 | 823527 | 14244 107 | 1297 | 315 830.74/830.90 c 779s | 20 | 1814284 | 824527 | 14244 107 | 1297 | 315 832.74/832.98 c 781s | 20 | 1816186 | 825427 | 14244 107 | 1297 | 315 834.85/835.03 c 783s | 20 | 1819799 | 826927 | 14244 107 | 1297 | 315 836.95/837.14 c 786s | 20 | 1824961 | 829127 | 14244 107 | 1297 | 315 838.94/839.15 c 788s | 20 | 1829423 | 830827 | 14244 107 | 1297 | 315 841.14/841.35 c 790s | 20 | 1833845 | 832627 | 14244 108 | 1297 | 315 843.24/843.43 c 792s | 20 | 1837646 | 834127 | 14244 108 | 1297 | 315 845.34/845.57 c 794s | 20 | 1841928 | 835927 | 14244 108 | 1297 | 315 847.54/847.70 c 796s | 20 | 1845506 | 837327 | 14244 108 | 1297 | 315 849.54/849.71 c 798s | 20 | 1849163 | 839127 | 14244 108 | 1297 | 315 851.54/851.77 c 800s | 20 | 1852150 | 840627 | 14244 109 | 1297 | 315 853.64/853.86 c 802s | 20 | 1855677 | 842227 | 14244 109 | 1297 | 315 855.74/855.93 c 804s | 20 | 1859070 | 843627 | 14244 109 | 1297 | 315 857.74/857.97 c 806s | 20 | 1863934 | 845427 | 14244 109 | 1297 | 315 859.83/860.04 c 808s | 20 | 1867828 | 847227 | 14244 109 | 1297 | 315 861.93/862.15 c 811s | 20 | 1871280 | 848927 | 14244 110 | 1297 | 315 863.93/864.17 c 813s | 20 | 1876414 | 851027 | 14244 110 | 1297 | 315 866.03/866.29 c 815s | 20 | 1879762 | 852427 | 14244 110 | 1297 | 315 868.13/868.32 c 817s | 20 | 1882721 | 853827 | 14244 110 | 1297 | 315 870.13/870.33 c 819s | 20 | 1887467 | 855727 | 14244 110 | 1297 | 315 872.32/872.57 c 821s | 20 | 1890712 | 856927 | 14244 111 | 1297 | 315 874.33/874.59 c 823s | 20 | 1895020 | 858527 | 14244 111 | 1297 | 315 876.42/876.67 c 825s | 20 | 1897861 | 860227 | 14244 111 | 1297 | 315 878.52/878.77 c 827s | 20 | 1901764 | 862327 | 14244 111 | 1297 | 315 880.52/880.80 c 829s | 20 | 1904236 | 863627 | 14244 111 | 1297 | 315 882.72/882.91 c 831s | 20 | 1907851 | 865327 | 14244 112 | 1297 | 315 884.72/884.92 c 833s | 20 | 1912510 | 867327 | 14244 112 | 1297 | 315 886.72/886.98 c 835s | 20 | 1915557 | 868527 | 14244 112 | 1297 | 315 888.82/889.08 c 837s | 20 | 1919939 | 870327 | 14244 112 | 1297 | 315 890.82/891.10 c 839s | 20 | 1923706 | 871727 | 14244 112 | 1297 | 315 892.91/893.19 c 842s | 20 | 1927432 | 873227 | 14244 112 | 1297 | 315 894.91/895.19 c 844s | 20 | 1930939 | 875027 | 14244 113 | 1297 | 315 897.11/897.39 c 846s | 20 | 1935314 | 876927 | 14244 113 | 1297 | 315 899.31/899.51 c 848s | 20 | 1938146 | 878227 | 14244 113 | 1297 | 315 901.31/901.52 c 850s | 20 | 1940336 | 879227 | 14244 113 | 1297 | 315 903.41/903.65 c 852s | 20 | 1945278 | 881527 | 14244 113 | 1297 | 315 905.51/905.71 c 854s | 20 | 1948640 | 883327 | 14244 114 | 1297 | 315 907.51/907.73 c 856s | 20 | 1953681 | 885727 | 14244 114 | 1297 | 315 909.52/909.75 c 858s | 20 | 1958594 | 887627 | 14244 114 | 1297 | 315 911.61/911.87 c 860s | 20 | 1963375 | 889427 | 14244 114 | 1297 | 315 913.81/914.09 c 862s | 20 | 1968273 | 891227 | 14244 115 | 1297 | 315 915.91/916.11 c 864s | 20 | 1973990 | 893427 | 14244 115 | 1297 | 315 918.01/918.23 c 867s | 20 | 1978870 | 895427 | 15669 115 | 1297 | 315 920.11/920.35 c 869s | 20 | 1983492 | 897227 | 15669 115 | 1297 | 315 922.20/922.46 c 871s | 20 | 1986927 | 898727 | 15669 115 | 1297 | 315 924.30/924.50 c 873s | 20 | 1991685 | 900727 | 15669 115 | 1297 | 315 926.30/926.57 c 875s | 20 | 1996430 | 902727 | 15669 116 | 1297 | 315 928.31/928.59 c 877s | 20 | 2000112 | 904427 | 15669 116 | 1297 | 315 930.41/930.65 c 879s | 20 | 2005149 | 906727 | 15669 116 | 1297 | 315 932.50/932.71 c 881s | 20 | 2009720 | 908827 | 15669 116 | 1297 | 315 934.60/934.87 c 883s | 20 | 2011509 | 909627 | 15669 116 | 1297 | 315 936.60/936.89 c 885s | 20 | 2016240 | 911327 | 15669 117 | 1297 | 315 938.70/938.94 c 887s | 20 | 2019777 | 912927 | 15669 117 | 1297 | 315 940.69/940.94 c 889s | 20 | 2022691 | 914227 | 15669 117 | 1297 | 315 942.69/942.99 c 891s | 20 | 2026314 | 915727 | 15669 117 | 1297 | 315 944.70/944.99 c 893s | 20 | 2030743 | 917427 | 15669 117 | 1297 | 315 946.90/947.13 c 896s | 20 | 2034639 | 919127 | 15669 117 | 1297 | 315 948.89/949.15 c 898s | 20 | 2037958 | 920627 | 15669 118 | 1297 | 315 950.99/951.27 c 900s | 20 | 2041223 | 922127 | 15669 118 | 1297 | 315 953.09/953.32 c 902s | 20 | 2043670 | 923327 | 15669 118 | 1297 | 315 955.09/955.32 c 904s | 20 | 2047315 | 924727 | 15669 118 | 1297 | 315 957.09/957.39 c 906s | 20 | 2051273 | 926127 | 15669 118 | 1297 | 315 959.19/959.46 c 908s | 20 | 2053758 | 927327 | 15669 118 | 1297 | 315 961.19/961.50 c 910s | 20 | 2056526 | 928527 | 15669 118 | 1297 | 315 963.28/963.52 c 912s | 20 | 2058998 | 929727 | 15669 119 | 1297 | 315 965.48/965.73 c 914s | 20 | 2062446 | 931227 | 15669 119 | 1297 | 315 967.58/967.80 c 916s | 20 | 2066912 | 933027 | 15669 119 | 1297 | 315 969.68/969.92 c 918s | 20 | 2071154 | 934727 | 15669 119 | 1297 | 315 971.67/971.97 c 920s | 20 | 2076016 | 936627 | 15669 119 | 1297 | 315 973.87/974.11 c 922s | 20 | 2080895 | 938427 | 15669 119 | 1297 | 315 975.87/976.14 c 925s | 20 | 2084805 | 940027 | 15669 120 | 1297 | 315 977.87/978.17 c 927s | 20 | 2089378 | 941827 | 15669 120 | 1297 | 315 979.88/980.19 c 929s | 20 | 2094335 | 943727 | 15669 120 | 1297 | 315 981.97/982.24 c 931s | 20 | 2098026 | 945227 | 15669 120 | 1297 | 315 984.07/984.31 c 933s | 20 | 2102046 | 946927 | 15669 120 | 1297 | 315 986.17/986.45 c 935s | 20 | 2105668 | 948327 | 15669 121 | 1297 | 315 988.17/988.46 c 937s | 20 | 2109300 | 949727 | 15669 121 | 1297 | 315 990.28/990.52 c 939s | 20 | 2113164 | 951527 | 15669 121 | 1297 | 315 992.37/992.66 c 941s | 20 | 2116659 | 953027 | 15669 121 | 1297 | 315 994.57/994.81 c 943s | 20 | 2118968 | 954127 | 15669 121 | 1297 | 315 996.57/996.83 c 945s | 20 | 2123376 | 955627 | 15669 121 | 1297 | 315 998.57/998.84 c 947s | 20 | 2126023 | 956827 | 15669 121 | 1297 | 315 1000.56/1000.85 c 949s | 20 | 2128935 | 958027 | 15669 122 | 1297 | 315 1002.56/1002.86 c 951s | 20 | 2132981 | 960027 | 15669 122 | 1297 | 315 1004.56/1004.86 c 953s | 20 | 2135800 | 961527 | 15669 122 | 1297 | 315 1006.56/1006.87 c 955s | 20 | 2139636 | 962927 | 15669 122 | 1297 | 315 1008.57/1008.89 c 957s | 20 | 2142348 | 964227 | 15669 122 | 1297 | 315 1010.76/1011.02 c 959s | 20 | 2145449 | 965527 | 15669 122 | 1297 | 315 1012.76/1013.03 c 961s | 20 | 2147858 | 966627 | 15669 123 | 1297 | 315 1014.85/1015.11 c 963s | 20 | 2152436 | 968627 | 15669 123 | 1297 | 315 1016.95/1017.25 c 966s | 20 | 2156024 | 970127 | 15669 123 | 1297 | 315 1019.05/1019.32 c 968s | 20 | 2159682 | 971627 | 15669 123 | 1297 | 315 1021.05/1021.34 c 970s | 20 | 2163635 | 973227 | 15669 123 | 1297 | 315 1023.15/1023.43 c 972s | 20 | 2167848 | 975027 | 15669 123 | 1297 | 315 1025.25/1025.52 c 974s | 20 | 2172135 | 976527 | 15669 124 | 1297 | 315 1027.34/1027.62 c 976s | 20 | 2176887 | 978227 | 15669 124 | 1297 | 315 1029.35/1029.66 c 978s | 20 | 2180061 | 979727 | 15669 124 | 1297 | 315 1031.44/1031.71 c 980s | 20 | 2185091 | 981727 | 15669 124 | 1297 | 315 1033.44/1033.78 c 982s | 20 | 2190026 | 983727 | 15669 124 | 1297 | 315 1035.74/1036.06 c 984s | 20 | 2192602 | 984927 | 15669 124 | 1297 | 315 1037.84/1038.16 c 987s | 20 | 2197024 | 987027 | 15669 125 | 1297 | 315 1040.04/1040.30 c 989s | 20 | 2200018 | 988527 | 15669 125 | 1297 | 315 1042.03/1042.34 c 991s | 20 | 2202473 | 989827 | 15669 125 | 1297 | 315 1044.03/1044.35 c 993s | 20 | 2205222 | 991227 | 15669 125 | 1297 | 315 1046.03/1046.37 c 995s | 20 | 2207949 | 992627 | 15669 125 | 1297 | 315 1048.73/1049.04 c 997s | 20 | 2210017 | 993827 | 15669 125 | 1297 | 315 1050.72/1051.06 c 999s | 20 | 2212350 | 995327 | 15669 126 | 1297 | 315 1052.72/1053.08 c 1001s | 20 | 2215459 | 997127 | 15669 126 | 1297 | 315 1054.82/1055.15 c 1004s | 20 | 2219072 | 998527 | 15669 126 | 1297 | 315 1057.02/1057.31 c 1006s | 20 | 2221314 | 999727 | 15669 126 | 1297 | 315 1058.32/1058.60 c 1007s | 21 | 2222547 | 1000345 | 15669 126 | 1297 | 315 1060.33/1060.61 c 1009s | 21 | 2225874 | 1001645 | 15669 126 | 1297 | 315 1062.34/1062.69 c 1011s | 21 | 2229562 | 1003145 | 15669 126 | 1297 | 315 1064.43/1064.76 c 1013s | 21 | 2233471 | 1004645 | 15669 127 | 1297 | 315 1066.43/1066.76 c 1015s | 21 | 2237602 | 1006445 | 15669 127 | 1297 | 315 1068.53/1068.80 c 1017s | 21 | 2242941 | 1008745 | 15669 127 | 1297 | 315 1070.53/1070.86 c 1019s | 21 | 2246885 | 1010345 | 15669 127 | 1297 | 315 1072.63/1072.92 c 1021s | 21 | 2250379 | 1011745 | 15669 127 | 1297 | 315 1074.63/1074.93 c 1023s | 21 | 2253191 | 1012745 | 15669 127 | 1297 | 315 1076.63/1076.98 c 1025s | 21 | 2256960 | 1014345 | 15669 128 | 1297 | 315 1078.73/1079.03 c 1027s | 21 | 2260549 | 1016145 | 15669 128 | 1297 | 315 1080.82/1081.11 c 1029s | 21 | 2265042 | 1017845 | 15669 128 | 1297 | 315 1082.92/1083.21 c 1032s | 21 | 2269883 | 1019445 | 15669 128 | 1297 | 315 1084.92/1085.23 c 1034s | 21 | 2273665 | 1020945 | 15669 128 | 1297 | 315 1087.02/1087.31 c 1036s | 21 | 2277277 | 1022645 | 15669 129 | 1297 | 315 1089.02/1089.33 c 1038s | 21 | 2281974 | 1024745 | 15669 129 | 1297 | 315 1091.03/1091.35 c 1040s | 21 | 2288005 | 1027345 | 15669 129 | 1297 | 315 1093.13/1093.45 c 1042s | 21 | 2292741 | 1029745 | 15669 129 | 1297 | 315 1095.12/1095.47 c 1044s | 21 | 2297153 | 1031645 | 15669 129 | 1297 | 315 1097.22/1097.55 c 1046s | 21 | 2301467 | 1033645 | 15669 130 | 1297 | 315 1099.32/1099.63 c 1048s | 21 | 2305503 | 1035445 | 15669 130 | 1297 | 315 1101.41/1101.71 c 1050s | 21 | 2309504 | 1037345 | 15669 130 | 1297 | 315 1103.51/1103.88 c 1052s | 21 | 2312460 | 1038945 | 15669 130 | 1297 | 315 1105.61/1105.91 c 1054s | 21 | 2316448 | 1040645 | 15669 130 | 1297 | 315 1107.71/1108.02 c 1056s | 21 | 2320494 | 1042145 | 15669 131 | 1297 | 315 1109.72/1110.10 c 1058s | 21 | 2325156 | 1044145 | 15669 131 | 1297 | 315 1111.81/1112.19 c 1061s | 21 | 2329034 | 1045945 | 15669 131 | 1297 | 315 1113.90/1114.29 c 1063s | 21 | 2332533 | 1047545 | 15669 131 | 1297 | 315 1116.10/1116.43 c 1065s | 21 | 2335631 | 1048945 | 15669 131 | 1297 | 315 1118.10/1118.45 c 1067s | 21 | 2338341 | 1050145 | 15669 131 | 1297 | 315 1120.20/1120.55 c 1069s | 21 | 2342296 | 1051745 | 15669 132 | 1297 | 315 1122.29/1122.63 c 1071s | 21 | 2346468 | 1053545 | 15669 132 | 1297 | 315 1124.29/1124.66 c 1073s | 21 | 2350628 | 1055545 | 15669 132 | 1297 | 315 1126.29/1126.68 c 1075s | 21 | 2352936 | 1056745 | 15669 132 | 1297 | 315 1128.40/1128.76 c 1077s | 21 | 2354995 | 1057845 | 15669 132 | 1297 | 315 1130.50/1130.83 c 1079s | 21 | 2359908 | 1060045 | 15669 133 | 1297 | 315 1132.59/1132.91 c 1081s | 21 | 2364168 | 1062245 | 15669 133 | 1297 | 315 1134.59/1134.98 c 1083s | 21 | 2368533 | 1064745 | 15669 133 | 1297 | 315 1136.69/1137.02 c 1085s | 21 | 2371359 | 1066145 | 15669 133 | 1297 | 315 1138.79/1139.16 c 1088s | 21 | 2373870 | 1067345 | 15669 133 | 1297 | 315 1140.88/1141.23 c 1090s | 21 | 2375900 | 1068345 | 15669 133 | 1297 | 315 1142.88/1143.28 c 1092s | 21 | 2379750 | 1070345 | 15669 134 | 1297 | 315 1144.98/1145.34 c 1094s | 21 | 2383521 | 1072045 | 15669 134 | 1297 | 315 1146.99/1147.34 c 1096s | 21 | 2385322 | 1072845 | 15669 134 | 1297 | 315 1149.08/1149.48 c 1098s | 21 | 2388893 | 1074345 | 15669 134 | 1297 | 315 1151.18/1151.51 c 1100s | 21 | 2393134 | 1076045 | 15669 134 | 1297 | 315 1153.18/1153.52 c 1102s | 21 | 2397705 | 1078145 | 15669 134 | 1297 | 315 1155.18/1155.56 c 1104s | 21 | 2401680 | 1080045 | 15669 135 | 1297 | 315 1157.18/1157.59 c 1106s | 21 | 2406036 | 1081845 | 15669 135 | 1297 | 315 1159.38/1159.73 c 1108s | 21 | 2409409 | 1083245 | 15669 135 | 1297 | 315 1161.47/1161.87 c 1110s | 21 | 2411904 | 1084445 | 15669 135 | 1297 | 315 1163.58/1163.94 c 1112s | 21 | 2414839 | 1085745 | 15669 135 | 1297 | 315 1165.68/1166.05 c 1114s | 21 | 2418215 | 1087245 | 15669 135 | 1297 | 315 1167.78/1168.18 c 1117s | 21 | 2421916 | 1088845 | 15669 136 | 1297 | 315 1169.88/1170.21 c 1119s | 21 | 2426397 | 1090645 | 15669 136 | 1297 | 315 1171.98/1172.35 c 1121s | 21 | 2429999 | 1092245 | 15669 136 | 1297 | 315 1173.98/1174.38 c 1123s | 21 | 2433770 | 1093745 | 15669 136 | 1297 | 315 1176.08/1176.44 c 1125s | 21 | 2437040 | 1095245 | 15669 136 | 1297 | 315 1178.17/1178.51 c 1127s | 21 | 2442052 | 1097245 | 15669 137 | 1297 | 315 1180.27/1180.63 c 1129s | 21 | 2447045 | 1099245 | 15669 137 | 1297 | 315 1182.37/1182.70 c 1131s | 21 | 2451881 | 1101145 | 15669 137 | 1297 | 315 1184.38/1184.75 c 1133s | 21 | 2455661 | 1102745 | 15669 137 | 1297 | 315 1186.37/1186.75 c 1135s | 21 | 2459870 | 1104645 | 15669 137 | 1297 | 315 1188.77/1189.13 c 1138s | 21 | 2462923 | 1106145 | 15669 137 | 1297 | 315 1190.76/1191.18 c 1140s | 21 | 2466387 | 1107745 | 15669 138 | 1297 | 315 1192.86/1193.25 c 1142s | 21 | 2470242 | 1109545 | 15669 138 | 1297 | 315 1194.96/1195.36 c 1144s | 21 | 2474713 | 1111645 | 15669 138 | 1297 | 315 1196.96/1197.37 c 1146s | 21 | 2478601 | 1113445 | 15669 138 | 1297 | 315 1199.16/1199.51 c 1148s | 21 | 2482660 | 1115445 | 15669 138 | 1297 | 315 1201.16/1201.53 c 1150s | 21 | 2485490 | 1116645 | 15669 139 | 1297 | 315 1203.16/1203.58 c 1152s | 21 | 2489658 | 1118445 | 15669 139 | 1297 | 315 1205.26/1205.65 c 1154s | 21 | 2494040 | 1120345 | 15669 139 | 1297 | 315 1207.66/1208.01 c 1156s | 21 | 2497572 | 1121845 | 15669 139 | 1297 | 315 1209.76/1210.14 c 1159s | 21 | 2499774 | 1122645 | 15669 139 | 1297 | 315 1211.85/1212.29 c 1161s | 21 | 2502815 | 1124045 | 15669 139 | 1297 | 315 1213.95/1214.39 c 1163s | 21 | 2505029 | 1125145 | 15669 139 | 1297 | 315 1216.14/1216.55 c 1165s | 21 | 2507537 | 1126345 | 15669 140 | 1297 | 315 1218.24/1218.68 c 1167s | 21 | 2512513 | 1128445 | 15669 140 | 1297 | 315 1220.34/1220.73 c 1169s | 21 | 2517048 | 1130445 | 15669 140 | 1297 | 315 1222.34/1222.78 c 1171s | 21 | 2521258 | 1132445 | 15669 140 | 1297 | 315 1224.44/1224.83 c 1173s | 21 | 2525704 | 1134545 | 15669 140 | 1297 | 315 1226.54/1226.99 c 1175s | 21 | 2529044 | 1136145 | 15669 141 | 1297 | 315 1228.64/1229.03 c 1177s | 21 | 2532577 | 1137945 | 15669 141 | 1297 | 315 1230.64/1231.05 c 1179s | 21 | 2536866 | 1139745 | 15669 141 | 1297 | 315 1232.74/1233.11 c 1181s | 21 | 2540566 | 1141645 | 15669 141 | 1297 | 315 1234.83/1235.20 c 1184s | 21 | 2544767 | 1143445 | 15669 141 | 1297 | 315 1236.93/1237.35 c 1186s | 21 | 2549075 | 1145245 | 15669 142 | 1297 | 315 1238.93/1239.38 c 1188s | 21 | 2553925 | 1147145 | 15669 142 | 1297 | 315 1241.04/1241.46 c 1190s | 21 | 2558628 | 1149145 | 15669 142 | 1297 | 315 1243.14/1243.50 c 1192s | 21 | 2563058 | 1151045 | 15669 142 | 1297 | 315 1245.24/1245.66 c 1194s | 21 | 2565378 | 1152345 | 15669 142 | 1297 | 315 1247.24/1247.67 c 1196s | 21 | 2567953 | 1153545 | 15669 143 | 1297 | 315 1249.24/1249.69 c 1198s | 21 | 2572982 | 1155445 | 15669 143 | 1297 | 315 1251.23/1251.69 c 1200s | 21 | 2577251 | 1157345 | 15669 143 | 1297 | 315 1253.33/1253.74 c 1202s | 21 | 2580873 | 1159045 | 15669 143 | 1297 | 315 1255.43/1255.81 c 1204s | 21 | 2584950 | 1160945 | 15669 143 | 1297 | 315 1257.43/1257.82 c 1206s | 21 | 2589164 | 1162745 | 15669 144 | 1297 | 315 1259.53/1259.92 c 1208s | 21 | 2592938 | 1164545 | 15669 144 | 1297 | 315 1261.73/1262.12 c 1211s | 21 | 2597392 | 1166345 | 15669 144 | 1297 | 315 1263.83/1264.22 c 1213s | 21 | 2600957 | 1168145 | 15669 144 | 1297 | 315 1265.84/1266.23 c 1215s | 21 | 2604918 | 1170145 | 15669 144 | 1297 | 315 1268.04/1268.41 c 1217s | 21 | 2608055 | 1171745 | 15669 144 | 1297 | 315 1270.03/1270.45 c 1219s | 21 | 2612524 | 1173645 | 15669 145 | 1297 | 315 1272.02/1272.45 c 1221s | 21 | 2616287 | 1175445 | 15669 145 | 1297 | 315 1274.22/1274.61 c 1223s | 21 | 2619341 | 1176845 | 15669 145 | 1297 | 315 1276.32/1276.72 c 1225s | 21 | 2622965 | 1178345 | 15669 145 | 1297 | 315 1278.42/1278.82 c 1227s | 21 | 2627122 | 1179945 | 15669 145 | 1297 | 315 1280.42/1280.87 c 1229s | 21 | 2631268 | 1181545 | 15669 146 | 1297 | 315 1282.42/1282.87 c 1231s | 21 | 2635722 | 1183345 | 15669 146 | 1297 | 315 1284.43/1284.89 c 1233s | 21 | 2640214 | 1185345 | 15669 146 | 1297 | 315 1286.52/1287.00 c 1235s | 21 | 2643444 | 1186845 | 15669 146 | 1297 | 315 1288.62/1289.09 c 1237s | 21 | 2647152 | 1188445 | 15669 146 | 1297 | 315 1290.71/1291.12 c 1240s | 21 | 2650862 | 1190045 | 15669 146 | 1297 | 315 1292.81/1293.21 c 1242s | 21 | 2654674 | 1191645 | 15669 147 | 1297 | 315 1294.91/1295.31 c 1244s | 21 | 2658064 | 1193145 | 15669 147 | 1297 | 315 1296.91/1297.32 c 1246s | 21 | 2661498 | 1194545 | 15669 147 | 1297 | 315 1299.11/1299.53 c 1248s | 21 | 2664799 | 1196045 | 15669 147 | 1297 | 315 1301.11/1301.58 c 1250s | 21 | 2667855 | 1197245 | 15669 147 | 1297 | 315 1303.21/1303.63 c 1252s | 21 | 2671092 | 1198845 | 15669 147 | 1297 | 315 1305.51/1305.90 c 1254s | 21 | 2674029 | 1200045 | 15669 148 | 1297 | 315 1307.51/1307.91 c 1256s | 21 | 2676055 | 1201145 | 15669 148 | 1297 | 315 1309.50/1309.94 c 1258s | 21 | 2679079 | 1202745 | 15669 148 | 1297 | 315 1311.60/1312.08 c 1260s | 21 | 2681755 | 1204045 | 15669 148 | 1297 | 315 1318.80/1319.20 c 1268s | 21 | 2684423 | 1205145 | 15669 148 | 1297 | 315 1320.80/1321.29 c 1270s | 21 | 2687713 | 1206445 | 15669 148 | 1297 | 315 1323.00/1323.41 c 1272s | 21 | 2691549 | 1207945 | 15669 148 | 1297 | 315 1324.99/1325.45 c 1274s | 21 | 2695064 | 1209545 | 15669 149 | 1297 | 315 1326.99/1327.48 c 1276s | 21 | 2699749 | 1211245 | 15669 149 | 1297 | 315 1329.09/1329.54 c 1278s | 21 | 2703593 | 1212645 | 15669 149 | 1297 | 315 1331.19/1331.61 c 1280s | 21 | 2706444 | 1213845 | 15669 149 | 1297 | 315 1333.19/1333.62 c 1282s | 21 | 2708928 | 1215045 | 15669 149 | 1297 | 315 1335.29/1335.70 c 1284s | 21 | 2712280 | 1216545 | 15669 149 | 1297 | 315 1337.38/1337.80 c 1286s | 21 | 2715069 | 1217845 | 15669 149 | 1297 | 315 1339.39/1339.90 c 1288s | 21 | 2717828 | 1219245 | 15669 150 | 1297 | 315 1341.49/1341.96 c 1290s | 21 | 2721188 | 1221045 | 15669 150 | 1297 | 315 1343.59/1344.02 c 1292s | 21 | 2724826 | 1222545 | 15669 150 | 1297 | 315 1345.59/1346.02 c 1294s | 21 | 2728088 | 1223945 | 15669 150 | 1297 | 315 1347.79/1348.21 c 1297s | 21 | 2731063 | 1225245 | 15669 150 | 1297 | 315 1349.79/1350.23 c 1299s | 21 | 2735121 | 1226845 | 15669 150 | 1297 | 315 1351.78/1352.25 c 1301s | 21 | 2737639 | 1227945 | 15669 151 | 1297 | 315 1353.79/1354.26 c 1303s | 21 | 2740098 | 1229545 | 15669 151 | 1297 | 315 1355.99/1356.42 c 1305s | 21 | 2743343 | 1230845 | 15669 151 | 1297 | 315 1358.19/1358.66 c 1307s | 21 | 2744880 | 1231545 | 15669 151 | 1297 | 315 1360.29/1360.79 c 1309s | 21 | 2747875 | 1232745 | 15669 151 | 1297 | 315 1362.49/1362.94 c 1311s | 21 | 2750210 | 1233845 | 15669 151 | 1297 | 315 1364.69/1365.11 c 1313s | 21 | 2753167 | 1234945 | 15669 151 | 1297 | 315 1366.78/1367.26 c 1316s | 21 | 2755218 | 1235845 | 15669 151 | 1297 | 315 1368.88/1369.40 c 1318s | 21 | 2757685 | 1236845 | 15669 151 | 1297 | 315 1371.08/1371.51 c 1320s | 21 | 2760757 | 1238145 | 15669 152 | 1297 | 315 1373.08/1373.52 c 1322s | 21 | 2763734 | 1239645 | 15669 152 | 1297 | 315 1375.18/1375.61 c 1324s | 21 | 2767134 | 1241045 | 15669 152 | 1297 | 315 1377.28/1377.76 c 1326s | 21 | 2769725 | 1242345 | 15669 152 | 1297 | 315 1379.28/1379.78 c 1328s | 21 | 2772198 | 1243645 | 15669 152 | 1297 | 315 1381.37/1381.85 c 1330s | 21 | 2775387 | 1245045 | 15669 152 | 1297 | 315 1383.48/1383.94 c 1332s | 21 | 2778097 | 1246445 | 15669 152 | 1297 | 315 1385.58/1386.04 c 1334s | 21 | 2780870 | 1247645 | 15669 153 | 1297 | 315 1387.67/1388.14 c 1337s | 21 | 2783763 | 1248945 | 15669 153 | 1297 | 315 1389.77/1390.25 c 1339s | 21 | 2787018 | 1250945 | 15669 153 | 1297 | 315 1391.87/1392.38 c 1341s | 21 | 2790152 | 1252545 | 15669 153 | 1297 | 315 1393.97/1394.48 c 1343s | 21 | 2793237 | 1253945 | 15669 153 | 1297 | 315 1396.07/1396.53 c 1345s | 21 | 2796643 | 1255545 | 15669 153 | 1297 | 315 1398.27/1398.71 c 1347s | 21 | 2800560 | 1257045 | 15669 154 | 1297 | 315 1400.27/1400.75 c 1349s | 21 | 2804107 | 1258545 | 15669 154 | 1297 | 315 1402.37/1402.87 c 1351s | 21 | 2807337 | 1259945 | 15669 154 | 1297 | 315 1404.86/1405.35 c 1354s | 21 | 2808354 | 1260345 | 15669 154 | 1297 | 315 1406.86/1407.36 c 1356s | 21 | 2811553 | 1261745 | 15669 154 | 1297 | 315 1408.96/1409.40 c 1358s | 21 | 2813834 | 1262945 | 15669 154 | 1297 | 315 1410.97/1411.42 c 1360s | 21 | 2818152 | 1264745 | 15669 154 | 1297 | 315 1412.96/1413.45 c 1362s | 21 | 2822705 | 1266645 | 15669 155 | 1297 | 315 1414.96/1415.49 c 1364s | 21 | 2826349 | 1268545 | 15669 155 | 1297 | 315 1417.16/1417.60 c 1366s | 21 | 2829724 | 1269945 | 15669 155 | 1297 | 315 1419.26/1419.74 c 1368s | 21 | 2833004 | 1271445 | 15669 155 | 1297 | 315 1421.36/1421.83 c 1370s | 21 | 2836349 | 1272945 | 15669 155 | 1297 | 315 1423.36/1423.89 c 1372s | 21 | 2838639 | 1274045 | 15669 155 | 1297 | 315 1425.46/1425.92 c 1374s | 21 | 2843512 | 1276245 | 15669 156 | 1297 | 315 1427.47/1427.98 c 1376s | 21 | 2848165 | 1278445 | 15669 156 | 1297 | 315 1429.57/1430.00 c 1378s | 21 | 2852244 | 1280145 | 15669 156 | 1297 | 315 1431.66/1432.12 c 1381s | 21 | 2855356 | 1281445 | 15669 156 | 1297 | 315 1433.76/1434.28 c 1383s | 21 | 2858872 | 1283145 | 15669 156 | 1297 | 315 1435.86/1436.39 c 1385s | 21 | 2862531 | 1284845 | 15669 157 | 1297 | 315 1438.06/1438.53 c 1387s | 21 | 2866678 | 1286745 | 15669 157 | 1297 | 315 1440.16/1440.68 c 1389s | 21 | 2868936 | 1288045 | 15669 157 | 1297 | 315 1442.26/1442.76 c 1391s | 21 | 2870628 | 1289045 | 15669 157 | 1297 | 315 1444.36/1444.81 c 1393s | 21 | 2872748 | 1290345 | 15669 157 | 1297 | 315 1446.46/1446.94 c 1395s | 21 | 2874670 | 1291645 | 15669 157 | 1297 | 315 1448.56/1449.08 c 1397s | 21 | 2876987 | 1292945 | 15669 157 | 1297 | 315 1450.66/1451.19 c 1400s | 21 | 2879522 | 1294345 | 15669 158 | 1297 | 315 1452.86/1453.33 c 1402s | 21 | 2881451 | 1295545 | 15669 158 | 1297 | 315 1454.86/1455.35 c 1404s | 21 | 2885099 | 1297445 | 15669 158 | 1297 | 315 1456.85/1457.36 c 1406s | 21 | 2888138 | 1299045 | 15669 158 | 1297 | 315 1458.95/1459.46 c 1408s | 21 | 2891070 | 1300445 | 15669 158 | 1297 | 315 1461.05/1461.54 c 1410s | 21 | 2893626 | 1301745 | 15669 158 | 1297 | 315 1463.15/1463.67 c 1412s | 21 | 2896037 | 1302945 | 15669 159 | 1297 | 315 1465.35/1465.82 c 1414s | 21 | 2898380 | 1303945 | 15669 159 | 1297 | 315 1467.35/1467.85 c 1416s | 21 | 2901983 | 1305645 | 15669 159 | 1297 | 315 1469.45/1469.95 c 1418s | 21 | 2904987 | 1307245 | 15669 159 | 1297 | 315 1471.46/1471.98 c 1420s | 21 | 2909396 | 1308945 | 15669 159 | 1297 | 315 1473.56/1474.03 c 1422s | 21 | 2912485 | 1310345 | 15669 159 | 1297 | 315 1475.65/1476.11 c 1424s | 21 | 2915546 | 1311645 | 15669 159 | 1297 | 315 1477.65/1478.18 c 1427s | 21 | 2917965 | 1312745 | 15669 160 | 1297 | 315 1479.75/1480.25 c 1429s | 21 | 2920756 | 1313945 | 15669 160 | 1297 | 315 1481.85/1482.38 c 1431s | 21 | 2922679 | 1314645 | 15669 160 | 1297 | 315 1483.85/1484.38 c 1433s | 21 | 2925502 | 1315845 | 15669 160 | 1297 | 315 1486.05/1486.51 c 1435s | 21 | 2927880 | 1316745 | 15669 160 | 1297 | 315 1488.15/1488.62 c 1437s | 21 | 2930114 | 1317745 | 15669 160 | 1297 | 315 1490.35/1490.80 c 1439s | 21 | 2932479 | 1318745 | 15669 160 | 1297 | 315 1492.36/1492.83 c 1441s | 21 | 2934359 | 1319545 | 15669 160 | 1297 | 315 1494.45/1494.99 c 1443s | 21 | 2936098 | 1320345 | 15669 160 | 1297 | 315 1496.55/1497.08 c 1445s | 21 | 2938109 | 1321245 | 15669 161 | 1297 | 315 1498.75/1499.29 c 1448s | 21 | 2940596 | 1322245 | 15669 161 | 1297 | 315 1500.85/1501.35 c 1450s | 21 | 2942764 | 1323145 | 15669 161 | 1297 | 315 1502.95/1503.44 c 1452s | 21 | 2945880 | 1324745 | 15669 161 | 1297 | 315 1504.95/1505.47 c 1454s | 21 | 2948893 | 1326245 | 15669 161 | 1297 | 315 1507.05/1507.54 c 1456s | 21 | 2951361 | 1327545 | 15669 161 | 1297 | 315 1509.15/1509.69 c 1458s | 21 | 2953226 | 1328345 | 15669 161 | 1297 | 315 1511.35/1511.82 c 1460s | 21 | 2955991 | 1329645 | 15669 161 | 1297 | 315 1513.35/1513.89 c 1462s | 21 | 2958432 | 1330645 | 15669 162 | 1297 | 315 1515.54/1516.08 c 1464s | 21 | 2961086 | 1331745 | 15669 162 | 1297 | 315 1517.74/1518.25 c 1467s | 21 | 2963306 | 1332645 | 15669 162 | 1297 | 315 1520.24/1520.74 c 1469s | 21 | 2965085 | 1333445 | 15669 162 | 1297 | 315 1522.24/1522.78 c 1471s | 21 | 2967914 | 1334645 | 15669 162 | 1297 | 315 1524.25/1524.79 c 1473s | 21 | 2970349 | 1335645 | 15669 162 | 1297 | 315 1526.35/1526.81 c 1475s | 21 | 2972525 | 1336545 | 15669 162 | 1297 | 315 1528.44/1528.92 c 1477s | 21 | 2974654 | 1337445 | 15669 162 | 1297 | 315 1530.54/1531.07 c 1479s | 21 | 2976747 | 1338345 | 15669 162 | 1297 | 315 1532.74/1533.24 c 1482s | 21 | 2978589 | 1339145 | 15669 162 | 1297 | 315 1534.84/1535.33 c 1484s | 21 | 2980205 | 1339845 | 15669 163 | 1297 | 315 1537.45/1537.96 c 1486s | 21 | 2980977 | 1340145 | 15669 163 | 1297 | 315 1539.55/1540.06 c 1488s | 21 | 2983878 | 1341345 | 15669 163 | 1297 | 315 1541.65/1542.10 c 1490s | 21 | 2986644 | 1342445 | 15669 163 | 1297 | 315 1543.65/1544.19 c 1493s | 21 | 2989446 | 1343645 | 15669 163 | 1297 | 315 1545.75/1546.22 c 1495s | 21 | 2992488 | 1344845 | 15669 163 | 1297 | 315 1547.75/1548.25 c 1497s | 21 | 2994894 | 1345945 | 15669 163 | 1297 | 315 1549.95/1550.40 c 1499s | 21 | 2997741 | 1347045 | 15669 163 | 1297 | 315 1552.04/1552.55 c 1501s | 21 | 2999956 | 1348045 | 15669 163 | 1297 | 315 1554.04/1554.55 c 1503s | 21 | 3002940 | 1349245 | 15669 163 | 1297 | 315 1556.05/1556.58 c 1505s | 21 | 3005715 | 1350345 | 15669 164 | 1297 | 315 1558.14/1558.65 c 1507s | 21 | 3008396 | 1351445 | 15669 164 | 1297 | 315 1560.24/1560.70 c 1509s | 21 | 3010442 | 1352445 | 15669 164 | 1297 | 315 1562.24/1562.75 c 1511s | 21 | 3012202 | 1353245 | 15669 164 | 1297 | 315 1564.24/1564.78 c 1513s | 21 | 3014705 | 1354345 | 15669 164 | 1297 | 315 1568.25/1568.76 c 1517s | 21 | 3016746 | 1355945 | 15669 164 | 1297 | 315 1570.24/1570.77 c 1519s | 21 | 3021801 | 1357745 | 15669 164 | 1297 | 315 1572.44/1572.98 c 1521s | 21 | 3023280 | 1358545 | 15669 165 | 1297 | 315 1574.44/1574.98 c 1523s | 21 | 3025711 | 1360145 | 15669 165 | 1297 | 315 1576.44/1576.99 c 1525s | 21 | 3028934 | 1361745 | 15669 165 | 1297 | 315 1578.64/1579.11 c 1527s | 21 | 3031420 | 1362845 | 15669 165 | 1297 | 315 1580.63/1581.19 c 1530s | 21 | 3033633 | 1364045 | 15669 165 | 1297 | 315 1582.73/1583.27 c 1532s | 21 | 3037015 | 1365545 | 15669 165 | 1297 | 315 1584.74/1585.29 c 1534s | 21 | 3040326 | 1367145 | 15669 165 | 1297 | 315 1586.84/1587.40 c 1536s | 21 | 3043772 | 1368645 | 15669 166 | 1297 | 315 1588.93/1589.46 c 1538s | 21 | 3046772 | 1369845 | 15669 166 | 1297 | 315 1590.93/1591.49 c 1540s | 21 | 3049394 | 1370945 | 15669 166 | 1297 | 315 1593.13/1593.61 c 1542s | 21 | 3052923 | 1372645 | 15669 166 | 1297 | 315 1595.13/1595.69 c 1544s | 21 | 3056893 | 1374245 | 15669 166 | 1297 | 315 1597.23/1597.74 c 1546s | 21 | 3059865 | 1375845 | 15669 166 | 1297 | 315 1599.43/1599.94 c 1548s | 21 | 3062860 | 1377345 | 15669 167 | 1297 | 315 1601.43/1601.98 c 1550s | 21 | 3068533 | 1379845 | 15669 167 | 1297 | 315 1603.83/1604.34 c 1553s | 21 | 3073321 | 1381845 | 15669 167 | 1297 | 315 1605.93/1606.42 c 1555s | 21 | 3077775 | 1383945 | 15669 167 | 1297 | 315 1607.93/1608.46 c 1557s | 21 | 3082105 | 1385845 | 15669 167 | 1297 | 315 1609.94/1610.47 c 1559s | 21 | 3085872 | 1387345 | 15669 168 | 1297 | 315 1612.14/1612.63 c 1561s | 21 | 3090965 | 1389345 | 15669 168 | 1297 | 315 1614.23/1614.72 c 1563s | 21 | 3094880 | 1391145 | 17236 168 | 1297 | 315 1616.33/1616.83 c 1565s | 21 | 3097541 | 1392245 | 17236 168 | 1297 | 315 1618.43/1618.95 c 1567s | 21 | 3101242 | 1393745 | 17236 168 | 1297 | 315 1620.53/1621.08 c 1569s | 21 | 3105247 | 1395345 | 17236 168 | 1297 | 315 1622.63/1623.10 c 1571s | 21 | 3109143 | 1397145 | 17236 168 | 1297 | 315 1624.63/1625.18 c 1574s | 21 | 3112685 | 1398745 | 17236 169 | 1297 | 315 1626.73/1627.23 c 1576s | 21 | 3115252 | 1399845 | 17236 169 | 1297 | 315 1628.83/1629.30 c 1578s | 21 | 3118227 | 1401145 | 17236 169 | 1297 | 315 1630.84/1631.30 c 1580s | 21 | 3121129 | 1402545 | 17236 169 | 1297 | 315 1632.83/1633.33 c 1582s | 21 | 3123883 | 1403845 | 17236 169 | 1297 | 315 1634.83/1635.34 c 1584s | 21 | 3125959 | 1404745 | 17236 169 | 1297 | 315 1637.03/1637.58 c 1586s | 21 | 3128032 | 1405745 | 17236 169 | 1297 | 315 1639.23/1639.74 c 1588s | 21 | 3129682 | 1406545 | 17236 169 | 1297 | 315 1641.33/1641.83 c 1590s | 21 | 3132147 | 1407745 | 17236 170 | 1297 | 315 1643.43/1643.92 c 1592s | 21 | 3136206 | 1409945 | 17236 170 | 1297 | 315 1645.53/1646.03 c 1594s | 21 | 3140666 | 1411945 | 17236 170 | 1297 | 315 1647.53/1648.03 c 1596s | 21 | 3144403 | 1413445 | 17236 170 | 1297 | 315 1649.63/1650.18 c 1599s | 21 | 3148291 | 1415145 | 17236 170 | 1297 | 315 1651.73/1652.23 c 1601s | 21 | 3151047 | 1416545 | 17236 170 | 1297 | 315 1653.83/1654.35 c 1603s | 21 | 3154337 | 1417845 | 17236 171 | 1297 | 315 1656.03/1656.52 c 1605s | 21 | 3158379 | 1419445 | 17236 171 | 1297 | 315 1658.03/1658.53 c 1607s | 21 | 3160758 | 1420645 | 17236 171 | 1297 | 315 1660.02/1660.57 c 1609s | 21 | 3163905 | 1422045 | 17236 171 | 1297 | 315 1662.22/1662.72 c 1611s | 21 | 3167053 | 1423445 | 17236 171 | 1297 | 315 1664.22/1664.79 c 1613s | 21 | 3169928 | 1424945 | 17236 171 | 1297 | 315 1666.52/1667.05 c 1615s | 21 | 3173283 | 1426545 | 17236 171 | 1297 | 315 1668.52/1669.09 c 1617s | 21 | 3175877 | 1427845 | 17236 172 | 1297 | 315 1670.62/1671.13 c 1620s | 21 | 3178090 | 1428945 | 17236 172 | 1297 | 315 1672.63/1673.19 c 1622s | 21 | 3180411 | 1430245 | 17236 172 | 1297 | 315 1674.72/1675.27 c 1624s | 21 | 3184579 | 1431745 | 17236 172 | 1297 | 315 1676.82/1677.39 c 1626s | 21 | 3188399 | 1433545 | 17236 172 | 1297 | 315 1678.92/1679.47 c 1628s | 21 | 3192276 | 1435545 | 17236 172 | 1297 | 315 1681.02/1681.55 c 1630s | 21 | 3196930 | 1437545 | 17236 172 | 1297 | 315 1683.12/1683.60 c 1632s | 21 | 3199289 | 1438645 | 17236 173 | 1297 | 315 1685.12/1685.68 c 1634s | 21 | 3203954 | 1440745 | 17236 173 | 1297 | 315 1687.22/1687.76 c 1636s | 21 | 3208097 | 1442545 | 17236 173 | 1297 | 315 1689.32/1689.80 c 1638s | 21 | 3212117 | 1444145 | 17236 173 | 1297 | 315 1691.42/1691.93 c 1640s | 21 | 3216618 | 1445845 | 17236 173 | 1297 | 315 1693.42/1693.94 c 1642s | 21 | 3219626 | 1447045 | 17236 173 | 1297 | 315 1695.42/1695.99 c 1644s | 21 | 3221868 | 1448145 | 17236 174 | 1297 | 315 1697.51/1698.04 c 1646s | 21 | 3225057 | 1449345 | 17236 174 | 1297 | 315 1699.51/1700.09 c 1648s | 21 | 3229440 | 1451245 | 17236 174 | 1297 | 315 1701.51/1702.09 c 1650s | 21 | 3234248 | 1453245 | 17236 174 | 1297 | 315 1703.61/1704.12 c 1653s | 21 | 3237487 | 1454845 | 17236 174 | 1297 | 315 1705.72/1706.29 c 1655s | 21 | 3239629 | 1455945 | 17236 174 | 1297 | 315 1707.92/1708.44 c 1657s | 21 | 3243282 | 1457345 | 17236 174 | 1297 | 315 1709.91/1710.49 c 1659s | 21 | 3246728 | 1458745 | 17236 175 | 1297 | 315 1712.01/1712.60 c 1661s | 21 | 3250254 | 1460545 | 17236 175 | 1297 | 315 1714.21/1714.77 c 1663s | 21 | 3253657 | 1462045 | 17236 175 | 1297 | 315 1716.32/1716.85 c 1665s | 21 | 3255529 | 1463145 | 17236 175 | 1297 | 315 1718.32/1718.87 c 1667s | 21 | 3257675 | 1464245 | 17236 175 | 1297 | 315 1720.52/1721.02 c 1669s | 21 | 3260942 | 1465645 | 17236 175 | 1297 | 315 1722.62/1723.14 c 1672s | 21 | 3263637 | 1467045 | 17236 175 | 1297 | 315 1726.32/1726.82 c 1675s | 21 | 3266359 | 1468345 | 17236 176 | 1297 | 315 1728.42/1728.91 c 1677s | 21 | 3271208 | 1470545 | 17236 176 | 1297 | 315 1730.42/1730.98 c 1679s | 21 | 3275489 | 1472545 | 17236 176 | 1297 | 315 1732.52/1733.08 c 1681s | 21 | 3279097 | 1474645 | 17236 176 | 1297 | 315 1734.52/1735.08 c 1683s | 21 | 3282385 | 1476345 | 17236 176 | 1297 | 315 1736.62/1737.13 c 1686s | 21 | 3285942 | 1478145 | 17236 176 | 1297 | 315 1738.72/1739.22 c 1688s | 21 | 3288810 | 1479545 | 17236 177 | 1297 | 315 1740.71/1741.26 c 1690s | 21 | 3292172 | 1481245 | 17236 177 | 1297 | 315 1742.81/1743.33 c 1692s | 21 | 3295581 | 1482945 | 17236 177 | 1297 | 315 1744.81/1745.39 c 1694s | 21 | 3298658 | 1484545 | 17236 177 | 1297 | 315 1747.01/1747.54 c 1696s | 21 | 3301442 | 1486145 | 17236 177 | 1297 | 315 1749.11/1749.64 c 1698s | 21 | 3304266 | 1487445 | 17236 177 | 1297 | 315 1751.11/1751.65 c 1700s | 21 | 3306514 | 1488445 | 17236 178 | 1297 | 315 1753.11/1753.67 c 1702s | 21 | 3309571 | 1489945 | 17236 178 | 1297 | 315 1755.22/1755.75 c 1704s | 21 | 3312333 | 1491245 | 17236 178 | 1297 | 315 1757.32/1757.80 c 1706s | 21 | 3316448 | 1493245 | 17236 178 | 1297 | 315 1759.41/1759.90 c 1708s | 21 | 3320546 | 1495245 | 17236 178 | 1297 | 315 1761.51/1762.09 c 1710s | 21 | 3324134 | 1496845 | 17236 178 | 1297 | 315 1764.21/1764.75 c 1713s | 21 | 3327917 | 1498645 | 17236 179 | 1297 | 315 1766.22/1766.76 c 1715s | 22 | 3332115 | 1500622 | 17236 179 | 1297 | 315 1768.31/1768.80 c 1717s | 22 | 3336059 | 1502122 | 17236 179 | 1297 | 315 1770.31/1770.83 c 1719s | 22 | 3340703 | 1504522 | 17236 179 | 1297 | 315 1772.31/1772.86 c 1721s | 22 | 3344929 | 1506822 | 17236 179 | 1297 | 315 1774.41/1774.91 c 1723s | 22 | 3349355 | 1508922 | 17236 180 | 1297 | 315 1776.41/1776.96 c 1725s | 22 | 3354379 | 1511122 | 17236 180 | 1297 | 315 1778.41/1778.98 c 1727s | 22 | 3360203 | 1513622 | 17236 180 | 1297 | 315 1780.41/1780.99 c 1729s | 22 | 3365167 | 1515922 | 17236 180 | 1297 | 315 1782.51/1783.04 c 1731s | 22 | 3370152 | 1518122 | 17236 180 | 1297 | 315 1784.60/1785.13 c 1734s | 22 | 3374081 | 1520022 | 17236 181 | 1297 | 315 1786.60/1787.13 c 1736s | 22 | 3377855 | 1521822 | 17236 181 | 1297 | 315 1788.70/1789.21 c 1738s | 22 | 3382576 | 1524022 | 17236 181 | 1297 | 315 1790.70/1791.23 c 1740s | 22 | 3386688 | 1526022 | 17236 181 | 1297 | 315 1792.70/1793.24 c 1742s | 22 | 3390579 | 1527822 | 17236 181 | 1297 | 315 1794.90/1795.48 c 1744s | 22 | 3394096 | 1529522 | 17236 182 | 1297 | 315 1797.01/1797.54 c 1746s | 22 | 3398980 | 1531422 | 17236 182 | 1297 | 315 1799.11/1799.63 c 1748s | 22 | 3404696 | 1533722 | 17236 182 | 1297 | 315
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-4101977-1466228347/watcher-4101977-1466228347 -o /tmp/evaluation-result-4101977-1466228347/solver-4101977-1466228347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101977-1466228347.opb pid=18314 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.39 2.30 2.21 4/179 18317 /proc/meminfo: memFree=29232440/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=697924 CPUtime=0 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 2603 0 0 0 0 0 0 0 20 0 4 0 24883388 714674176 2964 33554432000 4194304 16246674 140734566385712 140734566385136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 175249 2973 442 2943 0 172143 0 [pid=18317/tid=18318] ppid=18314 vsize=715332 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 732499968 3032 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=720452 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 737742848 3049 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=723524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 740888576 3064 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10013 s] /proc/loadavg: 2.39 2.30 2.21 4/179 18317 /proc/meminfo: memFree=29232440/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 31864 0 0 0 5 4 0 0 20 0 4 0 24883388 1247350784 32217 33554432000 4194304 16246674 140734566385712 140734566368704 12449273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 304529 32231 660 2943 0 301423 0 [pid=18317/tid=18318] ppid=18314 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1247350784 32242 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1247350784 32251 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1247350784 32259 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1218116 [startup+0.200527 s] /proc/loadavg: 2.39 2.30 2.21 4/179 18317 /proc/meminfo: memFree=29232440/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1224260 CPUtime=0.19 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 57958 0 0 0 12 7 0 0 20 0 4 0 24883388 1253642240 58284 33554432000 4194304 16246674 140734566385712 140734566385024 5996544 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 306065 58284 823 2943 0 302959 0 [pid=18317/tid=18318] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58284 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58284 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58284 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1224260 [startup+0.300517 s] /proc/loadavg: 2.39 2.30 2.21 4/179 18317 /proc/meminfo: memFree=29232440/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1224260 CPUtime=0.29 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 57962 0 0 0 22 7 0 0 20 0 4 0 24883388 1253642240 58288 33554432000 4194304 16246674 140734566385712 140734566385024 12415766 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 306065 58288 823 2943 0 302959 0 [pid=18317/tid=18318] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58288 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58288 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1224260 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1253642240 58288 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1224260 [startup+0.700419 s] /proc/loadavg: 2.39 2.30 2.21 4/179 18317 /proc/meminfo: memFree=29232440/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 69927 0 0 0 60 9 0 0 20 0 4 0 24883388 1338576896 70253 33554432000 4194304 16246674 140734566385712 140734566385024 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 326801 70253 843 2943 0 323695 0 [pid=18317/tid=18318] ppid=18314 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1338576896 70253 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1338576896 70253 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1338576896 70253 33554432000 4194304 16246674 140734566385712 140565555440816 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.44 2.31 2.22 4/183 18321 /proc/meminfo: memFree=28917252/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1308228 CPUtime=1.49 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 78896 0 0 0 138 11 0 0 20 0 4 0 24883388 1339625472 79222 33554432000 4194304 16246674 140734566385712 140734566367616 4220888 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 327057 79222 849 2943 0 323951 0 [pid=18317/tid=18318] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 79222 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 79222 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 79222 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1308228 [startup+3.10043 s] /proc/loadavg: 2.44 2.31 2.22 4/183 18321 /proc/meminfo: memFree=28915888/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 120312 0 0 0 293 16 0 0 20 0 4 0 24883388 1339625472 120638 33554432000 4194304 16246674 140734566385712 140734566367616 5673965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 327057 120638 850 2943 0 323951 0 [pid=18317/tid=18318] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 120638 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 120638 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 120638 33554432000 4194304 16246674 140734566385712 140565555440816 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.30043 s] /proc/loadavg: 2.44 2.31 2.22 3/183 18321 /proc/meminfo: memFree=28159296/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 268147 0 0 0 594 35 0 0 20 0 4 0 24883388 1339625472 268473 33554432000 4194304 16246674 140734566385712 140734566367616 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 327057 268473 852 2943 0 323951 0 [pid=18317/tid=18318] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 268473 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 268473 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1339625472 268473 33554432000 4194304 16246674 140734566385712 140565555440816 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.37 2.30 2.21 3/183 18321 /proc/meminfo: memFree=28159308/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1321540 CPUtime=12.69 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 271357 0 0 0 1234 35 0 0 20 0 4 0 24883388 1353256960 271683 33554432000 4194304 16246674 140734566385712 140734566367616 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 330385 271683 855 2943 0 327279 0 [pid=18317/tid=18318] ppid=18314 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1353256960 271683 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1353256960 271683 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1353256960 271683 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1321540 [startup+25.5005 s] /proc/loadavg: 2.39 2.31 2.22 3/183 18321 /proc/meminfo: memFree=28145464/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1322564 CPUtime=25.49 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 271734 0 0 0 2513 36 0 0 20 0 4 0 24883388 1354305536 272060 33554432000 4194304 16246674 140734566385712 140734566367616 5545988 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 330641 272060 855 2943 0 327535 0 [pid=18317/tid=18318] ppid=18314 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1354305536 272060 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1354305536 272060 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1354305536 272060 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1322564 [startup+51.1005 s] /proc/loadavg: 2.33 2.30 2.22 3/183 18322 /proc/meminfo: memFree=28131352/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1334852 CPUtime=51.08 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 274806 0 0 0 5072 36 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140734566367616 13928280 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 333713 275132 855 2943 0 330607 0 [pid=18317/tid=18318] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1334852 [startup+102.301 s] /proc/loadavg: 2.30 2.29 2.22 3/184 18326 /proc/meminfo: memFree=28130964/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1334852 CPUtime=102.28 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 274806 0 0 0 10192 36 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140734566384808 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 333713 275132 855 2943 0 330607 0 [pid=18317/tid=18318] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1366888448 275132 33554432000 4194304 16246674 140734566385712 140565555440816 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) 1334852 ################ # More data... # ################ /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282556 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1363524 [startup+1362.3 s] /proc/loadavg: 2.23 2.26 2.21 3/184 18429 /proc/meminfo: memFree=28077152/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1361.88 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282314 0 0 0 136139 49 0 0 20 0 4 0 24883388 1396248576 282556 33554432000 4194304 16246674 140734566385712 140734566367616 5711688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282556 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282556 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282556 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282556 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1363524 [startup+1422.3 s] /proc/loadavg: 2.14 2.23 2.20 3/183 18430 /proc/meminfo: memFree=28077328/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1421.87 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 142138 49 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 6836345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1363524 [startup+1482.3 s] /proc/loadavg: 2.15 2.21 2.19 4/183 18431 /proc/meminfo: memFree=28076588/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1481.85 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 148136 49 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1363524 [startup+1542.31 s] /proc/loadavg: 2.21 2.21 2.19 3/183 18432 /proc/meminfo: memFree=28076744/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1541.85 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 154135 50 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1363524 [startup+1602.3 s] /proc/loadavg: 2.19 2.20 2.18 3/183 18434 /proc/meminfo: memFree=28076532/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1601.83 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 160133 50 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5661226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1363524 [startup+1662.3 s] /proc/loadavg: 2.11 2.18 2.18 3/183 18435 /proc/meminfo: memFree=28053504/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1661.82 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 166131 51 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1363524 [startup+1722.3 s] /proc/loadavg: 2.30 2.22 2.19 3/183 18436 /proc/meminfo: memFree=28053536/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1721.82 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 172130 52 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5721571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1363524 [startup+1782.3 s] /proc/loadavg: 2.27 2.22 2.19 4/183 18437 /proc/meminfo: memFree=28053320/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1781.81 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 178129 52 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5754664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1363524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.21 2.21 2.18 3/183 18437 /proc/meminfo: memFree=28053180/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1800 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 179948 52 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5711326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1363524 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 18317 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.21 2.21 2.18 3/183 18437 /proc/meminfo: memFree=28053180/32872528 swapFree=1431120/1543540 [pid=18317] ppid=18314 vsize=1363524 CPUtime=1800 cores=1,3,5,7 /proc/18317/stat : 18317 (toysat) R 18314 18317 15180 0 -1 4202496 282326 0 0 0 179948 52 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140734566367616 5711326 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18317/statm: 340881 282564 855 2943 0 337775 0 [pid=18317/tid=18318] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18318/stat : 18318 (toysat) S 18314 18317 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565652942064 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18317/tid=18319] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18319/stat : 18319 (toysat) S 18314 18317 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565642452208 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18317/tid=18320] ppid=18314 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/18317/task/18320/stat : 18320 (toysat) S 18314 18317 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24883388 1396248576 282564 33554432000 4194304 16246674 140734566385712 140565555440816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1363524 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.49 CPU system time (s): 0.527919 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1363524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.527919 maximum resident set size= 1130256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282326 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= 367 involuntary context switches= 1867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45332 second user time and 7.07992 second system time The end
Begin job on node116 at 2016-06-18 07:39:07 IDJOB=4101977 IDBENCH=1831 IDSOLVER=2542 FILE ID=node116/4101977-1466228347 RUNJOBID= node116-1466206094-15197 PBS_JOBID= 19918160 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-qnet1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101977-1466228347/watcher-4101977-1466228347 -o /tmp/evaluation-result-4101977-1466228347/solver-4101977-1466228347 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101977-1466228347.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5b00f1ae7deac89a36da7a8be4b1f6d RANDOM SEED=1780399967 node116.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.781 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.56 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.781 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.781 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.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.781 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.54 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.781 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.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29232968 kB Buffers: 124376 kB Cached: 130508 kB SwapCached: 2160 kB Active: 1198632 kB Inactive: 158424 kB Active(anon): 1102908 kB Inactive(anon): 1544 kB Active(file): 95724 kB Inactive(file): 156880 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 16312 kB Writeback: 0 kB AnonPages: 2644796 kB Mapped: 10836 kB Shmem: 0 kB Slab: 604092 kB SReclaimable: 48052 kB SUnreclaim: 556040 kB KernelStack: 1448 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2787272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 71692 MiB End job on node116 at 2016-06-18 08:09:07