Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.44 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb |
| MD5SUM | 95b567c682e7e3efe2c93879e0e7c89d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 0.074987 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | YES |
| Number of variables | 406 |
| Total number of constraints | 520 |
| Number of constraints which are clauses | 520 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 123 |
| Number of terms in the objective function | 406 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 406 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 406 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T18:49:28+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079487-1465231768.opb"] 0.00/0.01 c use --random-gen="2564013156 2806995858 3968100838 1294466896 1765276976 1754942980 3961061391 2806830189 1435181826 436082395 2397647316 2937278144 746036588 250352216 1987572374 707982106 1257077399 3681713409 1814225554 1843733388 2480122116 1868569565 4132307626 2222945546 974011244 955572440 4016396039 953484814 2984311856 353157957 3216597545 664881889 653769011 1431372676 867763096 688542711 2087960410 679424932 1861913000 2793799490 1186045023 1825191772 2864111719 1965510022 3474860246 2560271970 3099519772 3994265536 630813321 1936482710 1164342756 1899464970 719944084 1787680973 1851773497 2657575047 3220684098 2448041066 4066533633 248695075 4158624566 3344451895 4262562296 3217045033 3074792120 2895820521 3115515686 3753966902 2943083633 825298362 2999635727 2295596317 236817225 2530181874 4062778456 2052836160 4196722526 2088686849 2707420336 2311228024 468452977 3832706277 651675225 2288560860 593492734 2216200172 3499370441 3568435635 317696784 2697801632 646491902 1365608151 293090629 1792086083 2779468739 2728920653 3175939685 915639932 1195063248 2526559300 4161842716 2336845116 157968264 2876571959 4101828397 1436351893 3978633994 3143697603 2135240321 854006599 3968520983 2707035775 2653104195 775519284 171508159 1677123206 3336177824 266460355 1053270035 2665739810 3537075704 329184569 637502414 2292485137 573763895 526224211 1429374358 2408418353 459835563 2498098664 1532027795 2898096621 379465027 1540393393 1698734481 1778675519 3047961615 3176670416 2948090165 2356641803 2187705836 4137489361 448877933 3363890786 967035250 809299 1610996170 979343374 2356402774 3937566290 3324731285 1560120181 734239636 3328411421 2832042173 3885146794 3622435691 1231867895 4093220205 1763224840 3448406243 1075835850 1312417182 1367188960 1863905800 128352176 1647457317 199349302 3692503188 746382468 3785817662 530829710 465117728 450302815 2101477270 2516202696 1202764415 624383340 587645894 799311988 3840266654 484037889 1025345279 680528485 2677672959 2446092208 1238040897 1452500056 2719191507 286536755 2246511304 450670174 4243279114 3889260963 3516655370 560820564 2768627362 1501078274 143508556 2059983378 259506568 3953664092 2715166597 2085120698 3856984400 1827424080 503417452 1828970431 1478666676 2542744833 3017097505 1549486672 2571984338 831200024 3115282019 2582590615 2036323099 3445981982 3050972443 845925191 533057099 490314220 657038595 688916278 3629684131 3568793514 2361797411 4294460268 2573038400 3628636450 3215735816 2565815062 2394027582 3499853477 3099702062 3692411067 2210053897 2496421847 3959823594 2582258010 1112568346 3620320415 416099240 3643760749 782310292 3793986774 2097703540 1530264009 2128184646 2493936403 188204818 2873989575 2442550832 2925622937 2722217160 1795017786 255 362436" option to reproduce the execution 0.00/0.04 c #vars 406 0.00/0.04 c #constraints 520 0.00/0.08 c BCD2: Hardening is enabled. 0.00/0.08 c BCD2: BiasedSearch is enabled. 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 401 | 0 | 301 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.003s 0.00/0.08 c #wall_clock_time = 0.003s 0.00/0.08 c #decision = 401 0.00/0.08 c #random_decision = 1 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 o 406 0.00/0.08 c BCD2: updating upper bound: 406 -> 405 0.00/0.08 c BCD2: 0 <= obj <= 405 0.00/0.08 c BCD2: #cores=0, #unrelaxed=406, #relaxed=0, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 0 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.08 c lower bound updated to 1 0.00/0.08 c BCD2: 1 <= obj <= 405 0.00/0.08 c BCD2: #cores=1, #unrelaxed=405, #relaxed=1, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.08 c 0.0s | 0 | 78 | 0 | 301 0 | 5 | 0 0.00/0.08 c #cpu_time = 0.002s 0.00/0.08 c #wall_clock_time = 0.002s 0.00/0.08 c #decision = 78 0.00/0.08 c #random_decision = 0 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.08 c lower bound updated to 2 0.00/0.08 c BCD2: 2 <= obj <= 405 0.00/0.08 c BCD2: #cores=2, #unrelaxed=404, #relaxed=2, #hardened=0 0.00/0.08 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.08 c Solving starts ... 0.00/0.08 c ============================[ Search Statistics ]============================ 0.00/0.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.08 c | | | | Limit GC | Var | Constra 0.00/0.08 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.09 c 0.0s | 0 | 79 | 0 | 301 0 | 5 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 79 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.09 c lower bound updated to 3 0.00/0.09 c BCD2: 3 <= obj <= 405 0.00/0.09 c BCD2: #cores=3, #unrelaxed=403, #relaxed=3, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=4 bias=4/5 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 0 0.00/0.09 c 0.0s | 0 | 96 | 0 | 301 0 | 5 | 0 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 96 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 9: cost of the new core is >=1 0.00/0.09 c lower bound updated to 4 0.00/0.09 c BCD2: 4 <= obj <= 405 0.00/0.09 c BCD2: #cores=4, #unrelaxed=394, #relaxed=12, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=5 bias=5/6 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 1 0.00/0.09 c 0.0s | 0 | 134 | 0 | 301 0 | 5 | 1 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 134 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.09 c lower bound updated to 5 0.00/0.09 c BCD2: 5 <= obj <= 405 0.00/0.09 c BCD2: #cores=5, #unrelaxed=393, #relaxed=13, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=6 bias=6/7 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 1 0.00/0.09 c 0.0s | 0 | 136 | 0 | 301 0 | 5 | 1 0.00/0.09 c #cpu_time = 0.002s 0.00/0.09 c #wall_clock_time = 0.002s 0.00/0.09 c #decision = 136 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 1: cost of the new core is >=1 0.00/0.09 c lower bound updated to 6 0.00/0.09 c BCD2: 6 <= obj <= 405 0.00/0.09 c BCD2: #cores=6, #unrelaxed=392, #relaxed=14, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=7 bias=7/8 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 1 0.00/0.10 c 0.0s | 0 | 193 | 0 | 301 0 | 5 | 1 0.00/0.10 c #cpu_time = 0.002s 0.00/0.10 c #wall_clock_time = 0.002s 0.00/0.10 c #decision = 193 0.00/0.10 c #random_decision = 0 0.00/0.10 c #conflict = 0 0.00/0.10 c #restart = 0 0.00/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1 0.00/0.10 c lower bound updated to 7 0.09/0.10 c BCD2: 7 <= obj <= 405 0.09/0.10 c BCD2: #cores=7, #unrelaxed=390, #relaxed=16, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=8 bias=8/9 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 21 0.09/0.10 c 0.0s | 0 | 211 | 0 | 301 0 | 5 | 21 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 211 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 3: cost of the new core is >=1 0.09/0.10 c lower bound updated to 8 0.09/0.10 c BCD2: 8 <= obj <= 405 0.09/0.10 c BCD2: #cores=8, #unrelaxed=387, #relaxed=19, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=9 bias=9/10 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 23 0.09/0.10 c 0.0s | 0 | 252 | 0 | 301 0 | 5 | 23 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 252 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 2: cost of the new core is >=1 0.09/0.10 c lower bound updated to 9 0.09/0.10 c BCD2: 9 <= obj <= 405 0.09/0.10 c BCD2: #cores=9, #unrelaxed=385, #relaxed=21, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=10 bias=10/11 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 27 0.09/0.10 c 0.0s | 0 | 255 | 0 | 301 0 | 5 | 27 0.09/0.10 c #cpu_time = 0.002s 0.09/0.10 c #wall_clock_time = 0.002s 0.09/0.10 c #decision = 255 0.09/0.10 c #random_decision = 0 0.09/0.10 c #conflict = 0 0.09/0.10 c #restart = 0 0.09/0.10 c BCD2: found a new core of size 7: cost of the new core is >=1 0.09/0.10 c lower bound updated to 10 0.09/0.10 c BCD2: 10 <= obj <= 405 0.09/0.10 c BCD2: #cores=10, #unrelaxed=378, #relaxed=28, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=11 bias=11/12 0.09/0.10 c Solving starts ... 0.09/0.10 c ============================[ Search Statistics ]============================ 0.09/0.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.10 c | | | | Limit GC | Var | Constra 0.09/0.10 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 29 0.09/0.11 c 0.0s | 0 | 288 | 0 | 301 0 | 5 | 29 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 288 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 13: cost of the new core is >=1 0.09/0.11 c lower bound updated to 11 0.09/0.11 c BCD2: 11 <= obj <= 405 0.09/0.11 c BCD2: #cores=11, #unrelaxed=365, #relaxed=41, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=12 bias=12/13 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 35 0.09/0.11 c 0.0s | 0 | 307 | 1 | 301 0 | 5 | 35 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 307 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 1 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 18: cost of the new core is >=1 0.09/0.11 c lower bound updated to 12 0.09/0.11 c BCD2: 12 <= obj <= 405 0.09/0.11 c BCD2: #cores=12, #unrelaxed=347, #relaxed=59, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=13 bias=13/14 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 35 0.09/0.11 c 0.0s | 0 | 319 | 0 | 301 0 | 5 | 35 0.09/0.11 c #cpu_time = 0.002s 0.09/0.11 c #wall_clock_time = 0.002s 0.09/0.11 c #decision = 319 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 19: cost of the new core is >=1 0.09/0.11 c lower bound updated to 13 0.09/0.12 c BCD2: 13 <= obj <= 405 0.09/0.12 c BCD2: #cores=13, #unrelaxed=328, #relaxed=78, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=14 bias=14/15 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 41 0.09/0.12 c 0.0s | 0 | 317 | 1 | 301 0 | 5 | 41 0.09/0.12 c #cpu_time = 0.001s 0.09/0.12 c #wall_clock_time = 0.001s 0.09/0.12 c #decision = 317 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: found a new core of size 81: cost of the new core is >=1 0.09/0.12 c lower bound updated to 14 0.09/0.12 c BCD2: 14 <= obj <= 405 0.09/0.12 c BCD2: #cores=14, #unrelaxed=247, #relaxed=159, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=15 bias=15/16 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 41 0.09/0.12 c 0.0s | 0 | 397 | 0 | 301 0 | 5 | 41 0.09/0.12 c #cpu_time = 0.002s 0.09/0.12 c #wall_clock_time = 0.002s 0.09/0.12 c #decision = 397 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 0 0.09/0.12 c #restart = 0 0.09/0.12 o 23 0.09/0.12 c BCD2: updating upper bound: 405 -> 22 0.09/0.12 c BCD2: 14 <= obj <= 22 0.09/0.12 c BCD2: #cores=14, #unrelaxed=247, #relaxed=159, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=15 bias=15/17 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 301 0 | 5 | 42 0.09/0.13 c 0.0s | 0 | 363 | 31 | 301 0 | 5 | 42 0.09/0.13 c #cpu_time = 0.006s 0.09/0.13 c #wall_clock_time = 0.006s 0.09/0.13 c #decision = 363 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 31 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: relaxing 157 and merging with 3 cores into a new core of size 269: cost of the new core is >=4 0.09/0.13 c lower bound updated to 15 0.09/0.13 c BCD2: 15 <= obj <= 22 0.09/0.13 c BCD2: #cores=12, #unrelaxed=90, #relaxed=316, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=16 bias=16/18 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 301 0 | 11 | 42 0.09/0.16 c 0.0s | 1 | 1088 | 100 | 332 0 | 11 | 51 0.18/0.20 c 0.1s | 2 | 1714 | 250 | 366 0 | 11 | 51 0.18/0.25 c 0.1s | 3 | 2767 | 475 | 403 0 | 11 | 51 0.29/0.39 c 0.3s | 4 | 3990 | 813 | 444 1 | 11 | 51 0.39/0.42 c 0.3s | 4 | 4406 | 904 | 444 2 | 11 | 51 0.39/0.42 c #cpu_time = 0.293s 0.39/0.42 c #wall_clock_time = 0.293s 0.39/0.42 c #decision = 4406 0.39/0.42 c #random_decision = 14 0.39/0.42 c #conflict = 904 0.39/0.42 c #restart = 4 0.39/0.42 o 19 0.39/0.42 c BCD2: updating upper bound: 22 -> 18 0.39/0.42 c BCD2: 15 <= obj <= 18 0.39/0.42 c BCD2: #cores=12, #unrelaxed=90, #relaxed=316, #hardened=0 0.39/0.42 c BCD2: #sat=3 #unsat=16 bias=16/19 0.39/0.42 c Solving starts ... 0.39/0.42 c ============================[ Search Statistics ]============================ 0.39/0.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.39/0.42 c | | | | Limit GC | Var | Constra 0.39/0.42 c ============================================================================= 0.39/0.42 c 0.0s | 0 | 0 | 0 | 444 0 | 11 | 52 0.39/0.46 c 0.0s | 1 | 899 | 100 | 444 0 | 11 | 52 0.49/0.51 c 0.1s | 2 | 1610 | 250 | 444 1 | 11 | 52 0.49/0.57 c 0.1s | 3 | 2623 | 475 | 489 1 | 11 | 52 0.69/0.70 c 0.3s | 4 | 4368 | 813 | 489 2 | 11 | 52 0.79/0.85 c 0.4s | 5 | 6103 | 1320 | 538 4 | 11 | 52 1.09/1.11 c 0.7s | 6 | 9349 | 2081 | 538 6 | 11 | 52 1.49/1.51 c 1.1s | 7 | 16608 | 3223 | 592 9 | 11 | 52 1.99/2.02 c 1.6s | 8 | 24645 | 4936 | 652 14 | 11 | 52 2.69/2.72 c 2.3s | 9 | 40128 | 7506 | 718 20 | 11 | 52 3.69/3.75 c 3.3s | 10 | 59709 | 11361 | 790 29 | 11 | 52 5.29/5.32 c 4.9s | 11 | 93200 | 17144 | 870 41 | 11 | 52 7.29/7.33 c 6.9s | 11 | 135624 | 24144 | 870 55 | 11 | 52 7.69/7.78 c 7.4s | 12 | 144468 | 25819 | 958 58 | 11 | 52 9.79/9.80 c 9.4s | 12 | 180808 | 32719 | 958 71 | 11 | 52 11.59/11.68 c 11.3s | 13 | 216781 | 38832 | 1054 82 | 11 | 52 13.68/13.70 c 13.3s | 13 | 248904 | 45032 | 1054 93 | 11 | 52 15.68/15.73 c 15.3s | 13 | 282211 | 50832 | 1054 102 | 11 | 52 17.69/17.74 c 17.3s | 13 | 314533 | 56732 | 1054 112 | 11 | 52 18.18/18.27 c 17.8s | 14 | 322573 | 58352 | 1160 115 | 11 | 52 20.18/20.28 c 19.9s | 14 | 356433 | 64052 | 1160 124 | 11 | 52 22.18/22.29 c 21.9s | 14 | 386429 | 70252 | 1160 133 | 11 | 52 24.29/24.32 c 23.9s | 14 | 419039 | 76752 | 1160 144 | 11 | 52 26.28/26.34 c 25.9s | 14 | 451693 | 82552 | 1160 153 | 11 | 52 27.78/27.86 c 27.4s | 15 | 477514 | 87632 | 1276 160 | 11 | 52 29.79/29.86 c 29.4s | 15 | 512696 | 94832 | 1276 171 | 11 | 52 31.78/31.90 c 31.5s | 15 | 543249 | 100532 | 1276 179 | 11 | 52 33.88/33.93 c 33.5s | 15 | 576072 | 107132 | 1276 188 | 11 | 52 35.88/35.94 c 35.5s | 15 | 605213 | 112632 | 1276 196 | 11 | 52 37.88/37.97 c 37.5s | 15 | 638278 | 118732 | 1276 205 | 11 | 52 39.98/40.00 c 39.6s | 15 | 666030 | 123832 | 1276 212 | 11 | 52 41.98/42.03 c 41.6s | 15 | 701966 | 130132 | 1404 221 | 11 | 52 42.48/42.52 c 42.1s | 16 | 709372 | 131552 | 1404 223 | 11 | 52 44.48/44.54 c 44.1s | 16 | 742214 | 137952 | 1404 231 | 11 | 52 46.48/46.55 c 46.1s | 16 | 773115 | 144352 | 1404 239 | 11 | 52 48.48/48.56 c 48.1s | 16 | 805445 | 150752 | 1404 248 | 11 | 52 50.48/50.58 c 50.2s | 16 | 838346 | 157052 | 1404 256 | 11 | 52 52.58/52.60 c 52.2s | 16 | 869940 | 163352 | 1404 264 | 11 | 52 54.58/54.62 c 54.2s | 16 | 902976 | 169652 | 1404 273 | 11 | 52 56.58/56.64 c 56.2s | 16 | 934695 | 175952 | 1404 281 | 11 | 52 58.58/58.65 c 58.2s | 16 | 968454 | 182652 | 1404 290 | 11 | 52 60.59/60.67 c 60.2s | 16 | 1007133 | 188852 | 1404 298 | 11 | 52 62.69/62.70 c 62.3s | 16 | 1040139 | 195052 | 1404 306 | 11 | 52 63.38/63.46 c 63.0s | 17 | 1055160 | 197432 | 1545 309 | 11 | 52 65.38/65.48 c 65.1s | 17 | 1091370 | 203732 | 1545 316 | 11 | 52 67.38/67.49 c 67.1s | 17 | 1126687 | 209832 | 1545 324 | 11 | 52 69.48/69.51 c 69.1s | 17 | 1159246 | 216032 | 1545 331 | 11 | 52 71.49/71.53 c 71.1s | 17 | 1194736 | 223232 | 1545 340 | 11 | 52 73.48/73.56 c 73.1s | 17 | 1226968 | 230232 | 1545 348 | 11 | 52 75.48/75.58 c 75.2s | 17 | 1258359 | 236432 | 1545 355 | 11 | 52 77.57/77.60 c 77.2s | 17 | 1295638 | 242632 | 1545 363 | 11 | 52 79.57/79.62 c 79.2s | 17 | 1333053 | 248632 | 1545 370 | 11 | 52 81.57/81.63 c 81.2s | 17 | 1367030 | 254732 | 1545 377 | 11 | 52 83.58/83.63 c 83.2s | 17 | 1400037 | 261332 | 1545 385 | 11 | 52 85.57/85.63 c 85.2s | 17 | 1435484 | 267932 | 1545 393 | 11 | 52 87.57/87.64 c 87.2s | 17 | 1465769 | 273432 | 1545 400 | 11 | 52 89.57/89.67 c 89.2s | 17 | 1497315 | 279632 | 1545 407 | 11 | 52 91.57/91.68 c 91.3s | 17 | 1530276 | 286132 | 1545 415 | 11 | 52 93.67/93.70 c 93.3s | 17 | 1564900 | 293332 | 1700 423 | 11 | 52 94.47/94.57 c 94.1s | 18 | 1581134 | 296252 | 1700 427 | 11 | 52 96.47/96.59 c 96.2s | 18 | 1615244 | 302952 | 1700 434 | 11 | 52 98.57/98.60 c 98.2s | 18 | 1650617 | 309352 | 1700 441 | 11 | 52 100.57/100.61 c 100s | 18 | 1686304 | 315552 | 1700 448 | 11 | 52 102.57/102.62 c 102s | 18 | 1723267 | 321452 | 1700 454 | 11 | 52 104.58/104.65 c 104s | 18 | 1755734 | 327452 | 1700 461 | 11 | 52 106.58/106.66 c 106s | 18 | 1787203 | 334052 | 1700 468 | 11 | 52 108.58/108.67 c 108s | 18 | 1817413 | 340452 | 1700 475 | 11 | 52 110.68/110.70 c 110s | 18 | 1849662 | 346352 | 1700 481 | 11 | 52 112.68/112.74 c 112s | 18 | 1882548 | 352452 | 1700 488 | 11 | 52 114.67/114.74 c 114s | 18 | 1920207 | 358652 | 1700 495 | 11 | 52 116.68/116.74 c 116s | 18 | 1956267 | 364952 | 1700 502 | 11 | 52 118.67/118.75 c 118s | 18 | 1987918 | 371552 | 1700 509 | 11 | 52 120.67/120.79 c 120s | 18 | 2023231 | 377652 | 1700 516 | 11 | 52 122.77/122.80 c 122s | 18 | 2055103 | 384352 | 1700 523 | 11 | 52 124.77/124.82 c 124s | 18 | 2090296 | 391052 | 1700 530 | 11 | 52 126.77/126.83 c 126s | 18 | 2127182 | 397952 | 1700 538 | 11 | 52 128.78/128.84 c 128s | 18 | 2164869 | 404952 | 1700 545 | 11 | 52 130.77/130.87 c 130s | 18 | 2196858 | 411052 | 1700 552 | 11 | 52 132.87/132.90 c 132s | 18 | 2228941 | 416552 | 1700 558 | 11 | 52 134.87/134.91 c 134s | 18 | 2262871 | 422752 | 1700 565 | 11 | 52 136.87/136.92 c 136s | 18 | 2292256 | 428652 | 1700 571 | 11 | 52 138.87/138.95 c 138s | 18 | 2325416 | 434052 | 1700 577 | 11 | 52 140.87/140.98 c 140s | 18 | 2362277 | 440052 | 1700 584 | 11 | 52 142.57/142.62 c 142s | 19 | 2388113 | 444482 | 1871 588 | 11 | 52 144.57/144.64 c 144s | 19 | 2416154 | 449682 | 1871 593 | 11 | 52 146.56/146.65 c 146s | 19 | 2440902 | 454782 | 1871 598 | 11 | 52 148.57/148.68 c 148s | 19 | 2471888 | 459982 | 1871 603 | 11 | 52 150.56/150.69 c 150s | 19 | 2504569 | 465782 | 1871 609 | 11 | 52 152.56/152.69 c 152s | 19 | 2533838 | 471382 | 1871 615 | 11 | 52 154.66/154.71 c 154s | 19 | 2564042 | 476482 | 1871 620 | 11 | 52 156.66/156.75 c 156s | 19 | 2591484 | 481882 | 1871 625 | 11 | 52 158.66/158.75 c 158s | 19 | 2625236 | 487182 | 1871 631 | 11 | 52 160.67/160.77 c 160s | 19 | 2657832 | 492382 | 1871 636 | 11 | 52 162.66/162.79 c 162s | 19 | 2691626 | 497982 | 1871 641 | 11 | 52 164.76/164.81 c 164s | 19 | 2727471 | 503482 | 1871 647 | 11 | 52 166.76/166.84 c 166s | 19 | 2757364 | 509282 | 1871 653 | 11 | 52 168.76/168.84 c 168s | 19 | 2793735 | 514482 | 1871 658 | 11 | 52 170.76/170.84 c 170s | 19 | 2826003 | 519682 | 1871 663 | 11 | 52 172.76/172.87 c 172s | 19 | 2851879 | 525182 | 1871 669 | 11 | 52 174.76/174.88 c 174s | 19 | 2879600 | 530382 | 1871 674 | 11 | 52 176.86/176.91 c 176s | 19 | 2908795 | 535282 | 1871 679 | 11 | 52 178.86/178.93 c 178s | 19 | 2935876 | 540582 | 1871 684 | 11 | 52 180.87/180.97 c 180s | 19 | 2964664 | 546282 | 1871 690 | 11 | 52 182.87/182.97 c 182s | 19 | 2994118 | 551982 | 1871 695 | 11 | 52 184.87/184.99 c 184s | 19 | 3022333 | 556782 | 1871 700 | 11 | 52 186.97/187.03 c 186s | 19 | 3052927 | 561582 | 1871 705 | 11 | 52 188.96/189.03 c 188s | 19 | 3081072 | 566482 | 1871 710 | 11 | 52 190.96/191.07 c 190s | 19 | 3109918 | 571282 | 1871 715 | 11 | 52 192.96/193.09 c 192s | 19 | 3140936 | 576682 | 1871 720 | 11 | 52 195.06/195.13 c 194s | 19 | 3174157 | 581982 | 1871 726 | 11 | 52 197.06/197.14 c 196s | 19 | 3201250 | 586882 | 1871 730 | 11 | 52 199.07/199.18 c 198s | 19 | 3226563 | 591782 | 1871 735 | 11 | 52 201.16/201.21 c 200s | 19 | 3252651 | 596682 | 1871 740 | 11 | 52 203.16/203.21 c 202s | 19 | 3276906 | 601882 | 1871 745 | 11 | 52 205.16/205.23 c 204s | 19 | 3303606 | 607182 | 1871 751 | 11 | 52 207.16/207.24 c 206s | 19 | 3328219 | 612582 | 1871 756 | 11 | 52 209.16/209.26 c 208s | 19 | 3361609 | 618382 | 1871 762 | 11 | 52 211.17/211.29 c 210s | 19 | 3397761 | 624182 | 1871 768 | 11 | 52 213.26/213.30 c 212s | 19 | 3435082 | 630282 | 1871 774 | 11 | 52 215.26/215.31 c 214s | 19 | 3470705 | 635982 | 1871 780 | 11 | 52 217.26/217.34 c 216s | 19 | 3510927 | 642182 | 1871 786 | 11 | 52 219.26/219.37 c 218s | 19 | 3548281 | 647982 | 1871 792 | 11 | 52 221.26/221.38 c 220s | 19 | 3588755 | 653682 | 1871 797 | 11 | 52 223.36/223.41 c 222s | 19 | 3624291 | 658982 | 1871 803 | 11 | 52 225.36/225.43 c 225s | 19 | 3659244 | 664482 | 2059 808 | 11 | 52 226.16/226.23 c 225s | 20 | 3673905 | 666827 | 2059 810 | 11 | 52 228.16/228.26 c 227s | 20 | 3710562 | 672627 | 2059 815 | 11 | 52 230.26/230.30 c 229s | 20 | 3742448 | 679327 | 2059 821 | 11 | 52 232.25/232.33 c 231s | 20 | 3773184 | 685227 | 2059 827 | 11 | 52 234.26/234.33 c 233s | 20 | 3809061 | 690627 | 2059 832 | 11 | 52 236.25/236.33 c 235s | 20 | 3840353 | 695827 | 2059 836 | 11 | 52 238.25/238.35 c 237s | 20 | 3871439 | 702127 | 2059 842 | 11 | 52 240.25/240.39 c 239s | 20 | 3900109 | 707327 | 2059 847 | 11 | 52 242.25/242.40 c 241s | 20 | 3934708 | 712327 | 2059 851 | 11 | 52 244.35/244.40 c 243s | 20 | 3963966 | 718027 | 2059 857 | 11 | 52 246.36/246.41 c 245s | 20 | 3992845 | 723327 | 2059 861 | 11 | 52 248.35/248.44 c 248s | 20 | 4019380 | 728827 | 2059 866 | 11 | 52 250.35/250.48 c 250s | 20 | 4047996 | 734327 | 2059 872 | 11 | 52 252.35/252.49 c 252s | 20 | 4078274 | 739727 | 2059 876 | 11 | 52 254.45/254.50 c 254s | 20 | 4106175 | 745027 | 2059 881 | 11 | 52 256.45/256.52 c 256s | 20 | 4137263 | 750527 | 2059 886 | 11 | 52 258.46/258.52 c 258s | 20 | 4164391 | 756127 | 2059 892 | 11 | 52 260.45/260.53 c 260s | 20 | 4191527 | 761627 | 2059 897 | 11 | 52 262.45/262.56 c 262s | 20 | 4222669 | 767327 | 2059 902 | 11 | 52 264.45/264.57 c 264s | 20 | 4252531 | 773027 | 2059 907 | 11 | 52 266.45/266.57 c 266s | 20 | 4280001 | 778527 | 2059 912 | 11 | 52 268.46/268.58 c 268s | 20 | 4304445 | 784127 | 2059 917 | 11 | 52 270.45/270.59 c 270s | 20 | 4331096 | 790027 | 2059 923 | 11 | 52 272.55/272.61 c 272s | 20 | 4355140 | 795627 | 2059 928 | 11 | 52 274.55/274.62 c 274s | 20 | 4378344 | 800927 | 2059 932 | 11 | 52 276.55/276.63 c 276s | 20 | 4402853 | 805927 | 2059 937 | 11 | 52 278.55/278.67 c 278s | 20 | 4430870 | 811427 | 2059 942 | 11 | 52 280.55/280.68 c 280s | 20 | 4460954 | 816427 | 2059 947 | 11 | 52 282.65/282.71 c 282s | 20 | 4488181 | 821527 | 2059 951 | 11 | 52 284.65/284.74 c 284s | 20 | 4512254 | 826427 | 2059 956 | 11 | 52 286.65/286.77 c 286s | 20 | 4533720 | 831427 | 2059 960 | 11 | 52 288.64/288.80 c 288s | 20 | 4558377 | 836127 | 2059 965 | 11 | 52 290.74/290.83 c 290s | 20 | 4577855 | 840927 | 2059 969 | 11 | 52 292.74/292.85 c 292s | 20 | 4604397 | 846427 | 2059 974 | 11 | 52 294.75/294.86 c 294s | 20 | 4630152 | 851727 | 2059 979 | 11 | 52 296.74/296.89 c 296s | 20 | 4655060 | 857227 | 2059 984 | 11 | 52 298.84/298.90 c 298s | 20 | 4678495 | 862527 | 2059 989 | 11 | 52 300.84/300.91 c 300s | 20 | 4709137 | 868127 | 2059 994 | 11 | 52 302.84/302.93 c 302s | 20 | 4740887 | 873627 | 2059 999 | 11 | 52 304.84/304.94 c 304s | 20 | 4770330 | 878927 | 2059 1004 | 11 | 52 306.85/306.96 c 306s | 20 | 4799403 | 884227 | 2059 1009 | 11 | 52 308.84/308.97 c 308s | 20 | 4828148 | 889627 | 2059 1014 | 11 | 52 310.84/310.99 c 310s | 20 | 4859164 | 895227 | 2059 1019 | 11 | 52 312.94/313.00 c 312s | 20 | 4883713 | 900327 | 2059 1023 | 11 | 52 314.94/315.02 c 314s | 20 | 4910264 | 905527 | 2059 1028 | 11 | 52 316.94/317.02 c 316s | 20 | 4935841 | 910727 | 2059 1033 | 11 | 52 318.94/319.05 c 318s | 20 | 4964983 | 916027 | 2059 1038 | 11 | 52 320.94/321.08 c 320s | 20 | 4991625 | 921527 | 2059 1043 | 11 | 52 322.94/323.09 c 322s | 20 | 5018459 | 926927 | 2059 1048 | 11 | 52 325.04/325.11 c 324s | 20 | 5042983 | 931827 | 2059 1052 | 11 | 52 327.04/327.12 c 326s | 20 | 5069884 | 936427 | 2059 1056 | 11 | 52 329.04/329.13 c 328s | 20 | 5094417 | 940927 | 2059 1061 | 11 | 52 331.04/331.14 c 330s | 20 | 5125888 | 946227 | 2059 1066 | 11 | 52 333.03/333.17 c 332s | 20 | 5153687 | 951627 | 2059 1070 | 11 | 52 335.03/335.18 c 334s | 20 | 5173070 | 956127 | 2059 1075 | 11 | 52 337.13/337.21 c 336s | 20 | 5196423 | 961327 | 2059 1079 | 11 | 52 339.13/339.24 c 338s | 20 | 5221838 | 967027 | 2059 1085 | 11 | 52 341.13/341.25 c 340s | 20 | 5245861 | 972427 | 2059 1089 | 11 | 52 343.14/343.26 c 342s | 20 | 5271471 | 977627 | 2059 1094 | 11 | 52 345.13/345.29 c 344s | 20 | 5296617 | 982527 | 2059 1099 | 11 | 52 347.23/347.32 c 346s | 20 | 5317051 | 987427 | 2059 1103 | 11 | 52 349.23/349.34 c 348s | 20 | 5340321 | 992227 | 2059 1108 | 11 | 52 351.33/351.40 c 350s | 20 | 5362082 | 997627 | 2265 1112 | 11 | 52 352.43/352.57 c 352s | 21 | 5374912 | 1000345 | 2265 1114 | 11 | 52 354.43/354.57 c 354s | 21 | 5406571 | 1005545 | 2265 1119 | 11 | 52 356.44/356.57 c 356s | 21 | 5442155 | 1011345 | 2265 1124 | 11 | 52 358.43/358.59 c 358s | 21 | 5480949 | 1017445 | 2265 1129 | 11 | 52 360.44/360.59 c 360s | 21 | 5514262 | 1023345 | 2265 1134 | 11 | 52 362.54/362.65 c 362s | 21 | 5548476 | 1029345 | 2265 1139 | 11 | 52 364.54/364.65 c 364s | 21 | 5587823 | 1035045 | 2265 1143 | 11 | 52 366.54/366.67 c 366s | 21 | 5623158 | 1040645 | 2265 1148 | 11 | 52 368.54/368.68 c 368s | 21 | 5655081 | 1046345 | 2265 1153 | 11 | 52 370.54/370.70 c 370s | 21 | 5688482 | 1051945 | 2265 1157 | 11 | 52 372.64/372.70 c 372s | 21 | 5718372 | 1057345 | 2265 1162 | 11 | 52 374.64/374.71 c 374s | 21 | 5745418 | 1063145 | 2265 1167 | 11 | 52 376.63/376.73 c 376s | 21 | 5780601 | 1068745 | 2265 1171 | 11 | 52 378.63/378.76 c 378s | 21 | 5817782 | 1074345 | 2265 1176 | 11 | 52 380.64/380.76 c 380s | 21 | 5847349 | 1079745 | 2265 1180 | 11 | 52 382.63/382.79 c 382s | 21 | 5874927 | 1085145 | 2265 1185 | 11 | 52 384.73/384.82 c 384s | 21 | 5900740 | 1090245 | 2265 1189 | 11 | 52 386.73/386.85 c 386s | 21 | 5931640 | 1095345 | 2265 1193 | 11 | 52 388.73/388.88 c 388s | 21 | 5967571 | 1100945 | 2265 1198 | 11 | 52 390.73/390.88 c 390s | 21 | 6003981 | 1106145 | 2265 1202 | 11 | 52 392.74/392.88 c 392s | 21 | 6037800 | 1111645 | 2265 1207 | 11 | 52 394.73/394.89 c 394s | 21 | 6073010 | 1117145 | 2265 1212 | 11 | 52 396.83/396.91 c 396s | 21 | 6105946 | 1122045 | 2265 1216 | 11 | 52 398.83/398.92 c 398s | 21 | 6135892 | 1126845 | 2265 1220 | 11 | 52 400.83/400.92 c 400s | 21 | 6161568 | 1132445 | 2265 1224 | 11 | 52 402.83/402.94 c 402s | 21 | 6192170 | 1138245 | 2265 1229 | 11 | 52 404.84/404.96 c 404s | 21 | 6224822 | 1143845 | 2265 1234 | 11 | 52 406.83/406.99 c 406s | 21 | 6257026 | 1149545 | 2265 1239 | 11 | 52 408.93/409.02 c 408s | 21 | 6283423 | 1154945 | 2265 1243 | 11 | 52 410.93/411.05 c 410s | 21 | 6314326 | 1160545 | 2265 1248 | 11 | 52 412.93/413.09 c 412s | 21 | 6349580 | 1166145 | 2265 1253 | 11 | 52 415.03/415.14 c 414s | 21 | 6378990 | 1171645 | 2265 1257 | 11 | 52 417.02/417.17 c 416s | 21 | 6410227 | 1177345 | 2265 1262 | 11 | 52 419.03/419.20 c 418s | 21 | 6439591 | 1183245 | 2265 1267 | 11 | 52 421.12/421.20 c 420s | 21 | 6468113 | 1189045 | 2265 1272 | 11 | 52 423.12/423.23 c 422s | 21 | 6498882 | 1194945 | 2265 1277 | 11 | 52 425.12/425.24 c 424s | 21 | 6525603 | 1200745 | 2265 1281 | 11 | 52 427.12/427.27 c 426s | 21 | 6553781 | 1206545 | 2265 1286 | 11 | 52 429.22/429.30 c 428s | 21 | 6581860 | 1212245 | 2265 1291 | 11 | 52 431.23/431.32 c 430s | 21 | 6608314 | 1218045 | 2265 1296 | 11 | 52 433.22/433.36 c 432s | 21 | 6637952 | 1223945 | 2265 1301 | 11 | 52 435.22/435.39 c 434s | 21 | 6665683 | 1229745 | 2265 1306 | 11 | 52 437.32/437.40 c 436s | 21 | 6691662 | 1235045 | 2265 1310 | 11 | 52 439.32/439.41 c 438s | 21 | 6715950 | 1240345 | 2265 1314 | 11 | 52 441.32/441.42 c 440s | 21 | 6739995 | 1245445 | 2265 1319 | 11 | 52 443.33/443.45 c 443s | 21 | 6767952 | 1251245 | 2265 1324 | 11 | 52 445.32/445.45 c 445s | 21 | 6796687 | 1257545 | 2265 1329 | 11 | 52 447.32/447.48 c 447s | 21 | 6826838 | 1263345 | 2265 1334 | 11 | 52 449.42/449.51 c 449s | 21 | 6855043 | 1269045 | 2265 1338 | 11 | 52 451.42/451.53 c 451s | 21 | 6884109 | 1274545 | 2265 1343 | 11 | 52 453.42/453.56 c 453s | 21 | 6916334 | 1280745 | 2265 1348 | 11 | 52 455.42/455.57 c 455s | 21 | 6945928 | 1287145 | 2265 1353 | 11 | 52 457.42/457.59 c 457s | 21 | 6978240 | 1293245 | 2265 1358 | 11 | 52 459.41/459.59 c 459s | 21 | 7003361 | 1299245 | 2265 1364 | 11 | 52 461.51/461.61 c 461s | 21 | 7031689 | 1305345 | 2265 1369 | 11 | 52 463.52/463.64 c 463s | 21 | 7056824 | 1311145 | 2265 1373 | 11 | 52 465.52/465.67 c 465s | 21 | 7084322 | 1317045 | 2265 1378 | 11 | 52 467.62/467.70 c 467s | 21 | 7116251 | 1323145 | 2265 1383 | 11 | 52 469.52/469.70 c 469s | 21 | 7139904 | 1328945 | 2265 1388 | 11 | 52 471.62/471.70 c 471s | 21 | 7168654 | 1334745 | 2265 1393 | 11 | 52 473.62/473.71 c 473s | 21 | 7200050 | 1340645 | 2265 1398 | 11 | 52 475.62/475.74 c 475s | 21 | 7228511 | 1346445 | 2265 1403 | 11 | 52 477.62/477.77 c 477s | 21 | 7256408 | 1351445 | 2265 1407 | 11 | 52 479.63/479.78 c 479s | 21 | 7283170 | 1356845 | 2265 1412 | 11 | 52 481.62/481.79 c 481s | 21 | 7310460 | 1362845 | 2265 1417 | 11 | 52 483.62/483.80 c 483s | 21 | 7339546 | 1368445 | 2265 1421 | 11 | 52 485.72/485.82 c 485s | 21 | 7366783 | 1373645 | 2265 1426 | 11 | 52 487.72/487.83 c 487s | 21 | 7393661 | 1379045 | 2265 1430 | 11 | 52 489.72/489.83 c 489s | 21 | 7420848 | 1384245 | 2265 1435 | 11 | 52 491.72/491.84 c 491s | 21 | 7453027 | 1390345 | 2265 1440 | 11 | 52 493.71/493.85 c 493s | 21 | 7482613 | 1396445 | 2265 1445 | 11 | 52 495.71/495.87 c 495s | 21 | 7519160 | 1402245 | 2265 1450 | 11 | 52 497.81/497.93 c 497s | 21 | 7551036 | 1407745 | 2265 1454 | 11 | 52 499.81/499.97 c 499s | 21 | 7586110 | 1414045 | 2265 1460 | 11 | 52 501.81/501.98 c 501s | 21 | 7619133 | 1419845 | 2265 1464 | 11 | 52 503.91/504.00 c 503s | 21 | 7650797 | 1426045 | 2265 1469 | 11 | 52 505.92/506.02 c 505s | 21 | 7682366 | 1432245 | 2265 1475 | 11 | 52 507.91/508.05 c 507s | 21 | 7712671 | 1437845 | 2265 1479 | 11 | 52 509.91/510.06 c 509s | 21 | 7743845 | 1443645 | 2265 1484 | 11 | 52 512.01/512.10 c 511s | 21 | 7771854 | 1448845 | 2265 1489 | 11 | 52 514.01/514.10 c 513s | 21 | 7803502 | 1454445 | 2265 1493 | 11 | 52 516.01/516.12 c 515s | 21 | 7834729 | 1460545 | 2265 1498 | 11 | 52 518.02/518.14 c 517s | 21 | 7866656 | 1466045 | 2265 1503 | 11 | 52 520.01/520.17 c 519s | 21 | 7896635 | 1471545 | 2265 1507 | 11 | 52 522.01/522.18 c 521s | 21 | 7924272 | 1476845 | 2265 1512 | 11 | 52 524.11/524.20 c 523s | 21 | 7953152 | 1482245 | 2265 1516 | 11 | 52 526.11/526.20 c 525s | 21 | 7984867 | 1487745 | 2265 1521 | 11 | 52 528.11/528.22 c 527s | 21 | 8015914 | 1493545 | 2492 1525 | 11 | 52 530.11/530.24 c 529s | 21 | 8046236 | 1498845 | 2492 1529 | 11 | 52 530.71/530.84 c 530s | 22 | 8057203 | 1500622 | 2492 1531 | 11 | 52 532.71/532.86 c 532s | 22 | 8093692 | 1506522 | 2492 1535 | 11 | 52 534.70/534.87 c 534s | 22 | 8119754 | 1511922 | 2492 1539 | 11 | 52 536.71/536.88 c 536s | 22 | 8151566 | 1517522 | 2492 1544 | 11 | 52 538.70/538.89 c 538s | 22 | 8180649 | 1522422 | 2492 1547 | 11 | 52 540.80/540.90 c 540s | 22 | 8211942 | 1527722 | 2492 1551 | 11 | 52 542.80/542.91 c 542s | 22 | 8243690 | 1533422 | 2492 1556 | 11 | 52 544.80/544.92 c 544s | 22 | 8275406 | 1538622 | 2492 1560 | 11 | 52 546.80/546.95 c 546s | 22 | 8309413 | 1544422 | 2492 1564 | 11 | 52 548.81/548.97 c 548s | 22 | 8338047 | 1549422 | 2492 1568 | 11 | 52 550.80/550.98 c 550s | 22 | 8366508 | 1555022 | 2492 1572 | 11 | 52 552.80/553.00 c 552s | 22 | 8395160 | 1560522 | 2492 1577 | 11 | 52 554.90/555.00 c 554s | 22 | 8427344 | 1566222 | 2492 1581 | 11 | 52 556.90/557.02 c 556s | 22 | 8458261 | 1571122 | 2492 1585 | 11 | 52 558.90/559.05 c 558s | 22 | 8488734 | 1575922 | 2492 1588 | 11 | 52 560.91/561.06 c 560s | 22 | 8519774 | 1581022 | 2492 1592 | 11 | 52 562.90/563.07 c 562s | 22 | 8550523 | 1586422 | 2492 1596 | 11 | 52 564.90/565.09 c 564s | 22 | 8582920 | 1592322 | 2492 1601 | 11 | 52 567.00/567.13 c 566s | 22 | 8621086 | 1598022 | 2492 1605 | 11 | 52 569.00/569.14 c 568s | 22 | 8659389 | 1604122 | 2492 1610 | 11 | 52 571.00/571.14 c 570s | 22 | 8692727 | 1609822 | 2492 1614 | 11 | 52 573.00/573.14 c 572s | 22 | 8726485 | 1615622 | 2492 1619 | 11 | 52 575.00/575.16 c 574s | 22 | 8763017 | 1621022 | 2492 1623 | 11 | 52 577.00/577.19 c 576s | 22 | 8799326 | 1626422 | 2492 1627 | 11 | 52 579.00/579.19 c 578s | 22 | 8837228 | 1631822 | 2492 1631 | 11 | 52 581.10/581.20 c 580s | 22 | 8871210 | 1637122 | 2492 1635 | 11 | 52 583.10/583.21 c 582s | 22 | 8902289 | 1642922 | 2492 1639 | 11 | 52 585.11/585.23 c 584s | 22 | 8931571 | 1648422 | 2492 1644 | 11 | 52 587.10/587.24 c 586s | 22 | 8968776 | 1654322 | 2492 1648 | 11 | 52 589.10/589.24 c 588s | 22 | 9006843 | 1660522 | 2492 1653 | 11 | 52 591.10/591.28 c 590s | 22 | 9040850 | 1666022 | 2492 1657 | 11 | 52 593.20/593.31 c 592s | 22 | 9075961 | 1670622 | 2492 1661 | 11 | 52 595.20/595.32 c 594s | 22 | 9109483 | 1676322 | 2492 1665 | 11 | 52 597.21/597.33 c 596s | 22 | 9142407 | 1681622 | 2492 1669 | 11 | 52 599.20/599.34 c 598s | 22 | 9176018 | 1686822 | 2492 1673 | 11 | 52 601.20/601.36 c 600s | 22 | 9211511 | 1691822 | 2492 1677 | 11 | 52 603.20/603.39 c 602s | 22 | 9246282 | 1696822 | 2492 1681 | 11 | 52 605.30/605.41 c 604s | 22 | 9278273 | 1701722 | 2492 1684 | 11 | 52 607.30/607.43 c 607s | 22 | 9312558 | 1707222 | 2492 1688 | 11 | 52 609.31/609.45 c 609s | 22 | 9342774 | 1712622 | 2492 1693 | 11 | 52 611.30/611.46 c 611s | 22 | 9376165 | 1717822 | 2492 1697 | 11 | 52 613.30/613.49 c 613s | 22 | 9404409 | 1722922 | 2492 1700 | 11 | 52 615.40/615.50 c 615s | 22 | 9432269 | 1728122 | 2492 1704 | 11 | 52 617.40/617.53 c 617s | 22 | 9465679 | 1733322 | 2492 1708 | 11 | 52 619.40/619.54 c 619s | 22 | 9497639 | 1738722 | 2492 1713 | 11 | 52 621.40/621.54 c 621s | 22 | 9530060 | 1744022 | 2492 1717 | 11 | 52 623.40/623.55 c 623s | 22 | 9556183 | 1750122 | 2492 1721 | 11 | 52 625.40/625.57 c 625s | 22 | 9586120 | 1755522 | 2492 1725 | 11 | 52 627.50/627.61 c 627s | 22 | 9609692 | 1760822 | 2492 1729 | 11 | 52 629.49/629.62 c 629s | 22 | 9641300 | 1766222 | 2492 1733 | 11 | 52 631.49/631.64 c 631s | 22 | 9670397 | 1771222 | 2492 1737 | 11 | 52 633.50/633.65 c 633s | 22 | 9697459 | 1777222 | 2492 1742 | 11 | 52 635.49/635.67 c 635s | 22 | 9723360 | 1782822 | 2492 1746 | 11 | 52 637.49/637.68 c 637s | 22 | 9754355 | 1788822 | 2492 1751 | 11 | 52 639.49/639.69 c 639s | 22 | 9779288 | 1794722 | 2492 1755 | 11 | 52 641.59/641.70 c 641s | 22 | 9805876 | 1800322 | 2492 1759 | 11 | 52 643.59/643.71 c 643s | 22 | 9831646 | 1805822 | 2492 1764 | 11 | 52 645.60/645.72 c 645s | 22 | 9863806 | 1811722 | 2492 1768 | 11 | 52 647.59/647.75 c 647s | 22 | 9887837 | 1817222 | 2492 1772 | 11 | 52 649.59/649.77 c 649s | 22 | 9916601 | 1822722 | 2492 1776 | 11 | 52 651.59/651.79 c 651s | 22 | 9941705 | 1828022 | 2492 1781 | 11 | 52 653.69/653.82 c 653s | 22 | 9970537 | 1833622 | 2492 1785 | 11 | 52 655.69/655.84 c 655s | 22 | 9999310 | 1839422 | 2492 1789 | 11 | 52 657.69/657.87 c 657s | 22 | 10027912 | 1845122 | 2492 1794 | 11 | 52 659.69/659.89 c 659s | 22 | 10054520 | 1850422 | 2492 1798 | 11 | 52 661.79/661.92 c 661s | 22 | 10077838 | 1855922 | 2492 1802 | 11 | 52 663.79/663.93 c 663s | 22 | 10104919 | 1861322 | 2492 1806 | 11 | 52 665.79/665.94 c 665s | 22 | 10127508 | 1866322 | 2492 1810 | 11 | 52 667.79/667.96 c 667s | 22 | 10154166 | 1872022 | 2492 1814 | 11 | 52 669.79/669.97 c 669s | 22 | 10182218 | 1877122 | 2492 1818 | 11 | 52 671.78/671.99 c 671s | 22 | 10209214 | 1882322 | 2492 1822 | 11 | 52 673.88/674.02 c 673s | 22 | 10241244 | 1887622 | 2492 1826 | 11 | 52 675.88/676.06 c 675s | 22 | 10269100 | 1892622 | 2492 1830 | 11 | 52 677.88/678.09 c 677s | 22 | 10293824 | 1897822 | 2492 1834 | 11 | 52 679.98/680.12 c 679s | 22 | 10320698 | 1903122 | 2492 1838 | 11 | 52 681.99/682.12 c 681s | 22 | 10343488 | 1908222 | 2492 1842 | 11 | 52 683.98/684.15 c 683s | 22 | 10367148 | 1913222 | 2492 1846 | 11 | 52 685.98/686.19 c 685s | 22 | 10393091 | 1918522 | 2492 1850 | 11 | 52 688.08/688.23 c 687s | 22 | 10419360 | 1923622 | 2492 1854 | 11 | 52 690.08/690.24 c 689s | 22 | 10447180 | 1928722 | 2492 1857 | 11 | 52 692.08/692.28 c 691s | 22 | 10475318 | 1933922 | 2492 1861 | 11 | 52 694.09/694.29 c 693s | 22 | 10508093 | 1938722 | 2492 1865 | 11 | 52 696.19/696.33 c 695s | 22 | 10539981 | 1943722 | 2492 1869 | 11 | 52 698.18/698.36 c 697s | 22 | 10574174 | 1948822 | 2492 1873 | 11 | 52 700.18/700.37 c 699s | 22 | 10608526 | 1954022 | 2492 1877 | 11 | 52 702.28/702.40 c 701s | 22 | 10640080 | 1959422 | 2492 1881 | 11 | 52 704.28/704.42 c 703s | 22 | 10673704 | 1964622 | 2492 1885 | 11 | 52 706.28/706.45 c 706s | 22 | 10704888 | 1969522 | 2492 1888 | 11 | 52 708.29/708.46 c 708s | 22 | 10734795 | 1974222 | 2492 1892 | 11 | 52 710.28/710.48 c 710s | 22 | 10766259 | 1979322 | 2492 1896 | 11 | 52 712.28/712.48 c 712s | 22 | 10794994 | 1984322 | 2492 1900 | 11 | 52 714.38/714.51 c 714s | 22 | 10824008 | 1988922 | 2492 1903 | 11 | 52 716.38/716.53 c 716s | 22 | 10850262 | 1993322 | 2492 1907 | 11 | 52 718.38/718.54 c 718s | 22 | 10879182 | 1997622 | 2492 1910 | 11 | 52 720.38/720.55 c 720s | 22 | 10906422 | 2002222 | 2492 1913 | 11 | 52 722.38/722.57 c 722s | 22 | 10939210 | 2006722 | 2492 1917 | 11 | 52 724.48/724.60 c 724s | 22 | 10969314 | 2011122 | 2492 1920 | 11 | 52 726.48/726.63 c 726s | 22 | 10998680 | 2015722 | 2492 1924 | 11 | 52 728.48/728.66 c 728s | 22 | 11025606 | 2020122 | 2492 1927 | 11 | 52 730.48/730.66 c 730s | 22 | 11050809 | 2024322 | 2492 1930 | 11 | 52 732.48/732.69 c 732s | 22 | 11077129 | 2029622 | 2492 1934 | 11 | 52 734.57/734.71 c 734s | 22 | 11104821 | 2035122 | 2492 1939 | 11 | 52 736.57/736.73 c 736s | 22 | 11133393 | 2040722 | 2492 1943 | 11 | 52 738.57/738.76 c 738s | 22 | 11159100 | 2046122 | 2492 1947 | 11 | 52 740.67/740.80 c 740s | 22 | 11188684 | 2051322 | 2492 1951 | 11 | 52 742.67/742.85 c 742s | 22 | 11211571 | 2056722 | 2492 1955 | 11 | 52 744.68/744.88 c 744s | 22 | 11234186 | 2061722 | 2492 1959 | 11 | 52 746.67/746.89 c 746s | 22 | 11261244 | 2067122 | 2492 1963 | 11 | 52 748.67/748.89 c 748s | 22 | 11285627 | 2072122 | 2492 1967 | 11 | 52 750.77/750.92 c 750s | 22 | 11309895 | 2077522 | 2492 1971 | 11 | 52 752.77/752.95 c 752s | 22 | 11336856 | 2083022 | 2492 1975 | 11 | 52 754.77/754.97 c 754s | 22 | 11363927 | 2088022 | 2492 1979 | 11 | 52 756.78/756.98 c 756s | 22 | 11388782 | 2093322 | 2492 1983 | 11 | 52 758.88/759.03 c 758s | 22 | 11410651 | 2098422 | 2492 1987 | 11 | 52 760.87/761.03 c 760s | 22 | 11430507 | 2103122 | 2492 1990 | 11 | 52 762.87/763.04 c 762s | 22 | 11449715 | 2107522 | 2492 1994 | 11 | 52 764.87/765.07 c 764s | 22 | 11470266 | 2111822 | 2492 1997 | 11 | 52 766.87/767.07 c 766s | 22 | 11493563 | 2116422 | 2492 2000 | 11 | 52 768.97/769.11 c 768s | 22 | 11515319 | 2121222 | 2492 2004 | 11 | 52 770.98/771.12 c 770s | 22 | 11537004 | 2125822 | 2492 2008 | 11 | 52 772.97/773.16 c 772s | 22 | 11556389 | 2130322 | 2492 2011 | 11 | 52 774.97/775.18 c 774s | 22 | 11575904 | 2134822 | 2492 2015 | 11 | 52 776.97/777.19 c 776s | 22 | 11593704 | 2139222 | 2492 2018 | 11 | 52 779.07/779.21 c 778s | 22 | 11612270 | 2143422 | 2492 2021 | 11 | 52 781.07/781.21 c 780s | 22 | 11636092 | 2148522 | 2492 2025 | 11 | 52 783.07/783.24 c 782s | 22 | 11657887 | 2153622 | 2492 2029 | 11 | 52 785.07/785.25 c 784s | 22 | 11681922 | 2158422 | 2492 2033 | 11 | 52 787.07/787.28 c 786s | 22 | 11701624 | 2163022 | 2492 2036 | 11 | 52 789.17/789.32 c 788s | 22 | 11723277 | 2167522 | 2492 2040 | 11 | 52 791.16/791.32 c 790s | 22 | 11744489 | 2172022 | 2492 2043 | 11 | 52 793.16/793.32 c 792s | 22 | 11764533 | 2176522 | 2492 2046 | 11 | 52 795.17/795.36 c 794s | 22 | 11785608 | 2180822 | 2492 2050 | 11 | 52 797.16/797.38 c 796s | 22 | 11807654 | 2185422 | 2492 2053 | 11 | 52 799.16/799.39 c 798s | 22 | 11830616 | 2190022 | 2492 2057 | 11 | 52 801.26/801.42 c 800s | 22 | 11852722 | 2195022 | 2492 2061 | 11 | 52 803.26/803.44 c 803s | 22 | 11877493 | 2200022 | 2492 2064 | 11 | 52 805.26/805.46 c 805s | 22 | 11897713 | 2204622 | 2492 2068 | 11 | 52 807.27/807.50 c 807s | 22 | 11916690 | 2208922 | 2492 2071 | 11 | 52 809.36/809.53 c 809s | 22 | 11936270 | 2213522 | 2492 2075 | 11 | 52 811.36/811.55 c 811s | 22 | 11955916 | 2218022 | 2492 2078 | 11 | 52 813.37/813.56 c 813s | 22 | 11979113 | 2222622 | 2492 2082 | 11 | 52 815.37/815.59 c 815s | 22 | 11998892 | 2227022 | 2492 2085 | 11 | 52 817.47/817.60 c 817s | 22 | 12021342 | 2231922 | 2492 2089 | 11 | 52 819.48/819.62 c 819s | 22 | 12040735 | 2236122 | 2742 2092 | 11 | 52 821.47/821.65 c 821s | 22 | 12070495 | 2241522 | 2742 2095 | 11 | 52 823.47/823.67 c 823s | 22 | 12092693 | 2246522 | 2742 2099 | 11 | 52 825.27/825.46 c 825s | 23 | 12114177 | 2251038 | 2742 2102 | 11 | 52 827.27/827.49 c 827s | 23 | 12142788 | 2256038 | 2742 2106 | 11 | 52 829.27/829.50 c 829s | 23 | 12169442 | 2260938 | 2742 2109 | 11 | 52 831.37/831.54 c 831s | 23 | 12192373 | 2265838 | 2742 2112 | 11 | 52 833.37/833.54 c 833s | 23 | 12220480 | 2270538 | 2742 2116 | 11 | 52 835.37/835.57 c 835s | 23 | 12243016 | 2274938 | 2742 2119 | 11 | 52 837.36/837.57 c 837s | 23 | 12265093 | 2279438 | 2742 2122 | 11 | 52 839.46/839.63 c 839s | 23 | 12288683 | 2283538 | 2742 2125 | 11 | 52 841.47/841.64 c 841s | 23 | 12310399 | 2287538 | 2742 2127 | 11 | 52 843.46/843.67 c 843s | 23 | 12332259 | 2291838 | 2742 2130 | 11 | 52 845.56/845.70 c 845s | 23 | 12356477 | 2296738 | 2742 2134 | 11 | 52 847.56/847.73 c 847s | 23 | 12379549 | 2301538 | 2742 2137 | 11 | 52 849.56/849.75 c 849s | 23 | 12402403 | 2306038 | 2742 2140 | 11 | 52 851.66/851.81 c 851s | 23 | 12423394 | 2310338 | 2742 2143 | 11 | 52 853.66/853.81 c 853s | 23 | 12447362 | 2314738 | 2742 2146 | 11 | 52 855.67/855.83 c 855s | 23 | 12474537 | 2319438 | 2742 2150 | 11 | 52 857.66/857.87 c 857s | 23 | 12500653 | 2323938 | 2742 2153 | 11 | 52 859.76/859.91 c 859s | 23 | 12523357 | 2328638 | 2742 2156 | 11 | 52 861.76/861.93 c 861s | 23 | 12548810 | 2333738 | 2742 2160 | 11 | 52 863.76/863.93 c 863s | 23 | 12573214 | 2338338 | 2742 2163 | 11 | 52 865.76/865.94 c 865s | 23 | 12598032 | 2342638 | 2742 2166 | 11 | 52 867.77/867.96 c 867s | 23 | 12618058 | 2346638 | 2742 2169 | 11 | 52 869.76/869.99 c 869s | 23 | 12639002 | 2350938 | 2742 2172 | 11 | 52 871.86/872.02 c 871s | 23 | 12660524 | 2355338 | 2742 2175 | 11 | 52 873.86/874.03 c 873s | 23 | 12684836 | 2360138 | 2742 2178 | 11 | 52 875.86/876.07 c 875s | 23 | 12712403 | 2364738 | 2742 2181 | 11 | 52 877.96/878.10 c 877s | 23 | 12731992 | 2369038 | 2742 2184 | 11 | 52 879.96/880.13 c 879s | 23 | 12752486 | 2373338 | 2742 2187 | 11 | 52 881.96/882.13 c 881s | 23 | 12775860 | 2377438 | 2742 2190 | 11 | 52 883.96/884.17 c 883s | 23 | 12796830 | 2381638 | 2742 2193 | 11 | 52 886.06/886.21 c 885s | 23 | 12817664 | 2385638 | 2742 2196 | 11 | 52 888.06/888.24 c 887s | 23 | 12837887 | 2389738 | 2742 2199 | 11 | 52 890.06/890.27 c 889s | 23 | 12861711 | 2394138 | 2742 2202 | 11 | 52 892.16/892.33 c 891s | 23 | 12889529 | 2398238 | 2742 2205 | 11 | 52 894.16/894.37 c 893s | 23 | 12916326 | 2402438 | 2742 2207 | 11 | 52 896.25/896.42 c 895s | 23 | 12938425 | 2406538 | 2742 2210 | 11 | 52 898.25/898.44 c 898s | 23 | 12964831 | 2411038 | 2742 2213 | 11 | 52 900.25/900.45 c 900s | 23 | 12990823 | 2415538 | 2742 2217 | 11 | 52 902.25/902.46 c 902s | 23 | 13013827 | 2419838 | 2742 2220 | 11 | 52 904.25/904.49 c 904s | 23 | 13033060 | 2424238 | 2742 2223 | 11 | 52 906.36/906.51 c 906s | 23 | 13053452 | 2428538 | 2742 2226 | 11 | 52 908.35/908.55 c 908s | 23 | 13076267 | 2432838 | 2742 2229 | 11 | 52 910.35/910.56 c 910s | 23 | 13098410 | 2437038 | 2742 2232 | 11 | 52 912.35/912.58 c 912s | 23 | 13121321 | 2441338 | 2742 2235 | 11 | 52 914.45/914.62 c 914s | 23 | 13146729 | 2445338 | 2742 2237 | 11 | 52 916.45/916.65 c 916s | 23 | 13171454 | 2449338 | 2742 2240 | 11 | 52 918.46/918.66 c 918s | 23 | 13189770 | 2453238 | 2742 2243 | 11 | 52 920.45/920.70 c 920s | 23 | 13208861 | 2456838 | 2742 2245 | 11 | 52 922.55/922.71 c 922s | 23 | 13226851 | 2460738 | 2742 2248 | 11 | 52 924.55/924.76 c 924s | 23 | 13247729 | 2464538 | 2742 2251 | 11 | 52 926.65/926.80 c 926s | 23 | 13269835 | 2468638 | 2742 2254 | 11 | 52 928.65/928.85 c 928s | 23 | 13290637 | 2472538 | 2742 2256 | 11 | 52 930.65/930.86 c 930s | 23 | 13311549 | 2476638 | 2742 2259 | 11 | 52 932.65/932.90 c 932s | 23 | 13330149 | 2480338 | 2742 2262 | 11 | 52 934.75/934.93 c 934s | 23 | 13350251 | 2483638 | 2742 2264 | 11 | 52 936.75/936.96 c 936s | 23 | 13370138 | 2487538 | 2742 2267 | 11 | 52 938.75/938.97 c 938s | 23 | 13389497 | 2491338 | 2742 2270 | 11 | 52 940.85/941.02 c 940s | 23 | 13409280 | 2494938 | 2742 2272 | 11 | 52 942.84/943.04 c 942s | 23 | 13428639 | 2498238 | 2742 2274 | 11 | 52 944.85/945.05 c 944s | 23 | 13444901 | 2502238 | 2742 2277 | 11 | 52 946.84/947.07 c 946s | 23 | 13464009 | 2505938 | 2742 2280 | 11 | 52 948.84/949.09 c 948s | 23 | 13477975 | 2509338 | 2742 2282 | 11 | 52 950.94/951.12 c 950s | 23 | 13500776 | 2513838 | 2742 2285 | 11 | 52 952.94/953.13 c 952s | 23 | 13527300 | 2519038 | 2742 2289 | 11 | 52 954.94/955.16 c 954s | 23 | 13556648 | 2524838 | 2742 2293 | 11 | 52 956.95/957.19 c 956s | 23 | 13585184 | 2530238 | 2742 2297 | 11 | 52 959.05/959.21 c 958s | 23 | 13613235 | 2535538 | 2742 2301 | 11 | 52 961.04/961.25 c 960s | 23 | 13640449 | 2541038 | 2742 2304 | 11 | 52 963.04/963.28 c 962s | 23 | 13666014 | 2546138 | 2742 2308 | 11 | 52 965.14/965.30 c 964s | 23 | 13690729 | 2551138 | 2742 2311 | 11 | 52 967.14/967.32 c 966s | 23 | 13723296 | 2555838 | 2742 2315 | 11 | 52 969.14/969.37 c 968s | 23 | 13749360 | 2561438 | 2742 2319 | 11 | 52 971.25/971.41 c 970s | 23 | 13771505 | 2566338 | 2742 2322 | 11 | 52 973.24/973.42 c 972s | 23 | 13794269 | 2571038 | 2742 2325 | 11 | 52 975.24/975.46 c 975s | 23 | 13820091 | 2576338 | 2742 2329 | 11 | 52 977.24/977.46 c 977s | 23 | 13843304 | 2580738 | 2742 2332 | 11 | 52 979.24/979.47 c 979s | 23 | 13871490 | 2585538 | 2742 2335 | 11 | 52 981.24/981.48 c 981s | 23 | 13897406 | 2590638 | 2742 2339 | 11 | 52 983.35/983.51 c 983s | 23 | 13925419 | 2595838 | 2742 2343 | 11 | 52 985.34/985.51 c 985s | 23 | 13950059 | 2601038 | 2742 2346 | 11 | 52 987.34/987.53 c 987s | 23 | 13976916 | 2606638 | 2742 2350 | 11 | 52 989.34/989.54 c 989s | 23 | 14005606 | 2612138 | 2742 2354 | 11 | 52 991.34/991.55 c 991s | 23 | 14033971 | 2617438 | 2742 2358 | 11 | 52 993.34/993.59 c 993s | 23 | 14060118 | 2623038 | 2742 2361 | 11 | 52 995.34/995.60 c 995s | 23 | 14086151 | 2628638 | 2742 2365 | 11 | 52 997.44/997.60 c 997s | 23 | 14110013 | 2634238 | 2742 2369 | 11 | 52 999.44/999.61 c 999s | 23 | 14135155 | 2639338 | 2742 2373 | 11 | 52 1001.44/1001.61 c 1001s | 23 | 14164428 | 2644838 | 2742 2377 | 11 | 52 1003.43/1003.63 c 1003s | 23 | 14194946 | 2650638 | 2742 2381 | 11 | 52 1005.43/1005.64 c 1005s | 23 | 14221999 | 2656138 | 2742 2384 | 11 | 52 1007.44/1007.67 c 1007s | 23 | 14249871 | 2661438 | 2742 2388 | 11 | 52 1009.43/1009.68 c 1009s | 23 | 14280116 | 2666738 | 2742 2392 | 11 | 52 1011.53/1011.70 c 1011s | 23 | 14309592 | 2671838 | 2742 2395 | 11 | 52 1013.53/1013.70 c 1013s | 23 | 14333501 | 2677238 | 2742 2399 | 11 | 52 1015.53/1015.71 c 1015s | 23 | 14359043 | 2682538 | 2742 2403 | 11 | 52 1017.53/1017.74 c 1017s | 23 | 14382023 | 2687838 | 2742 2407 | 11 | 52 1019.54/1019.76 c 1019s | 23 | 14407498 | 2692738 | 2742 2410 | 11 | 52 1021.53/1021.77 c 1021s | 23 | 14439691 | 2697838 | 2742 2413 | 11 | 52 1023.63/1023.80 c 1023s | 23 | 14461820 | 2702538 | 2742 2417 | 11 | 52 1025.63/1025.83 c 1025s | 23 | 14483399 | 2707238 | 2742 2420 | 11 | 52 1027.63/1027.86 c 1027s | 23 | 14504875 | 2711738 | 2742 2423 | 11 | 52 1029.63/1029.86 c 1029s | 23 | 14530160 | 2717238 | 2742 2427 | 11 | 52 1031.73/1031.90 c 1031s | 23 | 14556541 | 2722238 | 2742 2430 | 11 | 52 1033.73/1033.93 c 1033s | 23 | 14577321 | 2726738 | 2742 2434 | 11 | 52 1035.73/1035.96 c 1035s | 23 | 14597408 | 2731138 | 2742 2437 | 11 | 52 1037.73/1037.99 c 1037s | 23 | 14619249 | 2735538 | 2742 2440 | 11 | 52 1039.83/1040.02 c 1039s | 23 | 14646351 | 2740738 | 2742 2443 | 11 | 52 1041.83/1042.03 c 1041s | 23 | 14672864 | 2745838 | 2742 2447 | 11 | 52 1043.84/1044.04 c 1043s | 23 | 14697141 | 2750538 | 2742 2450 | 11 | 52 1045.83/1046.07 c 1045s | 23 | 14722163 | 2755538 | 2742 2454 | 11 | 52 1047.83/1048.07 c 1047s | 23 | 14746223 | 2760538 | 2742 2457 | 11 | 52 1049.93/1050.11 c 1049s | 23 | 14767659 | 2765438 | 2742 2461 | 11 | 52 1051.93/1052.12 c 1051s | 23 | 14786320 | 2770038 | 2742 2464 | 11 | 52 1053.93/1054.13 c 1053s | 23 | 14803164 | 2774538 | 2742 2467 | 11 | 52 1055.94/1056.14 c 1055s | 23 | 14822279 | 2778738 | 2742 2470 | 11 | 52 1057.93/1058.15 c 1057s | 23 | 14841166 | 2782938 | 2742 2473 | 11 | 52 1059.93/1060.16 c 1059s | 23 | 14862751 | 2787738 | 2742 2476 | 11 | 52 1062.03/1062.21 c 1061s | 23 | 14882501 | 2792038 | 2742 2479 | 11 | 52 1064.03/1064.24 c 1063s | 23 | 14904233 | 2797138 | 2742 2483 | 11 | 52 1066.03/1066.27 c 1065s | 23 | 14927303 | 2802338 | 2742 2486 | 11 | 52 1068.13/1068.31 c 1067s | 23 | 14948989 | 2807338 | 2742 2490 | 11 | 52 1070.14/1070.35 c 1069s | 23 | 14971097 | 2812238 | 2742 2493 | 11 | 52 1072.13/1072.37 c 1071s | 23 | 14991077 | 2816738 | 2742 2496 | 11 | 52 1074.23/1074.40 c 1073s | 23 | 15018448 | 2821838 | 2742 2500 | 11 | 52 1076.23/1076.43 c 1076s | 23 | 15048796 | 2827538 | 2742 2504 | 11 | 52 1078.23/1078.47 c 1078s | 23 | 15076690 | 2832738 | 2742 2508 | 11 | 52 1080.23/1080.48 c 1080s | 23 | 15110509 | 2837938 | 2742 2511 | 11 | 52 1082.33/1082.51 c 1082s | 23 | 15139851 | 2843538 | 2742 2515 | 11 | 52 1084.33/1084.52 c 1084s | 23 | 15164838 | 2848438 | 2742 2518 | 11 | 52 1086.33/1086.55 c 1086s | 23 | 15197997 | 2853938 | 2742 2522 | 11 | 52 1088.33/1088.59 c 1088s | 23 | 15226269 | 2859238 | 2742 2526 | 11 | 52 1090.43/1090.62 c 1090s | 23 | 15251599 | 2864538 | 2742 2530 | 11 | 52 1092.42/1092.64 c 1092s | 23 | 15281769 | 2870138 | 2742 2534 | 11 | 52 1094.43/1094.66 c 1094s | 23 | 15307630 | 2875238 | 2742 2537 | 11 | 52 1096.42/1096.70 c 1096s | 23 | 15328845 | 2880038 | 2742 2540 | 11 | 52 1098.52/1098.73 c 1098s | 23 | 15354859 | 2885338 | 2742 2544 | 11 | 52 1100.52/1100.75 c 1100s | 23 | 15378252 | 2890438 | 2742 2548 | 11 | 52 1102.52/1102.77 c 1102s | 23 | 15407605 | 2895938 | 2742 2552 | 11 | 52 1104.52/1104.79 c 1104s | 23 | 15433904 | 2901338 | 2742 2555 | 11 | 52 1106.62/1106.82 c 1106s | 23 | 15458267 | 2906538 | 2742 2559 | 11 | 52 1108.63/1108.86 c 1108s | 23 | 15482995 | 2911738 | 2742 2563 | 11 | 52 1110.62/1110.89 c 1110s | 23 | 15507527 | 2916538 | 2742 2566 | 11 | 52 1112.62/1112.89 c 1112s | 23 | 15530909 | 2921038 | 2742 2569 | 11 | 52 1114.72/1114.90 c 1114s | 23 | 15551104 | 2925538 | 2742 2572 | 11 | 52 1116.72/1116.93 c 1116s | 23 | 15572972 | 2930138 | 2742 2575 | 11 | 52 1118.72/1118.95 c 1118s | 23 | 15595623 | 2934738 | 2742 2579 | 11 | 52 1120.72/1120.97 c 1120s | 23 | 15617710 | 2939138 | 2742 2582 | 11 | 52 1122.72/1122.98 c 1122s | 23 | 15640316 | 2943538 | 2742 2585 | 11 | 52 1124.82/1125.01 c 1124s | 23 | 15663244 | 2948338 | 2742 2588 | 11 | 52 1126.81/1127.02 c 1126s | 23 | 15683600 | 2953038 | 2742 2591 | 11 | 52 1128.81/1129.02 c 1128s | 23 | 15703897 | 2957638 | 2742 2595 | 11 | 52 1130.81/1131.03 c 1130s | 23 | 15727707 | 2962138 | 2742 2598 | 11 | 52 1132.82/1133.04 c 1132s | 23 | 15751316 | 2966438 | 2742 2601 | 11 | 52 1134.81/1135.05 c 1134s | 23 | 15774203 | 2971138 | 2742 2604 | 11 | 52 1136.81/1137.07 c 1136s | 23 | 15795398 | 2975938 | 2742 2607 | 11 | 52 1138.81/1139.08 c 1138s | 23 | 15814988 | 2980238 | 2742 2610 | 11 | 52 1140.91/1141.11 c 1140s | 23 | 15837843 | 2984638 | 2742 2613 | 11 | 52 1142.91/1143.16 c 1142s | 23 | 15858498 | 2988738 | 2742 2616 | 11 | 52 1144.92/1145.16 c 1144s | 23 | 15878447 | 2992638 | 2742 2619 | 11 | 52 1146.91/1147.18 c 1146s | 23 | 15898210 | 2996538 | 2742 2622 | 11 | 52 1149.01/1149.21 c 1148s | 23 | 15916924 | 3000638 | 2742 2625 | 11 | 52 1151.01/1151.25 c 1150s | 23 | 15934760 | 3004738 | 2742 2628 | 11 | 52 1153.01/1153.27 c 1152s | 23 | 15957763 | 3008938 | 2742 2631 | 11 | 52 1155.01/1155.27 c 1154s | 23 | 15987344 | 3014438 | 2742 2634 | 11 | 52 1157.02/1157.30 c 1156s | 23 | 16015011 | 3020038 | 2742 2638 | 11 | 52 1159.11/1159.31 c 1158s | 23 | 16043579 | 3025238 | 2742 2642 | 11 | 52 1161.11/1161.33 c 1160s | 23 | 16072264 | 3031038 | 2742 2646 | 11 | 52 1163.11/1163.36 c 1162s | 23 | 16104227 | 3036638 | 2742 2650 | 11 | 52 1165.11/1165.39 c 1164s | 23 | 16135311 | 3041838 | 2742 2653 | 11 | 52 1167.21/1167.40 c 1166s | 23 | 16161055 | 3046638 | 2742 2657 | 11 | 52 1169.21/1169.44 c 1169s | 23 | 16191016 | 3052038 | 2742 2661 | 11 | 52 1171.31/1171.51 c 1171s | 23 | 16217205 | 3056738 | 2742 2664 | 11 | 52 1173.31/1173.53 c 1173s | 23 | 16246199 | 3062238 | 2742 2668 | 11 | 52 1175.31/1175.58 c 1175s | 23 | 16271580 | 3068038 | 2742 2672 | 11 | 52 1177.41/1177.61 c 1177s | 23 | 16297838 | 3073038 | 2742 2675 | 11 | 52 1179.40/1179.63 c 1179s | 23 | 16324184 | 3077938 | 2742 2679 | 11 | 52 1181.40/1181.64 c 1181s | 23 | 16345031 | 3082338 | 2742 2682 | 11 | 52 1183.41/1183.67 c 1183s | 23 | 16368517 | 3087238 | 2742 2685 | 11 | 52 1185.40/1185.67 c 1185s | 23 | 16391670 | 3092138 | 2742 2688 | 11 | 52 1187.51/1187.71 c 1187s | 23 | 16416979 | 3097238 | 2742 2692 | 11 | 52 1189.51/1189.72 c 1189s | 23 | 16436047 | 3101938 | 2742 2695 | 11 | 52 1191.51/1191.72 c 1191s | 23 | 16466569 | 3106838 | 2742 2699 | 11 | 52 1193.51/1193.73 c 1193s | 23 | 16498732 | 3112038 | 2742 2702 | 11 | 52 1195.52/1195.76 c 1195s | 23 | 16530093 | 3117338 | 2742 2706 | 11 | 52 1197.51/1197.76 c 1197s | 23 | 16562623 | 3122538 | 2742 2710 | 11 | 52 1199.51/1199.79 c 1199s | 23 | 16594293 | 3127438 | 2742 2713 | 11 | 52 1201.61/1201.81 c 1201s | 23 | 16618977 | 3132338 | 2742 2717 | 11 | 52 1203.61/1203.84 c 1203s | 23 | 16650249 | 3138038 | 2742 2720 | 11 | 52 1205.61/1205.86 c 1205s | 23 | 16677080 | 3143638 | 2742 2724 | 11 | 52 1207.62/1207.90 c 1207s | 23 | 16708791 | 3149038 | 2742 2728 | 11 | 52 1209.71/1209.91 c 1209s | 23 | 16736931 | 3153838 | 2742 2732 | 11 | 52 1211.71/1211.94 c 1211s | 23 | 16766396 | 3158938 | 2742 2735 | 11 | 52 1213.71/1213.99 c 1213s | 23 | 16797267 | 3163738 | 2742 2738 | 11 | 52 1215.81/1216.01 c 1215s | 23 | 16828821 | 3168738 | 2742 2742 | 11 | 52 1217.81/1218.05 c 1217s | 23 | 16855491 | 3173638 | 2742 2745 | 11 | 52 1219.81/1220.08 c 1219s | 23 | 16882947 | 3178038 | 2742 2748 | 11 | 52 1221.91/1222.11 c 1221s | 23 | 16906821 | 3182638 | 2742 2752 | 11 | 52 1223.90/1224.11 c 1223s | 23 | 16931982 | 3187038 | 2742 2755 | 11 | 52 1225.90/1226.14 c 1225s | 23 | 16954952 | 3191038 | 2742 2758 | 11 | 52 1227.90/1228.16 c 1227s | 23 | 16982220 | 3195538 | 2742 2761 | 11 | 52 1229.90/1230.16 c 1229s | 23 | 17004320 | 3200138 | 2742 2764 | 11 | 52 1231.91/1232.17 c 1231s | 23 | 17023655 | 3204238 | 2742 2767 | 11 | 52 1233.90/1234.17 c 1233s | 23 | 17047611 | 3208738 | 2742 2770 | 11 | 52 1236.00/1236.20 c 1235s | 23 | 17070580 | 3213338 | 2742 2773 | 11 | 52 1238.00/1238.23 c 1237s | 23 | 17089905 | 3217638 | 2742 2776 | 11 | 52 1240.00/1240.26 c 1239s | 23 | 17112980 | 3222038 | 2742 2779 | 11 | 52 1242.10/1242.31 c 1241s | 23 | 17136696 | 3226438 | 2742 2782 | 11 | 52 1244.10/1244.34 c 1243s | 23 | 17158201 | 3230838 | 2742 2785 | 11 | 52 1246.11/1246.37 c 1245s | 23 | 17179615 | 3235138 | 2742 2788 | 11 | 52 1248.20/1248.42 c 1247s | 23 | 17203832 | 3239738 | 2742 2792 | 11 | 52 1250.20/1250.43 c 1250s | 23 | 17228631 | 3245138 | 2742 2795 | 11 | 52 1252.20/1252.45 c 1252s | 23 | 17252384 | 3250138 | 2742 2799 | 11 | 52 1254.20/1254.48 c 1254s | 23 | 17273684 | 3255038 | 2742 2802 | 11 | 52 1256.20/1256.49 c 1256s | 23 | 17296604 | 3259838 | 2742 2806 | 11 | 52 1258.30/1258.51 c 1258s | 23 | 17316817 | 3264538 | 2742 2809 | 11 | 52 1260.29/1260.56 c 1260s | 23 | 17341846 | 3269838 | 2742 2813 | 11 | 52 1262.29/1262.57 c 1262s | 23 | 17365238 | 3275038 | 2742 2816 | 11 | 52 1264.39/1264.60 c 1264s | 23 | 17391198 | 3279938 | 2742 2820 | 11 | 52 1266.39/1266.63 c 1266s | 23 | 17409811 | 3284538 | 2742 2823 | 11 | 52 1268.39/1268.67 c 1268s | 23 | 17433969 | 3289438 | 2742 2826 | 11 | 52 1270.40/1270.68 c 1270s | 23 | 17458997 | 3294038 | 2742 2829 | 11 | 52 1272.50/1272.71 c 1272s | 23 | 17482484 | 3298538 | 2742 2833 | 11 | 52 1274.49/1274.73 c 1274s | 23 | 17505219 | 3303038 | 2742 2836 | 11 | 52 1276.49/1276.78 c 1276s | 23 | 17529379 | 3308138 | 2742 2839 | 11 | 52 1278.60/1278.81 c 1278s | 23 | 17553158 | 3313338 | 2742 2843 | 11 | 52 1280.60/1280.81 c 1280s | 23 | 17575640 | 3318238 | 2742 2846 | 11 | 52 1282.60/1282.83 c 1282s | 23 | 17602305 | 3323338 | 2742 2850 | 11 | 52 1284.60/1284.84 c 1284s | 23 | 17638275 | 3328538 | 2742 2853 | 11 | 52 1286.60/1286.84 c 1286s | 23 | 17678569 | 3333838 | 2742 2857 | 11 | 52 1288.60/1288.88 c 1288s | 23 | 17712583 | 3339638 | 2742 2861 | 11 | 52 1290.69/1290.92 c 1290s | 23 | 17746261 | 3344938 | 2742 2865 | 11 | 52 1292.69/1292.92 c 1292s | 23 | 17778695 | 3350238 | 2742 2869 | 11 | 52 1294.69/1294.93 c 1294s | 23 | 17808015 | 3355538 | 3017 2872 | 11 | 52 1296.70/1296.95 c 1296s | 23 | 17827992 | 3360638 | 3017 2875 | 11 | 52 1298.69/1298.98 c 1298s | 23 | 17853033 | 3365538 | 3017 2878 | 11 | 52 1300.79/1301.01 c 1300s | 23 | 17883896 | 3370738 | 3017 2882 | 11 | 52 1302.79/1303.02 c 1302s | 23 | 17918740 | 3376338 | 3017 2885 | 11 | 52 1302.89/1303.14 c 1302s | 24 | 17920490 | 3376662 | 3017 2885 | 11 | 52 1304.89/1305.16 c 1304s | 24 | 17951066 | 3381762 | 3017 2889 | 11 | 52 1306.89/1307.17 c 1306s | 24 | 17982316 | 3386762 | 3017 2892 | 11 | 52 1308.99/1309.20 c 1308s | 24 | 18015305 | 3391662 | 3017 2895 | 11 | 52 1311.00/1311.23 c 1310s | 24 | 18045760 | 3396562 | 3017 2898 | 11 | 52 1312.99/1313.24 c 1312s | 24 | 18072901 | 3402262 | 3017 2902 | 11 | 52 1314.99/1315.27 c 1314s | 24 | 18106343 | 3408462 | 3017 2905 | 11 | 52 1316.99/1317.28 c 1316s | 24 | 18137286 | 3413962 | 3017 2909 | 11 | 52 1319.09/1319.30 c 1318s | 24 | 18173881 | 3419162 | 3017 2912 | 11 | 52 1321.09/1321.32 c 1320s | 24 | 18206768 | 3424462 | 3017 2916 | 11 | 52 1323.09/1323.33 c 1322s | 24 | 18240000 | 3429162 | 3017 2919 | 11 | 52 1325.09/1325.34 c 1324s | 24 | 18276352 | 3434662 | 3017 2922 | 11 | 52 1327.09/1327.35 c 1326s | 24 | 18305923 | 3439862 | 3017 2925 | 11 | 52 1329.09/1329.37 c 1328s | 24 | 18339394 | 3444862 | 3017 2929 | 11 | 52 1331.09/1331.39 c 1330s | 24 | 18368635 | 3449962 | 3017 2932 | 11 | 52 1333.19/1333.41 c 1332s | 24 | 18402526 | 3454962 | 3017 2935 | 11 | 52 1335.19/1335.44 c 1335s | 24 | 18430366 | 3459462 | 3017 2938 | 11 | 52 1337.19/1337.48 c 1337s | 24 | 18462054 | 3464362 | 3017 2941 | 11 | 52 1339.29/1339.50 c 1339s | 24 | 18497358 | 3469562 | 3017 2944 | 11 | 52 1341.29/1341.55 c 1341s | 24 | 18526937 | 3474762 | 3017 2948 | 11 | 52 1343.28/1343.56 c 1343s | 24 | 18560440 | 3480162 | 3017 2951 | 11 | 52 1345.38/1345.60 c 1345s | 24 | 18596213 | 3485462 | 3017 2954 | 11 | 52 1347.39/1347.62 c 1347s | 24 | 18627793 | 3490562 | 3017 2958 | 11 | 52 1349.38/1349.66 c 1349s | 24 | 18662915 | 3495262 | 3017 2961 | 11 | 52 1351.38/1351.69 c 1351s | 24 | 18696407 | 3500262 | 3017 2964 | 11 | 52 1353.48/1353.72 c 1353s | 24 | 18728229 | 3505362 | 3017 2967 | 11 | 52 1355.48/1355.75 c 1355s | 24 | 18762053 | 3510862 | 3017 2970 | 11 | 52 1357.48/1357.77 c 1357s | 24 | 18792086 | 3515862 | 3017 2974 | 11 | 52 1359.58/1359.82 c 1359s | 24 | 18820784 | 3521362 | 3017 2977 | 11 | 52 1361.59/1361.82 c 1361s | 24 | 18845829 | 3526562 | 3017 2980 | 11 | 52 1363.58/1363.87 c 1363s | 24 | 18881878 | 3532062 | 3017 2984 | 11 | 52 1365.58/1365.89 c 1365s | 24 | 18914281 | 3537462 | 3017 2987 | 11 | 52 1367.68/1367.94 c 1367s | 24 | 18944816 | 3542562 | 3017 2991 | 11 | 52 1369.68/1369.96 c 1369s | 24 | 18971994 | 3548062 | 3017 2994 | 11 | 52 1371.78/1372.02 c 1371s | 24 | 19002904 | 3553862 | 3017 2998 | 11 | 52 1373.78/1374.02 c 1373s | 24 | 19031535 | 3559862 | 3017 3002 | 11 | 52 1375.78/1376.02 c 1375s | 24 | 19059472 | 3566062 | 3017 3006 | 11 | 52 1377.78/1378.04 c 1377s | 24 | 19088342 | 3572162 | 3017 3009 | 11 | 52 1379.78/1380.06 c 1379s | 24 | 19113671 | 3578062 | 3017 3013 | 11 | 52 1381.78/1382.09 c 1381s | 24 | 19141373 | 3583862 | 3017 3017 | 11 | 52 1383.87/1384.11 c 1383s | 24 | 19172804 | 3589662 | 3017 3020 | 11 | 52 1385.88/1386.14 c 1385s | 24 | 19198903 | 3595362 | 3017 3024 | 11 | 52 1387.87/1388.15 c 1387s | 24 | 19230349 | 3601062 | 3017 3028 | 11 | 52 1389.87/1390.17 c 1389s | 24 | 19256615 | 3606162 | 3017 3031 | 11 | 52 1391.87/1392.17 c 1391s | 24 | 19289417 | 3611462 | 3017 3034 | 11 | 52 1393.97/1394.20 c 1393s | 24 | 19326043 | 3617162 | 3017 3038 | 11 | 52 1395.97/1396.21 c 1395s | 24 | 19356919 | 3622462 | 3017 3041 | 11 | 52 1397.98/1398.22 c 1397s | 24 | 19385272 | 3627862 | 3017 3045 | 11 | 52 1399.97/1400.23 c 1399s | 24 | 19409907 | 3633062 | 3017 3048 | 11 | 52 1401.97/1402.25 c 1401s | 24 | 19438778 | 3638162 | 3017 3051 | 11 | 52 1403.97/1404.29 c 1403s | 24 | 19464206 | 3643462 | 3017 3055 | 11 | 52 1406.07/1406.32 c 1405s | 24 | 19496967 | 3649462 | 3017 3058 | 11 | 52 1408.07/1408.34 c 1407s | 24 | 19524354 | 3655162 | 3017 3062 | 11 | 52 1410.09/1410.34 c 1409s | 24 | 19552164 | 3661062 | 3017 3066 | 11 | 52 1412.08/1412.37 c 1411s | 24 | 19579826 | 3666462 | 3017 3069 | 11 | 52 1414.18/1414.41 c 1413s | 24 | 19605424 | 3671862 | 3017 3073 | 11 | 52 1416.18/1416.42 c 1415s | 24 | 19629902 | 3676862 | 3017 3076 | 11 | 52 1418.18/1418.45 c 1418s | 24 | 19653821 | 3681362 | 3017 3079 | 11 | 52 1420.18/1420.46 c 1420s | 24 | 19680634 | 3686062 | 3017 3082 | 11 | 52 1422.18/1422.49 c 1422s | 24 | 19707736 | 3691162 | 3017 3085 | 11 | 52 1424.28/1424.55 c 1424s | 24 | 19735237 | 3696362 | 3017 3088 | 11 | 52 1426.28/1426.58 c 1426s | 24 | 19759674 | 3701562 | 3017 3091 | 11 | 52 1428.28/1428.59 c 1428s | 24 | 19788757 | 3707062 | 3017 3095 | 11 | 52 1430.38/1430.62 c 1430s | 24 | 19811931 | 3712262 | 3017 3098 | 11 | 52 1432.38/1432.65 c 1432s | 24 | 19843420 | 3717762 | 3017 3102 | 11 | 52 1434.37/1434.67 c 1434s | 24 | 19875462 | 3723162 | 3017 3105 | 11 | 52 1436.38/1436.67 c 1436s | 24 | 19904556 | 3728262 | 3017 3108 | 11 | 52 1438.37/1438.67 c 1438s | 24 | 19927400 | 3733462 | 3017 3112 | 11 | 52 1440.37/1440.68 c 1440s | 24 | 19950782 | 3738362 | 3017 3115 | 11 | 52 1442.47/1442.71 c 1442s | 24 | 19979127 | 3743962 | 3017 3118 | 11 | 52 1444.47/1444.73 c 1444s | 24 | 20004674 | 3749162 | 3017 3122 | 11 | 52 1446.47/1446.74 c 1446s | 24 | 20030904 | 3754162 | 3017 3125 | 11 | 52 1448.48/1448.77 c 1448s | 24 | 20053923 | 3759662 | 3017 3128 | 11 | 52 1450.47/1450.78 c 1450s | 24 | 20079565 | 3764962 | 3017 3132 | 11 | 52 1452.57/1452.80 c 1452s | 24 | 20106128 | 3770362 | 3017 3135 | 11 | 52 1454.57/1454.83 c 1454s | 24 | 20132165 | 3775862 | 3017 3139 | 11 | 52 1456.56/1456.84 c 1456s | 24 | 20154124 | 3781062 | 3017 3142 | 11 | 52 1458.56/1458.85 c 1458s | 24 | 20177668 | 3786162 | 3017 3145 | 11 | 52 1460.57/1460.87 c 1460s | 24 | 20205011 | 3791562 | 3017 3149 | 11 | 52 1462.66/1462.91 c 1462s | 24 | 20226324 | 3796762 | 3017 3152 | 11 | 52 1464.66/1464.94 c 1464s | 24 | 20256824 | 3801962 | 3017 3155 | 11 | 52 1466.66/1466.96 c 1466s | 24 | 20290668 | 3807662 | 3017 3159 | 11 | 52 1468.66/1468.99 c 1468s | 24 | 20323548 | 3813262 | 3017 3162 | 11 | 52 1470.76/1471.01 c 1470s | 24 | 20354928 | 3818662 | 3017 3166 | 11 | 52 1472.77/1473.04 c 1472s | 24 | 20386712 | 3823862 | 3017 3169 | 11 | 52 1474.76/1475.07 c 1474s | 24 | 20415890 | 3828962 | 3017 3172 | 11 | 52 1476.76/1477.08 c 1476s | 24 | 20444856 | 3834262 | 3017 3176 | 11 | 52 1478.76/1479.09 c 1478s | 24 | 20473172 | 3839162 | 3017 3179 | 11 | 52 1480.85/1481.13 c 1480s | 24 | 20505840 | 3844362 | 3017 3182 | 11 | 52 1482.85/1483.15 c 1482s | 24 | 20536589 | 3849562 | 3017 3185 | 11 | 52 1484.86/1485.18 c 1484s | 24 | 20565145 | 3854762 | 3017 3189 | 11 | 52 1486.96/1487.21 c 1486s | 24 | 20595333 | 3859662 | 3017 3192 | 11 | 52 1488.95/1489.22 c 1488s | 24 | 20622396 | 3865262 | 3017 3195 | 11 | 52 1490.95/1491.23 c 1490s | 24 | 20648620 | 3870862 | 3017 3199 | 11 | 52 1492.95/1493.26 c 1492s | 24 | 20673410 | 3876462 | 3017 3202 | 11 | 52 1494.95/1495.28 c 1494s | 24 | 20702030 | 3882262 | 3017 3206 | 11 | 52 1497.05/1497.31 c 1496s | 24 | 20730538 | 3887262 | 3017 3209 | 11 | 52 1499.05/1499.36 c 1498s | 24 | 20757971 | 3892262 | 3017 3212 | 11 | 52 1501.04/1501.39 c 1500s | 24 | 20786567 | 3897162 | 3017 3216 | 11 | 52 1503.14/1503.42 c 1502s | 24 | 20815759 | 3902262 | 3017 3219 | 11 | 52 1505.14/1505.44 c 1505s | 24 | 20847239 | 3907462 | 3017 3222 | 11 | 52 1507.14/1507.46 c 1507s | 24 | 20880163 | 3912462 | 3017 3225 | 11 | 52 1509.14/1509.48 c 1509s | 24 | 20910270 | 3917462 | 3017 3228 | 11 | 52 1511.25/1511.52 c 1511s | 24 | 20938169 | 3922262 | 3017 3231 | 11 | 52 1513.24/1513.52 c 1513s | 24 | 20967191 | 3926962 | 3017 3234 | 11 | 52 1515.24/1515.52 c 1515s | 24 | 20992903 | 3931462 | 3017 3237 | 11 | 52 1517.24/1517.53 c 1517s | 24 | 21016604 | 3935962 | 3017 3240 | 11 | 52 1519.24/1519.56 c 1519s | 24 | 21042178 | 3940762 | 3017 3243 | 11 | 52 1521.23/1521.57 c 1521s | 24 | 21068660 | 3945362 | 3017 3246 | 11 | 52 1523.24/1523.58 c 1523s | 24 | 21096429 | 3950262 | 3017 3249 | 11 | 52 1525.33/1525.61 c 1525s | 24 | 21125245 | 3955162 | 3017 3252 | 11 | 52 1527.33/1527.63 c 1527s | 24 | 21155610 | 3959862 | 3017 3255 | 11 | 52 1529.33/1529.65 c 1529s | 24 | 21184745 | 3964262 | 3017 3258 | 11 | 52 1531.33/1531.66 c 1531s | 24 | 21211570 | 3968562 | 3017 3261 | 11 | 52 1533.33/1533.69 c 1533s | 24 | 21238217 | 3973662 | 3017 3264 | 11 | 52 1535.43/1535.72 c 1535s | 24 | 21266010 | 3978662 | 3017 3267 | 11 | 52 1537.43/1537.73 c 1537s | 24 | 21296883 | 3983662 | 3017 3270 | 11 | 52 1539.43/1539.75 c 1539s | 24 | 21325779 | 3988662 | 3017 3274 | 11 | 52 1541.42/1541.76 c 1541s | 24 | 21354716 | 3993362 | 3017 3277 | 11 | 52 1543.52/1543.80 c 1543s | 24 | 21381004 | 3997862 | 3017 3279 | 11 | 52 1545.52/1545.84 c 1545s | 24 | 21400992 | 4002462 | 3017 3282 | 11 | 52 1547.53/1547.85 c 1547s | 24 | 21428510 | 4007662 | 3017 3286 | 11 | 52 1549.53/1549.87 c 1549s | 24 | 21452486 | 4013262 | 3017 3289 | 11 | 52 1551.52/1551.89 c 1551s | 24 | 21475957 | 4017962 | 3017 3292 | 11 | 52 1553.62/1553.94 c 1553s | 24 | 21499086 | 4021962 | 3017 3295 | 11 | 52 1555.62/1555.96 c 1555s | 24 | 21523251 | 4026562 | 3017 3298 | 11 | 52 1557.62/1557.97 c 1557s | 24 | 21553213 | 4031762 | 3017 3301 | 11 | 52 1559.63/1559.98 c 1559s | 24 | 21581658 | 4036862 | 3017 3304 | 11 | 52 1561.72/1562.01 c 1561s | 24 | 21603811 | 4041762 | 3017 3307 | 11 | 52 1563.72/1564.04 c 1563s | 24 | 21628813 | 4046762 | 3017 3311 | 11 | 52 1565.72/1566.04 c 1565s | 24 | 21655465 | 4052162 | 3017 3314 | 11 | 52 1567.72/1568.04 c 1567s | 24 | 21682724 | 4057562 | 3017 3317 | 11 | 52 1569.72/1570.09 c 1569s | 24 | 21715605 | 4062362 | 3017 3320 | 11 | 52 1571.81/1572.12 c 1571s | 24 | 21744359 | 4067062 | 3017 3323 | 11 | 52 1573.82/1574.14 c 1573s | 24 | 21770909 | 4071962 | 3017 3326 | 11 | 52 1575.81/1576.17 c 1575s | 24 | 21794111 | 4076662 | 3017 3329 | 11 | 52 1577.91/1578.20 c 1577s | 24 | 21817036 | 4081262 | 3017 3332 | 11 | 52 1579.91/1580.22 c 1579s | 24 | 21842385 | 4085962 | 3017 3335 | 11 | 52 1581.91/1582.24 c 1581s | 24 | 21871780 | 4091062 | 3017 3339 | 11 | 52 1583.91/1584.27 c 1583s | 24 | 21898864 | 4095962 | 3017 3342 | 11 | 52 1585.91/1586.28 c 1585s | 24 | 21926728 | 4100862 | 3017 3345 | 11 | 52 1587.91/1588.28 c 1587s | 24 | 21949348 | 4105462 | 3017 3348 | 11 | 52 1590.01/1590.30 c 1589s | 24 | 21975591 | 4109762 | 3017 3350 | 11 | 52 1592.00/1592.33 c 1591s | 24 | 21998796 | 4114362 | 3017 3353 | 11 | 52 1594.00/1594.37 c 1593s | 24 | 22022649 | 4118462 | 3017 3356 | 11 | 52 1596.00/1596.38 c 1595s | 24 | 22043418 | 4122462 | 3017 3359 | 11 | 52 1598.11/1598.44 c 1598s | 24 | 22068563 | 4127162 | 3017 3362 | 11 | 52 1600.10/1600.47 c 1600s | 24 | 22092656 | 4132362 | 3017 3365 | 11 | 52 1602.10/1602.49 c 1602s | 24 | 22117590 | 4137262 | 3017 3368 | 11 | 52 1604.10/1604.49 c 1604s | 24 | 22140333 | 4141862 | 3017 3371 | 11 | 52 1606.20/1606.51 c 1606s | 24 | 22158824 | 4146462 | 3017 3374 | 11 | 52 1608.20/1608.54 c 1608s | 24 | 22177220 | 4150962 | 3017 3377 | 11 | 52 1610.21/1610.54 c 1610s | 24 | 22203608 | 4155662 | 3017 3380 | 11 | 52 1612.19/1612.58 c 1612s | 24 | 22222797 | 4160162 | 3017 3382 | 11 | 52 1614.29/1614.60 c 1614s | 24 | 22247934 | 4164362 | 3017 3385 | 11 | 52 1616.29/1616.64 c 1616s | 24 | 22277011 | 4168762 | 3017 3388 | 11 | 52 1618.29/1618.68 c 1618s | 24 | 22305383 | 4173162 | 3017 3391 | 11 | 52 1620.29/1620.69 c 1620s | 24 | 22328491 | 4177462 | 3017 3393 | 11 | 52 1622.39/1622.74 c 1622s | 24 | 22355835 | 4182262 | 3017 3396 | 11 | 52 1624.39/1624.79 c 1624s | 24 | 22383846 | 4187162 | 3017 3400 | 11 | 52 1626.49/1626.81 c 1626s | 24 | 22411339 | 4191862 | 3017 3402 | 11 | 52 1628.49/1628.84 c 1628s | 24 | 22435153 | 4196562 | 3017 3405 | 11 | 52 1630.49/1630.88 c 1630s | 24 | 22459754 | 4200962 | 3017 3408 | 11 | 52 1632.58/1632.91 c 1632s | 24 | 22485965 | 4205562 | 3017 3411 | 11 | 52 1634.58/1634.94 c 1634s | 24 | 22511610 | 4210162 | 3017 3414 | 11 | 52 1636.59/1636.98 c 1636s | 24 | 22539820 | 4214862 | 3017 3417 | 11 | 52 1638.58/1639.00 c 1638s | 24 | 22564436 | 4219662 | 3017 3420 | 11 | 52 1640.68/1641.02 c 1640s | 24 | 22591522 | 4224262 | 3017 3423 | 11 | 52 1642.68/1643.04 c 1642s | 24 | 22610221 | 4228762 | 3017 3426 | 11 | 52 1644.68/1645.05 c 1644s | 24 | 22637560 | 4233562 | 3017 3429 | 11 | 52 1646.68/1647.05 c 1646s | 24 | 22664357 | 4238062 | 3017 3432 | 11 | 52 1648.68/1649.07 c 1648s | 24 | 22691523 | 4242762 | 3017 3435 | 11 | 52 1650.68/1651.09 c 1650s | 24 | 22718850 | 4247462 | 3017 3438 | 11 | 52 1652.77/1653.10 c 1652s | 24 | 22746022 | 4252062 | 3017 3441 | 11 | 52 1654.77/1655.13 c 1654s | 24 | 22773468 | 4256562 | 3017 3444 | 11 | 52 1656.77/1657.16 c 1656s | 24 | 22797180 | 4261162 | 3017 3447 | 11 | 52 1658.77/1659.18 c 1658s | 24 | 22821213 | 4265662 | 3017 3449 | 11 | 52 1660.87/1661.20 c 1660s | 24 | 22842549 | 4269862 | 3017 3452 | 11 | 52 1662.87/1663.24 c 1662s | 24 | 22865443 | 4273862 | 3017 3455 | 11 | 52 1664.87/1665.25 c 1664s | 24 | 22887238 | 4278262 | 3017 3457 | 11 | 52 1666.87/1667.29 c 1666s | 24 | 22910522 | 4282462 | 3017 3460 | 11 | 52 1668.97/1669.34 c 1668s | 24 | 22930692 | 4286362 | 3017 3463 | 11 | 52 1670.96/1671.37 c 1670s | 24 | 22951142 | 4290462 | 3017 3465 | 11 | 52 1673.06/1673.41 c 1672s | 24 | 22977762 | 4295162 | 3017 3468 | 11 | 52 1675.07/1675.42 c 1674s | 24 | 23002005 | 4299462 | 3017 3471 | 11 | 52 1677.07/1677.43 c 1677s | 24 | 23023524 | 4303462 | 3017 3473 | 11 | 52 1679.07/1679.43 c 1679s | 24 | 23045899 | 4307762 | 3017 3476 | 11 | 52 1681.06/1681.47 c 1681s | 24 | 23066362 | 4311862 | 3017 3479 | 11 | 52 1683.16/1683.53 c 1683s | 24 | 23095357 | 4316362 | 3017 3482 | 11 | 52 1685.16/1685.57 c 1685s | 24 | 23120087 | 4320662 | 3017 3484 | 11 | 52 1687.17/1687.58 c 1687s | 24 | 23146870 | 4325162 | 3017 3487 | 11 | 52 1689.27/1689.61 c 1689s | 24 | 23175379 | 4330162 | 3017 3491 | 11 | 52 1691.26/1691.64 c 1691s | 24 | 23204443 | 4334962 | 3017 3494 | 11 | 52 1693.26/1693.67 c 1693s | 24 | 23233504 | 4339662 | 3017 3497 | 11 | 52 1695.26/1695.68 c 1695s | 24 | 23261100 | 4344362 | 3017 3499 | 11 | 52 1697.36/1697.71 c 1697s | 24 | 23289379 | 4348962 | 3017 3502 | 11 | 52 1699.36/1699.71 c 1699s | 24 | 23317121 | 4353762 | 3017 3505 | 11 | 52 1701.36/1701.77 c 1701s | 24 | 23343080 | 4358562 | 3017 3509 | 11 | 52 1703.45/1703.80 c 1703s | 24 | 23373847 | 4363262 | 3017 3512 | 11 | 52 1705.45/1705.81 c 1705s | 24 | 23403483 | 4368462 | 3017 3515 | 11 | 52 1707.45/1707.83 c 1707s | 24 | 23431404 | 4373962 | 3017 3518 | 11 | 52 1709.45/1709.85 c 1709s | 24 | 23458396 | 4379462 | 3017 3522 | 11 | 52 1711.45/1711.86 c 1711s | 24 | 23487205 | 4384562 | 3017 3525 | 11 | 52 1713.56/1713.96 c 1713s | 24 | 23516103 | 4389762 | 3017 3528 | 11 | 52 1715.55/1715.97 c 1715s | 24 | 23548383 | 4394862 | 3017 3532 | 11 | 52 1717.55/1717.97 c 1717s | 24 | 23574207 | 4399762 | 3017 3535 | 11 | 52 1719.55/1719.98 c 1719s | 24 | 23599937 | 4404562 | 3017 3538 | 11 | 52 1721.65/1722.01 c 1721s | 24 | 23626988 | 4409262 | 3017 3541 | 11 | 52 1723.65/1724.03 c 1723s | 24 | 23656582 | 4414562 | 3017 3544 | 11 | 52 1725.65/1726.06 c 1725s | 24 | 23688051 | 4420362 | 3017 3548 | 11 | 52 1727.65/1728.09 c 1727s | 24 | 23713018 | 4425562 | 3017 3551 | 11 | 52 1729.75/1730.11 c 1729s | 24 | 23742796 | 4430362 | 3017 3554 | 11 | 52 1731.74/1732.14 c 1731s | 24 | 23772634 | 4435162 | 3017 3557 | 11 | 52 1733.74/1734.17 c 1733s | 24 | 23800702 | 4439962 | 3017 3560 | 11 | 52 1735.74/1736.18 c 1735s | 24 | 23833143 | 4444362 | 3017 3563 | 11 | 52 1737.84/1738.20 c 1737s | 24 | 23860902 | 4449062 | 3017 3566 | 11 | 52 1739.85/1740.22 c 1739s | 24 | 23879480 | 4453662 | 3017 3569 | 11 | 52 1741.83/1742.22 c 1741s | 24 | 23908671 | 4458362 | 3017 3572 | 11 | 52 1743.83/1744.25 c 1743s | 24 | 23936022 | 4463362 | 3017 3575 | 11 | 52 1745.83/1746.28 c 1745s | 24 | 23959913 | 4467762 | 3017 3578 | 11 | 52 1747.93/1748.31 c 1747s | 24 | 23986153 | 4472262 | 3017 3581 | 11 | 52 1749.93/1750.33 c 1749s | 24 | 24011831 | 4476262 | 3017 3583 | 11 | 52 1751.93/1752.35 c 1751s | 24 | 24032572 | 4480162 | 3017 3586 | 11 | 52 1753.93/1754.37 c 1753s | 24 | 24053427 | 4483762 | 3017 3588 | 11 | 52 1755.93/1756.39 c 1755s | 24 | 24077026 | 4487362 | 3017 3590 | 11 | 52 1758.03/1758.41 c 1757s | 24 | 24098833 | 4490762 | 3017 3593 | 11 | 52 1760.03/1760.44 c 1760s | 24 | 24126547 | 4495462 | 3017 3596 | 11 | 52 1762.02/1762.47 c 1762s | 24 | 24151721 | 4500262 | 3017 3599 | 11 | 52 1764.03/1764.48 c 1764s | 24 | 24180976 | 4505362 | 3017 3602 | 11 | 52 1766.02/1766.50 c 1766s | 24 | 24210151 | 4510762 | 3017 3605 | 11 | 52 1768.12/1768.54 c 1768s | 24 | 24237826 | 4515962 | 3017 3609 | 11 | 52 1770.12/1770.55 c 1770s | 24 | 24265725 | 4520962 | 3017 3612 | 11 | 52 1772.12/1772.56 c 1772s | 24 | 24293833 | 4526662 | 3017 3615 | 11 | 52 1774.12/1774.56 c 1774s | 24 | 24323877 | 4532362 | 3017 3619 | 11 | 52 1776.22/1776.61 c 1776s | 24 | 24352244 | 4538162 | 3017 3623 | 11 | 52 1778.21/1778.62 c 1778s | 24 | 24379422 | 4543562 | 3017 3626 | 11 | 52 1780.21/1780.62 c 1780s | 24 | 24405356 | 4548862 | 3017 3629 | 11 | 52 1782.21/1782.63 c 1782s | 24 | 24431952 | 4554362 | 3017 3633 | 11 | 52 1784.21/1784.65 c 1784s | 24 | 24456037 | 4559662 | 3017 3636 | 11 | 52 1786.21/1786.68 c 1786s | 24 | 24483549 | 4564762 | 3017 3639 | 11 | 52 1788.32/1788.71 c 1788s | 24 | 24510141 | 4569762 | 3017 3643 | 11 | 52 1790.31/1790.74 c 1790s | 24 | 24534928 | 4574662 | 3017 3646 | 11 | 52 1792.30/1792.74 c 1792s | 24 | 24561793 | 4579562 | 3017 3649 | 11 | 52 1794.30/1794.76 c 1794s | 24 | 24591370 | 4584562 | 3017 3652 | 11 | 52 1796.30/1796.79 c 1796s | 24 | 24617190 | 4589162 | 3017 3655 | 11 | 52 1798.40/1798.81 c 1798s | 24 | 24637878 | 4593262 | 3017 3657 | 11 | 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-4079487-1465231768/watcher-4079487-1465231768 -o /tmp/evaluation-result-4079487-1465231768/solver-4079487-1465231768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079487-1465231768.opb pid=2324 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.27 2.22 2.18 3/179 2327 /proc/meminfo: memFree=29192980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=609724 CPUtime=0 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 2253 0 0 0 0 0 0 0 20 0 4 0 105109872 624357376 2104 33554432000 4194304 16246674 140737288588256 140737288587680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 152943 2114 441 2943 0 149837 0 [pid=2327/tid=2328] ppid=2324 vsize=627132 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 642183168 2171 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=631228 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 646377472 2188 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=635324 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105109873 650571776 2206 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.27 2.22 2.18 3/179 2327 /proc/meminfo: memFree=29192980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 32499 0 0 0 5 4 0 0 20 0 4 0 105109872 1247350784 32336 33554432000 4194304 16246674 140737288588256 140737288587680 5885249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 304529 32345 763 2943 0 301423 0 [pid=2327/tid=2328] ppid=2324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1247350784 32348 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1247350784 32352 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105109873 1247350784 32355 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200455 s] /proc/loadavg: 2.27 2.22 2.18 3/179 2327 /proc/meminfo: memFree=29192980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1220164 CPUtime=0.18 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 37704 0 0 0 14 4 0 0 20 0 4 0 105109872 1249447936 37519 33554432000 4194304 16246674 140737288588256 140737288571024 13780640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 305041 37519 837 2943 0 301935 0 [pid=2327/tid=2328] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 37519 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 37519 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 37519 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1220164 [startup+0.30044 s] /proc/loadavg: 2.27 2.22 2.18 3/179 2327 /proc/meminfo: memFree=29192980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 40924 0 0 0 24 5 0 0 20 0 4 0 105109872 1249447936 40739 33554432000 4194304 16246674 140737288588256 140737288571024 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 305041 40746 837 2943 0 301935 0 [pid=2327/tid=2328] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 40748 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 40749 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 40751 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700401 s] /proc/loadavg: 2.27 2.22 2.18 3/179 2327 /proc/meminfo: memFree=29192980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 99168 0 0 0 55 14 0 0 20 0 4 0 105109872 1249447936 98983 33554432000 4194304 16246674 140737288588256 140737288571024 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 305041 98986 837 2943 0 301935 0 [pid=2327/tid=2328] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 98987 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 98989 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 98993 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.5004 s] /proc/loadavg: 2.27 2.22 2.18 3/183 2331 /proc/meminfo: memFree=28535740/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1220164 CPUtime=1.49 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 228621 0 0 0 119 30 0 0 20 0 4 0 105109872 1249447936 228436 33554432000 4194304 16246674 140737288588256 140737288570176 5721660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 305041 228450 837 2943 0 301935 0 [pid=2327/tid=2328] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 228454 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 228459 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1249447936 228460 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 2.25 2.21 2.18 3/183 2331 /proc/meminfo: memFree=28127656/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 267541 0 0 0 275 34 0 0 20 0 4 0 105109872 1337528320 267356 33554432000 4194304 16246674 140737288588256 140737288570176 13191364 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 326545 267356 842 2943 0 323439 0 [pid=2327/tid=2328] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267356 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267356 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267356 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30044 s] /proc/loadavg: 2.25 2.21 2.18 3/183 2331 /proc/meminfo: memFree=28124368/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1306180 CPUtime=6.29 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 267542 0 0 0 595 34 0 0 20 0 4 0 105109872 1337528320 267357 33554432000 4194304 16246674 140737288588256 140737288570176 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 326545 267357 842 2943 0 323439 0 [pid=2327/tid=2328] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267357 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267357 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1337528320 267357 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.29 2.22 2.19 3/183 2331 /proc/meminfo: memFree=28123564/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 267710 0 0 0 1235 34 0 0 20 0 4 0 105109872 1338576896 267525 33554432000 4194304 16246674 140737288588256 140737288570176 5828020 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 326801 267525 842 2943 0 323695 0 [pid=2327/tid=2328] ppid=2324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1338576896 267525 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1338576896 267525 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1338576896 267525 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.24 2.21 2.18 3/183 2331 /proc/meminfo: memFree=28121104/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 268400 0 0 0 2514 34 0 0 20 0 4 0 105109872 1340674048 268215 33554432000 4194304 16246674 140737288588256 140737288570176 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 327313 268215 844 2943 0 324207 0 [pid=2327/tid=2328] ppid=2324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1340674048 268215 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1340674048 268215 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1340674048 268215 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.23 2.21 2.18 3/184 2334 /proc/meminfo: memFree=28119764/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1310276 CPUtime=51.08 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 268656 0 0 0 5074 34 0 0 20 0 4 0 105109872 1341722624 268471 33554432000 4194304 16246674 140737288588256 140737288570176 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 327569 268471 844 2943 0 324463 0 [pid=2327/tid=2328] ppid=2324 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1341722624 268471 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1341722624 268471 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1341722624 268471 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1310276 [startup+102.301 s] /proc/loadavg: 2.26 2.22 2.18 3/183 2335 /proc/meminfo: memFree=28116428/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1313348 CPUtime=102.28 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 269425 0 0 0 10193 35 0 0 20 0 4 0 105109872 1344868352 269240 33554432000 4194304 16246674 140737288588256 140737288570176 5822687 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 328337 269240 845 2943 0 325231 0 [pid=2327/tid=2328] ppid=2324 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1344868352 269240 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1344868352 269240 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1344868352 269240 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1368985600 275131 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1336900 [startup+1302.3 s] /proc/loadavg: 2.09 2.19 2.17 4/183 2388 /proc/meminfo: memFree=28051468/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1336900 CPUtime=1302.09 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275316 0 0 0 130165 44 0 0 20 0 4 0 105109872 1368985600 275131 33554432000 4194304 16246674 140737288588256 140737288570176 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334225 275131 848 2943 0 331119 0 [pid=2327/tid=2328] ppid=2324 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1368985600 275131 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1368985600 275131 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1336900 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1368985600 275131 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1336900 [startup+1362.3 s] /proc/loadavg: 2.25 2.21 2.18 3/183 2390 /proc/meminfo: memFree=28049264/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1362.08 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275828 0 0 0 136164 44 0 0 20 0 4 0 105109872 1371082752 275643 33554432000 4194304 16246674 140737288588256 140737288570176 12478324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275643 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1338948 [startup+1422.3 s] /proc/loadavg: 2.20 2.20 2.18 3/183 2391 /proc/meminfo: memFree=28049304/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1422.08 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275828 0 0 0 142163 45 0 0 20 0 4 0 105109872 1371082752 275643 33554432000 4194304 16246674 140737288588256 140737288571256 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275643 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275643 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1338948 [startup+1482.3 s] /proc/loadavg: 2.12 2.18 2.17 4/183 2392 /proc/meminfo: memFree=28047316/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1482.05 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275850 0 0 0 148160 45 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288570176 5662760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 1338948 [startup+1542.31 s] /proc/loadavg: 2.18 2.18 2.18 3/183 2491 /proc/meminfo: memFree=28151980/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1542.03 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275886 0 0 0 154158 45 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288571256 13820919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.03 Current children cumulated vsize (KiB) 1338948 [startup+1602.3 s] /proc/loadavg: 2.17 2.18 2.18 3/183 2492 /proc/meminfo: memFree=28152204/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1602 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275926 0 0 0 160154 46 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288570176 5598720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 1338948 [startup+1662.3 s] /proc/loadavg: 2.05 2.14 2.16 3/183 2494 /proc/meminfo: memFree=28152468/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1661.97 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275957 0 0 0 166151 46 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288570176 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1338948 [startup+1722.3 s] /proc/loadavg: 2.20 2.17 2.17 3/183 2495 /proc/meminfo: memFree=28151496/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1721.95 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 275987 0 0 0 172148 47 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288587432 12468053 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 1338948 [startup+1782.3 s] /proc/loadavg: 2.11 2.15 2.17 3/183 2496 /proc/meminfo: memFree=28151848/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1781.91 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 276026 0 0 0 178144 47 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288570176 5598655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1338948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.09 2.14 2.16 4/183 2496 /proc/meminfo: memFree=28151832/32872528 swapFree=16384/1696552 [pid=2327] ppid=2324 vsize=1338948 CPUtime=1800 cores=0,2,4,6 /proc/2327/stat : 2327 (toysat) R 2324 2327 1166 0 -1 4202496 276032 0 0 0 179953 47 0 0 20 0 4 0 105109872 1371082752 275899 33554432000 4194304 16246674 140737288588256 140737288570176 5861812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2327/statm: 334737 275899 848 2943 0 331631 0 [pid=2327/tid=2328] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2328/stat : 2328 (toysat) S 2324 2327 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129726344432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2327/tid=2329] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2329/stat : 2329 (toysat) S 2324 2327 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129715854576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2327/tid=2330] ppid=2324 vsize=1338948 CPUtime=0 cores=0,2,4,6 /proc/2327/task/2330/stat : 2330 (toysat) S 2324 2327 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105109873 1371082752 275899 33554432000 4194304 16246674 140737288588256 140129705381040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1338948 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 2327 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.44 CPU time (s): 1800.05 CPU user time (s): 1799.54 CPU system time (s): 0.507922 CPU usage (%): 99.9786 Max. virtual memory (cumulated for all children) (KiB): 1338948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.507922 maximum resident set size= 1103596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276032 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= 233 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.85081 second user time and 8.15676 second system time The end
Begin job on node125 at 2016-06-06 18:49:28 IDJOB=4079487 IDBENCH=2050 IDSOLVER=2542 FILE ID=node125/4079487-1465231768 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079487-1465231768/watcher-4079487-1465231768 -o /tmp/evaluation-result-4079487-1465231768/solver-4079487-1465231768 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079487-1465231768.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 95b567c682e7e3efe2c93879e0e7c89d RANDOM SEED=1734181963 node125.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.456 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 : 5332.91 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.456 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.56 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.456 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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: 29193772 kB Buffers: 25084 kB Cached: 115812 kB SwapCached: 2016 kB Active: 1234064 kB Inactive: 45216 kB Active(anon): 1139364 kB Inactive(anon): 1380 kB Active(file): 94700 kB Inactive(file): 43836 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16472 kB Writeback: 0 kB AnonPages: 2833932 kB Mapped: 10836 kB Shmem: 0 kB Slab: 567500 kB SReclaimable: 11388 kB SUnreclaim: 556112 kB KernelStack: 1456 kB PageTables: 9420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2976592 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1687552 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= 71712 MiB End job on node125 at 2016-06-06 19:19:29