| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=71-P1=107-P2=197-P3=67-B.opb |
| MD5SUM | ece282cf8dbd0acc24f1883b841333ea |
| 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.051991 |
| 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 | 72 |
| 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 | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 192 |
| Sum of products size (including duplicates) | 384 |
| Number of different products | 192 |
| Sum of products size | 384 |
0.00/0.00 c 2016-06-18T20:01:54+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-4106538-1466272913.opb"] 0.00/0.01 c use --random-gen="1143875439 263506879 429342549 1948708325 3478538397 3994896006 2670110856 3325671112 3570365759 2053776383 4120523260 3327963901 992665574 3661368695 2106083887 456807481 3594514645 646414532 4167927385 1881588403 2944758315 3259312253 3117283633 3099131826 1932867443 1576966593 2921660446 1225482649 912587724 864372571 720597983 1025304780 525603850 4226734742 876756642 1211145813 891101397 4279760574 2397026177 592000780 4286942686 2470919371 33753166 904736235 3698038277 2372941124 3965877505 2729718298 2660790172 1894640715 3948703677 3180881910 2681151694 1737899115 3490993544 1366852300 1316316329 50218443 2498787891 910352644 2554434863 3464765250 112481508 482537078 1749580957 1753602546 6715968 181890384 2113338982 1651386026 3435584200 3298259384 1407701357 3897719415 3635970562 1300384840 178233697 958608439 650744168 1860182818 3762342061 397956017 1250012834 2109239184 3455736049 417971366 4127148096 4141767514 2700422732 2362228925 4004167273 3864717237 2669196595 3088806186 2798367427 3732037488 4286870308 721203605 3116604689 3869336237 730985360 1707977871 2802667221 2047763783 2724513150 2367602194 539476536 288437483 2283869488 3273863608 3602029174 2964553662 2397084854 2352754111 3486897469 3368165680 3163320763 644032082 484608795 1801209210 655204534 1957732434 2696858751 970060161 787135820 2522832586 3364349449 408170538 2191858037 107230910 3023500040 205887512 814613781 4100373342 2253703804 3232342163 2060052963 64759311 2074573637 2952792350 2260085565 3134809221 3961385398 1380852607 2787052063 1698044563 1323944280 382290674 1516744153 4101806205 1298489142 3580106347 3256335039 1115257867 2085597797 2248341161 2129835847 337295280 2554915794 21813068 2842384702 1676062971 1960071420 2558993248 1162657506 1083570716 3945546525 3065542358 2883577969 936478603 2534481191 4162869687 2425963246 4065794627 379086701 2919084941 1655904972 624092171 175036891 276006047 3460090181 1407319553 2387533874 1910149436 1198968465 1115314893 1199705836 3405195600 1148506983 3378083182 1964662764 1253485142 2992595438 697722707 490441791 76864526 2665237230 3795511258 227559015 4144787354 3047061430 3238954758 2948000522 1951002680 515626823 2302444413 3940382958 807742547 2655287508 1541662024 2326573590 909607171 3737273948 3781461910 2893740177 3446025721 1816727492 3844755133 1768170364 2028542383 1319533524 345063590 4091883119 4002887964 2536730171 1102960254 3675137595 3457042728 1358270441 2888267057 4193503082 2218193706 1166994494 2670687538 280083421 4220577474 1725316425 3437299696 1163818245 3826333792 2391345110 1808710616 1561629601 459770372 1184331667 861941096 3732863944 2732421648 841632495 1679490317 4224601195 167213767 3300422250 632132328 1417843189 3789630419 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 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 | 283 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 114 | 100 | 283 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 273 | 250 | 312 0 | 0 | 0 0.09/0.13 c 0.1s | 3 | 532 | 475 | 344 0 | 0 | 0 0.19/0.28 c 0.3s | 4 | 904 | 813 | 379 2 | 0 | 0 0.39/0.47 c 0.4s | 5 | 1438 | 1320 | 417 3 | 0 | 0 0.49/0.55 c 0.5s | 5 | 1915 | 1705 | 459 5 | 0 | 0 0.49/0.55 c #cpu_time = 0.535s 0.49/0.55 c #wall_clock_time = 0.537s 0.49/0.55 c #decision = 1915 0.49/0.55 c #random_decision = 4 0.49/0.55 c #conflict = 1705 0.49/0.55 c #restart = 5 0.49/0.55 o 245 0.49/0.55 c BCD2: updating upper bound: 255 -> 244 0.49/0.55 c BCD2: 0 <= obj <= 244 0.49/0.55 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.49/0.55 c BCD2: #sat=1 #unsat=1 bias=1/2 0.49/0.55 c Solving starts ... 0.49/0.55 c ============================[ Search Statistics ]============================ 0.49/0.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.55 c | | | | Limit GC | Var | Constra 0.49/0.55 c ============================================================================= 0.49/0.55 c 0.0s | 0 | 0 | 0 | 459 0 | 0 | 0 0.49/0.56 c 0.0s | 0 | 6 | 0 | 459 0 | 0 | 0 0.49/0.56 c #cpu_time = 0.002s 0.49/0.56 c #wall_clock_time = 0.002s 0.49/0.56 c #decision = 6 0.49/0.56 c #random_decision = 0 0.49/0.56 c #conflict = 0 0.49/0.56 c #restart = 0 0.49/0.56 c BCD2: found a new core of size 7: cost of the new core is >=2 0.49/0.56 c lower bound updated to 2 0.49/0.56 c BCD2: 2 <= obj <= 244 0.49/0.56 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.49/0.56 c BCD2: #sat=1 #unsat=2 bias=2/3 0.49/0.56 c Solving starts ... 0.49/0.56 c ============================[ Search Statistics ]============================ 0.49/0.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.49/0.56 c | | | | Limit GC | Var | Constra 0.49/0.56 c ============================================================================= 0.49/0.56 c 0.0s | 0 | 0 | 0 | 459 0 | 0 | 0 0.58/0.63 c 0.1s | 1 | 163 | 100 | 459 0 | 0 | 0 0.58/0.68 c 0.1s | 2 | 415 | 250 | 459 1 | 0 | 0 0.69/0.76 c 0.2s | 3 | 765 | 475 | 505 1 | 0 | 0 0.79/0.83 c 0.3s | 4 | 1162 | 813 | 505 2 | 0 | 0 0.99/1.02 c 0.5s | 5 | 1728 | 1320 | 505 4 | 0 | 0 1.10/1.19 c 0.6s | 6 | 2580 | 2081 | 556 6 | 0 | 0 1.59/1.68 c 1.1s | 7 | 3945 | 3223 | 612 9 | 0 | 0 1.99/2.03 c 1.5s | 8 | 5752 | 4936 | 612 14 | 0 | 0 2.59/2.69 c 2.1s | 9 | 8519 | 7506 | 674 20 | 0 | 0 3.39/3.44 c 2.9s | 10 | 12478 | 11361 | 742 28 | 0 | 0 4.69/4.71 c 4.2s | 11 | 18465 | 17144 | 817 40 | 0 | 0 6.39/6.42 c 5.9s | 12 | 27349 | 25819 | 899 57 | 0 | 0 8.39/8.45 c 7.9s | 12 | 35676 | 33819 | 899 72 | 0 | 0 9.78/9.84 c 9.3s | 13 | 41334 | 38832 | 989 80 | 0 | 0 11.78/11.85 c 11.3s | 13 | 51490 | 48632 | 989 97 | 0 | 0 13.78/13.86 c 13.3s | 13 | 61148 | 58132 | 1088 113 | 0 | 0 13.88/13.91 c 13.3s | 14 | 61367 | 58352 | 1088 113 | 0 | 0 15.88/15.93 c 15.4s | 14 | 70962 | 66952 | 1088 127 | 0 | 0 17.88/17.93 c 17.4s | 14 | 79585 | 74952 | 1088 139 | 0 | 0 19.89/19.94 c 19.4s | 14 | 88644 | 83552 | 1088 153 | 0 | 0 20.78/20.87 c 20.3s | 15 | 92891 | 87632 | 1197 159 | 0 | 0 22.78/22.88 c 22.3s | 15 | 102186 | 96732 | 1197 172 | 0 | 0 24.88/24.90 c 24.3s | 15 | 111557 | 105832 | 1197 185 | 0 | 0 26.88/26.91 c 26.4s | 15 | 121090 | 115132 | 1197 199 | 0 | 0 28.88/28.91 c 28.4s | 15 | 129398 | 123132 | 1197 211 | 0 | 0 30.89/30.93 c 30.4s | 15 | 137700 | 130932 | 1317 222 | 0 | 0 30.98/31.09 c 30.5s | 16 | 138351 | 131552 | 1317 223 | 0 | 0 33.09/33.11 c 32.6s | 16 | 146333 | 139052 | 1317 233 | 0 | 0 35.08/35.12 c 34.6s | 16 | 154352 | 146652 | 1317 243 | 0 | 0 37.08/37.14 c 36.6s | 16 | 162887 | 154652 | 1317 254 | 0 | 0 39.08/39.15 c 38.6s | 16 | 171550 | 162852 | 1317 264 | 0 | 0 41.08/41.16 c 40.6s | 16 | 180014 | 171052 | 1317 275 | 0 | 0 43.18/43.20 c 42.6s | 16 | 187892 | 178452 | 1317 285 | 0 | 0 45.19/45.22 c 44.7s | 16 | 194827 | 185052 | 1317 294 | 0 | 0 47.18/47.24 c 46.7s | 16 | 200708 | 190652 | 1317 302 | 0 | 0 49.18/49.25 c 48.7s | 16 | 207532 | 197152 | 1449 310 | 0 | 0 49.28/49.37 c 48.8s | 17 | 207827 | 197432 | 1449 310 | 0 | 0 51.28/51.38 c 50.8s | 17 | 217339 | 206732 | 1449 322 | 0 | 0 53.28/53.39 c 52.8s | 17 | 226015 | 215232 | 1449 332 | 0 | 0 55.38/55.40 c 54.8s | 17 | 235230 | 224232 | 1449 343 | 0 | 0 57.38/57.41 c 56.9s | 17 | 244272 | 233132 | 1449 354 | 0 | 0 59.39/59.41 c 58.9s | 17 | 252745 | 241532 | 1449 364 | 0 | 0 61.38/61.43 c 60.9s | 17 | 261574 | 250232 | 1449 375 | 0 | 0 63.38/63.45 c 62.9s | 17 | 270177 | 258732 | 1449 385 | 0 | 0 65.38/65.46 c 64.9s | 17 | 278479 | 266932 | 1449 395 | 0 | 0 67.38/67.48 c 66.9s | 17 | 287347 | 275532 | 1449 406 | 0 | 0 69.48/69.50 c 68.9s | 17 | 294889 | 282732 | 1449 415 | 0 | 0 71.48/71.51 c 71.0s | 17 | 302243 | 289932 | 1449 424 | 0 | 0 73.18/73.25 c 72.7s | 18 | 308685 | 296252 | 1594 431 | 0 | 0 75.18/75.25 c 74.7s | 18 | 317359 | 304552 | 1594 440 | 0 | 0 77.18/77.27 c 76.7s | 18 | 326032 | 312852 | 1594 450 | 0 | 0 79.18/79.28 c 78.7s | 18 | 334043 | 320552 | 1594 458 | 0 | 0 81.28/81.30 c 80.7s | 18 | 342566 | 328652 | 1594 468 | 0 | 0 83.28/83.32 c 82.8s | 18 | 351223 | 336952 | 1594 477 | 0 | 0 85.28/85.35 c 84.8s | 18 | 358517 | 343852 | 1594 485 | 0 | 0 87.27/87.37 c 86.8s | 18 | 366408 | 351452 | 1594 493 | 0 | 0 89.27/89.39 c 88.8s | 18 | 374181 | 359052 | 1594 502 | 0 | 0 91.38/91.41 c 90.9s | 18 | 381958 | 366552 | 1594 510 | 0 | 0 93.37/93.41 c 92.9s | 18 | 388642 | 372752 | 1594 517 | 0 | 0 95.37/95.41 c 94.9s | 18 | 396547 | 380252 | 1594 526 | 0 | 0 97.37/97.42 c 96.9s | 18 | 405526 | 388852 | 1594 535 | 0 | 0 99.37/99.44 c 98.9s | 18 | 414339 | 397252 | 1594 545 | 0 | 0 101.37/101.46 c 100s | 18 | 423476 | 406052 | 1594 555 | 0 | 0 103.38/103.46 c 102s | 18 | 432245 | 414452 | 1594 564 | 0 | 0 105.37/105.48 c 104s | 18 | 441497 | 423252 | 1594 574 | 0 | 0 107.37/107.48 c 106s | 18 | 450283 | 431452 | 1594 584 | 0 | 0 109.37/109.48 c 108s | 18 | 458895 | 439652 | 1754 593 | 0 | 0 110.67/110.74 c 110s | 19 | 464099 | 444482 | 1754 598 | 0 | 0 112.67/112.77 c 112s | 19 | 472464 | 452682 | 1754 606 | 0 | 0 114.67/114.78 c 114s | 19 | 481481 | 461482 | 1754 615 | 0 | 0 116.67/116.79 c 116s | 19 | 490022 | 469882 | 1754 624 | 0 | 0 118.77/118.81 c 118s | 19 | 498579 | 478282 | 1754 633 | 0 | 0 120.77/120.83 c 120s | 19 | 506307 | 485882 | 1754 640 | 0 | 0 122.77/122.84 c 122s | 19 | 515156 | 494582 | 1754 649 | 0 | 0 124.77/124.85 c 124s | 19 | 523896 | 503182 | 1754 658 | 0 | 0 126.77/126.86 c 126s | 19 | 532547 | 511482 | 1754 667 | 0 | 0 128.77/128.88 c 128s | 19 | 541388 | 520082 | 1754 675 | 0 | 0 130.87/130.90 c 130s | 19 | 549746 | 528282 | 1754 684 | 0 | 0 132.87/132.91 c 132s | 19 | 557728 | 536082 | 1754 692 | 0 | 0 134.87/134.93 c 134s | 19 | 566224 | 544482 | 1754 701 | 0 | 0 136.87/136.95 c 136s | 19 | 573030 | 551182 | 1754 708 | 0 | 0 138.87/138.97 c 138s | 19 | 579223 | 557082 | 1754 714 | 0 | 0 140.88/140.99 c 140s | 19 | 585971 | 563582 | 1754 721 | 0 | 0 142.98/143.01 c 142s | 19 | 592198 | 569482 | 1754 727 | 0 | 0 144.97/145.03 c 144s | 19 | 597561 | 574782 | 1754 732 | 0 | 0 146.97/147.06 c 146s | 19 | 603827 | 580882 | 1754 739 | 0 | 0 148.97/149.08 c 148s | 19 | 610319 | 587182 | 1754 745 | 0 | 0 150.97/151.09 c 150s | 19 | 616012 | 592582 | 1754 751 | 0 | 0 153.07/153.11 c 152s | 19 | 622634 | 598982 | 1754 757 | 0 | 0 155.07/155.12 c 154s | 19 | 631011 | 607082 | 1754 766 | 0 | 0 157.07/157.13 c 156s | 19 | 638228 | 614082 | 1754 773 | 0 | 0 159.07/159.13 c 158s | 19 | 645182 | 620882 | 1754 780 | 0 | 0 161.06/161.15 c 160s | 19 | 652074 | 627682 | 1754 787 | 0 | 0 163.06/163.18 c 162s | 19 | 659130 | 634482 | 1754 794 | 0 | 0 165.16/165.20 c 164s | 19 | 666586 | 641782 | 1754 802 | 0 | 0 167.17/167.22 c 166s | 19 | 674386 | 649482 | 1754 810 | 0 | 0 169.16/169.23 c 168s | 19 | 682290 | 657282 | 1754 818 | 0 | 0 171.16/171.25 c 170s | 19 | 690256 | 664982 | 1930 825 | 0 | 0 171.67/171.73 c 171s | 20 | 692104 | 666827 | 1930 827 | 0 | 0 173.66/173.75 c 173s | 20 | 700177 | 674527 | 1930 834 | 0 | 0 175.66/175.76 c 175s | 20 | 708644 | 682627 | 1930 842 | 0 | 0 177.66/177.78 c 177s | 20 | 716258 | 689927 | 1930 849 | 0 | 0 179.66/179.79 c 179s | 20 | 724333 | 697627 | 1930 856 | 0 | 0 181.76/181.81 c 181s | 20 | 732386 | 705327 | 1930 863 | 0 | 0 183.77/183.82 c 183s | 20 | 740145 | 712927 | 1930 870 | 0 | 0 185.76/185.83 c 185s | 20 | 746716 | 719127 | 1930 876 | 0 | 0 187.76/187.84 c 187s | 20 | 753483 | 725627 | 1930 882 | 0 | 0 189.76/189.87 c 189s | 20 | 762119 | 733727 | 1930 890 | 0 | 0 191.76/191.89 c 191s | 20 | 769715 | 740927 | 1930 897 | 0 | 0 193.86/193.91 c 193s | 20 | 779022 | 750027 | 1930 905 | 0 | 0 195.86/195.92 c 195s | 20 | 786567 | 757227 | 1930 912 | 0 | 0 197.85/197.94 c 197s | 20 | 794597 | 764927 | 1930 919 | 0 | 0 199.85/199.96 c 199s | 20 | 801434 | 771227 | 1930 925 | 0 | 0 201.85/201.97 c 201s | 20 | 809169 | 778327 | 1930 932 | 0 | 0 203.85/203.99 c 203s | 20 | 817291 | 785827 | 1930 939 | 0 | 0 205.96/206.02 c 205s | 20 | 824324 | 792527 | 1930 945 | 0 | 0 207.97/208.02 c 207s | 20 | 832416 | 800427 | 1930 953 | 0 | 0 209.96/210.04 c 209s | 20 | 840504 | 808227 | 1930 960 | 0 | 0 211.96/212.04 c 211s | 20 | 847728 | 815127 | 1930 967 | 0 | 0 213.96/214.08 c 213s | 20 | 855423 | 822527 | 1930 974 | 0 | 0 215.96/216.09 c 215s | 20 | 863956 | 830727 | 1930 981 | 0 | 0 218.06/218.10 c 217s | 20 | 872573 | 838927 | 1930 989 | 0 | 0 220.06/220.11 c 219s | 20 | 881274 | 847227 | 1930 997 | 0 | 0 222.06/222.13 c 221s | 20 | 888844 | 854427 | 1930 1004 | 0 | 0 224.06/224.15 c 223s | 20 | 896906 | 862127 | 1930 1011 | 0 | 0 226.06/226.16 c 225s | 20 | 904151 | 868727 | 1930 1017 | 0 | 0 228.06/228.16 c 227s | 20 | 911653 | 875927 | 1930 1024 | 0 | 0 230.05/230.17 c 229s | 20 | 919365 | 883127 | 1930 1031 | 0 | 0 232.06/232.20 c 231s | 20 | 925795 | 889227 | 1930 1036 | 0 | 0 234.15/234.21 c 233s | 20 | 934478 | 897427 | 1930 1044 | 0 | 0 236.15/236.22 c 235s | 20 | 941684 | 904327 | 1930 1051 | 0 | 0 238.15/238.22 c 237s | 20 | 948715 | 911027 | 1930 1057 | 0 | 0 240.15/240.22 c 239s | 20 | 955767 | 917827 | 1930 1064 | 0 | 0 242.15/242.22 c 241s | 20 | 963474 | 925227 | 1930 1071 | 0 | 0 244.15/244.26 c 243s | 20 | 971171 | 932627 | 1930 1078 | 0 | 0 246.15/246.29 c 245s | 20 | 979161 | 940327 | 1930 1085 | 0 | 0 248.15/248.29 c 247s | 20 | 987110 | 947827 | 1930 1093 | 0 | 0 250.25/250.30 c 249s | 20 | 994910 | 955227 | 1930 1100 | 0 | 0 252.25/252.33 c 251s | 20 | 1002807 | 962827 | 1930 1107 | 0 | 0 254.25/254.33 c 253s | 20 | 1010774 | 970327 | 1930 1114 | 0 | 0 256.25/256.34 c 255s | 20 | 1018334 | 977527 | 1930 1121 | 0 | 0 258.24/258.35 c 257s | 20 | 1026075 | 984827 | 1930 1128 | 0 | 0 260.24/260.36 c 259s | 20 | 1033295 | 991727 | 2123 1134 | 0 | 0 262.24/262.37 c 261s | 20 | 1040899 | 998927 | 2123 1141 | 0 | 0 262.64/262.77 c 262s | 21 | 1042353 | 1000345 | 2123 1142 | 0 | 0 264.64/264.78 c 264s | 21 | 1051793 | 1009645 | 2123 1150 | 0 | 0 266.74/266.80 c 266s | 21 | 1060740 | 1018445 | 2123 1158 | 0 | 0 268.74/268.80 c 268s | 21 | 1069485 | 1027045 | 2123 1165 | 0 | 0 270.74/270.80 c 270s | 21 | 1078117 | 1035545 | 2123 1173 | 0 | 0 272.75/272.83 c 272s | 21 | 1086096 | 1043445 | 2123 1179 | 0 | 0 274.74/274.84 c 274s | 21 | 1093431 | 1050645 | 2123 1186 | 0 | 0 276.74/276.86 c 276s | 21 | 1101459 | 1058545 | 2123 1193 | 0 | 0 278.75/278.87 c 278s | 21 | 1108754 | 1065445 | 2123 1199 | 0 | 0 280.75/280.88 c 280s | 21 | 1116588 | 1072945 | 2123 1205 | 0 | 0 282.75/282.89 c 282s | 21 | 1124017 | 1080245 | 2123 1211 | 0 | 0 284.85/284.91 c 284s | 21 | 1130793 | 1086845 | 2123 1217 | 0 | 0 286.85/286.93 c 286s | 21 | 1137911 | 1093845 | 2123 1223 | 0 | 0 288.85/288.95 c 288s | 21 | 1145146 | 1100945 | 2123 1229 | 0 | 0 290.85/290.96 c 290s | 21 | 1152487 | 1108145 | 2123 1236 | 0 | 0 292.85/292.97 c 292s | 21 | 1159473 | 1115045 | 2123 1242 | 0 | 0 294.85/294.99 c 294s | 21 | 1167062 | 1122445 | 2123 1248 | 0 | 0 296.95/297.01 c 296s | 21 | 1174988 | 1130245 | 2123 1255 | 0 | 0 298.94/299.04 c 298s | 21 | 1182588 | 1137745 | 2123 1261 | 0 | 0 300.94/301.04 c 300s | 21 | 1189325 | 1144245 | 2123 1267 | 0 | 0 302.94/303.06 c 302s | 21 | 1196202 | 1150945 | 2123 1273 | 0 | 0 304.94/305.07 c 304s | 21 | 1204747 | 1159345 | 2123 1280 | 0 | 0 306.95/307.09 c 306s | 21 | 1213025 | 1167445 | 2123 1288 | 0 | 0 309.05/309.11 c 308s | 21 | 1220794 | 1175045 | 2123 1294 | 0 | 0 311.04/311.13 c 310s | 21 | 1228307 | 1182345 | 2123 1300 | 0 | 0 313.04/313.14 c 312s | 21 | 1235712 | 1189445 | 2123 1307 | 0 | 0 315.04/315.17 c 314s | 21 | 1242940 | 1196345 | 2123 1313 | 0 | 0 317.04/317.18 c 316s | 21 | 1250105 | 1203245 | 2123 1319 | 0 | 0 319.14/319.20 c 318s | 21 | 1257723 | 1210645 | 2123 1325 | 0 | 0 321.14/321.21 c 320s | 21 | 1265152 | 1217845 | 2123 1331 | 0 | 0 323.14/323.23 c 322s | 21 | 1270963 | 1223345 | 2123 1336 | 0 | 0 325.14/325.25 c 324s | 21 | 1278586 | 1230645 | 2123 1343 | 0 | 0 327.14/327.26 c 326s | 21 | 1286253 | 1237845 | 2123 1349 | 0 | 0 329.14/329.28 c 328s | 21 | 1293285 | 1244445 | 2123 1355 | 0 | 0 331.14/331.29 c 330s | 21 | 1301290 | 1252045 | 2123 1361 | 0 | 0 333.24/333.32 c 332s | 21 | 1308835 | 1259345 | 2123 1368 | 0 | 0 335.23/335.35 c 334s | 21 | 1316526 | 1266745 | 2123 1374 | 0 | 0 337.23/337.36 c 336s | 21 | 1324091 | 1273945 | 2123 1380 | 0 | 0 339.23/339.38 c 338s | 21 | 1331236 | 1280545 | 2123 1386 | 0 | 0 341.23/341.38 c 340s | 21 | 1338428 | 1287145 | 2123 1392 | 0 | 0 343.24/343.39 c 342s | 21 | 1345834 | 1294045 | 2123 1398 | 0 | 0 345.34/345.41 c 344s | 21 | 1353024 | 1300945 | 2123 1404 | 0 | 0 347.33/347.45 c 346s | 21 | 1360930 | 1308645 | 2123 1411 | 0 | 0 349.33/349.45 c 348s | 21 | 1368189 | 1315645 | 2123 1417 | 0 | 0 351.33/351.45 c 350s | 21 | 1375319 | 1322445 | 2123 1423 | 0 | 0 353.33/353.47 c 352s | 21 | 1382548 | 1329245 | 2123 1429 | 0 | 0 355.43/355.50 c 354s | 21 | 1389978 | 1336245 | 2123 1435 | 0 | 0 357.44/357.52 c 356s | 21 | 1397246 | 1343045 | 2123 1441 | 0 | 0 359.43/359.53 c 358s | 21 | 1404882 | 1350045 | 2123 1447 | 0 | 0 361.43/361.53 c 360s | 21 | 1412050 | 1356845 | 2123 1453 | 0 | 0 363.42/363.54 c 362s | 21 | 1419731 | 1363745 | 2123 1459 | 0 | 0 365.42/365.57 c 365s | 21 | 1426799 | 1370545 | 2123 1465 | 0 | 0 367.43/367.58 c 367s | 21 | 1434145 | 1377545 | 2123 1471 | 0 | 0 369.43/369.60 c 369s | 21 | 1441537 | 1384545 | 2123 1477 | 0 | 0 371.53/371.61 c 371s | 21 | 1448481 | 1391145 | 2123 1483 | 0 | 0 373.53/373.61 c 373s | 21 | 1455781 | 1398145 | 2123 1489 | 0 | 0 375.53/375.63 c 375s | 21 | 1462945 | 1404945 | 2123 1495 | 0 | 0 377.53/377.64 c 377s | 21 | 1470280 | 1411945 | 2123 1501 | 0 | 0 379.53/379.64 c 379s | 21 | 1477209 | 1418645 | 2123 1507 | 0 | 0 381.52/381.66 c 381s | 21 | 1484569 | 1425645 | 2123 1513 | 0 | 0 383.52/383.68 c 383s | 21 | 1491913 | 1432745 | 2123 1519 | 0 | 0 385.62/385.70 c 385s | 21 | 1499451 | 1439945 | 2123 1525 | 0 | 0 387.62/387.73 c 387s | 21 | 1506800 | 1447045 | 2123 1531 | 0 | 0 389.62/389.74 c 389s | 21 | 1513902 | 1453845 | 2123 1537 | 0 | 0 391.63/391.77 c 391s | 21 | 1521528 | 1461245 | 2123 1544 | 0 | 0 393.62/393.79 c 393s | 21 | 1528450 | 1467945 | 2123 1550 | 0 | 0 395.72/395.80 c 395s | 21 | 1535941 | 1475145 | 2123 1556 | 0 | 0 397.72/397.82 c 397s | 21 | 1543639 | 1482545 | 2123 1562 | 0 | 0 399.72/399.84 c 399s | 21 | 1550615 | 1489045 | 2336 1568 | 0 | 0 401.71/401.86 c 401s | 21 | 1558263 | 1496245 | 2336 1573 | 0 | 0 403.21/403.33 c 402s | 22 | 1562964 | 1500622 | 2336 1577 | 0 | 0 405.21/405.34 c 404s | 22 | 1569988 | 1506322 | 2336 1582 | 0 | 0 407.21/407.35 c 406s | 22 | 1576613 | 1512722 | 2336 1587 | 0 | 0 409.22/409.36 c 408s | 22 | 1582355 | 1518222 | 2336 1591 | 0 | 0 411.21/411.37 c 410s | 22 | 1589445 | 1525022 | 2336 1596 | 0 | 0 413.21/413.39 c 412s | 22 | 1596094 | 1531322 | 2336 1601 | 0 | 0 415.31/415.43 c 414s | 22 | 1602121 | 1537122 | 2336 1606 | 0 | 0 417.31/417.46 c 416s | 22 | 1608167 | 1542822 | 2336 1610 | 0 | 0 419.31/419.48 c 418s | 22 | 1616065 | 1550322 | 2336 1616 | 0 | 0 421.32/421.49 c 420s | 22 | 1623916 | 1557722 | 2336 1622 | 0 | 0 423.41/423.51 c 422s | 22 | 1631722 | 1565022 | 2336 1628 | 0 | 0 425.41/425.52 c 424s | 22 | 1639215 | 1571822 | 2336 1634 | 0 | 0 427.41/427.54 c 426s | 22 | 1645927 | 1578022 | 2336 1639 | 0 | 0 429.40/429.54 c 428s | 22 | 1652438 | 1584322 | 2336 1644 | 0 | 0 431.40/431.55 c 430s | 22 | 1659747 | 1591322 | 2336 1649 | 0 | 0 433.41/433.55 c 432s | 22 | 1667861 | 1598922 | 2336 1655 | 0 | 0 435.40/435.57 c 435s | 22 | 1676086 | 1606822 | 2336 1662 | 0 | 0 437.40/437.57 c 437s | 22 | 1683923 | 1614322 | 2336 1668 | 0 | 0 439.40/439.59 c 439s | 22 | 1692334 | 1622322 | 2336 1674 | 0 | 0 441.50/441.60 c 441s | 22 | 1700678 | 1630322 | 2336 1680 | 0 | 0 443.50/443.63 c 443s | 22 | 1708800 | 1638122 | 2336 1687 | 0 | 0 445.50/445.66 c 445s | 22 | 1716824 | 1645722 | 2336 1693 | 0 | 0 447.50/447.67 c 447s | 22 | 1724971 | 1653522 | 2336 1699 | 0 | 0 449.49/449.69 c 449s | 22 | 1732908 | 1661122 | 2336 1705 | 0 | 0 451.49/451.69 c 451s | 22 | 1740874 | 1668822 | 2336 1711 | 0 | 0 453.59/453.70 c 453s | 22 | 1748299 | 1675822 | 2336 1717 | 0 | 0 455.59/455.72 c 455s | 22 | 1754982 | 1681522 | 2336 1721 | 0 | 0 457.60/457.74 c 457s | 22 | 1761705 | 1687622 | 2336 1726 | 0 | 0 459.59/459.76 c 459s | 22 | 1768978 | 1694422 | 2336 1731 | 0 | 0 461.59/461.76 c 461s | 22 | 1775909 | 1701122 | 2336 1737 | 0 | 0 463.59/463.78 c 463s | 22 | 1784455 | 1709222 | 2336 1743 | 0 | 0 465.59/465.78 c 465s | 22 | 1792941 | 1717422 | 2336 1750 | 0 | 0 467.59/467.78 c 467s | 22 | 1801695 | 1725722 | 2336 1757 | 0 | 0 469.60/469.80 c 469s | 22 | 1809661 | 1733022 | 2336 1762 | 0 | 0 471.69/471.81 c 471s | 22 | 1817907 | 1741022 | 2336 1769 | 0 | 0 473.69/473.83 c 473s | 22 | 1826145 | 1748822 | 2336 1775 | 0 | 0 475.69/475.85 c 475s | 22 | 1834062 | 1756422 | 2336 1781 | 0 | 0 477.69/477.85 c 477s | 22 | 1841941 | 1763922 | 2336 1787 | 0 | 0 479.69/479.86 c 479s | 22 | 1849832 | 1771422 | 2336 1793 | 0 | 0 481.69/481.87 c 481s | 22 | 1857687 | 1779122 | 2336 1799 | 0 | 0 483.78/483.90 c 483s | 22 | 1864986 | 1786122 | 2336 1805 | 0 | 0 485.78/485.91 c 485s | 22 | 1872612 | 1793322 | 2336 1811 | 0 | 0 487.78/487.91 c 487s | 22 | 1879965 | 1800022 | 2336 1816 | 0 | 0 489.78/489.92 c 489s | 22 | 1888726 | 1808322 | 2336 1823 | 0 | 0 491.78/491.94 c 491s | 22 | 1896843 | 1816022 | 2336 1829 | 0 | 0 493.79/493.96 c 493s | 22 | 1905336 | 1824022 | 2336 1835 | 0 | 0 495.78/495.97 c 495s | 22 | 1913906 | 1832022 | 2336 1842 | 0 | 0 497.78/497.99 c 497s | 22 | 1922021 | 1839822 | 2336 1848 | 0 | 0 499.88/500.01 c 499s | 22 | 1930287 | 1847722 | 2336 1854 | 0 | 0 501.87/502.02 c 501s | 22 | 1938607 | 1855522 | 2336 1861 | 0 | 0 503.87/504.03 c 503s | 22 | 1947008 | 1863422 | 2336 1867 | 0 | 0 505.88/506.03 c 505s | 22 | 1955377 | 1871422 | 2336 1873 | 0 | 0 507.87/508.03 c 507s | 22 | 1963870 | 1879622 | 2336 1880 | 0 | 0 509.87/510.05 c 509s | 22 | 1971678 | 1886922 | 2336 1886 | 0 | 0 511.87/512.08 c 511s | 22 | 1980668 | 1895422 | 2336 1893 | 0 | 0 513.97/514.10 c 513s | 22 | 1989788 | 1904222 | 2336 1900 | 0 | 0 515.97/516.11 c 515s | 22 | 1997974 | 1912022 | 2336 1906 | 0 | 0 517.97/518.11 c 517s | 22 | 2006697 | 1920322 | 2336 1913 | 0 | 0 519.96/520.12 c 519s | 22 | 2015542 | 1928822 | 2336 1920 | 0 | 0 521.96/522.15 c 521s | 22 | 2024060 | 1936922 | 2336 1926 | 0 | 0 523.96/524.17 c 523s | 22 | 2032773 | 1945222 | 2336 1933 | 0 | 0 525.96/526.19 c 525s | 22 | 2041427 | 1953522 | 2336 1939 | 0 | 0 528.07/528.21 c 527s | 22 | 2050587 | 1962222 | 2336 1946 | 0 | 0 530.07/530.23 c 529s | 22 | 2059527 | 1970822 | 2336 1953 | 0 | 0 532.06/532.24 c 531s | 22 | 2068212 | 1979222 | 2336 1960 | 0 | 0 534.06/534.24 c 533s | 22 | 2076625 | 1987322 | 2336 1967 | 0 | 0 536.06/536.25 c 535s | 22 | 2084480 | 1994722 | 2336 1973 | 0 | 0 538.06/538.27 c 537s | 22 | 2093377 | 2003222 | 2336 1980 | 0 | 0 540.07/540.28 c 539s | 22 | 2100860 | 2010422 | 2336 1985 | 0 | 0 542.06/542.29 c 541s | 22 | 2108236 | 2017422 | 2336 1991 | 0 | 0 544.16/544.32 c 543s | 22 | 2116005 | 2024722 | 2336 1997 | 0 | 0 546.16/546.32 c 545s | 22 | 2123038 | 2031022 | 2336 2002 | 0 | 0 548.15/548.37 c 547s | 22 | 2129112 | 2036022 | 2336 2006 | 0 | 0 550.15/550.38 c 549s | 22 | 2133934 | 2040622 | 2336 2009 | 0 | 0 552.16/552.39 c 551s | 22 | 2141740 | 2048122 | 2336 2015 | 0 | 0 554.26/554.41 c 553s | 22 | 2150262 | 2056122 | 2336 2021 | 0 | 0 556.25/556.42 c 555s | 22 | 2159070 | 2064322 | 2336 2028 | 0 | 0 558.25/558.43 c 557s | 22 | 2167995 | 2072622 | 2336 2035 | 0 | 0 560.25/560.45 c 559s | 22 | 2176108 | 2080322 | 2336 2041 | 0 | 0 562.25/562.46 c 561s | 22 | 2184362 | 2088122 | 2336 2047 | 0 | 0 564.25/564.49 c 563s | 22 | 2193102 | 2096422 | 2336 2053 | 0 | 0 566.25/566.49 c 565s | 22 | 2200761 | 2103822 | 2336 2059 | 0 | 0 568.34/568.51 c 567s | 22 | 2208499 | 2111422 | 2336 2065 | 0 | 0 570.34/570.52 c 569s | 22 | 2216340 | 2118922 | 2336 2071 | 0 | 0 572.34/572.53 c 571s | 22 | 2224350 | 2126622 | 2336 2077 | 0 | 0 574.34/574.56 c 573s | 22 | 2232049 | 2134022 | 2336 2083 | 0 | 0 576.35/576.56 c 576s | 22 | 2238845 | 2140522 | 2336 2088 | 0 | 0 578.34/578.57 c 578s | 22 | 2246966 | 2147922 | 2336 2094 | 0 | 0 580.44/580.60 c 580s | 22 | 2254006 | 2154322 | 2336 2100 | 0 | 0 582.44/582.63 c 582s | 22 | 2261280 | 2160922 | 2336 2105 | 0 | 0 584.44/584.65 c 584s | 22 | 2268858 | 2168022 | 2336 2110 | 0 | 0 586.44/586.67 c 586s | 22 | 2276792 | 2175622 | 2336 2117 | 0 | 0 588.44/588.69 c 588s | 22 | 2284941 | 2183522 | 2336 2123 | 0 | 0 590.54/590.71 c 590s | 22 | 2293502 | 2191522 | 2336 2129 | 0 | 0 592.53/592.72 c 592s | 22 | 2301894 | 2199122 | 2336 2135 | 0 | 0 594.53/594.72 c 594s | 22 | 2310171 | 2207022 | 2336 2142 | 0 | 0 596.53/596.74 c 596s | 22 | 2318929 | 2215322 | 2336 2148 | 0 | 0 598.53/598.76 c 598s | 22 | 2326298 | 2222322 | 2336 2154 | 0 | 0 600.53/600.77 c 600s | 22 | 2334998 | 2230422 | 2336 2160 | 0 | 0 602.52/602.80 c 602s | 22 | 2342926 | 2238022 | 2570 2166 | 0 | 0 604.62/604.82 c 604s | 22 | 2349751 | 2244722 | 2570 2171 | 0 | 0 606.33/606.58 c 606s | 23 | 2356367 | 2251038 | 2570 2176 | 0 | 0 608.43/608.60 c 608s | 23 | 2365484 | 2259838 | 2570 2182 | 0 | 0 610.43/610.61 c 610s | 23 | 2374242 | 2268438 | 2570 2188 | 0 | 0 612.43/612.62 c 612s | 23 | 2383292 | 2277238 | 2570 2195 | 0 | 0 614.43/614.63 c 614s | 23 | 2391263 | 2285038 | 2570 2200 | 0 | 0 616.43/616.65 c 616s | 23 | 2399071 | 2292638 | 2570 2206 | 0 | 0 618.42/618.66 c 618s | 23 | 2406818 | 2300238 | 2570 2212 | 0 | 0 620.42/620.68 c 620s | 23 | 2414986 | 2308138 | 2570 2217 | 0 | 0 622.53/622.70 c 622s | 23 | 2423685 | 2316638 | 2570 2223 | 0 | 0 624.52/624.70 c 624s | 23 | 2432517 | 2325038 | 2570 2230 | 0 | 0 626.52/626.71 c 626s | 23 | 2440396 | 2332438 | 2570 2235 | 0 | 0 628.52/628.72 c 628s | 23 | 2448692 | 2340038 | 2570 2241 | 0 | 0 630.52/630.72 c 630s | 23 | 2457081 | 2347738 | 2570 2246 | 0 | 0 632.52/632.73 c 632s | 23 | 2465339 | 2355538 | 2570 2252 | 0 | 0 634.52/634.75 c 634s | 23 | 2473873 | 2363438 | 2570 2258 | 0 | 0 636.52/636.78 c 636s | 23 | 2482770 | 2371638 | 2570 2264 | 0 | 0 638.51/638.79 c 638s | 23 | 2491880 | 2380238 | 2570 2270 | 0 | 0 640.61/640.81 c 640s | 23 | 2500583 | 2388438 | 2570 2276 | 0 | 0 642.61/642.83 c 642s | 23 | 2509225 | 2396838 | 2570 2283 | 0 | 0 644.61/644.83 c 644s | 23 | 2517924 | 2405138 | 2570 2289 | 0 | 0 646.62/646.84 c 646s | 23 | 2526357 | 2413338 | 2570 2295 | 0 | 0 648.61/648.86 c 648s | 23 | 2535115 | 2421938 | 2570 2301 | 0 | 0 650.61/650.88 c 650s | 23 | 2543390 | 2430038 | 2570 2307 | 0 | 0 652.60/652.89 c 652s | 23 | 2551088 | 2437138 | 2570 2312 | 0 | 0 654.70/654.90 c 654s | 23 | 2559141 | 2444838 | 2570 2318 | 0 | 0 656.70/656.92 c 656s | 23 | 2568249 | 2453738 | 2570 2324 | 0 | 0 658.70/658.92 c 658s | 23 | 2576379 | 2461738 | 2570 2330 | 0 | 0 660.70/660.92 c 660s | 23 | 2584076 | 2469138 | 2570 2336 | 0 | 0 662.70/662.92 c 662s | 23 | 2591562 | 2476238 | 2570 2341 | 0 | 0 664.70/664.94 c 664s | 23 | 2599439 | 2483638 | 2570 2346 | 0 | 0 666.70/666.94 c 666s | 23 | 2606912 | 2490538 | 2570 2351 | 0 | 0 668.70/668.94 c 668s | 23 | 2615145 | 2498238 | 2570 2357 | 0 | 0 670.69/670.97 c 670s | 23 | 2623186 | 2505638 | 2570 2362 | 0 | 0 672.69/672.98 c 672s | 23 | 2631459 | 2513238 | 2570 2368 | 0 | 0 674.79/675.01 c 674s | 23 | 2640561 | 2521638 | 2570 2374 | 0 | 0 676.79/677.03 c 676s | 23 | 2649177 | 2529738 | 2570 2380 | 0 | 0 678.78/679.04 c 678s | 23 | 2657961 | 2537938 | 2570 2386 | 0 | 0 680.79/681.07 c 680s | 23 | 2666259 | 2545638 | 2570 2392 | 0 | 0 682.78/683.07 c 682s | 23 | 2675104 | 2553838 | 2570 2398 | 0 | 0 684.78/685.09 c 684s | 23 | 2683345 | 2561438 | 2570 2404 | 0 | 0 686.88/687.10 c 686s | 23 | 2691306 | 2568738 | 2570 2409 | 0 | 0 688.87/689.11 c 688s | 23 | 2699181 | 2576038 | 2570 2414 | 0 | 0 690.88/691.13 c 690s | 23 | 2707260 | 2583538 | 2570 2420 | 0 | 0 692.89/693.13 c 692s | 23 | 2716229 | 2591938 | 2570 2426 | 0 | 0 694.88/695.13 c 694s | 23 | 2724743 | 2600038 | 2570 2432 | 0 | 0 696.88/697.14 c 696s | 23 | 2732884 | 2607838 | 2570 2438 | 0 | 0 698.88/699.15 c 698s | 23 | 2739934 | 2614538 | 2570 2442 | 0 | 0 700.88/701.16 c 700s | 23 | 2748264 | 2622138 | 2570 2448 | 0 | 0 702.88/703.18 c 702s | 23 | 2756979 | 2630338 | 2570 2454 | 0 | 0 704.98/705.20 c 704s | 23 | 2765577 | 2638338 | 2570 2460 | 0 | 0 706.97/707.21 c 706s | 23 | 2774645 | 2646738 | 2570 2466 | 0 | 0 708.97/709.22 c 708s | 23 | 2783487 | 2655038 | 2570 2472 | 0 | 0 710.97/711.24 c 710s | 23 | 2792266 | 2663238 | 2570 2478 | 0 | 0 712.97/713.25 c 712s | 23 | 2801022 | 2671538 | 2570 2484 | 0 | 0 714.97/715.27 c 714s | 23 | 2809598 | 2679638 | 2570 2490 | 0 | 0 716.98/717.29 c 716s | 23 | 2818381 | 2687738 | 2570 2496 | 0 | 0 719.06/719.31 c 718s | 23 | 2826654 | 2695238 | 2570 2502 | 0 | 0 721.06/721.33 c 720s | 23 | 2834907 | 2702638 | 2570 2507 | 0 | 0 723.06/723.35 c 722s | 23 | 2843221 | 2710238 | 2570 2513 | 0 | 0 725.06/725.35 c 724s | 23 | 2851590 | 2717838 | 2570 2519 | 0 | 0 727.06/727.35 c 726s | 23 | 2860079 | 2725738 | 2570 2524 | 0 | 0 729.06/729.35 c 728s | 23 | 2868849 | 2734038 | 2570 2531 | 0 | 0 731.06/731.37 c 730s | 23 | 2877679 | 2742038 | 2570 2536 | 0 | 0 733.06/733.38 c 732s | 23 | 2886773 | 2750438 | 2570 2543 | 0 | 0 735.16/735.40 c 734s | 23 | 2895866 | 2758938 | 2570 2549 | 0 | 0 737.16/737.42 c 736s | 23 | 2904605 | 2766838 | 2570 2555 | 0 | 0 739.15/739.43 c 738s | 23 | 2913606 | 2775238 | 2570 2561 | 0 | 0 741.16/741.43 c 740s | 23 | 2922298 | 2783338 | 2570 2567 | 0 | 0 743.15/743.44 c 742s | 23 | 2930776 | 2791338 | 2570 2573 | 0 | 0 745.15/745.45 c 744s | 23 | 2939696 | 2799838 | 2570 2579 | 0 | 0 747.15/747.46 c 746s | 23 | 2948897 | 2808538 | 2570 2585 | 0 | 0 749.15/749.48 c 748s | 23 | 2957276 | 2816538 | 2570 2591 | 0 | 0 751.16/751.48 c 750s | 23 | 2965264 | 2823938 | 2570 2597 | 0 | 0 753.26/753.51 c 752s | 23 | 2973795 | 2831738 | 2570 2602 | 0 | 0 755.25/755.53 c 754s | 23 | 2982213 | 2839538 | 2570 2608 | 0 | 0 757.25/757.55 c 756s | 23 | 2989732 | 2846438 | 2570 2613 | 0 | 0 759.24/759.56 c 759s | 23 | 2998589 | 2854838 | 2570 2619 | 0 | 0 761.24/761.57 c 761s | 23 | 3007150 | 2862738 | 2570 2625 | 0 | 0 763.25/763.59 c 763s | 23 | 3016105 | 2871238 | 2570 2631 | 0 | 0 765.24/765.59 c 765s | 23 | 3023989 | 2878538 | 2570 2637 | 0 | 0 767.34/767.60 c 767s | 23 | 3032969 | 2886838 | 2570 2643 | 0 | 0 769.34/769.62 c 769s | 23 | 3041098 | 2894538 | 2570 2648 | 0 | 0 771.34/771.65 c 771s | 23 | 3049607 | 2902638 | 2570 2654 | 0 | 0 773.34/773.65 c 773s | 23 | 3057634 | 2910138 | 2570 2660 | 0 | 0 775.34/775.65 c 775s | 23 | 3066558 | 2918838 | 2570 2666 | 0 | 0 777.34/777.66 c 777s | 23 | 3075511 | 2927338 | 2570 2673 | 0 | 0 779.33/779.68 c 779s | 23 | 3084177 | 2935538 | 2570 2679 | 0 | 0 781.33/781.68 c 781s | 23 | 3093104 | 2943838 | 2570 2685 | 0 | 0 783.33/783.69 c 783s | 23 | 3101509 | 2951738 | 2570 2691 | 0 | 0 785.43/785.72 c 785s | 23 | 3109202 | 2959038 | 2570 2696 | 0 | 0 787.44/787.74 c 787s | 23 | 3116647 | 2966038 | 2570 2701 | 0 | 0 789.43/789.74 c 789s | 23 | 3125650 | 2974638 | 2570 2707 | 0 | 0 791.43/791.76 c 791s | 23 | 3134762 | 2983038 | 2570 2713 | 0 | 0 793.43/793.78 c 793s | 23 | 3143295 | 2991038 | 2570 2719 | 0 | 0 795.43/795.79 c 795s | 23 | 3152205 | 2999738 | 2570 2726 | 0 | 0 797.53/797.81 c 797s | 23 | 3159779 | 3006838 | 2570 2731 | 0 | 0 799.54/799.81 c 799s | 23 | 3168550 | 3015138 | 2570 2737 | 0 | 0 801.53/801.82 c 801s | 23 | 3178029 | 3024038 | 2570 2744 | 0 | 0 803.53/803.83 c 803s | 23 | 3186831 | 3032338 | 2570 2750 | 0 | 0 805.53/805.83 c 805s | 23 | 3195580 | 3040538 | 2570 2756 | 0 | 0 807.53/807.85 c 807s | 23 | 3203792 | 3048138 | 2570 2761 | 0 | 0 809.53/809.89 c 809s | 23 | 3212116 | 3056038 | 2570 2767 | 0 | 0 811.63/811.90 c 811s | 23 | 3219211 | 3062538 | 2570 2772 | 0 | 0 813.62/813.92 c 813s | 23 | 3227116 | 3070138 | 2570 2777 | 0 | 0 815.62/815.93 c 815s | 23 | 3234504 | 3076938 | 2570 2782 | 0 | 0 817.62/817.96 c 817s | 23 | 3242765 | 3084638 | 2570 2788 | 0 | 0 819.62/819.96 c 819s | 23 | 3250646 | 3092138 | 2570 2793 | 0 | 0 821.62/821.98 c 821s | 23 | 3259072 | 3099738 | 2570 2799 | 0 | 0 823.63/823.98 c 823s | 23 | 3267417 | 3107038 | 2570 2804 | 0 | 0 825.62/825.99 c 825s | 23 | 3276182 | 3115038 | 2570 2810 | 0 | 0 827.72/828.00 c 827s | 23 | 3285282 | 3123338 | 2570 2816 | 0 | 0 829.71/830.02 c 829s | 23 | 3294228 | 3131438 | 2570 2822 | 0 | 0 831.71/832.03 c 831s | 23 | 3302244 | 3138538 | 2570 2827 | 0 | 0 833.71/834.03 c 833s | 23 | 3310185 | 3145738 | 2570 2833 | 0 | 0 835.72/836.03 c 835s | 23 | 3318516 | 3153338 | 2570 2838 | 0 | 0 837.71/838.05 c 837s | 23 | 3326522 | 3160838 | 2570 2844 | 0 | 0 839.70/840.08 c 839s | 23 | 3334408 | 3168238 | 2570 2849 | 0 | 0 841.80/842.10 c 841s | 23 | 3342480 | 3175638 | 2570 2855 | 0 | 0 843.80/844.10 c 843s | 23 | 3349938 | 3182638 | 2570 2860 | 0 | 0 845.80/846.10 c 845s | 23 | 3359157 | 3191238 | 2570 2866 | 0 | 0 847.81/848.11 c 847s | 23 | 3368197 | 3199638 | 2570 2872 | 0 | 0 849.80/850.11 c 849s | 23 | 3376160 | 3207138 | 2570 2878 | 0 | 0 851.80/852.11 c 851s | 23 | 3384623 | 3215038 | 2570 2884 | 0 | 0 853.80/854.15 c 853s | 23 | 3392520 | 3222138 | 2570 2889 | 0 | 0 855.80/856.15 c 855s | 23 | 3400690 | 3229638 | 2570 2894 | 0 | 0 857.81/858.17 c 857s | 23 | 3407712 | 3236238 | 2570 2899 | 0 | 0 859.79/860.18 c 859s | 23 | 3415553 | 3243438 | 2570 2904 | 0 | 0 861.79/862.19 c 861s | 23 | 3423016 | 3250238 | 2570 2909 | 0 | 0 863.79/864.19 c 863s | 23 | 3431735 | 3258338 | 2570 2915 | 0 | 0 865.89/866.21 c 865s | 23 | 3439874 | 3265838 | 2570 2921 | 0 | 0 867.89/868.23 c 867s | 23 | 3448435 | 3273838 | 2570 2927 | 0 | 0 869.89/870.23 c 869s | 23 | 3456455 | 3281038 | 2570 2932 | 0 | 0 871.89/872.24 c 871s | 23 | 3464753 | 3288538 | 2570 2938 | 0 | 0 873.89/874.25 c 873s | 23 | 3472857 | 3296038 | 2570 2943 | 0 | 0 875.88/876.25 c 875s | 23 | 3481082 | 3303538 | 2570 2949 | 0 | 0 877.88/878.28 c 877s | 23 | 3489455 | 3311138 | 2570 2954 | 0 | 0 879.88/880.29 c 879s | 23 | 3497768 | 3319138 | 2570 2960 | 0 | 0 881.89/882.30 c 881s | 23 | 3504592 | 3325538 | 2570 2965 | 0 | 0 883.98/884.31 c 883s | 23 | 3512024 | 3332538 | 2570 2970 | 0 | 0 885.99/886.33 c 885s | 23 | 3520525 | 3340438 | 2570 2976 | 0 | 0 887.99/888.34 c 887s | 23 | 3529452 | 3349238 | 2570 2982 | 0 | 0 889.99/890.34 c 889s | 23 | 3538196 | 3357838 | 2828 2988 | 0 | 0 891.99/892.36 c 891s | 23 | 3546618 | 3366138 | 2828 2994 | 0 | 0 893.99/894.36 c 893s | 23 | 3554996 | 3374338 | 2828 2999 | 0 | 0 894.59/894.96 c 894s | 24 | 3557561 | 3376662 | 2828 3001 | 0 | 0 896.58/896.96 c 896s | 24 | 3566432 | 3385362 | 2828 3007 | 0 | 0 898.58/898.99 c 898s | 24 | 3574298 | 3393062 | 2828 3012 | 0 | 0 900.69/901.01 c 900s | 24 | 3581751 | 3400362 | 2828 3017 | 0 | 0 902.68/903.02 c 902s | 24 | 3589804 | 3408262 | 2828 3022 | 0 | 0 904.68/905.04 c 904s | 24 | 3598127 | 3416462 | 2828 3027 | 0 | 0 906.68/907.06 c 906s | 24 | 3606266 | 3424462 | 2828 3033 | 0 | 0 908.67/909.08 c 908s | 24 | 3614605 | 3432562 | 2828 3038 | 0 | 0 910.77/911.10 c 910s | 24 | 3622762 | 3440562 | 2828 3043 | 0 | 0 912.78/913.10 c 912s | 24 | 3630764 | 3448462 | 2828 3048 | 0 | 0 914.77/915.11 c 914s | 24 | 3638866 | 3456462 | 2828 3054 | 0 | 0 916.77/917.13 c 916s | 24 | 3647567 | 3464962 | 2828 3059 | 0 | 0 918.77/919.16 c 918s | 24 | 3655691 | 3472962 | 2828 3065 | 0 | 0 920.77/921.18 c 920s | 24 | 3664042 | 3481162 | 2828 3070 | 0 | 0 922.77/923.18 c 922s | 24 | 3671883 | 3488862 | 2828 3075 | 0 | 0 924.78/925.18 c 924s | 24 | 3679316 | 3496162 | 2828 3080 | 0 | 0 926.87/927.20 c 926s | 24 | 3686900 | 3503162 | 2828 3085 | 0 | 0 928.87/929.22 c 928s | 24 | 3693473 | 3509462 | 2828 3089 | 0 | 0 930.87/931.24 c 930s | 24 | 3701087 | 3516462 | 2828 3093 | 0 | 0 932.87/933.24 c 932s | 24 | 3708464 | 3523362 | 2828 3098 | 0 | 0 934.86/935.26 c 934s | 24 | 3715170 | 3529862 | 2828 3102 | 0 | 0 936.87/937.27 c 936s | 24 | 3722258 | 3536762 | 2828 3107 | 0 | 0 938.86/939.28 c 938s | 24 | 3730091 | 3544462 | 2828 3112 | 0 | 0 940.86/941.28 c 940s | 24 | 3737656 | 3551762 | 2828 3117 | 0 | 0 942.86/943.30 c 942s | 24 | 3745327 | 3558962 | 2828 3122 | 0 | 0 944.86/945.30 c 944s | 24 | 3753253 | 3566562 | 2828 3127 | 0 | 0 946.96/947.33 c 946s | 24 | 3761573 | 3574362 | 2828 3132 | 0 | 0 948.96/949.33 c 948s | 24 | 3769347 | 3581662 | 2828 3137 | 0 | 0 950.95/951.34 c 950s | 24 | 3777091 | 3589062 | 2828 3142 | 0 | 0 952.95/953.36 c 952s | 24 | 3784209 | 3595862 | 2828 3146 | 0 | 0 954.95/955.37 c 954s | 24 | 3791509 | 3602762 | 2828 3151 | 0 | 0 956.95/957.38 c 956s | 24 | 3798968 | 3609662 | 2828 3155 | 0 | 0 958.95/959.39 c 958s | 24 | 3806924 | 3617262 | 2828 3160 | 0 | 0 960.94/961.40 c 960s | 24 | 3814805 | 3624362 | 2828 3165 | 0 | 0 963.04/963.41 c 962s | 24 | 3822592 | 3631562 | 2828 3170 | 0 | 0 965.04/965.41 c 964s | 24 | 3830345 | 3638962 | 2828 3175 | 0 | 0 967.04/967.42 c 966s | 24 | 3837946 | 3646362 | 2828 3180 | 0 | 0 969.05/969.44 c 968s | 24 | 3846176 | 3654062 | 2828 3185 | 0 | 0 971.05/971.47 c 970s | 24 | 3853577 | 3661162 | 2828 3190 | 0 | 0 973.05/973.48 c 972s | 24 | 3860587 | 3667762 | 2828 3194 | 0 | 0 975.15/975.50 c 974s | 24 | 3867623 | 3674362 | 2828 3198 | 0 | 0 977.15/977.52 c 976s | 24 | 3875566 | 3681862 | 2828 3203 | 0 | 0 979.14/979.53 c 978s | 24 | 3883055 | 3688762 | 2828 3208 | 0 | 0 981.14/981.55 c 980s | 24 | 3890768 | 3696162 | 2828 3213 | 0 | 0 983.15/983.57 c 983s | 24 | 3898404 | 3703562 | 2828 3218 | 0 | 0 985.14/985.57 c 985s | 24 | 3906497 | 3711362 | 2828 3223 | 0 | 0 987.24/987.60 c 987s | 24 | 3914076 | 3718362 | 2828 3228 | 0 | 0 989.24/989.63 c 989s | 24 | 3921568 | 3725562 | 2828 3232 | 0 | 0 991.24/991.63 c 991s | 24 | 3928280 | 3731962 | 2828 3237 | 0 | 0 993.24/993.64 c 993s | 24 | 3935672 | 3738762 | 2828 3241 | 0 | 0 995.24/995.65 c 995s | 24 | 3942781 | 3745562 | 2828 3246 | 0 | 0 997.23/997.66 c 997s | 24 | 3950521 | 3753062 | 2828 3251 | 0 | 0 999.23/999.67 c 999s | 24 | 3958114 | 3760262 | 2828 3255 | 0 | 0 1001.23/1001.67 c 1001s | 24 | 3965585 | 3767062 | 2828 3260 | 0 | 0 1003.23/1003.67 c 1003s | 24 | 3973325 | 3774462 | 2828 3265 | 0 | 0 1005.23/1005.69 c 1005s | 24 | 3980899 | 3781662 | 2828 3270 | 0 | 0 1007.24/1007.69 c 1007s | 24 | 3988277 | 3788662 | 2828 3274 | 0 | 0 1009.33/1009.72 c 1009s | 24 | 3996162 | 3796062 | 2828 3279 | 0 | 0 1011.33/1011.73 c 1011s | 24 | 4003878 | 3803362 | 2828 3284 | 0 | 0 1013.33/1013.75 c 1013s | 24 | 4011455 | 3810262 | 2828 3289 | 0 | 0 1015.33/1015.75 c 1015s | 24 | 4018470 | 3816862 | 2828 3293 | 0 | 0 1017.33/1017.78 c 1017s | 24 | 4026155 | 3824262 | 2828 3298 | 0 | 0 1019.33/1019.78 c 1019s | 24 | 4034426 | 3832062 | 2828 3303 | 0 | 0 1021.42/1021.80 c 1021s | 24 | 4042049 | 3839262 | 2828 3308 | 0 | 0 1023.42/1023.82 c 1023s | 24 | 4049371 | 3846062 | 2828 3313 | 0 | 0 1025.42/1025.83 c 1025s | 24 | 4057291 | 3853662 | 2828 3318 | 0 | 0 1027.42/1027.83 c 1027s | 24 | 4064731 | 3860662 | 2828 3322 | 0 | 0 1029.42/1029.84 c 1029s | 24 | 4071836 | 3867362 | 2828 3327 | 0 | 0 1031.43/1031.85 c 1031s | 24 | 4079402 | 3874462 | 2828 3332 | 0 | 0 1033.42/1033.88 c 1033s | 24 | 4086444 | 3880862 | 2828 3336 | 0 | 0 1035.42/1035.88 c 1035s | 24 | 4094280 | 3888362 | 2828 3341 | 0 | 0 1037.42/1037.89 c 1037s | 24 | 4102311 | 3896062 | 2828 3346 | 0 | 0 1039.52/1039.90 c 1039s | 24 | 4110369 | 3903762 | 2828 3351 | 0 | 0 1041.53/1041.92 c 1041s | 24 | 4118456 | 3911462 | 2828 3356 | 0 | 0 1043.53/1043.93 c 1043s | 24 | 4126281 | 3918562 | 2828 3361 | 0 | 0 1045.53/1045.94 c 1045s | 24 | 4134449 | 3926262 | 2828 3366 | 0 | 0 1047.53/1047.95 c 1047s | 24 | 4142583 | 3933962 | 2828 3371 | 0 | 0 1049.52/1049.97 c 1049s | 24 | 4150760 | 3941662 | 2828 3376 | 0 | 0 1051.52/1051.99 c 1051s | 24 | 4158958 | 3949562 | 2828 3382 | 0 | 0 1053.62/1054.04 c 1053s | 24 | 4166876 | 3957062 | 2828 3387 | 0 | 0 1055.63/1056.06 c 1055s | 24 | 4174378 | 3964262 | 2828 3391 | 0 | 0 1057.62/1058.08 c 1057s | 24 | 4181820 | 3971362 | 2828 3396 | 0 | 0 1059.62/1060.08 c 1059s | 24 | 4189305 | 3978262 | 2828 3401 | 0 | 0 1061.72/1062.11 c 1061s | 24 | 4196908 | 3985362 | 2828 3405 | 0 | 0 1063.72/1064.12 c 1063s | 24 | 4204823 | 3992762 | 2828 3410 | 0 | 0 1065.72/1066.14 c 1065s | 24 | 4213123 | 4000462 | 2828 3415 | 0 | 0 1067.73/1068.15 c 1067s | 24 | 4220875 | 4007762 | 2828 3420 | 0 | 0 1069.72/1070.17 c 1069s | 24 | 4228763 | 4015262 | 2828 3425 | 0 | 0 1071.72/1072.19 c 1071s | 24 | 4236622 | 4022762 | 2828 3430 | 0 | 0 1073.82/1074.20 c 1073s | 24 | 4244186 | 4029962 | 2828 3435 | 0 | 0 1075.82/1076.20 c 1075s | 24 | 4252341 | 4037662 | 2828 3440 | 0 | 0 1077.82/1078.21 c 1077s | 24 | 4260062 | 4044962 | 2828 3445 | 0 | 0 1079.82/1080.22 c 1079s | 24 | 4267910 | 4052462 | 2828 3450 | 0 | 0 1081.82/1082.23 c 1081s | 24 | 4275303 | 4059562 | 2828 3455 | 0 | 0 1083.82/1084.24 c 1083s | 24 | 4282918 | 4066862 | 2828 3459 | 0 | 0 1085.82/1086.25 c 1085s | 24 | 4290606 | 4074162 | 2828 3464 | 0 | 0 1087.82/1088.27 c 1087s | 24 | 4298778 | 4081862 | 2828 3469 | 0 | 0 1089.92/1090.30 c 1089s | 24 | 4306847 | 4089562 | 2828 3475 | 0 | 0 1091.92/1092.32 c 1091s | 24 | 4314671 | 4097062 | 2828 3480 | 0 | 0 1093.91/1094.34 c 1093s | 24 | 4322700 | 4104762 | 2828 3485 | 0 | 0 1095.91/1096.35 c 1095s | 24 | 4330377 | 4112162 | 2828 3490 | 0 | 0 1097.91/1098.38 c 1097s | 24 | 4338339 | 4119662 | 2828 3495 | 0 | 0 1099.91/1100.38 c 1099s | 24 | 4346471 | 4127562 | 2828 3500 | 0 | 0 1102.01/1102.41 c 1101s | 24 | 4354188 | 4134862 | 2828 3505 | 0 | 0 1104.02/1104.45 c 1103s | 24 | 4361955 | 4142162 | 2828 3510 | 0 | 0 1106.01/1106.46 c 1105s | 24 | 4369095 | 4148962 | 2828 3514 | 0 | 0 1108.01/1108.48 c 1107s | 24 | 4376363 | 4155862 | 2828 3519 | 0 | 0 1110.11/1110.50 c 1109s | 24 | 4384469 | 4163562 | 2828 3524 | 0 | 0 1112.11/1112.53 c 1111s | 24 | 4392296 | 4170962 | 2828 3529 | 0 | 0 1114.12/1114.54 c 1113s | 24 | 4399760 | 4178062 | 2828 3533 | 0 | 0 1116.12/1116.55 c 1115s | 24 | 4407796 | 4185862 | 2828 3539 | 0 | 0 1118.12/1118.56 c 1117s | 24 | 4415354 | 4193062 | 2828 3543 | 0 | 0 1120.12/1120.57 c 1120s | 24 | 4422548 | 4199962 | 2828 3548 | 0 | 0 1122.12/1122.58 c 1122s | 24 | 4430210 | 4207362 | 2828 3553 | 0 | 0 1124.22/1124.60 c 1124s | 24 | 4437859 | 4214562 | 2828 3558 | 0 | 0 1126.21/1126.61 c 1126s | 24 | 4445474 | 4221862 | 2828 3563 | 0 | 0 1128.22/1128.63 c 1128s | 24 | 4453094 | 4229162 | 2828 3567 | 0 | 0 1130.21/1130.65 c 1130s | 24 | 4460424 | 4236262 | 2828 3572 | 0 | 0 1132.21/1132.66 c 1132s | 24 | 4467995 | 4243562 | 2828 3577 | 0 | 0 1134.21/1134.66 c 1134s | 24 | 4475238 | 4250562 | 2828 3582 | 0 | 0 1136.21/1136.69 c 1136s | 24 | 4482540 | 4257562 | 2828 3586 | 0 | 0 1138.31/1138.71 c 1138s | 24 | 4489619 | 4264362 | 2828 3591 | 0 | 0 1140.32/1140.73 c 1140s | 24 | 4496779 | 4271162 | 2828 3596 | 0 | 0 1142.31/1142.76 c 1142s | 24 | 4504238 | 4278262 | 2828 3600 | 0 | 0 1144.31/1144.76 c 1144s | 24 | 4511903 | 4285462 | 2828 3605 | 0 | 0 1146.31/1146.78 c 1146s | 24 | 4519629 | 4292662 | 2828 3610 | 0 | 0 1148.31/1148.79 c 1148s | 24 | 4527520 | 4300062 | 2828 3615 | 0 | 0 1150.41/1150.80 c 1150s | 24 | 4535003 | 4306862 | 2828 3619 | 0 | 0 1152.41/1152.82 c 1152s | 24 | 4542208 | 4313562 | 2828 3624 | 0 | 0 1154.41/1154.83 c 1154s | 24 | 4550066 | 4321062 | 2828 3629 | 0 | 0 1156.41/1156.84 c 1156s | 24 | 4557738 | 4328262 | 2828 3634 | 0 | 0 1158.41/1158.86 c 1158s | 24 | 4565675 | 4335962 | 2828 3639 | 0 | 0 1160.41/1160.87 c 1160s | 24 | 4574223 | 4344162 | 2828 3644 | 0 | 0 1162.41/1162.89 c 1162s | 24 | 4581868 | 4351062 | 2828 3649 | 0 | 0 1164.41/1164.89 c 1164s | 24 | 4589163 | 4357962 | 2828 3653 | 0 | 0 1166.51/1166.91 c 1166s | 24 | 4596368 | 4364962 | 2828 3658 | 0 | 0 1168.51/1168.93 c 1168s | 24 | 4603885 | 4372062 | 2828 3663 | 0 | 0 1170.51/1170.94 c 1170s | 24 | 4611784 | 4379662 | 2828 3668 | 0 | 0 1172.50/1172.97 c 1172s | 24 | 4619439 | 4386862 | 2828 3673 | 0 | 0 1174.51/1174.98 c 1174s | 24 | 4626740 | 4393662 | 2828 3677 | 0 | 0 1176.50/1176.99 c 1176s | 24 | 4634689 | 4401062 | 2828 3682 | 0 | 0 1178.50/1178.99 c 1178s | 24 | 4642686 | 4408662 | 2828 3687 | 0 | 0 1180.50/1180.99 c 1180s | 24 | 4650288 | 4415862 | 2828 3692 | 0 | 0 1182.60/1183.00 c 1182s | 24 | 4658168 | 4423362 | 2828 3697 | 0 | 0 1184.60/1185.01 c 1184s | 24 | 4665658 | 4430462 | 2828 3702 | 0 | 0 1186.61/1187.02 c 1186s | 24 | 4673200 | 4437562 | 2828 3706 | 0 | 0 1188.60/1189.03 c 1188s | 24 | 4680737 | 4444762 | 2828 3711 | 0 | 0 1190.60/1191.07 c 1190s | 24 | 4688217 | 4451962 | 2828 3716 | 0 | 0 1192.70/1193.11 c 1192s | 24 | 4695176 | 4458662 | 2828 3720 | 0 | 0 1194.70/1195.11 c 1194s | 24 | 4702112 | 4465362 | 2828 3725 | 0 | 0 1196.70/1197.15 c 1196s | 24 | 4709383 | 4472162 | 2828 3729 | 0 | 0 1198.71/1199.17 c 1198s | 24 | 4716484 | 4478562 | 2828 3734 | 0 | 0 1200.70/1201.19 c 1200s | 24 | 4724174 | 4485962 | 2828 3738 | 0 | 0 1202.80/1203.20 c 1202s | 24 | 4731595 | 4493062 | 2828 3743 | 0 | 0 1204.80/1205.21 c 1204s | 24 | 4739229 | 4500262 | 2828 3748 | 0 | 0 1206.80/1207.23 c 1206s | 24 | 4747178 | 4507862 | 2828 3753 | 0 | 0 1208.80/1209.24 c 1208s | 24 | 4755185 | 4515562 | 2828 3758 | 0 | 0 1210.80/1211.26 c 1210s | 24 | 4762820 | 4522762 | 2828 3763 | 0 | 0 1212.80/1213.26 c 1212s | 24 | 4770454 | 4530062 | 2828 3768 | 0 | 0 1214.80/1215.28 c 1214s | 24 | 4778554 | 4537762 | 2828 3773 | 0 | 0 1216.80/1217.29 c 1216s | 24 | 4786485 | 4545362 | 2828 3778 | 0 | 0 1218.89/1219.30 c 1218s | 24 | 4794760 | 4553062 | 2828 3783 | 0 | 0 1220.89/1221.30 c 1220s | 24 | 4802457 | 4560062 | 2828 3788 | 0 | 0 1222.90/1223.31 c 1222s | 24 | 4810111 | 4567362 | 2828 3793 | 0 | 0 1224.89/1225.33 c 1224s | 24 | 4817563 | 4574462 | 2828 3797 | 0 | 0 1226.89/1227.35 c 1226s | 24 | 4825297 | 4581662 | 2828 3802 | 0 | 0 1228.89/1229.38 c 1228s | 24 | 4832623 | 4588662 | 2828 3807 | 0 | 0 1230.99/1231.41 c 1230s | 24 | 4839908 | 4595462 | 2828 3811 | 0 | 0 1232.99/1233.42 c 1232s | 24 | 4846923 | 4601962 | 2828 3816 | 0 | 0 1235.00/1235.42 c 1234s | 24 | 4853635 | 4608362 | 2828 3820 | 0 | 0 1236.99/1237.44 c 1236s | 24 | 4859941 | 4614362 | 2828 3824 | 0 | 0 1238.99/1239.45 c 1238s | 24 | 4867098 | 4621062 | 2828 3828 | 0 | 0 1240.99/1241.45 c 1240s | 24 | 4874265 | 4627862 | 2828 3833 | 0 | 0 1242.99/1243.50 c 1242s | 24 | 4881363 | 4634462 | 2828 3837 | 0 | 0 1245.09/1245.51 c 1244s | 24 | 4888410 | 4640962 | 2828 3842 | 0 | 0 1247.10/1247.54 c 1246s | 24 | 4895775 | 4648062 | 2828 3846 | 0 | 0 1249.09/1249.55 c 1248s | 24 | 4903423 | 4655162 | 2828 3851 | 0 | 0 1251.09/1251.57 c 1251s | 24 | 4911092 | 4662462 | 2828 3856 | 0 | 0 1253.09/1253.59 c 1253s | 24 | 4919476 | 4670762 | 2828 3862 | 0 | 0 1255.19/1255.62 c 1255s | 24 | 4927383 | 4678462 | 2828 3867 | 0 | 0 1257.19/1257.63 c 1257s | 24 | 4935302 | 4686162 | 2828 3872 | 0 | 0 1259.20/1259.64 c 1259s | 24 | 4943101 | 4693862 | 2828 3877 | 0 | 0 1261.19/1261.65 c 1261s | 24 | 4951529 | 4701862 | 2828 3882 | 0 | 0 1263.19/1263.66 c 1263s | 24 | 4958898 | 4709062 | 2828 3887 | 0 | 0 1265.19/1265.69 c 1265s | 24 | 4966683 | 4716562 | 2828 3892 | 0 | 0 1267.19/1267.69 c 1267s | 24 | 4974092 | 4723762 | 2828 3897 | 0 | 0 1269.29/1269.72 c 1269s | 24 | 4981393 | 4730862 | 2828 3902 | 0 | 0 1271.29/1271.72 c 1271s | 24 | 4989122 | 4738262 | 2828 3906 | 0 | 0 1273.29/1273.72 c 1273s | 24 | 4996931 | 4745662 | 2828 3911 | 0 | 0 1275.29/1275.75 c 1275s | 24 | 5004602 | 4752962 | 2828 3916 | 0 | 0 1277.28/1277.76 c 1277s | 24 | 5012129 | 4760262 | 2828 3921 | 0 | 0 1279.28/1279.77 c 1279s | 24 | 5018727 | 4766562 | 2828 3925 | 0 | 0 1281.28/1281.79 c 1281s | 24 | 5026298 | 4773862 | 2828 3930 | 0 | 0 1283.29/1283.80 c 1283s | 24 | 5032994 | 4780362 | 2828 3934 | 0 | 0 1285.38/1285.81 c 1285s | 24 | 5040240 | 4787362 | 2828 3939 | 0 | 0 1287.38/1287.81 c 1287s | 24 | 5047239 | 4794062 | 2828 3944 | 0 | 0 1289.38/1289.82 c 1289s | 24 | 5054363 | 4800962 | 2828 3948 | 0 | 0 1291.38/1291.83 c 1291s | 24 | 5061637 | 4807962 | 2828 3953 | 0 | 0 1293.38/1293.83 c 1293s | 24 | 5069158 | 4815262 | 2828 3958 | 0 | 0 1295.39/1295.85 c 1295s | 24 | 5076707 | 4822562 | 2828 3963 | 0 | 0 1297.38/1297.87 c 1297s | 24 | 5084420 | 4830062 | 2828 3968 | 0 | 0 1299.38/1299.88 c 1299s | 24 | 5091831 | 4837262 | 2828 3972 | 0 | 0 1301.38/1301.88 c 1301s | 24 | 5099342 | 4844562 | 2828 3977 | 0 | 0 1303.38/1303.89 c 1303s | 24 | 5106518 | 4851462 | 2828 3982 | 0 | 0 1305.48/1305.90 c 1305s | 24 | 5114057 | 4858662 | 2828 3987 | 0 | 0 1307.49/1307.92 c 1307s | 24 | 5121635 | 4865762 | 2828 3991 | 0 | 0 1309.48/1309.93 c 1309s | 24 | 5129240 | 4873062 | 2828 3996 | 0 | 0 1311.48/1311.94 c 1311s | 24 | 5136709 | 4880262 | 2828 4001 | 0 | 0 1313.48/1313.94 c 1313s | 24 | 5143767 | 4886962 | 2828 4005 | 0 | 0 1315.48/1315.96 c 1315s | 24 | 5150925 | 4893762 | 2828 4010 | 0 | 0 1317.48/1317.97 c 1317s | 24 | 5157938 | 4900562 | 2828 4015 | 0 | 0 1319.48/1319.99 c 1319s | 24 | 5165306 | 4907462 | 2828 4019 | 0 | 0 1321.58/1322.01 c 1321s | 24 | 5173045 | 4914862 | 2828 4024 | 0 | 0 1323.58/1324.02 c 1323s | 24 | 5180943 | 4922662 | 2828 4029 | 0 | 0 1325.58/1326.06 c 1325s | 24 | 5188823 | 4930462 | 2828 4035 | 0 | 0 1327.58/1328.09 c 1327s | 24 | 5196530 | 4937962 | 2828 4040 | 0 | 0 1329.68/1330.11 c 1329s | 24 | 5204334 | 4945462 | 2828 4045 | 0 | 0 1331.68/1332.12 c 1331s | 24 | 5211922 | 4952762 | 2828 4049 | 0 | 0 1333.68/1334.14 c 1333s | 24 | 5219424 | 4960062 | 2828 4054 | 0 | 0 1335.68/1336.15 c 1335s | 24 | 5226745 | 4967162 | 2828 4059 | 0 | 0 1337.67/1338.16 c 1337s | 24 | 5234395 | 4974562 | 2828 4064 | 0 | 0 1339.67/1340.19 c 1339s | 24 | 5241544 | 4981562 | 2828 4069 | 0 | 0 1341.77/1342.21 c 1341s | 24 | 5249437 | 4989062 | 2828 4074 | 0 | 0 1343.78/1344.22 c 1343s | 24 | 5256796 | 4996062 | 2828 4078 | 0 | 0 1345.77/1346.24 c 1345s | 24 | 5264521 | 5003562 | 2828 4083 | 0 | 0 1347.77/1348.24 c 1347s | 24 | 5272681 | 5011362 | 2828 4088 | 0 | 0 1349.77/1350.25 c 1349s | 24 | 5279955 | 5018262 | 2828 4093 | 0 | 0 1351.77/1352.25 c 1351s | 24 | 5287079 | 5025162 | 2828 4098 | 0 | 0 1353.78/1354.29 c 1353s | 24 | 5294415 | 5032262 | 3111 4102 | 0 | 0 1355.88/1356.32 c 1355s | 24 | 5301833 | 5039362 | 3111 4106 | 0 | 0 1357.87/1358.32 c 1357s | 24 | 5308521 | 5045762 | 3111 4110 | 0 | 0 1359.87/1360.33 c 1359s | 24 | 5315862 | 5052862 | 3111 4114 | 0 | 0 1361.87/1362.34 c 1361s | 24 | 5323177 | 5059862 | 3111 4119 | 0 | 0 1363.37/1363.80 c 1363s | 25 | 5328636 | 5065098 | 3111 4122 | 0 | 0 1365.38/1365.81 c 1365s | 25 | 5336409 | 5072698 | 3111 4127 | 0 | 0 1367.38/1367.83 c 1367s | 25 | 5344730 | 5080798 | 3111 4131 | 0 | 0 1369.38/1369.85 c 1369s | 25 | 5353230 | 5088998 | 3111 4136 | 0 | 0 1371.38/1371.87 c 1371s | 25 | 5361021 | 5096698 | 3111 4141 | 0 | 0 1373.38/1373.89 c 1373s | 25 | 5369354 | 5104798 | 3111 4146 | 0 | 0 1375.38/1375.89 c 1375s | 25 | 5377477 | 5112598 | 3111 4151 | 0 | 0 1377.48/1377.92 c 1377s | 25 | 5385748 | 5120598 | 3111 4156 | 0 | 0 1379.47/1379.92 c 1379s | 25 | 5394160 | 5128598 | 3111 4161 | 0 | 0 1381.47/1381.95 c 1381s | 25 | 5402195 | 5136098 | 3111 4165 | 0 | 0 1383.48/1383.96 c 1383s | 25 | 5410518 | 5143598 | 3111 4170 | 0 | 0 1385.47/1386.00 c 1385s | 25 | 5418544 | 5150798 | 3111 4174 | 0 | 0 1387.57/1388.02 c 1387s | 25 | 5426938 | 5158398 | 3111 4179 | 0 | 0 1389.57/1390.03 c 1389s | 25 | 5434908 | 5165998 | 3111 4184 | 0 | 0 1391.57/1392.05 c 1391s | 25 | 5442595 | 5173298 | 3111 4188 | 0 | 0 1393.57/1394.08 c 1393s | 25 | 5450483 | 5180498 | 3111 4193 | 0 | 0 1395.67/1396.10 c 1395s | 25 | 5459063 | 5188598 | 3111 4197 | 0 | 0 1397.68/1398.10 c 1397s | 25 | 5467090 | 5196098 | 3111 4202 | 0 | 0 1399.67/1400.11 c 1399s | 25 | 5475122 | 5203498 | 3111 4207 | 0 | 0 1401.67/1402.12 c 1401s | 25 | 5483285 | 5211098 | 3111 4211 | 0 | 0 1403.67/1404.15 c 1403s | 25 | 5491788 | 5218998 | 3111 4216 | 0 | 0 1405.67/1406.17 c 1405s | 25 | 5500150 | 5226898 | 3111 4221 | 0 | 0 1407.77/1408.20 c 1407s | 25 | 5508199 | 5233998 | 3111 4225 | 0 | 0 1409.77/1410.20 c 1409s | 25 | 5516057 | 5241198 | 3111 4230 | 0 | 0 1411.76/1412.24 c 1411s | 25 | 5523948 | 5248298 | 3111 4234 | 0 | 0 1413.76/1414.26 c 1413s | 25 | 5531659 | 5255398 | 3111 4238 | 0 | 0 1415.76/1416.28 c 1415s | 25 | 5539656 | 5262798 | 3111 4243 | 0 | 0 1417.76/1418.29 c 1417s | 25 | 5547222 | 5269998 | 3111 4247 | 0 | 0 1419.77/1420.29 c 1419s | 25 | 5555662 | 5277898 | 3111 4252 | 0 | 0 1421.76/1422.30 c 1421s | 25 | 5563715 | 5285498 | 3111 4257 | 0 | 0 1423.86/1424.30 c 1423s | 25 | 5572032 | 5293098 | 3111 4261 | 0 | 0 1425.86/1426.32 c 1425s | 25 | 5580643 | 5300998 | 3111 4266 | 0 | 0 1427.86/1428.33 c 1427s | 25 | 5588615 | 5308498 | 3111 4271 | 0 | 0 1429.86/1430.36 c 1429s | 25 | 5596903 | 5316198 | 3111 4276 | 0 | 0 1431.87/1432.37 c 1431s | 25 | 5605049 | 5323598 | 3111 4280 | 0 | 0 1433.86/1434.40 c 1433s | 25 | 5613084 | 5330898 | 3111 4285 | 0 | 0 1435.96/1436.41 c 1435s | 25 | 5621301 | 5338598 | 3111 4289 | 0 | 0 1437.96/1438.44 c 1437s | 25 | 5629637 | 5346198 | 3111 4294 | 0 | 0 1439.96/1440.45 c 1439s | 25 | 5637325 | 5353298 | 3111 4298 | 0 | 0 1441.97/1442.45 c 1441s | 25 | 5645351 | 5361198 | 3111 4303 | 0 | 0 1443.97/1444.47 c 1443s | 25 | 5653395 | 5369098 | 3111 4308 | 0 | 0 1445.97/1446.49 c 1445s | 25 | 5661440 | 5376598 | 3111 4312 | 0 | 0 1447.96/1448.49 c 1447s | 25 | 5668278 | 5382898 | 3111 4316 | 0 | 0 1450.06/1450.51 c 1449s | 25 | 5676855 | 5390998 | 3111 4321 | 0 | 0 1452.06/1452.52 c 1451s | 25 | 5684529 | 5398098 | 3111 4325 | 0 | 0 1454.06/1454.52 c 1453s | 25 | 5692164 | 5405098 | 3111 4330 | 0 | 0 1456.07/1456.56 c 1456s | 25 | 5700375 | 5412698 | 3111 4334 | 0 | 0 1458.06/1458.56 c 1458s | 25 | 5708070 | 5420098 | 3111 4339 | 0 | 0 1460.06/1460.58 c 1460s | 25 | 5716282 | 5427798 | 3111 4344 | 0 | 0 1462.06/1462.58 c 1462s | 25 | 5723957 | 5434798 | 3111 4348 | 0 | 0 1464.16/1464.60 c 1464s | 25 | 5732320 | 5442598 | 3111 4353 | 0 | 0 1466.16/1466.62 c 1466s | 25 | 5740603 | 5450398 | 3111 4357 | 0 | 0 1468.17/1468.64 c 1468s | 25 | 5748556 | 5457998 | 3111 4362 | 0 | 0 1470.16/1470.65 c 1470s | 25 | 5756329 | 5465298 | 3111 4366 | 0 | 0 1472.16/1472.66 c 1472s | 25 | 5764281 | 5472298 | 3111 4371 | 0 | 0 1474.16/1474.67 c 1474s | 25 | 5771892 | 5479398 | 3111 4375 | 0 | 0 1476.16/1476.69 c 1476s | 25 | 5779514 | 5486598 | 3111 4379 | 0 | 0 1478.26/1478.70 c 1478s | 25 | 5787372 | 5493898 | 3111 4384 | 0 | 0 1480.26/1480.72 c 1480s | 25 | 5794949 | 5500998 | 3111 4388 | 0 | 0 1482.26/1482.73 c 1482s | 25 | 5802740 | 5508098 | 3111 4393 | 0 | 0 1484.26/1484.76 c 1484s | 25 | 5810364 | 5515098 | 3111 4397 | 0 | 0 1486.26/1486.77 c 1486s | 25 | 5817977 | 5522398 | 3111 4401 | 0 | 0 1488.25/1488.77 c 1488s | 25 | 5825594 | 5529598 | 3111 4406 | 0 | 0 1490.25/1490.79 c 1490s | 25 | 5833224 | 5536898 | 3111 4410 | 0 | 0 1492.26/1492.80 c 1492s | 25 | 5840879 | 5543898 | 3111 4414 | 0 | 0 1494.35/1494.82 c 1494s | 25 | 5849085 | 5551298 | 3111 4419 | 0 | 0 1496.35/1496.83 c 1496s | 25 | 5856595 | 5558398 | 3111 4423 | 0 | 0 1498.35/1498.84 c 1498s | 25 | 5864240 | 5565498 | 3111 4427 | 0 | 0 1500.35/1500.86 c 1500s | 25 | 5871901 | 5572598 | 3111 4432 | 0 | 0 1502.35/1502.87 c 1502s | 25 | 5879981 | 5579998 | 3111 4436 | 0 | 0 1504.36/1504.88 c 1504s | 25 | 5887528 | 5586998 | 3111 4441 | 0 | 0 1506.45/1506.90 c 1506s | 25 | 5896113 | 5594898 | 3111 4445 | 0 | 0 1508.45/1508.90 c 1508s | 25 | 5904473 | 5602598 | 3111 4450 | 0 | 0 1510.45/1510.93 c 1510s | 25 | 5912618 | 5610198 | 3111 4455 | 0 | 0 1512.45/1512.96 c 1512s | 25 | 5920592 | 5617698 | 3111 4460 | 0 | 0 1514.45/1514.98 c 1514s | 25 | 5928721 | 5625198 | 3111 4464 | 0 | 0 1516.45/1516.98 c 1516s | 25 | 5936465 | 5632398 | 3111 4468 | 0 | 0 1518.56/1519.01 c 1518s | 25 | 5944776 | 5640198 | 3111 4473 | 0 | 0 1520.55/1521.02 c 1520s | 25 | 5951814 | 5646798 | 3111 4477 | 0 | 0 1522.55/1523.05 c 1522s | 25 | 5959062 | 5653698 | 3111 4481 | 0 | 0 1524.55/1525.06 c 1524s | 25 | 5966806 | 5660798 | 3111 4486 | 0 | 0 1526.55/1527.07 c 1526s | 25 | 5974831 | 5668298 | 3111 4490 | 0 | 0 1528.56/1529.10 c 1528s | 25 | 5982969 | 5675998 | 3111 4495 | 0 | 0 1530.65/1531.12 c 1530s | 25 | 5990438 | 5682898 | 3111 4499 | 0 | 0 1532.65/1533.14 c 1532s | 25 | 5997514 | 5689498 | 3111 4503 | 0 | 0 1534.65/1535.14 c 1534s | 25 | 6005141 | 5696698 | 3111 4508 | 0 | 0 1536.65/1537.16 c 1536s | 25 | 6013064 | 5703998 | 3111 4512 | 0 | 0 1538.65/1539.17 c 1538s | 25 | 6021118 | 5711598 | 3111 4517 | 0 | 0 1540.66/1541.18 c 1540s | 25 | 6029452 | 5719398 | 3111 4522 | 0 | 0 1542.75/1543.22 c 1542s | 25 | 6038087 | 5727398 | 3111 4527 | 0 | 0 1544.75/1545.23 c 1544s | 25 | 6046516 | 5735198 | 3111 4531 | 0 | 0 1546.75/1547.26 c 1546s | 25 | 6054766 | 5742698 | 3111 4536 | 0 | 0 1548.75/1549.28 c 1548s | 25 | 6063012 | 5750398 | 3111 4541 | 0 | 0 1550.75/1551.28 c 1550s | 25 | 6071160 | 5757998 | 3111 4545 | 0 | 0 1552.85/1553.31 c 1552s | 25 | 6079497 | 5765798 | 3111 4550 | 0 | 0 1554.84/1555.31 c 1554s | 25 | 6087967 | 5773698 | 3111 4555 | 0 | 0 1556.84/1557.33 c 1556s | 25 | 6095588 | 5780898 | 3111 4559 | 0 | 0 1558.84/1559.36 c 1558s | 25 | 6103497 | 5788498 | 3111 4564 | 0 | 0 1560.84/1561.38 c 1560s | 25 | 6111345 | 5795998 | 3111 4569 | 0 | 0 1562.84/1563.39 c 1562s | 25 | 6119542 | 5803798 | 3111 4573 | 0 | 0 1564.85/1565.40 c 1564s | 25 | 6127733 | 5811598 | 3111 4578 | 0 | 0 1566.94/1567.42 c 1566s | 25 | 6136308 | 5819598 | 3111 4583 | 0 | 0 1568.94/1569.45 c 1568s | 25 | 6145170 | 5827998 | 3111 4588 | 0 | 0 1570.94/1571.45 c 1570s | 25 | 6153174 | 5835598 | 3111 4593 | 0 | 0 1572.94/1573.46 c 1572s | 25 | 6160409 | 5842398 | 3111 4597 | 0 | 0 1574.94/1575.48 c 1574s | 25 | 6167641 | 5849098 | 3111 4601 | 0 | 0 1576.95/1577.48 c 1576s | 25 | 6175101 | 5855998 | 3111 4605 | 0 | 0 1579.04/1579.50 c 1578s | 25 | 6183433 | 5863898 | 3111 4610 | 0 | 0 1581.04/1581.51 c 1580s | 25 | 6191976 | 5871798 | 3111 4615 | 0 | 0 1583.04/1583.52 c 1582s | 25 | 6200191 | 5879598 | 3111 4620 | 0 | 0 1585.04/1585.52 c 1584s | 25 | 6208244 | 5887198 | 3111 4625 | 0 | 0 1587.04/1587.53 c 1586s | 25 | 6216942 | 5895398 | 3111 4630 | 0 | 0 1589.04/1589.55 c 1588s | 25 | 6225259 | 5903298 | 3111 4635 | 0 | 0 1591.04/1591.55 c 1590s | 25 | 6232938 | 5910698 | 3111 4639 | 0 | 0 1593.03/1593.56 c 1593s | 25 | 6240726 | 5917898 | 3111 4644 | 0 | 0 1595.04/1595.56 c 1595s | 25 | 6248027 | 5924298 | 3111 4648 | 0 | 0 1597.04/1597.58 c 1597s | 25 | 6255555 | 5931498 | 3111 4652 | 0 | 0 1599.14/1599.60 c 1599s | 25 | 6262206 | 5937598 | 3111 4656 | 0 | 0 1601.15/1601.62 c 1601s | 25 | 6268930 | 5943898 | 3111 4660 | 0 | 0 1603.14/1603.65 c 1603s | 25 | 6277176 | 5951598 | 3111 4664 | 0 | 0 1605.14/1605.66 c 1605s | 25 | 6284300 | 5958398 | 3111 4668 | 0 | 0 1607.14/1607.67 c 1607s | 25 | 6291824 | 5965298 | 3111 4673 | 0 | 0 1609.14/1609.68 c 1609s | 25 | 6299336 | 5972498 | 3111 4677 | 0 | 0 1611.15/1611.68 c 1611s | 25 | 6307481 | 5980198 | 3111 4682 | 0 | 0 1613.24/1613.70 c 1613s | 25 | 6315462 | 5987798 | 3111 4686 | 0 | 0 1615.24/1615.72 c 1615s | 25 | 6323933 | 5995698 | 3111 4691 | 0 | 0 1617.24/1617.74 c 1617s | 25 | 6332494 | 6003798 | 3111 4696 | 0 | 0 1619.24/1619.76 c 1619s | 25 | 6340704 | 6011498 | 3111 4701 | 0 | 0 1621.24/1621.77 c 1621s | 25 | 6347906 | 6018198 | 3111 4705 | 0 | 0 1623.24/1623.78 c 1623s | 25 | 6356045 | 6025798 | 3111 4710 | 0 | 0 1625.24/1625.79 c 1625s | 25 | 6363645 | 6032698 | 3111 4714 | 0 | 0 1627.34/1627.83 c 1627s | 25 | 6371600 | 6040098 | 3111 4719 | 0 | 0 1629.34/1629.85 c 1629s | 25 | 6379562 | 6047498 | 3111 4723 | 0 | 0 1631.34/1631.87 c 1631s | 25 | 6387081 | 6054298 | 3111 4727 | 0 | 0 1633.33/1633.89 c 1633s | 25 | 6394797 | 6061098 | 3111 4731 | 0 | 0 1635.43/1635.92 c 1635s | 25 | 6401989 | 6067898 | 3111 4735 | 0 | 0 1637.44/1637.92 c 1637s | 25 | 6409303 | 6074698 | 3111 4740 | 0 | 0 1639.43/1639.94 c 1639s | 25 | 6416444 | 6081398 | 3111 4744 | 0 | 0 1641.43/1641.95 c 1641s | 25 | 6423897 | 6088398 | 3111 4748 | 0 | 0 1643.43/1643.96 c 1643s | 25 | 6431408 | 6095498 | 3111 4752 | 0 | 0 1645.43/1645.96 c 1645s | 25 | 6438921 | 6102498 | 3111 4757 | 0 | 0 1647.44/1647.96 c 1647s | 25 | 6446619 | 6109498 | 3111 4761 | 0 | 0 1649.43/1649.97 c 1649s | 25 | 6454907 | 6117298 | 3111 4766 | 0 | 0 1651.43/1651.99 c 1651s | 25 | 6462876 | 6124698 | 3111 4770 | 0 | 0 1653.53/1654.00 c 1653s | 25 | 6470637 | 6131698 | 3111 4775 | 0 | 0 1655.53/1656.01 c 1655s | 25 | 6478684 | 6139198 | 3111 4779 | 0 | 0 1657.53/1658.01 c 1657s | 25 | 6486558 | 6146298 | 3111 4784 | 0 | 0 1659.54/1660.02 c 1659s | 25 | 6494685 | 6153698 | 3111 4788 | 0 | 0 1661.53/1662.04 c 1661s | 25 | 6502493 | 6161098 | 3111 4793 | 0 | 0 1663.53/1664.06 c 1663s | 25 | 6510238 | 6168398 | 3111 4797 | 0 | 0 1665.53/1666.06 c 1665s | 25 | 6516941 | 6174898 | 3111 4801 | 0 | 0 1667.53/1668.07 c 1667s | 25 | 6524006 | 6181598 | 3111 4805 | 0 | 0 1669.52/1670.09 c 1669s | 25 | 6531386 | 6188398 | 3111 4809 | 0 | 0 1671.53/1672.09 c 1671s | 25 | 6538922 | 6195498 | 3111 4814 | 0 | 0 1673.63/1674.10 c 1673s | 25 | 6545408 | 6201598 | 3111 4817 | 0 | 0 1675.63/1676.12 c 1675s | 25 | 6553020 | 6208798 | 3111 4822 | 0 | 0 1677.63/1678.13 c 1677s | 25 | 6560668 | 6216198 | 3111 4826 | 0 | 0 1679.63/1680.16 c 1679s | 25 | 6568695 | 6223698 | 3111 4831 | 0 | 0 1681.63/1682.18 c 1681s | 25 | 6577152 | 6231498 | 3111 4836 | 0 | 0 1683.64/1684.19 c 1683s | 25 | 6584713 | 6238398 | 3111 4840 | 0 | 0 1685.63/1686.19 c 1685s | 25 | 6592467 | 6245698 | 3111 4845 | 0 | 0 1687.63/1688.20 c 1687s | 25 | 6600184 | 6253098 | 3111 4849 | 0 | 0 1689.73/1690.20 c 1689s | 25 | 6607775 | 6260298 | 3111 4854 | 0 | 0 1691.73/1692.21 c 1691s | 25 | 6615927 | 6267598 | 3111 4858 | 0 | 0 1693.72/1694.23 c 1693s | 25 | 6624092 | 6275098 | 3111 4863 | 0 | 0 1695.73/1696.24 c 1695s | 25 | 6632207 | 6282798 | 3111 4867 | 0 | 0 1697.72/1698.25 c 1697s | 25 | 6639996 | 6290298 | 3111 4872 | 0 | 0 1699.72/1700.26 c 1699s | 25 | 6647832 | 6297598 | 3111 4876 | 0 | 0 1701.72/1702.28 c 1701s | 25 | 6656418 | 6305698 | 3111 4881 | 0 | 0 1703.82/1704.31 c 1703s | 25 | 6664306 | 6313298 | 3111 4886 | 0 | 0 1705.82/1706.31 c 1705s | 25 | 6672181 | 6320698 | 3111 4890 | 0 | 0 1707.83/1708.32 c 1707s | 25 | 6679710 | 6327398 | 3111 4895 | 0 | 0 1709.82/1710.32 c 1709s | 25 | 6687237 | 6334598 | 3111 4899 | 0 | 0 1711.82/1712.34 c 1711s | 25 | 6696327 | 6343298 | 3111 4904 | 0 | 0 1713.82/1714.37 c 1713s | 25 | 6703802 | 6350398 | 3111 4909 | 0 | 0 1715.82/1716.38 c 1715s | 25 | 6710863 | 6356898 | 3111 4913 | 0 | 0 1717.83/1718.39 c 1717s | 25 | 6717796 | 6363498 | 3111 4917 | 0 | 0 1719.82/1720.40 c 1719s | 25 | 6725771 | 6370898 | 3111 4921 | 0 | 0 1721.92/1722.40 c 1721s | 25 | 6734518 | 6379098 | 3111 4926 | 0 | 0 1723.92/1724.43 c 1723s | 25 | 6743088 | 6387098 | 3111 4931 | 0 | 0 1725.92/1726.45 c 1725s | 25 | 6749765 | 6393398 | 3111 4935 | 0 | 0 1727.92/1728.47 c 1727s | 25 | 6756925 | 6399998 | 3111 4939 | 0 | 0 1729.93/1730.49 c 1729s | 25 | 6764000 | 6406598 | 3111 4943 | 0 | 0 1731.92/1732.49 c 1731s | 25 | 6771445 | 6413498 | 3111 4947 | 0 | 0 1734.02/1734.50 c 1733s | 25 | 6778384 | 6419998 | 3111 4951 | 0 | 0 1736.02/1736.51 c 1735s | 25 | 6785486 | 6426698 | 3111 4955 | 0 | 0 1738.02/1738.52 c 1737s | 25 | 6793266 | 6434198 | 3111 4960 | 0 | 0 1740.02/1740.54 c 1739s | 25 | 6799906 | 6440598 | 3111 4964 | 0 | 0 1742.02/1742.54 c 1741s | 25 | 6807818 | 6447898 | 3111 4968 | 0 | 0 1744.01/1744.56 c 1744s | 25 | 6815528 | 6455098 | 3111 4972 | 0 | 0 1746.01/1746.57 c 1746s | 25 | 6823727 | 6462698 | 3111 4977 | 0 | 0 1748.01/1748.58 c 1748s | 25 | 6831812 | 6470298 | 3111 4982 | 0 | 0 1750.01/1750.58 c 1750s | 25 | 6840431 | 6478298 | 3111 4987 | 0 | 0 1752.01/1752.59 c 1752s | 25 | 6848702 | 6486098 | 3111 4991 | 0 | 0 1754.02/1754.60 c 1754s | 25 | 6855335 | 6492398 | 3111 4995 | 0 | 0 1756.11/1756.60 c 1756s | 25 | 6862851 | 6499498 | 3111 5000 | 0 | 0 1758.11/1758.60 c 1758s | 25 | 6869360 | 6505698 | 3111 5003 | 0 | 0 1760.11/1760.63 c 1760s | 25 | 6876727 | 6512798 | 3111 5008 | 0 | 0 1762.11/1762.65 c 1762s | 25 | 6883626 | 6519298 | 3111 5012 | 0 | 0 1764.11/1764.65 c 1764s | 25 | 6891008 | 6526198 | 3111 5016 | 0 | 0 1766.12/1766.67 c 1766s | 25 | 6898553 | 6533298 | 3111 5020 | 0 | 0 1768.11/1768.68 c 1768s | 25 | 6906645 | 6540898 | 3111 5025 | 0 | 0 1770.11/1770.68 c 1770s | 25 | 6914656 | 6548198 | 3111 5029 | 0 | 0 1772.11/1772.69 c 1772s | 25 | 6922606 | 6555598 | 3111 5034 | 0 | 0 1774.21/1774.71 c 1774s | 25 | 6930795 | 6563198 | 3111 5038 | 0 | 0 1776.21/1776.71 c 1776s | 25 | 6938797 | 6570698 | 3111 5043 | 0 | 0 1778.22/1778.72 c 1778s | 25 | 6947010 | 6578398 | 3111 5048 | 0 | 0 1780.21/1780.74 c 1780s | 25 | 6954217 | 6584998 | 3111 5052 | 0 | 0 1782.21/1782.76 c 1782s | 25 | 6960975 | 6591298 | 3111 5056 | 0 | 0 1784.21/1784.78 c 1784s | 25 | 6968536 | 6598398 | 3111 5060 | 0 | 0 1786.31/1786.81 c 1786s | 25 | 6977265 | 6606198 | 3111 5065 | 0 | 0 1788.31/1788.83 c 1788s | 25 | 6985051 | 6612998 | 3111 5069 | 0 | 0 1790.31/1790.84 c 1790s | 25 | 6992464 | 6619898 | 3111 5073 | 0 | 0 1792.31/1792.87 c 1792s | 25 | 7000268 | 6627198 | 3111 5078 | 0 | 0 1794.41/1794.90 c 1794s | 25 | 7007952 | 6634498 | 3111 5082 | 0 | 0 1796.40/1796.90 c 1796s | 25 | 7015600 | 6641698 | 3111 5086 | 0 | 0 1798.40/1798.93 c 1798s | 25 | 7023509 | 6649098 | 3111 5091 | 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-4106538-1466272913/watcher-4106538-1466272913 -o /tmp/evaluation-result-4106538-1466272913/solver-4106538-1466272913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106538-1466272913.opb pid=22863 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.22 2.18 3/182 22866 /proc/meminfo: memFree=28915460/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=533948 CPUtime=0 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 1959 0 0 0 0 0 0 0 20 0 4 0 29337282 546762752 2319 33554432000 4194304 16246674 140734312665184 140734312664608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 134255 2327 441 2943 0 131149 0 [pid=22866/tid=22867] ppid=22863 vsize=552380 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 565637120 2388 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=556476 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 569831424 2407 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=560572 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29337283 574025728 2423 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.22 2.22 2.18 3/182 22866 /proc/meminfo: memFree=28915460/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 20844 0 0 0 6 3 0 0 20 0 4 0 29337282 1247350784 21192 33554432000 4194304 16246674 140734312665184 140734312664608 6021133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 304529 21200 758 2943 0 301423 0 [pid=22866/tid=22867] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 21205 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 21213 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 21221 33554432000 4194304 16246674 140734312665184 140271436156080 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.20052 s] /proc/loadavg: 2.22 2.22 2.18 3/182 22866 /proc/meminfo: memFree=28915460/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 38850 0 0 0 13 6 0 0 20 0 4 0 29337282 1247350784 39198 33554432000 4194304 16246674 140734312665184 140734312664608 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 304529 39206 765 2943 0 301423 0 [pid=22866/tid=22867] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 39211 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 39217 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 39223 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300503 s] /proc/loadavg: 2.22 2.22 2.18 3/182 22866 /proc/meminfo: memFree=28915460/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 56556 0 0 0 20 9 0 0 20 0 4 0 29337282 1247350784 56904 33554432000 4194304 16246674 140734312665184 140734312664608 6010789 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 304529 56913 765 2943 0 301423 0 [pid=22866/tid=22867] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 56915 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 56920 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 56925 33554432000 4194304 16246674 140734312665184 140271436156080 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.700416 s] /proc/loadavg: 2.22 2.22 2.18 3/182 22866 /proc/meminfo: memFree=28915460/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 127923 0 0 0 49 20 0 0 20 0 4 0 29337282 1247350784 128271 33554432000 4194304 16246674 140734312665184 140734312664608 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 304529 128276 795 2943 0 301423 0 [pid=22866/tid=22867] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 128283 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 128289 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29337283 1247350784 128296 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.20 2.22 2.18 3/186 22870 /proc/meminfo: memFree=28112952/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 245793 0 0 0 111 38 0 0 20 0 4 0 29337282 1248399360 246118 33554432000 4194304 16246674 140734312665184 140734312664496 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 304785 246118 852 2943 0 301679 0 [pid=22866/tid=22867] ppid=22863 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1248399360 246118 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1248399360 246118 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1248399360 246118 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.20 2.22 2.18 4/186 22870 /proc/meminfo: memFree=27932532/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1305156 CPUtime=3.09 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 267156 0 0 0 268 41 0 0 20 0 4 0 29337282 1336479744 267481 33554432000 4194304 16246674 140734312665184 140734312647104 6836488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 326289 267481 852 2943 0 323183 0 [pid=22866/tid=22867] ppid=22863 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1336479744 267481 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1336479744 267481 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1336479744 267481 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.30044 s] /proc/loadavg: 2.20 2.22 2.18 3/186 22870 /proc/meminfo: memFree=27844992/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 267632 0 0 0 588 41 0 0 20 0 4 0 29337282 1337528320 267957 33554432000 4194304 16246674 140734312665184 140734312647104 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 326545 267957 852 2943 0 323439 0 [pid=22866/tid=22867] ppid=22863 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1337528320 267957 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1337528320 267957 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1337528320 267957 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.25 2.23 2.18 3/185 22870 /proc/meminfo: memFree=27843976/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 267914 0 0 0 1227 41 0 0 20 0 4 0 29337282 1339625472 268239 33554432000 4194304 16246674 140734312665184 140734312647104 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 327057 268239 855 2943 0 323951 0 [pid=22866/tid=22867] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268239 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268239 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268239 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.21 2.22 2.18 4/185 22870 /proc/meminfo: memFree=27843264/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1308228 CPUtime=25.48 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 268157 0 0 0 2507 41 0 0 20 0 4 0 29337282 1339625472 268482 33554432000 4194304 16246674 140734312665184 140734312647104 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 327057 268482 855 2943 0 323951 0 [pid=22866/tid=22867] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1308228 [startup+51.1005 s] /proc/loadavg: 2.27 2.23 2.18 3/185 22870 /proc/meminfo: memFree=27843092/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1308228 CPUtime=51.08 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 268157 0 0 0 5066 42 0 0 20 0 4 0 29337282 1339625472 268482 33554432000 4194304 16246674 140734312665184 140734312662976 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 327057 268482 855 2943 0 323951 0 [pid=22866/tid=22867] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268482 33554432000 4194304 16246674 140734312665184 140271436156080 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) 1308228 [startup+102.301 s] /proc/loadavg: 2.21 2.22 2.18 3/185 22871 /proc/meminfo: memFree=27843132/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1308228 CPUtime=102.28 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 268158 0 0 0 10186 42 0 0 20 0 4 0 29337282 1339625472 268483 33554432000 4194304 16246674 140734312665184 140734312647104 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 327057 268483 856 2943 0 323951 0 [pid=22866/tid=22867] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268483 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268483 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1339625472 268483 33554432000 4194304 16246674 140734312665184 140271436156080 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) 1308228 ################ # More data... # ################ /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.28 2.32 2.27 4/185 22950 /proc/meminfo: memFree=27832016/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1361.87 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 136133 54 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312647104 5823258 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.31 2.32 2.27 4/185 22951 /proc/meminfo: memFree=27832016/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1421.87 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 142132 55 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312647104 13966199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.41 2.35 2.28 3/185 22952 /proc/meminfo: memFree=27832024/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1481.86 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 148130 56 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312647104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1313348 [startup+1542.31 s] /proc/loadavg: 2.33 2.33 2.28 4/185 22954 /proc/meminfo: memFree=27831780/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1541.86 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 154129 57 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312647104 5515824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1313348 [startup+1602.3 s] /proc/loadavg: 2.33 2.33 2.27 4/185 22955 /proc/meminfo: memFree=27831660/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1601.84 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 160126 58 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312648184 5823933 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1313348 [startup+1662.3 s] /proc/loadavg: 2.25 2.30 2.27 4/185 22956 /proc/meminfo: memFree=27831728/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1313348 CPUtime=1661.83 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 269838 0 0 0 166125 58 0 0 20 0 4 0 29337282 1344868352 269767 33554432000 4194304 16246674 140734312665184 140734312647104 12483222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 328337 269767 857 2943 0 325231 0 [pid=22866/tid=22867] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1344868352 269767 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1313348 [startup+1722.3 s] /proc/loadavg: 2.14 2.25 2.25 3/186 22960 /proc/meminfo: memFree=27828068/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1316420 CPUtime=1721.82 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 270606 0 0 0 172123 59 0 0 20 0 4 0 29337282 1348014080 270535 33554432000 4194304 16246674 140734312665184 140734312647104 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 329105 270535 857 2943 0 325999 0 [pid=22866/tid=22867] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.30 2.28 2.26 4/185 22961 /proc/meminfo: memFree=27827456/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1316420 CPUtime=1781.81 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 270606 0 0 0 178122 59 0 0 20 0 4 0 29337282 1348014080 270535 33554432000 4194304 16246674 140734312665184 140734312647104 12415760 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 329105 270535 857 2943 0 325999 0 [pid=22866/tid=22867] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.30 2.28 2.27 3/185 22962 /proc/meminfo: memFree=27827336/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1316420 CPUtime=1800 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 270606 0 0 0 179941 59 0 0 20 0 4 0 29337282 1348014080 270535 33554432000 4194304 16246674 140734312665184 140734312647104 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 329105 270535 857 2943 0 325999 0 [pid=22866/tid=22867] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1316420 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 22866 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.30 2.28 2.27 3/185 22962 /proc/meminfo: memFree=27827336/32872528 swapFree=1505436/1685308 [pid=22866] ppid=22863 vsize=1316420 CPUtime=1800 cores=1,3,5,7 /proc/22866/stat : 22866 (toysat) R 22863 22866 21389 0 -1 4202496 270606 0 0 0 179941 59 0 0 20 0 4 0 29337282 1348014080 270535 33554432000 4194304 16246674 140734312665184 140734312647104 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22866/statm: 329105 270535 857 2943 0 325999 0 [pid=22866/tid=22867] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22867/stat : 22867 (toysat) S 22863 22866 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271457119472 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22866/tid=22868] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22868/stat : 22868 (toysat) S 22863 22866 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271446629616 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22866/tid=22869] ppid=22863 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/22866/task/22869/stat : 22869 (toysat) S 22863 22866 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29337283 1348014080 270535 33554432000 4194304 16246674 140734312665184 140271436156080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1316420 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.42 CPU system time (s): 0.598908 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.598908 maximum resident set size= 1082140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270606 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= 412 involuntary context switches= 1857 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9431 second user time and 7.30989 second system time The end
Begin job on node135 at 2016-06-18 20:01:54 IDJOB=4106538 IDBENCH=48096 IDSOLVER=2542 FILE ID=node135/4106538-1466272913 RUNJOBID= node135-1466266561-21406 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=107-P2=197-P3=67-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106538-1466272913/watcher-4106538-1466272913 -o /tmp/evaluation-result-4106538-1466272913/solver-4106538-1466272913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21406 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106538-1466272913.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ece282cf8dbd0acc24f1883b841333ea RANDOM SEED=766027711 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28916080 kB Buffers: 156996 kB Cached: 282748 kB SwapCached: 716 kB Active: 1227340 kB Inactive: 301436 kB Active(anon): 1090024 kB Inactive(anon): 1308 kB Active(file): 137316 kB Inactive(file): 300128 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16528 kB Writeback: 0 kB AnonPages: 2773864 kB Mapped: 10536 kB Shmem: 0 kB Slab: 605636 kB SReclaimable: 49148 kB SUnreclaim: 556488 kB KernelStack: 1472 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2915160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 739328 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node135 at 2016-06-18 20:31:54