| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.44 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb |
| MD5SUM | ffde7c44e1ce67f9a67e822c2db106af |
| 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.071988 |
| 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 | 81 |
| Total number of constraints | 7 |
| 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 | 7 |
| 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) | 243 |
| Sum of products size (including duplicates) | 486 |
| Number of different products | 243 |
| Sum of products size | 486 |
0.00/0.00 c 2016-06-07T01:16:51+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-4080202-1465255011.opb"] 0.00/0.01 c use --random-gen="643085521 3363832121 1591219729 3022920669 2587486161 2195772486 510995964 784573926 854519961 1042741298 2970989983 3920222730 3736225717 3859160801 2463348575 2250683670 3302189456 2710922215 2022491482 3842143659 795685133 3451671195 1207982179 712493034 1777154051 3074670869 208648500 1901938192 4059599405 3315721037 911782060 391918506 578973111 4270569994 3120474043 285113320 1958816855 3093379938 363601772 3318832463 1564638594 621252550 2335248969 162397405 1496123999 549208355 3985539192 2939129138 2256826662 2886513233 728022 928434175 2556829867 2318747249 2356359870 3281729151 43010169 705523821 3450719483 2371212714 1482492303 3801399955 285135304 2669589120 2170724568 886126025 3965863515 3140323646 843343755 2278250759 1102039328 1740420840 945062763 3818657591 4216866855 910742424 261915811 471154033 266311695 811163820 1106209989 685117786 2528575748 1824287418 1248875309 2343360562 1375412595 121865445 2725897060 3333035957 173382048 1533796703 834349367 1671976153 2816418927 3739105464 4275831720 3986965072 744719062 1101428840 1089087688 1710987917 2115721939 1547893927 3662978831 3523897351 2776411639 3776132278 856654737 3150239506 1364184955 2466126782 3509567577 3104132019 1293320834 413515312 1605677156 1656487658 3078736393 2153927766 799833132 78083958 2794258334 2455182320 2977620286 2267045763 3101453706 300150300 2874546301 3504612748 2012972331 2826709397 193451148 2625907379 3616320344 1852720457 3651208990 2165060318 602861697 2878302609 662196859 2724830593 3698665528 810863616 687903005 277228533 914368416 842422296 2939755985 801842468 2439957406 3176252446 150561329 1539725403 1979022032 3127006778 2260196926 488950710 3268597870 2793650297 2732756578 3862420441 3081806437 2418764286 2544519069 3366433881 192400472 2698884822 161812365 3536179271 1245244818 1635129821 3380537719 1424814235 1803100171 997783252 3882356968 4160403636 446511850 1500528245 1580073134 2460518525 545059899 679737014 2110400079 3629207331 3014613154 2044702400 1831863163 3824917477 745240220 3080246711 3583291234 3428891850 2168259350 924783050 4292234500 428910786 3598227183 3237641001 4019789376 1933060922 4218449819 440414474 363522708 3485596166 3696291306 4029541884 2039328345 4087536077 1197602069 1012546310 2596367856 2140119724 930250630 1941766625 3359741379 2456317490 3857347323 2765870611 3626001992 3639667204 4266512788 3864614772 4083113664 2242844989 3000606686 993583472 954091173 273967277 3021261705 1187124266 667839091 1162339581 104210850 2308214857 1305945748 989602344 2548474365 770450369 2830115957 125361453 1685153782 825114939 67846629 2356295388 1338541998 1846383011 427187409 97176429 1411955233 78205721 1098886576 992169186 402986024 638572876 255 362436" option to reproduce the execution 0.00/0.01 c #vars 81 0.00/0.01 c #constraints 7 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 354 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 114 | 100 | 354 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 279 | 250 | 390 0 | 0 | 0 0.09/0.14 c 0.1s | 3 | 516 | 475 | 430 0 | 0 | 0 0.19/0.24 c 0.2s | 4 | 872 | 813 | 474 2 | 0 | 0 0.29/0.36 c 0.3s | 5 | 1398 | 1320 | 522 3 | 0 | 0 0.49/0.57 c 0.6s | 6 | 2209 | 2081 | 633 5 | 0 | 0 0.88/0.97 c 1.0s | 7 | 3391 | 3223 | 697 8 | 0 | 0 1.38/1.43 c 1.4s | 8 | 5150 | 4936 | 767 12 | 0 | 0 2.08/2.20 c 2.2s | 9 | 7883 | 7506 | 844 17 | 0 | 0 2.88/2.95 c 2.9s | 9 | 11014 | 10588 | 844 23 | 0 | 0 2.88/2.95 c #cpu_time = 2.930s 2.88/2.95 c #wall_clock_time = 2.937s 2.88/2.95 c #decision = 11014 2.88/2.95 c #random_decision = 23 2.88/2.95 c #conflict = 10588 2.88/2.95 c #restart = 9 2.88/2.95 o 379 2.88/2.95 c BCD2: updating upper bound: 511 -> 378 3.08/3.12 c BCD2: 0 <= obj <= 378 3.08/3.12 c BCD2: #cores=0, #unrelaxed=9, #relaxed=0, #hardened=0 3.08/3.12 c BCD2: #sat=1 #unsat=1 bias=1/2 3.08/3.12 c Solving starts ... 3.08/3.12 c ============================[ Search Statistics ]============================ 3.08/3.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.08/3.12 c | | | | Limit GC | Var | Constra 3.08/3.12 c ============================================================================= 3.08/3.12 c 0.0s | 0 | 0 | 0 | 844 0 | 0 | 0 3.08/3.12 c 0.0s | 0 | 7 | 0 | 844 1 | 0 | 0 3.08/3.12 c #cpu_time = 0.004s 3.08/3.12 c #wall_clock_time = 0.004s 3.08/3.12 c #decision = 7 3.08/3.12 c #random_decision = 0 3.08/3.12 c #conflict = 0 3.08/3.12 c #restart = 0 3.08/3.12 c BCD2: found a new core of size 8: cost of the new core is >=2 3.08/3.12 c lower bound updated to 2 3.08/3.12 c BCD2: 2 <= obj <= 378 3.08/3.12 c BCD2: #cores=1, #unrelaxed=1, #relaxed=8, #hardened=0 3.08/3.12 c BCD2: #sat=1 #unsat=2 bias=2/3 3.08/3.12 c Solving starts ... 3.08/3.12 c ============================[ Search Statistics ]============================ 3.08/3.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.08/3.12 c | | | | Limit GC | Var | Constra 3.08/3.12 c ============================================================================= 3.08/3.12 c 0.0s | 0 | 0 | 0 | 844 0 | 0 | 0 3.08/3.12 c 0.1s | 1 | 138 | 100 | 844 0 | 0 | 0 3.08/3.12 c 0.1s | 2 | 337 | 250 | 844 0 | 0 | 0 3.08/3.17 c 0.2s | 3 | 596 | 475 | 844 0 | 0 | 0 3.08/3.23 c 0.3s | 4 | 1015 | 813 | 929 1 | 0 | 0 3.39/3.41 c 0.5s | 5 | 1576 | 1320 | 929 2 | 0 | 0 3.49/3.56 c 0.6s | 6 | 2404 | 2081 | 929 3 | 0 | 0 3.88/3.99 c 1.0s | 7 | 3589 | 3223 | 929 5 | 0 | 0 4.29/4.33 c 1.4s | 8 | 5378 | 4936 | 929 8 | 0 | 0 5.29/5.35 c 2.4s | 9 | 8149 | 7506 | 1022 12 | 0 | 0 6.19/6.20 c 3.2s | 10 | 12138 | 11361 | 1022 19 | 0 | 0 8.09/8.15 c 5.2s | 11 | 18151 | 17144 | 1125 28 | 0 | 0 10.10/10.17 c 7.2s | 11 | 26785 | 25444 | 1125 40 | 0 | 0 10.19/10.26 c 7.3s | 12 | 27169 | 25819 | 1125 40 | 0 | 0 12.20/12.29 c 9.3s | 12 | 33792 | 32219 | 1238 49 | 0 | 0 14.09/14.18 c 11.2s | 13 | 40830 | 38832 | 1238 58 | 0 | 0 16.09/16.18 c 13.2s | 13 | 49005 | 46732 | 1238 68 | 0 | 0 18.09/18.19 c 15.2s | 13 | 56162 | 53732 | 1362 77 | 0 | 0 19.49/19.51 c 16.6s | 14 | 60982 | 58352 | 1362 83 | 0 | 0 21.49/21.53 c 18.6s | 14 | 65487 | 62652 | 1362 88 | 0 | 0 23.49/23.54 c 20.6s | 14 | 71764 | 68752 | 1362 96 | 0 | 0 25.50/25.55 c 22.6s | 14 | 79177 | 75952 | 1362 104 | 0 | 0 27.49/27.56 c 24.6s | 14 | 86745 | 83352 | 1499 113 | 0 | 0 28.99/29.02 c 26.1s | 15 | 91218 | 87632 | 1499 118 | 0 | 0 30.99/31.03 c 28.1s | 15 | 98564 | 94732 | 1499 126 | 0 | 0 32.98/33.06 c 30.1s | 15 | 105800 | 101732 | 1499 134 | 0 | 0 34.98/35.07 c 32.1s | 15 | 112822 | 108532 | 1499 142 | 0 | 0 36.98/37.08 c 34.1s | 15 | 120655 | 116232 | 1499 150 | 0 | 0 38.98/39.08 c 36.1s | 15 | 128124 | 123532 | 1649 158 | 0 | 0 40.98/41.09 c 38.1s | 15 | 134653 | 129932 | 1649 165 | 0 | 0 41.48/41.58 c 38.6s | 16 | 136308 | 131552 | 1649 167 | 0 | 0 43.48/43.59 c 40.6s | 16 | 142781 | 137552 | 1649 173 | 0 | 0 45.48/45.59 c 42.6s | 16 | 150753 | 145152 | 1649 181 | 0 | 0 47.58/47.62 c 44.7s | 16 | 157831 | 151752 | 1649 188 | 0 | 0 49.59/49.63 c 46.7s | 16 | 165049 | 158452 | 1649 195 | 0 | 0 51.58/51.63 c 48.7s | 16 | 172439 | 165452 | 1649 203 | 0 | 0 53.58/53.65 c 50.7s | 16 | 179749 | 172352 | 1649 210 | 0 | 0 55.58/55.66 c 52.7s | 16 | 186433 | 178852 | 1649 217 | 0 | 0 57.58/57.67 c 54.7s | 16 | 193143 | 185352 | 1649 224 | 0 | 0 59.58/59.68 c 56.7s | 16 | 200276 | 192352 | 1814 230 | 0 | 0 60.98/61.03 c 58.1s | 17 | 205458 | 197432 | 1814 235 | 0 | 0 62.98/63.04 c 60.1s | 17 | 213709 | 205532 | 1814 243 | 0 | 0 64.99/65.06 c 62.1s | 17 | 221077 | 212832 | 1814 250 | 0 | 0 66.98/67.07 c 64.1s | 17 | 228488 | 220132 | 1814 257 | 0 | 0 68.98/69.09 c 66.1s | 17 | 236072 | 227632 | 1814 264 | 0 | 0 71.08/71.11 c 68.1s | 17 | 243601 | 235032 | 1814 272 | 0 | 0 73.08/73.13 c 70.2s | 17 | 250762 | 242132 | 1814 279 | 0 | 0 75.08/75.16 c 72.2s | 17 | 258267 | 249432 | 1814 286 | 0 | 0 77.09/77.16 c 74.2s | 17 | 265435 | 256432 | 1814 292 | 0 | 0 79.08/79.17 c 76.2s | 17 | 273078 | 263932 | 1814 300 | 0 | 0 81.18/81.20 c 78.2s | 17 | 280836 | 271532 | 1814 307 | 0 | 0 83.18/83.21 c 80.3s | 17 | 288485 | 279032 | 1814 314 | 0 | 0 85.18/85.22 c 82.3s | 17 | 295861 | 286332 | 1996 321 | 0 | 0 87.18/87.22 c 84.3s | 17 | 302756 | 293132 | 1996 327 | 0 | 0 88.08/88.16 c 85.2s | 18 | 305908 | 296252 | 1996 330 | 0 | 0 90.07/90.18 c 87.2s | 18 | 311785 | 301852 | 1996 335 | 0 | 0 92.17/92.21 c 89.3s | 18 | 317904 | 307652 | 1996 340 | 0 | 0 94.17/94.23 c 91.3s | 18 | 323881 | 313352 | 1996 345 | 0 | 0 96.17/96.26 c 93.3s | 18 | 329986 | 319152 | 1996 351 | 0 | 0 98.18/98.27 c 95.3s | 18 | 336521 | 325452 | 1996 356 | 0 | 0 100.19/100.29 c 97.3s | 18 | 344066 | 332752 | 1996 363 | 0 | 0 102.28/102.31 c 99.3s | 18 | 351618 | 340052 | 1996 369 | 0 | 0 104.28/104.33 c 101s | 18 | 357897 | 345952 | 1996 375 | 0 | 0 106.28/106.34 c 103s | 18 | 365361 | 353152 | 1996 381 | 0 | 0 108.28/108.37 c 105s | 18 | 372345 | 359952 | 1996 387 | 0 | 0 110.28/110.37 c 107s | 18 | 378474 | 365852 | 1996 392 | 0 | 0 112.28/112.38 c 109s | 18 | 386035 | 373152 | 1996 399 | 0 | 0 114.38/114.42 c 111s | 18 | 392850 | 379652 | 1996 405 | 0 | 0 116.38/116.43 c 113s | 18 | 398943 | 385552 | 1996 410 | 0 | 0 118.38/118.46 c 115s | 18 | 404491 | 390952 | 1996 415 | 0 | 0 120.47/120.51 c 117s | 18 | 410606 | 396852 | 1996 420 | 0 | 0 122.47/122.52 c 119s | 18 | 417522 | 403452 | 1996 426 | 0 | 0 124.48/124.53 c 121s | 18 | 425731 | 411452 | 1996 433 | 0 | 0 126.47/126.53 c 123s | 18 | 434041 | 419552 | 1996 440 | 0 | 0 128.47/128.54 c 125s | 18 | 441435 | 426752 | 1996 447 | 0 | 0 130.47/130.56 c 127s | 18 | 447876 | 432852 | 2196 452 | 0 | 0 132.47/132.56 c 129s | 18 | 455734 | 440452 | 2196 458 | 0 | 0 133.97/134.02 c 131s | 19 | 460019 | 444482 | 2196 462 | 0 | 0 135.97/136.02 c 133s | 19 | 468139 | 452382 | 2196 468 | 0 | 0 137.97/138.04 c 135s | 19 | 476049 | 460082 | 2196 474 | 0 | 0 139.97/140.05 c 137s | 19 | 483430 | 467382 | 2196 480 | 0 | 0 141.98/142.05 c 139s | 19 | 490547 | 474382 | 2196 486 | 0 | 0 143.97/144.07 c 141s | 19 | 497721 | 481482 | 2196 492 | 0 | 0 145.97/146.08 c 143s | 19 | 505296 | 488882 | 2196 498 | 0 | 0 147.97/148.09 c 145s | 19 | 512496 | 495982 | 2196 504 | 0 | 0 150.07/150.10 c 147s | 19 | 519824 | 503182 | 2196 510 | 0 | 0 152.07/152.11 c 149s | 19 | 527370 | 510582 | 2196 516 | 0 | 0 154.07/154.12 c 151s | 19 | 534703 | 517782 | 2196 522 | 0 | 0 156.07/156.14 c 153s | 19 | 542404 | 525282 | 2196 528 | 0 | 0 158.07/158.16 c 155s | 19 | 549674 | 532382 | 2196 534 | 0 | 0 160.07/160.17 c 157s | 19 | 556662 | 539282 | 2196 540 | 0 | 0 162.07/162.18 c 159s | 19 | 563703 | 546182 | 2196 546 | 0 | 0 164.17/164.21 c 161s | 19 | 570765 | 553082 | 2196 551 | 0 | 0 166.17/166.24 c 163s | 19 | 577855 | 559982 | 2196 557 | 0 | 0 168.16/168.25 c 165s | 19 | 585166 | 567182 | 2196 563 | 0 | 0 170.16/170.27 c 167s | 19 | 592592 | 574382 | 2196 569 | 0 | 0 172.16/172.28 c 169s | 19 | 600195 | 581782 | 2196 575 | 0 | 0 174.16/174.28 c 171s | 19 | 607329 | 588782 | 2196 581 | 0 | 0 176.17/176.29 c 173s | 19 | 614578 | 595882 | 2196 587 | 0 | 0 178.27/178.31 c 175s | 19 | 622062 | 603182 | 2196 593 | 0 | 0 180.26/180.32 c 177s | 19 | 628708 | 609682 | 2196 598 | 0 | 0 182.26/182.34 c 179s | 19 | 635924 | 616782 | 2196 604 | 0 | 0 184.26/184.34 c 181s | 19 | 643029 | 623782 | 2196 610 | 0 | 0 186.26/186.35 c 183s | 19 | 650106 | 630782 | 2196 616 | 0 | 0 188.27/188.38 c 185s | 19 | 657241 | 637782 | 2196 621 | 0 | 0 190.26/190.39 c 187s | 19 | 664194 | 644582 | 2196 627 | 0 | 0 192.36/192.42 c 189s | 19 | 670631 | 650882 | 2196 632 | 0 | 0 194.36/194.42 c 191s | 19 | 677611 | 657782 | 2416 637 | 0 | 0 196.36/196.43 c 193s | 19 | 683795 | 663882 | 2416 642 | 0 | 0 197.26/197.38 c 194s | 20 | 686753 | 666827 | 2416 644 | 0 | 0 199.36/199.41 c 196s | 20 | 692172 | 671927 | 2416 648 | 0 | 0 201.36/201.42 c 198s | 20 | 698128 | 677727 | 2416 652 | 0 | 0 203.36/203.43 c 200s | 20 | 704015 | 683327 | 2416 656 | 0 | 0 205.36/205.44 c 202s | 20 | 710081 | 689027 | 2416 661 | 0 | 0 207.36/207.47 c 204s | 20 | 716103 | 694927 | 2416 665 | 0 | 0 209.36/209.49 c 206s | 20 | 722351 | 700827 | 2416 669 | 0 | 0 211.45/211.50 c 208s | 20 | 727570 | 705827 | 2416 673 | 0 | 0 213.46/213.54 c 210s | 20 | 732895 | 711027 | 2416 677 | 0 | 0 215.45/215.56 c 212s | 20 | 738816 | 716727 | 2416 681 | 0 | 0 217.45/217.59 c 214s | 20 | 743991 | 721727 | 2416 685 | 0 | 0 219.55/219.61 c 216s | 20 | 749728 | 727327 | 2416 689 | 0 | 0 221.55/221.64 c 218s | 20 | 755234 | 732627 | 2416 693 | 0 | 0 223.55/223.67 c 220s | 20 | 761008 | 738227 | 2416 697 | 0 | 0 225.56/225.68 c 222s | 20 | 766535 | 743427 | 2416 701 | 0 | 0 227.65/227.70 c 224s | 20 | 771346 | 748127 | 2416 705 | 0 | 0 229.65/229.71 c 226s | 20 | 776856 | 753527 | 2416 709 | 0 | 0 231.65/231.73 c 228s | 20 | 781828 | 758427 | 2416 713 | 0 | 0 233.65/233.74 c 230s | 20 | 787002 | 763427 | 2416 716 | 0 | 0 235.65/235.76 c 232s | 20 | 792674 | 768827 | 2416 720 | 0 | 0 237.66/237.76 c 234s | 20 | 797311 | 773327 | 2416 724 | 0 | 0 239.65/239.79 c 236s | 20 | 802483 | 778327 | 2416 727 | 0 | 0 241.75/241.82 c 238s | 20 | 808037 | 783727 | 2416 731 | 0 | 0 243.75/243.84 c 240s | 20 | 813154 | 788727 | 2416 735 | 0 | 0 245.75/245.86 c 242s | 20 | 818454 | 793827 | 2416 739 | 0 | 0 247.75/247.87 c 244s | 20 | 823403 | 798627 | 2416 743 | 0 | 0 249.86/249.91 c 246s | 20 | 828637 | 803627 | 2416 746 | 0 | 0 251.85/251.94 c 248s | 20 | 833865 | 808627 | 2416 750 | 0 | 0 253.85/253.94 c 250s | 20 | 838512 | 813127 | 2416 754 | 0 | 0 255.85/255.95 c 252s | 20 | 843946 | 818427 | 2416 758 | 0 | 0 257.85/257.95 c 254s | 20 | 849185 | 823427 | 2416 761 | 0 | 0 259.85/259.99 c 257s | 20 | 853463 | 827527 | 2416 764 | 0 | 0 261.95/262.03 c 259s | 20 | 857787 | 831727 | 2416 768 | 0 | 0 263.94/264.06 c 261s | 20 | 861931 | 835727 | 2416 771 | 0 | 0 265.94/266.08 c 263s | 20 | 866045 | 839727 | 2416 774 | 0 | 0 268.05/268.10 c 265s | 20 | 870090 | 843627 | 2416 776 | 0 | 0 270.05/270.15 c 267s | 20 | 873977 | 847427 | 2416 779 | 0 | 0 272.05/272.18 c 269s | 20 | 878072 | 851327 | 2416 782 | 0 | 0 274.15/274.22 c 271s | 20 | 882341 | 855427 | 2416 785 | 0 | 0 276.16/276.22 c 273s | 20 | 886423 | 859427 | 2416 788 | 0 | 0 278.15/278.23 c 275s | 20 | 890048 | 862927 | 2416 791 | 0 | 0 280.15/280.25 c 277s | 20 | 893786 | 866527 | 2416 794 | 0 | 0 282.15/282.26 c 279s | 20 | 897793 | 870327 | 2416 797 | 0 | 0 284.15/284.30 c 281s | 20 | 903546 | 875927 | 2416 801 | 0 | 0 286.25/286.30 c 283s | 20 | 909655 | 881427 | 2416 805 | 0 | 0 288.25/288.32 c 285s | 20 | 916175 | 887427 | 2416 809 | 0 | 0 290.24/290.34 c 287s | 20 | 921995 | 893027 | 2416 814 | 0 | 0 292.24/292.34 c 289s | 20 | 928812 | 899427 | 2416 818 | 0 | 0 294.24/294.37 c 291s | 20 | 935369 | 905727 | 2416 823 | 0 | 0 296.34/296.40 c 293s | 20 | 941200 | 911127 | 2416 827 | 0 | 0 298.34/298.43 c 295s | 20 | 947604 | 917227 | 2416 832 | 0 | 0 300.35/300.45 c 297s | 20 | 954699 | 924127 | 2416 837 | 0 | 0 302.34/302.47 c 299s | 20 | 961141 | 930227 | 2416 842 | 0 | 0 304.34/304.48 c 301s | 20 | 967281 | 936027 | 2416 846 | 0 | 0 306.34/306.49 c 303s | 20 | 974164 | 942427 | 2416 851 | 0 | 0 308.45/308.51 c 305s | 20 | 981477 | 949427 | 2416 856 | 0 | 0 310.45/310.51 c 307s | 20 | 988303 | 955827 | 2416 861 | 0 | 0 312.45/312.51 c 309s | 20 | 994650 | 961627 | 2416 865 | 0 | 0 314.45/314.54 c 311s | 20 | 1000751 | 967427 | 2416 870 | 0 | 0 316.45/316.59 c 313s | 20 | 1005394 | 971827 | 2416 873 | 0 | 0 318.55/318.60 c 315s | 20 | 1010404 | 976527 | 2416 876 | 0 | 0 320.55/320.60 c 317s | 20 | 1015070 | 981027 | 2416 880 | 0 | 0 322.55/322.62 c 319s | 20 | 1019949 | 985727 | 2658 883 | 0 | 0 324.55/324.63 c 321s | 20 | 1024758 | 990327 | 2658 886 | 0 | 0 326.54/326.67 c 323s | 20 | 1029755 | 995127 | 2658 890 | 0 | 0 328.64/328.70 c 325s | 20 | 1034317 | 999427 | 2658 893 | 0 | 0 328.95/329.03 c 326s | 21 | 1035299 | 1000345 | 2658 893 | 0 | 0 330.94/331.03 c 328s | 21 | 1043115 | 1008045 | 2658 898 | 0 | 0 332.94/333.07 c 330s | 21 | 1050701 | 1015545 | 2658 904 | 0 | 0 334.94/335.09 c 332s | 21 | 1058233 | 1022945 | 2658 909 | 0 | 0 336.94/337.09 c 334s | 21 | 1065633 | 1030145 | 2658 914 | 0 | 0 338.95/339.09 c 336s | 21 | 1072935 | 1037345 | 2658 918 | 0 | 0 341.05/341.11 c 338s | 21 | 1080082 | 1044345 | 2658 923 | 0 | 0 343.04/343.13 c 340s | 21 | 1086545 | 1050545 | 2658 928 | 0 | 0 345.04/345.15 c 342s | 21 | 1092974 | 1056845 | 2658 932 | 0 | 0 347.04/347.16 c 344s | 21 | 1100144 | 1063845 | 2658 937 | 0 | 0 349.04/349.16 c 346s | 21 | 1107260 | 1070845 | 2658 942 | 0 | 0 351.04/351.19 c 348s | 21 | 1114282 | 1077745 | 2658 946 | 0 | 0 353.14/353.22 c 350s | 21 | 1121298 | 1084645 | 2658 951 | 0 | 0 355.14/355.23 c 352s | 21 | 1128339 | 1091545 | 2658 956 | 0 | 0 357.14/357.25 c 354s | 21 | 1135216 | 1098245 | 2658 961 | 0 | 0 359.14/359.27 c 356s | 21 | 1142115 | 1105045 | 2658 965 | 0 | 0 361.14/361.29 c 358s | 21 | 1149150 | 1111945 | 2658 970 | 0 | 0 363.23/363.30 c 360s | 21 | 1155844 | 1118445 | 2658 975 | 0 | 0 365.13/365.30 c 362s | 21 | 1162467 | 1124945 | 2658 979 | 0 | 0 367.23/367.31 c 364s | 21 | 1169274 | 1131645 | 2658 984 | 0 | 0 369.23/369.32 c 366s | 21 | 1175951 | 1138245 | 2658 988 | 0 | 0 371.23/371.34 c 368s | 21 | 1183081 | 1145245 | 2658 993 | 0 | 0 373.23/373.35 c 370s | 21 | 1190407 | 1152345 | 2658 998 | 0 | 0 375.24/375.36 c 372s | 21 | 1197701 | 1159345 | 2658 1003 | 0 | 0 377.23/377.38 c 374s | 21 | 1204705 | 1166245 | 2658 1008 | 0 | 0 379.23/379.38 c 376s | 21 | 1211566 | 1173045 | 2658 1012 | 0 | 0 381.23/381.38 c 378s | 21 | 1218270 | 1179645 | 2658 1017 | 0 | 0 383.33/383.42 c 380s | 21 | 1224980 | 1186245 | 2658 1022 | 0 | 0 385.33/385.42 c 382s | 21 | 1231810 | 1192945 | 2658 1026 | 0 | 0 387.34/387.43 c 384s | 21 | 1238298 | 1199345 | 2658 1031 | 0 | 0 389.33/389.43 c 386s | 21 | 1244675 | 1205645 | 2658 1035 | 0 | 0 391.33/391.44 c 388s | 21 | 1251221 | 1211945 | 2658 1039 | 0 | 0 393.33/393.46 c 390s | 21 | 1257945 | 1218545 | 2658 1044 | 0 | 0 395.33/395.47 c 392s | 21 | 1264771 | 1225245 | 2658 1049 | 0 | 0 397.33/397.48 c 394s | 21 | 1271774 | 1232145 | 2658 1053 | 0 | 0 399.33/399.49 c 396s | 21 | 1278098 | 1238345 | 2658 1058 | 0 | 0 401.43/401.51 c 398s | 21 | 1284651 | 1244745 | 2658 1062 | 0 | 0 403.43/403.54 c 400s | 21 | 1291423 | 1251445 | 2658 1067 | 0 | 0 405.43/405.56 c 402s | 21 | 1298433 | 1258345 | 2658 1072 | 0 | 0 407.43/407.57 c 404s | 21 | 1305157 | 1264945 | 2658 1076 | 0 | 0 409.42/409.59 c 406s | 21 | 1311499 | 1271145 | 2658 1080 | 0 | 0 411.53/411.61 c 408s | 21 | 1318129 | 1277445 | 2658 1085 | 0 | 0 413.52/413.63 c 410s | 21 | 1324523 | 1283645 | 2658 1089 | 0 | 0 415.52/415.65 c 412s | 21 | 1331032 | 1290045 | 2658 1094 | 0 | 0 417.52/417.67 c 414s | 21 | 1337579 | 1296445 | 2658 1098 | 0 | 0 419.62/419.70 c 416s | 21 | 1344190 | 1302945 | 2658 1103 | 0 | 0 421.62/421.72 c 418s | 21 | 1350589 | 1309245 | 2658 1107 | 0 | 0 423.63/423.73 c 420s | 21 | 1356963 | 1315545 | 2658 1111 | 0 | 0 425.62/425.74 c 422s | 21 | 1364011 | 1322445 | 2658 1116 | 0 | 0 427.62/427.76 c 424s | 21 | 1370999 | 1329345 | 2658 1121 | 0 | 0 429.63/429.79 c 426s | 21 | 1377112 | 1335345 | 2658 1125 | 0 | 0 431.73/431.81 c 428s | 21 | 1383336 | 1341345 | 2658 1129 | 0 | 0 433.73/433.81 c 430s | 21 | 1389308 | 1347245 | 2658 1133 | 0 | 0 435.73/435.83 c 432s | 21 | 1395830 | 1353545 | 2658 1138 | 0 | 0 437.73/437.85 c 434s | 21 | 1402209 | 1359845 | 2658 1142 | 0 | 0 439.73/439.85 c 436s | 21 | 1408889 | 1366345 | 2658 1146 | 0 | 0 441.72/441.87 c 438s | 21 | 1415580 | 1372845 | 2658 1151 | 0 | 0 443.72/443.88 c 440s | 21 | 1422413 | 1379445 | 2658 1156 | 0 | 0 445.82/445.90 c 442s | 21 | 1428953 | 1385845 | 2658 1160 | 0 | 0 447.83/447.91 c 444s | 21 | 1434985 | 1391845 | 2658 1164 | 0 | 0 449.82/449.92 c 446s | 21 | 1441450 | 1398245 | 2658 1168 | 0 | 0 451.82/451.93 c 448s | 21 | 1448145 | 1404845 | 2658 1173 | 0 | 0 453.82/453.94 c 450s | 21 | 1455035 | 1411545 | 2658 1178 | 0 | 0 455.82/455.96 c 452s | 21 | 1461334 | 1417645 | 2658 1182 | 0 | 0 457.82/457.97 c 455s | 21 | 1468046 | 1424145 | 2658 1187 | 0 | 0 459.83/459.97 c 457s | 21 | 1474117 | 1430145 | 2658 1191 | 0 | 0 461.82/461.98 c 459s | 21 | 1480161 | 1436045 | 2658 1195 | 0 | 0 463.82/463.99 c 461s | 21 | 1486283 | 1442045 | 2658 1199 | 0 | 0 465.92/466.01 c 463s | 21 | 1493489 | 1448945 | 2658 1204 | 0 | 0 467.92/468.02 c 465s | 21 | 1500907 | 1456045 | 2658 1209 | 0 | 0 469.92/470.03 c 467s | 21 | 1508030 | 1462845 | 2658 1213 | 0 | 0 471.92/472.03 c 469s | 21 | 1515331 | 1469845 | 2658 1218 | 0 | 0 473.92/474.04 c 471s | 21 | 1522635 | 1476945 | 2658 1223 | 0 | 0 475.92/476.06 c 473s | 21 | 1529184 | 1483245 | 2924 1227 | 0 | 0 477.92/478.07 c 475s | 21 | 1535899 | 1489645 | 2924 1231 | 0 | 0 479.92/480.07 c 477s | 21 | 1542642 | 1496045 | 2924 1235 | 0 | 0 481.31/481.43 c 478s | 22 | 1547364 | 1500622 | 2924 1238 | 0 | 0 483.31/483.44 c 480s | 22 | 1554059 | 1507022 | 2924 1242 | 0 | 0 485.31/485.45 c 482s | 22 | 1561533 | 1514222 | 2924 1247 | 0 | 0 487.32/487.46 c 484s | 22 | 1569094 | 1521522 | 2924 1251 | 0 | 0 489.31/489.46 c 486s | 22 | 1575098 | 1527322 | 2924 1255 | 0 | 0 491.31/491.48 c 488s | 22 | 1582371 | 1534222 | 2924 1259 | 0 | 0 493.41/493.51 c 490s | 22 | 1588923 | 1540622 | 2924 1263 | 0 | 0 495.41/495.51 c 492s | 22 | 1594178 | 1545722 | 2924 1267 | 0 | 0 497.41/497.52 c 494s | 22 | 1600823 | 1552222 | 2924 1271 | 0 | 0 499.42/499.52 c 496s | 22 | 1607198 | 1558422 | 2924 1275 | 0 | 0 501.41/501.54 c 498s | 22 | 1613371 | 1564322 | 2924 1278 | 0 | 0 503.41/503.55 c 500s | 22 | 1619722 | 1570322 | 2924 1282 | 0 | 0 505.41/505.57 c 502s | 22 | 1626630 | 1577022 | 2924 1287 | 0 | 0 507.41/507.59 c 504s | 22 | 1632959 | 1582922 | 2924 1290 | 0 | 0 509.51/509.61 c 506s | 22 | 1639494 | 1589322 | 2924 1294 | 0 | 0 511.52/511.64 c 508s | 22 | 1645474 | 1594922 | 2924 1298 | 0 | 0 513.51/513.64 c 510s | 22 | 1651668 | 1600922 | 2924 1302 | 0 | 0 515.51/515.68 c 512s | 22 | 1658454 | 1607522 | 2924 1306 | 0 | 0 517.51/517.68 c 514s | 22 | 1664429 | 1613322 | 2924 1310 | 0 | 0 519.51/519.68 c 516s | 22 | 1671343 | 1620022 | 2924 1314 | 0 | 0 521.61/521.71 c 518s | 22 | 1677342 | 1625722 | 2924 1317 | 0 | 0 523.62/523.74 c 520s | 22 | 1683763 | 1631822 | 2924 1321 | 0 | 0 525.61/525.75 c 522s | 22 | 1690552 | 1638322 | 2924 1325 | 0 | 0 527.61/527.76 c 524s | 22 | 1696904 | 1644422 | 2924 1329 | 0 | 0 529.61/529.79 c 526s | 22 | 1703998 | 1651322 | 2924 1334 | 0 | 0 531.71/531.82 c 528s | 22 | 1710625 | 1657722 | 2924 1338 | 0 | 0 533.71/533.85 c 530s | 22 | 1717163 | 1664122 | 2924 1342 | 0 | 0 535.72/535.86 c 532s | 22 | 1723687 | 1670522 | 2924 1346 | 0 | 0 537.71/537.86 c 534s | 22 | 1730197 | 1676922 | 2924 1350 | 0 | 0 539.71/539.89 c 536s | 22 | 1736053 | 1682522 | 2924 1353 | 0 | 0 541.81/541.91 c 538s | 22 | 1742351 | 1688622 | 2924 1357 | 0 | 0 543.81/543.94 c 540s | 22 | 1748602 | 1694722 | 2924 1361 | 0 | 0 545.81/545.96 c 542s | 22 | 1755704 | 1701622 | 2924 1365 | 0 | 0 547.81/548.00 c 545s | 22 | 1761832 | 1707522 | 2924 1369 | 0 | 0 549.91/550.02 c 547s | 22 | 1768351 | 1713822 | 2924 1373 | 0 | 0 551.91/552.03 c 549s | 22 | 1774296 | 1719422 | 2924 1377 | 0 | 0 553.91/554.03 c 551s | 22 | 1781485 | 1726322 | 2924 1381 | 0 | 0 555.91/556.04 c 553s | 22 | 1788870 | 1733522 | 2924 1386 | 0 | 0 557.91/558.07 c 555s | 22 | 1795419 | 1739722 | 2924 1390 | 0 | 0 559.91/560.08 c 557s | 22 | 1801989 | 1745922 | 2924 1393 | 0 | 0 562.00/562.11 c 559s | 22 | 1808458 | 1752222 | 2924 1397 | 0 | 0 564.00/564.13 c 561s | 22 | 1814852 | 1758422 | 2924 1401 | 0 | 0 566.00/566.15 c 563s | 22 | 1821522 | 1764822 | 2924 1405 | 0 | 0 568.00/568.15 c 565s | 22 | 1828880 | 1771922 | 2924 1410 | 0 | 0 570.00/570.18 c 567s | 22 | 1835054 | 1777822 | 2924 1414 | 0 | 0 572.01/572.20 c 569s | 22 | 1841450 | 1783922 | 2924 1417 | 0 | 0 574.10/574.22 c 571s | 22 | 1848462 | 1790422 | 2924 1422 | 0 | 0 576.10/576.25 c 573s | 22 | 1854489 | 1796022 | 2924 1425 | 0 | 0 578.10/578.27 c 575s | 22 | 1860753 | 1802022 | 2924 1429 | 0 | 0 580.10/580.29 c 577s | 22 | 1867571 | 1808622 | 2924 1433 | 0 | 0 582.10/582.29 c 579s | 22 | 1874003 | 1814522 | 2924 1437 | 0 | 0 584.21/584.33 c 581s | 22 | 1879851 | 1820122 | 2924 1440 | 0 | 0 586.20/586.34 c 583s | 22 | 1885528 | 1825422 | 2924 1444 | 0 | 0 588.20/588.34 c 585s | 22 | 1891583 | 1831322 | 2924 1448 | 0 | 0 590.20/590.38 c 587s | 22 | 1897718 | 1837022 | 2924 1451 | 0 | 0 592.20/592.39 c 589s | 22 | 1903192 | 1842322 | 2924 1455 | 0 | 0 594.30/594.42 c 591s | 22 | 1908893 | 1847722 | 2924 1458 | 0 | 0 596.31/596.46 c 593s | 22 | 1915055 | 1853722 | 2924 1462 | 0 | 0 598.30/598.48 c 595s | 22 | 1921613 | 1860122 | 2924 1466 | 0 | 0 600.30/600.49 c 597s | 22 | 1928556 | 1866922 | 2924 1470 | 0 | 0 602.40/602.51 c 599s | 22 | 1934660 | 1872722 | 2924 1474 | 0 | 0 604.40/604.51 c 601s | 22 | 1940621 | 1878422 | 2924 1477 | 0 | 0 606.40/606.52 c 603s | 22 | 1946470 | 1884022 | 2924 1481 | 0 | 0 608.40/608.54 c 605s | 22 | 1953390 | 1890622 | 2924 1485 | 0 | 0 610.40/610.56 c 607s | 22 | 1959759 | 1896822 | 2924 1489 | 0 | 0 612.39/612.56 c 609s | 22 | 1966496 | 1903322 | 2924 1493 | 0 | 0 614.39/614.59 c 611s | 22 | 1973262 | 1909822 | 2924 1497 | 0 | 0 616.39/616.59 c 613s | 22 | 1978774 | 1915122 | 2924 1501 | 0 | 0 618.49/618.61 c 615s | 22 | 1984875 | 1920722 | 2924 1504 | 0 | 0 620.50/620.61 c 617s | 22 | 1990813 | 1926422 | 2924 1508 | 0 | 0 622.49/622.65 c 619s | 22 | 1997081 | 1932522 | 2924 1512 | 0 | 0 624.49/624.67 c 621s | 22 | 2003709 | 1938922 | 2924 1516 | 0 | 0 626.49/626.68 c 623s | 22 | 2010020 | 1945022 | 2924 1520 | 0 | 0 628.59/628.70 c 625s | 22 | 2016427 | 1951222 | 2924 1524 | 0 | 0 630.59/630.72 c 627s | 22 | 2022885 | 1957522 | 2924 1528 | 0 | 0 632.60/632.75 c 629s | 22 | 2029259 | 1963722 | 2924 1532 | 0 | 0 634.59/634.77 c 631s | 22 | 2035714 | 1970022 | 2924 1536 | 0 | 0 636.59/636.80 c 633s | 22 | 2042272 | 1976422 | 2924 1540 | 0 | 0 638.69/638.83 c 635s | 22 | 2048291 | 1982322 | 2924 1543 | 0 | 0 640.69/640.85 c 637s | 22 | 2055370 | 1989222 | 2924 1548 | 0 | 0 642.69/642.86 c 639s | 22 | 2061921 | 1995622 | 2924 1552 | 0 | 0 644.70/644.87 c 641s | 22 | 2068261 | 2001722 | 2924 1556 | 0 | 0 646.70/646.88 c 643s | 22 | 2074739 | 2008022 | 2924 1560 | 0 | 0 648.80/648.90 c 645s | 22 | 2081289 | 2014422 | 2924 1564 | 0 | 0 650.80/650.91 c 647s | 22 | 2088073 | 2020922 | 2924 1568 | 0 | 0 652.79/652.93 c 649s | 22 | 2094597 | 2027322 | 2924 1572 | 0 | 0 654.79/654.95 c 651s | 22 | 2101736 | 2034222 | 2924 1576 | 0 | 0 656.80/656.96 c 653s | 22 | 2108439 | 2040722 | 2924 1580 | 0 | 0 658.79/658.96 c 655s | 22 | 2114333 | 2046422 | 2924 1584 | 0 | 0 660.79/660.96 c 657s | 22 | 2120555 | 2052322 | 2924 1588 | 0 | 0 662.79/662.96 c 660s | 22 | 2126573 | 2058022 | 2924 1591 | 0 | 0 664.79/664.96 c 662s | 22 | 2133281 | 2064422 | 2924 1595 | 0 | 0 666.89/667.00 c 664s | 22 | 2139785 | 2070622 | 2924 1599 | 0 | 0 668.90/669.00 c 666s | 22 | 2145326 | 2075822 | 2924 1603 | 0 | 0 670.89/671.02 c 668s | 22 | 2150302 | 2080622 | 2924 1606 | 0 | 0 672.89/673.03 c 670s | 22 | 2156640 | 2086722 | 2924 1610 | 0 | 0 674.89/675.04 c 672s | 22 | 2164036 | 2093822 | 2924 1614 | 0 | 0 676.89/677.05 c 674s | 22 | 2171098 | 2100522 | 2924 1618 | 0 | 0 678.89/679.08 c 676s | 22 | 2177634 | 2106822 | 2924 1622 | 0 | 0 680.99/681.11 c 678s | 22 | 2184508 | 2113522 | 2924 1627 | 0 | 0 682.99/683.15 c 680s | 22 | 2190417 | 2119222 | 2924 1630 | 0 | 0 684.99/685.16 c 682s | 22 | 2196655 | 2125222 | 2924 1634 | 0 | 0 686.98/687.18 c 684s | 22 | 2203160 | 2131622 | 2924 1638 | 0 | 0 688.98/689.19 c 686s | 22 | 2209858 | 2138122 | 2924 1642 | 0 | 0 691.08/691.21 c 688s | 22 | 2216529 | 2144422 | 2924 1646 | 0 | 0 693.09/693.24 c 690s | 22 | 2222403 | 2150022 | 2924 1650 | 0 | 0 695.08/695.26 c 692s | 22 | 2228691 | 2155722 | 2924 1653 | 0 | 0 697.08/697.29 c 694s | 22 | 2234555 | 2161422 | 2924 1657 | 0 | 0 699.18/699.30 c 696s | 22 | 2239429 | 2166122 | 2924 1660 | 0 | 0 701.18/701.31 c 698s | 22 | 2245504 | 2171922 | 2924 1664 | 0 | 0 703.18/703.33 c 700s | 22 | 2251885 | 2178022 | 2924 1668 | 0 | 0 705.19/705.35 c 702s | 22 | 2258832 | 2184622 | 2924 1672 | 0 | 0 707.18/707.36 c 704s | 22 | 2265753 | 2191322 | 2924 1676 | 0 | 0 709.18/709.37 c 706s | 22 | 2272779 | 2198122 | 2924 1680 | 0 | 0 711.18/711.38 c 708s | 22 | 2279803 | 2204822 | 2924 1685 | 0 | 0 713.18/713.38 c 710s | 22 | 2286702 | 2211422 | 2924 1689 | 0 | 0 715.18/715.39 c 712s | 22 | 2293087 | 2217622 | 2924 1693 | 0 | 0 717.28/717.42 c 714s | 22 | 2299720 | 2224022 | 2924 1697 | 0 | 0 719.28/719.44 c 716s | 22 | 2305460 | 2229522 | 3217 1700 | 0 | 0 721.28/721.46 c 718s | 22 | 2311836 | 2235622 | 3217 1703 | 0 | 0 723.28/723.47 c 720s | 22 | 2318006 | 2241622 | 3217 1707 | 0 | 0 725.27/725.49 c 722s | 22 | 2324713 | 2248122 | 3217 1711 | 0 | 0 726.18/726.32 c 723s | 23 | 2327664 | 2251038 | 3217 1712 | 0 | 0 728.19/728.34 c 725s | 23 | 2335218 | 2258438 | 3217 1717 | 0 | 0 730.18/730.36 c 727s | 23 | 2342582 | 2265638 | 3217 1721 | 0 | 0 732.18/732.38 c 729s | 23 | 2349203 | 2272138 | 3217 1725 | 0 | 0 734.18/734.38 c 731s | 23 | 2355169 | 2278038 | 3217 1728 | 0 | 0 736.18/736.39 c 733s | 23 | 2361051 | 2283838 | 3217 1731 | 0 | 0 738.28/738.40 c 735s | 23 | 2367165 | 2289838 | 3217 1735 | 0 | 0 740.29/740.42 c 737s | 23 | 2373138 | 2295638 | 3217 1738 | 0 | 0 742.28/742.42 c 739s | 23 | 2379671 | 2301938 | 3217 1742 | 0 | 0 744.28/744.46 c 741s | 23 | 2385976 | 2308038 | 3217 1746 | 0 | 0 746.28/746.48 c 743s | 23 | 2392352 | 2314238 | 3217 1749 | 0 | 0 748.38/748.50 c 745s | 23 | 2398674 | 2320438 | 3217 1753 | 0 | 0 750.38/750.51 c 747s | 23 | 2404678 | 2326338 | 3217 1756 | 0 | 0 752.38/752.53 c 749s | 23 | 2410746 | 2332238 | 3217 1760 | 0 | 0 754.38/754.56 c 751s | 23 | 2416959 | 2338338 | 3217 1763 | 0 | 0 756.38/756.57 c 753s | 23 | 2423215 | 2344438 | 3217 1767 | 0 | 0 758.38/758.59 c 755s | 23 | 2429459 | 2350538 | 3217 1770 | 0 | 0 760.38/760.59 c 757s | 23 | 2435570 | 2356538 | 3217 1774 | 0 | 0 762.48/762.62 c 759s | 23 | 2441263 | 2362138 | 3217 1777 | 0 | 0 764.48/764.65 c 761s | 23 | 2446971 | 2367738 | 3217 1781 | 0 | 0 766.47/766.66 c 763s | 23 | 2452903 | 2373538 | 3217 1784 | 0 | 0 768.47/768.67 c 765s | 23 | 2458998 | 2379438 | 3217 1787 | 0 | 0 770.47/770.69 c 767s | 23 | 2465464 | 2385738 | 3217 1791 | 0 | 0 772.57/772.71 c 769s | 23 | 2472134 | 2392238 | 3217 1795 | 0 | 0 774.57/774.72 c 771s | 23 | 2478567 | 2398538 | 3217 1798 | 0 | 0 776.58/776.75 c 773s | 23 | 2485345 | 2405138 | 3217 1802 | 0 | 0 778.57/778.77 c 775s | 23 | 2492202 | 2411838 | 3217 1806 | 0 | 0 780.57/780.79 c 777s | 23 | 2498793 | 2418338 | 3217 1810 | 0 | 0 782.67/782.81 c 779s | 23 | 2505402 | 2424838 | 3217 1814 | 0 | 0 784.67/784.82 c 781s | 23 | 2512024 | 2431338 | 3217 1818 | 0 | 0 786.67/786.85 c 783s | 23 | 2518735 | 2437938 | 3217 1821 | 0 | 0 788.68/788.86 c 785s | 23 | 2525073 | 2444138 | 3217 1825 | 0 | 0 790.67/790.87 c 787s | 23 | 2531508 | 2450538 | 3217 1829 | 0 | 0 792.67/792.89 c 789s | 23 | 2538142 | 2457038 | 3217 1832 | 0 | 0 794.77/794.91 c 791s | 23 | 2545082 | 2463838 | 3217 1836 | 0 | 0 796.77/796.93 c 793s | 23 | 2551812 | 2470438 | 3217 1840 | 0 | 0 798.77/798.94 c 795s | 23 | 2558416 | 2476938 | 3217 1844 | 0 | 0 800.77/800.96 c 798s | 23 | 2565266 | 2483638 | 3217 1848 | 0 | 0 802.77/802.97 c 800s | 23 | 2572417 | 2490538 | 3217 1852 | 0 | 0 804.76/804.97 c 802s | 23 | 2579193 | 2497138 | 3217 1856 | 0 | 0 806.76/806.98 c 804s | 23 | 2585708 | 2503538 | 3217 1859 | 0 | 0 808.86/809.00 c 806s | 23 | 2592226 | 2509838 | 3217 1863 | 0 | 0 810.86/811.00 c 808s | 23 | 2598766 | 2516238 | 3217 1867 | 0 | 0 812.87/813.01 c 810s | 23 | 2604444 | 2521838 | 3217 1870 | 0 | 0 814.86/815.03 c 812s | 23 | 2610419 | 2527738 | 3217 1873 | 0 | 0 816.87/817.04 c 814s | 23 | 2616299 | 2533438 | 3217 1877 | 0 | 0 818.87/819.05 c 816s | 23 | 2622392 | 2539438 | 3217 1880 | 0 | 0 820.87/821.08 c 818s | 23 | 2628602 | 2545538 | 3217 1884 | 0 | 0 822.97/823.11 c 820s | 23 | 2634664 | 2551538 | 3217 1887 | 0 | 0 824.97/825.11 c 822s | 23 | 2640276 | 2557038 | 3217 1890 | 0 | 0 826.97/827.13 c 824s | 23 | 2644593 | 2561238 | 3217 1893 | 0 | 0 828.97/829.13 c 826s | 23 | 2649365 | 2565838 | 3217 1896 | 0 | 0 830.97/831.17 c 828s | 23 | 2654927 | 2571238 | 3217 1899 | 0 | 0 832.97/833.19 c 830s | 23 | 2660563 | 2576638 | 3217 1902 | 0 | 0 835.07/835.21 c 832s | 23 | 2666677 | 2582638 | 3217 1905 | 0 | 0 837.07/837.23 c 834s | 23 | 2672266 | 2588138 | 3217 1909 | 0 | 0 839.07/839.24 c 836s | 23 | 2677022 | 2592738 | 3217 1911 | 0 | 0 841.07/841.28 c 838s | 23 | 2681325 | 2596938 | 3217 1914 | 0 | 0 843.06/843.29 c 840s | 23 | 2686055 | 2601538 | 3217 1916 | 0 | 0 845.16/845.32 c 842s | 23 | 2691674 | 2606938 | 3217 1920 | 0 | 0 847.16/847.34 c 844s | 23 | 2697169 | 2612238 | 3217 1923 | 0 | 0 849.17/849.37 c 846s | 23 | 2702783 | 2617638 | 3217 1926 | 0 | 0 851.16/851.38 c 848s | 23 | 2708594 | 2623038 | 3217 1929 | 0 | 0 853.26/853.42 c 850s | 23 | 2714410 | 2628438 | 3217 1932 | 0 | 0 855.26/855.44 c 852s | 23 | 2719902 | 2633438 | 3217 1935 | 0 | 0 857.26/857.48 c 854s | 23 | 2725270 | 2638538 | 3217 1938 | 0 | 0 859.36/859.51 c 856s | 23 | 2731358 | 2644038 | 3217 1941 | 0 | 0 861.37/861.53 c 858s | 23 | 2736576 | 2649038 | 3217 1944 | 0 | 0 863.36/863.55 c 860s | 23 | 2742454 | 2654638 | 3217 1947 | 0 | 0 865.36/865.58 c 862s | 23 | 2748033 | 2660038 | 3217 1951 | 0 | 0 867.46/867.60 c 864s | 23 | 2753406 | 2665338 | 3217 1954 | 0 | 0 869.46/869.62 c 866s | 23 | 2759072 | 2670838 | 3217 1957 | 0 | 0 871.46/871.64 c 868s | 23 | 2764519 | 2676238 | 3217 1960 | 0 | 0 873.46/873.66 c 870s | 23 | 2770509 | 2682038 | 3217 1964 | 0 | 0 875.45/875.69 c 872s | 23 | 2776287 | 2687538 | 3217 1967 | 0 | 0 877.55/877.71 c 874s | 23 | 2782280 | 2693338 | 3217 1970 | 0 | 0 879.55/879.74 c 876s | 23 | 2788225 | 2699138 | 3217 1974 | 0 | 0 881.55/881.75 c 878s | 23 | 2794156 | 2704838 | 3217 1977 | 0 | 0 883.55/883.76 c 880s | 23 | 2799618 | 2709938 | 3217 1980 | 0 | 0 885.65/885.81 c 882s | 23 | 2804689 | 2714838 | 3217 1983 | 0 | 0 887.66/887.81 c 884s | 23 | 2810439 | 2720338 | 3217 1986 | 0 | 0 889.65/889.81 c 886s | 23 | 2816103 | 2725738 | 3217 1989 | 0 | 0 891.65/891.82 c 888s | 23 | 2821828 | 2731138 | 3217 1992 | 0 | 0 893.65/893.82 c 890s | 23 | 2827415 | 2736538 | 3217 1996 | 0 | 0 895.65/895.86 c 892s | 23 | 2833211 | 2742138 | 3217 1999 | 0 | 0 897.66/897.87 c 894s | 23 | 2839156 | 2747838 | 3217 2002 | 0 | 0 899.76/899.91 c 896s | 23 | 2844783 | 2753238 | 3217 2005 | 0 | 0 901.76/901.93 c 898s | 23 | 2850337 | 2758638 | 3217 2008 | 0 | 0 903.76/903.95 c 900s | 23 | 2855624 | 2763738 | 3217 2011 | 0 | 0 905.76/905.97 c 903s | 23 | 2860927 | 2768838 | 3217 2014 | 0 | 0 907.76/908.00 c 905s | 23 | 2866427 | 2774038 | 3217 2017 | 0 | 0 909.86/910.00 c 907s | 23 | 2871867 | 2779038 | 3217 2020 | 0 | 0 911.86/912.03 c 909s | 23 | 2877503 | 2784238 | 3217 2023 | 0 | 0 913.86/914.05 c 911s | 23 | 2882613 | 2789038 | 3217 2026 | 0 | 0 915.85/916.06 c 913s | 23 | 2888268 | 2794338 | 3217 2029 | 0 | 0 917.85/918.09 c 915s | 23 | 2894067 | 2799838 | 3217 2033 | 0 | 0 919.85/920.09 c 917s | 23 | 2899989 | 2805338 | 3217 2036 | 0 | 0 921.95/922.11 c 919s | 23 | 2905674 | 2810738 | 3217 2039 | 0 | 0 923.96/924.15 c 921s | 23 | 2911357 | 2816138 | 3217 2042 | 0 | 0 925.95/926.17 c 923s | 23 | 2917420 | 2821838 | 3217 2046 | 0 | 0 927.95/928.18 c 925s | 23 | 2923851 | 2827938 | 3217 2049 | 0 | 0 929.95/930.18 c 927s | 23 | 2930104 | 2834038 | 3217 2053 | 0 | 0 932.05/932.21 c 929s | 23 | 2936869 | 2840538 | 3217 2056 | 0 | 0 934.05/934.23 c 931s | 23 | 2943557 | 2846938 | 3217 2060 | 0 | 0 936.06/936.25 c 933s | 23 | 2949794 | 2852938 | 3217 2064 | 0 | 0 938.05/938.26 c 935s | 23 | 2956273 | 2859138 | 3217 2067 | 0 | 0 940.05/940.27 c 937s | 23 | 2962940 | 2865438 | 3217 2071 | 0 | 0 942.05/942.29 c 939s | 23 | 2969340 | 2871638 | 3217 2074 | 0 | 0 944.15/944.31 c 941s | 23 | 2975578 | 2877738 | 3217 2078 | 0 | 0 946.15/946.34 c 943s | 23 | 2981959 | 2883938 | 3217 2082 | 0 | 0 948.15/948.36 c 945s | 23 | 2987971 | 2889738 | 3217 2085 | 0 | 0 950.14/950.36 c 947s | 23 | 2994046 | 2895638 | 3217 2088 | 0 | 0 952.14/952.37 c 949s | 23 | 3000363 | 2901738 | 3217 2092 | 0 | 0 954.14/954.39 c 951s | 23 | 3006980 | 2908238 | 3217 2096 | 0 | 0 956.24/956.40 c 953s | 23 | 3012871 | 2914038 | 3217 2099 | 0 | 0 958.24/958.40 c 955s | 23 | 3018847 | 2919938 | 3217 2103 | 0 | 0 960.25/960.41 c 957s | 23 | 3025082 | 2925838 | 3217 2106 | 0 | 0 962.24/962.44 c 959s | 23 | 3031528 | 2932038 | 3217 2110 | 0 | 0 964.24/964.45 c 961s | 23 | 3038193 | 2938538 | 3217 2113 | 0 | 0 966.24/966.46 c 963s | 23 | 3044604 | 2944838 | 3217 2117 | 0 | 0 968.24/968.48 c 965s | 23 | 3051277 | 2951338 | 3217 2121 | 0 | 0 970.25/970.49 c 967s | 23 | 3058319 | 2958238 | 3217 2125 | 0 | 0 972.24/972.49 c 969s | 23 | 3065091 | 2964838 | 3217 2129 | 0 | 0 974.34/974.52 c 971s | 23 | 3071611 | 2970938 | 3217 2132 | 0 | 0 976.34/976.52 c 973s | 23 | 3078230 | 2977338 | 3217 2136 | 0 | 0 978.34/978.53 c 975s | 23 | 3084969 | 2983938 | 3217 2140 | 0 | 0 980.34/980.56 c 977s | 23 | 3091900 | 2990738 | 3217 2144 | 0 | 0 982.34/982.56 c 979s | 23 | 3098770 | 2997338 | 3217 2148 | 0 | 0 984.34/984.59 c 981s | 23 | 3105681 | 3003938 | 3217 2152 | 0 | 0 986.44/986.60 c 983s | 23 | 3111958 | 3010038 | 3217 2155 | 0 | 0 988.43/988.62 c 985s | 23 | 3118320 | 3016238 | 3217 2159 | 0 | 0 990.43/990.64 c 987s | 23 | 3125090 | 3022638 | 3217 2162 | 0 | 0 992.43/992.66 c 989s | 23 | 3131190 | 3028538 | 3217 2166 | 0 | 0 994.44/994.69 c 991s | 23 | 3136973 | 3034138 | 3217 2169 | 0 | 0 996.54/996.71 c 993s | 23 | 3142771 | 3039738 | 3217 2172 | 0 | 0 998.53/998.74 c 995s | 23 | 3149010 | 3045838 | 3217 2176 | 0 | 0 1000.53/1000.75 c 997s | 23 | 3155270 | 3051738 | 3217 2179 | 0 | 0 1002.53/1002.77 c 999s | 23 | 3161579 | 3057738 | 3217 2183 | 0 | 0 1004.53/1004.77 c 1001s | 23 | 3167908 | 3063738 | 3217 2186 | 0 | 0 1006.55/1006.78 c 1003s | 23 | 3174012 | 3069638 | 3217 2190 | 0 | 0 1008.54/1008.80 c 1005s | 23 | 3180228 | 3075738 | 3217 2193 | 0 | 0 1010.64/1010.84 c 1007s | 23 | 3186184 | 3081538 | 3217 2197 | 0 | 0 1012.64/1012.85 c 1009s | 23 | 3192842 | 3087938 | 3217 2200 | 0 | 0 1014.64/1014.86 c 1011s | 23 | 3199606 | 3094338 | 3217 2204 | 0 | 0 1016.64/1016.87 c 1013s | 23 | 3206244 | 3100538 | 3217 2208 | 0 | 0 1018.64/1018.87 c 1015s | 23 | 3212354 | 3106538 | 3217 2211 | 0 | 0 1020.64/1020.89 c 1017s | 23 | 3218340 | 3112438 | 3217 2215 | 0 | 0 1022.74/1022.92 c 1019s | 23 | 3224942 | 3118738 | 3217 2218 | 0 | 0 1024.74/1024.93 c 1021s | 23 | 3231118 | 3124738 | 3217 2222 | 0 | 0 1026.74/1026.93 c 1023s | 23 | 3237290 | 3130638 | 3217 2225 | 0 | 0 1028.74/1028.95 c 1025s | 23 | 3243790 | 3136938 | 3217 2229 | 0 | 0 1030.74/1030.98 c 1028s | 23 | 3250625 | 3143338 | 3217 2233 | 0 | 0 1032.74/1032.99 c 1030s | 23 | 3257112 | 3149538 | 3217 2236 | 0 | 0 1034.83/1035.02 c 1032s | 23 | 3263624 | 3155838 | 3217 2240 | 0 | 0 1036.83/1037.05 c 1034s | 23 | 3269781 | 3161738 | 3217 2243 | 0 | 0 1038.83/1039.07 c 1036s | 23 | 3276693 | 3168438 | 3217 2247 | 0 | 0 1040.83/1041.08 c 1038s | 23 | 3283471 | 3174938 | 3217 2251 | 0 | 0 1042.84/1043.09 c 1040s | 23 | 3290113 | 3181338 | 3217 2255 | 0 | 0 1044.94/1045.10 c 1042s | 23 | 3296518 | 3187438 | 3217 2258 | 0 | 0 1046.93/1047.11 c 1044s | 23 | 3303285 | 3194038 | 3217 2262 | 0 | 0 1048.93/1049.13 c 1046s | 23 | 3310067 | 3200638 | 3217 2266 | 0 | 0 1050.93/1051.13 c 1048s | 23 | 3316496 | 3206938 | 3217 2270 | 0 | 0 1052.93/1053.14 c 1050s | 23 | 3323044 | 3213338 | 3217 2273 | 0 | 0 1054.94/1055.14 c 1052s | 23 | 3329547 | 3219638 | 3217 2277 | 0 | 0 1056.93/1057.16 c 1054s | 23 | 3335928 | 3225838 | 3217 2281 | 0 | 0 1058.93/1059.18 c 1056s | 23 | 3342507 | 3232238 | 3217 2285 | 0 | 0 1061.03/1061.21 c 1058s | 23 | 3349045 | 3238638 | 3217 2288 | 0 | 0 1063.03/1063.24 c 1060s | 23 | 3355835 | 3245038 | 3217 2292 | 0 | 0 1065.03/1065.26 c 1062s | 23 | 3362313 | 3251338 | 3217 2296 | 0 | 0 1067.03/1067.27 c 1064s | 23 | 3368476 | 3257338 | 3217 2299 | 0 | 0 1069.02/1069.30 c 1066s | 23 | 3374552 | 3263138 | 3217 2303 | 0 | 0 1071.12/1071.31 c 1068s | 23 | 3380948 | 3269238 | 3217 2306 | 0 | 0 1073.12/1073.32 c 1070s | 23 | 3387101 | 3275238 | 3217 2310 | 0 | 0 1075.12/1075.34 c 1072s | 23 | 3393503 | 3281238 | 3217 2313 | 0 | 0 1077.12/1077.37 c 1074s | 23 | 3400179 | 3287638 | 3217 2317 | 0 | 0 1079.13/1079.37 c 1076s | 23 | 3406487 | 3293838 | 3217 2320 | 0 | 0 1081.13/1081.39 c 1078s | 23 | 3413280 | 3300438 | 3217 2324 | 0 | 0 1083.23/1083.40 c 1080s | 23 | 3419180 | 3306238 | 3217 2328 | 0 | 0 1085.23/1085.40 c 1082s | 23 | 3424658 | 3311638 | 3217 2331 | 0 | 0 1087.23/1087.43 c 1084s | 23 | 3430692 | 3317338 | 3217 2334 | 0 | 0 1089.23/1089.47 c 1086s | 23 | 3435753 | 3322238 | 3217 2337 | 0 | 0 1091.23/1091.49 c 1088s | 23 | 3441717 | 3328038 | 3217 2340 | 0 | 0 1093.23/1093.50 c 1090s | 23 | 3447826 | 3334038 | 3217 2344 | 0 | 0 1095.33/1095.53 c 1092s | 23 | 3453818 | 3339938 | 3217 2347 | 0 | 0 1097.33/1097.56 c 1094s | 23 | 3459369 | 3345438 | 3539 2350 | 0 | 0 1099.32/1099.57 c 1096s | 23 | 3465189 | 3351138 | 3539 2353 | 0 | 0 1101.32/1101.58 c 1098s | 23 | 3471004 | 3356838 | 3539 2356 | 0 | 0 1103.33/1103.59 c 1100s | 23 | 3476525 | 3362238 | 3539 2359 | 0 | 0 1105.32/1105.60 c 1102s | 23 | 3481642 | 3367238 | 3539 2362 | 0 | 0 1107.42/1107.63 c 1104s | 23 | 3488031 | 3373538 | 3539 2365 | 0 | 0 1108.52/1108.72 c 1105s | 24 | 3491231 | 3376662 | 3539 2367 | 0 | 0 1110.52/1110.77 c 1107s | 24 | 3495235 | 3380462 | 3539 2369 | 0 | 0 1112.52/1112.78 c 1109s | 24 | 3501012 | 3386162 | 3539 2372 | 0 | 0 1114.62/1114.80 c 1111s | 24 | 3506618 | 3391662 | 3539 2375 | 0 | 0 1116.62/1116.82 c 1113s | 24 | 3511621 | 3396562 | 3539 2377 | 0 | 0 1118.63/1118.83 c 1115s | 24 | 3516574 | 3401362 | 3539 2380 | 0 | 0 1120.62/1120.84 c 1117s | 24 | 3521846 | 3406562 | 3539 2383 | 0 | 0 1122.62/1122.86 c 1119s | 24 | 3527498 | 3412162 | 3539 2385 | 0 | 0 1124.62/1124.87 c 1121s | 24 | 3532951 | 3417562 | 3539 2388 | 0 | 0 1126.62/1126.87 c 1123s | 24 | 3538517 | 3423062 | 3539 2391 | 0 | 0 1128.63/1128.89 c 1125s | 24 | 3543964 | 3428462 | 3539 2394 | 0 | 0 1130.73/1130.94 c 1127s | 24 | 3548712 | 3433062 | 3539 2397 | 0 | 0 1132.72/1132.99 c 1130s | 24 | 3553513 | 3437662 | 3539 2399 | 0 | 0 1134.82/1135.02 c 1132s | 24 | 3558280 | 3442162 | 3539 2401 | 0 | 0 1136.82/1137.05 c 1134s | 24 | 3564129 | 3447862 | 3539 2404 | 0 | 0 1138.82/1139.08 c 1136s | 24 | 3569667 | 3453162 | 3539 2407 | 0 | 0 1140.92/1141.10 c 1138s | 24 | 3575320 | 3458562 | 3539 2410 | 0 | 0 1142.92/1143.13 c 1140s | 24 | 3580227 | 3463262 | 3539 2412 | 0 | 0 1144.92/1145.14 c 1142s | 24 | 3585899 | 3468662 | 3539 2415 | 0 | 0 1146.91/1147.17 c 1144s | 24 | 3591622 | 3474162 | 3539 2418 | 0 | 0 1148.91/1149.18 c 1146s | 24 | 3596983 | 3479362 | 3539 2421 | 0 | 0 1151.01/1151.21 c 1148s | 24 | 3602892 | 3485162 | 3539 2424 | 0 | 0 1153.01/1153.22 c 1150s | 24 | 3608375 | 3490562 | 3539 2427 | 0 | 0 1155.02/1155.27 c 1152s | 24 | 3613800 | 3495862 | 3539 2430 | 0 | 0 1157.01/1157.30 c 1154s | 24 | 3619655 | 3501662 | 3539 2433 | 0 | 0 1159.11/1159.33 c 1156s | 24 | 3625865 | 3507762 | 3539 2436 | 0 | 0 1161.11/1161.35 c 1158s | 24 | 3631432 | 3513162 | 3539 2439 | 0 | 0 1163.11/1163.35 c 1160s | 24 | 3637313 | 3518862 | 3539 2442 | 0 | 0 1165.21/1165.40 c 1162s | 24 | 3642223 | 3523562 | 3539 2444 | 0 | 0 1167.21/1167.44 c 1164s | 24 | 3647167 | 3528362 | 3539 2447 | 0 | 0 1169.22/1169.47 c 1166s | 24 | 3652486 | 3533562 | 3539 2450 | 0 | 0 1171.22/1171.49 c 1168s | 24 | 3656691 | 3537662 | 3539 2452 | 0 | 0 1173.31/1173.50 c 1170s | 24 | 3661839 | 3542662 | 3539 2454 | 0 | 0 1175.31/1175.52 c 1172s | 24 | 3666998 | 3547662 | 3539 2457 | 0 | 0 1177.31/1177.56 c 1174s | 24 | 3672217 | 3552762 | 3539 2460 | 0 | 0 1179.31/1179.59 c 1176s | 24 | 3677251 | 3557662 | 3539 2462 | 0 | 0 1181.42/1181.62 c 1178s | 24 | 3681778 | 3562062 | 3539 2465 | 0 | 0 1183.41/1183.64 c 1180s | 24 | 3686901 | 3566962 | 3539 2467 | 0 | 0 1185.41/1185.66 c 1182s | 24 | 3691685 | 3571562 | 3539 2470 | 0 | 0 1187.41/1187.69 c 1184s | 24 | 3696621 | 3576262 | 3539 2472 | 0 | 0 1189.51/1189.70 c 1186s | 24 | 3701318 | 3580762 | 3539 2475 | 0 | 0 1191.51/1191.73 c 1188s | 24 | 3706043 | 3585262 | 3539 2477 | 0 | 0 1193.52/1193.77 c 1190s | 24 | 3710555 | 3589562 | 3539 2479 | 0 | 0 1195.51/1195.80 c 1192s | 24 | 3716044 | 3594862 | 3539 2482 | 0 | 0 1197.61/1197.80 c 1194s | 24 | 3722083 | 3600762 | 3539 2485 | 0 | 0 1199.61/1199.80 c 1196s | 24 | 3728055 | 3606562 | 3539 2488 | 0 | 0 1201.61/1201.83 c 1198s | 24 | 3734408 | 3612762 | 3539 2492 | 0 | 0 1203.61/1203.85 c 1200s | 24 | 3740837 | 3618962 | 3539 2495 | 0 | 0 1205.62/1205.88 c 1202s | 24 | 3746645 | 3624462 | 3539 2498 | 0 | 0 1207.61/1207.88 c 1204s | 24 | 3751011 | 3628662 | 3539 2500 | 0 | 0 1209.61/1209.89 c 1206s | 24 | 3755819 | 3633362 | 3539 2502 | 0 | 0 1211.61/1211.89 c 1208s | 24 | 3761268 | 3638562 | 3539 2505 | 0 | 0 1213.71/1213.91 c 1210s | 24 | 3766923 | 3643962 | 3539 2508 | 0 | 0 1215.71/1215.93 c 1212s | 24 | 3772740 | 3649562 | 3539 2511 | 0 | 0 1217.71/1217.94 c 1214s | 24 | 3779573 | 3656262 | 3539 2515 | 0 | 0 1219.70/1219.94 c 1216s | 24 | 3785238 | 3661762 | 3539 2517 | 0 | 0 1221.70/1221.97 c 1219s | 24 | 3790800 | 3667162 | 3539 2520 | 0 | 0 1223.80/1224.00 c 1221s | 24 | 3796994 | 3673162 | 3539 2524 | 0 | 0 1225.80/1226.01 c 1223s | 24 | 3802714 | 3678662 | 3539 2526 | 0 | 0 1227.80/1228.03 c 1225s | 24 | 3808882 | 3684562 | 3539 2530 | 0 | 0 1229.81/1230.05 c 1227s | 24 | 3814539 | 3689962 | 3539 2532 | 0 | 0 1231.80/1232.06 c 1229s | 24 | 3821454 | 3696662 | 3539 2536 | 0 | 0 1233.80/1234.07 c 1231s | 24 | 3827609 | 3702662 | 3539 2539 | 0 | 0 1235.80/1236.09 c 1233s | 24 | 3833685 | 3708562 | 3539 2542 | 0 | 0 1237.90/1238.12 c 1235s | 24 | 3838519 | 3713262 | 3539 2545 | 0 | 0 1239.90/1240.15 c 1237s | 24 | 3844247 | 3718862 | 3539 2548 | 0 | 0 1241.90/1242.19 c 1239s | 24 | 3850198 | 3724662 | 3539 2551 | 0 | 0 1243.90/1244.20 c 1241s | 24 | 3854831 | 3729162 | 3539 2553 | 0 | 0 1246.00/1246.20 c 1243s | 24 | 3860331 | 3734562 | 3539 2556 | 0 | 0 1248.00/1248.23 c 1245s | 24 | 3865985 | 3740162 | 3539 2559 | 0 | 0 1250.00/1250.26 c 1247s | 24 | 3871520 | 3745562 | 3539 2562 | 0 | 0 1252.00/1252.28 c 1249s | 24 | 3877357 | 3751162 | 3539 2565 | 0 | 0 1254.10/1254.31 c 1251s | 24 | 3882379 | 3755962 | 3539 2567 | 0 | 0 1256.10/1256.33 c 1253s | 24 | 3887986 | 3761362 | 3539 2570 | 0 | 0 1258.09/1258.37 c 1255s | 24 | 3893426 | 3766562 | 3539 2573 | 0 | 0 1260.09/1260.38 c 1257s | 24 | 3898196 | 3771062 | 3539 2575 | 0 | 0 1262.09/1262.39 c 1259s | 24 | 3903719 | 3776362 | 3539 2578 | 0 | 0 1264.19/1264.42 c 1261s | 24 | 3908723 | 3781162 | 3539 2581 | 0 | 0 1266.19/1266.44 c 1263s | 24 | 3913452 | 3785662 | 3539 2583 | 0 | 0 1268.20/1268.47 c 1265s | 24 | 3918038 | 3790062 | 3539 2585 | 0 | 0 1270.29/1270.51 c 1267s | 24 | 3922311 | 3794162 | 3539 2588 | 0 | 0 1272.30/1272.52 c 1269s | 24 | 3927600 | 3799262 | 3539 2590 | 0 | 0 1274.30/1274.53 c 1271s | 24 | 3933730 | 3805262 | 3539 2593 | 0 | 0 1276.30/1276.55 c 1273s | 24 | 3939478 | 3810762 | 3539 2596 | 0 | 0 1278.30/1278.58 c 1275s | 24 | 3945130 | 3816262 | 3539 2599 | 0 | 0 1280.41/1280.63 c 1277s | 24 | 3950320 | 3821162 | 3539 2602 | 0 | 0 1282.40/1282.67 c 1279s | 24 | 3956418 | 3827162 | 3539 2605 | 0 | 0 1284.40/1284.69 c 1281s | 24 | 3962152 | 3832762 | 3539 2608 | 0 | 0 1286.50/1286.71 c 1283s | 24 | 3967533 | 3838062 | 3539 2611 | 0 | 0 1288.50/1288.73 c 1285s | 24 | 3972750 | 3843162 | 3539 2613 | 0 | 0 1290.49/1290.73 c 1287s | 24 | 3978258 | 3848562 | 3539 2616 | 0 | 0 1292.50/1292.74 c 1289s | 24 | 3984054 | 3854262 | 3539 2619 | 0 | 0 1294.49/1294.74 c 1291s | 24 | 3989550 | 3859662 | 3539 2622 | 0 | 0 1296.49/1296.75 c 1293s | 24 | 3995000 | 3864962 | 3539 2625 | 0 | 0 1298.49/1298.78 c 1295s | 24 | 4000912 | 3870762 | 3539 2628 | 0 | 0 1300.49/1300.79 c 1297s | 24 | 4006983 | 3876662 | 3539 2631 | 0 | 0 1302.59/1302.83 c 1299s | 24 | 4013281 | 3882762 | 3539 2634 | 0 | 0 1304.60/1304.85 c 1301s | 24 | 4019357 | 3888662 | 3539 2638 | 0 | 0 1306.59/1306.86 c 1303s | 24 | 4025087 | 3894262 | 3539 2640 | 0 | 0 1308.59/1308.87 c 1305s | 24 | 4030475 | 3899562 | 3539 2643 | 0 | 0 1310.59/1310.87 c 1307s | 24 | 4035172 | 3904162 | 3539 2646 | 0 | 0 1312.59/1312.88 c 1309s | 24 | 4040529 | 3909162 | 3539 2648 | 0 | 0 1314.59/1314.89 c 1311s | 24 | 4046237 | 3914662 | 3539 2651 | 0 | 0 1316.70/1316.91 c 1313s | 24 | 4052407 | 3920662 | 3539 2654 | 0 | 0 1318.69/1318.92 c 1315s | 24 | 4057832 | 3925962 | 3539 2657 | 0 | 0 1320.69/1320.92 c 1317s | 24 | 4063972 | 3931962 | 3539 2660 | 0 | 0 1322.69/1322.93 c 1319s | 24 | 4069766 | 3937562 | 3539 2663 | 0 | 0 1324.69/1324.96 c 1321s | 24 | 4076115 | 3943662 | 3539 2667 | 0 | 0 1326.69/1326.98 c 1324s | 24 | 4081439 | 3948662 | 3539 2669 | 0 | 0 1328.80/1329.03 c 1326s | 24 | 4087711 | 3954562 | 3539 2672 | 0 | 0 1330.79/1331.07 c 1328s | 24 | 4093069 | 3959662 | 3539 2675 | 0 | 0 1332.79/1333.09 c 1330s | 24 | 4098670 | 3964862 | 3539 2678 | 0 | 0 1334.89/1335.10 c 1332s | 24 | 4104666 | 3970562 | 3539 2681 | 0 | 0 1336.89/1337.10 c 1334s | 24 | 4110583 | 3976262 | 3539 2684 | 0 | 0 1338.89/1339.15 c 1336s | 24 | 4116648 | 3982062 | 3539 2687 | 0 | 0 1340.89/1341.16 c 1338s | 24 | 4122933 | 3988062 | 3539 2690 | 0 | 0 1342.88/1343.18 c 1340s | 24 | 4129622 | 3994462 | 3539 2693 | 0 | 0 1344.88/1345.19 c 1342s | 24 | 4134257 | 3998862 | 3539 2696 | 0 | 0 1346.98/1347.21 c 1344s | 24 | 4138580 | 4003062 | 3539 2698 | 0 | 0 1348.98/1349.24 c 1346s | 24 | 4144419 | 4008762 | 3539 2701 | 0 | 0 1350.98/1351.25 c 1348s | 24 | 4149075 | 4013262 | 3539 2703 | 0 | 0 1352.99/1353.25 c 1350s | 24 | 4154413 | 4018462 | 3539 2706 | 0 | 0 1354.98/1355.28 c 1352s | 24 | 4159930 | 4023762 | 3539 2709 | 0 | 0 1356.98/1357.29 c 1354s | 24 | 4165592 | 4028762 | 3539 2712 | 0 | 0 1358.98/1359.30 c 1356s | 24 | 4170897 | 4033462 | 3539 2714 | 0 | 0 1361.08/1361.30 c 1358s | 24 | 4176323 | 4038562 | 3539 2717 | 0 | 0 1363.08/1363.32 c 1360s | 24 | 4182648 | 4044662 | 3539 2720 | 0 | 0 1365.09/1365.35 c 1362s | 24 | 4189284 | 4050962 | 3539 2723 | 0 | 0 1367.08/1367.37 c 1364s | 24 | 4195490 | 4056862 | 3539 2727 | 0 | 0 1369.08/1369.38 c 1366s | 24 | 4201345 | 4062462 | 3539 2730 | 0 | 0 1371.08/1371.39 c 1368s | 24 | 4208470 | 4069362 | 3539 2733 | 0 | 0 1373.08/1373.39 c 1370s | 24 | 4214930 | 4075562 | 3539 2737 | 0 | 0 1375.18/1375.41 c 1372s | 24 | 4221145 | 4081462 | 3539 2740 | 0 | 0 1377.19/1377.44 c 1374s | 24 | 4227155 | 4087262 | 3539 2743 | 0 | 0 1379.18/1379.44 c 1376s | 24 | 4233523 | 4093362 | 3539 2746 | 0 | 0 1381.18/1381.45 c 1378s | 24 | 4239921 | 4099462 | 3539 2749 | 0 | 0 1383.18/1383.48 c 1380s | 24 | 4246194 | 4105462 | 3539 2752 | 0 | 0 1385.18/1385.49 c 1382s | 24 | 4252979 | 4111862 | 3539 2756 | 0 | 0 1387.28/1387.50 c 1384s | 24 | 4259846 | 4118462 | 3539 2759 | 0 | 0 1389.28/1389.52 c 1386s | 24 | 4265248 | 4123562 | 3539 2762 | 0 | 0 1391.27/1391.55 c 1388s | 24 | 4271336 | 4129462 | 3539 2765 | 0 | 0 1393.27/1393.56 c 1390s | 24 | 4277255 | 4135162 | 3539 2768 | 0 | 0 1395.27/1395.58 c 1392s | 24 | 4283381 | 4140962 | 3539 2771 | 0 | 0 1397.37/1397.60 c 1394s | 24 | 4289552 | 4146962 | 3539 2774 | 0 | 0 1399.37/1399.61 c 1396s | 24 | 4296133 | 4153362 | 3539 2778 | 0 | 0 1401.38/1401.62 c 1398s | 24 | 4302431 | 4159462 | 3539 2781 | 0 | 0 1403.37/1403.63 c 1400s | 24 | 4308780 | 4165562 | 3539 2784 | 0 | 0 1405.37/1405.63 c 1402s | 24 | 4315294 | 4171962 | 3539 2788 | 0 | 0 1407.37/1407.67 c 1404s | 24 | 4321079 | 4177562 | 3539 2791 | 0 | 0 1409.47/1409.70 c 1406s | 24 | 4327704 | 4184062 | 3539 2794 | 0 | 0 1411.47/1411.74 c 1408s | 24 | 4333991 | 4190162 | 3539 2797 | 0 | 0 1413.48/1413.74 c 1410s | 24 | 4340232 | 4196262 | 3539 2801 | 0 | 0 1415.47/1415.75 c 1412s | 24 | 4346489 | 4202262 | 3539 2804 | 0 | 0 1417.47/1417.75 c 1414s | 24 | 4352825 | 4208462 | 3539 2807 | 0 | 0 1419.47/1419.76 c 1416s | 24 | 4357184 | 4212762 | 3539 2810 | 0 | 0 1421.47/1421.76 c 1418s | 24 | 4362953 | 4218362 | 3539 2812 | 0 | 0 1423.47/1423.77 c 1420s | 24 | 4369110 | 4224362 | 3539 2816 | 0 | 0 1425.48/1425.79 c 1422s | 24 | 4375632 | 4230762 | 3539 2819 | 0 | 0 1427.57/1427.82 c 1424s | 24 | 4381876 | 4236862 | 3539 2822 | 0 | 0 1429.57/1429.85 c 1426s | 24 | 4388264 | 4243062 | 3539 2826 | 0 | 0 1431.57/1431.86 c 1428s | 24 | 4394305 | 4248962 | 3539 2829 | 0 | 0 1433.58/1433.89 c 1430s | 24 | 4399938 | 4254462 | 3539 2832 | 0 | 0 1435.68/1435.91 c 1432s | 24 | 4406008 | 4260462 | 3539 2835 | 0 | 0 1437.68/1437.93 c 1434s | 24 | 4412044 | 4266262 | 3539 2838 | 0 | 0 1439.67/1439.96 c 1436s | 24 | 4417681 | 4271762 | 3539 2841 | 0 | 0 1441.67/1441.98 c 1439s | 24 | 4423023 | 4276962 | 3539 2844 | 0 | 0 1443.67/1443.98 c 1441s | 24 | 4428510 | 4282362 | 3539 2847 | 0 | 0 1445.77/1446.01 c 1443s | 24 | 4434411 | 4288062 | 3539 2850 | 0 | 0 1447.77/1448.03 c 1445s | 24 | 4440239 | 4293762 | 3539 2853 | 0 | 0 1449.78/1450.04 c 1447s | 24 | 4446650 | 4299962 | 3539 2856 | 0 | 0 1451.77/1452.05 c 1449s | 24 | 4452875 | 4305962 | 3539 2859 | 0 | 0 1453.77/1454.08 c 1451s | 24 | 4458033 | 4310962 | 3539 2862 | 0 | 0 1455.87/1456.10 c 1453s | 24 | 4463682 | 4316462 | 3539 2865 | 0 | 0 1457.87/1458.12 c 1455s | 24 | 4468900 | 4321462 | 3539 2867 | 0 | 0 1459.87/1460.14 c 1457s | 24 | 4474857 | 4327262 | 3539 2871 | 0 | 0 1461.87/1462.17 c 1459s | 24 | 4480808 | 4332962 | 3539 2874 | 0 | 0 1463.87/1464.18 c 1461s | 24 | 4487456 | 4339462 | 3539 2877 | 0 | 0 1465.87/1466.20 c 1463s | 24 | 4494457 | 4346262 | 3539 2881 | 0 | 0 1467.97/1468.22 c 1465s | 24 | 4500740 | 4352362 | 3539 2884 | 0 | 0 1469.97/1470.23 c 1467s | 24 | 4507166 | 4358562 | 3539 2887 | 0 | 0 1471.97/1472.25 c 1469s | 24 | 4513116 | 4364262 | 3539 2890 | 0 | 0 1473.97/1474.27 c 1471s | 24 | 4519181 | 4370162 | 3539 2893 | 0 | 0 1475.96/1476.29 c 1473s | 24 | 4525952 | 4376762 | 3539 2897 | 0 | 0 1478.06/1478.32 c 1475s | 24 | 4532169 | 4382662 | 3539 2900 | 0 | 0 1480.06/1480.33 c 1477s | 24 | 4538844 | 4389062 | 3539 2903 | 0 | 0 1482.06/1482.34 c 1479s | 24 | 4544627 | 4394562 | 3539 2906 | 0 | 0 1484.06/1484.34 c 1481s | 24 | 4550820 | 4400562 | 3539 2910 | 0 | 0 1486.07/1486.35 c 1483s | 24 | 4556980 | 4406562 | 3539 2913 | 0 | 0 1488.06/1488.38 c 1485s | 24 | 4562069 | 4411462 | 3539 2915 | 0 | 0 1490.06/1490.39 c 1487s | 24 | 4568107 | 4417362 | 3539 2918 | 0 | 0 1492.16/1492.44 c 1489s | 24 | 4573951 | 4422962 | 3539 2921 | 0 | 0 1494.16/1494.46 c 1491s | 24 | 4580509 | 4429262 | 3539 2925 | 0 | 0 1496.16/1496.47 c 1493s | 24 | 4586863 | 4435362 | 3539 2928 | 0 | 0 1498.16/1498.49 c 1495s | 24 | 4592716 | 4440862 | 3539 2931 | 0 | 0 1500.26/1500.51 c 1497s | 24 | 4598479 | 4446462 | 3539 2934 | 0 | 0 1502.27/1502.51 c 1499s | 24 | 4604701 | 4452462 | 3539 2937 | 0 | 0 1504.27/1504.52 c 1501s | 24 | 4609951 | 4457562 | 3539 2940 | 0 | 0 1506.26/1506.54 c 1503s | 24 | 4616319 | 4463662 | 3539 2943 | 0 | 0 1508.26/1508.56 c 1505s | 24 | 4622742 | 4469762 | 3539 2946 | 0 | 0 1510.27/1510.57 c 1507s | 24 | 4628739 | 4475562 | 3539 2949 | 0 | 0 1512.26/1512.57 c 1509s | 24 | 4634700 | 4481362 | 3539 2952 | 0 | 0 1514.26/1514.58 c 1511s | 24 | 4640525 | 4486862 | 3539 2955 | 0 | 0 1516.36/1516.62 c 1513s | 24 | 4646531 | 4492662 | 3539 2958 | 0 | 0 1518.36/1518.62 c 1515s | 24 | 4652498 | 4498462 | 3539 2961 | 0 | 0 1520.36/1520.65 c 1517s | 24 | 4657693 | 4503462 | 3539 2964 | 0 | 0 1522.37/1522.66 c 1519s | 24 | 4663484 | 4508762 | 3539 2967 | 0 | 0 1524.36/1524.69 c 1521s | 24 | 4669172 | 4513862 | 3539 2970 | 0 | 0 1526.46/1526.70 c 1523s | 24 | 4675281 | 4519762 | 3539 2973 | 0 | 0 1528.46/1528.72 c 1525s | 24 | 4681414 | 4525762 | 3539 2976 | 0 | 0 1530.46/1530.74 c 1527s | 24 | 4687562 | 4531762 | 3539 2979 | 0 | 0 1532.46/1532.75 c 1529s | 24 | 4693279 | 4537362 | 3539 2982 | 0 | 0 1534.47/1534.77 c 1531s | 24 | 4698894 | 4542562 | 3539 2985 | 0 | 0 1536.46/1536.78 c 1533s | 24 | 4705076 | 4548362 | 3539 2988 | 0 | 0 1538.56/1538.80 c 1535s | 24 | 4710776 | 4553762 | 3539 2991 | 0 | 0 1540.56/1540.85 c 1537s | 24 | 4716894 | 4559562 | 3539 2994 | 0 | 0 1542.56/1542.87 c 1539s | 24 | 4722916 | 4565162 | 3539 2997 | 0 | 0 1544.65/1544.90 c 1541s | 24 | 4728859 | 4570962 | 3539 3000 | 0 | 0 1546.65/1546.94 c 1543s | 24 | 4734987 | 4576962 | 3539 3003 | 0 | 0 1548.66/1548.94 c 1545s | 24 | 4740728 | 4582562 | 3539 3006 | 0 | 0 1550.65/1550.95 c 1547s | 24 | 4746740 | 4588462 | 3539 3009 | 0 | 0 1552.75/1553.00 c 1550s | 24 | 4752734 | 4594062 | 3539 3012 | 0 | 0 1554.75/1555.03 c 1552s | 24 | 4758643 | 4599662 | 3539 3015 | 0 | 0 1556.75/1557.04 c 1554s | 24 | 4764633 | 4605462 | 3539 3018 | 0 | 0 1558.75/1559.06 c 1556s | 24 | 4770272 | 4610862 | 3539 3021 | 0 | 0 1560.75/1561.08 c 1558s | 24 | 4775146 | 4615362 | 3539 3023 | 0 | 0 1562.74/1563.08 c 1560s | 24 | 4782296 | 4622362 | 3539 3027 | 0 | 0 1564.84/1565.12 c 1562s | 24 | 4788020 | 4627762 | 3539 3030 | 0 | 0 1566.84/1567.12 c 1564s | 24 | 4794298 | 4633862 | 3539 3033 | 0 | 0 1568.84/1569.15 c 1566s | 24 | 4800455 | 4639962 | 3539 3036 | 0 | 0 1570.84/1571.18 c 1568s | 24 | 4806649 | 4645862 | 3539 3040 | 0 | 0 1572.94/1573.21 c 1570s | 24 | 4811981 | 4651062 | 3539 3042 | 0 | 0 1574.93/1575.23 c 1572s | 24 | 4817932 | 4656762 | 3539 3045 | 0 | 0 1576.93/1577.27 c 1574s | 24 | 4823891 | 4662562 | 3539 3048 | 0 | 0 1578.93/1579.29 c 1576s | 24 | 4830129 | 4668362 | 3539 3051 | 0 | 0 1581.03/1581.31 c 1578s | 24 | 4836342 | 4674362 | 3539 3055 | 0 | 0 1583.03/1583.34 c 1580s | 24 | 4842138 | 4679962 | 3539 3058 | 0 | 0 1585.03/1585.34 c 1582s | 24 | 4846588 | 4684162 | 3539 3060 | 0 | 0 1587.03/1587.37 c 1584s | 24 | 4853163 | 4690562 | 3539 3063 | 0 | 0 1589.03/1589.39 c 1586s | 24 | 4859843 | 4696962 | 3539 3067 | 0 | 0 1591.13/1591.40 c 1588s | 24 | 4865823 | 4702662 | 3539 3070 | 0 | 0 1593.13/1593.45 c 1590s | 24 | 4871274 | 4707962 | 3539 3073 | 0 | 0 1595.13/1595.47 c 1592s | 24 | 4876516 | 4712862 | 3539 3075 | 0 | 0 1597.13/1597.49 c 1594s | 24 | 4882557 | 4718662 | 3539 3078 | 0 | 0 1599.23/1599.55 c 1596s | 24 | 4888879 | 4724762 | 3539 3081 | 0 | 0 1601.23/1601.57 c 1598s | 24 | 4895033 | 4730762 | 3539 3085 | 0 | 0 1603.32/1603.61 c 1600s | 24 | 4900617 | 4736162 | 3539 3087 | 0 | 0 1605.32/1605.64 c 1602s | 24 | 4906936 | 4742362 | 3539 3091 | 0 | 0 1607.32/1607.65 c 1604s | 24 | 4912791 | 4748062 | 3539 3094 | 0 | 0 1609.32/1609.66 c 1606s | 24 | 4919128 | 4754162 | 3539 3097 | 0 | 0 1611.33/1611.69 c 1608s | 24 | 4925493 | 4760362 | 3539 3100 | 0 | 0 1613.32/1613.69 c 1610s | 24 | 4932278 | 4766962 | 3539 3104 | 0 | 0 1615.41/1615.72 c 1612s | 24 | 4938886 | 4773362 | 3539 3107 | 0 | 0 1617.41/1617.73 c 1614s | 24 | 4945308 | 4779562 | 3539 3111 | 0 | 0 1619.41/1619.77 c 1616s | 24 | 4951663 | 4785662 | 3539 3114 | 0 | 0 1621.51/1621.80 c 1618s | 24 | 4958078 | 4791862 | 3539 3117 | 0 | 0 1623.52/1623.81 c 1620s | 24 | 4964493 | 4798062 | 3539 3120 | 0 | 0 1625.51/1625.83 c 1622s | 24 | 4969952 | 4803162 | 3539 3123 | 0 | 0 1627.51/1627.84 c 1624s | 24 | 4976847 | 4809662 | 3539 3126 | 0 | 0 1629.51/1629.86 c 1626s | 24 | 4982754 | 4815362 | 3539 3130 | 0 | 0 1631.51/1631.89 c 1628s | 24 | 4988431 | 4820762 | 3539 3132 | 0 | 0 1633.60/1633.90 c 1630s | 24 | 4995050 | 4827162 | 3539 3136 | 0 | 0 1635.51/1635.90 c 1632s | 24 | 5001396 | 4833162 | 3539 3139 | 0 | 0 1637.60/1637.92 c 1634s | 24 | 5007625 | 4839162 | 3539 3142 | 0 | 0 1639.60/1639.92 c 1636s | 24 | 5014292 | 4845462 | 3539 3146 | 0 | 0 1641.60/1641.93 c 1638s | 24 | 5020867 | 4851762 | 3539 3149 | 0 | 0 1643.60/1643.94 c 1640s | 24 | 5026823 | 4857562 | 3539 3152 | 0 | 0 1645.59/1645.95 c 1642s | 24 | 5033312 | 4863962 | 3539 3155 | 0 | 0 1647.59/1647.98 c 1645s | 24 | 5039681 | 4870162 | 3539 3159 | 0 | 0 1649.59/1649.99 c 1647s | 24 | 5046440 | 4876762 | 3539 3162 | 0 | 0 1651.69/1652.01 c 1649s | 24 | 5052799 | 4882962 | 3539 3165 | 0 | 0 1653.69/1654.03 c 1651s | 24 | 5058985 | 4888962 | 3539 3169 | 0 | 0 1655.69/1656.06 c 1653s | 24 | 5065371 | 4895262 | 3539 3172 | 0 | 0 1657.79/1658.10 c 1655s | 24 | 5070957 | 4900662 | 3539 3175 | 0 | 0 1659.79/1660.12 c 1657s | 24 | 5077555 | 4906862 | 3539 3178 | 0 | 0 1661.78/1662.14 c 1659s | 24 | 5083940 | 4913062 | 3539 3181 | 0 | 0 1663.78/1664.15 c 1661s | 24 | 5089997 | 4918862 | 3539 3185 | 0 | 0 1665.78/1666.15 c 1663s | 24 | 5095457 | 4923962 | 3539 3187 | 0 | 0 1667.88/1668.20 c 1665s | 24 | 5101029 | 4929162 | 3539 3190 | 0 | 0 1669.88/1670.22 c 1667s | 24 | 5106722 | 4934462 | 3539 3193 | 0 | 0 1671.89/1672.23 c 1669s | 24 | 5112053 | 4939362 | 3539 3195 | 0 | 0 1673.88/1674.24 c 1671s | 24 | 5117944 | 4944962 | 3539 3198 | 0 | 0 1675.87/1676.26 c 1673s | 24 | 5123993 | 4950762 | 3539 3201 | 0 | 0 1677.87/1678.26 c 1675s | 24 | 5129848 | 4956462 | 3539 3204 | 0 | 0 1679.97/1680.31 c 1677s | 24 | 5135885 | 4962262 | 3539 3208 | 0 | 0 1681.97/1682.33 c 1679s | 24 | 5141885 | 4967962 | 3539 3211 | 0 | 0 1683.98/1684.37 c 1681s | 24 | 5148035 | 4973862 | 3539 3214 | 0 | 0 1685.97/1686.40 c 1683s | 24 | 5154167 | 4979762 | 3539 3217 | 0 | 0 1688.07/1688.44 c 1685s | 24 | 5159530 | 4984962 | 3539 3220 | 0 | 0 1690.07/1690.45 c 1687s | 24 | 5165759 | 4990862 | 3539 3223 | 0 | 0 1692.07/1692.46 c 1689s | 24 | 5171369 | 4996162 | 3539 3226 | 0 | 0 1694.06/1694.48 c 1691s | 24 | 5176029 | 5000662 | 3539 3228 | 0 | 0 1696.16/1696.50 c 1693s | 24 | 5181444 | 5005862 | 3539 3231 | 0 | 0 1698.18/1698.52 c 1695s | 24 | 5186867 | 5011062 | 3539 3233 | 0 | 0 1700.17/1700.54 c 1697s | 24 | 5192885 | 5016862 | 3539 3237 | 0 | 0 1702.17/1702.55 c 1699s | 24 | 5199096 | 5022862 | 3893 3239 | 0 | 0 1704.16/1704.56 c 1701s | 24 | 5204801 | 5028362 | 3893 3242 | 0 | 0 1706.16/1706.57 c 1703s | 24 | 5210694 | 5034062 | 3893 3245 | 0 | 0 1708.17/1708.59 c 1705s | 24 | 5216122 | 5039162 | 3893 3247 | 0 | 0 1710.27/1710.61 c 1707s | 24 | 5222424 | 5045262 | 3893 3250 | 0 | 0 1712.26/1712.66 c 1709s | 24 | 5228128 | 5050762 | 3893 3253 | 0 | 0 1714.26/1714.69 c 1711s | 24 | 5233507 | 5055962 | 3893 3255 | 0 | 0 1716.36/1716.73 c 1713s | 24 | 5238954 | 5061062 | 3893 3258 | 0 | 0 1717.75/1718.19 c 1715s | 25 | 5243162 | 5065098 | 3893 3260 | 0 | 0 1719.85/1720.22 c 1717s | 25 | 5250677 | 5072398 | 3893 3263 | 0 | 0 1721.85/1722.22 c 1719s | 25 | 5256372 | 5077998 | 3893 3266 | 0 | 0 1723.85/1724.24 c 1721s | 25 | 5261870 | 5083398 | 3893 3269 | 0 | 0 1725.85/1726.28 c 1723s | 25 | 5267248 | 5088698 | 3893 3271 | 0 | 0 1727.95/1728.30 c 1725s | 25 | 5272691 | 5093998 | 3893 3274 | 0 | 0 1729.95/1730.32 c 1727s | 25 | 5278119 | 5099298 | 3893 3276 | 0 | 0 1731.95/1732.36 c 1729s | 25 | 5283860 | 5104898 | 3893 3279 | 0 | 0 1733.94/1734.38 c 1731s | 25 | 5290277 | 5111198 | 3893 3282 | 0 | 0 1736.04/1736.40 c 1733s | 25 | 5296029 | 5116898 | 3893 3285 | 0 | 0 1738.04/1738.41 c 1735s | 25 | 5301695 | 5122498 | 3893 3288 | 0 | 0 1740.04/1740.43 c 1737s | 25 | 5307247 | 5127898 | 3893 3290 | 0 | 0 1742.04/1742.43 c 1739s | 25 | 5311928 | 5132398 | 3893 3292 | 0 | 0 1744.03/1744.47 c 1741s | 25 | 5316444 | 5136698 | 3893 3294 | 0 | 0 1746.13/1746.55 c 1743s | 25 | 5320891 | 5140998 | 3893 3297 | 0 | 0 1748.23/1748.60 c 1745s | 25 | 5325462 | 5145398 | 3893 3299 | 0 | 0 1750.23/1750.62 c 1747s | 25 | 5329866 | 5149598 | 3893 3301 | 0 | 0 1752.24/1752.64 c 1749s | 25 | 5334938 | 5154498 | 3893 3303 | 0 | 0 1754.24/1754.65 c 1751s | 25 | 5340028 | 5159498 | 3893 3305 | 0 | 0 1756.23/1756.65 c 1753s | 25 | 5345163 | 5164498 | 3893 3308 | 0 | 0 1758.23/1758.66 c 1755s | 25 | 5350546 | 5169798 | 3893 3310 | 0 | 0 1760.23/1760.68 c 1757s | 25 | 5356267 | 5175398 | 3893 3313 | 0 | 0 1762.23/1762.69 c 1759s | 25 | 5361690 | 5180698 | 3893 3316 | 0 | 0 1764.33/1764.72 c 1761s | 25 | 5366748 | 5185698 | 3893 3318 | 0 | 0 1766.33/1766.74 c 1763s | 25 | 5371603 | 5190498 | 3893 3320 | 0 | 0 1768.33/1768.77 c 1765s | 25 | 5376876 | 5195698 | 3893 3323 | 0 | 0 1770.43/1770.81 c 1767s | 25 | 5382169 | 5200898 | 3893 3325 | 0 | 0 1772.43/1772.82 c 1769s | 25 | 5387468 | 5206098 | 3893 3328 | 0 | 0 1774.42/1774.84 c 1771s | 25 | 5393132 | 5211698 | 3893 3331 | 0 | 0 1776.42/1776.87 c 1773s | 25 | 5398511 | 5216998 | 3893 3333 | 0 | 0 1778.42/1778.90 c 1775s | 25 | 5403747 | 5222098 | 3893 3336 | 0 | 0 1780.52/1780.91 c 1777s | 25 | 5410290 | 5228498 | 3893 3339 | 0 | 0 1782.52/1782.93 c 1779s | 25 | 5416064 | 5234198 | 3893 3342 | 0 | 0 1784.51/1784.95 c 1781s | 25 | 5421727 | 5239798 | 3893 3344 | 0 | 0 1786.51/1786.95 c 1783s | 25 | 5426990 | 5244998 | 3893 3347 | 0 | 0 1788.51/1788.98 c 1786s | 25 | 5432770 | 5250698 | 3893 3349 | 0 | 0 1790.52/1790.98 c 1788s | 25 | 5438484 | 5256198 | 3893 3352 | 0 | 0 1792.51/1792.99 c 1790s | 25 | 5444302 | 5261898 | 3893 3355 | 0 | 0 1794.51/1795.00 c 1792s | 25 | 5450302 | 5267798 | 3893 3358 | 0 | 0 1796.61/1797.00 c 1794s | 25 | 5456206 | 5273598 | 3893 3361 | 0 | 0 1798.61/1799.02 c 1796s | 25 | 5462032 | 5279298 | 3893 3363 | 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-4080202-1465255011/watcher-4080202-1465255011 -o /tmp/evaluation-result-4080202-1465255011/solver-4080202-1465255011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080202-1465255011.opb pid=13691 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: 1.87 1.40 1.57 3/179 13694 /proc/meminfo: memFree=29301412/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=778684 CPUtime=0 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 2912 0 0 0 0 0 0 0 20 0 4 0 107433056 797372416 3273 33554432000 4194304 16246674 140735534178880 140735534178304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 195183 3285 441 2943 0 192077 0 [pid=13694/tid=13695] ppid=13691 vsize=797116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 816246784 3346 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=801212 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 820441088 3365 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=805308 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 824635392 3378 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 1.87 1.40 1.57 3/179 13694 /proc/meminfo: memFree=29301412/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 21346 0 0 0 7 2 0 0 20 0 4 0 107433056 1247350784 21695 33554432000 4194304 16246674 140735534178880 140735534178304 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 304529 21701 759 2943 0 301423 0 [pid=13694/tid=13695] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 21705 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 21713 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 21719 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200542 s] /proc/loadavg: 1.87 1.40 1.57 3/179 13694 /proc/meminfo: memFree=29301412/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 38975 0 0 0 14 5 0 0 20 0 4 0 107433056 1247350784 39324 33554432000 4194304 16246674 140735534178880 140735534160768 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 304529 39327 766 2943 0 301423 0 [pid=13694/tid=13695] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 39331 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 39336 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 39342 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300489 s] /proc/loadavg: 1.87 1.40 1.57 3/179 13694 /proc/meminfo: memFree=29301412/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 56414 0 0 0 22 7 0 0 20 0 4 0 107433056 1247350784 56763 33554432000 4194304 16246674 140735534178880 140735534160768 6836566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 304529 56773 766 2943 0 301423 0 [pid=13694/tid=13695] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 56778 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 56782 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 56787 33554432000 4194304 16246674 140735534178880 140609243311280 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.700394 s] /proc/loadavg: 1.87 1.40 1.57 3/179 13694 /proc/meminfo: memFree=29301412/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 126171 0 0 0 52 17 0 0 20 0 4 0 107433056 1247350784 126520 33554432000 4194304 16246674 140735534178880 140735534160768 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 304529 126528 766 2943 0 301423 0 [pid=13694/tid=13695] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 126534 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 126544 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1247350784 126557 33554432000 4194304 16246674 140735534178880 140609243311280 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.5004 s] /proc/loadavg: 1.87 1.40 1.57 3/183 13698 /proc/meminfo: memFree=28514792/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1220164 CPUtime=1.48 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 245887 0 0 0 115 33 0 0 20 0 4 0 107433056 1249447936 246213 33554432000 4194304 16246674 140735534178880 140735534178192 6843493 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 305041 246213 831 2943 0 301935 0 [pid=13694/tid=13695] ppid=13691 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1249447936 246213 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1249447936 246213 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1249447936 246213 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1220164 [startup+3.1004 s] /proc/loadavg: 1.87 1.40 1.57 3/183 13698 /proc/meminfo: memFree=28316888/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1305156 CPUtime=3.08 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 267123 0 0 0 273 35 0 0 20 0 4 0 107433056 1336479744 267449 33554432000 4194304 16246674 140735534178880 140735534161880 6844221 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 326289 267449 849 2943 0 323183 0 [pid=13694/tid=13695] ppid=13691 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1336479744 267449 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1336479744 267449 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1336479744 267449 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1305156 [startup+6.3004 s] /proc/loadavg: 1.88 1.41 1.57 3/183 13698 /proc/meminfo: memFree=28229456/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 267814 0 0 0 593 36 0 0 20 0 4 0 107433056 1338576896 268140 33554432000 4194304 16246674 140735534178880 140735534160768 5712474 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 326801 268140 852 2943 0 323695 0 [pid=13694/tid=13695] ppid=13691 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1338576896 268140 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1338576896 268140 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1338576896 268140 33554432000 4194304 16246674 140735534178880 140609243311280 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: 1.97 1.44 1.58 4/183 13698 /proc/meminfo: memFree=28228268/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 267952 0 0 0 1233 36 0 0 20 0 4 0 107433056 1339625472 268278 33554432000 4194304 16246674 140735534178880 140735534160768 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 327057 268278 852 2943 0 323951 0 [pid=13694/tid=13695] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268278 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268278 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268278 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5075 s] /proc/loadavg: 2.05 1.48 1.59 3/183 13698 /proc/meminfo: memFree=28227552/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1308228 CPUtime=25.5 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 268153 0 0 0 2514 36 0 0 20 0 4 0 107433056 1339625472 268479 33554432000 4194304 16246674 140735534178880 140735534160768 13954550 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 327057 268479 852 2943 0 323951 0 [pid=13694/tid=13695] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268479 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268479 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1339625472 268479 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.03 1.52 1.60 3/183 13698 /proc/meminfo: memFree=28225452/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1310276 CPUtime=51.08 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 268666 0 0 0 5072 36 0 0 20 0 4 0 107433056 1341722624 268992 33554432000 4194304 16246674 140735534178880 140735534160768 6020879 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 327569 268992 853 2943 0 324463 0 [pid=13694/tid=13695] ppid=13691 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1341722624 268992 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1341722624 268992 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1341722624 268992 33554432000 4194304 16246674 140735534178880 140609243311280 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) 1310276 [startup+102.3 s] /proc/loadavg: 2.22 1.65 1.64 4/183 13699 /proc/meminfo: memFree=28208484/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 269995 0 0 0 10190 38 0 0 20 0 4 0 107433056 1348014080 270321 33554432000 4194304 16246674 140735534178880 140735534160768 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329105 270321 854 2943 0 325999 0 [pid=13694/tid=13695] ppid=13691 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1348014080 270321 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1348014080 270321 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1348014080 270321 33554432000 4194304 16246674 140735534178880 140609243311280 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) 1316420 ################ # More data... # ################ /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1319492 [startup+1362.3 s] /proc/loadavg: 2.12 2.17 2.02 4/183 13730 /proc/meminfo: memFree=28198528/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1362.08 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 270971 0 0 0 136158 50 0 0 20 0 4 0 107433056 1351159808 271297 33554432000 4194304 16246674 140735534178880 140735534160768 5808585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271297 854 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1319492 [startup+1422.3 s] /proc/loadavg: 2.19 2.18 2.04 3/184 13735 /proc/meminfo: memFree=28198388/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1422.07 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 270971 0 0 0 142157 50 0 0 20 0 4 0 107433056 1351159808 271297 33554432000 4194304 16246674 140735534178880 140735534160768 6009745 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271297 854 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271297 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 1319492 [startup+1482.3 s] /proc/loadavg: 2.16 2.18 2.04 3/183 13736 /proc/meminfo: memFree=28197928/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1482.06 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 270972 0 0 0 148155 51 0 0 20 0 4 0 107433056 1351159808 271298 33554432000 4194304 16246674 140735534178880 140735534161880 5823432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271298 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1319492 [startup+1542.3 s] /proc/loadavg: 2.14 2.17 2.04 4/183 13737 /proc/meminfo: memFree=28198380/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1542.06 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 270972 0 0 0 154154 52 0 0 20 0 4 0 107433056 1351159808 271298 33554432000 4194304 16246674 140735534178880 140735534161880 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271298 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271298 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1542.06 Current children cumulated vsize (KiB) 1319492 [startup+1602.3 s] /proc/loadavg: 2.42 2.24 2.08 3/183 13738 /proc/meminfo: memFree=28196928/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1602.03 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271009 0 0 0 160150 53 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534160768 12483362 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 1319492 [startup+1662.31 s] /proc/loadavg: 2.21 2.21 2.08 3/183 13739 /proc/meminfo: memFree=28197048/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1661.99 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271052 0 0 0 166145 54 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534160768 5600746 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1319492 [startup+1722.3 s] /proc/loadavg: 2.29 2.23 2.09 4/183 13741 /proc/meminfo: memFree=28190692/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1721.95 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271093 0 0 0 172140 55 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534161880 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 1319492 [startup+1782.3 s] /proc/loadavg: 2.20 2.22 2.09 3/183 13839 /proc/meminfo: memFree=28203812/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1781.92 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271138 0 0 0 178136 56 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534160768 5677880 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.92 Current children cumulated vsize (KiB) 1319492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.21 2.22 2.09 3/183 13840 /proc/meminfo: memFree=28203672/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1800.01 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271148 0 0 0 179945 56 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534160768 5722978 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 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 13694 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.21 2.22 2.09 3/183 13840 /proc/meminfo: memFree=28203672/32872528 swapFree=17452/1581112 [pid=13694] ppid=13691 vsize=1319492 CPUtime=1800.01 cores=1,3,5,7 /proc/13694/stat : 13694 (toysat) R 13691 13694 13546 0 -1 4202496 271148 0 0 0 179945 56 0 0 20 0 4 0 107433056 1351159808 271554 33554432000 4194304 16246674 140735534178880 140735534160768 5722978 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13694/statm: 329873 271554 855 2943 0 326767 0 [pid=13694/tid=13695] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13695/stat : 13695 (toysat) S 13691 13694 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609332423920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13694/tid=13696] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13696/stat : 13696 (toysat) S 13691 13694 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609321934064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13694/tid=13697] ppid=13691 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/13694/task/13697/stat : 13697 (toysat) S 13691 13694 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107433057 1351159808 271554 33554432000 4194304 16246674 140735534178880 140609243311280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1319492 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.44 CPU time (s): 1800.05 CPU user time (s): 1799.46 CPU system time (s): 0.597909 CPU usage (%): 99.9784 Max. virtual memory (cumulated for all children) (KiB): 1319492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.597909 maximum resident set size= 1086216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271148 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= 190 involuntary context switches= 1852 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.67253 second user time and 7.80181 second system time The end
Begin job on node139 at 2016-06-07 01:16:51 IDJOB=4080202 IDBENCH=48043 IDSOLVER=2542 FILE ID=node139/4080202-1465255011 RUNJOBID= node139-1465254943-13563 PBS_JOBID= 19843273 Free space on /tmp= 71716 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=499-P1=293-P2=223-P3=277-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080202-1465255011/watcher-4080202-1465255011 -o /tmp/evaluation-result-4080202-1465255011/solver-4080202-1465255011 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13563 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080202-1465255011.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ffde7c44e1ce67f9a67e822c2db106af RANDOM SEED=1081993805 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.868 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: 29301940 kB Buffers: 48464 kB Cached: 160540 kB SwapCached: 1488 kB Active: 1181440 kB Inactive: 104360 kB Active(anon): 1076960 kB Inactive(anon): 2200 kB Active(file): 104480 kB Inactive(file): 102160 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099764 kB Dirty: 16512 kB Writeback: 0 kB AnonPages: 2656480 kB Mapped: 10668 kB Shmem: 0 kB Slab: 569644 kB SReclaimable: 13608 kB SUnreclaim: 556036 kB KernelStack: 1520 kB PageTables: 9444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2802056 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1566720 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= 71700 MiB End job on node139 at 2016-06-07 01:46:52