Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-clip.b.opb |
| MD5SUM | 3b68d80e8ba1b8a702f9c691105ea9d4 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.05599 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15 |
| Optimality of the best value was proved | YES |
| Number of variables | 349 |
| Total number of constraints | 707 |
| Number of constraints which are clauses | 707 |
| 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 | 111 |
| Number of terms in the objective function | 349 |
| 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 | 349 |
| 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 | 349 |
| 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:53:08+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-4079482-1465231988.opb"] 0.00/0.01 c use --random-gen="131297894 1571399379 3622699510 2850795453 1566039960 4125204092 1177486340 2707273942 771157271 3459787129 893896616 2456508593 4193377578 2265716201 2018777766 819054101 56216532 4014950155 884722470 2998445375 1309998777 875477254 708139854 2694032958 2274914515 3204661697 1492245857 491224627 3623962583 77879929 1942241949 3929591363 2787503260 3031623750 3828557580 384553103 3573527585 1055008490 2608323756 2297713072 4078469468 1936676089 1484892993 2049822021 1044036865 2053827867 3694640731 1217719782 525051368 2220692575 1067203882 2724903014 3059371437 2273440869 745782715 3975788928 1385272386 3619165704 3364832739 3024946686 2153486256 1851129595 2101997062 2463228475 1674968 13935434 4288701197 4241555108 285312765 2409287842 3767025643 1245895801 2506042768 3131722030 2696772220 3280739025 2188377909 411842202 2931518296 1667097188 1131764334 540202624 3392995262 2638313913 2155959247 597556691 916953498 479943490 1586131979 2264104176 1571151358 728248619 392949788 2830723920 2589327862 3896914487 2758564816 3940011902 3342284630 3239642030 2062648244 1197301382 3777530093 3269995162 4032599513 2180095369 4237651418 2914430426 1959131919 2436886748 1019057303 1490229492 1369404794 1324869838 2986654326 2418349917 1454907167 3297120800 3933836996 3487646199 2616275099 121502754 841351081 1660486214 3811863148 2986118214 957552940 2332508057 3478743446 1820905002 2057227898 3401145952 2454854672 1669920976 1840043011 958724788 2376735282 712040828 1655918376 67181561 947409795 3612295386 4234810471 994847138 2732038779 1824971795 2476014641 3062316316 1963256220 2755586341 1622504532 997237384 2440311210 1782808258 1090627810 3639143909 34760967 3524271311 2001142862 228840401 121946021 3232953240 2211217551 917279626 3954303022 2018855398 3491703328 1834656006 3330554430 4025658392 3021811444 289560213 3221401332 786216393 790479171 2313983724 332614818 79201522 2108439791 3174822183 4023872156 4191496101 1760588814 1670761479 524987103 2251930448 3026896940 3838739212 4124231959 1063647444 1177867613 2602178697 413226364 3972312268 2347891474 2340376662 291983194 780149626 2785638752 1042646038 3486127256 3010821585 61007531 2481973400 1047060825 1581894430 607173 4114510879 4008200627 790752860 3291488039 748517067 4218616424 592440194 377871587 3993284312 978877614 3701210907 2062137933 4092861446 2356282342 1970957229 3317186648 3272533497 3858910899 3062661634 1038369288 339483227 2323484794 2983689469 3377751126 742214114 248267369 2929373855 1123451984 1040823794 912865282 759362130 3040237925 921503611 2421415494 3971495616 4164549273 1307627689 1693997002 3787074922 2338421539 865119092 1274949530 1565344942 3976184808 613178234 3259347828 2214600045 1277962081 3051313795 255 362436" option to reproduce the execution 0.00/0.04 c #vars 349 0.00/0.04 c #constraints 707 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 | 351 0 | 1 | 0 0.00/0.08 c 0.0s | 0 | 348 | 0 | 351 0 | 1 | 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 = 348 0.00/0.08 c #random_decision = 2 0.00/0.08 c #conflict = 0 0.00/0.08 c #restart = 0 0.00/0.08 o 349 0.00/0.09 c BCD2: updating upper bound: 349 -> 348 0.00/0.09 c BCD2: 0 <= obj <= 348 0.00/0.09 c BCD2: #cores=0, #unrelaxed=349, #relaxed=0, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 351 0 | 1 | 0 0.00/0.09 c 0.0s | 0 | 45 | 0 | 351 0 | 1 | 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 = 45 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 2: cost of the new core is >=1 0.00/0.09 c lower bound updated to 1 0.00/0.09 c BCD2: 1 <= obj <= 348 0.00/0.09 c BCD2: #cores=1, #unrelaxed=347, #relaxed=2, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=2 bias=2/3 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 | 351 0 | 1 | 2 0.00/0.09 c 0.0s | 0 | 79 | 0 | 351 0 | 1 | 2 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 2 0.00/0.09 c BCD2: 2 <= obj <= 348 0.00/0.09 c BCD2: #cores=2, #unrelaxed=346, #relaxed=3, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=3 bias=3/4 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 | 351 0 | 1 | 2 0.00/0.09 c 0.0s | 0 | 105 | 0 | 351 0 | 1 | 2 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 = 105 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 4: 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 <= 348 0.00/0.09 c BCD2: #cores=3, #unrelaxed=342, #relaxed=7, #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 | 351 0 | 1 | 4 0.09/0.10 c 0.0s | 0 | 147 | 0 | 351 0 | 1 | 4 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 = 147 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 20: cost of the new core is >=1 0.09/0.10 c lower bound updated to 4 0.09/0.10 c BCD2: 4 <= obj <= 348 0.09/0.10 c BCD2: #cores=4, #unrelaxed=322, #relaxed=27, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=5 bias=5/6 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 | 351 0 | 1 | 6 0.09/0.10 c 0.0s | 0 | 133 | 0 | 351 0 | 1 | 6 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 = 133 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 5 0.09/0.10 c BCD2: 5 <= obj <= 348 0.09/0.10 c BCD2: #cores=5, #unrelaxed=315, #relaxed=34, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=6 bias=6/7 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 | 351 0 | 1 | 9 0.09/0.10 c 0.0s | 0 | 144 | 0 | 351 0 | 1 | 9 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 = 144 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 6 0.09/0.10 c BCD2: 6 <= obj <= 348 0.09/0.10 c BCD2: #cores=6, #unrelaxed=308, #relaxed=41, #hardened=0 0.09/0.10 c BCD2: #sat=1 #unsat=7 bias=7/8 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 | 351 0 | 1 | 9 0.09/0.10 c 0.0s | 0 | 203 | 0 | 351 0 | 1 | 9 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 = 203 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 12: cost of the new core is >=1 0.09/0.10 c lower bound updated to 7 0.09/0.10 c BCD2: 7 <= obj <= 348 0.09/0.10 c BCD2: #cores=7, #unrelaxed=296, #relaxed=53, #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.11 c 0.0s | 0 | 0 | 0 | 351 0 | 1 | 10 0.09/0.11 c 0.0s | 0 | 211 | 0 | 351 0 | 1 | 10 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 = 211 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 14: cost of the new core is >=1 0.09/0.11 c lower bound updated to 8 0.09/0.11 c BCD2: 8 <= obj <= 348 0.09/0.11 c BCD2: #cores=8, #unrelaxed=282, #relaxed=67, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=9 bias=9/10 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 | 351 0 | 1 | 28 0.09/0.11 c 0.0s | 0 | 256 | 0 | 351 0 | 1 | 28 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 = 256 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 8: cost of the new core is >=1 0.09/0.11 c lower bound updated to 9 0.09/0.11 c BCD2: 9 <= obj <= 348 0.09/0.11 c BCD2: #cores=9, #unrelaxed=274, #relaxed=75, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=10 bias=10/11 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 | 351 0 | 1 | 28 0.09/0.11 c 0.0s | 0 | 264 | 0 | 351 0 | 1 | 28 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 = 264 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 23: cost of the new core is >=1 0.09/0.11 c lower bound updated to 10 0.09/0.11 c BCD2: 10 <= obj <= 348 0.09/0.11 c BCD2: #cores=10, #unrelaxed=251, #relaxed=98, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=11 bias=11/12 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 | 351 0 | 1 | 28 0.09/0.12 c 0.0s | 0 | 362 | 1 | 351 0 | 1 | 28 0.09/0.12 c #cpu_time = 0.003s 0.09/0.12 c #wall_clock_time = 0.003s 0.09/0.12 c #decision = 362 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 o 24 0.09/0.12 c BCD2: updating upper bound: 348 -> 23 0.09/0.12 c BCD2: 10 <= obj <= 23 0.09/0.12 c BCD2: #cores=10, #unrelaxed=251, #relaxed=98, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=11 bias=11/13 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 | 351 0 | 1 | 29 0.09/0.12 c 0.0s | 0 | 403 | 1 | 351 0 | 1 | 29 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 = 403 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: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=2 0.09/0.12 c lower bound updated to 11 0.09/0.12 c BCD2: 11 <= obj <= 23 0.09/0.12 c BCD2: #cores=10, #unrelaxed=250, #relaxed=99, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=12 bias=12/14 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 | 351 0 | 3 | 29 0.09/0.13 c 0.0s | 0 | 456 | 68 | 351 0 | 3 | 32 0.09/0.13 c #cpu_time = 0.010s 0.09/0.13 c #wall_clock_time = 0.010s 0.09/0.13 c #decision = 456 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 68 0.09/0.13 c #restart = 0 0.09/0.13 c BCD2: relaxing 92 and merging with 2 cores into a new core of size 123: cost of the new core is >=3 0.09/0.13 c lower bound updated to 12 0.09/0.13 c BCD2: 12 <= obj <= 23 0.09/0.13 c BCD2: #cores=9, #unrelaxed=158, #relaxed=191, #hardened=0 0.09/0.13 c BCD2: #sat=2 #unsat=13 bias=13/15 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 | 351 0 | 7 | 32 0.09/0.14 c 0.0s | 0 | 301 | 1 | 351 0 | 7 | 38 0.09/0.14 c #cpu_time = 0.004s 0.09/0.14 c #wall_clock_time = 0.004s 0.09/0.14 c #decision = 301 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 1 0.09/0.14 c #restart = 0 0.09/0.14 o 21 0.09/0.14 c BCD2: updating upper bound: 23 -> 20 0.09/0.14 c BCD2: 12 <= obj <= 20 0.09/0.14 c BCD2: #cores=9, #unrelaxed=158, #relaxed=191, #hardened=0 0.09/0.14 c BCD2: #sat=3 #unsat=13 bias=13/16 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 351 0 | 7 | 39 0.09/0.16 c 0.0s | 1 | 810 | 100 | 387 0 | 7 | 39 0.09/0.17 c 0.0s | 1 | 1291 | 138 | 387 0 | 7 | 39 0.09/0.17 c #cpu_time = 0.029s 0.09/0.17 c #wall_clock_time = 0.029s 0.09/0.17 c #decision = 1291 0.09/0.17 c #random_decision = 1 0.09/0.17 c #conflict = 138 0.09/0.17 c #restart = 1 0.09/0.17 o 18 0.09/0.17 c BCD2: updating upper bound: 20 -> 17 0.09/0.17 c BCD2: 12 <= obj <= 17 0.09/0.17 c BCD2: #cores=9, #unrelaxed=158, #relaxed=191, #hardened=0 0.09/0.17 c BCD2: #sat=4 #unsat=13 bias=13/17 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 387 0 | 7 | 40 0.09/0.19 c 0.0s | 1 | 428 | 100 | 426 0 | 7 | 40 0.19/0.21 c 0.0s | 2 | 1190 | 250 | 426 0 | 7 | 40 0.19/0.25 c 0.1s | 3 | 2148 | 475 | 469 0 | 7 | 40 0.29/0.32 c 0.1s | 4 | 3666 | 813 | 516 1 | 7 | 40 0.39/0.40 c 0.2s | 5 | 5596 | 1320 | 568 3 | 7 | 40 0.49/0.53 c 0.4s | 6 | 8040 | 2081 | 625 4 | 7 | 40 0.69/0.73 c 0.6s | 7 | 11617 | 3223 | 688 7 | 7 | 40 0.99/1.03 c 0.9s | 8 | 16946 | 4936 | 757 11 | 7 | 40 1.39/1.41 c 1.2s | 9 | 24836 | 7506 | 833 16 | 7 | 40 1.89/1.96 c 1.8s | 10 | 36831 | 11361 | 917 24 | 7 | 40 2.79/2.84 c 2.7s | 11 | 56756 | 17144 | 1009 34 | 7 | 40 2.99/3.09 c 2.9s | 11 | 61250 | 18927 | 1009 37 | 7 | 40 2.99/3.09 c #cpu_time = 2.911s 2.99/3.09 c #wall_clock_time = 2.918s 2.99/3.09 c #decision = 61250 2.99/3.09 c #random_decision = 136 2.99/3.09 c #conflict = 18927 2.99/3.09 c #restart = 11 2.99/3.09 c BCD2: relaxing 4 and merging with 1 cores into a new core of size 127: cost of the new core is >=4 2.99/3.09 c lower bound updated to 13 2.99/3.09 c BCD2: 13 <= obj <= 17 2.99/3.09 c BCD2: #cores=9, #unrelaxed=154, #relaxed=195, #hardened=0 2.99/3.09 c BCD2: #sat=4 #unsat=14 bias=14/18 2.99/3.09 c Solving starts ... 2.99/3.09 c ============================[ Search Statistics ]============================ 2.99/3.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.09 c | | | | Limit GC | Var | Constra 2.99/3.09 c ============================================================================= 2.99/3.09 c 0.0s | 0 | 0 | 0 | 1009 0 | 10 | 40 3.09/3.11 c 0.0s | 1 | 648 | 100 | 1009 0 | 10 | 45 3.09/3.13 c 0.0s | 2 | 1284 | 250 | 1009 0 | 10 | 45 3.09/3.16 c 0.1s | 3 | 1973 | 475 | 1009 0 | 10 | 45 3.19/3.21 c 0.1s | 4 | 3665 | 813 | 1009 0 | 10 | 45 3.19/3.28 c 0.2s | 5 | 5625 | 1320 | 1009 1 | 10 | 45 3.30/3.39 c 0.3s | 6 | 8138 | 2081 | 1009 2 | 10 | 45 3.49/3.55 c 0.5s | 7 | 11936 | 3223 | 1009 4 | 10 | 45 3.69/3.78 c 0.7s | 8 | 18248 | 4936 | 1009 7 | 10 | 45 4.09/4.12 c 1.0s | 9 | 26939 | 7506 | 1110 11 | 10 | 45 4.59/4.65 c 1.6s | 10 | 40170 | 11361 | 1110 17 | 10 | 45 4.79/4.85 c 1.8s | 10 | 47792 | 12795 | 1110 19 | 11 | 46 4.79/4.85 c #cpu_time = 1.753s 4.79/4.85 c #wall_clock_time = 1.757s 4.79/4.85 c #decision = 47792 4.79/4.85 c #random_decision = 111 4.79/4.85 c #conflict = 12795 4.79/4.85 c #restart = 10 4.79/4.85 c BCD2: updating lower bound of a core 4.79/4.85 c lower bound updated to 14 4.79/4.85 c BCD2: 14 <= obj <= 17 4.79/4.85 c BCD2: #cores=9, #unrelaxed=154, #relaxed=195, #hardened=0 4.79/4.85 c BCD2: #sat=4 #unsat=15 bias=15/19 4.79/4.85 c Solving starts ... 4.79/4.85 c ============================[ Search Statistics ]============================ 4.79/4.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.79/4.85 c | | | | Limit GC | Var | Constra 4.79/4.85 c ============================================================================= 4.79/4.85 c 0.0s | 0 | 0 | 0 | 1110 0 | 11 | 47 4.79/4.87 c 0.0s | 1 | 484 | 100 | 1110 0 | 11 | 47 4.79/4.88 c 0.0s | 2 | 1019 | 250 | 1110 0 | 11 | 47 4.89/4.92 c 0.1s | 3 | 2233 | 475 | 1110 0 | 11 | 47 4.89/4.98 c 0.1s | 4 | 3696 | 813 | 1110 0 | 11 | 47 4.99/5.05 c 0.2s | 5 | 5245 | 1320 | 1110 1 | 11 | 47 5.19/5.20 c 0.3s | 6 | 8720 | 2081 | 1110 2 | 11 | 47 5.39/5.41 c 0.6s | 6 | 13020 | 3191 | 1110 3 | 11 | 47 5.39/5.41 c #cpu_time = 0.559s 5.39/5.41 c #wall_clock_time = 0.561s 5.39/5.41 c #decision = 13020 5.39/5.41 c #random_decision = 42 5.39/5.41 c #conflict = 3191 5.39/5.41 c #restart = 6 5.39/5.41 o 16 5.39/5.41 c BCD2: updating upper bound: 17 -> 15 5.39/5.41 c BCD2: 14 <= obj <= 15 5.39/5.41 c BCD2: #cores=9, #unrelaxed=154, #relaxed=195, #hardened=0 5.39/5.41 c BCD2: #sat=5 #unsat=15 bias=15/20 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.41 c 0.0s | 0 | 0 | 0 | 1110 0 | 11 | 48 5.39/5.44 c 0.0s | 1 | 885 | 100 | 1110 1 | 11 | 48 5.39/5.47 c 0.1s | 2 | 1616 | 250 | 1110 1 | 11 | 48 5.50/5.51 c 0.1s | 3 | 2731 | 475 | 1110 1 | 11 | 48 5.50/5.57 c 0.2s | 4 | 3777 | 813 | 1110 2 | 11 | 48 5.60/5.65 c 0.2s | 5 | 5938 | 1320 | 1110 2 | 11 | 48 5.69/5.76 c 0.4s | 6 | 8410 | 2081 | 1110 4 | 11 | 48 5.89/5.96 c 0.5s | 7 | 13561 | 3223 | 1110 5 | 11 | 48 6.19/6.22 c 0.8s | 8 | 18981 | 4936 | 1221 8 | 11 | 48 6.60/6.64 c 1.2s | 9 | 28971 | 7506 | 1221 11 | 11 | 48 7.19/7.25 c 1.8s | 10 | 42353 | 11361 | 1221 17 | 11 | 48 8.09/8.11 c 2.7s | 11 | 61139 | 17144 | 1221 25 | 11 | 48 9.39/9.47 c 4.1s | 12 | 89899 | 25819 | 1344 37 | 11 | 48 11.39/11.49 c 6.1s | 12 | 131219 | 38019 | 1344 53 | 11 | 48 11.59/11.62 c 6.2s | 13 | 134917 | 38832 | 1344 54 | 11 | 48 13.59/13.62 c 8.2s | 13 | 176030 | 50532 | 1344 69 | 11 | 48 14.89/14.96 c 9.5s | 14 | 199417 | 58352 | 1479 79 | 11 | 48 16.89/16.97 c 11.6s | 14 | 238726 | 69952 | 1479 93 | 11 | 48 18.89/18.99 c 13.6s | 14 | 277782 | 80552 | 1479 105 | 11 | 48 20.18/20.29 c 14.9s | 15 | 306059 | 87632 | 1479 114 | 11 | 48 22.28/22.31 c 16.9s | 15 | 342428 | 98332 | 1627 126 | 11 | 48 24.29/24.31 c 18.9s | 15 | 374020 | 108232 | 1627 137 | 11 | 48 26.28/26.33 c 20.9s | 15 | 417219 | 119632 | 1627 150 | 11 | 48 28.28/28.35 c 22.9s | 15 | 453537 | 129832 | 1627 161 | 11 | 48 28.59/28.69 c 23.3s | 16 | 459208 | 131552 | 1627 163 | 11 | 48 30.68/30.71 c 25.3s | 16 | 492665 | 142252 | 1627 174 | 11 | 48 32.69/32.73 c 27.3s | 16 | 529512 | 153252 | 1627 187 | 11 | 48 33.19/33.22 c 27.8s | 16 | 538100 | 155867 | 1627 189 | 11 | 48 33.19/33.22 c #cpu_time = 27.738s 33.19/33.22 c #wall_clock_time = 27.810s 33.19/33.22 c #decision = 538100 33.19/33.22 c #random_decision = 1444 33.19/33.22 c #conflict = 155867 33.19/33.22 c #restart = 16 33.19/33.22 c BCD2: relaxing 113 and merging with 5 cores into a new core of size 294: cost of the new core is >=11 33.19/33.22 c lower bound updated to 15 33.19/33.22 c BCD2: hardening fixes 41 literals 33.19/33.22 c BCD2: 15 <= obj <= 15 33.19/33.22 c BCD2: #cores=5, #unrelaxed=0, #relaxed=308, #hardened=41 33.19/33.22 c BCD2: #sat=5 #unsat=16 bias=16/21 33.19/33.22 c Solving starts ... 33.19/33.22 c ============================[ Search Statistics ]============================ 33.19/33.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 33.19/33.22 c | | | | Limit GC | Var | Constra 33.19/33.22 c ============================================================================= 33.19/33.22 c 0.0s | 0 | 0 | 0 | 1627 0 | 68 | 48 33.19/33.26 c 0.0s | 1 | 635 | 100 | 1627 0 | 68 | 148 33.29/33.31 c 0.1s | 2 | 2352 | 250 | 1627 0 | 68 | 148 33.39/33.40 c 0.2s | 3 | 3939 | 475 | 1627 0 | 68 | 148 33.49/33.50 c 0.3s | 4 | 5985 | 813 | 1627 0 | 68 | 148 33.69/33.72 c 0.5s | 5 | 10088 | 1320 | 1627 0 | 68 | 148 33.89/33.98 c 0.8s | 6 | 14886 | 2081 | 1627 1 | 68 | 148 34.29/34.39 c 1.2s | 7 | 23023 | 3223 | 1627 2 | 68 | 148 34.99/35.02 c 1.8s | 8 | 35817 | 4936 | 1627 4 | 68 | 148 35.89/35.94 c 2.7s | 9 | 55145 | 7506 | 1790 7 | 68 | 148 37.29/37.31 c 4.1s | 10 | 80146 | 11361 | 1790 11 | 68 | 148 39.19/39.27 c 6.0s | 11 | 115788 | 17144 | 1790 17 | 68 | 148 41.18/41.27 c 8.0s | 11 | 156734 | 21844 | 1790 22 | 68 | 148 42.78/42.81 c 9.6s | 12 | 182369 | 25819 | 1790 26 | 68 | 148 44.78/44.84 c 11.6s | 12 | 220806 | 31119 | 1790 32 | 68 | 148 46.78/46.86 c 13.6s | 12 | 259856 | 36619 | 1790 38 | 68 | 148 47.68/47.73 c 14.5s | 13 | 277162 | 38832 | 1790 40 | 68 | 148 49.68/49.74 c 16.5s | 13 | 304403 | 43432 | 1790 45 | 68 | 148 51.68/51.76 c 18.5s | 13 | 338113 | 48732 | 1790 50 | 68 | 148 53.69/53.78 c 20.6s | 13 | 371813 | 54032 | 1790 56 | 68 | 148 55.28/55.32 c 22.1s | 14 | 399065 | 58352 | 1790 61 | 68 | 148 57.29/57.32 c 24.1s | 14 | 437521 | 63852 | 1790 66 | 68 | 148 59.28/59.34 c 26.1s | 14 | 474383 | 69352 | 1790 72 | 68 | 148 61.28/61.37 c 28.1s | 14 | 505316 | 74552 | 1790 78 | 68 | 148 63.28/63.38 c 30.2s | 14 | 537808 | 79752 | 1790 83 | 68 | 148 65.38/65.40 c 32.2s | 14 | 575678 | 84952 | 1790 89 | 68 | 148 66.38/66.45 c 33.2s | 15 | 594712 | 87632 | 1790 91 | 68 | 148 68.38/68.45 c 35.2s | 15 | 620179 | 93232 | 1790 97 | 68 | 148 70.39/70.46 c 37.2s | 15 | 657116 | 98832 | 1790 103 | 68 | 148 72.38/72.49 c 39.3s | 15 | 686972 | 104332 | 1970 109 | 68 | 148 74.48/74.50 c 41.3s | 15 | 720019 | 109332 | 1970 114 | 68 | 148 76.47/76.51 c 43.3s | 15 | 751468 | 114432 | 1970 119 | 68 | 148 78.47/78.52 c 45.3s | 15 | 787186 | 119732 | 1970 124 | 68 | 148 80.48/80.53 c 47.3s | 15 | 818504 | 125032 | 1970 129 | 68 | 148 82.49/82.53 c 49.3s | 15 | 852381 | 130232 | 1970 134 | 68 | 148 82.88/82.96 c 49.7s | 16 | 860251 | 131552 | 1970 135 | 68 | 148 84.98/85.00 c 51.8s | 16 | 898885 | 136752 | 1970 140 | 68 | 148 86.98/87.01 c 53.8s | 16 | 940979 | 141852 | 1970 145 | 68 | 148 88.98/89.03 c 55.8s | 16 | 983896 | 146952 | 1970 150 | 68 | 148 90.98/91.03 c 57.8s | 16 | 1023516 | 152052 | 1970 155 | 68 | 148 92.97/93.05 c 59.8s | 16 | 1052752 | 157352 | 1970 160 | 68 | 148 94.97/95.06 c 61.8s | 16 | 1085196 | 162252 | 1970 165 | 68 | 148 96.97/97.08 c 63.9s | 16 | 1115153 | 167052 | 1970 169 | 68 | 148 98.98/99.09 c 65.9s | 16 | 1155445 | 171752 | 1970 174 | 68 | 148 101.07/101.10 c 67.9s | 16 | 1189274 | 176452 | 1970 178 | 68 | 148 103.08/103.10 c 69.9s | 16 | 1222484 | 180852 | 1970 183 | 68 | 148 105.08/105.11 c 71.9s | 16 | 1265017 | 185852 | 1970 188 | 68 | 148 107.08/107.13 c 73.9s | 16 | 1298766 | 190852 | 1970 192 | 68 | 148 109.08/109.16 c 75.9s | 16 | 1330453 | 195652 | 1970 197 | 68 | 148 109.78/109.86 c 76.6s | 17 | 1343067 | 197432 | 1970 199 | 68 | 148 111.77/111.87 c 78.7s | 17 | 1374076 | 202532 | 1970 204 | 68 | 148 113.77/113.90 c 80.7s | 17 | 1404222 | 207432 | 1970 208 | 68 | 148 115.87/115.91 c 82.7s | 17 | 1435336 | 212332 | 1970 213 | 68 | 148 117.87/117.91 c 84.7s | 17 | 1465495 | 217132 | 1970 218 | 68 | 148 119.88/119.93 c 86.7s | 17 | 1500118 | 222532 | 1970 223 | 68 | 148 121.88/121.93 c 88.7s | 17 | 1525585 | 227232 | 1970 227 | 68 | 148 123.88/123.93 c 90.7s | 17 | 1555682 | 232732 | 1970 233 | 68 | 148 125.87/125.94 c 92.7s | 17 | 1593916 | 237432 | 1970 237 | 68 | 148 127.87/127.97 c 94.7s | 17 | 1622763 | 242432 | 1970 242 | 68 | 148 129.87/129.98 c 96.8s | 17 | 1655178 | 247232 | 1970 247 | 68 | 148 131.97/132.01 c 98.8s | 17 | 1685917 | 252532 | 2167 252 | 68 | 148 133.97/134.03 c 100s | 17 | 1717610 | 257332 | 2167 256 | 68 | 148 135.97/136.05 c 102s | 17 | 1747680 | 262732 | 2167 261 | 68 | 148 137.97/138.07 c 104s | 17 | 1775484 | 268132 | 2167 265 | 68 | 148 139.97/140.09 c 106s | 17 | 1806360 | 273032 | 2167 270 | 68 | 148 142.07/142.11 c 108s | 17 | 1839555 | 278632 | 2167 275 | 68 | 148 144.08/144.11 c 110s | 17 | 1871405 | 283232 | 2167 279 | 68 | 148 146.07/146.13 c 112s | 17 | 1900714 | 288232 | 2167 283 | 68 | 148 148.07/148.18 c 114s | 17 | 1926698 | 293032 | 2167 287 | 68 | 148 149.47/149.54 c 116s | 18 | 1952264 | 296252 | 2167 290 | 68 | 148 151.46/151.56 c 118s | 18 | 1980723 | 301152 | 2167 294 | 68 | 148 153.46/153.57 c 120s | 18 | 2014056 | 306252 | 2167 299 | 68 | 148 155.56/155.60 c 122s | 18 | 2048044 | 311352 | 2167 303 | 68 | 148 157.56/157.60 c 124s | 18 | 2081358 | 316452 | 2167 308 | 68 | 148 159.58/159.63 c 126s | 18 | 2118166 | 321252 | 2167 312 | 68 | 148 161.57/161.65 c 128s | 18 | 2148513 | 326152 | 2167 317 | 68 | 148 163.57/163.65 c 130s | 18 | 2180451 | 331252 | 2167 321 | 68 | 148 165.57/165.69 c 132s | 18 | 2210045 | 336152 | 2167 325 | 68 | 148 167.67/167.70 c 134s | 18 | 2239730 | 341052 | 2167 330 | 68 | 148 169.67/169.73 c 136s | 18 | 2272286 | 345852 | 2167 334 | 68 | 148 171.67/171.75 c 138s | 18 | 2302839 | 350852 | 2167 338 | 68 | 148 173.66/173.77 c 140s | 18 | 2333198 | 356152 | 2167 343 | 68 | 148 175.66/175.78 c 142s | 18 | 2361260 | 361152 | 2167 347 | 68 | 148 177.76/177.82 c 144s | 18 | 2393366 | 365852 | 2167 352 | 68 | 148 179.77/179.85 c 146s | 18 | 2425561 | 370852 | 2167 356 | 68 | 148 181.77/181.89 c 148s | 18 | 2462189 | 375852 | 2167 360 | 68 | 148 183.87/183.91 c 150s | 18 | 2491907 | 381252 | 2167 365 | 68 | 148 185.87/185.91 c 152s | 18 | 2530136 | 386052 | 2167 369 | 68 | 148 187.86/187.94 c 154s | 18 | 2568214 | 391152 | 2167 374 | 68 | 148 189.86/189.98 c 156s | 18 | 2599950 | 396652 | 2167 379 | 68 | 148 191.86/191.98 c 158s | 18 | 2629380 | 401552 | 2167 383 | 68 | 148 193.96/194.01 c 160s | 18 | 2656087 | 406252 | 2167 387 | 68 | 148 195.97/196.04 c 162s | 18 | 2685685 | 411252 | 2167 392 | 68 | 148 197.97/198.10 c 164s | 18 | 2722075 | 416452 | 2167 396 | 68 | 148 200.06/200.13 c 166s | 18 | 2753955 | 421352 | 2167 401 | 68 | 148 202.06/202.15 c 168s | 18 | 2790296 | 426752 | 2167 405 | 68 | 148 204.06/204.17 c 170s | 18 | 2823966 | 431952 | 2167 410 | 68 | 148 206.16/206.20 c 172s | 18 | 2860087 | 437552 | 2167 415 | 68 | 148 208.16/208.21 c 174s | 18 | 2894587 | 442852 | 2167 419 | 68 | 148 208.76/208.82 c 175s | 19 | 2903290 | 444482 | 2167 421 | 68 | 148 210.76/210.83 c 177s | 19 | 2934813 | 450082 | 2167 426 | 68 | 148 212.85/212.91 c 179s | 19 | 2969895 | 455382 | 2167 431 | 68 | 148 214.85/214.92 c 181s | 19 | 3002709 | 460082 | 2167 435 | 68 | 148 216.86/216.94 c 183s | 19 | 3037327 | 465482 | 2167 439 | 68 | 148 218.87/218.96 c 185s | 19 | 3074627 | 470582 | 2167 444 | 68 | 148 220.86/220.99 c 187s | 19 | 3110811 | 475782 | 2384 448 | 68 | 148 222.96/223.04 c 189s | 19 | 3139998 | 480882 | 2384 452 | 68 | 148 224.96/225.08 c 191s | 19 | 3176692 | 485882 | 2384 456 | 68 | 148 227.06/227.11 c 193s | 19 | 3209968 | 490482 | 2384 460 | 68 | 148 229.06/229.12 c 195s | 19 | 3245354 | 495682 | 2384 464 | 68 | 148 231.06/231.12 c 197s | 19 | 3278615 | 500582 | 2384 468 | 68 | 148 233.06/233.15 c 199s | 19 | 3307615 | 505082 | 2384 472 | 68 | 148 235.05/235.15 c 201s | 19 | 3339522 | 509182 | 2384 475 | 68 | 148 237.05/237.16 c 203s | 19 | 3376054 | 513382 | 2384 478 | 68 | 148 239.05/239.17 c 205s | 19 | 3411910 | 518382 | 2384 482 | 68 | 148 241.05/241.18 c 207s | 19 | 3445975 | 523282 | 2384 486 | 68 | 148 243.16/243.21 c 209s | 19 | 3476796 | 527782 | 2384 490 | 68 | 148 245.15/245.22 c 211s | 19 | 3513189 | 532582 | 2384 494 | 68 | 148 247.15/247.24 c 214s | 19 | 3542782 | 537382 | 2384 498 | 68 | 148 249.15/249.26 c 216s | 19 | 3570996 | 542182 | 2384 501 | 68 | 148 251.15/251.29 c 218s | 19 | 3600534 | 547382 | 2384 506 | 68 | 148 253.25/253.30 c 220s | 19 | 3626508 | 551982 | 2384 509 | 68 | 148 255.25/255.32 c 222s | 19 | 3656694 | 556882 | 2384 513 | 68 | 148 257.25/257.35 c 224s | 19 | 3684939 | 561482 | 2384 517 | 68 | 148 259.25/259.37 c 226s | 19 | 3715115 | 566282 | 2384 521 | 68 | 148 261.25/261.40 c 228s | 19 | 3744847 | 570982 | 2384 525 | 68 | 148 263.35/263.40 c 230s | 19 | 3780081 | 575782 | 2384 529 | 68 | 148 265.35/265.41 c 232s | 19 | 3820375 | 580582 | 2384 532 | 68 | 148 267.36/267.42 c 234s | 19 | 3852074 | 585282 | 2384 536 | 68 | 148 269.35/269.44 c 236s | 19 | 3888564 | 590582 | 2384 540 | 68 | 148 271.35/271.48 c 238s | 19 | 3931928 | 595882 | 2384 545 | 68 | 148 273.45/273.50 c 240s | 19 | 3960916 | 601482 | 2384 549 | 68 | 148 275.45/275.51 c 242s | 19 | 3993215 | 606682 | 2384 553 | 68 | 148 277.45/277.54 c 244s | 19 | 4025650 | 611782 | 2384 557 | 68 | 148 279.45/279.56 c 246s | 19 | 4056751 | 616882 | 2384 561 | 68 | 148 281.44/281.58 c 248s | 19 | 4085175 | 621982 | 2384 565 | 68 | 148 283.54/283.61 c 250s | 19 | 4119092 | 627282 | 2384 570 | 68 | 148 285.55/285.62 c 252s | 19 | 4144239 | 632482 | 2384 574 | 68 | 148 287.55/287.63 c 254s | 19 | 4178674 | 636882 | 2384 577 | 68 | 148 289.55/289.68 c 256s | 19 | 4211895 | 642082 | 2384 582 | 68 | 148 291.65/291.70 c 258s | 19 | 4243732 | 647182 | 2384 586 | 68 | 148 293.65/293.72 c 260s | 19 | 4270163 | 652382 | 2384 590 | 68 | 148 295.65/295.73 c 262s | 19 | 4295732 | 657382 | 2384 594 | 68 | 148 297.65/297.75 c 264s | 19 | 4323229 | 662282 | 2384 598 | 68 | 148 299.44/299.50 c 266s | 20 | 4351187 | 666827 | 2384 601 | 68 | 148 301.45/301.51 c 268s | 20 | 4376070 | 671627 | 2384 605 | 68 | 148 303.44/303.53 c 270s | 20 | 4403984 | 676827 | 2384 609 | 68 | 148 305.44/305.55 c 272s | 20 | 4429856 | 681827 | 2384 613 | 68 | 148 307.45/307.55 c 274s | 20 | 4452337 | 686727 | 2384 617 | 68 | 148 309.45/309.57 c 276s | 20 | 4478581 | 691527 | 2384 621 | 68 | 148 311.54/311.62 c 278s | 20 | 4504279 | 696527 | 2384 625 | 68 | 148 313.55/313.63 c 280s | 20 | 4533552 | 701727 | 2384 629 | 68 | 148 315.54/315.66 c 282s | 20 | 4562421 | 706727 | 2384 633 | 68 | 148 317.54/317.70 c 284s | 20 | 4589219 | 711827 | 2384 637 | 68 | 148 319.64/319.71 c 286s | 20 | 4622280 | 716927 | 2384 641 | 68 | 148 321.64/321.74 c 288s | 20 | 4650357 | 721927 | 2384 645 | 68 | 148 323.64/323.75 c 290s | 20 | 4677194 | 726927 | 2384 649 | 68 | 148 325.64/325.77 c 292s | 20 | 4702740 | 731927 | 2384 653 | 68 | 148 327.74/327.81 c 294s | 20 | 4727289 | 737027 | 2384 658 | 68 | 148 329.74/329.81 c 296s | 20 | 4752960 | 742027 | 2384 662 | 68 | 148 331.74/331.83 c 298s | 20 | 4776956 | 747027 | 2384 666 | 68 | 148 333.74/333.88 c 300s | 20 | 4802293 | 752127 | 2384 670 | 68 | 148 335.84/335.91 c 302s | 20 | 4828005 | 757227 | 2384 674 | 68 | 148 337.84/337.93 c 304s | 20 | 4849176 | 762527 | 2384 678 | 68 | 148 339.85/339.93 c 306s | 20 | 4877007 | 767627 | 2384 682 | 68 | 148 341.84/341.97 c 308s | 20 | 4899686 | 772927 | 2384 686 | 68 | 148 343.83/343.99 c 310s | 20 | 4928345 | 778227 | 2384 691 | 68 | 148 345.94/346.02 c 312s | 20 | 4954745 | 783227 | 2384 695 | 68 | 148 347.94/348.04 c 314s | 20 | 4980515 | 788427 | 2384 699 | 68 | 148 349.94/350.08 c 316s | 20 | 5001556 | 793627 | 2384 703 | 68 | 148 352.04/352.12 c 318s | 20 | 5034464 | 798527 | 2384 707 | 68 | 148 354.04/354.16 c 320s | 20 | 5062495 | 803227 | 2623 710 | 68 | 148 356.03/356.16 c 322s | 20 | 5088902 | 808127 | 2623 714 | 68 | 148 358.03/358.17 c 324s | 20 | 5115255 | 813127 | 2623 718 | 68 | 148 360.03/360.18 c 326s | 20 | 5143932 | 818327 | 2623 721 | 68 | 148 362.03/362.20 c 328s | 20 | 5176864 | 823227 | 2623 725 | 68 | 148 364.14/364.23 c 331s | 20 | 5201248 | 828127 | 2623 729 | 68 | 148 366.14/366.26 c 333s | 20 | 5227888 | 833027 | 2623 732 | 68 | 148 368.14/368.27 c 335s | 20 | 5254708 | 838227 | 2623 736 | 68 | 148 370.24/370.30 c 337s | 20 | 5279691 | 843427 | 2623 740 | 68 | 148 372.24/372.32 c 339s | 20 | 5303107 | 848427 | 2623 744 | 68 | 148 374.24/374.36 c 341s | 20 | 5332141 | 853627 | 2623 747 | 68 | 148 376.24/376.38 c 343s | 20 | 5360090 | 858627 | 2623 751 | 68 | 148 378.34/378.41 c 345s | 20 | 5388813 | 864027 | 2623 755 | 68 | 148 380.33/380.44 c 347s | 20 | 5414117 | 869027 | 2623 759 | 68 | 148 382.34/382.46 c 349s | 20 | 5440535 | 873827 | 2623 762 | 68 | 148 384.34/384.47 c 351s | 20 | 5466608 | 878827 | 2623 766 | 68 | 148 386.44/386.55 c 353s | 20 | 5495002 | 883927 | 2623 770 | 68 | 148 388.43/388.56 c 355s | 20 | 5524678 | 889027 | 2623 773 | 68 | 148 390.54/390.61 c 357s | 20 | 5547969 | 894027 | 2623 777 | 68 | 148 392.53/392.62 c 359s | 20 | 5573198 | 899027 | 2623 781 | 68 | 148 394.53/394.65 c 361s | 20 | 5597628 | 903927 | 2623 784 | 68 | 148 396.53/396.65 c 363s | 20 | 5625106 | 908527 | 2623 788 | 68 | 148 398.53/398.69 c 365s | 20 | 5653666 | 913627 | 2623 791 | 68 | 148 400.63/400.72 c 367s | 20 | 5686263 | 918527 | 2623 795 | 68 | 148 402.63/402.75 c 369s | 20 | 5715551 | 923227 | 2623 798 | 68 | 148 404.63/404.79 c 371s | 20 | 5742298 | 927927 | 2623 802 | 68 | 148 406.73/406.82 c 373s | 20 | 5769642 | 932727 | 2623 805 | 68 | 148 408.73/408.85 c 375s | 20 | 5796419 | 937627 | 2623 809 | 68 | 148 410.73/410.88 c 377s | 20 | 5823326 | 942827 | 2623 813 | 68 | 148 412.73/412.90 c 379s | 20 | 5850140 | 948127 | 2623 817 | 68 | 148 414.83/414.92 c 381s | 20 | 5881553 | 953327 | 2623 820 | 68 | 148 416.84/416.93 c 383s | 20 | 5914762 | 958127 | 2623 824 | 68 | 148 418.83/418.93 c 385s | 20 | 5942075 | 963027 | 2623 828 | 68 | 148 420.83/420.97 c 387s | 20 | 5976031 | 968427 | 2623 832 | 68 | 148 422.93/423.01 c 389s | 20 | 6004637 | 973627 | 2623 835 | 68 | 148 424.93/425.03 c 391s | 20 | 6032734 | 978627 | 2623 839 | 68 | 148 426.93/427.06 c 393s | 20 | 6057748 | 983527 | 2623 843 | 68 | 148 428.93/429.06 c 395s | 20 | 6080033 | 988327 | 2623 846 | 68 | 148 430.92/431.06 c 397s | 20 | 6105692 | 993227 | 2623 850 | 68 | 148 432.92/433.08 c 399s | 20 | 6131595 | 998227 | 2623 853 | 68 | 148 433.83/433.95 c 400s | 21 | 6143113 | 1000345 | 2623 855 | 68 | 148 435.83/435.99 c 402s | 21 | 6169748 | 1005445 | 2623 859 | 68 | 148 437.93/438.01 c 404s | 21 | 6203169 | 1010845 | 2623 863 | 68 | 148 439.93/440.04 c 406s | 21 | 6234152 | 1016045 | 2623 867 | 68 | 148 441.92/442.06 c 408s | 21 | 6262765 | 1021145 | 2623 870 | 68 | 148 443.92/444.08 c 410s | 21 | 6294619 | 1026145 | 2623 874 | 68 | 148 445.92/446.08 c 412s | 21 | 6319525 | 1030945 | 2623 877 | 68 | 148 447.92/448.09 c 414s | 21 | 6347746 | 1035645 | 2623 881 | 68 | 148 450.03/450.11 c 416s | 21 | 6375699 | 1040645 | 2623 885 | 68 | 148 452.03/452.14 c 418s | 21 | 6405014 | 1045645 | 2623 888 | 68 | 148 454.02/454.15 c 420s | 21 | 6429726 | 1050445 | 2623 892 | 68 | 148 456.02/456.15 c 422s | 21 | 6456645 | 1055345 | 2623 895 | 68 | 148 458.02/458.16 c 424s | 21 | 6485345 | 1060345 | 2623 899 | 68 | 148 460.02/460.19 c 426s | 21 | 6509938 | 1065045 | 2623 902 | 68 | 148 462.12/462.24 c 429s | 21 | 6536837 | 1069945 | 2623 906 | 68 | 148 464.13/464.27 c 431s | 21 | 6565277 | 1074945 | 2623 910 | 68 | 148 466.22/466.32 c 433s | 21 | 6595833 | 1080145 | 2623 914 | 68 | 148 468.22/468.33 c 435s | 21 | 6627949 | 1085445 | 2623 917 | 68 | 148 470.22/470.35 c 437s | 21 | 6658352 | 1090345 | 2623 921 | 68 | 148 472.22/472.35 c 439s | 21 | 6684268 | 1095145 | 2623 924 | 68 | 148 474.22/474.37 c 441s | 21 | 6710911 | 1100145 | 2623 928 | 68 | 148 476.23/476.39 c 443s | 21 | 6741406 | 1104945 | 2623 932 | 68 | 148 478.32/478.40 c 445s | 21 | 6771700 | 1109845 | 2623 935 | 68 | 148 480.32/480.43 c 447s | 21 | 6792893 | 1114845 | 2623 939 | 68 | 148 482.32/482.46 c 449s | 21 | 6819694 | 1119945 | 2623 943 | 68 | 148 484.31/484.48 c 451s | 21 | 6844718 | 1125045 | 2623 946 | 68 | 148 486.42/486.52 c 453s | 21 | 6867068 | 1130245 | 2623 950 | 68 | 148 488.43/488.54 c 455s | 21 | 6894422 | 1135345 | 2623 954 | 68 | 148 490.41/490.55 c 457s | 21 | 6923871 | 1140145 | 2623 957 | 68 | 148 492.41/492.59 c 459s | 21 | 6951949 | 1145145 | 2623 961 | 68 | 148 494.51/494.63 c 461s | 21 | 6981027 | 1149645 | 2623 964 | 68 | 148 496.51/496.64 c 463s | 21 | 7005819 | 1154645 | 2623 968 | 68 | 148 498.51/498.64 c 465s | 21 | 7037026 | 1159445 | 2623 971 | 68 | 148 500.53/500.66 c 467s | 21 | 7065741 | 1164245 | 2623 975 | 68 | 148 502.52/502.70 c 469s | 21 | 7091477 | 1169045 | 2623 978 | 68 | 148 504.62/504.73 c 471s | 21 | 7119640 | 1173645 | 2623 982 | 68 | 148 506.62/506.76 c 473s | 21 | 7152643 | 1178545 | 2623 985 | 68 | 148 508.61/508.77 c 475s | 21 | 7181494 | 1183145 | 2623 989 | 68 | 148 510.71/510.80 c 477s | 21 | 7209202 | 1188045 | 2623 992 | 68 | 148 512.71/512.83 c 479s | 21 | 7239635 | 1192845 | 2623 996 | 68 | 148 514.71/514.83 c 481s | 21 | 7261791 | 1197445 | 2623 999 | 68 | 148 516.71/516.85 c 483s | 21 | 7287187 | 1202145 | 2623 1003 | 68 | 148 518.71/518.88 c 485s | 21 | 7316673 | 1207245 | 2623 1006 | 68 | 148 520.71/520.89 c 487s | 21 | 7339529 | 1212045 | 2623 1010 | 68 | 148 522.81/522.92 c 489s | 21 | 7362778 | 1217245 | 2623 1014 | 68 | 148 524.81/524.95 c 491s | 21 | 7387030 | 1222245 | 2623 1017 | 68 | 148 526.82/526.97 c 493s | 21 | 7410245 | 1227345 | 2623 1021 | 68 | 148 528.81/528.98 c 495s | 21 | 7434106 | 1232445 | 2623 1025 | 68 | 148 530.81/530.98 c 497s | 21 | 7462154 | 1237445 | 2623 1029 | 68 | 148 532.91/533.01 c 499s | 21 | 7489533 | 1242545 | 2623 1032 | 68 | 148 534.91/535.02 c 501s | 21 | 7518113 | 1247545 | 2623 1036 | 68 | 148 536.91/537.05 c 503s | 21 | 7546887 | 1252645 | 2623 1040 | 68 | 148 538.92/539.07 c 505s | 21 | 7577308 | 1257945 | 2623 1044 | 68 | 148 540.91/541.07 c 507s | 21 | 7608849 | 1262845 | 2623 1047 | 68 | 148 542.91/543.09 c 509s | 21 | 7636810 | 1267945 | 2623 1051 | 68 | 148 545.01/545.13 c 511s | 21 | 7666042 | 1272645 | 2623 1054 | 68 | 148 547.01/547.15 c 513s | 21 | 7693037 | 1278045 | 2623 1058 | 68 | 148 549.01/549.16 c 515s | 21 | 7718669 | 1283145 | 2623 1062 | 68 | 148 551.01/551.18 c 517s | 21 | 7743977 | 1287945 | 2623 1066 | 68 | 148 553.10/553.20 c 519s | 21 | 7764771 | 1292845 | 2623 1069 | 68 | 148 555.10/555.22 c 521s | 21 | 7792524 | 1297345 | 2623 1072 | 68 | 148 557.10/557.27 c 524s | 21 | 7820685 | 1301945 | 2886 1076 | 68 | 148 559.20/559.31 c 526s | 21 | 7850140 | 1307145 | 2886 1079 | 68 | 148 561.20/561.33 c 528s | 21 | 7872411 | 1312045 | 2886 1082 | 68 | 148 563.21/563.35 c 530s | 21 | 7900078 | 1316945 | 2886 1086 | 68 | 148 565.21/565.37 c 532s | 21 | 7926729 | 1321745 | 2886 1089 | 68 | 148 567.21/567.37 c 534s | 21 | 7951176 | 1326545 | 2886 1092 | 68 | 148 569.31/569.40 c 536s | 21 | 7978678 | 1331245 | 2886 1095 | 68 | 148 571.31/571.44 c 538s | 21 | 8004075 | 1336145 | 2886 1098 | 68 | 148 573.30/573.47 c 540s | 21 | 8032353 | 1340945 | 2886 1102 | 68 | 148 575.40/575.50 c 542s | 21 | 8058447 | 1345445 | 2886 1105 | 68 | 148 577.41/577.54 c 544s | 21 | 8081630 | 1350345 | 2886 1108 | 68 | 148 579.40/579.59 c 546s | 21 | 8110610 | 1355145 | 2886 1111 | 68 | 148 581.40/581.59 c 548s | 21 | 8136863 | 1359845 | 2886 1114 | 68 | 148 583.51/583.61 c 550s | 21 | 8165027 | 1364445 | 2886 1117 | 68 | 148 585.50/585.63 c 552s | 21 | 8187652 | 1369145 | 2886 1120 | 68 | 148 587.50/587.66 c 554s | 21 | 8215944 | 1373845 | 2886 1124 | 68 | 148 589.51/589.66 c 556s | 21 | 8239109 | 1378345 | 2886 1127 | 68 | 148 591.50/591.69 c 558s | 21 | 8262056 | 1383045 | 2886 1130 | 68 | 148 593.60/593.73 c 560s | 21 | 8284765 | 1387845 | 2886 1133 | 68 | 148 595.60/595.74 c 562s | 21 | 8309609 | 1392445 | 2886 1136 | 68 | 148 597.60/597.78 c 564s | 21 | 8334621 | 1397545 | 2886 1139 | 68 | 148 599.60/599.78 c 566s | 21 | 8356131 | 1402545 | 2886 1143 | 68 | 148 601.71/601.84 c 568s | 21 | 8375157 | 1407445 | 2886 1146 | 68 | 148 603.70/603.87 c 570s | 21 | 8398007 | 1412445 | 2886 1149 | 68 | 148 605.80/605.92 c 572s | 21 | 8420873 | 1417145 | 2886 1153 | 68 | 148 607.79/607.93 c 574s | 21 | 8445475 | 1421845 | 2886 1156 | 68 | 148 609.80/609.95 c 576s | 21 | 8471880 | 1426945 | 2886 1159 | 68 | 148 611.80/611.98 c 578s | 21 | 8497289 | 1432145 | 2886 1162 | 68 | 148 613.81/613.99 c 580s | 21 | 8520547 | 1436945 | 2886 1166 | 68 | 148 615.80/615.99 c 582s | 21 | 8546192 | 1442145 | 2886 1169 | 68 | 148 617.90/618.02 c 584s | 21 | 8566910 | 1446945 | 2886 1172 | 68 | 148 619.90/620.04 c 586s | 21 | 8590396 | 1451545 | 2886 1175 | 68 | 148 621.90/622.08 c 588s | 21 | 8613055 | 1456245 | 2886 1179 | 68 | 148 623.89/624.08 c 590s | 21 | 8636548 | 1460845 | 2886 1182 | 68 | 148 626.00/626.10 c 592s | 21 | 8662018 | 1465745 | 2886 1185 | 68 | 148 628.01/628.14 c 594s | 21 | 8684712 | 1470345 | 2886 1188 | 68 | 148 630.00/630.17 c 596s | 21 | 8705516 | 1475045 | 2886 1191 | 68 | 148 632.00/632.19 c 598s | 21 | 8729893 | 1479645 | 2886 1194 | 68 | 148 634.09/634.21 c 600s | 21 | 8758198 | 1484445 | 2886 1197 | 68 | 148 636.09/636.27 c 603s | 21 | 8784239 | 1489445 | 2886 1201 | 68 | 148 638.19/638.30 c 605s | 21 | 8810281 | 1494145 | 2886 1204 | 68 | 148 640.20/640.32 c 607s | 21 | 8837055 | 1499045 | 2886 1207 | 68 | 148 640.79/640.94 c 607s | 22 | 8844756 | 1500622 | 2886 1208 | 68 | 148 642.80/642.97 c 609s | 22 | 8868738 | 1505922 | 2886 1212 | 68 | 148 644.89/645.00 c 611s | 22 | 8901195 | 1511122 | 2886 1215 | 68 | 148 646.89/647.02 c 613s | 22 | 8928599 | 1516522 | 2886 1219 | 68 | 148 648.90/649.04 c 615s | 22 | 8957202 | 1521522 | 2886 1222 | 68 | 148 650.89/651.04 c 617s | 22 | 8987042 | 1526822 | 2886 1226 | 68 | 148 652.89/653.06 c 619s | 22 | 9012541 | 1531422 | 2886 1229 | 68 | 148 654.99/655.10 c 621s | 22 | 9038219 | 1536622 | 2886 1232 | 68 | 148 656.99/657.14 c 623s | 22 | 9065576 | 1541522 | 2886 1236 | 68 | 148 658.99/659.17 c 625s | 22 | 9090961 | 1546722 | 2886 1239 | 68 | 148 661.10/661.21 c 627s | 22 | 9117180 | 1551822 | 2886 1242 | 68 | 148 663.09/663.22 c 629s | 22 | 9143056 | 1557022 | 2886 1246 | 68 | 148 665.09/665.23 c 632s | 22 | 9171763 | 1562222 | 2886 1249 | 68 | 148 667.09/667.27 c 634s | 22 | 9199039 | 1567522 | 2886 1253 | 68 | 148 669.09/669.28 c 636s | 22 | 9226409 | 1572822 | 2886 1256 | 68 | 148 671.19/671.30 c 638s | 22 | 9252315 | 1578022 | 2886 1260 | 68 | 148 673.20/673.31 c 640s | 22 | 9282616 | 1583422 | 2886 1263 | 68 | 148 675.19/675.32 c 642s | 22 | 9311436 | 1588222 | 2886 1267 | 68 | 148 677.19/677.35 c 644s | 22 | 9338808 | 1593622 | 2886 1270 | 68 | 148 679.19/679.37 c 646s | 22 | 9366455 | 1598622 | 2886 1274 | 68 | 148 681.19/681.38 c 648s | 22 | 9393958 | 1603822 | 2886 1277 | 68 | 148 683.29/683.40 c 650s | 22 | 9417801 | 1608622 | 2886 1280 | 68 | 148 685.29/685.42 c 652s | 22 | 9444751 | 1613522 | 2886 1283 | 68 | 148 687.28/687.43 c 654s | 22 | 9469172 | 1618422 | 2886 1287 | 68 | 148 689.29/689.48 c 656s | 22 | 9496263 | 1623522 | 2886 1290 | 68 | 148 691.29/691.48 c 658s | 22 | 9518153 | 1628222 | 2886 1293 | 68 | 148 693.39/693.50 c 660s | 22 | 9548442 | 1633622 | 2886 1297 | 68 | 148 695.39/695.52 c 662s | 22 | 9576047 | 1638722 | 2886 1300 | 68 | 148 697.39/697.55 c 664s | 22 | 9599811 | 1643822 | 2886 1304 | 68 | 148 699.39/699.56 c 666s | 22 | 9628165 | 1649322 | 2886 1307 | 68 | 148 701.39/701.57 c 668s | 22 | 9654361 | 1654522 | 2886 1311 | 68 | 148 703.48/703.60 c 670s | 22 | 9684537 | 1659222 | 2886 1314 | 68 | 148 705.48/705.64 c 672s | 22 | 9712784 | 1664022 | 2886 1317 | 68 | 148 707.48/707.65 c 674s | 22 | 9744993 | 1669122 | 2886 1321 | 68 | 148 709.49/709.66 c 676s | 22 | 9771587 | 1673822 | 2886 1324 | 68 | 148 711.49/711.68 c 678s | 22 | 9804478 | 1679122 | 2886 1327 | 68 | 148 713.58/713.71 c 680s | 22 | 9831786 | 1684222 | 2886 1331 | 68 | 148 715.58/715.73 c 682s | 22 | 9858337 | 1689722 | 2886 1334 | 68 | 148 717.59/717.74 c 684s | 22 | 9885521 | 1694622 | 2886 1338 | 68 | 148 719.58/719.75 c 686s | 22 | 9911756 | 1699922 | 2886 1341 | 68 | 148 721.59/721.77 c 688s | 22 | 9939003 | 1705022 | 2886 1345 | 68 | 148 723.58/723.79 c 690s | 22 | 9968773 | 1710322 | 2886 1348 | 68 | 148 725.68/725.81 c 692s | 22 | 9999578 | 1715322 | 2886 1351 | 68 | 148 727.68/727.83 c 694s | 22 | 10028553 | 1720122 | 2886 1355 | 68 | 148 729.68/729.87 c 696s | 22 | 10060558 | 1725222 | 2886 1358 | 68 | 148 731.68/731.88 c 698s | 22 | 10090137 | 1730322 | 2886 1362 | 68 | 148 733.78/733.90 c 700s | 22 | 10119921 | 1735322 | 2886 1365 | 68 | 148 735.68/735.90 c 702s | 22 | 10148810 | 1740022 | 2886 1368 | 68 | 148 737.77/737.90 c 704s | 22 | 10177717 | 1744922 | 2886 1371 | 68 | 148 739.77/739.91 c 706s | 22 | 10202864 | 1750022 | 2886 1375 | 68 | 148 741.77/741.94 c 708s | 22 | 10230291 | 1755022 | 2886 1378 | 68 | 148 743.77/743.95 c 710s | 22 | 10257613 | 1759822 | 2886 1381 | 68 | 148 745.78/745.97 c 712s | 22 | 10283090 | 1764822 | 2886 1385 | 68 | 148 747.77/747.98 c 714s | 22 | 10310760 | 1769922 | 2886 1388 | 68 | 148 749.77/749.98 c 716s | 22 | 10338998 | 1774922 | 2886 1391 | 68 | 148 751.77/751.98 c 718s | 22 | 10364252 | 1780022 | 2886 1395 | 68 | 148 753.87/754.00 c 720s | 22 | 10393986 | 1785622 | 2886 1398 | 68 | 148 755.87/756.04 c 722s | 22 | 10422063 | 1790822 | 2886 1402 | 68 | 148 757.87/758.07 c 724s | 22 | 10449405 | 1795822 | 2886 1405 | 68 | 148 759.98/760.11 c 726s | 22 | 10474395 | 1801222 | 2886 1409 | 68 | 148 761.97/762.11 c 728s | 22 | 10499963 | 1806322 | 2886 1412 | 68 | 148 763.97/764.14 c 730s | 22 | 10532187 | 1811422 | 2886 1416 | 68 | 148 765.97/766.15 c 732s | 22 | 10556120 | 1816222 | 2886 1419 | 68 | 148 767.96/768.15 c 734s | 22 | 10592728 | 1821322 | 2886 1422 | 68 | 148 769.97/770.19 c 736s | 22 | 10622204 | 1826322 | 2886 1426 | 68 | 148 771.97/772.20 c 738s | 22 | 10655970 | 1831422 | 2886 1429 | 68 | 148 774.07/774.21 c 740s | 22 | 10689008 | 1836222 | 2886 1432 | 68 | 148 776.07/776.23 c 743s | 22 | 10721170 | 1841222 | 2886 1436 | 68 | 148 778.06/778.25 c 745s | 22 | 10753582 | 1846322 | 2886 1439 | 68 | 148 780.06/780.25 c 747s | 22 | 10782664 | 1851222 | 2886 1442 | 68 | 148 782.06/782.28 c 749s | 22 | 10810028 | 1856322 | 2886 1446 | 68 | 148 784.05/784.30 c 751s | 22 | 10832160 | 1861522 | 2886 1449 | 68 | 148 786.15/786.30 c 753s | 22 | 10862465 | 1866722 | 2886 1453 | 68 | 148 788.16/788.37 c 755s | 22 | 10888624 | 1872022 | 2886 1456 | 68 | 148 790.26/790.41 c 757s | 22 | 10917759 | 1877222 | 2886 1460 | 68 | 148 792.26/792.43 c 759s | 22 | 10952179 | 1882222 | 2886 1463 | 68 | 148 794.25/794.44 c 761s | 22 | 10982335 | 1887122 | 2886 1466 | 68 | 148 796.26/796.47 c 763s | 22 | 11007191 | 1892222 | 2886 1470 | 68 | 148 798.35/798.50 c 765s | 22 | 11035662 | 1897122 | 2886 1473 | 68 | 148 800.34/800.51 c 767s | 22 | 11060933 | 1902022 | 2886 1476 | 68 | 148 802.35/802.53 c 769s | 22 | 11084196 | 1906922 | 2886 1479 | 68 | 148 804.35/804.55 c 771s | 22 | 11100317 | 1911322 | 2886 1482 | 68 | 148 806.35/806.57 c 773s | 22 | 11125776 | 1916122 | 2886 1485 | 68 | 148 808.35/808.60 c 775s | 22 | 11147904 | 1920922 | 2886 1489 | 68 | 148 810.45/810.64 c 777s | 22 | 11171895 | 1925722 | 2886 1492 | 68 | 148 812.45/812.65 c 779s | 22 | 11199346 | 1930522 | 2886 1495 | 68 | 148 814.44/814.66 c 781s | 22 | 11225037 | 1935422 | 2886 1498 | 68 | 148 816.44/816.67 c 783s | 22 | 11253890 | 1940322 | 2886 1502 | 68 | 148 818.54/818.70 c 785s | 22 | 11278913 | 1945422 | 2886 1505 | 68 | 148 820.55/820.73 c 787s | 22 | 11306830 | 1950322 | 2886 1508 | 68 | 148 822.54/822.74 c 789s | 22 | 11329245 | 1955422 | 2886 1512 | 68 | 148 824.54/824.78 c 791s | 22 | 11355239 | 1960522 | 2886 1515 | 68 | 148 826.64/826.80 c 793s | 22 | 11386200 | 1965922 | 2886 1519 | 68 | 148 828.63/828.83 c 795s | 22 | 11411667 | 1971222 | 2886 1522 | 68 | 148 830.64/830.84 c 797s | 22 | 11437106 | 1976422 | 2886 1526 | 68 | 148 832.65/832.87 c 799s | 22 | 11464341 | 1981722 | 2886 1529 | 68 | 148 834.64/834.87 c 801s | 22 | 11490626 | 1987122 | 2886 1533 | 68 | 148 836.74/836.90 c 803s | 22 | 11519459 | 1992522 | 2886 1537 | 68 | 148 838.73/838.92 c 805s | 22 | 11546859 | 1997922 | 2886 1540 | 68 | 148 840.73/840.93 c 807s | 22 | 11574065 | 2002922 | 2886 1543 | 68 | 148 842.73/842.96 c 809s | 22 | 11604070 | 2008322 | 2886 1547 | 68 | 148 844.74/844.96 c 811s | 22 | 11635712 | 2013222 | 2886 1550 | 68 | 148 846.73/846.99 c 813s | 22 | 11660965 | 2018222 | 2886 1554 | 68 | 148 848.73/849.00 c 815s | 22 | 11691273 | 2023222 | 2886 1557 | 68 | 148 850.82/851.01 c 817s | 22 | 11720721 | 2028222 | 2886 1560 | 68 | 148 852.83/853.02 c 819s | 22 | 11747077 | 2033722 | 2886 1564 | 68 | 148 854.83/855.06 c 821s | 22 | 11772764 | 2039222 | 2886 1568 | 68 | 148 856.84/857.07 c 823s | 22 | 11804289 | 2044322 | 3175 1571 | 68 | 148 858.83/859.09 c 825s | 22 | 11837233 | 2049422 | 3175 1574 | 68 | 148 860.93/861.13 c 827s | 22 | 11865140 | 2054522 | 3175 1577 | 68 | 148 862.93/863.13 c 829s | 22 | 11895382 | 2059422 | 3175 1580 | 68 | 148 864.93/865.16 c 831s | 22 | 11922534 | 2064722 | 3175 1583 | 68 | 148 866.92/867.19 c 833s | 22 | 11950401 | 2069822 | 3175 1586 | 68 | 148 868.93/869.19 c 835s | 22 | 11977342 | 2074822 | 3175 1589 | 68 | 148 871.03/871.22 c 837s | 22 | 12007623 | 2079722 | 3175 1592 | 68 | 148 873.02/873.24 c 840s | 22 | 12035164 | 2084322 | 3175 1595 | 68 | 148 875.02/875.25 c 842s | 22 | 12065781 | 2088922 | 3175 1598 | 68 | 148 877.02/877.26 c 844s | 22 | 12093509 | 2093722 | 3175 1601 | 68 | 148 879.02/879.29 c 846s | 22 | 12120879 | 2098522 | 3175 1604 | 68 | 148 881.12/881.30 c 848s | 22 | 12146807 | 2102822 | 3175 1606 | 68 | 148 883.12/883.32 c 850s | 22 | 12177625 | 2107322 | 3175 1609 | 68 | 148 885.11/885.33 c 852s | 22 | 12203789 | 2111822 | 3175 1612 | 68 | 148 887.12/887.35 c 854s | 22 | 12227275 | 2116622 | 3175 1615 | 68 | 148 889.12/889.37 c 856s | 22 | 12255515 | 2121822 | 3175 1618 | 68 | 148 891.22/891.40 c 858s | 22 | 12284118 | 2126822 | 3175 1621 | 68 | 148 893.22/893.42 c 860s | 22 | 12313450 | 2132022 | 3175 1624 | 68 | 148 895.22/895.44 c 862s | 22 | 12338204 | 2137022 | 3175 1627 | 68 | 148 897.21/897.46 c 864s | 22 | 12365237 | 2141922 | 3175 1630 | 68 | 148 899.21/899.48 c 866s | 22 | 12392508 | 2146822 | 3175 1633 | 68 | 148 901.21/901.48 c 868s | 22 | 12419202 | 2151722 | 3175 1636 | 68 | 148 903.31/903.50 c 870s | 22 | 12439887 | 2156822 | 3175 1639 | 68 | 148 905.31/905.52 c 872s | 22 | 12461758 | 2161822 | 3175 1642 | 68 | 148 907.32/907.55 c 874s | 22 | 12484469 | 2166822 | 3175 1645 | 68 | 148 909.31/909.56 c 876s | 22 | 12506987 | 2171522 | 3175 1648 | 68 | 148 911.31/911.56 c 878s | 22 | 12529897 | 2175922 | 3175 1651 | 68 | 148 913.31/913.58 c 880s | 22 | 12553573 | 2180922 | 3175 1654 | 68 | 148 915.41/915.61 c 882s | 22 | 12576699 | 2185722 | 3175 1657 | 68 | 148 917.40/917.67 c 884s | 22 | 12603831 | 2190522 | 3175 1660 | 68 | 148 919.51/919.71 c 886s | 22 | 12632070 | 2195622 | 3175 1663 | 68 | 148 921.50/921.74 c 888s | 22 | 12661176 | 2200522 | 3175 1666 | 68 | 148 923.50/923.75 c 890s | 22 | 12692161 | 2205622 | 3175 1669 | 68 | 148 925.50/925.76 c 892s | 22 | 12719920 | 2210222 | 3175 1672 | 68 | 148 927.50/927.77 c 894s | 22 | 12754381 | 2215222 | 3175 1675 | 68 | 148 929.50/929.79 c 896s | 22 | 12786174 | 2219922 | 3175 1678 | 68 | 148 931.60/931.83 c 898s | 22 | 12813103 | 2224722 | 3175 1681 | 68 | 148 933.59/933.85 c 900s | 22 | 12835343 | 2229522 | 3175 1684 | 68 | 148 935.69/935.90 c 902s | 22 | 12856700 | 2234322 | 3175 1687 | 68 | 148 937.70/937.93 c 904s | 22 | 12880932 | 2239022 | 3175 1689 | 68 | 148 939.69/939.96 c 906s | 22 | 12904570 | 2243822 | 3175 1692 | 68 | 148 941.69/941.98 c 908s | 22 | 12931109 | 2248322 | 3175 1695 | 68 | 148 942.89/943.12 c 909s | 23 | 12947317 | 2251038 | 3175 1697 | 68 | 148 944.89/945.13 c 911s | 23 | 12976338 | 2255938 | 3175 1700 | 68 | 148 946.89/947.13 c 913s | 23 | 13008147 | 2260738 | 3175 1703 | 68 | 148 948.89/949.15 c 915s | 23 | 13039301 | 2265638 | 3175 1706 | 68 | 148 950.88/951.16 c 917s | 23 | 13071708 | 2270038 | 3175 1708 | 68 | 148 952.99/953.20 c 919s | 23 | 13101685 | 2275038 | 3175 1711 | 68 | 148 954.99/955.20 c 921s | 23 | 13128838 | 2279838 | 3175 1714 | 68 | 148 956.99/957.24 c 924s | 23 | 13154128 | 2284338 | 3175 1717 | 68 | 148 958.99/959.25 c 926s | 23 | 13182976 | 2289338 | 3175 1720 | 68 | 148 960.99/961.26 c 928s | 23 | 13211807 | 2294538 | 3175 1723 | 68 | 148 962.99/963.29 c 930s | 23 | 13243297 | 2299238 | 3175 1726 | 68 | 148 964.98/965.29 c 932s | 23 | 13275953 | 2303838 | 3175 1729 | 68 | 148 966.98/967.29 c 934s | 23 | 13306546 | 2308638 | 3175 1732 | 68 | 148 969.09/969.30 c 936s | 23 | 13333927 | 2313538 | 3175 1735 | 68 | 148 971.09/971.31 c 938s | 23 | 13366901 | 2318538 | 3175 1738 | 68 | 148 973.08/973.32 c 940s | 23 | 13393350 | 2323438 | 3175 1741 | 68 | 148 975.08/975.33 c 942s | 23 | 13425119 | 2328438 | 3175 1744 | 68 | 148 977.08/977.34 c 944s | 23 | 13450363 | 2333438 | 3175 1747 | 68 | 148 979.08/979.37 c 946s | 23 | 13481858 | 2338638 | 3175 1750 | 68 | 148 981.08/981.39 c 948s | 23 | 13509923 | 2343538 | 3175 1753 | 68 | 148 983.18/983.42 c 950s | 23 | 13539599 | 2348838 | 3175 1756 | 68 | 148 985.17/985.47 c 952s | 23 | 13569027 | 2353638 | 3175 1759 | 68 | 148 987.27/987.50 c 954s | 23 | 13599841 | 2358538 | 3175 1762 | 68 | 148 989.27/989.52 c 956s | 23 | 13625564 | 2363338 | 3175 1765 | 68 | 148 991.27/991.53 c 958s | 23 | 13652865 | 2368438 | 3175 1768 | 68 | 148 993.28/993.56 c 960s | 23 | 13677403 | 2373238 | 3175 1771 | 68 | 148 995.38/995.61 c 962s | 23 | 13707495 | 2378038 | 3175 1774 | 68 | 148 997.37/997.64 c 964s | 23 | 13736187 | 2382438 | 3175 1777 | 68 | 148 999.37/999.68 c 966s | 23 | 13765610 | 2386638 | 3175 1779 | 68 | 148 1001.47/1001.72 c 968s | 23 | 13794685 | 2391238 | 3175 1782 | 68 | 148 1003.47/1003.72 c 970s | 23 | 13825312 | 2396038 | 3175 1785 | 68 | 148 1005.47/1005.73 c 972s | 23 | 13855666 | 2400738 | 3175 1788 | 68 | 148 1007.47/1007.77 c 974s | 23 | 13880916 | 2405338 | 3175 1791 | 68 | 148 1009.47/1009.77 c 976s | 23 | 13911378 | 2409938 | 3175 1793 | 68 | 148 1011.47/1011.78 c 978s | 23 | 13940505 | 2414638 | 3175 1796 | 68 | 148 1013.46/1013.78 c 980s | 23 | 13972935 | 2419438 | 3175 1799 | 68 | 148 1015.56/1015.81 c 982s | 23 | 14004872 | 2424138 | 3175 1802 | 68 | 148 1017.56/1017.84 c 984s | 23 | 14028920 | 2428938 | 3175 1805 | 68 | 148 1019.56/1019.85 c 986s | 23 | 14053061 | 2433238 | 3175 1808 | 68 | 148 1021.56/1021.88 c 988s | 23 | 14077313 | 2437638 | 3175 1810 | 68 | 148 1023.66/1023.90 c 990s | 23 | 14106745 | 2442238 | 3175 1813 | 68 | 148 1025.66/1025.93 c 992s | 23 | 14135288 | 2446838 | 3175 1816 | 68 | 148 1027.65/1027.94 c 994s | 23 | 14163873 | 2451438 | 3175 1819 | 68 | 148 1029.65/1029.96 c 996s | 23 | 14191173 | 2456038 | 3175 1821 | 68 | 148 1031.66/1031.98 c 998s | 23 | 14212549 | 2460538 | 3175 1824 | 68 | 148 1033.76/1034.00 c 1000s | 23 | 14246084 | 2465538 | 3175 1827 | 68 | 148 1035.75/1036.03 c 1002s | 23 | 14275808 | 2470438 | 3175 1830 | 68 | 148 1037.75/1038.05 c 1004s | 23 | 14308438 | 2475538 | 3175 1833 | 68 | 148 1039.75/1040.07 c 1006s | 23 | 14340638 | 2480538 | 3175 1836 | 68 | 148 1041.75/1042.07 c 1008s | 23 | 14369900 | 2485238 | 3175 1839 | 68 | 148 1043.85/1044.12 c 1010s | 23 | 14400735 | 2489938 | 3175 1842 | 68 | 148 1045.86/1046.13 c 1012s | 23 | 14430613 | 2494638 | 3175 1845 | 68 | 148 1047.85/1048.17 c 1014s | 23 | 14454232 | 2499138 | 3175 1848 | 68 | 148 1049.85/1050.19 c 1016s | 23 | 14484371 | 2503838 | 3175 1851 | 68 | 148 1051.95/1052.22 c 1018s | 23 | 14511141 | 2508938 | 3175 1854 | 68 | 148 1053.95/1054.25 c 1021s | 23 | 14533998 | 2513738 | 3175 1857 | 68 | 148 1055.94/1056.26 c 1023s | 23 | 14565519 | 2518938 | 3175 1860 | 68 | 148 1057.95/1058.29 c 1025s | 23 | 14594076 | 2523838 | 3175 1863 | 68 | 148 1060.04/1060.31 c 1027s | 23 | 14625733 | 2528738 | 3175 1866 | 68 | 148 1062.04/1062.32 c 1029s | 23 | 14656766 | 2533538 | 3175 1869 | 68 | 148 1064.04/1064.34 c 1031s | 23 | 14681281 | 2538338 | 3175 1872 | 68 | 148 1066.04/1066.37 c 1033s | 23 | 14708992 | 2543438 | 3175 1875 | 68 | 148 1068.14/1068.40 c 1035s | 23 | 14734070 | 2548238 | 3175 1878 | 68 | 148 1070.15/1070.45 c 1037s | 23 | 14766111 | 2553338 | 3175 1881 | 68 | 148 1072.14/1072.47 c 1039s | 23 | 14800348 | 2558438 | 3175 1884 | 68 | 148 1074.14/1074.47 c 1041s | 23 | 14824050 | 2563438 | 3175 1887 | 68 | 148 1076.24/1076.51 c 1043s | 23 | 14853751 | 2568138 | 3175 1890 | 68 | 148 1078.23/1078.55 c 1045s | 23 | 14886970 | 2572938 | 3175 1893 | 68 | 148 1080.23/1080.57 c 1047s | 23 | 14919058 | 2577838 | 3175 1896 | 68 | 148 1082.33/1082.61 c 1049s | 23 | 14951549 | 2582838 | 3175 1899 | 68 | 148 1084.33/1084.61 c 1051s | 23 | 14982094 | 2587638 | 3175 1902 | 68 | 148 1086.32/1086.64 c 1053s | 23 | 15015868 | 2592538 | 3175 1905 | 68 | 148 1088.33/1088.66 c 1055s | 23 | 15040918 | 2597338 | 3175 1907 | 68 | 148 1090.33/1090.67 c 1057s | 23 | 15075230 | 2601838 | 3175 1910 | 68 | 148 1092.43/1092.70 c 1059s | 23 | 15102653 | 2606738 | 3175 1913 | 68 | 148 1094.42/1094.70 c 1061s | 23 | 15130059 | 2611538 | 3175 1916 | 68 | 148 1096.43/1096.71 c 1063s | 23 | 15159080 | 2616338 | 3175 1919 | 68 | 148 1098.42/1098.72 c 1065s | 23 | 15188291 | 2621038 | 3175 1922 | 68 | 148 1100.42/1100.72 c 1067s | 23 | 15221519 | 2626338 | 3175 1925 | 68 | 148 1102.42/1102.75 c 1069s | 23 | 15253440 | 2631638 | 3175 1928 | 68 | 148 1104.42/1104.76 c 1071s | 23 | 15285958 | 2636938 | 3175 1932 | 68 | 148 1106.51/1106.80 c 1073s | 23 | 15314348 | 2642238 | 3175 1935 | 68 | 148 1108.41/1108.80 c 1075s | 23 | 15344301 | 2647138 | 3175 1938 | 68 | 148 1110.51/1110.82 c 1077s | 23 | 15376685 | 2652638 | 3175 1941 | 68 | 148 1112.52/1112.83 c 1079s | 23 | 15410791 | 2658038 | 3175 1945 | 68 | 148 1114.52/1114.86 c 1081s | 23 | 15440984 | 2663438 | 3175 1948 | 68 | 148 1116.52/1116.89 c 1083s | 23 | 15473341 | 2668938 | 3175 1951 | 68 | 148 1118.61/1118.93 c 1085s | 23 | 15502693 | 2674338 | 3175 1954 | 68 | 148 1120.61/1120.93 c 1087s | 23 | 15534739 | 2679738 | 3175 1958 | 68 | 148 1122.61/1122.96 c 1089s | 23 | 15565138 | 2685238 | 3175 1961 | 68 | 148 1124.61/1124.99 c 1091s | 23 | 15595939 | 2691038 | 3175 1965 | 68 | 148 1126.71/1127.00 c 1093s | 23 | 15627548 | 2696638 | 3175 1968 | 68 | 148 1128.70/1129.01 c 1095s | 23 | 15660438 | 2701938 | 3175 1971 | 68 | 148 1130.70/1131.04 c 1097s | 23 | 15691657 | 2707038 | 3175 1974 | 68 | 148 1132.71/1133.06 c 1099s | 23 | 15717975 | 2712138 | 3175 1977 | 68 | 148 1134.70/1135.08 c 1101s | 23 | 15743942 | 2717538 | 3175 1981 | 68 | 148 1136.70/1137.09 c 1103s | 23 | 15769441 | 2722238 | 3175 1983 | 68 | 148 1138.80/1139.12 c 1105s | 23 | 15802102 | 2726838 | 3175 1986 | 68 | 148 1140.80/1141.15 c 1107s | 23 | 15834936 | 2731438 | 3175 1989 | 68 | 148 1142.80/1143.18 c 1109s | 23 | 15865602 | 2736038 | 3175 1992 | 68 | 148 1144.81/1145.19 c 1111s | 23 | 15897536 | 2740738 | 3175 1995 | 68 | 148 1146.90/1147.22 c 1113s | 23 | 15926552 | 2745638 | 3175 1998 | 68 | 148 1148.90/1149.24 c 1116s | 23 | 15952830 | 2750438 | 3175 2001 | 68 | 148 1150.89/1151.27 c 1118s | 23 | 15979708 | 2755338 | 3175 2004 | 68 | 148 1152.99/1153.33 c 1120s | 23 | 16008810 | 2760238 | 3175 2007 | 68 | 148 1155.00/1155.34 c 1122s | 23 | 16043202 | 2765538 | 3175 2010 | 68 | 148 1157.00/1157.35 c 1124s | 23 | 16070663 | 2770638 | 3175 2013 | 68 | 148 1158.99/1159.36 c 1126s | 23 | 16099040 | 2775238 | 3175 2016 | 68 | 148 1160.99/1161.39 c 1128s | 23 | 16125643 | 2780138 | 3175 2019 | 68 | 148 1163.09/1163.43 c 1130s | 23 | 16154596 | 2784838 | 3175 2021 | 68 | 148 1165.09/1165.44 c 1132s | 23 | 16182258 | 2789738 | 3175 2024 | 68 | 148 1167.09/1167.48 c 1134s | 23 | 16213161 | 2794438 | 3175 2027 | 68 | 148 1169.19/1169.51 c 1136s | 23 | 16243691 | 2798938 | 3175 2030 | 68 | 148 1171.19/1171.51 c 1138s | 23 | 16280068 | 2804038 | 3175 2033 | 68 | 148 1173.18/1173.53 c 1140s | 23 | 16308191 | 2808938 | 3175 2036 | 68 | 148 1175.18/1175.57 c 1142s | 23 | 16332701 | 2813538 | 3175 2039 | 68 | 148 1177.28/1177.62 c 1144s | 23 | 16361715 | 2818238 | 3175 2042 | 68 | 148 1179.29/1179.67 c 1146s | 23 | 16388012 | 2823338 | 3175 2045 | 68 | 148 1181.29/1181.67 c 1148s | 23 | 16417158 | 2828438 | 3175 2048 | 68 | 148 1183.29/1183.67 c 1150s | 23 | 16446243 | 2833338 | 3175 2051 | 68 | 148 1185.38/1185.70 c 1152s | 23 | 16471960 | 2838138 | 3175 2054 | 68 | 148 1187.38/1187.71 c 1154s | 23 | 16501976 | 2843038 | 3175 2057 | 68 | 148 1189.38/1189.72 c 1156s | 23 | 16530595 | 2848038 | 3175 2060 | 68 | 148 1191.37/1191.75 c 1158s | 23 | 16559293 | 2852138 | 3175 2062 | 68 | 148 1193.37/1193.76 c 1160s | 23 | 16602419 | 2856838 | 3175 2065 | 68 | 148 1195.38/1195.79 c 1162s | 23 | 16639134 | 2861638 | 3175 2068 | 68 | 148 1197.47/1197.83 c 1164s | 23 | 16672836 | 2866338 | 3175 2071 | 68 | 148 1199.47/1199.84 c 1166s | 23 | 16704270 | 2871138 | 3175 2074 | 68 | 148 1201.48/1201.87 c 1168s | 23 | 16733408 | 2876038 | 3175 2077 | 68 | 148 1203.48/1203.88 c 1170s | 23 | 16765189 | 2881038 | 3175 2080 | 68 | 148 1205.58/1205.90 c 1172s | 23 | 16790229 | 2885638 | 3175 2083 | 68 | 148 1207.58/1207.93 c 1174s | 23 | 16816842 | 2890738 | 3175 2086 | 68 | 148 1209.57/1209.95 c 1176s | 23 | 16847064 | 2895738 | 3175 2089 | 68 | 148 1211.57/1211.96 c 1178s | 23 | 16878315 | 2900238 | 3175 2092 | 68 | 148 1213.57/1213.99 c 1180s | 23 | 16909829 | 2904938 | 3175 2094 | 68 | 148 1215.68/1216.02 c 1182s | 23 | 16943830 | 2909638 | 3175 2097 | 68 | 148 1217.67/1218.04 c 1184s | 23 | 16982309 | 2914738 | 3175 2100 | 68 | 148 1219.68/1220.07 c 1186s | 23 | 17007981 | 2919738 | 3175 2103 | 68 | 148 1221.77/1222.11 c 1188s | 23 | 17036442 | 2924738 | 3175 2106 | 68 | 148 1223.77/1224.15 c 1190s | 23 | 17064060 | 2930138 | 3175 2110 | 68 | 148 1225.76/1226.17 c 1192s | 23 | 17091920 | 2935238 | 3175 2113 | 68 | 148 1227.76/1228.19 c 1194s | 23 | 17119058 | 2939738 | 3175 2116 | 68 | 148 1229.86/1230.22 c 1196s | 23 | 17154603 | 2944138 | 3175 2118 | 68 | 148 1231.87/1232.25 c 1199s | 23 | 17182767 | 2948838 | 3175 2121 | 68 | 148 1233.87/1234.29 c 1201s | 23 | 17213860 | 2953638 | 3175 2124 | 68 | 148 1235.96/1236.30 c 1203s | 23 | 17237591 | 2958538 | 3175 2127 | 68 | 148 1237.95/1238.33 c 1205s | 23 | 17263556 | 2963338 | 3175 2130 | 68 | 148 1239.95/1240.35 c 1207s | 23 | 17290577 | 2968338 | 3175 2133 | 68 | 148 1241.95/1242.37 c 1209s | 23 | 17317710 | 2973138 | 3175 2136 | 68 | 148 1244.05/1244.40 c 1211s | 23 | 17341866 | 2977938 | 3175 2139 | 68 | 148 1246.06/1246.43 c 1213s | 23 | 17367604 | 2982638 | 3175 2142 | 68 | 148 1248.04/1248.44 c 1215s | 23 | 17398055 | 2987438 | 3175 2145 | 68 | 148 1250.04/1250.45 c 1217s | 23 | 17427818 | 2992238 | 3175 2148 | 68 | 148 1252.05/1252.47 c 1219s | 23 | 17458717 | 2997138 | 3175 2151 | 68 | 148 1254.15/1254.50 c 1221s | 23 | 17496452 | 3002338 | 3175 2154 | 68 | 148 1256.15/1256.52 c 1223s | 23 | 17531524 | 3007138 | 3175 2157 | 68 | 148 1258.15/1258.54 c 1225s | 23 | 17561304 | 3012138 | 3175 2160 | 68 | 148 1260.14/1260.56 c 1227s | 23 | 17593413 | 3017338 | 3175 2163 | 68 | 148 1262.14/1262.58 c 1229s | 23 | 17626433 | 3022138 | 3175 2166 | 68 | 148 1264.24/1264.60 c 1231s | 23 | 17655247 | 3026838 | 3175 2169 | 68 | 148 1266.24/1266.64 c 1233s | 23 | 17680982 | 3031738 | 3175 2172 | 68 | 148 1268.24/1268.64 c 1235s | 23 | 17709184 | 3036738 | 3175 2175 | 68 | 148 1270.25/1270.68 c 1237s | 23 | 17735294 | 3041338 | 3175 2177 | 68 | 148 1272.24/1272.70 c 1239s | 23 | 17763253 | 3046038 | 3175 2180 | 68 | 148 1274.33/1274.72 c 1241s | 23 | 17790936 | 3050638 | 3175 2183 | 68 | 148 1276.33/1276.73 c 1243s | 23 | 17819569 | 3055438 | 3175 2186 | 68 | 148 1278.33/1278.74 c 1245s | 23 | 17847104 | 3059838 | 3175 2189 | 68 | 148 1280.33/1280.76 c 1247s | 23 | 17875000 | 3064538 | 3175 2191 | 68 | 148 1282.33/1282.78 c 1249s | 23 | 17909043 | 3069038 | 3175 2194 | 68 | 148 1284.32/1284.79 c 1251s | 23 | 17939396 | 3073938 | 3175 2197 | 68 | 148 1286.42/1286.82 c 1253s | 23 | 17966264 | 3078738 | 3175 2200 | 68 | 148 1288.42/1288.85 c 1255s | 23 | 17994657 | 3083438 | 3175 2203 | 68 | 148 1290.43/1290.86 c 1257s | 23 | 18025867 | 3088338 | 3175 2206 | 68 | 148 1292.43/1292.88 c 1259s | 23 | 18060708 | 3093238 | 3175 2209 | 68 | 148 1294.53/1294.93 c 1261s | 23 | 18093973 | 3098238 | 3175 2212 | 68 | 148 1296.53/1296.94 c 1263s | 23 | 18125419 | 3103138 | 3175 2215 | 68 | 148 1298.52/1298.94 c 1265s | 23 | 18158626 | 3108338 | 3175 2218 | 68 | 148 1300.52/1300.97 c 1267s | 23 | 18190580 | 3113238 | 3175 2221 | 68 | 148 1302.62/1303.01 c 1269s | 23 | 18224859 | 3118438 | 3175 2224 | 68 | 148 1304.62/1305.02 c 1271s | 23 | 18254544 | 3123738 | 3175 2227 | 68 | 148 1306.62/1307.06 c 1273s | 23 | 18285405 | 3128938 | 3175 2231 | 68 | 148 1308.62/1309.06 c 1275s | 23 | 18311426 | 3133738 | 3175 2234 | 68 | 148 1310.62/1311.07 c 1277s | 23 | 18337285 | 3138838 | 3175 2237 | 68 | 148 1312.61/1313.08 c 1279s | 23 | 18364167 | 3143938 | 3175 2240 | 68 | 148 1314.71/1315.11 c 1281s | 23 | 18395300 | 3149038 | 3175 2243 | 68 | 148 1316.71/1317.13 c 1283s | 23 | 18424334 | 3153838 | 3175 2246 | 68 | 148 1318.71/1319.18 c 1285s | 23 | 18454551 | 3158738 | 3175 2249 | 68 | 148 1320.82/1321.21 c 1287s | 23 | 18483700 | 3163538 | 3493 2251 | 68 | 148 1322.81/1323.22 c 1289s | 23 | 18512057 | 3168038 | 3493 2254 | 68 | 148 1324.81/1325.27 c 1292s | 23 | 18540517 | 3172938 | 3493 2257 | 68 | 148 1326.81/1327.29 c 1294s | 23 | 18566769 | 3177338 | 3493 2259 | 68 | 148 1328.90/1329.31 c 1296s | 23 | 18592054 | 3182238 | 3493 2262 | 68 | 148 1330.90/1331.33 c 1298s | 23 | 18618524 | 3186938 | 3493 2264 | 68 | 148 1332.91/1333.36 c 1300s | 23 | 18648211 | 3191938 | 3493 2267 | 68 | 148 1334.90/1335.37 c 1302s | 23 | 18671304 | 3197138 | 3493 2270 | 68 | 148 1336.90/1337.38 c 1304s | 23 | 18695182 | 3201638 | 3493 2273 | 68 | 148 1338.90/1339.39 c 1306s | 23 | 18725355 | 3206238 | 3493 2275 | 68 | 148 1341.00/1341.40 c 1308s | 23 | 18757417 | 3210938 | 3493 2278 | 68 | 148 1343.00/1343.40 c 1310s | 23 | 18792278 | 3215938 | 3493 2281 | 68 | 148 1345.01/1345.42 c 1312s | 23 | 18821471 | 3221338 | 3493 2284 | 68 | 148 1347.00/1347.43 c 1314s | 23 | 18847085 | 3226138 | 3493 2286 | 68 | 148 1349.00/1349.46 c 1316s | 23 | 18873386 | 3231338 | 3493 2289 | 68 | 148 1351.00/1351.49 c 1318s | 23 | 18899936 | 3236038 | 3493 2292 | 68 | 148 1353.00/1353.49 c 1320s | 23 | 18925110 | 3240838 | 3493 2294 | 68 | 148 1355.09/1355.51 c 1322s | 23 | 18950134 | 3245138 | 3493 2297 | 68 | 148 1357.10/1357.51 c 1324s | 23 | 18980304 | 3249538 | 3493 2299 | 68 | 148 1359.09/1359.52 c 1326s | 23 | 19008692 | 3254438 | 3493 2302 | 68 | 148 1361.10/1361.55 c 1328s | 23 | 19034956 | 3259138 | 3493 2305 | 68 | 148 1363.09/1363.55 c 1330s | 23 | 19065638 | 3263438 | 3493 2307 | 68 | 148 1365.09/1365.56 c 1332s | 23 | 19090957 | 3268138 | 3493 2310 | 68 | 148 1367.10/1367.58 c 1334s | 23 | 19118108 | 3272738 | 3493 2312 | 68 | 148 1369.20/1369.61 c 1336s | 23 | 19141965 | 3277138 | 3493 2315 | 68 | 148 1371.19/1371.64 c 1338s | 23 | 19168951 | 3281738 | 3493 2317 | 68 | 148 1373.19/1373.64 c 1340s | 23 | 19197824 | 3286538 | 3493 2320 | 68 | 148 1375.19/1375.68 c 1342s | 23 | 19229012 | 3291338 | 3493 2322 | 68 | 148 1377.18/1377.69 c 1344s | 23 | 19260812 | 3295638 | 3493 2325 | 68 | 148 1379.28/1379.70 c 1346s | 23 | 19289421 | 3300638 | 3493 2328 | 68 | 148 1381.30/1381.71 c 1348s | 23 | 19321999 | 3305438 | 3493 2330 | 68 | 148 1383.29/1383.72 c 1350s | 23 | 19354764 | 3310438 | 3493 2333 | 68 | 148 1385.29/1385.76 c 1352s | 23 | 19386289 | 3315238 | 3493 2336 | 68 | 148 1387.29/1387.79 c 1354s | 23 | 19413889 | 3319738 | 3493 2338 | 68 | 148 1389.38/1389.82 c 1356s | 23 | 19436186 | 3324038 | 3493 2341 | 68 | 148 1391.38/1391.86 c 1358s | 23 | 19465469 | 3328638 | 3493 2343 | 68 | 148 1393.39/1393.89 c 1360s | 23 | 19497413 | 3333638 | 3493 2346 | 68 | 148 1395.38/1395.90 c 1362s | 23 | 19523437 | 3338238 | 3493 2348 | 68 | 148 1397.48/1397.92 c 1364s | 23 | 19551438 | 3342938 | 3493 2351 | 68 | 148 1399.48/1399.95 c 1366s | 23 | 19581331 | 3347538 | 3493 2354 | 68 | 148 1401.48/1401.98 c 1368s | 23 | 19609577 | 3352638 | 3493 2356 | 68 | 148 1403.58/1404.00 c 1370s | 23 | 19636320 | 3357838 | 3493 2359 | 68 | 148 1405.58/1406.00 c 1372s | 23 | 19665973 | 3362338 | 3493 2362 | 68 | 148 1407.58/1408.03 c 1374s | 23 | 19692230 | 3366838 | 3493 2364 | 68 | 148 1409.58/1410.07 c 1376s | 23 | 19718228 | 3371538 | 3493 2367 | 68 | 148 1411.67/1412.10 c 1378s | 23 | 19744260 | 3376138 | 3493 2369 | 68 | 148 1411.87/1412.32 c 1379s | 24 | 19748377 | 3376662 | 3493 2370 | 68 | 148 1413.87/1414.34 c 1381s | 24 | 19775499 | 3381362 | 3493 2372 | 68 | 148 1415.88/1416.35 c 1383s | 24 | 19799835 | 3386462 | 3493 2375 | 68 | 148 1417.88/1418.37 c 1385s | 24 | 19828099 | 3391762 | 3493 2378 | 68 | 148 1419.88/1420.39 c 1387s | 24 | 19858018 | 3396962 | 3493 2381 | 68 | 148 1421.98/1422.41 c 1389s | 24 | 19881969 | 3402262 | 3493 2384 | 68 | 148 1423.97/1424.43 c 1391s | 24 | 19908659 | 3407762 | 3493 2387 | 68 | 148 1425.97/1426.44 c 1393s | 24 | 19940082 | 3413162 | 3493 2390 | 68 | 148 1427.98/1428.44 c 1395s | 24 | 19964893 | 3418362 | 3493 2393 | 68 | 148 1429.98/1430.48 c 1397s | 24 | 19993506 | 3423162 | 3493 2396 | 68 | 148 1432.08/1432.51 c 1399s | 24 | 20024396 | 3428362 | 3493 2398 | 68 | 148 1434.08/1434.51 c 1401s | 24 | 20050966 | 3433262 | 3493 2401 | 68 | 148 1436.07/1436.52 c 1403s | 24 | 20079267 | 3438562 | 3493 2404 | 68 | 148 1438.07/1438.53 c 1405s | 24 | 20102060 | 3443262 | 3493 2407 | 68 | 148 1440.08/1440.56 c 1407s | 24 | 20130664 | 3448462 | 3493 2410 | 68 | 148 1442.08/1442.59 c 1409s | 24 | 20153681 | 3453362 | 3493 2412 | 68 | 148 1444.17/1444.63 c 1411s | 24 | 20176605 | 3458662 | 3493 2415 | 68 | 148 1446.18/1446.66 c 1413s | 24 | 20202242 | 3463962 | 3493 2418 | 68 | 148 1448.17/1448.66 c 1415s | 24 | 20227911 | 3469162 | 3493 2421 | 68 | 148 1450.27/1450.70 c 1417s | 24 | 20255930 | 3474362 | 3493 2424 | 68 | 148 1452.27/1452.71 c 1419s | 24 | 20279825 | 3479562 | 3493 2427 | 68 | 148 1454.27/1454.71 c 1421s | 24 | 20303522 | 3484262 | 3493 2430 | 68 | 148 1456.27/1456.72 c 1423s | 24 | 20328077 | 3489362 | 3493 2432 | 68 | 148 1458.28/1458.75 c 1425s | 24 | 20352429 | 3494562 | 3493 2435 | 68 | 148 1460.27/1460.78 c 1427s | 24 | 20377082 | 3499562 | 3493 2438 | 68 | 148 1462.37/1462.81 c 1429s | 24 | 20401935 | 3504662 | 3493 2441 | 68 | 148 1464.37/1464.83 c 1431s | 24 | 20423921 | 3509462 | 3493 2444 | 68 | 148 1466.37/1466.84 c 1433s | 24 | 20446505 | 3514462 | 3493 2446 | 68 | 148 1468.37/1468.86 c 1435s | 24 | 20472968 | 3519062 | 3493 2449 | 68 | 148 1470.37/1470.87 c 1437s | 24 | 20499432 | 3523762 | 3493 2451 | 68 | 148 1472.37/1472.87 c 1439s | 24 | 20525690 | 3528562 | 3493 2454 | 68 | 148 1474.37/1474.88 c 1441s | 24 | 20551497 | 3533262 | 3493 2457 | 68 | 148 1476.47/1476.93 c 1443s | 24 | 20578833 | 3537862 | 3493 2459 | 68 | 148 1478.47/1478.95 c 1445s | 24 | 20606038 | 3542462 | 3493 2462 | 68 | 148 1480.47/1480.98 c 1447s | 24 | 20634158 | 3546962 | 3493 2464 | 68 | 148 1482.47/1482.99 c 1449s | 24 | 20655976 | 3551562 | 3493 2467 | 68 | 148 1484.47/1485.00 c 1451s | 24 | 20682659 | 3556562 | 3493 2470 | 68 | 148 1486.57/1487.02 c 1453s | 24 | 20707164 | 3561562 | 3493 2472 | 68 | 148 1488.57/1489.06 c 1455s | 24 | 20733273 | 3566362 | 3493 2475 | 68 | 148 1490.67/1491.10 c 1457s | 24 | 20762671 | 3570862 | 3493 2478 | 68 | 148 1492.67/1493.13 c 1459s | 24 | 20790379 | 3576162 | 3493 2480 | 68 | 148 1494.66/1495.17 c 1461s | 24 | 20816161 | 3581062 | 3493 2483 | 68 | 148 1496.78/1497.21 c 1463s | 24 | 20847049 | 3585962 | 3493 2486 | 68 | 148 1498.77/1499.24 c 1466s | 24 | 20876995 | 3590962 | 3493 2489 | 68 | 148 1500.77/1501.25 c 1468s | 24 | 20904738 | 3596362 | 3493 2492 | 68 | 148 1502.77/1503.28 c 1470s | 24 | 20930590 | 3601462 | 3493 2495 | 68 | 148 1504.87/1505.32 c 1472s | 24 | 20962029 | 3606562 | 3493 2497 | 68 | 148 1506.86/1507.32 c 1474s | 24 | 20988960 | 3611462 | 3493 2500 | 68 | 148 1508.87/1509.36 c 1476s | 24 | 21015547 | 3616662 | 3493 2503 | 68 | 148 1510.86/1511.36 c 1478s | 24 | 21042930 | 3621062 | 3493 2505 | 68 | 148 1512.87/1513.37 c 1480s | 24 | 21067222 | 3626162 | 3493 2508 | 68 | 148 1514.97/1515.40 c 1482s | 24 | 21110557 | 3631162 | 3493 2511 | 68 | 148 1516.97/1517.44 c 1484s | 24 | 21139690 | 3636162 | 3493 2514 | 68 | 148 1518.96/1519.45 c 1486s | 24 | 21168598 | 3640962 | 3493 2516 | 68 | 148 1520.97/1521.47 c 1488s | 24 | 21195751 | 3646062 | 3493 2519 | 68 | 148 1522.96/1523.48 c 1490s | 24 | 21222259 | 3650762 | 3493 2522 | 68 | 148 1524.96/1525.49 c 1492s | 24 | 21250634 | 3655862 | 3493 2525 | 68 | 148 1526.96/1527.50 c 1494s | 24 | 21276886 | 3660762 | 3493 2527 | 68 | 148 1529.06/1529.51 c 1496s | 24 | 21305443 | 3665862 | 3493 2530 | 68 | 148 1531.07/1531.52 c 1498s | 24 | 21330584 | 3670962 | 3493 2533 | 68 | 148 1533.06/1533.54 c 1500s | 24 | 21356097 | 3675662 | 3493 2536 | 68 | 148 1535.06/1535.54 c 1502s | 24 | 21384392 | 3680762 | 3493 2539 | 68 | 148 1537.06/1537.56 c 1504s | 24 | 21416721 | 3685962 | 3493 2541 | 68 | 148 1539.06/1539.58 c 1506s | 24 | 21441101 | 3690962 | 3493 2544 | 68 | 148 1541.16/1541.61 c 1508s | 24 | 21469074 | 3695662 | 3493 2547 | 68 | 148 1543.16/1543.63 c 1510s | 24 | 21494784 | 3700362 | 3493 2549 | 68 | 148 1545.16/1545.66 c 1512s | 24 | 21519440 | 3705062 | 3493 2552 | 68 | 148 1547.26/1547.71 c 1514s | 24 | 21548267 | 3710262 | 3493 2555 | 68 | 148 1549.25/1549.71 c 1516s | 24 | 21579288 | 3714762 | 3493 2557 | 68 | 148 1551.26/1551.74 c 1518s | 24 | 21606572 | 3719362 | 3493 2560 | 68 | 148 1553.26/1553.75 c 1520s | 24 | 21639788 | 3724062 | 3493 2563 | 68 | 148 1555.26/1555.77 c 1522s | 24 | 21665965 | 3729262 | 3493 2565 | 68 | 148 1557.26/1557.77 c 1524s | 24 | 21696200 | 3733962 | 3493 2568 | 68 | 148 1559.36/1559.80 c 1526s | 24 | 21727533 | 3738562 | 3493 2571 | 68 | 148 1561.35/1561.83 c 1528s | 24 | 21756714 | 3743162 | 3493 2573 | 68 | 148 1563.35/1563.87 c 1530s | 24 | 21784027 | 3747762 | 3493 2576 | 68 | 148 1565.36/1565.89 c 1532s | 24 | 21811031 | 3752762 | 3493 2579 | 68 | 148 1567.46/1567.92 c 1534s | 24 | 21841365 | 3757662 | 3493 2581 | 68 | 148 1569.46/1569.93 c 1536s | 24 | 21867367 | 3762462 | 3493 2584 | 68 | 148 1571.46/1571.95 c 1538s | 24 | 21895049 | 3766762 | 3493 2586 | 68 | 148 1573.46/1573.98 c 1540s | 24 | 21923846 | 3771462 | 3493 2589 | 68 | 148 1575.45/1575.98 c 1542s | 24 | 21946633 | 3776162 | 3493 2592 | 68 | 148 1577.55/1578.00 c 1544s | 24 | 21970784 | 3781262 | 3493 2594 | 68 | 148 1579.55/1580.02 c 1546s | 24 | 21996326 | 3786462 | 3493 2597 | 68 | 148 1581.56/1582.05 c 1548s | 24 | 22023414 | 3791462 | 3493 2600 | 68 | 148 1583.56/1584.08 c 1550s | 24 | 22054644 | 3796662 | 3493 2603 | 68 | 148 1585.65/1586.12 c 1552s | 24 | 22083522 | 3801762 | 3493 2606 | 68 | 148 1587.65/1588.14 c 1554s | 24 | 22111400 | 3806662 | 3493 2609 | 68 | 148 1589.65/1590.15 c 1556s | 24 | 22144413 | 3811962 | 3493 2611 | 68 | 148 1591.65/1592.18 c 1558s | 24 | 22171107 | 3816862 | 3493 2614 | 68 | 148 1593.65/1594.19 c 1560s | 24 | 22199013 | 3821862 | 3493 2617 | 68 | 148 1595.66/1596.19 c 1562s | 24 | 22230171 | 3826862 | 3493 2620 | 68 | 148 1597.66/1598.19 c 1564s | 24 | 22258416 | 3831762 | 3493 2622 | 68 | 148 1599.76/1600.20 c 1566s | 24 | 22286542 | 3836862 | 3493 2625 | 68 | 148 1601.75/1602.22 c 1568s | 24 | 22310741 | 3841862 | 3493 2628 | 68 | 148 1603.75/1604.25 c 1571s | 24 | 22339400 | 3847162 | 3493 2631 | 68 | 148 1605.75/1606.27 c 1573s | 24 | 22365218 | 3852162 | 3493 2634 | 68 | 148 1607.75/1608.28 c 1575s | 24 | 22392571 | 3856762 | 3493 2636 | 68 | 148 1609.75/1610.29 c 1577s | 24 | 22420722 | 3861462 | 3493 2639 | 68 | 148 1611.85/1612.32 c 1579s | 24 | 22442944 | 3866462 | 3493 2642 | 68 | 148 1613.85/1614.32 c 1581s | 24 | 22465714 | 3871062 | 3493 2644 | 68 | 148 1615.85/1616.34 c 1583s | 24 | 22486163 | 3875762 | 3493 2647 | 68 | 148 1617.85/1618.35 c 1585s | 24 | 22514809 | 3880362 | 3493 2649 | 68 | 148 1619.85/1620.38 c 1587s | 24 | 22541648 | 3884862 | 3493 2652 | 68 | 148 1621.94/1622.41 c 1589s | 24 | 22574950 | 3889962 | 3493 2655 | 68 | 148 1623.94/1624.41 c 1591s | 24 | 22603528 | 3894762 | 3493 2657 | 68 | 148 1625.94/1626.44 c 1593s | 24 | 22626607 | 3899762 | 3493 2660 | 68 | 148 1627.95/1628.49 c 1595s | 24 | 22653034 | 3904362 | 3493 2663 | 68 | 148 1630.05/1630.50 c 1597s | 24 | 22684831 | 3909062 | 3493 2665 | 68 | 148 1632.06/1632.52 c 1599s | 24 | 22717800 | 3913962 | 3493 2668 | 68 | 148 1634.04/1634.52 c 1601s | 24 | 22749603 | 3918962 | 3493 2671 | 68 | 148 1636.04/1636.54 c 1603s | 24 | 22776187 | 3923962 | 3493 2674 | 68 | 148 1638.04/1638.57 c 1605s | 24 | 22810521 | 3928862 | 3493 2676 | 68 | 148 1640.04/1640.58 c 1607s | 24 | 22837027 | 3933962 | 3493 2679 | 68 | 148 1642.15/1642.60 c 1609s | 24 | 22862376 | 3938362 | 3493 2682 | 68 | 148 1644.15/1644.62 c 1611s | 24 | 22894742 | 3943062 | 3493 2684 | 68 | 148 1646.15/1646.65 c 1613s | 24 | 22923406 | 3948062 | 3493 2687 | 68 | 148 1648.24/1648.73 c 1615s | 24 | 22953314 | 3952762 | 3493 2690 | 68 | 148 1650.24/1650.76 c 1617s | 24 | 22986602 | 3957762 | 3493 2692 | 68 | 148 1652.24/1652.77 c 1619s | 24 | 23014660 | 3962862 | 3493 2695 | 68 | 148 1654.34/1654.80 c 1621s | 24 | 23039172 | 3967762 | 3493 2698 | 68 | 148 1656.34/1656.81 c 1623s | 24 | 23064529 | 3972662 | 3493 2701 | 68 | 148 1658.35/1658.82 c 1625s | 24 | 23089746 | 3977762 | 3493 2703 | 68 | 148 1660.34/1660.84 c 1627s | 24 | 23114503 | 3982762 | 3493 2706 | 68 | 148 1662.34/1662.85 c 1629s | 24 | 23139951 | 3987962 | 3493 2709 | 68 | 148 1664.34/1664.87 c 1631s | 24 | 23162214 | 3992862 | 3493 2712 | 68 | 148 1666.44/1666.91 c 1633s | 24 | 23187168 | 3997962 | 3493 2715 | 68 | 148 1668.44/1668.93 c 1635s | 24 | 23216468 | 4003062 | 3493 2717 | 68 | 148 1670.45/1670.94 c 1637s | 24 | 23245055 | 4008162 | 3493 2720 | 68 | 148 1672.44/1672.96 c 1639s | 24 | 23267245 | 4012762 | 3493 2723 | 68 | 148 1674.54/1675.00 c 1641s | 24 | 23298340 | 4017662 | 3493 2726 | 68 | 148 1676.54/1677.00 c 1643s | 24 | 23330008 | 4022462 | 3493 2728 | 68 | 148 1678.54/1679.04 c 1645s | 24 | 23355205 | 4027362 | 3493 2731 | 68 | 148 1680.53/1681.04 c 1647s | 24 | 23385331 | 4032662 | 3493 2734 | 68 | 148 1682.55/1683.05 c 1649s | 24 | 23409481 | 4037962 | 3493 2737 | 68 | 148 1684.54/1685.06 c 1651s | 24 | 23435808 | 4042662 | 3493 2739 | 68 | 148 1686.54/1687.09 c 1653s | 24 | 23461786 | 4047862 | 3493 2742 | 68 | 148 1688.63/1689.10 c 1655s | 24 | 23487717 | 4052762 | 3493 2745 | 68 | 148 1690.63/1691.10 c 1657s | 24 | 23515690 | 4057962 | 3493 2748 | 68 | 148 1692.63/1693.13 c 1659s | 24 | 23541044 | 4063062 | 3493 2751 | 68 | 148 1694.64/1695.17 c 1661s | 24 | 23564298 | 4068062 | 3493 2754 | 68 | 148 1696.64/1697.18 c 1663s | 24 | 23592220 | 4072962 | 3493 2756 | 68 | 148 1698.74/1699.21 c 1665s | 24 | 23622167 | 4078062 | 3493 2759 | 68 | 148 1700.74/1701.22 c 1667s | 24 | 23646067 | 4082762 | 3493 2762 | 68 | 148 1702.73/1703.25 c 1670s | 24 | 23668491 | 4087662 | 3493 2764 | 68 | 148 1704.73/1705.27 c 1672s | 24 | 23696892 | 4092662 | 3493 2767 | 68 | 148 1706.74/1707.30 c 1674s | 24 | 23726207 | 4097462 | 3493 2770 | 68 | 148 1708.83/1709.32 c 1676s | 24 | 23754715 | 4102662 | 3493 2773 | 68 | 148 1710.83/1711.34 c 1678s | 24 | 23785266 | 4107562 | 3493 2775 | 68 | 148 1712.83/1713.35 c 1680s | 24 | 23808211 | 4112662 | 3493 2778 | 68 | 148 1714.83/1715.36 c 1682s | 24 | 23828737 | 4117462 | 3493 2781 | 68 | 148 1716.83/1717.36 c 1684s | 24 | 23853701 | 4122562 | 3493 2784 | 68 | 148 1718.84/1719.39 c 1686s | 24 | 23878565 | 4127562 | 3493 2786 | 68 | 148 1720.93/1721.40 c 1688s | 24 | 23910288 | 4132362 | 3493 2789 | 68 | 148 1722.93/1723.41 c 1690s | 24 | 23934358 | 4137462 | 3493 2792 | 68 | 148 1724.93/1725.42 c 1692s | 24 | 23953972 | 4142262 | 3493 2795 | 68 | 148 1726.93/1727.46 c 1694s | 24 | 23980520 | 4147062 | 3493 2797 | 68 | 148 1728.94/1729.46 c 1696s | 24 | 24004370 | 4152062 | 3493 2800 | 68 | 148 1731.04/1731.51 c 1698s | 24 | 24032103 | 4156462 | 3493 2803 | 68 | 148 1733.03/1733.52 c 1700s | 24 | 24063838 | 4161262 | 3493 2805 | 68 | 148 1735.03/1735.52 c 1702s | 24 | 24091438 | 4166262 | 3493 2808 | 68 | 148 1737.03/1737.53 c 1704s | 24 | 24117363 | 4171162 | 3493 2811 | 68 | 148 1739.03/1739.54 c 1706s | 24 | 24139396 | 4176162 | 3493 2813 | 68 | 148 1741.03/1741.55 c 1708s | 24 | 24165539 | 4180662 | 3493 2816 | 68 | 148 1743.03/1743.60 c 1710s | 24 | 24192682 | 4185162 | 3493 2818 | 68 | 148 1745.12/1745.61 c 1712s | 24 | 24215232 | 4189662 | 3493 2821 | 68 | 148 1747.13/1747.65 c 1714s | 24 | 24243071 | 4194262 | 3493 2823 | 68 | 148 1749.13/1749.65 c 1716s | 24 | 24270724 | 4198562 | 3493 2826 | 68 | 148 1751.13/1751.67 c 1718s | 24 | 24299356 | 4202962 | 3493 2828 | 68 | 148 1753.13/1753.68 c 1720s | 24 | 24323320 | 4207362 | 3493 2831 | 68 | 148 1755.13/1755.68 c 1722s | 24 | 24344349 | 4211662 | 3493 2833 | 68 | 148 1757.13/1757.69 c 1724s | 24 | 24365538 | 4216462 | 3493 2836 | 68 | 148 1759.22/1759.70 c 1726s | 24 | 24395751 | 4221362 | 3493 2839 | 68 | 148 1761.23/1761.71 c 1728s | 24 | 24417332 | 4226462 | 3493 2841 | 68 | 148 1763.23/1763.73 c 1730s | 24 | 24444955 | 4230962 | 3493 2844 | 68 | 148 1765.23/1765.77 c 1732s | 24 | 24475967 | 4235562 | 3493 2846 | 68 | 148 1767.23/1767.79 c 1734s | 24 | 24504153 | 4240162 | 3493 2849 | 68 | 148 1769.23/1769.80 c 1736s | 24 | 24531004 | 4244662 | 3493 2851 | 68 | 148 1771.33/1771.82 c 1738s | 24 | 24554595 | 4249062 | 3493 2854 | 68 | 148 1773.32/1773.85 c 1740s | 24 | 24580691 | 4254162 | 3493 2857 | 68 | 148 1775.32/1775.88 c 1742s | 24 | 24602048 | 4259162 | 3493 2859 | 68 | 148 1777.42/1777.92 c 1744s | 24 | 24626321 | 4263462 | 3493 2862 | 68 | 148 1779.42/1779.97 c 1746s | 24 | 24647634 | 4268262 | 3493 2865 | 68 | 148 1781.42/1781.99 c 1748s | 24 | 24668334 | 4272662 | 3493 2867 | 68 | 148 1783.52/1784.00 c 1750s | 24 | 24696412 | 4277462 | 3493 2870 | 68 | 148 1785.52/1786.02 c 1752s | 24 | 24723963 | 4282262 | 3493 2872 | 68 | 148 1787.52/1788.04 c 1754s | 24 | 24749091 | 4287262 | 3493 2875 | 68 | 148 1789.52/1790.05 c 1756s | 24 | 24774091 | 4292062 | 3493 2878 | 68 | 148 1791.52/1792.06 c 1758s | 24 | 24802260 | 4297362 | 3493 2881 | 68 | 148 1793.52/1794.08 c 1760s | 24 | 24832254 | 4302562 | 3493 2884 | 68 | 148 1795.63/1796.10 c 1762s | 24 | 24864414 | 4307462 | 3493 2886 | 68 | 148 1797.62/1798.15 c 1764s | 24 | 24888906 | 4312462 | 3493 2889 | 68 | 148 1799.62/1800.17 c 1766s | 24 | 24914408 | 4317162 | 3493 2892 | 68 | 148
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-4079482-1465231988/watcher-4079482-1465231988 -o /tmp/evaluation-result-4079482-1465231988/solver-4079482-1465231988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079482-1465231988.opb pid=5766 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.01 2.04 2.01 3/179 5769 /proc/meminfo: memFree=30739892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=761276 CPUtime=0 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 2848 0 0 0 0 0 0 0 20 0 4 0 105133447 779546624 3208 33554432000 4194304 16246674 140733762590960 140733762590384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 190831 3216 441 2943 0 187725 0 [pid=5769/tid=5770] ppid=5766 vsize=778684 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 797372416 3277 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=783804 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 802615296 3295 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=787900 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 806809600 3311 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100125 s] /proc/loadavg: 2.01 2.04 2.01 3/179 5769 /proc/meminfo: memFree=30739892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 32397 0 0 0 4 5 0 0 20 0 4 0 105133447 1247350784 32744 33554432000 4194304 16246674 140733762590960 140733762590384 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 304529 32749 753 2943 0 301423 0 [pid=5769/tid=5770] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 32756 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 32761 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 32765 33554432000 4194304 16246674 140733762590960 140025329085616 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.200506 s] /proc/loadavg: 2.01 2.04 2.01 3/179 5769 /proc/meminfo: memFree=30739892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 54360 0 0 0 11 8 0 0 20 0 4 0 105133447 1247350784 54708 33554432000 4194304 16246674 140733762590960 140733762590384 6020769 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 304529 54716 785 2943 0 301423 0 [pid=5769/tid=5770] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 54720 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 54724 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 54725 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300476 s] /proc/loadavg: 2.01 2.04 2.01 3/179 5769 /proc/meminfo: memFree=30739892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 70741 0 0 0 19 10 0 0 20 0 4 0 105133447 1247350784 71088 33554432000 4194304 16246674 140733762590960 140733762573952 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 304529 71092 785 2943 0 301423 0 [pid=5769/tid=5770] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 71099 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 71104 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 71107 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1218116 [startup+0.700395 s] /proc/loadavg: 2.01 2.04 2.01 3/179 5769 /proc/meminfo: memFree=30739892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 137050 0 0 0 50 19 0 0 20 0 4 0 105133447 1247350784 137397 33554432000 4194304 16246674 140733762590960 140733762573952 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 304529 137406 786 2943 0 301423 0 [pid=5769/tid=5770] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 137410 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 137414 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1247350784 137417 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1218116 [startup+1.50045 s] /proc/loadavg: 2.01 2.04 2.01 3/183 5773 /proc/meminfo: memFree=29933556/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 219631 0 0 0 118 31 0 0 20 0 4 0 105133447 1250496512 219956 33554432000 4194304 16246674 140733762590960 140733762590176 5673957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 305297 219956 844 2943 0 302191 0 [pid=5769/tid=5770] ppid=5766 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1250496512 219956 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1250496512 219956 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1250496512 219956 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1221188 [startup+3.10045 s] /proc/loadavg: 2.01 2.04 2.01 3/183 5773 /proc/meminfo: memFree=29860892/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1303108 CPUtime=3.09 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 266690 0 0 0 270 39 0 0 20 0 4 0 105133447 1334382592 267015 33554432000 4194304 16246674 140733762590960 140733762572864 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 325777 267015 844 2943 0 322671 0 [pid=5769/tid=5770] ppid=5766 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1334382592 267015 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1334382592 267015 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1334382592 267015 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1303108 [startup+6.30045 s] /proc/loadavg: 2.01 2.04 2.01 3/183 5773 /proc/meminfo: memFree=29668940/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 267751 0 0 0 590 39 0 0 20 0 4 0 105133447 1338576896 268076 33554432000 4194304 16246674 140733762590960 140733762572864 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 326801 268076 844 2943 0 323695 0 [pid=5769/tid=5770] ppid=5766 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1338576896 268076 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1338576896 268076 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1338576896 268076 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1307204 [startup+12.7005 s] /proc/loadavg: 2.01 2.04 2.01 3/183 5773 /proc/meminfo: memFree=29667580/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1308228 CPUtime=12.68 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 267901 0 0 0 1228 40 0 0 20 0 4 0 105133447 1339625472 268226 33554432000 4194304 16246674 140733762590960 140733762573960 12478369 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 327057 268226 844 2943 0 323951 0 [pid=5769/tid=5770] ppid=5766 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1339625472 268226 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1339625472 268226 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1339625472 268226 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.01 2.03 2.01 3/183 5773 /proc/meminfo: memFree=29661692/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1313348 CPUtime=25.49 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 269427 0 0 0 2507 42 0 0 20 0 4 0 105133447 1344868352 269752 33554432000 4194304 16246674 140733762590960 140733762572864 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 328337 269752 847 2943 0 325231 0 [pid=5769/tid=5770] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269752 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269752 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269752 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.06 2.05 2.01 3/183 5773 /proc/meminfo: memFree=29660112/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1313348 CPUtime=51.08 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 269428 0 0 0 5065 43 0 0 20 0 4 0 105133447 1344868352 269753 33554432000 4194304 16246674 140733762590960 140733762573960 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 328337 269753 848 2943 0 325231 0 [pid=5769/tid=5770] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269753 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269753 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1344868352 269753 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1313348 [startup+102.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 5774 /proc/meminfo: memFree=29654868/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1318468 CPUtime=102.28 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 270708 0 0 0 10182 46 0 0 20 0 4 0 105133447 1350111232 271033 33554432000 4194304 16246674 140733762590960 140733762572864 5823455 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 329617 271033 848 2943 0 326511 0 [pid=5769/tid=5770] ppid=5766 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1350111232 271033 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1350111232 271033 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1350111232 271033 33554432000 4194304 16246674 140733762590960 140025329085616 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) 1318468 ################ # More data... # ################ /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274107 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 5976 /proc/meminfo: memFree=29667096/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1329732 CPUtime=1361.89 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 273881 0 0 0 136067 122 0 0 20 0 4 0 105133447 1361645568 274109 33554432000 4194304 16246674 140733762590960 140733762572864 5598476 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332433 274109 850 2943 0 329327 0 [pid=5769/tid=5770] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.11 2.06 2.01 3/183 5977 /proc/meminfo: memFree=29659756/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1329732 CPUtime=1421.88 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 273890 0 0 0 142062 126 0 0 20 0 4 0 105133447 1361645568 274109 33554432000 4194304 16246674 140733762590960 140733762573960 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332433 274109 850 2943 0 329327 0 [pid=5769/tid=5770] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.00 3/182 5978 /proc/meminfo: memFree=29659888/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1329732 CPUtime=1481.87 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 273890 0 0 0 148056 131 0 0 20 0 4 0 105133447 1361645568 274109 33554432000 4194304 16246674 140733762590960 140733762572864 5712619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332433 274109 850 2943 0 329327 0 [pid=5769/tid=5770] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1329732 [startup+1542.31 s] /proc/loadavg: 2.04 2.05 2.00 3/183 5980 /proc/meminfo: memFree=29659800/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1329732 CPUtime=1541.87 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 273890 0 0 0 154050 137 0 0 20 0 4 0 105133447 1361645568 274109 33554432000 4194304 16246674 140733762590960 140733762573960 6023422 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332433 274109 850 2943 0 329327 0 [pid=5769/tid=5770] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1329732 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1361645568 274109 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.08 2.06 2.00 3/183 5981 /proc/meminfo: memFree=29658440/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1601.85 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 160044 141 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762572864 6022864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.00 3/184 5985 /proc/meminfo: memFree=29627860/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1661.84 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 166040 144 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762573960 5712064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1330756 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 5986 /proc/meminfo: memFree=29627500/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1721.83 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 172035 148 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762572864 5677380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1330756 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.00 3/183 5987 /proc/meminfo: memFree=29626788/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1781.82 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 178029 153 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762572864 6020879 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1330756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5988 /proc/meminfo: memFree=29627172/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1800.02 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 179848 154 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762572864 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1330756 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 5769 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5988 /proc/meminfo: memFree=29627172/32872528 swapFree=11372/178980 [pid=5769] ppid=5766 vsize=1330756 CPUtime=1800.02 cores=0,2,4,6 /proc/5769/stat : 5769 (toysat) R 5766 5769 4590 0 -1 4202496 274146 0 0 0 179848 154 0 0 20 0 4 0 105133447 1362694144 274365 33554432000 4194304 16246674 140733762590960 140733762572864 13943668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5769/statm: 332689 274365 850 2943 0 329583 0 [pid=5769/tid=5770] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5770/stat : 5770 (toysat) S 5766 5769 4590 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025453849840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5769/tid=5771] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5771/stat : 5771 (toysat) S 5766 5769 4590 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025443359984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5769/tid=5772] ppid=5766 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/5769/task/5772/stat : 5772 (toysat) S 5766 5769 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105133448 1362694144 274365 33554432000 4194304 16246674 140733762590960 140025329085616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1330756 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1798.49 CPU system time (s): 1.54277 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1330756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.49 system time used= 1.54276 maximum resident set size= 1097460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274146 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= 377 involuntary context switches= 1846 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.82296 second user time and 8.96464 second system time The end
Begin job on node105 at 2016-06-06 18:53:08 IDJOB=4079482 IDBENCH=2051 IDSOLVER=2542 FILE ID=node105/4079482-1465231988 RUNJOBID= node105-1465220657-4606 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-clip.b.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079482-1465231988/watcher-4079482-1465231988 -o /tmp/evaluation-result-4079482-1465231988/solver-4079482-1465231988 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4606 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079482-1465231988.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b68d80e8ba1b8a702f9c691105ea9d4 RANDOM SEED=1011600769 node105.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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.62 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.813 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.56 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.813 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30740048 kB Buffers: 27508 kB Cached: 118700 kB SwapCached: 1756 kB Active: 1202428 kB Inactive: 50848 kB Active(anon): 1107848 kB Inactive(anon): 1504 kB Active(file): 94580 kB Inactive(file): 49344 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 1299372 kB Mapped: 10936 kB Shmem: 0 kB Slab: 568080 kB SReclaimable: 11776 kB SUnreclaim: 556304 kB KernelStack: 1520 kB PageTables: 6604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1429516 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 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= 71716 MiB End job on node105 at 2016-06-06 19:23:08