| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_4.opb |
| MD5SUM | 740b964ee569656e2f29dedde6e3939b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 1800.63 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 4 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 62 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| 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 | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1486 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4969 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T14:42:47+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-4105609-1466253767.opb"] 0.00/0.01 c use --random-gen="3280024230 3808065209 2729769007 162059791 696597965 167501307 366459304 644074449 2376793110 2836530427 4205043558 335570921 1801688386 1958034368 2488698492 1664729473 3317798455 3773440836 977588733 2750957562 3218524909 4118567232 3021413351 414995714 1147118522 3845265373 2191672362 3671379988 3786506393 3784266778 186392192 3128397400 739573172 1246239408 2651487649 1199103441 3054022398 2172890153 3301744474 715584202 1278732874 1675919525 324435072 1574987023 3157290668 3762001727 829600795 183464881 1421582883 2380172731 1728591500 2268534501 693193226 1161872608 3887293230 1232305701 173226474 2729224936 4201728210 489216769 810529313 40801206 549783395 106508948 4138349710 390509307 3359216655 2417053374 2310824279 883469151 2633210116 4217118773 156395524 361938529 1068990344 561262070 3928379686 1734745847 1490118057 3938473439 3517039513 293303681 4087806162 3245381861 50755819 4115572935 2577696899 1923082914 2086704375 1302825213 3603953037 1398490788 1211476925 3749179496 208917721 3237172309 2123863266 645923790 364377085 1315413970 3664260444 3754258733 853299577 4066806414 324503994 1374401256 3515715332 644028005 1029368855 4172558717 4067065488 1144268355 245735122 3147315486 1829475823 1883936985 3506574746 214259915 751547286 374044909 3350595746 3250455043 835945028 3479324206 2525171441 2043952307 2570796058 2803667195 1842731093 1998477598 674325711 1332957805 718177829 2512327653 2344772489 630850041 1153880309 2771667122 1071661345 2295310279 2386410378 2595572605 450172482 4050831461 1222821302 736796973 2501422226 657749136 181967669 366862870 3910895297 3152102962 3910526217 2008906677 3429799601 3622929635 2582330645 4028937064 3649446213 324118986 777367989 2916086625 3828329143 2503541181 2079576979 3772950294 958544260 4277585582 2804982909 931901337 2303096851 416824305 481918910 3255147936 1308375791 2669121580 3999437517 2017832479 4231042870 3244868541 2555345087 4098511624 813224709 1713260835 3821816180 650776307 2072616088 1564165176 1694169528 4158990390 629773763 3884017140 2676646819 84071145 451169486 4249990121 1562074347 2645628442 2864281271 176572323 1272989926 384105545 2486323725 1694687126 1267676658 651292910 2358023550 2924246703 395555420 684499050 2620070978 3378986553 3090254951 2957589218 2447028727 3284667163 4150031832 2620818540 1559857698 2665065853 2809137306 4217226659 2048963795 2184281903 3236525840 2188966452 1618151134 3208414771 1278476629 3158485935 2034316563 2115153546 1780060827 1340575836 720276919 2514935257 2116894933 3922147890 1344670936 3242977253 3389183521 2352951330 3178905649 1052470396 2541080671 1425167525 3764212017 1315200659 1230882097 2184785171 4145314299 1875996585 3793365686 900758938 319919363 3422800061 255 362436" option to reproduce the execution 0.00/0.01 c #vars 146 0.00/0.01 c #constraints 12 0.00/0.01 c BCD2: Hardening is enabled. 0.00/0.01 c BCD2: BiasedSearch is enabled. 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 52 0 | 0 | 0 0.00/0.01 c 0.0s | 0 | 69 | 0 | 52 0 | 0 | 0 0.00/0.01 c #cpu_time = 0.001s 0.00/0.01 c #wall_clock_time = 0.001s 0.00/0.01 c #decision = 69 0.00/0.01 c #random_decision = 0 0.00/0.01 c #conflict = 0 0.00/0.01 c #restart = 0 0.00/0.01 o 2093 0.00/0.01 c BCD2: updating upper bound: 3060 -> 2092 0.00/0.01 c BCD2: 0 <= obj <= 2092 0.00/0.02 c BCD2: #cores=0, #unrelaxed=96, #relaxed=0, #hardened=0 0.00/0.02 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 52 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 220 | 100 | 52 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 490 | 250 | 58 2 | 0 | 0 0.09/0.14 c 0.1s | 3 | 835 | 475 | 64 5 | 0 | 0 0.19/0.23 c 0.2s | 4 | 1297 | 813 | 71 8 | 0 | 0 0.29/0.36 c 0.3s | 5 | 1948 | 1320 | 79 14 | 0 | 0 0.49/0.56 c 0.5s | 6 | 2850 | 2081 | 96 22 | 0 | 0 0.79/0.88 c 0.9s | 7 | 4123 | 3223 | 106 33 | 0 | 0 1.29/1.33 c 1.3s | 8 | 5993 | 4936 | 117 48 | 0 | 0 1.79/1.80 c 1.8s | 9 | 8710 | 7506 | 129 71 | 0 | 0 2.49/2.54 c 2.5s | 10 | 12759 | 11361 | 142 102 | 0 | 0 3.59/3.64 c 3.6s | 11 | 18715 | 17144 | 157 147 | 0 | 0 5.19/5.26 c 5.2s | 12 | 27645 | 25819 | 173 210 | 0 | 0 7.19/7.26 c 7.2s | 12 | 38650 | 36519 | 173 284 | 0 | 0 7.70/7.72 c 7.7s | 13 | 41031 | 38832 | 191 300 | 0 | 0 9.69/9.73 c 9.7s | 13 | 52156 | 49532 | 191 370 | 0 | 0 11.29/11.31 c 11.3s | 14 | 61243 | 58352 | 211 427 | 0 | 0 13.29/13.32 c 13.3s | 14 | 72044 | 68852 | 211 491 | 0 | 0 15.29/15.33 c 15.3s | 14 | 82783 | 79352 | 211 556 | 0 | 0 16.89/16.92 c 16.9s | 15 | 91288 | 87632 | 233 607 | 0 | 0 18.89/18.92 c 18.9s | 15 | 102055 | 97932 | 233 666 | 0 | 0 20.89/20.94 c 20.9s | 15 | 112740 | 108432 | 233 726 | 0 | 0 22.89/22.95 c 22.9s | 15 | 122926 | 118432 | 233 784 | 0 | 0 24.89/24.96 c 24.9s | 15 | 133277 | 128632 | 233 843 | 0 | 0 25.49/25.55 c 25.5s | 16 | 136246 | 131552 | 257 860 | 0 | 0 27.49/27.56 c 27.5s | 16 | 146788 | 141752 | 257 915 | 0 | 0 29.48/29.57 c 29.6s | 16 | 157572 | 152352 | 257 971 | 0 | 0 31.48/31.58 c 31.6s | 16 | 167952 | 162552 | 257 1026 | 0 | 0 33.48/33.58 c 33.6s | 16 | 177937 | 172352 | 257 1079 | 0 | 0 35.48/35.59 c 35.6s | 16 | 188058 | 182252 | 257 1133 | 0 | 0 37.58/37.60 c 37.6s | 16 | 198255 | 192152 | 257 1186 | 0 | 0 38.59/38.65 c 38.6s | 17 | 203636 | 197432 | 283 1214 | 0 | 0 40.58/40.65 c 40.6s | 17 | 213922 | 207332 | 283 1264 | 0 | 0 42.58/42.67 c 42.7s | 17 | 224066 | 217332 | 283 1314 | 0 | 0 44.59/44.67 c 44.7s | 17 | 234263 | 227332 | 283 1364 | 0 | 0 46.58/46.69 c 46.7s | 17 | 244229 | 237132 | 283 1414 | 0 | 0 48.68/48.71 c 48.7s | 17 | 254617 | 247332 | 283 1465 | 0 | 0 50.69/50.71 c 50.7s | 17 | 264703 | 257132 | 283 1515 | 0 | 0 52.68/52.72 c 52.7s | 17 | 275861 | 268132 | 283 1570 | 0 | 0 54.68/54.74 c 54.7s | 17 | 286427 | 278532 | 283 1622 | 0 | 0 56.68/56.74 c 56.7s | 17 | 296546 | 288432 | 283 1672 | 0 | 0 58.28/58.37 c 58.4s | 18 | 304510 | 296252 | 312 1711 | 0 | 0 60.27/60.38 c 60.4s | 18 | 314585 | 305952 | 312 1757 | 0 | 0 62.27/62.39 c 62.4s | 18 | 325176 | 316352 | 312 1805 | 0 | 0 64.37/64.41 c 64.4s | 18 | 334930 | 325952 | 312 1850 | 0 | 0 66.37/66.41 c 66.4s | 18 | 344878 | 335752 | 312 1896 | 0 | 0 68.37/68.43 c 68.4s | 18 | 354844 | 345552 | 312 1942 | 0 | 0 70.38/70.43 c 70.4s | 18 | 364998 | 355552 | 312 1989 | 0 | 0 72.37/72.44 c 72.4s | 18 | 375244 | 365652 | 312 2037 | 0 | 0 74.37/74.46 c 74.4s | 18 | 385328 | 375452 | 312 2083 | 0 | 0 76.37/76.47 c 76.5s | 18 | 395240 | 385152 | 312 2129 | 0 | 0 78.37/78.47 c 78.5s | 18 | 405185 | 394852 | 312 2175 | 0 | 0 80.38/80.47 c 80.5s | 18 | 415076 | 404552 | 312 2221 | 0 | 0 82.37/82.48 c 82.5s | 18 | 425037 | 414352 | 312 2267 | 0 | 0 84.47/84.50 c 84.5s | 18 | 435291 | 424452 | 312 2315 | 0 | 0 86.46/86.50 c 86.5s | 18 | 445013 | 434052 | 312 2361 | 0 | 0 88.47/88.51 c 88.5s | 18 | 454963 | 443852 | 344 2406 | 0 | 0 88.57/88.64 c 88.6s | 19 | 455603 | 444482 | 344 2409 | 0 | 0 90.57/90.65 c 90.6s | 19 | 465864 | 454382 | 344 2452 | 0 | 0 92.57/92.66 c 92.6s | 19 | 476233 | 464482 | 344 2497 | 0 | 0 94.58/94.68 c 94.7s | 19 | 486451 | 474382 | 344 2540 | 0 | 0 96.57/96.69 c 96.7s | 19 | 496480 | 484182 | 344 2582 | 0 | 0 98.67/98.70 c 98.7s | 19 | 506466 | 493882 | 344 2625 | 0 | 0 100.66/100.72 c 100s | 19 | 516521 | 503682 | 344 2668 | 0 | 0 102.66/102.73 c 102s | 19 | 526487 | 513482 | 344 2711 | 0 | 0 104.66/104.74 c 104s | 19 | 536242 | 523082 | 344 2754 | 0 | 0 106.67/106.76 c 106s | 19 | 546177 | 532682 | 344 2796 | 0 | 0 108.66/108.76 c 108s | 19 | 555933 | 542282 | 344 2838 | 0 | 0 110.66/110.76 c 110s | 19 | 566041 | 552182 | 344 2881 | 0 | 0 112.66/112.77 c 112s | 19 | 576245 | 562082 | 344 2925 | 0 | 0 114.66/114.77 c 114s | 19 | 586334 | 571982 | 344 2968 | 0 | 0 116.67/116.78 c 116s | 19 | 596239 | 581682 | 344 3011 | 0 | 0 118.66/118.80 c 118s | 19 | 606100 | 591382 | 344 3054 | 0 | 0 120.76/120.82 c 120s | 19 | 617456 | 602582 | 344 3103 | 0 | 0 122.76/122.82 c 122s | 19 | 628345 | 613282 | 344 3150 | 0 | 0 124.76/124.84 c 124s | 19 | 639159 | 623882 | 344 3196 | 0 | 0 126.75/126.85 c 126s | 19 | 649710 | 634282 | 344 3241 | 0 | 0 128.76/128.86 c 128s | 19 | 660196 | 644582 | 344 3286 | 0 | 0 130.75/130.88 c 130s | 19 | 670587 | 654782 | 344 3331 | 0 | 0 132.75/132.88 c 132s | 19 | 680314 | 664382 | 379 3372 | 0 | 0 133.25/133.36 c 133s | 20 | 682808 | 666827 | 379 3382 | 0 | 0 135.26/135.38 c 135s | 20 | 692578 | 676227 | 379 3420 | 0 | 0 137.35/137.40 c 137s | 20 | 701977 | 685427 | 379 3458 | 0 | 0 139.35/139.40 c 139s | 20 | 711422 | 694627 | 379 3495 | 0 | 0 141.35/141.41 c 141s | 20 | 720950 | 703927 | 379 3533 | 0 | 0 143.35/143.42 c 143s | 20 | 730404 | 713227 | 379 3571 | 0 | 0 145.35/145.43 c 145s | 20 | 739650 | 722327 | 379 3608 | 0 | 0 147.36/147.45 c 147s | 20 | 749101 | 731627 | 379 3646 | 0 | 0 149.35/149.46 c 149s | 20 | 758727 | 741027 | 379 3685 | 0 | 0 151.35/151.46 c 151s | 20 | 768298 | 750427 | 379 3723 | 0 | 0 153.35/153.48 c 153s | 20 | 777727 | 759727 | 379 3761 | 0 | 0 155.35/155.49 c 155s | 20 | 787428 | 769227 | 379 3800 | 0 | 0 157.35/157.49 c 157s | 20 | 797213 | 778827 | 379 3839 | 0 | 0 159.45/159.51 c 159s | 20 | 806817 | 788327 | 379 3878 | 0 | 0 161.44/161.52 c 161s | 20 | 816471 | 797827 | 379 3917 | 0 | 0 163.44/163.52 c 163s | 20 | 825960 | 807127 | 379 3955 | 0 | 0 165.44/165.54 c 165s | 20 | 835949 | 816927 | 379 3995 | 0 | 0 167.43/167.55 c 167s | 20 | 845950 | 826627 | 379 4034 | 0 | 0 169.44/169.57 c 169s | 20 | 855772 | 836227 | 379 4074 | 0 | 0 171.43/171.59 c 171s | 20 | 865444 | 845727 | 379 4113 | 0 | 0 173.53/173.60 c 173s | 20 | 875346 | 855527 | 379 4153 | 0 | 0 175.53/175.61 c 175s | 20 | 885102 | 865027 | 379 4191 | 0 | 0 177.53/177.63 c 177s | 20 | 894830 | 874627 | 379 4230 | 0 | 0 179.53/179.65 c 179s | 20 | 904761 | 884327 | 379 4270 | 0 | 0 181.53/181.67 c 181s | 20 | 914371 | 893727 | 379 4309 | 0 | 0 183.53/183.68 c 183s | 20 | 924169 | 903327 | 379 4348 | 0 | 0 185.53/185.68 c 185s | 20 | 933745 | 912727 | 379 4387 | 0 | 0 187.62/187.70 c 187s | 20 | 943050 | 921827 | 379 4424 | 0 | 0 189.62/189.71 c 189s | 20 | 952448 | 931027 | 379 4462 | 0 | 0 191.62/191.71 c 191s | 20 | 961761 | 940127 | 379 4499 | 0 | 0 193.63/193.72 c 193s | 20 | 971063 | 949227 | 379 4537 | 0 | 0 195.62/195.73 c 195s | 20 | 980570 | 958527 | 379 4575 | 0 | 0 197.62/197.75 c 197s | 20 | 989983 | 967727 | 379 4613 | 0 | 0 199.61/199.77 c 199s | 20 | 999254 | 976827 | 379 4651 | 0 | 0 201.61/201.79 c 201s | 20 | 1009393 | 986827 | 379 4692 | 0 | 0 203.61/203.79 c 203s | 20 | 1019567 | 996827 | 417 4731 | 0 | 0 204.41/204.51 c 204s | 21 | 1023109 | 1000345 | 417 4744 | 0 | 0 206.41/206.51 c 206s | 21 | 1032800 | 1009845 | 417 4780 | 0 | 0 208.41/208.53 c 208s | 21 | 1043154 | 1020145 | 417 4819 | 0 | 0 210.41/210.54 c 210s | 21 | 1052889 | 1029845 | 417 4855 | 0 | 0 212.41/212.54 c 212s | 21 | 1062365 | 1039245 | 417 4891 | 0 | 0 214.42/214.55 c 214s | 21 | 1071755 | 1048545 | 417 4926 | 0 | 0 216.41/216.57 c 216s | 21 | 1081334 | 1058045 | 417 4962 | 0 | 0 218.41/218.58 c 218s | 21 | 1091028 | 1067645 | 417 4998 | 0 | 0 220.51/220.60 c 220s | 21 | 1101101 | 1077645 | 417 5036 | 0 | 0 222.51/222.61 c 222s | 21 | 1110973 | 1087445 | 417 5072 | 0 | 0 224.51/224.61 c 224s | 21 | 1120836 | 1097245 | 417 5109 | 0 | 0 226.51/226.61 c 226s | 21 | 1130335 | 1106645 | 417 5145 | 0 | 0 228.51/228.63 c 228s | 21 | 1140089 | 1116345 | 417 5181 | 0 | 0 230.51/230.64 c 230s | 21 | 1149606 | 1125745 | 417 5217 | 0 | 0 232.51/232.64 c 232s | 21 | 1159188 | 1135245 | 417 5253 | 0 | 0 234.51/234.65 c 234s | 21 | 1169321 | 1145345 | 417 5291 | 0 | 0 236.51/236.65 c 236s | 21 | 1178767 | 1154745 | 417 5327 | 0 | 0 238.51/238.67 c 238s | 21 | 1188044 | 1163945 | 417 5362 | 0 | 0 240.51/240.69 c 240s | 21 | 1197311 | 1173145 | 417 5397 | 0 | 0 242.61/242.70 c 242s | 21 | 1206502 | 1182245 | 417 5431 | 0 | 0 244.60/244.71 c 244s | 21 | 1215874 | 1191545 | 417 5467 | 0 | 0 246.60/246.71 c 246s | 21 | 1225163 | 1200745 | 417 5502 | 0 | 0 248.61/248.72 c 248s | 21 | 1234219 | 1209745 | 417 5536 | 0 | 0 250.60/250.74 c 250s | 21 | 1243404 | 1218845 | 417 5571 | 0 | 0 252.60/252.74 c 252s | 21 | 1252626 | 1227945 | 417 5605 | 0 | 0 254.60/254.76 c 254s | 21 | 1261819 | 1237045 | 417 5640 | 0 | 0 256.60/256.77 c 256s | 21 | 1270709 | 1245845 | 417 5674 | 0 | 0 258.59/258.78 c 258s | 21 | 1279913 | 1254945 | 417 5709 | 0 | 0 260.60/260.80 c 260s | 21 | 1290233 | 1265145 | 417 5747 | 0 | 0 262.69/262.81 c 262s | 21 | 1300235 | 1275045 | 417 5784 | 0 | 0 264.69/264.82 c 264s | 21 | 1309988 | 1284645 | 417 5820 | 0 | 0 266.69/266.83 c 266s | 21 | 1319530 | 1294045 | 417 5855 | 0 | 0 268.69/268.83 c 268s | 21 | 1328944 | 1303345 | 417 5890 | 0 | 0 270.69/270.84 c 270s | 21 | 1338511 | 1312745 | 417 5926 | 0 | 0 272.69/272.85 c 272s | 21 | 1348017 | 1322145 | 417 5961 | 0 | 0 274.69/274.87 c 274s | 21 | 1357654 | 1331645 | 417 5997 | 0 | 0 276.68/276.87 c 276s | 21 | 1366824 | 1340645 | 417 6031 | 0 | 0 278.68/278.87 c 278s | 21 | 1376097 | 1349745 | 417 6066 | 0 | 0 280.68/280.89 c 280s | 21 | 1385288 | 1358745 | 417 6100 | 0 | 0 282.78/282.90 c 282s | 21 | 1394470 | 1367745 | 417 6134 | 0 | 0 284.79/284.91 c 284s | 21 | 1403641 | 1376745 | 417 6168 | 0 | 0 286.78/286.93 c 286s | 21 | 1413056 | 1385945 | 417 6203 | 0 | 0 288.78/288.95 c 288s | 21 | 1422118 | 1394845 | 417 6237 | 0 | 0 290.78/290.97 c 290s | 21 | 1431422 | 1403945 | 417 6271 | 0 | 0 292.78/292.97 c 292s | 21 | 1440416 | 1412745 | 417 6305 | 0 | 0 294.78/294.98 c 294s | 21 | 1449605 | 1421745 | 417 6339 | 0 | 0 296.78/296.99 c 296s | 21 | 1458814 | 1430745 | 417 6373 | 0 | 0 298.88/299.00 c 298s | 21 | 1468090 | 1439845 | 417 6408 | 0 | 0 300.88/301.00 c 300s | 21 | 1477454 | 1449045 | 417 6443 | 0 | 0 302.88/303.02 c 303s | 21 | 1486752 | 1458145 | 417 6478 | 0 | 0 304.88/305.03 c 305s | 21 | 1496405 | 1467645 | 417 6513 | 0 | 0 306.89/307.05 c 307s | 21 | 1505827 | 1476945 | 417 6549 | 0 | 0 308.88/309.06 c 309s | 21 | 1515345 | 1486345 | 417 6584 | 0 | 0 310.88/311.06 c 311s | 21 | 1525025 | 1495945 | 459 6619 | 0 | 0 311.88/312.08 c 312s | 22 | 1529729 | 1500622 | 459 6635 | 0 | 0 313.98/314.10 c 314s | 22 | 1539285 | 1509922 | 459 6668 | 0 | 0 315.97/316.10 c 316s | 22 | 1548717 | 1519222 | 459 6700 | 0 | 0 317.97/318.11 c 318s | 22 | 1557862 | 1528222 | 459 6732 | 0 | 0 319.98/320.11 c 320s | 22 | 1566842 | 1537122 | 459 6763 | 0 | 0 321.97/322.12 c 322s | 22 | 1575951 | 1546022 | 459 6794 | 0 | 0 323.97/324.13 c 324s | 22 | 1585080 | 1555022 | 459 6825 | 0 | 0 325.97/326.14 c 326s | 22 | 1594073 | 1563922 | 459 6857 | 0 | 0 327.96/328.16 c 328s | 22 | 1603440 | 1573222 | 459 6889 | 0 | 0 329.97/330.17 c 330s | 22 | 1612259 | 1581922 | 459 6920 | 0 | 0 331.96/332.18 c 332s | 22 | 1621033 | 1590622 | 459 6950 | 0 | 0 333.96/334.19 c 334s | 22 | 1630287 | 1599722 | 459 6982 | 0 | 0 335.96/336.19 c 336s | 22 | 1639302 | 1608622 | 459 7013 | 0 | 0 337.96/338.19 c 338s | 22 | 1648168 | 1617322 | 459 7044 | 0 | 0 340.06/340.20 c 340s | 22 | 1657430 | 1626422 | 459 7076 | 0 | 0 342.07/342.21 c 342s | 22 | 1666537 | 1635422 | 459 7108 | 0 | 0 344.06/344.21 c 344s | 22 | 1675546 | 1644322 | 459 7139 | 0 | 0 346.05/346.22 c 346s | 22 | 1685028 | 1653722 | 459 7172 | 0 | 0 348.05/348.23 c 348s | 22 | 1694302 | 1662922 | 459 7204 | 0 | 0 350.05/350.24 c 350s | 22 | 1703396 | 1671922 | 459 7236 | 0 | 0 352.05/352.25 c 352s | 22 | 1712453 | 1680922 | 459 7267 | 0 | 0 354.06/354.27 c 354s | 22 | 1721596 | 1689922 | 459 7299 | 0 | 0 356.05/356.28 c 356s | 22 | 1730552 | 1698722 | 459 7330 | 0 | 0 358.15/358.31 c 358s | 22 | 1739567 | 1707622 | 459 7361 | 0 | 0 360.15/360.32 c 360s | 22 | 1748425 | 1716322 | 459 7392 | 0 | 0 362.15/362.35 c 362s | 22 | 1757196 | 1724922 | 459 7423 | 0 | 0 364.15/364.35 c 364s | 22 | 1765940 | 1733522 | 459 7453 | 0 | 0 366.15/366.35 c 366s | 22 | 1775131 | 1742622 | 459 7485 | 0 | 0 368.14/368.36 c 368s | 22 | 1784267 | 1751622 | 459 7516 | 0 | 0 370.14/370.37 c 370s | 22 | 1793627 | 1760822 | 459 7549 | 0 | 0 372.14/372.37 c 372s | 22 | 1802898 | 1769922 | 459 7580 | 0 | 0 374.24/374.40 c 374s | 22 | 1811931 | 1778822 | 459 7612 | 0 | 0 376.24/376.41 c 376s | 22 | 1820840 | 1787622 | 459 7643 | 0 | 0 378.24/378.41 c 378s | 22 | 1830597 | 1797322 | 459 7677 | 0 | 0 380.24/380.43 c 380s | 22 | 1840294 | 1806922 | 459 7710 | 0 | 0 382.23/382.43 c 382s | 22 | 1849499 | 1816022 | 459 7742 | 0 | 0 384.23/384.45 c 384s | 22 | 1858911 | 1825322 | 459 7775 | 0 | 0 386.23/386.47 c 386s | 22 | 1868181 | 1834522 | 459 7807 | 0 | 0 388.23/388.48 c 388s | 22 | 1877100 | 1843322 | 459 7838 | 0 | 0 390.23/390.49 c 390s | 22 | 1886861 | 1853022 | 459 7872 | 0 | 0 392.22/392.49 c 392s | 22 | 1896036 | 1862122 | 459 7904 | 0 | 0 394.32/394.50 c 394s | 22 | 1904886 | 1870822 | 459 7935 | 0 | 0 396.32/396.51 c 396s | 22 | 1913692 | 1879522 | 459 7966 | 0 | 0 398.33/398.51 c 398s | 22 | 1922532 | 1888222 | 459 7997 | 0 | 0 400.34/400.51 c 400s | 22 | 1931872 | 1897422 | 459 8029 | 0 | 0 402.33/402.52 c 402s | 22 | 1940938 | 1906322 | 459 8060 | 0 | 0 404.33/404.54 c 404s | 22 | 1949811 | 1915022 | 459 8091 | 0 | 0 406.32/406.54 c 406s | 22 | 1959392 | 1924522 | 459 8124 | 0 | 0 408.32/408.54 c 408s | 22 | 1968818 | 1933822 | 459 8156 | 0 | 0 410.32/410.55 c 410s | 22 | 1978064 | 1942922 | 459 8188 | 0 | 0 412.33/412.57 c 412s | 22 | 1987194 | 1951922 | 459 8220 | 0 | 0 414.32/414.59 c 414s | 22 | 1996412 | 1960922 | 459 8252 | 0 | 0 416.41/416.61 c 416s | 22 | 2005375 | 1969722 | 459 8282 | 0 | 0 418.41/418.62 c 418s | 22 | 2014312 | 1978422 | 459 8313 | 0 | 0 420.41/420.62 c 420s | 22 | 2022969 | 1986922 | 459 8343 | 0 | 0 422.41/422.62 c 422s | 22 | 2032075 | 1995922 | 459 8375 | 0 | 0 424.42/424.64 c 424s | 22 | 2041745 | 2005422 | 459 8408 | 0 | 0 426.41/426.65 c 426s | 22 | 2050920 | 2014422 | 459 8440 | 0 | 0 428.41/428.65 c 428s | 22 | 2059759 | 2023122 | 459 8470 | 0 | 0 430.41/430.65 c 430s | 22 | 2068509 | 2031722 | 459 8501 | 0 | 0 432.41/432.65 c 432s | 22 | 2077254 | 2040322 | 459 8531 | 0 | 0 434.42/434.66 c 434s | 22 | 2085979 | 2048922 | 459 8561 | 0 | 0 436.41/436.68 c 436s | 22 | 2095203 | 2058022 | 459 8593 | 0 | 0 438.40/438.69 c 438s | 22 | 2104346 | 2067022 | 459 8625 | 0 | 0 440.40/440.69 c 440s | 22 | 2113132 | 2075722 | 459 8655 | 0 | 0 442.50/442.70 c 442s | 22 | 2122006 | 2084522 | 459 8686 | 0 | 0 444.50/444.71 c 444s | 22 | 2130704 | 2093122 | 459 8716 | 0 | 0 446.50/446.71 c 446s | 22 | 2139638 | 2101922 | 459 8748 | 0 | 0 448.50/448.73 c 448s | 22 | 2148336 | 2110522 | 459 8778 | 0 | 0 450.50/450.75 c 450s | 22 | 2157136 | 2119222 | 459 8809 | 0 | 0 452.50/452.75 c 452s | 22 | 2165704 | 2127722 | 459 8839 | 0 | 0 454.49/454.77 c 454s | 22 | 2174427 | 2136322 | 459 8870 | 0 | 0 456.49/456.78 c 456s | 22 | 2183340 | 2145122 | 459 8900 | 0 | 0 458.51/458.79 c 458s | 22 | 2191928 | 2153622 | 459 8930 | 0 | 0 460.50/460.79 c 460s | 22 | 2200499 | 2162122 | 459 8960 | 0 | 0 462.50/462.79 c 462s | 22 | 2209071 | 2170622 | 459 8990 | 0 | 0 464.60/464.80 c 464s | 22 | 2217462 | 2178922 | 459 9020 | 0 | 0 466.60/466.81 c 466s | 22 | 2226389 | 2187722 | 459 9051 | 0 | 0 468.60/468.82 c 468s | 22 | 2235536 | 2196722 | 459 9083 | 0 | 0 470.60/470.83 c 470s | 22 | 2244586 | 2205622 | 459 9114 | 0 | 0 472.59/472.85 c 472s | 22 | 2253205 | 2214122 | 459 9144 | 0 | 0 474.59/474.86 c 474s | 22 | 2261650 | 2222422 | 459 9174 | 0 | 0 476.59/476.87 c 476s | 22 | 2269958 | 2230622 | 459 9203 | 0 | 0 478.59/478.88 c 478s | 22 | 2278363 | 2238922 | 505 9231 | 0 | 0 480.60/480.88 c 480s | 22 | 2286842 | 2247322 | 505 9259 | 0 | 0 481.49/481.78 c 481s | 23 | 2290602 | 2251038 | 505 9271 | 0 | 0 483.49/483.78 c 483s | 23 | 2299748 | 2259938 | 505 9299 | 0 | 0 485.49/485.79 c 485s | 23 | 2309396 | 2269438 | 505 9330 | 0 | 0 487.48/487.79 c 487s | 23 | 2319054 | 2278938 | 505 9361 | 0 | 0 489.48/489.79 c 489s | 23 | 2328359 | 2288138 | 505 9391 | 0 | 0 491.59/491.81 c 491s | 23 | 2337385 | 2297038 | 505 9419 | 0 | 0 493.58/493.83 c 493s | 23 | 2346401 | 2305938 | 505 9448 | 0 | 0 495.58/495.83 c 495s | 23 | 2355484 | 2314938 | 505 9477 | 0 | 0 497.58/497.83 c 497s | 23 | 2364597 | 2323938 | 505 9507 | 0 | 0 499.58/499.84 c 499s | 23 | 2373455 | 2332638 | 505 9535 | 0 | 0 501.57/501.86 c 501s | 23 | 2382674 | 2341738 | 505 9564 | 0 | 0 503.58/503.88 c 503s | 23 | 2391804 | 2350738 | 505 9594 | 0 | 0 505.57/505.89 c 505s | 23 | 2400523 | 2359338 | 505 9622 | 0 | 0 507.57/507.89 c 507s | 23 | 2409126 | 2367838 | 505 9649 | 0 | 0 509.67/509.91 c 509s | 23 | 2418214 | 2376738 | 505 9678 | 0 | 0 511.67/511.92 c 511s | 23 | 2426843 | 2385238 | 505 9706 | 0 | 0 513.67/513.93 c 513s | 23 | 2435871 | 2394138 | 505 9735 | 0 | 0 515.67/515.95 c 515s | 23 | 2444952 | 2403038 | 505 9764 | 0 | 0 517.66/517.95 c 517s | 23 | 2453927 | 2411838 | 505 9793 | 0 | 0 519.66/519.96 c 519s | 23 | 2462798 | 2420538 | 505 9822 | 0 | 0 521.66/521.97 c 521s | 23 | 2471300 | 2428938 | 505 9849 | 0 | 0 523.66/523.98 c 523s | 23 | 2479794 | 2437338 | 505 9876 | 0 | 0 525.67/525.99 c 525s | 23 | 2488404 | 2445838 | 505 9904 | 0 | 0 527.66/527.99 c 527s | 23 | 2497443 | 2454738 | 505 9933 | 0 | 0 529.76/530.00 c 529s | 23 | 2506695 | 2463838 | 505 9962 | 0 | 0 531.76/532.00 c 531s | 23 | 2515483 | 2472538 | 505 9990 | 0 | 0 533.75/534.02 c 534s | 23 | 2524214 | 2481138 | 505 10018 | 0 | 0 535.75/536.04 c 536s | 23 | 2532709 | 2489538 | 505 10045 | 0 | 0 537.76/538.04 c 538s | 23 | 2540916 | 2497638 | 505 10072 | 0 | 0 539.76/540.06 c 540s | 23 | 2549261 | 2505838 | 505 10098 | 0 | 0 541.76/542.08 c 542s | 23 | 2557683 | 2514138 | 505 10125 | 0 | 0 543.76/544.09 c 544s | 23 | 2566833 | 2523138 | 505 10155 | 0 | 0 545.86/546.11 c 546s | 23 | 2575797 | 2531938 | 505 10183 | 0 | 0 547.85/548.12 c 548s | 23 | 2584781 | 2540838 | 505 10212 | 0 | 0 549.86/550.14 c 550s | 23 | 2593453 | 2549438 | 505 10240 | 0 | 0 551.85/552.15 c 552s | 23 | 2602783 | 2558638 | 505 10269 | 0 | 0 553.85/554.17 c 554s | 23 | 2611704 | 2567338 | 505 10298 | 0 | 0 555.85/556.19 c 556s | 23 | 2620386 | 2575838 | 505 10325 | 0 | 0 557.85/558.20 c 558s | 23 | 2628848 | 2584138 | 505 10352 | 0 | 0 559.94/560.22 c 560s | 23 | 2637456 | 2592638 | 505 10380 | 0 | 0 561.95/562.22 c 562s | 23 | 2645765 | 2600838 | 505 10407 | 0 | 0 563.94/564.23 c 564s | 23 | 2654314 | 2609238 | 505 10434 | 0 | 0 565.94/566.23 c 566s | 23 | 2662777 | 2617538 | 505 10461 | 0 | 0 567.94/568.24 c 568s | 23 | 2671431 | 2625938 | 505 10488 | 0 | 0 569.94/570.24 c 570s | 23 | 2680080 | 2634438 | 505 10516 | 0 | 0 571.94/572.26 c 572s | 23 | 2688511 | 2642738 | 505 10543 | 0 | 0 573.95/574.27 c 574s | 23 | 2696931 | 2651038 | 505 10570 | 0 | 0 575.94/576.27 c 576s | 23 | 2705122 | 2659138 | 505 10597 | 0 | 0 577.93/578.29 c 578s | 23 | 2713866 | 2667838 | 505 10625 | 0 | 0 580.03/580.31 c 580s | 23 | 2722210 | 2676138 | 505 10652 | 0 | 0 582.03/582.31 c 582s | 23 | 2730690 | 2684538 | 505 10679 | 0 | 0 584.03/584.34 c 584s | 23 | 2739176 | 2692938 | 505 10707 | 0 | 0 586.03/586.35 c 586s | 23 | 2747840 | 2701538 | 505 10734 | 0 | 0 588.03/588.35 c 588s | 23 | 2756218 | 2709838 | 505 10762 | 0 | 0 590.03/590.36 c 590s | 23 | 2764486 | 2718038 | 505 10789 | 0 | 0 592.03/592.37 c 592s | 23 | 2773548 | 2726938 | 505 10817 | 0 | 0 594.03/594.39 c 594s | 23 | 2782424 | 2735638 | 505 10846 | 0 | 0 596.12/596.41 c 596s | 23 | 2790688 | 2743838 | 505 10872 | 0 | 0 598.12/598.42 c 598s | 23 | 2799139 | 2752138 | 505 10899 | 0 | 0 600.11/600.43 c 600s | 23 | 2807387 | 2760238 | 505 10925 | 0 | 0 602.11/602.45 c 602s | 23 | 2815968 | 2768638 | 505 10953 | 0 | 0 604.12/604.46 c 604s | 23 | 2825238 | 2777738 | 505 10982 | 0 | 0 606.12/606.46 c 606s | 23 | 2834109 | 2786438 | 505 11011 | 0 | 0 608.13/608.48 c 608s | 23 | 2842930 | 2795138 | 505 11039 | 0 | 0 610.12/610.48 c 610s | 23 | 2851558 | 2803638 | 505 11067 | 0 | 0 612.12/612.49 c 612s | 23 | 2859983 | 2811938 | 505 11094 | 0 | 0 614.22/614.51 c 614s | 23 | 2868349 | 2820138 | 505 11121 | 0 | 0 616.22/616.51 c 616s | 23 | 2876766 | 2828438 | 505 11148 | 0 | 0 618.22/618.52 c 618s | 23 | 2885186 | 2836738 | 505 11175 | 0 | 0 620.22/620.53 c 620s | 23 | 2893651 | 2845038 | 505 11202 | 0 | 0 622.22/622.53 c 622s | 23 | 2902242 | 2853538 | 505 11230 | 0 | 0 624.22/624.55 c 624s | 23 | 2910806 | 2862038 | 505 11257 | 0 | 0 626.21/626.56 c 626s | 23 | 2919294 | 2870438 | 505 11285 | 0 | 0 628.21/628.57 c 628s | 23 | 2927918 | 2878938 | 505 11312 | 0 | 0 630.21/630.59 c 630s | 23 | 2936362 | 2887238 | 505 11340 | 0 | 0 632.22/632.60 c 632s | 23 | 2944841 | 2895638 | 505 11367 | 0 | 0 634.31/634.63 c 634s | 23 | 2953264 | 2903938 | 505 11394 | 0 | 0 636.30/636.65 c 636s | 23 | 2961738 | 2912338 | 505 11421 | 0 | 0 638.30/638.65 c 638s | 23 | 2970046 | 2920538 | 505 11448 | 0 | 0 640.30/640.67 c 640s | 23 | 2978201 | 2928638 | 505 11475 | 0 | 0 642.30/642.68 c 642s | 23 | 2987468 | 2937838 | 505 11505 | 0 | 0 644.31/644.69 c 644s | 23 | 2996663 | 2946938 | 505 11534 | 0 | 0 646.39/646.71 c 646s | 23 | 3005647 | 2955838 | 505 11564 | 0 | 0 648.39/648.73 c 648s | 23 | 3014350 | 2964438 | 505 11591 | 0 | 0 650.39/650.74 c 650s | 23 | 3023078 | 2973038 | 505 11619 | 0 | 0 652.39/652.75 c 652s | 23 | 3031786 | 2981638 | 505 11648 | 0 | 0 654.39/654.77 c 654s | 23 | 3040553 | 2990338 | 505 11676 | 0 | 0 656.40/656.78 c 656s | 23 | 3049211 | 2998938 | 505 11704 | 0 | 0 658.49/658.80 c 658s | 23 | 3057813 | 3007438 | 505 11732 | 0 | 0 660.49/660.82 c 660s | 23 | 3066511 | 3016038 | 505 11760 | 0 | 0 662.49/662.83 c 662s | 23 | 3075027 | 3024438 | 505 11787 | 0 | 0 664.49/664.83 c 664s | 23 | 3083546 | 3032838 | 505 11814 | 0 | 0 666.48/666.84 c 666s | 23 | 3091899 | 3041138 | 505 11842 | 0 | 0 668.49/668.84 c 668s | 23 | 3100165 | 3049338 | 505 11868 | 0 | 0 670.48/670.86 c 670s | 23 | 3108771 | 3057838 | 505 11896 | 0 | 0 672.48/672.87 c 672s | 23 | 3116942 | 3065938 | 505 11923 | 0 | 0 674.48/674.89 c 674s | 23 | 3124980 | 3073938 | 505 11949 | 0 | 0 676.58/676.91 c 676s | 23 | 3132944 | 3081838 | 505 11975 | 0 | 0 678.58/678.92 c 678s | 23 | 3141003 | 3089838 | 505 12002 | 0 | 0 680.59/680.92 c 680s | 23 | 3150427 | 3099138 | 505 12032 | 0 | 0 682.58/682.93 c 682s | 23 | 3159992 | 3108538 | 505 12062 | 0 | 0 684.58/684.94 c 684s | 23 | 3169318 | 3117738 | 505 12091 | 0 | 0 686.58/686.96 c 686s | 23 | 3178410 | 3126738 | 505 12120 | 0 | 0 688.58/688.97 c 688s | 23 | 3187385 | 3135638 | 505 12149 | 0 | 0 690.58/690.98 c 690s | 23 | 3196485 | 3144638 | 505 12178 | 0 | 0 692.58/692.99 c 692s | 23 | 3205267 | 3153338 | 505 12206 | 0 | 0 694.58/694.99 c 694s | 23 | 3214086 | 3162038 | 505 12234 | 0 | 0 696.58/696.99 c 696s | 23 | 3222554 | 3170438 | 505 12262 | 0 | 0 698.57/698.99 c 698s | 23 | 3231544 | 3179338 | 505 12290 | 0 | 0 700.67/701.01 c 700s | 23 | 3240761 | 3188438 | 505 12320 | 0 | 0 702.68/703.03 c 703s | 23 | 3249859 | 3197438 | 505 12349 | 0 | 0 704.67/705.04 c 705s | 23 | 3258786 | 3206238 | 505 12377 | 0 | 0 706.67/707.04 c 707s | 23 | 3267584 | 3214938 | 505 12405 | 0 | 0 708.67/709.05 c 709s | 23 | 3276168 | 3223438 | 505 12433 | 0 | 0 710.67/711.07 c 711s | 23 | 3284966 | 3232138 | 505 12461 | 0 | 0 712.67/713.08 c 713s | 23 | 3293847 | 3240938 | 505 12490 | 0 | 0 714.68/715.09 c 715s | 23 | 3302623 | 3249638 | 505 12518 | 0 | 0 716.67/717.09 c 717s | 23 | 3311645 | 3258538 | 505 12547 | 0 | 0 718.67/719.09 c 719s | 23 | 3320652 | 3267438 | 505 12576 | 0 | 0 720.77/721.11 c 721s | 23 | 3329736 | 3276438 | 505 12605 | 0 | 0 722.77/723.12 c 723s | 23 | 3338643 | 3285238 | 505 12633 | 0 | 0 724.77/725.12 c 725s | 23 | 3347427 | 3293938 | 505 12662 | 0 | 0 726.77/727.13 c 727s | 23 | 3356327 | 3302738 | 505 12690 | 0 | 0 728.77/729.15 c 729s | 23 | 3364923 | 3311238 | 505 12718 | 0 | 0 730.77/731.17 c 731s | 23 | 3373624 | 3319838 | 505 12746 | 0 | 0 732.77/733.19 c 733s | 23 | 3382339 | 3328438 | 505 12774 | 0 | 0 734.87/735.20 c 735s | 23 | 3391278 | 3337238 | 505 12802 | 0 | 0 736.87/737.20 c 737s | 23 | 3399863 | 3345738 | 505 12830 | 0 | 0 738.88/739.22 c 739s | 23 | 3408175 | 3353938 | 556 12856 | 0 | 0 740.87/741.24 c 741s | 23 | 3416568 | 3362238 | 556 12881 | 0 | 0 742.87/743.25 c 743s | 23 | 3424883 | 3370438 | 556 12905 | 0 | 0 744.38/744.76 c 744s | 24 | 3431187 | 3376662 | 556 12924 | 0 | 0 746.37/746.78 c 746s | 24 | 3439941 | 3385162 | 556 12949 | 0 | 0 748.47/748.80 c 748s | 24 | 3448618 | 3393662 | 556 12975 | 0 | 0 750.47/750.80 c 750s | 24 | 3457123 | 3402062 | 556 13000 | 0 | 0 752.47/752.81 c 752s | 24 | 3466059 | 3410662 | 556 13025 | 0 | 0 754.47/754.83 c 754s | 24 | 3474634 | 3419062 | 556 13050 | 0 | 0 756.47/756.85 c 756s | 24 | 3483248 | 3427462 | 556 13076 | 0 | 0 758.47/758.85 c 758s | 24 | 3491747 | 3435862 | 556 13101 | 0 | 0 760.47/760.86 c 760s | 24 | 3499987 | 3443962 | 556 13125 | 0 | 0 762.47/762.86 c 762s | 24 | 3508854 | 3452662 | 556 13151 | 0 | 0 764.46/764.88 c 764s | 24 | 3517742 | 3461162 | 556 13177 | 0 | 0 766.47/766.89 c 766s | 24 | 3526090 | 3469362 | 556 13201 | 0 | 0 768.46/768.89 c 768s | 24 | 3534489 | 3477562 | 556 13226 | 0 | 0 770.56/770.91 c 770s | 24 | 3542929 | 3485862 | 556 13251 | 0 | 0 772.56/772.93 c 772s | 24 | 3551428 | 3494162 | 556 13276 | 0 | 0 774.56/774.95 c 774s | 24 | 3560058 | 3502662 | 556 13301 | 0 | 0 776.56/776.95 c 776s | 24 | 3568398 | 3510862 | 556 13326 | 0 | 0 778.57/778.96 c 778s | 24 | 3577112 | 3519362 | 556 13351 | 0 | 0 780.56/780.97 c 780s | 24 | 3585493 | 3527662 | 556 13376 | 0 | 0 782.56/782.99 c 782s | 24 | 3593949 | 3535762 | 556 13400 | 0 | 0 784.66/785.01 c 784s | 24 | 3602381 | 3543862 | 556 13425 | 0 | 0 786.66/787.02 c 787s | 24 | 3610851 | 3552062 | 556 13449 | 0 | 0 788.66/789.03 c 789s | 24 | 3619186 | 3560262 | 556 13474 | 0 | 0 790.66/791.05 c 791s | 24 | 3627661 | 3568562 | 556 13499 | 0 | 0 792.66/793.06 c 793s | 24 | 3636044 | 3576762 | 556 13524 | 0 | 0 794.66/795.08 c 795s | 24 | 3644510 | 3585062 | 556 13548 | 0 | 0 796.66/797.08 c 797s | 24 | 3652610 | 3593062 | 556 13573 | 0 | 0 798.76/799.10 c 799s | 24 | 3661327 | 3601662 | 556 13598 | 0 | 0 800.76/801.11 c 801s | 24 | 3670218 | 3610262 | 556 13624 | 0 | 0 802.76/803.13 c 803s | 24 | 3678335 | 3618262 | 556 13648 | 0 | 0 804.76/805.14 c 805s | 24 | 3686367 | 3626162 | 556 13672 | 0 | 0 806.76/807.16 c 807s | 24 | 3695250 | 3634762 | 556 13698 | 0 | 0 808.75/809.17 c 809s | 24 | 3703896 | 3643162 | 556 13723 | 0 | 0 810.75/811.19 c 811s | 24 | 3713038 | 3651862 | 556 13749 | 0 | 0 812.85/813.21 c 813s | 24 | 3721596 | 3660162 | 556 13774 | 0 | 0 814.87/815.23 c 815s | 24 | 3730579 | 3668862 | 556 13800 | 0 | 0 816.86/817.25 c 817s | 24 | 3739516 | 3677462 | 556 13826 | 0 | 0 818.86/819.25 c 819s | 24 | 3747541 | 3685362 | 556 13850 | 0 | 0 820.86/821.26 c 821s | 24 | 3755964 | 3693562 | 556 13874 | 0 | 0 822.86/823.27 c 823s | 24 | 3764243 | 3701662 | 556 13899 | 0 | 0 824.86/825.27 c 825s | 24 | 3772492 | 3709762 | 556 13923 | 0 | 0 826.86/827.29 c 827s | 24 | 3780877 | 3717962 | 556 13947 | 0 | 0 828.86/829.29 c 829s | 24 | 3789246 | 3726162 | 556 13972 | 0 | 0 830.95/831.31 c 831s | 24 | 3797846 | 3734562 | 556 13997 | 0 | 0 832.95/833.33 c 833s | 24 | 3805909 | 3742462 | 556 14021 | 0 | 0 834.95/835.35 c 835s | 24 | 3814137 | 3750562 | 556 14045 | 0 | 0 836.95/837.37 c 837s | 24 | 3822435 | 3758762 | 556 14070 | 0 | 0 838.96/839.38 c 839s | 24 | 3830988 | 3767162 | 556 14095 | 0 | 0 840.95/841.38 c 841s | 24 | 3839310 | 3775262 | 556 14119 | 0 | 0 842.95/843.39 c 843s | 24 | 3847584 | 3783362 | 556 14144 | 0 | 0 845.05/845.41 c 845s | 24 | 3855862 | 3791462 | 556 14168 | 0 | 0 847.05/847.43 c 847s | 24 | 3864582 | 3799962 | 556 14194 | 0 | 0 849.05/849.44 c 849s | 24 | 3872629 | 3807862 | 556 14217 | 0 | 0 851.06/851.46 c 851s | 24 | 3881266 | 3816162 | 556 14242 | 0 | 0 853.05/853.46 c 853s | 24 | 3889538 | 3824262 | 556 14267 | 0 | 0 855.05/855.47 c 855s | 24 | 3897779 | 3832362 | 556 14291 | 0 | 0 857.05/857.50 c 857s | 24 | 3905997 | 3840462 | 556 14316 | 0 | 0 859.15/859.51 c 859s | 24 | 3914106 | 3848462 | 556 14340 | 0 | 0 861.15/861.52 c 861s | 24 | 3922337 | 3856562 | 556 14364 | 0 | 0 863.15/863.52 c 863s | 24 | 3930575 | 3864662 | 556 14389 | 0 | 0 865.15/865.52 c 865s | 24 | 3938576 | 3872562 | 556 14413 | 0 | 0 867.15/867.55 c 867s | 24 | 3946579 | 3880462 | 556 14436 | 0 | 0 869.15/869.58 c 869s | 24 | 3954756 | 3888562 | 556 14461 | 0 | 0 871.25/871.60 c 871s | 24 | 3962940 | 3896662 | 556 14485 | 0 | 0 873.25/873.61 c 873s | 24 | 3971139 | 3904762 | 556 14510 | 0 | 0 875.25/875.62 c 875s | 24 | 3979246 | 3912762 | 556 14534 | 0 | 0 877.25/877.64 c 877s | 24 | 3987269 | 3920662 | 556 14558 | 0 | 0 879.25/879.64 c 879s | 24 | 3995953 | 3929062 | 556 14583 | 0 | 0 881.24/881.65 c 881s | 24 | 4005227 | 3938062 | 556 14610 | 0 | 0 883.24/883.66 c 883s | 24 | 4014592 | 3947162 | 556 14637 | 0 | 0 885.25/885.66 c 885s | 24 | 4023374 | 3955662 | 556 14663 | 0 | 0 887.24/887.68 c 887s | 24 | 4032364 | 3964162 | 556 14688 | 0 | 0 889.24/889.69 c 889s | 24 | 4041012 | 3972562 | 556 14713 | 0 | 0 891.35/891.70 c 891s | 24 | 4049590 | 3980962 | 556 14739 | 0 | 0 893.35/893.70 c 893s | 24 | 4058093 | 3989362 | 556 14764 | 0 | 0 895.35/895.72 c 895s | 24 | 4066869 | 3997962 | 556 14790 | 0 | 0 897.35/897.73 c 897s | 24 | 4075771 | 4006662 | 556 14816 | 0 | 0 899.35/899.74 c 899s | 24 | 4084292 | 4014962 | 556 14841 | 0 | 0 901.35/901.74 c 901s | 24 | 4093039 | 4023562 | 556 14867 | 0 | 0 903.35/903.76 c 903s | 24 | 4101943 | 4032262 | 556 14893 | 0 | 0 905.35/905.77 c 905s | 24 | 4110078 | 4040262 | 556 14917 | 0 | 0 907.35/907.78 c 907s | 24 | 4118489 | 4048562 | 556 14942 | 0 | 0 909.35/909.79 c 909s | 24 | 4126592 | 4056562 | 556 14966 | 0 | 0 911.44/911.81 c 911s | 24 | 4135035 | 4064862 | 556 14991 | 0 | 0 913.44/913.83 c 913s | 24 | 4143593 | 4073262 | 556 15017 | 0 | 0 915.44/915.84 c 915s | 24 | 4151807 | 4081362 | 556 15041 | 0 | 0 917.44/917.86 c 917s | 24 | 4160398 | 4089762 | 556 15067 | 0 | 0 919.44/919.88 c 919s | 24 | 4170562 | 4099562 | 556 15096 | 0 | 0 921.45/921.90 c 921s | 24 | 4180116 | 4108662 | 556 15123 | 0 | 0 923.54/923.91 c 923s | 24 | 4189140 | 4117262 | 556 15149 | 0 | 0 925.54/925.92 c 925s | 24 | 4197911 | 4125862 | 556 15175 | 0 | 0 927.54/927.95 c 927s | 24 | 4206768 | 4134462 | 556 15201 | 0 | 0 929.54/929.95 c 929s | 24 | 4214988 | 4142562 | 556 15225 | 0 | 0 931.54/931.96 c 931s | 24 | 4223141 | 4150562 | 556 15249 | 0 | 0 933.55/933.97 c 933s | 24 | 4231955 | 4159162 | 556 15275 | 0 | 0 935.54/935.97 c 935s | 24 | 4240673 | 4167662 | 556 15301 | 0 | 0 937.54/937.98 c 937s | 24 | 4249441 | 4176162 | 556 15327 | 0 | 0 939.64/940.00 c 939s | 24 | 4258517 | 4184962 | 556 15353 | 0 | 0 941.64/942.01 c 941s | 24 | 4267613 | 4193762 | 556 15380 | 0 | 0 943.64/944.03 c 944s | 24 | 4276503 | 4202462 | 556 15406 | 0 | 0 945.64/946.04 c 946s | 24 | 4285804 | 4211562 | 556 15433 | 0 | 0 947.64/948.05 c 948s | 24 | 4294756 | 4220362 | 556 15460 | 0 | 0 949.64/950.07 c 950s | 24 | 4303271 | 4228762 | 556 15485 | 0 | 0 951.64/952.09 c 952s | 24 | 4312243 | 4237562 | 556 15512 | 0 | 0 953.64/954.09 c 954s | 24 | 4320803 | 4245962 | 556 15537 | 0 | 0 955.73/956.10 c 956s | 24 | 4329161 | 4254162 | 556 15562 | 0 | 0 957.74/958.11 c 958s | 24 | 4337623 | 4262462 | 556 15587 | 0 | 0 959.73/960.13 c 960s | 24 | 4345946 | 4270662 | 556 15611 | 0 | 0 961.73/962.15 c 962s | 24 | 4354635 | 4279162 | 556 15637 | 0 | 0 963.73/964.16 c 964s | 24 | 4363020 | 4287362 | 556 15662 | 0 | 0 965.73/966.16 c 966s | 24 | 4371363 | 4295562 | 556 15686 | 0 | 0 967.74/968.18 c 968s | 24 | 4379624 | 4303662 | 556 15711 | 0 | 0 969.73/970.19 c 970s | 24 | 4387836 | 4311762 | 556 15735 | 0 | 0 971.83/972.20 c 972s | 24 | 4396237 | 4320062 | 556 15760 | 0 | 0 973.83/974.22 c 974s | 24 | 4404864 | 4328562 | 556 15786 | 0 | 0 975.83/976.23 c 976s | 24 | 4413316 | 4336862 | 556 15811 | 0 | 0 977.83/978.25 c 978s | 24 | 4422024 | 4345362 | 556 15836 | 0 | 0 979.84/980.26 c 980s | 24 | 4430865 | 4353962 | 556 15862 | 0 | 0 981.83/982.28 c 982s | 24 | 4439352 | 4362262 | 556 15888 | 0 | 0 983.93/984.31 c 984s | 24 | 4447790 | 4370562 | 556 15913 | 0 | 0 985.93/986.33 c 986s | 24 | 4455861 | 4378462 | 556 15937 | 0 | 0 987.93/988.36 c 988s | 24 | 4464669 | 4387062 | 556 15962 | 0 | 0 989.93/990.36 c 990s | 24 | 4473388 | 4395562 | 556 15988 | 0 | 0 991.93/992.38 c 992s | 24 | 4481851 | 4403862 | 556 16013 | 0 | 0 993.93/994.38 c 994s | 24 | 4490490 | 4412262 | 556 16039 | 0 | 0 995.92/996.39 c 996s | 24 | 4498939 | 4420562 | 556 16064 | 0 | 0 998.02/998.41 c 998s | 24 | 4507766 | 4429062 | 556 16090 | 0 | 0 1000.02/1000.41 c 1000s | 24 | 4516340 | 4437462 | 556 16115 | 0 | 0 1002.02/1002.41 c 1002s | 24 | 4525197 | 4446162 | 556 16141 | 0 | 0 1004.03/1004.42 c 1004s | 24 | 4534105 | 4454962 | 556 16168 | 0 | 0 1006.03/1006.45 c 1006s | 24 | 4543046 | 4463762 | 556 16195 | 0 | 0 1008.03/1008.47 c 1008s | 24 | 4552143 | 4472662 | 556 16222 | 0 | 0 1010.03/1010.47 c 1010s | 24 | 4560815 | 4481162 | 556 16248 | 0 | 0 1012.03/1012.49 c 1012s | 24 | 4569244 | 4489462 | 556 16273 | 0 | 0 1014.13/1014.51 c 1014s | 24 | 4578031 | 4497962 | 556 16299 | 0 | 0 1016.14/1016.53 c 1016s | 24 | 4587712 | 4507462 | 556 16327 | 0 | 0 1018.13/1018.55 c 1018s | 24 | 4597670 | 4517262 | 556 16356 | 0 | 0 1020.13/1020.56 c 1020s | 24 | 4608549 | 4527762 | 556 16388 | 0 | 0 1022.13/1022.57 c 1022s | 24 | 4618989 | 4537862 | 556 16418 | 0 | 0 1024.13/1024.57 c 1024s | 24 | 4628987 | 4547562 | 556 16447 | 0 | 0 1026.13/1026.58 c 1026s | 24 | 4639279 | 4557562 | 556 16476 | 0 | 0 1028.23/1028.60 c 1028s | 24 | 4649323 | 4567362 | 556 16506 | 0 | 0 1030.23/1030.61 c 1030s | 24 | 4659672 | 4577362 | 556 16535 | 0 | 0 1032.23/1032.62 c 1032s | 24 | 4669615 | 4587062 | 556 16564 | 0 | 0 1034.23/1034.63 c 1034s | 24 | 4679730 | 4596762 | 556 16593 | 0 | 0 1036.23/1036.65 c 1036s | 24 | 4688818 | 4605662 | 556 16620 | 0 | 0 1038.23/1038.67 c 1038s | 24 | 4698404 | 4614962 | 556 16648 | 0 | 0 1040.23/1040.69 c 1040s | 24 | 4708077 | 4624362 | 556 16676 | 0 | 0 1042.22/1042.69 c 1042s | 24 | 4718004 | 4633962 | 556 16705 | 0 | 0 1044.22/1044.70 c 1044s | 24 | 4727430 | 4643162 | 556 16732 | 0 | 0 1046.32/1046.70 c 1046s | 24 | 4737455 | 4652862 | 556 16761 | 0 | 0 1048.32/1048.71 c 1048s | 24 | 4747005 | 4662162 | 556 16789 | 0 | 0 1050.32/1050.73 c 1050s | 24 | 4756851 | 4671762 | 556 16818 | 0 | 0 1052.33/1052.74 c 1052s | 24 | 4766105 | 4680762 | 556 16845 | 0 | 0 1054.32/1054.77 c 1054s | 24 | 4775431 | 4689762 | 556 16872 | 0 | 0 1056.32/1056.79 c 1056s | 24 | 4784506 | 4698662 | 556 16898 | 0 | 0 1058.42/1058.81 c 1058s | 24 | 4794252 | 4708162 | 556 16927 | 0 | 0 1060.42/1060.82 c 1060s | 24 | 4803662 | 4717362 | 556 16954 | 0 | 0 1062.42/1062.84 c 1062s | 24 | 4813059 | 4726462 | 556 16982 | 0 | 0 1064.43/1064.86 c 1064s | 24 | 4821845 | 4735062 | 556 17008 | 0 | 0 1066.42/1066.88 c 1066s | 24 | 4830382 | 4743462 | 556 17033 | 0 | 0 1068.42/1068.88 c 1068s | 24 | 4839162 | 4752062 | 556 17059 | 0 | 0 1070.52/1070.90 c 1070s | 24 | 4848166 | 4760862 | 556 17085 | 0 | 0 1072.52/1072.92 c 1072s | 24 | 4856834 | 4769362 | 556 17110 | 0 | 0 1074.52/1074.94 c 1074s | 24 | 4866195 | 4778562 | 556 17138 | 0 | 0 1076.52/1076.95 c 1076s | 24 | 4875241 | 4787462 | 556 17164 | 0 | 0 1078.51/1078.96 c 1078s | 24 | 4884055 | 4796162 | 556 17191 | 0 | 0 1080.51/1080.98 c 1080s | 24 | 4893102 | 4804962 | 556 17217 | 0 | 0 1082.61/1083.00 c 1082s | 24 | 4901850 | 4813462 | 556 17243 | 0 | 0 1084.61/1085.02 c 1085s | 24 | 4910625 | 4822062 | 556 17268 | 0 | 0 1086.61/1087.03 c 1087s | 24 | 4919280 | 4830562 | 556 17294 | 0 | 0 1088.62/1089.05 c 1089s | 24 | 4928145 | 4839262 | 556 17320 | 0 | 0 1090.61/1091.07 c 1091s | 24 | 4936861 | 4847862 | 556 17346 | 0 | 0 1092.61/1093.08 c 1093s | 24 | 4946163 | 4856862 | 556 17373 | 0 | 0 1094.71/1095.10 c 1095s | 24 | 4955480 | 4865962 | 556 17400 | 0 | 0 1096.71/1097.11 c 1097s | 24 | 4964221 | 4874562 | 556 17426 | 0 | 0 1098.71/1099.12 c 1099s | 24 | 4972764 | 4882962 | 556 17451 | 0 | 0 1100.72/1101.14 c 1101s | 24 | 4981349 | 4891462 | 556 17477 | 0 | 0 1102.71/1103.16 c 1103s | 24 | 4990246 | 4900062 | 556 17503 | 0 | 0 1104.71/1105.17 c 1105s | 24 | 4998847 | 4908462 | 556 17528 | 0 | 0 1106.71/1107.18 c 1107s | 24 | 5007415 | 4916862 | 556 17553 | 0 | 0 1108.71/1109.19 c 1109s | 24 | 5016474 | 4925762 | 556 17580 | 0 | 0 1110.72/1111.19 c 1111s | 24 | 5025392 | 4934462 | 556 17606 | 0 | 0 1112.72/1113.19 c 1113s | 24 | 5034039 | 4942962 | 556 17632 | 0 | 0 1114.71/1115.20 c 1115s | 24 | 5042974 | 4951662 | 556 17658 | 0 | 0 1116.81/1117.21 c 1117s | 24 | 5051624 | 4960162 | 556 17684 | 0 | 0 1118.81/1119.21 c 1119s | 24 | 5060174 | 4968562 | 556 17709 | 0 | 0 1120.81/1121.22 c 1121s | 24 | 5068761 | 4976962 | 556 17735 | 0 | 0 1122.82/1123.22 c 1123s | 24 | 5077071 | 4985062 | 556 17759 | 0 | 0 1124.81/1125.25 c 1125s | 24 | 5085778 | 4993562 | 556 17784 | 0 | 0 1126.81/1127.25 c 1127s | 24 | 5094055 | 5001662 | 556 17809 | 0 | 0 1128.81/1129.26 c 1129s | 24 | 5102995 | 5010262 | 556 17834 | 0 | 0 1130.81/1131.28 c 1131s | 24 | 5112551 | 5019262 | 556 17861 | 0 | 0 1132.91/1133.30 c 1133s | 24 | 5121423 | 5027862 | 556 17887 | 0 | 0 1134.91/1135.31 c 1135s | 24 | 5130042 | 5036262 | 612 17911 | 0 | 0 1136.91/1137.32 c 1137s | 24 | 5138386 | 5044462 | 612 17933 | 0 | 0 1138.90/1139.33 c 1139s | 24 | 5147393 | 5053362 | 612 17958 | 0 | 0 1140.90/1141.34 c 1141s | 24 | 5156886 | 5062562 | 612 17983 | 0 | 0 1141.41/1141.89 c 1141s | 25 | 5159507 | 5065098 | 612 17990 | 0 | 0 1143.50/1143.91 c 1143s | 25 | 5168762 | 5073898 | 612 18015 | 0 | 0 1145.50/1145.94 c 1145s | 25 | 5177419 | 5082298 | 612 18038 | 0 | 0 1147.50/1147.94 c 1147s | 25 | 5186187 | 5090898 | 612 18061 | 0 | 0 1149.50/1149.94 c 1149s | 25 | 5194928 | 5099398 | 612 18085 | 0 | 0 1151.50/1151.95 c 1151s | 25 | 5203186 | 5107498 | 612 18107 | 0 | 0 1153.51/1153.95 c 1153s | 25 | 5211482 | 5115698 | 612 18130 | 0 | 0 1155.50/1155.97 c 1155s | 25 | 5219605 | 5123698 | 612 18152 | 0 | 0 1157.50/1157.97 c 1157s | 25 | 5227870 | 5131798 | 612 18174 | 0 | 0 1159.50/1159.98 c 1159s | 25 | 5236176 | 5139998 | 612 18197 | 0 | 0 1161.60/1162.00 c 1161s | 25 | 5244687 | 5148298 | 612 18220 | 0 | 0 1163.60/1164.02 c 1164s | 25 | 5252856 | 5156198 | 612 18242 | 0 | 0 1165.61/1166.05 c 1166s | 25 | 5261174 | 5164298 | 612 18264 | 0 | 0 1167.61/1168.05 c 1168s | 25 | 5269187 | 5172198 | 612 18286 | 0 | 0 1169.61/1170.07 c 1170s | 25 | 5277307 | 5180098 | 612 18308 | 0 | 0 1171.61/1172.07 c 1172s | 25 | 5285781 | 5188298 | 612 18331 | 0 | 0 1173.61/1174.09 c 1174s | 25 | 5294238 | 5196598 | 612 18353 | 0 | 0 1175.61/1176.09 c 1176s | 25 | 5302456 | 5204598 | 612 18376 | 0 | 0 1177.61/1178.10 c 1178s | 25 | 5310767 | 5212798 | 612 18398 | 0 | 0 1179.70/1180.11 c 1180s | 25 | 5318988 | 5220898 | 612 18421 | 0 | 0 1181.70/1182.12 c 1182s | 25 | 5327353 | 5229098 | 612 18444 | 0 | 0 1183.70/1184.12 c 1184s | 25 | 5335693 | 5237298 | 612 18466 | 0 | 0 1185.70/1186.12 c 1186s | 25 | 5344106 | 5245498 | 612 18489 | 0 | 0 1187.71/1188.14 c 1188s | 25 | 5352550 | 5253798 | 612 18512 | 0 | 0 1189.70/1190.15 c 1190s | 25 | 5360874 | 5261998 | 612 18535 | 0 | 0 1191.70/1192.17 c 1192s | 25 | 5369112 | 5270098 | 612 18558 | 0 | 0 1193.70/1194.19 c 1194s | 25 | 5377262 | 5278098 | 612 18580 | 0 | 0 1195.70/1196.19 c 1196s | 25 | 5385955 | 5286698 | 612 18604 | 0 | 0 1197.80/1198.20 c 1198s | 25 | 5395004 | 5295498 | 612 18628 | 0 | 0 1199.81/1200.21 c 1200s | 25 | 5403971 | 5304298 | 612 18652 | 0 | 0 1201.80/1202.23 c 1202s | 25 | 5412678 | 5312798 | 612 18676 | 0 | 0 1203.80/1204.25 c 1204s | 25 | 5421239 | 5321098 | 612 18699 | 0 | 0 1205.80/1206.26 c 1206s | 25 | 5429314 | 5328998 | 612 18721 | 0 | 0 1207.80/1208.27 c 1208s | 25 | 5437412 | 5336898 | 612 18742 | 0 | 0 1209.80/1210.28 c 1210s | 25 | 5445479 | 5344798 | 612 18764 | 0 | 0 1211.80/1212.28 c 1212s | 25 | 5454409 | 5353498 | 612 18788 | 0 | 0 1213.90/1214.30 c 1214s | 25 | 5463014 | 5361898 | 612 18811 | 0 | 0 1215.90/1216.32 c 1216s | 25 | 5471376 | 5370098 | 612 18834 | 0 | 0 1217.89/1218.33 c 1218s | 25 | 5480035 | 5378598 | 612 18858 | 0 | 0 1219.89/1220.33 c 1220s | 25 | 5488313 | 5386798 | 612 18880 | 0 | 0 1221.89/1222.34 c 1222s | 25 | 5496519 | 5394898 | 612 18903 | 0 | 0 1223.90/1224.35 c 1224s | 25 | 5504523 | 5402798 | 612 18925 | 0 | 0 1225.89/1226.36 c 1226s | 25 | 5512929 | 5411098 | 612 18948 | 0 | 0 1227.89/1228.38 c 1228s | 25 | 5520971 | 5418998 | 612 18970 | 0 | 0 1229.89/1230.38 c 1230s | 25 | 5529012 | 5426898 | 612 18992 | 0 | 0 1231.89/1232.39 c 1232s | 25 | 5537493 | 5435198 | 612 19015 | 0 | 0 1233.90/1234.39 c 1234s | 25 | 5546091 | 5443598 | 612 19038 | 0 | 0 1236.00/1236.41 c 1236s | 25 | 5554518 | 5451898 | 612 19061 | 0 | 0 1237.99/1238.44 c 1238s | 25 | 5563168 | 5460398 | 612 19085 | 0 | 0 1240.00/1240.46 c 1240s | 25 | 5571903 | 5468998 | 612 19109 | 0 | 0 1242.00/1242.46 c 1242s | 25 | 5580360 | 5477298 | 612 19132 | 0 | 0 1243.99/1244.48 c 1244s | 25 | 5588670 | 5485498 | 612 19155 | 0 | 0 1246.09/1246.50 c 1246s | 25 | 5597372 | 5493998 | 612 19179 | 0 | 0 1248.10/1248.51 c 1248s | 25 | 5605484 | 5501998 | 612 19201 | 0 | 0 1250.09/1250.52 c 1250s | 25 | 5613903 | 5510198 | 612 19224 | 0 | 0 1252.09/1252.55 c 1252s | 25 | 5622337 | 5518398 | 612 19247 | 0 | 0 1254.09/1254.57 c 1254s | 25 | 5631214 | 5527098 | 612 19271 | 0 | 0 1256.09/1256.57 c 1256s | 25 | 5639813 | 5535398 | 612 19294 | 0 | 0 1258.10/1258.58 c 1258s | 25 | 5648063 | 5543498 | 612 19316 | 0 | 0 1260.09/1260.60 c 1260s | 25 | 5656357 | 5551598 | 612 19339 | 0 | 0 1262.19/1262.61 c 1262s | 25 | 5664712 | 5559898 | 612 19362 | 0 | 0 1264.19/1264.63 c 1264s | 25 | 5672950 | 5567998 | 612 19384 | 0 | 0 1266.19/1266.65 c 1266s | 25 | 5681090 | 5575998 | 612 19406 | 0 | 0 1268.19/1268.66 c 1268s | 25 | 5689414 | 5584198 | 612 19429 | 0 | 0 1270.20/1270.68 c 1270s | 25 | 5697310 | 5591998 | 612 19451 | 0 | 0 1272.19/1272.69 c 1272s | 25 | 5705337 | 5599898 | 612 19473 | 0 | 0 1274.29/1274.71 c 1274s | 25 | 5713443 | 5607898 | 612 19495 | 0 | 0 1276.29/1276.72 c 1276s | 25 | 5721477 | 5615798 | 612 19517 | 0 | 0 1278.29/1278.74 c 1278s | 25 | 5729686 | 5623898 | 612 19539 | 0 | 0 1280.29/1280.76 c 1280s | 25 | 5737967 | 5632098 | 612 19562 | 0 | 0 1282.30/1282.76 c 1282s | 25 | 5746686 | 5640598 | 612 19586 | 0 | 0 1284.29/1284.77 c 1284s | 25 | 5754876 | 5648598 | 612 19608 | 0 | 0 1286.29/1286.78 c 1286s | 25 | 5763032 | 5656598 | 612 19630 | 0 | 0 1288.29/1288.79 c 1288s | 25 | 5771435 | 5664798 | 612 19653 | 0 | 0 1290.38/1290.80 c 1290s | 25 | 5779805 | 5672998 | 612 19676 | 0 | 0 1292.38/1292.82 c 1292s | 25 | 5788214 | 5681198 | 612 19699 | 0 | 0 1294.39/1294.83 c 1294s | 25 | 5796754 | 5689598 | 612 19722 | 0 | 0 1296.38/1296.84 c 1296s | 25 | 5805247 | 5697898 | 612 19745 | 0 | 0 1298.38/1298.85 c 1298s | 25 | 5814163 | 5706698 | 612 19770 | 0 | 0 1300.38/1300.85 c 1300s | 25 | 5822844 | 5715198 | 612 19793 | 0 | 0 1302.38/1302.87 c 1302s | 25 | 5831801 | 5723898 | 612 19817 | 0 | 0 1304.38/1304.88 c 1304s | 25 | 5840534 | 5732398 | 612 19841 | 0 | 0 1306.39/1306.90 c 1306s | 25 | 5849339 | 5740998 | 612 19865 | 0 | 0 1308.48/1308.90 c 1308s | 25 | 5858733 | 5750098 | 612 19890 | 0 | 0 1310.48/1310.92 c 1310s | 25 | 5867176 | 5758398 | 612 19913 | 0 | 0 1312.48/1312.94 c 1312s | 25 | 5875364 | 5766498 | 612 19936 | 0 | 0 1314.48/1314.96 c 1314s | 25 | 5883668 | 5774598 | 612 19958 | 0 | 0 1316.48/1316.97 c 1316s | 25 | 5891844 | 5782598 | 612 19981 | 0 | 0 1318.49/1318.99 c 1318s | 25 | 5900775 | 5791298 | 612 20005 | 0 | 0 1320.48/1320.99 c 1320s | 25 | 5909477 | 5799698 | 612 20028 | 0 | 0 1322.48/1322.99 c 1322s | 25 | 5917951 | 5807998 | 612 20051 | 0 | 0 1324.58/1325.00 c 1324s | 25 | 5927020 | 5816798 | 612 20075 | 0 | 0 1326.58/1327.02 c 1327s | 25 | 5935323 | 5824898 | 612 20098 | 0 | 0 1328.58/1329.02 c 1329s | 25 | 5943388 | 5832798 | 612 20120 | 0 | 0 1330.58/1331.03 c 1331s | 25 | 5951593 | 5840798 | 612 20142 | 0 | 0 1332.58/1333.04 c 1333s | 25 | 5959969 | 5848998 | 612 20165 | 0 | 0 1334.58/1335.05 c 1335s | 25 | 5968543 | 5857398 | 612 20188 | 0 | 0 1336.57/1337.06 c 1337s | 25 | 5977111 | 5865798 | 612 20212 | 0 | 0 1338.57/1339.07 c 1339s | 25 | 5985698 | 5874198 | 612 20235 | 0 | 0 1340.59/1341.07 c 1341s | 25 | 5994421 | 5882798 | 612 20259 | 0 | 0 1342.58/1343.07 c 1343s | 25 | 6002801 | 5891098 | 612 20282 | 0 | 0 1344.58/1345.09 c 1345s | 25 | 6011179 | 5899398 | 612 20305 | 0 | 0 1346.58/1347.09 c 1347s | 25 | 6019943 | 5907998 | 612 20329 | 0 | 0 1348.68/1349.11 c 1349s | 25 | 6028596 | 5916498 | 612 20353 | 0 | 0 1350.68/1351.11 c 1351s | 25 | 6036832 | 5924598 | 612 20376 | 0 | 0 1352.68/1353.12 c 1353s | 25 | 6045043 | 5932698 | 612 20398 | 0 | 0 1354.68/1355.13 c 1355s | 25 | 6053986 | 5941398 | 612 20423 | 0 | 0 1356.68/1357.14 c 1357s | 25 | 6062771 | 5949998 | 612 20446 | 0 | 0 1358.68/1359.14 c 1359s | 25 | 6071126 | 5958198 | 612 20469 | 0 | 0 1360.68/1361.16 c 1361s | 25 | 6079723 | 5966598 | 612 20493 | 0 | 0 1362.67/1363.16 c 1363s | 25 | 6088078 | 5974798 | 612 20516 | 0 | 0 1364.68/1365.19 c 1365s | 25 | 6096814 | 5983298 | 612 20540 | 0 | 0 1366.67/1367.19 c 1367s | 25 | 6105345 | 5991598 | 612 20563 | 0 | 0 1368.67/1369.19 c 1369s | 25 | 6113806 | 5999898 | 612 20586 | 0 | 0 1370.67/1371.19 c 1371s | 25 | 6122136 | 6008098 | 612 20608 | 0 | 0 1372.67/1373.19 c 1373s | 25 | 6131293 | 6016798 | 612 20632 | 0 | 0 1374.77/1375.22 c 1375s | 25 | 6139617 | 6024998 | 612 20655 | 0 | 0 1376.78/1377.23 c 1377s | 25 | 6147884 | 6033098 | 612 20677 | 0 | 0 1378.77/1379.23 c 1379s | 25 | 6156331 | 6041398 | 612 20700 | 0 | 0 1380.77/1381.24 c 1381s | 25 | 6164547 | 6049498 | 612 20723 | 0 | 0 1382.77/1383.24 c 1383s | 25 | 6172965 | 6057798 | 612 20746 | 0 | 0 1384.77/1385.25 c 1385s | 25 | 6181387 | 6066098 | 612 20769 | 0 | 0 1386.78/1387.26 c 1387s | 25 | 6189814 | 6074398 | 612 20792 | 0 | 0 1388.77/1389.26 c 1389s | 25 | 6198318 | 6082798 | 612 20815 | 0 | 0 1390.77/1391.28 c 1391s | 25 | 6206747 | 6091098 | 612 20838 | 0 | 0 1392.77/1393.28 c 1393s | 25 | 6214948 | 6099198 | 612 20860 | 0 | 0 1394.77/1395.29 c 1395s | 25 | 6223341 | 6107498 | 612 20883 | 0 | 0 1396.87/1397.30 c 1397s | 25 | 6231447 | 6115498 | 612 20906 | 0 | 0 1398.87/1399.31 c 1399s | 25 | 6240959 | 6124698 | 612 20931 | 0 | 0 1400.87/1401.32 c 1401s | 25 | 6251188 | 6134398 | 612 20958 | 0 | 0 1402.86/1403.34 c 1403s | 25 | 6260199 | 6143198 | 612 20982 | 0 | 0 1404.86/1405.36 c 1405s | 25 | 6269110 | 6151898 | 612 21006 | 0 | 0 1406.86/1407.36 c 1407s | 25 | 6278534 | 6160898 | 612 21031 | 0 | 0 1408.86/1409.36 c 1409s | 25 | 6287891 | 6169898 | 612 21056 | 0 | 0 1410.88/1411.37 c 1411s | 25 | 6296627 | 6178298 | 612 21079 | 0 | 0 1412.87/1413.37 c 1413s | 25 | 6304793 | 6186298 | 612 21101 | 0 | 0 1414.87/1415.38 c 1415s | 25 | 6313259 | 6194598 | 612 21124 | 0 | 0 1416.87/1417.39 c 1417s | 25 | 6322179 | 6203398 | 612 21148 | 0 | 0 1418.87/1419.39 c 1419s | 25 | 6330631 | 6211698 | 612 21171 | 0 | 0 1420.97/1421.40 c 1421s | 25 | 6339051 | 6219998 | 612 21194 | 0 | 0 1422.98/1423.41 c 1423s | 25 | 6347171 | 6227998 | 612 21217 | 0 | 0 1424.97/1425.41 c 1425s | 25 | 6355835 | 6236598 | 612 21240 | 0 | 0 1426.97/1427.42 c 1427s | 25 | 6363905 | 6244598 | 612 21263 | 0 | 0 1428.97/1429.44 c 1429s | 25 | 6372519 | 6252998 | 612 21286 | 0 | 0 1430.97/1431.44 c 1431s | 25 | 6380461 | 6260798 | 612 21308 | 0 | 0 1432.97/1433.46 c 1433s | 25 | 6388710 | 6268798 | 612 21330 | 0 | 0 1434.97/1435.47 c 1435s | 25 | 6396706 | 6276698 | 612 21352 | 0 | 0 1436.97/1437.48 c 1437s | 25 | 6405602 | 6285298 | 612 21376 | 0 | 0 1439.07/1439.50 c 1439s | 25 | 6414141 | 6293698 | 612 21399 | 0 | 0 1441.07/1441.51 c 1441s | 25 | 6422533 | 6301998 | 612 21422 | 0 | 0 1443.06/1443.52 c 1443s | 25 | 6431944 | 6311098 | 612 21447 | 0 | 0 1445.07/1445.53 c 1445s | 25 | 6441060 | 6319998 | 612 21472 | 0 | 0 1447.06/1447.53 c 1447s | 25 | 6449563 | 6328398 | 612 21496 | 0 | 0 1449.06/1449.54 c 1449s | 25 | 6458555 | 6337298 | 612 21520 | 0 | 0 1451.06/1451.55 c 1451s | 25 | 6467357 | 6345998 | 612 21544 | 0 | 0 1453.06/1453.55 c 1453s | 25 | 6475863 | 6354398 | 612 21568 | 0 | 0 1455.06/1455.58 c 1455s | 25 | 6484281 | 6362698 | 612 21591 | 0 | 0 1457.07/1457.60 c 1457s | 25 | 6492294 | 6370598 | 612 21613 | 0 | 0 1459.16/1459.60 c 1459s | 25 | 6500492 | 6378698 | 612 21635 | 0 | 0 1461.16/1461.63 c 1461s | 25 | 6508454 | 6386498 | 612 21657 | 0 | 0 1463.16/1463.63 c 1463s | 25 | 6516454 | 6394398 | 612 21679 | 0 | 0 1465.16/1465.65 c 1465s | 25 | 6524434 | 6402298 | 612 21701 | 0 | 0 1467.16/1467.67 c 1467s | 25 | 6532430 | 6410198 | 612 21723 | 0 | 0 1469.16/1469.67 c 1469s | 25 | 6540662 | 6418298 | 612 21745 | 0 | 0 1471.16/1471.68 c 1471s | 25 | 6549297 | 6426798 | 612 21769 | 0 | 0 1473.16/1473.69 c 1473s | 25 | 6557821 | 6435198 | 612 21792 | 0 | 0 1475.26/1475.71 c 1475s | 25 | 6566424 | 6443598 | 612 21815 | 0 | 0 1477.26/1477.73 c 1477s | 25 | 6574930 | 6451898 | 612 21838 | 0 | 0 1479.26/1479.75 c 1479s | 25 | 6583180 | 6459998 | 612 21861 | 0 | 0 1481.26/1481.75 c 1481s | 25 | 6591434 | 6468098 | 612 21883 | 0 | 0 1483.26/1483.76 c 1483s | 25 | 6600176 | 6476698 | 612 21907 | 0 | 0 1485.26/1485.77 c 1485s | 25 | 6609016 | 6485398 | 612 21931 | 0 | 0 1487.25/1487.77 c 1487s | 25 | 6617145 | 6493398 | 612 21953 | 0 | 0 1489.25/1489.79 c 1489s | 25 | 6625232 | 6501398 | 612 21975 | 0 | 0 1491.35/1491.80 c 1491s | 25 | 6633895 | 6509898 | 612 21999 | 0 | 0 1493.36/1493.81 c 1493s | 25 | 6642397 | 6518298 | 612 22022 | 0 | 0 1495.35/1495.82 c 1495s | 25 | 6650504 | 6526298 | 612 22044 | 0 | 0 1497.35/1497.84 c 1497s | 25 | 6658934 | 6534598 | 612 22067 | 0 | 0 1499.35/1499.86 c 1499s | 25 | 6667266 | 6542798 | 612 22090 | 0 | 0 1501.35/1501.86 c 1501s | 25 | 6675642 | 6550898 | 612 22113 | 0 | 0 1503.36/1503.88 c 1503s | 25 | 6684020 | 6559098 | 612 22136 | 0 | 0 1505.35/1505.88 c 1505s | 25 | 6692420 | 6567298 | 612 22158 | 0 | 0 1507.45/1507.90 c 1507s | 25 | 6701202 | 6575998 | 612 22183 | 0 | 0 1509.45/1509.91 c 1509s | 25 | 6710635 | 6585298 | 612 22208 | 0 | 0 1511.45/1511.92 c 1511s | 25 | 6719559 | 6594098 | 612 22232 | 0 | 0 1513.45/1513.94 c 1513s | 25 | 6728917 | 6603298 | 612 22258 | 0 | 0 1515.46/1515.96 c 1515s | 25 | 6737957 | 6612098 | 612 22282 | 0 | 0 1517.45/1517.96 c 1517s | 25 | 6746763 | 6620698 | 612 22306 | 0 | 0 1519.45/1519.97 c 1519s | 25 | 6755627 | 6629398 | 612 22330 | 0 | 0 1521.45/1521.98 c 1521s | 25 | 6764463 | 6638098 | 612 22354 | 0 | 0 1523.55/1524.00 c 1523s | 25 | 6773065 | 6646598 | 612 22378 | 0 | 0 1525.55/1526.02 c 1526s | 25 | 6781898 | 6655298 | 612 22402 | 0 | 0 1527.56/1528.03 c 1528s | 25 | 6790818 | 6664098 | 612 22426 | 0 | 0 1529.55/1530.04 c 1530s | 25 | 6799512 | 6672598 | 612 22450 | 0 | 0 1531.55/1532.05 c 1532s | 25 | 6808040 | 6680998 | 612 22473 | 0 | 0 1533.55/1534.07 c 1534s | 25 | 6816899 | 6689698 | 612 22497 | 0 | 0 1535.55/1536.09 c 1536s | 25 | 6825554 | 6698198 | 612 22521 | 0 | 0 1537.55/1538.09 c 1538s | 25 | 6833808 | 6706398 | 612 22544 | 0 | 0 1539.66/1540.11 c 1540s | 25 | 6842173 | 6714698 | 612 22567 | 0 | 0 1541.65/1542.13 c 1542s | 25 | 6850374 | 6722798 | 612 22589 | 0 | 0 1543.65/1544.15 c 1544s | 25 | 6858487 | 6730798 | 612 22611 | 0 | 0 1545.65/1546.15 c 1546s | 25 | 6866376 | 6738598 | 612 22633 | 0 | 0 1547.65/1548.15 c 1548s | 25 | 6874223 | 6746398 | 612 22655 | 0 | 0 1549.65/1550.16 c 1550s | 25 | 6881898 | 6753998 | 612 22676 | 0 | 0 1551.65/1552.18 c 1552s | 25 | 6889992 | 6761898 | 612 22698 | 0 | 0 1553.74/1554.20 c 1554s | 25 | 6898159 | 6769898 | 612 22720 | 0 | 0 1555.74/1556.22 c 1556s | 25 | 6906430 | 6777998 | 612 22743 | 0 | 0 1557.74/1558.23 c 1558s | 25 | 6915143 | 6786398 | 612 22766 | 0 | 0 1559.74/1560.24 c 1560s | 25 | 6923209 | 6794298 | 612 22788 | 0 | 0 1561.74/1562.25 c 1562s | 25 | 6931114 | 6801998 | 612 22809 | 0 | 0 1563.75/1564.26 c 1564s | 25 | 6939292 | 6809998 | 612 22832 | 0 | 0 1565.74/1566.27 c 1566s | 25 | 6947563 | 6818098 | 612 22854 | 0 | 0 1567.74/1568.28 c 1568s | 25 | 6955944 | 6826198 | 612 22877 | 0 | 0 1569.84/1570.31 c 1570s | 25 | 6963832 | 6833998 | 612 22899 | 0 | 0 1571.84/1572.32 c 1572s | 25 | 6971781 | 6841798 | 612 22920 | 0 | 0 1573.84/1574.33 c 1574s | 25 | 6980003 | 6849798 | 612 22943 | 0 | 0 1575.84/1576.34 c 1576s | 25 | 6988457 | 6858098 | 612 22966 | 0 | 0 1577.84/1578.35 c 1578s | 25 | 6996886 | 6866398 | 612 22989 | 0 | 0 1579.84/1580.37 c 1580s | 25 | 7004971 | 6874398 | 612 23011 | 0 | 0 1581.84/1582.37 c 1582s | 25 | 7013200 | 6882498 | 612 23033 | 0 | 0 1583.84/1584.38 c 1584s | 25 | 7021573 | 6890698 | 612 23056 | 0 | 0 1585.93/1586.40 c 1586s | 25 | 7029846 | 6898798 | 612 23079 | 0 | 0 1587.95/1588.42 c 1588s | 25 | 7038226 | 6906998 | 612 23101 | 0 | 0 1589.94/1590.42 c 1590s | 25 | 7046528 | 6915098 | 612 23124 | 0 | 0 1591.94/1592.44 c 1592s | 25 | 7054747 | 6923198 | 612 23146 | 0 | 0 1593.94/1594.45 c 1594s | 25 | 7063571 | 6931898 | 612 23171 | 0 | 0 1595.94/1596.45 c 1596s | 25 | 7072029 | 6940198 | 612 23194 | 0 | 0 1597.95/1598.46 c 1598s | 25 | 7080454 | 6948498 | 612 23217 | 0 | 0 1599.94/1600.47 c 1600s | 25 | 7088906 | 6956798 | 612 23240 | 0 | 0 1601.94/1602.47 c 1602s | 25 | 7097345 | 6965098 | 612 23263 | 0 | 0 1603.94/1604.47 c 1604s | 25 | 7105857 | 6973398 | 612 23286 | 0 | 0 1605.94/1606.48 c 1606s | 25 | 7114093 | 6981398 | 612 23308 | 0 | 0 1607.94/1608.49 c 1608s | 25 | 7122402 | 6989498 | 612 23331 | 0 | 0 1609.95/1610.50 c 1610s | 25 | 7130767 | 6997698 | 612 23353 | 0 | 0 1612.04/1612.50 c 1612s | 25 | 7139133 | 7005898 | 612 23376 | 0 | 0 1614.04/1614.53 c 1614s | 25 | 7147180 | 7013798 | 612 23398 | 0 | 0 1616.04/1616.54 c 1616s | 25 | 7155877 | 7022198 | 612 23422 | 0 | 0 1618.04/1618.54 c 1618s | 25 | 7164310 | 7030398 | 612 23444 | 0 | 0 1620.04/1620.56 c 1620s | 25 | 7172570 | 7038498 | 612 23467 | 0 | 0 1622.04/1622.57 c 1622s | 25 | 7180610 | 7046398 | 612 23489 | 0 | 0 1624.04/1624.58 c 1624s | 25 | 7189782 | 7055398 | 612 23514 | 0 | 0 1626.13/1626.60 c 1626s | 25 | 7198273 | 7063698 | 612 23537 | 0 | 0 1628.13/1628.60 c 1628s | 25 | 7206775 | 7071898 | 612 23560 | 0 | 0 1630.13/1630.61 c 1630s | 25 | 7215326 | 7080198 | 612 23583 | 0 | 0 1632.13/1632.63 c 1632s | 25 | 7223555 | 7088298 | 612 23606 | 0 | 0 1634.14/1634.64 c 1634s | 25 | 7232356 | 7096898 | 612 23629 | 0 | 0 1636.13/1636.65 c 1636s | 25 | 7240712 | 7105098 | 612 23652 | 0 | 0 1638.13/1638.66 c 1638s | 25 | 7249043 | 7113298 | 612 23675 | 0 | 0 1640.13/1640.69 c 1640s | 25 | 7257374 | 7121398 | 612 23698 | 0 | 0 1642.13/1642.69 c 1642s | 25 | 7265593 | 7129498 | 612 23720 | 0 | 0 1644.23/1644.71 c 1644s | 25 | 7273724 | 7137498 | 612 23742 | 0 | 0 1646.24/1646.71 c 1646s | 25 | 7281957 | 7145598 | 612 23765 | 0 | 0 1648.23/1648.72 c 1648s | 25 | 7290190 | 7153698 | 612 23788 | 0 | 0 1650.23/1650.73 c 1650s | 25 | 7298122 | 7161498 | 612 23809 | 0 | 0 1652.23/1652.75 c 1652s | 25 | 7306721 | 7169898 | 612 23833 | 0 | 0 1654.23/1654.76 c 1654s | 25 | 7314876 | 7177898 | 612 23855 | 0 | 0 1656.23/1656.77 c 1656s | 25 | 7323242 | 7186098 | 612 23878 | 0 | 0 1658.23/1658.79 c 1658s | 25 | 7331559 | 7194298 | 612 23901 | 0 | 0 1660.23/1660.79 c 1660s | 25 | 7339873 | 7202498 | 612 23924 | 0 | 0 1662.33/1662.80 c 1662s | 25 | 7348501 | 7210998 | 612 23948 | 0 | 0 1664.33/1664.81 c 1664s | 25 | 7356754 | 7219098 | 612 23970 | 0 | 0 1666.32/1666.81 c 1666s | 25 | 7364760 | 7226998 | 612 23992 | 0 | 0 1668.33/1668.82 c 1668s | 25 | 7372724 | 7234798 | 612 24014 | 0 | 0 1670.32/1670.82 c 1670s | 25 | 7380638 | 7242598 | 612 24036 | 0 | 0 1672.32/1672.83 c 1672s | 25 | 7388579 | 7250398 | 612 24058 | 0 | 0 1674.32/1674.83 c 1674s | 25 | 7397514 | 7259098 | 612 24082 | 0 | 0 1676.32/1676.85 c 1676s | 25 | 7406327 | 7267698 | 612 24106 | 0 | 0 1678.32/1678.86 c 1678s | 25 | 7414831 | 7275998 | 612 24129 | 0 | 0 1680.33/1680.87 c 1680s | 25 | 7423807 | 7284698 | 612 24153 | 0 | 0 1682.32/1682.89 c 1682s | 25 | 7432538 | 7293198 | 612 24177 | 0 | 0 1684.32/1684.89 c 1684s | 25 | 7440997 | 7301498 | 612 24200 | 0 | 0 1686.42/1686.91 c 1686s | 25 | 7449515 | 7309898 | 612 24223 | 0 | 0 1688.42/1688.93 c 1688s | 25 | 7458451 | 7318598 | 612 24247 | 0 | 0 1690.42/1690.94 c 1690s | 25 | 7467427 | 7327298 | 612 24272 | 0 | 0 1692.42/1692.95 c 1692s | 25 | 7476091 | 7335698 | 612 24295 | 0 | 0 1694.43/1694.97 c 1694s | 25 | 7484963 | 7344298 | 612 24319 | 0 | 0 1696.43/1696.98 c 1696s | 25 | 7493749 | 7352898 | 612 24343 | 0 | 0 1698.52/1699.00 c 1698s | 25 | 7502681 | 7361598 | 612 24367 | 0 | 0 1700.52/1701.02 c 1701s | 25 | 7511008 | 7369798 | 612 24390 | 0 | 0 1702.52/1703.02 c 1703s | 25 | 7519521 | 7378098 | 612 24413 | 0 | 0 1704.53/1705.04 c 1705s | 25 | 7527823 | 7386198 | 612 24436 | 0 | 0 1706.52/1707.05 c 1707s | 25 | 7536015 | 7394198 | 612 24458 | 0 | 0 1708.52/1709.07 c 1709s | 25 | 7544902 | 7402798 | 612 24482 | 0 | 0 1710.52/1711.08 c 1711s | 25 | 7553633 | 7411198 | 612 24506 | 0 | 0 1712.52/1713.09 c 1713s | 25 | 7562977 | 7420098 | 612 24530 | 0 | 0 1714.62/1715.10 c 1715s | 25 | 7571767 | 7428698 | 612 24554 | 0 | 0 1716.63/1717.11 c 1717s | 25 | 7580197 | 7436898 | 612 24577 | 0 | 0 1718.62/1719.13 c 1719s | 25 | 7588374 | 7444898 | 612 24600 | 0 | 0 1720.62/1721.14 c 1721s | 25 | 7596836 | 7453098 | 612 24622 | 0 | 0 1722.62/1723.15 c 1723s | 25 | 7605216 | 7461298 | 612 24645 | 0 | 0 1724.62/1725.17 c 1725s | 25 | 7613992 | 7469898 | 612 24669 | 0 | 0 1726.62/1727.19 c 1727s | 25 | 7622277 | 7478098 | 612 24692 | 0 | 0 1728.72/1729.21 c 1729s | 25 | 7630516 | 7486198 | 612 24715 | 0 | 0 1730.72/1731.21 c 1731s | 25 | 7639380 | 7494798 | 612 24739 | 0 | 0 1732.71/1733.22 c 1733s | 25 | 7648205 | 7503398 | 612 24762 | 0 | 0 1734.71/1735.24 c 1735s | 25 | 7656585 | 7511598 | 612 24785 | 0 | 0 1736.71/1737.26 c 1737s | 25 | 7665113 | 7519998 | 612 24809 | 0 | 0 1738.72/1739.28 c 1739s | 25 | 7673218 | 7527998 | 612 24831 | 0 | 0 1740.71/1741.29 c 1741s | 25 | 7681599 | 7536198 | 612 24854 | 0 | 0 1742.81/1743.30 c 1743s | 25 | 7689812 | 7544298 | 674 24876 | 0 | 0 1744.81/1745.31 c 1745s | 25 | 7697835 | 7552198 | 674 24897 | 0 | 0 1746.81/1747.32 c 1747s | 25 | 7705721 | 7559998 | 674 24917 | 0 | 0 1748.81/1749.32 c 1749s | 25 | 7714218 | 7568398 | 674 24938 | 0 | 0 1750.82/1751.34 c 1751s | 25 | 7722621 | 7576698 | 674 24959 | 0 | 0 1752.81/1753.36 c 1753s | 25 | 7730993 | 7584998 | 674 24981 | 0 | 0 1754.81/1755.37 c 1755s | 25 | 7739391 | 7593298 | 674 25002 | 0 | 0 1755.91/1756.45 c 1756s | 26 | 7743958 | 7597752 | 674 25013 | 0 | 0 1757.91/1758.46 c 1758s | 26 | 7752706 | 7606152 | 674 25035 | 0 | 0 1759.91/1760.47 c 1760s | 26 | 7761425 | 7614652 | 674 25056 | 0 | 0 1761.91/1762.49 c 1762s | 26 | 7769704 | 7622752 | 674 25077 | 0 | 0 1764.02/1764.50 c 1764s | 26 | 7778496 | 7631252 | 674 25098 | 0 | 0 1766.01/1766.52 c 1766s | 26 | 7787278 | 7639752 | 674 25120 | 0 | 0 1768.01/1768.54 c 1768s | 26 | 7795524 | 7647752 | 674 25140 | 0 | 0 1770.01/1770.54 c 1770s | 26 | 7803856 | 7655952 | 674 25161 | 0 | 0 1772.01/1772.55 c 1772s | 26 | 7812400 | 7664352 | 674 25183 | 0 | 0 1774.01/1774.57 c 1774s | 26 | 7821264 | 7672952 | 674 25205 | 0 | 0 1776.01/1776.59 c 1776s | 26 | 7829673 | 7681152 | 674 25225 | 0 | 0 1778.11/1778.61 c 1778s | 26 | 7837710 | 7689052 | 674 25245 | 0 | 0 1780.11/1780.63 c 1780s | 26 | 7845804 | 7696952 | 674 25266 | 0 | 0 1782.11/1782.64 c 1782s | 26 | 7854055 | 7705052 | 674 25286 | 0 | 0 1784.10/1784.66 c 1784s | 26 | 7862590 | 7713452 | 674 25308 | 0 | 0 1786.10/1786.68 c 1786s | 26 | 7870921 | 7721652 | 674 25329 | 0 | 0 1788.11/1788.69 c 1788s | 26 | 7880282 | 7730852 | 674 25352 | 0 | 0 1790.10/1790.69 c 1790s | 26 | 7889503 | 7739852 | 674 25375 | 0 | 0 1792.20/1792.71 c 1792s | 26 | 7898369 | 7748552 | 674 25397 | 0 | 0 1794.20/1794.72 c 1794s | 26 | 7906745 | 7756752 | 674 25418 | 0 | 0 1796.20/1796.73 c 1796s | 26 | 7915263 | 7765052 | 674 25439 | 0 | 0 1798.20/1798.75 c 1798s | 26 | 7924002 | 7773552 | 674 25460 | 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-4105609-1466253767/watcher-4105609-1466253767 -o /tmp/evaluation-result-4105609-1466253767/solver-4105609-1466253767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105609-1466253767.opb pid=23666 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.13 2.05 2.01 3/179 23669 /proc/meminfo: memFree=30574312/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=680380 CPUtime=0 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 2529 0 0 0 0 0 0 0 20 0 4 0 27426595 696709120 2890 33554432000 4194304 16246674 140733909117696 140733909117120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 170607 2899 441 2943 0 167501 0 [pid=23669/tid=23670] ppid=23666 vsize=697788 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 714534912 2958 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 718729216 2975 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=705980 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27426595 722923520 2991 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.13 2.05 2.01 3/179 23669 /proc/meminfo: memFree=30574312/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 21007 0 0 0 6 3 0 0 20 0 4 0 27426595 1247350784 21355 33554432000 4194304 16246674 140733909117696 140733909117120 13929603 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 304529 21359 770 2943 0 301423 0 [pid=23669/tid=23670] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 21362 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 21367 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 21375 33554432000 4194304 16246674 140733909117696 139876200598704 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.200505 s] /proc/loadavg: 2.13 2.05 2.01 3/179 23669 /proc/meminfo: memFree=30574312/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 40277 0 0 0 14 5 0 0 20 0 4 0 27426595 1247350784 40625 33554432000 4194304 16246674 140733909117696 140733909117120 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 304529 40629 770 2943 0 301423 0 [pid=23669/tid=23670] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 40632 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 40635 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 40640 33554432000 4194304 16246674 140733909117696 139876200598704 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.300472 s] /proc/loadavg: 2.13 2.05 2.01 3/179 23669 /proc/meminfo: memFree=30574312/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 59791 0 0 0 21 8 0 0 20 0 4 0 27426595 1247350784 60139 33554432000 4194304 16246674 140733909117696 140733909117120 7202237 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 304529 60147 770 2943 0 301423 0 [pid=23669/tid=23670] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 60151 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 60155 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 60156 33554432000 4194304 16246674 140733909117696 139876200598704 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.700389 s] /proc/loadavg: 2.13 2.05 2.01 3/179 23669 /proc/meminfo: memFree=30574312/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 137619 0 0 0 52 17 0 0 20 0 4 0 27426595 1247350784 137967 33554432000 4194304 16246674 140733909117696 140733909117120 5711820 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 304529 137973 771 2943 0 301423 0 [pid=23669/tid=23670] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 137976 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 137982 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27426595 1247350784 137985 33554432000 4194304 16246674 140733909117696 139876200598704 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.50036 s] /proc/loadavg: 2.13 2.05 2.01 3/183 23673 /proc/meminfo: memFree=29702256/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 245686 0 0 0 115 34 0 0 20 0 4 0 27426595 1248399360 246012 33554432000 4194304 16246674 140733909117696 140733909117008 5824371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 304785 246012 833 2943 0 301679 0 [pid=23669/tid=23670] ppid=23666 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1248399360 246012 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1248399360 246012 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1248399360 246012 33554432000 4194304 16246674 140733909117696 139876200598704 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.10038 s] /proc/loadavg: 2.13 2.05 2.01 3/183 23673 /proc/meminfo: memFree=29504476/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267389 0 0 0 272 37 0 0 20 0 4 0 27426595 1337528320 267715 33554432000 4194304 16246674 140733909117696 140733909099584 5712690 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267715 833 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267715 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267715 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267715 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30036 s] /proc/loadavg: 2.20 2.06 2.01 3/183 23673 /proc/meminfo: memFree=29503612/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267486 0 0 0 592 37 0 0 20 0 4 0 27426595 1337528320 267812 33554432000 4194304 16246674 140733909117696 140733909099584 5754517 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267812 833 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267812 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267812 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267812 33554432000 4194304 16246674 140733909117696 139876200598704 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.18 2.06 2.01 4/183 23673 /proc/meminfo: memFree=29503516/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=12.69 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267490 0 0 0 1232 37 0 0 20 0 4 0 27426595 1337528320 267816 33554432000 4194304 16246674 140733909117696 140733909099584 5723686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267816 836 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267816 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267816 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267816 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.07 2.04 2.01 4/183 23722 /proc/meminfo: memFree=29503172/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=25.49 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267555 0 0 0 2512 37 0 0 20 0 4 0 27426595 1337528320 267881 33554432000 4194304 16246674 140733909117696 140733909099584 12477752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267881 836 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267881 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267881 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267881 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.05 2.04 2.00 3/183 23722 /proc/meminfo: memFree=29502180/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=51.08 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267600 0 0 0 5070 38 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 140733909099584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267922 836 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1306180 [startup+102.301 s] /proc/loadavg: 2.02 2.03 2.00 3/183 23723 /proc/meminfo: memFree=29502532/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1306180 CPUtime=102.27 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 267614 0 0 0 10188 39 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 140733909099584 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326545 267922 836 2943 0 323439 0 [pid=23669/tid=23670] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1337528320 267922 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268091 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1307204 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 24067 /proc/meminfo: memFree=22244036/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1361.88 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268119 0 0 0 136133 55 0 0 20 0 4 0 27426595 1338576896 268091 33554432000 4194304 16246674 140733909117696 140733909100696 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268091 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268091 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268091 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268091 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.04 2.02 2.00 3/183 24069 /proc/meminfo: memFree=17925864/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1421.88 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268120 0 0 0 142132 56 0 0 20 0 4 0 27426595 1338576896 268092 33554432000 4194304 16246674 140733909117696 140733909099584 5599986 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268092 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268092 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268092 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268092 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.10 2.04 2.01 3/183 24168 /proc/meminfo: memFree=27707608/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1481.86 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268214 0 0 0 148130 56 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 140733909099584 5823428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268186 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1307204 [startup+1542.31 s] /proc/loadavg: 2.08 2.05 2.01 3/183 24169 /proc/meminfo: memFree=17398988/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1541.85 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268214 0 0 0 154128 57 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 140733909099584 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268186 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876200598704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.07 2.05 2.01 3/183 24170 /proc/meminfo: memFree=17399096/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1601.84 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268214 0 0 0 160126 58 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 140733909100696 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268186 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268186 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1307204 [startup+1662.3 s] /proc/loadavg: 2.04 2.04 2.00 3/184 24222 /proc/meminfo: memFree=25998488/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1307204 CPUtime=1661.83 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268228 0 0 0 166125 58 0 0 20 0 4 0 27426595 1338576896 268200 33554432000 4194304 16246674 140733909117696 140733909099584 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 326801 268200 838 2943 0 323695 0 [pid=23669/tid=23670] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268200 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268200 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1338576896 268200 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1307204 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 24224 /proc/meminfo: memFree=16734580/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1308228 CPUtime=1721.82 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268254 0 0 0 172123 59 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 140733909099584 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 327057 268226 838 2943 0 323951 0 [pid=23669/tid=23670] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1308228 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/182 24225 /proc/meminfo: memFree=16735820/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1308228 CPUtime=1781.81 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268254 0 0 0 178122 59 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 140733909099584 13809232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 327057 268226 838 2943 0 323951 0 [pid=23669/tid=23670] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1308228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.03 2.03 2.00 3/182 24225 /proc/meminfo: memFree=15107916/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1308228 CPUtime=1800 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268254 0 0 0 179941 59 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 140733909099584 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 327057 268226 838 2943 0 323951 0 [pid=23669/tid=23670] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1308228 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 23669 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.03 2.03 2.00 3/182 24225 /proc/meminfo: memFree=15107916/32872528 swapFree=163656/177964 [pid=23669] ppid=23666 vsize=1308228 CPUtime=1800 cores=1,3,5,7 /proc/23669/stat : 23669 (toysat) R 23666 23669 20760 0 -1 4202496 268254 0 0 0 179941 59 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 140733909099584 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/23669/statm: 327057 268226 838 2943 0 323951 0 [pid=23669/tid=23670] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23670/stat : 23670 (toysat) S 23666 23669 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876221562096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=23669/tid=23671] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23671/stat : 23671 (toysat) S 23666 23669 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876211072240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=23669/tid=23672] ppid=23666 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/23669/task/23672/stat : 23672 (toysat) S 23666 23669 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27426595 1339625472 268226 33554432000 4194304 16246674 140733909117696 139876200598704 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) 1308228 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.597909 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1308228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.597909 maximum resident set size= 1072904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268254 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= 367 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6243 second user time and 7.01893 second system time The end
Begin job on node105 at 2016-06-18 14:42:47 IDJOB=4105609 IDBENCH=2925 IDSOLVER=2542 FILE ID=node105/4105609-1466253767 RUNJOBID= node105-1466229502-20777 PBS_JOBID= 19918174 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105609-1466253767/watcher-4105609-1466253767 -o /tmp/evaluation-result-4105609-1466253767/solver-4105609-1466253767 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105609-1466253767.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b RANDOM SEED=965997780 node105.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30575228 kB Buffers: 111764 kB Cached: 196884 kB SwapCached: 1676 kB Active: 1165948 kB Inactive: 216712 kB Active(anon): 1071876 kB Inactive(anon): 4412 kB Active(file): 94072 kB Inactive(file): 212300 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 16308 kB Writeback: 0 kB AnonPages: 1251432 kB Mapped: 10460 kB Shmem: 0 kB Slab: 604164 kB SReclaimable: 47772 kB SUnreclaim: 556392 kB KernelStack: 1488 kB PageTables: 6240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1397276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1079296 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= 71712 MiB End job on node105 at 2016-06-18 15:12:47