| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_5_mh_ic.opb |
| MD5SUM | 60919230beb4b87ee73e0f0d7ecbd414 |
| 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 | 5842145 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| 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 | 125000000 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 14243306439 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 125000000 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 14243306439 |
| 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:56:56+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-4079379-1465325815.opb"] 0.00/0.01 c use --random-gen="3411325090 4205091192 216452211 2509391173 1597779851 1074991328 1571896395 1979052629 1543155916 1308586549 3030277866 2680582196 2126817039 2739229630 3126160212 1191138088 3603882498 3699888248 661960005 3812087701 2310679378 3952287631 3670526846 1646786693 3319770083 2734489448 424665781 4106780217 2887300819 1292558292 129095022 795020966 295302636 2133015512 2296480480 1186544817 1252070734 2231323231 3536427639 1960954541 729033366 1697401026 3391734694 518613032 3188643381 2366457385 505347013 2973879512 216918793 1941487732 4266497389 3609854635 960353522 2188584553 4054959357 106585554 1140231768 619884687 4193397090 3674966171 4146310773 3946718814 855618642 3456100993 3779089395 3652507087 783442477 3144059304 786104220 3001374289 2058582813 1939819249 2443232901 840344361 2788776873 4267936173 833498629 3627884728 1622828669 3678514108 2114172380 3964456113 4101226360 1829383286 3619792612 3486815430 1380711629 1290116633 3003476196 568874923 3036693776 4127363464 2377152071 2252625886 332109179 2787335168 2602791999 3593561472 3135302891 2704716037 1225553552 657982795 1247224196 3557220115 312585370 691367648 1019870365 4094152521 3208178539 3190922633 2540925632 244983487 2265871688 1290723773 449550374 3562221340 724749855 1002407099 3997557853 1372163049 3462293430 3472418387 1957835759 940819090 3296559162 1414086969 4171134015 3824682874 625088320 860677329 1559597123 618875704 2273565229 4214528773 2970836270 2717276809 936147339 1092719440 2459519792 1442147676 644336487 1798689475 1437708657 1400046778 718736811 1002699151 2710735637 2158317130 3590763469 1704667183 1706040635 137182287 617325521 4146869409 1852435567 772301509 3196892759 2270537595 3876405799 2453904382 3521350276 3747544074 2000010660 297268977 3729666180 3912078458 590279665 2785519796 1918484525 3670382371 2628340071 1563293810 3259665743 1698655024 1234585056 22037685 3333623356 624031857 1340893994 1362034850 4112836901 3952106513 43567447 1074406046 3863267227 1368364162 2280965020 316274825 2057218473 1827332612 4119656359 2828093744 1340792791 3446349433 4018909999 3250624933 1514822023 3193938514 1780703560 1074269368 1383986463 1272788984 238722548 2683839111 2965274206 1880638321 3967960413 1065741195 2809811878 346647285 4003935611 1192998366 636320988 341974943 1198803432 3177438516 3227780925 2471075979 1949526645 10536865 2392583596 2868592401 3511796439 250135506 1684276684 3490698581 1987835632 180442370 1574754142 1564819310 1545974516 3031223020 3192601105 3054980550 3479108589 781536459 586721656 845922766 1710668416 3873403290 2171841275 2486128895 2370896543 2697315577 2462754888 3953341677 868694536 1621865639 321990540 3183387135 3340772091 1373315187 3944059662 639343071 1185156666 2484214310 255 362436" option to reproduce the execution 0.68/0.78 c #vars 45775 0.68/0.78 c #constraints 102733 2.59/2.67 c BCD2: Hardening is enabled. 2.59/2.67 c BCD2: BiasedSearch is enabled. 2.59/2.67 c Solving starts ... 2.59/2.67 c ============================[ Search Statistics ]============================ 2.59/2.67 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.59/2.67 c | | | | Limit GC | Var | Constra 2.59/2.67 c ============================================================================= 2.59/2.67 c 0.0s | 0 | 0 | 0 | 50102 0 | 100 | 0 3.69/3.70 c 1.0s | 1 | 558 | 100 | 50102 0 | 100 | 0 4.40/4.50 c 1.8s | 2 | 1790 | 250 | 55113 0 | 100 | 0 6.70/6.79 c 4.1s | 2 | 2554 | 350 | 60625 0 | 100 | 0 8.79/8.88 c 6.2s | 3 | 3627 | 475 | 60625 0 | 100 | 0 10.89/10.99 c 8.3s | 3 | 4230 | 575 | 66688 0 | 100 | 0 15.19/15.25 c 12.6s | 3 | 5350 | 775 | 66688 0 | 100 | 0 15.88/15.96 c 13.3s | 4 | 5567 | 813 | 66688 0 | 100 | 0 18.28/18.32 c 15.7s | 4 | 6340 | 913 | 73357 0 | 100 | 0 20.48/20.52 c 17.8s | 4 | 7022 | 1013 | 73357 0 | 100 | 0 22.58/22.63 c 20.0s | 4 | 7323 | 1113 | 73357 0 | 100 | 0 25.98/26.02 c 23.3s | 4 | 7744 | 1213 | 73357 0 | 100 | 0 28.99/29.06 c 26.4s | 4 | 8544 | 1313 | 73357 0 | 100 | 0 29.09/29.12 c 26.4s | 5 | 8548 | 1320 | 73357 0 | 100 | 0 32.49/32.53 c 29.9s | 5 | 9382 | 1420 | 80693 0 | 100 | 0 35.48/35.56 c 32.9s | 5 | 10368 | 1520 | 80693 0 | 100 | 0 37.58/37.63 c 35.0s | 5 | 11029 | 1620 | 80693 0 | 100 | 0 41.28/41.33 c 38.7s | 5 | 12427 | 1820 | 80693 0 | 100 | 0 44.09/44.12 c 41.5s | 5 | 12897 | 1920 | 80693 0 | 100 | 0 46.29/46.31 c 43.6s | 5 | 13656 | 2020 | 80693 0 | 100 | 0 47.48/47.58 c 44.9s | 6 | 14009 | 2081 | 88763 0 | 100 | 0 49.68/49.76 c 47.1s | 6 | 14723 | 2181 | 88763 0 | 100 | 0 52.08/52.13 c 49.5s | 6 | 15227 | 2281 | 88763 0 | 100 | 0 56.68/56.71 c 54.0s | 6 | 17036 | 2481 | 88763 0 | 100 | 0 58.78/58.87 c 56.2s | 6 | 17931 | 2581 | 88763 0 | 100 | 0 60.87/60.95 c 58.3s | 6 | 18548 | 2681 | 88763 0 | 100 | 0 64.89/65.00 c 62.3s | 6 | 20024 | 2881 | 88763 0 | 100 | 0 68.98/69.06 c 66.4s | 6 | 21300 | 3081 | 88763 0 | 100 | 0 71.18/71.22 c 68.5s | 6 | 22115 | 3181 | 88763 0 | 100 | 0 72.28/72.33 c 69.7s | 7 | 22227 | 3223 | 97640 0 | 100 | 0 75.47/75.59 c 72.9s | 7 | 22748 | 3323 | 97640 0 | 100 | 0 78.27/78.37 c 75.7s | 7 | 23532 | 3423 | 97640 0 | 100 | 0 80.58/80.69 c 78.0s | 7 | 24194 | 3523 | 97640 0 | 100 | 0 84.68/84.72 c 82.0s | 7 | 25465 | 3723 | 97640 0 | 100 | 0 87.07/87.18 c 84.5s | 7 | 26198 | 3823 | 97640 0 | 100 | 0 90.07/90.17 c 87.5s | 7 | 26931 | 3923 | 97640 0 | 100 | 0 92.27/92.36 c 89.7s | 7 | 27665 | 4023 | 97640 0 | 100 | 0 94.47/94.54 c 91.9s | 7 | 28452 | 4123 | 97640 0 | 100 | 0 98.27/98.30 c 95.6s | 7 | 29906 | 4323 | 97640 0 | 100 | 0 100.57/100.66 c 98.0s | 7 | 30533 | 4423 | 97640 0 | 100 | 0 102.67/102.76 c 100s | 7 | 31201 | 4523 | 97640 0 | 100 | 0 106.27/106.36 c 103s | 7 | 32825 | 4723 | 97640 0 | 100 | 0 108.67/108.78 c 106s | 7 | 33367 | 4823 | 97640 0 | 100 | 0 110.97/111.01 c 108s | 8 | 34023 | 4936 | 107405 0 | 100 | 0 115.37/115.40 c 112s | 8 | 34742 | 5136 | 107405 0 | 100 | 0 117.57/117.61 c 114s | 8 | 35165 | 5236 | 107405 0 | 100 | 0 121.67/121.72 c 119s | 8 | 35986 | 5436 | 107405 0 | 100 | 0 123.87/123.95 c 121s | 8 | 36675 | 5536 | 107405 0 | 100 | 0 126.67/126.70 c 124s | 8 | 37227 | 5636 | 107405 0 | 100 | 0 129.88/129.93 c 127s | 8 | 38156 | 5836 | 107405 0 | 100 | 0 132.67/132.76 c 130s | 8 | 38754 | 5936 | 107405 0 | 100 | 0 135.28/135.32 c 132s | 8 | 39418 | 6036 | 107405 0 | 100 | 0 137.97/138.06 c 135s | 8 | 40081 | 6136 | 107405 0 | 100 | 0 140.07/140.16 c 137s | 8 | 40278 | 6236 | 107405 0 | 100 | 0 142.17/142.22 c 139s | 8 | 40761 | 6336 | 107405 0 | 100 | 0 144.37/144.48 c 141s | 8 | 41306 | 6436 | 107405 0 | 100 | 0 146.47/146.59 c 143s | 8 | 41835 | 6536 | 107405 0 | 100 | 0 148.87/148.96 c 146s | 8 | 42650 | 6636 | 107405 0 | 100 | 0 153.26/153.32 c 150s | 8 | 44013 | 6836 | 107405 0 | 100 | 0 156.17/156.25 c 153s | 8 | 44941 | 7036 | 107405 0 | 100 | 0 159.57/159.62 c 156s | 8 | 46497 | 7236 | 107405 0 | 100 | 0 162.87/162.92 c 160s | 8 | 47601 | 7436 | 107405 0 | 100 | 0 164.06/164.13 c 161s | 9 | 48134 | 7506 | 118146 0 | 100 | 0 166.26/166.39 c 163s | 9 | 48955 | 7606 | 118146 0 | 100 | 0 169.26/169.37 c 166s | 9 | 49620 | 7806 | 118146 0 | 100 | 0 173.36/173.43 c 170s | 9 | 50451 | 8006 | 118146 0 | 100 | 0 176.66/176.79 c 174s | 9 | 51178 | 8206 | 118146 0 | 100 | 0 181.16/181.26 c 178s | 9 | 52014 | 8406 | 118146 0 | 100 | 0 186.06/186.11 c 183s | 9 | 53505 | 8606 | 118146 0 | 100 | 0 188.46/188.56 c 185s | 9 | 54334 | 8806 | 118146 0 | 100 | 0 190.86/190.90 c 188s | 9 | 54673 | 8906 | 118146 0 | 100 | 0 194.77/194.82 c 192s | 9 | 56004 | 9106 | 118146 0 | 100 | 0 196.76/196.86 c 194s | 9 | 56499 | 9206 | 118146 0 | 100 | 0 200.26/200.32 c 197s | 9 | 57444 | 9406 | 118146 0 | 100 | 0 202.46/202.51 c 199s | 9 | 58233 | 9506 | 118146 0 | 100 | 0 205.55/205.64 c 202s | 9 | 58876 | 9706 | 118146 0 | 100 | 0 209.07/209.12 c 206s | 9 | 59763 | 9906 | 118146 0 | 100 | 0 213.05/213.14 c 210s | 9 | 61013 | 10106 | 118146 0 | 100 | 0 216.56/216.61 c 213s | 9 | 61984 | 10306 | 118146 0 | 100 | 0 219.25/219.36 c 216s | 9 | 62630 | 10506 | 118146 0 | 100 | 0 223.15/223.29 c 220s | 9 | 63645 | 10706 | 118146 0 | 100 | 0 225.46/225.52 c 222s | 9 | 64181 | 10806 | 118146 0 | 100 | 0 228.16/228.28 c 225s | 9 | 65011 | 10906 | 118146 0 | 100 | 0 230.96/231.03 c 228s | 9 | 65661 | 11106 | 118146 0 | 100 | 0 234.65/234.71 c 232s | 9 | 66416 | 11306 | 129961 0 | 100 | 0 235.46/235.51 c 232s | 10 | 66596 | 11361 | 129961 0 | 100 | 0 237.76/237.84 c 235s | 10 | 66921 | 11461 | 129961 0 | 100 | 0 241.26/241.34 c 238s | 10 | 67996 | 11661 | 129961 0 | 100 | 0 244.45/244.58 c 241s | 10 | 68749 | 11861 | 129961 0 | 100 | 0 248.35/248.43 c 245s | 10 | 69489 | 12061 | 129961 0 | 100 | 0 251.45/251.55 c 248s | 10 | 70181 | 12261 | 129961 0 | 100 | 0 254.65/254.72 c 252s | 10 | 70950 | 12461 | 129961 0 | 100 | 0 258.25/258.31 c 255s | 10 | 71400 | 12661 | 129961 0 | 100 | 0 262.15/262.22 c 259s | 10 | 72152 | 12861 | 129961 0 | 100 | 0 264.45/264.59 c 261s | 10 | 72694 | 12961 | 129961 0 | 100 | 0 269.45/269.51 c 266s | 10 | 73813 | 13161 | 129961 0 | 100 | 0 273.04/273.17 c 270s | 10 | 74265 | 13261 | 129961 0 | 100 | 0 275.75/275.85 c 273s | 10 | 74570 | 13361 | 129961 0 | 100 | 0 278.45/278.56 c 275s | 10 | 74875 | 13461 | 129961 0 | 100 | 0 280.95/281.03 c 278s | 10 | 75208 | 13561 | 129961 0 | 100 | 0 284.04/284.14 c 281s | 10 | 76132 | 13761 | 129961 0 | 100 | 0 287.94/288.06 c 285s | 10 | 76933 | 13961 | 129961 0 | 100 | 0 291.04/291.15 c 288s | 10 | 77654 | 14161 | 129961 0 | 100 | 0 294.14/294.20 c 291s | 10 | 78606 | 14361 | 129961 0 | 100 | 0 298.24/298.36 c 295s | 10 | 79600 | 14561 | 129961 0 | 100 | 0 301.54/301.64 c 298s | 10 | 80411 | 14761 | 129961 0 | 100 | 0 304.75/304.84 c 302s | 10 | 81090 | 14961 | 129961 0 | 100 | 0 308.04/308.12 c 305s | 10 | 81575 | 15161 | 129961 0 | 100 | 0 311.75/311.87 c 309s | 10 | 82141 | 15361 | 129961 0 | 100 | 0 313.94/314.06 c 311s | 10 | 83413 | 15761 | 129961 0 | 100 | 0 315.94/316.07 c 313s | 10 | 86156 | 16261 | 129961 0 | 100 | 0 318.04/318.15 c 315s | 10 | 89370 | 16861 | 129961 0 | 100 | 0 318.95/319.04 c 316s | 11 | 90202 | 17144 | 142958 0 | 100 | 0 322.35/322.44 c 319s | 11 | 92566 | 17344 | 142958 0 | 100 | 0 324.55/324.67 c 322s | 11 | 93129 | 17444 | 142958 0 | 100 | 0 327.64/327.70 c 325s | 11 | 95115 | 17644 | 142958 0 | 100 | 0 330.34/330.46 c 327s | 11 | 95406 | 17744 | 142958 0 | 100 | 0 333.64/333.72 c 331s | 11 | 97944 | 17944 | 142958 0 | 100 | 0 336.04/336.15 c 333s | 11 | 98362 | 18044 | 142958 0 | 100 | 0 338.43/338.58 c 335s | 11 | 99420 | 18244 | 142958 0 | 100 | 0 341.64/341.73 c 339s | 11 | 100629 | 18444 | 142958 0 | 100 | 0 344.73/344.88 c 342s | 11 | 101931 | 18644 | 142958 0 | 100 | 0 347.55/347.67 c 344s | 11 | 103115 | 18844 | 142958 0 | 100 | 0 350.04/350.12 c 347s | 11 | 104109 | 18944 | 142958 0 | 100 | 0 353.43/353.54 c 350s | 11 | 105009 | 19144 | 142958 0 | 100 | 0 356.64/356.75 c 354s | 11 | 107453 | 19344 | 142958 0 | 100 | 0 359.04/359.15 c 356s | 11 | 107997 | 19444 | 142958 0 | 100 | 0 362.74/362.80 c 360s | 11 | 109258 | 19644 | 142958 0 | 100 | 0 366.03/366.16 c 363s | 11 | 110827 | 19844 | 142958 0 | 100 | 0 369.64/369.75 c 367s | 11 | 112003 | 20044 | 142958 0 | 100 | 0 372.23/372.34 c 369s | 11 | 114421 | 20244 | 142958 0 | 100 | 0 375.04/375.13 c 372s | 11 | 115623 | 20444 | 142958 0 | 100 | 0 378.34/378.47 c 375s | 11 | 116676 | 20644 | 142958 0 | 100 | 0 383.03/383.11 c 380s | 11 | 117644 | 20844 | 142958 0 | 100 | 0 385.43/385.52 c 382s | 11 | 119173 | 21044 | 142958 0 | 100 | 0 388.13/388.22 c 385s | 11 | 120298 | 21244 | 142958 0 | 100 | 0 390.54/390.61 c 387s | 11 | 121400 | 21544 | 142958 0 | 100 | 0 392.53/392.64 c 389s | 11 | 122691 | 21944 | 142958 0 | 100 | 0 394.83/394.92 c 392s | 11 | 123677 | 22344 | 142958 0 | 100 | 0 397.14/397.22 c 394s | 11 | 125033 | 22844 | 142958 0 | 100 | 0 399.34/399.43 c 396s | 11 | 125840 | 23244 | 142958 0 | 100 | 0 401.73/401.85 c 399s | 11 | 128734 | 23744 | 142958 0 | 100 | 0 404.03/404.20 c 401s | 11 | 129664 | 24144 | 142958 0 | 100 | 0 406.33/406.44 c 403s | 11 | 132563 | 24744 | 142958 0 | 100 | 0 408.33/408.47 c 405s | 11 | 133596 | 25144 | 142958 0 | 100 | 0 410.52/410.66 c 407s | 11 | 135907 | 25644 | 142958 0 | 100 | 0 411.12/411.21 c 408s | 12 | 136779 | 25819 | 157254 0 | 100 | 0 414.43/414.53 c 411s | 12 | 137499 | 25919 | 157254 0 | 100 | 0 418.53/418.66 c 415s | 12 | 137972 | 26019 | 157254 0 | 100 | 0 420.83/420.93 c 418s | 12 | 138789 | 26119 | 157254 0 | 100 | 0 423.93/424.08 c 421s | 12 | 139111 | 26219 | 157254 0 | 100 | 0 428.42/428.59 c 425s | 12 | 139483 | 26319 | 157254 0 | 100 | 0 434.62/434.73 c 432s | 12 | 140890 | 26519 | 157254 0 | 100 | 0 437.22/437.35 c 434s | 12 | 141619 | 26619 | 157254 0 | 100 | 0 439.82/439.92 c 437s | 12 | 141754 | 26719 | 157254 0 | 100 | 0 443.53/443.61 c 440s | 12 | 142396 | 26819 | 157254 0 | 100 | 0 446.63/446.72 c 444s | 12 | 143615 | 26919 | 157254 0 | 100 | 0 449.62/449.77 c 447s | 12 | 143947 | 27019 | 157254 0 | 100 | 0 452.72/452.81 c 450s | 12 | 144817 | 27119 | 157254 0 | 100 | 0 457.53/457.64 c 454s | 12 | 145889 | 27319 | 157254 0 | 100 | 0 460.83/460.99 c 458s | 12 | 146904 | 27419 | 157254 0 | 100 | 0 464.52/464.65 c 461s | 12 | 147238 | 27519 | 157254 0 | 100 | 0 468.72/468.88 c 466s | 12 | 148141 | 27619 | 157254 0 | 100 | 0 471.83/471.91 c 469s | 12 | 148507 | 27719 | 157254 0 | 100 | 0 474.02/474.15 c 471s | 12 | 149669 | 28119 | 157254 0 | 100 | 0 476.62/476.78 c 474s | 12 | 151035 | 28619 | 157254 0 | 100 | 0 478.72/478.83 c 476s | 12 | 153394 | 29119 | 157254 0 | 100 | 0 480.82/480.90 c 478s | 12 | 154706 | 29519 | 157254 0 | 100 | 0 483.01/483.15 c 480s | 12 | 156402 | 30019 | 157254 0 | 100 | 0 485.42/485.55 c 482s | 12 | 158446 | 30619 | 157254 0 | 100 | 0 487.82/487.95 c 485s | 12 | 160990 | 31219 | 157254 0 | 100 | 0 490.11/490.25 c 487s | 12 | 162579 | 31719 | 157254 0 | 100 | 0 492.52/492.64 c 489s | 12 | 164141 | 32219 | 157254 0 | 100 | 0 494.51/494.68 c 492s | 12 | 165096 | 32619 | 157254 0 | 100 | 0 496.92/497.00 c 494s | 12 | 166389 | 33219 | 157254 0 | 100 | 0 499.32/499.46 c 496s | 12 | 167800 | 33819 | 157254 0 | 100 | 0 501.31/501.47 c 498s | 12 | 169180 | 34319 | 157254 0 | 100 | 0 503.61/503.80 c 501s | 12 | 170432 | 34819 | 157254 0 | 100 | 0 505.92/506.07 c 503s | 12 | 171787 | 35319 | 157254 0 | 100 | 0 508.12/508.26 c 505s | 12 | 173171 | 35819 | 157254 0 | 100 | 0 510.32/510.47 c 507s | 12 | 174553 | 36419 | 157254 0 | 100 | 0 512.72/512.84 c 510s | 12 | 176319 | 37019 | 157254 0 | 100 | 0 514.91/515.00 c 512s | 12 | 177425 | 37519 | 157254 0 | 100 | 0 516.92/517.04 c 514s | 12 | 178681 | 38019 | 157254 0 | 100 | 0 519.41/519.53 c 516s | 12 | 180093 | 38619 | 172980 0 | 100 | 0 520.22/520.35 c 517s | 13 | 180582 | 38832 | 172980 0 | 100 | 0 522.61/522.73 c 520s | 13 | 181524 | 38932 | 172980 0 | 100 | 0 524.91/525.00 c 522s | 13 | 182477 | 39332 | 172980 0 | 100 | 0 527.01/527.17 c 524s | 13 | 184065 | 39832 | 172980 0 | 100 | 0 529.21/529.39 c 526s | 13 | 185907 | 40332 | 172980 0 | 100 | 0 531.32/531.44 c 528s | 13 | 187067 | 40732 | 172980 0 | 100 | 0 533.61/533.70 c 531s | 13 | 188240 | 41132 | 172980 0 | 100 | 0 535.62/535.76 c 533s | 13 | 189436 | 41532 | 172980 0 | 100 | 0 537.81/537.91 c 535s | 13 | 190227 | 41932 | 172980 0 | 100 | 0 540.02/540.16 c 537s | 13 | 191411 | 42432 | 172980 0 | 100 | 0 542.01/542.17 c 539s | 13 | 192985 | 42932 | 172980 0 | 100 | 0 544.20/544.37 c 541s | 13 | 193921 | 43332 | 172980 0 | 100 | 0 546.30/546.44 c 543s | 13 | 195350 | 43832 | 172980 0 | 100 | 0 548.70/548.84 c 546s | 13 | 196599 | 44332 | 172980 0 | 100 | 0 550.91/551.10 c 548s | 13 | 198034 | 44832 | 172980 0 | 100 | 0 553.00/553.16 c 550s | 13 | 199122 | 45232 | 172980 0 | 100 | 0 555.41/555.54 c 552s | 13 | 200218 | 45632 | 172980 0 | 100 | 0 558.00/558.18 c 555s | 13 | 201504 | 46132 | 172980 0 | 100 | 0 560.40/560.54 c 557s | 13 | 202819 | 46632 | 172980 0 | 100 | 0 562.60/562.71 c 560s | 13 | 203489 | 47032 | 172980 0 | 100 | 0 565.00/565.14 c 562s | 13 | 204078 | 47432 | 172980 0 | 100 | 0 567.20/567.37 c 564s | 13 | 205335 | 47832 | 172980 0 | 100 | 0 569.40/569.57 c 566s | 13 | 206652 | 48232 | 172980 0 | 100 | 0 571.80/572.00 c 569s | 13 | 207973 | 48732 | 172980 0 | 100 | 0 573.90/574.05 c 571s | 13 | 209433 | 49132 | 172980 0 | 100 | 0 576.30/576.41 c 573s | 13 | 210750 | 49632 | 172980 0 | 100 | 0 578.50/578.66 c 575s | 13 | 211947 | 50132 | 172980 0 | 100 | 0 580.90/581.05 c 578s | 13 | 213173 | 50632 | 172980 0 | 100 | 0 583.30/583.40 c 580s | 13 | 214570 | 51132 | 172980 0 | 100 | 0 585.50/585.67 c 582s | 13 | 215616 | 51632 | 172980 0 | 100 | 0 587.99/588.12 c 585s | 13 | 216608 | 52132 | 172980 0 | 100 | 0 590.00/590.12 c 587s | 13 | 217415 | 52532 | 172980 0 | 100 | 0 592.09/592.21 c 589s | 13 | 218036 | 52932 | 172980 0 | 100 | 0 594.30/594.42 c 591s | 13 | 219284 | 53432 | 172980 0 | 100 | 0 596.70/596.81 c 594s | 13 | 220597 | 53932 | 172980 0 | 100 | 0 598.89/599.00 c 596s | 13 | 221627 | 54432 | 172980 0 | 100 | 0 601.09/601.25 c 598s | 13 | 222855 | 54932 | 172980 0 | 100 | 0 603.49/603.63 c 600s | 13 | 223873 | 55432 | 172980 0 | 100 | 0 605.49/605.68 c 603s | 13 | 224678 | 55832 | 172980 0 | 100 | 0 607.79/607.93 c 605s | 13 | 225770 | 56232 | 172980 0 | 100 | 0 609.89/610.00 c 607s | 13 | 226967 | 56632 | 172980 0 | 100 | 0 612.19/612.37 c 609s | 13 | 228394 | 57132 | 172980 0 | 100 | 0 614.59/614.72 c 612s | 13 | 229621 | 57632 | 172980 0 | 100 | 0 617.00/617.12 c 614s | 13 | 230946 | 58232 | 190279 0 | 100 | 0 617.49/617.60 c 614s | 14 | 231233 | 58352 | 190279 0 | 100 | 0 619.89/620.04 c 617s | 14 | 232228 | 58652 | 190279 0 | 100 | 0 622.19/622.34 c 619s | 14 | 233767 | 59052 | 190279 0 | 100 | 0 624.28/624.47 c 621s | 14 | 234871 | 59452 | 190279 0 | 100 | 0 626.38/626.53 c 623s | 14 | 236148 | 59852 | 190279 0 | 100 | 0 628.38/628.56 c 625s | 14 | 237948 | 60252 | 190279 0 | 100 | 0 630.49/630.69 c 628s | 14 | 239301 | 60652 | 190279 0 | 100 | 0 632.58/632.75 c 630s | 14 | 240797 | 60952 | 190279 0 | 100 | 0 634.59/634.79 c 632s | 14 | 242852 | 61352 | 190279 0 | 100 | 0 636.89/637.09 c 634s | 14 | 243852 | 61752 | 190279 0 | 100 | 0 639.68/639.80 c 637s | 14 | 245250 | 62152 | 190279 0 | 100 | 0 641.78/641.91 c 639s | 14 | 247044 | 62552 | 190279 0 | 100 | 0 644.18/644.34 c 641s | 14 | 248607 | 62952 | 190279 0 | 100 | 0 646.28/646.44 c 643s | 14 | 250428 | 63352 | 190279 0 | 100 | 0 648.47/648.67 c 645s | 14 | 251193 | 63652 | 190279 0 | 100 | 0 651.08/651.29 c 648s | 14 | 252735 | 64052 | 190279 0 | 100 | 0 653.17/653.35 c 650s | 14 | 253683 | 64352 | 190279 0 | 100 | 0 655.27/655.49 c 652s | 14 | 255303 | 64752 | 190279 0 | 100 | 0 657.88/658.05 c 655s | 14 | 256618 | 65152 | 190279 0 | 100 | 0 660.17/660.36 c 657s | 14 | 257896 | 65552 | 190279 0 | 100 | 0 662.97/663.14 c 660s | 14 | 259040 | 65952 | 190279 0 | 100 | 0 665.38/665.59 c 662s | 14 | 259995 | 66252 | 190279 0 | 100 | 0 667.47/667.64 c 664s | 14 | 261016 | 66552 | 190279 0 | 100 | 0 669.77/669.95 c 667s | 14 | 261988 | 66752 | 190279 0 | 100 | 0 672.16/672.32 c 669s | 14 | 262766 | 67052 | 190279 0 | 100 | 0 674.56/674.72 c 672s | 14 | 263717 | 67352 | 190279 0 | 100 | 0 677.17/677.36 c 674s | 14 | 264585 | 67652 | 190279 0 | 100 | 0 679.46/679.64 c 676s | 14 | 265173 | 67952 | 190279 0 | 100 | 0 681.87/682.10 c 679s | 14 | 265843 | 68252 | 190279 0 | 100 | 0 684.07/684.28 c 681s | 14 | 266489 | 68552 | 190279 0 | 100 | 0 686.37/686.53 c 683s | 14 | 267606 | 68852 | 190279 0 | 100 | 0 688.47/688.61 c 685s | 14 | 270065 | 69352 | 190279 0 | 100 | 0 690.67/690.83 c 688s | 14 | 271594 | 69952 | 190279 0 | 100 | 0 693.06/693.24 c 690s | 14 | 273051 | 70352 | 190279 0 | 100 | 0 695.17/695.39 c 692s | 14 | 274685 | 70752 | 190279 0 | 100 | 0 697.66/697.83 c 695s | 14 | 275801 | 71152 | 190279 0 | 100 | 0 699.85/700.01 c 697s | 14 | 277636 | 71552 | 190279 0 | 100 | 0 701.96/702.11 c 699s | 14 | 278424 | 71852 | 190279 0 | 100 | 0 704.15/704.33 c 701s | 14 | 280116 | 72352 | 190279 0 | 100 | 0 706.16/706.35 c 703s | 14 | 281478 | 72852 | 190279 0 | 100 | 0 708.45/708.64 c 705s | 14 | 282964 | 73252 | 190279 0 | 100 | 0 710.96/711.11 c 708s | 14 | 284919 | 73752 | 190279 0 | 100 | 0 713.35/713.59 c 710s | 14 | 286067 | 74252 | 190279 0 | 100 | 0 715.65/715.89 c 713s | 14 | 287297 | 74652 | 190279 0 | 100 | 0 717.85/718.09 c 715s | 14 | 288268 | 75052 | 190279 0 | 100 | 0 720.45/720.62 c 717s | 14 | 289300 | 75452 | 190279 0 | 100 | 0 723.05/723.21 c 720s | 14 | 289944 | 75852 | 190279 0 | 100 | 0 725.05/725.26 c 722s | 14 | 291093 | 76252 | 190279 0 | 100 | 0 727.45/727.68 c 725s | 14 | 293151 | 76652 | 190279 0 | 100 | 0 729.64/729.86 c 727s | 14 | 294381 | 77052 | 190279 0 | 100 | 0 731.85/732.08 c 729s | 14 | 295476 | 77452 | 190279 0 | 100 | 0 734.14/734.38 c 731s | 14 | 296527 | 77852 | 190279 0 | 100 | 0 736.64/736.81 c 734s | 14 | 297365 | 78152 | 190279 0 | 100 | 0 738.84/739.01 c 736s | 14 | 298509 | 78352 | 190279 0 | 100 | 0 741.15/741.40 c 738s | 14 | 301241 | 78852 | 190279 0 | 100 | 0 743.55/743.78 c 741s | 14 | 302685 | 79252 | 190279 0 | 100 | 0 746.05/746.25 c 743s | 14 | 304217 | 79652 | 190279 0 | 100 | 0 748.14/748.34 c 745s | 14 | 305551 | 80052 | 190279 0 | 100 | 0 750.34/750.57 c 747s | 14 | 306640 | 80452 | 190279 0 | 100 | 0 752.64/752.81 c 750s | 14 | 307418 | 80752 | 190279 0 | 100 | 0 754.74/754.99 c 752s | 14 | 309021 | 81152 | 190279 0 | 100 | 0 756.94/757.19 c 754s | 14 | 310451 | 81552 | 190279 0 | 100 | 0 759.44/759.60 c 756s | 14 | 311959 | 81952 | 190279 0 | 100 | 0 761.84/762.03 c 759s | 14 | 313129 | 82452 | 190279 0 | 100 | 0 764.14/764.31 c 761s | 14 | 314615 | 82852 | 190279 0 | 100 | 0 766.24/766.50 c 763s | 14 | 315415 | 83152 | 190279 0 | 100 | 0 768.34/768.55 c 765s | 14 | 316479 | 83552 | 190279 0 | 100 | 0 770.53/770.77 c 768s | 14 | 317333 | 83952 | 190279 0 | 100 | 0 773.03/773.29 c 770s | 14 | 318460 | 84452 | 190279 0 | 100 | 0 775.23/775.45 c 772s | 14 | 319150 | 84852 | 190279 0 | 100 | 0 777.43/777.65 c 774s | 14 | 321051 | 85252 | 190279 0 | 100 | 0 779.74/779.97 c 777s | 14 | 322780 | 85652 | 190279 0 | 100 | 0 782.33/782.54 c 779s | 14 | 323772 | 86052 | 190279 0 | 100 | 0 784.73/784.92 c 782s | 14 | 324981 | 86452 | 190279 0 | 100 | 0 786.73/786.99 c 784s | 14 | 325684 | 86652 | 190279 0 | 100 | 0 788.83/789.08 c 786s | 14 | 327130 | 86952 | 190279 0 | 100 | 0 791.43/791.63 c 788s | 14 | 328410 | 87352 | 209307 0 | 100 | 0 793.63/793.82 c 791s | 15 | 329139 | 87632 | 209307 0 | 100 | 0 796.03/796.25 c 793s | 15 | 329569 | 87832 | 209307 0 | 100 | 0 798.54/798.71 c 796s | 15 | 331292 | 88132 | 209307 0 | 100 | 0 800.53/800.74 c 798s | 15 | 332272 | 88432 | 209307 0 | 100 | 0 802.83/803.01 c 800s | 15 | 333227 | 88832 | 209307 0 | 100 | 0 805.32/805.52 c 802s | 15 | 334158 | 89232 | 209307 0 | 100 | 0 807.62/807.84 c 805s | 15 | 335460 | 89732 | 209307 0 | 100 | 0 809.62/809.88 c 807s | 15 | 336819 | 90132 | 209307 0 | 100 | 0 812.42/812.68 c 810s | 15 | 338496 | 90632 | 209307 0 | 100 | 0 814.93/815.15 c 812s | 15 | 339883 | 90932 | 209307 0 | 100 | 0 817.42/817.63 c 814s | 15 | 341198 | 91432 | 209307 0 | 100 | 0 819.81/820.07 c 817s | 15 | 342264 | 91832 | 209307 0 | 100 | 0 822.32/822.57 c 819s | 15 | 343931 | 92332 | 209307 0 | 100 | 0 824.61/824.84 c 822s | 15 | 345338 | 92832 | 209307 0 | 100 | 0 826.92/827.10 c 824s | 15 | 346915 | 93232 | 209307 0 | 100 | 0 829.01/829.23 c 826s | 15 | 347526 | 93532 | 209307 0 | 100 | 0 831.42/831.68 c 829s | 15 | 348801 | 93932 | 209307 0 | 100 | 0 833.72/833.96 c 831s | 15 | 349589 | 94332 | 209307 0 | 100 | 0 836.22/836.44 c 833s | 15 | 350788 | 94832 | 209307 0 | 100 | 0 838.42/838.62 c 835s | 15 | 351543 | 95232 | 209307 0 | 100 | 0 840.61/840.84 c 838s | 15 | 352288 | 95632 | 209307 0 | 100 | 0 842.92/843.18 c 840s | 15 | 353533 | 96032 | 209307 0 | 100 | 0 845.11/845.35 c 842s | 15 | 354907 | 96332 | 209307 0 | 100 | 0 847.71/847.95 c 845s | 15 | 356163 | 96732 | 209307 0 | 100 | 0 850.40/850.61 c 847s | 15 | 357066 | 97032 | 209307 0 | 100 | 0 852.91/853.19 c 850s | 15 | 358170 | 97332 | 209307 0 | 100 | 0 855.51/855.76 c 853s | 15 | 360081 | 97732 | 209307 0 | 100 | 0 857.71/857.95 c 855s | 15 | 361562 | 98032 | 209307 0 | 100 | 0 860.12/860.32 c 857s | 15 | 362565 | 98432 | 209307 0 | 100 | 0 862.40/862.65 c 859s | 15 | 363910 | 98832 | 209307 0 | 100 | 0 864.71/864.97 c 862s | 15 | 365364 | 99232 | 209307 0 | 100 | 0 866.80/867.08 c 864s | 15 | 366460 | 99632 | 209307 0 | 100 | 0 868.82/869.09 c 866s | 15 | 367643 | 100032 | 209307 0 | 100 | 0 871.41/871.66 c 868s | 15 | 368890 | 100432 | 209307 0 | 100 | 0 873.71/873.99 c 871s | 15 | 370065 | 100832 | 209307 0 | 100 | 0 875.81/876.03 c 873s | 15 | 370698 | 101132 | 209307 0 | 100 | 0 878.41/878.60 c 875s | 15 | 372046 | 101632 | 209307 0 | 100 | 0 880.50/880.70 c 878s | 15 | 372862 | 102032 | 209307 0 | 100 | 0 883.00/883.22 c 880s | 15 | 373811 | 102432 | 209307 0 | 100 | 0 885.00/885.27 c 882s | 15 | 374643 | 102832 | 209307 0 | 100 | 0 887.10/887.31 c 884s | 15 | 375531 | 103232 | 209307 0 | 100 | 0 889.10/889.36 c 886s | 15 | 376713 | 103732 | 209307 0 | 100 | 0 891.20/891.48 c 888s | 15 | 377795 | 104032 | 209307 0 | 100 | 0 893.40/893.64 c 890s | 15 | 378733 | 104332 | 209307 0 | 100 | 0 896.00/896.22 c 893s | 15 | 379568 | 104632 | 209307 0 | 100 | 0 898.20/898.45 c 895s | 15 | 380182 | 104832 | 209307 0 | 100 | 0 900.40/900.63 c 897s | 15 | 381106 | 105032 | 209307 0 | 100 | 0 902.49/902.77 c 900s | 15 | 382196 | 105232 | 209307 0 | 100 | 0 904.59/904.80 c 902s | 15 | 383127 | 105432 | 209307 0 | 100 | 0 907.09/907.34 c 904s | 15 | 384927 | 105832 | 209307 0 | 100 | 0 909.60/909.82 c 907s | 15 | 386007 | 106232 | 209307 0 | 100 | 0 912.19/912.40 c 909s | 15 | 386835 | 106632 | 209307 0 | 100 | 0 914.59/914.86 c 912s | 15 | 388460 | 107032 | 209307 0 | 100 | 0 916.89/917.12 c 914s | 15 | 389525 | 107332 | 209307 0 | 100 | 0 919.10/919.37 c 916s | 15 | 390851 | 107732 | 209307 0 | 100 | 0 921.19/921.46 c 918s | 15 | 391729 | 108032 | 209307 0 | 100 | 0 923.39/923.69 c 921s | 15 | 393095 | 108432 | 209307 0 | 100 | 0 925.69/925.99 c 923s | 15 | 394913 | 108832 | 209307 0 | 100 | 0 928.19/928.49 c 925s | 15 | 396033 | 109232 | 209307 0 | 100 | 0 930.59/930.86 c 928s | 15 | 397003 | 109632 | 209307 0 | 100 | 0 932.99/933.27 c 930s | 15 | 397919 | 110032 | 209307 0 | 100 | 0 935.48/935.71 c 933s | 15 | 398814 | 110432 | 209307 0 | 100 | 0 937.68/937.90 c 935s | 15 | 399678 | 110832 | 209307 0 | 100 | 0 939.67/939.98 c 937s | 15 | 400433 | 111232 | 209307 0 | 100 | 0 942.28/942.51 c 939s | 15 | 401655 | 111632 | 209307 0 | 100 | 0 944.38/944.68 c 942s | 15 | 403003 | 112032 | 209307 0 | 100 | 0 946.88/947.17 c 944s | 15 | 403798 | 112432 | 209307 0 | 100 | 0 949.08/949.33 c 946s | 15 | 404702 | 112732 | 209307 0 | 100 | 0 951.57/951.83 c 949s | 15 | 405956 | 113132 | 209307 0 | 100 | 0 953.77/954.06 c 951s | 15 | 407431 | 113432 | 209307 0 | 100 | 0 955.87/956.17 c 953s | 15 | 408499 | 113732 | 209307 0 | 100 | 0 958.07/958.39 c 955s | 15 | 409089 | 114032 | 209307 0 | 100 | 0 960.37/960.60 c 957s | 15 | 410320 | 114332 | 209307 0 | 100 | 0 963.17/963.40 c 960s | 15 | 411450 | 114732 | 209307 0 | 100 | 0 965.26/965.58 c 962s | 15 | 412596 | 115032 | 209307 0 | 100 | 0 967.96/968.21 c 965s | 15 | 413479 | 115432 | 209307 0 | 100 | 0 970.16/970.46 c 967s | 15 | 414920 | 115732 | 209307 0 | 100 | 0 972.46/972.74 c 970s | 15 | 415999 | 116132 | 209307 0 | 100 | 0 975.26/975.53 c 972s | 15 | 416961 | 116532 | 209307 0 | 100 | 0 977.36/977.68 c 975s | 15 | 417649 | 116832 | 209307 0 | 100 | 0 979.86/980.10 c 977s | 15 | 418909 | 117232 | 209307 0 | 100 | 0 982.45/982.70 c 980s | 15 | 420142 | 117732 | 209307 0 | 100 | 0 984.76/985.02 c 982s | 15 | 421309 | 118232 | 209307 0 | 100 | 0 987.45/987.71 c 985s | 15 | 422178 | 118632 | 209307 0 | 100 | 0 989.45/989.77 c 987s | 15 | 422945 | 119032 | 209307 0 | 100 | 0 991.54/991.80 c 989s | 15 | 423760 | 119432 | 209307 0 | 100 | 0 994.15/994.43 c 991s | 15 | 425500 | 119832 | 209307 0 | 100 | 0 996.65/996.96 c 994s | 15 | 426567 | 120232 | 209307 0 | 100 | 0 999.34/999.60 c 996s | 15 | 427127 | 120532 | 209307 0 | 100 | 0 1001.54/1001.83 c 999s | 15 | 427644 | 120732 | 209307 0 | 100 | 0 1003.64/1003.96 c 1001s | 15 | 428714 | 121032 | 209307 0 | 100 | 0 1005.64/1005.97 c 1003s | 15 | 429529 | 121332 | 209307 0 | 100 | 0 1008.24/1008.54 c 1005s | 15 | 430358 | 121632 | 209307 0 | 100 | 0 1010.34/1010.61 c 1007s | 15 | 431326 | 121932 | 209307 0 | 100 | 0 1012.73/1013.00 c 1010s | 15 | 432347 | 122332 | 209307 0 | 100 | 0 1015.44/1015.70 c 1013s | 15 | 433476 | 122632 | 209307 0 | 100 | 0 1017.73/1018.06 c 1015s | 15 | 434559 | 123032 | 209307 0 | 100 | 0 1020.63/1020.95 c 1018s | 15 | 435668 | 123432 | 209307 0 | 100 | 0 1022.93/1023.27 c 1020s | 15 | 436484 | 123832 | 209307 0 | 100 | 0 1025.43/1025.75 c 1023s | 15 | 437204 | 124232 | 209307 0 | 100 | 0 1027.63/1027.97 c 1025s | 15 | 437803 | 124532 | 209307 0 | 100 | 0 1029.92/1030.22 c 1027s | 15 | 439263 | 124932 | 209307 0 | 100 | 0 1032.02/1032.36 c 1029s | 15 | 440603 | 125432 | 209307 0 | 100 | 0 1034.23/1034.57 c 1031s | 15 | 442055 | 125932 | 209307 0 | 100 | 0 1036.32/1036.66 c 1033s | 15 | 443026 | 126332 | 209307 0 | 100 | 0 1038.81/1039.16 c 1036s | 15 | 444066 | 126732 | 209307 0 | 100 | 0 1041.21/1041.54 c 1038s | 15 | 445549 | 127132 | 209307 0 | 100 | 0 1043.32/1043.69 c 1041s | 15 | 446460 | 127532 | 209307 0 | 100 | 0 1045.52/1045.88 c 1043s | 15 | 447600 | 127932 | 209307 0 | 100 | 0 1047.71/1048.05 c 1045s | 15 | 448470 | 128332 | 209307 0 | 100 | 0 1050.22/1050.57 c 1047s | 15 | 449533 | 128832 | 209307 0 | 100 | 0 1052.51/1052.85 c 1050s | 15 | 450621 | 129332 | 209307 0 | 100 | 0 1054.80/1055.15 c 1052s | 15 | 451773 | 129832 | 209307 0 | 100 | 0 1057.21/1057.50 c 1054s | 15 | 452751 | 130332 | 209307 0 | 100 | 0 1059.20/1059.59 c 1056s | 15 | 453453 | 130732 | 230238 0 | 100 | 0 1061.40/1061.74 c 1059s | 15 | 454418 | 131132 | 230238 0 | 100 | 0 1063.80/1064.10 c 1061s | 15 | 455882 | 131432 | 230238 0 | 100 | 0 1064.51/1064.82 c 1062s | 16 | 456347 | 131552 | 230238 0 | 100 | 0 1066.60/1066.90 c 1064s | 16 | 456986 | 131752 | 230238 0 | 100 | 0 1068.70/1069.09 c 1066s | 16 | 458364 | 132052 | 230238 0 | 100 | 0 1071.00/1071.32 c 1068s | 16 | 459644 | 132452 | 230238 0 | 100 | 0 1073.10/1073.44 c 1070s | 16 | 460728 | 132752 | 230238 0 | 100 | 0 1075.50/1075.90 c 1073s | 16 | 462291 | 133152 | 230238 0 | 100 | 0 1078.00/1078.30 c 1075s | 16 | 463593 | 133652 | 230238 0 | 100 | 0 1080.50/1080.80 c 1078s | 16 | 464997 | 134052 | 230238 0 | 100 | 0 1082.90/1083.24 c 1080s | 16 | 465962 | 134452 | 230238 0 | 100 | 0 1085.00/1085.31 c 1082s | 16 | 466797 | 134852 | 230238 0 | 100 | 0 1087.29/1087.60 c 1084s | 16 | 467908 | 135352 | 230238 0 | 100 | 0 1089.39/1089.71 c 1087s | 16 | 468764 | 135752 | 230238 0 | 100 | 0 1091.59/1091.95 c 1089s | 16 | 469625 | 136152 | 230238 0 | 100 | 0 1093.69/1094.08 c 1091s | 16 | 471156 | 136552 | 230238 0 | 100 | 0 1095.99/1096.36 c 1093s | 16 | 472902 | 137052 | 230238 0 | 100 | 0 1098.28/1098.66 c 1095s | 16 | 474188 | 137452 | 230238 0 | 100 | 0 1101.09/1101.49 c 1098s | 16 | 475595 | 137852 | 230238 0 | 100 | 0 1103.49/1103.83 c 1101s | 16 | 476859 | 138352 | 230238 0 | 100 | 0 1105.78/1106.15 c 1103s | 16 | 477893 | 138752 | 230238 0 | 100 | 0 1107.99/1108.37 c 1105s | 16 | 478814 | 139152 | 230238 0 | 100 | 0 1110.48/1110.81 c 1108s | 16 | 479661 | 139552 | 230238 0 | 100 | 0 1112.88/1113.23 c 1110s | 16 | 480493 | 139952 | 230238 0 | 100 | 0 1114.98/1115.39 c 1112s | 16 | 481432 | 140352 | 230238 0 | 100 | 0 1117.68/1118.07 c 1115s | 16 | 482489 | 140752 | 230238 0 | 100 | 0 1120.08/1120.43 c 1117s | 16 | 483375 | 141152 | 230238 0 | 100 | 0 1122.57/1122.92 c 1120s | 16 | 484252 | 141552 | 230238 0 | 100 | 0 1124.87/1125.21 c 1122s | 16 | 485518 | 141852 | 230238 0 | 100 | 0 1126.88/1127.27 c 1124s | 16 | 486422 | 142252 | 230238 0 | 100 | 0 1129.17/1129.59 c 1126s | 16 | 487450 | 142752 | 230238 0 | 100 | 0 1131.28/1131.64 c 1128s | 16 | 488527 | 143252 | 230238 0 | 100 | 0 1133.78/1134.12 c 1131s | 16 | 489592 | 143652 | 230238 0 | 100 | 0 1136.18/1136.55 c 1133s | 16 | 490543 | 143952 | 230238 0 | 100 | 0 1138.17/1138.60 c 1135s | 16 | 492138 | 144352 | 230238 0 | 100 | 0 1140.48/1140.82 c 1138s | 16 | 493197 | 144752 | 230238 0 | 100 | 0 1142.77/1143.11 c 1140s | 16 | 494250 | 145152 | 230238 0 | 100 | 0 1144.97/1145.31 c 1142s | 16 | 494894 | 145452 | 230238 0 | 100 | 0 1147.36/1147.75 c 1145s | 16 | 495656 | 145852 | 230238 0 | 100 | 0 1149.86/1150.22 c 1147s | 16 | 496868 | 146252 | 230238 0 | 100 | 0 1151.96/1152.32 c 1149s | 16 | 497743 | 146652 | 230238 0 | 100 | 0 1154.16/1154.59 c 1151s | 16 | 498863 | 147052 | 230238 0 | 100 | 0 1156.26/1156.69 c 1154s | 16 | 499589 | 147352 | 230238 0 | 100 | 0 1158.46/1158.85 c 1156s | 16 | 500875 | 147752 | 230238 0 | 100 | 0 1160.45/1160.89 c 1158s | 16 | 501827 | 148152 | 230238 0 | 100 | 0 1162.85/1163.23 c 1160s | 16 | 502760 | 148652 | 230238 0 | 100 | 0 1165.15/1165.53 c 1162s | 16 | 503971 | 149152 | 230238 0 | 100 | 0 1167.46/1167.82 c 1165s | 16 | 504797 | 149452 | 230238 0 | 100 | 0 1169.45/1169.88 c 1167s | 16 | 505576 | 149752 | 230238 0 | 100 | 0 1171.65/1172.01 c 1169s | 16 | 506914 | 150052 | 230238 0 | 100 | 0 1173.84/1174.22 c 1171s | 16 | 507809 | 150452 | 230238 0 | 100 | 0 1176.15/1176.59 c 1173s | 16 | 508928 | 150952 | 230238 0 | 100 | 0 1178.24/1178.65 c 1175s | 16 | 509631 | 151252 | 230238 0 | 100 | 0 1180.44/1180.85 c 1178s | 16 | 510474 | 151652 | 230238 0 | 100 | 0 1182.74/1183.14 c 1180s | 16 | 511216 | 151952 | 230238 0 | 100 | 0 1184.94/1185.39 c 1182s | 16 | 511942 | 152352 | 230238 0 | 100 | 0 1187.35/1187.71 c 1185s | 16 | 512715 | 152752 | 230238 0 | 100 | 0 1189.64/1190.08 c 1187s | 16 | 514142 | 153152 | 230238 0 | 100 | 0 1191.84/1192.29 c 1189s | 16 | 515001 | 153552 | 230238 0 | 100 | 0 1194.34/1194.79 c 1192s | 16 | 516039 | 153952 | 230238 0 | 100 | 0 1196.83/1197.25 c 1194s | 16 | 516754 | 154352 | 230238 0 | 100 | 0 1199.34/1199.70 c 1197s | 16 | 517636 | 154852 | 230238 0 | 100 | 0 1201.64/1202.01 c 1199s | 16 | 518617 | 155352 | 230238 0 | 100 | 0 1203.74/1204.15 c 1201s | 16 | 519401 | 155752 | 230238 0 | 100 | 0 1206.04/1206.48 c 1203s | 16 | 520312 | 156252 | 230238 0 | 100 | 0 1208.13/1208.59 c 1205s | 16 | 521091 | 156652 | 230238 0 | 100 | 0 1210.14/1210.60 c 1207s | 16 | 522016 | 157052 | 230238 0 | 100 | 0 1212.44/1212.88 c 1210s | 16 | 522977 | 157452 | 230238 0 | 100 | 0 1214.74/1215.10 c 1212s | 16 | 523727 | 157852 | 230238 0 | 100 | 0 1216.74/1217.11 c 1214s | 16 | 524870 | 158352 | 230238 0 | 100 | 0 1218.93/1219.35 c 1216s | 16 | 526077 | 158852 | 230238 0 | 100 | 0 1221.03/1221.48 c 1218s | 16 | 527347 | 159252 | 230238 0 | 100 | 0 1223.23/1223.68 c 1221s | 16 | 528235 | 159752 | 230238 0 | 100 | 0 1225.84/1226.27 c 1223s | 16 | 529291 | 160252 | 230238 0 | 100 | 0 1227.94/1228.33 c 1225s | 16 | 530018 | 160652 | 230238 0 | 100 | 0 1230.03/1230.44 c 1227s | 16 | 530731 | 161052 | 230238 0 | 100 | 0 1232.13/1232.55 c 1229s | 16 | 531659 | 161552 | 230238 0 | 100 | 0 1234.33/1234.74 c 1232s | 16 | 532491 | 162052 | 230238 0 | 100 | 0 1236.73/1237.14 c 1234s | 16 | 533463 | 162552 | 230238 0 | 100 | 0 1239.13/1239.54 c 1236s | 16 | 534354 | 163052 | 230238 0 | 100 | 0 1241.63/1242.02 c 1239s | 16 | 535194 | 163552 | 230238 0 | 100 | 0 1243.84/1244.24 c 1241s | 16 | 535925 | 163952 | 230238 0 | 100 | 0 1245.94/1246.38 c 1243s | 16 | 536869 | 164452 | 230238 0 | 100 | 0 1248.24/1248.67 c 1245s | 16 | 537552 | 164852 | 230238 0 | 100 | 0 1250.63/1251.01 c 1248s | 16 | 538187 | 165252 | 230238 0 | 100 | 0 1252.93/1253.31 c 1250s | 16 | 538906 | 165652 | 230238 0 | 100 | 0 1254.93/1255.36 c 1252s | 16 | 539739 | 166052 | 230238 0 | 100 | 0 1257.33/1257.72 c 1255s | 16 | 540541 | 166452 | 230238 0 | 100 | 0 1259.33/1259.75 c 1257s | 16 | 541517 | 166752 | 230238 0 | 100 | 0 1261.93/1262.33 c 1259s | 16 | 542518 | 167152 | 230238 0 | 100 | 0 1264.33/1264.76 c 1262s | 16 | 543305 | 167552 | 230238 0 | 100 | 0 1266.53/1266.99 c 1264s | 16 | 544254 | 168052 | 230238 0 | 100 | 0 1269.03/1269.42 c 1266s | 16 | 545152 | 168552 | 230238 0 | 100 | 0 1271.12/1271.50 c 1268s | 16 | 545921 | 168952 | 230238 0 | 100 | 0 1273.54/1273.93 c 1271s | 16 | 547020 | 169452 | 230238 0 | 100 | 0 1276.03/1276.44 c 1273s | 16 | 548138 | 169952 | 230238 0 | 100 | 0 1278.22/1278.66 c 1275s | 16 | 548783 | 170252 | 230238 0 | 100 | 0 1280.52/1280.96 c 1278s | 16 | 549601 | 170652 | 230238 0 | 100 | 0 1282.63/1283.09 c 1280s | 16 | 550290 | 171052 | 230238 0 | 100 | 0 1284.92/1285.38 c 1282s | 16 | 551010 | 171452 | 230238 0 | 100 | 0 1287.52/1287.99 c 1285s | 16 | 551943 | 171952 | 230238 0 | 100 | 0 1289.62/1290.07 c 1287s | 16 | 552619 | 172352 | 230238 0 | 100 | 0 1292.03/1292.45 c 1289s | 16 | 553296 | 172752 | 230238 0 | 100 | 0 1294.33/1294.74 c 1292s | 16 | 554083 | 173152 | 230238 0 | 100 | 0 1296.32/1296.74 c 1294s | 16 | 554895 | 173552 | 230238 0 | 100 | 0 1298.33/1298.77 c 1296s | 16 | 555589 | 173852 | 230238 0 | 100 | 0 1300.73/1301.11 c 1298s | 16 | 556821 | 174252 | 230238 0 | 100 | 0 1302.92/1303.32 c 1300s | 16 | 557474 | 174552 | 230238 0 | 100 | 0 1305.02/1305.47 c 1302s | 16 | 558623 | 174952 | 230238 0 | 100 | 0 1307.42/1307.80 c 1305s | 16 | 559576 | 175352 | 230238 0 | 100 | 0 1309.52/1309.98 c 1307s | 16 | 560580 | 175652 | 230238 0 | 100 | 0 1311.93/1312.36 c 1309s | 16 | 561450 | 176052 | 230238 0 | 100 | 0 1314.22/1314.66 c 1311s | 16 | 562242 | 176452 | 230238 0 | 100 | 0 1316.62/1317.07 c 1314s | 16 | 563008 | 176852 | 230238 0 | 100 | 0 1319.22/1319.67 c 1316s | 16 | 563803 | 177252 | 230238 0 | 100 | 0 1321.42/1321.83 c 1319s | 16 | 564500 | 177652 | 230238 0 | 100 | 0 1323.52/1323.95 c 1321s | 16 | 565266 | 178052 | 230238 0 | 100 | 0 1325.72/1326.19 c 1323s | 16 | 566215 | 178452 | 230238 0 | 100 | 0 1328.12/1328.51 c 1325s | 16 | 566831 | 178752 | 230238 0 | 100 | 0 1330.51/1330.96 c 1328s | 16 | 567847 | 179152 | 230238 0 | 100 | 0 1332.71/1333.11 c 1330s | 16 | 568753 | 179452 | 230238 0 | 100 | 0 1335.03/1335.41 c 1332s | 16 | 569620 | 179752 | 230238 0 | 100 | 0 1337.11/1337.58 c 1334s | 16 | 570169 | 180052 | 230238 0 | 100 | 0 1339.42/1339.83 c 1337s | 16 | 570815 | 180352 | 230238 0 | 100 | 0 1342.01/1342.45 c 1339s | 16 | 571484 | 180752 | 230238 0 | 100 | 0 1344.31/1344.72 c 1342s | 16 | 572313 | 181052 | 230238 0 | 100 | 0 1346.51/1346.93 c 1344s | 16 | 573296 | 181352 | 230238 0 | 100 | 0 1348.62/1349.04 c 1346s | 16 | 574205 | 181652 | 230238 0 | 100 | 0 1350.71/1351.10 c 1348s | 16 | 575271 | 181952 | 230238 0 | 100 | 0 1352.81/1353.27 c 1350s | 16 | 576305 | 182252 | 230238 0 | 100 | 0 1354.92/1355.39 c 1352s | 16 | 577172 | 182552 | 230238 0 | 100 | 0 1357.52/1357.94 c 1355s | 16 | 578308 | 182952 | 230238 0 | 100 | 0 1360.32/1360.73 c 1358s | 16 | 579854 | 183352 | 230238 0 | 100 | 0 1362.82/1363.28 c 1360s | 16 | 580677 | 183752 | 230238 0 | 100 | 0 1365.21/1365.68 c 1363s | 16 | 582162 | 184152 | 230238 0 | 100 | 0 1367.72/1368.13 c 1365s | 16 | 582987 | 184552 | 230238 0 | 100 | 0 1370.11/1370.57 c 1367s | 16 | 583957 | 184952 | 230238 0 | 100 | 0 1372.71/1373.12 c 1370s | 16 | 585048 | 185352 | 230238 0 | 100 | 0 1375.31/1375.72 c 1373s | 16 | 585926 | 185752 | 230238 0 | 100 | 0 1377.51/1377.95 c 1375s | 16 | 586903 | 186152 | 230238 0 | 100 | 0 1380.01/1380.42 c 1377s | 16 | 587775 | 186552 | 230238 0 | 100 | 0 1382.21/1382.60 c 1379s | 16 | 588315 | 186852 | 230238 0 | 100 | 0 1384.21/1384.69 c 1382s | 16 | 588786 | 187152 | 230238 0 | 100 | 0 1387.00/1387.48 c 1384s | 16 | 589369 | 187552 | 230238 0 | 100 | 0 1389.61/1390.06 c 1387s | 16 | 590800 | 187952 | 230238 0 | 100 | 0 1392.31/1392.79 c 1390s | 16 | 591801 | 188252 | 230238 0 | 100 | 0 1394.52/1394.95 c 1392s | 16 | 592766 | 188452 | 230238 0 | 100 | 0 1397.41/1397.85 c 1395s | 16 | 593880 | 188752 | 230238 0 | 100 | 0 1400.31/1400.75 c 1398s | 16 | 594926 | 188952 | 230238 0 | 100 | 0 1402.91/1403.35 c 1400s | 16 | 596661 | 189352 | 230238 0 | 100 | 0 1405.42/1405.86 c 1403s | 16 | 597676 | 189652 | 230238 0 | 100 | 0 1407.81/1408.24 c 1405s | 16 | 598424 | 189952 | 230238 0 | 100 | 0 1409.81/1410.29 c 1407s | 16 | 598983 | 190152 | 230238 0 | 100 | 0 1412.30/1412.72 c 1410s | 16 | 600214 | 190452 | 230238 0 | 100 | 0 1414.50/1414.94 c 1412s | 16 | 601173 | 190752 | 230238 0 | 100 | 0 1417.11/1417.59 c 1414s | 16 | 602010 | 191052 | 230238 0 | 100 | 0 1419.40/1419.84 c 1417s | 16 | 603316 | 191452 | 230238 0 | 100 | 0 1421.80/1422.24 c 1419s | 16 | 604226 | 191852 | 230238 0 | 100 | 0 1424.11/1424.59 c 1421s | 16 | 605406 | 192252 | 230238 0 | 100 | 0 1426.20/1426.68 c 1424s | 16 | 606284 | 192552 | 230238 0 | 100 | 0 1428.51/1428.94 c 1426s | 16 | 607293 | 192952 | 230238 0 | 100 | 0 1431.41/1431.84 c 1429s | 16 | 608341 | 193352 | 230238 0 | 100 | 0 1434.11/1434.52 c 1431s | 16 | 609509 | 193752 | 230238 0 | 100 | 0 1436.10/1436.56 c 1433s | 16 | 610367 | 194152 | 230238 0 | 100 | 0 1438.30/1438.78 c 1436s | 16 | 611318 | 194552 | 230238 0 | 100 | 0 1440.80/1441.27 c 1438s | 16 | 612477 | 194952 | 230238 0 | 100 | 0 1443.20/1443.64 c 1440s | 16 | 613043 | 195252 | 230238 0 | 100 | 0 1445.70/1446.19 c 1443s | 16 | 613824 | 195652 | 230238 0 | 100 | 0 1448.30/1448.72 c 1446s | 16 | 614519 | 196052 | 230238 0 | 100 | 0 1450.80/1451.28 c 1448s | 16 | 615146 | 196452 | 253262 0 | 100 | 0 1453.40/1453.89 c 1451s | 16 | 615749 | 196852 | 253262 0 | 100 | 0 1456.20/1456.68 c 1454s | 16 | 616686 | 197152 | 253262 0 | 100 | 0 1458.50/1458.95 c 1456s | 16 | 617532 | 197352 | 253262 0 | 100 | 0 1459.10/1459.56 c 1456s | 17 | 617873 | 197432 | 253262 0 | 100 | 0 1461.19/1461.61 c 1458s | 17 | 618725 | 197632 | 253262 0 | 100 | 0 1463.20/1463.66 c 1460s | 17 | 619360 | 197932 | 253262 0 | 100 | 0 1465.90/1466.37 c 1463s | 17 | 620653 | 198332 | 253262 0 | 100 | 0 1468.60/1469.01 c 1466s | 17 | 621451 | 198732 | 253262 0 | 100 | 0 1470.70/1471.11 c 1468s | 17 | 622172 | 199032 | 253262 0 | 100 | 0 1473.00/1473.48 c 1470s | 17 | 623001 | 199432 | 253262 0 | 100 | 0 1475.30/1475.76 c 1473s | 17 | 623616 | 199732 | 253262 0 | 100 | 0 1477.90/1478.37 c 1475s | 17 | 624544 | 200032 | 253262 0 | 100 | 0 1480.10/1480.58 c 1477s | 17 | 625285 | 200332 | 253262 0 | 100 | 0 1482.19/1482.69 c 1480s | 17 | 626025 | 200632 | 253262 0 | 100 | 0 1484.79/1485.23 c 1482s | 17 | 626809 | 200932 | 253262 0 | 100 | 0 1487.29/1487.72 c 1485s | 17 | 627719 | 201232 | 253262 0 | 100 | 0 1489.40/1489.81 c 1487s | 17 | 628063 | 201432 | 253262 0 | 100 | 0 1492.10/1492.50 c 1489s | 17 | 628575 | 201732 | 253262 0 | 100 | 0 1494.29/1494.77 c 1492s | 17 | 629590 | 202032 | 253262 0 | 100 | 0 1496.70/1497.12 c 1494s | 17 | 630819 | 202432 | 253262 0 | 100 | 0 1498.90/1499.34 c 1496s | 17 | 631507 | 202732 | 253262 0 | 100 | 0 1501.39/1501.88 c 1499s | 17 | 632795 | 203232 | 253262 0 | 100 | 0 1503.99/1504.44 c 1501s | 17 | 633661 | 203632 | 253262 0 | 100 | 0 1506.19/1506.68 c 1504s | 17 | 634492 | 204032 | 253262 0 | 100 | 0 1508.39/1508.83 c 1506s | 17 | 635044 | 204332 | 253262 0 | 100 | 0 1510.89/1511.30 c 1508s | 17 | 635662 | 204732 | 253262 0 | 100 | 0 1513.29/1513.73 c 1511s | 17 | 636304 | 205132 | 253262 0 | 100 | 0 1515.59/1516.00 c 1513s | 17 | 637593 | 205532 | 253262 0 | 100 | 0 1517.69/1518.14 c 1515s | 17 | 638222 | 205832 | 253262 0 | 100 | 0 1520.19/1520.62 c 1517s | 17 | 639379 | 206132 | 253262 0 | 100 | 0 1522.79/1523.29 c 1520s | 17 | 640270 | 206532 | 253262 0 | 100 | 0 1525.09/1525.56 c 1522s | 17 | 641250 | 206932 | 253262 0 | 100 | 0 1527.78/1528.20 c 1525s | 17 | 642124 | 207332 | 253262 0 | 100 | 0 1530.39/1530.87 c 1528s | 17 | 643092 | 207732 | 253262 0 | 100 | 0 1532.89/1533.32 c 1530s | 17 | 643792 | 208132 | 253262 0 | 100 | 0 1535.20/1535.65 c 1532s | 17 | 644394 | 208432 | 253262 0 | 100 | 0 1537.68/1538.16 c 1535s | 17 | 645034 | 208732 | 253262 0 | 100 | 0 1540.08/1540.56 c 1537s | 17 | 645847 | 209032 | 253262 0 | 100 | 0 1542.58/1543.00 c 1540s | 17 | 646536 | 209432 | 253262 0 | 100 | 0 1544.68/1545.12 c 1542s | 17 | 647057 | 209732 | 253262 0 | 100 | 0 1546.78/1547.23 c 1544s | 17 | 647572 | 210032 | 253262 0 | 100 | 0 1549.59/1550.02 c 1547s | 17 | 648701 | 210432 | 253262 0 | 100 | 0 1551.58/1552.05 c 1549s | 17 | 649315 | 210732 | 253262 0 | 100 | 0 1554.08/1554.52 c 1551s | 17 | 650374 | 211132 | 253262 0 | 100 | 0 1556.09/1556.54 c 1553s | 17 | 650887 | 211432 | 253262 0 | 100 | 0 1558.68/1559.18 c 1556s | 17 | 651669 | 211832 | 253262 0 | 100 | 0 1560.88/1561.33 c 1558s | 17 | 652299 | 212132 | 253262 0 | 100 | 0 1563.08/1563.51 c 1560s | 17 | 652881 | 212432 | 253262 0 | 100 | 0 1565.58/1566.02 c 1563s | 17 | 653603 | 212832 | 253262 0 | 100 | 0 1568.08/1568.58 c 1565s | 17 | 654402 | 213132 | 253262 0 | 100 | 0 1570.28/1570.77 c 1568s | 17 | 654931 | 213432 | 253262 0 | 100 | 0 1572.59/1573.02 c 1570s | 17 | 655436 | 213732 | 253262 0 | 100 | 0 1574.98/1575.48 c 1572s | 17 | 655933 | 214032 | 253262 0 | 100 | 0 1577.58/1578.05 c 1575s | 17 | 656437 | 214332 | 253262 0 | 100 | 0 1580.08/1580.55 c 1577s | 17 | 657493 | 214632 | 253262 0 | 100 | 0 1582.78/1583.20 c 1580s | 17 | 658359 | 214932 | 253262 0 | 100 | 0 1584.98/1585.40 c 1582s | 17 | 658956 | 215232 | 253262 0 | 100 | 0 1586.98/1587.49 c 1584s | 17 | 659905 | 215432 | 253262 0 | 100 | 0 1589.47/1589.92 c 1587s | 17 | 660777 | 215732 | 253262 0 | 100 | 0 1591.47/1591.97 c 1589s | 17 | 661468 | 216032 | 253262 0 | 100 | 0 1593.68/1594.14 c 1591s | 17 | 662047 | 216332 | 253262 0 | 100 | 0 1595.88/1596.39 c 1593s | 17 | 662538 | 216632 | 253262 0 | 100 | 0 1598.08/1598.52 c 1595s | 17 | 663097 | 216932 | 253262 0 | 100 | 0 1600.48/1600.97 c 1598s | 17 | 663955 | 217332 | 253262 0 | 100 | 0 1602.58/1603.00 c 1600s | 17 | 664450 | 217632 | 253262 0 | 100 | 0 1604.88/1605.36 c 1602s | 17 | 664893 | 217932 | 253262 0 | 100 | 0 1607.08/1607.51 c 1604s | 17 | 665506 | 218232 | 253262 0 | 100 | 0 1609.48/1609.92 c 1607s | 17 | 666333 | 218532 | 253262 0 | 100 | 0 1611.78/1612.23 c 1609s | 17 | 667004 | 218832 | 253262 0 | 100 | 0 1614.48/1614.96 c 1612s | 17 | 667688 | 219132 | 253262 0 | 100 | 0 1616.47/1616.98 c 1614s | 17 | 668277 | 219432 | 253262 0 | 100 | 0 1618.88/1619.39 c 1616s | 17 | 668703 | 219732 | 253262 0 | 100 | 0 1621.17/1621.68 c 1619s | 17 | 669187 | 220032 | 253262 0 | 100 | 0 1623.77/1624.23 c 1621s | 17 | 669711 | 220332 | 253262 0 | 100 | 0 1626.17/1626.60 c 1623s | 17 | 670240 | 220632 | 253262 0 | 100 | 0 1628.68/1629.13 c 1626s | 17 | 670700 | 220932 | 253262 0 | 100 | 0 1630.98/1631.49 c 1628s | 17 | 671120 | 221232 | 253262 0 | 100 | 0 1633.87/1634.33 c 1631s | 17 | 671530 | 221532 | 253262 0 | 100 | 0 1636.38/1636.85 c 1634s | 17 | 672541 | 221932 | 253262 0 | 100 | 0 1638.48/1638.93 c 1636s | 17 | 673377 | 222232 | 253262 0 | 100 | 0 1640.97/1641.41 c 1638s | 17 | 674336 | 222632 | 253262 0 | 100 | 0 1643.47/1643.91 c 1641s | 17 | 675212 | 223032 | 253262 0 | 100 | 0 1645.67/1646.19 c 1643s | 17 | 675969 | 223432 | 253262 0 | 100 | 0 1648.27/1648.78 c 1646s | 17 | 676819 | 223832 | 253262 0 | 100 | 0 1650.56/1651.02 c 1648s | 17 | 677404 | 224132 | 253262 0 | 100 | 0 1652.77/1653.30 c 1650s | 17 | 678088 | 224432 | 253262 0 | 100 | 0 1655.18/1655.65 c 1652s | 17 | 678737 | 224732 | 253262 0 | 100 | 0 1657.57/1658.03 c 1655s | 17 | 679413 | 225032 | 253262 0 | 100 | 0 1659.87/1660.33 c 1657s | 17 | 679940 | 225332 | 253262 0 | 100 | 0 1661.87/1662.37 c 1659s | 17 | 680556 | 225632 | 253262 0 | 100 | 0 1664.07/1664.55 c 1661s | 17 | 681220 | 225932 | 253262 0 | 100 | 0 1666.96/1667.44 c 1664s | 17 | 682032 | 226332 | 253262 0 | 100 | 0 1669.16/1669.68 c 1667s | 17 | 682907 | 226732 | 253262 0 | 100 | 0 1671.46/1671.99 c 1669s | 17 | 683663 | 227132 | 253262 0 | 100 | 0 1673.88/1674.38 c 1671s | 17 | 684281 | 227532 | 253262 0 | 100 | 0 1676.27/1676.75 c 1674s | 17 | 684816 | 227832 | 253262 0 | 100 | 0 1678.47/1678.99 c 1676s | 17 | 685370 | 228132 | 253262 0 | 100 | 0 1680.96/1681.45 c 1678s | 17 | 685996 | 228432 | 253262 0 | 100 | 0 1683.16/1683.67 c 1680s | 17 | 686516 | 228732 | 253262 0 | 100 | 0 1685.76/1686.29 c 1683s | 17 | 687028 | 229032 | 253262 0 | 100 | 0 1688.47/1688.95 c 1686s | 17 | 687545 | 229332 | 253262 0 | 100 | 0 1690.57/1691.03 c 1688s | 17 | 687991 | 229632 | 253262 0 | 100 | 0 1692.86/1693.37 c 1690s | 17 | 688424 | 229932 | 253262 0 | 100 | 0 1695.16/1695.63 c 1692s | 17 | 688876 | 230232 | 253262 0 | 100 | 0 1697.16/1697.65 c 1694s | 17 | 689388 | 230532 | 253262 0 | 100 | 0 1699.96/1700.47 c 1697s | 17 | 690031 | 230932 | 253262 0 | 100 | 0 1702.26/1702.76 c 1700s | 17 | 690532 | 231232 | 253262 0 | 100 | 0 1704.76/1705.20 c 1702s | 17 | 691052 | 231532 | 253262 0 | 100 | 0 1707.46/1707.94 c 1705s | 17 | 691712 | 231932 | 253262 0 | 100 | 0 1709.86/1710.39 c 1707s | 17 | 692192 | 232232 | 253262 0 | 100 | 0 1712.46/1712.93 c 1710s | 17 | 692688 | 232532 | 253262 0 | 100 | 0 1714.47/1714.96 c 1712s | 17 | 693251 | 232832 | 253262 0 | 100 | 0 1716.96/1717.49 c 1714s | 17 | 693850 | 233232 | 253262 0 | 100 | 0 1719.46/1719.95 c 1717s | 17 | 694309 | 233532 | 253262 0 | 100 | 0 1722.36/1722.82 c 1720s | 17 | 694721 | 233832 | 253262 0 | 100 | 0 1724.86/1725.30 c 1722s | 17 | 695195 | 234132 | 253262 0 | 100 | 0 1727.26/1727.76 c 1725s | 17 | 695811 | 234532 | 253262 0 | 100 | 0 1729.46/1729.92 c 1727s | 17 | 696331 | 234832 | 253262 0 | 100 | 0 1732.26/1732.72 c 1730s | 17 | 696813 | 235132 | 253262 0 | 100 | 0 1734.46/1734.96 c 1732s | 17 | 697269 | 235432 | 253262 0 | 100 | 0 1736.76/1737.23 c 1734s | 17 | 697684 | 235732 | 253262 0 | 100 | 0 1739.35/1739.81 c 1737s | 17 | 698145 | 236032 | 253262 0 | 100 | 0 1741.85/1742.38 c 1739s | 17 | 698626 | 236332 | 253262 0 | 100 | 0 1744.56/1745.02 c 1742s | 17 | 699124 | 236632 | 253262 0 | 100 | 0 1746.86/1747.36 c 1744s | 17 | 699566 | 236932 | 253262 0 | 100 | 0 1748.95/1749.47 c 1746s | 17 | 699901 | 237132 | 253262 0 | 100 | 0 1751.76/1752.29 c 1749s | 17 | 700384 | 237432 | 253262 0 | 100 | 0 1754.25/1754.79 c 1752s | 17 | 700861 | 237732 | 253262 0 | 100 | 0 1756.36/1756.88 c 1754s | 17 | 701339 | 238032 | 253262 0 | 100 | 0 1758.45/1758.93 c 1756s | 17 | 701816 | 238332 | 253262 0 | 100 | 0 1760.76/1761.27 c 1758s | 17 | 702291 | 238632 | 253262 0 | 100 | 0 1763.56/1764.06 c 1761s | 17 | 702845 | 238932 | 253262 0 | 100 | 0 1765.65/1766.12 c 1763s | 17 | 703132 | 239132 | 253262 0 | 100 | 0 1767.75/1768.28 c 1765s | 17 | 703554 | 239432 | 253262 0 | 100 | 0 1770.05/1770.58 c 1767s | 17 | 704036 | 239732 | 253262 0 | 100 | 0 1772.15/1772.64 c 1769s | 17 | 704326 | 239932 | 253262 0 | 100 | 0 1774.45/1774.90 c 1772s | 17 | 704746 | 240232 | 253262 0 | 100 | 0 1776.95/1777.43 c 1774s | 17 | 705213 | 240532 | 253262 0 | 100 | 0 1779.74/1780.23 c 1777s | 17 | 705645 | 240832 | 253262 0 | 100 | 0 1782.05/1782.52 c 1779s | 17 | 706130 | 241132 | 253262 0 | 100 | 0 1784.55/1785.08 c 1782s | 17 | 706671 | 241432 | 253262 0 | 100 | 0 1787.24/1787.72 c 1785s | 17 | 707090 | 241732 | 253262 0 | 100 | 0 1789.75/1790.22 c 1787s | 17 | 707547 | 242032 | 253262 0 | 100 | 0 1792.55/1793.01 c 1790s | 17 | 708040 | 242332 | 253262 0 | 100 | 0 1795.15/1795.67 c 1792s | 17 | 708517 | 242632 | 253262 0 | 100 | 0 1797.25/1797.74 c 1795s | 17 | 708842 | 242832 | 253262 0 | 100 | 0 1799.25/1799.76 c 1797s | 17 | 709126 | 243032 | 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-4079379-1465325815/watcher-4079379-1465325815 -o /tmp/evaluation-result-4079379-1465325815/solver-4079379-1465325815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079379-1465325815.opb pid=14254 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.01 2.02 2.00 3/179 14257 /proc/meminfo: memFree=29054248/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=635324 CPUtime=0 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 2356 0 0 0 0 0 0 0 20 0 4 0 114516299 650571776 2717 33554432000 4194304 16246674 140735987644224 140735987643648 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 159599 2725 441 2943 0 156493 0 [pid=14257/tid=14258] ppid=14254 vsize=653756 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 669446144 2788 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=657852 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 673640448 2805 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=661948 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114516299 677834752 2821 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100185 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14257 /proc/meminfo: memFree=29054248/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 29271 0 0 0 5 4 0 0 20 0 4 0 114516299 1333334016 29570 33554432000 4194304 16246674 140735987644224 140735987643536 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 325521 29587 800 2943 0 322415 0 [pid=14257/tid=14258] ppid=14254 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1333334016 29599 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1333334016 29610 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1333334016 29621 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200531 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14257 /proc/meminfo: memFree=29054248/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 45113 0 0 0 13 6 0 0 20 0 4 0 114516299 1344868352 45923 33554432000 4194304 16246674 140735987644224 140735987643536 8057023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 328337 45923 801 2943 0 325231 0 [pid=14257/tid=14258] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 45923 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 45923 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 45923 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300499 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14257 /proc/meminfo: memFree=29054248/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 55905 0 0 0 21 8 0 0 20 0 4 0 114516299 1344868352 56715 33554432000 4194304 16246674 140735987644224 140735987643536 4207629 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 328337 56715 801 2943 0 325231 0 [pid=14257/tid=14258] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 56715 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 56715 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 56715 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700422 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14257 /proc/meminfo: memFree=29054248/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1313348 CPUtime=0.68 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 68398 0 0 0 59 9 0 0 20 0 4 0 114516299 1344868352 69208 33554432000 4194304 16246674 140735987644224 140735987627216 13965719 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 328337 69208 803 2943 0 325231 0 [pid=14257/tid=14258] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 69208 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 69208 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1344868352 69208 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50043 s] /proc/loadavg: 2.00 2.02 2.00 3/183 14261 /proc/meminfo: memFree=28674136/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1318468 CPUtime=1.49 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 164975 0 0 0 122 27 0 0 20 0 4 0 114516299 1350111232 165785 33554432000 4194304 16246674 140735987644224 140735987627216 6156109 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 329617 165797 843 2943 0 326511 0 [pid=14257/tid=14258] ppid=14254 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1350111232 165804 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1350111232 165811 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1350111232 165816 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1318468 [startup+3.10044 s] /proc/loadavg: 2.00 2.02 2.00 3/183 14261 /proc/meminfo: memFree=27970808/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=3.09 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272855 0 0 0 267 42 0 0 20 0 4 0 114516299 1360596992 273665 33554432000 4194304 16246674 140735987644224 140735987626112 5829740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273665 892 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273665 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273665 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273665 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1328708 [startup+6.30042 s] /proc/loadavg: 2.00 2.02 2.00 3/183 14261 /proc/meminfo: memFree=27960656/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=6.29 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272860 0 0 0 587 42 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140735987626112 13820928 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273670 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1328708 [startup+12.7004 s] /proc/loadavg: 2.08 2.03 2.01 3/183 14261 /proc/meminfo: memFree=27960876/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=12.69 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272860 0 0 0 1227 42 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140735987626112 5598610 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273670 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1328708 [startup+25.5005 s] /proc/loadavg: 2.07 2.03 2.00 3/183 14261 /proc/meminfo: memFree=27961628/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=25.48 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272860 0 0 0 2506 42 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140735987626112 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273670 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1328708 [startup+51.1005 s] /proc/loadavg: 2.11 2.04 2.01 3/183 14261 /proc/meminfo: memFree=27961732/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=51.08 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272860 0 0 0 5061 47 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140735987626112 13820926 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273670 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1328708 [startup+102.301 s] /proc/loadavg: 2.08 2.05 2.01 3/183 14262 /proc/meminfo: memFree=27961156/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=102.28 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 272860 0 0 0 10179 49 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140735987626112 5600380 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273670 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273670 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1328708 ################ # More data... # ################ /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.05 2.08 2.01 3/183 14366 /proc/meminfo: memFree=27954776/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1361.92 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 133537 2655 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5599982 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.07 2.08 2.01 3/184 14370 /proc/meminfo: memFree=27954360/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1421.91 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 139382 2809 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.15 2.09 2.02 3/183 14371 /proc/meminfo: memFree=27953652/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1481.89 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 145097 3092 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1328708 [startup+1542.31 s] /proc/loadavg: 2.11 2.09 2.02 3/183 14372 /proc/meminfo: memFree=27954172/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1541.89 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 150772 3417 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5717473 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.08 2.08 2.02 3/183 14373 /proc/meminfo: memFree=27954076/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1601.88 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 156744 3444 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5677492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1328708 [startup+1662.3 s] /proc/loadavg: 2.18 2.11 2.03 3/183 14375 /proc/meminfo: memFree=27953852/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1661.87 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 162726 3461 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 12466644 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.07 2.09 2.02 3/183 14376 /proc/meminfo: memFree=27953748/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1721.86 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 168717 3469 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5600072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.09 2.09 2.02 3/183 14377 /proc/meminfo: memFree=27953524/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1781.85 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 174709 3476 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5722490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.02 3/183 14378 /proc/meminfo: memFree=27953608/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1800.04 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 176518 3486 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5601264 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1328708 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 14257 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.02 3/183 14378 /proc/meminfo: memFree=27953608/32872528 swapFree=12744/274376 [pid=14257] ppid=14254 vsize=1328708 CPUtime=1800.04 cores=1,3,5,7 /proc/14257/stat : 14257 (toysat) R 14254 14257 11961 0 -1 4202496 273164 0 0 0 176518 3486 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140735987626112 5601264 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14257/statm: 332177 273926 896 2943 0 329071 0 [pid=14257/tid=14258] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14258/stat : 14258 (toysat) S 14254 14257 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530269793520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=14257/tid=14259] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14259/stat : 14259 (toysat) S 14254 14257 11961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530189053168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=14257/tid=14260] ppid=14254 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/14257/task/14260/stat : 14260 (toysat) S 14254 14257 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114516299 1360596992 273926 33554432000 4194304 16246674 140735987644224 140530178579632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1765.19 CPU system time (s): 34.8687 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.19 system time used= 34.8687 maximum resident set size= 1095704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273164 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= 322 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.73428 second user time and 6.81696 second system time The end
Begin job on node107 at 2016-06-07 20:56:55 IDJOB=4079379 IDBENCH=92687 IDSOLVER=2542 FILE ID=node107/4079379-1465325815 RUNJOBID= node107-1465310409-12875 PBS_JOBID= 19848089 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat25_4_7_5_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-4079379-1465325815/watcher-4079379-1465325815 -o /tmp/evaluation-result-4079379-1465325815/solver-4079379-1465325815 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079379-1465325815.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 60919230beb4b87ee73e0f0d7ecbd414 RANDOM SEED=2001774819 node107.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.441 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 : 5332.88 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.441 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.441 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.54 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 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.441 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.56 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29054512 kB Buffers: 104156 kB Cached: 351332 kB SwapCached: 1648 kB Active: 2497848 kB Inactive: 303712 kB Active(anon): 2345508 kB Inactive(anon): 2796 kB Active(file): 152340 kB Inactive(file): 300916 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098592 kB Dirty: 20592 kB Writeback: 0 kB AnonPages: 2619820 kB Mapped: 10704 kB Shmem: 0 kB Slab: 604404 kB SReclaimable: 47680 kB SUnreclaim: 556724 kB KernelStack: 1520 kB PageTables: 9304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2765732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1792000 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= 71676 MiB End job on node107 at 2016-06-07 21:26:56