| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
| MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -34 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12520 |
| Sum of products size (including duplicates) | 25040 |
| Number of different products | 6260 |
| Sum of products size | 12520 |
0.00/0.00 c 2016-06-18T21:45:50+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-4106829-1466279150.opb"] 0.00/0.01 c use --random-gen="23732417 1565794004 3032834911 1141696379 2062211602 2060090871 2664259630 2768732222 724656761 1770956089 429327485 2146380631 1510803039 67043398 3217528135 1347145043 998764884 4253895151 217792619 2822365736 1123602741 704462760 3948604006 3079496040 1850513442 4214302882 1658265428 1900853600 1858851508 2402536508 1857292706 3649652164 3542319645 4220765518 1635874428 406857628 2965338977 3446279575 2577766905 292464942 2068394639 1470653689 1141162644 681197271 2552412038 3133368043 2029617117 25172901 183391067 1050257580 1424498111 3051157287 4278940529 3058058204 1222416007 1904273135 3903148827 1939980260 2135913591 3875013519 2076585147 3848361384 828796193 583185958 2123558129 642382462 1049979970 3977663175 207649400 3863267166 940523078 1576035771 438656658 3555461381 3312113014 562640258 2277121062 1646427610 3289940463 1412268694 3715913386 2242707513 2705146606 3744312332 652757347 1159684960 399234817 330318629 2999164939 3658753457 1803728614 3320671766 306552040 2469159123 2266785010 245315352 3776513132 627859573 2970855339 1659119426 1851095756 2518043365 2952298557 1658149827 1822759688 1613454691 1397172072 4249013441 1764292335 3602298288 2080839234 2373608018 1852105896 3868088854 1143512757 308914324 3092405688 3646818109 1513601189 366253363 1782171884 2570432466 545380991 213514408 3026371558 2284951417 2685357335 994538987 3232700356 464808562 139546140 3800492739 3918459365 2308987326 73770423 2658310018 371731317 3031078243 1870271149 1447416053 3837208287 647822178 3680393578 1496808130 3242366181 1301618601 1776661633 2070870637 3983436639 3158636200 3008121880 1791636424 893069971 2082775954 1469247048 1234187795 2231923822 3467412201 3536611192 3086329189 2596379346 3190761460 4015785265 1631250821 2156869301 1277667847 1404960277 3844672257 3490817271 693147491 3875335985 2887229245 2602992359 3273888403 1849576278 706249366 1384206278 3933634227 4095332237 1656405786 2047797045 503447653 2388202278 773900324 1615666464 1654084999 1624134724 2293259747 4023933612 2733149984 3838610486 596741117 2267567861 159950683 790780984 249906988 4129066287 1845532461 4026338978 3845470624 319618874 3819723586 3907703731 2378103732 2663192681 1307306936 945127511 2749636260 1991791886 4283734469 3254695357 3103022765 2389150615 1009992469 1480197864 2269217308 3083140100 157853548 4125892825 2697291517 3085243742 997842638 1272415836 4185155869 176266302 2518993059 1196043421 1310854302 2093833679 4291571025 1694046070 3211285585 1693665313 3695699294 1578116216 24419468 2897606996 3233379604 700374292 2367032494 3825668543 2617906238 4109929535 3643824430 971252275 656522749 2118178560 2559616250 243354323 1735121744 3801373288 3134808488 2010084757 4133646457 2479176677 2936791819 255 362436" option to reproduce the execution 0.00/0.05 c #vars 400 0.00/0.05 c #constraints 601 0.19/0.21 c BCD2: Hardening is enabled. 0.19/0.21 c BCD2: BiasedSearch is enabled. 0.19/0.21 c Solving starts ... 0.19/0.21 c ============================[ Search Statistics ]============================ 0.19/0.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.21 c | | | | Limit GC | Var | Constra 0.19/0.21 c ============================================================================= 0.19/0.21 c 0.0s | 0 | 0 | 0 | 4507 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 215 | 0 | 4507 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 215 0.19/0.22 c #random_decision = 0 0.19/0.22 c #conflict = 0 0.19/0.22 c #restart = 0 0.19/0.22 o -16 0.19/0.22 c BCD2: updating upper bound: 200 -> 183 0.19/0.22 c BCD2: 0 <= obj <= 183 0.19/0.22 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4507 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 110 | 2 | 4507 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.009s 0.19/0.23 c #wall_clock_time = 0.009s 0.19/0.23 c #decision = 110 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 2 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 100: cost of the new core is >=1 0.19/0.23 c lower bound updated to -199 0.19/0.23 c BCD2: 1 <= obj <= 183 0.19/0.23 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 4507 0 | 0 | 0 0.19/0.25 c 0.0s | 0 | 101 | 1 | 4507 0 | 0 | 0 0.19/0.25 c #cpu_time = 0.013s 0.19/0.25 c #wall_clock_time = 0.013s 0.19/0.25 c #decision = 101 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 1 0.19/0.25 c #restart = 0 0.19/0.25 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.19/0.25 c lower bound updated to -198 0.19/0.25 c BCD2: 2 <= obj <= 183 0.19/0.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.25 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 4507 0 | 1 | 0 0.28/0.32 c 0.1s | 1 | 3190 | 100 | 4958 0 | 1 | 1 0.49/0.51 c 0.3s | 2 | 11434 | 250 | 5454 0 | 1 | 1 0.79/0.82 c 0.6s | 3 | 22841 | 475 | 6000 0 | 1 | 1 1.19/1.25 c 1.0s | 4 | 36902 | 813 | 6601 0 | 1 | 1 1.79/1.83 c 1.6s | 5 | 46758 | 1320 | 7262 0 | 1 | 1 3.09/3.18 c 2.9s | 6 | 49109 | 2081 | 7989 0 | 1 | 1 5.19/5.24 c 5.0s | 7 | 51048 | 3223 | 8788 0 | 1 | 1 7.29/7.32 c 7.1s | 7 | 62310 | 4523 | 8788 0 | 1 | 1 7.89/7.91 c 7.7s | 8 | 64581 | 4936 | 9667 0 | 1 | 1 10.00/10.08 c 9.8s | 8 | 71072 | 6236 | 9667 0 | 1 | 1 11.99/12.02 c 11.8s | 9 | 75998 | 7506 | 10634 0 | 1 | 1 13.99/14.04 c 13.8s | 9 | 78784 | 8706 | 10634 0 | 1 | 1 16.09/16.15 c 15.9s | 9 | 83510 | 9806 | 10634 0 | 1 | 1 18.29/18.34 c 18.1s | 9 | 85958 | 10906 | 10634 1 | 1 | 1 19.09/19.14 c 18.9s | 10 | 90066 | 11361 | 11698 1 | 1 | 1 21.19/21.28 c 21.0s | 10 | 111783 | 12761 | 11698 1 | 1 | 1 23.29/23.31 c 23.1s | 10 | 124473 | 13961 | 11698 1 | 1 | 1 25.49/25.52 c 25.3s | 10 | 128523 | 14861 | 11698 1 | 1 | 1 27.49/27.54 c 27.3s | 10 | 130880 | 15761 | 11698 1 | 1 | 1 29.59/29.60 c 29.4s | 10 | 132796 | 16761 | 11698 1 | 1 | 1 30.39/30.45 c 30.2s | 11 | 133574 | 17144 | 12868 1 | 1 | 1 32.59/32.62 c 32.4s | 11 | 134654 | 18144 | 12868 1 | 1 | 1 34.59/34.67 c 34.4s | 11 | 135917 | 19244 | 12868 2 | 1 | 1 36.79/36.80 c 36.5s | 11 | 137383 | 20444 | 12868 2 | 1 | 1 38.79/38.88 c 38.6s | 11 | 139855 | 21644 | 12868 2 | 1 | 1 40.88/40.97 c 40.7s | 11 | 141290 | 23044 | 12868 2 | 1 | 1 42.89/42.99 c 42.7s | 11 | 144405 | 24444 | 12868 2 | 1 | 1 44.98/45.06 c 44.8s | 12 | 150739 | 25819 | 14155 3 | 1 | 1 47.08/47.16 c 46.9s | 12 | 156103 | 27219 | 14155 3 | 1 | 1 49.18/49.27 c 49.0s | 12 | 162650 | 28619 | 14155 3 | 1 | 1 51.38/51.40 c 51.2s | 12 | 168582 | 30119 | 14155 3 | 1 | 1 53.48/53.51 c 53.3s | 12 | 174111 | 31519 | 14155 3 | 1 | 1 55.58/55.66 c 55.4s | 12 | 177439 | 32919 | 14155 3 | 1 | 1 57.68/57.79 c 57.5s | 12 | 182999 | 34319 | 14155 4 | 1 | 1 59.78/59.86 c 59.6s | 12 | 185584 | 35519 | 14155 4 | 1 | 1 61.78/61.87 c 61.6s | 12 | 189186 | 36719 | 14155 4 | 1 | 1 63.98/64.00 c 63.8s | 12 | 191480 | 38019 | 14155 4 | 1 | 1 65.48/65.57 c 65.3s | 13 | 197934 | 38832 | 15571 4 | 1 | 1 67.68/67.71 c 67.5s | 13 | 208240 | 39932 | 15571 4 | 1 | 1 69.68/69.74 c 69.5s | 13 | 213481 | 41132 | 15571 4 | 1 | 1 71.78/71.87 c 71.6s | 13 | 222564 | 42232 | 15571 5 | 1 | 1 73.78/73.88 c 73.6s | 13 | 232599 | 43232 | 15571 5 | 1 | 1 75.88/75.92 c 75.7s | 13 | 248255 | 44432 | 15571 5 | 1 | 1 77.98/78.05 c 77.8s | 13 | 260824 | 45832 | 15571 5 | 1 | 1 80.07/80.18 c 79.9s | 13 | 266541 | 46932 | 15571 5 | 1 | 1 82.17/82.28 c 82.0s | 13 | 277723 | 48032 | 15571 5 | 1 | 1 84.27/84.35 c 84.1s | 13 | 289288 | 48932 | 15571 5 | 1 | 1 86.47/86.56 c 86.3s | 13 | 299751 | 49932 | 15571 6 | 1 | 1 88.57/88.60 c 88.3s | 13 | 315579 | 51132 | 15571 6 | 1 | 1 90.57/90.68 c 90.4s | 13 | 332336 | 52232 | 15571 6 | 1 | 1 92.77/92.82 c 92.6s | 13 | 340813 | 53632 | 15571 6 | 1 | 1 94.77/94.87 c 94.6s | 13 | 348925 | 54632 | 15571 6 | 1 | 1 96.78/96.89 c 96.6s | 13 | 361698 | 55632 | 15571 6 | 1 | 1 98.98/99.06 c 98.8s | 13 | 382772 | 56832 | 15571 6 | 1 | 1 100.97/101.07 c 100s | 13 | 398672 | 58132 | 17129 7 | 1 | 1 101.28/101.38 c 101s | 14 | 399529 | 58352 | 17129 7 | 1 | 1 103.48/103.51 c 103s | 14 | 412869 | 59752 | 17129 7 | 1 | 1 105.58/105.62 c 105s | 14 | 425196 | 61152 | 17129 7 | 1 | 1 107.67/107.74 c 107s | 14 | 433858 | 62452 | 17129 7 | 1 | 1 109.77/109.82 c 109s | 14 | 437707 | 63652 | 17129 7 | 1 | 1 111.97/112.02 c 111s | 14 | 448521 | 64652 | 17129 7 | 1 | 1 113.97/114.03 c 113s | 14 | 473282 | 66052 | 17129 7 | 1 | 1 116.07/116.14 c 115s | 14 | 478865 | 67152 | 17129 8 | 1 | 1 118.17/118.24 c 117s | 14 | 492242 | 68452 | 17129 8 | 1 | 1 120.17/120.27 c 120s | 14 | 507631 | 69552 | 17129 8 | 1 | 1 122.37/122.47 c 122s | 14 | 514477 | 70552 | 17129 8 | 1 | 1 124.57/124.61 c 124s | 14 | 516506 | 71752 | 17129 8 | 1 | 1 126.67/126.77 c 126s | 14 | 519162 | 72952 | 17129 8 | 1 | 1 128.77/128.87 c 128s | 14 | 542509 | 73952 | 17129 8 | 1 | 1 130.87/130.92 c 130s | 14 | 548941 | 75052 | 17129 8 | 1 | 1 132.97/133.05 c 132s | 14 | 561939 | 76152 | 17129 9 | 1 | 1 135.07/135.16 c 134s | 14 | 571002 | 77552 | 17129 9 | 1 | 1 137.07/137.17 c 136s | 14 | 572850 | 78652 | 17129 9 | 1 | 1 139.06/139.19 c 138s | 14 | 576752 | 79752 | 17129 9 | 1 | 1 141.26/141.35 c 141s | 14 | 589933 | 81052 | 17129 9 | 1 | 1 143.36/143.49 c 143s | 14 | 591875 | 82152 | 17129 9 | 1 | 1 145.56/145.63 c 145s | 14 | 596784 | 83352 | 17129 9 | 1 | 1 147.56/147.66 c 147s | 14 | 605516 | 84652 | 17129 10 | 1 | 1 149.57/149.67 c 149s | 14 | 609618 | 85952 | 17129 10 | 1 | 1 151.66/151.70 c 151s | 14 | 615976 | 87252 | 18842 10 | 1 | 1 153.27/153.33 c 153s | 15 | 616866 | 87632 | 18842 10 | 1 | 1 155.37/155.45 c 155s | 15 | 635882 | 89232 | 18842 10 | 1 | 1 157.47/157.51 c 157s | 15 | 659748 | 90932 | 18842 10 | 1 | 1 159.48/159.53 c 159s | 15 | 674989 | 92132 | 18842 10 | 1 | 1 161.47/161.56 c 161s | 15 | 682061 | 93232 | 18842 10 | 1 | 1 163.57/163.64 c 163s | 15 | 698372 | 94432 | 18842 10 | 1 | 1 165.67/165.78 c 165s | 15 | 704286 | 95632 | 18842 11 | 1 | 1 167.87/167.98 c 167s | 15 | 712917 | 97032 | 18842 11 | 1 | 1 169.97/170.05 c 169s | 15 | 723188 | 98332 | 18842 11 | 1 | 1 172.07/172.16 c 171s | 15 | 726552 | 99532 | 18842 11 | 1 | 1 174.27/174.33 c 174s | 15 | 731068 | 100832 | 18842 11 | 1 | 1 176.36/176.49 c 176s | 15 | 751917 | 102032 | 18842 11 | 1 | 1 178.46/178.59 c 178s | 15 | 761638 | 103332 | 18842 11 | 1 | 1 180.86/180.90 c 180s | 15 | 767228 | 104532 | 18842 12 | 1 | 1 183.07/183.10 c 182s | 15 | 771254 | 105732 | 18842 12 | 1 | 1 185.16/185.22 c 184s | 15 | 775265 | 106832 | 18842 12 | 1 | 1 187.26/187.33 c 187s | 15 | 784166 | 108232 | 18842 12 | 1 | 1 189.27/189.36 c 189s | 15 | 796304 | 109632 | 18842 12 | 1 | 1 191.37/191.41 c 191s | 15 | 806970 | 111132 | 18842 12 | 1 | 1 193.36/193.48 c 193s | 15 | 811211 | 112232 | 18842 12 | 1 | 1 195.46/195.53 c 195s | 15 | 813843 | 113332 | 18842 12 | 1 | 1 197.46/197.58 c 197s | 15 | 816627 | 114332 | 18842 13 | 1 | 1 199.56/199.62 c 199s | 15 | 822873 | 115532 | 18842 13 | 1 | 1 201.56/201.69 c 201s | 15 | 826856 | 116832 | 18842 13 | 1 | 1 203.57/203.69 c 203s | 15 | 831478 | 117632 | 18842 13 | 1 | 1 205.67/205.77 c 205s | 15 | 835304 | 119032 | 18842 13 | 1 | 1 208.36/208.46 c 208s | 15 | 837538 | 120132 | 18842 13 | 1 | 1 210.46/210.57 c 210s | 15 | 842072 | 121732 | 18842 13 | 1 | 1 212.66/212.71 c 212s | 15 | 844308 | 123132 | 18842 13 | 1 | 1 214.65/214.77 c 214s | 15 | 850518 | 124332 | 18842 14 | 1 | 1 216.66/216.78 c 216s | 15 | 857797 | 125632 | 18842 14 | 1 | 1 218.65/218.79 c 218s | 15 | 863354 | 127032 | 18842 14 | 1 | 1 220.85/220.90 c 220s | 15 | 866023 | 128432 | 18842 14 | 1 | 1 222.95/223.03 c 222s | 15 | 874216 | 130032 | 18842 14 | 1 | 1 224.95/225.03 c 224s | 15 | 887413 | 131232 | 20727 14 | 1 | 1 225.35/225.49 c 225s | 16 | 890190 | 131552 | 20727 14 | 1 | 1 227.45/227.52 c 227s | 16 | 907779 | 132952 | 20727 14 | 1 | 1 229.55/229.62 c 229s | 16 | 914209 | 134052 | 20727 14 | 1 | 1 231.65/231.73 c 231s | 16 | 920780 | 135352 | 20727 14 | 1 | 1 233.65/233.78 c 233s | 16 | 922671 | 136252 | 20727 15 | 1 | 1 235.85/235.91 c 235s | 16 | 925066 | 137452 | 20727 15 | 1 | 1 237.85/237.99 c 237s | 16 | 932209 | 139052 | 20727 15 | 1 | 1 240.05/240.18 c 239s | 16 | 947001 | 140452 | 20727 15 | 1 | 1 242.25/242.39 c 242s | 16 | 951189 | 141452 | 20727 15 | 1 | 1 244.35/244.41 c 244s | 16 | 952247 | 142252 | 20727 15 | 1 | 1 246.46/246.52 c 246s | 16 | 953545 | 143552 | 20727 15 | 1 | 1 248.45/248.56 c 248s | 16 | 954754 | 144752 | 20727 15 | 1 | 1 250.86/250.92 c 250s | 16 | 961015 | 146052 | 20727 16 | 1 | 1 252.85/252.97 c 252s | 16 | 971764 | 147252 | 20727 16 | 1 | 1 255.05/255.11 c 254s | 16 | 981392 | 148552 | 20727 16 | 1 | 1 257.05/257.15 c 256s | 16 | 993211 | 149852 | 20727 16 | 1 | 1 259.15/259.27 c 259s | 16 | 1003913 | 151052 | 20727 16 | 1 | 1 261.25/261.30 c 261s | 16 | 1006793 | 152152 | 20727 16 | 1 | 1 263.25/263.31 c 263s | 16 | 1009659 | 153352 | 20727 16 | 1 | 1 265.25/265.33 c 265s | 16 | 1014954 | 154452 | 20727 16 | 1 | 1 267.25/267.38 c 267s | 16 | 1027650 | 155552 | 20727 16 | 1 | 1 269.35/269.44 c 269s | 16 | 1038723 | 156552 | 20727 17 | 1 | 1 271.44/271.51 c 271s | 16 | 1041347 | 157652 | 20727 17 | 1 | 1 273.54/273.68 c 273s | 16 | 1046873 | 158952 | 20727 17 | 1 | 1 275.74/275.87 c 275s | 16 | 1053496 | 160152 | 20727 17 | 1 | 1 277.94/278.03 c 277s | 16 | 1057314 | 161352 | 20727 17 | 1 | 1 280.04/280.14 c 279s | 16 | 1062372 | 162452 | 20727 17 | 1 | 1 282.24/282.37 c 282s | 16 | 1065951 | 163552 | 20727 17 | 1 | 1 284.24/284.38 c 284s | 16 | 1069194 | 164552 | 20727 17 | 1 | 1 286.34/286.42 c 286s | 16 | 1071544 | 165552 | 20727 17 | 1 | 1 288.44/288.56 c 288s | 16 | 1078049 | 166652 | 20727 17 | 1 | 1 290.64/290.74 c 290s | 16 | 1080417 | 167452 | 20727 18 | 1 | 1 292.74/292.87 c 292s | 16 | 1081669 | 168352 | 20727 18 | 1 | 1 294.94/295.06 c 294s | 16 | 1083275 | 169552 | 20727 18 | 1 | 1 297.14/297.24 c 296s | 16 | 1085580 | 170752 | 20727 18 | 1 | 1 299.15/299.28 c 299s | 16 | 1087550 | 171852 | 20727 18 | 1 | 1 301.45/301.52 c 301s | 16 | 1096978 | 173052 | 20727 18 | 1 | 1 303.45/303.57 c 303s | 16 | 1106111 | 174152 | 20727 18 | 1 | 1 305.45/305.58 c 305s | 16 | 1115074 | 175552 | 20727 18 | 1 | 1 307.55/307.69 c 307s | 16 | 1123815 | 176952 | 20727 18 | 1 | 1 309.74/309.87 c 309s | 16 | 1133849 | 178152 | 20727 19 | 1 | 1 311.84/311.98 c 311s | 16 | 1135998 | 179252 | 20727 19 | 1 | 1 313.94/314.05 c 313s | 16 | 1140920 | 180452 | 20727 19 | 1 | 1 315.94/316.07 c 315s | 16 | 1151412 | 182052 | 20727 19 | 1 | 1 318.04/318.13 c 317s | 16 | 1156041 | 183452 | 20727 19 | 1 | 1 320.15/320.24 c 319s | 16 | 1163648 | 185052 | 20727 19 | 1 | 1 322.25/322.40 c 322s | 16 | 1169043 | 186552 | 20727 19 | 1 | 1 324.34/324.47 c 324s | 16 | 1176828 | 187952 | 20727 19 | 1 | 1 326.34/326.49 c 326s | 16 | 1182692 | 189152 | 20727 20 | 1 | 1 328.54/328.64 c 328s | 16 | 1186355 | 190452 | 20727 20 | 1 | 1 330.64/330.77 c 330s | 16 | 1189345 | 191852 | 20727 20 | 1 | 1 332.94/333.04 c 332s | 16 | 1195788 | 193052 | 20727 20 | 1 | 1 334.94/335.07 c 334s | 16 | 1204129 | 194352 | 20727 20 | 1 | 1 337.14/337.28 c 337s | 16 | 1221238 | 195752 | 20727 20 | 1 | 1 339.24/339.31 c 339s | 16 | 1225217 | 196752 | 22800 20 | 1 | 1 340.64/340.75 c 340s | 17 | 1226283 | 197432 | 22800 20 | 1 | 1 342.74/342.85 c 342s | 17 | 1227455 | 198132 | 22800 20 | 1 | 1 344.84/344.94 c 344s | 17 | 1243381 | 199232 | 22800 20 | 1 | 1 346.94/347.03 c 346s | 17 | 1257849 | 200432 | 22800 20 | 1 | 1 349.14/349.23 c 348s | 17 | 1264460 | 201332 | 22800 21 | 1 | 1 351.24/351.31 c 351s | 17 | 1268939 | 202432 | 22800 21 | 1 | 1 353.34/353.45 c 353s | 17 | 1277774 | 203632 | 22800 21 | 1 | 1 355.44/355.57 c 355s | 17 | 1283682 | 204932 | 22800 21 | 1 | 1 357.64/357.70 c 357s | 17 | 1285111 | 205932 | 22800 21 | 1 | 1 359.74/359.86 c 359s | 17 | 1287489 | 206732 | 22800 21 | 1 | 1 361.73/361.90 c 361s | 17 | 1302055 | 207932 | 22800 21 | 1 | 1 363.93/364.02 c 363s | 17 | 1317639 | 209132 | 22800 21 | 1 | 1 365.93/366.03 c 365s | 17 | 1343017 | 210332 | 22800 21 | 1 | 1 367.93/368.07 c 367s | 17 | 1360375 | 211432 | 22800 21 | 1 | 1 370.13/370.21 c 369s | 17 | 1381769 | 212432 | 22800 22 | 1 | 1 372.13/372.25 c 372s | 17 | 1388263 | 213432 | 22800 22 | 1 | 1 374.13/374.27 c 374s | 17 | 1395924 | 214732 | 22800 22 | 1 | 1 376.24/376.35 c 376s | 17 | 1410923 | 216132 | 22800 22 | 1 | 1 378.34/378.48 c 378s | 17 | 1440319 | 217532 | 22800 22 | 1 | 1 380.43/380.57 c 380s | 17 | 1446907 | 218932 | 22800 22 | 1 | 1 382.53/382.61 c 382s | 17 | 1470912 | 220232 | 22800 22 | 1 | 1 384.53/384.65 c 384s | 17 | 1476828 | 221332 | 22800 22 | 1 | 1 386.63/386.72 c 386s | 17 | 1487909 | 222732 | 22800 22 | 1 | 1 388.83/388.92 c 388s | 17 | 1497199 | 223932 | 22800 23 | 1 | 1 390.93/391.05 c 390s | 17 | 1511463 | 225432 | 22800 23 | 1 | 1 393.03/393.10 c 392s | 17 | 1517231 | 226632 | 22800 23 | 1 | 1 395.13/395.21 c 394s | 17 | 1525070 | 227932 | 22800 23 | 1 | 1 397.23/397.36 c 397s | 17 | 1535910 | 229332 | 22800 23 | 1 | 1 399.33/399.47 c 399s | 17 | 1539057 | 230432 | 22800 23 | 1 | 1 401.53/401.65 c 401s | 17 | 1543648 | 231832 | 22800 23 | 1 | 1 403.63/403.74 c 403s | 17 | 1546205 | 232932 | 22800 23 | 1 | 1 405.73/405.85 c 405s | 17 | 1548517 | 233332 | 22800 23 | 1 | 1 407.83/407.93 c 407s | 17 | 1553153 | 234432 | 22800 23 | 1 | 1 410.24/410.31 c 410s | 17 | 1559801 | 235532 | 22800 24 | 1 | 1 412.23/412.37 c 412s | 17 | 1563778 | 236532 | 22800 24 | 1 | 1 414.33/414.49 c 414s | 17 | 1571856 | 237732 | 22800 24 | 1 | 1 416.53/416.63 c 416s | 17 | 1577645 | 238932 | 22800 24 | 1 | 1 418.53/418.67 c 418s | 17 | 1586519 | 240232 | 22800 24 | 1 | 1 420.62/420.77 c 420s | 17 | 1595987 | 241432 | 22800 24 | 1 | 1 422.72/422.86 c 422s | 17 | 1606210 | 242632 | 22800 24 | 1 | 1 424.92/425.01 c 424s | 17 | 1610051 | 243732 | 22800 24 | 1 | 1 426.92/427.06 c 426s | 17 | 1612192 | 244732 | 22800 24 | 1 | 1 428.93/429.10 c 428s | 17 | 1614475 | 245932 | 22800 24 | 1 | 1 431.02/431.14 c 430s | 17 | 1617814 | 247032 | 22800 24 | 1 | 1 433.02/433.15 c 432s | 17 | 1621402 | 248132 | 22800 25 | 1 | 1 435.13/435.25 c 434s | 17 | 1643206 | 249532 | 22800 25 | 1 | 1 437.13/437.25 c 437s | 17 | 1655693 | 250932 | 22800 25 | 1 | 1 439.13/439.29 c 439s | 17 | 1670851 | 252332 | 22800 25 | 1 | 1 441.23/441.30 c 441s | 17 | 1679978 | 253632 | 22800 25 | 1 | 1 443.33/443.44 c 443s | 17 | 1687269 | 255032 | 22800 25 | 1 | 1 445.53/445.61 c 445s | 17 | 1705026 | 256432 | 22800 25 | 1 | 1 447.53/447.64 c 447s | 17 | 1724191 | 257832 | 22800 25 | 1 | 1 449.53/449.66 c 449s | 17 | 1727643 | 258732 | 22800 26 | 1 | 1 451.53/451.66 c 451s | 17 | 1730299 | 259732 | 22800 26 | 1 | 1 453.73/453.85 c 453s | 17 | 1738709 | 260832 | 22800 26 | 1 | 1 455.82/455.93 c 455s | 17 | 1743616 | 261932 | 22800 26 | 1 | 1 458.02/458.10 c 457s | 17 | 1749419 | 263032 | 22800 26 | 1 | 1 460.02/460.18 c 459s | 17 | 1764800 | 264332 | 22800 26 | 1 | 1 462.12/462.29 c 462s | 17 | 1769869 | 265532 | 22800 26 | 1 | 1 464.23/464.33 c 464s | 17 | 1778556 | 266832 | 22800 26 | 1 | 1 466.33/466.45 c 466s | 17 | 1784635 | 268032 | 22800 26 | 1 | 1 468.32/468.45 c 468s | 17 | 1788281 | 269032 | 22800 26 | 1 | 1 470.42/470.59 c 470s | 17 | 1791642 | 270132 | 22800 26 | 1 | 1 472.62/472.74 c 472s | 17 | 1798281 | 270932 | 22800 27 | 1 | 1 474.72/474.81 c 474s | 17 | 1806656 | 272332 | 22800 27 | 1 | 1 476.72/476.86 c 476s | 17 | 1815443 | 273632 | 22800 27 | 1 | 1 478.92/479.00 c 478s | 17 | 1820154 | 274832 | 22800 27 | 1 | 1 480.92/481.01 c 480s | 17 | 1823603 | 276032 | 22800 27 | 1 | 1 482.93/483.08 c 482s | 17 | 1833173 | 277432 | 22800 27 | 1 | 1 485.03/485.13 c 484s | 17 | 1843096 | 278932 | 22800 27 | 1 | 1 487.02/487.14 c 486s | 17 | 1856899 | 280232 | 22800 27 | 1 | 1 489.12/489.21 c 488s | 17 | 1865354 | 281432 | 22800 27 | 1 | 1 491.12/491.27 c 491s | 17 | 1873529 | 282532 | 22800 28 | 1 | 1 493.32/493.46 c 493s | 17 | 1896084 | 283832 | 22800 28 | 1 | 1 495.42/495.51 c 495s | 17 | 1922475 | 285132 | 22800 28 | 1 | 1 497.42/497.52 c 497s | 17 | 1931731 | 286032 | 22800 28 | 1 | 1 499.43/499.54 c 499s | 17 | 1946373 | 287232 | 22800 28 | 1 | 1 501.42/501.56 c 501s | 17 | 1960984 | 288532 | 22800 28 | 1 | 1 503.42/503.59 c 503s | 17 | 1977166 | 290032 | 22800 28 | 1 | 1 505.52/505.61 c 505s | 17 | 1982992 | 291232 | 22800 28 | 1 | 1 507.62/507.74 c 507s | 17 | 1988247 | 292532 | 22800 28 | 1 | 1 509.62/509.79 c 509s | 17 | 1993782 | 293632 | 22800 29 | 1 | 1 511.82/511.91 c 511s | 17 | 1999320 | 295032 | 25081 29 | 1 | 1 513.51/513.60 c 513s | 18 | 2015260 | 296252 | 25081 29 | 1 | 1 515.51/515.63 c 515s | 18 | 2023050 | 296952 | 25081 29 | 1 | 1 517.51/517.63 c 517s | 18 | 2040886 | 298152 | 25081 29 | 1 | 1 519.51/519.64 c 519s | 18 | 2057538 | 299352 | 25081 29 | 1 | 1 521.71/521.82 c 521s | 18 | 2081282 | 300652 | 25081 29 | 1 | 1 523.71/523.83 c 523s | 18 | 2097729 | 301752 | 25081 29 | 1 | 1 525.82/525.98 c 525s | 18 | 2117827 | 302852 | 25081 29 | 1 | 1 528.02/528.14 c 527s | 18 | 2127025 | 303952 | 25081 29 | 1 | 1 530.22/530.30 c 530s | 18 | 2140546 | 305152 | 25081 29 | 1 | 1 532.32/532.47 c 532s | 18 | 2150684 | 306452 | 25081 29 | 1 | 1 534.41/534.57 c 534s | 18 | 2162116 | 307352 | 25081 30 | 1 | 1 536.51/536.62 c 536s | 18 | 2182585 | 308852 | 25081 30 | 1 | 1 538.51/538.63 c 538s | 18 | 2193444 | 310352 | 25081 30 | 1 | 1 540.51/540.64 c 540s | 18 | 2201959 | 311852 | 25081 30 | 1 | 1 542.61/542.79 c 542s | 18 | 2209907 | 313352 | 25081 30 | 1 | 1 544.81/544.92 c 544s | 18 | 2219479 | 314352 | 25081 30 | 1 | 1 546.81/546.98 c 546s | 18 | 2232960 | 315352 | 25081 30 | 1 | 1 549.01/549.13 c 548s | 18 | 2245166 | 316652 | 25081 30 | 1 | 1 551.02/551.14 c 550s | 18 | 2252681 | 317552 | 25081 30 | 1 | 1 553.11/553.29 c 553s | 18 | 2259834 | 318452 | 25081 30 | 1 | 1 555.21/555.36 c 555s | 18 | 2271103 | 319452 | 25081 30 | 1 | 1 557.21/557.37 c 557s | 18 | 2278088 | 320552 | 25081 31 | 1 | 1 559.21/559.37 c 559s | 18 | 2287436 | 321652 | 25081 31 | 1 | 1 561.31/561.43 c 561s | 18 | 2294377 | 322752 | 25081 31 | 1 | 1 563.41/563.59 c 563s | 18 | 2308759 | 323952 | 25081 31 | 1 | 1 565.51/565.61 c 565s | 18 | 2316911 | 325152 | 25081 31 | 1 | 1 567.61/567.75 c 567s | 18 | 2327874 | 326152 | 25081 31 | 1 | 1 569.61/569.78 c 569s | 18 | 2333739 | 327352 | 25081 31 | 1 | 1 571.81/571.90 c 571s | 18 | 2342424 | 328552 | 25081 31 | 1 | 1 573.80/573.96 c 573s | 18 | 2351286 | 329852 | 25081 31 | 1 | 1 575.90/576.01 c 575s | 18 | 2355522 | 330952 | 25081 31 | 1 | 1 578.00/578.10 c 577s | 18 | 2364891 | 332252 | 25081 31 | 1 | 1 580.00/580.15 c 579s | 18 | 2372857 | 333252 | 25081 32 | 1 | 1 582.10/582.25 c 582s | 18 | 2375840 | 334452 | 25081 32 | 1 | 1 584.50/584.61 c 584s | 18 | 2379340 | 335552 | 25081 32 | 1 | 1 586.50/586.65 c 586s | 18 | 2383642 | 336852 | 25081 32 | 1 | 1 588.70/588.81 c 588s | 18 | 2390630 | 338152 | 25081 32 | 1 | 1 590.80/590.94 c 590s | 18 | 2395957 | 339152 | 25081 32 | 1 | 1 593.00/593.13 c 592s | 18 | 2400635 | 340452 | 25081 32 | 1 | 1 595.11/595.23 c 594s | 18 | 2405645 | 341552 | 25081 32 | 1 | 1 597.21/597.31 c 597s | 18 | 2408743 | 342552 | 25081 32 | 1 | 1 599.30/599.40 c 599s | 18 | 2412192 | 343752 | 25081 32 | 1 | 1 601.30/601.42 c 601s | 18 | 2415514 | 344852 | 25081 32 | 1 | 1 603.40/603.51 c 603s | 18 | 2420666 | 345952 | 25081 33 | 1 | 1 605.50/605.65 c 605s | 18 | 2429161 | 347352 | 25081 33 | 1 | 1 607.60/607.74 c 607s | 18 | 2434649 | 348452 | 25081 33 | 1 | 1 609.70/609.84 c 609s | 18 | 2440705 | 349452 | 25081 33 | 1 | 1 611.90/612.01 c 611s | 18 | 2442910 | 350452 | 25081 33 | 1 | 1 613.90/614.04 c 613s | 18 | 2462635 | 351252 | 25081 33 | 1 | 1 616.00/616.15 c 615s | 18 | 2473618 | 352352 | 25081 33 | 1 | 1 618.00/618.16 c 617s | 18 | 2492135 | 353552 | 25081 33 | 1 | 1 620.09/620.29 c 620s | 18 | 2515354 | 354752 | 25081 33 | 1 | 1 622.29/622.40 c 622s | 18 | 2532664 | 356052 | 25081 33 | 1 | 1 624.49/624.60 c 624s | 18 | 2555152 | 357252 | 25081 33 | 1 | 1 626.59/626.79 c 626s | 18 | 2561456 | 358152 | 25081 34 | 1 | 1 628.69/628.81 c 628s | 18 | 2565503 | 358852 | 25081 34 | 1 | 1 630.69/630.84 c 630s | 18 | 2580666 | 360152 | 25081 34 | 1 | 1 632.79/632.91 c 632s | 18 | 2584144 | 361252 | 25081 34 | 1 | 1 634.79/634.98 c 634s | 18 | 2596280 | 362452 | 25081 34 | 1 | 1 636.90/637.01 c 636s | 18 | 2606822 | 363552 | 25081 34 | 1 | 1 639.00/639.16 c 638s | 18 | 2611784 | 364752 | 25081 34 | 1 | 1 641.09/641.23 c 640s | 18 | 2619600 | 365952 | 25081 34 | 1 | 1 643.19/643.36 c 643s | 18 | 2622110 | 367052 | 25081 34 | 1 | 1 645.29/645.45 c 645s | 18 | 2630950 | 368052 | 25081 34 | 1 | 1 647.49/647.60 c 647s | 18 | 2653949 | 369352 | 25081 34 | 1 | 1 649.59/649.72 c 649s | 18 | 2665886 | 370552 | 25081 34 | 1 | 1 651.69/651.81 c 651s | 18 | 2671629 | 371552 | 25081 35 | 1 | 1 653.69/653.88 c 653s | 18 | 2687059 | 372652 | 25081 35 | 1 | 1 655.79/655.97 c 655s | 18 | 2707189 | 373952 | 25081 35 | 1 | 1 657.89/658.04 c 657s | 18 | 2714700 | 375152 | 25081 35 | 1 | 1 659.90/660.10 c 659s | 18 | 2724795 | 376252 | 25081 35 | 1 | 1 662.10/662.25 c 661s | 18 | 2728136 | 377252 | 25081 35 | 1 | 1 664.30/664.49 c 664s | 18 | 2737110 | 378552 | 25081 35 | 1 | 1 666.50/666.65 c 666s | 18 | 2746707 | 379752 | 25081 35 | 1 | 1 668.59/668.75 c 668s | 18 | 2754731 | 380752 | 25081 35 | 1 | 1 670.69/670.84 c 670s | 18 | 2764917 | 381952 | 25081 35 | 1 | 1 672.89/673.03 c 672s | 18 | 2767771 | 382952 | 25081 35 | 1 | 1 674.99/675.10 c 674s | 18 | 2770431 | 383752 | 25081 36 | 1 | 1 676.99/677.14 c 676s | 18 | 2773076 | 384652 | 25081 36 | 1 | 1 679.09/679.28 c 679s | 18 | 2779823 | 385952 | 25081 36 | 1 | 1 681.19/681.33 c 681s | 18 | 2787915 | 387152 | 25081 36 | 1 | 1 683.29/683.47 c 683s | 18 | 2795017 | 388052 | 25081 36 | 1 | 1 685.49/685.64 c 685s | 18 | 2801078 | 389252 | 25081 36 | 1 | 1 687.49/687.67 c 687s | 18 | 2809972 | 390252 | 25081 36 | 1 | 1 689.59/689.72 c 689s | 18 | 2817686 | 391452 | 25081 36 | 1 | 1 691.59/691.73 c 691s | 18 | 2829332 | 392452 | 25081 36 | 1 | 1 693.69/693.87 c 693s | 18 | 2842910 | 393752 | 25081 36 | 1 | 1 695.89/696.06 c 695s | 18 | 2848139 | 394752 | 25081 36 | 1 | 1 697.99/698.10 c 697s | 18 | 2852716 | 395752 | 25081 36 | 1 | 1 700.19/700.35 c 700s | 18 | 2859870 | 396552 | 25081 37 | 1 | 1 702.29/702.41 c 702s | 18 | 2861832 | 397552 | 25081 37 | 1 | 1 704.38/704.58 c 704s | 18 | 2866096 | 398652 | 25081 37 | 1 | 1 706.48/706.60 c 706s | 18 | 2872947 | 399852 | 25081 37 | 1 | 1 708.48/708.62 c 708s | 18 | 2886563 | 401052 | 25081 37 | 1 | 1 710.49/710.70 c 710s | 18 | 2891378 | 402152 | 25081 37 | 1 | 1 712.58/712.70 c 712s | 18 | 2898741 | 403152 | 25081 37 | 1 | 1 714.68/714.83 c 714s | 18 | 2903319 | 404252 | 25081 37 | 1 | 1 716.78/716.93 c 716s | 18 | 2905512 | 405152 | 25081 37 | 1 | 1 718.78/718.94 c 718s | 18 | 2907913 | 406252 | 25081 37 | 1 | 1 720.88/721.02 c 720s | 18 | 2911177 | 407352 | 25081 37 | 1 | 1 722.88/723.07 c 722s | 18 | 2913719 | 408352 | 25081 37 | 1 | 1 725.08/725.26 c 725s | 18 | 2914164 | 408552 | 25081 37 | 1 | 1 727.09/727.27 c 727s | 18 | 2917802 | 409452 | 25081 38 | 1 | 1 729.29/729.46 c 729s | 18 | 2922740 | 410652 | 25081 38 | 1 | 1 731.28/731.48 c 731s | 18 | 2926244 | 411552 | 25081 38 | 1 | 1 733.48/733.60 c 733s | 18 | 2935691 | 412752 | 25081 38 | 1 | 1 735.58/735.76 c 735s | 18 | 2944542 | 414052 | 25081 38 | 1 | 1 737.68/737.88 c 737s | 18 | 2951244 | 415352 | 25081 38 | 1 | 1 739.68/739.88 c 739s | 18 | 2956604 | 416552 | 25081 38 | 1 | 1 741.78/741.97 c 741s | 18 | 2959407 | 417952 | 25081 38 | 1 | 1 743.88/744.01 c 743s | 18 | 2963811 | 419152 | 25081 38 | 1 | 1 745.98/746.12 c 745s | 18 | 2969184 | 420452 | 25081 38 | 1 | 1 747.98/748.17 c 747s | 18 | 2971997 | 421652 | 25081 38 | 1 | 1 750.08/750.29 c 750s | 18 | 2977466 | 422852 | 25081 39 | 1 | 1 752.18/752.32 c 752s | 18 | 2983326 | 424252 | 25081 39 | 1 | 1 754.38/754.51 c 754s | 18 | 2989800 | 425552 | 25081 39 | 1 | 1 756.48/756.67 c 756s | 18 | 2992304 | 426752 | 25081 39 | 1 | 1 758.58/758.73 c 758s | 18 | 3000892 | 428052 | 25081 39 | 1 | 1 760.58/760.78 c 760s | 18 | 3008345 | 429252 | 25081 39 | 1 | 1 762.68/762.85 c 762s | 18 | 3012812 | 430352 | 25081 39 | 1 | 1 764.77/764.95 c 764s | 18 | 3017682 | 431552 | 25081 39 | 1 | 1 766.77/766.97 c 766s | 18 | 3019064 | 432552 | 25081 39 | 1 | 1 768.97/769.16 c 768s | 18 | 3022073 | 433752 | 25081 39 | 1 | 1 771.17/771.33 c 771s | 18 | 3024142 | 434752 | 25081 40 | 1 | 1 773.28/773.48 c 773s | 18 | 3026011 | 435852 | 25081 40 | 1 | 1 775.48/775.61 c 775s | 18 | 3027712 | 437152 | 25081 40 | 1 | 1 777.58/777.78 c 777s | 18 | 3031119 | 438152 | 25081 40 | 1 | 1 779.67/779.89 c 779s | 18 | 3032583 | 439052 | 25081 40 | 1 | 1 781.77/781.99 c 781s | 18 | 3036447 | 440252 | 25081 40 | 1 | 1 783.97/784.10 c 783s | 18 | 3038368 | 441552 | 27590 40 | 1 | 1 785.97/786.15 c 785s | 18 | 3040427 | 442752 | 27590 40 | 1 | 1 788.07/788.26 c 788s | 18 | 3042835 | 444052 | 27590 40 | 1 | 1 788.68/788.89 c 788s | 19 | 3043690 | 444482 | 27590 40 | 1 | 1 790.88/791.01 c 790s | 19 | 3056226 | 445482 | 27590 40 | 1 | 1 792.87/793.02 c 792s | 19 | 3076336 | 446882 | 27590 40 | 1 | 1 794.97/795.14 c 794s | 19 | 3088874 | 448082 | 27590 40 | 1 | 1 797.07/797.21 c 796s | 19 | 3103136 | 449082 | 27590 40 | 1 | 1 799.17/799.38 c 799s | 19 | 3113695 | 449882 | 27590 41 | 1 | 1 801.27/801.41 c 801s | 19 | 3119152 | 450782 | 27590 41 | 1 | 1 803.37/803.60 c 803s | 19 | 3121272 | 451482 | 27590 41 | 1 | 1 805.47/805.64 c 805s | 19 | 3130934 | 452482 | 27590 41 | 1 | 1 807.47/807.69 c 807s | 19 | 3146808 | 453682 | 27590 41 | 1 | 1 809.57/809.74 c 809s | 19 | 3151449 | 454782 | 27590 41 | 1 | 1 811.57/811.78 c 811s | 19 | 3157373 | 455982 | 27590 41 | 1 | 1 813.66/813.81 c 813s | 19 | 3163178 | 457082 | 27590 41 | 1 | 1 815.66/815.88 c 815s | 19 | 3166661 | 458382 | 27590 41 | 1 | 1 817.76/817.99 c 817s | 19 | 3172593 | 459582 | 27590 41 | 1 | 1 819.86/820.03 c 819s | 19 | 3182242 | 460882 | 27590 41 | 1 | 1 821.96/822.18 c 821s | 19 | 3188120 | 462082 | 27590 41 | 1 | 1 824.06/824.23 c 823s | 19 | 3190225 | 463182 | 27590 41 | 1 | 1 826.07/826.25 c 826s | 19 | 3194510 | 464082 | 27590 42 | 1 | 1 828.17/828.38 c 828s | 19 | 3197217 | 465182 | 27590 42 | 1 | 1 830.26/830.48 c 830s | 19 | 3199961 | 466082 | 27590 42 | 1 | 1 832.36/832.53 c 832s | 19 | 3208612 | 467182 | 27590 42 | 1 | 1 834.46/834.69 c 834s | 19 | 3212919 | 468482 | 27590 42 | 1 | 1 836.66/836.86 c 836s | 19 | 3219753 | 469582 | 27590 42 | 1 | 1 838.66/838.87 c 838s | 19 | 3224984 | 470782 | 27590 42 | 1 | 1 840.66/840.87 c 840s | 19 | 3230966 | 471882 | 27590 42 | 1 | 1 842.86/843.00 c 842s | 19 | 3244470 | 473082 | 27590 42 | 1 | 1 844.96/845.13 c 844s | 19 | 3248935 | 474182 | 27590 42 | 1 | 1 846.96/847.16 c 846s | 19 | 3253844 | 475382 | 27590 42 | 1 | 1 849.06/849.23 c 848s | 19 | 3257609 | 476482 | 27590 42 | 1 | 1 851.16/851.38 c 851s | 19 | 3262214 | 477682 | 27590 42 | 1 | 1 853.26/853.49 c 853s | 19 | 3264404 | 478582 | 27590 43 | 1 | 1 855.36/855.54 c 855s | 19 | 3269272 | 479882 | 27590 43 | 1 | 1 857.35/857.55 c 857s | 19 | 3276309 | 481082 | 27590 43 | 1 | 1 859.45/859.60 c 859s | 19 | 3284585 | 482382 | 27590 43 | 1 | 1 861.55/861.75 c 861s | 19 | 3290613 | 483582 | 27590 43 | 1 | 1 863.65/863.85 c 863s | 19 | 3293710 | 484682 | 27590 43 | 1 | 1 865.67/865.86 c 865s | 19 | 3297221 | 485782 | 27590 43 | 1 | 1 867.65/867.87 c 867s | 19 | 3300317 | 486982 | 27590 43 | 1 | 1 869.75/869.92 c 869s | 19 | 3304191 | 488182 | 27590 43 | 1 | 1 871.85/872.04 c 871s | 19 | 3307250 | 489382 | 27590 43 | 1 | 1 873.95/874.13 c 873s | 19 | 3309295 | 490382 | 27590 43 | 1 | 1 875.95/876.14 c 875s | 19 | 3312301 | 491482 | 27590 43 | 1 | 1 878.05/878.28 c 878s | 19 | 3313390 | 492382 | 27590 44 | 1 | 1 880.15/880.34 c 880s | 19 | 3314150 | 492882 | 27590 44 | 1 | 1 882.24/882.47 c 882s | 19 | 3315369 | 493682 | 27590 44 | 1 | 1 884.25/884.47 c 884s | 19 | 3317720 | 494682 | 27590 44 | 1 | 1 886.34/886.60 c 886s | 19 | 3321738 | 495982 | 27590 44 | 1 | 1 888.44/888.67 c 888s | 19 | 3323875 | 497182 | 27590 44 | 1 | 1 890.54/890.72 c 890s | 19 | 3337405 | 498582 | 27590 44 | 1 | 1 892.54/892.78 c 892s | 19 | 3340071 | 499582 | 27590 44 | 1 | 1 894.74/894.92 c 894s | 19 | 3341554 | 500582 | 27590 44 | 1 | 1 896.74/896.95 c 896s | 19 | 3344382 | 501682 | 27590 44 | 1 | 1 898.73/898.95 c 898s | 19 | 3348330 | 502882 | 27590 44 | 1 | 1 900.84/901.05 c 900s | 19 | 3351533 | 504082 | 27590 44 | 1 | 1 902.83/903.06 c 902s | 19 | 3361156 | 505182 | 27590 44 | 1 | 1 904.93/905.15 c 904s | 19 | 3375653 | 506282 | 27590 45 | 1 | 1 907.03/907.26 c 907s | 19 | 3386598 | 507682 | 27590 45 | 1 | 1 909.13/909.33 c 909s | 19 | 3405129 | 508682 | 27590 45 | 1 | 1 911.23/911.47 c 911s | 19 | 3419586 | 509682 | 27590 45 | 1 | 1 913.33/913.51 c 913s | 19 | 3426226 | 510982 | 27590 45 | 1 | 1 915.43/915.60 c 915s | 19 | 3435053 | 512282 | 27590 45 | 1 | 1 917.42/917.62 c 917s | 19 | 3457037 | 513582 | 27590 45 | 1 | 1 919.43/919.66 c 919s | 19 | 3467346 | 514782 | 27590 45 | 1 | 1 921.52/921.72 c 921s | 19 | 3479321 | 515882 | 27590 45 | 1 | 1 923.52/923.78 c 923s | 19 | 3493959 | 517082 | 27590 45 | 1 | 1 925.72/925.91 c 925s | 19 | 3498030 | 518182 | 27590 45 | 1 | 1 927.92/928.10 c 927s | 19 | 3516423 | 519382 | 27590 45 | 1 | 1 929.92/930.12 c 929s | 19 | 3530232 | 520282 | 27590 46 | 1 | 1 931.92/932.18 c 931s | 19 | 3534027 | 521282 | 27590 46 | 1 | 1 934.12/934.37 c 934s | 19 | 3537647 | 522382 | 27590 46 | 1 | 1 936.22/936.44 c 936s | 19 | 3542631 | 523382 | 27590 46 | 1 | 1 938.41/938.63 c 938s | 19 | 3546743 | 524482 | 27590 46 | 1 | 1 940.42/940.64 c 940s | 19 | 3548810 | 525482 | 27590 46 | 1 | 1 942.52/942.79 c 942s | 19 | 3552125 | 526482 | 27590 46 | 1 | 1 944.61/944.87 c 944s | 19 | 3555863 | 527582 | 27590 46 | 1 | 1 946.71/946.93 c 946s | 19 | 3558883 | 528582 | 27590 46 | 1 | 1 948.91/949.10 c 948s | 19 | 3561219 | 529582 | 27590 46 | 1 | 1 950.91/951.10 c 950s | 19 | 3575864 | 530682 | 27590 46 | 1 | 1 952.91/953.11 c 952s | 19 | 3580348 | 531782 | 27590 46 | 1 | 1 955.01/955.24 c 954s | 19 | 3583295 | 532782 | 27590 46 | 1 | 1 957.10/957.33 c 957s | 19 | 3588647 | 533782 | 27590 46 | 1 | 1 959.20/959.44 c 959s | 19 | 3590921 | 534682 | 27590 47 | 1 | 1 961.21/961.48 c 961s | 19 | 3593847 | 535782 | 27590 47 | 1 | 1 963.41/963.63 c 963s | 19 | 3595758 | 536882 | 27590 47 | 1 | 1 965.50/965.71 c 965s | 19 | 3602411 | 538182 | 27590 47 | 1 | 1 967.60/967.80 c 967s | 19 | 3609311 | 539482 | 27590 47 | 1 | 1 969.70/969.94 c 969s | 19 | 3611751 | 540582 | 27590 47 | 1 | 1 971.80/972.05 c 971s | 19 | 3623589 | 541782 | 27590 47 | 1 | 1 974.00/974.20 c 973s | 19 | 3629749 | 542982 | 27590 47 | 1 | 1 976.10/976.38 c 976s | 19 | 3632670 | 543982 | 27590 47 | 1 | 1 978.19/978.46 c 978s | 19 | 3634884 | 544982 | 27590 47 | 1 | 1 980.29/980.51 c 980s | 19 | 3638399 | 545982 | 27590 47 | 1 | 1 982.39/982.69 c 982s | 19 | 3640394 | 547082 | 27590 47 | 1 | 1 984.69/984.99 c 984s | 19 | 3642138 | 547982 | 27590 48 | 1 | 1 986.79/987.04 c 986s | 19 | 3644849 | 548982 | 27590 48 | 1 | 1 988.79/989.08 c 988s | 19 | 3648169 | 549982 | 27590 48 | 1 | 1 990.99/991.29 c 991s | 19 | 3652526 | 551082 | 27590 48 | 1 | 1 993.19/993.47 c 993s | 19 | 3656739 | 552182 | 27590 48 | 1 | 1 995.19/995.48 c 995s | 19 | 3661663 | 553182 | 27590 48 | 1 | 1 997.38/997.65 c 997s | 19 | 3665586 | 554282 | 27590 48 | 1 | 1 999.58/999.83 c 999s | 19 | 3668371 | 555382 | 27590 48 | 1 | 1 1001.68/1001.93 c 1001s | 19 | 3670008 | 556382 | 27590 48 | 1 | 1 1003.68/1003.98 c 1003s | 19 | 3671985 | 557482 | 27590 48 | 1 | 1 1005.88/1006.12 c 1005s | 19 | 3674272 | 558582 | 27590 48 | 1 | 1 1007.98/1008.26 c 1008s | 19 | 3676623 | 559582 | 27590 48 | 1 | 1 1010.09/1010.37 c 1010s | 19 | 3681377 | 559782 | 27590 48 | 1 | 1 1012.09/1012.40 c 1012s | 19 | 3695992 | 560882 | 27590 48 | 1 | 1 1015.98/1016.23 c 1015s | 19 | 3710128 | 561882 | 27590 49 | 1 | 1 1017.98/1018.29 c 1018s | 19 | 3728953 | 563282 | 27590 49 | 1 | 1 1020.28/1020.52 c 1020s | 19 | 3736848 | 564082 | 27590 49 | 1 | 1 1022.38/1022.61 c 1022s | 19 | 3741902 | 564982 | 27590 49 | 1 | 1 1024.48/1024.77 c 1024s | 19 | 3765184 | 566082 | 27590 49 | 1 | 1 1026.67/1026.93 c 1026s | 19 | 3783500 | 567282 | 27590 49 | 1 | 1 1028.77/1029.02 c 1028s | 19 | 3802697 | 568582 | 27590 49 | 1 | 1 1030.77/1031.07 c 1030s | 19 | 3808602 | 569282 | 27590 49 | 1 | 1 1032.87/1033.10 c 1032s | 19 | 3818726 | 570282 | 27590 49 | 1 | 1 1034.88/1035.13 c 1034s | 19 | 3833373 | 571582 | 27590 49 | 1 | 1 1036.97/1037.27 c 1037s | 19 | 3852078 | 573082 | 27590 49 | 1 | 1 1039.17/1039.43 c 1039s | 19 | 3865104 | 574182 | 27590 49 | 1 | 1 1041.17/1041.43 c 1041s | 19 | 3873310 | 575282 | 27590 49 | 1 | 1 1043.26/1043.60 c 1043s | 19 | 3880321 | 576182 | 27590 50 | 1 | 1 1045.46/1045.73 c 1045s | 19 | 3894381 | 577482 | 27590 50 | 1 | 1 1047.56/1047.81 c 1047s | 19 | 3902939 | 578782 | 27590 50 | 1 | 1 1049.66/1049.95 c 1049s | 19 | 3910603 | 579982 | 27590 50 | 1 | 1 1051.76/1052.04 c 1051s | 19 | 3914020 | 580982 | 27590 50 | 1 | 1 1053.87/1054.15 c 1053s | 19 | 3923184 | 582082 | 27590 50 | 1 | 1 1055.88/1056.17 c 1055s | 19 | 3959563 | 583382 | 27590 50 | 1 | 1 1057.87/1058.17 c 1057s | 19 | 3975785 | 584482 | 27590 50 | 1 | 1 1059.96/1060.29 c 1060s | 19 | 3988141 | 585482 | 27590 50 | 1 | 1 1062.16/1062.48 c 1062s | 19 | 3995939 | 586282 | 27590 50 | 1 | 1 1064.26/1064.56 c 1064s | 19 | 4015227 | 586982 | 27590 50 | 1 | 1 1066.36/1066.64 c 1066s | 19 | 4035417 | 588082 | 27590 50 | 1 | 1 1068.36/1068.69 c 1068s | 19 | 4039493 | 588982 | 27590 50 | 1 | 1 1070.56/1070.81 c 1070s | 19 | 4051202 | 589982 | 27590 51 | 1 | 1 1072.66/1072.97 c 1072s | 19 | 4059166 | 591182 | 27590 51 | 1 | 1 1074.76/1075.03 c 1074s | 19 | 4065341 | 592182 | 27590 51 | 1 | 1 1076.86/1077.14 c 1076s | 19 | 4075005 | 593682 | 27590 51 | 1 | 1 1078.96/1079.28 c 1079s | 19 | 4083575 | 594982 | 27590 51 | 1 | 1 1081.06/1081.33 c 1081s | 19 | 4092390 | 596482 | 27590 51 | 1 | 1 1083.15/1083.41 c 1083s | 19 | 4098933 | 597682 | 27590 51 | 1 | 1 1085.25/1085.55 c 1085s | 19 | 4104981 | 598982 | 27590 51 | 1 | 1 1087.25/1087.57 c 1087s | 19 | 4113801 | 600382 | 27590 51 | 1 | 1 1089.35/1089.70 c 1089s | 19 | 4118373 | 601782 | 27590 51 | 1 | 1 1091.55/1091.82 c 1091s | 19 | 4123204 | 603082 | 27590 51 | 1 | 1 1093.55/1093.84 c 1093s | 19 | 4143029 | 604282 | 27590 52 | 1 | 1 1095.75/1096.08 c 1095s | 19 | 4154995 | 605582 | 27590 52 | 1 | 1 1097.84/1098.14 c 1097s | 19 | 4166729 | 606682 | 27590 52 | 1 | 1 1099.94/1100.26 c 1100s | 19 | 4184440 | 607782 | 27590 52 | 1 | 1 1102.05/1102.31 c 1102s | 19 | 4207391 | 608982 | 27590 52 | 1 | 1 1104.04/1104.32 c 1104s | 19 | 4218672 | 610082 | 27590 52 | 1 | 1 1106.24/1106.52 c 1106s | 19 | 4225665 | 611082 | 27590 52 | 1 | 1 1108.34/1108.67 c 1108s | 19 | 4241566 | 611982 | 27590 52 | 1 | 1 1110.44/1110.73 c 1110s | 19 | 4251880 | 612882 | 27590 52 | 1 | 1 1112.43/1112.75 c 1112s | 19 | 4259266 | 613882 | 27590 52 | 1 | 1 1115.33/1115.67 c 1115s | 19 | 4269058 | 614582 | 27590 52 | 1 | 1 1117.53/1117.81 c 1117s | 19 | 4291571 | 615482 | 27590 52 | 1 | 1 1119.53/1119.89 c 1119s | 19 | 4309891 | 616482 | 27590 52 | 1 | 1 1121.52/1121.90 c 1121s | 19 | 4321284 | 617382 | 27590 52 | 1 | 1 1123.82/1124.11 c 1123s | 19 | 4328274 | 618082 | 27590 53 | 1 | 1 1125.82/1126.15 c 1125s | 19 | 4350101 | 619082 | 27590 53 | 1 | 1 1127.92/1128.20 c 1127s | 19 | 4365549 | 620182 | 27590 53 | 1 | 1 1130.02/1130.35 c 1130s | 19 | 4386518 | 621582 | 27590 53 | 1 | 1 1132.02/1132.37 c 1132s | 19 | 4413985 | 622682 | 27590 53 | 1 | 1 1134.02/1134.39 c 1134s | 19 | 4433201 | 623682 | 27590 53 | 1 | 1 1136.22/1136.56 c 1136s | 19 | 4444656 | 624682 | 27590 53 | 1 | 1 1138.22/1138.59 c 1138s | 19 | 4453730 | 625582 | 27590 53 | 1 | 1 1140.32/1140.67 c 1140s | 19 | 4484343 | 626682 | 27590 53 | 1 | 1 1142.42/1142.77 c 1142s | 19 | 4501584 | 627782 | 27590 53 | 1 | 1 1144.42/1144.78 c 1144s | 19 | 4513666 | 628682 | 27590 53 | 1 | 1 1146.62/1146.94 c 1146s | 19 | 4524126 | 629782 | 27590 53 | 1 | 1 1148.71/1149.07 c 1148s | 19 | 4533475 | 630782 | 27590 53 | 1 | 1 1150.81/1151.16 c 1150s | 19 | 4545410 | 631682 | 27590 54 | 1 | 1 1152.91/1153.23 c 1152s | 19 | 4558268 | 632782 | 27590 54 | 1 | 1 1155.11/1155.41 c 1155s | 19 | 4564084 | 633782 | 27590 54 | 1 | 1 1157.21/1157.59 c 1157s | 19 | 4570764 | 634882 | 27590 54 | 1 | 1 1159.50/1159.81 c 1159s | 19 | 4581017 | 635982 | 27590 54 | 1 | 1 1161.50/1161.82 c 1161s | 19 | 4589927 | 636982 | 27590 54 | 1 | 1 1163.61/1163.96 c 1163s | 19 | 4593538 | 637882 | 27590 54 | 1 | 1 1165.71/1166.03 c 1165s | 19 | 4613756 | 639182 | 27590 54 | 1 | 1 1167.70/1168.09 c 1167s | 19 | 4617274 | 640282 | 27590 54 | 1 | 1 1169.80/1170.16 c 1169s | 19 | 4620867 | 641382 | 27590 54 | 1 | 1 1171.80/1172.17 c 1171s | 19 | 4626630 | 642582 | 27590 54 | 1 | 1 1173.90/1174.28 c 1174s | 19 | 4630351 | 643682 | 27590 54 | 1 | 1 1176.00/1176.37 c 1176s | 19 | 4634513 | 644882 | 27590 54 | 1 | 1 1177.99/1178.39 c 1178s | 19 | 4639191 | 645782 | 27590 55 | 1 | 1 1180.10/1180.47 c 1180s | 19 | 4648350 | 646982 | 27590 55 | 1 | 1 1182.20/1182.53 c 1182s | 19 | 4651659 | 647982 | 27590 55 | 1 | 1 1184.19/1184.56 c 1184s | 19 | 4656134 | 648982 | 27590 55 | 1 | 1 1187.19/1187.58 c 1187s | 19 | 4657185 | 649082 | 27590 55 | 1 | 1 1189.29/1189.64 c 1189s | 19 | 4664661 | 649582 | 27590 55 | 1 | 1 1191.39/1191.71 c 1191s | 19 | 4672035 | 650682 | 27590 55 | 1 | 1 1193.39/1193.75 c 1193s | 19 | 4687698 | 651882 | 27590 55 | 1 | 1 1195.39/1195.78 c 1195s | 19 | 4714766 | 653082 | 27590 55 | 1 | 1 1197.38/1197.79 c 1197s | 19 | 4738322 | 654282 | 27590 55 | 1 | 1 1199.48/1199.89 c 1199s | 19 | 4753273 | 655582 | 27590 55 | 1 | 1 1201.68/1202.08 c 1201s | 19 | 4773113 | 656782 | 27590 55 | 1 | 1 1203.88/1204.21 c 1203s | 19 | 4799674 | 657882 | 27590 55 | 1 | 1 1205.88/1206.24 c 1205s | 19 | 4832362 | 659082 | 27590 55 | 1 | 1 1207.88/1208.27 c 1208s | 19 | 4849219 | 660182 | 27590 56 | 1 | 1 1209.98/1210.37 c 1210s | 19 | 4869009 | 661682 | 27590 56 | 1 | 1 1212.08/1212.43 c 1212s | 19 | 4890030 | 663582 | 30350 56 | 1 | 1 1214.18/1214.51 c 1214s | 19 | 4909543 | 665282 | 30350 56 | 1 | 1 1216.08/1216.47 c 1216s | 20 | 4919367 | 666827 | 30350 56 | 1 | 1 1218.17/1218.58 c 1218s | 20 | 4939078 | 668027 | 30350 56 | 1 | 1 1220.27/1220.66 c 1220s | 20 | 4955321 | 669227 | 30350 56 | 1 | 1 1222.37/1222.70 c 1222s | 20 | 4963625 | 670327 | 30350 56 | 1 | 1 1224.57/1224.96 c 1224s | 20 | 4978590 | 671227 | 30350 56 | 1 | 1 1226.67/1227.05 c 1226s | 20 | 5000757 | 672427 | 30350 56 | 1 | 1 1228.77/1229.11 c 1228s | 20 | 5011443 | 673827 | 30350 56 | 1 | 1 1230.77/1231.15 c 1230s | 20 | 5021050 | 675327 | 30350 56 | 1 | 1 1232.87/1233.28 c 1233s | 20 | 5029564 | 676427 | 30350 57 | 1 | 1 1234.97/1235.38 c 1235s | 20 | 5038180 | 677827 | 30350 57 | 1 | 1 1236.97/1237.39 c 1237s | 20 | 5049655 | 679327 | 30350 57 | 1 | 1 1239.06/1239.48 c 1239s | 20 | 5059334 | 680627 | 30350 57 | 1 | 1 1241.16/1241.52 c 1241s | 20 | 5069403 | 681927 | 30350 57 | 1 | 1 1243.16/1243.57 c 1243s | 20 | 5088574 | 683227 | 30350 57 | 1 | 1 1245.36/1245.72 c 1245s | 20 | 5097539 | 684527 | 30350 57 | 1 | 1 1247.47/1247.84 c 1247s | 20 | 5108685 | 685427 | 30350 57 | 1 | 1 1249.47/1249.89 c 1249s | 20 | 5124223 | 686627 | 30350 57 | 1 | 1 1251.67/1252.06 c 1251s | 20 | 5135667 | 688027 | 30350 57 | 1 | 1 1253.67/1254.06 c 1253s | 20 | 5141239 | 689127 | 30350 57 | 1 | 1 1255.67/1256.07 c 1255s | 20 | 5152353 | 690127 | 30350 57 | 1 | 1 1257.76/1258.15 c 1257s | 20 | 5172012 | 691427 | 30350 57 | 1 | 1 1259.76/1260.16 c 1259s | 20 | 5187523 | 692427 | 30350 58 | 1 | 1 1261.86/1262.22 c 1261s | 20 | 5195489 | 693727 | 30350 58 | 1 | 1 1263.86/1264.26 c 1264s | 20 | 5204784 | 695127 | 30350 58 | 1 | 1 1266.06/1266.43 c 1266s | 20 | 5213429 | 696427 | 30350 58 | 1 | 1 1268.06/1268.49 c 1268s | 20 | 5233978 | 697827 | 30350 58 | 1 | 1 1270.16/1270.58 c 1270s | 20 | 5249238 | 699027 | 30350 58 | 1 | 1 1272.36/1272.75 c 1272s | 20 | 5258936 | 700427 | 30350 58 | 1 | 1 1274.46/1274.80 c 1274s | 20 | 5278805 | 701727 | 30350 58 | 1 | 1 1276.56/1276.97 c 1276s | 20 | 5296528 | 702927 | 30350 58 | 1 | 1 1278.75/1279.11 c 1278s | 20 | 5308263 | 704327 | 30350 58 | 1 | 1 1280.85/1281.23 c 1280s | 20 | 5318251 | 705527 | 30350 58 | 1 | 1 1282.85/1283.28 c 1283s | 20 | 5328175 | 706627 | 30350 58 | 1 | 1 1284.95/1285.39 c 1285s | 20 | 5335895 | 707627 | 30350 59 | 1 | 1 1287.15/1287.54 c 1287s | 20 | 5340963 | 708827 | 30350 59 | 1 | 1 1289.25/1289.67 c 1289s | 20 | 5343373 | 709727 | 30350 59 | 1 | 1 1291.45/1291.80 c 1291s | 20 | 5346823 | 710827 | 30350 59 | 1 | 1 1293.45/1293.88 c 1293s | 20 | 5352322 | 712027 | 30350 59 | 1 | 1 1295.55/1295.94 c 1295s | 20 | 5355644 | 713027 | 30350 59 | 1 | 1 1297.54/1297.98 c 1297s | 20 | 5360790 | 714027 | 30350 59 | 1 | 1 1299.74/1300.17 c 1299s | 20 | 5362905 | 714927 | 30350 59 | 1 | 1 1301.94/1302.32 c 1302s | 20 | 5384820 | 716127 | 30350 59 | 1 | 1 1303.94/1304.38 c 1304s | 20 | 5396960 | 717327 | 30350 59 | 1 | 1 1306.04/1306.44 c 1306s | 20 | 5406615 | 718527 | 30350 59 | 1 | 1 1308.24/1308.66 c 1308s | 20 | 5427793 | 719827 | 30350 59 | 1 | 1 1310.24/1310.66 c 1310s | 20 | 5443268 | 720727 | 30350 59 | 1 | 1 1312.34/1312.77 c 1312s | 20 | 5460807 | 721727 | 30350 59 | 1 | 1 1314.44/1314.83 c 1314s | 20 | 5476118 | 722727 | 30350 60 | 1 | 1 1316.44/1316.84 c 1316s | 20 | 5488065 | 723727 | 30350 60 | 1 | 1 1318.54/1318.91 c 1318s | 20 | 5497260 | 724827 | 30350 60 | 1 | 1 1320.63/1321.10 c 1320s | 20 | 5504060 | 726127 | 30350 60 | 1 | 1 1322.83/1323.23 c 1322s | 20 | 5518664 | 727327 | 30350 60 | 1 | 1 1324.83/1325.28 c 1325s | 20 | 5530520 | 728427 | 30350 60 | 1 | 1 1327.03/1327.43 c 1327s | 20 | 5545048 | 729627 | 30350 60 | 1 | 1 1329.23/1329.64 c 1329s | 20 | 5550952 | 730627 | 30350 60 | 1 | 1 1331.33/1331.74 c 1331s | 20 | 5556753 | 731727 | 30350 60 | 1 | 1 1333.43/1333.82 c 1333s | 20 | 5566865 | 732827 | 30350 60 | 1 | 1 1335.43/1335.83 c 1335s | 20 | 5569671 | 733727 | 30350 60 | 1 | 1 1337.53/1337.98 c 1337s | 20 | 5573413 | 734827 | 30350 60 | 1 | 1 1339.63/1340.08 c 1339s | 20 | 5587054 | 735827 | 30350 60 | 1 | 1 1341.83/1342.22 c 1341s | 20 | 5597740 | 736827 | 30350 60 | 1 | 1 1344.43/1344.81 c 1344s | 20 | 5605893 | 737827 | 30350 61 | 1 | 1 1346.53/1346.99 c 1346s | 20 | 5611754 | 738827 | 30350 61 | 1 | 1 1348.72/1349.14 c 1348s | 20 | 5616759 | 739827 | 30350 61 | 1 | 1 1350.92/1351.38 c 1351s | 20 | 5621505 | 740927 | 30350 61 | 1 | 1 1352.92/1353.38 c 1353s | 20 | 5623288 | 741727 | 30350 61 | 1 | 1 1355.32/1355.76 c 1355s | 20 | 5630667 | 742127 | 30350 61 | 1 | 1 1357.42/1357.86 c 1357s | 20 | 5647687 | 743127 | 30350 61 | 1 | 1 1359.62/1360.00 c 1359s | 20 | 5657905 | 744127 | 30350 61 | 1 | 1 1361.62/1362.05 c 1361s | 20 | 5681049 | 745227 | 30350 61 | 1 | 1 1363.72/1364.13 c 1363s | 20 | 5697246 | 746327 | 30350 61 | 1 | 1 1365.82/1366.23 c 1365s | 20 | 5706803 | 747227 | 30350 61 | 1 | 1 1368.02/1368.41 c 1368s | 20 | 5713088 | 748227 | 30350 61 | 1 | 1 1370.01/1370.49 c 1370s | 20 | 5723004 | 749127 | 30350 61 | 1 | 1 1372.21/1372.63 c 1372s | 20 | 5734543 | 750127 | 30350 61 | 1 | 1 1374.21/1374.68 c 1374s | 20 | 5745500 | 751227 | 30350 61 | 1 | 1 1376.41/1376.86 c 1376s | 20 | 5752510 | 752227 | 30350 61 | 1 | 1 1378.61/1379.05 c 1378s | 20 | 5761112 | 753127 | 30350 62 | 1 | 1 1380.81/1381.27 c 1381s | 20 | 5766264 | 754127 | 30350 62 | 1 | 1 1383.01/1383.42 c 1383s | 20 | 5769580 | 754827 | 30350 62 | 1 | 1 1385.01/1385.42 c 1385s | 20 | 5771283 | 755527 | 30350 62 | 1 | 1 1387.21/1387.64 c 1387s | 20 | 5772806 | 756327 | 30350 62 | 1 | 1 1389.21/1389.65 c 1389s | 20 | 5787265 | 757227 | 30350 62 | 1 | 1 1391.31/1391.79 c 1391s | 20 | 5800281 | 758327 | 30350 62 | 1 | 1 1393.61/1394.01 c 1393s | 20 | 5808196 | 759327 | 30350 62 | 1 | 1 1395.70/1396.18 c 1395s | 20 | 5823595 | 760627 | 30350 62 | 1 | 1 1397.81/1398.29 c 1398s | 20 | 5827563 | 761627 | 30350 62 | 1 | 1 1399.91/1400.38 c 1400s | 20 | 5831872 | 762727 | 30350 62 | 1 | 1 1402.00/1402.46 c 1402s | 20 | 5840968 | 763827 | 30350 62 | 1 | 1 1404.20/1404.68 c 1404s | 20 | 5851330 | 764827 | 30350 62 | 1 | 1 1406.30/1406.75 c 1406s | 20 | 5864657 | 765827 | 30350 62 | 1 | 1 1408.40/1408.89 c 1408s | 20 | 5866474 | 766727 | 30350 62 | 1 | 1 1410.60/1411.08 c 1410s | 20 | 5874451 | 767727 | 30350 62 | 1 | 1 1412.70/1413.19 c 1412s | 20 | 5880635 | 768627 | 30350 63 | 1 | 1 1414.90/1415.37 c 1415s | 20 | 5883760 | 769627 | 30350 63 | 1 | 1 1417.09/1417.57 c 1417s | 20 | 5886847 | 770627 | 30350 63 | 1 | 1 1419.19/1419.62 c 1419s | 20 | 5889311 | 771527 | 30350 63 | 1 | 1 1421.29/1421.79 c 1421s | 20 | 5892788 | 772527 | 30350 63 | 1 | 1 1424.50/1424.99 c 1424s | 20 | 5893931 | 772727 | 30350 63 | 1 | 1 1426.60/1427.07 c 1426s | 20 | 5903246 | 773827 | 30350 63 | 1 | 1 1428.70/1429.10 c 1428s | 20 | 5906266 | 774727 | 30350 63 | 1 | 1 1430.70/1431.11 c 1430s | 20 | 5909956 | 775627 | 30350 63 | 1 | 1 1432.90/1433.31 c 1433s | 20 | 5913016 | 776527 | 30350 63 | 1 | 1 1434.90/1435.37 c 1435s | 20 | 5920249 | 777627 | 30350 63 | 1 | 1 1436.90/1437.39 c 1437s | 20 | 5926397 | 778627 | 30350 63 | 1 | 1 1438.99/1439.42 c 1439s | 20 | 5931896 | 779527 | 30350 63 | 1 | 1 1440.99/1441.45 c 1441s | 20 | 5935654 | 780527 | 30350 63 | 1 | 1 1443.19/1443.63 c 1443s | 20 | 5939977 | 781527 | 30350 63 | 1 | 1 1445.39/1445.80 c 1445s | 20 | 5941337 | 782327 | 30350 63 | 1 | 1 1447.49/1447.92 c 1447s | 20 | 5944382 | 783227 | 30350 63 | 1 | 1 1449.59/1450.00 c 1449s | 20 | 5948927 | 783627 | 30350 64 | 1 | 1 1451.60/1452.09 c 1451s | 20 | 5968250 | 784527 | 30350 64 | 1 | 1 1455.19/1455.64 c 1455s | 20 | 5977739 | 785127 | 30350 64 | 1 | 1 1457.19/1457.68 c 1457s | 20 | 5983017 | 785627 | 30350 64 | 1 | 1 1459.29/1459.78 c 1459s | 20 | 5993131 | 786527 | 30350 64 | 1 | 1 1461.38/1461.83 c 1461s | 20 | 5999476 | 787527 | 30350 64 | 1 | 1 1463.38/1463.88 c 1463s | 20 | 6006758 | 788527 | 30350 64 | 1 | 1 1465.48/1465.91 c 1465s | 20 | 6014583 | 789427 | 30350 64 | 1 | 1 1467.68/1468.11 c 1467s | 20 | 6018061 | 790327 | 30350 64 | 1 | 1 1469.78/1470.27 c 1470s | 20 | 6027376 | 791427 | 30350 64 | 1 | 1 1471.88/1472.37 c 1472s | 20 | 6029345 | 792227 | 30350 64 | 1 | 1 1473.88/1474.38 c 1474s | 20 | 6041743 | 793327 | 30350 64 | 1 | 1 1475.98/1476.48 c 1476s | 20 | 6056168 | 794327 | 30350 64 | 1 | 1 1478.28/1478.71 c 1478s | 20 | 6062942 | 795227 | 30350 64 | 1 | 1 1480.38/1480.87 c 1480s | 20 | 6066112 | 796227 | 30350 64 | 1 | 1 1482.58/1483.04 c 1482s | 20 | 6069497 | 797127 | 30350 64 | 1 | 1 1484.69/1485.15 c 1484s | 20 | 6076372 | 798127 | 30350 64 | 1 | 1 1486.79/1487.21 c 1486s | 20 | 6085403 | 799027 | 30350 65 | 1 | 1 1488.88/1489.40 c 1489s | 20 | 6103707 | 800027 | 30350 65 | 1 | 1 1490.98/1491.43 c 1491s | 20 | 6107602 | 800927 | 30350 65 | 1 | 1 1492.98/1493.47 c 1493s | 20 | 6121328 | 801827 | 30350 65 | 1 | 1 1495.18/1495.66 c 1495s | 20 | 6124625 | 802727 | 30350 65 | 1 | 1 1497.28/1497.70 c 1497s | 20 | 6129293 | 803727 | 30350 65 | 1 | 1 1499.28/1499.71 c 1499s | 20 | 6132392 | 804527 | 30350 65 | 1 | 1 1501.37/1501.88 c 1501s | 20 | 6136145 | 805427 | 30350 65 | 1 | 1 1503.47/1503.97 c 1503s | 20 | 6140066 | 806127 | 30350 65 | 1 | 1 1505.67/1506.11 c 1505s | 20 | 6147682 | 807127 | 30350 65 | 1 | 1 1507.78/1508.26 c 1508s | 20 | 6150203 | 807927 | 30350 65 | 1 | 1 1509.88/1510.38 c 1510s | 20 | 6152116 | 808827 | 30350 65 | 1 | 1 1512.08/1512.56 c 1512s | 20 | 6169910 | 809727 | 30350 65 | 1 | 1 1514.08/1514.58 c 1514s | 20 | 6184436 | 810827 | 30350 65 | 1 | 1 1516.28/1516.79 c 1516s | 20 | 6190808 | 811927 | 30350 65 | 1 | 1 1518.47/1518.91 c 1518s | 20 | 6195667 | 812827 | 30350 65 | 1 | 1 1520.67/1521.10 c 1520s | 20 | 6197405 | 813727 | 30350 65 | 1 | 1 1522.77/1523.27 c 1523s | 20 | 6200026 | 814527 | 30350 66 | 1 | 1 1524.97/1525.49 c 1525s | 20 | 6202059 | 815527 | 30350 66 | 1 | 1 1527.07/1527.51 c 1527s | 20 | 6206933 | 816527 | 30350 66 | 1 | 1 1529.17/1529.66 c 1529s | 20 | 6209955 | 817527 | 30350 66 | 1 | 1 1531.37/1531.80 c 1531s | 20 | 6215727 | 818527 | 30350 66 | 1 | 1 1533.37/1533.83 c 1533s | 20 | 6225002 | 819427 | 30350 66 | 1 | 1 1535.57/1536.02 c 1535s | 20 | 6228816 | 820427 | 30350 66 | 1 | 1 1537.57/1538.03 c 1537s | 20 | 6238092 | 821327 | 30350 66 | 1 | 1 1539.57/1540.09 c 1539s | 20 | 6247998 | 822327 | 30350 66 | 1 | 1 1541.77/1542.21 c 1541s | 20 | 6265141 | 823627 | 30350 66 | 1 | 1 1543.87/1544.34 c 1544s | 20 | 6275085 | 824727 | 30350 66 | 1 | 1 1546.07/1546.52 c 1546s | 20 | 6277805 | 825627 | 30350 66 | 1 | 1 1548.07/1548.57 c 1548s | 20 | 6281301 | 826427 | 30350 66 | 1 | 1 1550.17/1550.61 c 1550s | 20 | 6282641 | 827227 | 30350 66 | 1 | 1 1552.27/1552.71 c 1552s | 20 | 6285275 | 828027 | 30350 66 | 1 | 1 1554.46/1554.92 c 1554s | 20 | 6287497 | 828827 | 30350 66 | 1 | 1 1556.56/1557.00 c 1556s | 20 | 6289237 | 829627 | 30350 66 | 1 | 1 1558.76/1559.29 c 1559s | 20 | 6290565 | 830327 | 30350 67 | 1 | 1 1560.86/1561.34 c 1561s | 20 | 6294800 | 831227 | 30350 67 | 1 | 1 1563.06/1563.50 c 1563s | 20 | 6297197 | 832327 | 30350 67 | 1 | 1 1565.16/1565.61 c 1565s | 20 | 6302299 | 833527 | 30350 67 | 1 | 1 1567.26/1567.75 c 1567s | 20 | 6304032 | 834527 | 30350 67 | 1 | 1 1569.37/1569.87 c 1569s | 20 | 6306024 | 835527 | 30350 67 | 1 | 1 1571.66/1572.14 c 1571s | 20 | 6313758 | 836627 | 30350 67 | 1 | 1 1573.77/1574.24 c 1573s | 20 | 6318129 | 837527 | 30350 67 | 1 | 1 1575.76/1576.28 c 1576s | 20 | 6320364 | 838327 | 30350 67 | 1 | 1 1577.96/1578.42 c 1578s | 20 | 6325997 | 839327 | 30350 67 | 1 | 1 1580.16/1580.64 c 1580s | 20 | 6328034 | 840127 | 30350 67 | 1 | 1 1582.16/1582.68 c 1582s | 20 | 6331222 | 840927 | 30350 67 | 1 | 1 1586.66/1587.11 c 1586s | 20 | 6332695 | 841427 | 30350 67 | 1 | 1 1588.66/1589.12 c 1588s | 20 | 6333588 | 841827 | 30350 67 | 1 | 1 1590.66/1591.18 c 1590s | 20 | 6342129 | 842827 | 30350 67 | 1 | 1 1592.85/1593.37 c 1593s | 20 | 6348729 | 843827 | 30350 67 | 1 | 1 1595.05/1595.57 c 1595s | 20 | 6351849 | 844827 | 30350 67 | 1 | 1 1597.15/1597.65 c 1597s | 20 | 6356908 | 845527 | 30350 68 | 1 | 1 1599.25/1599.78 c 1599s | 20 | 6359135 | 846427 | 30350 68 | 1 | 1 1601.45/1601.99 c 1601s | 20 | 6364448 | 847527 | 30350 68 | 1 | 1 1603.65/1604.17 c 1603s | 20 | 6369998 | 848527 | 30350 68 | 1 | 1 1605.85/1606.31 c 1606s | 20 | 6376718 | 849527 | 30350 68 | 1 | 1 1607.86/1608.38 c 1608s | 20 | 6381677 | 850527 | 30350 68 | 1 | 1 1610.06/1610.52 c 1610s | 20 | 6388290 | 851627 | 30350 68 | 1 | 1 1612.05/1612.54 c 1612s | 20 | 6391664 | 852527 | 30350 68 | 1 | 1 1614.15/1614.66 c 1614s | 20 | 6401595 | 853627 | 30350 68 | 1 | 1 1616.35/1616.84 c 1616s | 20 | 6404899 | 854627 | 30350 68 | 1 | 1 1618.55/1619.05 c 1618s | 20 | 6407200 | 855527 | 30350 68 | 1 | 1 1620.65/1621.14 c 1620s | 20 | 6408621 | 856327 | 30350 68 | 1 | 1 1622.95/1623.41 c 1623s | 20 | 6412836 | 857327 | 30350 68 | 1 | 1 1624.95/1625.44 c 1625s | 20 | 6414621 | 858127 | 30350 68 | 1 | 1 1626.95/1627.44 c 1627s | 20 | 6428461 | 859127 | 30350 68 | 1 | 1 1629.15/1629.61 c 1629s | 20 | 6432913 | 860027 | 30350 68 | 1 | 1 1631.15/1631.63 c 1631s | 20 | 6434323 | 860527 | 30350 69 | 1 | 1 1633.35/1633.85 c 1633s | 20 | 6435805 | 861327 | 30350 69 | 1 | 1 1635.45/1635.98 c 1635s | 20 | 6442467 | 862327 | 30350 69 | 1 | 1 1637.65/1638.17 c 1637s | 20 | 6457743 | 863627 | 30350 69 | 1 | 1 1639.65/1640.18 c 1639s | 20 | 6464458 | 864527 | 30350 69 | 1 | 1 1641.86/1642.32 c 1642s | 20 | 6469261 | 865527 | 30350 69 | 1 | 1 1643.95/1644.47 c 1644s | 20 | 6473728 | 866427 | 30350 69 | 1 | 1 1646.15/1646.68 c 1646s | 20 | 6478075 | 867427 | 30350 69 | 1 | 1 1648.35/1648.86 c 1648s | 20 | 6480173 | 868327 | 30350 69 | 1 | 1 1650.45/1650.93 c 1650s | 20 | 6482190 | 869227 | 30350 69 | 1 | 1 1652.45/1652.93 c 1652s | 20 | 6486856 | 870127 | 30350 69 | 1 | 1 1654.65/1655.11 c 1654s | 20 | 6489277 | 871127 | 30350 69 | 1 | 1 1656.75/1657.28 c 1657s | 20 | 6490921 | 872027 | 30350 69 | 1 | 1 1658.85/1659.36 c 1659s | 20 | 6492020 | 872827 | 30350 69 | 1 | 1 1660.85/1661.38 c 1661s | 20 | 6496327 | 873627 | 30350 69 | 1 | 1 1663.05/1663.54 c 1663s | 20 | 6497672 | 874527 | 30350 69 | 1 | 1 1665.25/1665.75 c 1665s | 20 | 6499060 | 875527 | 30350 69 | 1 | 1 1667.75/1668.26 c 1668s | 20 | 6501085 | 876327 | 30350 70 | 1 | 1 1669.85/1670.36 c 1670s | 20 | 6503323 | 877327 | 30350 70 | 1 | 1 1671.95/1672.47 c 1672s | 20 | 6508153 | 878527 | 30350 70 | 1 | 1 1674.05/1674.58 c 1674s | 20 | 6514020 | 879827 | 30350 70 | 1 | 1 1676.25/1676.72 c 1676s | 20 | 6517817 | 880927 | 30350 70 | 1 | 1 1678.34/1678.80 c 1678s | 20 | 6520739 | 881927 | 30350 70 | 1 | 1 1680.35/1680.83 c 1680s | 20 | 6521862 | 882827 | 30350 70 | 1 | 1 1682.44/1682.97 c 1682s | 20 | 6523354 | 883827 | 30350 70 | 1 | 1 1684.54/1685.00 c 1684s | 20 | 6526574 | 884927 | 30350 70 | 1 | 1 1686.54/1687.08 c 1686s | 20 | 6528607 | 885927 | 30350 70 | 1 | 1 1688.64/1689.17 c 1688s | 20 | 6530961 | 886927 | 30350 70 | 1 | 1 1690.64/1691.18 c 1690s | 20 | 6533327 | 887927 | 30350 70 | 1 | 1 1692.74/1693.21 c 1692s | 20 | 6535449 | 888927 | 30350 70 | 1 | 1 1695.24/1695.70 c 1695s | 20 | 6539068 | 889927 | 30350 70 | 1 | 1 1697.34/1697.83 c 1697s | 20 | 6557208 | 891127 | 30350 70 | 1 | 1 1699.44/1699.97 c 1699s | 20 | 6558454 | 891727 | 30350 71 | 1 | 1 1701.54/1702.00 c 1701s | 20 | 6563337 | 892727 | 30350 71 | 1 | 1 1703.55/1704.01 c 1703s | 20 | 6570406 | 893727 | 30350 71 | 1 | 1 1705.75/1706.25 c 1705s | 20 | 6572943 | 894627 | 30350 71 | 1 | 1 1707.95/1708.46 c 1708s | 20 | 6576096 | 895727 | 30350 71 | 1 | 1 1710.05/1710.53 c 1710s | 20 | 6579010 | 896727 | 30350 71 | 1 | 1 1712.14/1712.65 c 1712s | 20 | 6582037 | 897727 | 30350 71 | 1 | 1 1714.14/1714.68 c 1714s | 20 | 6584638 | 898727 | 30350 71 | 1 | 1 1716.34/1716.81 c 1716s | 20 | 6586188 | 899627 | 30350 71 | 1 | 1 1718.44/1718.91 c 1718s | 20 | 6594631 | 900927 | 30350 71 | 1 | 1 1720.44/1720.99 c 1720s | 20 | 6598862 | 901927 | 30350 71 | 1 | 1 1722.54/1723.03 c 1722s | 20 | 6605459 | 903027 | 30350 71 | 1 | 1 1724.64/1725.14 c 1724s | 20 | 6610036 | 904127 | 30350 71 | 1 | 1 1726.74/1727.24 c 1726s | 20 | 6611575 | 905027 | 30350 71 | 1 | 1 1728.94/1729.46 c 1729s | 20 | 6619152 | 906127 | 30350 71 | 1 | 1 1731.04/1731.52 c 1731s | 20 | 6620074 | 906727 | 30350 72 | 1 | 1 1733.24/1733.72 c 1733s | 20 | 6622111 | 907527 | 30350 72 | 1 | 1 1735.34/1735.85 c 1735s | 20 | 6623993 | 908327 | 30350 72 | 1 | 1 1737.43/1737.97 c 1737s | 20 | 6625650 | 909127 | 30350 72 | 1 | 1 1739.43/1739.98 c 1739s | 20 | 6628250 | 910027 | 30350 72 | 1 | 1 1741.53/1742.08 c 1741s | 20 | 6629614 | 910927 | 30350 72 | 1 | 1 1744.63/1745.13 c 1744s | 20 | 6631606 | 911527 | 30350 72 | 1 | 1 1746.64/1747.19 c 1746s | 20 | 6634718 | 911927 | 30350 72 | 1 | 1 1748.74/1749.22 c 1748s | 20 | 6639064 | 912427 | 30350 72 | 1 | 1 1750.74/1751.30 c 1751s | 20 | 6646031 | 913527 | 30350 72 | 1 | 1 1752.84/1753.38 c 1753s | 20 | 6656812 | 914627 | 30350 72 | 1 | 1 1754.94/1755.46 c 1755s | 20 | 6671535 | 915927 | 30350 72 | 1 | 1 1757.14/1757.63 c 1757s | 20 | 6678749 | 917127 | 30350 72 | 1 | 1 1759.24/1759.72 c 1759s | 20 | 6681037 | 918127 | 30350 72 | 1 | 1 1761.44/1761.92 c 1761s | 20 | 6694867 | 919227 | 30350 72 | 1 | 1 1763.43/1763.99 c 1763s | 20 | 6700729 | 920227 | 30350 72 | 1 | 1 1765.63/1766.18 c 1765s | 20 | 6719179 | 921627 | 30350 72 | 1 | 1 1767.73/1768.29 c 1768s | 20 | 6721929 | 922427 | 30350 73 | 1 | 1 1769.83/1770.31 c 1770s | 20 | 6725105 | 923427 | 30350 73 | 1 | 1 1771.93/1772.48 c 1772s | 20 | 6729996 | 924627 | 30350 73 | 1 | 1 1774.13/1774.62 c 1774s | 20 | 6732233 | 925727 | 30350 73 | 1 | 1 1776.23/1776.70 c 1776s | 20 | 6734705 | 926827 | 30350 73 | 1 | 1 1778.34/1778.83 c 1778s | 20 | 6740724 | 928027 | 30350 73 | 1 | 1 1780.33/1780.83 c 1780s | 20 | 6750590 | 929127 | 30350 73 | 1 | 1 1782.53/1783.08 c 1782s | 20 | 6754241 | 930227 | 30350 73 | 1 | 1 1784.63/1785.10 c 1784s | 20 | 6758084 | 931327 | 30350 73 | 1 | 1 1786.63/1787.11 c 1786s | 20 | 6766914 | 932627 | 30350 73 | 1 | 1 1788.63/1789.18 c 1788s | 20 | 6776610 | 933827 | 30350 73 | 1 | 1 1790.83/1791.30 c 1791s | 20 | 6791111 | 935027 | 30350 73 | 1 | 1 1792.83/1793.38 c 1793s | 20 | 6799444 | 936227 | 30350 73 | 1 | 1 1794.93/1795.49 c 1795s | 20 | 6807310 | 937327 | 30350 73 | 1 | 1 1797.23/1797.71 c 1797s | 20 | 6809384 | 938127 | 30350 74 | 1 | 1 1799.23/1799.74 c 1799s | 20 | 6812761 | 938827 | 30350 74 | 1 | 1
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-4106829-1466279150/watcher-4106829-1466279150 -o /tmp/evaluation-result-4106829-1466279150/solver-4106829-1466279150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106829-1466279150.opb pid=15597 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.14 2.12 3/179 15600 /proc/meminfo: memFree=30072872/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=689596 CPUtime=0 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 2565 0 0 0 0 0 0 0 20 0 4 0 29964191 706146304 2927 33554432000 4194304 16246674 140733447728000 140733447727424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 173167 2935 441 2943 0 170061 0 [pid=15600/tid=15601] ppid=15597 vsize=712124 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 729214976 3015 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=717244 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 734457856 3032 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29964191 738652160 3047 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100192 s] /proc/loadavg: 2.12 2.14 2.12 3/179 15600 /proc/meminfo: memFree=30072872/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 22567 0 0 0 5 4 0 0 20 0 4 0 29964191 1249447936 22866 33554432000 4194304 16246674 140733447728000 140733447727312 6196885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 305041 22875 838 2943 0 301935 0 [pid=15600/tid=15601] ppid=15597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1249447936 22879 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1249447936 22885 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29964191 1249447936 22891 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200516 s] /proc/loadavg: 2.12 2.14 2.12 3/179 15600 /proc/meminfo: memFree=30072872/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1299012 CPUtime=0.19 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 41660 0 0 0 12 7 0 0 20 0 4 0 29964191 1330188288 41959 33554432000 4194304 16246674 140733447728000 140733447727312 12478673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 324753 41970 839 2943 0 321647 0 [pid=15600/tid=15601] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 41976 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 41983 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 41989 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1299012 [startup+0.300476 s] /proc/loadavg: 2.12 2.14 2.12 3/179 15600 /proc/meminfo: memFree=30072872/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1299012 CPUtime=0.28 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 46426 0 0 0 21 7 0 0 20 0 4 0 29964191 1330188288 46725 33554432000 4194304 16246674 140733447728000 140733447727312 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 324753 46735 910 2943 0 321647 0 [pid=15600/tid=15601] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 46742 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 46749 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 46757 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1299012 [startup+0.700403 s] /proc/loadavg: 2.12 2.14 2.12 3/179 15600 /proc/meminfo: memFree=30072872/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1299012 CPUtime=0.69 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 139666 0 0 0 49 20 0 0 20 0 4 0 29964191 1330188288 139965 33554432000 4194304 16246674 140733447728000 140733447727312 5674637 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 324753 139973 910 2943 0 321647 0 [pid=15600/tid=15601] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 139977 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 139978 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1299012 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1330188288 139981 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1299012 [startup+1.50042 s] /proc/loadavg: 2.12 2.14 2.12 3/183 15604 /proc/meminfo: memFree=29123448/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1308228 CPUtime=1.49 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 268019 0 0 0 112 37 0 0 20 0 4 0 29964191 1339625472 268318 33554432000 4194304 16246674 140733447728000 140733447711000 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 327057 268318 917 2943 0 323951 0 [pid=15600/tid=15601] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268318 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268318 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268318 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1308228 [startup+3.10041 s] /proc/loadavg: 2.12 2.14 2.12 3/183 15604 /proc/meminfo: memFree=28999448/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 268261 0 0 0 272 37 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 140733447709888 12460071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 327057 268560 917 2943 0 323951 0 [pid=15600/tid=15601] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30042 s] /proc/loadavg: 2.11 2.14 2.12 3/183 15604 /proc/meminfo: memFree=28999188/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1308228 CPUtime=6.29 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 268261 0 0 0 592 37 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 140733447709888 6021007 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 327057 268560 917 2943 0 323951 0 [pid=15600/tid=15601] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268560 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.10 2.13 2.12 3/183 15604 /proc/meminfo: memFree=28999584/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 268263 0 0 0 1232 37 0 0 20 0 4 0 29964191 1339625472 268562 33554432000 4194304 16246674 140733447728000 140733447709888 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 327057 268562 919 2943 0 323951 0 [pid=15600/tid=15601] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268562 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268562 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1339625472 268562 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.15 2.14 2.12 3/183 15604 /proc/meminfo: memFree=28998332/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1311300 CPUtime=25.49 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 268791 0 0 0 2512 37 0 0 20 0 4 0 29964191 1342771200 269090 33554432000 4194304 16246674 140733447728000 140733447709888 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 327825 269093 920 2943 0 324719 0 [pid=15600/tid=15601] ppid=15597 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1342771200 269095 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1342771200 269098 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1342771200 269100 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.23 2.16 2.13 3/183 15604 /proc/meminfo: memFree=28976884/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1331780 CPUtime=51.08 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 274153 0 0 0 5070 38 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 140733447709888 6021028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 332945 274452 920 2943 0 329839 0 [pid=15600/tid=15601] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1331780 [startup+102.3 s] /proc/loadavg: 2.15 2.15 2.12 3/183 15605 /proc/meminfo: memFree=28973540/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1331780 CPUtime=102.28 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 274153 0 0 0 10190 38 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 140733447709888 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 332945 274452 920 2943 0 329839 0 [pid=15600/tid=15601] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1331780 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1363742720 274452 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1331780 ################ # More data... # ################ /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1348164 [startup+1362.3 s] /proc/loadavg: 2.19 2.18 2.17 3/183 15659 /proc/meminfo: memFree=28940052/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1348164 CPUtime=1361.92 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 278567 0 0 0 136143 49 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 140733447709888 5721677 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 337041 278805 921 2943 0 333935 0 [pid=15600/tid=15601] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1348164 [startup+1422.3 s] /proc/loadavg: 2.11 2.16 2.16 4/183 15661 /proc/meminfo: memFree=28939956/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1348164 CPUtime=1421.9 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 278600 0 0 0 142141 49 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 140733447709888 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 337041 278805 921 2943 0 333935 0 [pid=15600/tid=15601] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1348164 [startup+1482.3 s] /proc/loadavg: 2.14 2.16 2.16 3/184 15665 /proc/meminfo: memFree=28940368/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1348164 CPUtime=1481.88 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 278607 0 0 0 148138 50 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 140733447709888 6020640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 337041 278805 921 2943 0 333935 0 [pid=15600/tid=15601] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1348164 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1380519936 278805 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1348164 [startup+1542.31 s] /proc/loadavg: 2.14 2.16 2.16 3/183 15666 /proc/meminfo: memFree=28929812/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1541.87 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 154136 51 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 12477821 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1357380 [startup+1602.3 s] /proc/loadavg: 2.09 2.14 2.16 4/183 15667 /proc/meminfo: memFree=28929808/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1601.85 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 160134 51 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 5707830 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1357380 [startup+1662.3 s] /proc/loadavg: 2.17 2.15 2.16 3/183 15717 /proc/meminfo: memFree=28948156/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1661.85 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 166133 52 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1357380 [startup+1722.3 s] /proc/loadavg: 2.17 2.15 2.16 3/183 15719 /proc/meminfo: memFree=28947996/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1721.84 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 172132 52 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 12477766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1357380 [startup+1782.3 s] /proc/loadavg: 2.17 2.15 2.16 3/183 15720 /proc/meminfo: memFree=28947996/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1781.83 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 178130 53 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1357380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.16 2.16 3/183 15720 /proc/meminfo: memFree=28947996/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 179950 53 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 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 15600 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.16 2.16 3/183 15720 /proc/meminfo: memFree=28947996/32872528 swapFree=681964/737152 [pid=15600] ppid=15597 vsize=1357380 CPUtime=1800.03 cores=0,2,4,6 /proc/15600/stat : 15600 (toysat) R 15597 15600 13233 0 -1 4202496 280925 0 0 0 179950 53 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 140733447709888 5546219 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/15600/statm: 339345 281119 921 2943 0 336239 0 [pid=15600/tid=15601] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15601/stat : 15601 (toysat) S 15597 15600 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813280787696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=15600/tid=15602] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15602/stat : 15602 (toysat) S 15597 15600 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813197950192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=15600/tid=15603] ppid=15597 vsize=1357380 CPUtime=0 cores=0,2,4,6 /proc/15600/task/15603/stat : 15603 (toysat) S 15597 15600 13233 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 29964191 1389957120 281119 33554432000 4194304 16246674 140733447728000 139813187476656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1357380 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.51 CPU system time (s): 0.533918 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1357380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.533918 maximum resident set size= 1124476 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280925 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= 386 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.56231 second user time and 6.95894 second system time The end
Begin job on node112 at 2016-06-18 21:45:50 IDJOB=4106829 IDBENCH=48282 IDSOLVER=2542 FILE ID=node112/4106829-1466279150 RUNJOBID= node112-1466264161-13249 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106829-1466279150/watcher-4106829-1466279150 -o /tmp/evaluation-result-4106829-1466279150/solver-4106829-1466279150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106829-1466279150.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED=1910792255 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 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.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30073044 kB Buffers: 80316 kB Cached: 159848 kB SwapCached: 2028 kB Active: 1179652 kB Inactive: 146132 kB Active(anon): 1085640 kB Inactive(anon): 2096 kB Active(file): 94012 kB Inactive(file): 144036 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16500 kB Writeback: 0 kB AnonPages: 1821300 kB Mapped: 10496 kB Shmem: 0 kB Slab: 603064 kB SReclaimable: 46432 kB SUnreclaim: 556632 kB KernelStack: 1496 kB PageTables: 7336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1963928 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 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= 71680 MiB End job on node112 at 2016-06-18 22:15:50