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.04 | 1800.43 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
| MD5SUM | c19adaf233257cdd6134391794b23c65 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.069988 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 3187 |
| Total number of constraints | 8922 |
| Number of constraints which are clauses | 8922 |
| 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 | 63 |
| Number of terms in the objective function | 1527 |
| 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 | 1527 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1527 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-06T23:53:49+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-4079845-1465250029.opb"] 0.00/0.01 c use --random-gen="2421130649 849036396 1764128910 1392433281 4008885164 1522128949 3281239090 1820133969 2613539007 139927087 3218327908 477715683 133850600 1493253379 180691929 65285137 176223940 2288144716 2817671265 1029549494 1700444651 404100327 4286214727 3836544412 1969831106 3582946668 3053789297 4052485731 2920450777 600938275 1018057070 200229137 438749007 3878963291 2467437085 712353671 1605304831 2773622158 1614590261 4111406134 1163451666 3972776254 771790618 1897447850 6463448 620213584 981481521 1409414253 753053829 3853372911 1333423130 2483819033 1228207018 132612128 1587200597 3024711543 2123353197 1771375710 3323479060 2505417084 2401229687 2529698887 2511285864 1832095256 3367842314 946884667 1202206587 2330877410 3234258198 1366059992 578457672 3395910177 1375851265 1708614507 2293645589 2181132091 2370420216 4252221997 2931389696 2048825559 3040066578 50098017 1740176396 1834282464 3151055428 3610285648 511076316 1052743486 2024776953 3397690618 2264104364 3770521938 1683290855 2340781149 1735586080 1959836237 3776427649 3978847091 1262520298 3496156758 2358936114 2760458338 1729601093 2893494588 3462610843 3301910128 2309412761 3221302213 1623441085 2933950085 143120312 1281041702 1855899944 1606896849 3912194713 3683615891 1316892244 1825746773 3206999841 2454518346 1619737249 2172080879 3775808979 435421967 998292021 3854645628 677532642 1035803632 3721607335 3576392581 2800024752 844015909 2180657319 4286725953 1033263617 3104795520 3524661536 269950565 362199011 1161298188 50907403 958489835 1435072139 2617565793 4158269246 3282637164 101034711 2604621163 4225575659 1270415776 318500577 3000975842 1337802357 1951862028 1247476351 1746031647 3128906591 2326020168 348121446 3131280126 668449834 357891170 1379837838 1439767083 440730468 844108254 2805117104 1224683929 3233654905 291280663 1292088940 1553949347 1300930296 1851928628 392387413 1970874560 2267022812 593522741 3907421538 4289873780 2474211017 3437013258 1283822680 2303953327 1483951153 4236112081 1835211705 1768550788 33651600 3052340297 2959156389 3060816490 3514277273 868762507 2166251512 4100832544 3599929017 1217692947 2480645102 2508388081 2523112319 2037529920 1745165211 4132458411 324127665 4054166141 2019359108 1591770155 3557228137 2037334798 807764868 1229810516 3187915614 2611922910 2966880084 2727045786 3170990355 121159262 1864022694 1422355086 4205196852 3813554512 1968601415 1356718068 1260598337 2501726915 732254043 3362708349 1162361726 4259868580 2764188125 4002995486 2816857803 4269395990 3104845708 833509443 3576709734 2206674403 2625437391 2034967813 573431059 1072476974 3014973048 220083367 30623693 698033871 4147150166 2457471031 3864804471 3619096787 771149222 3725625534 234697661 4002621189 2036312861 2625428348 255 362436" option to reproduce the execution 0.00/0.07 c #vars 3187 0.00/0.07 c #constraints 8922 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 0 0.18/0.20 c 0.0s | 0 | 1039 | 0 | 4005 0 | 186 | 402 0.18/0.20 c #cpu_time = 0.017s 0.18/0.20 c #wall_clock_time = 0.017s 0.18/0.20 c #decision = 1039 0.18/0.20 c #random_decision = 4 0.18/0.20 c #conflict = 0 0.18/0.20 c #restart = 0 0.18/0.20 o 1038 0.18/0.20 c BCD2: updating upper bound: 1527 -> 1037 0.18/0.22 c BCD2: 0 <= obj <= 1037 0.18/0.22 c BCD2: #cores=0, #unrelaxed=1527, #relaxed=0, #hardened=0 0.18/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.18/0.22 c Solving starts ... 0.18/0.22 c ============================[ Search Statistics ]============================ 0.18/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.22 c | | | | Limit GC | Var | Constra 0.18/0.22 c ============================================================================= 0.18/0.22 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 402 0.18/0.23 c 0.0s | 0 | 4 | 0 | 4005 0 | 186 | 402 0.18/0.23 c #cpu_time = 0.005s 0.18/0.23 c #wall_clock_time = 0.005s 0.18/0.23 c #decision = 4 0.18/0.23 c #random_decision = 0 0.18/0.23 c #conflict = 0 0.18/0.23 c #restart = 0 0.18/0.23 c BCD2: found a new core of size 3: cost of the new core is >=1 0.18/0.23 c lower bound updated to 1 0.18/0.23 c BCD2: 1 <= obj <= 1037 0.18/0.23 c BCD2: #cores=1, #unrelaxed=1524, #relaxed=3, #hardened=0 0.18/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.18/0.23 c Solving starts ... 0.18/0.23 c ============================[ Search Statistics ]============================ 0.18/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.23 c | | | | Limit GC | Var | Constra 0.18/0.23 c ============================================================================= 0.18/0.23 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 402 0.18/0.24 c 0.0s | 0 | 8 | 0 | 4005 0 | 186 | 402 0.18/0.24 c #cpu_time = 0.005s 0.18/0.24 c #wall_clock_time = 0.005s 0.18/0.24 c #decision = 8 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 3: cost of the new core is >=1 0.18/0.24 c lower bound updated to 2 0.18/0.24 c BCD2: 2 <= obj <= 1037 0.18/0.24 c BCD2: #cores=2, #unrelaxed=1521, #relaxed=6, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=3 bias=3/4 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 402 0.18/0.24 c 0.0s | 0 | 12 | 0 | 4005 0 | 186 | 402 0.18/0.24 c #cpu_time = 0.005s 0.18/0.24 c #wall_clock_time = 0.005s 0.18/0.24 c #decision = 12 0.18/0.24 c #random_decision = 0 0.18/0.24 c #conflict = 0 0.18/0.24 c #restart = 0 0.18/0.24 c BCD2: found a new core of size 9: cost of the new core is >=1 0.18/0.24 c lower bound updated to 3 0.18/0.24 c BCD2: 3 <= obj <= 1037 0.18/0.24 c BCD2: #cores=3, #unrelaxed=1512, #relaxed=15, #hardened=0 0.18/0.24 c BCD2: #sat=1 #unsat=4 bias=4/5 0.18/0.24 c Solving starts ... 0.18/0.24 c ============================[ Search Statistics ]============================ 0.18/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.24 c | | | | Limit GC | Var | Constra 0.18/0.24 c ============================================================================= 0.18/0.24 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 402 0.18/0.25 c 0.0s | 0 | 9 | 0 | 4005 0 | 186 | 402 0.18/0.25 c #cpu_time = 0.005s 0.18/0.25 c #wall_clock_time = 0.005s 0.18/0.25 c #decision = 9 0.18/0.25 c #random_decision = 0 0.18/0.25 c #conflict = 0 0.18/0.25 c #restart = 0 0.18/0.25 c BCD2: found a new core of size 2: cost of the new core is >=1 0.18/0.25 c lower bound updated to 4 0.18/0.25 c BCD2: 4 <= obj <= 1037 0.18/0.25 c BCD2: #cores=4, #unrelaxed=1510, #relaxed=17, #hardened=0 0.18/0.25 c BCD2: #sat=1 #unsat=5 bias=5/6 0.18/0.25 c Solving starts ... 0.18/0.25 c ============================[ Search Statistics ]============================ 0.18/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.25 c | | | | Limit GC | Var | Constra 0.18/0.25 c ============================================================================= 0.18/0.25 c 0.0s | 0 | 0 | 0 | 4005 0 | 186 | 402 0.18/0.26 c 0.0s | 0 | 333 | 0 | 4005 0 | 186 | 402 0.18/0.26 c #cpu_time = 0.007s 0.18/0.26 c #wall_clock_time = 0.007s 0.18/0.26 c #decision = 333 0.18/0.26 c #random_decision = 0 0.18/0.26 c #conflict = 0 0.18/0.26 c #restart = 0 0.18/0.26 c BCD2: relaxing 10 and merging with 1 cores into a new core of size 12: cost of the new core is >=2 0.18/0.26 c lower bound updated to 5 0.18/0.26 c BCD2: 5 <= obj <= 1037 0.18/0.26 c BCD2: #cores=4, #unrelaxed=1500, #relaxed=27, #hardened=0 0.18/0.26 c BCD2: #sat=1 #unsat=6 bias=6/7 0.18/0.26 c Solving starts ... 0.18/0.26 c ============================[ Search Statistics ]============================ 0.18/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.18/0.26 c | | | | Limit GC | Var | Constra 0.18/0.26 c ============================================================================= 0.18/0.27 c 0.0s | 0 | 0 | 0 | 4005 0 | 187 | 402 0.18/0.27 c 0.0s | 0 | 403 | 0 | 4005 0 | 187 | 403 0.18/0.27 c #cpu_time = 0.004s 0.18/0.27 c #wall_clock_time = 0.004s 0.18/0.27 c #decision = 403 0.18/0.27 c #random_decision = 0 0.18/0.27 c #conflict = 0 0.29/0.57 c #restart = 0 0.29/0.57 c BCD2: relaxing 90 and merging with 1 cores into a new core of size 93: cost of the new core is >=2 0.29/0.57 c lower bound updated to 6 0.29/0.57 c BCD2: 6 <= obj <= 1037 0.29/0.57 c BCD2: #cores=4, #unrelaxed=1410, #relaxed=117, #hardened=0 0.29/0.57 c BCD2: #sat=1 #unsat=7 bias=7/8 0.29/0.57 c Solving starts ... 0.29/0.57 c ============================[ Search Statistics ]============================ 0.29/0.57 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.57 c | | | | Limit GC | Var | Constra 0.29/0.57 c ============================================================================= 0.29/0.57 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 403 0.29/0.57 c 0.0s | 0 | 491 | 0 | 4005 0 | 188 | 404 0.29/0.57 c #cpu_time = 0.005s 0.29/0.57 c #wall_clock_time = 0.005s 0.29/0.57 c #decision = 491 0.29/0.57 c #random_decision = 0 0.29/0.57 c #conflict = 0 0.29/0.57 c #restart = 0 0.29/0.57 c BCD2: found a new core of size 33: cost of the new core is >=1 0.29/0.57 c lower bound updated to 7 0.29/0.57 c BCD2: 7 <= obj <= 1037 0.29/0.57 c BCD2: #cores=5, #unrelaxed=1377, #relaxed=150, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=8 bias=8/9 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 561 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.004s 0.29/0.58 c #wall_clock_time = 0.004s 0.29/0.58 c #decision = 561 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.58 c lower bound updated to 8 0.29/0.58 c BCD2: 8 <= obj <= 1037 0.29/0.58 c BCD2: #cores=6, #unrelaxed=1350, #relaxed=177, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=9 bias=9/10 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 575 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.004s 0.29/0.58 c #wall_clock_time = 0.004s 0.29/0.58 c #decision = 575 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 33: cost of the new core is >=1 0.29/0.58 c lower bound updated to 9 0.29/0.58 c BCD2: 9 <= obj <= 1037 0.29/0.58 c BCD2: #cores=7, #unrelaxed=1317, #relaxed=210, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=10 bias=10/11 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 627 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 627 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 69: cost of the new core is >=1 0.29/0.58 c lower bound updated to 10 0.29/0.58 c BCD2: 10 <= obj <= 1037 0.29/0.58 c BCD2: #cores=8, #unrelaxed=1248, #relaxed=279, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=11 bias=11/12 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 642 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.006s 0.29/0.58 c #wall_clock_time = 0.006s 0.29/0.58 c #decision = 642 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 33: cost of the new core is >=1 0.29/0.58 c lower bound updated to 11 0.29/0.58 c BCD2: 11 <= obj <= 1037 0.29/0.58 c BCD2: #cores=9, #unrelaxed=1215, #relaxed=312, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=12 bias=12/13 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 726 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.007s 0.29/0.58 c #wall_clock_time = 0.007s 0.29/0.58 c #decision = 726 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.58 c lower bound updated to 12 0.29/0.58 c BCD2: 12 <= obj <= 1037 0.29/0.58 c BCD2: #cores=10, #unrelaxed=1188, #relaxed=339, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=13 bias=13/14 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 732 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.004s 0.29/0.58 c #wall_clock_time = 0.004s 0.29/0.58 c #decision = 732 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.58 c lower bound updated to 13 0.29/0.58 c BCD2: 13 <= obj <= 1037 0.29/0.58 c BCD2: #cores=11, #unrelaxed=1161, #relaxed=366, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=14 bias=14/15 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 728 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 728 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 21: cost of the new core is >=1 0.29/0.58 c lower bound updated to 14 0.29/0.58 c BCD2: 14 <= obj <= 1037 0.29/0.58 c BCD2: #cores=12, #unrelaxed=1140, #relaxed=387, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=15 bias=15/16 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 711 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.004s 0.29/0.58 c #wall_clock_time = 0.004s 0.29/0.58 c #decision = 711 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 3: cost of the new core is >=1 0.29/0.58 c lower bound updated to 15 0.29/0.58 c BCD2: 15 <= obj <= 1037 0.29/0.58 c BCD2: #cores=13, #unrelaxed=1137, #relaxed=390, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=16 bias=16/17 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 760 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 760 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 39: cost of the new core is >=1 0.29/0.58 c lower bound updated to 16 0.29/0.58 c BCD2: 16 <= obj <= 1037 0.29/0.58 c BCD2: #cores=14, #unrelaxed=1098, #relaxed=429, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=17 bias=17/18 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 784 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 784 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 47: cost of the new core is >=1 0.29/0.58 c lower bound updated to 17 0.29/0.58 c BCD2: 17 <= obj <= 1037 0.29/0.58 c BCD2: #cores=15, #unrelaxed=1051, #relaxed=476, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=18 bias=18/19 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 800 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 800 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 55: cost of the new core is >=1 0.29/0.58 c lower bound updated to 18 0.29/0.58 c BCD2: 18 <= obj <= 1037 0.29/0.58 c BCD2: #cores=16, #unrelaxed=996, #relaxed=531, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=19 bias=19/20 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 885 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 885 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 47: cost of the new core is >=1 0.29/0.58 c lower bound updated to 19 0.29/0.58 c BCD2: 19 <= obj <= 1037 0.29/0.58 c BCD2: #cores=17, #unrelaxed=949, #relaxed=578, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=20 bias=20/21 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 872 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.005s 0.29/0.58 c #wall_clock_time = 0.005s 0.29/0.58 c #decision = 872 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 c BCD2: found a new core of size 27: cost of the new core is >=1 0.29/0.58 c lower bound updated to 20 0.29/0.58 c BCD2: 20 <= obj <= 1037 0.29/0.58 c BCD2: #cores=18, #unrelaxed=922, #relaxed=605, #hardened=0 0.29/0.58 c BCD2: #sat=1 #unsat=21 bias=21/22 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 404 0.29/0.58 c 0.0s | 0 | 1338 | 0 | 4005 0 | 188 | 404 0.29/0.58 c #cpu_time = 0.007s 0.29/0.58 c #wall_clock_time = 0.007s 0.29/0.58 c #decision = 1338 0.29/0.58 c #random_decision = 1 0.29/0.58 c #conflict = 0 0.29/0.58 c #restart = 0 0.29/0.58 o 40 0.29/0.58 c BCD2: updating upper bound: 1037 -> 39 0.29/0.58 c BCD2: 20 <= obj <= 39 0.29/0.58 c BCD2: #cores=18, #unrelaxed=922, #relaxed=605, #hardened=0 0.29/0.58 c BCD2: #sat=2 #unsat=21 bias=21/23 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 405 0.29/0.58 c 0.0s | 0 | 2207 | 74 | 4005 0 | 188 | 405 0.29/0.58 c #cpu_time = 0.033s 0.29/0.58 c #wall_clock_time = 0.033s 0.29/0.58 c #decision = 2207 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 74 0.29/0.58 c #restart = 0 0.29/0.58 o 32 0.29/0.58 c BCD2: updating upper bound: 39 -> 31 0.29/0.58 c BCD2: 20 <= obj <= 31 0.29/0.58 c BCD2: #cores=18, #unrelaxed=922, #relaxed=605, #hardened=0 0.29/0.58 c BCD2: #sat=3 #unsat=21 bias=21/24 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4005 0 | 188 | 406 0.29/0.58 c 0.0s | 0 | 1600 | 96 | 4406 0 | 188 | 406 0.29/0.58 c #cpu_time = 0.035s 0.29/0.58 c #wall_clock_time = 0.035s 0.29/0.58 c #decision = 1600 0.29/0.58 c #random_decision = 0 0.29/0.58 c #conflict = 96 0.29/0.58 c #restart = 0 0.29/0.58 o 28 0.29/0.58 c BCD2: updating upper bound: 31 -> 27 0.29/0.58 c BCD2: 20 <= obj <= 27 0.29/0.58 c BCD2: #cores=18, #unrelaxed=922, #relaxed=605, #hardened=0 0.29/0.58 c BCD2: #sat=4 #unsat=21 bias=21/25 0.29/0.58 c Solving starts ... 0.29/0.58 c ============================[ Search Statistics ]============================ 0.29/0.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.58 c | | | | Limit GC | Var | Constra 0.29/0.58 c ============================================================================= 0.29/0.58 c 0.0s | 0 | 0 | 0 | 4406 0 | 188 | 407 0.29/0.58 c 0.1s | 1 | 4819 | 100 | 4847 0 | 188 | 407 0.29/0.60 c 0.1s | 1 | 6209 | 179 | 4847 0 | 188 | 407 0.29/0.60 c #cpu_time = 0.116s 0.29/0.60 c #wall_clock_time = 0.116s 0.29/0.60 c #decision = 6209 0.29/0.60 c #random_decision = 0 0.29/0.60 c #conflict = 179 0.29/0.60 c #restart = 1 0.29/0.60 c BCD2: relaxing 125 and merging with 13 cores into a new core of size 621: cost of the new core is >=16 0.29/0.60 c lower bound updated to 21 0.29/0.60 c BCD2: 21 <= obj <= 27 0.29/0.60 c BCD2: #cores=6, #unrelaxed=797, #relaxed=730, #hardened=0 0.29/0.60 c BCD2: #sat=4 #unsat=22 bias=22/26 0.29/0.60 c Solving starts ... 0.29/0.60 c ============================[ Search Statistics ]============================ 0.29/0.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.60 c | | | | Limit GC | Var | Constra 0.29/0.60 c ============================================================================= 0.29/0.60 c 0.0s | 0 | 0 | 0 | 4847 0 | 237 | 407 0.66/0.68 c 0.1s | 1 | 1162 | 100 | 4847 0 | 237 | 492 0.69/0.79 c 0.2s | 2 | 2650 | 250 | 5332 0 | 237 | 492 0.99/1.03 c 0.4s | 3 | 6359 | 475 | 5866 0 | 237 | 492 1.29/1.40 c 0.8s | 4 | 9378 | 813 | 5866 0 | 237 | 492 1.79/1.87 c 1.3s | 5 | 12510 | 1320 | 6453 0 | 237 | 492 2.59/2.69 c 2.1s | 6 | 18960 | 2081 | 7099 0 | 237 | 492 3.60/3.67 c 3.1s | 7 | 28893 | 3223 | 7809 0 | 237 | 492 5.19/5.23 c 4.6s | 8 | 43739 | 4936 | 8590 0 | 237 | 492 7.19/7.25 c 6.6s | 8 | 60811 | 7136 | 9449 0 | 237 | 492 7.59/7.64 c 7.0s | 9 | 63110 | 7506 | 9449 0 | 237 | 492 9.59/9.69 c 9.1s | 9 | 79567 | 9506 | 9449 0 | 237 | 492 11.69/11.75 c 11.1s | 9 | 94112 | 11306 | 10394 0 | 237 | 492 11.79/11.82 c 11.2s | 10 | 94889 | 11361 | 10394 0 | 237 | 492 13.79/13.82 c 13.2s | 10 | 110341 | 13361 | 10394 1 | 237 | 492 15.79/15.84 c 15.2s | 10 | 125430 | 15261 | 10394 1 | 237 | 492 17.79/17.89 c 17.3s | 10 | 135344 | 16861 | 11434 1 | 237 | 492 18.29/18.30 c 17.7s | 11 | 137790 | 17144 | 11434 1 | 237 | 492 20.29/20.39 c 19.8s | 11 | 148024 | 18744 | 11434 1 | 237 | 492 22.39/22.44 c 21.8s | 11 | 157849 | 20444 | 11434 2 | 237 | 492 24.39/24.44 c 23.8s | 11 | 175382 | 22444 | 11434 2 | 237 | 492 26.38/26.47 c 25.9s | 11 | 191953 | 24344 | 11434 2 | 237 | 492 27.88/27.95 c 27.3s | 12 | 202106 | 25819 | 12578 2 | 237 | 492 29.89/29.97 c 29.4s | 12 | 218970 | 27719 | 12578 3 | 237 | 492 31.88/31.98 c 31.4s | 12 | 233602 | 29619 | 12578 3 | 237 | 492 33.98/34.09 c 33.5s | 12 | 249160 | 31419 | 12578 3 | 237 | 492 36.08/36.18 c 35.6s | 12 | 264237 | 33319 | 12578 3 | 237 | 492 38.19/38.22 c 37.6s | 12 | 278110 | 35019 | 12578 4 | 237 | 492 40.29/40.33 c 39.7s | 12 | 292328 | 37119 | 12578 4 | 237 | 492 42.19/42.25 c 41.6s | 13 | 304899 | 38832 | 13836 4 | 237 | 492 44.19/44.28 c 43.7s | 13 | 319627 | 40532 | 13836 4 | 237 | 492 46.29/46.31 c 45.7s | 13 | 331996 | 42032 | 13836 4 | 237 | 492 48.28/48.36 c 47.8s | 13 | 345681 | 43732 | 13836 5 | 237 | 492 50.28/50.38 c 49.8s | 13 | 360249 | 45532 | 13836 5 | 237 | 492 52.38/52.44 c 51.8s | 13 | 372715 | 47332 | 13836 5 | 237 | 492 54.48/54.53 c 53.9s | 13 | 383159 | 48832 | 13836 5 | 237 | 492 56.48/56.53 c 55.9s | 13 | 393104 | 50332 | 13836 6 | 237 | 492 58.49/58.60 c 58.0s | 13 | 408675 | 52232 | 13836 6 | 237 | 492 60.69/60.71 c 60.1s | 13 | 423009 | 54032 | 13836 6 | 237 | 492 62.78/62.80 c 62.2s | 13 | 435749 | 55732 | 13836 6 | 237 | 492 64.78/64.86 c 64.3s | 13 | 447563 | 57332 | 13836 6 | 237 | 492 66.19/66.23 c 65.6s | 14 | 456423 | 58352 | 15220 6 | 237 | 492 68.18/68.28 c 67.7s | 14 | 468062 | 60052 | 15220 7 | 237 | 492 70.18/70.29 c 69.7s | 14 | 481219 | 62052 | 15220 7 | 237 | 492 72.28/72.38 c 71.8s | 14 | 493272 | 63952 | 15220 7 | 237 | 492 74.38/74.40 c 73.8s | 14 | 504163 | 65552 | 15220 7 | 237 | 492 76.38/76.44 c 75.8s | 14 | 516554 | 67052 | 15220 7 | 237 | 492 78.48/78.56 c 78.0s | 14 | 530112 | 68752 | 15220 8 | 237 | 492 80.59/80.65 c 80.0s | 14 | 543498 | 70452 | 15220 8 | 237 | 492 82.58/82.67 c 82.1s | 14 | 556792 | 72152 | 15220 8 | 237 | 492 84.68/84.72 c 84.1s | 14 | 570528 | 73852 | 15220 8 | 237 | 492 86.78/86.81 c 86.2s | 14 | 583254 | 75652 | 15220 8 | 237 | 492 88.78/88.83 c 88.2s | 14 | 596862 | 77452 | 15220 9 | 237 | 492 90.78/90.86 c 90.3s | 14 | 611682 | 79352 | 15220 9 | 237 | 492 92.78/92.88 c 92.3s | 14 | 626750 | 81152 | 15220 9 | 237 | 492 94.98/95.01 c 94.4s | 14 | 641494 | 82852 | 15220 9 | 237 | 492 97.08/97.12 c 96.5s | 14 | 654378 | 84552 | 15220 9 | 237 | 492 99.08/99.14 c 98.5s | 14 | 669329 | 86352 | 15220 10 | 237 | 492 100.58/100.62 c 100s | 15 | 678629 | 87632 | 16742 10 | 237 | 492 103.37/103.48 c 102s | 15 | 692440 | 89332 | 16742 10 | 237 | 492 105.47/105.58 c 104s | 15 | 705525 | 91232 | 16742 10 | 237 | 492 107.57/107.63 c 107s | 15 | 721033 | 93332 | 16742 10 | 237 | 492 109.57/109.66 c 109s | 15 | 734465 | 95332 | 16742 11 | 237 | 492 111.57/111.66 c 111s | 15 | 745741 | 97232 | 16742 11 | 237 | 492 113.67/113.75 c 113s | 15 | 756181 | 99032 | 16742 11 | 237 | 492 115.78/115.84 c 115s | 15 | 766052 | 100732 | 16742 11 | 237 | 492 117.77/117.86 c 117s | 15 | 777941 | 102432 | 16742 11 | 237 | 492 119.77/119.86 c 119s | 15 | 788257 | 104032 | 16742 12 | 237 | 492 121.77/121.89 c 121s | 15 | 800358 | 105632 | 16742 12 | 237 | 492 123.87/123.96 c 123s | 15 | 816167 | 107532 | 16742 12 | 237 | 492 125.97/126.06 c 125s | 15 | 832996 | 109432 | 16742 12 | 237 | 492 128.06/128.14 c 127s | 15 | 846930 | 111332 | 16742 12 | 237 | 492 130.07/130.14 c 129s | 15 | 861923 | 113232 | 16742 13 | 237 | 492 132.06/132.18 c 131s | 15 | 877754 | 115232 | 16742 13 | 237 | 492 134.16/134.29 c 133s | 15 | 893627 | 117232 | 16742 13 | 237 | 492 136.26/136.33 c 135s | 15 | 908651 | 119132 | 16742 13 | 237 | 492 138.36/138.45 c 137s | 15 | 923611 | 120932 | 16742 13 | 237 | 492 140.47/140.53 c 139s | 15 | 933937 | 122432 | 16742 13 | 237 | 492 142.47/142.57 c 141s | 15 | 943990 | 124132 | 16742 14 | 237 | 492 144.47/144.57 c 143s | 15 | 956025 | 125832 | 16742 14 | 237 | 492 146.58/146.68 c 146s | 15 | 967030 | 127532 | 16742 14 | 237 | 492 148.68/148.73 c 148s | 15 | 976560 | 129032 | 16742 14 | 237 | 492 150.77/150.82 c 150s | 15 | 989620 | 130832 | 18417 14 | 237 | 492 151.77/151.87 c 151s | 16 | 994623 | 131552 | 18417 14 | 237 | 492 153.87/153.94 c 153s | 16 | 1006224 | 133052 | 18417 14 | 237 | 492 155.97/156.04 c 155s | 16 | 1018140 | 134652 | 18417 15 | 237 | 492 157.97/158.08 c 157s | 16 | 1028441 | 136252 | 18417 15 | 237 | 492 160.07/160.15 c 159s | 16 | 1041113 | 137952 | 18417 15 | 237 | 492 162.07/162.19 c 161s | 16 | 1056933 | 139652 | 18417 15 | 237 | 492 164.17/164.23 c 163s | 16 | 1069241 | 141152 | 18417 15 | 237 | 492 166.17/166.25 c 165s | 16 | 1081407 | 142652 | 18417 15 | 237 | 492 168.27/168.34 c 167s | 16 | 1092768 | 144152 | 18417 16 | 237 | 492 170.37/170.46 c 169s | 16 | 1106771 | 145952 | 18417 16 | 237 | 492 172.36/172.48 c 171s | 16 | 1117330 | 147652 | 18417 16 | 237 | 492 174.56/174.60 c 174s | 16 | 1132474 | 149452 | 18417 16 | 237 | 492 176.56/176.62 c 176s | 16 | 1141374 | 150652 | 18417 16 | 237 | 492 178.66/178.71 c 178s | 16 | 1154089 | 152252 | 18417 16 | 237 | 492 180.67/180.77 c 180s | 16 | 1166758 | 153852 | 18417 16 | 237 | 492 182.66/182.79 c 182s | 16 | 1180381 | 155552 | 18417 17 | 237 | 492 184.76/184.84 c 184s | 16 | 1193122 | 157252 | 18417 17 | 237 | 492 186.86/186.93 c 186s | 16 | 1202526 | 158852 | 18417 17 | 237 | 492 188.86/188.98 c 188s | 16 | 1212521 | 160252 | 18417 17 | 237 | 492 190.96/191.01 c 190s | 16 | 1228773 | 162152 | 18417 17 | 237 | 492 192.96/193.07 c 192s | 16 | 1240737 | 163652 | 18417 17 | 237 | 492 195.06/195.13 c 194s | 16 | 1252579 | 165152 | 18417 18 | 237 | 492 197.17/197.23 c 196s | 16 | 1265932 | 166752 | 18417 18 | 237 | 492 199.16/199.29 c 198s | 16 | 1278143 | 168252 | 18417 18 | 237 | 492 201.16/201.29 c 200s | 16 | 1286964 | 169552 | 18417 18 | 237 | 492 203.26/203.34 c 202s | 16 | 1296497 | 171052 | 18417 18 | 237 | 492 205.36/205.45 c 204s | 16 | 1306302 | 172452 | 18417 18 | 237 | 492 207.56/207.61 c 207s | 16 | 1314764 | 173852 | 18417 18 | 237 | 492 209.66/209.71 c 209s | 16 | 1324408 | 175352 | 18417 19 | 237 | 492 211.76/211.82 c 211s | 16 | 1337147 | 177052 | 18417 19 | 237 | 492 213.76/213.84 c 213s | 16 | 1349557 | 178752 | 18417 19 | 237 | 492 215.86/215.92 c 215s | 16 | 1360836 | 180352 | 18417 19 | 237 | 492 217.86/218.00 c 217s | 16 | 1372479 | 181952 | 18417 19 | 237 | 492 219.96/220.06 c 219s | 16 | 1384840 | 183552 | 18417 19 | 237 | 492 221.96/222.07 c 221s | 16 | 1395740 | 185052 | 18417 20 | 237 | 492 224.05/224.13 c 223s | 16 | 1408162 | 186752 | 18417 20 | 237 | 492 226.05/226.15 c 225s | 16 | 1420100 | 188252 | 18417 20 | 237 | 492 228.05/228.18 c 227s | 16 | 1429765 | 189852 | 18417 20 | 237 | 492 230.16/230.24 c 229s | 16 | 1440214 | 191352 | 18417 20 | 237 | 492 232.15/232.29 c 231s | 16 | 1448478 | 192752 | 18417 20 | 237 | 492 234.25/234.34 c 233s | 16 | 1459482 | 194352 | 18417 20 | 237 | 492 236.35/236.40 c 235s | 16 | 1472224 | 195952 | 20259 21 | 237 | 492 238.15/238.21 c 237s | 17 | 1481142 | 197432 | 20259 21 | 237 | 492 240.15/240.22 c 239s | 17 | 1493120 | 199032 | 20259 21 | 237 | 492 242.35/242.42 c 241s | 17 | 1495887 | 199432 | 20259 21 | 237 | 492 244.36/244.46 c 243s | 17 | 1506011 | 201332 | 20259 21 | 237 | 492 246.35/246.48 c 245s | 17 | 1516662 | 202732 | 20259 21 | 237 | 492 248.45/248.56 c 247s | 17 | 1529547 | 204432 | 20259 21 | 237 | 492 250.55/250.62 c 250s | 17 | 1540804 | 206032 | 20259 21 | 237 | 492 252.55/252.63 c 252s | 17 | 1552099 | 207732 | 20259 22 | 237 | 492 254.65/254.72 c 254s | 17 | 1564363 | 209532 | 20259 22 | 237 | 492 256.65/256.74 c 256s | 17 | 1576938 | 211332 | 20259 22 | 237 | 492 258.65/258.78 c 258s | 17 | 1587591 | 212932 | 20259 22 | 237 | 492 260.75/260.81 c 260s | 17 | 1597622 | 214532 | 20259 22 | 237 | 492 262.75/262.81 c 262s | 17 | 1610030 | 216132 | 20259 22 | 237 | 492 264.95/265.00 c 264s | 17 | 1619065 | 217632 | 20259 23 | 237 | 492 266.95/267.09 c 266s | 17 | 1627631 | 219132 | 20259 23 | 237 | 492 269.05/269.17 c 268s | 17 | 1638683 | 220832 | 20259 23 | 237 | 492 271.14/271.26 c 270s | 17 | 1650377 | 222632 | 20259 23 | 237 | 492 273.24/273.33 c 272s | 17 | 1657765 | 224332 | 20259 23 | 237 | 492 275.34/275.43 c 274s | 17 | 1667376 | 225732 | 20259 23 | 237 | 492 277.45/277.54 c 276s | 17 | 1678413 | 227332 | 20259 23 | 237 | 492 279.44/279.56 c 278s | 17 | 1687719 | 228732 | 20259 24 | 237 | 492 281.54/281.65 c 281s | 17 | 1700049 | 230432 | 20259 24 | 237 | 492 283.64/283.76 c 283s | 17 | 1712812 | 232232 | 20259 24 | 237 | 492 285.64/285.80 c 285s | 17 | 1723307 | 233832 | 20259 24 | 237 | 492 287.74/287.88 c 287s | 17 | 1735341 | 235332 | 20259 24 | 237 | 492 289.84/289.95 c 289s | 17 | 1746726 | 237032 | 20259 24 | 237 | 492 291.94/292.01 c 291s | 17 | 1757159 | 238532 | 20259 24 | 237 | 492 294.05/294.10 c 293s | 17 | 1764584 | 239832 | 20259 25 | 237 | 492 296.06/296.18 c 295s | 17 | 1774259 | 241632 | 20259 25 | 237 | 492 298.15/298.25 c 297s | 17 | 1785434 | 243232 | 20259 25 | 237 | 492 300.25/300.34 c 299s | 17 | 1797778 | 245032 | 20259 25 | 237 | 492 302.35/302.42 c 301s | 17 | 1807656 | 246632 | 20259 25 | 237 | 492 304.45/304.50 c 303s | 17 | 1816613 | 248132 | 20259 25 | 237 | 492 306.55/306.61 c 306s | 17 | 1826125 | 249732 | 20259 25 | 237 | 492 308.65/308.72 c 308s | 17 | 1834398 | 251232 | 20259 26 | 237 | 492 310.64/310.73 c 310s | 17 | 1845371 | 252932 | 20259 26 | 237 | 492 312.65/312.79 c 312s | 17 | 1856157 | 254732 | 20259 26 | 237 | 492 314.75/314.81 c 314s | 17 | 1865900 | 256332 | 20259 26 | 237 | 492 316.84/316.92 c 316s | 17 | 1876548 | 257932 | 20259 26 | 237 | 492 318.94/319.06 c 318s | 17 | 1886084 | 259432 | 20259 26 | 237 | 492 321.04/321.14 c 320s | 17 | 1895270 | 260932 | 20259 26 | 237 | 492 323.14/323.22 c 322s | 17 | 1902899 | 262232 | 20259 27 | 237 | 492 325.14/325.23 c 324s | 17 | 1915291 | 263932 | 20259 27 | 237 | 492 327.24/327.33 c 326s | 17 | 1926152 | 265532 | 20259 27 | 237 | 492 329.34/329.42 c 328s | 17 | 1936696 | 267032 | 20259 27 | 237 | 492 331.44/331.50 c 330s | 17 | 1947705 | 268532 | 20259 27 | 237 | 492 333.44/333.55 c 332s | 17 | 1954459 | 270132 | 20259 27 | 237 | 492 335.54/335.62 c 335s | 17 | 1963987 | 271732 | 20259 27 | 237 | 492 337.54/337.67 c 337s | 17 | 1974517 | 273132 | 20259 28 | 237 | 492 339.63/339.74 c 339s | 17 | 1986673 | 274932 | 20259 28 | 237 | 492 341.73/341.80 c 341s | 17 | 1995531 | 276632 | 20259 28 | 237 | 492 343.73/343.81 c 343s | 17 | 2006464 | 278232 | 20259 28 | 237 | 492 345.73/345.88 c 345s | 17 | 2017118 | 279832 | 20259 28 | 237 | 492 347.74/347.89 c 347s | 17 | 2028663 | 281432 | 20259 28 | 237 | 492 349.94/350.02 c 349s | 17 | 2040957 | 283232 | 20259 28 | 237 | 492 352.03/352.10 c 351s | 17 | 2054080 | 285032 | 20259 29 | 237 | 492 354.03/354.14 c 353s | 17 | 2065996 | 286732 | 20259 29 | 237 | 492 356.13/356.26 c 355s | 17 | 2076653 | 288432 | 20259 29 | 237 | 492 358.23/358.34 c 357s | 17 | 2085114 | 289832 | 20259 29 | 237 | 492 360.23/360.38 c 359s | 17 | 2097681 | 291632 | 20259 29 | 237 | 492 362.33/362.44 c 361s | 17 | 2109058 | 293032 | 20259 29 | 237 | 492 364.34/364.48 c 363s | 17 | 2118549 | 294432 | 22285 29 | 237 | 492 366.44/366.57 c 365s | 17 | 2127218 | 295932 | 22285 29 | 237 | 492 366.93/367.08 c 366s | 18 | 2129212 | 296252 | 22285 29 | 237 | 492 369.13/369.25 c 368s | 18 | 2131229 | 296452 | 22285 30 | 237 | 492 371.13/371.26 c 370s | 18 | 2140768 | 298052 | 22285 30 | 237 | 492 373.23/373.38 c 372s | 18 | 2152681 | 299752 | 22285 30 | 237 | 492 375.33/375.43 c 374s | 18 | 2164333 | 301452 | 22285 30 | 237 | 492 377.44/377.53 c 376s | 18 | 2174971 | 303052 | 22285 30 | 237 | 492 379.54/379.62 c 379s | 18 | 2184236 | 304652 | 22285 30 | 237 | 492 381.53/381.65 c 381s | 18 | 2197324 | 306452 | 22285 30 | 237 | 492 383.53/383.66 c 383s | 18 | 2207469 | 308052 | 22285 30 | 237 | 492 385.63/385.75 c 385s | 18 | 2219103 | 309652 | 22285 31 | 237 | 492 387.73/387.83 c 387s | 18 | 2234185 | 311552 | 22285 31 | 237 | 492 389.83/389.90 c 389s | 18 | 2246230 | 313452 | 22285 31 | 237 | 492 391.84/391.94 c 391s | 18 | 2258500 | 315152 | 22285 31 | 237 | 492 393.83/393.96 c 393s | 18 | 2268828 | 316652 | 22285 31 | 237 | 492 395.83/395.99 c 395s | 18 | 2279640 | 318152 | 22285 31 | 237 | 492 397.93/398.03 c 397s | 18 | 2291207 | 319852 | 22285 31 | 237 | 492 399.93/400.07 c 399s | 18 | 2299072 | 321452 | 22285 32 | 237 | 492 402.03/402.11 c 401s | 18 | 2311983 | 323352 | 22285 32 | 237 | 492 404.13/404.20 c 403s | 18 | 2322776 | 325252 | 22285 32 | 237 | 492 406.14/406.24 c 405s | 18 | 2335995 | 327052 | 22285 32 | 237 | 492 408.13/408.25 c 407s | 18 | 2345760 | 328752 | 22285 32 | 237 | 492 410.13/410.26 c 409s | 18 | 2357713 | 330452 | 22285 32 | 237 | 492 412.23/412.32 c 411s | 18 | 2369800 | 332152 | 22285 32 | 237 | 492 414.23/414.35 c 413s | 18 | 2380907 | 333852 | 22285 33 | 237 | 492 416.23/416.35 c 415s | 18 | 2393427 | 335552 | 22285 33 | 237 | 492 418.23/418.39 c 417s | 18 | 2405994 | 337252 | 22285 33 | 237 | 492 420.33/420.50 c 419s | 18 | 2415251 | 338552 | 22285 33 | 237 | 492 422.53/422.65 c 422s | 18 | 2425556 | 339952 | 22285 33 | 237 | 492 424.63/424.79 c 424s | 18 | 2435748 | 341352 | 22285 33 | 237 | 492 426.73/426.89 c 426s | 18 | 2445046 | 342752 | 22285 33 | 237 | 492 428.72/428.89 c 428s | 18 | 2453873 | 343952 | 22285 33 | 237 | 492 430.82/430.98 c 430s | 18 | 2461859 | 345252 | 22285 34 | 237 | 492 432.92/433.04 c 432s | 18 | 2476066 | 347052 | 22285 34 | 237 | 492 435.02/435.14 c 434s | 18 | 2487195 | 348652 | 22285 34 | 237 | 492 437.02/437.16 c 436s | 18 | 2497218 | 350252 | 22285 34 | 237 | 492 439.13/439.24 c 438s | 18 | 2510302 | 351852 | 22285 34 | 237 | 492 441.23/441.34 c 440s | 18 | 2522218 | 353452 | 22285 34 | 237 | 492 443.22/443.40 c 442s | 18 | 2531990 | 354852 | 22285 34 | 237 | 492 445.32/445.46 c 444s | 18 | 2542447 | 356152 | 22285 34 | 237 | 492 447.42/447.55 c 446s | 18 | 2553486 | 357652 | 22285 35 | 237 | 492 449.52/449.62 c 449s | 18 | 2566418 | 359352 | 22285 35 | 237 | 492 451.62/451.71 c 451s | 18 | 2579246 | 361152 | 22285 35 | 237 | 492 453.62/453.71 c 453s | 18 | 2590863 | 362752 | 22285 35 | 237 | 492 455.72/455.80 c 455s | 18 | 2602014 | 364452 | 22285 35 | 237 | 492 457.83/457.92 c 457s | 18 | 2614985 | 366252 | 22285 35 | 237 | 492 459.82/459.98 c 459s | 18 | 2627892 | 367952 | 22285 35 | 237 | 492 461.82/461.98 c 461s | 18 | 2637668 | 369352 | 22285 36 | 237 | 492 463.92/464.09 c 463s | 18 | 2650158 | 371052 | 22285 36 | 237 | 492 466.02/466.16 c 465s | 18 | 2662593 | 372752 | 22285 36 | 237 | 492 468.02/468.17 c 467s | 18 | 2676162 | 374452 | 22285 36 | 237 | 492 470.12/470.26 c 469s | 18 | 2686805 | 376052 | 22285 36 | 237 | 492 472.12/472.27 c 471s | 18 | 2697795 | 377552 | 22285 36 | 237 | 492 474.22/474.31 c 473s | 18 | 2708275 | 378952 | 22285 36 | 237 | 492 476.22/476.34 c 475s | 18 | 2718277 | 380552 | 22285 36 | 237 | 492 478.32/478.47 c 477s | 18 | 2727745 | 382152 | 22285 37 | 237 | 492 480.42/480.55 c 479s | 18 | 2741786 | 384052 | 22285 37 | 237 | 492 482.51/482.68 c 482s | 18 | 2754005 | 386052 | 22285 37 | 237 | 492 484.61/484.73 c 484s | 18 | 2767109 | 387952 | 22285 37 | 237 | 492 486.61/486.76 c 486s | 18 | 2782803 | 389752 | 22285 37 | 237 | 492 488.71/488.84 c 488s | 18 | 2797491 | 391652 | 22285 37 | 237 | 492 490.72/490.90 c 490s | 18 | 2810164 | 393352 | 22285 37 | 237 | 492 492.92/493.01 c 492s | 18 | 2824369 | 395152 | 22285 38 | 237 | 492 495.01/495.12 c 494s | 18 | 2834174 | 396552 | 22285 38 | 237 | 492 497.11/497.20 c 496s | 18 | 2842515 | 397852 | 22285 38 | 237 | 492 499.21/499.34 c 498s | 18 | 2853313 | 399252 | 22285 38 | 237 | 492 501.31/501.43 c 500s | 18 | 2862412 | 400552 | 22285 38 | 237 | 492 503.51/503.61 c 503s | 18 | 2871969 | 401852 | 22285 38 | 237 | 492 505.51/505.67 c 505s | 18 | 2879035 | 403052 | 22285 38 | 237 | 492 507.61/507.72 c 507s | 18 | 2886843 | 404252 | 22285 38 | 237 | 492 509.81/509.91 c 509s | 18 | 2895202 | 405452 | 22285 38 | 237 | 492 511.91/512.02 c 511s | 18 | 2903968 | 406952 | 22285 39 | 237 | 492 513.91/514.08 c 513s | 18 | 2912991 | 408452 | 22285 39 | 237 | 492 515.91/516.09 c 515s | 18 | 2923218 | 409952 | 22285 39 | 237 | 492 518.01/518.19 c 517s | 18 | 2934200 | 411452 | 22285 39 | 237 | 492 520.11/520.23 c 519s | 18 | 2942462 | 413052 | 22285 39 | 237 | 492 522.11/522.29 c 521s | 18 | 2951981 | 414652 | 22285 39 | 237 | 492 524.21/524.31 c 523s | 18 | 2962967 | 416152 | 22285 39 | 237 | 492 526.21/526.33 c 525s | 18 | 2972753 | 417552 | 22285 39 | 237 | 492 528.31/528.43 c 527s | 18 | 2984773 | 419252 | 22285 40 | 237 | 492 530.31/530.44 c 529s | 18 | 2994580 | 420952 | 22285 40 | 237 | 492 532.41/532.53 c 531s | 18 | 3005488 | 422752 | 22285 40 | 237 | 492 534.50/534.66 c 534s | 18 | 3015691 | 424452 | 22285 40 | 237 | 492 536.60/536.70 c 536s | 18 | 3025155 | 426052 | 22285 40 | 237 | 492 538.60/538.73 c 538s | 18 | 3037005 | 427752 | 22285 40 | 237 | 492 540.60/540.78 c 540s | 18 | 3046153 | 429352 | 22285 40 | 237 | 492 542.70/542.88 c 542s | 18 | 3060039 | 430952 | 22285 41 | 237 | 492 544.80/544.92 c 544s | 18 | 3071211 | 432652 | 22285 41 | 237 | 492 546.81/546.98 c 546s | 18 | 3081711 | 434252 | 22285 41 | 237 | 492 548.90/549.05 c 548s | 18 | 3093613 | 435952 | 22285 41 | 237 | 492 551.00/551.18 c 550s | 18 | 3102253 | 437552 | 22285 41 | 237 | 492 553.20/553.30 c 552s | 18 | 3112519 | 439152 | 22285 41 | 237 | 492 556.51/556.69 c 556s | 18 | 3118417 | 440052 | 22285 41 | 237 | 492 558.60/558.79 c 558s | 18 | 3131377 | 441652 | 24514 41 | 237 | 492 563.61/563.77 c 563s | 18 | 3140675 | 442952 | 24514 41 | 237 | 492 565.71/565.86 c 565s | 18 | 3152231 | 444352 | 24514 42 | 237 | 492 565.91/566.00 c 565s | 19 | 3153110 | 444482 | 24514 42 | 237 | 492 567.91/568.06 c 567s | 19 | 3166464 | 446182 | 24514 42 | 237 | 492 570.01/570.15 c 569s | 19 | 3179325 | 447682 | 24514 42 | 237 | 492 572.01/572.19 c 571s | 19 | 3195610 | 449482 | 24514 42 | 237 | 492 574.10/574.22 c 573s | 19 | 3206069 | 451082 | 24514 42 | 237 | 492 576.20/576.32 c 575s | 19 | 3220855 | 452782 | 24514 42 | 237 | 492 578.30/578.41 c 577s | 19 | 3234804 | 454482 | 24514 42 | 237 | 492 580.30/580.42 c 579s | 19 | 3245910 | 455882 | 24514 42 | 237 | 492 582.30/582.42 c 581s | 19 | 3258528 | 457182 | 24514 42 | 237 | 492 584.31/584.47 c 583s | 19 | 3269199 | 458682 | 24514 43 | 237 | 492 586.41/586.53 c 585s | 19 | 3280485 | 460382 | 24514 43 | 237 | 492 588.50/588.63 c 588s | 19 | 3294028 | 461982 | 24514 43 | 237 | 492 590.60/590.78 c 590s | 19 | 3304718 | 463482 | 24514 43 | 237 | 492 592.80/592.92 c 592s | 19 | 3318728 | 465082 | 24514 43 | 237 | 492 594.80/594.96 c 594s | 19 | 3332613 | 466582 | 24514 43 | 237 | 492 596.90/597.06 c 596s | 19 | 3344743 | 468182 | 24514 43 | 237 | 492 598.90/599.08 c 598s | 19 | 3356247 | 469682 | 24514 43 | 237 | 492 601.00/601.12 c 600s | 19 | 3365275 | 471082 | 24514 44 | 237 | 492 603.10/603.26 c 602s | 19 | 3378051 | 472782 | 24514 44 | 237 | 492 605.11/605.28 c 604s | 19 | 3390969 | 474382 | 24514 44 | 237 | 492 607.20/607.39 c 606s | 19 | 3403027 | 476082 | 24514 44 | 237 | 492 609.30/609.41 c 608s | 19 | 3414781 | 477682 | 24514 44 | 237 | 492 611.30/611.45 c 610s | 19 | 3427416 | 479282 | 24514 44 | 237 | 492 613.40/613.59 c 612s | 19 | 3439630 | 480882 | 24514 44 | 237 | 492 615.50/615.68 c 615s | 19 | 3452616 | 482482 | 24514 44 | 237 | 492 617.60/617.75 c 617s | 19 | 3464191 | 484082 | 24514 45 | 237 | 492 619.59/619.78 c 619s | 19 | 3476118 | 485982 | 24514 45 | 237 | 492 621.70/621.82 c 621s | 19 | 3490492 | 487782 | 24514 45 | 237 | 492 623.80/623.93 c 623s | 19 | 3497426 | 488682 | 24514 45 | 237 | 492 625.79/625.99 c 625s | 19 | 3511869 | 490482 | 24514 45 | 237 | 492 627.89/628.00 c 627s | 19 | 3524530 | 492282 | 24514 45 | 237 | 492 629.89/630.05 c 629s | 19 | 3538686 | 494082 | 24514 45 | 237 | 492 631.89/632.09 c 631s | 19 | 3551163 | 495782 | 24514 45 | 237 | 492 634.09/634.20 c 633s | 19 | 3563187 | 497382 | 24514 46 | 237 | 492 636.19/636.32 c 635s | 19 | 3575954 | 499182 | 24514 46 | 237 | 492 638.20/638.35 c 637s | 19 | 3586217 | 500882 | 24514 46 | 237 | 492 640.29/640.47 c 639s | 19 | 3599051 | 502682 | 24514 46 | 237 | 492 642.29/642.48 c 641s | 19 | 3609572 | 504382 | 24514 46 | 237 | 492 644.39/644.51 c 643s | 19 | 3619102 | 505882 | 24514 46 | 237 | 492 646.39/646.54 c 645s | 19 | 3629211 | 507482 | 24514 46 | 237 | 492 648.49/648.64 c 648s | 19 | 3641378 | 509082 | 24514 46 | 237 | 492 650.59/650.75 c 650s | 19 | 3652384 | 510482 | 24514 47 | 237 | 492 652.69/652.85 c 652s | 19 | 3665381 | 512182 | 24514 47 | 237 | 492 654.79/654.97 c 654s | 19 | 3679903 | 513982 | 24514 47 | 237 | 492 656.79/656.98 c 656s | 19 | 3696598 | 515782 | 24514 47 | 237 | 492 658.78/658.99 c 658s | 19 | 3712396 | 517582 | 24514 47 | 237 | 492 660.88/661.08 c 660s | 19 | 3721413 | 519182 | 24514 47 | 237 | 492 662.98/663.13 c 662s | 19 | 3731271 | 520582 | 24514 47 | 237 | 492 664.98/665.17 c 664s | 19 | 3743333 | 522182 | 24514 47 | 237 | 492 667.08/667.24 c 666s | 19 | 3754164 | 523882 | 24514 48 | 237 | 492 669.08/669.24 c 668s | 19 | 3766938 | 525682 | 24514 48 | 237 | 492 671.09/671.28 c 670s | 19 | 3780560 | 527482 | 24514 48 | 237 | 492 673.18/673.34 c 672s | 19 | 3789566 | 528982 | 24514 48 | 237 | 492 675.28/675.43 c 674s | 19 | 3800537 | 530482 | 24514 48 | 237 | 492 677.28/677.45 c 676s | 19 | 3811464 | 531882 | 24514 48 | 237 | 492 679.38/679.57 c 678s | 19 | 3820080 | 533282 | 24514 48 | 237 | 492 681.48/681.67 c 681s | 19 | 3826942 | 534582 | 24514 48 | 237 | 492 683.58/683.70 c 683s | 19 | 3836648 | 535982 | 24514 48 | 237 | 492 685.58/685.78 c 685s | 19 | 3847529 | 537382 | 24514 49 | 237 | 492 687.69/687.84 c 687s | 19 | 3855912 | 538882 | 24514 49 | 237 | 492 689.68/689.86 c 689s | 19 | 3866537 | 540382 | 24514 49 | 237 | 492 691.78/691.92 c 691s | 19 | 3877964 | 541982 | 24514 49 | 237 | 492 693.88/694.08 c 693s | 19 | 3889053 | 543582 | 24514 49 | 237 | 492 696.18/696.33 c 695s | 19 | 3899870 | 544982 | 24514 49 | 237 | 492 698.29/698.41 c 697s | 19 | 3909169 | 546282 | 24514 49 | 237 | 492 700.39/700.52 c 699s | 19 | 3920373 | 547782 | 24514 49 | 237 | 492 702.39/702.57 c 701s | 19 | 3933456 | 549382 | 24514 49 | 237 | 492 704.58/704.78 c 704s | 19 | 3937718 | 549882 | 24514 50 | 237 | 492 706.78/706.95 c 706s | 19 | 3944532 | 550782 | 24514 50 | 237 | 492 708.88/709.02 c 708s | 19 | 3960977 | 552882 | 24514 50 | 237 | 492 710.98/711.11 c 710s | 19 | 3974509 | 554782 | 24514 50 | 237 | 492 713.08/713.27 c 712s | 19 | 3984465 | 556482 | 24514 50 | 237 | 492 715.09/715.29 c 714s | 19 | 3993782 | 557982 | 24514 50 | 237 | 492 717.18/717.39 c 716s | 19 | 4005104 | 559682 | 24514 50 | 237 | 492 719.28/719.46 c 718s | 19 | 4015774 | 561282 | 24514 50 | 237 | 492 721.48/721.60 c 720s | 19 | 4027981 | 562982 | 24514 51 | 237 | 492 723.48/723.63 c 723s | 19 | 4038303 | 564382 | 24514 51 | 237 | 492 725.58/725.73 c 725s | 19 | 4050957 | 565982 | 24514 51 | 237 | 492 727.58/727.76 c 727s | 19 | 4062539 | 567582 | 24514 51 | 237 | 492 729.68/729.84 c 729s | 19 | 4076225 | 569182 | 24514 51 | 237 | 492 731.78/731.95 c 731s | 19 | 4085678 | 570682 | 24514 51 | 237 | 492 733.88/734.02 c 733s | 19 | 4096903 | 572082 | 24514 51 | 237 | 492 735.88/736.09 c 735s | 19 | 4107760 | 573782 | 24514 51 | 237 | 492 737.97/738.12 c 737s | 19 | 4120424 | 575482 | 24514 51 | 237 | 492 739.97/740.17 c 739s | 19 | 4131167 | 577082 | 24514 52 | 237 | 492 742.07/742.28 c 741s | 19 | 4143943 | 578782 | 24514 52 | 237 | 492 744.07/744.28 c 743s | 19 | 4152122 | 580082 | 24514 52 | 237 | 492 746.27/746.40 c 745s | 19 | 4163097 | 581582 | 24514 52 | 237 | 492 748.27/748.43 c 747s | 19 | 4173229 | 583082 | 24514 52 | 237 | 492 750.38/750.51 c 749s | 19 | 4187193 | 584782 | 24514 52 | 237 | 492 752.37/752.53 c 751s | 19 | 4196075 | 586182 | 24514 52 | 237 | 492 754.47/754.61 c 754s | 19 | 4205736 | 587682 | 24514 52 | 237 | 492 756.47/756.69 c 756s | 19 | 4217771 | 589182 | 24514 52 | 237 | 492 758.57/758.72 c 758s | 19 | 4229951 | 590682 | 24514 53 | 237 | 492 760.57/760.74 c 760s | 19 | 4242792 | 592382 | 24514 53 | 237 | 492 762.67/762.81 c 762s | 19 | 4255102 | 594082 | 24514 53 | 237 | 492 764.68/764.86 c 764s | 19 | 4268308 | 595782 | 24514 53 | 237 | 492 766.78/766.95 c 766s | 19 | 4278165 | 597382 | 24514 53 | 237 | 492 768.87/769.00 c 768s | 19 | 4290997 | 598982 | 24514 53 | 237 | 492 770.97/771.12 c 770s | 19 | 4304951 | 600682 | 24514 53 | 237 | 492 772.97/773.12 c 772s | 19 | 4315412 | 602182 | 24514 53 | 237 | 492 775.07/775.21 c 774s | 19 | 4323097 | 603182 | 24514 54 | 237 | 492 777.17/777.37 c 776s | 19 | 4328951 | 603982 | 24514 54 | 237 | 492 779.27/779.47 c 778s | 19 | 4341577 | 605982 | 24514 54 | 237 | 492 781.37/781.58 c 780s | 19 | 4355208 | 607882 | 24514 54 | 237 | 492 783.47/783.60 c 782s | 19 | 4366231 | 609482 | 24514 54 | 237 | 492 785.37/785.60 c 784s | 19 | 4376406 | 610982 | 24514 54 | 237 | 492 787.57/787.71 c 787s | 19 | 4386321 | 612482 | 24514 54 | 237 | 492 789.57/789.76 c 789s | 19 | 4399063 | 614082 | 24514 54 | 237 | 492 791.66/791.89 c 791s | 19 | 4410011 | 615482 | 24514 54 | 237 | 492 793.76/793.91 c 793s | 19 | 4420282 | 616882 | 24514 55 | 237 | 492 795.76/795.93 c 795s | 19 | 4430981 | 618582 | 24514 55 | 237 | 492 797.86/798.06 c 797s | 19 | 4440872 | 620182 | 24514 55 | 237 | 492 799.96/800.17 c 799s | 19 | 4455681 | 621982 | 24514 55 | 237 | 492 802.07/802.23 c 801s | 19 | 4466345 | 623582 | 24514 55 | 237 | 492 804.06/804.29 c 803s | 19 | 4476693 | 625182 | 24514 55 | 237 | 492 806.16/806.33 c 805s | 19 | 4488791 | 626682 | 24514 55 | 237 | 492 808.26/808.48 c 807s | 19 | 4499111 | 628282 | 24514 55 | 237 | 492 810.36/810.53 c 809s | 19 | 4510475 | 629882 | 24514 56 | 237 | 492 812.36/812.59 c 811s | 19 | 4520926 | 631682 | 24514 56 | 237 | 492 814.46/814.60 c 813s | 19 | 4529880 | 633282 | 24514 56 | 237 | 492 816.46/816.69 c 816s | 19 | 4541090 | 634982 | 24514 56 | 237 | 492 818.66/818.82 c 818s | 19 | 4550942 | 636582 | 24514 56 | 237 | 492 820.67/820.87 c 820s | 19 | 4560278 | 638182 | 24514 56 | 237 | 492 822.66/822.89 c 822s | 19 | 4570380 | 639682 | 24514 56 | 237 | 492 824.76/824.98 c 824s | 19 | 4584495 | 641282 | 24514 56 | 237 | 492 826.86/827.03 c 826s | 19 | 4593964 | 642782 | 24514 57 | 237 | 492 828.86/829.09 c 828s | 19 | 4605238 | 644482 | 24514 57 | 237 | 492 831.06/831.20 c 830s | 19 | 4616895 | 646082 | 24514 57 | 237 | 492 833.06/833.23 c 832s | 19 | 4628714 | 647682 | 24514 57 | 237 | 492 835.16/835.38 c 834s | 19 | 4636655 | 649082 | 24514 57 | 237 | 492 837.36/837.54 c 836s | 19 | 4645921 | 650582 | 24514 57 | 237 | 492 839.37/839.54 c 838s | 19 | 4657759 | 652082 | 24514 57 | 237 | 492 841.46/841.65 c 841s | 19 | 4660797 | 652582 | 24514 57 | 237 | 492 843.56/843.70 c 843s | 19 | 4668332 | 653882 | 24514 57 | 237 | 492 845.56/845.79 c 845s | 19 | 4679608 | 655482 | 24514 57 | 237 | 492 847.66/847.88 c 847s | 19 | 4688041 | 656882 | 24514 58 | 237 | 492 849.76/849.97 c 849s | 19 | 4700230 | 658382 | 24514 58 | 237 | 492 851.86/852.05 c 851s | 19 | 4714487 | 660182 | 24514 58 | 237 | 492 853.86/854.07 c 853s | 19 | 4728335 | 661882 | 26966 58 | 237 | 492 855.87/856.08 c 855s | 19 | 4739420 | 663382 | 26966 58 | 237 | 492 858.07/858.22 c 857s | 19 | 4748463 | 664882 | 26966 58 | 237 | 492 860.06/860.28 c 859s | 19 | 4757450 | 666282 | 26966 58 | 237 | 492 860.96/861.10 c 860s | 20 | 4760693 | 666827 | 26966 58 | 237 | 492 863.06/863.22 c 862s | 20 | 4767646 | 668027 | 26966 58 | 237 | 492 865.06/865.23 c 864s | 20 | 4776132 | 669427 | 26966 58 | 237 | 492 867.06/867.25 c 866s | 20 | 4783256 | 670727 | 26966 58 | 237 | 492 869.06/869.29 c 868s | 20 | 4792158 | 672127 | 26966 59 | 237 | 492 871.16/871.31 c 870s | 20 | 4802585 | 673627 | 26966 59 | 237 | 492 873.15/873.38 c 872s | 20 | 4810105 | 674627 | 26966 59 | 237 | 492 875.15/875.39 c 874s | 20 | 4818873 | 675927 | 26966 59 | 237 | 492 877.25/877.46 c 876s | 20 | 4827163 | 677327 | 26966 59 | 237 | 492 879.35/879.57 c 878s | 20 | 4836554 | 678827 | 26966 59 | 237 | 492 881.45/881.62 c 881s | 20 | 4845234 | 680227 | 26966 59 | 237 | 492 883.46/883.68 c 883s | 20 | 4855633 | 681727 | 26966 59 | 237 | 492 885.66/885.82 c 885s | 20 | 4863537 | 683127 | 26966 59 | 237 | 492 887.76/887.92 c 887s | 20 | 4871652 | 684427 | 26966 59 | 237 | 492 889.96/890.12 c 889s | 20 | 4879322 | 685827 | 26966 60 | 237 | 492 891.95/892.14 c 891s | 20 | 4888971 | 687327 | 26966 60 | 237 | 492 894.05/894.26 c 893s | 20 | 4900398 | 688927 | 26966 60 | 237 | 492 896.15/896.36 c 895s | 20 | 4911460 | 690427 | 26966 60 | 237 | 492 898.25/898.49 c 897s | 20 | 4922292 | 691927 | 26966 60 | 237 | 492 900.35/900.58 c 899s | 20 | 4930230 | 693427 | 26966 60 | 237 | 492 902.55/902.72 c 902s | 20 | 4942090 | 695027 | 26966 60 | 237 | 492 904.65/904.82 c 904s | 20 | 4949472 | 696527 | 26966 60 | 237 | 492 906.65/906.82 c 906s | 20 | 4958654 | 698027 | 26966 60 | 237 | 492 908.65/908.88 c 908s | 20 | 4969391 | 699427 | 26966 60 | 237 | 492 910.75/910.98 c 910s | 20 | 4980129 | 700927 | 26966 61 | 237 | 492 912.95/913.10 c 912s | 20 | 4990341 | 702627 | 26966 61 | 237 | 492 915.05/915.20 c 914s | 20 | 4999135 | 704227 | 26966 61 | 237 | 492 917.05/917.26 c 916s | 20 | 5009130 | 705827 | 26966 61 | 237 | 492 919.15/919.32 c 918s | 20 | 5018076 | 707327 | 26966 61 | 237 | 492 921.15/921.33 c 920s | 20 | 5030318 | 708927 | 26966 61 | 237 | 492 923.24/923.40 c 922s | 20 | 5039498 | 710327 | 26966 61 | 237 | 492 925.25/925.45 c 924s | 20 | 5049090 | 711727 | 26966 61 | 237 | 492 927.24/927.49 c 926s | 20 | 5059555 | 713227 | 26966 61 | 237 | 492 929.55/929.75 c 929s | 20 | 5072102 | 714727 | 26966 62 | 237 | 492 932.85/933.01 c 932s | 20 | 5082944 | 716327 | 26966 62 | 237 | 492 934.84/935.03 c 934s | 20 | 5087102 | 717027 | 26966 62 | 237 | 492 937.14/937.35 c 936s | 20 | 5092849 | 717927 | 26966 62 | 237 | 492 939.24/939.42 c 938s | 20 | 5105528 | 719727 | 26966 62 | 237 | 492 941.24/941.43 c 940s | 20 | 5119096 | 721527 | 26966 62 | 237 | 492 943.34/943.53 c 942s | 20 | 5130851 | 723327 | 26966 62 | 237 | 492 945.44/945.60 c 944s | 20 | 5139963 | 725027 | 26966 62 | 237 | 492 947.54/947.71 c 947s | 20 | 5150870 | 726627 | 26966 62 | 237 | 492 949.64/949.85 c 949s | 20 | 5159644 | 728127 | 26966 62 | 237 | 492 951.66/951.87 c 951s | 20 | 5168483 | 729527 | 26966 63 | 237 | 492 953.76/953.99 c 953s | 20 | 5179836 | 731127 | 26966 63 | 237 | 492 955.95/956.11 c 955s | 20 | 5192104 | 732727 | 26966 63 | 237 | 492 958.05/958.21 c 957s | 20 | 5200427 | 734127 | 26966 63 | 237 | 492 960.15/960.37 c 959s | 20 | 5208466 | 735627 | 26966 63 | 237 | 492 962.25/962.49 c 961s | 20 | 5220349 | 737227 | 26966 63 | 237 | 492 964.45/964.61 c 964s | 20 | 5231527 | 738827 | 26966 63 | 237 | 492 966.55/966.74 c 966s | 20 | 5242053 | 740327 | 26966 63 | 237 | 492 968.65/968.85 c 968s | 20 | 5254741 | 741727 | 26966 63 | 237 | 492 970.75/970.93 c 970s | 20 | 5264304 | 743027 | 26966 63 | 237 | 492 972.75/972.95 c 972s | 20 | 5274319 | 744127 | 26966 64 | 237 | 492 974.84/975.00 c 974s | 20 | 5288042 | 745727 | 26966 64 | 237 | 492 976.85/977.08 c 976s | 20 | 5299995 | 747327 | 26966 64 | 237 | 492 978.94/979.12 c 978s | 20 | 5313297 | 748927 | 26966 64 | 237 | 492 981.35/981.55 c 980s | 20 | 5321778 | 750327 | 26966 64 | 237 | 492 983.34/983.60 c 982s | 20 | 5335534 | 752127 | 26966 64 | 237 | 492 985.44/985.60 c 984s | 20 | 5346220 | 753627 | 26966 64 | 237 | 492 987.44/987.66 c 987s | 20 | 5352235 | 754927 | 26966 64 | 237 | 492 989.44/989.67 c 989s | 20 | 5360055 | 756227 | 26966 64 | 237 | 492 991.64/991.82 c 991s | 20 | 5373174 | 757827 | 26966 64 | 237 | 492 993.64/993.85 c 993s | 20 | 5383185 | 759227 | 26966 65 | 237 | 492 995.64/995.87 c 995s | 20 | 5393499 | 760827 | 26966 65 | 237 | 492 997.74/997.95 c 997s | 20 | 5404448 | 762327 | 26966 65 | 237 | 492 999.84/1000.05 c 999s | 20 | 5415787 | 763927 | 26966 65 | 237 | 492 1001.93/1002.14 c 1001s | 20 | 5427146 | 765527 | 26966 65 | 237 | 492 1004.03/1004.26 c 1003s | 20 | 5438557 | 767027 | 26966 65 | 237 | 492 1006.13/1006.38 c 1005s | 20 | 5447670 | 768327 | 26966 65 | 237 | 492 1008.13/1008.39 c 1007s | 20 | 5457757 | 769727 | 26966 65 | 237 | 492 1010.23/1010.40 c 1009s | 20 | 5470546 | 771227 | 26966 65 | 237 | 492 1012.23/1012.43 c 1011s | 20 | 5482583 | 772627 | 26966 66 | 237 | 492 1014.34/1014.55 c 1013s | 20 | 5494013 | 774327 | 26966 66 | 237 | 492 1016.33/1016.55 c 1015s | 20 | 5505177 | 775827 | 26966 66 | 237 | 492 1018.43/1018.69 c 1018s | 20 | 5517309 | 777427 | 26966 66 | 237 | 492 1020.53/1020.71 c 1020s | 20 | 5526032 | 779027 | 26966 66 | 237 | 492 1022.63/1022.82 c 1022s | 20 | 5538427 | 780627 | 26966 66 | 237 | 492 1024.63/1024.84 c 1024s | 20 | 5546039 | 781827 | 26966 66 | 237 | 492 1026.63/1026.86 c 1026s | 20 | 5559690 | 783427 | 26966 66 | 237 | 492 1028.73/1028.97 c 1028s | 20 | 5571246 | 785027 | 26966 66 | 237 | 492 1030.84/1031.08 c 1030s | 20 | 5583475 | 786427 | 26966 66 | 237 | 492 1032.94/1033.12 c 1032s | 20 | 5595674 | 787927 | 26966 67 | 237 | 492 1035.03/1035.23 c 1034s | 20 | 5607823 | 789527 | 26966 67 | 237 | 492 1037.13/1037.32 c 1036s | 20 | 5620623 | 791127 | 26966 67 | 237 | 492 1039.23/1039.40 c 1038s | 20 | 5634253 | 792827 | 26966 67 | 237 | 492 1041.23/1041.46 c 1040s | 20 | 5646829 | 794227 | 26966 67 | 237 | 492 1043.73/1043.92 c 1043s | 20 | 5654328 | 795227 | 26966 67 | 237 | 492 1045.73/1045.98 c 1045s | 20 | 5663881 | 796427 | 26966 67 | 237 | 492 1047.73/1047.98 c 1047s | 20 | 5673466 | 797527 | 26966 67 | 237 | 492 1049.93/1050.10 c 1049s | 20 | 5684211 | 798727 | 26966 67 | 237 | 492 1052.02/1052.27 c 1051s | 20 | 5695161 | 799827 | 26966 67 | 237 | 492 1054.22/1054.42 c 1053s | 20 | 5703234 | 800927 | 26966 67 | 237 | 492 1056.22/1056.45 c 1055s | 20 | 5713031 | 802127 | 26966 68 | 237 | 492 1058.23/1058.49 c 1057s | 20 | 5724827 | 803427 | 26966 68 | 237 | 492 1060.43/1060.68 c 1060s | 20 | 5736366 | 804727 | 26966 68 | 237 | 492 1062.52/1062.76 c 1062s | 20 | 5747115 | 806127 | 26966 68 | 237 | 492 1064.62/1064.88 c 1064s | 20 | 5756991 | 807527 | 26966 68 | 237 | 492 1066.72/1066.97 c 1066s | 20 | 5765981 | 808927 | 26966 68 | 237 | 492 1068.72/1068.99 c 1068s | 20 | 5774403 | 810327 | 26966 68 | 237 | 492 1070.82/1071.00 c 1070s | 20 | 5786320 | 811627 | 26966 68 | 237 | 492 1072.92/1073.10 c 1072s | 20 | 5796135 | 812927 | 26966 68 | 237 | 492 1074.92/1075.19 c 1074s | 20 | 5804763 | 814227 | 26966 68 | 237 | 492 1077.12/1077.31 c 1076s | 20 | 5817116 | 815627 | 26966 68 | 237 | 492 1079.13/1079.35 c 1078s | 20 | 5828134 | 817227 | 26966 69 | 237 | 492 1081.13/1081.37 c 1080s | 20 | 5840425 | 818827 | 26966 69 | 237 | 492 1083.13/1083.38 c 1082s | 20 | 5855529 | 820527 | 26966 69 | 237 | 492 1085.23/1085.46 c 1084s | 20 | 5867954 | 822127 | 26966 69 | 237 | 492 1087.33/1087.53 c 1086s | 20 | 5878567 | 823627 | 26966 69 | 237 | 492 1089.33/1089.56 c 1088s | 20 | 5890716 | 825027 | 26966 69 | 237 | 492 1091.33/1091.58 c 1090s | 20 | 5901228 | 826327 | 26966 69 | 237 | 492 1093.43/1093.64 c 1093s | 20 | 5911101 | 827627 | 26966 69 | 237 | 492 1095.53/1095.76 c 1095s | 20 | 5920727 | 828927 | 26966 69 | 237 | 492 1097.63/1097.88 c 1097s | 20 | 5930039 | 830227 | 26966 70 | 237 | 492 1099.72/1099.98 c 1099s | 20 | 5939704 | 831827 | 26966 70 | 237 | 492 1101.72/1101.99 c 1101s | 20 | 5949112 | 833327 | 26966 70 | 237 | 492 1103.82/1104.05 c 1103s | 20 | 5957928 | 834827 | 26966 70 | 237 | 492 1105.92/1106.15 c 1105s | 20 | 5967498 | 836127 | 26966 70 | 237 | 492 1107.92/1108.15 c 1107s | 20 | 5978144 | 837427 | 26966 70 | 237 | 492 1110.12/1110.30 c 1109s | 20 | 5987601 | 838827 | 26966 70 | 237 | 492 1112.23/1112.44 c 1111s | 20 | 5996802 | 840227 | 26966 70 | 237 | 492 1114.22/1114.45 c 1113s | 20 | 6004200 | 841627 | 26966 70 | 237 | 492 1116.22/1116.49 c 1115s | 20 | 6013795 | 842927 | 26966 70 | 237 | 492 1118.32/1118.55 c 1117s | 20 | 6023662 | 844227 | 26966 70 | 237 | 492 1120.42/1120.62 c 1120s | 20 | 6034470 | 845627 | 26966 71 | 237 | 492 1122.42/1122.68 c 1122s | 20 | 6046470 | 847127 | 26966 71 | 237 | 492 1124.62/1124.82 c 1124s | 20 | 6060642 | 848727 | 26966 71 | 237 | 492 1126.72/1126.92 c 1126s | 20 | 6072645 | 850227 | 26966 71 | 237 | 492 1128.82/1129.00 c 1128s | 20 | 6083667 | 851727 | 26966 71 | 237 | 492 1130.93/1131.11 c 1130s | 20 | 6094229 | 853227 | 26966 71 | 237 | 492 1133.03/1133.21 c 1132s | 20 | 6106835 | 854727 | 26966 71 | 237 | 492 1135.02/1135.22 c 1134s | 20 | 6120253 | 856227 | 26966 71 | 237 | 492 1137.02/1137.28 c 1136s | 20 | 6130479 | 857627 | 26966 71 | 237 | 492 1140.72/1140.97 c 1140s | 20 | 6139477 | 859027 | 26966 72 | 237 | 492 1142.82/1143.05 c 1142s | 20 | 6151269 | 860627 | 26966 72 | 237 | 492 1144.82/1145.06 c 1144s | 20 | 6161045 | 862127 | 26966 72 | 237 | 492 1146.91/1147.14 c 1146s | 20 | 6173075 | 863627 | 26966 72 | 237 | 492 1148.91/1149.16 c 1148s | 20 | 6185196 | 865227 | 26966 72 | 237 | 492 1152.21/1152.40 c 1151s | 20 | 6198106 | 866727 | 26966 72 | 237 | 492 1154.21/1154.44 c 1153s | 20 | 6212672 | 868327 | 26966 72 | 237 | 492 1156.31/1156.54 c 1155s | 20 | 6224939 | 869927 | 26966 72 | 237 | 492 1158.32/1158.59 c 1157s | 20 | 6237349 | 871427 | 26966 72 | 237 | 492 1160.52/1160.72 c 1160s | 20 | 6249932 | 872927 | 26966 72 | 237 | 492 1162.51/1162.78 c 1162s | 20 | 6262338 | 874427 | 26966 73 | 237 | 492 1164.61/1164.80 c 1164s | 20 | 6273546 | 875927 | 26966 73 | 237 | 492 1167.01/1167.25 c 1166s | 20 | 6284221 | 877227 | 26966 73 | 237 | 492 1169.11/1169.34 c 1168s | 20 | 6296048 | 878827 | 26966 73 | 237 | 492 1171.21/1171.44 c 1170s | 20 | 6309210 | 880227 | 26966 73 | 237 | 492 1173.21/1173.47 c 1172s | 20 | 6319146 | 881627 | 26966 73 | 237 | 492 1175.31/1175.54 c 1174s | 20 | 6332161 | 883227 | 26966 73 | 237 | 492 1177.31/1177.58 c 1176s | 20 | 6345843 | 884827 | 26966 73 | 237 | 492 1179.41/1179.60 c 1178s | 20 | 6357460 | 886327 | 26966 73 | 237 | 492 1181.41/1181.64 c 1181s | 20 | 6366370 | 887627 | 26966 73 | 237 | 492 1183.51/1183.75 c 1183s | 20 | 6374649 | 888927 | 26966 74 | 237 | 492 1185.51/1185.77 c 1185s | 20 | 6386660 | 890527 | 26966 74 | 237 | 492 1187.61/1187.83 c 1187s | 20 | 6399879 | 892127 | 26966 74 | 237 | 492 1189.61/1189.86 c 1189s | 20 | 6410313 | 893527 | 26966 74 | 237 | 492 1191.60/1191.90 c 1191s | 20 | 6420384 | 894927 | 26966 74 | 237 | 492 1193.70/1193.95 c 1193s | 20 | 6430671 | 896327 | 26966 74 | 237 | 492 1195.71/1195.98 c 1195s | 20 | 6438686 | 897727 | 26966 74 | 237 | 492 1197.70/1197.98 c 1197s | 20 | 6449371 | 899027 | 26966 74 | 237 | 492 1199.80/1200.07 c 1199s | 20 | 6458342 | 900427 | 26966 74 | 237 | 492 1201.90/1202.13 c 1201s | 20 | 6467664 | 901727 | 26966 74 | 237 | 492 1203.90/1204.16 c 1203s | 20 | 6480696 | 903127 | 26966 75 | 237 | 492 1206.00/1206.26 c 1205s | 20 | 6488775 | 904727 | 26966 75 | 237 | 492 1208.10/1208.33 c 1207s | 20 | 6500607 | 906427 | 26966 75 | 237 | 492 1210.20/1210.41 c 1209s | 20 | 6512577 | 908127 | 26966 75 | 237 | 492 1213.31/1213.56 c 1212s | 20 | 6521706 | 909627 | 26966 75 | 237 | 492 1215.51/1215.73 c 1215s | 20 | 6534667 | 911227 | 26966 75 | 237 | 492 1217.50/1217.73 c 1217s | 20 | 6543089 | 912627 | 26966 75 | 237 | 492 1219.50/1219.75 c 1219s | 20 | 6551856 | 913927 | 26966 75 | 237 | 492 1221.60/1221.80 c 1221s | 20 | 6562896 | 915327 | 26966 75 | 237 | 492 1223.60/1223.86 c 1223s | 20 | 6572907 | 916727 | 26966 75 | 237 | 492 1225.60/1225.86 c 1225s | 20 | 6583298 | 918227 | 26966 76 | 237 | 492 1227.71/1227.97 c 1227s | 20 | 6595908 | 919927 | 26966 76 | 237 | 492 1229.81/1230.03 c 1229s | 20 | 6607081 | 921427 | 26966 76 | 237 | 492 1231.80/1232.03 c 1231s | 20 | 6618919 | 922927 | 26966 76 | 237 | 492 1233.80/1234.07 c 1233s | 20 | 6631807 | 924427 | 26966 76 | 237 | 492 1235.90/1236.11 c 1235s | 20 | 6639766 | 925727 | 26966 76 | 237 | 492 1238.00/1238.24 c 1237s | 20 | 6651302 | 927027 | 26966 76 | 237 | 492 1240.00/1240.24 c 1239s | 20 | 6660333 | 928327 | 26966 76 | 237 | 492 1242.00/1242.28 c 1241s | 20 | 6668875 | 929527 | 26966 76 | 237 | 492 1244.10/1244.31 c 1243s | 20 | 6678717 | 930827 | 26966 76 | 237 | 492 1246.20/1246.41 c 1245s | 20 | 6689987 | 932227 | 26966 77 | 237 | 492 1248.30/1248.53 c 1247s | 20 | 6703508 | 933827 | 26966 77 | 237 | 492 1250.49/1250.77 c 1250s | 20 | 6713011 | 935327 | 26966 77 | 237 | 492 1252.69/1252.93 c 1252s | 20 | 6721632 | 936727 | 26966 77 | 237 | 492 1254.79/1255.00 c 1254s | 20 | 6729324 | 937927 | 26966 77 | 237 | 492 1256.79/1257.03 c 1256s | 20 | 6737136 | 939227 | 26966 77 | 237 | 492 1260.71/1260.91 c 1260s | 20 | 6745850 | 940427 | 26966 77 | 237 | 492 1262.81/1263.03 c 1262s | 20 | 6753126 | 941127 | 26966 77 | 237 | 492 1264.80/1265.09 c 1264s | 20 | 6765388 | 942727 | 26966 77 | 237 | 492 1266.90/1267.17 c 1266s | 20 | 6775946 | 944127 | 26966 77 | 237 | 492 1268.90/1269.17 c 1268s | 20 | 6784772 | 945427 | 26966 77 | 237 | 492 1271.00/1271.26 c 1270s | 20 | 6795601 | 946927 | 26966 78 | 237 | 492 1273.10/1273.37 c 1272s | 20 | 6805213 | 948427 | 26966 78 | 237 | 492 1275.20/1275.44 c 1274s | 20 | 6815148 | 949927 | 26966 78 | 237 | 492 1277.30/1277.59 c 1276s | 20 | 6824517 | 951427 | 26966 78 | 237 | 492 1279.40/1279.65 c 1279s | 20 | 6836900 | 953027 | 26966 78 | 237 | 492 1281.50/1281.76 c 1281s | 20 | 6845371 | 954527 | 26966 78 | 237 | 492 1283.50/1283.76 c 1283s | 20 | 6855408 | 955927 | 26966 78 | 237 | 492 1285.60/1285.89 c 1285s | 20 | 6867452 | 957427 | 26966 78 | 237 | 492 1287.70/1287.93 c 1287s | 20 | 6876346 | 958827 | 26966 78 | 237 | 492 1289.79/1290.09 c 1289s | 20 | 6885369 | 960227 | 26966 78 | 237 | 492 1291.89/1292.12 c 1291s | 20 | 6895004 | 961527 | 26966 79 | 237 | 492 1293.99/1294.28 c 1293s | 20 | 6904001 | 963027 | 26966 79 | 237 | 492 1296.09/1296.38 c 1295s | 20 | 6914280 | 964427 | 26966 79 | 237 | 492 1298.19/1298.44 c 1297s | 20 | 6924018 | 965727 | 26966 79 | 237 | 492 1300.30/1300.52 c 1299s | 20 | 6932772 | 967027 | 26966 79 | 237 | 492 1302.29/1302.57 c 1301s | 20 | 6943626 | 968527 | 26966 79 | 237 | 492 1304.39/1304.60 c 1303s | 20 | 6955684 | 970027 | 26966 79 | 237 | 492 1306.39/1306.65 c 1306s | 20 | 6967121 | 971627 | 26966 79 | 237 | 492 1308.49/1308.73 c 1308s | 20 | 6977819 | 973127 | 26966 79 | 237 | 492 1310.49/1310.78 c 1310s | 20 | 6988174 | 974427 | 26966 79 | 237 | 492 1312.59/1312.86 c 1312s | 20 | 6998249 | 975727 | 26966 80 | 237 | 492 1314.69/1314.90 c 1314s | 20 | 7012814 | 977327 | 26966 80 | 237 | 492 1316.80/1317.03 c 1316s | 20 | 7023525 | 978927 | 26966 80 | 237 | 492 1319.29/1319.56 c 1318s | 20 | 7033338 | 980027 | 26966 80 | 237 | 492 1321.39/1321.67 c 1321s | 20 | 7050039 | 981927 | 26966 80 | 237 | 492 1323.49/1323.75 c 1323s | 20 | 7061523 | 983427 | 26966 80 | 237 | 492 1325.59/1325.81 c 1325s | 20 | 7073444 | 984827 | 26966 80 | 237 | 492 1327.69/1327.92 c 1327s | 20 | 7086097 | 986327 | 26966 80 | 237 | 492 1329.69/1329.95 c 1329s | 20 | 7096804 | 987827 | 26966 80 | 237 | 492 1331.89/1332.14 c 1331s | 20 | 7108913 | 989327 | 26966 81 | 237 | 492 1333.89/1334.18 c 1333s | 20 | 7119146 | 990727 | 26966 81 | 237 | 492 1335.98/1336.20 c 1335s | 20 | 7130619 | 992227 | 26966 81 | 237 | 492 1337.98/1338.23 c 1337s | 20 | 7142719 | 993727 | 29663 81 | 237 | 492 1339.98/1340.24 c 1339s | 20 | 7154600 | 995127 | 29663 81 | 237 | 492 1341.99/1342.27 c 1341s | 20 | 7165389 | 996527 | 29663 81 | 237 | 492 1344.19/1344.42 c 1343s | 20 | 7177029 | 998027 | 29663 81 | 237 | 492 1346.28/1346.53 c 1345s | 20 | 7188941 | 999527 | 29663 81 | 237 | 492 1347.59/1347.82 c 1347s | 21 | 7194331 | 1000345 | 29663 81 | 237 | 492 1349.69/1349.93 c 1349s | 21 | 7200422 | 1001445 | 29663 81 | 237 | 492 1351.78/1352.06 c 1351s | 21 | 7208276 | 1002645 | 29663 81 | 237 | 492 1353.78/1354.08 c 1353s | 21 | 7219390 | 1004045 | 29663 81 | 237 | 492 1356.08/1356.31 c 1355s | 21 | 7226815 | 1004945 | 29663 81 | 237 | 492 1358.08/1358.36 c 1357s | 21 | 7238649 | 1006445 | 29663 82 | 237 | 492 1360.08/1360.39 c 1359s | 21 | 7253424 | 1008245 | 29663 82 | 237 | 492 1362.28/1362.50 c 1361s | 21 | 7268719 | 1010145 | 29663 82 | 237 | 492 1364.28/1364.53 c 1363s | 21 | 7281477 | 1012045 | 29663 82 | 237 | 492 1366.38/1366.65 c 1366s | 21 | 7297611 | 1013845 | 29663 82 | 237 | 492 1368.48/1368.71 c 1368s | 21 | 7310154 | 1015445 | 29663 82 | 237 | 492 1370.48/1370.79 c 1370s | 21 | 7322631 | 1017145 | 29663 82 | 237 | 492 1372.48/1372.79 c 1372s | 21 | 7333462 | 1018445 | 29663 82 | 237 | 492 1374.58/1374.87 c 1374s | 21 | 7342265 | 1019845 | 29663 82 | 237 | 492 1376.68/1376.97 c 1376s | 21 | 7351092 | 1021145 | 29663 82 | 237 | 492 1378.78/1379.02 c 1378s | 21 | 7359683 | 1022545 | 29663 83 | 237 | 492 1380.78/1381.04 c 1380s | 21 | 7373724 | 1024245 | 29663 83 | 237 | 492 1382.78/1383.06 c 1382s | 21 | 7384584 | 1025845 | 29663 83 | 237 | 492 1384.77/1385.07 c 1384s | 21 | 7396888 | 1027545 | 29663 83 | 237 | 492 1386.87/1387.19 c 1386s | 21 | 7410984 | 1029245 | 29663 83 | 237 | 492 1388.97/1389.28 c 1388s | 21 | 7423028 | 1030845 | 29663 83 | 237 | 492 1390.97/1391.29 c 1390s | 21 | 7436326 | 1032445 | 29663 83 | 237 | 492 1393.07/1393.38 c 1392s | 21 | 7449251 | 1033845 | 29663 83 | 237 | 492 1395.17/1395.41 c 1394s | 21 | 7458441 | 1035045 | 29663 83 | 237 | 492 1397.27/1397.50 c 1396s | 21 | 7470183 | 1036545 | 29663 83 | 237 | 492 1399.47/1399.75 c 1399s | 21 | 7480316 | 1037945 | 29663 84 | 237 | 492 1401.57/1401.80 c 1401s | 21 | 7491907 | 1039445 | 29663 84 | 237 | 492 1403.68/1403.91 c 1403s | 21 | 7504756 | 1041045 | 29663 84 | 237 | 492 1405.67/1405.96 c 1405s | 21 | 7514212 | 1042445 | 29663 84 | 237 | 492 1407.77/1408.00 c 1407s | 21 | 7525764 | 1043845 | 29663 84 | 237 | 492 1409.77/1410.06 c 1409s | 21 | 7538203 | 1045445 | 29663 84 | 237 | 492 1411.87/1412.14 c 1411s | 21 | 7549823 | 1046845 | 29663 84 | 237 | 492 1414.07/1414.36 c 1413s | 21 | 7560401 | 1048345 | 29663 84 | 237 | 492 1416.17/1416.41 c 1415s | 21 | 7569185 | 1049645 | 29663 84 | 237 | 492 1418.17/1418.43 c 1417s | 21 | 7578806 | 1050945 | 29663 84 | 237 | 492 1420.17/1420.46 c 1419s | 21 | 7585914 | 1052145 | 29663 84 | 237 | 492 1422.27/1422.50 c 1421s | 21 | 7594624 | 1053345 | 29663 84 | 237 | 492 1424.26/1424.54 c 1423s | 21 | 7604188 | 1054645 | 29663 85 | 237 | 492 1426.26/1426.55 c 1425s | 21 | 7617511 | 1056245 | 29663 85 | 237 | 492 1428.36/1428.64 c 1428s | 21 | 7629078 | 1057845 | 29663 85 | 237 | 492 1430.36/1430.65 c 1430s | 21 | 7642182 | 1059545 | 29663 85 | 237 | 492 1432.46/1432.76 c 1432s | 21 | 7656553 | 1061245 | 29663 85 | 237 | 492 1434.56/1434.82 c 1434s | 21 | 7667562 | 1062745 | 29663 85 | 237 | 492 1436.67/1436.96 c 1436s | 21 | 7678580 | 1064145 | 29663 85 | 237 | 492 1438.77/1439.09 c 1438s | 21 | 7689460 | 1065745 | 29663 85 | 237 | 492 1440.86/1441.16 c 1440s | 21 | 7699791 | 1067345 | 29663 85 | 237 | 492 1442.96/1443.21 c 1442s | 21 | 7710350 | 1068745 | 29663 85 | 237 | 492 1445.06/1445.33 c 1444s | 21 | 7718976 | 1069945 | 29663 86 | 237 | 492 1447.16/1447.44 c 1446s | 21 | 7730254 | 1071445 | 29663 86 | 237 | 492 1449.26/1449.54 c 1448s | 21 | 7740725 | 1072845 | 29663 86 | 237 | 492 1451.37/1451.61 c 1451s | 21 | 7750841 | 1074345 | 29663 86 | 237 | 492 1453.47/1453.71 c 1453s | 21 | 7762911 | 1076045 | 29663 86 | 237 | 492 1455.46/1455.73 c 1455s | 21 | 7775669 | 1077645 | 29663 86 | 237 | 492 1457.47/1457.79 c 1457s | 21 | 7787564 | 1079145 | 29663 86 | 237 | 492 1459.67/1459.94 c 1459s | 21 | 7801811 | 1080945 | 29663 86 | 237 | 492 1461.66/1461.95 c 1461s | 21 | 7808640 | 1082045 | 29663 86 | 237 | 492 1463.66/1463.97 c 1463s | 21 | 7816454 | 1083445 | 29663 86 | 237 | 492 1465.76/1466.07 c 1465s | 21 | 7824366 | 1084645 | 29663 86 | 237 | 492 1467.76/1468.09 c 1467s | 21 | 7833679 | 1085945 | 29663 87 | 237 | 492 1469.86/1470.17 c 1469s | 21 | 7843218 | 1087345 | 29663 87 | 237 | 492 1471.96/1472.24 c 1471s | 21 | 7853892 | 1088945 | 29663 87 | 237 | 492 1474.06/1474.35 c 1473s | 21 | 7863534 | 1090545 | 29663 87 | 237 | 492 1476.05/1476.39 c 1475s | 21 | 7874101 | 1092045 | 29663 87 | 237 | 492 1478.25/1478.50 c 1477s | 21 | 7883388 | 1093645 | 29663 87 | 237 | 492 1480.35/1480.60 c 1479s | 21 | 7893098 | 1095145 | 29663 87 | 237 | 492 1482.35/1482.68 c 1482s | 21 | 7906136 | 1096745 | 29663 87 | 237 | 492 1484.45/1484.75 c 1484s | 21 | 7919325 | 1098345 | 29663 87 | 237 | 492 1486.55/1486.82 c 1486s | 21 | 7932073 | 1099945 | 29663 87 | 237 | 492 1488.55/1488.88 c 1488s | 21 | 7942386 | 1101245 | 29663 88 | 237 | 492 1490.64/1490.98 c 1490s | 21 | 7955669 | 1102945 | 29663 88 | 237 | 492 1492.75/1493.02 c 1492s | 21 | 7966391 | 1104545 | 29663 88 | 237 | 492 1495.04/1495.31 c 1494s | 21 | 7979017 | 1106045 | 29663 88 | 237 | 492 1497.05/1497.38 c 1496s | 21 | 7989834 | 1107545 | 29663 88 | 237 | 492 1499.14/1499.45 c 1498s | 21 | 7997323 | 1108845 | 29663 88 | 237 | 492 1501.23/1501.59 c 1500s | 21 | 8010647 | 1110545 | 29663 88 | 237 | 492 1503.43/1503.70 c 1503s | 21 | 8019462 | 1111945 | 29663 88 | 237 | 492 1505.53/1505.83 c 1505s | 21 | 8030373 | 1113445 | 29663 88 | 237 | 492 1507.63/1507.90 c 1507s | 21 | 8039829 | 1114845 | 29663 88 | 237 | 492 1509.73/1510.01 c 1509s | 21 | 8049637 | 1116145 | 29663 88 | 237 | 492 1511.73/1512.06 c 1511s | 21 | 8059203 | 1117445 | 29663 89 | 237 | 492 1513.83/1514.10 c 1513s | 21 | 8071462 | 1119045 | 29663 89 | 237 | 492 1515.83/1516.14 c 1515s | 21 | 8084330 | 1120645 | 29663 89 | 237 | 492 1517.83/1518.15 c 1517s | 21 | 8094557 | 1122145 | 29663 89 | 237 | 492 1519.83/1520.18 c 1519s | 21 | 8104462 | 1123645 | 29663 89 | 237 | 492 1521.92/1522.25 c 1521s | 21 | 8114934 | 1125145 | 29663 89 | 237 | 492 1524.02/1524.39 c 1523s | 21 | 8124524 | 1126645 | 29663 89 | 237 | 492 1526.12/1526.41 c 1525s | 21 | 8135028 | 1127945 | 29663 89 | 237 | 492 1528.12/1528.43 c 1527s | 21 | 8146034 | 1129345 | 29663 89 | 237 | 492 1530.13/1530.48 c 1529s | 21 | 8157577 | 1130845 | 29663 89 | 237 | 492 1532.23/1532.52 c 1531s | 21 | 8166503 | 1132145 | 29663 89 | 237 | 492 1534.22/1534.58 c 1533s | 21 | 8177679 | 1133545 | 29663 90 | 237 | 492 1536.32/1536.68 c 1536s | 21 | 8188534 | 1135145 | 29663 90 | 237 | 492 1538.42/1538.74 c 1538s | 21 | 8203622 | 1136745 | 29663 90 | 237 | 492 1540.52/1540.83 c 1540s | 21 | 8214364 | 1138445 | 29663 90 | 237 | 492 1542.52/1542.88 c 1542s | 21 | 8224537 | 1139945 | 29663 90 | 237 | 492 1544.62/1544.98 c 1544s | 21 | 8234132 | 1141445 | 29663 90 | 237 | 492 1546.72/1547.08 c 1546s | 21 | 8247864 | 1142845 | 29663 90 | 237 | 492 1548.82/1549.15 c 1548s | 21 | 8257150 | 1144245 | 29663 90 | 237 | 492 1552.42/1552.78 c 1552s | 21 | 8259523 | 1144445 | 29663 90 | 237 | 492 1555.01/1555.34 c 1554s | 21 | 8266029 | 1145545 | 29663 90 | 237 | 492 1557.01/1557.34 c 1556s | 21 | 8280566 | 1147545 | 29663 90 | 237 | 492 1559.11/1559.44 c 1558s | 21 | 8292720 | 1149145 | 29663 91 | 237 | 492 1561.11/1561.45 c 1560s | 21 | 8306837 | 1151045 | 29663 91 | 237 | 492 1563.21/1563.50 c 1562s | 21 | 8320544 | 1152745 | 29663 91 | 237 | 492 1565.61/1565.97 c 1565s | 21 | 8330603 | 1154245 | 29663 91 | 237 | 492 1567.71/1568.01 c 1567s | 21 | 8342633 | 1155945 | 29663 91 | 237 | 492 1569.71/1570.07 c 1569s | 21 | 8354763 | 1157545 | 29663 91 | 237 | 492 1571.70/1572.08 c 1571s | 21 | 8363957 | 1159045 | 29663 91 | 237 | 492 1573.80/1574.17 c 1573s | 21 | 8373556 | 1160445 | 29663 91 | 237 | 492 1575.90/1576.27 c 1575s | 21 | 8385005 | 1162045 | 29663 91 | 237 | 492 1577.90/1578.28 c 1577s | 21 | 8391995 | 1163145 | 29663 91 | 237 | 492 1580.00/1580.32 c 1579s | 21 | 8400691 | 1164345 | 29663 92 | 237 | 492 1582.00/1582.35 c 1581s | 21 | 8410056 | 1165845 | 29663 92 | 237 | 492 1584.10/1584.44 c 1583s | 21 | 8420417 | 1167445 | 29663 92 | 237 | 492 1586.10/1586.44 c 1585s | 21 | 8433169 | 1169045 | 29663 92 | 237 | 492 1588.19/1588.51 c 1587s | 21 | 8443767 | 1170445 | 29663 92 | 237 | 492 1590.19/1590.51 c 1589s | 21 | 8452148 | 1171745 | 29663 92 | 237 | 492 1592.29/1592.69 c 1592s | 21 | 8460031 | 1172945 | 29663 92 | 237 | 492 1594.39/1594.76 c 1594s | 21 | 8471816 | 1174445 | 29663 92 | 237 | 492 1596.49/1596.86 c 1596s | 21 | 8481661 | 1175945 | 29663 92 | 237 | 492 1598.69/1599.03 c 1598s | 21 | 8489832 | 1177245 | 29663 92 | 237 | 492 1600.79/1601.13 c 1600s | 21 | 8497863 | 1178445 | 29663 92 | 237 | 492 1602.78/1603.19 c 1602s | 21 | 8504832 | 1179645 | 29663 92 | 237 | 492 1604.99/1605.33 c 1604s | 21 | 8512858 | 1181145 | 29663 93 | 237 | 492 1607.10/1607.42 c 1606s | 21 | 8522990 | 1182645 | 29663 93 | 237 | 492 1609.09/1609.46 c 1608s | 21 | 8532305 | 1184145 | 29663 93 | 237 | 492 1611.19/1611.50 c 1610s | 21 | 8542435 | 1185645 | 29663 93 | 237 | 492 1613.29/1613.66 c 1613s | 21 | 8552053 | 1187145 | 29663 93 | 237 | 492 1615.39/1615.74 c 1615s | 21 | 8563252 | 1188645 | 29663 93 | 237 | 492 1617.49/1617.80 c 1617s | 21 | 8572730 | 1190145 | 29663 93 | 237 | 492 1619.48/1619.84 c 1619s | 21 | 8583402 | 1191745 | 29663 93 | 237 | 492 1621.58/1621.91 c 1621s | 21 | 8594195 | 1193345 | 29663 93 | 237 | 492 1623.68/1624.05 c 1623s | 21 | 8607555 | 1195045 | 29663 93 | 237 | 492 1625.79/1626.16 c 1625s | 21 | 8618273 | 1196445 | 29663 94 | 237 | 492 1627.89/1628.22 c 1627s | 21 | 8630563 | 1197945 | 29663 94 | 237 | 492 1629.88/1630.27 c 1629s | 21 | 8640591 | 1199345 | 29663 94 | 237 | 492 1631.88/1632.28 c 1631s | 21 | 8651224 | 1200845 | 29663 94 | 237 | 492 1633.88/1634.29 c 1633s | 21 | 8661157 | 1202145 | 29663 94 | 237 | 492 1635.98/1636.35 c 1635s | 21 | 8670899 | 1203545 | 29663 94 | 237 | 492 1638.08/1638.41 c 1637s | 21 | 8681846 | 1205045 | 29663 94 | 237 | 492 1640.08/1640.44 c 1639s | 21 | 8693489 | 1206545 | 29663 94 | 237 | 492 1642.07/1642.50 c 1641s | 21 | 8707394 | 1208045 | 29663 94 | 237 | 492 1644.27/1644.66 c 1644s | 21 | 8717674 | 1209545 | 29663 94 | 237 | 492 1646.27/1646.69 c 1646s | 21 | 8723906 | 1210745 | 29663 94 | 237 | 492 1648.37/1648.73 c 1648s | 21 | 8730760 | 1211845 | 29663 95 | 237 | 492 1650.47/1650.84 c 1650s | 21 | 8739562 | 1213345 | 29663 95 | 237 | 492 1652.57/1652.93 c 1652s | 21 | 8750313 | 1214845 | 29663 95 | 237 | 492 1654.57/1654.94 c 1654s | 21 | 8758832 | 1216245 | 29663 95 | 237 | 492 1656.67/1657.00 c 1656s | 21 | 8768956 | 1217645 | 29663 95 | 237 | 492 1661.66/1662.00 c 1661s | 21 | 8776011 | 1218745 | 29663 95 | 237 | 492 1663.66/1664.04 c 1663s | 21 | 8777700 | 1219045 | 29663 95 | 237 | 492 1665.76/1666.10 c 1665s | 21 | 8785797 | 1220145 | 29663 95 | 237 | 492 1667.76/1668.13 c 1667s | 21 | 8793996 | 1221545 | 29663 95 | 237 | 492 1669.77/1670.19 c 1669s | 21 | 8804802 | 1223045 | 29663 95 | 237 | 492 1672.26/1672.66 c 1672s | 21 | 8811890 | 1224245 | 29663 95 | 237 | 492 1674.26/1674.67 c 1674s | 21 | 8825857 | 1226045 | 29663 95 | 237 | 492 1676.36/1676.77 c 1676s | 21 | 8837972 | 1227745 | 29663 96 | 237 | 492 1678.46/1678.86 c 1678s | 21 | 8849940 | 1229245 | 29663 96 | 237 | 492 1680.45/1680.87 c 1680s | 21 | 8862767 | 1231145 | 29663 96 | 237 | 492 1682.55/1682.97 c 1682s | 21 | 8877006 | 1233045 | 29663 96 | 237 | 492 1684.65/1685.00 c 1684s | 21 | 8887636 | 1234645 | 29663 96 | 237 | 492 1686.65/1687.02 c 1686s | 21 | 8896867 | 1235945 | 29663 96 | 237 | 492 1688.65/1689.09 c 1688s | 21 | 8905886 | 1237245 | 29663 96 | 237 | 492 1690.85/1691.25 c 1690s | 21 | 8915585 | 1238645 | 29663 96 | 237 | 492 1692.95/1693.39 c 1692s | 21 | 8926374 | 1240045 | 29663 96 | 237 | 492 1695.05/1695.45 c 1694s | 21 | 8933813 | 1241245 | 29663 96 | 237 | 492 1697.05/1697.50 c 1696s | 21 | 8943117 | 1242545 | 29663 96 | 237 | 492 1699.14/1699.59 c 1698s | 21 | 8951140 | 1243745 | 29663 97 | 237 | 492 1701.25/1701.64 c 1701s | 21 | 8961655 | 1245145 | 29663 97 | 237 | 492 1703.35/1703.78 c 1703s | 21 | 8972803 | 1246645 | 29663 97 | 237 | 492 1705.35/1705.79 c 1705s | 21 | 8979057 | 1248145 | 29663 97 | 237 | 492 1707.45/1707.84 c 1707s | 21 | 8989763 | 1249745 | 29663 97 | 237 | 492 1709.45/1709.85 c 1709s | 21 | 9003948 | 1251345 | 29663 97 | 237 | 492 1711.46/1711.89 c 1711s | 21 | 9014873 | 1252845 | 29663 97 | 237 | 492 1713.55/1714.00 c 1713s | 21 | 9028250 | 1254445 | 29663 97 | 237 | 492 1715.75/1716.14 c 1715s | 21 | 9039984 | 1256045 | 29663 97 | 237 | 492 1717.85/1718.23 c 1717s | 21 | 9051789 | 1257645 | 29663 97 | 237 | 492 1719.85/1720.28 c 1719s | 21 | 9061314 | 1258945 | 29663 98 | 237 | 492 1721.95/1722.35 c 1721s | 21 | 9068664 | 1260445 | 29663 98 | 237 | 492 1724.04/1724.43 c 1723s | 21 | 9076855 | 1261845 | 29663 98 | 237 | 492 1726.24/1726.61 c 1726s | 21 | 9083825 | 1263245 | 29663 98 | 237 | 492 1728.24/1728.68 c 1728s | 21 | 9089345 | 1264445 | 29663 98 | 237 | 492 1730.34/1730.79 c 1730s | 21 | 9094868 | 1265645 | 29663 98 | 237 | 492 1732.44/1732.83 c 1732s | 21 | 9105886 | 1267045 | 29663 98 | 237 | 492 1734.44/1734.87 c 1734s | 21 | 9116179 | 1268445 | 29663 98 | 237 | 492 1736.54/1736.93 c 1736s | 21 | 9126348 | 1269745 | 29663 98 | 237 | 492 1738.64/1739.07 c 1738s | 21 | 9135222 | 1271045 | 29663 98 | 237 | 492 1740.73/1741.20 c 1740s | 21 | 9142186 | 1272345 | 29663 98 | 237 | 492 1742.83/1743.28 c 1742s | 21 | 9148777 | 1273445 | 29663 98 | 237 | 492 1745.03/1745.43 c 1744s | 21 | 9156510 | 1274645 | 29663 98 | 237 | 492 1747.13/1747.51 c 1746s | 21 | 9165161 | 1276045 | 29663 99 | 237 | 492 1749.23/1749.60 c 1748s | 21 | 9172996 | 1277545 | 29663 99 | 237 | 492 1751.23/1751.60 c 1750s | 21 | 9182100 | 1278945 | 29663 99 | 237 | 492 1753.23/1753.67 c 1753s | 21 | 9190799 | 1280345 | 29663 99 | 237 | 492 1755.33/1755.72 c 1755s | 21 | 9201643 | 1281845 | 29663 99 | 237 | 492 1757.33/1757.77 c 1757s | 21 | 9208847 | 1283145 | 29663 99 | 237 | 492 1759.42/1759.88 c 1759s | 21 | 9216962 | 1284545 | 29663 99 | 237 | 492 1761.62/1762.04 c 1761s | 21 | 9224015 | 1285845 | 29663 99 | 237 | 492 1763.72/1764.17 c 1763s | 21 | 9230346 | 1287245 | 29663 99 | 237 | 492 1766.32/1766.73 c 1766s | 21 | 9236417 | 1288145 | 29663 99 | 237 | 492 1768.52/1768.90 c 1768s | 21 | 9245280 | 1289445 | 29663 99 | 237 | 492 1770.52/1770.93 c 1770s | 21 | 9257655 | 1291045 | 29663 100 | 237 | 492 1772.62/1773.02 c 1772s | 21 | 9269293 | 1292845 | 29663 100 | 237 | 492 1774.62/1775.07 c 1774s | 21 | 9280467 | 1294545 | 29663 100 | 237 | 492 1776.72/1777.14 c 1776s | 21 | 9292673 | 1296245 | 29663 100 | 237 | 492 1778.72/1779.18 c 1778s | 21 | 9305711 | 1297845 | 29663 100 | 237 | 492 1780.73/1781.19 c 1780s | 21 | 9314511 | 1299345 | 29663 100 | 237 | 492 1783.03/1783.49 c 1782s | 21 | 9324900 | 1301045 | 29663 100 | 237 | 492 1785.22/1785.60 c 1784s | 21 | 9335756 | 1302645 | 29663 100 | 237 | 492 1787.22/1787.64 c 1787s | 21 | 9344733 | 1304045 | 29663 100 | 237 | 492 1789.31/1789.76 c 1789s | 21 | 9357059 | 1305645 | 29663 100 | 237 | 492 1791.41/1791.83 c 1791s | 21 | 9366990 | 1307045 | 29663 101 | 237 | 492 1793.41/1793.87 c 1793s | 21 | 9375957 | 1308545 | 29663 101 | 237 | 492 1795.41/1795.89 c 1795s | 21 | 9385968 | 1310045 | 29663 101 | 237 | 492 1797.51/1797.97 c 1797s | 21 | 9394286 | 1311445 | 29663 101 | 237 | 492 1799.71/1800.11 c 1799s | 21 | 9403194 | 1313045 | 29663 101 | 237 | 492
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-4079845-1465250029/watcher-4079845-1465250029 -o /tmp/evaluation-result-4079845-1465250029/solver-4079845-1465250029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079845-1465250029.opb pid=3309 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.23 2.18 3/180 3312 /proc/meminfo: memFree=29262856/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=686524 CPUtime=0 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 2556 0 0 0 0 0 0 0 20 0 4 0 106936449 703000576 2917 33554432000 4194304 16246674 140733705623552 140733705622976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 172399 2926 441 2943 0 169293 0 [pid=3312/tid=3313] ppid=3309 vsize=732604 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 750186496 3093 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 754380800 3113 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=740796 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106936449 758575104 3129 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 2.18 2.23 2.18 3/180 3312 /proc/meminfo: memFree=29262856/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 23322 0 0 0 6 3 0 0 20 0 4 0 106936449 1250496512 23620 33554432000 4194304 16246674 140733705623552 140733705622864 5887445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 305297 23628 830 2943 0 302191 0 [pid=3312/tid=3313] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 23633 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 23638 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 23644 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.200531 s] /proc/loadavg: 2.18 2.23 2.18 3/180 3312 /proc/meminfo: memFree=29262856/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1221188 CPUtime=0.18 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 41188 0 0 0 12 6 0 0 20 0 4 0 106936449 1250496512 41486 33554432000 4194304 16246674 140733705623552 140733705622864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 305297 41494 870 2943 0 302191 0 [pid=3312/tid=3313] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 41498 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 41502 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106936449 1250496512 41505 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1221188 [startup+0.300512 s] /proc/loadavg: 2.18 2.23 2.18 3/180 3312 /proc/meminfo: memFree=29262856/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1306180 CPUtime=0.29 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 53315 0 0 0 21 8 0 0 20 0 4 0 106936449 1337528320 53614 33554432000 4194304 16246674 140733705623552 140733705622864 5531957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 326545 53626 896 2943 0 323439 0 [pid=3312/tid=3313] ppid=3309 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1337528320 53634 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1337528320 53648 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1337528320 53661 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1306180 [startup+0.700377 s] /proc/loadavg: 2.18 2.23 2.18 3/180 3312 /proc/meminfo: memFree=29262856/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1307204 CPUtime=0.69 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 64681 0 0 0 60 9 0 0 20 0 4 0 106936449 1338576896 64979 33554432000 4194304 16246674 140733705623552 140733705622864 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 326801 64979 906 2943 0 323695 0 [pid=3312/tid=3313] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 64979 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 64979 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 64979 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1307204 [startup+1.5004 s] /proc/loadavg: 2.18 2.23 2.18 4/184 3316 /proc/meminfo: memFree=28823752/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 133652 0 0 0 130 19 0 0 20 0 4 0 106936449 1338576896 133950 33554432000 4194304 16246674 140733705623552 140733705605440 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 326801 133964 906 2943 0 323695 0 [pid=3312/tid=3313] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 133971 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 133976 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 133979 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1307204 [startup+3.10037 s] /proc/loadavg: 2.18 2.23 2.18 4/184 3316 /proc/meminfo: memFree=28273812/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 267997 0 0 0 272 37 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140733705605440 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 326801 268295 908 2943 0 323695 0 [pid=3312/tid=3313] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.25 2.24 2.19 4/184 3316 /proc/meminfo: memFree=28162144/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 267997 0 0 0 592 37 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140733705605440 5599912 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 326801 268295 908 2943 0 323695 0 [pid=3312/tid=3313] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1338576896 268295 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.23 2.24 2.18 3/184 3316 /proc/meminfo: memFree=28161584/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 268134 0 0 0 1232 37 0 0 20 0 4 0 106936449 1339625472 268432 33554432000 4194304 16246674 140733705623552 140733705605440 13820888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 327057 268432 912 2943 0 323951 0 [pid=3312/tid=3313] ppid=3309 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1339625472 268432 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1339625472 268432 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1339625472 268432 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5004 s] /proc/loadavg: 2.18 2.23 2.18 3/183 3316 /proc/meminfo: memFree=28154320/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1315396 CPUtime=25.49 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 269980 0 0 0 2512 37 0 0 20 0 4 0 106936449 1346965504 270278 33554432000 4194304 16246674 140733705623552 140733705605440 5711829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 328849 270278 912 2943 0 325743 0 [pid=3312/tid=3313] ppid=3309 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1346965504 270278 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1346965504 270278 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1346965504 270278 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1315396 [startup+51.1004 s] /proc/loadavg: 2.20 2.22 2.18 4/183 3316 /proc/meminfo: memFree=28146756/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 270313 0 0 0 5070 38 0 0 20 0 4 0 106936449 1348014080 270611 33554432000 4194304 16246674 140733705623552 140733705605440 5828870 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 329105 270611 912 2943 0 325999 0 [pid=3312/tid=3313] ppid=3309 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1348014080 270611 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1348014080 270611 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1348014080 270611 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.16 2.20 2.18 3/183 3318 /proc/meminfo: memFree=28134984/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1327684 CPUtime=102.27 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 272940 0 0 0 10189 38 0 0 20 0 4 0 106936449 1359548416 273238 33554432000 4194304 16246674 140733705623552 140733705605440 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 331921 273238 913 2943 0 328815 0 [pid=3312/tid=3313] ppid=3309 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1359548416 273238 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1359548416 273238 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1359548416 273238 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1327684 ################ # More data... # ################ /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1347140 [startup+1302.3 s] /proc/loadavg: 2.31 2.26 2.19 3/183 3371 /proc/meminfo: memFree=28056188/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1302.09 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 277995 0 0 0 130161 48 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140733705605440 5829569 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278293 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.34 2.28 2.20 3/183 3372 /proc/meminfo: memFree=28056536/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1362.08 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 277995 0 0 0 136160 48 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140733705605440 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278293 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278293 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.23 2.26 2.19 3/183 3373 /proc/meminfo: memFree=28056808/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1422.06 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278004 0 0 0 142158 48 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 1347140 [startup+1482.3 s] /proc/loadavg: 2.23 2.25 2.19 3/183 3374 /proc/meminfo: memFree=28056840/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1482.05 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278026 0 0 0 148156 49 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 5661989 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 1347140 [startup+1542.3 s] /proc/loadavg: 2.25 2.25 2.19 3/183 3375 /proc/meminfo: memFree=28056624/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1542.02 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278061 0 0 0 154153 49 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 1347140 [startup+1602.3 s] /proc/loadavg: 2.15 2.22 2.18 3/183 3379 /proc/meminfo: memFree=28056740/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1601.98 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278097 0 0 0 160148 50 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 5598436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.98 Current children cumulated vsize (KiB) 1347140 [startup+1662.3 s] /proc/loadavg: 2.20 2.22 2.18 3/183 3381 /proc/meminfo: memFree=28056396/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1661.97 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278134 0 0 0 166145 52 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 1347140 [startup+1722.3 s] /proc/loadavg: 2.26 2.24 2.19 3/183 3382 /proc/meminfo: memFree=28056244/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1721.95 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278164 0 0 0 172142 53 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 13774460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 1347140 [startup+1782.31 s] /proc/loadavg: 2.23 2.24 2.18 3/183 3383 /proc/meminfo: memFree=28055860/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1781.93 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278195 0 0 0 178140 53 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 12467372 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1347140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.16 2.22 2.18 3/183 3432 /proc/meminfo: memFree=28145976/32872528 swapFree=16080/1655368 [pid=3312] ppid=3309 vsize=1347140 CPUtime=1800.01 cores=1,3,5,7 /proc/3312/stat : 3312 (toysat) R 3309 3312 32454 0 -1 4202496 278209 0 0 0 179948 53 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140733705605440 5601643 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/3312/statm: 336785 278296 914 2943 0 333679 0 [pid=3312/tid=3313] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3313/stat : 3313 (toysat) S 3309 3312 32454 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083082538224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=3312/tid=3314] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3314/stat : 3314 (toysat) S 3309 3312 32454 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083072048368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=3312/tid=3315] ppid=3309 vsize=1347140 CPUtime=0 cores=1,3,5,7 /proc/3312/task/3315/stat : 3315 (toysat) S 3309 3312 32454 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 106936449 1379471360 278296 33554432000 4194304 16246674 140733705623552 140083061574832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1347140 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 3312 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.43 CPU time (s): 1800.04 CPU user time (s): 1799.49 CPU system time (s): 0.553915 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 1347140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.553915 maximum resident set size= 1113184 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278209 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= 229 involuntary context switches= 1856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.48632 second user time and 7.07092 second system time The end
Begin job on node122 at 2016-06-06 23:53:49 IDJOB=4079845 IDBENCH=24997 IDSOLVER=2542 FILE ID=node122/4079845-1465250029 RUNJOBID= node122-1465218907-32471 PBS_JOBID= 19843205 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079845-1465250029/watcher-4079845-1465250029 -o /tmp/evaluation-result-4079845-1465250029/solver-4079845-1465250029 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465218907-32471 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079845-1465250029.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED=2011137103 node122.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.898 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.79 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.898 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.898 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.54 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.898 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.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.898 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.898 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29263236 kB Buffers: 58120 kB Cached: 110648 kB SwapCached: 860 kB Active: 1161224 kB Inactive: 87944 kB Active(anon): 1081100 kB Inactive(anon): 1584 kB Active(file): 80124 kB Inactive(file): 86360 kB Unevictable: 1655368 kB Mlocked: 16080 kB SwapTotal: 67108856 kB SwapFree: 67099464 kB Dirty: 33872 kB Writeback: 0 kB AnonPages: 2708380 kB Mapped: 10904 kB Shmem: 0 kB Slab: 568840 kB SReclaimable: 12840 kB SUnreclaim: 556000 kB KernelStack: 1528 kB PageTables: 9268 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2882184 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1615872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node122 at 2016-06-07 00:23:49