| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb |
| MD5SUM | a6d214cc283b484f5cca285d86c4d8bb |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.136978 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 192 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 512 |
| Sum of products size (including duplicates) | 1024 |
| Number of different products | 512 |
| Sum of products size | 1024 |
0.00/0.00 c 2016-06-18T19:04:59+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-4106328-1466269499.opb"] 0.00/0.01 c use --random-gen="807926946 2705969069 105665714 3174488169 2530791782 607164740 552317633 2527245781 486486946 944732926 2660175058 1813357087 4242335507 2442192312 729510003 496090484 3151327316 794493130 2805493954 1151104755 715849986 4201848907 428058070 1650526435 2399807027 1613586297 2967923673 3154440413 3031621162 4011956873 290146239 765271823 264744853 2902906778 2913734669 1105459533 1730197153 3900748109 3305411239 2114779694 1899872855 1279923539 2020075542 2018102314 1096181794 1121720987 762870294 3857442249 735647818 3185165756 2370182388 3418783223 3544352710 1147213005 1057542271 2090120044 691623723 1556742804 3345280060 1431340957 1211914622 3443832494 3118895400 2382162786 3519523277 906126035 3573182814 679181704 1967134706 1833992705 1492100750 3820317410 1349882489 168021609 3032494527 3710470157 2082033292 818172473 2112451608 1632263015 182314301 693044901 2451783442 3619866455 3541597807 1169380741 2710160794 613492075 1382605436 3112846695 2353527358 3432993721 291284678 3221610381 1606785565 3741926412 2314349382 3570009858 4195447122 3309354173 886521463 1332182232 1285034816 3404831847 2004297576 2322447953 3125093395 2523650039 1184303168 1715265723 3916026420 2457679347 1638670881 1325126808 1759508502 2558854748 2523256665 602274456 753969224 2541765509 1215441276 1025023675 2978782483 3696204821 3709857256 3627986103 1990071641 3656068495 1096191516 352328740 3120361947 3714406833 1649696394 988274369 944333700 378434611 3717884629 1471169459 438178563 1396715036 1195915584 3435660970 807720272 1700125935 2603022469 2563804000 173827689 2374259071 2014623570 1738915674 1017287052 2816478629 3110415242 1747006964 3322771884 2342950994 972791707 2729071725 702619364 4241199715 3769921552 1009788533 3269728580 363720210 728038519 937267208 1022874060 1786908825 1555372408 3444180600 485423477 1714579818 1893625862 3716991616 4126663446 1390392780 1353286941 2118914067 2174051133 2993281898 1688500867 2736008168 1701730363 2740856132 3370758724 682748160 1513197143 148137548 3531053090 960456167 2761135702 767550893 3049441339 3891971251 2704378207 2474067482 2497770748 78217838 1330527113 3217298845 3041581682 1774106093 3458146711 2102910441 2593628055 3641207198 391985665 2524664182 3614381094 114665779 1706042277 1244094391 1501732398 903658918 2732921891 378985008 1265772033 2138391730 938445844 328023413 306544169 898644434 1213394623 422349087 878876529 3011991917 1015829821 2628888266 2809667853 1211466475 1855741453 1920862993 425571594 3794415938 553507991 2561702327 2310716173 586627786 2329839151 18661095 3279891457 1085049537 1679105634 3455869121 1861416901 2467382837 2808439915 1262279725 1465512108 4067563949 2534800422 593274412 1997760717 2357012264 21320578 3266803913 255 362436" option to reproduce the execution 0.00/0.01 c #vars 192 0.00/0.01 c #constraints 17 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 755 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 133 | 100 | 755 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 375 | 250 | 831 0 | 0 | 0 0.19/0.22 c 0.2s | 3 | 695 | 475 | 915 0 | 0 | 0 0.29/0.31 c 0.3s | 4 | 1107 | 813 | 1007 0 | 0 | 0 0.49/0.51 c 0.5s | 5 | 1672 | 1320 | 1108 1 | 0 | 0 0.59/0.68 c 0.7s | 6 | 2512 | 2081 | 1341 1 | 0 | 0 1.20/1.29 c 1.3s | 7 | 3767 | 3223 | 1476 3 | 0 | 0 1.59/1.64 c 1.6s | 8 | 5594 | 4936 | 1624 4 | 0 | 0 2.49/2.50 c 2.5s | 9 | 8365 | 7506 | 1787 7 | 0 | 0 4.49/4.52 c 4.5s | 9 | 13668 | 10506 | 1787 9 | 0 | 0 4.88/4.99 c 5.0s | 10 | 14579 | 11361 | 1966 10 | 0 | 0 6.28/6.36 c 6.3s | 11 | 20853 | 17144 | 2163 15 | 0 | 0 8.28/8.36 c 8.3s | 11 | 28837 | 24344 | 2163 21 | 0 | 0 8.79/8.85 c 8.8s | 12 | 30470 | 25819 | 2380 22 | 0 | 0 10.79/10.86 c 10.8s | 12 | 39360 | 34319 | 2380 29 | 0 | 0 11.69/11.77 c 11.7s | 13 | 44131 | 38832 | 2618 31 | 0 | 0 13.69/13.79 c 13.8s | 13 | 51781 | 45832 | 2618 36 | 0 | 0 15.79/15.84 c 15.8s | 13 | 59400 | 52932 | 2618 40 | 0 | 0 17.49/17.59 c 17.6s | 14 | 65028 | 58352 | 2880 43 | 0 | 0 19.59/19.60 c 19.6s | 14 | 71205 | 64152 | 2880 47 | 0 | 0 21.58/21.65 c 21.6s | 14 | 76762 | 69452 | 2880 50 | 0 | 0 23.58/23.68 c 23.7s | 14 | 82253 | 74752 | 2880 53 | 0 | 0 25.59/25.69 c 25.7s | 14 | 87508 | 79752 | 2880 56 | 0 | 0 27.68/27.75 c 27.7s | 14 | 93281 | 85052 | 2880 60 | 0 | 0 28.69/28.72 c 28.7s | 15 | 96042 | 87632 | 3169 61 | 0 | 0 30.68/30.72 c 30.7s | 15 | 103879 | 94832 | 3169 65 | 0 | 0 32.68/32.75 c 32.7s | 15 | 111260 | 101932 | 3169 69 | 0 | 0 34.68/34.77 c 34.7s | 15 | 118741 | 108732 | 3169 73 | 0 | 0 36.68/36.78 c 36.8s | 15 | 125750 | 115332 | 3169 77 | 0 | 0 38.78/38.80 c 38.8s | 15 | 132981 | 122132 | 3169 81 | 0 | 0 40.79/40.82 c 40.8s | 15 | 140768 | 129532 | 3169 85 | 0 | 0 41.48/41.50 c 41.5s | 16 | 142854 | 131552 | 3486 86 | 0 | 0 43.48/43.51 c 43.5s | 16 | 151093 | 139052 | 3486 90 | 0 | 0 45.48/45.52 c 45.5s | 16 | 155652 | 143052 | 3486 92 | 0 | 0 47.48/47.57 c 47.5s | 16 | 160512 | 147652 | 3486 94 | 0 | 0 49.59/49.61 c 49.6s | 16 | 165655 | 152452 | 3486 97 | 0 | 0 51.58/51.63 c 51.6s | 16 | 170587 | 157052 | 3486 99 | 0 | 0 53.58/53.68 c 53.7s | 16 | 175192 | 161152 | 3486 101 | 0 | 0 55.68/55.71 c 55.7s | 16 | 180424 | 165952 | 3486 104 | 0 | 0 57.68/57.74 c 57.7s | 16 | 185011 | 170352 | 3486 106 | 0 | 0 59.68/59.79 c 59.8s | 16 | 190615 | 175252 | 3486 108 | 0 | 0 61.78/61.81 c 61.8s | 16 | 195229 | 179252 | 3486 111 | 0 | 0 63.79/63.83 c 63.8s | 16 | 201462 | 185052 | 3486 114 | 0 | 0 65.78/65.83 c 65.8s | 16 | 208563 | 191852 | 3486 117 | 0 | 0 67.78/67.86 c 67.8s | 16 | 214157 | 196952 | 3835 119 | 0 | 0 67.98/68.07 c 68.0s | 17 | 214727 | 197432 | 3835 120 | 0 | 0 69.08/69.19 c 69.2s | 17 | 220051 | 202327 | 3835 122 | 0 | 0 69.08/69.19 c #cpu_time = 69.165s 69.08/69.19 c #wall_clock_time = 69.165s 69.08/69.19 c #decision = 220051 69.08/69.19 c #random_decision = 862 69.08/69.19 c #conflict = 202327 69.08/69.19 c #restart = 17 69.08/69.19 o 185 69.08/69.19 c BCD2: updating upper bound: 255 -> 184 69.08/69.19 c BCD2: 0 <= obj <= 184 69.08/69.19 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 69.08/69.19 c BCD2: #sat=1 #unsat=1 bias=1/2 69.08/69.19 c Solving starts ... 69.08/69.19 c ============================[ Search Statistics ]============================ 69.08/69.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 69.08/69.19 c | | | | Limit GC | Var | Constra 69.08/69.19 c ============================================================================= 69.08/69.19 c 0.0s | 0 | 0 | 0 | 3835 0 | 0 | 0 69.18/69.20 c 0.0s | 0 | 6 | 0 | 3835 0 | 0 | 0 69.18/69.20 c #cpu_time = 0.007s 69.18/69.20 c #wall_clock_time = 0.007s 69.18/69.20 c #decision = 6 69.18/69.20 c #random_decision = 0 69.18/69.20 c #conflict = 0 69.18/69.20 c #restart = 0 69.18/69.20 c BCD2: found a new core of size 7: cost of the new core is >=2 69.18/69.20 c lower bound updated to 2 69.18/69.20 c BCD2: 2 <= obj <= 184 69.18/69.20 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 69.18/69.20 c BCD2: #sat=1 #unsat=2 bias=2/3 69.18/69.20 c Solving starts ... 69.18/69.20 c ============================[ Search Statistics ]============================ 69.18/69.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 69.18/69.20 c | | | | Limit GC | Var | Constra 69.18/69.20 c ============================================================================= 69.18/69.20 c 0.0s | 0 | 0 | 0 | 3835 0 | 0 | 0 69.18/69.23 c 0.0s | 1 | 177 | 100 | 3835 0 | 0 | 0 69.39/69.45 c 0.3s | 2 | 471 | 250 | 3835 0 | 0 | 0 69.48/69.54 c 0.3s | 3 | 905 | 475 | 3835 0 | 0 | 0 69.58/69.68 c 0.5s | 4 | 1478 | 813 | 3835 0 | 0 | 0 69.68/69.78 c 0.6s | 5 | 2212 | 1320 | 3835 1 | 0 | 0 70.28/70.30 c 1.1s | 6 | 3114 | 2081 | 3835 1 | 0 | 0 70.68/70.77 c 1.6s | 7 | 4386 | 3223 | 3835 2 | 0 | 0 71.28/71.30 c 2.1s | 8 | 6290 | 4936 | 3835 2 | 0 | 0 71.88/71.98 c 2.8s | 9 | 9045 | 7506 | 3835 4 | 0 | 0 72.78/72.83 c 3.6s | 10 | 13075 | 11361 | 3835 5 | 0 | 0 74.78/74.85 c 5.6s | 10 | 21805 | 15861 | 3835 8 | 0 | 0 75.68/75.79 c 6.6s | 11 | 24585 | 17144 | 3835 8 | 0 | 0 77.68/77.80 c 8.6s | 11 | 32312 | 24044 | 3835 11 | 0 | 0 78.48/78.50 c 9.3s | 12 | 34497 | 25819 | 3835 12 | 0 | 0 80.48/80.53 c 11.3s | 12 | 41588 | 32419 | 3835 15 | 0 | 0 82.17/82.29 c 13.1s | 13 | 48830 | 38832 | 3835 18 | 0 | 0 84.27/84.30 c 15.1s | 13 | 56459 | 46232 | 3835 22 | 0 | 0 86.27/86.31 c 17.1s | 13 | 63262 | 52932 | 3835 25 | 0 | 0 87.77/87.85 c 18.7s | 14 | 68922 | 58352 | 3835 28 | 0 | 0 89.77/89.87 c 20.7s | 14 | 75250 | 63752 | 3835 30 | 0 | 0 91.77/91.89 c 22.7s | 14 | 81832 | 69952 | 3835 33 | 0 | 0 93.87/93.92 c 24.7s | 14 | 88593 | 76252 | 3835 36 | 0 | 0 95.87/95.93 c 26.7s | 14 | 93773 | 81052 | 3835 38 | 0 | 0 97.88/97.95 c 28.7s | 14 | 99718 | 86852 | 3835 41 | 0 | 0 98.17/98.21 c 29.0s | 15 | 100577 | 87632 | 3835 41 | 0 | 0 100.18/100.21 c 31.0s | 15 | 108884 | 95532 | 4219 45 | 0 | 0 102.17/102.23 c 33.0s | 15 | 115620 | 102032 | 4219 47 | 0 | 0 104.18/104.24 c 35.0s | 15 | 121161 | 107432 | 4219 50 | 0 | 0 106.18/106.28 c 37.1s | 15 | 127415 | 113332 | 4219 52 | 0 | 0 108.18/108.29 c 39.1s | 15 | 134017 | 119632 | 4219 55 | 0 | 0 110.18/110.29 c 41.1s | 15 | 140509 | 125632 | 4219 57 | 0 | 0 112.28/112.31 c 43.1s | 15 | 146622 | 131532 | 4219 60 | 0 | 0 112.28/112.31 c 43.1s | 16 | 146639 | 131552 | 4219 60 | 0 | 0 114.28/114.32 c 45.1s | 16 | 153902 | 138152 | 4219 63 | 0 | 0 116.28/116.33 c 47.1s | 16 | 160999 | 144552 | 4219 65 | 0 | 0 118.28/118.33 c 49.1s | 16 | 167967 | 151052 | 4219 68 | 0 | 0 120.27/120.35 c 51.1s | 16 | 175222 | 157452 | 4219 71 | 0 | 0 122.27/122.37 c 53.2s | 16 | 182638 | 164252 | 4219 74 | 0 | 0 124.28/124.37 c 55.2s | 16 | 189852 | 171052 | 4219 77 | 0 | 0 126.37/126.40 c 57.2s | 16 | 196765 | 177452 | 4219 79 | 0 | 0 128.37/128.42 c 59.2s | 16 | 204984 | 185252 | 4219 83 | 0 | 0 130.37/130.46 c 61.3s | 16 | 211564 | 191652 | 4219 85 | 0 | 0 132.37/132.40 c 63.2s | 17 | 217489 | 197432 | 4219 88 | 0 | 0 134.37/134.42 c 65.2s | 17 | 224871 | 204332 | 4219 91 | 0 | 0 136.38/136.42 c 67.2s | 17 | 231956 | 211132 | 4219 94 | 0 | 0 138.37/138.43 c 69.2s | 17 | 238515 | 217132 | 4219 97 | 0 | 0 140.37/140.45 c 71.3s | 17 | 245121 | 223232 | 4219 100 | 0 | 0 142.37/142.46 c 73.3s | 17 | 251938 | 229832 | 4219 103 | 0 | 0 144.37/144.48 c 75.3s | 17 | 258572 | 236232 | 4219 106 | 0 | 0 146.47/146.50 c 77.3s | 17 | 265192 | 242432 | 4641 108 | 0 | 0 148.48/148.51 c 79.3s | 17 | 271755 | 248532 | 4641 111 | 0 | 0 150.47/150.51 c 81.3s | 17 | 278488 | 254932 | 4641 113 | 0 | 0 152.47/152.55 c 83.3s | 17 | 284577 | 260532 | 4641 116 | 0 | 0 154.47/154.55 c 85.4s | 17 | 290593 | 266232 | 4641 118 | 0 | 0 156.47/156.56 c 87.4s | 17 | 296426 | 271732 | 4641 120 | 0 | 0 158.48/158.57 c 89.4s | 17 | 303197 | 278032 | 4641 123 | 0 | 0 160.47/160.58 c 91.4s | 17 | 309861 | 284232 | 4641 125 | 0 | 0 162.57/162.61 c 93.4s | 17 | 316353 | 290332 | 4641 128 | 0 | 0 164.37/164.46 c 95.3s | 18 | 322552 | 296252 | 4641 130 | 0 | 0 166.37/166.47 c 97.3s | 18 | 329976 | 303152 | 4641 133 | 0 | 0 168.47/168.50 c 99.3s | 18 | 336309 | 308952 | 4641 135 | 0 | 0 170.47/170.52 c 101s | 18 | 342244 | 314652 | 4641 137 | 0 | 0 172.46/172.54 c 103s | 18 | 348257 | 320152 | 4641 140 | 0 | 0 174.46/174.56 c 105s | 18 | 355200 | 326952 | 4641 142 | 0 | 0 176.46/176.58 c 107s | 18 | 361889 | 333352 | 4641 145 | 0 | 0 178.46/178.59 c 109s | 18 | 367988 | 339152 | 4641 147 | 0 | 0 180.56/180.60 c 111s | 18 | 374145 | 344852 | 4641 149 | 0 | 0 182.57/182.61 c 113s | 18 | 379922 | 350152 | 4641 151 | 0 | 0 184.56/184.63 c 115s | 18 | 386803 | 356452 | 4641 154 | 0 | 0 186.56/186.64 c 117s | 18 | 393226 | 362452 | 4641 156 | 0 | 0 188.56/188.64 c 119s | 18 | 399231 | 367952 | 4641 159 | 0 | 0 190.56/190.67 c 121s | 18 | 405828 | 374152 | 4641 161 | 0 | 0 192.57/192.67 c 123s | 18 | 412796 | 380652 | 4641 164 | 0 | 0 194.56/194.69 c 125s | 18 | 419374 | 386652 | 4641 166 | 0 | 0 196.66/196.70 c 127s | 18 | 425596 | 392252 | 4641 168 | 0 | 0 198.66/198.73 c 129s | 18 | 432186 | 398252 | 4641 171 | 0 | 0 200.66/200.75 c 131s | 18 | 438888 | 404452 | 4641 173 | 0 | 0 202.66/202.77 c 133s | 18 | 445109 | 410152 | 4641 175 | 0 | 0 204.66/204.78 c 135s | 18 | 451642 | 416252 | 4641 178 | 0 | 0 206.76/206.80 c 137s | 18 | 458162 | 422352 | 4641 180 | 0 | 0 208.76/208.81 c 139s | 18 | 464307 | 428052 | 4641 182 | 0 | 0 210.76/210.81 c 141s | 18 | 470295 | 433652 | 4641 185 | 0 | 0 212.75/212.83 c 143s | 18 | 476538 | 439152 | 4641 187 | 0 | 0 214.56/214.67 c 145s | 19 | 482304 | 444482 | 4641 189 | 0 | 0 216.55/216.68 c 147s | 19 | 490088 | 451882 | 4641 192 | 0 | 0 218.65/218.70 c 149s | 19 | 496351 | 457982 | 4641 194 | 0 | 0 220.65/220.75 c 151s | 19 | 502680 | 464082 | 5106 196 | 0 | 0 222.65/222.75 c 153s | 19 | 507383 | 468582 | 5106 198 | 0 | 0 224.65/224.78 c 155s | 19 | 512178 | 473182 | 5106 200 | 0 | 0 226.75/226.80 c 157s | 19 | 517269 | 478082 | 5106 202 | 0 | 0 228.76/228.80 c 159s | 19 | 522458 | 483082 | 5106 203 | 0 | 0 230.75/230.83 c 161s | 19 | 527416 | 487882 | 5106 205 | 0 | 0 232.75/232.89 c 163s | 19 | 532679 | 493082 | 5106 207 | 0 | 0 234.85/234.95 c 165s | 19 | 537956 | 498282 | 5106 209 | 0 | 0 236.85/236.96 c 167s | 19 | 543103 | 503182 | 5106 211 | 0 | 0 238.85/238.97 c 169s | 19 | 548184 | 507982 | 5106 213 | 0 | 0 240.95/241.01 c 171s | 19 | 553589 | 513182 | 5106 214 | 0 | 0 242.95/243.01 c 173s | 19 | 559083 | 518482 | 5106 216 | 0 | 0 244.95/245.06 c 175s | 19 | 564471 | 523682 | 5106 218 | 0 | 0 246.95/247.08 c 177s | 19 | 569374 | 528282 | 5106 220 | 0 | 0 249.05/249.11 c 179s | 19 | 574520 | 533282 | 5106 222 | 0 | 0 251.05/251.12 c 181s | 19 | 580176 | 538682 | 5106 224 | 0 | 0 253.05/253.14 c 183s | 19 | 585614 | 543982 | 5106 226 | 0 | 0 255.05/255.16 c 185s | 19 | 590609 | 548782 | 5106 227 | 0 | 0 257.14/257.23 c 188s | 19 | 595607 | 553482 | 5106 229 | 0 | 0 259.14/259.26 c 190s | 19 | 600568 | 558282 | 5106 231 | 0 | 0 261.15/261.26 c 192s | 19 | 605534 | 563082 | 5106 233 | 0 | 0 263.15/263.29 c 194s | 19 | 610405 | 567782 | 5106 234 | 0 | 0 265.25/265.30 c 196s | 19 | 615940 | 573082 | 5106 236 | 0 | 0 267.26/267.32 c 198s | 19 | 620802 | 577782 | 5106 238 | 0 | 0 269.25/269.35 c 200s | 19 | 625715 | 582482 | 5106 240 | 0 | 0 271.25/271.37 c 202s | 19 | 630661 | 587082 | 5106 241 | 0 | 0 273.25/273.38 c 204s | 19 | 634742 | 590882 | 5106 243 | 0 | 0 275.25/275.38 c 206s | 19 | 639182 | 595182 | 5106 244 | 0 | 0 277.35/277.44 c 208s | 19 | 643511 | 599282 | 5106 246 | 0 | 0 279.36/279.49 c 210s | 19 | 648533 | 603982 | 5106 248 | 0 | 0 281.45/281.50 c 212s | 19 | 652810 | 608082 | 5106 249 | 0 | 0 283.45/283.51 c 214s | 19 | 657663 | 612782 | 5106 251 | 0 | 0 285.45/285.51 c 216s | 19 | 663354 | 618182 | 5106 253 | 0 | 0 287.45/287.52 c 218s | 19 | 667864 | 622482 | 5106 254 | 0 | 0 289.45/289.52 c 220s | 19 | 672785 | 627082 | 5106 256 | 0 | 0 291.45/291.54 c 222s | 19 | 677990 | 631882 | 5106 258 | 0 | 0 293.45/293.54 c 224s | 19 | 682591 | 636282 | 5106 260 | 0 | 0 295.45/295.58 c 226s | 19 | 686711 | 640082 | 5106 261 | 0 | 0 297.45/297.59 c 228s | 19 | 691326 | 644482 | 5106 263 | 0 | 0 299.55/299.61 c 230s | 19 | 696030 | 648982 | 5106 264 | 0 | 0 301.55/301.64 c 232s | 19 | 701397 | 654182 | 5106 266 | 0 | 0 303.55/303.65 c 234s | 19 | 705887 | 658382 | 5106 268 | 0 | 0 305.55/305.65 c 236s | 19 | 710432 | 662782 | 5106 269 | 0 | 0 307.35/307.49 c 238s | 20 | 714578 | 666827 | 5106 271 | 0 | 0 309.45/309.51 c 240s | 20 | 723262 | 674827 | 5106 274 | 0 | 0 311.44/311.52 c 242s | 20 | 728732 | 680227 | 5106 276 | 0 | 0 313.45/313.52 c 244s | 20 | 733863 | 685327 | 5106 277 | 0 | 0 315.44/315.57 c 246s | 20 | 739798 | 691127 | 5106 280 | 0 | 0 317.44/317.58 c 248s | 20 | 745491 | 696727 | 5106 282 | 0 | 0 319.44/319.59 c 250s | 20 | 751072 | 702227 | 5106 284 | 0 | 0 321.54/321.60 c 252s | 20 | 756522 | 707627 | 5106 285 | 0 | 0 323.54/323.61 c 254s | 20 | 764673 | 715427 | 5106 288 | 0 | 0 325.55/325.63 c 256s | 20 | 771852 | 722327 | 5106 291 | 0 | 0 327.54/327.65 c 258s | 20 | 779847 | 729927 | 5106 293 | 0 | 0 329.54/329.65 c 260s | 20 | 787683 | 737427 | 5106 296 | 0 | 0 331.54/331.66 c 262s | 20 | 794154 | 743527 | 5106 298 | 0 | 0 333.54/333.66 c 264s | 20 | 801311 | 750427 | 5106 301 | 0 | 0 335.55/335.67 c 266s | 20 | 807147 | 756027 | 5106 303 | 0 | 0 337.54/337.69 c 268s | 20 | 813916 | 762627 | 5106 305 | 0 | 0 339.64/339.70 c 270s | 20 | 820116 | 768527 | 5106 307 | 0 | 0 341.64/341.73 c 272s | 20 | 825908 | 774027 | 5106 309 | 0 | 0 343.64/343.74 c 274s | 20 | 833122 | 781027 | 5106 311 | 0 | 0 345.64/345.76 c 276s | 20 | 840384 | 788127 | 5106 314 | 0 | 0 347.64/347.76 c 278s | 20 | 847158 | 794627 | 5617 316 | 0 | 0 349.64/349.78 c 280s | 20 | 854762 | 802027 | 5617 318 | 0 | 0 351.74/351.81 c 282s | 20 | 861721 | 808827 | 5617 321 | 0 | 0 353.74/353.84 c 284s | 20 | 867819 | 814827 | 5617 323 | 0 | 0 355.73/355.87 c 286s | 20 | 873995 | 820827 | 5617 325 | 0 | 0 357.83/357.90 c 288s | 20 | 880809 | 827527 | 5617 327 | 0 | 0 359.83/359.90 c 290s | 20 | 887341 | 833827 | 5617 329 | 0 | 0 361.84/361.94 c 292s | 20 | 893310 | 839427 | 5617 331 | 0 | 0 363.83/363.97 c 294s | 20 | 899319 | 844827 | 5617 332 | 0 | 0 365.93/366.00 c 296s | 20 | 905132 | 850227 | 5617 334 | 0 | 0 367.93/368.03 c 298s | 20 | 910878 | 855527 | 5617 336 | 0 | 0 369.93/370.07 c 300s | 20 | 916440 | 860827 | 5617 338 | 0 | 0 371.93/372.07 c 302s | 20 | 922434 | 866527 | 5617 339 | 0 | 0 373.94/374.09 c 304s | 20 | 927993 | 871827 | 5617 341 | 0 | 0 376.03/376.10 c 306s | 20 | 933844 | 877427 | 5617 343 | 0 | 0 378.03/378.13 c 308s | 20 | 939865 | 883227 | 5617 345 | 0 | 0 380.03/380.13 c 310s | 20 | 945278 | 888327 | 5617 347 | 0 | 0 382.03/382.14 c 312s | 20 | 951059 | 893827 | 5617 348 | 0 | 0 384.03/384.16 c 314s | 20 | 957027 | 899527 | 5617 350 | 0 | 0 386.03/386.19 c 316s | 20 | 963934 | 906327 | 5617 352 | 0 | 0 388.13/388.21 c 319s | 20 | 969982 | 912227 | 5617 354 | 0 | 0 390.13/390.22 c 321s | 20 | 975577 | 917727 | 5617 356 | 0 | 0 392.13/392.24 c 323s | 20 | 981275 | 923027 | 5617 358 | 0 | 0 394.13/394.25 c 325s | 20 | 986716 | 928227 | 5617 359 | 0 | 0 396.13/396.29 c 327s | 20 | 992034 | 933327 | 5617 361 | 0 | 0 398.24/398.32 c 329s | 20 | 997985 | 938927 | 5617 363 | 0 | 0 400.23/400.33 c 331s | 20 | 1003974 | 944727 | 5617 365 | 0 | 0 402.23/402.37 c 333s | 20 | 1009965 | 950427 | 5617 367 | 0 | 0 404.33/404.41 c 335s | 20 | 1015187 | 955327 | 5617 368 | 0 | 0 406.33/406.43 c 337s | 20 | 1019777 | 959627 | 5617 370 | 0 | 0 408.33/408.44 c 339s | 20 | 1025336 | 964727 | 5617 371 | 0 | 0 410.34/410.46 c 341s | 20 | 1031367 | 970227 | 5617 373 | 0 | 0 412.33/412.49 c 343s | 20 | 1037347 | 975827 | 5617 375 | 0 | 0 414.43/414.50 c 345s | 20 | 1043058 | 981427 | 5617 377 | 0 | 0 416.43/416.51 c 347s | 20 | 1049721 | 987727 | 5617 379 | 0 | 0 418.43/418.55 c 349s | 20 | 1055266 | 993127 | 5617 381 | 0 | 0 420.43/420.58 c 351s | 20 | 1061038 | 998727 | 5617 382 | 0 | 0 421.23/421.38 c 352s | 21 | 1062768 | 1000345 | 5617 383 | 0 | 0 423.33/423.41 c 354s | 21 | 1068507 | 1005445 | 5617 385 | 0 | 0 425.32/425.42 c 356s | 21 | 1074021 | 1010245 | 5617 386 | 0 | 0 427.32/427.43 c 358s | 21 | 1078840 | 1014845 | 5617 388 | 0 | 0 429.32/429.44 c 360s | 21 | 1083547 | 1019145 | 5617 389 | 0 | 0 431.32/431.45 c 362s | 21 | 1087431 | 1022845 | 5617 390 | 0 | 0 433.33/433.46 c 364s | 21 | 1093137 | 1028345 | 5617 392 | 0 | 0 435.32/435.46 c 366s | 21 | 1097576 | 1032445 | 5617 393 | 0 | 0 437.32/437.48 c 368s | 21 | 1103066 | 1037345 | 5617 395 | 0 | 0 439.32/439.49 c 370s | 21 | 1108404 | 1042445 | 5617 397 | 0 | 0 441.42/441.51 c 372s | 21 | 1112683 | 1046245 | 5617 398 | 0 | 0 443.42/443.54 c 374s | 21 | 1116625 | 1049945 | 5617 399 | 0 | 0 445.43/445.59 c 376s | 21 | 1120817 | 1053945 | 5617 400 | 0 | 0 447.52/447.63 c 378s | 21 | 1124864 | 1057545 | 5617 401 | 0 | 0 449.52/449.64 c 380s | 21 | 1132298 | 1064245 | 5617 404 | 0 | 0 451.52/451.64 c 382s | 21 | 1137717 | 1069445 | 5617 405 | 0 | 0 453.52/453.65 c 384s | 21 | 1142675 | 1073745 | 5617 407 | 0 | 0 455.52/455.65 c 386s | 21 | 1148835 | 1077845 | 5617 408 | 0 | 0 457.52/457.67 c 388s | 21 | 1155653 | 1083745 | 5617 410 | 0 | 0 459.61/459.71 c 390s | 21 | 1161039 | 1087945 | 5617 411 | 0 | 0 461.61/461.75 c 392s | 21 | 1164836 | 1091345 | 5617 412 | 0 | 0 463.61/463.76 c 394s | 21 | 1169419 | 1095445 | 5617 414 | 0 | 0 465.61/465.77 c 396s | 21 | 1175368 | 1100945 | 5617 416 | 0 | 0 467.61/467.78 c 398s | 21 | 1179845 | 1105045 | 5617 417 | 0 | 0 469.62/469.79 c 400s | 21 | 1185531 | 1110645 | 5617 419 | 0 | 0 471.71/471.83 c 402s | 21 | 1191042 | 1116045 | 5617 420 | 0 | 0 473.71/473.87 c 404s | 21 | 1195727 | 1120645 | 5617 422 | 0 | 0 475.71/475.89 c 406s | 21 | 1201154 | 1125945 | 5617 424 | 0 | 0 477.71/477.89 c 408s | 21 | 1206406 | 1131045 | 5617 425 | 0 | 0 479.81/479.90 c 410s | 21 | 1213985 | 1138045 | 5617 428 | 1 | 8 481.82/481.90 c 412s | 21 | 1219609 | 1143345 | 5617 429 | 1 | 8 483.81/483.92 c 414s | 21 | 1225148 | 1148445 | 5617 431 | 1 | 8 485.81/485.93 c 416s | 21 | 1231539 | 1153545 | 5617 433 | 1 | 8 487.81/487.93 c 418s | 21 | 1237271 | 1158845 | 5617 434 | 1 | 8 489.81/489.94 c 420s | 21 | 1242535 | 1163445 | 5617 436 | 1 | 8 491.81/491.96 c 422s | 21 | 1247963 | 1168545 | 5617 437 | 1 | 8 493.82/493.98 c 424s | 21 | 1253080 | 1173245 | 5617 439 | 1 | 8 495.81/495.98 c 426s | 21 | 1258044 | 1177845 | 5617 441 | 1 | 8 497.81/497.99 c 428s | 21 | 1263574 | 1183245 | 5617 442 | 1 | 8 499.91/500.01 c 430s | 21 | 1269008 | 1188545 | 5617 444 | 1 | 8 501.91/502.01 c 432s | 21 | 1274346 | 1193345 | 5617 446 | 1 | 8 503.91/504.05 c 434s | 21 | 1279365 | 1198045 | 5617 447 | 1 | 8 505.91/506.06 c 436s | 21 | 1284657 | 1202645 | 5617 449 | 1 | 8 507.91/508.08 c 438s | 21 | 1290542 | 1208145 | 5617 450 | 1 | 8 510.01/510.10 c 440s | 21 | 1296253 | 1213445 | 5617 452 | 1 | 8 512.01/512.10 c 442s | 21 | 1301951 | 1218045 | 5617 454 | 1 | 8 514.01/514.12 c 444s | 21 | 1307025 | 1222945 | 5617 455 | 1 | 8 516.01/516.13 c 446s | 21 | 1312414 | 1227645 | 5617 457 | 1 | 8 518.01/518.14 c 448s | 21 | 1318566 | 1233245 | 5617 458 | 1 | 8 520.01/520.15 c 450s | 21 | 1324452 | 1238845 | 5617 460 | 1 | 8 522.00/522.15 c 452s | 21 | 1330521 | 1244245 | 5617 462 | 1 | 8 524.00/524.17 c 454s | 21 | 1335743 | 1249045 | 5617 464 | 1 | 8 526.00/526.17 c 456s | 21 | 1342050 | 1255045 | 5617 465 | 1 | 8 528.01/528.18 c 458s | 21 | 1348215 | 1260845 | 5617 467 | 1 | 8 530.00/530.20 c 460s | 21 | 1354560 | 1266945 | 5617 469 | 1 | 8 532.10/532.21 c 463s | 21 | 1360643 | 1272745 | 5617 471 | 1 | 8 534.10/534.23 c 465s | 21 | 1366494 | 1278345 | 5617 473 | 1 | 8 536.11/536.26 c 467s | 21 | 1372322 | 1283945 | 5617 475 | 1 | 8 538.11/538.29 c 469s | 21 | 1378045 | 1289245 | 6179 476 | 1 | 8 540.21/540.31 c 471s | 21 | 1383116 | 1293645 | 6179 478 | 1 | 8 542.22/542.35 c 473s | 21 | 1387797 | 1297445 | 6179 479 | 1 | 8 544.21/544.37 c 475s | 21 | 1393097 | 1302345 | 6179 480 | 1 | 8 546.21/546.39 c 477s | 21 | 1398011 | 1306845 | 6179 482 | 1 | 8 548.31/548.40 c 479s | 21 | 1403104 | 1311645 | 6179 483 | 1 | 8 550.31/550.41 c 481s | 21 | 1408577 | 1316645 | 6179 484 | 1 | 8 552.31/552.43 c 483s | 21 | 1413759 | 1321545 | 6179 486 | 1 | 8 554.31/554.44 c 485s | 21 | 1419143 | 1326345 | 6179 487 | 1 | 8 556.30/556.45 c 487s | 21 | 1424707 | 1331445 | 6179 489 | 1 | 8 558.30/558.45 c 489s | 21 | 1429717 | 1336345 | 6179 490 | 1 | 8 560.30/560.48 c 491s | 21 | 1435966 | 1342045 | 6179 492 | 1 | 8 562.40/562.50 c 493s | 21 | 1441508 | 1347245 | 6179 494 | 1 | 8 564.40/564.54 c 495s | 21 | 1447376 | 1352845 | 6179 495 | 1 | 8 566.40/566.56 c 497s | 21 | 1453095 | 1358245 | 6179 497 | 1 | 8 568.40/568.56 c 499s | 21 | 1458215 | 1363145 | 6179 498 | 1 | 8 570.40/570.58 c 501s | 21 | 1462708 | 1367345 | 6179 500 | 1 | 8 572.50/572.61 c 503s | 21 | 1467418 | 1371445 | 6179 501 | 1 | 8 574.49/574.62 c 505s | 21 | 1473174 | 1376545 | 6179 502 | 1 | 8 576.49/576.66 c 507s | 21 | 1477707 | 1380745 | 6179 503 | 1 | 8 578.50/578.67 c 509s | 21 | 1482987 | 1385545 | 6179 505 | 1 | 8 580.49/580.68 c 511s | 21 | 1488094 | 1390245 | 6179 506 | 1 | 8 582.59/582.70 c 513s | 21 | 1492632 | 1394445 | 6179 508 | 1 | 8 584.58/584.71 c 515s | 21 | 1497946 | 1399545 | 6179 509 | 1 | 8 586.58/586.72 c 517s | 21 | 1502918 | 1404345 | 6179 510 | 1 | 8 588.58/588.72 c 519s | 21 | 1508450 | 1409645 | 6179 512 | 1 | 8 590.59/590.73 c 521s | 21 | 1513197 | 1414145 | 6179 513 | 1 | 8 592.58/592.73 c 523s | 21 | 1517887 | 1418645 | 6179 515 | 1 | 8 594.58/594.77 c 525s | 21 | 1522054 | 1422645 | 6179 516 | 1 | 8 596.58/596.79 c 527s | 21 | 1526736 | 1426145 | 6179 517 | 1 | 8 598.68/598.82 c 529s | 21 | 1531666 | 1430645 | 6179 518 | 1 | 8 600.67/600.84 c 531s | 21 | 1536336 | 1434945 | 6179 519 | 1 | 8 602.68/602.87 c 533s | 21 | 1541694 | 1439745 | 6179 521 | 1 | 8 604.68/604.88 c 535s | 21 | 1546503 | 1444245 | 6179 522 | 1 | 8 606.78/606.92 c 537s | 21 | 1550836 | 1448345 | 6179 523 | 1 | 8 608.78/608.92 c 539s | 21 | 1554953 | 1452145 | 6179 525 | 1 | 8 610.78/610.95 c 541s | 21 | 1560387 | 1457245 | 6179 526 | 1 | 8 612.78/612.95 c 543s | 21 | 1565043 | 1461545 | 6179 527 | 1 | 8 614.78/614.96 c 545s | 21 | 1569845 | 1466145 | 6179 529 | 1 | 8 616.77/616.99 c 547s | 21 | 1575193 | 1470945 | 6179 530 | 1 | 8 618.87/619.00 c 549s | 21 | 1579790 | 1475245 | 6179 531 | 1 | 8 620.87/621.03 c 551s | 21 | 1584788 | 1479945 | 6179 533 | 1 | 8 622.87/623.03 c 553s | 21 | 1589754 | 1484345 | 6179 534 | 1 | 8 624.87/625.05 c 555s | 21 | 1595077 | 1489345 | 6179 536 | 1 | 8 626.88/627.06 c 557s | 21 | 1600116 | 1494045 | 6179 537 | 1 | 8 628.97/629.10 c 559s | 21 | 1605300 | 1498745 | 6179 538 | 1 | 8 629.87/630.03 c 560s | 22 | 1607292 | 1500622 | 6179 539 | 1 | 8 631.87/632.05 c 562s | 22 | 1614172 | 1507022 | 6179 541 | 1 | 8 633.87/634.07 c 564s | 22 | 1619674 | 1512222 | 6179 542 | 1 | 8 635.86/636.08 c 566s | 22 | 1625420 | 1517722 | 6179 544 | 1 | 8 637.87/638.09 c 568s | 22 | 1631305 | 1523322 | 6179 546 | 1 | 8 639.96/640.10 c 570s | 22 | 1636209 | 1528022 | 6179 547 | 1 | 8 641.96/642.11 c 572s | 22 | 1642093 | 1533622 | 6179 549 | 1 | 8 643.96/644.13 c 574s | 22 | 1647324 | 1538622 | 6179 550 | 1 | 8 645.95/646.18 c 576s | 22 | 1653226 | 1544122 | 6179 552 | 1 | 8 647.95/648.19 c 578s | 22 | 1658392 | 1549022 | 6179 554 | 1 | 8 649.96/650.20 c 580s | 22 | 1664438 | 1554722 | 6179 555 | 1 | 8 652.05/652.20 c 583s | 22 | 1669445 | 1559522 | 6179 557 | 1 | 8 654.05/654.25 c 585s | 22 | 1675583 | 1565222 | 6179 559 | 1 | 8 656.05/656.29 c 587s | 22 | 1681397 | 1570622 | 6179 560 | 1 | 8 658.15/658.30 c 589s | 22 | 1686766 | 1575722 | 6179 562 | 1 | 8 660.15/660.32 c 591s | 22 | 1692179 | 1580822 | 6179 563 | 1 | 8 662.16/662.35 c 593s | 22 | 1696712 | 1585022 | 6179 565 | 1 | 8 664.15/664.35 c 595s | 22 | 1701283 | 1589322 | 6179 566 | 1 | 8 666.14/666.36 c 597s | 22 | 1706599 | 1594222 | 6179 567 | 1 | 8 668.14/668.37 c 599s | 22 | 1711901 | 1599222 | 6179 569 | 1 | 8 670.14/670.37 c 601s | 22 | 1716775 | 1603822 | 6179 570 | 1 | 8 672.24/672.41 c 603s | 22 | 1722722 | 1609422 | 6179 572 | 1 | 8 674.25/674.42 c 605s | 22 | 1728036 | 1614322 | 6179 573 | 1 | 8 676.24/676.42 c 607s | 22 | 1733678 | 1619622 | 6179 575 | 1 | 8 678.23/678.45 c 609s | 22 | 1739044 | 1624522 | 6179 577 | 1 | 8 680.23/680.47 c 611s | 22 | 1744786 | 1629822 | 6179 578 | 1 | 8 682.33/682.50 c 613s | 22 | 1750946 | 1635422 | 6179 580 | 1 | 8 684.33/684.53 c 615s | 22 | 1756348 | 1640522 | 6179 581 | 1 | 8 686.34/686.56 c 617s | 22 | 1761384 | 1645422 | 6179 583 | 1 | 8 688.33/688.60 c 619s | 22 | 1766519 | 1650222 | 6179 584 | 1 | 8 690.43/690.64 c 621s | 22 | 1771630 | 1654822 | 6179 586 | 1 | 8 692.43/692.67 c 623s | 22 | 1776962 | 1659822 | 6179 587 | 1 | 8 694.42/694.67 c 625s | 22 | 1782360 | 1664822 | 6179 589 | 1 | 8 696.42/696.69 c 627s | 22 | 1788313 | 1670322 | 6179 591 | 1 | 8 698.52/698.73 c 629s | 22 | 1793647 | 1675122 | 6179 592 | 1 | 8 700.53/700.77 c 631s | 22 | 1799069 | 1680122 | 6179 594 | 1 | 8 702.52/702.78 c 633s | 22 | 1804838 | 1685622 | 6179 595 | 1 | 8 704.62/704.80 c 635s | 22 | 1810159 | 1690722 | 6179 597 | 1 | 8 706.62/706.82 c 637s | 22 | 1815718 | 1695722 | 6179 598 | 1 | 8 708.62/708.82 c 639s | 22 | 1821605 | 1701122 | 6179 600 | 1 | 8 710.63/710.83 c 641s | 22 | 1827038 | 1706122 | 6179 601 | 1 | 8 712.64/712.86 c 643s | 22 | 1832474 | 1711322 | 6179 603 | 1 | 8 714.62/714.87 c 645s | 22 | 1837764 | 1716222 | 6179 605 | 1 | 8 716.72/716.91 c 647s | 22 | 1843634 | 1721622 | 6179 606 | 1 | 8 718.72/718.94 c 649s | 22 | 1849027 | 1726722 | 6179 608 | 1 | 8 720.72/720.95 c 651s | 22 | 1854720 | 1732122 | 6179 609 | 1 | 8 722.72/722.98 c 653s | 22 | 1860798 | 1737822 | 6179 611 | 1 | 8 724.82/725.01 c 655s | 22 | 1866416 | 1743122 | 6179 613 | 1 | 8 726.82/727.03 c 657s | 22 | 1871464 | 1747922 | 6179 614 | 1 | 8 728.82/729.05 c 659s | 22 | 1877435 | 1753322 | 6179 616 | 1 | 8 730.81/731.08 c 661s | 22 | 1882980 | 1758422 | 6179 617 | 1 | 8 732.91/733.11 c 663s | 22 | 1888482 | 1763522 | 6179 619 | 1 | 8 734.91/735.11 c 665s | 22 | 1894169 | 1768822 | 6179 621 | 1 | 8 736.92/737.12 c 667s | 22 | 1900043 | 1774322 | 6179 622 | 1 | 8 738.91/739.13 c 669s | 22 | 1905534 | 1779522 | 6179 624 | 1 | 8 740.91/741.18 c 671s | 22 | 1911256 | 1784822 | 6179 625 | 1 | 8 743.01/743.20 c 674s | 22 | 1917219 | 1790322 | 6179 627 | 1 | 8 745.01/745.20 c 676s | 22 | 1922859 | 1795722 | 6179 629 | 1 | 8 747.01/747.22 c 678s | 22 | 1928403 | 1800922 | 6179 630 | 1 | 8 749.01/749.26 c 680s | 22 | 1933927 | 1806122 | 6179 632 | 1 | 8 751.01/751.28 c 682s | 22 | 1939493 | 1811222 | 6179 633 | 1 | 8 753.01/753.28 c 684s | 22 | 1945003 | 1816322 | 6179 635 | 1 | 8 755.10/755.30 c 686s | 22 | 1950938 | 1821722 | 6179 637 | 1 | 8 757.10/757.32 c 688s | 22 | 1957191 | 1827822 | 6179 639 | 1 | 8 759.10/759.32 c 690s | 22 | 1962766 | 1833022 | 6179 640 | 1 | 8 761.10/761.37 c 692s | 22 | 1968034 | 1837822 | 6179 641 | 1 | 8 763.20/763.41 c 694s | 22 | 1972054 | 1841422 | 6179 643 | 1 | 8 765.19/765.44 c 696s | 22 | 1977015 | 1846122 | 6179 644 | 1 | 8 767.19/767.45 c 698s | 22 | 1981337 | 1850322 | 6179 645 | 1 | 8 769.19/769.46 c 700s | 22 | 1986410 | 1855222 | 6179 647 | 1 | 8 771.19/771.49 c 702s | 22 | 1991795 | 1860322 | 6179 648 | 1 | 8 773.29/773.54 c 704s | 22 | 1996092 | 1864322 | 6179 649 | 1 | 8 775.29/775.56 c 706s | 22 | 2000226 | 1868322 | 6179 651 | 1 | 8 777.39/777.61 c 708s | 22 | 2004112 | 1872022 | 6179 652 | 1 | 8 779.39/779.64 c 710s | 22 | 2007908 | 1875722 | 6179 653 | 1 | 8 781.39/781.64 c 712s | 22 | 2011700 | 1879422 | 6179 654 | 1 | 8 783.48/783.70 c 714s | 22 | 2015677 | 1883322 | 6179 655 | 1 | 8 785.48/785.73 c 716s | 22 | 2019530 | 1887122 | 6179 656 | 1 | 8 787.49/787.77 c 718s | 22 | 2023192 | 1890722 | 6179 658 | 1 | 8 789.48/789.78 c 720s | 22 | 2028026 | 1895422 | 6179 659 | 1 | 8 791.48/791.78 c 722s | 22 | 2032113 | 1899422 | 6179 660 | 1 | 8 793.58/793.81 c 724s | 22 | 2036412 | 1903622 | 6179 661 | 1 | 8 795.57/795.81 c 726s | 22 | 2040355 | 1907522 | 6179 663 | 1 | 8 797.58/797.85 c 728s | 22 | 2044450 | 1911522 | 6179 664 | 1 | 8 799.59/799.88 c 730s | 22 | 2048502 | 1915522 | 6179 665 | 1 | 8 801.58/801.90 c 732s | 22 | 2052819 | 1919722 | 6179 666 | 1 | 8 803.68/803.93 c 734s | 22 | 2057165 | 1923922 | 6179 668 | 1 | 8 805.78/806.01 c 736s | 22 | 2061549 | 1928222 | 6179 669 | 1 | 8 807.77/808.03 c 738s | 22 | 2066450 | 1933022 | 6179 671 | 1 | 8 809.77/810.08 c 740s | 22 | 2071251 | 1937722 | 6179 672 | 1 | 8 811.77/812.09 c 742s | 22 | 2075271 | 1941622 | 6179 673 | 1 | 8 813.88/814.12 c 744s | 22 | 2079086 | 1945322 | 6179 674 | 1 | 8 815.87/816.13 c 746s | 22 | 2083245 | 1949222 | 6179 676 | 1 | 8 817.87/818.13 c 748s | 22 | 2087273 | 1952922 | 6179 677 | 1 | 8 819.87/820.14 c 750s | 22 | 2091353 | 1956422 | 6179 678 | 1 | 8 821.97/822.20 c 753s | 22 | 2095208 | 1959422 | 6179 679 | 1 | 8 823.97/824.25 c 755s | 22 | 2098936 | 1962522 | 6179 680 | 1 | 8 825.97/826.29 c 757s | 22 | 2103676 | 1966922 | 6179 681 | 1 | 8 828.07/828.34 c 759s | 22 | 2108192 | 1970822 | 6179 682 | 1 | 8 830.06/830.36 c 761s | 22 | 2112451 | 1974522 | 6179 683 | 1 | 8 832.06/832.38 c 763s | 22 | 2116388 | 1977922 | 6179 684 | 1 | 8 834.06/834.39 c 765s | 22 | 2119769 | 1980822 | 6179 685 | 1 | 8 836.15/836.41 c 767s | 22 | 2123705 | 1984522 | 6179 686 | 1 | 8 838.15/838.47 c 769s | 22 | 2127579 | 1987922 | 6179 687 | 1 | 8 840.16/840.49 c 771s | 22 | 2131962 | 1992122 | 6179 689 | 1 | 8 842.25/842.50 c 773s | 22 | 2136325 | 1996122 | 6179 690 | 1 | 8 844.25/844.56 c 775s | 22 | 2140123 | 1999822 | 6179 691 | 1 | 8 846.25/846.59 c 777s | 22 | 2143700 | 2003222 | 6179 692 | 1 | 8 848.35/848.63 c 779s | 22 | 2147662 | 2006922 | 6179 693 | 1 | 8 850.34/850.65 c 781s | 22 | 2150671 | 2009822 | 6179 694 | 1 | 8 852.35/852.69 c 783s | 22 | 2153474 | 2012522 | 6179 695 | 1 | 8 854.45/854.75 c 785s | 22 | 2157278 | 2016122 | 6179 696 | 1 | 8 856.44/856.77 c 787s | 22 | 2161394 | 2019922 | 6179 697 | 1 | 8 858.54/858.84 c 789s | 22 | 2165324 | 2023322 | 6179 698 | 1 | 8 860.54/860.84 c 791s | 22 | 2169125 | 2026722 | 6179 700 | 1 | 8 862.54/862.85 c 793s | 22 | 2174212 | 2031022 | 6179 701 | 1 | 8 864.54/864.89 c 795s | 22 | 2179692 | 2036222 | 6797 702 | 1 | 8 866.54/866.90 c 797s | 22 | 2185505 | 2041722 | 6797 704 | 1 | 8 868.64/868.92 c 799s | 22 | 2190929 | 2046822 | 6797 705 | 1 | 8 870.63/870.94 c 801s | 22 | 2195826 | 2051522 | 6797 707 | 1 | 8 872.63/872.98 c 803s | 22 | 2199772 | 2055322 | 6797 708 | 1 | 8 874.73/875.01 c 805s | 22 | 2204375 | 2059622 | 6797 709 | 1 | 8 876.73/877.03 c 807s | 22 | 2207326 | 2062322 | 6797 710 | 1 | 8 878.74/879.07 c 809s | 22 | 2211518 | 2066022 | 6797 711 | 1 | 8 880.73/881.08 c 811s | 22 | 2216278 | 2070722 | 6797 712 | 1 | 8 882.83/883.10 c 813s | 22 | 2221025 | 2075122 | 6797 713 | 1 | 8 884.83/885.12 c 815s | 22 | 2225580 | 2079522 | 6797 714 | 1 | 8 886.83/887.18 c 817s | 22 | 2230131 | 2083722 | 6797 716 | 1 | 8 888.93/889.20 c 820s | 22 | 2234956 | 2088122 | 6797 717 | 1 | 8 890.93/891.25 c 822s | 22 | 2239296 | 2092222 | 6797 718 | 1 | 8 892.93/893.25 c 824s | 22 | 2244416 | 2097022 | 6797 719 | 1 | 8 894.92/895.28 c 826s | 22 | 2248506 | 2100822 | 6797 720 | 1 | 8 897.02/897.30 c 828s | 22 | 2252564 | 2104722 | 6797 721 | 1 | 8 899.02/899.31 c 830s | 22 | 2257048 | 2109122 | 6797 723 | 1 | 8 901.02/901.34 c 832s | 22 | 2263044 | 2114922 | 6797 724 | 1 | 8 903.02/903.37 c 834s | 22 | 2267692 | 2119522 | 6797 726 | 1 | 8 905.02/905.37 c 836s | 22 | 2272448 | 2124022 | 6797 727 | 1 | 8 907.01/907.39 c 838s | 22 | 2276143 | 2127522 | 6797 728 | 1 | 8 909.11/909.44 c 840s | 22 | 2279550 | 2130722 | 6797 729 | 1 | 8 911.11/911.46 c 842s | 22 | 2283093 | 2134222 | 6797 730 | 1 | 8 913.11/913.49 c 844s | 22 | 2286856 | 2137822 | 6797 731 | 1 | 8 915.22/915.50 c 846s | 22 | 2291006 | 2141922 | 6797 732 | 1 | 8 917.23/917.52 c 848s | 22 | 2295276 | 2146022 | 6797 733 | 1 | 8 919.22/919.56 c 850s | 22 | 2299651 | 2150222 | 6797 734 | 1 | 8 921.22/921.57 c 852s | 22 | 2303307 | 2153822 | 6797 735 | 1 | 8 923.22/923.58 c 854s | 22 | 2308007 | 2158422 | 6797 737 | 1 | 8 925.31/925.61 c 856s | 22 | 2312849 | 2163122 | 6797 738 | 1 | 8 927.31/927.66 c 858s | 22 | 2317976 | 2168122 | 6797 739 | 1 | 8 929.32/929.69 c 860s | 22 | 2323064 | 2173122 | 6797 741 | 1 | 8 931.42/931.71 c 862s | 22 | 2326774 | 2176722 | 6797 742 | 1 | 8 933.41/933.76 c 864s | 22 | 2331302 | 2181022 | 6797 743 | 1 | 8 935.41/935.79 c 866s | 22 | 2335935 | 2185622 | 6797 744 | 1 | 8 937.51/937.82 c 868s | 22 | 2340622 | 2190222 | 6797 746 | 1 | 8 939.51/939.82 c 870s | 22 | 2345005 | 2194522 | 6797 747 | 1 | 8 941.51/941.85 c 872s | 22 | 2350100 | 2199522 | 6797 748 | 1 | 8 943.61/943.91 c 874s | 22 | 2354946 | 2204222 | 6797 750 | 1 | 8 945.60/945.95 c 876s | 22 | 2360016 | 2209122 | 6797 751 | 1 | 8 947.60/947.97 c 878s | 22 | 2365089 | 2214022 | 6797 752 | 1 | 8 949.70/950.00 c 880s | 22 | 2370397 | 2219022 | 6797 754 | 1 | 8 951.70/952.00 c 882s | 22 | 2375055 | 2223522 | 6797 755 | 1 | 8 953.70/954.04 c 884s | 22 | 2379255 | 2227622 | 6797 756 | 1 | 8 955.70/956.05 c 886s | 22 | 2383315 | 2231422 | 6797 757 | 1 | 8 957.69/958.09 c 888s | 22 | 2388704 | 2236322 | 6797 759 | 1 | 8 959.79/960.11 c 890s | 22 | 2393517 | 2240922 | 6797 760 | 1 | 8 961.79/962.13 c 892s | 22 | 2398784 | 2245422 | 6797 761 | 1 | 8 963.79/964.14 c 894s | 22 | 2403815 | 2250222 | 6797 762 | 1 | 8 964.19/964.51 c 895s | 23 | 2404659 | 2251038 | 6797 763 | 1 | 8 966.19/966.51 c 897s | 23 | 2410670 | 2256338 | 6797 764 | 1 | 8 968.19/968.55 c 899s | 23 | 2414654 | 2259938 | 6797 765 | 1 | 8 970.19/970.58 c 901s | 23 | 2419563 | 2264438 | 6797 766 | 1 | 8 972.29/972.63 c 903s | 23 | 2423638 | 2268038 | 6797 767 | 1 | 8 974.29/974.68 c 905s | 23 | 2428208 | 2271938 | 6797 768 | 1 | 8 976.28/976.68 c 907s | 23 | 2434281 | 2277338 | 6797 770 | 1 | 8 978.38/978.72 c 909s | 23 | 2439608 | 2282138 | 6797 771 | 1 | 8 980.38/980.73 c 911s | 23 | 2444517 | 2286438 | 6797 772 | 1 | 8 982.38/982.78 c 913s | 23 | 2449583 | 2290838 | 6797 774 | 1 | 8 984.38/984.79 c 915s | 23 | 2454922 | 2295638 | 6797 775 | 1 | 8 986.39/986.79 c 917s | 23 | 2460193 | 2300238 | 6797 776 | 1 | 8 988.48/988.82 c 919s | 23 | 2465849 | 2305238 | 6797 777 | 1 | 8 990.48/990.86 c 921s | 23 | 2470994 | 2309838 | 6797 779 | 1 | 8 992.48/992.87 c 923s | 23 | 2476545 | 2314838 | 6797 780 | 1 | 8 994.57/994.90 c 925s | 23 | 2482015 | 2319838 | 6797 781 | 1 | 8 996.57/996.92 c 927s | 23 | 2487496 | 2324638 | 6797 783 | 1 | 8 998.58/998.92 c 929s | 23 | 2491707 | 2328538 | 6797 784 | 1 | 8 1000.57/1000.98 c 931s | 23 | 2496335 | 2332938 | 6797 785 | 1 | 8 1002.57/1002.99 c 933s | 23 | 2501565 | 2337638 | 6797 786 | 1 | 8 1004.67/1005.00 c 935s | 23 | 2506487 | 2342238 | 6797 788 | 1 | 8 1006.67/1007.01 c 937s | 23 | 2511720 | 2347138 | 6797 789 | 1 | 8 1008.67/1009.05 c 939s | 23 | 2516941 | 2352038 | 6797 790 | 1 | 8 1010.77/1011.10 c 941s | 23 | 2521981 | 2356538 | 6797 792 | 1 | 8 1012.78/1013.11 c 943s | 23 | 2527351 | 2361538 | 6797 793 | 1 | 8 1014.76/1015.17 c 945s | 23 | 2532714 | 2366338 | 6797 794 | 1 | 8 1016.76/1017.19 c 947s | 23 | 2536988 | 2370238 | 6797 795 | 1 | 8 1018.86/1019.24 c 950s | 23 | 2542200 | 2375038 | 6797 797 | 1 | 8 1020.86/1021.28 c 952s | 23 | 2547946 | 2380338 | 6797 798 | 1 | 8 1022.86/1023.28 c 954s | 23 | 2552514 | 2384538 | 6797 799 | 1 | 8 1024.96/1025.32 c 956s | 23 | 2557668 | 2389238 | 6797 801 | 1 | 8 1026.95/1027.33 c 958s | 23 | 2563997 | 2395138 | 6797 802 | 1 | 8 1028.95/1029.36 c 960s | 23 | 2569765 | 2400338 | 6797 804 | 1 | 8 1030.95/1031.37 c 962s | 23 | 2575923 | 2406138 | 6797 805 | 1 | 8 1033.05/1033.40 c 964s | 23 | 2582575 | 2412238 | 6797 807 | 1 | 8 1035.05/1035.41 c 966s | 23 | 2588260 | 2417438 | 6797 808 | 1 | 8 1037.06/1037.44 c 968s | 23 | 2594098 | 2422838 | 6797 810 | 1 | 8 1039.05/1039.46 c 970s | 23 | 2600622 | 2429038 | 6797 811 | 1 | 8 1041.06/1041.48 c 972s | 23 | 2607014 | 2434838 | 6797 813 | 1 | 8 1043.15/1043.50 c 974s | 23 | 2612320 | 2439538 | 6797 814 | 1 | 8 1045.15/1045.53 c 976s | 23 | 2618339 | 2444738 | 6797 816 | 1 | 8 1047.15/1047.55 c 978s | 23 | 2623798 | 2449738 | 6797 817 | 1 | 8 1049.15/1049.59 c 980s | 23 | 2628407 | 2453938 | 6797 818 | 1 | 8 1051.25/1051.65 c 982s | 23 | 2633493 | 2458538 | 6797 820 | 1 | 8 1053.25/1053.66 c 984s | 23 | 2638894 | 2463338 | 6797 821 | 1 | 8 1055.24/1055.69 c 986s | 23 | 2644131 | 2468138 | 6797 822 | 1 | 8 1057.34/1057.71 c 988s | 23 | 2648957 | 2472238 | 6797 823 | 1 | 8 1059.34/1059.72 c 990s | 23 | 2653558 | 2476338 | 6797 824 | 1 | 8 1061.34/1061.76 c 992s | 23 | 2659047 | 2481038 | 6797 826 | 1 | 8 1063.35/1063.77 c 994s | 23 | 2664218 | 2485838 | 6797 827 | 1 | 8 1065.44/1065.81 c 996s | 23 | 2669492 | 2490538 | 6797 828 | 1 | 8 1067.44/1067.84 c 998s | 23 | 2674554 | 2495038 | 6797 829 | 1 | 8 1069.44/1069.85 c 1000s | 23 | 2679517 | 2499438 | 6797 831 | 1 | 8 1071.44/1071.88 c 1002s | 23 | 2684678 | 2503938 | 6797 832 | 1 | 8 1073.54/1073.92 c 1004s | 23 | 2689498 | 2508038 | 6797 833 | 1 | 8 1075.54/1075.95 c 1006s | 23 | 2694582 | 2512338 | 6797 834 | 1 | 8 1077.53/1077.96 c 1008s | 23 | 2699507 | 2516438 | 6797 835 | 1 | 8 1079.53/1079.98 c 1010s | 23 | 2704120 | 2520238 | 6797 836 | 1 | 8 1081.63/1082.00 c 1012s | 23 | 2711084 | 2526538 | 6797 838 | 1 | 8 1083.63/1084.00 c 1014s | 23 | 2715025 | 2530338 | 6797 839 | 1 | 8 1085.63/1086.01 c 1016s | 23 | 2719952 | 2534838 | 6797 840 | 1 | 8 1087.63/1088.04 c 1018s | 23 | 2725470 | 2539938 | 6797 842 | 1 | 8 1089.63/1090.06 c 1020s | 23 | 2731009 | 2544938 | 6797 843 | 1 | 8 1091.63/1092.09 c 1022s | 23 | 2736917 | 2550038 | 6797 845 | 1 | 8 1093.72/1094.12 c 1024s | 23 | 2741618 | 2554438 | 6797 846 | 1 | 8 1095.72/1096.15 c 1026s | 23 | 2747822 | 2559938 | 6797 847 | 1 | 8 1097.72/1098.19 c 1028s | 23 | 2753414 | 2565138 | 6797 849 | 1 | 8 1099.82/1100.20 c 1031s | 23 | 2759659 | 2571038 | 6797 850 | 1 | 8 1101.83/1102.23 c 1033s | 23 | 2763938 | 2575138 | 6797 851 | 1 | 8 1103.82/1104.25 c 1035s | 23 | 2769246 | 2580138 | 6797 853 | 1 | 8 1105.81/1106.28 c 1037s | 23 | 2773564 | 2584038 | 6797 854 | 1 | 8 1107.81/1108.29 c 1039s | 23 | 2778389 | 2588238 | 6797 855 | 1 | 8 1109.91/1110.31 c 1041s | 23 | 2783631 | 2592938 | 6797 856 | 1 | 8 1111.91/1112.33 c 1043s | 23 | 2787824 | 2596638 | 6797 857 | 1 | 8 1113.92/1114.33 c 1045s | 23 | 2792271 | 2600738 | 6797 858 | 1 | 8 1115.91/1116.38 c 1047s | 23 | 2797114 | 2605038 | 6797 860 | 1 | 8 1118.01/1118.40 c 1049s | 23 | 2802243 | 2609738 | 6797 861 | 1 | 8 1120.01/1120.41 c 1051s | 23 | 2807196 | 2614238 | 6797 862 | 1 | 8 1122.01/1122.45 c 1053s | 23 | 2811545 | 2618238 | 6797 863 | 1 | 8 1124.10/1124.51 c 1055s | 23 | 2816311 | 2622238 | 6797 864 | 1 | 8 1126.11/1126.56 c 1057s | 23 | 2821311 | 2626338 | 6797 865 | 1 | 8 1128.21/1128.61 c 1059s | 23 | 2825433 | 2629838 | 6797 866 | 1 | 8 1130.20/1130.62 c 1061s | 23 | 2829858 | 2633438 | 6797 867 | 1 | 8 1132.20/1132.65 c 1063s | 23 | 2834674 | 2637138 | 6797 868 | 1 | 8 1134.30/1134.70 c 1065s | 23 | 2839486 | 2641038 | 6797 869 | 1 | 8 1136.29/1136.70 c 1067s | 23 | 2844170 | 2644738 | 6797 870 | 1 | 8 1138.29/1138.74 c 1069s | 23 | 2849363 | 2648638 | 6797 871 | 1 | 8 1140.30/1140.78 c 1071s | 23 | 2854301 | 2652538 | 6797 873 | 1 | 8 1142.29/1142.79 c 1073s | 23 | 2860341 | 2657238 | 6797 874 | 1 | 8 1144.39/1144.82 c 1075s | 23 | 2865862 | 2661638 | 6797 875 | 1 | 8 1146.39/1146.85 c 1077s | 23 | 2870752 | 2665838 | 6797 876 | 1 | 8 1148.39/1148.88 c 1079s | 23 | 2875268 | 2669638 | 6797 877 | 1 | 8 1150.39/1150.89 c 1081s | 23 | 2879792 | 2673038 | 6797 878 | 1 | 8 1152.49/1152.95 c 1083s | 23 | 2884357 | 2676638 | 6797 879 | 1 | 8 1154.49/1154.95 c 1085s | 23 | 2889703 | 2680538 | 6797 880 | 1 | 8 1156.49/1156.97 c 1087s | 23 | 2894824 | 2684638 | 6797 881 | 1 | 8 1158.49/1158.98 c 1089s | 23 | 2899159 | 2688538 | 6797 882 | 1 | 8 1160.59/1161.00 c 1091s | 23 | 2904634 | 2693238 | 6797 884 | 1 | 8 1162.59/1163.03 c 1093s | 23 | 2909920 | 2697538 | 6797 885 | 1 | 8 1164.59/1165.08 c 1095s | 23 | 2914853 | 2701638 | 6797 886 | 1 | 8 1166.59/1167.09 c 1097s | 23 | 2919939 | 2706038 | 6797 887 | 1 | 8 1168.69/1169.12 c 1099s | 23 | 2924675 | 2710138 | 6797 888 | 1 | 8 1170.69/1171.16 c 1101s | 23 | 2928466 | 2713638 | 6797 889 | 1 | 8 1172.69/1173.17 c 1103s | 23 | 2932864 | 2717738 | 6797 891 | 1 | 8 1174.68/1175.20 c 1105s | 23 | 2937978 | 2722538 | 6797 892 | 1 | 8 1176.78/1177.24 c 1108s | 23 | 2943856 | 2727938 | 6797 893 | 1 | 8 1178.79/1179.27 c 1110s | 23 | 2949306 | 2733038 | 6797 895 | 1 | 8 1180.88/1181.31 c 1112s | 23 | 2954437 | 2737838 | 6797 896 | 1 | 8 1182.88/1183.33 c 1114s | 23 | 2959212 | 2742338 | 6797 897 | 1 | 8 1184.88/1185.38 c 1116s | 23 | 2963912 | 2746438 | 6797 898 | 1 | 8 1186.98/1187.42 c 1118s | 23 | 2968576 | 2750738 | 6797 900 | 1 | 8 1188.98/1189.42 c 1120s | 23 | 2973518 | 2755338 | 6797 901 | 1 | 8 1190.98/1191.44 c 1122s | 23 | 2978069 | 2759438 | 6797 902 | 1 | 8 1192.98/1193.48 c 1124s | 23 | 2982630 | 2763638 | 6797 903 | 1 | 8 1195.08/1195.54 c 1126s | 23 | 2987147 | 2767538 | 6797 904 | 1 | 8 1197.08/1197.54 c 1128s | 23 | 2991391 | 2771238 | 6797 905 | 1 | 8 1199.08/1199.58 c 1130s | 23 | 2996329 | 2775538 | 6797 906 | 1 | 8 1201.18/1201.61 c 1132s | 23 | 3000856 | 2779538 | 6797 907 | 1 | 8 1203.18/1203.63 c 1134s | 23 | 3005550 | 2783538 | 6797 909 | 1 | 8 1205.18/1205.63 c 1136s | 23 | 3010539 | 2788038 | 6797 910 | 1 | 8 1207.17/1207.64 c 1138s | 23 | 3016240 | 2793238 | 6797 911 | 1 | 8 1209.17/1209.69 c 1140s | 23 | 3020409 | 2797038 | 6797 912 | 1 | 8 1211.27/1211.75 c 1142s | 23 | 3025002 | 2801338 | 6797 913 | 1 | 8 1213.37/1213.80 c 1144s | 23 | 3029632 | 2805638 | 6797 915 | 1 | 8 1215.37/1215.84 c 1146s | 23 | 3033752 | 2809438 | 6797 916 | 1 | 8 1217.38/1217.84 c 1148s | 23 | 3038787 | 2814038 | 6797 917 | 1 | 8 1219.37/1219.88 c 1150s | 23 | 3044292 | 2818838 | 6797 918 | 1 | 8 1221.37/1221.88 c 1152s | 23 | 3049270 | 2822938 | 6797 919 | 1 | 8 1223.47/1223.95 c 1154s | 23 | 3054320 | 2827038 | 6797 921 | 1 | 8 1225.47/1225.96 c 1156s | 23 | 3059735 | 2831538 | 6797 922 | 1 | 8 1227.47/1228.00 c 1158s | 23 | 3064974 | 2836138 | 6797 923 | 1 | 8 1229.57/1230.00 c 1160s | 23 | 3070168 | 2840538 | 6797 924 | 1 | 8 1231.57/1232.02 c 1162s | 23 | 3075253 | 2845338 | 6797 925 | 1 | 8 1233.57/1234.05 c 1164s | 23 | 3079844 | 2849638 | 6797 927 | 1 | 8 1235.57/1236.09 c 1166s | 23 | 3084294 | 2853738 | 6797 928 | 1 | 8 1237.66/1238.12 c 1168s | 23 | 3089585 | 2858338 | 6797 929 | 1 | 8 1239.66/1240.17 c 1170s | 23 | 3094622 | 2862438 | 6797 930 | 1 | 8 1241.66/1242.17 c 1172s | 23 | 3100184 | 2866938 | 6797 931 | 1 | 8 1243.67/1244.19 c 1174s | 23 | 3105188 | 2871638 | 6797 933 | 1 | 8 1245.66/1246.19 c 1176s | 23 | 3109522 | 2875438 | 6797 934 | 1 | 8 1247.66/1248.19 c 1178s | 23 | 3113795 | 2879238 | 6797 935 | 1 | 8 1249.76/1250.25 c 1181s | 23 | 3118853 | 2883638 | 6797 936 | 1 | 8 1251.86/1252.32 c 1183s | 23 | 3123171 | 2887638 | 6797 937 | 1 | 8 1253.86/1254.36 c 1185s | 23 | 3127193 | 2891238 | 6797 938 | 1 | 8 1255.96/1256.40 c 1187s | 23 | 3131978 | 2895438 | 6797 939 | 1 | 8 1257.97/1258.42 c 1189s | 23 | 3136272 | 2899438 | 6797 940 | 1 | 8 1259.96/1260.45 c 1191s | 23 | 3141149 | 2903838 | 6797 942 | 1 | 8 1261.96/1262.47 c 1193s | 23 | 3145970 | 2908138 | 6797 943 | 1 | 8 1263.96/1264.49 c 1195s | 23 | 3150541 | 2912138 | 6797 944 | 1 | 8 1266.06/1266.50 c 1197s | 23 | 3155138 | 2916038 | 6797 945 | 1 | 8 1268.06/1268.52 c 1199s | 23 | 3160777 | 2921138 | 6797 946 | 1 | 8 1270.06/1270.54 c 1201s | 23 | 3165592 | 2925538 | 6797 947 | 1 | 8 1272.06/1272.55 c 1203s | 23 | 3169657 | 2929138 | 6797 948 | 1 | 8 1274.06/1274.59 c 1205s | 23 | 3173256 | 2932238 | 6797 949 | 1 | 8 1276.16/1276.63 c 1207s | 23 | 3178058 | 2936538 | 6797 950 | 1 | 8 1278.15/1278.66 c 1209s | 23 | 3182588 | 2940238 | 6797 951 | 1 | 8 1280.15/1280.67 c 1211s | 23 | 3187449 | 2944238 | 6797 953 | 1 | 8 1282.16/1282.67 c 1213s | 23 | 3191940 | 2947838 | 6797 954 | 1 | 8 1284.25/1284.70 c 1215s | 23 | 3195761 | 2951038 | 6797 954 | 1 | 8 1286.25/1286.76 c 1217s | 23 | 3200883 | 2954838 | 6797 955 | 1 | 8 1288.25/1288.79 c 1219s | 23 | 3205559 | 2958738 | 6797 957 | 1 | 8 1290.35/1290.83 c 1221s | 23 | 3210495 | 2963238 | 6797 958 | 1 | 8 1292.35/1292.86 c 1223s | 23 | 3214782 | 2967338 | 6797 959 | 1 | 8 1294.36/1294.89 c 1225s | 23 | 3219972 | 2972238 | 6797 960 | 1 | 8 1296.35/1296.89 c 1227s | 23 | 3224446 | 2976338 | 6797 961 | 1 | 8 1298.45/1298.92 c 1229s | 23 | 3229224 | 2980738 | 6797 963 | 1 | 8 1300.45/1300.94 c 1231s | 23 | 3233238 | 2984438 | 6797 964 | 1 | 8 1302.45/1302.96 c 1233s | 23 | 3238017 | 2988938 | 6797 965 | 1 | 8 1304.45/1304.99 c 1235s | 23 | 3242819 | 2993338 | 6797 966 | 1 | 8 1306.55/1307.01 c 1237s | 23 | 3247586 | 2997538 | 6797 967 | 1 | 8 1308.56/1309.05 c 1239s | 23 | 3252097 | 3001838 | 6797 968 | 1 | 8 1310.55/1311.08 c 1241s | 23 | 3256674 | 3006138 | 6797 969 | 1 | 8 1312.65/1313.13 c 1243s | 23 | 3260625 | 3009838 | 6797 971 | 1 | 8 1314.66/1315.16 c 1245s | 23 | 3264660 | 3013638 | 6797 972 | 1 | 8 1316.66/1317.18 c 1247s | 23 | 3269137 | 3017638 | 6797 973 | 1 | 8 1318.66/1319.18 c 1249s | 23 | 3273657 | 3021438 | 6797 974 | 1 | 8 1320.76/1321.21 c 1252s | 23 | 3278206 | 3025238 | 6797 975 | 1 | 8 1322.75/1323.22 c 1254s | 23 | 3283172 | 3029738 | 6797 976 | 1 | 8 1324.75/1325.25 c 1256s | 23 | 3288320 | 3034538 | 6797 977 | 1 | 8 1326.75/1327.25 c 1258s | 23 | 3292934 | 3038638 | 6797 978 | 1 | 8 1328.75/1329.26 c 1260s | 23 | 3297928 | 3043338 | 6797 980 | 1 | 8 1330.75/1331.28 c 1262s | 23 | 3302918 | 3047938 | 6797 981 | 1 | 8 1332.86/1333.31 c 1264s | 23 | 3308321 | 3053038 | 6797 982 | 1 | 8 1334.85/1335.32 c 1266s | 23 | 3313126 | 3057538 | 6797 984 | 1 | 8 1336.85/1337.33 c 1268s | 23 | 3318412 | 3062438 | 6797 985 | 1 | 8 1338.85/1339.35 c 1270s | 23 | 3325435 | 3068738 | 6797 987 | 1 | 8 1340.85/1341.36 c 1272s | 23 | 3330248 | 3073038 | 6797 988 | 1 | 8 1342.85/1343.37 c 1274s | 23 | 3334800 | 3077038 | 6797 989 | 1 | 8 1344.85/1345.38 c 1276s | 23 | 3340239 | 3082238 | 6797 990 | 1 | 8 1346.85/1347.38 c 1278s | 23 | 3345087 | 3086738 | 6797 992 | 1 | 8 1348.95/1349.41 c 1280s | 23 | 3350403 | 3091638 | 6797 993 | 1 | 8 1350.95/1351.46 c 1282s | 23 | 3355441 | 3096438 | 6797 994 | 1 | 8 1352.95/1353.48 c 1284s | 23 | 3360486 | 3101238 | 6797 996 | 1 | 8 1355.05/1355.53 c 1286s | 23 | 3365953 | 3106238 | 6797 997 | 1 | 8 1357.05/1357.55 c 1288s | 23 | 3370688 | 3110438 | 6797 998 | 1 | 8 1359.05/1359.58 c 1290s | 23 | 3375035 | 3114538 | 6797 999 | 1 | 8 1361.15/1361.60 c 1292s | 23 | 3379809 | 3119038 | 6797 1001 | 1 | 8 1363.14/1363.65 c 1294s | 23 | 3384706 | 3123438 | 6797 1002 | 1 | 8 1365.14/1365.68 c 1296s | 23 | 3389203 | 3127538 | 6797 1003 | 1 | 8 1367.24/1367.70 c 1298s | 23 | 3394286 | 3132138 | 6797 1004 | 1 | 8 1369.24/1369.72 c 1300s | 23 | 3399129 | 3136638 | 6797 1005 | 1 | 8 1371.25/1371.73 c 1302s | 23 | 3405160 | 3142338 | 6797 1007 | 1 | 8 1373.24/1373.75 c 1304s | 23 | 3410823 | 3147838 | 6797 1008 | 1 | 8 1375.24/1375.75 c 1306s | 23 | 3416420 | 3153138 | 7477 1010 | 1 | 8 1377.24/1377.78 c 1308s | 23 | 3421704 | 3158238 | 7477 1011 | 1 | 8 1379.24/1379.79 c 1310s | 23 | 3427349 | 3163338 | 7477 1012 | 1 | 8 1381.34/1381.80 c 1312s | 23 | 3432557 | 3168238 | 7477 1013 | 1 | 8 1383.35/1383.84 c 1314s | 23 | 3437471 | 3172938 | 7477 1015 | 1 | 8 1385.34/1385.88 c 1316s | 23 | 3442495 | 3177738 | 7477 1016 | 1 | 8 1387.34/1387.89 c 1318s | 23 | 3447793 | 3182638 | 7477 1017 | 1 | 8 1389.44/1389.92 c 1320s | 23 | 3451761 | 3186538 | 7477 1018 | 1 | 8 1391.44/1391.93 c 1322s | 23 | 3456722 | 3191238 | 7477 1019 | 1 | 8 1393.44/1393.95 c 1324s | 23 | 3461505 | 3195738 | 7477 1020 | 1 | 8 1395.45/1395.95 c 1326s | 23 | 3465450 | 3199538 | 7477 1021 | 1 | 8 1397.44/1397.96 c 1328s | 23 | 3469538 | 3203438 | 7477 1022 | 1 | 8 1399.54/1400.01 c 1330s | 23 | 3473636 | 3207338 | 7477 1023 | 1 | 8 1401.54/1402.01 c 1332s | 23 | 3477880 | 3211338 | 7477 1024 | 1 | 8 1403.54/1404.04 c 1334s | 23 | 3482086 | 3215438 | 7477 1025 | 1 | 8 1405.54/1406.07 c 1336s | 23 | 3486678 | 3219638 | 7477 1026 | 1 | 8 1407.65/1408.11 c 1338s | 23 | 3491277 | 3223938 | 7477 1027 | 1 | 8 1409.64/1410.15 c 1340s | 23 | 3495532 | 3228038 | 7477 1028 | 1 | 8 1411.64/1412.20 c 1342s | 23 | 3499868 | 3232238 | 7477 1029 | 1 | 8 1413.74/1414.24 c 1345s | 23 | 3504957 | 3237138 | 7477 1031 | 1 | 8 1415.74/1416.28 c 1347s | 23 | 3509145 | 3241138 | 7477 1032 | 1 | 8 1417.84/1418.37 c 1349s | 23 | 3513412 | 3245138 | 7477 1033 | 1 | 8 1419.94/1420.40 c 1351s | 23 | 3518271 | 3249738 | 7477 1034 | 1 | 8 1421.95/1422.42 c 1353s | 23 | 3523194 | 3254438 | 7477 1035 | 1 | 8 1423.94/1424.44 c 1355s | 23 | 3527843 | 3258838 | 7477 1036 | 1 | 8 1425.94/1426.44 c 1357s | 23 | 3532333 | 3263038 | 7477 1037 | 1 | 8 1427.94/1428.45 c 1359s | 23 | 3536391 | 3266938 | 7477 1038 | 1 | 8 1429.94/1430.48 c 1361s | 23 | 3540711 | 3271038 | 7477 1039 | 1 | 8 1431.94/1432.49 c 1363s | 23 | 3545589 | 3275838 | 7477 1040 | 1 | 8 1434.04/1434.55 c 1365s | 23 | 3550236 | 3280338 | 7477 1041 | 1 | 8 1436.04/1436.55 c 1367s | 23 | 3554804 | 3284738 | 7477 1042 | 1 | 8 1438.04/1438.57 c 1369s | 23 | 3559228 | 3288838 | 7477 1043 | 1 | 8 1440.14/1440.60 c 1371s | 23 | 3563162 | 3292638 | 7477 1044 | 1 | 8 1442.13/1442.61 c 1373s | 23 | 3566916 | 3296238 | 7477 1045 | 1 | 8 1444.13/1444.62 c 1375s | 23 | 3570405 | 3299638 | 7477 1046 | 1 | 8 1446.14/1446.63 c 1377s | 23 | 3574868 | 3303838 | 7477 1047 | 1 | 8 1448.13/1448.69 c 1379s | 23 | 3578991 | 3307738 | 7477 1048 | 1 | 8 1450.23/1450.73 c 1381s | 23 | 3582732 | 3311238 | 7477 1049 | 1 | 8 1452.23/1452.74 c 1383s | 23 | 3587631 | 3315538 | 7477 1050 | 1 | 8 1454.23/1454.75 c 1385s | 23 | 3593265 | 3320938 | 7477 1051 | 1 | 8 1456.33/1456.82 c 1387s | 23 | 3597927 | 3325238 | 7477 1053 | 1 | 8 1458.43/1458.93 c 1389s | 23 | 3602261 | 3329238 | 7477 1054 | 1 | 8 1460.44/1460.94 c 1391s | 23 | 3607255 | 3334138 | 7477 1055 | 1 | 8 1462.43/1462.94 c 1393s | 23 | 3612139 | 3338838 | 7477 1056 | 1 | 8 1464.43/1464.95 c 1395s | 23 | 3616587 | 3343138 | 7477 1057 | 1 | 8 1466.43/1466.99 c 1397s | 23 | 3621090 | 3347438 | 7477 1058 | 1 | 8 1468.53/1469.02 c 1399s | 23 | 3625094 | 3351238 | 7477 1059 | 1 | 8 1470.53/1471.08 c 1401s | 23 | 3629719 | 3355638 | 7477 1060 | 1 | 8 1472.63/1473.12 c 1403s | 23 | 3634744 | 3360138 | 7477 1061 | 1 | 8 1474.74/1475.20 c 1406s | 23 | 3638544 | 3363638 | 7477 1062 | 1 | 8 1476.73/1477.21 c 1408s | 23 | 3642822 | 3367538 | 7477 1063 | 1 | 8 1478.73/1479.22 c 1410s | 23 | 3646839 | 3371238 | 7477 1064 | 1 | 8 1480.73/1481.23 c 1412s | 23 | 3650581 | 3374738 | 7477 1065 | 1 | 8 1481.33/1481.85 c 1412s | 24 | 3652820 | 3376662 | 7477 1065 | 1 | 8 1483.33/1483.87 c 1414s | 24 | 3656477 | 3379762 | 7477 1066 | 1 | 8 1485.43/1485.94 c 1416s | 24 | 3659916 | 3383162 | 7477 1067 | 1 | 8 1487.43/1487.98 c 1418s | 24 | 3662966 | 3385962 | 7477 1068 | 1 | 8 1489.53/1490.04 c 1420s | 24 | 3665408 | 3387962 | 7477 1068 | 1 | 8 1491.53/1492.05 c 1422s | 24 | 3669561 | 3391962 | 7477 1069 | 1 | 8 1493.53/1494.06 c 1424s | 24 | 3673403 | 3395762 | 7477 1070 | 1 | 8 1495.53/1496.09 c 1426s | 24 | 3676470 | 3398462 | 7477 1071 | 1 | 8 1497.63/1498.14 c 1428s | 24 | 3679600 | 3400862 | 7477 1072 | 1 | 8 1499.73/1500.25 c 1431s | 24 | 3684350 | 3404062 | 7477 1072 | 1 | 8 1501.82/1502.30 c 1433s | 24 | 3688262 | 3407662 | 7477 1073 | 1 | 8 1503.82/1504.39 c 1435s | 24 | 3690246 | 3409362 | 7477 1074 | 1 | 8 1505.92/1506.44 c 1437s | 24 | 3693041 | 3411762 | 7477 1074 | 1 | 8 1507.92/1508.46 c 1439s | 24 | 3697148 | 3415662 | 7477 1075 | 1 | 8 1509.93/1510.47 c 1441s | 24 | 3700034 | 3418262 | 7477 1076 | 1 | 8 1511.92/1512.50 c 1443s | 24 | 3702665 | 3420462 | 7477 1077 | 1 | 8 1514.02/1514.55 c 1445s | 24 | 3706435 | 3423862 | 7477 1077 | 1 | 8 1516.02/1516.59 c 1447s | 24 | 3709418 | 3426562 | 7477 1078 | 1 | 8 1518.12/1518.63 c 1449s | 24 | 3713288 | 3430062 | 7477 1079 | 1 | 8 1520.12/1520.68 c 1451s | 24 | 3716306 | 3432962 | 7477 1080 | 1 | 8 1522.22/1522.71 c 1453s | 24 | 3719904 | 3436362 | 7477 1081 | 1 | 8 1524.23/1524.79 c 1455s | 24 | 3724098 | 3440062 | 7477 1082 | 1 | 8 1526.22/1526.80 c 1457s | 24 | 3728388 | 3443862 | 7477 1082 | 1 | 8 1528.32/1528.86 c 1459s | 24 | 3731975 | 3447162 | 7477 1083 | 1 | 8 1530.32/1530.87 c 1461s | 24 | 3735778 | 3450762 | 7477 1084 | 1 | 8 1532.42/1532.93 c 1463s | 24 | 3739307 | 3453962 | 7477 1085 | 1 | 8 1534.42/1534.96 c 1465s | 24 | 3743155 | 3457362 | 7477 1086 | 1 | 8 1536.42/1536.96 c 1467s | 24 | 3747366 | 3461062 | 7477 1087 | 1 | 8 1538.43/1538.99 c 1469s | 24 | 3752239 | 3465462 | 7477 1088 | 1 | 8 1540.42/1541.00 c 1471s | 24 | 3756796 | 3469562 | 7477 1089 | 1 | 8 1542.52/1543.03 c 1473s | 24 | 3760796 | 3473262 | 7477 1090 | 1 | 8 1544.62/1545.14 c 1475s | 24 | 3764356 | 3476462 | 7477 1091 | 1 | 8 1546.61/1547.16 c 1477s | 24 | 3768564 | 3479962 | 7477 1092 | 1 | 8 1548.61/1549.19 c 1479s | 24 | 3772075 | 3483062 | 7477 1093 | 1 | 8 1550.71/1551.20 c 1481s | 24 | 3776116 | 3486462 | 7477 1093 | 1 | 8 1552.72/1553.23 c 1484s | 24 | 3780807 | 3490862 | 7477 1095 | 1 | 8 1554.71/1555.25 c 1486s | 24 | 3785649 | 3495162 | 7477 1096 | 1 | 8 1556.71/1557.25 c 1488s | 24 | 3790842 | 3500162 | 7477 1097 | 1 | 8 1558.71/1559.27 c 1490s | 24 | 3795911 | 3504662 | 7477 1098 | 1 | 8 1560.71/1561.28 c 1492s | 24 | 3800637 | 3509162 | 7477 1099 | 1 | 8 1562.81/1563.32 c 1494s | 24 | 3805327 | 3513262 | 7477 1100 | 1 | 8 1564.82/1565.34 c 1496s | 24 | 3809790 | 3517462 | 7477 1101 | 1 | 8 1566.81/1567.37 c 1498s | 24 | 3814531 | 3521562 | 7477 1102 | 1 | 8 1568.81/1569.38 c 1500s | 24 | 3820012 | 3526662 | 7477 1104 | 1 | 8 1570.91/1571.42 c 1502s | 24 | 3825609 | 3531962 | 7477 1105 | 1 | 8 1572.91/1573.45 c 1504s | 24 | 3830516 | 3536562 | 7477 1106 | 1 | 8 1574.91/1575.48 c 1506s | 24 | 3834762 | 3540562 | 7477 1107 | 1 | 8 1576.92/1577.49 c 1508s | 24 | 3839371 | 3544762 | 7477 1108 | 1 | 8 1579.01/1579.53 c 1510s | 24 | 3844364 | 3549262 | 7477 1109 | 1 | 8 1581.01/1581.53 c 1512s | 24 | 3848837 | 3553562 | 7477 1111 | 1 | 8 1583.01/1583.54 c 1514s | 24 | 3854470 | 3558562 | 7477 1112 | 1 | 8 1585.01/1585.54 c 1516s | 24 | 3859088 | 3562862 | 7477 1113 | 1 | 8 1587.01/1587.57 c 1518s | 24 | 3864012 | 3567662 | 7477 1114 | 1 | 8 1589.01/1589.60 c 1520s | 24 | 3868791 | 3572362 | 7477 1115 | 1 | 8 1591.11/1591.62 c 1522s | 24 | 3874088 | 3577262 | 7477 1117 | 1 | 8 1593.11/1593.66 c 1524s | 24 | 3879802 | 3582362 | 7477 1118 | 1 | 8 1595.11/1595.67 c 1526s | 24 | 3884428 | 3586462 | 7477 1119 | 1 | 8 1597.11/1597.68 c 1528s | 24 | 3889943 | 3591162 | 7477 1120 | 1 | 8 1599.20/1599.72 c 1530s | 24 | 3895014 | 3595762 | 7477 1121 | 1 | 8 1601.22/1601.76 c 1532s | 24 | 3899595 | 3599762 | 7477 1122 | 1 | 8 1603.21/1603.76 c 1534s | 24 | 3904178 | 3603662 | 7477 1123 | 1 | 8 1605.21/1605.78 c 1536s | 24 | 3909156 | 3608162 | 7477 1124 | 1 | 8 1607.31/1607.80 c 1538s | 24 | 3913968 | 3612662 | 7477 1126 | 1 | 8 1609.31/1609.81 c 1540s | 24 | 3918312 | 3616762 | 7477 1127 | 1 | 8 1611.31/1611.83 c 1542s | 24 | 3922289 | 3620362 | 7477 1128 | 1 | 8 1613.41/1613.90 c 1544s | 24 | 3926319 | 3624162 | 7477 1128 | 1 | 8 1615.41/1615.92 c 1546s | 24 | 3930564 | 3628062 | 7477 1129 | 1 | 8 1617.41/1617.96 c 1548s | 24 | 3934895 | 3632062 | 7477 1130 | 1 | 8 1619.51/1620.00 c 1550s | 24 | 3938746 | 3635662 | 7477 1131 | 1 | 8 1621.51/1622.00 c 1552s | 24 | 3942734 | 3639362 | 7477 1132 | 1 | 8 1623.51/1624.01 c 1554s | 24 | 3947059 | 3643462 | 7477 1133 | 1 | 8 1625.51/1626.02 c 1556s | 24 | 3951213 | 3647462 | 7477 1134 | 1 | 8 1627.51/1628.07 c 1558s | 24 | 3955591 | 3651662 | 7477 1135 | 1 | 8 1629.60/1630.12 c 1560s | 24 | 3959489 | 3655262 | 7477 1136 | 1 | 8 1631.60/1632.18 c 1562s | 24 | 3963205 | 3658762 | 7477 1137 | 1 | 8 1633.70/1634.25 c 1565s | 24 | 3966500 | 3661862 | 7477 1138 | 1 | 8 1635.70/1636.26 c 1567s | 24 | 3969557 | 3664762 | 7477 1139 | 1 | 8 1637.80/1638.32 c 1569s | 24 | 3972133 | 3667262 | 7477 1139 | 1 | 8 1639.80/1640.36 c 1571s | 24 | 3975377 | 3670362 | 7477 1140 | 1 | 8 1641.81/1642.39 c 1573s | 24 | 3978470 | 3673262 | 7477 1141 | 1 | 8 1643.90/1644.42 c 1575s | 24 | 3981626 | 3676162 | 7477 1142 | 1 | 8 1645.90/1646.44 c 1577s | 24 | 3984787 | 3679062 | 7477 1142 | 1 | 8 1647.90/1648.46 c 1579s | 24 | 3988438 | 3682562 | 7477 1143 | 1 | 8 1649.90/1650.49 c 1581s | 24 | 3992105 | 3685962 | 7477 1144 | 1 | 8 1652.00/1652.56 c 1583s | 24 | 3995764 | 3689462 | 7477 1145 | 1 | 8 1654.01/1654.58 c 1585s | 24 | 3998821 | 3692262 | 7477 1146 | 1 | 8 1656.00/1656.60 c 1587s | 24 | 4002526 | 3695862 | 7477 1147 | 1 | 8 1658.10/1658.65 c 1589s | 24 | 4006211 | 3699362 | 7477 1148 | 1 | 8 1660.10/1660.65 c 1591s | 24 | 4009628 | 3702562 | 7477 1148 | 1 | 8 1662.20/1662.71 c 1593s | 24 | 4013430 | 3706062 | 7477 1149 | 1 | 8 1664.20/1664.75 c 1595s | 24 | 4016828 | 3709062 | 7477 1150 | 1 | 8 1666.20/1666.78 c 1597s | 24 | 4020218 | 3712162 | 7477 1151 | 1 | 8 1668.20/1668.79 c 1599s | 24 | 4024040 | 3715762 | 7477 1152 | 1 | 8 1670.30/1670.87 c 1601s | 24 | 4027253 | 3718762 | 7477 1152 | 1 | 8 1672.30/1672.89 c 1603s | 24 | 4030239 | 3721562 | 7477 1153 | 1 | 8 1674.40/1674.97 c 1605s | 24 | 4033003 | 3724062 | 7477 1154 | 1 | 8 1676.50/1677.02 c 1607s | 24 | 4036132 | 3726862 | 7477 1154 | 1 | 8 1678.50/1679.04 c 1609s | 24 | 4039224 | 3729762 | 7477 1155 | 1 | 8 1680.50/1681.09 c 1611s | 24 | 4042265 | 3732662 | 7477 1156 | 1 | 8 1682.60/1683.11 c 1613s | 24 | 4044948 | 3735062 | 7477 1157 | 1 | 8 1684.59/1685.12 c 1615s | 24 | 4048135 | 3738062 | 7477 1157 | 1 | 8 1686.59/1687.17 c 1617s | 24 | 4051188 | 3740662 | 7477 1158 | 1 | 8 1688.69/1689.26 c 1620s | 24 | 4054558 | 3743662 | 7477 1159 | 1 | 8 1690.79/1691.32 c 1622s | 24 | 4057257 | 3745862 | 7477 1159 | 1 | 8 1692.79/1693.33 c 1624s | 24 | 4060238 | 3748562 | 7477 1160 | 1 | 8 1694.79/1695.33 c 1626s | 24 | 4062948 | 3750962 | 7477 1161 | 1 | 8 1696.80/1697.34 c 1628s | 24 | 4065914 | 3753662 | 7477 1161 | 1 | 8 1698.79/1699.38 c 1630s | 24 | 4068567 | 3756162 | 7477 1162 | 1 | 8 1700.89/1701.41 c 1632s | 24 | 4071195 | 3758562 | 7477 1163 | 1 | 8 1702.99/1703.50 c 1634s | 24 | 4073877 | 3761162 | 7477 1163 | 1 | 8 1704.99/1705.51 c 1636s | 24 | 4076404 | 3763362 | 7477 1164 | 1 | 8 1706.99/1707.56 c 1638s | 24 | 4078791 | 3765562 | 7477 1164 | 1 | 8 1709.09/1709.61 c 1640s | 24 | 4083293 | 3769862 | 7477 1165 | 1 | 8 1711.10/1711.65 c 1642s | 24 | 4086572 | 3772962 | 7477 1166 | 1 | 8 1713.09/1713.68 c 1644s | 24 | 4089337 | 3775562 | 7477 1167 | 1 | 8 1715.19/1715.73 c 1646s | 24 | 4092314 | 3778162 | 7477 1168 | 1 | 8 1717.19/1717.73 c 1648s | 24 | 4096002 | 3781662 | 7477 1168 | 1 | 8 1719.29/1719.81 c 1650s | 24 | 4099155 | 3784662 | 7477 1169 | 1 | 8 1721.29/1721.84 c 1652s | 24 | 4102519 | 3787762 | 7477 1170 | 1 | 8 1723.29/1723.87 c 1654s | 24 | 4106705 | 3791762 | 7477 1171 | 1 | 8 1725.29/1725.90 c 1656s | 24 | 4110587 | 3795562 | 7477 1172 | 1 | 8 1727.39/1727.93 c 1658s | 24 | 4114902 | 3799762 | 7477 1173 | 1 | 8 1729.39/1729.97 c 1660s | 24 | 4118996 | 3803462 | 7477 1174 | 1 | 8 1731.49/1732.00 c 1662s | 24 | 4122308 | 3806562 | 7477 1175 | 1 | 8 1733.49/1734.03 c 1664s | 24 | 4125514 | 3809462 | 7477 1176 | 1 | 8 1735.49/1736.05 c 1666s | 24 | 4129493 | 3813262 | 7477 1176 | 1 | 8 1737.50/1738.10 c 1668s | 24 | 4133243 | 3816562 | 7477 1177 | 1 | 8 1739.59/1740.11 c 1670s | 24 | 4136852 | 3819662 | 7477 1178 | 1 | 8 1741.59/1742.11 c 1672s | 24 | 4140457 | 3823062 | 7477 1179 | 1 | 8 1743.59/1744.16 c 1674s | 24 | 4144371 | 3826562 | 7477 1180 | 1 | 8 1745.69/1746.20 c 1677s | 24 | 4148631 | 3830562 | 7477 1181 | 1 | 8 1747.69/1748.22 c 1679s | 24 | 4152606 | 3834362 | 7477 1182 | 1 | 8 1749.70/1750.25 c 1681s | 24 | 4156762 | 3838162 | 7477 1183 | 1 | 8 1751.69/1752.28 c 1683s | 24 | 4161609 | 3842762 | 7477 1184 | 1 | 8 1753.79/1754.30 c 1685s | 24 | 4165555 | 3846462 | 7477 1185 | 1 | 8 1755.79/1756.30 c 1687s | 24 | 4169909 | 3850662 | 7477 1186 | 1 | 8 1757.79/1758.34 c 1689s | 24 | 4174588 | 3855262 | 7477 1187 | 1 | 8 1759.79/1760.39 c 1691s | 24 | 4178665 | 3859262 | 7477 1188 | 1 | 8 1761.89/1762.45 c 1693s | 24 | 4183208 | 3863662 | 7477 1189 | 1 | 8 1763.89/1764.46 c 1695s | 24 | 4186891 | 3867162 | 7477 1190 | 1 | 8 1765.89/1766.49 c 1697s | 24 | 4191429 | 3871662 | 7477 1191 | 1 | 8 1767.99/1768.50 c 1699s | 24 | 4195445 | 3875562 | 7477 1192 | 1 | 8 1769.98/1770.52 c 1701s | 24 | 4200445 | 3880462 | 7477 1194 | 1 | 8 1771.98/1772.52 c 1703s | 24 | 4205233 | 3884862 | 7477 1195 | 1 | 8 1774.08/1774.61 c 1705s | 24 | 4208894 | 3888462 | 7477 1196 | 1 | 8 1776.09/1776.63 c 1707s | 24 | 4212826 | 3892062 | 7477 1197 | 1 | 8 1778.08/1778.64 c 1709s | 24 | 4217427 | 3896362 | 7477 1198 | 1 | 8 1780.08/1780.64 c 1711s | 24 | 4221501 | 3900162 | 7477 1199 | 1 | 8 1782.08/1782.65 c 1713s | 24 | 4225445 | 3903962 | 7477 1200 | 1 | 8 1784.08/1784.69 c 1715s | 24 | 4230242 | 3908162 | 7477 1201 | 1 | 8 1786.28/1786.82 c 1717s | 24 | 4233905 | 3911662 | 7477 1202 | 1 | 8 1788.28/1788.88 c 1719s | 24 | 4237444 | 3915162 | 7477 1202 | 1 | 8 1790.39/1790.92 c 1721s | 24 | 4241273 | 3918862 | 7477 1203 | 1 | 8 1792.38/1792.93 c 1723s | 24 | 4245746 | 3922662 | 7477 1204 | 1 | 8 1794.38/1794.94 c 1725s | 24 | 4250135 | 3926862 | 7477 1205 | 1 | 8 1796.38/1796.97 c 1727s | 24 | 4254261 | 3930362 | 7477 1206 | 1 | 8 1798.38/1798.99 c 1729s | 24 | 4258433 | 3934362 | 7477 1207 | 1 | 8
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-4106328-1466269499/watcher-4106328-1466269499 -o /tmp/evaluation-result-4106328-1466269499/solver-4106328-1466269499 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106328-1466269499.opb pid=8503 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.23 2.17 2.10 4/179 8506 /proc/meminfo: memFree=30111428/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=629316 CPUtime=0 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 2332 0 0 0 0 0 0 0 20 0 4 0 28995294 644419584 2183 33554432000 4194304 16246674 140735462708992 140735462707928 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 157841 2192 442 2943 0 154735 0 [pid=8506/tid=8507] ppid=8503 vsize=646724 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 662245376 2254 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=651844 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 667488256 2271 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=655940 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28995294 671682560 2287 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.23 2.17 2.10 4/179 8506 /proc/meminfo: memFree=30111428/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 22487 0 0 0 6 3 0 0 20 0 4 0 28995294 1247350784 22326 33554432000 4194304 16246674 140735462708992 140735462707928 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 304529 22329 759 2943 0 301423 0 [pid=8506/tid=8507] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 22332 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 22337 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 22340 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200504 s] /proc/loadavg: 2.23 2.17 2.10 4/179 8506 /proc/meminfo: memFree=30111428/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 39787 0 0 0 14 5 0 0 20 0 4 0 28995294 1247350784 39625 33554432000 4194304 16246674 140735462708992 140735462707928 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 304529 39633 759 2943 0 301423 0 [pid=8506/tid=8507] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 39637 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 39640 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 39645 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300489 s] /proc/loadavg: 2.23 2.17 2.10 4/179 8506 /proc/meminfo: memFree=30111428/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 57401 0 0 0 21 8 0 0 20 0 4 0 28995294 1247350784 57240 33554432000 4194304 16246674 140735462708992 140735462707928 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 304529 57247 759 2943 0 301423 0 [pid=8506/tid=8507] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 57251 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 57255 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 57261 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700408 s] /proc/loadavg: 2.23 2.17 2.10 4/179 8506 /proc/meminfo: memFree=30111428/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 128796 0 0 0 51 18 0 0 20 0 4 0 28995294 1247350784 128634 33554432000 4194304 16246674 140735462708992 140735462707928 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 304529 128643 766 2943 0 301423 0 [pid=8506/tid=8507] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 128648 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 128654 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28995294 1247350784 128660 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.21 2.17 2.10 3/183 8510 /proc/meminfo: memFree=29305372/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 246126 0 0 0 116 33 0 0 20 0 4 0 28995294 1250496512 245941 33554432000 4194304 16246674 140735462708992 140735462708304 5829752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 305297 245941 832 2943 0 302191 0 [pid=8506/tid=8507] ppid=8503 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1250496512 245941 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1250496512 245941 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1250496512 245941 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.1004 s] /proc/loadavg: 2.21 2.17 2.10 3/183 8510 /proc/meminfo: memFree=29128548/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1302084 CPUtime=3.09 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 266379 0 0 0 274 35 0 0 20 0 4 0 28995294 1333334016 266194 33554432000 4194304 16246674 140735462708992 140735462690880 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 325521 266194 832 2943 0 322415 0 [pid=8506/tid=8507] ppid=8503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1333334016 266194 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1333334016 266194 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1333334016 266194 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30042 s] /proc/loadavg: 2.20 2.17 2.10 3/183 8510 /proc/meminfo: memFree=29042004/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1307204 CPUtime=6.28 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 267866 0 0 0 593 35 0 0 20 0 4 0 28995294 1338576896 267681 33554432000 4194304 16246674 140735462708992 140735462690880 12483183 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 326801 267681 836 2943 0 323695 0 [pid=8506/tid=8507] ppid=8503 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1338576896 267681 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1338576896 267681 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1338576896 267681 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.18 2.17 2.10 3/183 8510 /proc/meminfo: memFree=29039192/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1309252 CPUtime=12.69 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 268397 0 0 0 1233 36 0 0 20 0 4 0 28995294 1340674048 268212 33554432000 4194304 16246674 140735462708992 140735462690880 5600486 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 327313 268212 836 2943 0 324207 0 [pid=8506/tid=8507] ppid=8503 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1340674048 268212 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1340674048 268212 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1340674048 268212 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 2.14 2.16 2.10 3/183 8510 /proc/meminfo: memFree=29038124/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1310276 CPUtime=25.48 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 268654 0 0 0 2512 36 0 0 20 0 4 0 28995294 1341722624 268469 33554432000 4194304 16246674 140735462708992 140735462690880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 327569 268469 837 2943 0 324463 0 [pid=8506/tid=8507] ppid=8503 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1341722624 268469 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1341722624 268469 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1341722624 268469 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.15 2.16 2.10 3/183 8510 /proc/meminfo: memFree=29027804/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 270190 0 0 0 5071 37 0 0 20 0 4 0 28995294 1348014080 270005 33554432000 4194304 16246674 140735462708992 140735462690880 5722002 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 329105 270005 837 2943 0 325999 0 [pid=8506/tid=8507] ppid=8503 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1348014080 270005 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1348014080 270005 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1348014080 270005 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.301 s] /proc/loadavg: 2.12 2.15 2.09 3/183 8511 /proc/meminfo: memFree=29020360/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1323588 CPUtime=102.28 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 272000 0 0 0 10190 38 0 0 20 0 4 0 28995294 1355354112 271815 33554432000 4194304 16246674 140735462708992 140735462690880 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 330897 271815 855 2943 0 327791 0 [pid=8506/tid=8507] ppid=8503 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1355354112 271815 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1355354112 271815 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1355354112 271815 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1330756 [startup+1302.3 s] /proc/loadavg: 2.32 2.19 2.11 3/183 8589 /proc/meminfo: memFree=29018388/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1301.85 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 130137 48 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5823674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1330756 [startup+1362.3 s] /proc/loadavg: 2.17 2.17 2.10 3/183 8590 /proc/meminfo: memFree=29018432/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1361.85 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 136136 49 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.24 2.18 2.11 3/183 8592 /proc/meminfo: memFree=29018468/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1421.85 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 142135 50 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.28 2.20 2.12 3/183 8593 /proc/meminfo: memFree=29017944/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1481.83 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 148133 50 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5712760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.19 2.19 2.12 3/184 8597 /proc/meminfo: memFree=29017764/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1541.82 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 154132 50 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1330756 [startup+1602.3 s] /proc/loadavg: 2.11 2.17 2.11 3/183 8598 /proc/meminfo: memFree=29016800/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1601.81 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 160130 51 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.14 2.17 2.11 3/183 8697 /proc/meminfo: memFree=29022228/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1661.8 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 166129 51 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5711552 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1330756 [startup+1722.3 s] /proc/loadavg: 2.16 2.16 2.11 3/183 8699 /proc/meminfo: memFree=29015264/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1721.79 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 172128 51 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1330756 [startup+1782.3 s] /proc/loadavg: 2.17 2.16 2.11 3/183 8700 /proc/meminfo: memFree=29009848/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1781.78 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 178126 52 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 5546190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1330756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.20 2.17 2.11 3/183 8700 /proc/meminfo: memFree=29010192/32872528 swapFree=496868/529572 [pid=8506] ppid=8503 vsize=1330756 CPUtime=1800.08 cores=1,3,5,7 /proc/8506/stat : 8506 (toysat) R 8503 8506 7739 0 -1 4202496 274193 0 0 0 179956 52 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140735462690880 6021024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8506/statm: 332689 273864 856 2943 0 329583 0 [pid=8506/tid=8507] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8507/stat : 8507 (toysat) S 8503 8506 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032812756208 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8506/tid=8508] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8508/stat : 8508 (toysat) S 8503 8506 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032802266352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8506/tid=8509] ppid=8503 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/8506/task/8509/stat : 8509 (toysat) S 8503 8506 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28995294 1362694144 273864 33554432000 4194304 16246674 140735462708992 140032791792816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1330756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 8506 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.57 CPU system time (s): 0.52492 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1330756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.52492 maximum resident set size= 1095456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274193 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= 413 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5833 second user time and 6.94494 second system time The end
Begin job on node141 at 2016-06-18 19:04:59 IDJOB=4106328 IDBENCH=48020 IDSOLVER=2542 FILE ID=node141/4106328-1466269499 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106328-1466269499/watcher-4106328-1466269499 -o /tmp/evaluation-result-4106328-1466269499/solver-4106328-1466269499 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106328-1466269499.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6d214cc283b484f5cca285d86c4d8bb RANDOM SEED=2110801535 node141.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.547 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.09 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.547 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.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.547 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.56 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.547 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.547 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.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30111692 kB Buffers: 148344 kB Cached: 255108 kB SwapCached: 2528 kB Active: 1224876 kB Inactive: 263456 kB Active(anon): 1085116 kB Inactive(anon): 2028 kB Active(file): 139760 kB Inactive(file): 261428 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 1612820 kB Mapped: 10532 kB Shmem: 0 kB Slab: 609892 kB SReclaimable: 53312 kB SUnreclaim: 556580 kB KernelStack: 1464 kB PageTables: 7164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1754488 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 36864 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= 71696 MiB End job on node141 at 2016-06-18 19:34:59