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.03 | 1800.51 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-sporttournament10.lin.opb |
| MD5SUM | d39ecb47a49cea79af0e20621b5b8062 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -22 |
| Best CPU time to get the best result obtained on this benchmark | 0.010997 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 125 |
| Total number of constraints | 160 |
| Number of constraints which are clauses | 80 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 80 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 118 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 118 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-29T23:40:00+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-4118979-1467236399.opb"] 0.00/0.01 c use --random-gen="2318061794 2032527582 884883786 2015615081 3109890163 3936213698 931540427 1987870778 926252462 1237356519 2095156275 138576428 2261047520 2309064032 447640648 4064140324 3786315257 3340239426 752581784 2165341674 590745143 4092658954 3431162146 1539084884 449080426 1183209915 1461168083 3372776535 1630790429 2391885119 3219206131 1889648481 2332794746 2676522651 1359264512 4180877991 4112171330 215658562 545004668 541370238 264590316 190885875 2157249384 2950092948 2085747359 3784884803 2497475476 1971378225 2981888297 1601977766 2666313069 3020040484 3583515085 3977456192 1519203626 1127237669 3256018155 4286065379 3024663811 4225541978 297035435 1023809780 480210049 1776095595 3259217792 1689961185 279844437 2923155240 2563875283 3101020716 3910800468 3517878672 3222614502 2281369059 926815858 3399432355 4271894789 2001527245 4178522228 2245647680 3426381607 4044174434 2813074395 1754899394 1726747226 4273261674 993392323 539597685 1080751678 2653673217 1474866799 705637988 2432655459 948763261 1060781759 4243248541 1232609041 652698046 3288443228 258428306 3048485455 1490008750 3088097588 2653979514 2100691497 1910087725 937024615 694453943 2270713407 1111852568 2064072917 1709903092 3478261376 534470396 152103266 1745996248 3821641648 1132377911 118347740 58395014 3565013519 2960494961 1336427736 708627265 1094022290 655630317 3684283080 2391456795 3990474911 1312074988 3788256833 266835423 1957043119 942701264 2978834188 3695293989 3099765368 2496205748 1518756348 1940548891 3083462454 1455565267 1087267374 3510095099 3248811514 4023634261 924534349 2017351812 1079270930 2301575120 2607258246 901169593 2227219857 2483592464 1126528111 2563639213 1562545368 3919015122 2038287619 4180389534 1780385509 4103997098 3271920142 1606863655 346809371 1442544939 3357581674 2381793415 1995612188 64368167 2762047577 2319532029 385470127 741198846 58271122 1714074512 3097991052 1993543153 4294929969 1915301799 2055618402 4072505071 51322339 2628749979 1561955736 2878442092 292302969 1390264406 1734617587 2718164110 2389986941 3463253823 2901680176 3711184830 1808631623 2523026807 2683756842 2457746852 3769068802 2408140362 1245220419 1029018794 3895478216 190970477 990373654 721241682 3239348377 1460885144 2272859915 2325918994 190923979 335151972 2814610419 3307441885 1354847383 186771097 4198983062 2149278550 2625248609 3813945280 842914295 1114685329 1778865852 1268418650 757356390 2447455352 2303060564 1474669060 43447387 3596947889 1036243620 4163175399 3100726626 2614321717 2057466733 79729628 3478577591 1770959448 3696711006 2364671915 67491872 596317452 566774631 1254952926 3568244996 4102737257 1736316645 3652278641 1797996534 3605544419 822376308 4278559008 1469193243 3005683834 1896574551 1507388028 255 362436" option to reproduce the execution 0.00/0.01 c #vars 125 0.00/0.01 c #constraints 160 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 95 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 39 | 0 | 95 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 39 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 0 0.00/0.01 c BCD2: updating upper bound: 118 -> 58 0.00/0.02 c BCD2: 0 <= obj <= 58 0.00/0.02 c BCD2: #cores=0, #unrelaxed=112, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 0 | 0 0.00/0.02 c 0.0s | 0 | 61 | 0 | 95 0 | 0 | 0 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 61 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -58 0.00/0.02 c BCD2: 1 <= obj <= 58 0.00/0.02 c BCD2: #cores=1, #unrelaxed=109, #relaxed=3, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 0 | 1 0.00/0.02 c 0.0s | 0 | 63 | 0 | 95 0 | 0 | 1 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 63 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -57 0.00/0.02 c BCD2: 2 <= obj <= 58 0.00/0.02 c BCD2: #cores=2, #unrelaxed=106, #relaxed=6, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 0 | 2 0.00/0.02 c 0.0s | 0 | 61 | 0 | 95 0 | 0 | 2 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 61 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -56 0.00/0.02 c BCD2: 3 <= obj <= 58 0.00/0.02 c BCD2: #cores=2, #unrelaxed=104, #relaxed=8, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 1 | 2 0.00/0.02 c 0.0s | 0 | 61 | 0 | 95 0 | 1 | 3 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 61 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -55 0.00/0.02 c BCD2: 4 <= obj <= 58 0.00/0.02 c BCD2: #cores=3, #unrelaxed=101, #relaxed=11, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 1 | 4 0.00/0.02 c 0.0s | 0 | 60 | 0 | 95 0 | 1 | 4 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 60 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -54 0.00/0.02 c BCD2: 5 <= obj <= 58 0.00/0.02 c BCD2: #cores=3, #unrelaxed=99, #relaxed=13, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 2 | 4 0.00/0.02 c 0.0s | 0 | 60 | 0 | 95 0 | 2 | 5 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 60 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 9: cost of the new core is >=3 0.00/0.02 c lower bound updated to -53 0.00/0.02 c BCD2: 6 <= obj <= 58 0.00/0.02 c BCD2: #cores=3, #unrelaxed=95, #relaxed=17, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 3 | 5 0.00/0.02 c 0.0s | 0 | 57 | 0 | 95 0 | 3 | 6 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -52 0.00/0.02 c BCD2: 7 <= obj <= 58 0.00/0.02 c BCD2: #cores=4, #unrelaxed=92, #relaxed=20, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=8 bias=8/9 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 3 | 7 0.00/0.02 c 0.0s | 0 | 56 | 0 | 95 0 | 3 | 7 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 56 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -51 0.00/0.02 c BCD2: 8 <= obj <= 58 0.00/0.02 c BCD2: #cores=4, #unrelaxed=90, #relaxed=22, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=9 bias=9/10 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 4 | 7 0.00/0.02 c 0.0s | 0 | 57 | 0 | 95 0 | 4 | 8 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 57 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -50 0.00/0.02 c BCD2: 9 <= obj <= 58 0.00/0.02 c BCD2: #cores=5, #unrelaxed=87, #relaxed=25, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=10 bias=10/11 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 4 | 9 0.00/0.02 c 0.0s | 0 | 56 | 0 | 95 0 | 4 | 9 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 56 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.02 c lower bound updated to -49 0.00/0.02 c BCD2: 10 <= obj <= 58 0.00/0.02 c BCD2: #cores=6, #unrelaxed=84, #relaxed=28, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=11 bias=11/12 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 95 0 | 4 | 10 0.00/0.02 c 0.0s | 0 | 54 | 0 | 95 0 | 4 | 10 0.00/0.02 c #cpu_time = 0.000s 0.00/0.02 c #wall_clock_time = 0.000s 0.00/0.02 c #decision = 54 0.00/0.02 c #random_decision = 0 0.00/0.02 c #conflict = 0 0.00/0.02 c #restart = 0 0.00/0.02 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=2 0.00/0.02 c lower bound updated to -48 0.00/0.02 c BCD2: 11 <= obj <= 58 0.00/0.02 c BCD2: #cores=6, #unrelaxed=82, #relaxed=30, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=12 bias=12/13 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 5 | 10 0.00/0.03 c 0.0s | 0 | 55 | 0 | 95 0 | 5 | 11 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 55 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -47 0.00/0.03 c BCD2: 12 <= obj <= 58 0.00/0.03 c BCD2: #cores=7, #unrelaxed=79, #relaxed=33, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=13 bias=13/14 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 5 | 12 0.00/0.03 c 0.0s | 0 | 54 | 0 | 95 0 | 5 | 12 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 54 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -46 0.00/0.03 c BCD2: 13 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=76, #relaxed=36, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=14 bias=14/15 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 5 | 13 0.00/0.03 c 0.0s | 0 | 54 | 0 | 95 0 | 5 | 13 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 54 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -45 0.00/0.03 c BCD2: 14 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=73, #relaxed=39, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=15 bias=15/16 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 5 | 14 0.00/0.03 c 0.0s | 0 | 100 | 1 | 95 0 | 5 | 14 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 100 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 2 and merging with 1 cores into a new core of size 7: cost of the new core is >=3 0.00/0.03 c lower bound updated to -44 0.00/0.03 c BCD2: 15 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=71, #relaxed=41, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=16 bias=16/17 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 6 | 14 0.00/0.03 c 0.0s | 0 | 53 | 0 | 95 0 | 6 | 15 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 53 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 12: cost of the new core is >=4 0.00/0.03 c lower bound updated to -43 0.00/0.03 c BCD2: 16 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=66, #relaxed=46, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=17 bias=17/18 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 7 | 15 0.00/0.03 c 0.0s | 0 | 50 | 0 | 95 0 | 7 | 16 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 50 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -42 0.00/0.03 c BCD2: 17 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=63, #relaxed=49, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=18 bias=18/19 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 7 | 17 0.00/0.03 c 0.0s | 0 | 50 | 0 | 95 0 | 7 | 17 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 50 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 15: cost of the new core is >=5 0.00/0.03 c lower bound updated to -41 0.00/0.03 c BCD2: 18 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=59, #relaxed=53, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=19 bias=19/20 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 10 | 17 0.00/0.03 c 0.0s | 0 | 46 | 0 | 95 0 | 10 | 20 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.03 c lower bound updated to -40 0.00/0.03 c BCD2: 19 <= obj <= 58 0.00/0.03 c BCD2: #cores=9, #unrelaxed=57, #relaxed=55, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=20 bias=20/21 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 10 | 20 0.00/0.03 c 0.0s | 0 | 46 | 0 | 95 0 | 10 | 20 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 46 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.03 c lower bound updated to -39 0.00/0.03 c BCD2: 20 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=54, #relaxed=58, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=21 bias=21/22 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 10 | 20 0.00/0.03 c 0.0s | 0 | 45 | 0 | 95 0 | 10 | 20 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 45 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 0 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 7: cost of the new core is >=2 0.00/0.03 c lower bound updated to -38 0.00/0.03 c BCD2: 21 <= obj <= 58 0.00/0.03 c BCD2: #cores=10, #unrelaxed=50, #relaxed=62, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=22 bias=22/23 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 95 0 | 11 | 20 0.00/0.03 c 0.0s | 0 | 53 | 1 | 95 0 | 11 | 21 0.00/0.03 c #cpu_time = 0.000s 0.00/0.03 c #wall_clock_time = 0.000s 0.00/0.03 c #decision = 53 0.00/0.03 c #random_decision = 0 0.00/0.03 c #conflict = 1 0.00/0.03 c #restart = 0 0.00/0.03 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 14: cost of the new core is >=5 0.00/0.03 c lower bound updated to -37 0.00/0.03 c BCD2: 22 <= obj <= 58 0.00/0.03 c BCD2: #cores=8, #unrelaxed=46, #relaxed=66, #hardened=0 0.00/0.03 c BCD2: #sat=1 #unsat=23 bias=23/24 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 14 | 21 0.00/0.04 c 0.0s | 0 | 52 | 1 | 95 0 | 14 | 24 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 52 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 1 cores into a new core of size 6: cost of the new core is >=2 0.00/0.04 c lower bound updated to -36 0.00/0.04 c BCD2: 23 <= obj <= 58 0.00/0.04 c BCD2: #cores=8, #unrelaxed=43, #relaxed=69, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=24 bias=24/25 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 15 | 24 0.00/0.04 c 0.0s | 0 | 36 | 0 | 95 0 | 15 | 25 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 36 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -35 0.00/0.04 c BCD2: 24 <= obj <= 58 0.00/0.04 c BCD2: #cores=9, #unrelaxed=41, #relaxed=71, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=25 bias=25/26 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 15 | 25 0.00/0.04 c 0.0s | 0 | 36 | 0 | 95 0 | 15 | 25 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 36 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.04 c lower bound updated to -34 0.00/0.04 c BCD2: 25 <= obj <= 58 0.00/0.04 c BCD2: #cores=10, #unrelaxed=39, #relaxed=73, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=26 bias=26/27 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 15 | 25 0.00/0.04 c 0.0s | 0 | 37 | 1 | 95 0 | 15 | 25 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 37 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 3 and merging with 3 cores into a new core of size 14: cost of the new core is >=5 0.00/0.04 c lower bound updated to -33 0.00/0.04 c BCD2: 26 <= obj <= 58 0.00/0.04 c BCD2: #cores=8, #unrelaxed=36, #relaxed=76, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=27 bias=27/28 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 18 | 25 0.00/0.04 c 0.0s | 0 | 33 | 0 | 95 0 | 18 | 28 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 33 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -32 0.00/0.04 c BCD2: 27 <= obj <= 58 0.00/0.04 c BCD2: #cores=9, #unrelaxed=33, #relaxed=79, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=28 bias=28/29 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 18 | 28 0.00/0.04 c 0.0s | 0 | 34 | 1 | 95 0 | 18 | 28 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 34 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 19: cost of the new core is >=6 0.00/0.04 c lower bound updated to -31 0.00/0.04 c BCD2: 28 <= obj <= 58 0.00/0.04 c BCD2: #cores=9, #unrelaxed=28, #relaxed=84, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=29 bias=29/30 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 19 | 28 0.00/0.04 c 0.0s | 0 | 30 | 0 | 95 0 | 19 | 29 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 30 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -30 0.00/0.04 c BCD2: 29 <= obj <= 58 0.00/0.04 c BCD2: #cores=10, #unrelaxed=25, #relaxed=87, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=30 bias=30/31 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 19 | 29 0.00/0.04 c 0.0s | 0 | 31 | 0 | 95 0 | 19 | 29 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 31 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: found a new core of size 3: cost of the new core is >=1 0.00/0.04 c lower bound updated to -29 0.00/0.04 c BCD2: 30 <= obj <= 58 0.00/0.04 c BCD2: #cores=11, #unrelaxed=22, #relaxed=90, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=31 bias=31/32 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 19 | 29 0.00/0.04 c 0.0s | 0 | 33 | 1 | 95 0 | 19 | 29 0.00/0.04 c #cpu_time = 0.000s 0.00/0.04 c #wall_clock_time = 0.000s 0.00/0.04 c #decision = 33 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 1 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 17: cost of the new core is >=5 0.00/0.04 c lower bound updated to -28 0.00/0.04 c BCD2: 31 <= obj <= 58 0.00/0.04 c BCD2: #cores=10, #unrelaxed=17, #relaxed=95, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=32 bias=32/33 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 21 | 29 0.00/0.04 c 0.0s | 0 | 40 | 6 | 95 0 | 21 | 31 0.00/0.04 c #cpu_time = 0.001s 0.00/0.04 c #wall_clock_time = 0.001s 0.00/0.04 c #decision = 40 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 6 0.00/0.04 c #restart = 0 0.00/0.04 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 22: cost of the new core is >=7 0.00/0.04 c lower bound updated to -27 0.00/0.04 c BCD2: 32 <= obj <= 58 0.00/0.04 c BCD2: #cores=8, #unrelaxed=13, #relaxed=99, #hardened=0 0.00/0.04 c BCD2: #sat=1 #unsat=33 bias=33/34 0.00/0.04 c Solving starts ... 0.00/0.04 c ============================[ Search Statistics ]============================ 0.00/0.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.04 c | | | | Limit GC | Var | Constra 0.00/0.04 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 95 0 | 24 | 31 0.00/0.05 c 0.0s | 0 | 75 | 16 | 95 0 | 24 | 34 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 75 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 16 0.00/0.05 c #restart = 0 0.00/0.05 o -19 0.00/0.05 c BCD2: updating upper bound: 58 -> 39 0.00/0.05 c BCD2: 32 <= obj <= 39 0.00/0.05 c BCD2: #cores=8, #unrelaxed=13, #relaxed=99, #hardened=0 0.00/0.05 c BCD2: #sat=2 #unsat=33 bias=33/35 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 95 0 | 24 | 35 0.00/0.05 c 0.0s | 0 | 41 | 16 | 95 0 | 24 | 35 0.00/0.05 c #cpu_time = 0.002s 0.00/0.05 c #wall_clock_time = 0.002s 0.00/0.05 c #decision = 41 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 16 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: relaxing 6 and merging with 4 cores into a new core of size 45: cost of the new core is >=14 0.00/0.05 c lower bound updated to -26 0.00/0.05 c BCD2: 33 <= obj <= 39 0.00/0.05 c BCD2: #cores=5, #unrelaxed=7, #relaxed=105, #hardened=0 0.00/0.05 c BCD2: #sat=2 #unsat=34 bias=34/36 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 95 0 | 30 | 35 0.00/0.06 c 0.0s | 1 | 147 | 100 | 105 0 | 30 | 43 0.00/0.08 c 0.0s | 2 | 339 | 250 | 116 1 | 30 | 43 0.09/0.11 c 0.1s | 3 | 616 | 475 | 128 4 | 30 | 43 0.09/0.14 c 0.1s | 4 | 1029 | 813 | 141 7 | 30 | 43 0.19/0.20 c 0.1s | 5 | 1633 | 1320 | 156 12 | 30 | 43 0.29/0.30 c 0.3s | 6 | 2564 | 2081 | 172 18 | 30 | 43 0.38/0.43 c 0.4s | 7 | 3948 | 3223 | 190 28 | 30 | 43 0.58/0.65 c 0.6s | 8 | 5980 | 4936 | 210 41 | 30 | 43 0.69/0.97 c 0.9s | 9 | 9171 | 7506 | 232 59 | 30 | 43 1.40/1.43 c 1.4s | 10 | 13711 | 11361 | 256 85 | 30 | 43 1.59/1.66 c 1.6s | 10 | 17180 | 14209 | 256 103 | 30 | 43 1.59/1.66 c #cpu_time = 1.600s 1.59/1.66 c #wall_clock_time = 1.608s 1.59/1.66 c #decision = 17180 1.59/1.66 c #random_decision = 62 1.59/1.66 c #conflict = 14209 1.59/1.66 c #restart = 10 1.59/1.66 c BCD2: relaxing 3 and merging with 4 cores into a new core of size 86: cost of the new core is >=27 1.59/1.66 c lower bound updated to -25 1.59/1.66 c BCD2: 34 <= obj <= 39 1.59/1.66 c BCD2: #cores=2, #unrelaxed=4, #relaxed=108, #hardened=0 1.59/1.66 c BCD2: #sat=2 #unsat=35 bias=35/37 1.59/1.66 c Solving starts ... 1.59/1.66 c ============================[ Search Statistics ]============================ 1.59/1.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.59/1.66 c | | | | Limit GC | Var | Constra 1.59/1.66 c ============================================================================= 1.59/1.66 c 0.0s | 0 | 0 | 0 | 256 0 | 36 | 43 1.59/1.67 c 0.0s | 1 | 144 | 100 | 256 0 | 36 | 51 1.59/1.69 c 0.0s | 2 | 340 | 250 | 256 0 | 36 | 51 1.69/1.71 c 0.1s | 3 | 609 | 475 | 256 1 | 36 | 51 1.69/1.75 c 0.1s | 4 | 996 | 813 | 256 3 | 36 | 51 1.79/1.82 c 0.2s | 5 | 1573 | 1320 | 256 6 | 36 | 51 1.89/1.91 c 0.2s | 6 | 2449 | 2081 | 256 10 | 36 | 51 1.99/2.05 c 0.4s | 7 | 3690 | 3223 | 282 16 | 36 | 51 2.19/2.25 c 0.6s | 8 | 5552 | 4936 | 282 25 | 36 | 51 2.49/2.58 c 0.9s | 9 | 8342 | 7506 | 282 38 | 36 | 51 2.98/3.01 c 1.4s | 10 | 12656 | 11361 | 282 58 | 36 | 51 3.59/3.68 c 2.0s | 11 | 19265 | 17144 | 311 86 | 36 | 51 4.59/4.70 c 3.0s | 12 | 29000 | 25819 | 343 128 | 36 | 51 6.18/6.25 c 4.6s | 13 | 43147 | 38832 | 343 187 | 36 | 51 8.18/8.25 c 6.6s | 13 | 60602 | 55032 | 378 257 | 36 | 51 8.58/8.64 c 7.0s | 14 | 64252 | 58352 | 378 271 | 36 | 51 10.58/10.65 c 9.0s | 14 | 82513 | 74652 | 416 339 | 36 | 51 12.18/12.26 c 10.6s | 15 | 96813 | 87632 | 416 390 | 36 | 51 14.18/14.26 c 12.6s | 15 | 114642 | 103832 | 416 453 | 36 | 51 16.18/16.26 c 14.6s | 15 | 132358 | 119932 | 458 514 | 36 | 51 17.58/17.69 c 16.0s | 16 | 145231 | 131552 | 458 556 | 36 | 51 19.68/19.70 c 18.0s | 16 | 164189 | 148552 | 458 617 | 36 | 51 21.69/21.70 c 20.0s | 16 | 182664 | 164752 | 458 675 | 36 | 51 23.69/23.71 c 22.1s | 16 | 201066 | 181352 | 458 735 | 36 | 51 25.69/25.72 c 24.1s | 16 | 219330 | 197052 | 504 787 | 36 | 51 25.69/25.77 c 24.1s | 17 | 219798 | 197432 | 504 789 | 36 | 51 27.69/27.78 c 26.1s | 17 | 237031 | 212332 | 504 838 | 36 | 51 29.69/29.79 c 28.1s | 17 | 253896 | 227232 | 504 888 | 36 | 51 31.69/31.79 c 30.1s | 17 | 271090 | 242232 | 504 938 | 36 | 51 33.68/33.79 c 32.1s | 17 | 288932 | 257332 | 504 989 | 36 | 51 35.68/35.80 c 34.1s | 17 | 306517 | 272332 | 504 1039 | 36 | 51 37.78/37.80 c 36.1s | 17 | 324276 | 287632 | 555 1088 | 36 | 51 38.79/38.89 c 37.2s | 18 | 334607 | 296252 | 555 1114 | 36 | 51 40.78/40.89 c 39.2s | 18 | 354034 | 313152 | 555 1166 | 36 | 51 42.88/42.90 c 41.2s | 18 | 371507 | 329052 | 555 1214 | 36 | 51 44.88/44.91 c 43.2s | 18 | 390341 | 345152 | 555 1263 | 36 | 51 46.88/46.92 c 45.3s | 18 | 408567 | 360852 | 555 1311 | 36 | 51 48.88/48.93 c 47.3s | 18 | 425431 | 376052 | 555 1358 | 36 | 51 50.89/50.93 c 49.3s | 18 | 443380 | 391852 | 555 1406 | 36 | 51 52.88/52.93 c 51.3s | 18 | 462171 | 407852 | 555 1455 | 36 | 51 54.88/54.94 c 53.3s | 18 | 479360 | 423252 | 555 1502 | 36 | 51 56.88/56.94 c 55.3s | 18 | 496366 | 438452 | 611 1546 | 36 | 51 57.68/57.71 c 56.1s | 19 | 503009 | 444482 | 611 1563 | 36 | 51 59.68/59.71 c 58.1s | 19 | 520999 | 460482 | 611 1609 | 36 | 51 61.68/61.72 c 60.1s | 19 | 539098 | 476382 | 611 1654 | 36 | 51 63.67/63.73 c 62.1s | 19 | 556884 | 492182 | 611 1698 | 36 | 51 65.67/65.74 c 64.1s | 19 | 573769 | 507582 | 611 1742 | 36 | 51 67.67/67.74 c 66.1s | 19 | 592370 | 524082 | 611 1789 | 36 | 51 69.67/69.74 c 68.1s | 19 | 611056 | 540082 | 611 1834 | 36 | 51 71.69/71.74 c 70.1s | 19 | 627710 | 555282 | 611 1878 | 36 | 51 73.68/73.74 c 72.1s | 19 | 644171 | 570582 | 611 1921 | 36 | 51 75.68/75.76 c 74.1s | 19 | 661633 | 586282 | 611 1966 | 36 | 51 77.68/77.77 c 76.1s | 19 | 678537 | 601782 | 611 2009 | 36 | 51 79.67/79.78 c 78.1s | 19 | 695794 | 617182 | 611 2053 | 36 | 51 81.68/81.80 c 80.1s | 19 | 712694 | 632282 | 611 2096 | 36 | 51 83.67/83.80 c 82.1s | 19 | 730274 | 647482 | 611 2139 | 36 | 51 85.77/85.81 c 84.2s | 19 | 748424 | 663182 | 673 2180 | 36 | 51 86.17/86.28 c 84.6s | 20 | 752708 | 666827 | 673 2189 | 36 | 51 88.18/88.28 c 86.6s | 20 | 770610 | 683127 | 673 2231 | 36 | 51 90.17/90.29 c 88.6s | 20 | 789333 | 699227 | 673 2273 | 36 | 51 92.27/92.30 c 90.6s | 20 | 807064 | 714727 | 673 2313 | 36 | 51 94.27/94.31 c 92.6s | 20 | 824835 | 729627 | 673 2352 | 36 | 51 96.27/96.32 c 94.7s | 20 | 842468 | 745027 | 673 2392 | 36 | 51 98.27/98.33 c 96.7s | 20 | 859022 | 759727 | 673 2430 | 36 | 51 100.28/100.33 c 98.7s | 20 | 877160 | 775227 | 673 2470 | 36 | 51 102.27/102.34 c 100s | 20 | 895654 | 790827 | 673 2510 | 36 | 51 104.27/104.34 c 102s | 20 | 914487 | 806327 | 673 2550 | 36 | 51 106.27/106.35 c 104s | 20 | 932967 | 821627 | 673 2590 | 36 | 51 108.27/108.36 c 106s | 20 | 950529 | 836827 | 673 2630 | 36 | 51 110.27/110.37 c 108s | 20 | 968204 | 852027 | 673 2669 | 36 | 51 112.26/112.38 c 110s | 20 | 984008 | 866527 | 673 2707 | 36 | 51 114.26/114.38 c 112s | 20 | 999200 | 880327 | 673 2743 | 36 | 51 116.27/116.39 c 114s | 20 | 1015865 | 895027 | 673 2781 | 36 | 51 118.27/118.39 c 116s | 20 | 1034747 | 911127 | 673 2823 | 36 | 51 120.37/120.40 c 118s | 20 | 1052989 | 926627 | 673 2863 | 36 | 51 122.38/122.41 c 120s | 20 | 1070779 | 941827 | 673 2903 | 36 | 51 124.37/124.42 c 122s | 20 | 1088172 | 957027 | 673 2943 | 36 | 51 124.67/124.71 c 123s | 20 | 1090637 | 959076 | 673 2948 | 36 | 51 124.67/124.71 c #cpu_time = 122.724s 124.67/124.71 c #wall_clock_time = 123.045s 124.67/124.71 c #decision = 1090637 124.67/124.71 c #random_decision = 3229 124.67/124.71 c #conflict = 959076 124.67/124.71 c #restart = 20 124.67/124.71 o -21 124.67/124.71 c BCD2: updating upper bound: 39 -> 37 124.67/124.71 c BCD2: 34 <= obj <= 37 124.67/124.71 c BCD2: #cores=2, #unrelaxed=4, #relaxed=108, #hardened=0 124.67/124.71 c BCD2: #sat=3 #unsat=35 bias=35/38 124.67/124.71 c Solving starts ... 124.67/124.71 c ============================[ Search Statistics ]============================ 124.67/124.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 124.67/124.71 c | | | | Limit GC | Var | Constra 124.67/124.71 c ============================================================================= 124.67/124.71 c 0.0s | 0 | 0 | 0 | 673 0 | 36 | 52 124.67/124.72 c 0.0s | 1 | 134 | 100 | 673 0 | 36 | 52 124.67/124.74 c 0.0s | 2 | 321 | 250 | 673 1 | 36 | 52 124.67/124.77 c 0.1s | 3 | 614 | 475 | 673 1 | 36 | 52 124.77/124.81 c 0.1s | 4 | 1035 | 813 | 673 2 | 36 | 52 124.77/124.88 c 0.2s | 5 | 1617 | 1320 | 673 3 | 36 | 52 124.87/124.98 c 0.3s | 6 | 2523 | 2081 | 673 5 | 36 | 52 125.07/125.11 c 0.4s | 7 | 3905 | 3223 | 673 8 | 36 | 52 125.27/125.32 c 0.6s | 8 | 5962 | 4936 | 673 13 | 36 | 52 125.58/125.63 c 0.9s | 9 | 8988 | 7506 | 673 20 | 36 | 52 125.97/126.07 c 1.4s | 10 | 13859 | 11361 | 673 30 | 36 | 52 126.68/126.77 c 2.1s | 11 | 20714 | 17144 | 673 44 | 36 | 52 127.78/127.81 c 3.1s | 12 | 30895 | 25819 | 741 66 | 36 | 52 129.47/129.50 c 4.8s | 13 | 45536 | 38832 | 741 97 | 36 | 52 131.47/131.51 c 6.8s | 13 | 63170 | 54932 | 741 135 | 36 | 52 131.87/131.93 c 7.2s | 14 | 67065 | 58352 | 741 143 | 36 | 52 133.87/133.94 c 9.2s | 14 | 87021 | 75852 | 741 185 | 36 | 52 135.47/135.51 c 10.8s | 15 | 100208 | 87632 | 741 213 | 36 | 52 137.47/137.51 c 12.8s | 15 | 116279 | 102532 | 741 248 | 36 | 52 139.46/139.52 c 14.8s | 15 | 133108 | 117132 | 741 283 | 36 | 52 141.36/141.46 c 16.8s | 16 | 149245 | 131552 | 741 318 | 36 | 52 143.36/143.47 c 18.8s | 16 | 167791 | 148052 | 741 357 | 36 | 52 145.37/145.48 c 20.8s | 16 | 185043 | 163752 | 741 395 | 36 | 52 147.36/147.49 c 22.8s | 16 | 202218 | 179952 | 741 433 | 36 | 52 149.36/149.49 c 24.8s | 16 | 218655 | 195152 | 741 470 | 36 | 52 149.77/149.83 c 25.1s | 17 | 221121 | 197432 | 741 475 | 36 | 52 151.76/151.83 c 27.1s | 17 | 238740 | 213732 | 741 514 | 36 | 52 153.76/153.83 c 29.1s | 17 | 256500 | 230132 | 741 553 | 36 | 52 155.76/155.84 c 31.1s | 17 | 273251 | 245832 | 741 591 | 36 | 52 157.76/157.85 c 33.1s | 17 | 290601 | 261932 | 741 629 | 36 | 52 159.76/159.85 c 35.1s | 17 | 308145 | 277632 | 741 667 | 36 | 52 161.76/161.87 c 37.2s | 17 | 324704 | 293132 | 741 704 | 36 | 52 162.16/162.28 c 37.6s | 18 | 327988 | 296252 | 741 711 | 36 | 52 164.16/164.28 c 39.6s | 18 | 346285 | 313052 | 741 751 | 36 | 52 166.16/166.28 c 41.6s | 18 | 365376 | 330052 | 741 792 | 36 | 52 168.16/168.29 c 43.6s | 18 | 384048 | 346752 | 741 832 | 36 | 52 170.26/170.31 c 45.6s | 18 | 400879 | 362152 | 741 869 | 36 | 52 172.26/172.31 c 47.6s | 18 | 418492 | 378052 | 741 907 | 36 | 52 174.26/174.32 c 49.6s | 18 | 437000 | 394252 | 741 946 | 36 | 52 176.27/176.33 c 51.6s | 18 | 454956 | 409852 | 741 984 | 36 | 52 178.26/178.34 c 53.6s | 18 | 472170 | 424552 | 741 1019 | 36 | 52 180.26/180.35 c 55.6s | 18 | 489380 | 439652 | 741 1055 | 36 | 52 180.86/180.97 c 56.3s | 19 | 494847 | 444482 | 741 1067 | 36 | 52 182.87/182.98 c 58.3s | 19 | 513701 | 460982 | 741 1106 | 36 | 52 184.86/184.99 c 60.3s | 19 | 532662 | 477082 | 741 1145 | 36 | 52 186.96/187.00 c 62.3s | 19 | 551600 | 493782 | 741 1185 | 36 | 52 188.96/189.01 c 64.3s | 19 | 570589 | 510182 | 741 1224 | 36 | 52 190.96/191.01 c 66.3s | 19 | 588955 | 526282 | 816 1261 | 36 | 52 192.96/193.02 c 68.3s | 19 | 606101 | 541482 | 816 1294 | 36 | 52 194.96/195.02 c 70.3s | 19 | 623117 | 556682 | 816 1327 | 36 | 52 196.96/197.03 c 72.3s | 19 | 639177 | 570982 | 816 1359 | 36 | 52 198.96/199.03 c 74.3s | 19 | 657290 | 586782 | 816 1394 | 36 | 52 200.96/201.04 c 76.3s | 19 | 675755 | 602782 | 816 1429 | 36 | 52 202.96/203.04 c 78.3s | 19 | 693717 | 618782 | 816 1464 | 36 | 52 204.95/205.04 c 80.3s | 19 | 711852 | 634482 | 816 1499 | 36 | 52 206.96/207.05 c 82.3s | 19 | 728791 | 649682 | 816 1533 | 36 | 52 208.95/209.06 c 84.4s | 19 | 746163 | 664782 | 816 1566 | 36 | 52 209.26/209.32 c 84.6s | 20 | 748445 | 666827 | 816 1570 | 36 | 52 211.25/211.33 c 86.6s | 20 | 765421 | 682027 | 816 1604 | 36 | 52 213.25/213.33 c 88.6s | 20 | 781593 | 696427 | 816 1635 | 36 | 52 215.25/215.34 c 90.6s | 20 | 797537 | 710627 | 816 1666 | 36 | 52 217.25/217.36 c 92.6s | 20 | 813508 | 725127 | 816 1698 | 36 | 52 219.25/219.36 c 94.7s | 20 | 829043 | 739527 | 816 1730 | 36 | 52 221.25/221.36 c 96.7s | 20 | 844862 | 753527 | 816 1761 | 36 | 52 223.26/223.36 c 98.7s | 20 | 861464 | 768627 | 816 1794 | 36 | 52 225.25/225.36 c 100s | 20 | 877723 | 783527 | 816 1827 | 36 | 52 227.25/227.36 c 102s | 20 | 895018 | 798827 | 816 1860 | 36 | 52 229.25/229.37 c 104s | 20 | 910399 | 812727 | 816 1891 | 36 | 52 231.26/231.37 c 106s | 20 | 926432 | 827227 | 816 1923 | 36 | 52 233.25/233.37 c 108s | 20 | 941693 | 841027 | 816 1954 | 36 | 52 235.25/235.38 c 110s | 20 | 958443 | 855827 | 816 1987 | 36 | 52 237.25/237.39 c 112s | 20 | 974253 | 870127 | 816 2018 | 36 | 52 239.25/239.39 c 114s | 20 | 990092 | 884527 | 816 2050 | 36 | 52 241.25/241.39 c 116s | 20 | 1005439 | 898627 | 816 2081 | 36 | 52 243.25/243.40 c 118s | 20 | 1021221 | 913327 | 816 2113 | 36 | 52 245.35/245.41 c 120s | 20 | 1038036 | 928827 | 816 2147 | 36 | 52 247.35/247.41 c 122s | 20 | 1053710 | 943227 | 816 2179 | 36 | 52 249.35/249.42 c 124s | 20 | 1068580 | 956827 | 816 2209 | 36 | 52 251.34/251.42 c 126s | 20 | 1083723 | 970327 | 816 2239 | 36 | 52 253.34/253.43 c 128s | 20 | 1098130 | 983327 | 816 2268 | 36 | 52 255.35/255.43 c 130s | 20 | 1112444 | 996327 | 816 2297 | 36 | 52 255.94/256.01 c 131s | 21 | 1116841 | 1000345 | 816 2306 | 36 | 52 257.94/258.02 c 133s | 21 | 1134017 | 1016145 | 816 2340 | 36 | 52 259.94/260.02 c 135s | 21 | 1150311 | 1031045 | 816 2373 | 36 | 52 261.96/262.02 c 137s | 21 | 1166176 | 1045845 | 816 2405 | 36 | 52 263.95/264.03 c 139s | 21 | 1182209 | 1060745 | 816 2438 | 36 | 52 265.95/266.03 c 141s | 21 | 1197901 | 1075445 | 816 2470 | 36 | 52 267.95/268.04 c 143s | 21 | 1213690 | 1090245 | 816 2503 | 36 | 52 269.95/270.04 c 145s | 21 | 1229582 | 1105145 | 816 2536 | 36 | 52 271.95/272.05 c 147s | 21 | 1245156 | 1119645 | 816 2567 | 36 | 52 273.95/274.05 c 149s | 21 | 1260464 | 1133845 | 816 2599 | 36 | 52 275.95/276.05 c 151s | 21 | 1275846 | 1148245 | 816 2630 | 36 | 52 277.95/278.06 c 153s | 21 | 1291978 | 1163145 | 816 2663 | 36 | 52 279.94/280.07 c 155s | 21 | 1307956 | 1177745 | 816 2696 | 36 | 52 281.94/282.08 c 157s | 21 | 1325480 | 1193945 | 816 2731 | 36 | 52 283.95/284.09 c 159s | 21 | 1342504 | 1209645 | 816 2766 | 36 | 52 286.04/286.10 c 161s | 21 | 1358184 | 1224145 | 816 2798 | 36 | 52 288.04/288.11 c 163s | 21 | 1375494 | 1240045 | 816 2833 | 36 | 52 290.04/290.12 c 165s | 21 | 1391679 | 1255145 | 816 2867 | 36 | 52 292.04/292.12 c 167s | 21 | 1407745 | 1270045 | 898 2898 | 36 | 52 294.04/294.13 c 169s | 21 | 1422782 | 1284045 | 898 2926 | 36 | 52 296.05/296.15 c 171s | 21 | 1437818 | 1297945 | 898 2955 | 36 | 52 298.04/298.16 c 173s | 21 | 1453014 | 1311945 | 898 2983 | 36 | 52 300.04/300.17 c 175s | 21 | 1469910 | 1326745 | 898 3013 | 36 | 52 302.04/302.17 c 177s | 21 | 1487644 | 1341945 | 898 3044 | 36 | 52 304.04/304.18 c 179s | 21 | 1505219 | 1357345 | 898 3075 | 36 | 52 306.04/306.18 c 181s | 21 | 1522429 | 1372345 | 898 3105 | 36 | 52 308.04/308.20 c 183s | 21 | 1538695 | 1387245 | 898 3136 | 36 | 52 310.13/310.20 c 185s | 21 | 1554675 | 1401545 | 898 3165 | 36 | 52 312.13/312.20 c 187s | 21 | 1571047 | 1416345 | 898 3195 | 36 | 52 314.14/314.20 c 189s | 21 | 1586552 | 1430845 | 898 3224 | 36 | 52 316.14/316.21 c 191s | 21 | 1602222 | 1445345 | 898 3253 | 36 | 52 318.15/318.22 c 193s | 21 | 1617834 | 1459345 | 898 3282 | 36 | 52 320.14/320.22 c 195s | 21 | 1633924 | 1473745 | 898 3311 | 36 | 52 322.14/322.22 c 197s | 21 | 1651011 | 1488945 | 898 3342 | 36 | 52 323.74/323.85 c 199s | 22 | 1663560 | 1500622 | 898 3366 | 36 | 52 325.75/325.86 c 201s | 22 | 1679394 | 1515222 | 898 3395 | 36 | 52 327.74/327.86 c 203s | 22 | 1695553 | 1530622 | 898 3426 | 36 | 52 329.73/329.88 c 205s | 22 | 1711338 | 1545222 | 898 3456 | 36 | 52 331.73/331.89 c 207s | 22 | 1727102 | 1560122 | 898 3486 | 36 | 52 333.83/333.90 c 209s | 22 | 1742339 | 1574622 | 898 3515 | 36 | 52 335.83/335.91 c 211s | 22 | 1759204 | 1589622 | 898 3545 | 36 | 52 337.84/337.91 c 213s | 22 | 1776204 | 1604322 | 898 3575 | 36 | 52 339.83/339.91 c 215s | 22 | 1793071 | 1619422 | 898 3605 | 36 | 52 341.83/341.92 c 217s | 22 | 1810987 | 1635322 | 898 3638 | 36 | 52 343.83/343.93 c 219s | 22 | 1828822 | 1650722 | 898 3669 | 36 | 52 345.83/345.94 c 221s | 22 | 1846515 | 1666222 | 898 3700 | 36 | 52 347.84/347.94 c 223s | 22 | 1863899 | 1681622 | 898 3731 | 36 | 52 349.84/349.95 c 225s | 22 | 1881731 | 1697322 | 898 3763 | 36 | 52 351.84/351.95 c 227s | 22 | 1899071 | 1712622 | 898 3793 | 36 | 52 353.84/353.95 c 229s | 22 | 1915605 | 1727222 | 898 3823 | 36 | 52 355.83/355.96 c 231s | 22 | 1933931 | 1743422 | 898 3856 | 36 | 52 357.83/357.97 c 233s | 22 | 1952447 | 1759222 | 898 3888 | 36 | 52 359.84/359.98 c 235s | 22 | 1970369 | 1774622 | 898 3919 | 36 | 52 361.83/361.98 c 237s | 22 | 1987966 | 1789822 | 898 3950 | 36 | 52 363.83/363.99 c 239s | 22 | 2005275 | 1804722 | 898 3980 | 36 | 52 365.83/365.99 c 241s | 22 | 2021936 | 1819022 | 898 4009 | 36 | 52 367.93/368.00 c 243s | 22 | 2037594 | 1833022 | 898 4037 | 36 | 52 369.93/370.01 c 245s | 22 | 2052879 | 1846722 | 898 4065 | 36 | 52 371.94/372.02 c 247s | 22 | 2067805 | 1860322 | 898 4093 | 36 | 52 373.93/374.02 c 249s | 22 | 2082254 | 1873422 | 898 4119 | 36 | 52 375.93/376.02 c 251s | 22 | 2097246 | 1886522 | 898 4146 | 36 | 52 377.93/378.03 c 253s | 22 | 2113236 | 1900422 | 898 4174 | 36 | 52 379.93/380.05 c 255s | 22 | 2128939 | 1914522 | 898 4202 | 36 | 52 381.93/382.05 c 257s | 22 | 2145928 | 1929522 | 898 4233 | 36 | 52 383.93/384.05 c 259s | 22 | 2161212 | 1943522 | 898 4261 | 36 | 52 385.93/386.06 c 261s | 22 | 2178074 | 1958322 | 898 4291 | 36 | 52 387.93/388.08 c 263s | 22 | 2193650 | 1971922 | 898 4319 | 36 | 52 389.93/390.09 c 265s | 22 | 2209553 | 1985822 | 898 4347 | 36 | 52 392.03/392.10 c 267s | 22 | 2225853 | 1999922 | 898 4375 | 36 | 52 394.03/394.11 c 269s | 22 | 2240995 | 2013622 | 898 4403 | 36 | 52 396.02/396.11 c 271s | 22 | 2257783 | 2028722 | 898 4433 | 36 | 52 398.02/398.11 c 273s | 22 | 2275096 | 2044222 | 898 4465 | 36 | 52 400.02/400.11 c 275s | 22 | 2291707 | 2059222 | 898 4495 | 36 | 52 402.02/402.12 c 277s | 22 | 2309542 | 2074822 | 898 4527 | 36 | 52 404.02/404.13 c 279s | 22 | 2325858 | 2089322 | 898 4556 | 36 | 52 406.03/406.13 c 281s | 22 | 2342058 | 2103622 | 898 4585 | 36 | 52 408.02/408.14 c 283s | 22 | 2358697 | 2118522 | 898 4615 | 36 | 52 410.02/410.14 c 285s | 22 | 2375496 | 2133522 | 898 4646 | 36 | 52 412.02/412.15 c 287s | 22 | 2391573 | 2147722 | 898 4675 | 36 | 52 414.02/414.16 c 289s | 22 | 2408168 | 2162922 | 898 4705 | 36 | 52 416.02/416.16 c 291s | 22 | 2425070 | 2178022 | 898 4736 | 36 | 52 418.03/418.17 c 293s | 22 | 2442664 | 2193722 | 898 4768 | 36 | 52 420.03/420.18 c 295s | 22 | 2459581 | 2208622 | 898 4798 | 36 | 52 422.03/422.18 c 297s | 22 | 2476716 | 2223922 | 898 4829 | 36 | 52 424.03/424.19 c 299s | 22 | 2493232 | 2238822 | 898 4859 | 36 | 52 425.83/425.91 c 301s | 23 | 2507098 | 2251038 | 898 4884 | 36 | 52 427.83/427.93 c 303s | 23 | 2525029 | 2266338 | 898 4915 | 36 | 52 429.82/429.93 c 305s | 23 | 2542689 | 2282138 | 898 4947 | 36 | 52 431.82/431.94 c 307s | 23 | 2559403 | 2297038 | 898 4977 | 36 | 52 433.82/433.95 c 309s | 23 | 2576233 | 2312138 | 898 5007 | 36 | 52 435.83/435.95 c 311s | 23 | 2595393 | 2328038 | 898 5039 | 36 | 52 437.82/437.96 c 313s | 23 | 2614098 | 2343638 | 898 5071 | 36 | 52 439.82/439.97 c 315s | 23 | 2632178 | 2358638 | 898 5101 | 36 | 52 441.82/441.97 c 317s | 23 | 2649017 | 2373238 | 898 5131 | 36 | 52 443.82/443.98 c 319s | 23 | 2664341 | 2387138 | 988 5157 | 36 | 52 445.82/445.99 c 321s | 23 | 2678810 | 2400538 | 988 5182 | 36 | 52 447.82/448.00 c 323s | 23 | 2693817 | 2413938 | 988 5206 | 36 | 52 449.92/450.00 c 325s | 23 | 2708828 | 2427538 | 988 5232 | 36 | 52 451.91/452.01 c 327s | 23 | 2725018 | 2441738 | 988 5258 | 36 | 52 453.91/454.01 c 329s | 23 | 2742509 | 2456638 | 988 5286 | 36 | 52 455.91/456.02 c 331s | 23 | 2758728 | 2470838 | 988 5312 | 36 | 52 457.91/458.03 c 333s | 23 | 2775484 | 2485738 | 988 5339 | 36 | 52 459.92/460.03 c 335s | 23 | 2793830 | 2501638 | 988 5369 | 36 | 52 461.91/462.05 c 337s | 23 | 2812282 | 2517538 | 988 5398 | 36 | 52 463.91/464.05 c 339s | 23 | 2829911 | 2532638 | 988 5426 | 36 | 52 465.92/466.06 c 341s | 23 | 2845481 | 2546638 | 988 5452 | 36 | 52 467.92/468.07 c 343s | 23 | 2862497 | 2561438 | 988 5479 | 36 | 52 469.92/470.08 c 345s | 23 | 2880087 | 2576538 | 988 5507 | 36 | 52 471.92/472.09 c 347s | 23 | 2897041 | 2591338 | 988 5535 | 36 | 52 473.92/474.09 c 349s | 23 | 2914363 | 2606338 | 988 5562 | 36 | 52 476.02/476.10 c 351s | 23 | 2931314 | 2621038 | 988 5590 | 36 | 52 478.01/478.11 c 353s | 23 | 2948527 | 2635738 | 988 5617 | 36 | 52 480.01/480.11 c 355s | 23 | 2965898 | 2651238 | 988 5646 | 36 | 52 482.02/482.12 c 357s | 23 | 2982598 | 2665938 | 988 5673 | 36 | 52 484.01/484.12 c 359s | 23 | 2998912 | 2680538 | 988 5700 | 36 | 52 486.01/486.13 c 361s | 23 | 3015768 | 2695338 | 988 5727 | 36 | 52 488.01/488.14 c 363s | 23 | 3032899 | 2710238 | 988 5755 | 36 | 52 490.01/490.14 c 365s | 23 | 3049195 | 2724638 | 988 5781 | 36 | 52 492.01/492.15 c 367s | 23 | 3065407 | 2739238 | 988 5808 | 36 | 52 494.01/494.16 c 369s | 23 | 3081280 | 2753438 | 988 5835 | 36 | 52 496.01/496.17 c 371s | 23 | 3096294 | 2767138 | 988 5860 | 36 | 52 498.01/498.18 c 373s | 23 | 3111020 | 2780938 | 988 5886 | 36 | 52 500.01/500.19 c 375s | 23 | 3125756 | 2794538 | 988 5911 | 36 | 52 502.11/502.20 c 377s | 23 | 3139992 | 2807638 | 988 5935 | 36 | 52 504.11/504.21 c 379s | 23 | 3155421 | 2821338 | 988 5961 | 36 | 52 506.11/506.22 c 381s | 23 | 3170813 | 2835238 | 988 5986 | 36 | 52 508.11/508.23 c 383s | 23 | 3185193 | 2848338 | 988 6011 | 36 | 52 510.11/510.24 c 385s | 23 | 3200236 | 2861938 | 988 6036 | 36 | 52 512.11/512.25 c 387s | 23 | 3214415 | 2875038 | 988 6061 | 36 | 52 514.11/514.26 c 389s | 23 | 3228360 | 2888038 | 988 6085 | 36 | 52 516.12/516.27 c 391s | 23 | 3242750 | 2901138 | 988 6109 | 36 | 52 518.11/518.27 c 393s | 23 | 3256358 | 2914238 | 988 6134 | 36 | 52 520.11/520.27 c 395s | 23 | 3271926 | 2928238 | 988 6159 | 36 | 52 522.11/522.28 c 397s | 23 | 3286120 | 2941438 | 988 6184 | 36 | 52 524.11/524.29 c 399s | 23 | 3301496 | 2955338 | 988 6210 | 36 | 52 526.20/526.30 c 401s | 23 | 3317670 | 2969438 | 988 6236 | 36 | 52 528.21/528.31 c 403s | 23 | 3333384 | 2983238 | 988 6261 | 36 | 52 530.20/530.31 c 405s | 23 | 3349011 | 2997338 | 988 6287 | 36 | 52 532.20/532.31 c 407s | 23 | 3365800 | 3012238 | 988 6315 | 36 | 52 534.20/534.32 c 409s | 23 | 3382480 | 3026738 | 988 6342 | 36 | 52 536.20/536.33 c 411s | 23 | 3398843 | 3041138 | 988 6369 | 36 | 52 538.20/538.34 c 413s | 23 | 3413237 | 3054238 | 988 6393 | 36 | 52 540.21/540.35 c 415s | 23 | 3427456 | 3067138 | 988 6417 | 36 | 52 542.21/542.35 c 417s | 23 | 3441148 | 3079538 | 988 6440 | 36 | 52 544.21/544.36 c 419s | 23 | 3455690 | 3092738 | 988 6465 | 36 | 52 546.21/546.36 c 421s | 23 | 3471619 | 3106638 | 988 6490 | 36 | 52 548.20/548.36 c 423s | 23 | 3488008 | 3121438 | 988 6518 | 36 | 52 550.21/550.37 c 425s | 23 | 3504174 | 3135938 | 988 6545 | 36 | 52 552.20/552.38 c 427s | 23 | 3520279 | 3150038 | 988 6571 | 36 | 52 554.20/554.40 c 429s | 23 | 3534211 | 3163038 | 988 6595 | 36 | 52 556.30/556.40 c 431s | 23 | 3547902 | 3175838 | 988 6619 | 36 | 52 558.30/558.41 c 433s | 23 | 3562046 | 3188338 | 988 6642 | 36 | 52 560.30/560.42 c 435s | 23 | 3579066 | 3203438 | 988 6670 | 36 | 52 562.31/562.43 c 437s | 23 | 3595361 | 3218238 | 988 6698 | 36 | 52 564.30/564.43 c 439s | 23 | 3610531 | 3232438 | 988 6724 | 36 | 52 566.30/566.43 c 441s | 23 | 3625919 | 3246538 | 988 6750 | 36 | 52 568.30/568.44 c 443s | 23 | 3642138 | 3261038 | 988 6777 | 36 | 52 570.30/570.45 c 445s | 23 | 3659255 | 3276338 | 988 6806 | 36 | 52 572.30/572.46 c 447s | 23 | 3675707 | 3290738 | 988 6833 | 36 | 52 574.30/574.47 c 449s | 23 | 3692282 | 3304738 | 988 6859 | 36 | 52 576.30/576.48 c 451s | 23 | 3709622 | 3319338 | 988 6886 | 36 | 52 578.30/578.48 c 453s | 23 | 3726389 | 3333938 | 988 6913 | 36 | 52 580.39/580.50 c 455s | 23 | 3743146 | 3348738 | 988 6941 | 36 | 52 582.39/582.51 c 457s | 23 | 3758826 | 3362738 | 988 6967 | 36 | 52 584.30/584.48 c 459s | 24 | 3774101 | 3376662 | 988 6992 | 36 | 52 586.29/586.48 c 461s | 24 | 3790556 | 3391162 | 988 7019 | 36 | 52 588.29/588.49 c 463s | 24 | 3805487 | 3404862 | 988 7044 | 36 | 52 590.40/590.51 c 465s | 24 | 3821651 | 3419362 | 988 7071 | 36 | 52 592.40/592.52 c 467s | 24 | 3837415 | 3433462 | 988 7097 | 36 | 52 594.40/594.53 c 469s | 24 | 3852553 | 3447262 | 988 7122 | 36 | 52 596.41/596.54 c 471s | 24 | 3868208 | 3461362 | 988 7148 | 36 | 52 598.40/598.54 c 473s | 24 | 3883110 | 3474762 | 988 7173 | 36 | 52 600.40/600.55 c 475s | 24 | 3898698 | 3488962 | 988 7199 | 36 | 52 602.40/602.55 c 477s | 24 | 3915147 | 3503462 | 988 7226 | 36 | 52 604.40/604.56 c 479s | 24 | 3929794 | 3516962 | 988 7251 | 36 | 52 606.40/606.57 c 481s | 24 | 3944318 | 3530562 | 988 7276 | 36 | 52 608.40/608.58 c 483s | 24 | 3958956 | 3543962 | 988 7301 | 36 | 52 610.39/610.59 c 485s | 24 | 3972549 | 3556562 | 988 7324 | 36 | 52 612.49/612.60 c 487s | 24 | 3986951 | 3569862 | 988 7348 | 36 | 52 614.49/614.60 c 489s | 24 | 4000802 | 3582562 | 988 7372 | 36 | 52 616.49/616.60 c 491s | 24 | 4015683 | 3596062 | 988 7396 | 36 | 52 618.49/618.61 c 493s | 24 | 4031170 | 3609862 | 988 7422 | 36 | 52 620.50/620.61 c 495s | 24 | 4045595 | 3622662 | 988 7446 | 36 | 52 622.49/622.61 c 497s | 24 | 4060033 | 3635362 | 988 7469 | 36 | 52 624.49/624.61 c 499s | 24 | 4076499 | 3649262 | 988 7495 | 36 | 52 626.49/626.61 c 501s | 24 | 4094535 | 3664562 | 988 7523 | 36 | 52 628.49/628.62 c 503s | 24 | 4110610 | 3678862 | 988 7550 | 36 | 52 630.50/630.63 c 505s | 24 | 4127530 | 3693262 | 988 7576 | 36 | 52 632.49/632.63 c 507s | 24 | 4145347 | 3708062 | 988 7604 | 36 | 52 634.49/634.64 c 509s | 24 | 4162577 | 3722862 | 988 7631 | 36 | 52 636.49/636.65 c 511s | 24 | 4178724 | 3736862 | 988 7657 | 36 | 52 638.49/638.66 c 513s | 24 | 4195117 | 3751062 | 988 7684 | 36 | 52 640.49/640.66 c 515s | 24 | 4211900 | 3765562 | 988 7711 | 36 | 52 642.49/642.66 c 517s | 24 | 4228672 | 3779762 | 988 7737 | 36 | 52 644.49/644.67 c 519s | 24 | 4245916 | 3794662 | 988 7765 | 36 | 52 646.49/646.68 c 521s | 24 | 4261904 | 3808662 | 988 7791 | 36 | 52 648.49/648.69 c 523s | 24 | 4278522 | 3823162 | 988 7817 | 36 | 52 650.49/650.69 c 525s | 24 | 4294266 | 3836962 | 988 7843 | 36 | 52 652.49/652.69 c 527s | 24 | 4308901 | 3850262 | 988 7868 | 36 | 52 654.48/654.70 c 529s | 24 | 4324118 | 3864062 | 988 7893 | 36 | 52 656.58/656.71 c 532s | 24 | 4342503 | 3879262 | 988 7921 | 36 | 52 658.58/658.71 c 534s | 24 | 4360215 | 3893862 | 988 7949 | 36 | 52 660.58/660.72 c 536s | 24 | 4377573 | 3908462 | 988 7976 | 36 | 52 662.58/662.73 c 538s | 24 | 4395038 | 3923062 | 988 8003 | 36 | 52 664.59/664.74 c 540s | 24 | 4411431 | 3937362 | 988 8029 | 36 | 52 666.58/666.74 c 542s | 24 | 4429277 | 3952062 | 988 8056 | 36 | 52 668.58/668.75 c 544s | 24 | 4446519 | 3966962 | 988 8084 | 36 | 52 670.58/670.75 c 546s | 24 | 4462001 | 3980462 | 988 8109 | 36 | 52 672.59/672.75 c 548s | 24 | 4478844 | 3995262 | 988 8136 | 36 | 52 674.59/674.76 c 550s | 24 | 4495331 | 4009662 | 988 8163 | 36 | 52 676.59/676.77 c 552s | 24 | 4510889 | 4023262 | 988 8189 | 36 | 52 678.59/678.78 c 554s | 24 | 4527296 | 4037562 | 988 8215 | 36 | 52 680.59/680.78 c 556s | 24 | 4544142 | 4052162 | 988 8242 | 36 | 52 682.59/682.78 c 558s | 24 | 4559794 | 4066562 | 1087 8267 | 36 | 52 684.59/684.79 c 560s | 24 | 4576073 | 4080762 | 1087 8291 | 36 | 52 686.68/686.80 c 562s | 24 | 4591240 | 4094362 | 1087 8315 | 36 | 52 688.69/688.81 c 564s | 24 | 4606866 | 4108362 | 1087 8338 | 36 | 52 690.68/690.81 c 566s | 24 | 4622145 | 4121962 | 1087 8362 | 36 | 52 692.68/692.82 c 568s | 24 | 4638456 | 4136362 | 1087 8386 | 36 | 52 694.68/694.82 c 570s | 24 | 4653873 | 4149862 | 1087 8409 | 36 | 52 696.68/696.82 c 572s | 24 | 4669173 | 4163462 | 1087 8432 | 36 | 52 698.69/698.82 c 574s | 24 | 4684536 | 4177262 | 1087 8456 | 36 | 52 700.68/700.83 c 576s | 24 | 4700072 | 4191262 | 1087 8480 | 36 | 52 702.68/702.84 c 578s | 24 | 4716930 | 4206262 | 1087 8505 | 36 | 52 704.68/704.84 c 580s | 24 | 4732152 | 4219862 | 1087 8529 | 36 | 52 706.68/706.84 c 582s | 24 | 4747121 | 4233262 | 1087 8551 | 36 | 52 708.68/708.84 c 584s | 24 | 4763213 | 4247362 | 1087 8575 | 36 | 52 710.68/710.85 c 586s | 24 | 4779355 | 4261662 | 1087 8600 | 36 | 52 712.67/712.85 c 588s | 24 | 4795357 | 4275862 | 1087 8624 | 36 | 52 714.67/714.85 c 590s | 24 | 4811021 | 4289662 | 1087 8648 | 36 | 52 716.67/716.86 c 592s | 24 | 4826446 | 4303562 | 1087 8672 | 36 | 52 718.67/718.87 c 594s | 24 | 4842287 | 4317762 | 1087 8696 | 36 | 52 720.68/720.88 c 596s | 24 | 4858086 | 4331862 | 1087 8720 | 36 | 52 722.67/722.89 c 598s | 24 | 4873316 | 4345562 | 1087 8743 | 36 | 52 724.67/724.89 c 600s | 24 | 4889639 | 4359862 | 1087 8767 | 36 | 52 726.77/726.90 c 602s | 24 | 4905218 | 4373462 | 1087 8791 | 36 | 52 728.77/728.91 c 604s | 24 | 4920814 | 4387062 | 1087 8814 | 36 | 52 730.77/730.91 c 606s | 24 | 4937590 | 4401562 | 1087 8839 | 36 | 52 732.77/732.91 c 608s | 24 | 4953464 | 4415362 | 1087 8862 | 36 | 52 734.76/734.92 c 610s | 24 | 4968916 | 4428762 | 1087 8885 | 36 | 52 736.76/736.93 c 612s | 24 | 4984864 | 4442662 | 1087 8909 | 36 | 52 738.76/738.93 c 614s | 24 | 5000144 | 4456062 | 1087 8932 | 36 | 52 740.76/740.94 c 616s | 24 | 5015032 | 4469262 | 1087 8954 | 36 | 52 742.76/742.94 c 618s | 24 | 5030729 | 4483262 | 1087 8978 | 36 | 52 744.77/744.95 c 620s | 24 | 5046467 | 4497062 | 1087 9002 | 36 | 52 746.76/746.96 c 622s | 24 | 5061580 | 4510462 | 1087 9025 | 36 | 52 748.76/748.97 c 624s | 24 | 5077304 | 4524662 | 1087 9049 | 36 | 52 750.76/750.98 c 626s | 24 | 5092691 | 4538562 | 1087 9073 | 36 | 52 752.76/752.98 c 628s | 24 | 5107620 | 4552062 | 1087 9096 | 36 | 52 754.77/754.99 c 630s | 24 | 5123371 | 4565862 | 1087 9119 | 36 | 52 756.87/757.01 c 632s | 24 | 5138793 | 4579262 | 1087 9142 | 36 | 52 758.86/759.01 c 634s | 24 | 5154773 | 4593162 | 1087 9166 | 36 | 52 760.86/761.01 c 636s | 24 | 5170507 | 4606862 | 1087 9190 | 36 | 52 762.85/763.02 c 638s | 24 | 5187963 | 4621762 | 1087 9215 | 36 | 52 764.85/765.02 c 640s | 24 | 5205931 | 4637062 | 1087 9241 | 36 | 52 766.86/767.03 c 642s | 24 | 5223450 | 4651562 | 1087 9266 | 36 | 52 768.85/769.05 c 644s | 24 | 5240467 | 4666062 | 1087 9290 | 36 | 52 770.85/771.06 c 646s | 24 | 5255976 | 4679362 | 1087 9313 | 36 | 52 772.85/773.06 c 648s | 24 | 5272520 | 4693362 | 1087 9337 | 36 | 52 774.85/775.07 c 650s | 24 | 5288948 | 4707562 | 1087 9361 | 36 | 52 776.85/777.08 c 652s | 24 | 5305347 | 4722162 | 1087 9385 | 36 | 52 778.85/779.09 c 654s | 24 | 5322466 | 4736862 | 1087 9411 | 36 | 52 780.95/781.10 c 656s | 24 | 5338608 | 4750662 | 1087 9434 | 36 | 52 782.94/783.10 c 658s | 24 | 5353635 | 4764062 | 1087 9457 | 36 | 52 784.94/785.11 c 660s | 24 | 5369786 | 4778462 | 1087 9481 | 36 | 52 786.94/787.12 c 662s | 24 | 5386507 | 4793262 | 1087 9507 | 36 | 52 788.94/789.13 c 664s | 24 | 5404630 | 4808662 | 1087 9533 | 36 | 52 790.95/791.14 c 666s | 24 | 5420691 | 4822462 | 1087 9556 | 36 | 52 792.94/793.15 c 668s | 24 | 5437434 | 4837162 | 1087 9581 | 36 | 52 794.94/795.16 c 670s | 24 | 5454887 | 4852662 | 1087 9607 | 36 | 52 796.94/797.17 c 672s | 24 | 5470763 | 4866862 | 1087 9631 | 36 | 52 798.94/799.17 c 674s | 24 | 5487434 | 4880862 | 1087 9655 | 36 | 52 800.95/801.17 c 676s | 24 | 5504083 | 4894762 | 1087 9679 | 36 | 52 802.94/803.19 c 678s | 24 | 5518911 | 4907762 | 1087 9701 | 36 | 52 805.04/805.20 c 680s | 24 | 5534790 | 4921762 | 1087 9725 | 36 | 52 807.04/807.20 c 682s | 24 | 5550755 | 4935662 | 1087 9748 | 36 | 52 809.04/809.21 c 684s | 24 | 5565976 | 4949162 | 1087 9771 | 36 | 52 811.04/811.21 c 686s | 24 | 5581953 | 4963162 | 1087 9795 | 36 | 52 813.04/813.22 c 688s | 24 | 5597704 | 4976562 | 1087 9818 | 36 | 52 815.03/815.22 c 690s | 24 | 5611997 | 4989262 | 1087 9839 | 36 | 52 817.03/817.23 c 692s | 24 | 5626266 | 5002262 | 1087 9862 | 36 | 52 819.03/819.24 c 694s | 24 | 5641024 | 5015562 | 1087 9884 | 36 | 52 821.03/821.25 c 696s | 24 | 5654445 | 5027962 | 1087 9905 | 36 | 52 823.02/823.26 c 698s | 24 | 5668040 | 5040162 | 1087 9926 | 36 | 52 825.03/825.28 c 700s | 24 | 5681427 | 5052462 | 1087 9947 | 36 | 52 826.82/827.06 c 702s | 25 | 5695756 | 5065098 | 1087 9968 | 36 | 52 828.82/829.07 c 704s | 25 | 5712127 | 5080298 | 1087 9994 | 36 | 52 830.82/831.07 c 706s | 25 | 5726843 | 5094098 | 1087 10017 | 36 | 52 832.82/833.07 c 708s | 25 | 5741922 | 5108298 | 1087 10041 | 36 | 52 834.82/835.08 c 710s | 25 | 5756403 | 5121998 | 1087 10064 | 36 | 52 836.81/837.09 c 712s | 25 | 5772219 | 5136698 | 1087 10089 | 36 | 52 838.91/839.10 c 714s | 25 | 5787676 | 5151098 | 1087 10113 | 36 | 52 840.91/841.11 c 716s | 25 | 5803139 | 5165798 | 1087 10138 | 36 | 52 842.91/843.11 c 718s | 25 | 5819517 | 5180898 | 1087 10163 | 36 | 52 844.93/845.12 c 720s | 25 | 5836327 | 5196698 | 1087 10190 | 36 | 52 846.92/847.13 c 722s | 25 | 5851718 | 5211098 | 1087 10214 | 36 | 52 848.92/849.13 c 724s | 25 | 5866833 | 5225298 | 1087 10238 | 36 | 52 850.92/851.14 c 726s | 25 | 5882813 | 5240298 | 1087 10263 | 36 | 52 852.91/853.14 c 728s | 25 | 5898340 | 5254798 | 1087 10288 | 36 | 52 854.91/855.15 c 730s | 25 | 5913192 | 5268498 | 1087 10311 | 36 | 52 856.92/857.17 c 732s | 25 | 5928308 | 5282498 | 1087 10335 | 36 | 52 858.91/859.17 c 734s | 25 | 5943621 | 5296398 | 1087 10358 | 36 | 52 860.91/861.18 c 736s | 25 | 5958195 | 5310098 | 1087 10382 | 36 | 52 862.91/863.19 c 738s | 25 | 5973929 | 5324498 | 1087 10406 | 36 | 52 865.01/865.20 c 740s | 25 | 5990118 | 5339398 | 1087 10431 | 36 | 52 867.01/867.21 c 742s | 25 | 6005651 | 5353898 | 1087 10456 | 36 | 52 869.01/869.21 c 744s | 25 | 6021729 | 5367998 | 1087 10480 | 36 | 52 871.01/871.22 c 746s | 25 | 6038386 | 5382198 | 1087 10504 | 36 | 52 873.01/873.23 c 748s | 25 | 6053548 | 5395398 | 1087 10526 | 36 | 52 875.01/875.24 c 750s | 25 | 6067299 | 5407998 | 1087 10548 | 36 | 52 877.00/877.25 c 752s | 25 | 6080997 | 5420898 | 1087 10569 | 36 | 52 879.01/879.26 c 754s | 25 | 6094830 | 5433798 | 1087 10591 | 36 | 52 881.00/881.26 c 756s | 25 | 6108468 | 5446498 | 1087 10613 | 36 | 52 883.00/883.28 c 758s | 25 | 6121409 | 5458698 | 1087 10634 | 36 | 52 885.00/885.29 c 760s | 25 | 6136693 | 5472998 | 1087 10658 | 36 | 52 887.10/887.30 c 762s | 25 | 6151304 | 5486998 | 1087 10681 | 36 | 52 889.10/889.31 c 764s | 25 | 6166566 | 5500898 | 1087 10705 | 36 | 52 891.10/891.31 c 766s | 25 | 6181706 | 5514298 | 1087 10728 | 36 | 52 893.09/893.32 c 768s | 25 | 6195481 | 5526998 | 1087 10749 | 36 | 52 895.09/895.33 c 770s | 25 | 6210026 | 5540598 | 1087 10773 | 36 | 52 897.09/897.35 c 772s | 25 | 6226050 | 5555198 | 1087 10797 | 36 | 52 899.09/899.35 c 774s | 25 | 6241743 | 5569798 | 1087 10822 | 36 | 52 901.09/901.35 c 776s | 25 | 6257895 | 5584498 | 1087 10847 | 36 | 52 903.10/903.36 c 778s | 25 | 6273843 | 5598898 | 1087 10871 | 36 | 52 905.10/905.37 c 780s | 25 | 6288537 | 5612598 | 1087 10895 | 36 | 52 907.10/907.38 c 782s | 25 | 6304395 | 5626798 | 1087 10919 | 36 | 52 909.10/909.40 c 784s | 25 | 6319717 | 5640998 | 1087 10943 | 36 | 52 911.20/911.41 c 786s | 25 | 6334511 | 5654698 | 1087 10966 | 36 | 52 913.19/913.41 c 788s | 25 | 6349448 | 5668498 | 1087 10989 | 36 | 52 915.20/915.42 c 790s | 25 | 6364669 | 5682698 | 1087 11013 | 36 | 52 917.19/917.42 c 792s | 25 | 6380012 | 5696998 | 1087 11037 | 36 | 52 919.19/919.42 c 794s | 25 | 6393911 | 5709998 | 1087 11060 | 36 | 52 921.19/921.43 c 796s | 25 | 6408544 | 5723898 | 1087 11083 | 36 | 52 923.19/923.43 c 798s | 25 | 6423242 | 5737798 | 1087 11107 | 36 | 52 925.20/925.44 c 800s | 25 | 6438163 | 5751498 | 1087 11130 | 36 | 52 927.19/927.44 c 802s | 25 | 6452314 | 5764698 | 1087 11152 | 36 | 52 929.19/929.45 c 804s | 25 | 6467494 | 5778798 | 1087 11176 | 36 | 52 931.19/931.46 c 806s | 25 | 6482434 | 5792298 | 1087 11199 | 36 | 52 933.18/933.47 c 808s | 25 | 6496263 | 5805398 | 1087 11221 | 36 | 52 935.18/935.48 c 810s | 25 | 6510177 | 5818298 | 1087 11243 | 36 | 52 937.19/937.48 c 812s | 25 | 6524867 | 5831898 | 1087 11266 | 36 | 52 939.18/939.49 c 814s | 25 | 6540590 | 5846398 | 1087 11291 | 36 | 52 941.18/941.49 c 816s | 25 | 6555557 | 5860298 | 1087 11314 | 36 | 52 943.28/943.50 c 818s | 25 | 6570341 | 5873898 | 1087 11337 | 36 | 52 945.27/945.50 c 820s | 25 | 6584576 | 5887298 | 1087 11359 | 36 | 52 947.27/947.51 c 822s | 25 | 6598778 | 5900598 | 1087 11382 | 36 | 52 949.28/949.51 c 824s | 25 | 6612145 | 5913198 | 1087 11403 | 36 | 52 951.27/951.53 c 826s | 25 | 6626486 | 5926598 | 1087 11426 | 36 | 52 953.27/953.53 c 828s | 25 | 6641574 | 5940298 | 1087 11449 | 36 | 52 955.27/955.53 c 830s | 25 | 6656169 | 5953698 | 1087 11472 | 36 | 52 957.27/957.53 c 832s | 25 | 6670333 | 5966698 | 1087 11494 | 36 | 52 959.28/959.54 c 834s | 25 | 6685350 | 5980398 | 1087 11517 | 36 | 52 961.27/961.54 c 836s | 25 | 6702018 | 5995198 | 1087 11542 | 36 | 52 963.27/963.55 c 838s | 25 | 6719452 | 6010398 | 1087 11568 | 36 | 52 965.27/965.56 c 840s | 25 | 6735693 | 6024498 | 1087 11592 | 36 | 52 967.27/967.56 c 842s | 25 | 6751536 | 6038298 | 1087 11615 | 36 | 52 969.27/969.58 c 844s | 25 | 6766824 | 6051798 | 1087 11638 | 36 | 52 971.27/971.58 c 846s | 25 | 6781291 | 6064598 | 1087 11660 | 36 | 52 973.26/973.59 c 848s | 25 | 6796767 | 6078098 | 1087 11683 | 36 | 52 975.26/975.59 c 850s | 25 | 6812183 | 6091598 | 1087 11706 | 36 | 52 977.36/977.60 c 852s | 25 | 6826870 | 6104398 | 1087 11727 | 36 | 52 979.36/979.61 c 854s | 25 | 6841792 | 6117498 | 1087 11750 | 36 | 52 981.36/981.61 c 856s | 25 | 6856521 | 6130398 | 1087 11772 | 36 | 52 983.36/983.62 c 858s | 25 | 6871151 | 6143198 | 1087 11793 | 36 | 52 985.36/985.63 c 860s | 25 | 6886706 | 6156998 | 1087 11817 | 36 | 52 987.35/987.65 c 862s | 25 | 6902399 | 6170998 | 1087 11840 | 36 | 52 989.36/989.65 c 864s | 25 | 6918039 | 6184398 | 1087 11863 | 36 | 52 991.36/991.66 c 866s | 25 | 6933752 | 6198098 | 1087 11887 | 36 | 52 993.37/993.67 c 868s | 25 | 6949527 | 6212098 | 1087 11910 | 36 | 52 995.36/995.67 c 870s | 25 | 6965177 | 6225798 | 1087 11934 | 36 | 52 997.35/997.68 c 872s | 25 | 6981242 | 6239898 | 1087 11958 | 36 | 52 999.35/999.69 c 874s | 25 | 6996051 | 6253198 | 1087 11980 | 36 | 52 1001.35/1001.69 c 876s | 25 | 7011323 | 6267098 | 1087 12004 | 36 | 52 1003.45/1003.70 c 878s | 25 | 7026511 | 6280698 | 1087 12027 | 36 | 52 1005.46/1005.71 c 881s | 25 | 7041579 | 6294398 | 1087 12050 | 36 | 52 1007.45/1007.72 c 883s | 25 | 7057530 | 6308298 | 1087 12074 | 36 | 52 1009.45/1009.73 c 885s | 25 | 7073020 | 6321998 | 1087 12097 | 36 | 52 1011.45/1011.73 c 887s | 25 | 7088229 | 6335598 | 1087 12120 | 36 | 52 1013.45/1013.74 c 889s | 25 | 7103114 | 6348898 | 1087 12143 | 36 | 52 1015.45/1015.74 c 891s | 25 | 7117480 | 6361898 | 1087 12165 | 36 | 52 1017.45/1017.74 c 893s | 25 | 7131221 | 6374798 | 1087 12187 | 36 | 52 1019.45/1019.74 c 895s | 25 | 7145291 | 6387598 | 1087 12209 | 36 | 52 1021.45/1021.75 c 897s | 25 | 7160417 | 6400998 | 1087 12232 | 36 | 52 1023.44/1023.76 c 899s | 25 | 7174730 | 6413998 | 1087 12254 | 36 | 52 1025.44/1025.77 c 901s | 25 | 7189165 | 6426998 | 1087 12276 | 36 | 52 1027.45/1027.77 c 903s | 25 | 7203263 | 6439898 | 1087 12298 | 36 | 52 1029.44/1029.78 c 905s | 25 | 7218408 | 6453398 | 1087 12321 | 36 | 52 1031.44/1031.79 c 907s | 25 | 7233261 | 6466698 | 1087 12343 | 36 | 52 1033.54/1033.80 c 909s | 25 | 7246434 | 6479098 | 1087 12364 | 36 | 52 1035.54/1035.82 c 911s | 25 | 7262226 | 6493198 | 1087 12388 | 36 | 52 1037.54/1037.82 c 913s | 25 | 7278350 | 6507098 | 1087 12412 | 36 | 52 1039.54/1039.82 c 915s | 25 | 7292812 | 6519898 | 1087 12434 | 36 | 52 1041.54/1041.83 c 917s | 25 | 7308471 | 6533698 | 1087 12457 | 36 | 52 1043.53/1043.83 c 919s | 25 | 7322539 | 6546498 | 1087 12479 | 36 | 52 1045.53/1045.85 c 921s | 25 | 7337786 | 6560198 | 1087 12502 | 36 | 52 1047.53/1047.85 c 923s | 25 | 7351112 | 6572498 | 1196 12522 | 36 | 52 1049.53/1049.86 c 925s | 25 | 7365909 | 6586098 | 1196 12543 | 36 | 52 1051.54/1051.86 c 927s | 25 | 7380791 | 6599698 | 1196 12564 | 36 | 52 1053.53/1053.87 c 929s | 25 | 7395039 | 6612798 | 1196 12585 | 36 | 52 1055.53/1055.89 c 931s | 25 | 7410625 | 6626698 | 1196 12606 | 36 | 52 1057.63/1057.90 c 933s | 25 | 7424925 | 6639898 | 1196 12627 | 36 | 52 1059.63/1059.90 c 935s | 25 | 7440146 | 6654098 | 1196 12649 | 36 | 52 1061.63/1061.91 c 937s | 25 | 7454095 | 6666998 | 1196 12669 | 36 | 52 1063.63/1063.91 c 939s | 25 | 7467485 | 6679598 | 1196 12688 | 36 | 52 1065.62/1065.92 c 941s | 25 | 7482703 | 6693398 | 1196 12710 | 36 | 52 1067.62/1067.93 c 943s | 25 | 7498674 | 6707998 | 1196 12732 | 36 | 52 1069.62/1069.94 c 945s | 25 | 7514419 | 6722198 | 1196 12754 | 36 | 52 1071.62/1071.95 c 947s | 25 | 7529062 | 6735598 | 1196 12775 | 36 | 52 1073.63/1073.96 c 949s | 25 | 7543777 | 6748998 | 1196 12796 | 36 | 52 1075.62/1075.97 c 951s | 25 | 7557342 | 6761598 | 1196 12816 | 36 | 52 1077.62/1077.98 c 953s | 25 | 7571779 | 6774898 | 1196 12836 | 36 | 52 1079.73/1080.00 c 955s | 25 | 7587216 | 6788598 | 1196 12858 | 36 | 52 1081.72/1082.00 c 957s | 25 | 7602090 | 6801698 | 1196 12878 | 36 | 52 1083.72/1084.01 c 959s | 25 | 7616416 | 6814398 | 1196 12897 | 36 | 52 1085.72/1086.03 c 961s | 25 | 7631142 | 6827598 | 1196 12918 | 36 | 52 1087.71/1088.04 c 963s | 25 | 7645727 | 6840498 | 1196 12938 | 36 | 52 1089.71/1090.04 c 965s | 25 | 7661045 | 6854098 | 1196 12959 | 36 | 52 1091.71/1092.04 c 967s | 25 | 7675738 | 6868098 | 1196 12980 | 36 | 52 1093.71/1094.05 c 969s | 25 | 7691104 | 6882198 | 1196 13002 | 36 | 52 1095.71/1096.05 c 971s | 25 | 7706238 | 6896098 | 1196 13023 | 36 | 52 1097.72/1098.06 c 973s | 25 | 7720974 | 6909498 | 1196 13044 | 36 | 52 1099.71/1100.06 c 975s | 25 | 7735644 | 6922998 | 1196 13065 | 36 | 52 1101.71/1102.07 c 977s | 25 | 7750157 | 6936198 | 1196 13085 | 36 | 52 1103.71/1104.07 c 979s | 25 | 7764336 | 6948998 | 1196 13104 | 36 | 52 1105.70/1106.08 c 981s | 25 | 7778238 | 6961598 | 1196 13124 | 36 | 52 1107.71/1108.09 c 983s | 25 | 7791925 | 6973698 | 1196 13142 | 36 | 52 1109.70/1110.10 c 985s | 25 | 7806820 | 6986998 | 1196 13163 | 36 | 52 1111.80/1112.11 c 987s | 25 | 7821956 | 7000598 | 1196 13184 | 36 | 52 1113.80/1114.12 c 989s | 25 | 7836268 | 7013398 | 1196 13203 | 36 | 52 1115.80/1116.12 c 991s | 25 | 7849934 | 7025498 | 1196 13222 | 36 | 52 1117.80/1118.13 c 993s | 25 | 7864380 | 7038498 | 1196 13242 | 36 | 52 1119.80/1120.13 c 995s | 25 | 7881156 | 7053598 | 1196 13265 | 36 | 52 1121.80/1122.14 c 997s | 25 | 7898378 | 7068598 | 1196 13288 | 36 | 52 1123.79/1124.15 c 999s | 25 | 7914390 | 7082698 | 1196 13310 | 36 | 52 1125.79/1126.15 c 1001s | 25 | 7930772 | 7096998 | 1196 13332 | 36 | 52 1127.79/1128.16 c 1003s | 25 | 7946447 | 7111198 | 1196 13354 | 36 | 52 1129.79/1130.17 c 1005s | 25 | 7962224 | 7125198 | 1196 13376 | 36 | 52 1131.80/1132.17 c 1007s | 25 | 7977992 | 7139198 | 1196 13397 | 36 | 52 1133.79/1134.18 c 1009s | 25 | 7993375 | 7152898 | 1196 13418 | 36 | 52 1135.79/1136.19 c 1011s | 25 | 8008686 | 7166598 | 1196 13440 | 36 | 52 1137.80/1138.19 c 1013s | 25 | 8024527 | 7180998 | 1196 13462 | 36 | 52 1139.89/1140.20 c 1015s | 25 | 8038906 | 7194498 | 1196 13483 | 36 | 52 1141.89/1142.21 c 1017s | 25 | 8054629 | 7208698 | 1196 13505 | 36 | 52 1143.90/1144.22 c 1019s | 25 | 8069203 | 7222198 | 1196 13525 | 36 | 52 1145.89/1146.22 c 1021s | 25 | 8084166 | 7235898 | 1196 13547 | 36 | 52 1147.89/1148.23 c 1023s | 25 | 8098769 | 7249298 | 1196 13567 | 36 | 52 1149.89/1150.25 c 1025s | 25 | 8115054 | 7263698 | 1196 13590 | 36 | 52 1151.88/1152.26 c 1027s | 25 | 8134085 | 7279298 | 1196 13614 | 36 | 52 1153.89/1154.26 c 1029s | 25 | 8151528 | 7294298 | 1196 13637 | 36 | 52 1155.88/1156.26 c 1031s | 25 | 8168303 | 7309098 | 1196 13660 | 36 | 52 1157.88/1158.26 c 1033s | 25 | 8185516 | 7323898 | 1196 13683 | 36 | 52 1159.88/1160.27 c 1035s | 25 | 8202724 | 7338298 | 1196 13705 | 36 | 52 1161.88/1162.28 c 1037s | 25 | 8219309 | 7352498 | 1196 13727 | 36 | 52 1163.88/1164.29 c 1039s | 25 | 8235145 | 7366498 | 1196 13748 | 36 | 52 1165.89/1166.29 c 1041s | 25 | 8251878 | 7380398 | 1196 13770 | 36 | 52 1167.98/1168.30 c 1043s | 25 | 8267492 | 7393298 | 1196 13790 | 36 | 52 1169.98/1170.31 c 1045s | 25 | 8283503 | 7407598 | 1196 13812 | 36 | 52 1171.97/1172.31 c 1047s | 25 | 8299418 | 7421698 | 1196 13834 | 36 | 52 1173.97/1174.33 c 1049s | 25 | 8314696 | 7435598 | 1196 13856 | 36 | 52 1175.97/1176.34 c 1051s | 25 | 8330575 | 7449698 | 1196 13877 | 36 | 52 1177.98/1178.35 c 1053s | 25 | 8345641 | 7463198 | 1196 13898 | 36 | 52 1179.97/1180.36 c 1055s | 25 | 8360747 | 7476798 | 1196 13919 | 36 | 52 1181.97/1182.36 c 1057s | 25 | 8376466 | 7490798 | 1196 13941 | 36 | 52 1183.97/1184.36 c 1059s | 25 | 8391656 | 7504598 | 1196 13962 | 36 | 52 1185.97/1186.38 c 1061s | 25 | 8406691 | 7518298 | 1196 13984 | 36 | 52 1187.97/1188.38 c 1063s | 25 | 8423059 | 7532498 | 1196 14006 | 36 | 52 1189.97/1190.39 c 1065s | 25 | 8439535 | 7547098 | 1196 14028 | 36 | 52 1192.06/1192.40 c 1067s | 25 | 8457263 | 7561998 | 1196 14051 | 36 | 52 1194.06/1194.41 c 1069s | 25 | 8473452 | 7576198 | 1196 14073 | 36 | 52 1196.06/1196.42 c 1071s | 25 | 8488654 | 7589998 | 1196 14095 | 36 | 52 1197.16/1197.53 c 1072s | 26 | 8497158 | 7597752 | 1196 14107 | 36 | 52 1199.16/1199.54 c 1074s | 26 | 8514269 | 7612952 | 1196 14130 | 36 | 52 1201.17/1201.55 c 1076s | 26 | 8530906 | 7627352 | 1196 14152 | 36 | 52 1203.17/1203.56 c 1078s | 26 | 8546156 | 7640952 | 1196 14174 | 36 | 52 1205.17/1205.56 c 1080s | 26 | 8561627 | 7655152 | 1196 14196 | 36 | 52 1207.17/1207.57 c 1082s | 26 | 8575381 | 7668252 | 1196 14216 | 36 | 52 1209.17/1209.58 c 1084s | 26 | 8590827 | 7682352 | 1196 14238 | 36 | 52 1211.16/1211.59 c 1086s | 26 | 8605904 | 7696052 | 1196 14259 | 36 | 52 1213.17/1213.60 c 1088s | 26 | 8621014 | 7709852 | 1196 14280 | 36 | 52 1215.26/1215.60 c 1090s | 26 | 8636419 | 7723952 | 1196 14302 | 36 | 52 1217.26/1217.61 c 1092s | 26 | 8651672 | 7737852 | 1196 14324 | 36 | 52 1219.26/1219.62 c 1094s | 26 | 8666944 | 7751752 | 1196 14345 | 36 | 52 1221.26/1221.62 c 1096s | 26 | 8682018 | 7765352 | 1196 14367 | 36 | 52 1223.25/1223.63 c 1098s | 26 | 8697531 | 7779152 | 1196 14388 | 36 | 52 1225.26/1225.64 c 1100s | 26 | 8712928 | 7793452 | 1196 14410 | 36 | 52 1227.25/1227.64 c 1102s | 26 | 8727465 | 7806952 | 1196 14431 | 36 | 52 1229.25/1229.64 c 1104s | 26 | 8740767 | 7819652 | 1196 14451 | 36 | 52 1231.25/1231.66 c 1106s | 26 | 8755448 | 7832952 | 1196 14472 | 36 | 52 1233.25/1233.66 c 1108s | 26 | 8769758 | 7846152 | 1196 14492 | 36 | 52 1235.25/1235.66 c 1110s | 26 | 8784987 | 7859952 | 1196 14513 | 36 | 52 1237.25/1237.66 c 1112s | 26 | 8799849 | 7873552 | 1196 14535 | 36 | 52 1239.25/1239.68 c 1114s | 26 | 8815879 | 7888252 | 1196 14557 | 36 | 52 1241.25/1241.68 c 1116s | 26 | 8830784 | 7902052 | 1196 14579 | 36 | 52 1243.24/1243.69 c 1118s | 26 | 8845662 | 7915352 | 1196 14599 | 36 | 52 1245.24/1245.69 c 1120s | 26 | 8862036 | 7929652 | 1196 14621 | 36 | 52 1247.25/1247.70 c 1122s | 26 | 8877182 | 7943152 | 1196 14642 | 36 | 52 1249.34/1249.70 c 1124s | 26 | 8892436 | 7956752 | 1196 14663 | 36 | 52 1251.34/1251.70 c 1126s | 26 | 8907217 | 7970152 | 1196 14684 | 36 | 52 1253.33/1253.71 c 1129s | 26 | 8921310 | 7982952 | 1196 14704 | 36 | 52 1255.33/1255.72 c 1131s | 26 | 8936086 | 7996152 | 1196 14724 | 36 | 52 1257.33/1257.73 c 1133s | 26 | 8950241 | 8009052 | 1196 14744 | 36 | 52 1259.35/1259.74 c 1135s | 26 | 8964531 | 8021952 | 1196 14765 | 36 | 52 1261.34/1261.75 c 1137s | 26 | 8978796 | 8035052 | 1196 14785 | 36 | 52 1263.34/1263.75 c 1139s | 26 | 8993099 | 8048352 | 1196 14805 | 36 | 52 1265.33/1265.76 c 1141s | 26 | 9006629 | 8060852 | 1196 14825 | 36 | 52 1267.33/1267.77 c 1143s | 26 | 9019863 | 8073252 | 1196 14844 | 36 | 52 1269.34/1269.78 c 1145s | 26 | 9034101 | 8086152 | 1196 14864 | 36 | 52 1271.33/1271.78 c 1147s | 26 | 9048275 | 8099052 | 1196 14884 | 36 | 52 1273.33/1273.79 c 1149s | 26 | 9062995 | 8112552 | 1196 14905 | 36 | 52 1275.33/1275.79 c 1151s | 26 | 9077219 | 8125552 | 1196 14925 | 36 | 52 1277.33/1277.79 c 1153s | 26 | 9091244 | 8138452 | 1196 14945 | 36 | 52 1279.43/1279.80 c 1155s | 26 | 9106072 | 8152152 | 1196 14966 | 36 | 52 1281.43/1281.81 c 1157s | 26 | 9120868 | 8165752 | 1196 14988 | 36 | 52 1283.42/1283.81 c 1159s | 26 | 9135509 | 8179252 | 1196 15009 | 36 | 52 1285.42/1285.82 c 1161s | 26 | 9149620 | 8192252 | 1196 15029 | 36 | 52 1287.42/1287.83 c 1163s | 26 | 9163681 | 8204952 | 1196 15048 | 36 | 52 1289.42/1289.83 c 1165s | 26 | 9177277 | 8217352 | 1196 15068 | 36 | 52 1291.42/1291.85 c 1167s | 26 | 9191173 | 8230052 | 1196 15087 | 36 | 52 1293.42/1293.86 c 1169s | 26 | 9204454 | 8242252 | 1196 15106 | 36 | 52 1295.41/1295.88 c 1171s | 26 | 9217847 | 8254652 | 1196 15126 | 36 | 52 1297.41/1297.89 c 1173s | 26 | 9231396 | 8267252 | 1196 15145 | 36 | 52 1299.51/1299.90 c 1175s | 26 | 9245520 | 8280252 | 1196 15165 | 36 | 52 1301.51/1301.91 c 1177s | 26 | 9261619 | 8294752 | 1196 15188 | 36 | 52 1303.51/1303.91 c 1179s | 26 | 9277135 | 8308652 | 1196 15209 | 36 | 52 1305.51/1305.91 c 1181s | 26 | 9292264 | 8322052 | 1196 15230 | 36 | 52 1307.51/1307.92 c 1183s | 26 | 9307226 | 8335552 | 1196 15251 | 36 | 52 1309.51/1309.92 c 1185s | 26 | 9321740 | 8348752 | 1196 15272 | 36 | 52 1311.50/1311.93 c 1187s | 26 | 9336491 | 8362252 | 1196 15292 | 36 | 52 1313.50/1313.94 c 1189s | 26 | 9352738 | 8376552 | 1196 15315 | 36 | 52 1315.51/1315.95 c 1191s | 26 | 9369493 | 8391152 | 1196 15337 | 36 | 52 1317.50/1317.96 c 1193s | 26 | 9385664 | 8405452 | 1196 15359 | 36 | 52 1319.50/1319.97 c 1195s | 26 | 9400027 | 8418652 | 1196 15380 | 36 | 52 1321.50/1321.97 c 1197s | 26 | 9414413 | 8431752 | 1196 15400 | 36 | 52 1323.49/1323.97 c 1199s | 26 | 9429746 | 8445552 | 1196 15422 | 36 | 52 1325.49/1325.97 c 1201s | 26 | 9444358 | 8458952 | 1196 15442 | 36 | 52 1327.50/1327.99 c 1203s | 26 | 9459395 | 8472752 | 1196 15464 | 36 | 52 1329.60/1330.00 c 1205s | 26 | 9473734 | 8485752 | 1196 15484 | 36 | 52 1331.60/1332.01 c 1207s | 26 | 9489128 | 8499552 | 1196 15505 | 36 | 52 1333.60/1334.01 c 1209s | 26 | 9504710 | 8513452 | 1196 15527 | 36 | 52 1335.60/1336.02 c 1211s | 26 | 9520248 | 8526852 | 1196 15548 | 36 | 52 1337.60/1338.04 c 1213s | 26 | 9534859 | 8539552 | 1196 15567 | 36 | 52 1339.60/1340.05 c 1215s | 26 | 9550261 | 8553352 | 1196 15589 | 36 | 52 1341.60/1342.05 c 1217s | 26 | 9564845 | 8566252 | 1196 15609 | 36 | 52 1343.59/1344.06 c 1219s | 26 | 9578982 | 8579252 | 1196 15629 | 36 | 52 1345.59/1346.07 c 1221s | 26 | 9592999 | 8591952 | 1196 15649 | 36 | 52 1347.59/1348.08 c 1223s | 26 | 9608319 | 8605352 | 1196 15670 | 36 | 52 1349.60/1350.09 c 1225s | 26 | 9623286 | 8618552 | 1196 15690 | 36 | 52 1351.59/1352.10 c 1227s | 26 | 9637325 | 8631452 | 1196 15710 | 36 | 52 1353.68/1354.10 c 1229s | 26 | 9651236 | 8644452 | 1196 15730 | 36 | 52 1355.68/1356.11 c 1231s | 26 | 9664963 | 8657352 | 1196 15750 | 36 | 52 1357.68/1358.11 c 1233s | 26 | 9679744 | 8670652 | 1196 15771 | 36 | 52 1359.68/1360.11 c 1235s | 26 | 9694565 | 8683952 | 1196 15792 | 36 | 52 1361.69/1362.13 c 1237s | 26 | 9708576 | 8696652 | 1196 15811 | 36 | 52 1363.68/1364.14 c 1239s | 26 | 9722477 | 8709352 | 1196 15831 | 36 | 52 1365.68/1366.15 c 1241s | 26 | 9736756 | 8722052 | 1196 15851 | 36 | 52 1367.68/1368.16 c 1243s | 26 | 9750610 | 8734952 | 1196 15871 | 36 | 52 1369.68/1370.17 c 1245s | 26 | 9765855 | 8748852 | 1196 15893 | 36 | 52 1371.68/1372.18 c 1247s | 26 | 9780498 | 8762152 | 1196 15913 | 36 | 52 1373.68/1374.19 c 1249s | 26 | 9795463 | 8775752 | 1196 15934 | 36 | 52 1375.78/1376.20 c 1251s | 26 | 9810957 | 8789452 | 1196 15956 | 36 | 52 1377.78/1378.20 c 1253s | 26 | 9826564 | 8803252 | 1196 15977 | 36 | 52 1379.78/1380.21 c 1255s | 26 | 9842746 | 8817352 | 1196 15999 | 36 | 52 1381.78/1382.21 c 1257s | 26 | 9857530 | 8830852 | 1196 16020 | 36 | 52 1383.77/1384.21 c 1259s | 26 | 9872222 | 8844152 | 1196 16041 | 36 | 52 1385.78/1386.23 c 1261s | 26 | 9887472 | 8857952 | 1196 16062 | 36 | 52 1387.77/1388.23 c 1263s | 26 | 9902156 | 8871452 | 1196 16083 | 36 | 52 1389.77/1390.24 c 1265s | 26 | 9917306 | 8885152 | 1196 16104 | 36 | 52 1391.77/1392.24 c 1267s | 26 | 9933128 | 8899352 | 1196 16126 | 36 | 52 1393.77/1394.25 c 1269s | 26 | 9948725 | 8913152 | 1196 16148 | 36 | 52 1395.78/1396.27 c 1271s | 26 | 9964961 | 8927152 | 1196 16170 | 36 | 52 1397.77/1398.28 c 1273s | 26 | 9980316 | 8940252 | 1196 16190 | 36 | 52 1399.77/1400.28 c 1275s | 26 | 9995417 | 8953552 | 1196 16211 | 36 | 52 1401.77/1402.29 c 1277s | 26 | 10010139 | 8966652 | 1196 16231 | 36 | 52 1403.87/1404.30 c 1279s | 26 | 10025482 | 8980052 | 1196 16252 | 36 | 52 1405.87/1406.31 c 1281s | 26 | 10040934 | 8993352 | 1196 16273 | 36 | 52 1407.88/1408.31 c 1283s | 26 | 10055203 | 9006152 | 1196 16293 | 36 | 52 1409.87/1410.32 c 1285s | 26 | 10069663 | 9019152 | 1196 16313 | 36 | 52 1411.88/1412.32 c 1287s | 26 | 10083887 | 9031852 | 1196 16333 | 36 | 52 1413.88/1414.33 c 1289s | 26 | 10097605 | 9044052 | 1196 16352 | 36 | 52 1415.88/1416.34 c 1291s | 26 | 10112690 | 9057752 | 1196 16373 | 36 | 52 1417.88/1418.34 c 1293s | 26 | 10126562 | 9070652 | 1196 16393 | 36 | 52 1419.88/1420.35 c 1295s | 26 | 10141759 | 9083452 | 1196 16413 | 36 | 52 1421.88/1422.36 c 1297s | 26 | 10156345 | 9096452 | 1196 16433 | 36 | 52 1423.88/1424.38 c 1299s | 26 | 10170742 | 9109252 | 1196 16453 | 36 | 52 1425.88/1426.38 c 1301s | 26 | 10185327 | 9121952 | 1196 16473 | 36 | 52 1427.88/1428.38 c 1303s | 26 | 10200154 | 9135052 | 1196 16493 | 36 | 52 1429.88/1430.39 c 1305s | 26 | 10216427 | 9149152 | 1196 16515 | 36 | 52 1431.87/1432.39 c 1307s | 26 | 10233316 | 9163252 | 1196 16537 | 36 | 52 1433.87/1434.40 c 1309s | 26 | 10248971 | 9176552 | 1196 16558 | 36 | 52 1435.97/1436.40 c 1311s | 26 | 10264080 | 9189252 | 1196 16578 | 36 | 52 1437.97/1438.41 c 1313s | 26 | 10278888 | 9201652 | 1196 16597 | 36 | 52 1439.97/1440.41 c 1315s | 26 | 10293762 | 9214552 | 1196 16617 | 36 | 52 1441.98/1442.42 c 1317s | 26 | 10309161 | 9227752 | 1196 16637 | 36 | 52 1443.97/1444.42 c 1319s | 26 | 10324652 | 9240852 | 1196 16658 | 36 | 52 1445.97/1446.44 c 1321s | 26 | 10339664 | 9253552 | 1196 16677 | 36 | 52 1447.97/1448.44 c 1323s | 26 | 10354258 | 9265752 | 1196 16696 | 36 | 52 1449.97/1450.46 c 1325s | 26 | 10369565 | 9278352 | 1196 16716 | 36 | 52 1451.97/1452.46 c 1327s | 26 | 10384319 | 9291152 | 1196 16736 | 36 | 52 1453.97/1454.47 c 1329s | 26 | 10399626 | 9304452 | 1196 16757 | 36 | 52 1455.96/1456.48 c 1331s | 26 | 10414154 | 9317352 | 1196 16777 | 36 | 52 1458.06/1458.50 c 1333s | 26 | 10428111 | 9330152 | 1196 16797 | 36 | 52 1460.06/1460.51 c 1335s | 26 | 10442681 | 9342952 | 1196 16817 | 36 | 52 1462.06/1462.51 c 1337s | 26 | 10457801 | 9355552 | 1196 16836 | 36 | 52 1464.06/1464.52 c 1339s | 26 | 10472154 | 9368352 | 1196 16856 | 36 | 52 1466.07/1466.52 c 1341s | 26 | 10486651 | 9381252 | 1196 16876 | 36 | 52 1468.06/1468.53 c 1343s | 26 | 10500211 | 9393452 | 1196 16895 | 36 | 52 1470.06/1470.53 c 1345s | 26 | 10514338 | 9406152 | 1196 16915 | 36 | 52 1472.07/1472.53 c 1347s | 26 | 10527788 | 9418452 | 1196 16934 | 36 | 52 1474.07/1474.54 c 1349s | 26 | 10542087 | 9431252 | 1196 16954 | 36 | 52 1476.07/1476.55 c 1351s | 26 | 10556673 | 9444252 | 1196 16974 | 36 | 52 1478.07/1478.57 c 1353s | 26 | 10571767 | 9457552 | 1196 16995 | 36 | 52 1480.07/1480.58 c 1355s | 26 | 10586181 | 9470652 | 1196 17015 | 36 | 52 1482.06/1482.59 c 1357s | 26 | 10600414 | 9483452 | 1196 17035 | 36 | 52 1484.06/1484.59 c 1359s | 26 | 10615380 | 9496452 | 1196 17055 | 36 | 52 1486.16/1486.60 c 1361s | 26 | 10631495 | 9510952 | 1196 17078 | 36 | 52 1488.17/1488.61 c 1363s | 26 | 10647712 | 9525152 | 1196 17100 | 36 | 52 1490.16/1490.62 c 1365s | 26 | 10663702 | 9538652 | 1196 17121 | 36 | 52 1492.16/1492.62 c 1367s | 26 | 10679504 | 9552852 | 1196 17143 | 36 | 52 1494.16/1494.63 c 1369s | 26 | 10696435 | 9567352 | 1196 17166 | 36 | 52 1496.16/1496.63 c 1371s | 26 | 10713784 | 9581852 | 1196 17188 | 36 | 52 1498.16/1498.64 c 1373s | 26 | 10729776 | 9595752 | 1196 17210 | 36 | 52 1500.17/1500.65 c 1375s | 26 | 10745598 | 9609652 | 1196 17231 | 36 | 52 1502.16/1502.66 c 1377s | 26 | 10761067 | 9623252 | 1196 17252 | 36 | 52 1504.16/1504.66 c 1379s | 26 | 10775877 | 9636552 | 1196 17273 | 36 | 52 1506.16/1506.67 c 1381s | 26 | 10789801 | 9649352 | 1196 17293 | 36 | 52 1508.16/1508.67 c 1383s | 26 | 10804910 | 9662752 | 1196 17313 | 36 | 52 1510.16/1510.68 c 1385s | 26 | 10818675 | 9675652 | 1196 17333 | 36 | 52 1512.16/1512.69 c 1387s | 26 | 10834708 | 9690152 | 1196 17356 | 36 | 52 1514.25/1514.70 c 1389s | 26 | 10850665 | 9704852 | 1196 17379 | 36 | 52 1516.25/1516.71 c 1392s | 26 | 10867300 | 9719552 | 1196 17401 | 36 | 52 1518.25/1518.71 c 1394s | 26 | 10882956 | 9733352 | 1196 17423 | 36 | 52 1520.25/1520.72 c 1396s | 26 | 10897235 | 9746252 | 1196 17443 | 36 | 52 1522.26/1522.72 c 1398s | 26 | 10912489 | 9760052 | 1196 17464 | 36 | 52 1524.25/1524.73 c 1400s | 26 | 10928427 | 9774052 | 1196 17486 | 36 | 52 1526.25/1526.75 c 1402s | 26 | 10942830 | 9787352 | 1196 17507 | 36 | 52 1528.25/1528.76 c 1404s | 26 | 10958225 | 9801252 | 1196 17529 | 36 | 52 1530.25/1530.76 c 1406s | 26 | 10972163 | 9814152 | 1196 17549 | 36 | 52 1532.26/1532.77 c 1408s | 26 | 10988488 | 9828652 | 1196 17571 | 36 | 52 1534.27/1534.78 c 1410s | 26 | 11004439 | 9843052 | 1196 17593 | 36 | 52 1536.26/1536.79 c 1412s | 26 | 11020537 | 9857552 | 1196 17616 | 36 | 52 1538.36/1538.80 c 1414s | 26 | 11035317 | 9870852 | 1196 17636 | 36 | 52 1540.36/1540.81 c 1416s | 26 | 11050502 | 9884052 | 1196 17657 | 36 | 52 1542.36/1542.82 c 1418s | 26 | 11065799 | 9897652 | 1196 17678 | 36 | 52 1544.36/1544.83 c 1420s | 26 | 11080595 | 9910852 | 1196 17698 | 36 | 52 1546.37/1546.83 c 1422s | 26 | 11095113 | 9923952 | 1196 17719 | 36 | 52 1548.36/1548.84 c 1424s | 26 | 11109451 | 9937152 | 1196 17739 | 36 | 52 1550.36/1550.84 c 1426s | 26 | 11123983 | 9950652 | 1196 17760 | 36 | 52 1552.36/1552.85 c 1428s | 26 | 11138902 | 9964052 | 1196 17781 | 36 | 52 1554.36/1554.85 c 1430s | 26 | 11154675 | 9978252 | 1196 17803 | 36 | 52 1556.36/1556.85 c 1432s | 26 | 11170078 | 9992052 | 1196 17824 | 36 | 52 1558.36/1558.86 c 1434s | 26 | 11185661 | 10006052 | 1196 17846 | 36 | 52 1560.36/1560.86 c 1436s | 26 | 11201396 | 10019752 | 1196 17867 | 36 | 52 1562.36/1562.87 c 1438s | 26 | 11216587 | 10033152 | 1196 17888 | 36 | 52 1564.36/1564.88 c 1440s | 26 | 11231732 | 10046552 | 1196 17909 | 36 | 52 1566.35/1566.88 c 1442s | 26 | 11246400 | 10059652 | 1196 17929 | 36 | 52 1568.36/1568.89 c 1444s | 26 | 11260807 | 10072652 | 1196 17950 | 36 | 52 1570.35/1570.89 c 1446s | 26 | 11275823 | 10086152 | 1196 17971 | 36 | 52 1572.45/1572.91 c 1448s | 26 | 11290806 | 10099252 | 1196 17991 | 36 | 52 1574.45/1574.91 c 1450s | 26 | 11306175 | 10113052 | 1196 18012 | 36 | 52 1576.45/1576.93 c 1452s | 26 | 11321906 | 10127052 | 1196 18034 | 36 | 52 1578.45/1578.94 c 1454s | 26 | 11337622 | 10141152 | 1196 18056 | 36 | 52 1580.46/1580.94 c 1456s | 26 | 11353455 | 10155252 | 1196 18078 | 36 | 52 1582.45/1582.95 c 1458s | 26 | 11368612 | 10169052 | 1196 18100 | 36 | 52 1584.45/1584.96 c 1460s | 26 | 11384584 | 10183352 | 1196 18122 | 36 | 52 1586.45/1586.96 c 1462s | 26 | 11399965 | 10197252 | 1196 18143 | 36 | 52 1588.45/1588.97 c 1464s | 26 | 11415122 | 10211152 | 1196 18165 | 36 | 52 1590.45/1590.97 c 1466s | 26 | 11430208 | 10224652 | 1196 18186 | 36 | 52 1592.45/1592.97 c 1468s | 26 | 11444975 | 10237852 | 1196 18206 | 36 | 52 1594.45/1594.98 c 1470s | 26 | 11459221 | 10250752 | 1196 18226 | 36 | 52 1596.45/1596.99 c 1472s | 26 | 11473606 | 10263652 | 1196 18247 | 36 | 52 1598.55/1599.00 c 1474s | 26 | 11488650 | 10277252 | 1196 18268 | 36 | 52 1600.55/1601.01 c 1476s | 26 | 11503260 | 10290552 | 1196 18288 | 36 | 52 1602.55/1603.02 c 1478s | 26 | 11518515 | 10304352 | 1196 18310 | 36 | 52 1604.54/1605.02 c 1480s | 26 | 11534122 | 10317952 | 1196 18331 | 36 | 52 1606.54/1607.04 c 1482s | 26 | 11548840 | 10331252 | 1196 18352 | 36 | 52 1608.54/1609.04 c 1484s | 26 | 11563720 | 10344752 | 1316 18372 | 36 | 52 1610.54/1611.05 c 1486s | 26 | 11577907 | 10357752 | 1316 18390 | 36 | 52 1612.54/1613.06 c 1488s | 26 | 11592127 | 10370852 | 1316 18409 | 36 | 52 1614.55/1615.06 c 1490s | 26 | 11606753 | 10384052 | 1316 18428 | 36 | 52 1616.54/1617.07 c 1492s | 26 | 11621086 | 10397052 | 1316 18446 | 36 | 52 1618.54/1619.09 c 1494s | 26 | 11634983 | 10409752 | 1316 18464 | 36 | 52 1620.64/1621.11 c 1496s | 26 | 11648731 | 10422352 | 1316 18482 | 36 | 52 1622.64/1623.11 c 1498s | 26 | 11661797 | 10434652 | 1316 18499 | 36 | 52 1624.65/1625.12 c 1500s | 26 | 11675825 | 10447552 | 1316 18518 | 36 | 52 1626.65/1627.13 c 1502s | 26 | 11690447 | 10460552 | 1316 18536 | 36 | 52 1628.65/1629.14 c 1504s | 26 | 11705023 | 10473652 | 1316 18555 | 36 | 52 1630.65/1631.14 c 1506s | 26 | 11719353 | 10486552 | 1316 18573 | 36 | 52 1632.65/1633.14 c 1508s | 26 | 11732817 | 10498752 | 1316 18590 | 36 | 52 1634.64/1635.16 c 1510s | 26 | 11746384 | 10511352 | 1316 18608 | 36 | 52 1636.65/1637.17 c 1512s | 26 | 11760793 | 10524452 | 1316 18627 | 36 | 52 1638.64/1639.17 c 1514s | 26 | 11775879 | 10537752 | 1316 18646 | 36 | 52 1640.64/1641.17 c 1516s | 26 | 11789226 | 10549852 | 1316 18663 | 36 | 52 1642.64/1643.18 c 1518s | 26 | 11802855 | 10562152 | 1316 18680 | 36 | 52 1644.64/1645.19 c 1520s | 26 | 11816348 | 10574452 | 1316 18698 | 36 | 52 1646.64/1647.20 c 1522s | 26 | 11829929 | 10586552 | 1316 18715 | 36 | 52 1648.65/1649.20 c 1524s | 26 | 11842849 | 10598352 | 1316 18732 | 36 | 52 1650.74/1651.21 c 1526s | 26 | 11857162 | 10610852 | 1316 18750 | 36 | 52 1652.74/1653.21 c 1528s | 26 | 11873908 | 10625552 | 1316 18770 | 36 | 52 1654.74/1655.22 c 1530s | 26 | 11891074 | 10640752 | 1316 18792 | 36 | 52 1656.74/1657.23 c 1532s | 26 | 11907662 | 10655352 | 1316 18813 | 36 | 52 1658.74/1659.23 c 1534s | 26 | 11924536 | 10669952 | 1316 18833 | 36 | 52 1660.74/1661.23 c 1536s | 26 | 11939467 | 10683152 | 1316 18852 | 36 | 52 1662.74/1663.23 c 1538s | 26 | 11953110 | 10695452 | 1316 18869 | 36 | 52 1664.74/1665.24 c 1540s | 26 | 11967970 | 10708252 | 1316 18887 | 36 | 52 1666.73/1667.25 c 1542s | 26 | 11983198 | 10721552 | 1316 18906 | 36 | 52 1668.73/1669.25 c 1544s | 26 | 11998904 | 10734952 | 1316 18925 | 36 | 52 1670.74/1671.26 c 1546s | 26 | 12013603 | 10747352 | 1316 18943 | 36 | 52 1672.73/1673.27 c 1548s | 26 | 12028761 | 10760552 | 1316 18961 | 36 | 52 1674.73/1675.29 c 1550s | 26 | 12043168 | 10773152 | 1316 18979 | 36 | 52 1676.83/1677.30 c 1552s | 26 | 12057806 | 10785952 | 1316 18997 | 36 | 52 1678.83/1679.31 c 1554s | 26 | 12073151 | 10799252 | 1316 19016 | 36 | 52 1680.83/1681.32 c 1556s | 26 | 12088007 | 10812252 | 1316 19035 | 36 | 52 1682.84/1683.32 c 1558s | 26 | 12102652 | 10824952 | 1316 19052 | 36 | 52 1684.83/1685.33 c 1560s | 26 | 12117876 | 10837852 | 1316 19071 | 36 | 52 1686.84/1687.34 c 1562s | 26 | 12131698 | 10850052 | 1316 19088 | 36 | 52 1688.84/1689.35 c 1564s | 26 | 12145935 | 10862552 | 1316 19106 | 36 | 52 1690.84/1691.36 c 1566s | 26 | 12159985 | 10874652 | 1316 19123 | 36 | 52 1692.84/1693.36 c 1568s | 26 | 12173941 | 10887252 | 1316 19141 | 36 | 52 1694.84/1695.37 c 1570s | 26 | 12187925 | 10899852 | 1316 19159 | 36 | 52 1696.84/1697.39 c 1572s | 26 | 12201496 | 10912452 | 1316 19176 | 36 | 52 1698.93/1699.40 c 1574s | 26 | 12215457 | 10925152 | 1316 19194 | 36 | 52 1700.93/1701.41 c 1576s | 26 | 12229658 | 10937852 | 1316 19212 | 36 | 52 1702.93/1703.42 c 1578s | 26 | 12243239 | 10949952 | 1316 19230 | 36 | 52 1704.93/1705.43 c 1580s | 26 | 12257590 | 10962852 | 1316 19248 | 36 | 52 1706.94/1707.44 c 1582s | 26 | 12273112 | 10976852 | 1316 19268 | 36 | 52 1708.93/1709.44 c 1584s | 26 | 12286719 | 10989152 | 1316 19285 | 36 | 52 1710.93/1711.45 c 1586s | 26 | 12300755 | 11001652 | 1316 19303 | 36 | 52 1712.93/1713.45 c 1588s | 26 | 12315436 | 11014652 | 1316 19321 | 36 | 52 1714.93/1715.45 c 1590s | 26 | 12330115 | 11027752 | 1316 19340 | 36 | 52 1716.94/1717.47 c 1592s | 26 | 12345247 | 11041252 | 1316 19359 | 36 | 52 1718.93/1719.47 c 1594s | 26 | 12360379 | 11054552 | 1316 19378 | 36 | 52 1720.93/1721.49 c 1596s | 26 | 12374989 | 11067552 | 1316 19396 | 36 | 52 1723.03/1723.51 c 1598s | 26 | 12388610 | 11079752 | 1316 19414 | 36 | 52 1725.03/1725.51 c 1600s | 26 | 12401985 | 11091952 | 1316 19431 | 36 | 52 1727.03/1727.52 c 1602s | 26 | 12416815 | 11105452 | 1316 19450 | 36 | 52 1729.03/1729.54 c 1604s | 26 | 12430258 | 11117752 | 1316 19467 | 36 | 52 1731.03/1731.54 c 1606s | 26 | 12444061 | 11130152 | 1316 19485 | 36 | 52 1733.03/1733.56 c 1608s | 26 | 12458051 | 11142752 | 1316 19503 | 36 | 52 1735.03/1735.57 c 1610s | 26 | 12472071 | 11155552 | 1316 19521 | 36 | 52 1737.02/1737.57 c 1612s | 26 | 12486490 | 11168552 | 1316 19539 | 36 | 52 1739.02/1739.58 c 1614s | 26 | 12500554 | 11181352 | 1316 19557 | 36 | 52 1741.03/1741.59 c 1616s | 26 | 12513846 | 11193552 | 1316 19575 | 36 | 52 1743.02/1743.59 c 1618s | 26 | 12527025 | 11205652 | 1316 19592 | 36 | 52 1745.12/1745.60 c 1620s | 26 | 12540284 | 11217652 | 1316 19609 | 36 | 52 1747.12/1747.61 c 1622s | 26 | 12553294 | 11229552 | 1316 19626 | 36 | 52 1749.13/1749.62 c 1624s | 26 | 12568251 | 11242752 | 1316 19645 | 36 | 52 1751.13/1751.63 c 1626s | 26 | 12583720 | 11255952 | 1316 19663 | 36 | 52 1753.13/1753.64 c 1628s | 26 | 12597996 | 11268552 | 1316 19681 | 36 | 52 1755.13/1755.65 c 1630s | 26 | 12612622 | 11281552 | 1316 19700 | 36 | 52 1757.13/1757.66 c 1632s | 26 | 12627743 | 11294852 | 1316 19718 | 36 | 52 1759.13/1759.66 c 1634s | 26 | 12641758 | 11307452 | 1316 19736 | 36 | 52 1761.13/1761.66 c 1636s | 26 | 12654961 | 11319552 | 1316 19753 | 36 | 52 1763.13/1763.66 c 1638s | 26 | 12668517 | 11331852 | 1316 19771 | 36 | 52 1765.12/1765.67 c 1640s | 26 | 12682163 | 11344252 | 1316 19788 | 36 | 52 1767.12/1767.67 c 1642s | 26 | 12696832 | 11357552 | 1316 19807 | 36 | 52 1769.12/1769.67 c 1644s | 26 | 12711429 | 11370652 | 1316 19826 | 36 | 52 1771.12/1771.68 c 1646s | 26 | 12725250 | 11383152 | 1316 19843 | 36 | 52 1773.12/1773.69 c 1648s | 26 | 12740059 | 11396152 | 1316 19862 | 36 | 52 1773.22/1773.78 c 1649s | 27 | 12740672 | 11396733 | 1316 19863 | 36 | 52 1775.23/1775.79 c 1651s | 27 | 12756331 | 11411133 | 1316 19883 | 36 | 52 1777.22/1777.80 c 1653s | 27 | 12772106 | 11425533 | 1316 19903 | 36 | 52 1779.32/1779.80 c 1655s | 27 | 12787478 | 11439533 | 1316 19923 | 36 | 52 1781.32/1781.81 c 1657s | 27 | 12802513 | 11453233 | 1316 19943 | 36 | 52 1783.32/1783.81 c 1659s | 27 | 12817674 | 11466933 | 1316 19962 | 36 | 52 1785.32/1785.82 c 1661s | 27 | 12832545 | 11480833 | 1316 19982 | 36 | 52 1787.33/1787.83 c 1663s | 27 | 12847238 | 11494533 | 1316 20001 | 36 | 52 1789.32/1789.84 c 1665s | 27 | 12861957 | 11508333 | 1316 20021 | 36 | 52 1791.32/1791.84 c 1667s | 27 | 12877550 | 11522433 | 1316 20040 | 36 | 52 1793.32/1793.85 c 1669s | 27 | 12892902 | 11536433 | 1316 20060 | 36 | 52 1795.32/1795.86 c 1671s | 27 | 12908244 | 11550333 | 1316 20080 | 36 | 52 1797.32/1797.87 c 1673s | 27 | 12923412 | 11563833 | 1316 20099 | 36 | 52 1799.32/1799.88 c 1675s | 27 | 12938088 | 11577033 | 1316 20117 | 36 | 52
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-4118979-1467236399/watcher-4118979-1467236399 -o /tmp/evaluation-result-4118979-1467236399/solver-4118979-1467236399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467234598-6495 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118979-1467236399.opb pid=6667 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 1.92 3/243 6670 /proc/meminfo: memFree=29417668/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=778820 CPUtime=0 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 2917 0 0 0 0 0 0 0 20 0 4 0 4746479 797511680 2767 33554432000 4194304 16246674 140734723814400 140734723813824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6670/statm: 195217 2777 442 2943 0 192111 0 [pid=6670/tid=6671] ppid=6667 vsize=796228 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 815337472 2837 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=800324 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 819531776 2854 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=805444 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4746480 824774656 2871 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100126 s] /proc/loadavg: 1.99 2.00 1.92 3/243 6670 /proc/meminfo: memFree=29417668/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 19626 0 0 0 6 3 0 0 20 0 4 0 4746479 1247350784 19462 33554432000 4194304 16246674 140734723814400 140734723813824 5676365 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6670/statm: 304529 19468 792 2943 0 301423 0 [pid=6670/tid=6671] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 19472 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 19478 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 19483 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200457 s] /proc/loadavg: 1.99 2.00 1.92 3/243 6670 /proc/meminfo: memFree=29417668/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 37522 0 0 0 14 5 0 0 20 0 4 0 4746479 1247350784 37358 33554432000 4194304 16246674 140734723814400 140734723813824 5712452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/6670/statm: 304529 37368 792 2943 0 301423 0 [pid=6670/tid=6671] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 37375 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 37379 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 37380 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300458 s] /proc/loadavg: 1.99 2.00 1.92 3/243 6670 /proc/meminfo: memFree=29417668/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 54347 0 0 0 22 7 0 0 20 0 4 0 4746479 1247350784 54183 33554432000 4194304 16246674 140734723814400 140734723796288 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 304529 54196 792 2943 0 301423 0 [pid=6670/tid=6671] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 54201 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 54206 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 54210 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700386 s] /proc/loadavg: 1.99 2.00 1.92 3/243 6670 /proc/meminfo: memFree=29417668/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 126306 0 0 0 52 17 0 0 20 0 4 0 4746479 1247350784 126143 33554432000 4194304 16246674 140734723814400 140734723796288 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 304529 126154 793 2943 0 301423 0 [pid=6670/tid=6671] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 126160 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 126163 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4746480 1247350784 126167 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50048 s] /proc/loadavg: 1.99 2.00 1.92 3/247 6674 /proc/meminfo: memFree=27684456/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 245654 0 0 0 114 35 0 0 20 0 4 0 4746479 1248399360 245468 33554432000 4194304 16246674 140734723814400 140734723797168 12477836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 304785 245468 848 2943 0 301679 0 [pid=6670/tid=6671] ppid=6667 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1248399360 245468 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1248399360 245468 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1248399360 245468 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.1004 s] /proc/loadavg: 1.99 2.00 1.92 3/248 6677 /proc/meminfo: memFree=27416336/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1305156 CPUtime=3.08 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267259 0 0 0 271 37 0 0 20 0 4 0 4746479 1336479744 267073 33554432000 4194304 16246674 140734723814400 140734723796288 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326289 267073 848 2943 0 323183 0 [pid=6670/tid=6671] ppid=6667 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1336479744 267073 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1336479744 267073 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1336479744 267073 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1305156 [startup+6.3004 s] /proc/loadavg: 1.99 2.00 1.92 3/248 6677 /proc/meminfo: memFree=27413880/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267548 0 0 0 591 37 0 0 20 0 4 0 4746479 1337528320 267362 33554432000 4194304 16246674 140734723814400 140734723797400 13950971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326545 267362 848 2943 0 323439 0 [pid=6670/tid=6671] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267362 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267362 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267362 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 1.99 2.00 1.92 3/248 6677 /proc/meminfo: memFree=27412780/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1306180 CPUtime=12.68 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267596 0 0 0 1231 37 0 0 20 0 4 0 4746479 1337528320 267410 33554432000 4194304 16246674 140734723814400 140734723796288 5553796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326545 267410 849 2943 0 323439 0 [pid=6670/tid=6671] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267410 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267410 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267410 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5004 s] /proc/loadavg: 1.99 2.00 1.92 3/248 6677 /proc/meminfo: memFree=27408392/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267613 0 0 0 2511 38 0 0 20 0 4 0 4746479 1337528320 267427 33554432000 4194304 16246674 140734723814400 140734723797400 5718096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326545 267427 852 2943 0 323439 0 [pid=6670/tid=6671] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267427 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267427 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267427 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 1.99 2.00 1.92 3/248 6677 /proc/meminfo: memFree=27406060/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1306180 CPUtime=51.08 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267646 0 0 0 5070 38 0 0 20 0 4 0 4746479 1337528320 267460 33554432000 4194304 16246674 140734723814400 140734723797400 13780585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326545 267460 852 2943 0 323439 0 [pid=6670/tid=6671] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267460 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267460 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1337528320 267460 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 1.99 2.00 1.92 3/247 6678 /proc/meminfo: memFree=27404620/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1307204 CPUtime=102.27 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 267671 0 0 0 10188 39 0 0 20 0 4 0 4746479 1338576896 267485 33554432000 4194304 16246674 140734723814400 140734723796288 5603100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 326801 267485 852 2943 0 323695 0 [pid=6670/tid=6671] ppid=6667 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1338576896 267485 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1338576896 267485 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1338576896 267485 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268750 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1311300 [startup+1362.3 s] /proc/loadavg: 2.05 2.12 2.03 3/247 6746 /proc/meminfo: memFree=27389584/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1361.88 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269102 0 0 0 136125 63 0 0 20 0 4 0 4746479 1342771200 268751 33554432000 4194304 16246674 140734723814400 140734723796288 6021616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268751 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1311300 [startup+1422.3 s] /proc/loadavg: 2.02 2.10 2.02 3/247 6747 /proc/meminfo: memFree=27389760/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1421.88 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269102 0 0 0 142124 64 0 0 20 0 4 0 4746479 1342771200 268751 33554432000 4194304 16246674 140734723814400 140734723796288 5839808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268751 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1311300 [startup+1482.3 s] /proc/loadavg: 2.00 2.08 2.02 3/247 6749 /proc/meminfo: memFree=27390132/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1481.86 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269102 0 0 0 148121 65 0 0 20 0 4 0 4746479 1342771200 268751 33554432000 4194304 16246674 140734723814400 140734723797400 5808388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268751 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268751 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1311300 [startup+1542.3 s] /proc/loadavg: 2.11 2.09 2.02 3/247 6750 /proc/meminfo: memFree=27389980/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1541.86 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269252 0 0 0 154120 66 0 0 20 0 4 0 4746479 1342771200 268901 33554432000 4194304 16246674 140734723814400 140734723797400 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268901 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1311300 [startup+1602.3 s] /proc/loadavg: 2.10 2.09 2.02 3/247 6751 /proc/meminfo: memFree=27389980/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1601.85 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269252 0 0 0 160119 66 0 0 20 0 4 0 4746479 1342771200 268901 33554432000 4194304 16246674 140734723814400 140734723797400 5545784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268901 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268901 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1311300 [startup+1662.3 s] /proc/loadavg: 2.04 2.07 2.01 3/247 6752 /proc/meminfo: memFree=27389484/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1661.84 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269302 0 0 0 166117 67 0 0 20 0 4 0 4746479 1342771200 268951 33554432000 4194304 16246674 140734723814400 140734723797400 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268951 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268951 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268951 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268951 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1311300 [startup+1722.3 s] /proc/loadavg: 2.05 2.07 2.01 3/247 6753 /proc/meminfo: memFree=27389244/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1721.83 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269349 0 0 0 172115 68 0 0 20 0 4 0 4746479 1342771200 268998 33554432000 4194304 16246674 140734723814400 140734723796288 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268998 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1311300 [startup+1782.31 s] /proc/loadavg: 2.02 2.05 2.01 3/247 6755 /proc/meminfo: memFree=27388388/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1781.83 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269349 0 0 0 178114 69 0 0 20 0 4 0 4746479 1342771200 268998 33554432000 4194304 16246674 140734723814400 140734723797400 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268998 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1311300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.07 2.01 3/247 6755 /proc/meminfo: memFree=27388640/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269349 0 0 0 179933 69 0 0 20 0 4 0 4746479 1342771200 268998 33554432000 4194304 16246674 140734723814400 140734723796288 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268998 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1311300 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 6670 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.07 2.01 3/247 6755 /proc/meminfo: memFree=27388640/32872528 swapFree=189444/189444 [pid=6670] ppid=6667 vsize=1311300 CPUtime=1800.02 cores=0,2,4,6 /proc/6670/stat : 6670 (toysat) R 6667 6670 3947 0 -1 4202496 269349 0 0 0 179933 69 0 0 20 0 4 0 4746479 1342771200 268998 33554432000 4194304 16246674 140734723814400 140734723796288 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6670/statm: 327825 268998 854 2943 0 324719 0 [pid=6670/tid=6671] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6671/stat : 6671 (toysat) S 6667 6670 3947 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895545769200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=6670/tid=6672] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6672/stat : 6672 (toysat) S 6667 6670 3947 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895535279344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=6670/tid=6673] ppid=6667 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/6670/task/6673/stat : 6673 (toysat) S 6667 6670 3947 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4746480 1342771200 268998 33554432000 4194304 16246674 140734723814400 139895524805808 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1311300 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.34 CPU system time (s): 0.694894 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1311300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.34 system time used= 0.694894 maximum resident set size= 1075992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269349 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= 434 involuntary context switches= 1926 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.99024 second user time and 7.34388 second system time The end
Begin job on node102 at 2016-06-29 23:39:59 IDJOB=4118979 IDBENCH=111554 IDSOLVER=2542 FILE ID=node102/4118979-1467236399 RUNJOBID= node102-1467234598-6495 PBS_JOBID= 19997591 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament10.lin.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118979-1467236399/watcher-4118979-1467236399 -o /tmp/evaluation-result-4118979-1467236399/solver-4118979-1467236399 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467234598-6495 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118979-1467236399.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d39ecb47a49cea79af0e20621b5b8062 RANDOM SEED=536756468 node102.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.744 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.48 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.744 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.744 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.744 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.49 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.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 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.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29431588 kB Buffers: 113596 kB Cached: 2254428 kB SwapCached: 0 kB Active: 504524 kB Inactive: 2002340 kB Active(anon): 141368 kB Inactive(anon): 0 kB Active(file): 363156 kB Inactive(file): 2002340 kB Unevictable: 189444 kB Mlocked: 189444 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 32884 kB Writeback: 0 kB AnonPages: 328416 kB Mapped: 17800 kB Shmem: 204 kB Slab: 610916 kB SReclaimable: 54368 kB SUnreclaim: 556548 kB KernelStack: 1968 kB PageTables: 6928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1336924 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71672 MiB End job on node102 at 2016-06-30 00:10:00