| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_4_mh_ic.opb |
| MD5SUM | 28aef98ecae5ad7c0bc1921f6d6032a5 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3953881 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 45775 |
| Total number of constraints | 102733 |
| Number of constraints which are clauses | 71450 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 31250 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 925 |
| Number of terms in the objective function | 17425 |
| Biggest coefficient in the objective function | 106496424 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 13952376603 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 106496424 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 13952376603 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-07T20:07:12+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-4079378-1465322831.opb"] 0.00/0.01 c use --random-gen="2458895812 605803393 888035324 1368847692 256246135 498038201 3519914926 1554444478 124019833 1575046144 2576108772 1621910612 267454464 3659341556 695066820 1139908984 3830507472 3195048702 4219908067 3360746724 406603391 2136767920 3149646137 2336023933 1888909321 901498440 63045561 1212012139 2497252139 368220161 2812065195 3692083219 2044369695 409776869 2076184866 2940512113 870028695 4091660443 2042983795 2130083618 514214378 3167102926 1408713481 4260843671 3610398669 1358026522 3541852672 3030748370 622893397 3592020353 543776773 3447896982 2891334841 152515972 3555004462 3081184429 2481750254 328021676 527269652 173974917 216566470 4085180406 4259902905 163326177 626469525 2829518074 3031660504 306089383 3809595090 3236982986 2784156747 3228980527 1642804492 1928197658 4216806391 2668200856 945245791 4028608568 2784585529 3389819826 3896396956 3793890559 3782649687 2623611021 2290538633 3239576874 874432579 1382934993 1773375471 543954883 474442540 2742068709 784672331 4003165168 758346305 1886353313 42504975 2926006482 164602288 407020483 557061501 2089478047 501130425 4212240753 2568392814 3071940408 14588239 1324791951 3582987950 811330264 3222069725 1210879510 916795155 436338631 3435828801 3760561649 2979152065 1582885264 2564304996 2784842877 2469393935 2853192222 843156150 1857556608 2077616746 3844658439 3372354232 2812246124 680015711 1212026775 2572113629 1405225440 2256088516 3040457649 843791976 4122448706 4003038903 2560718591 1392726579 3242709278 2186355336 2619557813 1364565636 74892314 2695789637 3766625001 2856175027 3157450449 1440093793 3049371644 3694996328 398017139 3516345892 2941798324 2094055599 163271984 3782621244 2251280736 2339888984 674980691 2041545718 531434449 1991188231 1036321827 743018664 2881298691 2530715646 1496069489 3094797660 1088363639 3499178968 437846856 1858429193 1347305786 4006489652 2547144196 534775580 2366226670 1487047257 3512716822 3117562444 1537542591 551833105 1398025213 350551427 3816025615 3113751791 3939023662 1813310312 1464102555 3555964359 152300620 3373445770 824966801 247602835 1764264742 3455778670 888010916 3903518984 1132559272 3268146762 500974541 3928992660 3433264396 947087676 912500611 1645252054 2759960615 2569607718 2190843019 3364263536 3582889905 1923028769 3870388891 20022281 2112591174 1911578094 453516962 2169599074 3887868633 3551176942 3851225204 101020701 475649878 2730545141 2128837090 2202435606 2609864494 658381261 4196736358 1459037633 898416289 1476556235 956893031 3735250392 3228049149 2090515167 3238040765 2985604292 114544801 2675118234 657695999 3813059823 2493602433 2807396907 3715286370 3459679268 389734707 414091505 3744610306 3560794043 968987559 3536591353 3884431119 3999270714 2591433492 255 362436" option to reproduce the execution 0.69/0.76 c #vars 45775 0.69/0.76 c #constraints 102733 2.59/2.62 c BCD2: Hardening is enabled. 2.59/2.62 c BCD2: BiasedSearch is enabled. 2.59/2.62 c Solving starts ... 2.59/2.62 c ============================[ Search Statistics ]============================ 2.59/2.62 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.62 c | | | | Limit GC | Var | Constra 2.59/2.62 c ============================================================================= 2.59/2.62 c 0.0s | 0 | 0 | 0 | 50102 0 | 100 | 0 3.58/3.64 c 1.0s | 1 | 560 | 100 | 50102 0 | 100 | 0 4.39/4.43 c 1.8s | 2 | 1793 | 250 | 55113 0 | 100 | 0 6.59/6.64 c 4.0s | 2 | 2557 | 350 | 60625 0 | 100 | 0 8.59/8.66 c 6.0s | 3 | 3633 | 475 | 60625 0 | 100 | 0 10.69/10.71 c 8.1s | 3 | 4239 | 575 | 66688 0 | 100 | 0 14.79/14.83 c 12.2s | 3 | 5360 | 775 | 66688 0 | 100 | 0 15.50/15.52 c 12.9s | 4 | 5576 | 813 | 66688 0 | 100 | 0 17.79/17.80 c 15.2s | 4 | 6347 | 913 | 73357 0 | 100 | 0 19.90/19.93 c 17.3s | 4 | 7031 | 1013 | 73357 0 | 100 | 0 21.89/21.97 c 19.4s | 4 | 7331 | 1113 | 73357 0 | 100 | 0 25.19/25.29 c 22.7s | 4 | 7752 | 1213 | 73357 0 | 100 | 0 28.29/28.30 c 25.7s | 4 | 8552 | 1313 | 73357 0 | 100 | 0 28.29/28.36 c 25.7s | 5 | 8556 | 1320 | 73357 0 | 100 | 0 31.59/31.67 c 29.1s | 5 | 9389 | 1420 | 80693 0 | 100 | 0 34.59/34.63 c 32.0s | 5 | 10373 | 1520 | 80693 0 | 100 | 0 36.59/36.65 c 34.0s | 5 | 11031 | 1620 | 80693 0 | 100 | 0 40.19/40.25 c 37.6s | 5 | 12429 | 1820 | 80693 0 | 100 | 0 42.89/42.96 c 40.3s | 5 | 12897 | 1920 | 80693 0 | 100 | 0 44.99/45.10 c 42.5s | 5 | 13661 | 2020 | 80693 0 | 100 | 0 46.29/46.34 c 43.7s | 6 | 14012 | 2081 | 88763 0 | 100 | 0 48.39/48.46 c 45.8s | 6 | 14723 | 2181 | 88763 0 | 100 | 0 50.69/50.77 c 48.1s | 6 | 15227 | 2281 | 88763 0 | 100 | 0 55.09/55.19 c 52.6s | 6 | 17033 | 2481 | 88763 0 | 100 | 0 57.19/57.28 c 54.7s | 6 | 17929 | 2581 | 88763 0 | 100 | 0 59.28/59.30 c 56.7s | 6 | 18546 | 2681 | 88763 0 | 100 | 0 63.18/63.23 c 60.6s | 6 | 20022 | 2881 | 88763 0 | 100 | 0 67.09/67.19 c 64.6s | 6 | 21298 | 3081 | 88763 0 | 100 | 0 69.29/69.31 c 66.7s | 6 | 22112 | 3181 | 88763 0 | 100 | 0 70.39/70.42 c 67.8s | 7 | 22223 | 3223 | 97640 0 | 100 | 0 73.58/73.67 c 71.1s | 7 | 22744 | 3323 | 97640 0 | 100 | 0 76.28/76.37 c 73.8s | 7 | 23526 | 3423 | 97640 0 | 100 | 0 78.58/78.62 c 76.0s | 7 | 24187 | 3523 | 97640 0 | 100 | 0 82.49/82.51 c 79.9s | 7 | 25458 | 3723 | 97640 0 | 100 | 0 84.88/84.91 c 82.3s | 7 | 26195 | 3823 | 97640 0 | 100 | 0 87.78/87.82 c 85.2s | 7 | 26926 | 3923 | 97640 0 | 100 | 0 89.88/89.96 c 87.3s | 7 | 27662 | 4023 | 97640 0 | 100 | 0 91.98/92.08 c 89.5s | 7 | 28451 | 4123 | 97640 0 | 100 | 0 95.69/95.76 c 93.1s | 7 | 29904 | 4323 | 97640 0 | 100 | 0 97.99/98.03 c 95.4s | 7 | 30533 | 4423 | 97640 0 | 100 | 0 99.98/100.07 c 97.4s | 7 | 31199 | 4523 | 97640 0 | 100 | 0 103.48/103.56 c 100s | 7 | 32821 | 4723 | 97640 0 | 100 | 0 105.88/105.91 c 103s | 7 | 33364 | 4823 | 97640 0 | 100 | 0 107.98/108.08 c 105s | 8 | 34020 | 4936 | 107405 0 | 100 | 0 112.28/112.36 c 109s | 8 | 34737 | 5136 | 107405 0 | 100 | 0 114.48/114.51 c 111s | 8 | 35160 | 5236 | 107405 0 | 100 | 0 118.58/118.60 c 115s | 8 | 35983 | 5436 | 107405 0 | 100 | 0 120.67/120.78 c 118s | 8 | 36672 | 5536 | 107405 0 | 100 | 0 123.37/123.44 c 120s | 8 | 37223 | 5636 | 107405 0 | 100 | 0 126.48/126.58 c 123s | 8 | 38152 | 5836 | 107405 0 | 100 | 0 129.27/129.34 c 126s | 8 | 38748 | 5936 | 107405 0 | 100 | 0 131.77/131.85 c 129s | 8 | 39413 | 6036 | 107405 0 | 100 | 0 134.47/134.54 c 131s | 8 | 40076 | 6136 | 107405 0 | 100 | 0 136.48/136.57 c 133s | 8 | 40273 | 6236 | 107405 0 | 100 | 0 138.47/138.59 c 135s | 8 | 40757 | 6336 | 107405 0 | 100 | 0 140.67/140.79 c 138s | 8 | 41306 | 6436 | 107405 0 | 100 | 0 142.77/142.84 c 140s | 8 | 41837 | 6536 | 107405 0 | 100 | 0 145.07/145.15 c 142s | 8 | 42654 | 6636 | 107405 0 | 100 | 0 149.37/149.41 c 146s | 8 | 44017 | 6836 | 107405 0 | 100 | 0 152.17/152.27 c 149s | 8 | 44945 | 7036 | 107405 0 | 100 | 0 155.47/155.57 c 152s | 8 | 46501 | 7236 | 107405 0 | 100 | 0 158.67/158.80 c 156s | 8 | 47605 | 7436 | 107405 0 | 100 | 0 159.87/159.97 c 157s | 9 | 48137 | 7506 | 118146 0 | 100 | 0 162.07/162.19 c 159s | 9 | 48959 | 7606 | 118146 0 | 100 | 0 165.07/165.15 c 162s | 9 | 49625 | 7806 | 118146 0 | 100 | 0 169.07/169.11 c 166s | 9 | 50457 | 8006 | 118146 0 | 100 | 0 172.27/172.38 c 169s | 9 | 51187 | 8206 | 118146 0 | 100 | 0 176.67/176.73 c 174s | 9 | 52023 | 8406 | 118146 0 | 100 | 0 181.37/181.47 c 178s | 9 | 53513 | 8606 | 118146 0 | 100 | 0 183.87/183.92 c 181s | 9 | 54344 | 8806 | 118146 0 | 100 | 0 186.16/186.26 c 183s | 9 | 54687 | 8906 | 118146 0 | 100 | 0 190.06/190.17 c 187s | 9 | 56018 | 9106 | 118146 0 | 100 | 0 192.06/192.19 c 189s | 9 | 56514 | 9206 | 118146 0 | 100 | 0 195.56/195.64 c 193s | 9 | 57455 | 9406 | 118146 0 | 100 | 0 197.76/197.81 c 195s | 9 | 58245 | 9506 | 118146 0 | 100 | 0 200.86/200.94 c 198s | 9 | 58887 | 9706 | 118146 0 | 100 | 0 204.36/204.42 c 201s | 9 | 59772 | 9906 | 118146 0 | 100 | 0 208.46/208.52 c 205s | 9 | 61023 | 10106 | 118146 0 | 100 | 0 211.86/211.94 c 209s | 9 | 61996 | 10306 | 118146 0 | 100 | 0 214.57/214.67 c 212s | 9 | 62640 | 10506 | 118146 0 | 100 | 0 218.46/218.55 c 215s | 9 | 63657 | 10706 | 118146 0 | 100 | 0 220.66/220.76 c 218s | 9 | 64193 | 10806 | 118146 0 | 100 | 0 223.37/223.48 c 220s | 9 | 65022 | 10906 | 118146 0 | 100 | 0 226.16/226.23 c 223s | 9 | 65672 | 11106 | 118146 0 | 100 | 0 229.87/229.91 c 227s | 9 | 66426 | 11306 | 129961 0 | 100 | 0 230.66/230.71 c 228s | 10 | 66606 | 11361 | 129961 0 | 100 | 0 232.96/233.03 c 230s | 10 | 66930 | 11461 | 129961 0 | 100 | 0 236.46/236.51 c 233s | 10 | 68009 | 11661 | 129961 0 | 100 | 0 239.66/239.74 c 237s | 10 | 68759 | 11861 | 129961 0 | 100 | 0 243.56/243.60 c 240s | 10 | 69500 | 12061 | 129961 0 | 100 | 0 246.56/246.69 c 244s | 10 | 70193 | 12261 | 129961 0 | 100 | 0 249.76/249.89 c 247s | 10 | 70962 | 12461 | 129961 0 | 100 | 0 253.45/253.54 c 250s | 10 | 71414 | 12661 | 129961 0 | 100 | 0 257.36/257.42 c 254s | 10 | 72163 | 12861 | 129961 0 | 100 | 0 259.66/259.78 c 257s | 10 | 72704 | 12961 | 129961 0 | 100 | 0 264.55/264.67 c 262s | 10 | 73816 | 13161 | 129961 0 | 100 | 0 268.15/268.29 c 265s | 10 | 74267 | 13261 | 129961 0 | 100 | 0 270.85/270.95 c 268s | 10 | 74573 | 13361 | 129961 0 | 100 | 0 273.55/273.65 c 271s | 10 | 74878 | 13461 | 129961 0 | 100 | 0 275.95/276.07 c 273s | 10 | 75209 | 13561 | 129961 0 | 100 | 0 279.05/279.15 c 276s | 10 | 76130 | 13761 | 129961 0 | 100 | 0 282.95/283.03 c 280s | 10 | 76932 | 13961 | 129961 0 | 100 | 0 285.96/286.09 c 283s | 10 | 77655 | 14161 | 129961 0 | 100 | 0 289.05/289.13 c 286s | 10 | 78604 | 14361 | 129961 0 | 100 | 0 293.15/293.26 c 290s | 10 | 79603 | 14561 | 129961 0 | 100 | 0 296.45/296.52 c 293s | 10 | 80415 | 14761 | 129961 0 | 100 | 0 299.65/299.70 c 297s | 10 | 81093 | 14961 | 129961 0 | 100 | 0 302.85/302.95 c 300s | 10 | 81576 | 15161 | 129961 0 | 100 | 0 306.55/306.64 c 304s | 10 | 82141 | 15361 | 129961 0 | 100 | 0 308.65/308.79 c 306s | 10 | 83411 | 15761 | 129961 0 | 100 | 0 310.85/310.97 c 308s | 10 | 86709 | 16361 | 129961 0 | 100 | 0 313.15/313.24 c 310s | 10 | 89282 | 16961 | 129961 0 | 100 | 0 313.75/313.86 c 311s | 11 | 89812 | 17144 | 142958 0 | 100 | 0 316.24/316.35 c 313s | 11 | 90263 | 17244 | 142958 0 | 100 | 0 320.05/320.19 c 317s | 11 | 90864 | 17344 | 142958 0 | 100 | 0 322.54/322.65 c 320s | 11 | 93161 | 17444 | 142958 0 | 100 | 0 324.74/324.80 c 322s | 11 | 93543 | 17544 | 142958 0 | 100 | 0 326.84/326.91 c 324s | 11 | 94363 | 17744 | 142958 0 | 100 | 0 329.54/329.64 c 327s | 11 | 95701 | 18244 | 142958 0 | 100 | 0 332.04/332.16 c 329s | 11 | 96601 | 18644 | 142958 0 | 100 | 0 334.35/334.48 c 331s | 11 | 98293 | 18944 | 142958 0 | 100 | 0 337.65/337.78 c 335s | 11 | 98956 | 19144 | 142958 0 | 100 | 0 340.64/340.76 c 338s | 11 | 100071 | 19344 | 142958 0 | 100 | 0 345.24/345.36 c 342s | 11 | 101268 | 19544 | 142958 0 | 100 | 0 347.65/347.76 c 345s | 11 | 102001 | 19644 | 142958 0 | 100 | 0 350.24/350.37 c 347s | 11 | 102932 | 19744 | 142958 0 | 100 | 0 352.94/353.08 c 350s | 11 | 103341 | 19844 | 142958 0 | 100 | 0 355.14/355.21 c 352s | 11 | 103958 | 19944 | 142958 0 | 100 | 0 358.54/358.70 c 356s | 11 | 105272 | 20144 | 142958 0 | 100 | 0 362.24/362.33 c 359s | 11 | 106550 | 20344 | 142958 0 | 100 | 0 365.24/365.38 c 362s | 11 | 107612 | 20544 | 142958 0 | 100 | 0 367.54/367.68 c 365s | 11 | 109493 | 21144 | 142958 0 | 100 | 0 369.94/370.09 c 367s | 11 | 111478 | 21844 | 142958 0 | 100 | 0 372.14/372.28 c 369s | 11 | 113106 | 22444 | 142958 0 | 100 | 0 374.34/374.41 c 371s | 11 | 115250 | 23044 | 142958 0 | 100 | 0 376.33/376.44 c 373s | 11 | 116969 | 23644 | 142958 0 | 100 | 0 378.53/378.69 c 376s | 11 | 119581 | 24244 | 142958 0 | 100 | 0 380.64/380.75 c 378s | 11 | 121009 | 24744 | 142958 0 | 100 | 0 382.74/382.85 c 380s | 11 | 122671 | 25244 | 142958 0 | 100 | 0 384.94/385.07 c 382s | 11 | 124780 | 25744 | 157254 0 | 100 | 0 385.33/385.44 c 382s | 12 | 124975 | 25819 | 157254 0 | 100 | 0 387.33/387.48 c 384s | 12 | 126325 | 26219 | 157254 0 | 100 | 0 389.34/389.50 c 386s | 12 | 128621 | 26719 | 157254 0 | 100 | 0 391.43/391.51 c 388s | 12 | 129769 | 27119 | 157254 0 | 100 | 0 393.74/393.88 c 391s | 12 | 132069 | 27619 | 157254 0 | 100 | 0 395.83/395.95 c 393s | 12 | 133650 | 28119 | 157254 0 | 100 | 0 398.14/398.26 c 395s | 12 | 135449 | 28619 | 157254 0 | 100 | 0 400.23/400.36 c 397s | 12 | 136843 | 29119 | 157254 0 | 100 | 0 402.54/402.69 c 400s | 12 | 138336 | 29619 | 157254 0 | 100 | 0 404.93/405.03 c 402s | 12 | 139475 | 30119 | 157254 0 | 100 | 0 407.23/407.33 c 404s | 12 | 140979 | 30519 | 157254 0 | 100 | 0 409.53/409.61 c 406s | 12 | 142451 | 31019 | 157254 0 | 100 | 0 411.63/411.77 c 409s | 12 | 143621 | 31419 | 157254 0 | 100 | 0 413.93/414.07 c 411s | 12 | 145914 | 31919 | 157254 0 | 100 | 0 416.13/416.27 c 413s | 12 | 148071 | 32519 | 157254 0 | 100 | 0 418.73/418.81 c 416s | 12 | 149855 | 33019 | 157254 0 | 100 | 0 421.33/421.40 c 418s | 12 | 151885 | 33519 | 157254 0 | 100 | 0 423.53/423.65 c 421s | 12 | 153703 | 34119 | 157254 0 | 100 | 0 425.93/426.03 c 423s | 12 | 155334 | 34719 | 157254 0 | 100 | 0 428.13/428.22 c 425s | 12 | 156695 | 35219 | 157254 0 | 100 | 0 430.63/430.73 c 428s | 12 | 157948 | 35719 | 157254 0 | 100 | 0 432.73/432.86 c 430s | 12 | 158958 | 36119 | 157254 0 | 100 | 0 435.02/435.16 c 432s | 12 | 160795 | 36619 | 157254 0 | 100 | 0 437.42/437.57 c 434s | 12 | 162473 | 37119 | 157254 0 | 100 | 0 439.52/439.63 c 437s | 12 | 163760 | 37519 | 157254 0 | 100 | 0 441.72/441.84 c 439s | 12 | 165867 | 38119 | 157254 0 | 100 | 0 444.02/444.17 c 441s | 12 | 167199 | 38619 | 172980 0 | 100 | 0 445.32/445.40 c 442s | 13 | 167858 | 38832 | 172980 0 | 100 | 0 447.63/447.73 c 445s | 13 | 169223 | 39332 | 172980 0 | 100 | 0 449.62/449.78 c 447s | 13 | 171336 | 39932 | 172980 0 | 100 | 0 451.92/452.05 c 449s | 13 | 173355 | 40632 | 172980 0 | 100 | 0 454.12/454.20 c 451s | 13 | 175095 | 41432 | 172980 0 | 100 | 0 456.43/456.59 c 453s | 13 | 176423 | 42132 | 172980 0 | 100 | 0 458.82/458.93 c 456s | 13 | 177510 | 42632 | 172980 0 | 100 | 0 461.22/461.37 c 458s | 13 | 178272 | 43032 | 172980 0 | 100 | 0 463.52/463.61 c 460s | 13 | 179700 | 43532 | 172980 0 | 100 | 0 465.82/465.96 c 463s | 13 | 181104 | 44032 | 172980 0 | 100 | 0 467.92/468.03 c 465s | 13 | 182527 | 44632 | 172980 0 | 100 | 0 470.02/470.12 c 467s | 13 | 183727 | 45132 | 172980 0 | 100 | 0 472.12/472.22 c 469s | 13 | 185081 | 45632 | 172980 0 | 100 | 0 474.12/474.25 c 471s | 13 | 186412 | 46032 | 172980 0 | 100 | 0 476.32/476.46 c 473s | 13 | 188271 | 46532 | 172980 0 | 100 | 0 478.32/478.48 c 475s | 13 | 189146 | 46932 | 172980 0 | 100 | 0 480.42/480.50 c 477s | 13 | 190552 | 47532 | 172980 0 | 100 | 0 482.42/482.50 c 479s | 13 | 191780 | 48032 | 172980 0 | 100 | 0 484.62/484.75 c 482s | 13 | 193765 | 48532 | 172980 0 | 100 | 0 486.92/487.05 c 484s | 13 | 195112 | 49032 | 172980 0 | 100 | 0 489.02/489.14 c 486s | 13 | 196572 | 49532 | 172980 0 | 100 | 0 491.22/491.35 c 488s | 13 | 197964 | 50032 | 172980 0 | 100 | 0 493.32/493.48 c 490s | 13 | 199078 | 50432 | 172980 0 | 100 | 0 495.41/495.59 c 492s | 13 | 200305 | 50832 | 172980 0 | 100 | 0 497.91/498.07 c 495s | 13 | 201485 | 51332 | 172980 0 | 100 | 0 500.21/500.37 c 497s | 13 | 202402 | 51832 | 172980 0 | 100 | 0 502.51/502.62 c 499s | 13 | 203248 | 52332 | 172980 0 | 100 | 0 504.71/504.80 c 502s | 13 | 204499 | 52832 | 172980 0 | 100 | 0 507.12/507.21 c 504s | 13 | 206182 | 53332 | 172980 0 | 100 | 0 509.22/509.38 c 506s | 13 | 207608 | 53832 | 172980 0 | 100 | 0 511.42/511.50 c 508s | 13 | 208763 | 54332 | 172980 0 | 100 | 0 513.51/513.65 c 511s | 13 | 210494 | 54932 | 172980 0 | 100 | 0 515.92/516.06 c 513s | 13 | 211554 | 55432 | 172980 0 | 100 | 0 518.21/518.36 c 515s | 13 | 212913 | 55932 | 172980 0 | 100 | 0 520.71/520.84 c 518s | 13 | 214480 | 56532 | 172980 0 | 100 | 0 522.81/522.99 c 520s | 13 | 215804 | 57032 | 172980 0 | 100 | 0 525.01/525.11 c 522s | 13 | 216688 | 57432 | 172980 0 | 100 | 0 527.11/527.29 c 524s | 13 | 217559 | 57932 | 172980 0 | 100 | 0 528.81/528.91 c 526s | 14 | 218567 | 58352 | 190279 0 | 100 | 0 530.91/531.01 c 528s | 14 | 219369 | 58652 | 190279 0 | 100 | 0 532.91/533.02 c 530s | 14 | 220748 | 59052 | 190279 0 | 100 | 0 535.51/535.61 c 532s | 14 | 222270 | 59552 | 190279 0 | 100 | 0 538.01/538.14 c 535s | 14 | 223895 | 60052 | 190279 0 | 100 | 0 540.11/540.28 c 537s | 14 | 225185 | 60452 | 190279 0 | 100 | 0 542.51/542.62 c 540s | 14 | 226252 | 60952 | 190279 0 | 100 | 0 544.91/545.06 c 542s | 14 | 227210 | 61352 | 190279 0 | 100 | 0 547.10/547.21 c 544s | 14 | 228291 | 61752 | 190279 0 | 100 | 0 549.60/549.76 c 547s | 14 | 229503 | 62252 | 190279 0 | 100 | 0 552.11/552.24 c 549s | 14 | 230426 | 62752 | 190279 0 | 100 | 0 554.50/554.66 c 552s | 14 | 231234 | 63152 | 190279 0 | 100 | 0 557.10/557.27 c 554s | 14 | 232308 | 63552 | 190279 0 | 100 | 0 559.50/559.68 c 557s | 14 | 233805 | 64052 | 190279 0 | 100 | 0 562.01/562.14 c 559s | 14 | 235282 | 64452 | 190279 0 | 100 | 0 564.40/564.50 c 561s | 14 | 236355 | 64852 | 190279 0 | 100 | 0 566.51/566.63 c 564s | 14 | 237451 | 65252 | 190279 0 | 100 | 0 568.80/568.95 c 566s | 14 | 238458 | 65652 | 190279 0 | 100 | 0 571.10/571.26 c 568s | 14 | 239285 | 66052 | 190279 0 | 100 | 0 573.20/573.30 c 570s | 14 | 239952 | 66352 | 190279 0 | 100 | 0 575.70/575.83 c 573s | 14 | 240694 | 66752 | 190279 0 | 100 | 0 578.40/578.52 c 575s | 14 | 241385 | 67152 | 190279 0 | 100 | 0 581.00/581.16 c 578s | 14 | 242042 | 67552 | 190279 0 | 100 | 0 583.01/583.17 c 580s | 14 | 243124 | 67952 | 190279 0 | 100 | 0 585.30/585.46 c 582s | 14 | 244124 | 68352 | 190279 0 | 100 | 0 587.70/587.81 c 585s | 14 | 245055 | 68852 | 190279 0 | 100 | 0 589.70/589.87 c 587s | 14 | 245720 | 69252 | 190279 0 | 100 | 0 592.30/592.40 c 589s | 14 | 246535 | 69752 | 190279 0 | 100 | 0 594.50/594.65 c 592s | 14 | 247770 | 70252 | 190279 0 | 100 | 0 596.90/597.05 c 594s | 14 | 248771 | 70652 | 190279 0 | 100 | 0 599.29/599.41 c 596s | 14 | 249749 | 71052 | 190279 0 | 100 | 0 601.49/601.68 c 599s | 14 | 250605 | 71452 | 190279 0 | 100 | 0 603.99/604.19 c 601s | 14 | 251606 | 71852 | 190279 0 | 100 | 0 606.49/606.68 c 604s | 14 | 252415 | 72252 | 190279 0 | 100 | 0 608.89/609.08 c 606s | 14 | 252896 | 72552 | 190279 0 | 100 | 0 611.29/611.42 c 608s | 14 | 253987 | 72952 | 190279 0 | 100 | 0 613.59/613.71 c 611s | 14 | 255325 | 73452 | 190279 0 | 100 | 0 615.79/615.99 c 613s | 14 | 256284 | 73952 | 190279 0 | 100 | 0 618.10/618.23 c 615s | 14 | 257371 | 74452 | 190279 0 | 100 | 0 620.09/620.27 c 617s | 14 | 258130 | 74852 | 190279 0 | 100 | 0 622.60/622.78 c 620s | 14 | 259614 | 75352 | 190279 0 | 100 | 0 625.19/625.31 c 622s | 14 | 260423 | 75752 | 190279 0 | 100 | 0 627.39/627.59 c 624s | 14 | 261700 | 76152 | 190279 0 | 100 | 0 629.39/629.59 c 626s | 14 | 262755 | 76552 | 190279 0 | 100 | 0 631.89/632.00 c 629s | 14 | 263612 | 76952 | 190279 0 | 100 | 0 634.49/634.61 c 631s | 14 | 264745 | 77452 | 190279 0 | 100 | 0 636.80/636.98 c 634s | 14 | 265700 | 77752 | 190279 0 | 100 | 0 639.59/639.70 c 637s | 14 | 266197 | 78052 | 190279 0 | 100 | 0 641.79/641.96 c 639s | 14 | 267126 | 78452 | 190279 0 | 100 | 0 644.19/644.35 c 641s | 14 | 267569 | 78752 | 190279 0 | 100 | 0 646.49/646.68 c 644s | 14 | 268294 | 79152 | 190279 0 | 100 | 0 648.99/649.19 c 646s | 14 | 269058 | 79552 | 190279 0 | 100 | 0 651.39/651.51 c 648s | 14 | 269838 | 79952 | 190279 0 | 100 | 0 653.49/653.64 c 651s | 14 | 270631 | 80252 | 190279 0 | 100 | 0 655.99/656.13 c 653s | 14 | 271434 | 80652 | 190279 0 | 100 | 0 658.39/658.53 c 655s | 14 | 272258 | 81052 | 190279 0 | 100 | 0 660.69/660.88 c 658s | 14 | 272888 | 81452 | 190279 0 | 100 | 0 663.19/663.34 c 660s | 14 | 273866 | 81952 | 190279 0 | 100 | 0 665.28/665.43 c 662s | 14 | 274544 | 82252 | 190279 0 | 100 | 0 667.48/667.62 c 664s | 14 | 275304 | 82552 | 190279 0 | 100 | 0 669.58/669.77 c 667s | 14 | 275884 | 82852 | 190279 0 | 100 | 0 672.28/672.41 c 669s | 14 | 276725 | 83252 | 190279 0 | 100 | 0 674.38/674.59 c 671s | 14 | 277286 | 83552 | 190279 0 | 100 | 0 676.78/676.92 c 674s | 14 | 278013 | 83852 | 190279 0 | 100 | 0 679.08/679.25 c 676s | 14 | 278542 | 84152 | 190279 0 | 100 | 0 681.58/681.74 c 679s | 14 | 279000 | 84452 | 190279 0 | 100 | 0 683.58/683.74 c 681s | 14 | 279541 | 84752 | 190279 0 | 100 | 0 685.58/685.76 c 683s | 14 | 280019 | 85052 | 190279 0 | 100 | 0 687.78/687.96 c 685s | 14 | 280700 | 85452 | 190279 0 | 100 | 0 689.98/690.12 c 687s | 14 | 281278 | 85752 | 190279 0 | 100 | 0 691.98/692.18 c 689s | 14 | 281844 | 86052 | 190279 0 | 100 | 0 694.28/694.49 c 691s | 14 | 282601 | 86452 | 190279 0 | 100 | 0 696.98/697.14 c 694s | 14 | 283448 | 86852 | 190279 0 | 100 | 0 699.28/699.49 c 696s | 14 | 284102 | 87252 | 209307 0 | 100 | 0 701.48/701.60 c 698s | 14 | 284760 | 87552 | 209307 0 | 100 | 0 701.79/701.95 c 699s | 15 | 284948 | 87632 | 209307 0 | 100 | 0 704.08/704.25 c 701s | 15 | 285855 | 88032 | 209307 0 | 100 | 0 706.38/706.50 c 703s | 15 | 287487 | 88532 | 209307 0 | 100 | 0 708.68/708.86 c 706s | 15 | 288665 | 88932 | 209307 0 | 100 | 0 710.78/710.99 c 708s | 15 | 289835 | 89332 | 209307 0 | 100 | 0 713.28/713.41 c 710s | 15 | 291608 | 90032 | 209307 0 | 100 | 0 715.38/715.55 c 712s | 15 | 292727 | 90432 | 209307 0 | 100 | 0 717.48/717.60 c 714s | 15 | 293922 | 90932 | 209307 0 | 100 | 0 720.08/720.23 c 717s | 15 | 295255 | 91432 | 209307 0 | 100 | 0 722.28/722.41 c 719s | 15 | 296222 | 91932 | 209307 0 | 100 | 0 724.28/724.45 c 721s | 15 | 297137 | 92332 | 209307 0 | 100 | 0 726.78/726.97 c 724s | 15 | 298019 | 92832 | 209307 0 | 100 | 0 728.98/729.16 c 726s | 15 | 298986 | 93132 | 209307 0 | 100 | 0 731.49/731.61 c 728s | 15 | 300196 | 93532 | 209307 0 | 100 | 0 733.88/734.07 c 731s | 15 | 301002 | 93832 | 209307 0 | 100 | 0 736.08/736.20 c 733s | 15 | 301750 | 94132 | 209307 0 | 100 | 0 738.09/738.26 c 735s | 15 | 302364 | 94432 | 209307 0 | 100 | 0 740.48/740.66 c 738s | 15 | 303578 | 94832 | 209307 0 | 100 | 0 742.68/742.83 c 740s | 15 | 304623 | 95232 | 209307 0 | 100 | 0 744.69/744.86 c 742s | 15 | 305558 | 95632 | 209307 0 | 100 | 0 746.98/747.18 c 744s | 15 | 306397 | 96032 | 209307 0 | 100 | 0 749.38/749.58 c 746s | 15 | 307564 | 96432 | 209307 0 | 100 | 0 751.58/751.76 c 749s | 15 | 308586 | 96832 | 209307 0 | 100 | 0 754.28/754.47 c 751s | 15 | 310253 | 97432 | 209307 0 | 100 | 0 756.48/756.63 c 754s | 15 | 311122 | 97732 | 209307 0 | 100 | 0 758.78/758.90 c 756s | 15 | 312082 | 98132 | 209307 0 | 100 | 0 761.28/761.49 c 758s | 15 | 312997 | 98532 | 209307 0 | 100 | 0 763.98/764.16 c 761s | 15 | 314074 | 98832 | 209307 0 | 100 | 0 766.38/766.58 c 763s | 15 | 314708 | 99132 | 209307 0 | 100 | 0 768.68/768.88 c 766s | 15 | 315316 | 99432 | 209307 0 | 100 | 0 770.98/771.11 c 768s | 15 | 315922 | 99732 | 209307 0 | 100 | 0 773.37/773.56 c 770s | 15 | 316888 | 100032 | 209307 0 | 100 | 0 775.57/775.73 c 773s | 15 | 317570 | 100332 | 209307 0 | 100 | 0 777.68/777.88 c 775s | 15 | 318261 | 100632 | 209307 0 | 100 | 0 779.78/779.97 c 777s | 15 | 318889 | 100932 | 209307 0 | 100 | 0 782.08/782.21 c 779s | 15 | 319553 | 101232 | 209307 0 | 100 | 0 784.37/784.56 c 781s | 15 | 320413 | 101632 | 209307 0 | 100 | 0 786.67/786.82 c 784s | 15 | 321188 | 101932 | 209307 0 | 100 | 0 789.27/789.49 c 786s | 15 | 322025 | 102332 | 209307 0 | 100 | 0 791.87/792.03 c 789s | 15 | 322673 | 102632 | 209307 0 | 100 | 0 794.27/794.42 c 791s | 15 | 323911 | 103032 | 209307 0 | 100 | 0 796.67/796.88 c 794s | 15 | 324646 | 103432 | 209307 0 | 100 | 0 798.87/799.08 c 796s | 15 | 325707 | 103832 | 209307 0 | 100 | 0 801.56/801.73 c 799s | 15 | 326748 | 104232 | 209307 0 | 100 | 0 804.36/804.52 c 801s | 15 | 327656 | 104632 | 209307 0 | 100 | 0 806.56/806.76 c 804s | 15 | 328264 | 104932 | 209307 0 | 100 | 0 809.06/809.21 c 806s | 15 | 328948 | 105332 | 209307 0 | 100 | 0 811.26/811.42 c 808s | 15 | 329523 | 105632 | 209307 0 | 100 | 0 813.56/813.75 c 811s | 15 | 330303 | 105932 | 209307 0 | 100 | 0 815.96/816.19 c 813s | 15 | 330982 | 106232 | 209307 0 | 100 | 0 818.27/818.41 c 815s | 15 | 331465 | 106532 | 209307 0 | 100 | 0 820.76/820.93 c 818s | 15 | 332069 | 106932 | 209307 0 | 100 | 0 822.95/823.14 c 820s | 15 | 332802 | 107232 | 209307 0 | 100 | 0 825.15/825.32 c 822s | 15 | 333262 | 107532 | 209307 0 | 100 | 0 827.55/827.77 c 825s | 15 | 333707 | 107832 | 209307 0 | 100 | 0 829.95/830.16 c 827s | 15 | 334167 | 108132 | 209307 0 | 100 | 0 832.25/832.45 c 829s | 15 | 334596 | 108432 | 209307 0 | 100 | 0 834.76/834.98 c 832s | 15 | 335113 | 108732 | 209307 0 | 100 | 0 836.96/837.15 c 834s | 15 | 335654 | 109032 | 209307 0 | 100 | 0 839.26/839.40 c 836s | 15 | 336499 | 109332 | 209307 0 | 100 | 0 841.75/841.90 c 839s | 15 | 337187 | 109632 | 209307 0 | 100 | 0 844.05/844.24 c 841s | 15 | 337757 | 109932 | 209307 0 | 100 | 0 846.45/846.65 c 844s | 15 | 338536 | 110332 | 209307 0 | 100 | 0 848.55/848.79 c 846s | 15 | 339776 | 110832 | 209307 0 | 100 | 0 850.95/851.14 c 848s | 15 | 340925 | 111332 | 209307 0 | 100 | 0 853.15/853.32 c 850s | 15 | 342035 | 111732 | 209307 0 | 100 | 0 855.55/855.79 c 853s | 15 | 342969 | 112132 | 209307 0 | 100 | 0 857.75/857.90 c 855s | 15 | 343824 | 112532 | 209307 0 | 100 | 0 860.15/860.32 c 857s | 15 | 345085 | 112932 | 209307 0 | 100 | 0 862.54/862.76 c 860s | 15 | 346183 | 113432 | 209307 0 | 100 | 0 864.84/865.04 c 862s | 15 | 347144 | 113832 | 209307 0 | 100 | 0 867.44/867.67 c 865s | 15 | 347984 | 114232 | 209307 0 | 100 | 0 869.54/869.77 c 867s | 15 | 348646 | 114632 | 209307 0 | 100 | 0 872.34/872.51 c 869s | 15 | 349453 | 115032 | 209307 0 | 100 | 0 874.64/874.80 c 872s | 15 | 350064 | 115432 | 209307 0 | 100 | 0 877.14/877.35 c 874s | 15 | 350987 | 115832 | 209307 0 | 100 | 0 879.54/879.80 c 877s | 15 | 351835 | 116132 | 209307 0 | 100 | 0 882.04/882.21 c 879s | 15 | 352921 | 116432 | 209307 0 | 100 | 0 884.24/884.50 c 881s | 15 | 353414 | 116732 | 209307 0 | 100 | 0 886.54/886.78 c 884s | 15 | 354089 | 117032 | 209307 0 | 100 | 0 888.93/889.16 c 886s | 15 | 355298 | 117432 | 209307 0 | 100 | 0 891.13/891.32 c 888s | 15 | 356105 | 117732 | 209307 0 | 100 | 0 893.53/893.74 c 891s | 15 | 356810 | 118032 | 209307 0 | 100 | 0 895.93/896.11 c 893s | 15 | 357633 | 118332 | 209307 0 | 100 | 0 898.33/898.57 c 895s | 15 | 358511 | 118632 | 209307 0 | 100 | 0 900.43/900.63 c 898s | 15 | 358989 | 118932 | 209307 0 | 100 | 0 903.13/903.36 c 900s | 15 | 359859 | 119332 | 209307 0 | 100 | 0 905.93/906.10 c 903s | 15 | 360865 | 119732 | 209307 0 | 100 | 0 908.44/908.66 c 906s | 15 | 361833 | 120032 | 209307 0 | 100 | 0 910.63/910.87 c 908s | 15 | 362596 | 120432 | 209307 0 | 100 | 0 913.03/913.23 c 910s | 15 | 363436 | 120832 | 209307 0 | 100 | 0 915.63/915.83 c 913s | 15 | 364160 | 121232 | 209307 0 | 100 | 0 917.93/918.10 c 915s | 15 | 365038 | 121532 | 209307 0 | 100 | 0 920.13/920.37 c 917s | 15 | 365693 | 121832 | 209307 0 | 100 | 0 922.62/922.90 c 920s | 15 | 366390 | 122232 | 209307 0 | 100 | 0 925.22/925.48 c 922s | 15 | 367141 | 122632 | 209307 0 | 100 | 0 927.52/927.76 c 925s | 15 | 367751 | 122932 | 209307 0 | 100 | 0 930.02/930.29 c 927s | 15 | 368296 | 123232 | 209307 0 | 100 | 0 932.22/932.42 c 929s | 15 | 368803 | 123532 | 209307 0 | 100 | 0 934.62/934.82 c 932s | 15 | 369343 | 123832 | 209307 0 | 100 | 0 936.82/937.07 c 934s | 15 | 369845 | 124132 | 209307 0 | 100 | 0 939.92/940.17 c 937s | 15 | 370564 | 124532 | 209307 0 | 100 | 0 942.42/942.61 c 939s | 15 | 371186 | 124832 | 209307 0 | 100 | 0 944.72/944.94 c 942s | 15 | 371911 | 125232 | 209307 0 | 100 | 0 947.32/947.54 c 944s | 15 | 372541 | 125632 | 209307 0 | 100 | 0 949.52/949.72 c 947s | 15 | 373139 | 126032 | 209307 0 | 100 | 0 951.92/952.18 c 949s | 15 | 373782 | 126332 | 209307 0 | 100 | 0 954.51/954.78 c 952s | 15 | 374314 | 126632 | 209307 0 | 100 | 0 957.01/957.23 c 954s | 15 | 374982 | 127032 | 209307 0 | 100 | 0 959.61/959.81 c 957s | 15 | 376361 | 127532 | 209307 0 | 100 | 0 961.61/961.83 c 959s | 15 | 377387 | 127932 | 209307 0 | 100 | 0 963.91/964.18 c 961s | 15 | 378214 | 128332 | 209307 0 | 100 | 0 966.51/966.72 c 964s | 15 | 379221 | 128832 | 209307 0 | 100 | 0 968.92/969.12 c 966s | 15 | 380138 | 129332 | 209307 0 | 100 | 0 970.91/971.16 c 968s | 15 | 380787 | 129732 | 209307 0 | 100 | 0 972.91/973.17 c 970s | 15 | 381418 | 130132 | 209307 0 | 100 | 0 975.51/975.71 c 973s | 15 | 382568 | 130632 | 209307 0 | 100 | 0 977.61/977.86 c 975s | 15 | 383282 | 131032 | 230238 0 | 100 | 0 980.01/980.22 c 977s | 15 | 383967 | 131432 | 230238 0 | 100 | 0 980.80/981.03 c 978s | 16 | 384171 | 131552 | 230238 0 | 100 | 0 983.21/983.49 c 980s | 16 | 385084 | 131952 | 230238 0 | 100 | 0 985.41/985.67 c 983s | 16 | 386393 | 132552 | 230238 0 | 100 | 0 987.61/987.85 c 985s | 16 | 387492 | 133052 | 230238 0 | 100 | 0 989.81/990.03 c 987s | 16 | 388407 | 133652 | 230238 0 | 100 | 0 992.01/992.27 c 989s | 16 | 389322 | 134152 | 230238 0 | 100 | 0 994.80/995.01 c 992s | 16 | 390240 | 134552 | 230238 0 | 100 | 0 997.51/997.71 c 995s | 16 | 391389 | 134852 | 230238 0 | 100 | 0 1000.00/1000.24 c 997s | 16 | 392301 | 135152 | 230238 0 | 100 | 0 1002.50/1002.72 c 1000s | 16 | 393008 | 135552 | 230238 0 | 100 | 0 1004.60/1004.84 c 1002s | 16 | 393705 | 135852 | 230238 0 | 100 | 0 1007.20/1007.49 c 1004s | 16 | 394508 | 136152 | 230238 0 | 100 | 0 1009.40/1009.62 c 1006s | 16 | 394994 | 136452 | 230238 0 | 100 | 0 1011.70/1012.00 c 1009s | 16 | 395899 | 136752 | 230238 0 | 100 | 0 1014.29/1014.57 c 1011s | 16 | 396774 | 137152 | 230238 0 | 100 | 0 1016.69/1016.91 c 1014s | 16 | 397631 | 137552 | 230238 0 | 100 | 0 1019.09/1019.34 c 1016s | 16 | 398421 | 137952 | 230238 0 | 100 | 0 1021.49/1021.76 c 1019s | 16 | 399271 | 138252 | 230238 0 | 100 | 0 1024.09/1024.34 c 1021s | 16 | 399854 | 138552 | 230238 0 | 100 | 0 1026.29/1026.51 c 1023s | 16 | 400423 | 138852 | 230238 0 | 100 | 0 1028.99/1029.28 c 1026s | 16 | 401122 | 139152 | 230238 0 | 100 | 0 1031.09/1031.38 c 1028s | 16 | 401941 | 139452 | 230238 0 | 100 | 0 1033.69/1033.92 c 1031s | 16 | 402734 | 139752 | 230238 0 | 100 | 0 1036.19/1036.50 c 1033s | 16 | 403297 | 140152 | 230238 0 | 100 | 0 1038.59/1038.84 c 1036s | 16 | 403821 | 140552 | 230238 0 | 100 | 0 1040.98/1041.21 c 1038s | 16 | 404344 | 140852 | 230238 0 | 100 | 0 1043.08/1043.35 c 1040s | 16 | 405149 | 141152 | 230238 0 | 100 | 0 1045.28/1045.53 c 1042s | 16 | 406105 | 141452 | 230238 0 | 100 | 0 1047.28/1047.54 c 1044s | 16 | 406835 | 141752 | 230238 0 | 100 | 0 1049.68/1049.90 c 1047s | 16 | 408084 | 142252 | 230238 0 | 100 | 0 1051.88/1052.14 c 1049s | 16 | 409082 | 142752 | 230238 0 | 100 | 0 1054.18/1054.41 c 1051s | 16 | 409934 | 143252 | 230238 0 | 100 | 0 1056.28/1056.57 c 1053s | 16 | 411131 | 143952 | 230238 0 | 100 | 0 1058.58/1058.88 c 1056s | 16 | 412172 | 144552 | 230238 0 | 100 | 0 1061.17/1061.44 c 1058s | 16 | 412893 | 145052 | 230238 0 | 100 | 0 1063.17/1063.45 c 1060s | 16 | 413492 | 145452 | 230238 0 | 100 | 0 1065.68/1065.99 c 1063s | 16 | 414237 | 145952 | 230238 0 | 100 | 0 1067.98/1068.24 c 1065s | 16 | 415166 | 146452 | 230238 0 | 100 | 0 1070.18/1070.49 c 1067s | 16 | 416118 | 146852 | 230238 0 | 100 | 0 1073.07/1073.37 c 1070s | 16 | 416732 | 147152 | 230238 0 | 100 | 0 1075.27/1075.50 c 1072s | 16 | 417970 | 147652 | 230238 0 | 100 | 0 1077.57/1077.86 c 1075s | 16 | 418894 | 148052 | 230238 0 | 100 | 0 1079.76/1080.08 c 1077s | 16 | 419849 | 148452 | 230238 0 | 100 | 0 1082.17/1082.47 c 1079s | 16 | 420887 | 148852 | 230238 0 | 100 | 0 1084.26/1084.57 c 1081s | 16 | 421408 | 149152 | 230238 0 | 100 | 0 1086.36/1086.63 c 1084s | 16 | 422025 | 149452 | 230238 0 | 100 | 0 1088.77/1089.02 c 1086s | 16 | 422641 | 149752 | 230238 0 | 100 | 0 1091.46/1091.76 c 1089s | 16 | 423305 | 150052 | 230238 0 | 100 | 0 1093.66/1093.97 c 1091s | 16 | 423778 | 150352 | 230238 0 | 100 | 0 1095.86/1096.17 c 1093s | 16 | 424299 | 150652 | 230238 0 | 100 | 0 1098.67/1099.00 c 1096s | 16 | 424914 | 150952 | 230238 0 | 100 | 0 1100.86/1101.17 c 1098s | 16 | 425626 | 151352 | 230238 0 | 100 | 0 1103.26/1103.59 c 1100s | 16 | 426389 | 151652 | 230238 0 | 100 | 0 1105.46/1105.77 c 1103s | 16 | 427062 | 152052 | 230238 0 | 100 | 0 1108.45/1108.71 c 1106s | 16 | 427749 | 152352 | 230238 0 | 100 | 0 1110.86/1111.11 c 1108s | 16 | 428880 | 152752 | 230238 0 | 100 | 0 1112.96/1113.30 c 1110s | 16 | 429867 | 153152 | 230238 0 | 100 | 0 1115.55/1115.87 c 1113s | 16 | 430587 | 153452 | 230238 0 | 100 | 0 1117.75/1118.08 c 1115s | 16 | 431151 | 153752 | 230238 0 | 100 | 0 1119.84/1120.12 c 1117s | 16 | 431756 | 154052 | 230238 0 | 100 | 0 1121.85/1122.12 c 1119s | 16 | 432451 | 154452 | 230238 0 | 100 | 0 1124.74/1125.03 c 1122s | 16 | 433086 | 154752 | 230238 0 | 100 | 0 1127.04/1127.30 c 1124s | 16 | 433633 | 155052 | 230238 0 | 100 | 0 1129.14/1129.42 c 1126s | 16 | 434443 | 155452 | 230238 0 | 100 | 0 1131.65/1131.99 c 1129s | 16 | 435239 | 155752 | 230238 0 | 100 | 0 1134.14/1134.43 c 1131s | 16 | 435906 | 156152 | 230238 0 | 100 | 0 1136.64/1136.92 c 1134s | 16 | 436600 | 156452 | 230238 0 | 100 | 0 1139.13/1139.44 c 1136s | 16 | 437113 | 156752 | 230238 0 | 100 | 0 1141.54/1141.85 c 1139s | 16 | 437795 | 157052 | 230238 0 | 100 | 0 1144.03/1144.36 c 1141s | 16 | 438571 | 157352 | 230238 0 | 100 | 0 1146.73/1147.00 c 1144s | 16 | 439591 | 157852 | 230238 0 | 100 | 0 1149.52/1149.86 c 1147s | 16 | 440197 | 158152 | 230238 0 | 100 | 0 1151.62/1151.96 c 1149s | 16 | 440472 | 158352 | 230238 0 | 100 | 0 1154.12/1154.46 c 1151s | 16 | 441098 | 158652 | 230238 0 | 100 | 0 1156.82/1157.11 c 1154s | 16 | 441622 | 158852 | 230238 0 | 100 | 0 1158.92/1159.27 c 1156s | 16 | 442374 | 159052 | 230238 0 | 100 | 0 1161.72/1162.05 c 1159s | 16 | 443092 | 159352 | 230238 0 | 100 | 0 1163.82/1164.18 c 1161s | 16 | 443717 | 159652 | 230238 0 | 100 | 0 1166.42/1166.72 c 1164s | 16 | 444319 | 160052 | 230238 0 | 100 | 0 1168.42/1168.73 c 1166s | 16 | 444673 | 160252 | 230238 0 | 100 | 0 1170.52/1170.80 c 1168s | 16 | 445142 | 160552 | 230238 0 | 100 | 0 1173.21/1173.50 c 1170s | 16 | 445827 | 160952 | 230238 0 | 100 | 0 1175.91/1176.29 c 1173s | 16 | 446563 | 161252 | 230238 0 | 100 | 0 1178.61/1178.99 c 1176s | 16 | 447301 | 161652 | 230238 0 | 100 | 0 1181.22/1181.54 c 1178s | 16 | 448116 | 162052 | 230238 0 | 100 | 0 1183.51/1183.86 c 1181s | 16 | 448619 | 162352 | 230238 0 | 100 | 0 1186.31/1186.67 c 1184s | 16 | 449241 | 162752 | 230238 0 | 100 | 0 1188.41/1188.79 c 1186s | 16 | 449706 | 163052 | 230238 0 | 100 | 0 1191.01/1191.37 c 1188s | 16 | 450150 | 163352 | 230238 0 | 100 | 0 1193.40/1193.72 c 1191s | 16 | 451010 | 163752 | 230238 0 | 100 | 0 1195.51/1195.82 c 1193s | 16 | 451694 | 164152 | 230238 0 | 100 | 0 1198.00/1198.32 c 1195s | 16 | 452807 | 164452 | 230238 0 | 100 | 0 1200.10/1200.40 c 1197s | 16 | 453204 | 164652 | 230238 0 | 100 | 0 1203.00/1203.40 c 1200s | 16 | 453800 | 164952 | 230238 0 | 100 | 0 1205.80/1206.11 c 1203s | 16 | 454476 | 165252 | 230238 0 | 100 | 0 1208.61/1208.96 c 1206s | 16 | 455085 | 165552 | 230238 0 | 100 | 0 1211.19/1211.57 c 1208s | 16 | 455879 | 165852 | 230238 0 | 100 | 0 1213.49/1213.89 c 1211s | 16 | 456581 | 166152 | 230238 0 | 100 | 0 1216.49/1216.82 c 1214s | 16 | 457171 | 166452 | 230238 0 | 100 | 0 1218.99/1219.30 c 1216s | 16 | 458036 | 166852 | 230238 0 | 100 | 0 1221.29/1221.61 c 1218s | 16 | 458888 | 167252 | 230238 0 | 100 | 0 1223.49/1223.80 c 1221s | 16 | 459843 | 167652 | 230238 0 | 100 | 0 1225.79/1226.13 c 1223s | 16 | 460552 | 167952 | 230238 0 | 100 | 0 1228.40/1228.73 c 1226s | 16 | 462093 | 168452 | 230238 0 | 100 | 0 1230.38/1230.79 c 1228s | 16 | 463178 | 168852 | 230238 0 | 100 | 0 1232.48/1232.89 c 1230s | 16 | 463761 | 169152 | 230238 0 | 100 | 0 1235.18/1235.54 c 1232s | 16 | 464638 | 169552 | 230238 0 | 100 | 0 1237.48/1237.84 c 1235s | 16 | 465616 | 169952 | 230238 0 | 100 | 0 1239.58/1239.97 c 1237s | 16 | 466178 | 170252 | 230238 0 | 100 | 0 1241.69/1242.09 c 1239s | 16 | 466721 | 170552 | 230238 0 | 100 | 0 1244.28/1244.63 c 1242s | 16 | 467476 | 170952 | 230238 0 | 100 | 0 1246.48/1246.81 c 1244s | 16 | 468459 | 171352 | 230238 0 | 100 | 0 1248.88/1249.27 c 1246s | 16 | 469253 | 171652 | 230238 0 | 100 | 0 1250.97/1251.34 c 1248s | 16 | 469947 | 171852 | 230238 0 | 100 | 0 1254.07/1254.40 c 1251s | 16 | 470536 | 172152 | 230238 0 | 100 | 0 1256.37/1256.76 c 1254s | 16 | 471292 | 172452 | 230238 0 | 100 | 0 1258.77/1259.12 c 1256s | 16 | 471814 | 172652 | 230238 0 | 100 | 0 1260.76/1261.19 c 1258s | 16 | 472181 | 172852 | 230238 0 | 100 | 0 1263.67/1264.08 c 1261s | 16 | 472873 | 173152 | 230238 0 | 100 | 0 1265.96/1266.35 c 1263s | 16 | 473624 | 173452 | 230238 0 | 100 | 0 1268.36/1268.75 c 1266s | 16 | 474367 | 173852 | 230238 0 | 100 | 0 1270.96/1271.39 c 1268s | 16 | 475249 | 174352 | 230238 0 | 100 | 0 1273.47/1273.87 c 1271s | 16 | 476180 | 174752 | 230238 0 | 100 | 0 1275.77/1276.11 c 1273s | 16 | 476717 | 175052 | 230238 0 | 100 | 0 1277.96/1278.39 c 1275s | 16 | 477571 | 175452 | 230238 0 | 100 | 0 1280.75/1281.14 c 1278s | 16 | 478349 | 175852 | 230238 0 | 100 | 0 1283.55/1283.99 c 1281s | 16 | 479026 | 176152 | 230238 0 | 100 | 0 1285.85/1286.20 c 1283s | 16 | 479467 | 176452 | 230238 0 | 100 | 0 1288.35/1288.76 c 1286s | 16 | 480137 | 176752 | 230238 0 | 100 | 0 1290.55/1290.95 c 1288s | 16 | 480639 | 177052 | 230238 0 | 100 | 0 1292.75/1293.17 c 1290s | 16 | 481203 | 177352 | 230238 0 | 100 | 0 1295.25/1295.66 c 1293s | 16 | 482006 | 177752 | 230238 0 | 100 | 0 1297.35/1297.76 c 1295s | 16 | 482531 | 178052 | 230238 0 | 100 | 0 1300.24/1300.61 c 1297s | 16 | 483429 | 178452 | 230238 0 | 100 | 0 1302.64/1303.00 c 1300s | 16 | 483858 | 178752 | 230238 0 | 100 | 0 1304.84/1305.27 c 1302s | 16 | 484481 | 179052 | 230238 0 | 100 | 0 1307.34/1307.75 c 1305s | 16 | 484988 | 179352 | 230238 0 | 100 | 0 1309.44/1309.81 c 1307s | 16 | 485623 | 179552 | 230238 0 | 100 | 0 1311.74/1312.19 c 1309s | 16 | 486389 | 179852 | 230238 0 | 100 | 0 1313.94/1314.37 c 1311s | 16 | 486917 | 180252 | 230238 0 | 100 | 0 1315.94/1316.37 c 1313s | 16 | 487351 | 180552 | 230238 0 | 100 | 0 1318.74/1319.11 c 1316s | 16 | 487927 | 180952 | 230238 0 | 100 | 0 1320.84/1321.25 c 1318s | 16 | 488374 | 181252 | 230238 0 | 100 | 0 1323.34/1323.73 c 1321s | 16 | 488934 | 181652 | 230238 0 | 100 | 0 1325.74/1326.15 c 1323s | 16 | 489708 | 181952 | 230238 0 | 100 | 0 1327.94/1328.37 c 1325s | 16 | 490487 | 182252 | 230238 0 | 100 | 0 1331.33/1331.78 c 1329s | 16 | 491488 | 182552 | 230238 0 | 100 | 0 1333.43/1333.83 c 1331s | 16 | 491878 | 182752 | 230238 0 | 100 | 0 1335.73/1336.19 c 1333s | 16 | 492316 | 182952 | 230238 0 | 100 | 0 1338.93/1339.31 c 1336s | 16 | 492933 | 183252 | 230238 0 | 100 | 0 1341.43/1341.81 c 1339s | 16 | 493333 | 183452 | 230238 0 | 100 | 0 1343.63/1344.00 c 1341s | 16 | 493734 | 183652 | 230238 0 | 100 | 0 1345.83/1346.24 c 1343s | 16 | 494050 | 183852 | 230238 0 | 100 | 0 1348.13/1348.54 c 1345s | 16 | 494335 | 184052 | 230238 0 | 100 | 0 1350.53/1350.99 c 1348s | 16 | 494884 | 184252 | 230238 0 | 100 | 0 1352.83/1353.26 c 1350s | 16 | 495192 | 184452 | 230238 0 | 100 | 0 1354.83/1355.27 c 1352s | 16 | 495551 | 184652 | 230238 0 | 100 | 0 1357.03/1357.43 c 1354s | 16 | 495959 | 184852 | 230238 0 | 100 | 0 1359.23/1359.68 c 1357s | 16 | 496467 | 185052 | 230238 0 | 100 | 0 1361.32/1361.71 c 1359s | 16 | 496880 | 185252 | 230238 0 | 100 | 0 1364.12/1364.58 c 1361s | 16 | 497371 | 185552 | 230238 0 | 100 | 0 1366.52/1366.94 c 1364s | 16 | 498085 | 185752 | 230238 0 | 100 | 0 1368.62/1369.00 c 1366s | 16 | 498518 | 185952 | 230238 0 | 100 | 0 1371.02/1371.41 c 1368s | 16 | 499074 | 186252 | 230238 0 | 100 | 0 1373.12/1373.54 c 1370s | 16 | 499744 | 186652 | 230238 0 | 100 | 0 1375.41/1375.81 c 1373s | 16 | 500334 | 187052 | 230238 0 | 100 | 0 1377.61/1378.06 c 1375s | 16 | 500987 | 187452 | 230238 0 | 100 | 0 1379.81/1380.25 c 1377s | 16 | 501690 | 187852 | 230238 0 | 100 | 0 1382.21/1382.70 c 1380s | 16 | 502308 | 188252 | 230238 0 | 100 | 0 1384.62/1385.08 c 1382s | 16 | 503018 | 188652 | 230238 0 | 100 | 0 1387.02/1387.40 c 1384s | 16 | 503537 | 188952 | 230238 0 | 100 | 0 1389.32/1389.75 c 1387s | 16 | 504310 | 189252 | 230238 0 | 100 | 0 1391.42/1391.87 c 1389s | 16 | 504875 | 189552 | 230238 0 | 100 | 0 1393.72/1394.13 c 1391s | 16 | 505512 | 189852 | 230238 0 | 100 | 0 1396.12/1396.51 c 1393s | 16 | 506320 | 190252 | 230238 0 | 100 | 0 1398.62/1399.05 c 1396s | 16 | 506904 | 190452 | 230238 0 | 100 | 0 1401.12/1401.57 c 1398s | 16 | 507271 | 190652 | 230238 0 | 100 | 0 1403.61/1404.01 c 1401s | 16 | 507526 | 190852 | 230238 0 | 100 | 0 1406.01/1406.42 c 1403s | 16 | 507892 | 191152 | 230238 0 | 100 | 0 1408.61/1409.02 c 1406s | 16 | 508307 | 191452 | 230238 0 | 100 | 0 1411.40/1411.87 c 1409s | 16 | 508748 | 191752 | 230238 0 | 100 | 0 1413.80/1414.26 c 1411s | 16 | 509264 | 192052 | 230238 0 | 100 | 0 1415.80/1416.28 c 1413s | 16 | 509786 | 192352 | 230238 0 | 100 | 0 1418.50/1418.94 c 1416s | 16 | 510559 | 192752 | 230238 0 | 100 | 0 1420.50/1420.96 c 1418s | 16 | 511330 | 193052 | 230238 0 | 100 | 0 1423.10/1423.55 c 1420s | 16 | 512232 | 193352 | 230238 0 | 100 | 0 1425.49/1425.98 c 1423s | 16 | 512922 | 193652 | 230238 0 | 100 | 0 1427.89/1428.32 c 1425s | 16 | 513715 | 193952 | 230238 0 | 100 | 0 1429.99/1430.42 c 1427s | 16 | 514454 | 194252 | 230238 0 | 100 | 0 1432.09/1432.53 c 1429s | 16 | 515163 | 194552 | 230238 0 | 100 | 0 1434.69/1435.15 c 1432s | 16 | 515828 | 194852 | 230238 0 | 100 | 0 1436.99/1437.45 c 1434s | 16 | 516348 | 195152 | 230238 0 | 100 | 0 1439.19/1439.64 c 1437s | 16 | 517407 | 195552 | 230238 0 | 100 | 0 1441.80/1442.22 c 1439s | 16 | 518041 | 195852 | 230238 0 | 100 | 0 1444.09/1444.51 c 1441s | 16 | 518499 | 196152 | 253262 0 | 100 | 0 1446.29/1446.77 c 1444s | 16 | 519103 | 196352 | 253262 0 | 100 | 0 1448.39/1448.83 c 1446s | 16 | 519427 | 196552 | 253262 0 | 100 | 0 1450.49/1450.99 c 1448s | 16 | 520085 | 196952 | 253262 0 | 100 | 0 1452.69/1453.11 c 1450s | 16 | 520660 | 197252 | 253262 0 | 100 | 0 1454.19/1454.69 c 1452s | 17 | 520941 | 197432 | 253262 0 | 100 | 0 1456.49/1456.99 c 1454s | 17 | 521486 | 197632 | 253262 0 | 100 | 0 1459.19/1459.64 c 1457s | 17 | 522045 | 197932 | 253262 0 | 100 | 0 1461.49/1462.00 c 1459s | 17 | 522565 | 198232 | 253262 0 | 100 | 0 1464.69/1465.12 c 1462s | 17 | 523229 | 198532 | 253262 0 | 100 | 0 1467.19/1467.64 c 1465s | 17 | 524007 | 198932 | 253262 0 | 100 | 0 1469.38/1469.86 c 1467s | 17 | 524534 | 199232 | 253262 0 | 100 | 0 1471.98/1472.44 c 1469s | 17 | 525028 | 199532 | 253262 0 | 100 | 0 1474.28/1474.74 c 1472s | 17 | 525534 | 199832 | 253262 0 | 100 | 0 1476.38/1476.88 c 1474s | 17 | 526006 | 200132 | 253262 0 | 100 | 0 1478.68/1479.19 c 1476s | 17 | 526536 | 200432 | 253262 0 | 100 | 0 1481.58/1482.04 c 1479s | 17 | 527191 | 200732 | 253262 0 | 100 | 0 1484.08/1484.59 c 1481s | 17 | 527719 | 201032 | 253262 0 | 100 | 0 1486.18/1486.67 c 1484s | 17 | 528131 | 201332 | 253262 0 | 100 | 0 1488.78/1489.23 c 1486s | 17 | 528519 | 201632 | 253262 0 | 100 | 0 1490.78/1491.28 c 1488s | 17 | 528821 | 201832 | 253262 0 | 100 | 0 1493.58/1494.02 c 1491s | 17 | 529192 | 202132 | 253262 0 | 100 | 0 1496.28/1496.79 c 1494s | 17 | 529845 | 202432 | 253262 0 | 100 | 0 1499.08/1499.56 c 1496s | 17 | 530302 | 202732 | 253262 0 | 100 | 0 1501.58/1502.03 c 1499s | 17 | 530746 | 203032 | 253262 0 | 100 | 0 1503.88/1504.31 c 1501s | 17 | 531385 | 203332 | 253262 0 | 100 | 0 1506.58/1507.04 c 1504s | 17 | 532032 | 203632 | 253262 0 | 100 | 0 1509.08/1509.58 c 1506s | 17 | 532941 | 203932 | 253262 0 | 100 | 0 1511.68/1512.12 c 1509s | 17 | 533745 | 204232 | 253262 0 | 100 | 0 1514.18/1514.61 c 1511s | 17 | 534540 | 204532 | 253262 0 | 100 | 0 1516.97/1517.43 c 1514s | 17 | 535390 | 204832 | 253262 0 | 100 | 0 1518.97/1519.44 c 1516s | 17 | 535684 | 205032 | 253262 0 | 100 | 0 1521.27/1521.77 c 1519s | 17 | 536006 | 205232 | 253262 0 | 100 | 0 1524.07/1524.52 c 1521s | 17 | 536956 | 205532 | 253262 0 | 100 | 0 1526.27/1526.78 c 1524s | 17 | 537856 | 205732 | 253262 0 | 100 | 0 1529.17/1529.68 c 1527s | 17 | 538678 | 206032 | 253262 0 | 100 | 0 1531.47/1531.90 c 1529s | 17 | 539079 | 206232 | 253262 0 | 100 | 0 1533.57/1534.03 c 1531s | 17 | 539599 | 206432 | 253262 0 | 100 | 0 1536.07/1536.55 c 1533s | 17 | 540291 | 206732 | 253262 0 | 100 | 0 1538.17/1538.65 c 1536s | 17 | 540789 | 206932 | 253262 0 | 100 | 0 1540.47/1540.98 c 1538s | 17 | 541338 | 207132 | 253262 0 | 100 | 0 1543.37/1543.89 c 1541s | 17 | 542109 | 207432 | 253262 0 | 100 | 0 1545.97/1546.41 c 1543s | 17 | 542769 | 207732 | 253262 0 | 100 | 0 1548.07/1548.53 c 1545s | 17 | 543146 | 207932 | 253262 0 | 100 | 0 1550.17/1550.69 c 1548s | 17 | 543576 | 208132 | 253262 0 | 100 | 0 1553.07/1553.56 c 1550s | 17 | 544286 | 208432 | 253262 0 | 100 | 0 1556.27/1556.71 c 1554s | 17 | 544868 | 208732 | 253262 0 | 100 | 0 1558.47/1558.90 c 1556s | 17 | 545299 | 208932 | 253262 0 | 100 | 0 1560.87/1561.35 c 1558s | 17 | 545566 | 209132 | 253262 0 | 100 | 0 1563.57/1564.03 c 1561s | 17 | 546239 | 209432 | 253262 0 | 100 | 0 1565.97/1566.47 c 1563s | 17 | 547495 | 209832 | 253262 0 | 100 | 0 1568.37/1568.87 c 1566s | 17 | 548228 | 210032 | 253262 0 | 100 | 0 1570.97/1571.43 c 1568s | 17 | 548603 | 210232 | 253262 0 | 100 | 0 1573.36/1573.82 c 1571s | 17 | 549495 | 210432 | 253262 0 | 100 | 0 1576.16/1576.65 c 1574s | 17 | 550230 | 210732 | 253262 0 | 100 | 0 1578.86/1579.33 c 1576s | 17 | 551050 | 211032 | 253262 0 | 100 | 0 1581.16/1581.60 c 1578s | 17 | 551520 | 211232 | 253262 0 | 100 | 0 1583.16/1583.69 c 1581s | 17 | 551947 | 211432 | 253262 0 | 100 | 0 1585.36/1585.85 c 1583s | 17 | 552505 | 211632 | 253262 0 | 100 | 0 1588.36/1588.82 c 1586s | 17 | 553148 | 211932 | 253262 0 | 100 | 0 1590.56/1591.08 c 1588s | 17 | 553736 | 212132 | 253262 0 | 100 | 0 1592.86/1593.37 c 1590s | 17 | 554134 | 212332 | 253262 0 | 100 | 0 1595.26/1595.78 c 1593s | 17 | 554596 | 212532 | 253262 0 | 100 | 0 1597.66/1598.15 c 1595s | 17 | 554919 | 212732 | 253262 0 | 100 | 0 1599.76/1600.20 c 1597s | 17 | 555319 | 212932 | 253262 0 | 100 | 0 1601.96/1602.41 c 1599s | 17 | 555814 | 213132 | 253262 0 | 100 | 0 1604.36/1604.85 c 1602s | 17 | 556873 | 213432 | 253262 0 | 100 | 0 1607.46/1607.93 c 1605s | 17 | 557550 | 213732 | 253262 0 | 100 | 0 1609.76/1610.20 c 1607s | 17 | 558194 | 213932 | 253262 0 | 100 | 0 1611.76/1612.23 c 1609s | 17 | 558758 | 214132 | 253262 0 | 100 | 0 1614.96/1615.45 c 1612s | 17 | 559503 | 214432 | 253262 0 | 100 | 0 1617.26/1617.79 c 1615s | 17 | 560002 | 214632 | 253262 0 | 100 | 0 1619.36/1619.87 c 1617s | 17 | 560512 | 214832 | 253262 0 | 100 | 0 1622.96/1623.42 c 1620s | 17 | 561189 | 215132 | 253262 0 | 100 | 0 1625.36/1625.84 c 1623s | 17 | 561706 | 215332 | 253262 0 | 100 | 0 1627.46/1628.00 c 1625s | 17 | 562033 | 215532 | 253262 0 | 100 | 0 1630.65/1631.17 c 1628s | 17 | 562610 | 215832 | 253262 0 | 100 | 0 1633.45/1633.97 c 1631s | 17 | 562963 | 216032 | 253262 0 | 100 | 0 1635.75/1636.27 c 1633s | 17 | 563566 | 216232 | 253262 0 | 100 | 0 1638.45/1638.94 c 1636s | 17 | 564278 | 216532 | 253262 0 | 100 | 0 1640.55/1641.00 c 1638s | 17 | 564723 | 216732 | 253262 0 | 100 | 0 1642.55/1643.05 c 1640s | 17 | 565089 | 216932 | 253262 0 | 100 | 0 1645.45/1645.93 c 1643s | 17 | 565800 | 217232 | 253262 0 | 100 | 0 1648.46/1648.97 c 1646s | 17 | 566510 | 217532 | 253262 0 | 100 | 0 1650.76/1651.24 c 1648s | 17 | 566816 | 217732 | 253262 0 | 100 | 0 1653.85/1654.31 c 1651s | 17 | 567277 | 218032 | 253262 0 | 100 | 0 1656.26/1656.77 c 1654s | 17 | 567532 | 218232 | 253262 0 | 100 | 0 1659.15/1659.63 c 1656s | 17 | 567962 | 218532 | 253262 0 | 100 | 0 1661.25/1661.73 c 1659s | 17 | 568326 | 218732 | 253262 0 | 100 | 0 1663.35/1663.84 c 1661s | 17 | 568705 | 218932 | 253262 0 | 100 | 0 1665.85/1666.32 c 1663s | 17 | 569258 | 219232 | 253262 0 | 100 | 0 1668.26/1668.79 c 1666s | 17 | 569632 | 219432 | 253262 0 | 100 | 0 1670.65/1671.14 c 1668s | 17 | 570405 | 219632 | 253262 0 | 100 | 0 1672.85/1673.33 c 1670s | 17 | 570766 | 219832 | 253262 0 | 100 | 0 1675.55/1676.02 c 1673s | 17 | 571037 | 220032 | 253262 0 | 100 | 0 1677.85/1678.33 c 1675s | 17 | 571460 | 220232 | 253262 0 | 100 | 0 1680.05/1680.55 c 1677s | 17 | 571789 | 220432 | 253262 0 | 100 | 0 1682.25/1682.70 c 1680s | 17 | 572368 | 220732 | 253262 0 | 100 | 0 1685.35/1685.87 c 1683s | 17 | 573079 | 221032 | 253262 0 | 100 | 0 1687.95/1688.41 c 1685s | 17 | 573570 | 221232 | 253262 0 | 100 | 0 1690.05/1690.51 c 1687s | 17 | 573921 | 221432 | 253262 0 | 100 | 0 1692.34/1692.87 c 1690s | 17 | 574300 | 221632 | 253262 0 | 100 | 0 1695.14/1695.66 c 1693s | 17 | 574793 | 221832 | 253262 0 | 100 | 0 1697.34/1697.86 c 1695s | 17 | 575265 | 222032 | 253262 0 | 100 | 0 1699.84/1700.37 c 1697s | 17 | 575687 | 222232 | 253262 0 | 100 | 0 1702.35/1702.84 c 1700s | 17 | 576108 | 222432 | 253262 0 | 100 | 0 1704.84/1705.33 c 1702s | 17 | 576465 | 222632 | 253262 0 | 100 | 0 1707.14/1707.69 c 1705s | 17 | 576807 | 222832 | 253262 0 | 100 | 0 1709.44/1710.00 c 1707s | 17 | 577123 | 223032 | 253262 0 | 100 | 0 1711.64/1712.19 c 1709s | 17 | 577491 | 223232 | 253262 0 | 100 | 0 1714.04/1714.58 c 1711s | 17 | 577878 | 223432 | 253262 0 | 100 | 0 1716.24/1716.73 c 1714s | 17 | 578270 | 223632 | 253262 0 | 100 | 0 1718.74/1719.22 c 1716s | 17 | 578744 | 223932 | 253262 0 | 100 | 0 1720.94/1721.46 c 1718s | 17 | 579085 | 224132 | 253262 0 | 100 | 0 1723.14/1723.70 c 1721s | 17 | 579439 | 224332 | 253262 0 | 100 | 0 1726.24/1726.79 c 1724s | 17 | 580018 | 224632 | 253262 0 | 100 | 0 1728.54/1729.06 c 1726s | 17 | 580551 | 224832 | 253262 0 | 100 | 0 1730.74/1731.26 c 1728s | 17 | 580936 | 225032 | 253262 0 | 100 | 0 1733.54/1734.08 c 1731s | 17 | 581557 | 225332 | 253262 0 | 100 | 0 1736.04/1736.59 c 1733s | 17 | 581840 | 225532 | 253262 0 | 100 | 0 1738.24/1738.79 c 1736s | 17 | 582207 | 225732 | 253262 0 | 100 | 0 1741.04/1741.58 c 1738s | 17 | 582617 | 225932 | 253262 0 | 100 | 0 1743.74/1744.28 c 1741s | 17 | 582986 | 226132 | 253262 0 | 100 | 0 1746.54/1747.07 c 1744s | 17 | 583377 | 226332 | 253262 0 | 100 | 0 1748.94/1749.40 c 1746s | 17 | 583708 | 226532 | 253262 0 | 100 | 0 1751.34/1751.88 c 1749s | 17 | 584111 | 226732 | 253262 0 | 100 | 0 1753.44/1753.94 c 1751s | 17 | 584501 | 226932 | 253262 0 | 100 | 0 1756.54/1757.08 c 1754s | 17 | 585381 | 227232 | 253262 0 | 100 | 0 1758.63/1759.14 c 1756s | 17 | 586018 | 227332 | 253262 0 | 100 | 0 1761.63/1762.11 c 1759s | 17 | 586988 | 227632 | 253262 0 | 100 | 0 1764.04/1764.55 c 1761s | 17 | 587651 | 227832 | 253262 0 | 100 | 0 1767.24/1767.71 c 1765s | 17 | 588335 | 228132 | 253262 0 | 100 | 0 1769.44/1769.92 c 1767s | 17 | 588784 | 228332 | 253262 0 | 100 | 0 1771.74/1772.26 c 1769s | 17 | 589246 | 228532 | 253262 0 | 100 | 0 1773.94/1774.48 c 1771s | 17 | 589794 | 228732 | 253262 0 | 100 | 0 1776.04/1776.60 c 1773s | 17 | 590278 | 228932 | 253262 0 | 100 | 0 1778.24/1778.75 c 1776s | 17 | 591235 | 229332 | 253262 0 | 100 | 0 1780.93/1781.40 c 1778s | 17 | 592195 | 229732 | 253262 0 | 100 | 0 1783.03/1783.55 c 1780s | 17 | 593012 | 230132 | 253262 0 | 100 | 0 1785.43/1785.95 c 1783s | 17 | 593861 | 230432 | 253262 0 | 100 | 0 1787.53/1788.08 c 1785s | 17 | 594244 | 230632 | 253262 0 | 100 | 0 1789.83/1790.37 c 1787s | 17 | 595019 | 230832 | 253262 0 | 100 | 0 1792.33/1792.88 c 1790s | 17 | 595668 | 231132 | 253262 0 | 100 | 0 1794.74/1795.27 c 1792s | 17 | 596238 | 231432 | 253262 0 | 100 | 0 1796.93/1797.44 c 1794s | 17 | 596770 | 231632 | 253262 0 | 100 | 0 1799.23/1799.76 c 1797s | 17 | 597568 | 231932 | 253262 0 | 100 | 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-4079378-1465322831/watcher-4079378-1465322831 -o /tmp/evaluation-result-4079378-1465322831/solver-4079378-1465322831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079378-1465322831.opb pid=20830 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.24 2.24 2.19 3/179 20833 /proc/meminfo: memFree=27899772/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=675260 CPUtime=0 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 2511 0 0 0 0 0 0 0 20 0 4 0 114215523 691466240 2873 33554432000 4194304 16246674 140734874420304 140734874419728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 169327 2880 441 2943 0 166221 0 [pid=20833/tid=20834] ppid=20830 vsize=692668 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 709292032 2938 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=696764 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 713486336 2954 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=700860 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114215524 717680640 2973 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.24 2.24 2.19 3/179 20833 /proc/meminfo: memFree=27899772/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1303108 CPUtime=0.09 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 29174 0 0 0 6 3 0 0 20 0 4 0 114215523 1334382592 29474 33554432000 4194304 16246674 140734874420304 140734874419616 7367185 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 325777 29491 799 2943 0 322671 0 [pid=20833/tid=20834] ppid=20830 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1334382592 29501 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1334382592 29513 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1303108 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1334382592 29524 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1303108 [startup+0.200544 s] /proc/loadavg: 2.24 2.24 2.19 3/179 20833 /proc/meminfo: memFree=27899772/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1312324 CPUtime=0.19 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 45073 0 0 0 13 6 0 0 20 0 4 0 114215523 1343819776 45883 33554432000 4194304 16246674 140734874420304 140734874419616 7371553 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 328081 45883 801 2943 0 324975 0 [pid=20833/tid=20834] ppid=20830 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1343819776 45883 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1343819776 45883 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1343819776 45883 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1312324 [startup+0.300521 s] /proc/loadavg: 2.24 2.24 2.19 3/179 20833 /proc/meminfo: memFree=27899772/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 58714 0 0 0 22 7 0 0 20 0 4 0 114215523 1344868352 59524 33554432000 4194304 16246674 140734874420304 140734874419616 13892492 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 328337 59524 801 2943 0 325231 0 [pid=20833/tid=20834] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1344868352 59524 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1344868352 59524 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1344868352 59524 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1313348 [startup+0.700426 s] /proc/loadavg: 2.24 2.24 2.19 3/179 20833 /proc/meminfo: memFree=27899772/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 65699 0 0 0 60 9 0 0 20 0 4 0 114215523 1344868352 66509 33554432000 4194304 16246674 140734874420304 140734874418112 13967814 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 328337 66509 802 2943 0 325231 0 [pid=20833/tid=20834] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1344868352 66509 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1344868352 66509 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1344868352 66509 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1313348 [startup+1.50042 s] /proc/loadavg: 2.24 2.24 2.19 3/183 20837 /proc/meminfo: memFree=27504044/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1318468 CPUtime=1.49 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 171450 0 0 0 125 24 0 0 20 0 4 0 114215523 1350111232 172260 33554432000 4194304 16246674 140734874420304 140734874402176 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 329617 172275 840 2943 0 326511 0 [pid=20833/tid=20834] ppid=20830 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1350111232 172281 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1350111232 172291 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1350111232 172299 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1318468 [startup+3.10038 s] /proc/loadavg: 2.24 2.24 2.19 3/183 20837 /proc/meminfo: memFree=26816332/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=3.08 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272597 0 0 0 269 39 0 0 20 0 4 0 114215523 1359548416 273407 33554432000 4194304 16246674 140734874420304 140734874402176 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273407 891 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273407 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273407 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273407 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1327684 [startup+6.30043 s] /proc/loadavg: 2.30 2.25 2.19 4/183 20837 /proc/meminfo: memFree=26807064/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=6.28 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272602 0 0 0 589 39 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140734874402176 12483532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273412 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1327684 [startup+12.7004 s] /proc/loadavg: 2.27 2.25 2.19 4/183 20837 /proc/meminfo: memFree=26807060/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=12.69 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272602 0 0 0 1229 40 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140734874402176 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273412 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1327684 [startup+25.5005 s] /proc/loadavg: 2.21 2.24 2.19 4/183 20838 /proc/meminfo: memFree=26806212/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=25.49 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272602 0 0 0 2509 40 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140734874402176 6836973 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273412 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387370917040 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) 1327684 [startup+51.1005 s] /proc/loadavg: 2.14 2.22 2.18 3/183 20838 /proc/meminfo: memFree=26806428/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=51.09 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272602 0 0 0 5069 40 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140734874402176 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273412 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1327684 [startup+102.3 s] /proc/loadavg: 2.13 2.20 2.18 4/183 20839 /proc/meminfo: memFree=26806012/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=102.28 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272602 0 0 0 10188 40 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140734874402176 5823631 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273412 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273412 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1327684 ################ # More data... # ################ /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273668 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.18 2.22 2.18 3/183 20967 /proc/meminfo: memFree=28064012/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1361.92 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272902 0 0 0 136151 41 0 0 20 0 4 0 114215523 1359548416 273668 33554432000 4194304 16246674 140734874420304 140734874402176 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273668 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273668 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273668 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273668 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.15 2.20 2.18 4/184 20971 /proc/meminfo: memFree=28064140/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1421.9 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272939 0 0 0 142148 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 20972 /proc/meminfo: memFree=28063848/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1481.88 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 148146 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1327684 [startup+1542.31 s] /proc/loadavg: 2.25 2.21 2.18 3/183 20973 /proc/meminfo: memFree=28063624/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1541.88 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 154146 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.25 2.22 2.18 4/183 20975 /proc/meminfo: memFree=28063776/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1601.86 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 160144 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5822964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1327684 [startup+1662.3 s] /proc/loadavg: 2.38 2.26 2.20 3/182 20976 /proc/meminfo: memFree=28064692/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1661.85 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 166143 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.44 2.30 2.21 3/183 20978 /proc/meminfo: memFree=28061916/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1721.84 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 172142 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.42 2.32 2.22 3/183 20979 /proc/meminfo: memFree=28061580/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1781.83 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 178141 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.36 2.32 2.22 3/183 20979 /proc/meminfo: memFree=28061688/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1800.03 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 179961 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5667488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1327684 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 20833 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.36 2.32 2.22 3/183 20979 /proc/meminfo: memFree=28061688/32872528 swapFree=16636/1570076 [pid=20833] ppid=20830 vsize=1327684 CPUtime=1800.03 cores=1,3,5,7 /proc/20833/stat : 20833 (toysat) R 20830 20833 2168 0 -1 4202496 272945 0 0 0 179961 42 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140734874402176 5667488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20833/statm: 331921 273670 895 2943 0 328815 0 [pid=20833/tid=20834] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20834/stat : 20834 (toysat) S 20830 20833 2168 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114215523 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387460033776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20833/tid=20835] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20835/stat : 20835 (toysat) S 20830 20833 2168 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387381390576 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20833/tid=20836] ppid=20830 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/20833/task/20836/stat : 20836 (toysat) S 20830 20833 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114215524 1359548416 273670 33554432000 4194304 16246674 140734874420304 140387370917040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.62 CPU system time (s): 0.427934 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.62 system time used= 0.427934 maximum resident set size= 1094680 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272945 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= 364 involuntary context switches= 1882 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6043 second user time and 6.91095 second system time The end
Begin job on node140 at 2016-06-07 20:07:12 IDJOB=4079378 IDBENCH=92662 IDSOLVER=2542 FILE ID=node140/4079378-1465322831 RUNJOBID= node140-1465312758-19944 PBS_JOBID= 19850417 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_4_mh_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079378-1465322831/watcher-4079378-1465322831 -o /tmp/evaluation-result-4079378-1465322831/solver-4079378-1465322831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19944 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079378-1465322831.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 28aef98ecae5ad7c0bc1921f6d6032a5 RANDOM SEED=600180024 node140.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.768 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.53 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.768 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.768 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.768 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.56 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.768 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 : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27900688 kB Buffers: 53840 kB Cached: 253640 kB SwapCached: 1240 kB Active: 2520408 kB Inactive: 128812 kB Active(anon): 2337812 kB Inactive(anon): 6520 kB Active(file): 182596 kB Inactive(file): 122292 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098752 kB Dirty: 20600 kB Writeback: 0 kB AnonPages: 3911224 kB Mapped: 10704 kB Shmem: 0 kB Slab: 614176 kB SReclaimable: 58060 kB SUnreclaim: 556116 kB KernelStack: 1520 kB PageTables: 11760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4057592 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1630208 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node140 at 2016-06-07 20:37:12