| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos5.opb |
| MD5SUM | 687e90f40c46b53feec9c54ee9b43fa6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 15360 |
| Best CPU time to get the best result obtained on this benchmark | 465.143 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 15360 |
| Optimality of the best value was proved | NO |
| Number of variables | 163 |
| Total number of constraints | 73 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 3 |
| Number of constraints which are nor clauses,nor cardinality constraints | 70 |
| Minimum length of a constraint | 11 |
| Maximum length of a constraint | 102 |
| Number of terms in the objective function | 163 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 74742 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 8192 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 74742 |
| Number of bits of the biggest sum of numbers | 17 |
| 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-06T16:24:53+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-4079475-1465223093.opb"] 0.00/0.01 c use --random-gen="3457463297 954596257 331385277 648546081 2749599103 4166576892 4199733379 1438658043 1501756887 2278565558 2495440598 2097025016 1187651620 2635309729 3053710597 387295221 3161695461 3780687875 2224239789 3112528220 2890004523 4073485492 1246647600 1116453028 1482500761 1040316068 2352835058 1819451377 998746224 2247515280 1658169271 25935438 2756293512 1610005179 549814909 3286551300 250208678 2536828304 1177159260 475444347 1090534457 2357483925 3157276446 1928371735 3666609201 2461338647 3015546059 3896112042 3313716183 1783696342 278074434 4157786939 2613316623 1144769707 1708765401 3078509841 4032776249 4094667936 2395959711 1301364009 2140304581 372194390 1186982606 3485198110 573128157 2989224787 3296645953 2078539021 296271393 723289080 677833449 1937229193 1441186781 3743058151 2011336290 3354414397 1756052564 2420641374 949685513 3684765546 287939846 140013081 2878005286 1651427615 1977142131 1431519996 3724678900 4154870578 4103767386 277767406 1402977264 3909073312 408607795 515020243 69589990 158600042 1902139965 246405805 3219669378 873939493 1068491668 3744078064 708994495 4222562084 2197720607 1747639396 391467637 3038997047 1912177101 2754481735 2062234055 3596774894 466662850 48549029 2800675141 3050827495 471631238 2469352210 3957496110 3327940754 1582713971 639797183 2203876295 2502090112 2585849135 3158884196 118608884 2869155794 2085367783 2405463106 78931125 2598275737 3904515048 215201016 1190215874 2113380338 2827892915 2212280213 1479151167 2869448093 310046943 3254474402 1319898628 3152273525 802543224 3589109949 343171854 280924388 4207883283 2500102393 1975875089 2021240347 1866695111 3853724435 3064588468 328067906 3964147526 4143068373 1420772825 2057951611 161695570 2649719523 2883621723 3063411697 3196551622 2989353541 3656463916 521184410 2930488955 2806027261 2963702257 720238682 3064221169 1848607300 498869612 1653009840 3704238294 2821070158 4036179117 559218073 589771116 2156189125 1325309749 1258923358 2255571315 3996205157 1558641452 3703136518 3643558902 3650616648 2903939880 1450407350 359843312 3803503836 2797132395 482424648 4269669955 1878959511 2809007089 3818223841 3799956981 2843726549 2861344483 1935369152 2924361929 1008176338 2071018344 2991910814 511500724 3068480446 3025051829 1410739992 237699182 2296428730 4213336083 1315426070 3891418275 1773688868 2332850092 2911911114 775936654 1892812728 1575713151 2047676667 582109178 4256805240 1091281474 4131222245 2246909908 3216549185 547692000 2760594475 3757299543 1507281148 1313591719 2895909214 2382045165 3271131340 1024799328 2169433411 1949013942 3681539514 3607251108 2570201804 1614464624 1152679715 2238660982 2435053036 683241915 1077647557 419682535 3187513912 2727181093 3423098652 2683311381 4034601307 255 362436" option to reproduce the execution 0.00/0.02 c #vars 163 0.00/0.02 c #constraints 73 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.04 c 0.0s | 0 | 0 | 0 | 78 0 | 0 | 0 0.00/0.04 c 0.0s | 0 | 63 | 0 | 78 0 | 0 | 0 0.00/0.04 c #cpu_time = 0.003s 0.00/0.04 c #wall_clock_time = 0.003s 0.00/0.04 c #decision = 63 0.00/0.04 c #random_decision = 0 0.00/0.04 c #conflict = 0 0.00/0.04 c #restart = 0 0.00/0.04 o 64512 0.00/0.04 c BCD2: updating upper bound: 74742 -> 64511 0.00/0.05 c BCD2: 0 <= obj <= 64511 0.00/0.05 c BCD2: #cores=0, #unrelaxed=163, #relaxed=0, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 78 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 142 | 0 | 78 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 142 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 c BCD2: found a new core of size 32: cost of the new core is >=256 0.00/0.05 c lower bound updated to 256 0.00/0.05 c BCD2: 256 <= obj <= 64511 0.00/0.05 c BCD2: #cores=1, #unrelaxed=131, #relaxed=32, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 78 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 164 | 14 | 78 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.006s 0.00/0.06 c #wall_clock_time = 0.006s 0.00/0.06 c #decision = 164 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 14 0.00/0.06 c #restart = 0 0.00/0.06 o 18432 0.00/0.06 c BCD2: updating upper bound: 64511 -> 18431 0.00/0.06 c BCD2: 256 <= obj <= 18431 0.00/0.06 c BCD2: #cores=1, #unrelaxed=131, #relaxed=32, #hardened=0 0.00/0.06 c BCD2: #sat=2 #unsat=2 bias=2/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 78 0 | 0 | 1 0.00/0.08 c 0.0s | 1 | 246 | 100 | 86 0 | 0 | 1 0.09/0.11 c 0.1s | 2 | 536 | 250 | 95 1 | 0 | 1 0.09/0.17 c 0.1s | 3 | 909 | 475 | 105 4 | 0 | 1 0.19/0.26 c 0.2s | 4 | 1397 | 813 | 116 7 | 0 | 1 0.29/0.33 c 0.3s | 4 | 1824 | 1100 | 116 10 | 0 | 1 0.29/0.33 c #cpu_time = 0.270s 0.29/0.33 c #wall_clock_time = 0.271s 0.29/0.33 c #decision = 1824 0.29/0.33 c #random_decision = 2 0.29/0.33 c #conflict = 1100 0.29/0.33 c #restart = 4 0.29/0.33 c BCD2: relaxing 67 and merging with 1 cores into a new core of size 99: cost of the new core is >=288 0.29/0.33 c lower bound updated to 288 0.29/0.33 c BCD2: 288 <= obj <= 18431 0.29/0.33 c BCD2: #cores=1, #unrelaxed=64, #relaxed=99, #hardened=0 0.29/0.33 c BCD2: #sat=2 #unsat=3 bias=3/5 0.29/0.33 c Solving starts ... 0.29/0.33 c ============================[ Search Statistics ]============================ 0.29/0.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.33 c | | | | Limit GC | Var | Constra 0.29/0.33 c ============================================================================= 0.29/0.33 c 0.0s | 0 | 0 | 0 | 116 0 | 2 | 1 0.29/0.37 c 0.0s | 1 | 271 | 100 | 116 0 | 2 | 4 0.39/0.45 c 0.1s | 2 | 524 | 250 | 128 1 | 2 | 4 0.49/0.56 c 0.2s | 3 | 835 | 475 | 128 3 | 2 | 4 0.69/0.73 c 0.4s | 4 | 1259 | 813 | 128 7 | 2 | 4 0.89/0.97 c 0.6s | 5 | 1842 | 1320 | 141 11 | 2 | 4 1.19/1.27 c 0.9s | 6 | 2688 | 2081 | 141 18 | 2 | 4 1.79/1.81 c 1.5s | 7 | 3923 | 3223 | 156 28 | 2 | 4 2.30/2.35 c 2.0s | 8 | 5752 | 4936 | 172 42 | 2 | 4 3.09/3.19 c 2.9s | 9 | 8556 | 7506 | 190 62 | 2 | 4 4.40/4.47 c 4.1s | 10 | 12511 | 11361 | 210 90 | 2 | 4 6.39/6.44 c 6.1s | 11 | 20692 | 17144 | 232 130 | 2 | 4 8.39/8.47 c 8.1s | 11 | 30449 | 22944 | 232 167 | 2 | 4 9.39/9.43 c 9.1s | 12 | 35672 | 25819 | 256 185 | 2 | 4 11.39/11.43 c 11.1s | 12 | 45558 | 31619 | 256 220 | 2 | 4 13.39/13.45 c 13.1s | 12 | 56060 | 37419 | 256 255 | 2 | 4 13.89/13.97 c 13.6s | 13 | 58637 | 38832 | 282 263 | 2 | 4 15.89/15.98 c 15.6s | 13 | 68419 | 44632 | 282 296 | 2 | 4 17.99/18.02 c 17.7s | 13 | 76495 | 50132 | 282 326 | 2 | 4 19.99/20.05 c 19.7s | 13 | 84495 | 55532 | 282 357 | 2 | 4 21.09/21.11 c 20.8s | 14 | 88362 | 58352 | 311 372 | 2 | 4 23.09/23.12 c 22.8s | 14 | 99925 | 64252 | 311 402 | 2 | 4 25.09/25.13 c 24.8s | 14 | 111229 | 70152 | 311 433 | 2 | 4 27.08/27.15 c 26.8s | 14 | 121153 | 76052 | 311 464 | 2 | 4 29.08/29.18 c 28.8s | 14 | 130182 | 81452 | 311 492 | 2 | 4 31.18/31.22 c 30.9s | 14 | 138753 | 86952 | 343 520 | 2 | 4 31.48/31.50 c 31.2s | 15 | 139608 | 87632 | 343 524 | 2 | 4 33.48/33.50 c 33.2s | 15 | 149569 | 93432 | 343 552 | 2 | 4 35.48/35.53 c 35.2s | 15 | 158203 | 99032 | 343 579 | 2 | 4 37.49/37.53 c 37.2s | 15 | 165029 | 104132 | 343 604 | 2 | 4 39.48/39.55 c 39.2s | 15 | 174356 | 110032 | 343 632 | 2 | 4 41.48/41.57 c 41.2s | 15 | 184577 | 115832 | 343 660 | 2 | 4 43.48/43.58 c 43.2s | 15 | 194809 | 121732 | 343 688 | 2 | 4 45.58/45.60 c 45.3s | 15 | 203986 | 127532 | 343 716 | 2 | 4 46.98/47.09 c 46.8s | 16 | 209869 | 131552 | 378 735 | 2 | 4 49.08/49.10 c 48.8s | 16 | 215984 | 136552 | 378 757 | 2 | 4 51.08/51.11 c 50.8s | 16 | 226298 | 142052 | 378 782 | 2 | 4 53.08/53.14 c 52.8s | 16 | 234875 | 147552 | 378 806 | 2 | 4 55.09/55.15 c 54.8s | 16 | 242830 | 152652 | 378 829 | 2 | 4 57.08/57.15 c 56.8s | 16 | 251045 | 157852 | 378 852 | 2 | 4 59.08/59.18 c 58.8s | 16 | 257831 | 162752 | 378 874 | 2 | 4 61.08/61.18 c 60.8s | 16 | 267168 | 168052 | 378 898 | 2 | 4 63.18/63.21 c 62.9s | 16 | 274207 | 173052 | 378 920 | 2 | 4 65.18/65.21 c 64.9s | 16 | 283242 | 178452 | 378 944 | 2 | 4 67.18/67.24 c 66.9s | 16 | 293094 | 184052 | 378 969 | 2 | 4 69.18/69.26 c 68.9s | 16 | 301267 | 189352 | 378 992 | 2 | 4 71.18/71.29 c 71.0s | 16 | 309984 | 194752 | 378 1016 | 2 | 4 72.28/72.36 c 72.0s | 17 | 313492 | 197432 | 416 1027 | 2 | 4 74.27/74.39 c 74.1s | 17 | 323091 | 202932 | 416 1050 | 2 | 4 76.27/76.40 c 76.1s | 17 | 332951 | 208732 | 416 1073 | 2 | 4 78.37/78.43 c 78.1s | 17 | 343936 | 215032 | 416 1099 | 2 | 4 80.38/80.44 c 80.1s | 17 | 352052 | 220732 | 416 1123 | 2 | 4 82.37/82.44 c 82.1s | 17 | 361453 | 225932 | 416 1144 | 2 | 4 84.37/84.48 c 84.1s | 17 | 368420 | 230932 | 416 1165 | 2 | 4 86.47/86.52 c 86.2s | 17 | 376871 | 236232 | 416 1186 | 2 | 4 88.47/88.53 c 88.2s | 17 | 385344 | 241532 | 416 1208 | 2 | 4 90.47/90.54 c 90.2s | 17 | 394138 | 247032 | 416 1231 | 2 | 4 92.48/92.55 c 92.2s | 17 | 404755 | 253032 | 416 1255 | 2 | 4 94.47/94.57 c 94.2s | 17 | 413933 | 258532 | 416 1278 | 2 | 4 96.47/96.58 c 96.2s | 17 | 423049 | 263932 | 416 1300 | 2 | 4 98.57/98.60 c 98.3s | 17 | 431053 | 269332 | 416 1322 | 2 | 4 100.57/100.63 c 100s | 17 | 440456 | 274832 | 416 1345 | 2 | 4 102.57/102.65 c 102s | 17 | 447542 | 279932 | 416 1366 | 2 | 4 104.58/104.69 c 104s | 17 | 455762 | 285432 | 416 1388 | 2 | 4 106.68/106.71 c 106s | 17 | 462578 | 290632 | 416 1410 | 2 | 4 108.68/108.76 c 108s | 17 | 469811 | 295632 | 458 1429 | 2 | 4 108.88/108.99 c 108s | 18 | 470675 | 296252 | 458 1432 | 2 | 4 110.97/111.02 c 110s | 18 | 479835 | 301452 | 458 1451 | 2 | 4 112.97/113.04 c 112s | 18 | 486785 | 306552 | 458 1470 | 2 | 4 114.97/115.05 c 114s | 18 | 495463 | 311952 | 458 1491 | 2 | 4 116.97/117.05 c 116s | 18 | 504566 | 317252 | 458 1511 | 2 | 4 118.97/119.07 c 118s | 18 | 512144 | 322452 | 458 1530 | 2 | 4 121.08/121.10 c 120s | 18 | 519699 | 327752 | 458 1550 | 2 | 4 123.07/123.11 c 122s | 18 | 526481 | 332752 | 458 1569 | 2 | 4 125.07/125.13 c 124s | 18 | 534265 | 337852 | 458 1588 | 2 | 4 127.07/127.16 c 126s | 18 | 541244 | 342752 | 458 1607 | 2 | 4 129.07/129.19 c 128s | 18 | 548914 | 347852 | 458 1626 | 2 | 4 131.17/131.21 c 130s | 18 | 555346 | 352752 | 458 1645 | 2 | 4 133.17/133.22 c 132s | 18 | 561852 | 357552 | 458 1663 | 2 | 4 135.17/135.24 c 134s | 18 | 568207 | 362552 | 458 1682 | 2 | 4 137.17/137.24 c 136s | 18 | 573967 | 367452 | 458 1701 | 2 | 4 139.17/139.26 c 138s | 18 | 580240 | 372352 | 458 1720 | 2 | 4 141.17/141.27 c 140s | 18 | 588862 | 377352 | 458 1738 | 2 | 4 143.17/143.28 c 142s | 18 | 596513 | 382352 | 458 1758 | 2 | 4 145.17/145.30 c 144s | 18 | 604684 | 387652 | 458 1778 | 2 | 4 147.26/147.30 c 146s | 18 | 614251 | 392952 | 458 1798 | 2 | 4 149.26/149.32 c 148s | 18 | 623306 | 398052 | 458 1817 | 2 | 4 151.26/151.34 c 151s | 18 | 630761 | 402952 | 458 1836 | 2 | 4 153.26/153.38 c 153s | 18 | 639640 | 408152 | 458 1856 | 2 | 4 155.36/155.42 c 155s | 18 | 648717 | 413552 | 458 1876 | 2 | 4 157.37/157.42 c 157s | 18 | 657785 | 418852 | 458 1896 | 2 | 4 159.36/159.44 c 159s | 18 | 666646 | 424052 | 458 1916 | 2 | 4 161.36/161.48 c 161s | 18 | 674605 | 429252 | 458 1935 | 2 | 4 163.46/163.50 c 163s | 18 | 683147 | 434752 | 458 1956 | 2 | 4 165.46/165.53 c 165s | 18 | 694718 | 440552 | 504 1978 | 2 | 4 166.86/166.98 c 166s | 19 | 701261 | 444482 | 504 1992 | 2 | 4 168.86/168.99 c 168s | 19 | 712113 | 450382 | 504 2012 | 2 | 4 170.95/171.00 c 170s | 19 | 722628 | 456382 | 504 2033 | 2 | 4 172.95/173.02 c 172s | 19 | 732909 | 462482 | 504 2054 | 2 | 4 174.96/175.02 c 174s | 19 | 741699 | 468282 | 504 2074 | 2 | 4 176.95/177.04 c 176s | 19 | 749050 | 474382 | 504 2096 | 2 | 4 178.95/179.04 c 178s | 19 | 758705 | 480182 | 504 2115 | 2 | 4 180.95/181.07 c 180s | 19 | 768484 | 486282 | 504 2136 | 2 | 4 182.95/183.08 c 182s | 19 | 780976 | 492382 | 504 2158 | 2 | 4 184.95/185.08 c 184s | 19 | 789758 | 497982 | 504 2177 | 2 | 4 186.96/187.10 c 186s | 19 | 798039 | 503582 | 504 2197 | 2 | 4 189.05/189.13 c 188s | 19 | 805934 | 509482 | 504 2217 | 2 | 4 191.05/191.15 c 190s | 19 | 814218 | 515682 | 504 2238 | 2 | 4 193.05/193.16 c 192s | 19 | 822978 | 521582 | 504 2259 | 2 | 4 195.05/195.19 c 194s | 19 | 831226 | 527282 | 504 2278 | 2 | 4 197.15/197.21 c 196s | 19 | 838973 | 532982 | 504 2298 | 2 | 4 199.15/199.23 c 198s | 19 | 847802 | 539082 | 504 2319 | 2 | 4 201.14/201.24 c 200s | 19 | 858758 | 545482 | 504 2341 | 2 | 4 203.14/203.25 c 202s | 19 | 866975 | 551582 | 504 2362 | 2 | 4 205.14/205.26 c 204s | 19 | 873918 | 556982 | 504 2381 | 2 | 4 207.14/207.26 c 206s | 19 | 883861 | 562582 | 504 2400 | 2 | 4 209.14/209.27 c 208s | 19 | 892437 | 568382 | 504 2421 | 2 | 4 211.15/211.29 c 210s | 19 | 902748 | 575282 | 504 2445 | 2 | 4 213.14/213.29 c 212s | 19 | 911416 | 581482 | 504 2466 | 2 | 4 215.24/215.30 c 214s | 19 | 922248 | 587682 | 504 2487 | 2 | 4 217.24/217.31 c 216s | 19 | 930714 | 593282 | 504 2507 | 2 | 4 219.24/219.33 c 218s | 19 | 939499 | 599082 | 504 2527 | 2 | 4 221.24/221.35 c 221s | 19 | 948711 | 604782 | 504 2547 | 2 | 4 223.24/223.36 c 223s | 19 | 957917 | 610382 | 504 2566 | 2 | 4 225.24/225.37 c 225s | 19 | 967104 | 616282 | 504 2587 | 2 | 4 227.34/227.41 c 227s | 19 | 976543 | 622582 | 504 2609 | 2 | 4 229.33/229.41 c 229s | 19 | 987016 | 628482 | 504 2630 | 2 | 4 231.33/231.44 c 231s | 19 | 997258 | 634682 | 504 2651 | 2 | 4 233.33/233.44 c 233s | 19 | 1007214 | 640882 | 504 2673 | 2 | 4 235.34/235.44 c 235s | 19 | 1017549 | 647382 | 504 2695 | 2 | 4 237.33/237.47 c 237s | 19 | 1025886 | 653682 | 504 2718 | 2 | 4 239.43/239.50 c 239s | 19 | 1036390 | 659582 | 504 2738 | 2 | 4 241.43/241.53 c 241s | 19 | 1045935 | 664982 | 555 2755 | 2 | 4 242.03/242.19 c 241s | 20 | 1049133 | 666827 | 555 2761 | 2 | 4 244.03/244.19 c 243s | 20 | 1059158 | 672227 | 555 2778 | 2 | 4 246.13/246.20 c 245s | 20 | 1068001 | 677727 | 555 2796 | 2 | 4 248.13/248.21 c 247s | 20 | 1076885 | 682827 | 555 2812 | 2 | 4 250.12/250.21 c 249s | 20 | 1085652 | 688127 | 555 2829 | 2 | 4 252.12/252.22 c 251s | 20 | 1092577 | 693027 | 555 2845 | 2 | 4 254.13/254.22 c 253s | 20 | 1100117 | 698227 | 555 2862 | 2 | 4 256.12/256.22 c 255s | 20 | 1110121 | 704027 | 555 2880 | 2 | 4 258.13/258.24 c 257s | 20 | 1120969 | 710127 | 555 2899 | 2 | 4 260.13/260.26 c 259s | 20 | 1131766 | 715727 | 555 2917 | 2 | 4 262.23/262.30 c 261s | 20 | 1140265 | 721227 | 555 2935 | 2 | 4 264.23/264.33 c 263s | 20 | 1148242 | 726527 | 555 2952 | 2 | 4 266.24/266.34 c 266s | 20 | 1157934 | 732027 | 555 2969 | 2 | 4 268.23/268.35 c 268s | 20 | 1166927 | 737127 | 555 2986 | 2 | 4 270.22/270.37 c 270s | 20 | 1174794 | 742127 | 555 3002 | 2 | 4 272.32/272.41 c 272s | 20 | 1184275 | 747427 | 555 3019 | 2 | 4 274.32/274.42 c 274s | 20 | 1192542 | 752427 | 555 3035 | 2 | 4 276.32/276.46 c 276s | 20 | 1200958 | 757627 | 555 3051 | 2 | 4 278.33/278.49 c 278s | 20 | 1209896 | 762827 | 555 3068 | 2 | 4 280.42/280.51 c 280s | 20 | 1217235 | 767727 | 555 3083 | 2 | 4 282.42/282.54 c 282s | 20 | 1225028 | 772727 | 555 3099 | 2 | 4 284.42/284.55 c 284s | 20 | 1231928 | 777627 | 555 3115 | 2 | 4 286.42/286.59 c 286s | 20 | 1238442 | 782727 | 555 3132 | 2 | 4 288.52/288.60 c 288s | 20 | 1246428 | 788027 | 555 3149 | 2 | 4 290.51/290.61 c 290s | 20 | 1252695 | 793727 | 555 3167 | 2 | 4 292.52/292.64 c 292s | 20 | 1260137 | 798927 | 555 3184 | 2 | 4 294.51/294.67 c 294s | 20 | 1267635 | 804027 | 555 3200 | 2 | 4 296.51/296.69 c 296s | 20 | 1276747 | 809627 | 555 3218 | 2 | 4 298.61/298.72 c 298s | 20 | 1286244 | 815027 | 555 3235 | 2 | 4 300.61/300.74 c 300s | 20 | 1294711 | 820327 | 555 3252 | 2 | 4 302.61/302.75 c 302s | 20 | 1303403 | 825727 | 555 3270 | 2 | 4 304.62/304.77 c 304s | 20 | 1313443 | 831427 | 555 3288 | 2 | 4 306.71/306.80 c 306s | 20 | 1322255 | 836927 | 555 3306 | 2 | 4 308.71/308.83 c 308s | 20 | 1331752 | 842327 | 555 3323 | 2 | 4 310.71/310.85 c 310s | 20 | 1339038 | 847527 | 555 3340 | 2 | 4 312.71/312.86 c 312s | 20 | 1346557 | 852727 | 555 3356 | 2 | 4 314.71/314.86 c 314s | 20 | 1356336 | 858527 | 555 3375 | 2 | 4 316.71/316.86 c 316s | 20 | 1365569 | 863927 | 555 3392 | 2 | 4 318.80/318.90 c 318s | 20 | 1374259 | 869227 | 555 3409 | 2 | 4 320.80/320.92 c 320s | 20 | 1381485 | 874627 | 555 3426 | 2 | 4 322.80/322.96 c 322s | 20 | 1388203 | 879627 | 555 3442 | 2 | 4 324.80/325.00 c 324s | 20 | 1396367 | 885027 | 555 3460 | 2 | 4 326.90/327.03 c 326s | 20 | 1406156 | 890427 | 555 3477 | 2 | 4 328.91/329.04 c 328s | 20 | 1413772 | 895427 | 555 3493 | 2 | 4 330.90/331.05 c 330s | 20 | 1421377 | 900627 | 555 3510 | 2 | 4 332.90/333.06 c 332s | 20 | 1428214 | 905827 | 555 3526 | 2 | 4 334.90/335.09 c 334s | 20 | 1436777 | 911327 | 555 3544 | 2 | 4 337.00/337.11 c 336s | 20 | 1444032 | 916527 | 555 3561 | 2 | 4 339.00/339.13 c 338s | 20 | 1452456 | 921627 | 555 3577 | 2 | 4 341.01/341.14 c 340s | 20 | 1461450 | 926927 | 555 3594 | 2 | 4 343.00/343.15 c 342s | 20 | 1468367 | 932027 | 555 3610 | 2 | 4 345.00/345.17 c 344s | 20 | 1475215 | 937027 | 555 3626 | 2 | 4 347.10/347.20 c 346s | 20 | 1481880 | 942027 | 555 3642 | 2 | 4 349.09/349.23 c 348s | 20 | 1488728 | 947127 | 555 3659 | 2 | 4 351.09/351.25 c 350s | 20 | 1495185 | 952227 | 555 3675 | 2 | 4 353.10/353.29 c 352s | 20 | 1501791 | 957427 | 555 3692 | 2 | 4 355.20/355.31 c 354s | 20 | 1510031 | 962627 | 555 3709 | 2 | 4 357.19/357.32 c 356s | 20 | 1516930 | 967627 | 555 3725 | 2 | 4 359.19/359.35 c 359s | 20 | 1523757 | 972527 | 555 3740 | 2 | 4 361.19/361.37 c 361s | 20 | 1530896 | 977627 | 555 3757 | 2 | 4 363.19/363.38 c 363s | 20 | 1540170 | 983027 | 555 3774 | 2 | 4 365.20/365.39 c 365s | 20 | 1547949 | 988127 | 555 3790 | 2 | 4 367.30/367.41 c 367s | 20 | 1555726 | 993627 | 611 3808 | 2 | 4 369.29/369.43 c 369s | 20 | 1563136 | 998827 | 611 3823 | 2 | 4 369.89/370.03 c 369s | 21 | 1565641 | 1000345 | 611 3827 | 2 | 4 371.89/372.04 c 371s | 21 | 1575626 | 1006145 | 611 3844 | 2 | 4 373.89/374.04 c 373s | 21 | 1583992 | 1011545 | 611 3860 | 2 | 4 375.88/376.06 c 375s | 21 | 1594335 | 1017145 | 611 3876 | 2 | 4 377.88/378.09 c 377s | 21 | 1604731 | 1022645 | 611 3893 | 2 | 4 379.98/380.12 c 379s | 21 | 1611861 | 1027645 | 611 3907 | 2 | 4 381.98/382.12 c 381s | 21 | 1620307 | 1032945 | 611 3923 | 2 | 4 383.98/384.13 c 383s | 21 | 1629109 | 1038645 | 611 3940 | 2 | 4 385.99/386.16 c 385s | 21 | 1637072 | 1044145 | 611 3956 | 2 | 4 387.98/388.19 c 387s | 21 | 1644626 | 1049845 | 611 3973 | 2 | 4 390.08/390.22 c 389s | 21 | 1653088 | 1056045 | 611 3991 | 2 | 4 392.08/392.24 c 391s | 21 | 1663360 | 1061945 | 611 4008 | 2 | 4 394.08/394.24 c 393s | 21 | 1673009 | 1068045 | 611 4026 | 2 | 4 396.08/396.26 c 395s | 21 | 1683213 | 1074045 | 611 4044 | 2 | 4 398.08/398.28 c 397s | 21 | 1691492 | 1079945 | 611 4061 | 2 | 4 400.17/400.31 c 399s | 21 | 1700496 | 1085945 | 611 4079 | 2 | 4 402.17/402.33 c 401s | 21 | 1708600 | 1091745 | 611 4096 | 2 | 4 404.17/404.34 c 404s | 21 | 1717688 | 1098245 | 611 4115 | 2 | 4 406.17/406.37 c 406s | 21 | 1726727 | 1105045 | 611 4135 | 2 | 4 408.18/408.39 c 408s | 21 | 1738056 | 1111145 | 611 4153 | 2 | 4 410.29/410.42 c 410s | 21 | 1748927 | 1117145 | 611 4171 | 2 | 4 412.28/412.45 c 412s | 21 | 1756441 | 1122545 | 611 4187 | 2 | 4 414.28/414.47 c 414s | 21 | 1763777 | 1128045 | 611 4203 | 2 | 4 416.38/416.50 c 416s | 21 | 1771674 | 1134045 | 611 4220 | 2 | 4 418.38/418.51 c 418s | 21 | 1781145 | 1140145 | 611 4239 | 2 | 4 420.38/420.53 c 420s | 21 | 1789298 | 1145645 | 611 4255 | 2 | 4 422.38/422.57 c 422s | 21 | 1798777 | 1151545 | 611 4272 | 2 | 4 424.38/424.58 c 424s | 21 | 1808650 | 1157545 | 611 4290 | 2 | 4 426.48/426.60 c 426s | 21 | 1817173 | 1163845 | 611 4308 | 2 | 4 428.47/428.62 c 428s | 21 | 1825766 | 1169445 | 611 4325 | 2 | 4 430.47/430.64 c 430s | 21 | 1834361 | 1175145 | 611 4342 | 2 | 4 432.47/432.65 c 432s | 21 | 1843068 | 1181045 | 611 4359 | 2 | 4 434.48/434.67 c 434s | 21 | 1852212 | 1186745 | 611 4376 | 2 | 4 436.47/436.68 c 436s | 21 | 1860627 | 1192945 | 611 4394 | 2 | 4 438.57/438.70 c 438s | 21 | 1869415 | 1199145 | 611 4413 | 2 | 4 440.57/440.71 c 440s | 21 | 1876572 | 1204945 | 611 4430 | 2 | 4 442.57/442.75 c 442s | 21 | 1884229 | 1210445 | 611 4446 | 2 | 4 444.57/444.77 c 444s | 21 | 1894202 | 1215945 | 611 4462 | 2 | 4 446.67/446.81 c 446s | 21 | 1900945 | 1221045 | 611 4477 | 2 | 4 448.67/448.82 c 448s | 21 | 1908628 | 1226845 | 611 4494 | 2 | 4 450.66/450.85 c 450s | 21 | 1916264 | 1233245 | 611 4513 | 2 | 4 452.66/452.86 c 452s | 21 | 1924860 | 1239445 | 611 4531 | 2 | 4 454.66/454.88 c 454s | 21 | 1934094 | 1245745 | 611 4550 | 2 | 4 456.76/456.91 c 456s | 21 | 1943556 | 1251545 | 611 4567 | 2 | 4 458.76/458.93 c 458s | 21 | 1953234 | 1257845 | 611 4586 | 2 | 4 460.76/460.95 c 460s | 21 | 1962555 | 1263745 | 611 4603 | 2 | 4 462.75/462.97 c 462s | 21 | 1971019 | 1269745 | 611 4621 | 2 | 4 464.75/464.99 c 464s | 21 | 1979494 | 1275945 | 611 4640 | 2 | 4 466.85/467.02 c 466s | 21 | 1987978 | 1281945 | 611 4657 | 2 | 4 468.85/469.06 c 468s | 21 | 1997575 | 1287845 | 611 4675 | 2 | 4 470.85/471.08 c 470s | 21 | 2008048 | 1293545 | 611 4691 | 2 | 4 472.86/473.08 c 472s | 21 | 2017822 | 1299245 | 611 4708 | 2 | 4 474.95/475.10 c 474s | 21 | 2025885 | 1304845 | 611 4724 | 2 | 4 476.95/477.12 c 476s | 21 | 2034421 | 1310745 | 611 4742 | 2 | 4 478.95/479.13 c 478s | 21 | 2043035 | 1316545 | 611 4759 | 2 | 4 480.94/481.14 c 480s | 21 | 2050558 | 1322045 | 611 4775 | 2 | 4 482.94/483.15 c 482s | 21 | 2059133 | 1327545 | 611 4791 | 2 | 4 484.95/485.16 c 484s | 21 | 2067770 | 1333645 | 611 4809 | 2 | 4 486.94/487.17 c 486s | 21 | 2077104 | 1339645 | 611 4827 | 2 | 4 489.04/489.20 c 488s | 21 | 2087781 | 1346045 | 611 4846 | 2 | 4 491.04/491.21 c 490s | 21 | 2096505 | 1351645 | 611 4862 | 2 | 4 493.04/493.22 c 492s | 21 | 2105289 | 1357645 | 611 4880 | 2 | 4 495.04/495.23 c 494s | 21 | 2113492 | 1363045 | 611 4895 | 2 | 4 497.04/497.23 c 496s | 21 | 2120813 | 1368345 | 611 4911 | 2 | 4 499.03/499.27 c 498s | 21 | 2129356 | 1374045 | 611 4928 | 2 | 4 501.03/501.29 c 500s | 21 | 2138866 | 1380445 | 611 4947 | 2 | 4 503.13/503.31 c 502s | 21 | 2146986 | 1386345 | 611 4964 | 2 | 4 505.13/505.35 c 505s | 21 | 2154741 | 1392145 | 611 4981 | 2 | 4 507.13/507.36 c 507s | 21 | 2162465 | 1397745 | 611 4997 | 2 | 4 509.13/509.40 c 509s | 21 | 2170723 | 1403045 | 611 5013 | 2 | 4 511.23/511.42 c 511s | 21 | 2179372 | 1409045 | 611 5031 | 2 | 4 513.23/513.45 c 513s | 21 | 2188935 | 1415945 | 611 5051 | 2 | 4 515.23/515.49 c 515s | 21 | 2197748 | 1421545 | 611 5068 | 2 | 4 517.33/517.51 c 517s | 21 | 2206434 | 1427345 | 611 5085 | 2 | 4 519.32/519.52 c 519s | 21 | 2215649 | 1433345 | 611 5102 | 2 | 4 521.33/521.52 c 521s | 21 | 2225647 | 1440445 | 611 5123 | 2 | 4 523.32/523.54 c 523s | 21 | 2234221 | 1446445 | 611 5141 | 2 | 4 525.32/525.55 c 525s | 21 | 2242735 | 1453045 | 611 5161 | 2 | 4 527.32/527.55 c 527s | 21 | 2253124 | 1459545 | 611 5180 | 2 | 4 529.32/529.57 c 529s | 21 | 2264062 | 1465345 | 611 5197 | 2 | 4 531.32/531.59 c 531s | 21 | 2273456 | 1470545 | 611 5213 | 2 | 4 533.32/533.59 c 533s | 21 | 2281563 | 1475845 | 611 5228 | 2 | 4 535.42/535.61 c 535s | 21 | 2291691 | 1481445 | 611 5245 | 2 | 4 537.43/537.61 c 537s | 21 | 2301325 | 1486745 | 611 5260 | 2 | 4 539.42/539.64 c 539s | 21 | 2309957 | 1491945 | 673 5275 | 2 | 4 541.42/541.65 c 541s | 21 | 2317753 | 1497145 | 673 5289 | 2 | 4 542.82/543.02 c 542s | 22 | 2323454 | 1500622 | 673 5298 | 2 | 4 544.82/545.02 c 544s | 22 | 2331659 | 1506122 | 673 5313 | 2 | 4 546.82/547.05 c 546s | 22 | 2338485 | 1511522 | 673 5327 | 2 | 4 548.82/549.07 c 548s | 22 | 2346520 | 1516822 | 673 5342 | 2 | 4 550.82/551.08 c 550s | 22 | 2356888 | 1522322 | 673 5357 | 2 | 4 552.82/553.08 c 552s | 22 | 2366068 | 1528022 | 673 5372 | 2 | 4 554.82/555.09 c 554s | 22 | 2376724 | 1533922 | 673 5388 | 2 | 4 556.92/557.10 c 556s | 22 | 2386074 | 1539722 | 673 5403 | 2 | 4 558.92/559.10 c 558s | 22 | 2395788 | 1545622 | 673 5419 | 2 | 4 560.92/561.13 c 560s | 22 | 2404438 | 1551722 | 673 5436 | 2 | 4 562.91/563.15 c 562s | 22 | 2414082 | 1558022 | 673 5453 | 2 | 4 564.91/565.16 c 564s | 22 | 2423849 | 1564422 | 673 5471 | 2 | 4 566.91/567.19 c 566s | 22 | 2433504 | 1570422 | 673 5486 | 2 | 4 568.91/569.19 c 568s | 22 | 2442547 | 1576222 | 673 5502 | 2 | 4 571.01/571.21 c 570s | 22 | 2453275 | 1582922 | 673 5520 | 2 | 4 573.02/573.22 c 572s | 22 | 2465801 | 1589122 | 673 5537 | 2 | 4 575.01/575.24 c 574s | 22 | 2475594 | 1594722 | 673 5552 | 2 | 4 577.01/577.25 c 576s | 22 | 2484430 | 1600122 | 673 5566 | 2 | 4 579.01/579.27 c 578s | 22 | 2491341 | 1604822 | 673 5579 | 2 | 4 581.10/581.30 c 580s | 22 | 2499104 | 1609722 | 673 5592 | 2 | 4 583.10/583.31 c 582s | 22 | 2506525 | 1615122 | 673 5607 | 2 | 4 585.11/585.33 c 584s | 22 | 2514463 | 1621022 | 673 5623 | 2 | 4 587.10/587.36 c 587s | 22 | 2523308 | 1626622 | 673 5638 | 2 | 4 589.10/589.38 c 589s | 22 | 2531186 | 1632122 | 673 5653 | 2 | 4 591.10/591.39 c 591s | 22 | 2538791 | 1637922 | 673 5668 | 2 | 4 593.20/593.43 c 593s | 22 | 2547692 | 1643622 | 673 5684 | 2 | 4 595.20/595.45 c 595s | 22 | 2558299 | 1649822 | 673 5700 | 2 | 4 597.21/597.48 c 597s | 22 | 2568848 | 1656122 | 673 5717 | 2 | 4 599.20/599.50 c 599s | 22 | 2578958 | 1662622 | 673 5735 | 2 | 4 601.30/601.51 c 601s | 22 | 2592926 | 1669322 | 673 5753 | 2 | 4 603.30/603.51 c 603s | 22 | 2603804 | 1674822 | 673 5768 | 2 | 4 605.30/605.52 c 605s | 22 | 2613678 | 1680522 | 673 5784 | 2 | 4 607.30/607.53 c 607s | 22 | 2624581 | 1686922 | 673 5801 | 2 | 4 609.30/609.55 c 609s | 22 | 2633795 | 1693422 | 673 5818 | 2 | 4 611.29/611.58 c 611s | 22 | 2644439 | 1699522 | 673 5835 | 2 | 4 613.39/613.61 c 613s | 22 | 2653446 | 1705722 | 673 5852 | 2 | 4 615.39/615.61 c 615s | 22 | 2662258 | 1711722 | 673 5868 | 2 | 4 617.39/617.63 c 617s | 22 | 2671260 | 1717322 | 673 5883 | 2 | 4 619.39/619.63 c 619s | 22 | 2679207 | 1722622 | 673 5898 | 2 | 4 621.39/621.65 c 621s | 22 | 2686804 | 1728522 | 673 5914 | 2 | 4 623.39/623.65 c 623s | 22 | 2695036 | 1734122 | 673 5929 | 2 | 4 625.39/625.66 c 625s | 22 | 2703545 | 1740522 | 673 5947 | 2 | 4 627.39/627.67 c 627s | 22 | 2712138 | 1746922 | 673 5964 | 2 | 4 629.38/629.68 c 629s | 22 | 2722816 | 1752122 | 673 5978 | 2 | 4 631.38/631.70 c 631s | 22 | 2731702 | 1757722 | 673 5993 | 2 | 4 633.49/633.72 c 633s | 22 | 2740665 | 1763422 | 673 6008 | 2 | 4 635.48/635.77 c 635s | 22 | 2748754 | 1769222 | 673 6024 | 2 | 4 637.48/637.78 c 637s | 22 | 2760382 | 1775122 | 673 6040 | 2 | 4 639.58/639.80 c 639s | 22 | 2767421 | 1780622 | 673 6054 | 2 | 4 641.58/641.84 c 641s | 22 | 2774644 | 1786322 | 673 6070 | 2 | 4 643.58/643.86 c 643s | 22 | 2782998 | 1791822 | 673 6084 | 2 | 4 645.58/645.88 c 645s | 22 | 2791506 | 1797622 | 673 6100 | 2 | 4 647.68/647.91 c 647s | 22 | 2801161 | 1803722 | 673 6116 | 2 | 4 649.67/649.91 c 649s | 22 | 2811431 | 1809622 | 673 6132 | 2 | 4 651.67/651.92 c 651s | 22 | 2820851 | 1815322 | 673 6148 | 2 | 4 653.67/653.94 c 653s | 22 | 2832539 | 1822122 | 673 6166 | 2 | 4 655.67/655.97 c 655s | 22 | 2841860 | 1828022 | 673 6182 | 2 | 4 657.68/657.97 c 657s | 22 | 2852996 | 1834222 | 673 6198 | 2 | 4 659.67/659.98 c 659s | 22 | 2864025 | 1840522 | 673 6215 | 2 | 4 661.77/662.01 c 661s | 22 | 2873649 | 1846522 | 673 6232 | 2 | 4 663.77/664.04 c 663s | 22 | 2882156 | 1852322 | 673 6247 | 2 | 4 665.76/666.06 c 665s | 22 | 2890992 | 1858222 | 673 6263 | 2 | 4 667.77/668.07 c 667s | 22 | 2899902 | 1863922 | 673 6278 | 2 | 4 669.78/670.07 c 669s | 22 | 2910032 | 1870122 | 673 6295 | 2 | 4 671.77/672.09 c 671s | 22 | 2918692 | 1876522 | 673 6313 | 2 | 4 673.87/674.11 c 673s | 22 | 2926888 | 1882122 | 673 6328 | 2 | 4 675.87/676.13 c 675s | 22 | 2934162 | 1887422 | 673 6342 | 2 | 4 677.87/678.14 c 677s | 22 | 2941308 | 1893222 | 673 6358 | 2 | 4 679.86/680.18 c 679s | 22 | 2949391 | 1899222 | 673 6374 | 2 | 4 681.87/682.19 c 681s | 22 | 2959210 | 1905722 | 673 6391 | 2 | 4 683.97/684.23 c 683s | 22 | 2967235 | 1911822 | 673 6408 | 2 | 4 685.96/686.24 c 685s | 22 | 2975084 | 1918322 | 673 6425 | 2 | 4 687.96/688.26 c 687s | 22 | 2983412 | 1924722 | 673 6443 | 2 | 4 689.96/690.29 c 689s | 22 | 2991138 | 1930822 | 673 6459 | 2 | 4 692.06/692.30 c 691s | 22 | 3000492 | 1937222 | 673 6476 | 2 | 4 694.06/694.33 c 693s | 22 | 3008566 | 1943222 | 673 6493 | 2 | 4 696.06/696.33 c 695s | 22 | 3016635 | 1949022 | 673 6508 | 2 | 4 698.05/698.34 c 698s | 22 | 3024395 | 1954522 | 673 6523 | 2 | 4 700.05/700.36 c 700s | 22 | 3033812 | 1960022 | 673 6538 | 2 | 4 702.05/702.38 c 702s | 22 | 3042657 | 1965722 | 673 6553 | 2 | 4 704.05/704.39 c 704s | 22 | 3050274 | 1970622 | 673 6567 | 2 | 4 706.06/706.39 c 706s | 22 | 3057884 | 1975922 | 673 6581 | 2 | 4 708.16/708.41 c 708s | 22 | 3065193 | 1981122 | 673 6595 | 2 | 4 710.15/710.44 c 710s | 22 | 3074013 | 1986522 | 673 6609 | 2 | 4 712.15/712.47 c 712s | 22 | 3081447 | 1991622 | 673 6623 | 2 | 4 714.15/714.49 c 714s | 22 | 3089237 | 1996722 | 673 6637 | 2 | 4 716.25/716.50 c 716s | 22 | 3098417 | 2001922 | 673 6651 | 2 | 4 718.25/718.50 c 718s | 22 | 3106320 | 2007122 | 673 6665 | 2 | 4 720.26/720.52 c 720s | 22 | 3114522 | 2012122 | 673 6678 | 2 | 4 722.25/722.55 c 722s | 22 | 3123510 | 2017122 | 673 6692 | 2 | 4 724.25/724.58 c 724s | 22 | 3130638 | 2021822 | 673 6704 | 2 | 4 726.25/726.59 c 726s | 22 | 3137970 | 2026522 | 673 6717 | 2 | 4 728.35/728.60 c 728s | 22 | 3145362 | 2031222 | 673 6730 | 2 | 4 730.35/730.61 c 730s | 22 | 3153456 | 2036122 | 673 6743 | 2 | 4 732.35/732.63 c 732s | 22 | 3161304 | 2041422 | 673 6757 | 2 | 4 734.35/734.65 c 734s | 22 | 3169955 | 2046822 | 673 6772 | 2 | 4 736.35/736.66 c 736s | 22 | 3178095 | 2051722 | 673 6785 | 2 | 4 738.35/738.67 c 738s | 22 | 3185839 | 2056822 | 673 6799 | 2 | 4 740.45/740.70 c 740s | 22 | 3194005 | 2062222 | 673 6813 | 2 | 4 742.45/742.73 c 742s | 22 | 3202356 | 2068022 | 673 6829 | 2 | 4 744.45/744.76 c 744s | 22 | 3209995 | 2073322 | 673 6844 | 2 | 4 746.44/746.79 c 746s | 22 | 3218065 | 2078322 | 673 6857 | 2 | 4 748.54/748.80 c 748s | 22 | 3227328 | 2083122 | 673 6870 | 2 | 4 750.54/750.84 c 750s | 22 | 3234993 | 2087922 | 673 6883 | 2 | 4 752.54/752.86 c 752s | 22 | 3241976 | 2092622 | 673 6896 | 2 | 4 754.54/754.88 c 754s | 22 | 3249915 | 2098222 | 673 6911 | 2 | 4 756.65/756.92 c 756s | 22 | 3259623 | 2104022 | 673 6926 | 2 | 4 758.64/758.95 c 758s | 22 | 3271640 | 2110222 | 673 6943 | 2 | 4 760.64/760.96 c 760s | 22 | 3280074 | 2116022 | 673 6959 | 2 | 4 762.64/762.97 c 762s | 22 | 3287652 | 2121122 | 673 6973 | 2 | 4 764.74/765.00 c 764s | 22 | 3295660 | 2126222 | 673 6986 | 2 | 4 766.74/767.04 c 766s | 22 | 3304337 | 2131422 | 673 7000 | 2 | 4 768.75/769.06 c 768s | 22 | 3311383 | 2136322 | 673 7014 | 2 | 4 770.74/771.07 c 770s | 22 | 3316923 | 2141222 | 673 7027 | 2 | 4 772.84/773.10 c 772s | 22 | 3325687 | 2146422 | 673 7041 | 2 | 4 774.84/775.12 c 774s | 22 | 3333475 | 2151722 | 673 7055 | 2 | 4 776.84/777.13 c 776s | 22 | 3340182 | 2156722 | 673 7069 | 2 | 4 778.85/779.14 c 778s | 22 | 3348710 | 2162122 | 673 7083 | 2 | 4 780.85/781.15 c 780s | 22 | 3356249 | 2167822 | 673 7099 | 2 | 4 782.84/783.18 c 782s | 22 | 3364862 | 2173222 | 673 7114 | 2 | 4 784.84/785.19 c 784s | 22 | 3372201 | 2178222 | 673 7127 | 2 | 4 786.94/787.21 c 786s | 22 | 3378148 | 2183122 | 673 7140 | 2 | 4 788.94/789.23 c 788s | 22 | 3387666 | 2189022 | 673 7156 | 2 | 4 790.94/791.26 c 790s | 22 | 3394561 | 2193922 | 673 7170 | 2 | 4 792.95/793.29 c 792s | 22 | 3402480 | 2199222 | 673 7184 | 2 | 4 795.05/795.32 c 794s | 22 | 3412835 | 2205222 | 673 7200 | 2 | 4 797.04/797.34 c 797s | 22 | 3420423 | 2210922 | 673 7216 | 2 | 4 799.04/799.37 c 799s | 22 | 3427624 | 2216422 | 673 7231 | 2 | 4 801.04/801.39 c 801s | 22 | 3435277 | 2222222 | 673 7247 | 2 | 4 803.14/803.40 c 803s | 22 | 3442793 | 2228122 | 673 7263 | 2 | 4 805.14/805.42 c 805s | 22 | 3450266 | 2233122 | 673 7276 | 2 | 4 807.15/807.45 c 807s | 22 | 3457429 | 2238722 | 741 7290 | 2 | 4 809.14/809.47 c 809s | 22 | 3464826 | 2244022 | 741 7303 | 2 | 4 811.24/811.50 c 811s | 22 | 3472157 | 2249522 | 741 7317 | 2 | 4 811.74/812.02 c 811s | 23 | 3474932 | 2251038 | 741 7321 | 2 | 4 813.75/814.02 c 813s | 23 | 3484996 | 2257138 | 741 7336 | 2 | 4 815.74/816.05 c 815s | 23 | 3492878 | 2262838 | 741 7350 | 2 | 4 817.74/818.08 c 817s | 23 | 3500914 | 2268938 | 741 7365 | 2 | 4 819.84/820.11 c 819s | 23 | 3508526 | 2274338 | 741 7378 | 2 | 4 821.84/822.13 c 821s | 23 | 3514319 | 2279438 | 741 7390 | 2 | 4 823.84/824.17 c 823s | 23 | 3522428 | 2284538 | 741 7403 | 2 | 4 825.84/826.17 c 825s | 23 | 3531540 | 2289638 | 741 7415 | 2 | 4 827.94/828.21 c 827s | 23 | 3540920 | 2294638 | 741 7428 | 2 | 4 829.93/830.25 c 829s | 23 | 3551638 | 2299938 | 741 7441 | 2 | 4 831.93/832.29 c 831s | 23 | 3560493 | 2304838 | 741 7453 | 2 | 4 833.93/834.29 c 833s | 23 | 3568848 | 2309738 | 741 7465 | 2 | 4 836.03/836.30 c 835s | 23 | 3575781 | 2314338 | 741 7476 | 2 | 4 838.04/838.33 c 837s | 23 | 3583770 | 2319238 | 741 7488 | 2 | 4 840.03/840.34 c 840s | 23 | 3593464 | 2325138 | 741 7503 | 2 | 4 842.03/842.36 c 842s | 23 | 3602740 | 2330338 | 741 7516 | 2 | 4 844.03/844.37 c 844s | 23 | 3612133 | 2335238 | 741 7528 | 2 | 4 846.13/846.41 c 846s | 23 | 3620448 | 2340238 | 741 7540 | 2 | 4 848.13/848.44 c 848s | 23 | 3627182 | 2345038 | 741 7552 | 2 | 4 850.14/850.45 c 850s | 23 | 3636882 | 2350238 | 741 7565 | 2 | 4 852.13/852.48 c 852s | 23 | 3646094 | 2355238 | 741 7577 | 2 | 4 854.13/854.48 c 854s | 23 | 3655295 | 2360138 | 741 7589 | 2 | 4 856.23/856.53 c 856s | 23 | 3662457 | 2364838 | 741 7601 | 2 | 4 858.23/858.55 c 858s | 23 | 3672373 | 2369638 | 741 7613 | 2 | 4 860.23/860.58 c 860s | 23 | 3679327 | 2374438 | 741 7625 | 2 | 4 862.33/862.61 c 862s | 23 | 3686659 | 2379138 | 741 7636 | 2 | 4 864.33/864.66 c 864s | 23 | 3694960 | 2384238 | 741 7649 | 2 | 4 866.33/866.69 c 866s | 23 | 3702533 | 2388938 | 741 7660 | 2 | 4 868.43/868.72 c 868s | 23 | 3709201 | 2393638 | 741 7672 | 2 | 4 870.43/870.74 c 870s | 23 | 3715149 | 2398638 | 741 7684 | 2 | 4 872.43/872.74 c 872s | 23 | 3721875 | 2403538 | 741 7696 | 2 | 4 874.43/874.75 c 874s | 23 | 3728789 | 2408338 | 741 7708 | 2 | 4 876.43/876.76 c 876s | 23 | 3736003 | 2413238 | 741 7720 | 2 | 4 878.42/878.78 c 878s | 23 | 3745392 | 2418238 | 741 7733 | 2 | 4 880.52/880.82 c 880s | 23 | 3753412 | 2423338 | 741 7745 | 2 | 4 882.52/882.83 c 882s | 23 | 3760326 | 2427938 | 741 7757 | 2 | 4 884.52/884.83 c 884s | 23 | 3768886 | 2432838 | 741 7769 | 2 | 4 886.52/886.85 c 886s | 23 | 3776165 | 2437538 | 741 7781 | 2 | 4 888.53/888.87 c 888s | 23 | 3784174 | 2442138 | 741 7792 | 2 | 4 890.52/890.87 c 890s | 23 | 3792503 | 2447038 | 741 7804 | 2 | 4 892.52/892.87 c 892s | 23 | 3801852 | 2451938 | 741 7816 | 2 | 4 894.52/894.87 c 894s | 23 | 3808919 | 2456738 | 741 7828 | 2 | 4 896.52/896.88 c 896s | 23 | 3818132 | 2462138 | 741 7841 | 2 | 4 898.62/898.91 c 898s | 23 | 3827480 | 2468038 | 741 7856 | 2 | 4 900.63/900.94 c 900s | 23 | 3836260 | 2473738 | 741 7870 | 2 | 4 902.62/902.95 c 902s | 23 | 3845350 | 2479738 | 741 7885 | 2 | 4 904.62/904.99 c 904s | 23 | 3854235 | 2485038 | 741 7898 | 2 | 4 906.72/907.02 c 906s | 23 | 3861950 | 2490238 | 741 7911 | 2 | 4 908.72/909.02 c 908s | 23 | 3869353 | 2495138 | 741 7923 | 2 | 4 910.72/911.05 c 910s | 23 | 3875930 | 2499938 | 741 7935 | 2 | 4 912.72/913.07 c 912s | 23 | 3884419 | 2504938 | 741 7947 | 2 | 4 914.82/915.10 c 914s | 23 | 3893758 | 2510338 | 741 7960 | 2 | 4 916.82/917.12 c 916s | 23 | 3904697 | 2516338 | 741 7975 | 2 | 4 918.82/919.15 c 918s | 23 | 3914126 | 2521538 | 741 7988 | 2 | 4 920.82/921.17 c 920s | 23 | 3922517 | 2526438 | 741 8000 | 2 | 4 922.82/923.17 c 922s | 23 | 3931702 | 2531638 | 741 8013 | 2 | 4 924.82/925.17 c 924s | 23 | 3939577 | 2536538 | 741 8025 | 2 | 4 926.82/927.19 c 926s | 23 | 3948748 | 2541938 | 741 8038 | 2 | 4 928.92/929.20 c 928s | 23 | 3957960 | 2547338 | 741 8051 | 2 | 4 930.92/931.20 c 930s | 23 | 3965379 | 2552438 | 741 8064 | 2 | 4 932.92/933.21 c 932s | 23 | 3974760 | 2558038 | 741 8078 | 2 | 4 934.91/935.23 c 934s | 23 | 3982706 | 2563238 | 741 8091 | 2 | 4 936.92/937.23 c 936s | 23 | 3990026 | 2568138 | 741 8103 | 2 | 4 938.91/939.24 c 938s | 23 | 3997799 | 2573438 | 741 8116 | 2 | 4 940.91/941.28 c 940s | 23 | 4006394 | 2579538 | 741 8131 | 2 | 4 942.91/943.29 c 942s | 23 | 4014161 | 2585038 | 741 8145 | 2 | 4 945.01/945.31 c 944s | 23 | 4022891 | 2590238 | 741 8158 | 2 | 4 947.01/947.34 c 947s | 23 | 4031823 | 2595238 | 741 8170 | 2 | 4 949.02/949.37 c 949s | 23 | 4039292 | 2600238 | 741 8182 | 2 | 4 951.01/951.37 c 951s | 23 | 4046677 | 2605838 | 741 8196 | 2 | 4 953.01/953.39 c 953s | 23 | 4056361 | 2611338 | 741 8210 | 2 | 4 955.11/955.40 c 955s | 23 | 4064633 | 2616538 | 741 8222 | 2 | 4 957.11/957.44 c 957s | 23 | 4073006 | 2621738 | 741 8235 | 2 | 4 959.11/959.47 c 959s | 23 | 4082850 | 2627638 | 741 8250 | 2 | 4 961.11/961.47 c 961s | 23 | 4091690 | 2633338 | 741 8264 | 2 | 4 963.11/963.49 c 963s | 23 | 4099199 | 2638238 | 741 8276 | 2 | 4 965.21/965.52 c 965s | 23 | 4106970 | 2644238 | 741 8291 | 2 | 4 967.21/967.55 c 967s | 23 | 4114352 | 2649538 | 741 8304 | 2 | 4 969.21/969.58 c 969s | 23 | 4122107 | 2655038 | 741 8318 | 2 | 4 971.31/971.61 c 971s | 23 | 4129665 | 2660838 | 741 8332 | 2 | 4 973.31/973.61 c 973s | 23 | 4136978 | 2666538 | 741 8347 | 2 | 4 975.31/975.62 c 975s | 23 | 4145234 | 2672538 | 741 8362 | 2 | 4 977.32/977.63 c 977s | 23 | 4152401 | 2678338 | 741 8376 | 2 | 4 979.32/979.66 c 979s | 23 | 4160408 | 2684738 | 741 8392 | 2 | 4 981.31/981.68 c 981s | 23 | 4169163 | 2689938 | 741 8405 | 2 | 4 983.41/983.71 c 983s | 23 | 4179041 | 2695738 | 741 8420 | 2 | 4 985.42/985.75 c 985s | 23 | 4187092 | 2701338 | 741 8434 | 2 | 4 987.41/987.76 c 987s | 23 | 4195220 | 2706938 | 741 8448 | 2 | 4 989.41/989.77 c 989s | 23 | 4203921 | 2712138 | 741 8461 | 2 | 4 991.41/991.79 c 991s | 23 | 4212429 | 2718038 | 741 8475 | 2 | 4 993.41/993.79 c 993s | 23 | 4219784 | 2723538 | 741 8489 | 2 | 4 995.51/995.81 c 995s | 23 | 4227912 | 2729238 | 741 8503 | 2 | 4 997.52/997.84 c 997s | 23 | 4237126 | 2734638 | 741 8517 | 2 | 4 999.51/999.86 c 999s | 23 | 4246615 | 2739938 | 741 8530 | 2 | 4 1001.51/1001.88 c 1001s | 23 | 4255412 | 2745238 | 741 8543 | 2 | 4 1003.61/1003.91 c 1003s | 23 | 4263920 | 2751038 | 741 8557 | 2 | 4 1005.61/1005.91 c 1005s | 23 | 4272620 | 2756238 | 741 8570 | 2 | 4 1007.61/1007.95 c 1007s | 23 | 4280081 | 2761638 | 741 8583 | 2 | 4 1009.61/1009.98 c 1009s | 23 | 4291132 | 2767338 | 741 8598 | 2 | 4 1011.61/1011.98 c 1011s | 23 | 4300373 | 2772738 | 741 8611 | 2 | 4 1013.61/1013.99 c 1013s | 23 | 4308525 | 2777738 | 741 8623 | 2 | 4 1015.71/1016.03 c 1015s | 23 | 4315927 | 2782538 | 741 8635 | 2 | 4 1017.71/1018.05 c 1017s | 23 | 4322754 | 2787338 | 741 8647 | 2 | 4 1019.71/1020.08 c 1019s | 23 | 4330204 | 2792238 | 741 8659 | 2 | 4 1021.71/1022.08 c 1021s | 23 | 4339356 | 2797338 | 741 8672 | 2 | 4 1023.70/1024.09 c 1023s | 23 | 4347683 | 2802938 | 741 8686 | 2 | 4 1025.80/1026.10 c 1025s | 23 | 4355747 | 2808238 | 741 8699 | 2 | 4 1027.80/1028.11 c 1027s | 23 | 4363678 | 2813438 | 741 8712 | 2 | 4 1029.80/1030.12 c 1029s | 23 | 4372717 | 2819238 | 741 8726 | 2 | 4 1031.80/1032.14 c 1031s | 23 | 4383598 | 2824938 | 741 8740 | 2 | 4 1033.81/1034.14 c 1033s | 23 | 4393746 | 2831138 | 741 8755 | 2 | 4 1035.80/1036.16 c 1035s | 23 | 4402152 | 2837238 | 741 8770 | 2 | 4 1037.80/1038.18 c 1037s | 23 | 4411104 | 2843238 | 741 8785 | 2 | 4 1039.80/1040.18 c 1039s | 23 | 4420687 | 2849138 | 741 8800 | 2 | 4 1041.80/1042.19 c 1041s | 23 | 4432392 | 2855438 | 741 8815 | 2 | 4 1043.90/1044.20 c 1043s | 23 | 4442569 | 2861938 | 741 8831 | 2 | 4 1045.91/1046.22 c 1045s | 23 | 4451895 | 2868138 | 741 8847 | 2 | 4 1047.90/1048.23 c 1047s | 23 | 4460815 | 2874238 | 741 8862 | 2 | 4 1049.90/1050.23 c 1049s | 23 | 4468638 | 2879838 | 741 8876 | 2 | 4 1051.90/1052.24 c 1051s | 23 | 4475841 | 2884738 | 741 8888 | 2 | 4 1053.90/1054.27 c 1053s | 23 | 4484984 | 2890438 | 741 8902 | 2 | 4 1056.00/1056.30 c 1055s | 23 | 4493540 | 2895838 | 741 8915 | 2 | 4 1058.00/1058.34 c 1058s | 23 | 4502268 | 2901338 | 741 8929 | 2 | 4 1060.00/1060.35 c 1060s | 23 | 4509188 | 2906438 | 741 8942 | 2 | 4 1062.00/1062.38 c 1062s | 23 | 4516989 | 2911238 | 741 8954 | 2 | 4 1064.00/1064.38 c 1064s | 23 | 4527429 | 2916938 | 741 8968 | 2 | 4 1066.09/1066.41 c 1066s | 23 | 4534518 | 2922438 | 741 8981 | 2 | 4 1068.09/1068.45 c 1068s | 23 | 4542793 | 2927938 | 741 8995 | 2 | 4 1070.10/1070.48 c 1070s | 23 | 4552376 | 2933738 | 741 9009 | 2 | 4 1072.09/1072.48 c 1072s | 23 | 4561814 | 2939038 | 741 9022 | 2 | 4 1074.09/1074.48 c 1074s | 23 | 4570107 | 2944338 | 741 9035 | 2 | 4 1076.19/1076.51 c 1076s | 23 | 4577227 | 2949638 | 741 9049 | 2 | 4 1078.19/1078.52 c 1078s | 23 | 4586226 | 2955638 | 741 9063 | 2 | 4 1080.19/1080.56 c 1080s | 23 | 4594510 | 2961238 | 741 9077 | 2 | 4 1082.20/1082.59 c 1082s | 23 | 4603351 | 2966438 | 741 9090 | 2 | 4 1084.30/1084.60 c 1084s | 23 | 4612178 | 2971538 | 741 9103 | 2 | 4 1086.29/1086.61 c 1086s | 23 | 4620149 | 2976638 | 741 9115 | 2 | 4 1088.29/1088.61 c 1088s | 23 | 4628268 | 2982038 | 741 9129 | 2 | 4 1090.29/1090.61 c 1090s | 23 | 4636374 | 2987438 | 741 9142 | 2 | 4 1092.29/1092.64 c 1092s | 23 | 4645092 | 2992938 | 741 9156 | 2 | 4 1094.30/1094.67 c 1094s | 23 | 4653979 | 2998138 | 741 9169 | 2 | 4 1096.29/1096.69 c 1096s | 23 | 4662878 | 3003538 | 741 9182 | 2 | 4 1098.39/1098.71 c 1098s | 23 | 4671008 | 3009038 | 741 9196 | 2 | 4 1100.39/1100.71 c 1100s | 23 | 4678313 | 3014638 | 741 9210 | 2 | 4 1102.39/1102.72 c 1102s | 23 | 4685133 | 3020238 | 741 9223 | 2 | 4 1104.39/1104.74 c 1104s | 23 | 4693822 | 3026038 | 741 9238 | 2 | 4 1106.39/1106.76 c 1106s | 23 | 4701858 | 3031738 | 741 9252 | 2 | 4 1108.39/1108.78 c 1108s | 23 | 4710776 | 3037238 | 741 9265 | 2 | 4 1110.49/1110.81 c 1110s | 23 | 4719263 | 3042938 | 741 9280 | 2 | 4 1112.49/1112.81 c 1112s | 23 | 4727211 | 3048438 | 741 9293 | 2 | 4 1114.49/1114.82 c 1114s | 23 | 4735081 | 3053638 | 741 9306 | 2 | 4 1116.49/1116.83 c 1116s | 23 | 4744305 | 3059638 | 741 9321 | 2 | 4 1118.49/1118.85 c 1118s | 23 | 4751537 | 3065538 | 741 9336 | 2 | 4 1120.48/1120.88 c 1120s | 23 | 4760930 | 3071538 | 741 9351 | 2 | 4 1122.58/1122.91 c 1122s | 23 | 4770142 | 3077338 | 741 9365 | 2 | 4 1124.58/1124.92 c 1124s | 23 | 4777963 | 3083238 | 741 9380 | 2 | 4 1126.58/1126.93 c 1126s | 23 | 4786285 | 3089638 | 741 9395 | 2 | 4 1128.58/1128.94 c 1128s | 23 | 4796395 | 3096838 | 741 9413 | 2 | 4 1130.59/1130.96 c 1130s | 23 | 4804588 | 3103038 | 741 9429 | 2 | 4 1132.58/1132.98 c 1132s | 23 | 4812592 | 3109138 | 741 9444 | 2 | 4 1134.68/1135.00 c 1134s | 23 | 4820387 | 3114838 | 741 9458 | 2 | 4 1136.68/1137.02 c 1136s | 23 | 4830592 | 3120438 | 741 9472 | 2 | 4 1138.69/1139.03 c 1138s | 23 | 4839322 | 3126338 | 741 9487 | 2 | 4 1140.69/1141.05 c 1140s | 23 | 4848244 | 3132338 | 741 9502 | 2 | 4 1142.70/1143.06 c 1142s | 23 | 4857608 | 3137638 | 741 9515 | 2 | 4 1144.69/1145.08 c 1144s | 23 | 4866838 | 3142738 | 741 9528 | 2 | 4 1146.79/1147.10 c 1146s | 23 | 4875605 | 3147438 | 741 9539 | 2 | 4 1148.79/1149.14 c 1148s | 23 | 4883799 | 3152238 | 741 9551 | 2 | 4 1150.79/1151.17 c 1150s | 23 | 4892289 | 3156938 | 741 9563 | 2 | 4 1152.79/1153.18 c 1152s | 23 | 4901495 | 3161838 | 741 9575 | 2 | 4 1154.79/1155.18 c 1154s | 23 | 4910400 | 3166838 | 741 9587 | 2 | 4 1156.89/1157.21 c 1156s | 23 | 4917435 | 3171438 | 741 9599 | 2 | 4 1158.89/1159.23 c 1158s | 23 | 4925475 | 3176138 | 741 9610 | 2 | 4 1160.89/1161.23 c 1160s | 23 | 4934700 | 3181238 | 741 9623 | 2 | 4 1162.89/1163.27 c 1162s | 23 | 4943872 | 3186238 | 741 9635 | 2 | 4 1164.98/1165.31 c 1164s | 23 | 4951634 | 3191038 | 741 9647 | 2 | 4 1166.98/1167.32 c 1166s | 23 | 4959464 | 3196138 | 741 9660 | 2 | 4 1168.99/1169.33 c 1168s | 23 | 4967446 | 3200838 | 741 9672 | 2 | 4 1170.98/1171.35 c 1171s | 23 | 4975488 | 3205738 | 741 9684 | 2 | 4 1172.98/1173.36 c 1173s | 23 | 4984324 | 3211038 | 741 9697 | 2 | 4 1174.98/1175.39 c 1175s | 23 | 4992249 | 3215938 | 741 9709 | 2 | 4 1177.08/1177.40 c 1177s | 23 | 5001216 | 3220738 | 741 9721 | 2 | 4 1179.08/1179.42 c 1179s | 23 | 5007468 | 3225338 | 741 9732 | 2 | 4 1181.09/1181.43 c 1181s | 23 | 5014843 | 3230138 | 741 9744 | 2 | 4 1183.08/1183.47 c 1183s | 23 | 5021013 | 3235038 | 741 9757 | 2 | 4 1185.08/1185.49 c 1185s | 23 | 5028623 | 3239638 | 741 9768 | 2 | 4 1187.18/1187.52 c 1187s | 23 | 5034431 | 3244238 | 741 9779 | 2 | 4 1189.18/1189.54 c 1189s | 23 | 5040523 | 3248838 | 741 9791 | 2 | 4 1191.18/1191.55 c 1191s | 23 | 5047941 | 3253338 | 741 9802 | 2 | 4 1193.19/1193.58 c 1193s | 23 | 5055984 | 3258538 | 741 9815 | 2 | 4 1195.28/1195.61 c 1195s | 23 | 5064048 | 3263838 | 741 9828 | 2 | 4 1197.28/1197.64 c 1197s | 23 | 5071446 | 3268938 | 741 9841 | 2 | 4 1199.28/1199.65 c 1199s | 23 | 5078384 | 3274138 | 741 9854 | 2 | 4 1201.28/1201.65 c 1201s | 23 | 5086265 | 3279638 | 741 9867 | 2 | 4 1203.28/1203.65 c 1203s | 23 | 5094660 | 3284738 | 741 9880 | 2 | 4 1205.28/1205.66 c 1205s | 23 | 5103492 | 3290338 | 741 9894 | 2 | 4 1207.28/1207.68 c 1207s | 23 | 5112045 | 3296238 | 741 9909 | 2 | 4 1209.38/1209.70 c 1209s | 23 | 5119625 | 3301438 | 741 9921 | 2 | 4 1211.38/1211.71 c 1211s | 23 | 5128026 | 3306438 | 741 9934 | 2 | 4 1213.38/1213.75 c 1213s | 23 | 5135757 | 3312038 | 741 9948 | 2 | 4 1215.38/1215.78 c 1215s | 23 | 5144017 | 3317338 | 741 9961 | 2 | 4 1217.48/1217.81 c 1217s | 23 | 5151961 | 3322238 | 741 9973 | 2 | 4 1219.47/1219.83 c 1219s | 23 | 5159989 | 3327738 | 741 9987 | 2 | 4 1221.47/1221.86 c 1221s | 23 | 5167568 | 3332738 | 741 9999 | 2 | 4 1223.47/1223.86 c 1223s | 23 | 5175457 | 3337638 | 741 10011 | 2 | 4 1225.47/1225.87 c 1225s | 23 | 5183098 | 3342738 | 741 10024 | 2 | 4 1227.57/1227.90 c 1227s | 23 | 5192671 | 3348738 | 741 10039 | 2 | 4 1229.58/1229.93 c 1229s | 23 | 5200186 | 3353938 | 816 10051 | 2 | 4 1231.57/1231.96 c 1231s | 23 | 5207687 | 3359638 | 816 10064 | 2 | 4 1233.57/1233.99 c 1233s | 23 | 5215567 | 3365138 | 816 10077 | 2 | 4 1235.67/1236.00 c 1235s | 23 | 5222634 | 3371038 | 816 10090 | 2 | 4 1237.67/1238.01 c 1237s | 23 | 5229445 | 3376638 | 816 10103 | 2 | 4 1237.67/1238.02 c 1237s | 24 | 5229476 | 3376662 | 816 10103 | 2 | 4 1239.67/1240.03 c 1239s | 24 | 5237628 | 3382462 | 816 10116 | 2 | 4 1241.67/1242.04 c 1241s | 24 | 5245358 | 3387862 | 816 10129 | 2 | 4 1243.67/1244.06 c 1243s | 24 | 5254802 | 3393062 | 816 10140 | 2 | 4 1245.77/1246.11 c 1245s | 24 | 5263525 | 3398062 | 816 10151 | 2 | 4 1247.77/1248.12 c 1247s | 24 | 5271791 | 3402762 | 816 10162 | 2 | 4 1249.77/1250.14 c 1249s | 24 | 5278658 | 3407462 | 816 10173 | 2 | 4 1251.77/1252.15 c 1251s | 24 | 5287684 | 3412262 | 816 10184 | 2 | 4 1253.78/1254.17 c 1253s | 24 | 5295612 | 3417462 | 816 10195 | 2 | 4 1255.77/1256.19 c 1255s | 24 | 5304460 | 3422362 | 816 10206 | 2 | 4 1257.87/1258.21 c 1257s | 24 | 5313465 | 3427762 | 816 10218 | 2 | 4 1259.87/1260.24 c 1259s | 24 | 5322070 | 3433662 | 816 10232 | 2 | 4 1261.87/1262.26 c 1261s | 24 | 5331000 | 3439262 | 816 10244 | 2 | 4 1263.87/1264.29 c 1263s | 24 | 5336863 | 3444362 | 816 10256 | 2 | 4 1265.97/1266.30 c 1265s | 24 | 5345174 | 3449662 | 816 10268 | 2 | 4 1267.98/1268.33 c 1267s | 24 | 5352534 | 3454962 | 816 10280 | 2 | 4 1269.97/1270.36 c 1270s | 24 | 5361273 | 3460562 | 816 10293 | 2 | 4 1271.97/1272.37 c 1272s | 24 | 5369511 | 3465962 | 816 10305 | 2 | 4 1273.97/1274.39 c 1274s | 24 | 5377367 | 3471462 | 816 10317 | 2 | 4 1276.07/1276.43 c 1276s | 24 | 5384706 | 3476962 | 816 10330 | 2 | 4 1278.07/1278.46 c 1278s | 24 | 5393041 | 3482462 | 816 10342 | 2 | 4 1280.07/1280.47 c 1280s | 24 | 5402079 | 3488162 | 816 10355 | 2 | 4 1282.17/1282.50 c 1282s | 24 | 5410425 | 3493362 | 816 10367 | 2 | 4 1284.16/1284.53 c 1284s | 24 | 5417417 | 3498562 | 816 10378 | 2 | 4 1286.16/1286.53 c 1286s | 24 | 5425244 | 3504162 | 816 10391 | 2 | 4 1288.16/1288.56 c 1288s | 24 | 5433426 | 3509762 | 816 10404 | 2 | 4 1290.16/1290.56 c 1290s | 24 | 5440720 | 3514862 | 816 10415 | 2 | 4 1292.17/1292.56 c 1292s | 24 | 5447715 | 3520162 | 816 10427 | 2 | 4 1294.16/1294.58 c 1294s | 24 | 5455538 | 3525562 | 816 10439 | 2 | 4 1296.26/1296.60 c 1296s | 24 | 5463164 | 3531162 | 816 10452 | 2 | 4 1298.26/1298.61 c 1298s | 24 | 5470313 | 3537062 | 816 10465 | 2 | 4 1300.26/1300.62 c 1300s | 24 | 5477246 | 3542662 | 816 10478 | 2 | 4 1302.26/1302.62 c 1302s | 24 | 5484054 | 3548162 | 816 10491 | 2 | 4 1304.27/1304.66 c 1304s | 24 | 5492250 | 3553562 | 816 10503 | 2 | 4 1306.26/1306.67 c 1306s | 24 | 5498376 | 3558662 | 816 10514 | 2 | 4 1308.26/1308.68 c 1308s | 24 | 5506720 | 3563662 | 816 10526 | 2 | 4 1310.36/1310.70 c 1310s | 24 | 5514551 | 3568962 | 816 10538 | 2 | 4 1312.36/1312.74 c 1312s | 24 | 5522882 | 3574062 | 816 10549 | 2 | 4 1314.36/1314.77 c 1314s | 24 | 5530879 | 3579162 | 816 10561 | 2 | 4 1316.36/1316.79 c 1316s | 24 | 5539069 | 3584862 | 816 10574 | 2 | 4 1318.46/1318.80 c 1318s | 24 | 5547239 | 3589962 | 816 10585 | 2 | 4 1320.46/1320.83 c 1320s | 24 | 5554575 | 3595462 | 816 10598 | 2 | 4 1322.46/1322.84 c 1322s | 24 | 5561963 | 3600962 | 816 10610 | 2 | 4 1324.46/1324.86 c 1324s | 24 | 5569415 | 3605962 | 816 10622 | 2 | 4 1326.46/1326.87 c 1326s | 24 | 5578199 | 3610962 | 816 10633 | 2 | 4 1328.46/1328.89 c 1328s | 24 | 5585818 | 3615762 | 816 10644 | 2 | 4 1330.55/1330.91 c 1330s | 24 | 5594456 | 3620962 | 816 10656 | 2 | 4 1332.55/1332.93 c 1332s | 24 | 5601217 | 3625762 | 816 10667 | 2 | 4 1334.55/1334.94 c 1334s | 24 | 5610406 | 3630962 | 816 10678 | 2 | 4 1336.55/1336.95 c 1336s | 24 | 5618182 | 3636162 | 816 10690 | 2 | 4 1338.55/1338.96 c 1338s | 24 | 5626019 | 3641262 | 816 10701 | 2 | 4 1340.56/1340.99 c 1340s | 24 | 5633439 | 3646562 | 816 10713 | 2 | 4 1342.65/1343.00 c 1342s | 24 | 5640566 | 3651762 | 816 10725 | 2 | 4 1344.65/1345.01 c 1344s | 24 | 5648815 | 3656762 | 816 10736 | 2 | 4 1346.65/1347.03 c 1346s | 24 | 5657238 | 3661862 | 816 10748 | 2 | 4 1348.65/1349.04 c 1348s | 24 | 5665534 | 3666862 | 816 10759 | 2 | 4 1350.65/1351.07 c 1350s | 24 | 5674652 | 3672162 | 816 10771 | 2 | 4 1352.66/1353.09 c 1352s | 24 | 5682798 | 3677562 | 816 10783 | 2 | 4 1354.75/1355.11 c 1354s | 24 | 5691371 | 3682762 | 816 10795 | 2 | 4 1356.75/1357.12 c 1356s | 24 | 5699336 | 3688262 | 816 10807 | 2 | 4 1358.75/1359.12 c 1358s | 24 | 5707892 | 3693762 | 816 10820 | 2 | 4 1360.75/1361.13 c 1360s | 24 | 5716327 | 3698862 | 816 10831 | 2 | 4 1362.75/1363.17 c 1362s | 24 | 5724907 | 3703862 | 816 10843 | 2 | 4 1364.75/1365.19 c 1364s | 24 | 5732684 | 3708662 | 816 10853 | 2 | 4 1366.85/1367.22 c 1366s | 24 | 5741116 | 3713462 | 816 10864 | 2 | 4 1368.85/1369.26 c 1368s | 24 | 5747005 | 3717962 | 816 10874 | 2 | 4 1370.85/1371.28 c 1370s | 24 | 5753208 | 3722862 | 816 10885 | 2 | 4 1372.95/1373.32 c 1372s | 24 | 5761216 | 3727862 | 816 10897 | 2 | 4 1374.95/1375.35 c 1375s | 24 | 5768234 | 3732662 | 816 10908 | 2 | 4 1376.95/1377.37 c 1377s | 24 | 5774912 | 3737362 | 816 10918 | 2 | 4 1378.95/1379.38 c 1379s | 24 | 5782147 | 3742262 | 816 10929 | 2 | 4 1380.95/1381.38 c 1381s | 24 | 5790341 | 3747362 | 816 10941 | 2 | 4 1382.94/1383.39 c 1383s | 24 | 5799841 | 3753162 | 816 10954 | 2 | 4 1385.04/1385.42 c 1385s | 24 | 5808586 | 3758762 | 816 10967 | 2 | 4 1387.04/1387.43 c 1387s | 24 | 5816214 | 3764462 | 816 10980 | 2 | 4 1389.05/1389.46 c 1389s | 24 | 5824034 | 3769762 | 816 10992 | 2 | 4 1391.04/1391.47 c 1391s | 24 | 5832782 | 3774962 | 816 11004 | 2 | 4 1393.04/1393.49 c 1393s | 24 | 5840384 | 3779962 | 816 11015 | 2 | 4 1395.15/1395.52 c 1395s | 24 | 5847835 | 3785162 | 816 11027 | 2 | 4 1397.15/1397.53 c 1397s | 24 | 5855631 | 3790362 | 816 11039 | 2 | 4 1399.15/1399.55 c 1399s | 24 | 5862750 | 3795462 | 816 11050 | 2 | 4 1401.16/1401.58 c 1401s | 24 | 5870683 | 3800762 | 816 11062 | 2 | 4 1403.26/1403.61 c 1403s | 24 | 5878954 | 3806462 | 816 11075 | 2 | 4 1405.25/1405.62 c 1405s | 24 | 5888528 | 3812162 | 816 11088 | 2 | 4 1407.25/1407.65 c 1407s | 24 | 5896814 | 3818462 | 816 11103 | 2 | 4 1409.25/1409.66 c 1409s | 24 | 5904928 | 3824062 | 816 11115 | 2 | 4 1411.25/1411.68 c 1411s | 24 | 5914234 | 3829962 | 816 11129 | 2 | 4 1413.25/1413.69 c 1413s | 24 | 5923717 | 3836462 | 816 11144 | 2 | 4 1415.24/1415.69 c 1415s | 24 | 5930697 | 3841362 | 816 11155 | 2 | 4 1417.34/1417.71 c 1417s | 24 | 5938034 | 3846362 | 816 11166 | 2 | 4 1419.34/1419.75 c 1419s | 24 | 5946124 | 3852062 | 816 11179 | 2 | 4 1421.34/1421.76 c 1421s | 24 | 5953423 | 3857962 | 816 11193 | 2 | 4 1423.34/1423.78 c 1423s | 24 | 5960892 | 3863362 | 816 11205 | 2 | 4 1425.44/1425.80 c 1425s | 24 | 5968187 | 3868462 | 816 11217 | 2 | 4 1427.45/1427.83 c 1427s | 24 | 5975146 | 3873662 | 816 11228 | 2 | 4 1429.44/1429.86 c 1429s | 24 | 5982903 | 3880062 | 816 11243 | 2 | 4 1431.44/1431.89 c 1431s | 24 | 5990392 | 3885262 | 816 11255 | 2 | 4 1433.54/1433.92 c 1433s | 24 | 5997364 | 3890562 | 816 11267 | 2 | 4 1435.54/1435.96 c 1435s | 24 | 6005267 | 3896362 | 816 11280 | 2 | 4 1437.54/1437.99 c 1437s | 24 | 6013686 | 3901762 | 816 11292 | 2 | 4 1439.55/1440.00 c 1439s | 24 | 6024330 | 3907462 | 816 11305 | 2 | 4 1441.64/1442.01 c 1441s | 24 | 6033785 | 3912762 | 816 11317 | 2 | 4 1443.64/1444.03 c 1443s | 24 | 6044041 | 3917962 | 816 11329 | 2 | 4 1445.64/1446.06 c 1445s | 24 | 6054404 | 3923462 | 816 11341 | 2 | 4 1447.64/1448.07 c 1447s | 24 | 6062151 | 3929162 | 816 11354 | 2 | 4 1449.64/1450.08 c 1449s | 24 | 6071480 | 3934862 | 816 11367 | 2 | 4 1451.64/1452.09 c 1451s | 24 | 6080962 | 3940962 | 816 11381 | 2 | 4 1453.74/1454.12 c 1453s | 24 | 6090114 | 3946762 | 816 11394 | 2 | 4 1455.74/1456.15 c 1455s | 24 | 6100311 | 3953062 | 816 11408 | 2 | 4 1457.74/1458.17 c 1457s | 24 | 6110794 | 3959462 | 816 11423 | 2 | 4 1459.84/1460.21 c 1459s | 24 | 6120562 | 3965062 | 816 11436 | 2 | 4 1461.83/1462.21 c 1461s | 24 | 6128797 | 3970562 | 816 11448 | 2 | 4 1463.84/1464.24 c 1463s | 24 | 6140267 | 3976862 | 816 11462 | 2 | 4 1465.83/1466.26 c 1465s | 24 | 6148594 | 3982562 | 816 11475 | 2 | 4 1467.83/1468.27 c 1467s | 24 | 6159108 | 3987762 | 816 11487 | 2 | 4 1469.83/1470.28 c 1469s | 24 | 6167479 | 3992762 | 816 11498 | 2 | 4 1471.93/1472.30 c 1471s | 24 | 6179045 | 3999062 | 816 11512 | 2 | 4 1473.93/1474.30 c 1473s | 24 | 6190151 | 4005762 | 816 11527 | 2 | 4 1475.94/1476.33 c 1475s | 24 | 6197356 | 4010962 | 816 11539 | 2 | 4 1477.93/1478.36 c 1478s | 24 | 6206312 | 4017262 | 816 11553 | 2 | 4 1479.93/1480.39 c 1480s | 24 | 6216900 | 4023862 | 816 11568 | 2 | 4 1482.03/1482.42 c 1482s | 24 | 6223859 | 4029562 | 816 11581 | 2 | 4 1484.03/1484.44 c 1484s | 24 | 6231704 | 4035162 | 816 11594 | 2 | 4 1486.03/1486.46 c 1486s | 24 | 6239524 | 4040662 | 816 11606 | 2 | 4 1488.04/1488.49 c 1488s | 24 | 6247224 | 4046362 | 816 11619 | 2 | 4 1490.13/1490.53 c 1490s | 24 | 6254873 | 4051762 | 816 11632 | 2 | 4 1492.14/1492.56 c 1492s | 24 | 6265288 | 4058262 | 816 11646 | 2 | 4 1494.14/1494.57 c 1494s | 24 | 6272394 | 4063562 | 816 11658 | 2 | 4 1496.14/1496.57 c 1496s | 24 | 6282922 | 4069462 | 816 11672 | 2 | 4 1498.24/1498.60 c 1498s | 24 | 6291741 | 4074562 | 816 11683 | 2 | 4 1500.24/1500.62 c 1500s | 24 | 6302190 | 4080262 | 816 11696 | 2 | 4 1502.24/1502.63 c 1502s | 24 | 6312886 | 4086062 | 816 11709 | 2 | 4 1504.23/1504.65 c 1504s | 24 | 6322972 | 4092062 | 816 11723 | 2 | 4 1506.23/1506.67 c 1506s | 24 | 6334641 | 4097462 | 816 11735 | 2 | 4 1508.33/1508.70 c 1508s | 24 | 6345566 | 4103262 | 816 11748 | 2 | 4 1510.33/1510.74 c 1510s | 24 | 6354082 | 4109162 | 816 11762 | 2 | 4 1512.33/1512.75 c 1512s | 24 | 6365347 | 4114762 | 816 11774 | 2 | 4 1514.34/1514.76 c 1514s | 24 | 6375399 | 4120162 | 816 11787 | 2 | 4 1516.33/1516.79 c 1516s | 24 | 6383316 | 4124762 | 816 11797 | 2 | 4 1518.43/1518.81 c 1518s | 24 | 6390123 | 4129162 | 816 11807 | 2 | 4 1520.43/1520.83 c 1520s | 24 | 6398046 | 4133862 | 816 11818 | 2 | 4 1522.43/1522.85 c 1522s | 24 | 6407814 | 4138662 | 816 11829 | 2 | 4 1524.43/1524.86 c 1524s | 24 | 6416118 | 4144062 | 816 11841 | 2 | 4 1526.44/1526.87 c 1526s | 24 | 6423868 | 4148762 | 816 11851 | 2 | 4 1528.43/1528.89 c 1528s | 24 | 6432972 | 4153462 | 816 11862 | 2 | 4 1530.53/1530.90 c 1530s | 24 | 6442071 | 4158362 | 816 11873 | 2 | 4 1532.53/1532.93 c 1532s | 24 | 6452014 | 4163262 | 816 11884 | 2 | 4 1534.53/1534.94 c 1534s | 24 | 6460233 | 4168262 | 816 11896 | 2 | 4 1536.53/1536.97 c 1536s | 24 | 6469241 | 4173462 | 816 11907 | 2 | 4 1538.53/1538.99 c 1538s | 24 | 6475986 | 4177962 | 816 11918 | 2 | 4 1540.63/1541.04 c 1540s | 24 | 6483185 | 4182462 | 816 11928 | 2 | 4 1542.63/1543.08 c 1542s | 24 | 6489646 | 4187062 | 816 11938 | 2 | 4 1544.73/1545.11 c 1544s | 24 | 6495714 | 4191462 | 816 11948 | 2 | 4 1546.72/1547.13 c 1546s | 24 | 6501134 | 4195862 | 816 11958 | 2 | 4 1548.72/1549.14 c 1548s | 24 | 6508301 | 4200262 | 816 11968 | 2 | 4 1550.73/1551.18 c 1550s | 24 | 6516011 | 4204662 | 816 11978 | 2 | 4 1552.83/1553.22 c 1552s | 24 | 6522545 | 4209262 | 816 11988 | 2 | 4 1554.82/1555.23 c 1554s | 24 | 6530543 | 4214162 | 816 12000 | 2 | 4 1556.82/1557.26 c 1556s | 24 | 6537351 | 4218862 | 816 12010 | 2 | 4 1558.82/1559.28 c 1558s | 24 | 6549535 | 4224362 | 816 12023 | 2 | 4 1560.92/1561.32 c 1560s | 24 | 6559860 | 4230062 | 816 12035 | 2 | 4 1562.92/1563.32 c 1562s | 24 | 6570294 | 4235762 | 816 12048 | 2 | 4 1564.93/1565.33 c 1564s | 24 | 6578396 | 4241162 | 816 12061 | 2 | 4 1566.92/1567.36 c 1567s | 24 | 6586218 | 4246462 | 816 12073 | 2 | 4 1568.92/1569.37 c 1569s | 24 | 6594460 | 4251662 | 816 12085 | 2 | 4 1571.02/1571.41 c 1571s | 24 | 6603979 | 4256862 | 816 12096 | 2 | 4 1573.02/1573.41 c 1573s | 24 | 6611768 | 4262262 | 816 12109 | 2 | 4 1575.02/1575.42 c 1575s | 24 | 6619353 | 4267462 | 816 12121 | 2 | 4 1577.02/1577.45 c 1577s | 24 | 6626808 | 4272862 | 816 12133 | 2 | 4 1579.02/1579.46 c 1579s | 24 | 6634889 | 4278062 | 816 12145 | 2 | 4 1581.02/1581.49 c 1581s | 24 | 6642411 | 4283762 | 816 12157 | 2 | 4 1583.02/1583.50 c 1583s | 24 | 6650236 | 4289662 | 816 12171 | 2 | 4 1585.12/1585.52 c 1585s | 24 | 6657958 | 4294962 | 816 12183 | 2 | 4 1587.12/1587.55 c 1587s | 24 | 6665891 | 4300462 | 816 12195 | 2 | 4 1589.12/1589.56 c 1589s | 24 | 6673656 | 4305862 | 816 12208 | 2 | 4 1591.12/1591.59 c 1591s | 24 | 6681430 | 4311462 | 816 12220 | 2 | 4 1593.21/1593.63 c 1593s | 24 | 6689013 | 4316762 | 816 12232 | 2 | 4 1595.21/1595.64 c 1595s | 24 | 6696671 | 4322062 | 816 12244 | 2 | 4 1597.21/1597.67 c 1597s | 24 | 6704519 | 4327662 | 816 12257 | 2 | 4 1599.21/1599.68 c 1599s | 24 | 6713075 | 4333462 | 816 12270 | 2 | 4 1601.22/1601.69 c 1601s | 24 | 6722968 | 4339462 | 816 12284 | 2 | 4 1603.31/1603.72 c 1603s | 24 | 6730819 | 4345162 | 816 12297 | 2 | 4 1605.31/1605.73 c 1605s | 24 | 6737490 | 4350462 | 816 12309 | 2 | 4 1607.31/1607.77 c 1607s | 24 | 6744233 | 4355762 | 816 12321 | 2 | 4 1609.41/1609.80 c 1609s | 24 | 6750543 | 4360762 | 816 12332 | 2 | 4 1611.41/1611.83 c 1611s | 24 | 6758006 | 4365862 | 816 12344 | 2 | 4 1613.42/1613.85 c 1613s | 24 | 6765704 | 4370862 | 816 12355 | 2 | 4 1615.41/1615.89 c 1615s | 24 | 6773622 | 4375862 | 816 12366 | 2 | 4 1617.51/1617.92 c 1617s | 24 | 6780609 | 4380462 | 816 12377 | 2 | 4 1619.51/1619.93 c 1619s | 24 | 6788722 | 4385762 | 816 12389 | 2 | 4 1621.51/1621.94 c 1621s | 24 | 6796725 | 4391162 | 816 12401 | 2 | 4 1623.51/1623.95 c 1623s | 24 | 6804226 | 4396562 | 816 12414 | 2 | 4 1625.51/1625.96 c 1625s | 24 | 6811214 | 4401462 | 816 12425 | 2 | 4 1627.52/1627.98 c 1627s | 24 | 6817989 | 4406662 | 816 12437 | 2 | 4 1629.62/1630.01 c 1629s | 24 | 6825365 | 4411862 | 816 12448 | 2 | 4 1631.62/1632.05 c 1631s | 24 | 6833642 | 4416962 | 816 12460 | 2 | 4 1633.61/1634.07 c 1633s | 24 | 6843369 | 4422562 | 816 12473 | 2 | 4 1635.61/1636.08 c 1635s | 24 | 6851285 | 4428062 | 816 12485 | 2 | 4 1637.71/1638.11 c 1637s | 24 | 6858559 | 4433562 | 816 12498 | 2 | 4 1639.72/1640.13 c 1639s | 24 | 6867058 | 4438862 | 816 12510 | 2 | 4 1641.71/1642.17 c 1641s | 24 | 6876478 | 4444462 | 816 12522 | 2 | 4 1643.71/1644.17 c 1643s | 24 | 6884008 | 4449562 | 816 12534 | 2 | 4 1645.81/1646.21 c 1645s | 24 | 6890953 | 4454862 | 816 12546 | 2 | 4 1647.81/1648.22 c 1647s | 24 | 6898199 | 4459862 | 816 12557 | 2 | 4 1649.81/1650.24 c 1649s | 24 | 6905066 | 4465062 | 816 12569 | 2 | 4 1651.82/1652.25 c 1651s | 24 | 6913521 | 4469862 | 816 12580 | 2 | 4 1653.81/1654.25 c 1653s | 24 | 6920436 | 4474462 | 816 12591 | 2 | 4 1655.81/1656.29 c 1655s | 24 | 6927755 | 4479662 | 816 12602 | 2 | 4 1657.81/1658.29 c 1657s | 24 | 6933793 | 4484862 | 816 12614 | 2 | 4 1659.91/1660.31 c 1659s | 24 | 6941301 | 4490162 | 816 12626 | 2 | 4 1661.91/1662.35 c 1662s | 24 | 6948881 | 4495762 | 816 12639 | 2 | 4 1663.91/1664.37 c 1664s | 24 | 6955625 | 4501162 | 816 12651 | 2 | 4 1665.91/1666.39 c 1666s | 24 | 6964592 | 4507062 | 816 12665 | 2 | 4 1668.01/1668.43 c 1668s | 24 | 6971718 | 4512562 | 816 12678 | 2 | 4 1670.01/1670.45 c 1670s | 24 | 6978561 | 4517762 | 816 12689 | 2 | 4 1672.01/1672.46 c 1672s | 24 | 6986583 | 4523062 | 816 12702 | 2 | 4 1674.10/1674.50 c 1674s | 24 | 6995645 | 4528862 | 816 12715 | 2 | 4 1676.11/1676.53 c 1676s | 24 | 7003778 | 4533862 | 816 12726 | 2 | 4 1678.10/1678.56 c 1678s | 24 | 7012204 | 4538962 | 816 12738 | 2 | 4 1680.10/1680.57 c 1680s | 24 | 7022294 | 4544562 | 816 12750 | 2 | 4 1682.20/1682.60 c 1682s | 24 | 7030723 | 4549962 | 816 12762 | 2 | 4 1684.20/1684.61 c 1684s | 24 | 7038553 | 4555162 | 816 12774 | 2 | 4 1686.20/1686.64 c 1686s | 24 | 7047586 | 4560062 | 816 12785 | 2 | 4 1688.21/1688.67 c 1688s | 24 | 7056154 | 4564962 | 816 12796 | 2 | 4 1690.20/1690.69 c 1690s | 24 | 7064093 | 4570262 | 816 12809 | 2 | 4 1692.30/1692.70 c 1692s | 24 | 7073380 | 4576362 | 816 12822 | 2 | 4 1694.30/1694.73 c 1694s | 24 | 7080602 | 4581562 | 816 12834 | 2 | 4 1696.30/1696.73 c 1696s | 24 | 7087724 | 4586562 | 816 12846 | 2 | 4 1698.30/1698.74 c 1698s | 24 | 7095068 | 4591762 | 816 12857 | 2 | 4 1700.30/1700.75 c 1700s | 24 | 7102405 | 4597062 | 816 12870 | 2 | 4 1702.30/1702.75 c 1702s | 24 | 7109944 | 4601562 | 816 12880 | 2 | 4 1704.30/1704.77 c 1704s | 24 | 7116048 | 4606462 | 816 12891 | 2 | 4 1706.30/1706.79 c 1706s | 24 | 7124406 | 4611562 | 816 12903 | 2 | 4 1708.40/1708.81 c 1708s | 24 | 7133076 | 4617362 | 816 12916 | 2 | 4 1710.40/1710.84 c 1710s | 24 | 7143200 | 4623262 | 816 12929 | 2 | 4 1712.40/1712.88 c 1712s | 24 | 7150871 | 4628962 | 816 12942 | 2 | 4 1714.39/1714.88 c 1714s | 24 | 7158588 | 4634362 | 816 12955 | 2 | 4 1716.49/1716.90 c 1716s | 24 | 7166956 | 4639862 | 816 12968 | 2 | 4 1718.49/1718.90 c 1718s | 24 | 7175041 | 4645562 | 816 12981 | 2 | 4 1720.49/1720.92 c 1720s | 24 | 7182009 | 4651162 | 816 12994 | 2 | 4 1722.50/1722.95 c 1722s | 24 | 7190292 | 4657162 | 816 13007 | 2 | 4 1724.51/1724.96 c 1724s | 24 | 7196822 | 4663062 | 816 13021 | 2 | 4 1726.50/1726.98 c 1726s | 24 | 7206081 | 4668262 | 816 13033 | 2 | 4 1728.60/1729.01 c 1728s | 24 | 7214205 | 4672862 | 816 13043 | 2 | 4 1730.60/1731.03 c 1730s | 24 | 7222964 | 4677462 | 816 13053 | 2 | 4 1732.60/1733.03 c 1732s | 24 | 7231293 | 4681962 | 816 13064 | 2 | 4 1734.60/1735.05 c 1734s | 24 | 7237683 | 4686362 | 816 13074 | 2 | 4 1736.61/1737.06 c 1736s | 24 | 7245094 | 4691662 | 816 13086 | 2 | 4 1738.60/1739.08 c 1738s | 24 | 7251596 | 4696062 | 816 13096 | 2 | 4 1740.70/1741.11 c 1740s | 24 | 7260817 | 4700662 | 816 13106 | 2 | 4 1742.70/1743.15 c 1742s | 24 | 7268618 | 4705262 | 816 13117 | 2 | 4 1744.70/1745.18 c 1744s | 24 | 7277583 | 4710962 | 816 13130 | 2 | 4 1746.80/1747.22 c 1746s | 24 | 7285613 | 4716262 | 816 13142 | 2 | 4 1748.80/1749.23 c 1748s | 24 | 7294213 | 4721562 | 816 13154 | 2 | 4 1750.80/1751.24 c 1750s | 24 | 7303070 | 4726562 | 816 13165 | 2 | 4 1752.80/1753.26 c 1752s | 24 | 7312010 | 4732062 | 816 13177 | 2 | 4 1754.80/1755.26 c 1754s | 24 | 7319671 | 4737362 | 816 13190 | 2 | 4 1756.80/1757.27 c 1756s | 24 | 7327613 | 4742362 | 816 13201 | 2 | 4 1758.90/1759.30 c 1758s | 24 | 7334673 | 4747462 | 816 13213 | 2 | 4 1760.90/1761.33 c 1760s | 24 | 7343021 | 4752662 | 816 13224 | 2 | 4 1762.90/1763.35 c 1763s | 24 | 7349351 | 4757762 | 816 13236 | 2 | 4 1764.89/1765.37 c 1765s | 24 | 7355709 | 4762662 | 816 13247 | 2 | 4 1766.99/1767.40 c 1767s | 24 | 7364917 | 4768062 | 816 13260 | 2 | 4 1768.99/1769.40 c 1769s | 24 | 7371651 | 4773262 | 816 13271 | 2 | 4 1770.99/1771.40 c 1771s | 24 | 7378893 | 4778262 | 816 13283 | 2 | 4 1772.99/1773.42 c 1773s | 24 | 7386041 | 4782562 | 816 13293 | 2 | 4 1775.00/1775.42 c 1775s | 24 | 7394849 | 4787962 | 816 13305 | 2 | 4 1776.99/1777.45 c 1777s | 24 | 7403256 | 4793462 | 816 13317 | 2 | 4 1778.99/1779.47 c 1779s | 24 | 7412340 | 4799662 | 816 13332 | 2 | 4 1780.99/1781.47 c 1781s | 24 | 7420834 | 4804862 | 816 13344 | 2 | 4 1783.09/1783.50 c 1783s | 24 | 7429581 | 4810262 | 816 13356 | 2 | 4 1785.09/1785.52 c 1785s | 24 | 7437188 | 4815862 | 816 13369 | 2 | 4 1787.10/1787.53 c 1787s | 24 | 7446182 | 4821362 | 816 13381 | 2 | 4 1789.09/1789.56 c 1789s | 24 | 7455571 | 4826662 | 816 13393 | 2 | 4 1791.09/1791.58 c 1791s | 24 | 7464891 | 4831862 | 816 13405 | 2 | 4 1793.09/1793.59 c 1793s | 24 | 7470936 | 4836262 | 816 13415 | 2 | 4 1795.19/1795.60 c 1795s | 24 | 7478929 | 4841662 | 816 13427 | 2 | 4 1797.19/1797.61 c 1797s | 24 | 7487327 | 4847362 | 816 13440 | 2 | 4 1799.20/1799.63 c 1799s | 24 | 7495490 | 4852562 | 816 13452 | 2 | 4
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-4079475-1465223093/watcher-4079475-1465223093 -o /tmp/evaluation-result-4079475-1465223093/solver-4079475-1465223093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079475-1465223093.opb pid=1768 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.09 2.07 2.02 3/179 1771 /proc/meminfo: memFree=31037408/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=663996 CPUtime=0 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 2464 0 0 0 0 0 0 0 20 0 4 0 104244805 679931904 2826 33554432000 4194304 16246674 140735535770960 140735535770384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 166511 2836 441 2943 0 163405 0 [pid=1771/tid=1772] ppid=1768 vsize=734652 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 752283648 3104 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=739772 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 757526528 3123 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=744892 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 762769408 3141 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100179 s] /proc/loadavg: 2.09 2.07 2.02 3/179 1771 /proc/meminfo: memFree=31037408/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 24461 0 0 0 5 4 0 0 20 0 4 0 104244805 1247350784 24809 33554432000 4194304 16246674 140735535770960 140735535770384 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 304529 24816 786 2943 0 301423 0 [pid=1771/tid=1772] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 24822 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 24829 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 24837 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200542 s] /proc/loadavg: 2.09 2.07 2.02 3/179 1771 /proc/meminfo: memFree=31037408/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 40923 0 0 0 13 6 0 0 20 0 4 0 104244805 1247350784 41272 33554432000 4194304 16246674 140735535770960 140735535770384 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 304529 41288 786 2943 0 301423 0 [pid=1771/tid=1772] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 41297 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 41301 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 41304 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300503 s] /proc/loadavg: 2.09 2.07 2.02 3/179 1771 /proc/meminfo: memFree=31037408/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 58613 0 0 0 21 8 0 0 20 0 4 0 104244805 1247350784 58961 33554432000 4194304 16246674 140735535770960 140735535770384 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 304529 58970 786 2943 0 301423 0 [pid=1771/tid=1772] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 58975 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 58986 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 58995 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1218116 [startup+0.700413 s] /proc/loadavg: 2.09 2.07 2.02 3/179 1771 /proc/meminfo: memFree=31037408/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 110010 0 0 0 54 15 0 0 20 0 4 0 104244805 1247350784 110358 33554432000 4194304 16246674 140735535770960 140735535752832 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 304529 110365 788 2943 0 301423 0 [pid=1771/tid=1772] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 110370 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 110374 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 110378 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1218116 [startup+1.50041 s] /proc/loadavg: 2.16 2.08 2.02 3/183 1775 /proc/meminfo: memFree=30400188/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1218116 CPUtime=1.49 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 210245 0 0 0 119 30 0 0 20 0 4 0 104244805 1247350784 210594 33554432000 4194304 16246674 140735535770960 140735535752832 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 304529 210602 788 2943 0 301423 0 [pid=1771/tid=1772] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 210606 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 210610 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104244805 1247350784 210614 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1218116 [startup+3.10042 s] /proc/loadavg: 2.16 2.08 2.02 3/183 1775 /proc/meminfo: memFree=30052476/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1220164 CPUtime=3.09 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 246048 0 0 0 273 36 0 0 20 0 4 0 104244805 1249447936 246374 33554432000 4194304 16246674 140735535770960 140735535752832 5601651 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 305041 246374 845 2943 0 301935 0 [pid=1771/tid=1772] ppid=1768 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1249447936 246374 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1249447936 246374 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1249447936 246374 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1220164 [startup+6.30043 s] /proc/loadavg: 2.15 2.08 2.02 3/183 1775 /proc/meminfo: memFree=29966428/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 267523 0 0 0 590 39 0 0 20 0 4 0 104244805 1337528320 267849 33554432000 4194304 16246674 140735535770960 140735535753960 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 326545 267849 845 2943 0 323439 0 [pid=1771/tid=1772] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267849 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267849 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267849 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1306180 [startup+12.7004 s] /proc/loadavg: 2.21 2.10 2.03 3/183 1775 /proc/meminfo: memFree=29966472/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 267634 0 0 0 1230 39 0 0 20 0 4 0 104244805 1337528320 267960 33554432000 4194304 16246674 140735535770960 140735535753960 12415736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 326545 267960 845 2943 0 323439 0 [pid=1771/tid=1772] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267960 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267960 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267960 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1306180 [startup+25.5005 s] /proc/loadavg: 2.25 2.11 2.03 3/183 1835 /proc/meminfo: memFree=29938192/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 267635 0 0 0 2510 39 0 0 20 0 4 0 104244805 1337528320 267961 33554432000 4194304 16246674 140735535770960 140735535752832 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 326545 267961 846 2943 0 323439 0 [pid=1771/tid=1772] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267961 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267961 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1337528320 267961 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1306180 [startup+51.1005 s] /proc/loadavg: 2.21 2.11 2.03 3/183 1884 /proc/meminfo: memFree=29641772/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1307204 CPUtime=51.08 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 267677 0 0 0 5069 39 0 0 20 0 4 0 104244805 1338576896 268003 33554432000 4194304 16246674 140735535770960 140735535752832 5659404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 326801 268003 846 2943 0 323695 0 [pid=1771/tid=1772] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268003 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268003 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268003 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1307204 [startup+102.3 s] /proc/loadavg: 2.09 2.09 2.03 3/183 1885 /proc/meminfo: memFree=29632396/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1307204 CPUtime=102.27 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 267685 0 0 0 10188 39 0 0 20 0 4 0 104244805 1338576896 268005 33554432000 4194304 16246674 140735535770960 140735535752832 5824823 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 326801 268005 848 2943 0 323695 0 [pid=1771/tid=1772] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268005 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268005 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1338576896 268005 33554432000 4194304 16246674 140735535770960 139984281521328 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) 1307204 ################ # More data... # ################ /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1308228 [startup+1362.3 s] /proc/loadavg: 2.29 2.12 2.03 3/183 1916 /proc/meminfo: memFree=29592468/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1361.95 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268387 0 0 0 136147 48 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 140735535752832 5722604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268477 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1308228 [startup+1422.3 s] /proc/loadavg: 2.24 2.14 2.04 3/183 1917 /proc/meminfo: memFree=29593124/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1421.95 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268387 0 0 0 142146 49 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 140735535752832 13923640 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268477 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1308228 [startup+1482.3 s] /proc/loadavg: 2.20 2.16 2.05 3/183 1919 /proc/meminfo: memFree=29593304/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1481.93 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268387 0 0 0 148144 49 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 140735535753960 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268477 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1308228 [startup+1542.31 s] /proc/loadavg: 2.17 2.16 2.06 3/184 1923 /proc/meminfo: memFree=29593364/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1541.93 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268387 0 0 0 154143 50 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 140735535752832 12415754 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268477 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268477 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 1308228 [startup+1602.3 s] /proc/loadavg: 2.17 2.16 2.06 3/183 1924 /proc/meminfo: memFree=29592940/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1601.91 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268388 0 0 0 160141 50 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 140735535753960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268480 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1308228 [startup+1662.3 s] /proc/loadavg: 2.06 2.12 2.06 3/183 1925 /proc/meminfo: memFree=29593180/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1661.91 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268388 0 0 0 166140 51 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 140735535753960 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268480 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 1308228 [startup+1722.3 s] /proc/loadavg: 2.09 2.12 2.06 3/183 1926 /proc/meminfo: memFree=29592804/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1308228 CPUtime=1721.9 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268388 0 0 0 172138 52 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 140735535752832 5600195 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327057 268480 850 2943 0 323951 0 [pid=1771/tid=1772] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1339625472 268480 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1308228 [startup+1782.3 s] /proc/loadavg: 2.03 2.09 2.05 3/183 1928 /proc/meminfo: memFree=29591180/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1309252 CPUtime=1781.89 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268644 0 0 0 178137 52 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 140735535753960 5599948 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327313 268736 850 2943 0 324207 0 [pid=1771/tid=1772] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 1309252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.09 2.10 2.05 3/183 1928 /proc/meminfo: memFree=29591928/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1309252 CPUtime=1800.09 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268644 0 0 0 179957 52 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 140735535752832 5602196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327313 268736 850 2943 0 324207 0 [pid=1771/tid=1772] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1309252 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 1771 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.09 2.10 2.05 3/183 1928 /proc/meminfo: memFree=29591928/32872528 swapFree=10676/249824 [pid=1771] ppid=1768 vsize=1309252 CPUtime=1800.09 cores=1,3,5,7 /proc/1771/stat : 1771 (toysat) R 1768 1771 1222 0 -1 4202496 268644 0 0 0 179957 52 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 140735535752832 5602196 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/1771/statm: 327313 268736 850 2943 0 324207 0 [pid=1771/tid=1772] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1772/stat : 1772 (toysat) S 1768 1771 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984302484720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=1771/tid=1773] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1773/stat : 1773 (toysat) S 1768 1771 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984291994864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=1771/tid=1774] ppid=1768 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/1771/task/1774/stat : 1774 (toysat) S 1768 1771 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104244805 1340674048 268736 33554432000 4194304 16246674 140735535770960 139984281521328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1309252 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.58 CPU system time (s): 0.52192 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 1309252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.52192 maximum resident set size= 1074944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268644 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= 250 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.26835 second user time and 7.2649 second system time The end
Begin job on node103 at 2016-06-06 16:24:53 IDJOB=4079475 IDBENCH=1848 IDSOLVER=2542 FILE ID=node103/4079475-1465223093 RUNJOBID= node103-1465221288-1239 PBS_JOBID= 19843228 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079475-1465223093/watcher-4079475-1465223093 -o /tmp/evaluation-result-4079475-1465223093/solver-4079475-1465223093 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1239 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079475-1465223093.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 687e90f40c46b53feec9c54ee9b43fa6 RANDOM SEED=2024115664 node103.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.760 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.52 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.760 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.760 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.56 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.760 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.760 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.760 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.760 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.760 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: 31037680 kB Buffers: 12964 kB Cached: 115424 kB SwapCached: 1692 kB Active: 848284 kB Inactive: 32456 kB Active(anon): 753420 kB Inactive(anon): 1124 kB Active(file): 94864 kB Inactive(file): 31332 kB Unevictable: 249824 kB Mlocked: 10676 kB SwapTotal: 67108856 kB SwapFree: 67096632 kB Dirty: 35164 kB Writeback: 0 kB AnonPages: 1001284 kB Mapped: 10812 kB Shmem: 0 kB Slab: 569152 kB SReclaimable: 12496 kB SUnreclaim: 556656 kB KernelStack: 1496 kB PageTables: 6572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1507828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 243712 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= 71704 MiB End job on node103 at 2016-06-06 16:54:54