| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb |
| MD5SUM | 9de8f37e65dc0eaf693e157cab5aa725 |
| 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.160974 |
| 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 | 189 |
| Total number of constraints | 15 |
| 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 | 15 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
0.00/0.00 c 2016-06-18T19:01:21+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-4106313-1466269281.opb"] 0.00/0.01 c use --random-gen="1930336023 3504233922 401590546 2322614954 287482236 2515645872 2381794562 3964149142 616080493 1972327600 1331216284 2979227197 4285705063 3291189276 480563714 3185045008 101756663 572108761 2163568083 2705212784 3083448267 1899569437 1295654831 3769887239 3005942272 2073388530 3470216386 4052813287 3628218553 667941135 2018930155 1787385608 2804667908 2207402179 1830483662 342575399 2206251463 3478456075 2668782630 3324472005 310519063 1920520470 986766371 2214393126 3934021891 241205542 530611476 2980732380 2205510276 1290940399 1694253048 1645407047 1143155053 1928157432 1998545539 686972894 3810720717 1481039422 1663487090 2129606001 1960698154 3167405489 4257011282 4265625804 333637842 1147098845 3237471427 1432700467 3437133989 1456826118 957346629 274022521 2834885611 3848676832 3222344447 2388391289 1993885006 3344576387 1522988878 273917357 780169579 447021618 1913768793 2223899142 3371868337 2567443856 2626275838 2675487586 599257939 1818608541 1949004076 4224203154 225318827 2276286857 4288455282 3086521924 3983895604 4143913500 3717148960 2836512428 2675545755 3284734623 1816866351 973500024 4091113840 13054812 4163950937 3727752181 2513346991 2760586191 1842510816 3507280014 1339968295 117216037 1502911161 1600463652 1249613008 3796421144 1407831122 4259681001 2809346922 3783235659 472262613 550756688 4021337564 3760371093 3454248548 3649585751 1804081320 2261077688 2666120666 1698656884 4009014704 3449781282 334759222 2024065318 3831192363 3113464402 3958552209 1379424447 968968597 3990826932 983792877 2101007035 1909552533 2805429461 1803643888 2364894562 3683622789 1510207074 246230256 227245706 914894649 1560185565 3497608996 1796135539 3147004254 364426954 2556691082 2048195784 312564949 1908003987 4049241199 2097780309 2862930853 3896064338 1671794994 2010987389 882180224 341991966 820383416 2772870110 2625346022 2351561968 3217785330 2031080821 4081841933 218967523 646898943 1474876575 652948349 1934347218 1362702151 1517032129 1997585703 3553681212 1817179840 1972527976 3933223785 3105412180 2069029969 796300984 578959609 614997549 3227086361 194635070 197306251 3280778401 1676182957 868231076 3379628008 2100171351 2873965338 2736711040 2762174687 3796785262 4091200851 330116052 2001889805 2537129081 3054219121 1715572078 795295157 2559867251 1605224292 2899531932 2442808579 2474398754 693687399 3680366498 1470173046 766120781 2771871028 1702692977 3933394175 3547810247 2392556028 3678200493 4290377433 4072474351 3611897292 3931906689 1149725596 1380453078 30769789 1632528615 3139193374 1893628279 3009642914 1739367612 1737101150 2357481112 2030005410 1944439555 1080017814 2136196616 3736677031 820285078 1632906819 1877605713 3597415906 3536736207 972147409 3141599412 1160396129 3010624745 255 362436" option to reproduce the execution 0.00/0.01 c #vars 189 0.00/0.01 c #constraints 15 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 | 826 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 112 | 100 | 826 0 | 0 | 0 0.08/0.10 c 0.1s | 2 | 286 | 250 | 909 0 | 0 | 0 0.08/0.16 c 0.1s | 3 | 522 | 475 | 1000 0 | 0 | 0 0.19/0.25 c 0.2s | 4 | 904 | 813 | 1100 0 | 0 | 0 0.29/0.37 c 0.3s | 5 | 1530 | 1320 | 1210 0 | 0 | 0 0.59/0.60 c 0.6s | 6 | 2434 | 2081 | 1465 1 | 0 | 0 1.89/1.95 c 1.9s | 7 | 3706 | 3223 | 1612 2 | 0 | 0 2.38/2.49 c 2.5s | 8 | 6070 | 4936 | 1774 4 | 0 | 0 3.19/3.21 c 3.2s | 9 | 8873 | 7506 | 1952 6 | 0 | 0 4.50/4.55 c 4.5s | 10 | 13117 | 11361 | 2148 9 | 0 | 0 5.29/5.33 c 5.3s | 10 | 16381 | 14426 | 2148 12 | 0 | 0 5.29/5.33 c #cpu_time = 5.285s 5.29/5.33 c #wall_clock_time = 5.299s 5.29/5.33 c #decision = 16381 5.29/5.33 c #random_decision = 67 5.29/5.33 c #conflict = 14426 5.29/5.33 c #restart = 10 5.29/5.33 o 451 5.29/5.33 c BCD2: updating upper bound: 511 -> 450 5.29/5.33 c BCD2: 0 <= obj <= 450 5.29/5.33 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 5.29/5.33 c BCD2: #sat=1 #unsat=1 bias=1/2 5.29/5.33 c Solving starts ... 5.29/5.33 c ============================[ Search Statistics ]============================ 5.29/5.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.33 c | | | | Limit GC | Var | Constra 5.29/5.33 c ============================================================================= 5.29/5.33 c 0.0s | 0 | 0 | 0 | 2148 0 | 0 | 0 5.29/5.34 c 0.0s | 0 | 7 | 0 | 2148 0 | 0 | 0 5.29/5.34 c #cpu_time = 0.007s 5.29/5.34 c #wall_clock_time = 0.007s 5.29/5.34 c #decision = 7 5.29/5.34 c #random_decision = 0 5.29/5.34 c #conflict = 0 5.29/5.34 c #restart = 0 5.29/5.34 c BCD2: found a new core of size 8: cost of the new core is >=2 5.29/5.34 c lower bound updated to 2 5.29/5.34 c BCD2: 2 <= obj <= 450 5.29/5.34 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 5.29/5.34 c BCD2: #sat=1 #unsat=2 bias=2/3 5.29/5.34 c Solving starts ... 5.29/5.34 c ============================[ Search Statistics ]============================ 5.29/5.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.34 c | | | | Limit GC | Var | Constra 5.29/5.34 c ============================================================================= 5.29/5.34 c 0.0s | 0 | 0 | 0 | 2148 0 | 0 | 0 5.29/5.37 c 0.0s | 1 | 190 | 100 | 2148 0 | 0 | 0 5.50/5.58 c 0.2s | 2 | 402 | 250 | 2148 0 | 0 | 0 5.69/5.72 c 0.4s | 3 | 769 | 475 | 2148 0 | 0 | 0 5.79/5.80 c 0.5s | 4 | 1159 | 813 | 2148 1 | 0 | 0 5.99/6.02 c 0.7s | 5 | 1804 | 1320 | 2148 1 | 0 | 0 6.19/6.24 c 0.9s | 6 | 2704 | 2081 | 2148 1 | 0 | 0 6.99/7.09 c 1.8s | 7 | 3954 | 3223 | 2363 2 | 0 | 0 7.49/7.51 c 2.2s | 8 | 5790 | 4936 | 2363 4 | 0 | 0 8.29/8.35 c 3.0s | 9 | 8655 | 7506 | 2363 6 | 0 | 0 9.59/9.68 c 4.3s | 10 | 13000 | 11361 | 2600 8 | 0 | 0 11.69/11.74 c 6.4s | 10 | 18725 | 16661 | 2600 11 | 0 | 0 12.19/12.25 c 6.9s | 11 | 19219 | 17144 | 2600 12 | 0 | 0 14.19/14.26 c 8.9s | 11 | 26133 | 23444 | 2600 16 | 0 | 0 14.99/15.06 c 9.7s | 12 | 28566 | 25819 | 2861 17 | 0 | 0 16.98/17.07 c 11.7s | 12 | 34394 | 31219 | 2861 21 | 0 | 0 19.08/19.10 c 13.8s | 12 | 41160 | 37719 | 2861 25 | 0 | 0 19.38/19.47 c 14.1s | 13 | 42433 | 38832 | 2861 25 | 0 | 0 21.39/21.48 c 16.1s | 13 | 48823 | 44732 | 3148 29 | 0 | 0 23.39/23.48 c 18.1s | 13 | 55850 | 51532 | 3148 32 | 0 | 0 25.49/25.50 c 20.2s | 13 | 61799 | 57432 | 3148 36 | 0 | 0 25.79/25.83 c 20.5s | 14 | 62740 | 58352 | 3148 36 | 0 | 0 27.79/27.85 c 22.5s | 14 | 64473 | 59952 | 3148 37 | 0 | 0 29.89/29.91 c 24.6s | 14 | 67532 | 62752 | 3148 38 | 0 | 0 31.90/31.96 c 26.6s | 14 | 71006 | 66152 | 3148 40 | 0 | 0 33.89/33.98 c 28.6s | 14 | 74978 | 70052 | 3148 42 | 0 | 0 35.89/35.99 c 30.7s | 14 | 78926 | 73752 | 3463 44 | 0 | 0 37.99/38.00 c 32.7s | 14 | 82902 | 77652 | 3463 46 | 0 | 0 39.98/40.05 c 34.7s | 14 | 87100 | 81752 | 3463 48 | 0 | 0 41.98/42.09 c 36.8s | 14 | 90895 | 85452 | 3463 49 | 0 | 0 42.99/43.04 c 37.7s | 15 | 93186 | 87632 | 3463 51 | 0 | 0 44.98/45.05 c 39.7s | 15 | 99176 | 93332 | 3463 54 | 0 | 0 46.98/47.05 c 41.7s | 15 | 104603 | 98532 | 3463 56 | 0 | 0 48.98/49.06 c 43.7s | 15 | 109687 | 103432 | 3463 59 | 0 | 0 50.98/51.09 c 45.8s | 15 | 114578 | 108132 | 3463 61 | 0 | 0 53.08/53.12 c 47.8s | 15 | 119150 | 112532 | 3463 63 | 0 | 0 55.09/55.12 c 49.8s | 15 | 123848 | 117032 | 3810 65 | 0 | 0 57.08/57.14 c 51.8s | 15 | 129087 | 122132 | 3810 68 | 0 | 0 59.08/59.15 c 53.8s | 15 | 134257 | 127132 | 3810 70 | 0 | 0 60.88/60.97 c 55.6s | 16 | 138897 | 131552 | 3810 72 | 0 | 0 62.88/62.99 c 57.7s | 16 | 146480 | 138952 | 3810 76 | 0 | 0 64.99/65.02 c 59.7s | 16 | 153400 | 145552 | 3810 79 | 0 | 0 66.98/67.06 c 61.7s | 16 | 160172 | 151952 | 3810 82 | 0 | 0 68.98/69.06 c 63.7s | 16 | 165974 | 157552 | 3810 85 | 0 | 0 71.08/71.10 c 65.8s | 16 | 171964 | 163352 | 3810 87 | 0 | 0 73.07/73.11 c 67.8s | 16 | 178323 | 169552 | 3810 90 | 0 | 0 75.07/75.12 c 69.8s | 16 | 184397 | 175352 | 3810 93 | 0 | 0 77.08/77.13 c 71.8s | 16 | 190249 | 180952 | 3810 95 | 0 | 0 79.07/79.17 c 73.8s | 16 | 196153 | 186652 | 4191 98 | 0 | 0 81.17/81.20 c 75.9s | 16 | 202160 | 192452 | 4191 100 | 0 | 0 83.07/83.11 c 77.8s | 17 | 207325 | 197432 | 4191 102 | 0 | 0 85.07/85.14 c 79.8s | 17 | 214088 | 204032 | 4191 106 | 0 | 0 87.07/87.16 c 81.8s | 17 | 220387 | 210232 | 4191 108 | 0 | 0 89.08/89.18 c 83.8s | 17 | 226624 | 216432 | 4191 111 | 0 | 0 91.18/91.20 c 85.9s | 17 | 232452 | 221832 | 4191 113 | 0 | 0 93.18/93.21 c 87.9s | 17 | 236575 | 225632 | 4191 115 | 0 | 0 95.18/95.25 c 89.9s | 17 | 241991 | 230932 | 4191 117 | 0 | 0 97.18/97.28 c 91.9s | 17 | 247646 | 236432 | 4191 119 | 0 | 0 99.18/99.29 c 94.0s | 17 | 253538 | 242132 | 4191 122 | 0 | 0 101.28/101.32 c 96.0s | 17 | 259494 | 247832 | 4191 124 | 0 | 0 103.28/103.33 c 98.0s | 17 | 264535 | 252632 | 4191 126 | 0 | 0 105.28/105.37 c 100s | 17 | 270163 | 258132 | 4191 129 | 0 | 0 107.27/107.39 c 102s | 17 | 276546 | 264232 | 4191 131 | 0 | 0 109.37/109.43 c 104s | 17 | 282150 | 269632 | 4191 133 | 0 | 0 111.37/111.44 c 106s | 17 | 287586 | 274932 | 4191 136 | 0 | 0 113.38/113.46 c 108s | 17 | 293181 | 280432 | 4611 138 | 0 | 0 115.37/115.48 c 110s | 17 | 298480 | 285632 | 4611 140 | 0 | 0 117.37/117.49 c 112s | 17 | 303364 | 290432 | 4611 142 | 0 | 0 119.47/119.50 c 114s | 17 | 308902 | 295832 | 4611 144 | 0 | 0 119.67/119.71 c 114s | 18 | 309331 | 296252 | 4611 144 | 0 | 0 121.67/121.75 c 116s | 18 | 315542 | 301952 | 4611 146 | 0 | 0 123.67/123.76 c 118s | 18 | 321516 | 307652 | 4611 148 | 0 | 0 125.67/125.77 c 120s | 18 | 327156 | 313052 | 4611 151 | 0 | 0 127.77/127.81 c 122s | 18 | 332113 | 317852 | 4611 153 | 0 | 0 129.78/129.83 c 124s | 18 | 338250 | 323752 | 4611 155 | 0 | 0 131.77/131.85 c 126s | 18 | 343819 | 329052 | 4611 157 | 0 | 0 133.77/133.87 c 128s | 18 | 348837 | 333952 | 4611 159 | 0 | 0 135.77/135.87 c 130s | 18 | 354202 | 339152 | 4611 161 | 0 | 0 137.76/137.88 c 132s | 18 | 360552 | 345252 | 4611 163 | 0 | 0 139.77/139.89 c 134s | 18 | 366412 | 350852 | 4611 166 | 0 | 0 141.87/141.90 c 136s | 18 | 372358 | 356552 | 4611 168 | 0 | 0 143.86/143.93 c 138s | 18 | 378244 | 362152 | 4611 170 | 0 | 0 145.86/145.94 c 140s | 18 | 383955 | 367552 | 4611 172 | 0 | 0 147.87/147.95 c 142s | 18 | 389478 | 372852 | 4611 174 | 0 | 0 149.87/149.98 c 144s | 18 | 395362 | 378452 | 4611 177 | 0 | 0 151.88/151.99 c 146s | 18 | 401271 | 383952 | 4611 179 | 0 | 0 153.98/154.02 c 148s | 18 | 407296 | 389652 | 4611 181 | 0 | 0 155.97/156.04 c 150s | 18 | 413058 | 395152 | 4611 183 | 0 | 0 157.97/158.07 c 152s | 18 | 419069 | 400752 | 4611 185 | 0 | 0 159.97/160.08 c 154s | 18 | 424880 | 406252 | 4611 188 | 0 | 0 161.97/162.08 c 156s | 18 | 430600 | 411752 | 4611 190 | 0 | 0 164.07/164.11 c 158s | 18 | 436165 | 417052 | 4611 192 | 0 | 0 166.07/166.12 c 160s | 18 | 441736 | 422452 | 4611 194 | 0 | 0 168.07/168.14 c 162s | 18 | 447602 | 428052 | 5073 196 | 0 | 0 170.07/170.15 c 164s | 18 | 453239 | 433552 | 5073 198 | 0 | 0 172.06/172.18 c 166s | 18 | 458241 | 438352 | 5073 200 | 0 | 0 174.06/174.19 c 168s | 18 | 463205 | 443052 | 5073 201 | 0 | 0 174.66/174.79 c 169s | 19 | 464649 | 444482 | 5073 202 | 0 | 0 176.76/176.80 c 171s | 19 | 471752 | 451282 | 5073 204 | 0 | 0 178.76/178.80 c 173s | 19 | 478238 | 457482 | 5073 207 | 0 | 0 180.76/180.82 c 175s | 19 | 484088 | 463182 | 5073 209 | 0 | 0 182.76/182.83 c 177s | 19 | 489238 | 468182 | 5073 210 | 0 | 0 184.77/184.84 c 179s | 19 | 495837 | 474582 | 5073 213 | 0 | 0 186.76/186.84 c 181s | 19 | 502557 | 481082 | 5073 215 | 0 | 0 188.76/188.88 c 183s | 19 | 508663 | 486982 | 5073 217 | 0 | 0 190.86/190.90 c 185s | 19 | 514505 | 492582 | 5073 219 | 0 | 0 192.86/192.93 c 187s | 19 | 519980 | 497882 | 5073 221 | 0 | 0 194.86/194.94 c 189s | 19 | 526247 | 503982 | 5073 223 | 0 | 0 196.86/196.98 c 191s | 19 | 532660 | 510182 | 5073 226 | 0 | 0 198.86/198.98 c 193s | 19 | 538345 | 515782 | 5073 228 | 0 | 0 200.96/201.00 c 195s | 19 | 544550 | 521782 | 5073 230 | 0 | 0 202.96/203.02 c 197s | 19 | 550065 | 527182 | 5073 232 | 0 | 0 204.96/205.03 c 199s | 19 | 555648 | 532582 | 5073 234 | 0 | 0 206.95/207.06 c 201s | 19 | 561042 | 537682 | 5073 235 | 0 | 0 208.96/209.09 c 203s | 19 | 566335 | 542882 | 5073 237 | 0 | 0 210.95/211.09 c 205s | 19 | 571316 | 547782 | 5073 239 | 0 | 0 213.05/213.12 c 207s | 19 | 577277 | 553582 | 5073 241 | 0 | 0 215.05/215.14 c 209s | 19 | 583076 | 559182 | 5073 243 | 0 | 0 217.05/217.17 c 211s | 19 | 588761 | 564782 | 5073 245 | 0 | 0 219.05/219.18 c 213s | 19 | 594167 | 570082 | 5073 247 | 0 | 0 221.16/221.23 c 215s | 19 | 599334 | 575182 | 5073 249 | 0 | 0 223.15/223.24 c 217s | 19 | 605275 | 580982 | 5073 251 | 0 | 0 225.15/225.24 c 219s | 19 | 610813 | 586382 | 5073 253 | 0 | 0 227.15/227.26 c 221s | 19 | 616547 | 591982 | 5073 255 | 0 | 0 229.15/229.27 c 223s | 19 | 622144 | 597382 | 5073 257 | 0 | 0 231.15/231.28 c 225s | 19 | 627648 | 602782 | 5073 259 | 0 | 0 233.15/233.29 c 227s | 19 | 633156 | 608182 | 5073 261 | 0 | 0 235.26/235.32 c 229s | 19 | 639010 | 613882 | 5073 263 | 0 | 0 237.26/237.32 c 231s | 19 | 644190 | 618982 | 5073 265 | 0 | 0 239.26/239.35 c 234s | 19 | 649591 | 624282 | 5073 267 | 0 | 0 241.25/241.39 c 236s | 19 | 655119 | 629582 | 5073 269 | 0 | 0 243.35/243.41 c 238s | 19 | 660822 | 635082 | 5073 271 | 0 | 0 245.36/245.44 c 240s | 19 | 666814 | 640882 | 5073 273 | 0 | 0 247.35/247.46 c 242s | 19 | 672466 | 646382 | 5073 275 | 0 | 0 249.35/249.47 c 244s | 19 | 677868 | 651682 | 5581 276 | 0 | 0 251.35/251.48 c 246s | 19 | 683648 | 657282 | 5581 278 | 0 | 0 253.45/253.50 c 248s | 19 | 688937 | 662482 | 5581 280 | 0 | 0 255.05/255.18 c 249s | 20 | 693407 | 666827 | 5581 281 | 0 | 0 257.15/257.20 c 251s | 20 | 698212 | 671127 | 5581 283 | 0 | 0 259.15/259.21 c 253s | 20 | 701900 | 674627 | 5581 284 | 0 | 0 261.14/261.23 c 255s | 20 | 705562 | 678127 | 5581 285 | 0 | 0 263.14/263.28 c 257s | 20 | 708249 | 680627 | 5581 286 | 0 | 0 265.24/265.33 c 259s | 20 | 713162 | 685427 | 5581 287 | 0 | 0 267.25/267.34 c 262s | 20 | 717458 | 689627 | 5581 289 | 0 | 0 269.24/269.35 c 264s | 20 | 721109 | 693127 | 5581 290 | 0 | 0 271.24/271.36 c 266s | 20 | 724416 | 696127 | 5581 291 | 0 | 0 273.24/273.36 c 268s | 20 | 728122 | 699727 | 5581 292 | 0 | 0 275.24/275.39 c 270s | 20 | 731727 | 702927 | 5581 293 | 0 | 0 277.24/277.39 c 272s | 20 | 736240 | 707327 | 5581 294 | 0 | 0 279.34/279.44 c 274s | 20 | 740358 | 711227 | 5581 295 | 0 | 0 281.34/281.46 c 276s | 20 | 744606 | 715327 | 5581 297 | 0 | 0 283.33/283.47 c 278s | 20 | 748801 | 719227 | 5581 298 | 0 | 0 285.33/285.49 c 280s | 20 | 752303 | 722627 | 5581 299 | 0 | 0 287.43/287.50 c 282s | 20 | 756870 | 726627 | 5581 300 | 0 | 0 289.43/289.50 c 284s | 20 | 761022 | 730627 | 5581 302 | 0 | 0 291.44/291.51 c 286s | 20 | 765672 | 735127 | 5581 303 | 0 | 0 293.53/293.62 c 288s | 20 | 770136 | 739527 | 5581 305 | 0 | 0 295.53/295.63 c 290s | 20 | 773343 | 742227 | 5581 305 | 0 | 0 297.53/297.68 c 292s | 20 | 777246 | 746027 | 5581 307 | 0 | 0 299.53/299.69 c 294s | 20 | 781552 | 750227 | 5581 308 | 0 | 0 301.63/301.74 c 296s | 20 | 784753 | 753227 | 5581 309 | 0 | 0 303.63/303.76 c 298s | 20 | 787665 | 755627 | 5581 310 | 0 | 0 305.63/305.78 c 300s | 20 | 790349 | 757627 | 5581 310 | 0 | 0 307.73/307.82 c 302s | 20 | 794242 | 760427 | 5581 311 | 0 | 0 309.82/309.90 c 304s | 20 | 796245 | 762127 | 5581 312 | 0 | 0 311.82/311.97 c 306s | 20 | 800032 | 764927 | 5581 313 | 0 | 0 313.82/313.98 c 308s | 20 | 805227 | 768527 | 5581 314 | 0 | 0 315.82/315.99 c 310s | 20 | 810231 | 773427 | 5581 315 | 0 | 0 317.93/318.02 c 312s | 20 | 815060 | 778127 | 5581 317 | 0 | 0 319.92/320.08 c 314s | 20 | 819763 | 782627 | 5581 318 | 0 | 0 321.92/322.09 c 316s | 20 | 824331 | 786727 | 5581 320 | 0 | 0 324.02/324.11 c 318s | 20 | 828590 | 790927 | 5581 321 | 0 | 0 326.02/326.13 c 320s | 20 | 833189 | 795427 | 5581 322 | 0 | 0 328.02/328.17 c 322s | 20 | 837868 | 799827 | 5581 324 | 0 | 0 330.03/330.19 c 324s | 20 | 842093 | 803427 | 5581 325 | 0 | 0 332.13/332.24 c 326s | 20 | 846875 | 807927 | 5581 326 | 0 | 0 334.13/334.24 c 328s | 20 | 851645 | 812527 | 5581 328 | 0 | 0 336.12/336.24 c 330s | 20 | 856387 | 817127 | 5581 329 | 0 | 0 338.12/338.28 c 332s | 20 | 861426 | 821927 | 5581 331 | 0 | 0 340.22/340.30 c 334s | 20 | 865850 | 826227 | 5581 332 | 0 | 0 342.22/342.31 c 336s | 20 | 869598 | 829727 | 5581 333 | 0 | 0 344.23/344.34 c 339s | 20 | 874587 | 834627 | 5581 335 | 0 | 0 346.22/346.39 c 341s | 20 | 879346 | 839327 | 5581 337 | 0 | 0 348.32/348.41 c 343s | 20 | 883708 | 843627 | 5581 338 | 0 | 0 350.32/350.45 c 345s | 20 | 888391 | 848227 | 5581 339 | 0 | 0 352.32/352.48 c 347s | 20 | 892833 | 852627 | 5581 341 | 0 | 0 354.42/354.52 c 349s | 20 | 897559 | 857327 | 5581 342 | 0 | 0 356.42/356.53 c 351s | 20 | 900940 | 860627 | 5581 343 | 0 | 0 358.41/358.54 c 353s | 20 | 905712 | 865327 | 5581 345 | 0 | 0 360.41/360.55 c 355s | 20 | 910828 | 870327 | 5581 346 | 0 | 0 362.41/362.57 c 357s | 20 | 915520 | 874927 | 5581 348 | 0 | 0 364.41/364.57 c 359s | 20 | 920941 | 880227 | 5581 350 | 0 | 0 366.41/366.59 c 361s | 20 | 925466 | 884427 | 5581 351 | 0 | 0 368.42/368.60 c 363s | 20 | 930211 | 889027 | 5581 352 | 0 | 0 370.51/370.61 c 365s | 20 | 934606 | 893227 | 5581 354 | 0 | 0 372.51/372.68 c 367s | 20 | 939101 | 897627 | 5581 355 | 0 | 0 374.51/374.69 c 369s | 20 | 943485 | 901427 | 5581 356 | 0 | 0 376.61/376.76 c 371s | 20 | 948148 | 904727 | 5581 358 | 0 | 0 378.61/378.78 c 373s | 20 | 953492 | 909727 | 5581 359 | 0 | 0 380.61/380.78 c 375s | 20 | 958288 | 914427 | 5581 361 | 0 | 0 382.71/382.81 c 377s | 20 | 961960 | 917727 | 5581 362 | 0 | 0 384.71/384.82 c 379s | 20 | 966109 | 921627 | 5581 363 | 0 | 0 386.71/386.86 c 381s | 20 | 970209 | 925527 | 5581 364 | 0 | 0 388.70/388.87 c 383s | 20 | 974785 | 929527 | 5581 365 | 0 | 0 390.80/390.91 c 385s | 20 | 979359 | 934027 | 5581 367 | 0 | 0 392.80/392.94 c 387s | 20 | 983930 | 938027 | 5581 368 | 0 | 0 394.81/394.94 c 389s | 20 | 987596 | 941027 | 5581 369 | 0 | 0 396.80/396.95 c 391s | 20 | 991130 | 944427 | 5581 370 | 0 | 0 398.80/398.96 c 393s | 20 | 996055 | 949227 | 5581 372 | 0 | 0 400.80/400.99 c 395s | 20 | 1000448 | 953527 | 5581 373 | 0 | 0 402.90/403.04 c 397s | 20 | 1004725 | 957627 | 5581 375 | 0 | 0 404.90/405.09 c 399s | 20 | 1009818 | 962427 | 5581 376 | 0 | 0 407.00/407.13 c 401s | 20 | 1014827 | 967027 | 5581 378 | 0 | 0 408.99/409.19 c 403s | 20 | 1019681 | 971527 | 5581 379 | 0 | 0 411.09/411.20 c 405s | 20 | 1024229 | 975827 | 5581 380 | 0 | 0 413.09/413.23 c 407s | 20 | 1028623 | 980127 | 6140 382 | 0 | 0 415.09/415.24 c 409s | 20 | 1033854 | 985327 | 6140 383 | 0 | 0 417.09/417.29 c 411s | 20 | 1038875 | 990127 | 6140 384 | 0 | 0 419.19/419.33 c 413s | 20 | 1043060 | 994127 | 6140 386 | 0 | 0 421.19/421.33 c 415s | 20 | 1047139 | 998027 | 6140 387 | 0 | 0 422.29/422.42 c 417s | 21 | 1049883 | 1000345 | 6140 387 | 0 | 0 424.28/424.42 c 419s | 21 | 1057839 | 1007945 | 6140 390 | 0 | 0 426.28/426.43 c 421s | 21 | 1062941 | 1012845 | 6140 391 | 0 | 0 428.28/428.44 c 423s | 21 | 1068249 | 1017945 | 6140 393 | 0 | 0 430.28/430.48 c 425s | 21 | 1073352 | 1022845 | 6140 394 | 0 | 0 432.29/432.48 c 427s | 21 | 1078933 | 1028145 | 6140 396 | 0 | 0 434.39/434.51 c 429s | 21 | 1084096 | 1033145 | 6140 397 | 0 | 0 436.38/436.51 c 431s | 21 | 1089389 | 1038245 | 6140 399 | 0 | 0 438.38/438.52 c 433s | 21 | 1094807 | 1043445 | 6140 400 | 0 | 0 440.37/440.53 c 435s | 21 | 1100120 | 1048545 | 6140 402 | 0 | 0 442.37/442.55 c 437s | 21 | 1105877 | 1054145 | 6140 404 | 0 | 0 444.38/444.57 c 439s | 21 | 1110967 | 1059045 | 6140 405 | 0 | 0 446.48/446.65 c 441s | 21 | 1116259 | 1064145 | 6140 407 | 0 | 0 448.47/448.66 c 443s | 21 | 1121888 | 1069645 | 6140 408 | 0 | 0 450.48/450.69 c 445s | 21 | 1127320 | 1074845 | 6140 410 | 0 | 0 452.58/452.71 c 447s | 21 | 1132278 | 1079545 | 6140 411 | 0 | 0 454.58/454.72 c 449s | 21 | 1137597 | 1084645 | 6140 413 | 0 | 0 456.58/456.73 c 451s | 21 | 1142682 | 1089445 | 6140 414 | 0 | 0 458.58/458.75 c 453s | 21 | 1148658 | 1095245 | 6140 416 | 0 | 0 460.58/460.78 c 455s | 21 | 1153658 | 1099945 | 6140 417 | 0 | 0 462.67/462.80 c 457s | 21 | 1159065 | 1105145 | 6140 419 | 0 | 0 464.67/464.81 c 459s | 21 | 1164178 | 1110045 | 6140 420 | 0 | 0 466.67/466.84 c 461s | 21 | 1168761 | 1114345 | 6140 421 | 0 | 0 468.67/468.88 c 463s | 21 | 1173997 | 1119145 | 6140 423 | 0 | 0 470.78/470.91 c 465s | 21 | 1179093 | 1124145 | 6140 424 | 0 | 0 472.77/472.95 c 467s | 21 | 1184554 | 1129345 | 6140 426 | 0 | 0 474.77/474.98 c 469s | 21 | 1189897 | 1134545 | 6140 427 | 0 | 0 476.87/477.01 c 471s | 21 | 1194906 | 1139445 | 6140 429 | 0 | 0 478.87/479.04 c 473s | 21 | 1200193 | 1144545 | 6140 430 | 0 | 0 480.87/481.07 c 475s | 21 | 1205556 | 1149745 | 6140 432 | 0 | 0 482.97/483.10 c 477s | 21 | 1210664 | 1154745 | 6140 433 | 0 | 0 484.97/485.12 c 479s | 21 | 1216072 | 1159945 | 6140 435 | 0 | 0 486.97/487.12 c 481s | 21 | 1221495 | 1165245 | 6140 437 | 0 | 0 488.97/489.16 c 483s | 21 | 1226708 | 1170345 | 6140 438 | 0 | 0 490.96/491.17 c 485s | 21 | 1231862 | 1175345 | 6140 440 | 0 | 0 492.96/493.19 c 487s | 21 | 1237337 | 1180645 | 6140 441 | 0 | 0 495.06/495.25 c 489s | 21 | 1242335 | 1185545 | 6140 443 | 0 | 0 497.07/497.27 c 491s | 21 | 1247654 | 1190745 | 6140 444 | 0 | 0 499.06/499.28 c 493s | 21 | 1252733 | 1195645 | 6140 446 | 0 | 0 501.06/501.29 c 495s | 21 | 1257728 | 1200445 | 6140 447 | 0 | 0 503.15/503.31 c 497s | 21 | 1263065 | 1205545 | 6140 449 | 0 | 0 505.15/505.35 c 500s | 21 | 1268789 | 1211145 | 6140 450 | 0 | 0 507.15/507.37 c 502s | 21 | 1274180 | 1216445 | 6140 452 | 0 | 0 509.26/509.41 c 504s | 21 | 1279295 | 1221345 | 6140 453 | 0 | 0 511.25/511.43 c 506s | 21 | 1284382 | 1226245 | 6140 455 | 0 | 0 513.25/513.47 c 508s | 21 | 1290210 | 1231945 | 6140 456 | 0 | 0 515.35/515.52 c 510s | 21 | 1295740 | 1237245 | 6140 458 | 0 | 0 517.35/517.54 c 512s | 21 | 1300590 | 1241845 | 6140 459 | 0 | 0 519.35/519.56 c 514s | 21 | 1305773 | 1246945 | 6140 461 | 0 | 0 521.35/521.58 c 516s | 21 | 1311433 | 1252545 | 6140 463 | 0 | 0 523.45/523.62 c 518s | 21 | 1316869 | 1257845 | 6140 464 | 0 | 0 525.44/525.65 c 520s | 21 | 1322530 | 1263345 | 6140 466 | 0 | 0 527.44/527.65 c 522s | 21 | 1327593 | 1268145 | 6140 467 | 0 | 0 529.44/529.66 c 524s | 21 | 1332625 | 1272945 | 6140 469 | 0 | 0 531.44/531.67 c 526s | 21 | 1337923 | 1278045 | 6140 470 | 0 | 0 533.54/533.71 c 528s | 21 | 1343259 | 1283145 | 6140 472 | 0 | 0 535.54/535.74 c 530s | 21 | 1348428 | 1288045 | 6140 473 | 0 | 0 537.54/537.76 c 532s | 21 | 1353343 | 1292745 | 6140 475 | 0 | 0 539.53/539.78 c 534s | 21 | 1358856 | 1298045 | 6140 476 | 0 | 0 541.63/541.80 c 536s | 21 | 1363542 | 1302545 | 6140 477 | 0 | 0 543.63/543.81 c 538s | 21 | 1369276 | 1308045 | 6140 479 | 0 | 0 545.63/545.81 c 540s | 21 | 1374236 | 1312845 | 6140 481 | 0 | 0 547.64/547.82 c 542s | 21 | 1379365 | 1317845 | 6140 482 | 0 | 0 549.63/549.82 c 544s | 21 | 1384716 | 1322945 | 6140 484 | 0 | 0 551.63/551.86 c 546s | 21 | 1390210 | 1328145 | 6140 485 | 0 | 0 553.64/553.86 c 548s | 21 | 1394808 | 1332545 | 6140 486 | 0 | 0 555.74/555.91 c 550s | 21 | 1399722 | 1337245 | 6140 488 | 0 | 0 557.74/557.92 c 552s | 21 | 1404970 | 1342245 | 6140 489 | 0 | 0 559.74/559.95 c 554s | 21 | 1410616 | 1347745 | 6140 491 | 0 | 0 561.73/561.95 c 556s | 21 | 1416088 | 1353045 | 6140 493 | 0 | 0 563.73/563.95 c 558s | 21 | 1421769 | 1358545 | 6140 494 | 0 | 0 565.73/565.97 c 560s | 21 | 1427119 | 1363745 | 6140 496 | 0 | 0 567.73/568.00 c 562s | 21 | 1432802 | 1369345 | 6140 497 | 0 | 0 569.83/570.02 c 564s | 21 | 1438322 | 1374745 | 6140 499 | 0 | 0 571.84/572.04 c 566s | 21 | 1443872 | 1380145 | 6140 501 | 0 | 0 573.83/574.05 c 568s | 21 | 1449163 | 1385145 | 6140 502 | 0 | 0 575.83/576.07 c 570s | 21 | 1453865 | 1389645 | 6140 503 | 0 | 0 577.93/578.10 c 572s | 21 | 1458500 | 1393945 | 6140 505 | 0 | 0 579.92/580.11 c 574s | 21 | 1463801 | 1398845 | 6140 506 | 0 | 0 581.92/582.14 c 576s | 21 | 1468767 | 1403645 | 6140 508 | 0 | 0 583.93/584.16 c 578s | 21 | 1473792 | 1408345 | 6140 509 | 0 | 0 585.92/586.17 c 580s | 21 | 1478717 | 1413045 | 6140 510 | 0 | 0 587.92/588.18 c 582s | 21 | 1483937 | 1418045 | 6140 512 | 0 | 0 589.92/590.18 c 584s | 21 | 1488912 | 1422645 | 6140 513 | 0 | 0 592.02/592.21 c 586s | 21 | 1493993 | 1427445 | 6140 515 | 0 | 0 594.02/594.21 c 588s | 21 | 1499415 | 1432645 | 6140 516 | 0 | 0 596.03/596.27 c 590s | 21 | 1504483 | 1437345 | 6140 518 | 0 | 0 598.02/598.27 c 592s | 21 | 1509992 | 1442545 | 6140 519 | 0 | 0 600.11/600.31 c 594s | 21 | 1515530 | 1447745 | 6140 521 | 0 | 0 602.11/602.34 c 596s | 21 | 1520862 | 1452845 | 6140 522 | 0 | 0 604.11/604.36 c 599s | 21 | 1526401 | 1458245 | 6140 524 | 0 | 0 606.11/606.37 c 601s | 21 | 1531889 | 1463545 | 6140 525 | 0 | 0 608.12/608.40 c 603s | 21 | 1537442 | 1468945 | 6140 527 | 0 | 0 610.21/610.42 c 605s | 21 | 1542468 | 1473845 | 6140 529 | 0 | 0 612.21/612.44 c 607s | 21 | 1548191 | 1479445 | 6755 530 | 0 | 0 614.21/614.45 c 609s | 21 | 1553462 | 1484445 | 6755 531 | 0 | 0 616.21/616.47 c 611s | 21 | 1558383 | 1489145 | 6755 533 | 0 | 0 618.31/618.50 c 613s | 21 | 1563515 | 1494145 | 6755 534 | 0 | 0 620.31/620.51 c 615s | 21 | 1568506 | 1499045 | 6755 535 | 0 | 0 620.91/621.10 c 615s | 22 | 1570126 | 1500622 | 6755 536 | 0 | 0 622.90/623.12 c 617s | 22 | 1573214 | 1503422 | 6755 537 | 0 | 0 624.90/625.15 c 619s | 22 | 1576282 | 1505622 | 6755 537 | 0 | 0 626.91/627.19 c 621s | 22 | 1580290 | 1509422 | 6755 538 | 0 | 0 629.01/629.24 c 623s | 22 | 1584224 | 1511922 | 6755 539 | 0 | 0 631.00/631.26 c 625s | 22 | 1588824 | 1516022 | 6755 540 | 0 | 0 633.00/633.26 c 627s | 22 | 1592929 | 1520022 | 6755 541 | 0 | 0 635.10/635.30 c 629s | 22 | 1597111 | 1524022 | 6755 542 | 0 | 0 637.10/637.30 c 631s | 22 | 1601048 | 1527822 | 6755 543 | 0 | 0 639.20/639.40 c 634s | 22 | 1604973 | 1531222 | 6755 544 | 0 | 0 641.20/641.43 c 636s | 22 | 1608212 | 1533722 | 6755 545 | 0 | 0 643.19/643.46 c 638s | 22 | 1613069 | 1538122 | 6755 546 | 0 | 0 645.19/645.50 c 640s | 22 | 1617717 | 1542622 | 6755 547 | 0 | 0 647.29/647.52 c 642s | 22 | 1622828 | 1547522 | 6755 549 | 0 | 0 649.29/649.55 c 644s | 22 | 1627608 | 1552022 | 6755 550 | 0 | 0 651.29/651.58 c 646s | 22 | 1631994 | 1556222 | 6755 551 | 0 | 0 653.40/653.62 c 648s | 22 | 1636614 | 1560622 | 6755 552 | 0 | 0 655.50/655.74 c 650s | 22 | 1639649 | 1563522 | 6755 553 | 0 | 0 657.50/657.79 c 652s | 22 | 1642073 | 1565722 | 6755 554 | 0 | 0 659.49/659.79 c 654s | 22 | 1647037 | 1570422 | 6755 555 | 0 | 0 661.59/661.80 c 656s | 22 | 1650029 | 1573122 | 6755 556 | 0 | 0 663.69/663.98 c 658s | 22 | 1652273 | 1575122 | 6755 556 | 0 | 0 665.69/665.99 c 660s | 22 | 1654799 | 1577422 | 6755 557 | 0 | 0 667.89/668.12 c 662s | 22 | 1657870 | 1580422 | 6755 558 | 0 | 0 669.89/670.14 c 664s | 22 | 1662673 | 1584922 | 6755 559 | 0 | 0 671.89/672.17 c 666s | 22 | 1667138 | 1589322 | 6755 560 | 0 | 0 673.99/674.21 c 668s | 22 | 1671843 | 1593922 | 6755 562 | 0 | 0 675.99/676.24 c 670s | 22 | 1676279 | 1598322 | 6755 563 | 0 | 0 677.99/678.27 c 672s | 22 | 1681367 | 1603222 | 6755 564 | 0 | 0 679.98/680.28 c 674s | 22 | 1685729 | 1607322 | 6755 565 | 0 | 0 682.08/682.32 c 676s | 22 | 1690387 | 1611422 | 6755 566 | 0 | 0 684.09/684.35 c 679s | 22 | 1694798 | 1615522 | 6755 568 | 0 | 0 686.08/686.37 c 681s | 22 | 1700106 | 1620222 | 6755 569 | 0 | 0 688.08/688.39 c 683s | 22 | 1704462 | 1624422 | 6755 570 | 0 | 0 690.17/690.45 c 685s | 22 | 1708177 | 1628022 | 6755 571 | 0 | 0 692.27/692.50 c 687s | 22 | 1712971 | 1632422 | 6755 572 | 0 | 0 694.27/694.53 c 689s | 22 | 1717189 | 1636322 | 6755 573 | 0 | 0 696.27/696.53 c 691s | 22 | 1721788 | 1640822 | 6755 575 | 0 | 0 698.28/698.54 c 693s | 22 | 1726469 | 1645322 | 6755 576 | 0 | 0 700.27/700.57 c 695s | 22 | 1731404 | 1650122 | 6755 577 | 0 | 0 702.27/702.59 c 697s | 22 | 1735872 | 1654422 | 6755 578 | 0 | 0 704.37/704.62 c 699s | 22 | 1740778 | 1659122 | 6755 580 | 0 | 0 706.37/706.65 c 701s | 22 | 1745778 | 1663922 | 6755 581 | 0 | 0 708.37/708.68 c 703s | 22 | 1750755 | 1668522 | 6755 582 | 0 | 0 710.47/710.71 c 705s | 22 | 1755652 | 1673122 | 6755 584 | 0 | 0 712.46/712.72 c 707s | 22 | 1760603 | 1677822 | 6755 585 | 0 | 0 714.46/714.75 c 709s | 22 | 1765538 | 1682522 | 6755 586 | 0 | 0 716.46/716.77 c 711s | 22 | 1770316 | 1687122 | 6755 588 | 0 | 0 718.46/718.78 c 713s | 22 | 1775387 | 1692022 | 6755 589 | 0 | 0 720.56/720.81 c 715s | 22 | 1780860 | 1697022 | 6755 590 | 0 | 0 722.56/722.85 c 717s | 22 | 1785654 | 1701522 | 6755 592 | 0 | 0 724.55/724.87 c 719s | 22 | 1790813 | 1706322 | 6755 593 | 0 | 0 726.55/726.88 c 721s | 22 | 1795815 | 1711122 | 6755 594 | 0 | 0 728.65/728.90 c 723s | 22 | 1800619 | 1715822 | 6755 596 | 0 | 0 730.65/730.93 c 725s | 22 | 1806090 | 1721122 | 6755 597 | 0 | 0 732.65/732.98 c 727s | 22 | 1810961 | 1725722 | 6755 598 | 0 | 0 734.65/734.99 c 729s | 22 | 1815145 | 1729622 | 6755 599 | 0 | 0 736.65/736.99 c 731s | 22 | 1819932 | 1734122 | 6755 601 | 0 | 0 738.75/739.03 c 733s | 22 | 1824733 | 1738822 | 6755 602 | 0 | 0 740.74/741.06 c 735s | 22 | 1829146 | 1743022 | 6755 603 | 0 | 0 742.74/743.09 c 737s | 22 | 1833365 | 1747122 | 6755 604 | 0 | 0 744.84/745.13 c 739s | 22 | 1837278 | 1750822 | 6755 605 | 0 | 0 746.84/747.15 c 741s | 22 | 1840984 | 1754222 | 6755 606 | 0 | 0 748.85/749.20 c 743s | 22 | 1845370 | 1758422 | 6755 607 | 0 | 0 750.95/751.21 c 745s | 22 | 1850028 | 1762922 | 6755 609 | 0 | 0 752.95/753.27 c 747s | 22 | 1854166 | 1766722 | 6755 610 | 0 | 0 754.95/755.28 c 749s | 22 | 1857553 | 1770022 | 6755 611 | 0 | 0 757.05/757.31 c 751s | 22 | 1861790 | 1774122 | 6755 612 | 0 | 0 759.05/759.34 c 753s | 22 | 1866372 | 1778522 | 6755 613 | 0 | 0 761.05/761.34 c 756s | 22 | 1870548 | 1782322 | 6755 614 | 0 | 0 763.04/763.39 c 758s | 22 | 1875535 | 1787122 | 6755 615 | 0 | 0 765.14/765.40 c 760s | 22 | 1880482 | 1791822 | 6755 617 | 0 | 0 767.14/767.42 c 762s | 22 | 1884887 | 1796122 | 6755 618 | 0 | 0 769.14/769.45 c 764s | 22 | 1889728 | 1800822 | 6755 619 | 0 | 0 771.24/771.51 c 766s | 22 | 1894543 | 1805522 | 6755 620 | 0 | 0 773.24/773.54 c 768s | 22 | 1899484 | 1810222 | 6755 622 | 0 | 0 775.25/775.58 c 770s | 22 | 1904181 | 1814722 | 6755 623 | 0 | 0 777.24/777.59 c 772s | 22 | 1908983 | 1819322 | 6755 624 | 0 | 0 779.34/779.61 c 774s | 22 | 1913735 | 1823922 | 6755 626 | 0 | 0 781.34/781.62 c 776s | 22 | 1918465 | 1828522 | 6755 627 | 0 | 0 783.34/783.64 c 778s | 22 | 1923226 | 1832922 | 6755 628 | 0 | 0 785.34/785.66 c 780s | 22 | 1928156 | 1837522 | 6755 629 | 0 | 0 787.34/787.69 c 782s | 22 | 1932723 | 1841822 | 6755 631 | 0 | 0 789.43/789.71 c 784s | 22 | 1937642 | 1846422 | 6755 632 | 0 | 0 791.43/791.74 c 786s | 22 | 1942238 | 1850822 | 6755 633 | 0 | 0 793.43/793.75 c 788s | 22 | 1946595 | 1855122 | 6755 634 | 0 | 0 795.43/795.76 c 790s | 22 | 1951048 | 1859322 | 6755 635 | 0 | 0 797.53/797.83 c 792s | 22 | 1955336 | 1862922 | 6755 636 | 0 | 0 799.53/799.83 c 794s | 22 | 1959720 | 1867022 | 6755 638 | 0 | 0 801.53/801.88 c 796s | 22 | 1963965 | 1870822 | 6755 639 | 0 | 0 803.62/803.92 c 798s | 22 | 1968671 | 1874722 | 6755 640 | 0 | 0 805.62/805.96 c 800s | 22 | 1973538 | 1879422 | 6755 641 | 0 | 0 807.72/808.03 c 802s | 22 | 1977756 | 1883122 | 6755 642 | 0 | 0 809.72/810.06 c 804s | 22 | 1981682 | 1886622 | 6755 643 | 0 | 0 811.72/812.09 c 806s | 22 | 1985902 | 1890722 | 6755 644 | 0 | 0 813.82/814.13 c 808s | 22 | 1990047 | 1894622 | 6755 645 | 0 | 0 815.82/816.18 c 810s | 22 | 1994282 | 1898722 | 6755 646 | 0 | 0 817.82/818.19 c 812s | 22 | 1998673 | 1902822 | 6755 648 | 0 | 0 819.82/820.19 c 814s | 22 | 2002175 | 1906222 | 6755 648 | 0 | 0 821.92/822.24 c 816s | 22 | 2006471 | 1910422 | 6755 650 | 0 | 0 823.91/824.27 c 818s | 22 | 2011520 | 1915222 | 6755 651 | 0 | 0 826.01/826.32 c 820s | 22 | 2016237 | 1919622 | 6755 652 | 0 | 0 828.02/828.36 c 823s | 22 | 2020736 | 1923722 | 6755 653 | 0 | 0 830.11/830.41 c 825s | 22 | 2025021 | 1927622 | 6755 654 | 0 | 0 832.11/832.42 c 827s | 22 | 2029201 | 1931622 | 6755 656 | 0 | 0 834.11/834.44 c 829s | 22 | 2033324 | 1935522 | 6755 657 | 0 | 0 836.11/836.44 c 831s | 22 | 2038221 | 1940222 | 6755 658 | 0 | 0 838.21/838.51 c 833s | 22 | 2041628 | 1943222 | 6755 659 | 0 | 0 840.22/840.57 c 835s | 22 | 2045444 | 1946722 | 6755 660 | 0 | 0 842.22/842.60 c 837s | 22 | 2048585 | 1949722 | 6755 661 | 0 | 0 844.32/844.68 c 839s | 22 | 2051680 | 1952622 | 6755 661 | 0 | 0 846.42/846.70 c 841s | 22 | 2054637 | 1955322 | 6755 662 | 0 | 0 848.42/848.71 c 843s | 22 | 2059398 | 1959922 | 6755 663 | 0 | 0 850.41/850.76 c 845s | 22 | 2063234 | 1963522 | 6755 664 | 0 | 0 852.51/852.80 c 847s | 22 | 2066956 | 1967222 | 6755 665 | 0 | 0 854.52/854.84 c 849s | 22 | 2070019 | 1970222 | 6755 666 | 0 | 0 856.51/856.89 c 851s | 22 | 2072578 | 1972422 | 6755 667 | 0 | 0 858.61/858.90 c 853s | 22 | 2077489 | 1976922 | 6755 668 | 0 | 0 860.61/860.95 c 855s | 22 | 2081894 | 1981222 | 6755 669 | 0 | 0 862.60/862.99 c 857s | 22 | 2086279 | 1985422 | 6755 670 | 0 | 0 864.70/865.02 c 859s | 22 | 2090322 | 1989222 | 6755 672 | 0 | 0 866.70/867.04 c 861s | 22 | 2093706 | 1992422 | 6755 672 | 0 | 0 868.71/869.05 c 863s | 22 | 2096824 | 1994922 | 6755 673 | 0 | 0 870.70/871.06 c 865s | 22 | 2101156 | 1999122 | 6755 674 | 0 | 0 872.80/873.11 c 867s | 22 | 2105058 | 2002922 | 6755 675 | 0 | 0 874.80/875.19 c 869s | 22 | 2108516 | 2006322 | 6755 676 | 0 | 0 876.90/877.26 c 871s | 22 | 2112389 | 2009822 | 6755 677 | 0 | 0 878.90/879.29 c 873s | 22 | 2116183 | 2013322 | 6755 678 | 0 | 0 881.00/881.33 c 875s | 22 | 2120797 | 2017822 | 6755 679 | 0 | 0 883.00/883.35 c 878s | 22 | 2125140 | 2021822 | 6755 681 | 0 | 0 885.00/885.36 c 880s | 22 | 2129984 | 2026422 | 6755 682 | 0 | 0 887.10/887.40 c 882s | 22 | 2134067 | 2030322 | 6755 683 | 0 | 0 889.09/889.44 c 884s | 22 | 2137812 | 2033722 | 6755 684 | 0 | 0 891.09/891.45 c 886s | 22 | 2142227 | 2037722 | 6755 685 | 0 | 0 893.09/893.47 c 888s | 22 | 2147134 | 2042422 | 6755 686 | 0 | 0 895.21/895.52 c 890s | 22 | 2151199 | 2046322 | 6755 687 | 0 | 0 897.20/897.53 c 892s | 22 | 2154335 | 2049322 | 6755 688 | 0 | 0 899.20/899.55 c 894s | 22 | 2157642 | 2052522 | 6755 689 | 0 | 0 901.20/901.55 c 896s | 22 | 2162110 | 2056822 | 6755 690 | 0 | 0 903.30/903.61 c 898s | 22 | 2167032 | 2061322 | 6755 692 | 0 | 0 905.30/905.62 c 900s | 22 | 2172116 | 2066222 | 6755 693 | 0 | 0 907.31/907.64 c 902s | 22 | 2177176 | 2071122 | 6755 694 | 0 | 0 909.30/909.64 c 904s | 22 | 2181755 | 2075522 | 6755 695 | 0 | 0 911.30/911.69 c 906s | 22 | 2186742 | 2080222 | 6755 697 | 0 | 0 913.40/913.73 c 908s | 22 | 2191009 | 2084222 | 6755 698 | 0 | 0 915.40/915.75 c 910s | 22 | 2194993 | 2088122 | 6755 699 | 0 | 0 917.40/917.76 c 912s | 22 | 2199225 | 2092222 | 6755 700 | 0 | 0 919.40/919.79 c 914s | 22 | 2203521 | 2096322 | 6755 701 | 0 | 0 921.50/921.83 c 916s | 22 | 2207199 | 2099822 | 6755 702 | 0 | 0 923.50/923.83 c 918s | 22 | 2210677 | 2103122 | 6755 703 | 0 | 0 925.50/925.86 c 920s | 22 | 2214067 | 2106122 | 6755 704 | 0 | 0 927.50/927.89 c 922s | 22 | 2216901 | 2108822 | 6755 705 | 0 | 0 929.59/929.90 c 924s | 22 | 2220287 | 2111822 | 6755 705 | 0 | 0 931.59/931.92 c 926s | 22 | 2222293 | 2113522 | 6755 706 | 0 | 0 933.60/933.92 c 928s | 22 | 2226559 | 2117622 | 6755 707 | 0 | 0 935.59/935.96 c 930s | 22 | 2230779 | 2121722 | 6755 708 | 0 | 0 937.59/937.99 c 932s | 22 | 2235083 | 2125922 | 6755 709 | 0 | 0 939.69/940.02 c 934s | 22 | 2239875 | 2130422 | 6755 711 | 0 | 0 941.69/942.08 c 936s | 22 | 2243162 | 2133522 | 6755 711 | 0 | 0 943.79/944.10 c 938s | 22 | 2246438 | 2136522 | 6755 712 | 0 | 0 945.89/946.22 c 940s | 22 | 2249815 | 2139722 | 6755 713 | 0 | 0 947.90/948.27 c 942s | 22 | 2253134 | 2142722 | 6755 714 | 0 | 0 949.89/950.29 c 944s | 22 | 2256651 | 2145722 | 6755 715 | 0 | 0 951.99/952.32 c 946s | 22 | 2260490 | 2148822 | 6755 716 | 0 | 0 953.99/954.36 c 949s | 22 | 2265664 | 2153622 | 6755 717 | 0 | 0 955.99/956.38 c 951s | 22 | 2270516 | 2158022 | 6755 718 | 0 | 0 958.09/958.45 c 953s | 22 | 2274268 | 2161022 | 6755 719 | 0 | 0 960.10/960.49 c 955s | 22 | 2277340 | 2163422 | 6755 720 | 0 | 0 962.19/962.58 c 957s | 22 | 2280541 | 2166022 | 6755 721 | 0 | 0 964.19/964.59 c 959s | 22 | 2285682 | 2170822 | 6755 722 | 0 | 0 966.29/966.68 c 961s | 22 | 2291011 | 2175822 | 6755 723 | 0 | 0 968.38/968.70 c 963s | 22 | 2294807 | 2179522 | 6755 724 | 0 | 0 970.38/970.77 c 965s | 22 | 2298461 | 2183022 | 6755 725 | 0 | 0 972.48/972.81 c 967s | 22 | 2302064 | 2186522 | 6755 726 | 0 | 0 974.48/974.83 c 969s | 22 | 2305782 | 2190122 | 6755 727 | 0 | 0 976.49/976.84 c 971s | 22 | 2309254 | 2193522 | 6755 728 | 0 | 0 978.48/978.85 c 973s | 22 | 2312929 | 2197122 | 6755 729 | 0 | 0 980.48/980.88 c 975s | 22 | 2316651 | 2200622 | 6755 730 | 0 | 0 982.58/982.92 c 977s | 22 | 2321442 | 2205322 | 6755 731 | 0 | 0 984.58/984.94 c 979s | 22 | 2326497 | 2210122 | 6755 733 | 0 | 0 986.58/986.95 c 981s | 22 | 2331108 | 2214622 | 6755 734 | 0 | 0 988.59/988.95 c 983s | 22 | 2335432 | 2218722 | 6755 735 | 0 | 0 990.58/990.98 c 985s | 22 | 2339824 | 2223022 | 7431 736 | 0 | 0 992.68/993.03 c 987s | 22 | 2344343 | 2227222 | 7431 737 | 0 | 0 994.68/995.08 c 989s | 22 | 2348968 | 2231622 | 7431 738 | 0 | 0 996.68/997.08 c 991s | 22 | 2352628 | 2235122 | 7431 739 | 0 | 0 998.78/999.11 c 993s | 22 | 2356552 | 2238822 | 7431 740 | 0 | 0 1000.79/1001.12 c 995s | 22 | 2361428 | 2243322 | 7431 741 | 0 | 0 1002.78/1003.17 c 997s | 22 | 2365744 | 2247522 | 7431 742 | 0 | 0 1004.28/1004.68 c 999s | 23 | 2369371 | 2251038 | 7431 743 | 0 | 0 1006.38/1006.71 c 1001s | 23 | 2376038 | 2257538 | 7431 745 | 0 | 0 1008.39/1008.73 c 1003s | 23 | 2382158 | 2263238 | 7431 746 | 0 | 0 1010.38/1010.74 c 1005s | 23 | 2387685 | 2268238 | 7431 748 | 0 | 0 1012.38/1012.76 c 1007s | 23 | 2391711 | 2271938 | 7431 749 | 0 | 0 1014.38/1014.79 c 1009s | 23 | 2396407 | 2276238 | 7431 750 | 0 | 0 1016.47/1016.83 c 1011s | 23 | 2400856 | 2280338 | 7431 751 | 0 | 0 1018.47/1018.86 c 1013s | 23 | 2405778 | 2284838 | 7431 752 | 0 | 0 1020.48/1020.86 c 1015s | 23 | 2410446 | 2289038 | 7431 753 | 0 | 0 1022.47/1022.89 c 1017s | 23 | 2415164 | 2293338 | 7431 754 | 0 | 0 1024.57/1024.93 c 1019s | 23 | 2420091 | 2297938 | 7431 755 | 0 | 0 1026.57/1026.97 c 1021s | 23 | 2424443 | 2301938 | 7431 756 | 0 | 0 1028.67/1029.01 c 1023s | 23 | 2428968 | 2306138 | 7431 757 | 0 | 0 1030.67/1031.04 c 1025s | 23 | 2432739 | 2309638 | 7431 758 | 0 | 0 1032.68/1033.08 c 1027s | 23 | 2437077 | 2313638 | 7431 759 | 0 | 0 1034.78/1035.12 c 1029s | 23 | 2441545 | 2317838 | 7431 760 | 0 | 0 1036.77/1037.15 c 1031s | 23 | 2446297 | 2322238 | 7431 761 | 0 | 0 1038.87/1039.20 c 1033s | 23 | 2450900 | 2326438 | 7431 762 | 0 | 0 1040.87/1041.20 c 1035s | 23 | 2454903 | 2330238 | 7431 763 | 0 | 0 1042.87/1043.20 c 1037s | 23 | 2459940 | 2334838 | 7431 765 | 0 | 0 1044.87/1045.21 c 1039s | 23 | 2464456 | 2338838 | 7431 766 | 0 | 0 1046.88/1047.25 c 1041s | 23 | 2468914 | 2342838 | 7431 767 | 0 | 0 1048.87/1049.27 c 1043s | 23 | 2473856 | 2347338 | 7431 768 | 0 | 0 1050.97/1051.32 c 1045s | 23 | 2478200 | 2351338 | 7431 769 | 0 | 0 1052.97/1053.37 c 1048s | 23 | 2483334 | 2355938 | 7431 770 | 0 | 0 1054.97/1055.39 c 1050s | 23 | 2488000 | 2360238 | 7431 771 | 0 | 0 1057.07/1057.40 c 1052s | 23 | 2492892 | 2364838 | 7431 772 | 0 | 0 1059.08/1059.43 c 1054s | 23 | 2497519 | 2369038 | 7431 773 | 0 | 0 1061.07/1061.45 c 1056s | 23 | 2502195 | 2373338 | 7431 774 | 0 | 0 1063.07/1063.46 c 1058s | 23 | 2507201 | 2377938 | 7431 775 | 0 | 0 1065.07/1065.47 c 1060s | 23 | 2512014 | 2382238 | 7431 777 | 0 | 0 1067.07/1067.49 c 1062s | 23 | 2518533 | 2388438 | 7431 778 | 0 | 0 1069.17/1069.52 c 1064s | 23 | 2524851 | 2394538 | 7431 780 | 0 | 0 1071.17/1071.54 c 1066s | 23 | 2530521 | 2399838 | 7431 781 | 0 | 0 1073.17/1073.57 c 1068s | 23 | 2536002 | 2405038 | 7431 782 | 0 | 0 1075.27/1075.61 c 1070s | 23 | 2541232 | 2409838 | 7431 783 | 0 | 0 1077.27/1077.62 c 1072s | 23 | 2545657 | 2413838 | 7431 784 | 0 | 0 1079.27/1079.65 c 1074s | 23 | 2551087 | 2418538 | 7431 786 | 0 | 0 1081.26/1081.69 c 1076s | 23 | 2556844 | 2423338 | 7431 787 | 0 | 0 1083.36/1083.71 c 1078s | 23 | 2562103 | 2427938 | 7431 788 | 0 | 0 1085.37/1085.75 c 1080s | 23 | 2567147 | 2432238 | 7431 789 | 0 | 0 1087.36/1087.75 c 1082s | 23 | 2571768 | 2436438 | 7431 790 | 0 | 0 1089.36/1089.78 c 1084s | 23 | 2576669 | 2441038 | 7431 791 | 0 | 0 1091.36/1091.79 c 1086s | 23 | 2582060 | 2445838 | 7431 793 | 0 | 0 1093.46/1093.85 c 1088s | 23 | 2587561 | 2450738 | 7431 794 | 0 | 0 1095.46/1095.88 c 1090s | 23 | 2592110 | 2454938 | 7431 795 | 0 | 0 1097.47/1097.90 c 1092s | 23 | 2597610 | 2459838 | 7431 796 | 0 | 0 1099.56/1099.93 c 1094s | 23 | 2602825 | 2464238 | 7431 797 | 0 | 0 1101.56/1101.95 c 1096s | 23 | 2608096 | 2468738 | 7431 798 | 0 | 0 1103.56/1103.97 c 1098s | 23 | 2613104 | 2473138 | 7431 800 | 0 | 0 1105.56/1105.98 c 1100s | 23 | 2618685 | 2478338 | 7431 801 | 0 | 0 1107.56/1107.99 c 1102s | 23 | 2624043 | 2483238 | 7431 802 | 0 | 0 1109.67/1110.03 c 1104s | 23 | 2629411 | 2487938 | 7431 803 | 0 | 0 1111.66/1112.03 c 1106s | 23 | 2635185 | 2493238 | 7431 805 | 0 | 0 1113.67/1114.07 c 1108s | 23 | 2641111 | 2498538 | 7431 806 | 0 | 0 1115.67/1116.09 c 1110s | 23 | 2646589 | 2503438 | 7431 807 | 0 | 0 1117.77/1118.10 c 1112s | 23 | 2652367 | 2508738 | 7431 809 | 0 | 0 1119.77/1120.11 c 1114s | 23 | 2657615 | 2513738 | 7431 810 | 0 | 0 1121.77/1122.14 c 1116s | 23 | 2662365 | 2518338 | 7431 811 | 0 | 0 1123.77/1124.17 c 1118s | 23 | 2667026 | 2522838 | 7431 812 | 0 | 0 1125.76/1126.18 c 1120s | 23 | 2672459 | 2528138 | 7431 813 | 0 | 0 1127.76/1128.19 c 1122s | 23 | 2677656 | 2533138 | 7431 815 | 0 | 0 1129.86/1130.20 c 1124s | 23 | 2682797 | 2538038 | 7431 816 | 0 | 0 1131.86/1132.24 c 1126s | 23 | 2688502 | 2543438 | 7431 817 | 0 | 0 1133.87/1134.27 c 1128s | 23 | 2693195 | 2547938 | 7431 818 | 0 | 0 1135.86/1136.29 c 1130s | 23 | 2698313 | 2552738 | 7431 820 | 0 | 0 1137.96/1138.32 c 1132s | 23 | 2704332 | 2558338 | 7431 821 | 0 | 0 1139.96/1140.33 c 1134s | 23 | 2709566 | 2563338 | 7431 822 | 0 | 0 1141.96/1142.35 c 1137s | 23 | 2715406 | 2569038 | 7431 824 | 0 | 0 1143.96/1144.36 c 1139s | 23 | 2720733 | 2574338 | 7431 825 | 0 | 0 1145.97/1146.38 c 1141s | 23 | 2726360 | 2579838 | 7431 826 | 0 | 0 1148.07/1148.42 c 1143s | 23 | 2732464 | 2585638 | 7431 828 | 0 | 0 1150.06/1150.46 c 1145s | 23 | 2737663 | 2590638 | 7431 829 | 0 | 0 1152.06/1152.49 c 1147s | 23 | 2742916 | 2595538 | 7431 830 | 0 | 0 1154.16/1154.51 c 1149s | 23 | 2748422 | 2600638 | 7431 832 | 0 | 0 1156.16/1156.54 c 1151s | 23 | 2753928 | 2605838 | 7431 833 | 0 | 0 1158.16/1158.56 c 1153s | 23 | 2759343 | 2610938 | 7431 834 | 0 | 0 1160.16/1160.59 c 1155s | 23 | 2765116 | 2616238 | 7431 836 | 0 | 0 1162.25/1162.60 c 1157s | 23 | 2770277 | 2621038 | 7431 837 | 0 | 0 1164.25/1164.62 c 1159s | 23 | 2775596 | 2625938 | 7431 838 | 0 | 0 1166.25/1166.65 c 1161s | 23 | 2780626 | 2630738 | 7431 839 | 0 | 0 1168.25/1168.67 c 1163s | 23 | 2786279 | 2636038 | 7431 841 | 0 | 0 1170.25/1170.68 c 1165s | 23 | 2792008 | 2641338 | 7431 842 | 0 | 0 1172.26/1172.68 c 1167s | 23 | 2797587 | 2646438 | 7431 843 | 0 | 0 1174.25/1174.68 c 1169s | 23 | 2802716 | 2651138 | 7431 844 | 0 | 0 1176.35/1176.72 c 1171s | 23 | 2807445 | 2655838 | 7431 846 | 0 | 0 1178.35/1178.73 c 1173s | 23 | 2813130 | 2661438 | 7431 847 | 0 | 0 1180.35/1180.73 c 1175s | 23 | 2818228 | 2666438 | 7431 848 | 0 | 0 1182.35/1182.74 c 1177s | 23 | 2823527 | 2671638 | 7431 850 | 0 | 0 1184.36/1184.76 c 1179s | 23 | 2828314 | 2676338 | 7431 851 | 0 | 0 1186.45/1186.81 c 1181s | 23 | 2834012 | 2681938 | 7431 852 | 0 | 0 1188.45/1188.84 c 1183s | 23 | 2838826 | 2686538 | 7431 853 | 0 | 0 1190.45/1190.87 c 1185s | 23 | 2843980 | 2691338 | 7431 855 | 0 | 0 1192.45/1192.89 c 1187s | 23 | 2848663 | 2695738 | 7431 856 | 0 | 0 1194.55/1194.93 c 1189s | 23 | 2854120 | 2700938 | 7431 857 | 0 | 0 1196.55/1196.95 c 1191s | 23 | 2858776 | 2705338 | 7431 858 | 0 | 0 1198.55/1198.95 c 1193s | 23 | 2863603 | 2709838 | 7431 859 | 0 | 0 1200.55/1200.99 c 1195s | 23 | 2868425 | 2714138 | 7431 860 | 0 | 0 1202.65/1203.03 c 1197s | 23 | 2874193 | 2719138 | 7431 862 | 0 | 0 1204.65/1205.03 c 1199s | 23 | 2879389 | 2723938 | 7431 863 | 0 | 0 1206.65/1207.05 c 1201s | 23 | 2885135 | 2729238 | 7431 864 | 0 | 0 1208.65/1209.08 c 1203s | 23 | 2891397 | 2735438 | 7431 866 | 0 | 0 1210.75/1211.13 c 1205s | 23 | 2896808 | 2740738 | 7431 867 | 0 | 0 1212.74/1213.14 c 1207s | 23 | 2901610 | 2745438 | 7431 868 | 0 | 0 1214.74/1215.14 c 1209s | 23 | 2907005 | 2750738 | 7431 870 | 0 | 0 1216.74/1217.16 c 1211s | 23 | 2912780 | 2756338 | 7431 871 | 0 | 0 1218.74/1219.17 c 1213s | 23 | 2918046 | 2761538 | 7431 872 | 0 | 0 1220.84/1221.26 c 1215s | 23 | 2922828 | 2766238 | 7431 874 | 0 | 0 1222.85/1223.28 c 1217s | 23 | 2928673 | 2771838 | 7431 875 | 0 | 0 1224.84/1225.29 c 1219s | 23 | 2933420 | 2776338 | 7431 876 | 0 | 0 1226.84/1227.30 c 1221s | 23 | 2938377 | 2781038 | 7431 877 | 0 | 0 1228.95/1229.30 c 1223s | 23 | 2943041 | 2785438 | 7431 878 | 0 | 0 1230.95/1231.31 c 1225s | 23 | 2948511 | 2790638 | 7431 880 | 0 | 0 1232.95/1233.31 c 1227s | 23 | 2953957 | 2795738 | 7431 881 | 0 | 0 1234.96/1235.31 c 1229s | 23 | 2959540 | 2800938 | 7431 882 | 0 | 0 1236.95/1237.34 c 1232s | 23 | 2965019 | 2805938 | 7431 883 | 0 | 0 1238.95/1239.35 c 1234s | 23 | 2969861 | 2810538 | 7431 885 | 0 | 0 1240.95/1241.36 c 1236s | 23 | 2975276 | 2815538 | 7431 886 | 0 | 0 1242.95/1243.38 c 1238s | 23 | 2980437 | 2820338 | 7431 887 | 0 | 0 1244.95/1245.39 c 1240s | 23 | 2985817 | 2825338 | 7431 888 | 0 | 0 1246.95/1247.40 c 1242s | 23 | 2990969 | 2829938 | 7431 889 | 0 | 0 1249.05/1249.42 c 1244s | 23 | 2996282 | 2834738 | 7431 891 | 0 | 0 1251.05/1251.45 c 1246s | 23 | 3001428 | 2839538 | 7431 892 | 0 | 0 1253.05/1253.48 c 1248s | 23 | 3006243 | 2844038 | 7431 893 | 0 | 0 1255.05/1255.49 c 1250s | 23 | 3011030 | 2848738 | 7431 894 | 0 | 0 1257.14/1257.53 c 1252s | 23 | 3016484 | 2854138 | 7431 896 | 0 | 0 1259.15/1259.55 c 1254s | 23 | 3021597 | 2859138 | 7431 897 | 0 | 0 1261.14/1261.58 c 1256s | 23 | 3027013 | 2864438 | 7431 898 | 0 | 0 1263.14/1263.58 c 1258s | 23 | 3032636 | 2869938 | 7431 900 | 0 | 0 1265.24/1265.60 c 1260s | 23 | 3039516 | 2876338 | 7431 901 | 0 | 0 1267.24/1267.62 c 1262s | 23 | 3044867 | 2881438 | 7431 903 | 0 | 0 1269.24/1269.62 c 1264s | 23 | 3050538 | 2886738 | 7431 904 | 0 | 0 1271.25/1271.63 c 1266s | 23 | 3055894 | 2891838 | 7431 905 | 0 | 0 1273.24/1273.65 c 1268s | 23 | 3061196 | 2896838 | 7431 906 | 0 | 0 1275.24/1275.69 c 1270s | 23 | 3066004 | 2901138 | 7431 907 | 0 | 0 1277.34/1277.72 c 1272s | 23 | 3070967 | 2905638 | 7431 909 | 0 | 0 1279.34/1279.72 c 1274s | 23 | 3076116 | 2910538 | 7431 910 | 0 | 0 1281.34/1281.74 c 1276s | 23 | 3081035 | 2915138 | 7431 911 | 0 | 0 1283.34/1283.75 c 1278s | 23 | 3086028 | 2919938 | 7431 912 | 0 | 0 1285.34/1285.75 c 1280s | 23 | 3091651 | 2925238 | 7431 913 | 0 | 0 1287.34/1287.76 c 1282s | 23 | 3097133 | 2930338 | 7431 915 | 0 | 0 1289.34/1289.77 c 1284s | 23 | 3101779 | 2934638 | 7431 916 | 0 | 0 1291.34/1291.79 c 1286s | 23 | 3106475 | 2939038 | 7431 917 | 0 | 0 1293.44/1293.81 c 1288s | 23 | 3111691 | 2943838 | 7431 918 | 0 | 0 1295.44/1295.82 c 1290s | 23 | 3116473 | 2948138 | 7431 919 | 0 | 0 1297.43/1297.84 c 1292s | 23 | 3120960 | 2952438 | 7431 920 | 0 | 0 1299.43/1299.85 c 1294s | 23 | 3125776 | 2956938 | 7431 921 | 0 | 0 1301.53/1301.90 c 1296s | 23 | 3131698 | 2962738 | 7431 923 | 0 | 0 1303.53/1303.94 c 1298s | 23 | 3136771 | 2967738 | 7431 924 | 0 | 0 1305.53/1305.98 c 1300s | 23 | 3141973 | 2972838 | 7431 926 | 0 | 0 1307.64/1308.02 c 1302s | 23 | 3147569 | 2978338 | 7431 927 | 0 | 0 1309.63/1310.04 c 1304s | 23 | 3152876 | 2983538 | 7431 928 | 0 | 0 1311.63/1312.06 c 1306s | 23 | 3159150 | 2989438 | 7431 930 | 0 | 0 1313.63/1314.09 c 1308s | 23 | 3164772 | 2994838 | 7431 931 | 0 | 0 1315.73/1316.14 c 1310s | 23 | 3169498 | 2999238 | 7431 932 | 0 | 0 1317.73/1318.16 c 1312s | 23 | 3175322 | 3004538 | 7431 933 | 0 | 0 1319.74/1320.17 c 1314s | 23 | 3180856 | 3009638 | 7431 935 | 0 | 0 1321.73/1322.19 c 1316s | 23 | 3186269 | 3014638 | 7431 936 | 0 | 0 1323.83/1324.21 c 1318s | 23 | 3191329 | 3019338 | 7431 937 | 0 | 0 1325.83/1326.22 c 1320s | 23 | 3196432 | 3023938 | 7431 938 | 0 | 0 1327.83/1328.24 c 1322s | 23 | 3201851 | 3029038 | 7431 940 | 0 | 0 1329.83/1330.25 c 1324s | 23 | 3207150 | 3034038 | 7431 941 | 0 | 0 1331.84/1332.29 c 1326s | 23 | 3212045 | 3038538 | 7431 942 | 0 | 0 1333.83/1334.30 c 1328s | 23 | 3217683 | 3043938 | 7431 943 | 0 | 0 1335.93/1336.31 c 1330s | 23 | 3222820 | 3049038 | 7431 945 | 0 | 0 1337.93/1338.33 c 1332s | 23 | 3228101 | 3054238 | 7431 946 | 0 | 0 1339.93/1340.34 c 1335s | 23 | 3232971 | 3059038 | 7431 947 | 0 | 0 1341.93/1342.36 c 1337s | 23 | 3237834 | 3063838 | 7431 948 | 0 | 0 1343.93/1344.37 c 1339s | 23 | 3242291 | 3068238 | 7431 950 | 0 | 0 1345.93/1346.39 c 1341s | 23 | 3247642 | 3073538 | 7431 951 | 0 | 0 1348.03/1348.44 c 1343s | 23 | 3253245 | 3079038 | 7431 952 | 0 | 0 1350.02/1350.47 c 1345s | 23 | 3257905 | 3083638 | 7431 953 | 0 | 0 1352.02/1352.47 c 1347s | 23 | 3262757 | 3088438 | 7431 955 | 0 | 0 1354.12/1354.50 c 1349s | 23 | 3268186 | 3093638 | 7431 956 | 0 | 0 1356.12/1356.52 c 1351s | 23 | 3273520 | 3098638 | 7431 957 | 0 | 0 1358.13/1358.53 c 1353s | 23 | 3278705 | 3103538 | 7431 958 | 0 | 0 1360.12/1360.57 c 1355s | 23 | 3283344 | 3107838 | 7431 960 | 0 | 0 1362.12/1362.58 c 1357s | 23 | 3288984 | 3113038 | 7431 961 | 0 | 0 1364.12/1364.59 c 1359s | 23 | 3294506 | 3117938 | 7431 962 | 0 | 0 1366.22/1366.61 c 1361s | 23 | 3299522 | 3122438 | 7431 963 | 0 | 0 1368.22/1368.61 c 1363s | 23 | 3304741 | 3127238 | 7431 964 | 0 | 0 1370.23/1370.63 c 1365s | 23 | 3310374 | 3132338 | 7431 966 | 0 | 0 1372.22/1372.67 c 1367s | 23 | 3315993 | 3137538 | 7431 967 | 0 | 0 1374.22/1374.68 c 1369s | 23 | 3321368 | 3142538 | 7431 968 | 0 | 0 1376.32/1376.71 c 1371s | 23 | 3326672 | 3147738 | 7431 970 | 0 | 0 1378.32/1378.74 c 1373s | 23 | 3332735 | 3153638 | 7431 971 | 0 | 0 1380.32/1380.74 c 1375s | 23 | 3337612 | 3158438 | 7431 972 | 0 | 0 1382.33/1382.75 c 1377s | 23 | 3342111 | 3162838 | 7431 973 | 0 | 0 1384.32/1384.76 c 1379s | 23 | 3346329 | 3167038 | 7431 975 | 0 | 0 1386.32/1386.79 c 1381s | 23 | 3352147 | 3172738 | 7431 976 | 0 | 0 1388.42/1388.82 c 1383s | 23 | 3356936 | 3177438 | 7431 977 | 0 | 0 1390.42/1390.86 c 1385s | 23 | 3362260 | 3182638 | 7431 979 | 0 | 0 1392.43/1392.88 c 1387s | 23 | 3367733 | 3187938 | 7431 980 | 0 | 0 1394.53/1394.93 c 1389s | 23 | 3372172 | 3192338 | 7431 981 | 0 | 0 1396.52/1396.95 c 1391s | 23 | 3377248 | 3197338 | 7431 982 | 0 | 0 1398.52/1398.95 c 1393s | 23 | 3382461 | 3202438 | 7431 984 | 0 | 0 1400.52/1400.96 c 1395s | 23 | 3388805 | 3208338 | 7431 985 | 0 | 0 1402.52/1403.00 c 1397s | 23 | 3394867 | 3214138 | 7431 986 | 0 | 0 1404.62/1405.00 c 1399s | 23 | 3400484 | 3219638 | 7431 988 | 0 | 0 1406.53/1407.00 c 1401s | 23 | 3406707 | 3225338 | 7431 989 | 0 | 0 1408.62/1409.04 c 1403s | 23 | 3412190 | 3230538 | 7431 991 | 0 | 0 1410.62/1411.06 c 1405s | 23 | 3417290 | 3235338 | 7431 992 | 0 | 0 1412.62/1413.08 c 1407s | 23 | 3422433 | 3240238 | 7431 993 | 0 | 0 1414.72/1415.12 c 1409s | 23 | 3427892 | 3245338 | 7431 994 | 0 | 0 1416.72/1417.14 c 1411s | 23 | 3433258 | 3250438 | 7431 996 | 0 | 0 1418.73/1419.15 c 1413s | 23 | 3438419 | 3255238 | 7431 997 | 0 | 0 1420.72/1421.16 c 1415s | 23 | 3443723 | 3260238 | 7431 998 | 0 | 0 1422.72/1423.19 c 1417s | 23 | 3449078 | 3265338 | 7431 999 | 0 | 0 1424.82/1425.21 c 1419s | 23 | 3454468 | 3270338 | 7431 1001 | 0 | 0 1426.82/1427.24 c 1421s | 23 | 3459760 | 3275038 | 7431 1002 | 0 | 0 1428.82/1429.27 c 1423s | 23 | 3465060 | 3279838 | 7431 1003 | 0 | 0 1430.92/1431.30 c 1425s | 23 | 3469965 | 3284238 | 7431 1004 | 0 | 0 1432.92/1433.32 c 1427s | 23 | 3474859 | 3288638 | 7431 1005 | 0 | 0 1434.91/1435.32 c 1429s | 23 | 3480146 | 3293538 | 7431 1006 | 0 | 0 1436.91/1437.33 c 1431s | 23 | 3484872 | 3297838 | 7431 1008 | 0 | 0 1438.91/1439.34 c 1434s | 23 | 3490620 | 3303538 | 7431 1009 | 0 | 0 1440.91/1441.37 c 1436s | 23 | 3495294 | 3308138 | 7431 1010 | 0 | 0 1443.01/1443.40 c 1438s | 23 | 3499537 | 3312338 | 7431 1011 | 0 | 0 1445.02/1445.46 c 1440s | 23 | 3504768 | 3317538 | 7431 1013 | 0 | 0 1447.01/1447.47 c 1442s | 23 | 3510532 | 3323238 | 7431 1014 | 0 | 0 1449.01/1449.48 c 1444s | 23 | 3515405 | 3328038 | 7431 1015 | 0 | 0 1451.01/1451.48 c 1446s | 23 | 3519786 | 3332338 | 7431 1016 | 0 | 0 1453.11/1453.54 c 1448s | 23 | 3524746 | 3337238 | 7431 1018 | 0 | 0 1455.11/1455.56 c 1450s | 23 | 3529748 | 3342138 | 8175 1019 | 0 | 0 1457.12/1457.56 c 1452s | 23 | 3534038 | 3346338 | 8175 1020 | 0 | 0 1459.11/1459.57 c 1454s | 23 | 3539375 | 3351538 | 8175 1021 | 0 | 0 1461.21/1461.64 c 1456s | 23 | 3544671 | 3356738 | 8175 1022 | 0 | 0 1463.21/1463.66 c 1458s | 23 | 3549538 | 3361538 | 8175 1023 | 0 | 0 1465.21/1465.67 c 1460s | 23 | 3554622 | 3366538 | 8175 1024 | 0 | 0 1467.31/1467.71 c 1462s | 23 | 3559402 | 3371238 | 8175 1025 | 0 | 0 1469.31/1469.73 c 1464s | 23 | 3563753 | 3375538 | 8175 1026 | 0 | 0 1469.71/1470.16 c 1464s | 24 | 3564946 | 3376662 | 8175 1027 | 0 | 0 1471.71/1472.17 c 1466s | 24 | 3570805 | 3382362 | 8175 1028 | 0 | 0 1473.81/1474.20 c 1468s | 24 | 3575883 | 3387362 | 8175 1029 | 0 | 0 1475.81/1476.24 c 1470s | 24 | 3580540 | 3391962 | 8175 1030 | 0 | 0 1477.90/1478.36 c 1473s | 24 | 3585409 | 3396662 | 8175 1031 | 0 | 0 1479.91/1480.36 c 1475s | 24 | 3590931 | 3400062 | 8175 1032 | 0 | 0 1482.01/1482.40 c 1477s | 24 | 3596259 | 3405362 | 8175 1033 | 0 | 0 1484.01/1484.41 c 1479s | 24 | 3600567 | 3409662 | 8175 1034 | 0 | 0 1486.01/1486.43 c 1481s | 24 | 3604514 | 3413562 | 8175 1035 | 0 | 0 1488.02/1488.43 c 1483s | 24 | 3610093 | 3419062 | 8175 1036 | 0 | 0 1490.01/1490.45 c 1485s | 24 | 3615246 | 3424162 | 8175 1038 | 0 | 0 1492.01/1492.47 c 1487s | 24 | 3619824 | 3428662 | 8175 1039 | 0 | 0 1494.11/1494.50 c 1489s | 24 | 3624886 | 3433662 | 8175 1040 | 0 | 0 1496.11/1496.53 c 1491s | 24 | 3629534 | 3438262 | 8175 1041 | 0 | 0 1498.11/1498.57 c 1493s | 24 | 3633130 | 3441062 | 8175 1041 | 0 | 0 1500.21/1500.64 c 1495s | 24 | 3635574 | 3442662 | 8175 1042 | 0 | 0 1502.31/1502.75 c 1497s | 24 | 3638733 | 3444562 | 8175 1042 | 0 | 0 1504.41/1504.83 c 1499s | 24 | 3641509 | 3446062 | 8175 1043 | 0 | 0 1506.41/1506.84 c 1501s | 24 | 3643937 | 3447762 | 8175 1043 | 0 | 0 1508.41/1508.88 c 1503s | 24 | 3647147 | 3450562 | 8175 1044 | 0 | 0 1510.51/1510.94 c 1505s | 24 | 3651508 | 3454562 | 8175 1044 | 0 | 0 1512.51/1512.97 c 1507s | 24 | 3652742 | 3455562 | 8175 1045 | 0 | 0 1514.60/1515.00 c 1509s | 24 | 3656091 | 3457962 | 8175 1045 | 0 | 0 1516.61/1517.01 c 1511s | 24 | 3660184 | 3461162 | 8175 1046 | 0 | 0 1518.60/1519.02 c 1513s | 24 | 3664151 | 3464762 | 8175 1047 | 0 | 0 1520.60/1521.08 c 1515s | 24 | 3667809 | 3468262 | 8175 1048 | 0 | 0 1522.70/1523.12 c 1517s | 24 | 3672438 | 3472662 | 8175 1049 | 0 | 0 1524.70/1525.16 c 1519s | 24 | 3676617 | 3476462 | 8175 1050 | 0 | 0 1526.70/1527.19 c 1521s | 24 | 3680059 | 3479562 | 8175 1050 | 0 | 0 1528.80/1529.25 c 1523s | 24 | 3682490 | 3481962 | 8175 1051 | 0 | 0 1530.91/1531.33 c 1525s | 24 | 3685115 | 3484562 | 8175 1051 | 0 | 0 1533.01/1533.42 c 1528s | 24 | 3687743 | 3487162 | 8175 1052 | 0 | 0 1535.00/1535.45 c 1530s | 24 | 3690171 | 3489562 | 8175 1053 | 0 | 0 1537.10/1537.50 c 1532s | 24 | 3693613 | 3492762 | 8175 1053 | 0 | 0 1539.10/1539.52 c 1534s | 24 | 3696637 | 3495362 | 8175 1054 | 0 | 0 1541.10/1541.55 c 1536s | 24 | 3698315 | 3496962 | 8175 1054 | 0 | 0 1543.10/1543.58 c 1538s | 24 | 3700607 | 3499162 | 8175 1055 | 0 | 0 1545.21/1545.63 c 1540s | 24 | 3703475 | 3501762 | 8175 1055 | 0 | 0 1547.20/1547.65 c 1542s | 24 | 3705508 | 3503762 | 8175 1056 | 0 | 0 1549.30/1549.72 c 1544s | 24 | 3707963 | 3506162 | 8175 1056 | 0 | 0 1551.30/1551.76 c 1546s | 24 | 3711129 | 3509262 | 8175 1057 | 0 | 0 1553.40/1553.80 c 1548s | 24 | 3714205 | 3512162 | 8175 1058 | 0 | 0 1555.40/1555.86 c 1550s | 24 | 3718642 | 3516062 | 8175 1059 | 0 | 0 1557.50/1557.91 c 1552s | 24 | 3723112 | 3519962 | 8175 1059 | 0 | 0 1559.50/1559.92 c 1554s | 24 | 3727674 | 3524262 | 8175 1060 | 0 | 0 1561.50/1561.97 c 1556s | 24 | 3732299 | 3528762 | 8175 1061 | 0 | 0 1563.50/1563.99 c 1558s | 24 | 3736229 | 3532462 | 8175 1062 | 0 | 0 1565.60/1566.02 c 1560s | 24 | 3739812 | 3535962 | 8175 1063 | 0 | 0 1567.59/1568.07 c 1562s | 24 | 3744197 | 3540262 | 8175 1064 | 0 | 0 1569.69/1570.10 c 1564s | 24 | 3747948 | 3543962 | 8175 1065 | 0 | 0 1571.69/1572.11 c 1566s | 24 | 3753748 | 3549462 | 8175 1066 | 0 | 0 1573.70/1574.14 c 1568s | 24 | 3758539 | 3554162 | 8175 1067 | 0 | 0 1575.69/1576.17 c 1570s | 24 | 3762692 | 3558162 | 8175 1068 | 0 | 0 1577.79/1578.21 c 1572s | 24 | 3766836 | 3562262 | 8175 1069 | 0 | 0 1579.79/1580.22 c 1574s | 24 | 3770381 | 3565762 | 8175 1070 | 0 | 0 1581.79/1582.26 c 1576s | 24 | 3773434 | 3568762 | 8175 1071 | 0 | 0 1583.89/1584.33 c 1578s | 24 | 3777080 | 3572362 | 8175 1071 | 0 | 0 1585.90/1586.36 c 1581s | 24 | 3780708 | 3575862 | 8175 1072 | 0 | 0 1587.89/1588.36 c 1583s | 24 | 3784780 | 3579862 | 8175 1073 | 0 | 0 1589.89/1590.37 c 1585s | 24 | 3788839 | 3583862 | 8175 1074 | 0 | 0 1591.99/1592.40 c 1587s | 24 | 3793241 | 3588162 | 8175 1075 | 0 | 0 1593.99/1594.43 c 1589s | 24 | 3798458 | 3593262 | 8175 1076 | 0 | 0 1595.99/1596.44 c 1591s | 24 | 3803161 | 3597762 | 8175 1077 | 0 | 0 1597.99/1598.48 c 1593s | 24 | 3807856 | 3602162 | 8175 1078 | 0 | 0 1600.09/1600.60 c 1595s | 24 | 3812370 | 3606362 | 8175 1079 | 0 | 0 1602.18/1602.61 c 1597s | 24 | 3817951 | 3611762 | 8175 1081 | 0 | 0 1604.18/1604.64 c 1599s | 24 | 3823561 | 3617162 | 8175 1082 | 0 | 0 1606.18/1606.66 c 1601s | 24 | 3827715 | 3621062 | 8175 1083 | 0 | 0 1608.18/1608.69 c 1603s | 24 | 3832520 | 3625562 | 8175 1084 | 0 | 0 1610.28/1610.72 c 1605s | 24 | 3838079 | 3630862 | 8175 1085 | 0 | 0 1612.30/1612.73 c 1607s | 24 | 3843599 | 3636062 | 8175 1086 | 0 | 0 1614.29/1614.75 c 1609s | 24 | 3849275 | 3641562 | 8175 1087 | 0 | 0 1616.39/1616.80 c 1611s | 24 | 3854293 | 3646362 | 8175 1088 | 0 | 0 1618.39/1618.85 c 1613s | 24 | 3859233 | 3650962 | 8175 1090 | 0 | 0 1620.39/1620.86 c 1615s | 24 | 3863700 | 3655262 | 8175 1091 | 0 | 0 1622.39/1622.88 c 1617s | 24 | 3868681 | 3660062 | 8175 1092 | 0 | 0 1624.40/1624.89 c 1619s | 24 | 3873887 | 3665062 | 8175 1093 | 0 | 0 1626.50/1626.92 c 1621s | 24 | 3879107 | 3670062 | 8175 1094 | 0 | 0 1628.49/1628.94 c 1623s | 24 | 3884536 | 3675162 | 8175 1095 | 0 | 0 1630.49/1630.94 c 1625s | 24 | 3889679 | 3679962 | 8175 1096 | 0 | 0 1632.59/1633.05 c 1627s | 24 | 3894446 | 3684262 | 8175 1097 | 0 | 0 1634.59/1635.06 c 1629s | 24 | 3899328 | 3688962 | 8175 1098 | 0 | 0 1636.59/1637.07 c 1631s | 24 | 3904264 | 3693562 | 8175 1099 | 0 | 0 1638.69/1639.14 c 1633s | 24 | 3908820 | 3697862 | 8175 1100 | 0 | 0 1640.69/1641.14 c 1635s | 24 | 3913294 | 3702162 | 8175 1101 | 0 | 0 1642.69/1643.15 c 1637s | 24 | 3918693 | 3707262 | 8175 1102 | 0 | 0 1644.69/1645.18 c 1639s | 24 | 3923383 | 3711662 | 8175 1103 | 0 | 0 1646.69/1647.19 c 1641s | 24 | 3927901 | 3715962 | 8175 1104 | 0 | 0 1648.79/1649.22 c 1643s | 24 | 3932498 | 3720262 | 8175 1105 | 0 | 0 1650.79/1651.24 c 1645s | 24 | 3937314 | 3724562 | 8175 1106 | 0 | 0 1652.78/1653.28 c 1647s | 24 | 3942227 | 3729062 | 8175 1107 | 0 | 0 1654.88/1655.32 c 1649s | 24 | 3946764 | 3733262 | 8175 1108 | 0 | 0 1656.88/1657.39 c 1652s | 24 | 3951345 | 3737462 | 8175 1109 | 0 | 0 1658.98/1659.41 c 1654s | 24 | 3955966 | 3741862 | 8175 1110 | 0 | 0 1660.98/1661.43 c 1656s | 24 | 3960822 | 3746562 | 8175 1111 | 0 | 0 1662.98/1663.46 c 1658s | 24 | 3965841 | 3751362 | 8175 1113 | 0 | 0 1664.99/1665.49 c 1660s | 24 | 3970224 | 3755662 | 8175 1114 | 0 | 0 1667.08/1667.52 c 1662s | 24 | 3974827 | 3760162 | 8175 1115 | 0 | 0 1669.08/1669.53 c 1664s | 24 | 3980285 | 3765362 | 8175 1116 | 0 | 0 1671.08/1671.53 c 1666s | 24 | 3985053 | 3769662 | 8175 1117 | 0 | 0 1673.08/1673.56 c 1668s | 24 | 3990236 | 3774662 | 8175 1118 | 0 | 0 1675.08/1675.58 c 1670s | 24 | 3995397 | 3779562 | 8175 1119 | 0 | 0 1677.09/1677.60 c 1672s | 24 | 4000622 | 3784062 | 8175 1120 | 0 | 0 1679.18/1679.64 c 1674s | 24 | 4004498 | 3787562 | 8175 1121 | 0 | 0 1681.18/1681.65 c 1676s | 24 | 4009403 | 3792262 | 8175 1122 | 0 | 0 1683.18/1683.66 c 1678s | 24 | 4013630 | 3796262 | 8175 1123 | 0 | 0 1685.28/1685.70 c 1680s | 24 | 4018239 | 3800662 | 8175 1124 | 0 | 0 1687.28/1687.73 c 1682s | 24 | 4023155 | 3805362 | 8175 1125 | 0 | 0 1689.29/1689.74 c 1684s | 24 | 4027567 | 3809662 | 8175 1126 | 0 | 0 1691.28/1691.76 c 1686s | 24 | 4032686 | 3814462 | 8175 1127 | 0 | 0 1693.28/1693.77 c 1688s | 24 | 4037558 | 3819162 | 8175 1128 | 0 | 0 1695.38/1695.82 c 1690s | 24 | 4042343 | 3823662 | 8175 1129 | 0 | 0 1697.38/1697.84 c 1692s | 24 | 4046926 | 3827762 | 8175 1130 | 0 | 0 1699.38/1699.87 c 1694s | 24 | 4051620 | 3832162 | 8175 1131 | 0 | 0 1701.48/1701.91 c 1696s | 24 | 4056940 | 3837362 | 8175 1132 | 0 | 0 1703.48/1703.95 c 1698s | 24 | 4062373 | 3842562 | 8175 1133 | 0 | 0 1705.47/1705.98 c 1700s | 24 | 4067239 | 3847262 | 8175 1135 | 0 | 0 1707.47/1707.99 c 1702s | 24 | 4072950 | 3852762 | 8175 1136 | 0 | 0 1709.57/1710.00 c 1704s | 24 | 4077746 | 3857362 | 8175 1137 | 0 | 0 1711.57/1712.03 c 1706s | 24 | 4083131 | 3862462 | 8175 1138 | 0 | 0 1713.57/1714.06 c 1708s | 24 | 4087871 | 3866862 | 8175 1139 | 0 | 0 1715.58/1716.08 c 1710s | 24 | 4093036 | 3871862 | 8175 1140 | 0 | 0 1717.57/1718.09 c 1712s | 24 | 4098252 | 3876862 | 8175 1141 | 0 | 0 1719.67/1720.14 c 1714s | 24 | 4103161 | 3881562 | 8175 1142 | 0 | 0 1721.67/1722.14 c 1716s | 24 | 4107871 | 3886162 | 8175 1144 | 0 | 0 1723.67/1724.16 c 1718s | 24 | 4113195 | 3891262 | 8175 1145 | 0 | 0 1725.67/1726.17 c 1720s | 24 | 4118379 | 3895962 | 8175 1146 | 0 | 0 1727.78/1728.25 c 1722s | 24 | 4122561 | 3899962 | 8175 1147 | 0 | 0 1729.77/1730.25 c 1724s | 24 | 4127666 | 3904762 | 8175 1148 | 0 | 0 1731.87/1732.34 c 1727s | 24 | 4132671 | 3909662 | 8175 1149 | 0 | 0 1733.87/1734.35 c 1729s | 24 | 4137146 | 3913962 | 8175 1150 | 0 | 0 1735.87/1736.38 c 1731s | 24 | 4142020 | 3918662 | 8175 1151 | 0 | 0 1737.97/1738.40 c 1733s | 24 | 4146807 | 3923262 | 8175 1152 | 0 | 0 1739.97/1740.42 c 1735s | 24 | 4151768 | 3928062 | 8175 1153 | 0 | 0 1741.97/1742.44 c 1737s | 24 | 4157007 | 3933062 | 8175 1154 | 0 | 0 1743.97/1744.46 c 1739s | 24 | 4161673 | 3937562 | 8175 1155 | 0 | 0 1745.97/1746.47 c 1741s | 24 | 4166768 | 3942462 | 8175 1156 | 0 | 0 1747.97/1748.50 c 1743s | 24 | 4171098 | 3946562 | 8175 1157 | 0 | 0 1750.06/1750.52 c 1745s | 24 | 4175768 | 3951062 | 8175 1158 | 0 | 0 1752.06/1752.58 c 1747s | 24 | 4179992 | 3955162 | 8175 1159 | 0 | 0 1754.07/1754.58 c 1749s | 24 | 4184992 | 3960062 | 8175 1160 | 0 | 0 1756.16/1756.64 c 1751s | 24 | 4189850 | 3964662 | 8175 1162 | 0 | 0 1758.16/1758.65 c 1753s | 24 | 4194979 | 3969362 | 8175 1163 | 0 | 0 1760.16/1760.67 c 1755s | 24 | 4199814 | 3973962 | 8175 1164 | 0 | 0 1762.27/1762.70 c 1757s | 24 | 4205153 | 3979162 | 8175 1165 | 0 | 0 1764.27/1764.72 c 1759s | 24 | 4210068 | 3983962 | 8175 1166 | 0 | 0 1766.27/1766.76 c 1761s | 24 | 4215426 | 3989062 | 8175 1167 | 0 | 0 1768.27/1768.79 c 1763s | 24 | 4220521 | 3993962 | 8175 1168 | 0 | 0 1770.37/1770.82 c 1765s | 24 | 4225098 | 3998362 | 8175 1169 | 0 | 0 1772.37/1772.85 c 1767s | 24 | 4230373 | 4003462 | 8175 1170 | 0 | 0 1774.37/1774.85 c 1769s | 24 | 4235831 | 4008762 | 8175 1172 | 0 | 0 1776.37/1776.89 c 1771s | 24 | 4241195 | 4013862 | 8175 1173 | 0 | 0 1778.46/1778.91 c 1773s | 24 | 4245795 | 4018062 | 8175 1174 | 0 | 0 1780.47/1780.94 c 1775s | 24 | 4250886 | 4022862 | 8175 1175 | 0 | 0 1782.46/1782.94 c 1777s | 24 | 4254909 | 4026762 | 8175 1176 | 0 | 0 1784.46/1784.97 c 1779s | 24 | 4258490 | 4030162 | 8175 1177 | 0 | 0 1786.46/1786.99 c 1781s | 24 | 4262677 | 4034162 | 8175 1177 | 0 | 0 1788.56/1789.01 c 1783s | 24 | 4267577 | 4038862 | 8175 1179 | 0 | 0 1790.56/1791.03 c 1785s | 24 | 4272843 | 4043862 | 8175 1180 | 0 | 0 1792.67/1793.12 c 1787s | 24 | 4276946 | 4047662 | 8175 1181 | 0 | 0 1794.66/1795.12 c 1789s | 24 | 4282408 | 4052862 | 8175 1182 | 0 | 0 1796.66/1797.14 c 1791s | 24 | 4287340 | 4057562 | 8175 1183 | 0 | 0 1798.66/1799.15 c 1793s | 24 | 4292120 | 4062162 | 8175 1184 | 0 | 0
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-4106313-1466269281/watcher-4106313-1466269281 -o /tmp/evaluation-result-4106313-1466269281/solver-4106313-1466269281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106313-1466269281.opb pid=22115 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.26 2.23 3/182 22118 /proc/meminfo: memFree=28927520/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=782780 CPUtime=0 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 2933 0 0 0 0 0 0 0 20 0 4 0 28973988 801566720 2782 33554432000 4194304 16246674 140735247650352 140735247649776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 196463 2791 441 2943 0 193357 0 [pid=22118/tid=22119] ppid=22115 vsize=801212 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 820441088 2853 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=805308 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 824635392 2871 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=809404 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 828829696 2887 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100172 s] /proc/loadavg: 2.18 2.26 2.23 3/182 22118 /proc/meminfo: memFree=28927520/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1218116 CPUtime=0.08 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 22067 0 0 0 5 3 0 0 20 0 4 0 28973988 1247350784 21904 33554432000 4194304 16246674 140735247650352 140735247649776 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 304529 21908 758 2943 0 301423 0 [pid=22118/tid=22119] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1247350784 21910 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 21914 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 21919 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200552 s] /proc/loadavg: 2.18 2.26 2.23 3/182 22118 /proc/meminfo: memFree=28927520/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 39033 0 0 0 13 6 0 0 20 0 4 0 28973988 1247350784 38870 33554432000 4194304 16246674 140735247650352 140735247649776 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 304529 38880 758 2943 0 301423 0 [pid=22118/tid=22119] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1247350784 38886 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 38895 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 38902 33554432000 4194304 16246674 140735247650352 140407458483376 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.30047 s] /proc/loadavg: 2.18 2.26 2.23 3/182 22118 /proc/meminfo: memFree=28927520/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 56053 0 0 0 20 9 0 0 20 0 4 0 28973988 1247350784 55890 33554432000 4194304 16246674 140735247650352 140735247649776 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 304529 55898 758 2943 0 301423 0 [pid=22118/tid=22119] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1247350784 55904 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 55909 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 55914 33554432000 4194304 16246674 140735247650352 140407458483376 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.700432 s] /proc/loadavg: 2.18 2.26 2.23 3/182 22118 /proc/meminfo: memFree=28927520/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 124050 0 0 0 51 18 0 0 20 0 4 0 28973988 1247350784 123887 33554432000 4194304 16246674 140735247650352 140735247649776 13759916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 304529 123894 765 2943 0 301423 0 [pid=22118/tid=22119] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1247350784 123898 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 123902 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 1247350784 123905 33554432000 4194304 16246674 140735247650352 140407458483376 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.50044 s] /proc/loadavg: 2.18 2.26 2.23 3/186 22122 /proc/meminfo: memFree=28207156/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1220164 CPUtime=1.49 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 245967 0 0 0 114 35 0 0 20 0 4 0 28973988 1249447936 245782 33554432000 4194304 16246674 140735247650352 140735247632256 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 305041 245787 798 2943 0 301935 0 [pid=22118/tid=22119] ppid=22115 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1249447936 245789 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1249447936 245793 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28973989 1249447936 245795 33554432000 4194304 16246674 140735247650352 140407458483376 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) 1220164 [startup+3.10039 s] /proc/loadavg: 2.18 2.26 2.23 3/186 22122 /proc/meminfo: memFree=27943532/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 267619 0 0 0 270 39 0 0 20 0 4 0 28973988 1337528320 267433 33554432000 4194304 16246674 140735247650352 140735247632256 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 326545 267433 833 2943 0 323439 0 [pid=22118/tid=22119] ppid=22115 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1337528320 267433 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1337528320 267433 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1337528320 267433 33554432000 4194304 16246674 140735247650352 140407458483376 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) 1306180 [startup+6.30043 s] /proc/loadavg: 2.24 2.27 2.23 3/186 22122 /proc/meminfo: memFree=27857740/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 267899 0 0 0 590 39 0 0 20 0 4 0 28973988 1338576896 267713 33554432000 4194304 16246674 140735247650352 140735247632256 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 326801 267713 851 2943 0 323695 0 [pid=22118/tid=22119] ppid=22115 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1338576896 267713 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1338576896 267713 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1338576896 267713 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.22 2.27 2.23 4/186 22122 /proc/meminfo: memFree=27854164/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 268667 0 0 0 1230 39 0 0 20 0 4 0 28973988 1341722624 268481 33554432000 4194304 16246674 140735247650352 140735247632256 12479221 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 327569 268481 851 2943 0 324463 0 [pid=22118/tid=22119] ppid=22115 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1341722624 268481 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1341722624 268481 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1341722624 268481 33554432000 4194304 16246674 140735247650352 140407458483376 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) 1310276 [startup+25.5004 s] /proc/loadavg: 2.24 2.27 2.23 3/186 22122 /proc/meminfo: memFree=27850560/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 269693 0 0 0 2509 40 0 0 20 0 4 0 28973988 1345916928 269507 33554432000 4194304 16246674 140735247650352 140735247633352 5673300 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 328593 269507 853 2943 0 325487 0 [pid=22118/tid=22119] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.23 2.26 2.23 3/185 22122 /proc/meminfo: memFree=27850400/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1314372 CPUtime=51.08 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 269693 0 0 0 5068 40 0 0 20 0 4 0 28973988 1345916928 269507 33554432000 4194304 16246674 140735247650352 140735247632256 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 328593 269507 853 2943 0 325487 0 [pid=22118/tid=22119] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1345916928 269507 33554432000 4194304 16246674 140735247650352 140407458483376 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) 1314372 [startup+102.3 s] /proc/loadavg: 2.19 2.25 2.23 4/185 22123 /proc/meminfo: memFree=27839780/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1324612 CPUtime=102.28 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 272253 0 0 0 10187 41 0 0 20 0 4 0 28973988 1356402688 272067 33554432000 4194304 16246674 140735247650352 140735247632256 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 331153 272067 853 2943 0 328047 0 [pid=22118/tid=22119] ppid=22115 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1356402688 272067 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1356402688 272067 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1356402688 272067 33554432000 4194304 16246674 140735247650352 140407458483376 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) 1324612 ################ # More data... # ################ /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.09 2.17 2.22 4/185 22251 /proc/meminfo: memFree=27837912/32872528 swapFree=1505440/1685312 [pid=22118] ppid=22115 vsize=1328708 CPUtime=1361.92 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 273625 0 0 0 136140 52 0 0 20 0 4 0 28973988 1360596992 273348 33554432000 4194304 16246674 140735247650352 140735247632256 6020857 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 332177 273348 854 2943 0 329071 0 [pid=22118/tid=22119] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.22 2.20 2.22 3/185 22252 /proc/meminfo: memFree=27837792/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1328708 CPUtime=1421.93 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 273625 0 0 0 142140 53 0 0 20 0 4 0 28973988 1360596992 273348 33554432000 4194304 16246674 140735247650352 140735247632256 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 332177 273348 854 2943 0 329071 0 [pid=22118/tid=22119] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1360596992 273348 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.17 2.19 2.21 3/185 22254 /proc/meminfo: memFree=27835928/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1330756 CPUtime=1481.91 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 274137 0 0 0 148137 54 0 0 20 0 4 0 28973988 1362694144 273860 33554432000 4194304 16246674 140735247650352 140735247632256 4206996 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 332689 273860 854 2943 0 329583 0 [pid=22118/tid=22119] ppid=22115 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1362694144 273860 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1362694144 273860 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1330756 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1362694144 273860 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.14 2.18 2.21 4/185 22255 /proc/meminfo: memFree=27830104/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1541.91 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 154137 54 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247632256 6022534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.22 2.19 2.21 4/185 22256 /proc/meminfo: memFree=27830244/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1601.88 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 160134 54 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247632256 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1335876 [startup+1662.3 s] /proc/loadavg: 2.21 2.19 2.20 3/185 22257 /proc/meminfo: memFree=27830496/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1661.88 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 166133 55 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247632256 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1335876 [startup+1722.3 s] /proc/loadavg: 2.18 2.18 2.19 4/186 22261 /proc/meminfo: memFree=27830244/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1721.87 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 172132 55 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247632256 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1335876 [startup+1782.3 s] /proc/loadavg: 2.24 2.19 2.19 3/185 22263 /proc/meminfo: memFree=27829860/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1781.86 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 178130 56 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247632256 5852120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1335876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.30 2.21 2.20 3/185 22264 /proc/meminfo: memFree=27829728/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1800.06 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 179950 56 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247633352 5659700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1335876 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 22118 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.30 2.21 2.20 3/185 22264 /proc/meminfo: memFree=27829728/32872528 swapFree=1505436/1685308 [pid=22118] ppid=22115 vsize=1335876 CPUtime=1800.06 cores=1,3,5,7 /proc/22118/stat : 22118 (toysat) R 22115 22118 21389 0 -1 4202496 275417 0 0 0 179950 56 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140735247633352 5659700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22118/statm: 333969 275140 854 2943 0 330863 0 [pid=22118/tid=22119] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22119/stat : 22119 (toysat) S 22115 22118 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28973988 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407479446768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22118/tid=22120] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22120/stat : 22120 (toysat) S 22115 22118 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407468956912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22118/tid=22121] ppid=22115 vsize=1335876 CPUtime=0 cores=1,3,5,7 /proc/22118/task/22121/stat : 22121 (toysat) S 22115 22118 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28973989 1367937024 275140 33554432000 4194304 16246674 140735247650352 140407458483376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1335876 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.51 CPU system time (s): 0.563914 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1335876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.563914 maximum resident set size= 1100560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275417 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= 362 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.98924 second user time and 7.58685 second system time The end
Begin job on node135 at 2016-06-18 19:01:21 IDJOB=4106313 IDBENCH=48013 IDSOLVER=2542 FILE ID=node135/4106313-1466269281 RUNJOBID= node135-1466266561-21406 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106313-1466269281/watcher-4106313-1466269281 -o /tmp/evaluation-result-4106313-1466269281/solver-4106313-1466269281 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106313-1466269281.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9de8f37e65dc0eaf693e157cab5aa725 RANDOM SEED=1665743951 node135.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 : 2667.004 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 : 5334.00 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 : 2667.004 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 : 2667.004 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.57 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 : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 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 : 2667.004 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 : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28928048 kB Buffers: 152672 kB Cached: 281348 kB SwapCached: 716 kB Active: 1219564 kB Inactive: 298304 kB Active(anon): 1084812 kB Inactive(anon): 1308 kB Active(file): 134752 kB Inactive(file): 296996 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16340 kB Writeback: 0 kB AnonPages: 2768608 kB Mapped: 10544 kB Shmem: 0 kB Slab: 605076 kB SReclaimable: 48788 kB SUnreclaim: 556288 kB KernelStack: 1488 kB PageTables: 9444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2909016 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 958464 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= 71672 MiB End job on node135 at 2016-06-18 19:31:21