| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K160.opb |
| MD5SUM | 4be3ef5c0a6baf670611a9fd5e5deae8 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 19040 |
| Total number of constraints | 19362 |
| Number of constraints which are clauses | 19202 |
| Number of constraints which are cardinality constraints (but not clauses) | 160 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 160 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 161 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-07T09:51:18+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-4078906-1465285878.opb"] 0.00/0.01 c use --random-gen="933846445 730291606 2365983783 2735620280 1885786829 1012729754 1990830463 3605934945 2060514906 3818467084 1648951429 1972044597 475879123 2424893035 2611889001 4175792342 1640203267 2105912125 1285691211 727988199 2657321281 4235683240 1800932098 3045462393 1903669367 436350687 2652959702 1605330604 1049850941 1696720868 1184483501 1379565478 2982032739 3139609747 2377008374 3383269525 2651997761 275487746 4216452381 4118178610 331564638 393334299 4115363955 2442541102 2951777399 227589091 262647535 3321127775 1124644054 2242898245 1548278657 141820050 2915512159 824555680 2587342221 171756222 59041251 2155796155 3847206233 3842169350 3120789982 2922528809 3425703457 4105566442 788726671 3146198310 2900526881 2305795411 2997099674 3103098520 4237588550 1900149621 666588224 1055990680 3758813421 2532515721 769989027 2034007368 3487664484 4171977336 3467131657 2843035031 2666663265 2335321418 1149333243 1594099915 3174371545 3284151993 1909280195 189470852 308672522 371548946 2711582617 3305198105 1362848844 1904877965 229114240 2629754661 849006643 1479757001 1031358376 76672721 2271139421 4236805221 2379636717 2850092204 3799645604 4096622560 3770269235 2691892573 1343842831 2699961257 3913712290 1176517331 1136067498 3700112301 2438434830 1950946253 3539105978 1867274381 566955960 1951739290 1314752396 4101389820 2689613411 794304835 2172648579 1970350134 1189854835 3295923977 380413588 4204533952 896387084 1568983143 842562472 2639722484 2559127088 2408443745 4266067900 869870583 1074334704 435019467 1271092186 3603129811 1745607246 485283477 2729687595 3780955060 3431184715 3631239241 4155932874 797542308 1620820302 1531834694 1757217917 2985545145 1497474239 1612400678 429938669 1529231775 1879133352 2677141770 1946085367 2134666993 2691923922 1946723074 3195985059 2745507863 1029413375 2114885089 819513763 139792159 332062077 2535111304 2342015902 4276335294 2639868677 3550632993 2433683997 3187461818 1979415185 1534595380 2659912399 2585165725 2090347878 1864070297 184804313 679028243 1064065684 623009062 1268192490 1917485948 3817532073 1754094725 3320212514 364020863 95337906 229208341 2960583426 1352915184 4106313565 2686361738 339455989 3645872502 2305557062 246887587 1039762823 1549121011 1321716600 1889519678 3979738863 79429937 1506139561 3354250578 1015883302 1359879008 1854599759 4148197815 4294687323 3126800513 1257923255 3610687856 4116067285 929328206 238347107 812341971 2886964051 3767638181 1609978475 3331554390 3994885815 1447909442 162897528 3476236722 253326912 649720930 3698769113 1416874287 2327056033 1370607080 1886296377 2672890856 3891823157 3511489289 3589118613 1159303949 3270735416 3546948626 3679196821 2401210875 108133241 3588241524 1918275370 399245936 1035845150 2017897347 255 362436" option to reproduce the execution 0.19/0.28 c #vars 19040 0.19/0.28 c #constraints 19362 0.68/0.71 c Solving starts ... 0.68/0.71 c ============================[ Search Statistics ]============================ 0.68/0.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.68/0.71 c | | | | Limit GC | Var | Constra 0.68/0.71 c ============================================================================= 0.99/1.01 c 0.0s | 0 | 0 | 0 | 12800 0 | 742 | 0 1.39/1.40 c 0.7s | 1 | 22415 | 100 | 12800 0 | 743 | 634 1.98/2.09 c 1.4s | 2 | 28399 | 250 | 14081 0 | 743 | 634 2.78/2.88 c 2.2s | 3 | 44409 | 475 | 15490 0 | 743 | 634 3.78/3.88 c 3.2s | 4 | 56082 | 813 | 17039 0 | 743 | 634 4.98/5.03 c 4.3s | 5 | 74122 | 1320 | 18743 0 | 744 | 635 6.79/6.88 c 6.2s | 6 | 102946 | 2081 | 22680 0 | 745 | 636 9.18/9.20 c 8.5s | 6 | 134686 | 2981 | 22680 0 | 746 | 637 9.68/9.79 c 9.1s | 7 | 141743 | 3223 | 24949 0 | 746 | 637 12.08/12.14 c 11.4s | 7 | 173937 | 4023 | 24949 0 | 749 | 640 14.18/14.27 c 13.6s | 7 | 208248 | 4823 | 24949 0 | 750 | 641 14.49/14.55 c 13.8s | 8 | 210143 | 4936 | 27444 0 | 750 | 641 16.69/16.73 c 16.0s | 8 | 246930 | 5636 | 27444 0 | 750 | 641 18.79/18.84 c 18.1s | 8 | 278561 | 6236 | 27444 0 | 752 | 643 20.78/20.85 c 20.1s | 8 | 304529 | 7036 | 27444 0 | 752 | 643 21.78/21.87 c 21.2s | 9 | 316622 | 7506 | 30189 0 | 752 | 643 23.88/23.98 c 23.3s | 9 | 350929 | 8306 | 30189 0 | 752 | 643 25.98/26.06 c 25.3s | 9 | 355003 | 8906 | 30189 0 | 752 | 643 28.38/28.40 c 27.7s | 9 | 356961 | 9406 | 30189 0 | 752 | 643 30.88/30.98 c 30.3s | 9 | 358939 | 9906 | 30189 0 | 752 | 643 33.18/33.26 c 32.5s | 9 | 382416 | 10506 | 30189 0 | 753 | 644 35.28/35.32 c 34.6s | 9 | 408494 | 11106 | 30189 0 | 754 | 645 35.88/35.99 c 35.3s | 10 | 409659 | 11361 | 33208 0 | 754 | 645 38.28/38.33 c 37.6s | 10 | 424138 | 12061 | 33208 0 | 754 | 645 40.48/40.50 c 39.8s | 10 | 452297 | 12761 | 33208 0 | 754 | 645 42.68/42.76 c 42.1s | 10 | 482359 | 13361 | 33208 0 | 755 | 646 44.68/44.78 c 44.1s | 10 | 514190 | 13961 | 33208 0 | 755 | 646 46.77/46.87 c 46.2s | 10 | 544721 | 14561 | 33208 0 | 756 | 647 48.88/48.97 c 48.3s | 10 | 567167 | 15161 | 33208 0 | 757 | 648 51.28/51.30 c 50.6s | 10 | 598138 | 15961 | 33208 0 | 757 | 648 53.38/53.44 c 52.7s | 10 | 623907 | 16661 | 33208 0 | 757 | 648 54.88/54.99 c 54.3s | 11 | 642224 | 17144 | 36529 0 | 757 | 648 57.18/57.20 c 56.5s | 11 | 670696 | 17744 | 36529 0 | 757 | 648 59.49/59.59 c 58.9s | 11 | 692357 | 18444 | 36529 0 | 758 | 649 61.98/62.06 c 61.3s | 11 | 728429 | 19044 | 36529 0 | 758 | 649 64.38/64.41 c 63.7s | 11 | 757273 | 19644 | 36529 0 | 758 | 649 66.38/66.49 c 65.8s | 11 | 782687 | 20244 | 36529 0 | 758 | 649 68.48/68.59 c 67.9s | 11 | 808155 | 20844 | 36529 0 | 758 | 649 70.59/70.66 c 69.9s | 11 | 819216 | 21444 | 36529 0 | 758 | 649 72.88/72.94 c 72.2s | 11 | 848514 | 22044 | 36529 0 | 758 | 649 74.88/74.95 c 74.2s | 11 | 868374 | 22544 | 36529 0 | 759 | 650 76.98/77.07 c 76.4s | 11 | 878573 | 23344 | 36529 0 | 759 | 650 79.38/79.45 c 78.7s | 11 | 893882 | 23944 | 36529 0 | 760 | 651 81.48/81.51 c 80.8s | 11 | 915682 | 24544 | 36529 0 | 760 | 651 83.57/83.68 c 83.0s | 11 | 941959 | 25144 | 36529 0 | 760 | 651 85.67/85.75 c 85.0s | 11 | 963827 | 25544 | 36529 0 | 761 | 652 86.47/86.58 c 85.9s | 12 | 969211 | 25819 | 40182 0 | 761 | 652 88.77/88.88 c 88.2s | 12 | 988231 | 26319 | 40182 0 | 762 | 653 90.97/91.07 c 90.4s | 12 | 1014625 | 26919 | 40182 0 | 762 | 653 93.17/93.23 c 92.5s | 12 | 1024955 | 27519 | 40182 0 | 762 | 653 95.47/95.51 c 94.8s | 12 | 1055719 | 28019 | 40182 0 | 762 | 653 97.47/97.55 c 96.8s | 12 | 1068486 | 28619 | 40182 0 | 762 | 653 99.57/99.60 c 98.9s | 12 | 1074569 | 29219 | 40182 0 | 762 | 653 101.97/102.03 c 101s | 12 | 1077134 | 29719 | 40182 0 | 762 | 653 104.27/104.36 c 103s | 12 | 1078407 | 30119 | 40182 0 | 762 | 653 106.37/106.40 c 105s | 12 | 1079552 | 30419 | 40182 0 | 762 | 653 108.97/109.08 c 108s | 12 | 1081313 | 30919 | 40182 0 | 762 | 653 111.27/111.33 c 110s | 12 | 1082972 | 31319 | 40182 0 | 762 | 653 113.27/113.38 c 112s | 12 | 1083888 | 31619 | 40182 0 | 762 | 653 115.57/115.61 c 114s | 12 | 1086699 | 32019 | 40182 0 | 762 | 653 118.47/118.52 c 117s | 12 | 1088025 | 32319 | 40182 0 | 762 | 653 120.97/121.00 c 120s | 12 | 1089159 | 32619 | 40182 0 | 762 | 653 123.47/123.55 c 122s | 12 | 1090553 | 32919 | 40182 0 | 762 | 653 125.87/125.98 c 125s | 12 | 1091533 | 33219 | 40182 0 | 762 | 653 129.27/129.30 c 128s | 12 | 1092963 | 33519 | 40182 0 | 762 | 653 131.27/131.39 c 130s | 12 | 1093968 | 33819 | 40182 0 | 762 | 653 133.97/134.05 c 133s | 12 | 1095212 | 34119 | 40182 0 | 762 | 653 136.07/136.13 c 135s | 12 | 1096102 | 34319 | 40182 0 | 762 | 653 138.67/138.77 c 138s | 12 | 1097132 | 34619 | 40182 0 | 762 | 653 141.26/141.32 c 140s | 12 | 1098253 | 34919 | 40182 0 | 762 | 653 143.46/143.55 c 142s | 12 | 1098868 | 35119 | 40182 0 | 762 | 653 146.06/146.13 c 145s | 12 | 1099487 | 35319 | 40182 0 | 762 | 653 148.47/148.56 c 147s | 12 | 1100101 | 35519 | 40182 0 | 762 | 653 151.37/151.41 c 150s | 12 | 1100589 | 35719 | 40182 0 | 762 | 653 153.67/153.72 c 153s | 12 | 1112395 | 36119 | 40182 0 | 762 | 653 155.97/156.04 c 155s | 12 | 1120422 | 36719 | 40182 0 | 762 | 653 158.57/158.64 c 157s | 12 | 1122870 | 37119 | 40182 0 | 762 | 653 160.77/160.81 c 160s | 12 | 1125876 | 37619 | 40182 0 | 762 | 653 162.87/162.93 c 162s | 12 | 1140755 | 38219 | 40182 0 | 762 | 653 164.76/164.82 c 164s | 13 | 1150185 | 38832 | 44201 0 | 762 | 653 167.06/167.14 c 166s | 13 | 1165611 | 39232 | 44201 0 | 762 | 653 169.16/169.26 c 168s | 13 | 1183989 | 39832 | 44201 0 | 762 | 653 171.46/171.54 c 170s | 13 | 1204587 | 40332 | 44201 0 | 762 | 653 173.87/173.98 c 173s | 13 | 1228250 | 41032 | 44201 0 | 762 | 653 176.17/176.27 c 175s | 13 | 1247434 | 41532 | 44201 0 | 762 | 653 178.27/178.34 c 177s | 13 | 1270302 | 42032 | 44201 0 | 762 | 653 180.47/180.53 c 179s | 13 | 1288834 | 42532 | 44201 0 | 762 | 653 182.77/182.89 c 182s | 13 | 1307437 | 43232 | 44201 0 | 762 | 653 185.26/185.33 c 184s | 13 | 1332711 | 43732 | 44201 0 | 762 | 653 187.66/187.75 c 187s | 13 | 1348049 | 44032 | 44201 0 | 763 | 654 190.06/190.11 c 189s | 13 | 1371608 | 44532 | 44201 0 | 763 | 654 192.36/192.44 c 191s | 13 | 1376323 | 44932 | 44201 0 | 764 | 655 194.66/194.70 c 193s | 13 | 1381653 | 45432 | 44201 0 | 764 | 655 196.86/196.96 c 196s | 13 | 1402167 | 46032 | 44201 0 | 764 | 655 198.86/198.99 c 198s | 13 | 1423265 | 46432 | 44201 0 | 764 | 655 201.96/202.03 c 201s | 13 | 1444606 | 46932 | 44201 1 | 764 | 655 203.96/204.04 c 203s | 13 | 1463713 | 47632 | 44201 1 | 764 | 655 206.05/206.15 c 205s | 13 | 1481737 | 48032 | 44201 1 | 765 | 656 208.65/208.75 c 208s | 13 | 1505111 | 48632 | 44201 1 | 766 | 657 210.85/210.90 c 210s | 13 | 1514482 | 49332 | 44201 1 | 766 | 657 213.15/213.26 c 212s | 13 | 1537396 | 50032 | 44201 1 | 766 | 657 215.25/215.39 c 214s | 13 | 1544087 | 50532 | 44201 1 | 766 | 657 217.45/217.55 c 216s | 13 | 1554040 | 51032 | 44201 1 | 767 | 658 219.45/219.59 c 218s | 13 | 1569417 | 51732 | 44201 1 | 767 | 658 221.85/221.91 c 221s | 13 | 1590757 | 52432 | 44201 1 | 767 | 658 223.85/223.99 c 223s | 13 | 1610289 | 52932 | 44201 1 | 767 | 658 226.05/226.10 c 225s | 13 | 1627814 | 53432 | 44201 1 | 767 | 658 228.25/228.30 c 227s | 13 | 1642095 | 54032 | 44201 1 | 767 | 658 230.35/230.41 c 229s | 13 | 1658573 | 54632 | 44201 1 | 767 | 658 232.35/232.42 c 231s | 13 | 1674370 | 55232 | 44201 1 | 767 | 658 234.36/234.48 c 233s | 13 | 1690266 | 55832 | 44201 1 | 767 | 658 236.56/236.70 c 235s | 13 | 1710653 | 56432 | 44201 1 | 767 | 658 239.05/239.10 c 238s | 13 | 1732263 | 57032 | 44201 1 | 767 | 658 241.35/241.43 c 240s | 13 | 1752804 | 57632 | 44201 1 | 767 | 658 243.75/243.83 c 243s | 13 | 1775535 | 58232 | 48622 1 | 767 | 658 244.15/244.23 c 243s | 14 | 1777590 | 58352 | 48622 1 | 767 | 658 246.25/246.36 c 245s | 14 | 1791292 | 58752 | 48622 1 | 767 | 658 248.45/248.55 c 247s | 14 | 1796792 | 59652 | 48622 1 | 767 | 658 250.55/250.66 c 249s | 14 | 1801271 | 60452 | 48622 1 | 767 | 658 253.05/253.18 c 252s | 14 | 1805812 | 61252 | 48622 1 | 767 | 658 255.65/255.74 c 255s | 14 | 1830681 | 61852 | 48622 1 | 767 | 658 257.95/258.04 c 257s | 14 | 1848203 | 62352 | 48622 1 | 767 | 658 260.25/260.32 c 259s | 14 | 1868503 | 62852 | 48622 1 | 767 | 658 262.35/262.47 c 261s | 14 | 1887944 | 63252 | 48622 1 | 767 | 658 264.34/264.49 c 263s | 14 | 1894280 | 63952 | 48622 1 | 767 | 658 266.44/266.55 c 265s | 14 | 1906317 | 64452 | 48622 1 | 767 | 658 268.84/268.90 c 268s | 14 | 1907967 | 64952 | 48622 1 | 767 | 658 271.14/271.29 c 270s | 14 | 1911410 | 65452 | 48622 1 | 767 | 658 273.64/273.72 c 273s | 14 | 1933332 | 65952 | 48622 1 | 767 | 658 276.15/276.25 c 275s | 14 | 1951639 | 66552 | 48622 1 | 767 | 658 278.35/278.48 c 277s | 14 | 1968473 | 67152 | 48622 1 | 767 | 658 280.65/280.78 c 280s | 14 | 1985103 | 67652 | 48622 1 | 767 | 658 283.14/283.21 c 282s | 14 | 2009469 | 68152 | 48622 1 | 767 | 658 285.44/285.50 c 284s | 14 | 2024656 | 68552 | 48622 1 | 767 | 658 287.84/287.96 c 287s | 14 | 2039993 | 69052 | 48622 1 | 767 | 658 290.24/290.37 c 289s | 14 | 2059652 | 69552 | 48622 1 | 767 | 658 292.24/292.37 c 291s | 14 | 2072624 | 69952 | 48622 1 | 767 | 658 294.64/294.72 c 294s | 14 | 2085957 | 70452 | 48622 1 | 767 | 658 296.84/296.99 c 296s | 14 | 2098921 | 71052 | 48622 1 | 767 | 658 299.04/299.14 c 298s | 14 | 2113128 | 71452 | 48622 1 | 767 | 658 301.45/301.58 c 300s | 14 | 2132446 | 71952 | 48622 1 | 767 | 658 303.54/303.65 c 302s | 14 | 2141293 | 72352 | 48622 1 | 767 | 658 305.74/305.86 c 305s | 14 | 2142632 | 72652 | 48622 1 | 767 | 658 308.04/308.11 c 307s | 14 | 2144775 | 72952 | 48622 1 | 767 | 658 310.53/310.67 c 309s | 14 | 2147049 | 73352 | 48622 1 | 767 | 658 312.84/312.98 c 312s | 14 | 2150378 | 73652 | 48622 1 | 767 | 658 315.14/315.22 c 314s | 14 | 2165606 | 74152 | 48622 1 | 767 | 658 317.54/317.61 c 316s | 14 | 2182997 | 74652 | 48622 1 | 767 | 658 319.84/319.94 c 319s | 14 | 2198360 | 75252 | 48622 1 | 767 | 658 321.94/322.01 c 321s | 14 | 2204746 | 75452 | 48622 2 | 767 | 658 324.24/324.36 c 323s | 14 | 2226033 | 76052 | 48622 2 | 767 | 658 326.34/326.49 c 325s | 14 | 2247136 | 76552 | 48622 2 | 767 | 658 328.34/328.49 c 327s | 14 | 2262116 | 77252 | 48622 2 | 767 | 658 330.54/330.67 c 329s | 14 | 2280919 | 77752 | 48622 2 | 767 | 658 332.64/332.72 c 332s | 14 | 2292295 | 78352 | 48622 2 | 767 | 658 334.74/334.82 c 334s | 14 | 2302089 | 78652 | 48622 2 | 767 | 658 336.94/337.02 c 336s | 14 | 2315644 | 79152 | 48622 2 | 767 | 658 339.34/339.43 c 338s | 14 | 2326788 | 79852 | 48622 2 | 767 | 658 341.64/341.71 c 340s | 14 | 2347589 | 80352 | 48622 2 | 767 | 658 343.94/344.00 c 343s | 14 | 2361445 | 81152 | 48622 2 | 767 | 658 346.14/346.22 c 345s | 14 | 2376478 | 81752 | 48622 2 | 767 | 658 348.54/348.62 c 347s | 14 | 2384918 | 82352 | 48622 2 | 767 | 658 350.74/350.82 c 350s | 14 | 2405953 | 82752 | 48622 2 | 768 | 659 352.84/352.98 c 352s | 14 | 2424353 | 83152 | 48622 2 | 768 | 659 355.34/355.44 c 354s | 14 | 2446133 | 83652 | 48622 2 | 768 | 659 357.64/357.76 c 357s | 14 | 2470133 | 84052 | 48622 2 | 768 | 659 359.93/360.02 c 359s | 14 | 2491429 | 84552 | 48622 2 | 768 | 659 362.23/362.36 c 361s | 14 | 2505059 | 85052 | 48622 2 | 768 | 659 364.53/364.62 c 363s | 14 | 2511705 | 85552 | 48622 2 | 768 | 659 366.63/366.79 c 366s | 14 | 2527138 | 86052 | 48622 2 | 768 | 659 368.93/369.01 c 368s | 14 | 2545699 | 86552 | 48622 2 | 768 | 659 370.93/371.09 c 370s | 14 | 2561614 | 87052 | 53485 2 | 768 | 659 373.23/373.36 c 372s | 14 | 2573747 | 87552 | 53485 2 | 768 | 659 373.63/373.73 c 373s | 15 | 2575705 | 87632 | 53485 2 | 768 | 659 375.83/375.94 c 375s | 15 | 2593390 | 88032 | 53485 2 | 768 | 659 378.23/378.36 c 377s | 15 | 2599473 | 88632 | 53485 2 | 768 | 659 380.53/380.60 c 379s | 15 | 2613198 | 89132 | 53485 2 | 768 | 659 382.63/382.76 c 382s | 15 | 2622461 | 89432 | 53485 2 | 769 | 660 384.93/385.07 c 384s | 15 | 2637730 | 90032 | 53485 2 | 769 | 660 387.24/387.36 c 386s | 15 | 2650741 | 90532 | 53485 2 | 769 | 660 389.54/389.63 c 388s | 15 | 2667853 | 91132 | 53485 2 | 769 | 660 391.64/391.75 c 391s | 15 | 2678707 | 91532 | 53485 2 | 769 | 660 394.13/394.24 c 393s | 15 | 2703770 | 92032 | 53485 2 | 769 | 660 396.33/396.44 c 395s | 15 | 2720512 | 92632 | 53485 2 | 769 | 660 398.73/398.84 c 398s | 15 | 2739174 | 93132 | 53485 2 | 769 | 660 400.73/400.85 c 400s | 15 | 2755037 | 93632 | 53485 2 | 769 | 660 402.73/402.88 c 402s | 15 | 2773091 | 94032 | 53485 2 | 769 | 660 405.53/405.62 c 404s | 15 | 2794407 | 94432 | 53485 2 | 770 | 661 407.63/407.74 c 407s | 15 | 2811029 | 94832 | 53485 2 | 770 | 661 409.92/410.08 c 409s | 15 | 2829885 | 95432 | 53485 2 | 770 | 661 411.92/412.08 c 411s | 15 | 2838309 | 95932 | 53485 2 | 770 | 661 414.12/414.22 c 413s | 15 | 2852203 | 96432 | 53485 2 | 770 | 661 416.12/416.26 c 415s | 15 | 2861967 | 96832 | 53485 2 | 770 | 661 418.42/418.59 c 417s | 15 | 2881114 | 97332 | 53485 2 | 770 | 661 420.72/420.81 c 420s | 15 | 2899135 | 97832 | 53485 2 | 770 | 661 423.12/423.20 c 422s | 15 | 2904207 | 98332 | 53485 2 | 770 | 661 425.42/425.55 c 424s | 15 | 2911466 | 98732 | 53485 2 | 770 | 661 427.72/427.81 c 427s | 15 | 2918033 | 99132 | 53485 2 | 770 | 661 429.82/429.92 c 429s | 15 | 2921907 | 99532 | 53485 2 | 770 | 661 432.12/432.24 c 431s | 15 | 2945460 | 99932 | 53485 2 | 770 | 661 434.22/434.30 c 433s | 15 | 2956366 | 100332 | 53485 2 | 770 | 661 436.42/436.50 c 435s | 15 | 2974536 | 100832 | 53485 2 | 770 | 661 438.52/438.60 c 437s | 15 | 2987365 | 101332 | 53485 2 | 770 | 661 440.82/440.92 c 440s | 15 | 2997299 | 101832 | 53485 2 | 770 | 661 443.02/443.10 c 442s | 15 | 3012508 | 102332 | 53485 2 | 770 | 661 445.12/445.21 c 444s | 15 | 3027459 | 102732 | 53485 2 | 770 | 661 447.32/447.48 c 446s | 15 | 3043889 | 103232 | 53485 2 | 770 | 661 449.41/449.58 c 448s | 15 | 3059681 | 103732 | 53485 2 | 770 | 661 451.81/451.94 c 451s | 15 | 3073694 | 104232 | 53485 2 | 770 | 661 453.81/453.99 c 453s | 15 | 3090628 | 104632 | 53485 2 | 770 | 661 456.21/456.31 c 455s | 15 | 3105951 | 105132 | 53485 2 | 770 | 661 458.61/458.76 c 458s | 15 | 3112825 | 105432 | 53485 3 | 770 | 661 460.81/460.93 c 460s | 15 | 3132718 | 106032 | 53485 3 | 770 | 661 463.22/463.33 c 462s | 15 | 3157902 | 106532 | 53485 3 | 770 | 661 465.32/465.42 c 464s | 15 | 3177151 | 106932 | 53485 3 | 771 | 662 467.52/467.65 c 466s | 15 | 3198996 | 107432 | 53485 3 | 771 | 662 470.01/470.11 c 469s | 15 | 3221483 | 107932 | 53485 3 | 771 | 662 472.41/472.59 c 471s | 15 | 3248963 | 108432 | 53485 3 | 771 | 662 474.61/474.71 c 473s | 15 | 3268721 | 109032 | 53485 3 | 771 | 662 476.71/476.82 c 476s | 15 | 3274848 | 109532 | 53485 3 | 771 | 662 479.11/479.26 c 478s | 15 | 3276482 | 109932 | 53485 3 | 771 | 662 482.11/482.27 c 481s | 15 | 3277852 | 110332 | 53485 3 | 771 | 662 484.21/484.39 c 483s | 15 | 3279609 | 110632 | 53485 3 | 771 | 662 486.51/486.61 c 485s | 15 | 3281597 | 111032 | 53485 3 | 771 | 662 488.72/488.88 c 488s | 15 | 3292609 | 111532 | 53485 3 | 771 | 662 490.82/490.92 c 490s | 15 | 3312105 | 112032 | 53485 3 | 771 | 662 493.12/493.24 c 492s | 15 | 3324811 | 112832 | 53485 3 | 771 | 662 495.21/495.31 c 494s | 15 | 3342225 | 113332 | 53485 3 | 771 | 662 497.32/497.44 c 496s | 15 | 3345092 | 113832 | 53485 3 | 771 | 662 499.42/499.56 c 498s | 15 | 3358510 | 114232 | 53485 3 | 771 | 662 501.51/501.66 c 500s | 15 | 3378070 | 114632 | 53485 3 | 771 | 662 503.71/503.86 c 503s | 15 | 3396465 | 115132 | 53485 3 | 771 | 662 506.21/506.33 c 505s | 15 | 3418750 | 115732 | 53485 3 | 771 | 662 508.41/508.51 c 507s | 15 | 3440128 | 116132 | 53485 3 | 771 | 662 510.52/510.69 c 509s | 15 | 3454863 | 116732 | 53485 3 | 771 | 662 512.62/512.79 c 512s | 15 | 3469233 | 117232 | 53485 3 | 771 | 662 514.71/514.88 c 514s | 15 | 3489015 | 117732 | 53485 3 | 771 | 662 516.91/517.02 c 516s | 15 | 3504355 | 118232 | 53485 3 | 771 | 662 519.11/519.28 c 518s | 15 | 3518308 | 118732 | 53485 3 | 771 | 662 521.21/521.32 c 520s | 15 | 3529800 | 119232 | 53485 3 | 771 | 662 523.51/523.60 c 522s | 15 | 3547129 | 119732 | 53485 3 | 771 | 662 525.71/525.81 c 525s | 15 | 3565291 | 120232 | 53485 3 | 771 | 662 528.01/528.16 c 527s | 15 | 3579007 | 120832 | 53485 3 | 771 | 662 530.11/530.25 c 529s | 15 | 3590129 | 121232 | 53485 3 | 771 | 662 532.30/532.40 c 531s | 15 | 3594572 | 121732 | 53485 3 | 771 | 662 534.30/534.41 c 533s | 15 | 3606929 | 122132 | 53485 3 | 771 | 662 536.70/536.83 c 536s | 15 | 3623756 | 122832 | 53485 3 | 771 | 662 538.90/539.05 c 538s | 15 | 3637449 | 123432 | 53485 3 | 771 | 662 541.50/541.68 c 540s | 15 | 3646356 | 123932 | 53485 3 | 771 | 662 543.60/543.75 c 543s | 15 | 3663212 | 124332 | 53485 3 | 771 | 662 545.71/545.86 c 545s | 15 | 3680061 | 124832 | 53485 3 | 771 | 662 548.30/548.46 c 547s | 15 | 3683593 | 125432 | 53485 3 | 771 | 662 550.70/550.80 c 550s | 15 | 3695209 | 125932 | 53485 3 | 771 | 662 552.70/552.85 c 552s | 15 | 3710123 | 126332 | 53485 3 | 771 | 662 554.90/555.01 c 554s | 15 | 3720731 | 126732 | 53485 3 | 771 | 662 556.91/557.04 c 556s | 15 | 3730914 | 127232 | 53485 3 | 771 | 662 559.11/559.28 c 558s | 15 | 3734055 | 127732 | 53485 3 | 771 | 662 561.30/561.47 c 560s | 15 | 3741277 | 128132 | 53485 3 | 771 | 662 563.60/563.71 c 562s | 15 | 3743722 | 128532 | 53485 3 | 771 | 662 565.80/565.96 c 565s | 15 | 3755352 | 129032 | 53485 3 | 771 | 662 568.10/568.26 c 567s | 15 | 3766890 | 129532 | 53485 3 | 771 | 662 570.20/570.33 c 569s | 15 | 3769381 | 130032 | 53485 3 | 771 | 662 572.40/572.56 c 571s | 15 | 3771334 | 130532 | 53485 3 | 771 | 662 574.90/575.06 c 574s | 15 | 3784658 | 131032 | 58834 3 | 771 | 662 577.10/577.23 c 576s | 15 | 3793964 | 131532 | 58834 3 | 771 | 662 577.20/577.33 c 576s | 16 | 3794181 | 131552 | 58834 3 | 771 | 662 579.60/579.77 c 579s | 16 | 3806322 | 131852 | 58834 3 | 771 | 662 581.70/581.86 c 581s | 16 | 3820290 | 132252 | 58834 3 | 771 | 662 583.90/584.09 c 583s | 16 | 3837389 | 132652 | 58834 3 | 771 | 662 586.00/586.16 c 585s | 16 | 3844749 | 133052 | 58834 3 | 771 | 662 588.30/588.47 c 587s | 16 | 3862841 | 133552 | 58834 3 | 771 | 662 590.60/590.71 c 589s | 16 | 3876717 | 134052 | 58834 3 | 771 | 662 592.90/593.05 c 592s | 16 | 3887441 | 134552 | 58834 3 | 771 | 662 595.20/595.32 c 594s | 16 | 3896716 | 135052 | 58834 3 | 771 | 662 597.30/597.44 c 596s | 16 | 3904058 | 135452 | 58834 3 | 771 | 662 599.69/599.80 c 599s | 16 | 3912506 | 135952 | 58834 3 | 771 | 662 601.89/602.01 c 601s | 16 | 3924206 | 136452 | 58834 3 | 771 | 662 604.09/604.27 c 603s | 16 | 3939448 | 136952 | 58834 3 | 771 | 662 606.20/606.33 c 605s | 16 | 3949312 | 137452 | 58834 3 | 771 | 662 608.40/608.59 c 607s | 16 | 3957559 | 137952 | 58834 3 | 771 | 662 610.50/610.67 c 609s | 16 | 3972652 | 138352 | 58834 3 | 771 | 662 612.89/613.07 c 612s | 16 | 3983396 | 138852 | 58834 3 | 771 | 662 615.09/615.24 c 614s | 16 | 3997230 | 139352 | 58834 3 | 771 | 662 617.39/617.57 c 616s | 16 | 4007027 | 139852 | 58834 3 | 771 | 662 619.49/619.66 c 618s | 16 | 4011080 | 140052 | 58834 4 | 771 | 662 621.60/621.74 c 621s | 16 | 4026329 | 140552 | 58834 4 | 771 | 662 623.70/623.84 c 623s | 16 | 4041697 | 141052 | 58834 4 | 771 | 662 625.79/625.97 c 625s | 16 | 4054828 | 141652 | 58834 4 | 771 | 662 628.20/628.38 c 627s | 16 | 4062546 | 142052 | 58834 4 | 771 | 662 630.69/630.83 c 630s | 16 | 4064254 | 142452 | 58834 4 | 771 | 662 632.79/632.94 c 632s | 16 | 4067238 | 142652 | 58834 4 | 771 | 662 634.89/635.07 c 634s | 16 | 4082187 | 143152 | 58834 4 | 771 | 662 637.39/637.57 c 636s | 16 | 4094639 | 143652 | 58834 4 | 771 | 662 639.69/639.80 c 639s | 16 | 4111748 | 144152 | 58834 4 | 771 | 662 641.79/641.99 c 641s | 16 | 4128997 | 144752 | 58834 4 | 771 | 662 643.89/644.01 c 643s | 16 | 4139680 | 145252 | 58834 4 | 771 | 662 646.08/646.24 c 645s | 16 | 4152538 | 145752 | 58834 4 | 771 | 662 648.18/648.32 c 647s | 16 | 4163245 | 146252 | 58834 4 | 771 | 662 650.48/650.62 c 649s | 16 | 4171144 | 146752 | 58834 4 | 771 | 662 652.98/653.12 c 652s | 16 | 4174843 | 147352 | 58834 4 | 771 | 662 655.08/655.25 c 654s | 16 | 4176012 | 147552 | 58834 4 | 771 | 662 657.18/657.35 c 656s | 16 | 4177403 | 147752 | 58834 4 | 771 | 662 659.28/659.50 c 658s | 16 | 4181905 | 148352 | 58834 4 | 771 | 662 662.08/662.24 c 661s | 16 | 4184001 | 148752 | 58834 4 | 771 | 662 664.28/664.45 c 663s | 16 | 4188480 | 149252 | 58834 4 | 771 | 662 666.59/666.76 c 666s | 16 | 4196619 | 149752 | 58834 4 | 771 | 662 668.58/668.77 c 668s | 16 | 4204418 | 150052 | 58834 4 | 771 | 662 670.68/670.85 c 670s | 16 | 4216798 | 150552 | 58834 4 | 771 | 662 673.19/673.30 c 672s | 16 | 4221059 | 151252 | 58834 4 | 771 | 662 675.39/675.60 c 674s | 16 | 4222705 | 151752 | 58834 4 | 771 | 662 677.89/678.09 c 677s | 16 | 4223074 | 151952 | 58834 4 | 771 | 662 679.99/680.12 c 679s | 16 | 4223414 | 152152 | 58834 4 | 771 | 662 683.19/683.32 c 682s | 16 | 4223708 | 152352 | 58834 4 | 771 | 662 685.39/685.55 c 684s | 16 | 4224233 | 152552 | 58834 4 | 771 | 662 687.98/688.12 c 687s | 16 | 4229907 | 153052 | 58834 4 | 771 | 662 690.38/690.50 c 689s | 16 | 4241775 | 153552 | 58834 4 | 771 | 662 692.68/692.80 c 692s | 16 | 4255888 | 154052 | 58834 4 | 771 | 662 694.98/695.13 c 694s | 16 | 4268685 | 154552 | 58834 4 | 771 | 662 697.08/697.27 c 696s | 16 | 4278060 | 155052 | 58834 4 | 771 | 662 699.18/699.36 c 698s | 16 | 4287664 | 155652 | 58834 4 | 771 | 662 701.58/701.72 c 701s | 16 | 4298094 | 156152 | 58834 4 | 771 | 662 703.98/704.14 c 703s | 16 | 4299080 | 156452 | 58834 4 | 771 | 662 707.28/707.46 c 706s | 16 | 4299579 | 156652 | 58834 4 | 771 | 662 710.28/710.44 c 709s | 16 | 4300118 | 156852 | 58834 4 | 771 | 662 713.58/713.70 c 712s | 16 | 4301686 | 157052 | 58834 4 | 771 | 662 718.38/718.51 c 717s | 16 | 4302598 | 157352 | 58834 4 | 771 | 662 721.58/721.74 c 721s | 16 | 4302913 | 157452 | 58834 4 | 771 | 662 725.18/725.36 c 724s | 16 | 4303287 | 157552 | 58834 4 | 771 | 662 728.19/728.31 c 727s | 16 | 4303840 | 157652 | 58834 4 | 771 | 662 731.08/731.25 c 730s | 16 | 4304132 | 157752 | 58834 4 | 771 | 662 734.98/735.15 c 734s | 16 | 4304308 | 157852 | 58834 4 | 771 | 662 737.28/737.49 c 736s | 16 | 4310068 | 158052 | 58834 4 | 771 | 662 739.68/739.88 c 739s | 16 | 4325556 | 158552 | 58834 4 | 771 | 662 741.78/741.92 c 741s | 16 | 4328303 | 159052 | 58834 4 | 771 | 662 743.97/744.15 c 743s | 16 | 4329320 | 159352 | 58834 4 | 771 | 662 746.07/746.23 c 745s | 16 | 4331881 | 159752 | 58834 4 | 771 | 662 748.57/748.77 c 748s | 16 | 4342450 | 160052 | 58834 4 | 771 | 662 751.17/751.31 c 750s | 16 | 4358289 | 160652 | 58834 4 | 771 | 662 753.77/753.98 c 753s | 16 | 4371624 | 161152 | 58834 4 | 771 | 662 756.37/756.50 c 755s | 16 | 4385758 | 161752 | 58834 4 | 771 | 662 758.37/758.55 c 757s | 16 | 4393807 | 162152 | 58834 4 | 771 | 662 760.87/761.05 c 760s | 16 | 4408904 | 162852 | 58834 4 | 771 | 662 762.97/763.16 c 762s | 16 | 4420325 | 163252 | 58834 4 | 771 | 662 764.97/765.17 c 764s | 16 | 4431363 | 163752 | 58834 4 | 771 | 662 767.37/767.56 c 766s | 16 | 4446354 | 164252 | 58834 4 | 771 | 662 769.67/769.89 c 769s | 16 | 4461517 | 164752 | 58834 4 | 771 | 662 771.77/771.96 c 771s | 16 | 4475746 | 165252 | 58834 4 | 771 | 662 773.97/774.19 c 773s | 16 | 4490045 | 165652 | 58834 4 | 771 | 662 776.37/776.59 c 775s | 16 | 4508100 | 166152 | 58834 4 | 771 | 662 778.67/778.80 c 778s | 16 | 4518588 | 166552 | 58834 4 | 771 | 662 780.67/780.81 c 780s | 16 | 4525509 | 166952 | 58834 4 | 771 | 662 782.77/782.97 c 782s | 16 | 4538005 | 167352 | 58834 4 | 771 | 662 785.07/785.25 c 784s | 16 | 4552922 | 167752 | 58834 4 | 771 | 662 787.27/787.48 c 786s | 16 | 4560381 | 168152 | 58834 4 | 771 | 662 789.87/790.08 c 789s | 16 | 4578570 | 168652 | 58834 4 | 771 | 662 792.17/792.37 c 791s | 16 | 4591445 | 169152 | 58834 4 | 771 | 662 794.57/794.70 c 793s | 16 | 4604682 | 169652 | 58834 4 | 771 | 662 796.57/796.78 c 796s | 16 | 4607712 | 169752 | 58834 5 | 771 | 662 798.87/799.01 c 798s | 16 | 4618182 | 170252 | 58834 5 | 771 | 662 801.07/801.26 c 800s | 16 | 4634861 | 170752 | 58834 5 | 771 | 662 803.26/803.44 c 802s | 16 | 4646306 | 171252 | 58834 5 | 771 | 662 805.36/805.59 c 804s | 16 | 4658128 | 171752 | 58834 5 | 771 | 662 807.66/807.88 c 807s | 16 | 4666020 | 172252 | 58834 5 | 771 | 662 809.96/810.18 c 809s | 16 | 4682659 | 172752 | 58834 5 | 771 | 662 812.26/812.40 c 811s | 16 | 4700629 | 173252 | 58834 5 | 771 | 662 814.56/814.75 c 814s | 16 | 4714965 | 173852 | 58834 5 | 771 | 662 816.56/816.76 c 816s | 16 | 4719218 | 174252 | 58834 5 | 771 | 662 818.56/818.79 c 818s | 16 | 4724503 | 174652 | 58834 5 | 771 | 662 820.67/820.88 c 820s | 16 | 4734871 | 175152 | 58834 5 | 771 | 662 823.06/823.22 c 822s | 16 | 4747284 | 175752 | 58834 5 | 771 | 662 825.46/825.61 c 824s | 16 | 4751746 | 176352 | 58834 5 | 771 | 662 827.76/827.90 c 827s | 16 | 4764187 | 176952 | 58834 5 | 771 | 662 830.06/830.29 c 829s | 16 | 4764863 | 177252 | 58834 5 | 771 | 662 832.36/832.60 c 831s | 16 | 4775872 | 177652 | 58834 5 | 771 | 662 834.56/834.76 c 834s | 16 | 4779460 | 178052 | 58834 5 | 771 | 662 836.66/836.85 c 836s | 16 | 4794049 | 178552 | 58834 5 | 772 | 663 838.86/839.04 c 838s | 16 | 4803778 | 179052 | 58834 5 | 772 | 663 840.86/841.08 c 840s | 16 | 4805919 | 179452 | 58834 5 | 772 | 663 842.95/843.13 c 842s | 16 | 4806353 | 179652 | 58834 5 | 772 | 663 845.35/845.57 c 844s | 16 | 4822659 | 180252 | 58834 5 | 772 | 663 847.95/848.12 c 847s | 16 | 4829469 | 180652 | 58834 5 | 772 | 663 850.27/850.45 c 849s | 16 | 4830036 | 180852 | 58834 5 | 772 | 663 852.76/852.94 c 852s | 16 | 4841062 | 181352 | 58834 5 | 772 | 663 855.06/855.24 c 854s | 16 | 4855098 | 181852 | 58834 5 | 772 | 663 857.26/857.49 c 856s | 16 | 4873406 | 182352 | 58834 5 | 772 | 663 859.56/859.74 c 859s | 16 | 4891803 | 182952 | 58834 5 | 772 | 663 861.76/861.99 c 861s | 16 | 4905012 | 183452 | 58834 5 | 772 | 663 863.86/864.08 c 863s | 16 | 4917444 | 183952 | 58834 5 | 772 | 663 866.06/866.24 c 865s | 16 | 4932553 | 184452 | 58834 5 | 772 | 663 868.16/868.34 c 867s | 16 | 4948601 | 184952 | 58834 5 | 772 | 663 870.36/870.58 c 869s | 16 | 4959956 | 185752 | 58834 5 | 772 | 663 872.56/872.73 c 872s | 16 | 4965994 | 186352 | 58834 5 | 772 | 663 874.85/875.05 c 874s | 16 | 4969165 | 186852 | 58834 5 | 772 | 663 877.35/877.58 c 876s | 16 | 4970782 | 187252 | 58834 5 | 772 | 663 879.65/879.86 c 879s | 16 | 4972951 | 187652 | 58834 5 | 772 | 663 882.16/882.38 c 881s | 16 | 4973963 | 187952 | 58834 5 | 772 | 663 885.06/885.29 c 884s | 16 | 4974869 | 188152 | 58834 5 | 772 | 663 887.86/888.09 c 887s | 16 | 4975439 | 188352 | 58834 5 | 772 | 663 890.26/890.45 c 889s | 16 | 4988668 | 188652 | 58834 5 | 772 | 663 892.56/892.78 c 892s | 16 | 5008014 | 189052 | 58834 5 | 772 | 663 894.76/894.97 c 894s | 16 | 5021241 | 189552 | 58834 5 | 772 | 663 897.05/897.27 c 896s | 16 | 5027995 | 190052 | 58834 5 | 772 | 663 899.25/899.42 c 898s | 16 | 5044166 | 190552 | 58834 5 | 772 | 663 901.35/901.56 c 900s | 16 | 5056176 | 191052 | 58834 5 | 772 | 663 903.65/903.86 c 903s | 16 | 5064766 | 191452 | 58834 5 | 772 | 663 906.25/906.46 c 905s | 16 | 5076936 | 191952 | 58834 5 | 772 | 663 908.85/909.05 c 908s | 16 | 5089255 | 192452 | 58834 5 | 772 | 663 910.95/911.10 c 910s | 16 | 5096685 | 192952 | 58834 5 | 772 | 663 913.06/913.24 c 912s | 16 | 5099623 | 193352 | 58834 5 | 772 | 663 915.55/915.71 c 915s | 16 | 5100698 | 193752 | 58834 5 | 772 | 663 917.75/917.93 c 917s | 16 | 5107327 | 194152 | 58834 5 | 772 | 663 920.05/920.20 c 919s | 16 | 5116669 | 194652 | 58834 5 | 772 | 663 922.34/922.57 c 921s | 16 | 5125407 | 195052 | 58834 5 | 772 | 663 924.64/924.84 c 924s | 16 | 5135446 | 195552 | 58834 5 | 772 | 663 926.94/927.11 c 926s | 16 | 5148488 | 196052 | 58834 5 | 772 | 663 928.94/929.14 c 928s | 16 | 5155673 | 196552 | 64718 5 | 772 | 663 931.04/931.21 c 930s | 16 | 5166616 | 197052 | 64718 5 | 772 | 663 932.85/933.06 c 932s | 17 | 5173271 | 197432 | 64718 5 | 772 | 663 935.05/935.24 c 934s | 17 | 5179008 | 197732 | 64718 5 | 772 | 663 937.15/937.34 c 936s | 17 | 5187471 | 198332 | 64718 5 | 772 | 663 939.24/939.45 c 938s | 17 | 5201408 | 198732 | 64718 5 | 772 | 663 941.65/941.87 c 941s | 17 | 5220874 | 199232 | 64718 5 | 772 | 663 943.64/943.90 c 943s | 17 | 5233733 | 199632 | 64718 5 | 772 | 663 946.44/946.62 c 945s | 17 | 5248657 | 200132 | 64718 5 | 772 | 663 948.44/948.68 c 947s | 17 | 5258397 | 200632 | 64718 5 | 772 | 663 950.74/950.98 c 950s | 17 | 5265794 | 201332 | 64718 5 | 772 | 663 952.94/953.12 c 952s | 17 | 5274027 | 201932 | 64718 5 | 772 | 663 955.24/955.45 c 954s | 17 | 5288185 | 202432 | 64718 5 | 772 | 663 957.43/957.63 c 956s | 17 | 5294727 | 202832 | 64718 5 | 772 | 663 959.63/959.89 c 959s | 17 | 5306060 | 203332 | 64718 5 | 772 | 663 962.13/962.38 c 961s | 17 | 5323043 | 203732 | 64718 5 | 772 | 663 964.64/964.86 c 964s | 17 | 5343203 | 204132 | 64718 5 | 772 | 663 966.84/967.08 c 966s | 17 | 5355422 | 204632 | 64718 5 | 772 | 663 969.04/969.23 c 968s | 17 | 5371009 | 205032 | 64718 5 | 772 | 663 971.13/971.35 c 970s | 17 | 5387829 | 205432 | 64718 5 | 772 | 663 973.73/973.91 c 973s | 17 | 5400471 | 205932 | 64718 5 | 772 | 663 975.94/976.14 c 975s | 17 | 5411424 | 206432 | 64718 5 | 772 | 663 979.64/979.87 c 979s | 17 | 5423268 | 206832 | 64718 6 | 772 | 663 982.04/982.23 c 981s | 17 | 5437947 | 207332 | 64718 6 | 772 | 663 984.14/984.34 c 983s | 17 | 5452842 | 207832 | 64718 6 | 772 | 663 986.34/986.59 c 985s | 17 | 5465500 | 208632 | 64718 6 | 772 | 663 988.43/988.64 c 987s | 17 | 5478087 | 209132 | 64718 6 | 772 | 663 990.53/990.79 c 990s | 17 | 5490488 | 209632 | 64718 6 | 772 | 663 992.83/993.06 c 992s | 17 | 5505062 | 210132 | 64718 6 | 772 | 663 995.03/995.29 c 994s | 17 | 5520115 | 210632 | 64718 6 | 772 | 663 997.43/997.67 c 996s | 17 | 5530147 | 211332 | 64718 6 | 772 | 663 999.63/999.87 c 999s | 17 | 5537792 | 211932 | 64718 6 | 772 | 663 1001.73/1001.97 c 1001s | 17 | 5545285 | 212432 | 64718 6 | 772 | 663 1004.12/1004.36 c 1003s | 17 | 5547051 | 212832 | 64718 6 | 772 | 663 1006.43/1006.61 c 1005s | 17 | 5554050 | 213332 | 64718 6 | 772 | 663 1008.52/1008.74 c 1008s | 17 | 5573105 | 213832 | 64718 6 | 772 | 663 1010.82/1011.10 c 1010s | 17 | 5590132 | 214432 | 64718 6 | 772 | 663 1013.02/1013.27 c 1012s | 17 | 5601680 | 215132 | 64718 6 | 772 | 663 1015.22/1015.48 c 1014s | 17 | 5615598 | 215732 | 64718 6 | 772 | 663 1017.52/1017.76 c 1017s | 17 | 5619905 | 216332 | 64718 6 | 772 | 663 1019.51/1019.79 c 1019s | 17 | 5624326 | 216732 | 64718 6 | 772 | 663 1021.61/1021.85 c 1021s | 17 | 5634597 | 217332 | 64718 6 | 772 | 663 1024.13/1024.33 c 1023s | 17 | 5636049 | 217832 | 64718 6 | 772 | 663 1026.12/1026.34 c 1025s | 17 | 5641871 | 218332 | 64718 6 | 772 | 663 1028.22/1028.43 c 1027s | 17 | 5648056 | 218932 | 64718 6 | 772 | 663 1030.62/1030.82 c 1030s | 17 | 5659724 | 219532 | 64718 6 | 772 | 663 1033.12/1033.34 c 1032s | 17 | 5668572 | 220132 | 64718 6 | 772 | 663 1035.22/1035.47 c 1034s | 17 | 5669380 | 220432 | 64718 6 | 772 | 663 1037.61/1037.85 c 1037s | 17 | 5672659 | 220732 | 64718 6 | 772 | 663 1040.31/1040.54 c 1039s | 17 | 5675582 | 221132 | 64718 6 | 772 | 663 1042.61/1042.80 c 1042s | 17 | 5678581 | 221732 | 64718 6 | 772 | 663 1045.51/1045.79 c 1045s | 17 | 5679625 | 222132 | 64718 6 | 772 | 663 1048.00/1048.21 c 1047s | 17 | 5680852 | 222432 | 64718 6 | 772 | 663 1050.10/1050.39 c 1049s | 17 | 5685378 | 223032 | 64718 6 | 772 | 663 1052.90/1053.13 c 1052s | 17 | 5689141 | 223532 | 64718 6 | 772 | 663 1055.30/1055.50 c 1054s | 17 | 5690449 | 223832 | 64718 6 | 772 | 663 1057.30/1057.52 c 1056s | 17 | 5696936 | 224332 | 64718 6 | 772 | 663 1059.49/1059.74 c 1059s | 17 | 5708221 | 224932 | 64718 6 | 772 | 663 1061.79/1062.00 c 1061s | 17 | 5716812 | 225432 | 64718 6 | 772 | 663 1063.79/1064.08 c 1063s | 17 | 5721198 | 225832 | 64718 6 | 772 | 663 1065.91/1066.11 c 1065s | 17 | 5725983 | 226232 | 64718 6 | 772 | 663 1068.39/1068.65 c 1067s | 17 | 5735115 | 226732 | 64718 6 | 772 | 663 1070.69/1070.95 c 1070s | 17 | 5737065 | 227232 | 64718 6 | 772 | 663 1072.79/1073.04 c 1072s | 17 | 5743540 | 227632 | 64718 6 | 772 | 663 1074.89/1075.16 c 1074s | 17 | 5750028 | 228132 | 64718 6 | 772 | 663 1077.09/1077.34 c 1076s | 17 | 5757994 | 228632 | 64718 6 | 772 | 663 1079.18/1079.46 c 1078s | 17 | 5765112 | 229132 | 64718 6 | 772 | 663 1081.48/1081.70 c 1080s | 17 | 5769303 | 229532 | 64718 6 | 772 | 663 1084.08/1084.33 c 1083s | 17 | 5771882 | 229932 | 64718 6 | 772 | 663 1086.08/1086.34 c 1085s | 17 | 5772492 | 230132 | 64718 6 | 772 | 663 1088.68/1088.92 c 1088s | 17 | 5774593 | 230432 | 64718 6 | 772 | 663 1092.58/1092.80 c 1092s | 17 | 5775805 | 230732 | 64718 6 | 772 | 663 1094.78/1095.05 c 1094s | 17 | 5776391 | 230932 | 64718 6 | 772 | 663 1096.98/1097.20 c 1096s | 17 | 5777048 | 231132 | 64718 6 | 772 | 663 1099.88/1100.15 c 1099s | 17 | 5777820 | 231332 | 64718 6 | 772 | 663 1102.58/1102.81 c 1102s | 17 | 5778995 | 231632 | 64718 6 | 772 | 663 1105.08/1105.34 c 1104s | 17 | 5779981 | 231932 | 64718 6 | 772 | 663 1107.27/1107.53 c 1106s | 17 | 5780743 | 232132 | 64718 6 | 772 | 663 1111.08/1111.34 c 1110s | 17 | 5781627 | 232332 | 64718 6 | 772 | 663 1113.58/1113.89 c 1113s | 17 | 5782549 | 232532 | 64718 6 | 772 | 663 1115.78/1116.04 c 1115s | 17 | 5784259 | 232832 | 64718 6 | 772 | 663 1118.18/1118.43 c 1117s | 17 | 5786023 | 233132 | 64718 6 | 772 | 663 1121.17/1121.40 c 1120s | 17 | 5787113 | 233432 | 64718 6 | 772 | 663 1123.67/1123.93 c 1123s | 17 | 5788388 | 233732 | 64718 6 | 772 | 663 1125.88/1126.12 c 1125s | 17 | 5791425 | 234132 | 64718 6 | 772 | 663 1128.37/1128.70 c 1127s | 17 | 5793896 | 234532 | 64718 6 | 772 | 663 1131.27/1131.55 c 1130s | 17 | 5795601 | 234932 | 64718 6 | 772 | 663 1133.56/1133.86 c 1133s | 17 | 5796463 | 235132 | 64718 6 | 772 | 663 1136.66/1136.95 c 1136s | 17 | 5797763 | 235432 | 64718 6 | 772 | 663 1139.26/1139.55 c 1138s | 17 | 5798329 | 235632 | 64718 6 | 772 | 663 1142.06/1142.37 c 1141s | 17 | 5799855 | 235932 | 64718 6 | 772 | 663 1144.36/1144.68 c 1143s | 17 | 5800477 | 236132 | 64718 6 | 772 | 663 1146.46/1146.77 c 1146s | 17 | 5801346 | 236332 | 64718 6 | 772 | 663 1149.36/1149.64 c 1148s | 17 | 5801807 | 236532 | 64718 6 | 772 | 663 1152.15/1152.40 c 1151s | 17 | 5803270 | 236832 | 64718 6 | 772 | 663 1154.15/1154.40 c 1153s | 17 | 5803728 | 237032 | 64718 6 | 772 | 663 1156.45/1156.72 c 1156s | 17 | 5805064 | 237232 | 64718 6 | 772 | 663 1158.64/1158.95 c 1158s | 17 | 5805536 | 237432 | 64718 6 | 772 | 663 1161.55/1161.85 c 1161s | 17 | 5805920 | 237632 | 64718 6 | 772 | 663 1164.05/1164.30 c 1163s | 17 | 5807252 | 237932 | 64718 6 | 772 | 663 1166.35/1166.68 c 1165s | 17 | 5808430 | 238132 | 64718 6 | 772 | 663 1169.34/1169.63 c 1168s | 17 | 5810008 | 238432 | 64718 6 | 772 | 663 1172.14/1172.40 c 1171s | 17 | 5811345 | 238732 | 64718 6 | 772 | 663 1175.34/1175.65 c 1174s | 17 | 5811757 | 238932 | 64718 6 | 772 | 663 1177.74/1178.00 c 1177s | 17 | 5812726 | 239132 | 64718 6 | 772 | 663 1180.94/1181.22 c 1180s | 17 | 5813349 | 239332 | 64718 6 | 772 | 663 1183.94/1184.21 c 1183s | 17 | 5814757 | 239632 | 64718 6 | 772 | 663 1186.85/1187.13 c 1186s | 17 | 5816144 | 239932 | 64718 6 | 772 | 663 1190.44/1190.73 c 1190s | 17 | 5816914 | 240132 | 64718 6 | 772 | 663 1193.73/1194.04 c 1193s | 17 | 5817645 | 240332 | 64718 6 | 772 | 663 1196.53/1196.81 c 1196s | 17 | 5818473 | 240532 | 64718 6 | 772 | 663 1200.13/1200.42 c 1199s | 17 | 5819494 | 240832 | 64718 6 | 772 | 663 1202.63/1202.95 c 1202s | 17 | 5820502 | 241032 | 64718 6 | 772 | 663 1206.33/1206.65 c 1205s | 17 | 5821120 | 241232 | 64718 6 | 772 | 663 1208.33/1208.67 c 1207s | 17 | 5821673 | 241332 | 64718 6 | 772 | 663 1212.43/1212.79 c 1212s | 17 | 5822504 | 241532 | 64718 6 | 772 | 663 1214.93/1215.21 c 1214s | 17 | 5823572 | 241732 | 64718 6 | 772 | 663 1217.93/1218.29 c 1217s | 17 | 5823945 | 241932 | 64718 6 | 772 | 663 1220.83/1221.16 c 1220s | 17 | 5824760 | 242132 | 64718 6 | 772 | 663 1222.83/1223.17 c 1222s | 17 | 5825073 | 242232 | 64718 6 | 772 | 663 1226.34/1226.70 c 1225s | 17 | 5827001 | 242432 | 64718 6 | 772 | 663 1228.53/1228.82 c 1228s | 17 | 5827302 | 242532 | 64718 6 | 772 | 663 1232.62/1232.93 c 1232s | 17 | 5827712 | 242632 | 64718 6 | 772 | 663 1235.02/1235.36 c 1234s | 17 | 5829723 | 242932 | 64718 6 | 772 | 663 1237.12/1237.45 c 1236s | 17 | 5830948 | 243132 | 64718 6 | 772 | 663 1239.71/1240.03 c 1239s | 17 | 5832160 | 243332 | 64718 6 | 772 | 663 1242.21/1242.57 c 1241s | 17 | 5832650 | 243532 | 64718 6 | 772 | 663 1246.41/1246.75 c 1246s | 17 | 5833456 | 243732 | 64718 6 | 772 | 663 1250.11/1250.40 c 1249s | 17 | 5833730 | 243832 | 64718 6 | 772 | 663 1252.50/1252.87 c 1252s | 17 | 5833940 | 243932 | 64718 6 | 772 | 663 1255.01/1255.33 c 1254s | 17 | 5842554 | 244332 | 64718 6 | 772 | 663 1257.40/1257.77 c 1257s | 17 | 5846160 | 244632 | 64718 6 | 772 | 663 1259.50/1259.83 c 1259s | 17 | 5849875 | 244932 | 64718 6 | 772 | 663 1262.00/1262.30 c 1261s | 17 | 5852702 | 245332 | 64718 6 | 772 | 663 1264.60/1264.91 c 1264s | 17 | 5853591 | 245632 | 64718 6 | 772 | 663 1267.90/1268.21 c 1267s | 17 | 5853867 | 245832 | 64718 6 | 772 | 663 1269.90/1270.27 c 1269s | 17 | 5858986 | 246132 | 64718 6 | 772 | 663 1274.20/1274.56 c 1273s | 17 | 5862892 | 246432 | 64718 7 | 772 | 663 1276.40/1276.78 c 1276s | 17 | 5870455 | 246932 | 64718 7 | 772 | 663 1278.79/1279.14 c 1278s | 17 | 5875393 | 247432 | 64718 7 | 772 | 663 1280.99/1281.33 c 1280s | 17 | 5879723 | 247832 | 64718 7 | 772 | 663 1283.39/1283.75 c 1283s | 17 | 5888023 | 248432 | 64718 7 | 772 | 663 1285.59/1285.99 c 1285s | 17 | 5893567 | 248932 | 64718 7 | 772 | 663 1287.59/1287.99 c 1287s | 17 | 5897146 | 249332 | 64718 7 | 772 | 663 1290.58/1290.93 c 1290s | 17 | 5899149 | 249732 | 64718 7 | 772 | 663 1292.78/1293.14 c 1292s | 17 | 5899769 | 249932 | 64718 7 | 772 | 663 1295.18/1295.59 c 1294s | 17 | 5900342 | 250132 | 64718 7 | 772 | 663 1299.18/1299.56 c 1298s | 17 | 5901100 | 250332 | 64718 7 | 772 | 663 1301.88/1302.22 c 1301s | 17 | 5901351 | 250432 | 64718 7 | 772 | 663 1303.97/1304.34 c 1303s | 17 | 5901788 | 250532 | 64718 7 | 772 | 663 1305.97/1306.39 c 1305s | 17 | 5902020 | 250632 | 64718 7 | 772 | 663 1308.78/1309.15 c 1308s | 17 | 5902716 | 250832 | 64718 7 | 772 | 663 1311.18/1311.51 c 1310s | 17 | 5903572 | 251032 | 64718 7 | 772 | 663 1314.17/1314.53 c 1313s | 17 | 5904084 | 251232 | 64718 7 | 772 | 663 1317.77/1318.17 c 1317s | 17 | 5904892 | 251432 | 64718 7 | 772 | 663 1319.88/1320.24 c 1319s | 17 | 5909837 | 251732 | 64718 7 | 772 | 663 1323.97/1324.32 c 1323s | 17 | 5910415 | 251932 | 64718 7 | 772 | 663 1326.37/1326.80 c 1326s | 17 | 5911219 | 252132 | 64718 7 | 772 | 663 1328.57/1328.94 c 1328s | 17 | 5911446 | 252232 | 64718 7 | 772 | 663 1330.96/1331.38 c 1330s | 17 | 5911660 | 252332 | 64718 7 | 772 | 663 1333.26/1333.64 c 1332s | 17 | 5913969 | 252532 | 64718 7 | 772 | 663 1335.56/1335.93 c 1335s | 17 | 5919777 | 252932 | 64718 7 | 772 | 663 1337.76/1338.10 c 1337s | 17 | 5927821 | 253432 | 64718 7 | 772 | 663 1339.85/1340.27 c 1339s | 17 | 5935271 | 253832 | 64718 7 | 772 | 663 1342.25/1342.61 c 1341s | 17 | 5939212 | 254232 | 64718 7 | 772 | 663 1344.25/1344.66 c 1343s | 17 | 5943831 | 254632 | 64718 7 | 772 | 663 1346.75/1347.13 c 1346s | 17 | 5945192 | 254932 | 64718 7 | 772 | 663 1351.05/1351.45 c 1350s | 17 | 5945789 | 255132 | 64718 7 | 772 | 663 1354.45/1354.85 c 1354s | 17 | 5946097 | 255232 | 64718 7 | 772 | 663 1357.95/1358.35 c 1357s | 17 | 5946307 | 255332 | 64718 7 | 772 | 663 1362.44/1362.80 c 1362s | 17 | 5946766 | 255532 | 64718 7 | 772 | 663 1367.64/1368.02 c 1367s | 17 | 5947201 | 255632 | 64718 7 | 772 | 663 1373.04/1373.48 c 1372s | 17 | 5947394 | 255732 | 64718 7 | 772 | 663 1375.64/1376.05 c 1375s | 17 | 5948185 | 255932 | 64718 7 | 772 | 663 1379.03/1379.47 c 1378s | 17 | 5949367 | 256232 | 64718 7 | 772 | 663 1381.23/1381.67 c 1380s | 17 | 5954976 | 256632 | 64718 7 | 772 | 663 1383.63/1384.07 c 1383s | 17 | 5959451 | 257032 | 64718 7 | 772 | 663 1386.04/1386.40 c 1385s | 17 | 5965435 | 257432 | 64718 7 | 772 | 663 1388.33/1388.73 c 1388s | 17 | 5969544 | 257732 | 64718 7 | 772 | 663 1390.93/1391.31 c 1390s | 17 | 5974262 | 258132 | 64718 7 | 772 | 663 1393.13/1393.56 c 1392s | 17 | 5978367 | 258532 | 64718 7 | 772 | 663 1395.42/1395.89 c 1395s | 17 | 5983239 | 258932 | 64718 7 | 772 | 663 1397.62/1398.09 c 1397s | 17 | 5986331 | 259332 | 64718 7 | 772 | 663 1400.02/1400.46 c 1399s | 17 | 5987779 | 259732 | 64718 7 | 772 | 663 1402.41/1402.88 c 1402s | 17 | 5990651 | 260132 | 64718 7 | 772 | 663 1405.11/1405.56 c 1404s | 17 | 5993558 | 260532 | 64718 7 | 772 | 663 1408.41/1408.83 c 1408s | 17 | 5995076 | 260832 | 64718 7 | 772 | 663 1413.51/1413.92 c 1413s | 17 | 5995770 | 261032 | 64718 7 | 772 | 663 1416.41/1416.87 c 1416s | 17 | 5996380 | 261132 | 64718 7 | 772 | 663 1418.71/1419.15 c 1418s | 17 | 5996933 | 261332 | 64718 7 | 772 | 663 1424.70/1425.13 c 1424s | 17 | 5997663 | 261632 | 64718 7 | 772 | 663 1428.20/1428.65 c 1427s | 17 | 5998534 | 261832 | 64718 7 | 772 | 663 1431.10/1431.57 c 1430s | 17 | 6000601 | 262132 | 64718 7 | 772 | 663 1435.10/1435.58 c 1434s | 17 | 6000908 | 262232 | 64718 7 | 772 | 663 1439.60/1440.09 c 1439s | 17 | 6001068 | 262332 | 64718 7 | 772 | 663 1442.09/1442.51 c 1441s | 17 | 6001579 | 262432 | 64718 7 | 772 | 663 1445.99/1446.46 c 1445s | 17 | 6002330 | 262632 | 64718 7 | 772 | 663 1448.29/1448.75 c 1448s | 17 | 6002770 | 262732 | 64718 7 | 772 | 663 1451.29/1451.74 c 1451s | 17 | 6002959 | 262832 | 64718 7 | 772 | 663 1453.69/1454.17 c 1453s | 17 | 6004431 | 263032 | 64718 7 | 772 | 663 1455.99/1456.43 c 1455s | 17 | 6011023 | 263332 | 64718 7 | 772 | 663 1458.29/1458.77 c 1458s | 17 | 6016886 | 263732 | 64718 7 | 772 | 663 1460.69/1461.19 c 1460s | 17 | 6018000 | 263932 | 64718 7 | 772 | 663 1463.79/1464.26 c 1463s | 17 | 6018493 | 264032 | 64718 7 | 772 | 663 1466.68/1467.14 c 1466s | 17 | 6020061 | 264232 | 64718 7 | 772 | 663 1468.77/1469.24 c 1468s | 17 | 6025526 | 264532 | 64718 7 | 772 | 663 1471.07/1471.52 c 1470s | 17 | 6028365 | 264832 | 64718 7 | 772 | 663 1473.27/1473.75 c 1473s | 17 | 6034964 | 265232 | 64718 7 | 772 | 663 1475.67/1476.11 c 1475s | 17 | 6037285 | 265532 | 64718 7 | 772 | 663 1477.67/1478.11 c 1477s | 17 | 6040761 | 265832 | 64718 7 | 772 | 663 1480.17/1480.63 c 1479s | 17 | 6045417 | 266232 | 64718 7 | 772 | 663 1482.48/1482.91 c 1482s | 17 | 6048554 | 266532 | 64718 7 | 772 | 663 1484.57/1485.08 c 1484s | 17 | 6051273 | 266832 | 64718 7 | 772 | 663 1486.77/1487.28 c 1486s | 17 | 6055354 | 267132 | 64718 7 | 772 | 663 1489.26/1489.75 c 1489s | 17 | 6062496 | 267532 | 64718 7 | 772 | 663 1491.37/1491.83 c 1491s | 17 | 6067855 | 267932 | 64718 7 | 772 | 663 1493.76/1494.27 c 1493s | 17 | 6071866 | 268432 | 64718 7 | 772 | 663 1496.06/1496.53 c 1495s | 17 | 6073019 | 268632 | 64718 7 | 772 | 663 1498.65/1499.18 c 1498s | 17 | 6077445 | 268932 | 64718 7 | 772 | 663 1501.26/1501.75 c 1501s | 17 | 6081020 | 269232 | 64718 7 | 772 | 663 1503.95/1504.46 c 1503s | 17 | 6084896 | 269632 | 64718 7 | 772 | 663 1506.05/1506.50 c 1505s | 17 | 6088947 | 269932 | 64718 7 | 772 | 663 1509.65/1510.16 c 1509s | 17 | 6090760 | 270232 | 64718 7 | 772 | 663 1512.35/1512.84 c 1512s | 17 | 6094659 | 270632 | 64718 7 | 772 | 663 1514.45/1514.94 c 1514s | 17 | 6097074 | 270932 | 64718 7 | 772 | 663 1517.25/1517.77 c 1517s | 17 | 6098285 | 271232 | 64718 7 | 772 | 663 1519.75/1520.23 c 1519s | 17 | 6101273 | 271532 | 64718 7 | 772 | 663 1522.35/1522.83 c 1522s | 17 | 6107167 | 271932 | 64718 7 | 772 | 663 1524.45/1524.90 c 1524s | 17 | 6110127 | 272232 | 64718 7 | 772 | 663 1527.44/1527.94 c 1527s | 17 | 6112716 | 272532 | 64718 7 | 772 | 663 1530.04/1530.56 c 1529s | 17 | 6113334 | 272732 | 64718 7 | 772 | 663 1532.14/1532.65 c 1531s | 17 | 6114533 | 273032 | 64718 7 | 772 | 663 1534.24/1534.78 c 1534s | 17 | 6118150 | 273332 | 64718 7 | 772 | 663 1536.83/1537.30 c 1536s | 17 | 6123549 | 273632 | 64718 7 | 772 | 663 1539.33/1539.87 c 1539s | 17 | 6130968 | 274032 | 64718 7 | 772 | 663 1541.93/1542.46 c 1541s | 17 | 6136042 | 274332 | 64718 7 | 772 | 663 1544.13/1544.62 c 1543s | 17 | 6138124 | 274632 | 64718 7 | 772 | 663 1547.82/1548.33 c 1547s | 17 | 6138895 | 274932 | 64718 7 | 772 | 663 1550.53/1551.05 c 1550s | 17 | 6140049 | 275232 | 64718 7 | 772 | 663 1552.63/1553.16 c 1552s | 17 | 6141964 | 275532 | 64718 7 | 772 | 663 1554.72/1555.22 c 1554s | 17 | 6143462 | 275732 | 64718 7 | 772 | 663 1558.02/1558.50 c 1557s | 17 | 6144978 | 276032 | 64718 7 | 772 | 663 1560.22/1560.76 c 1560s | 17 | 6145724 | 276232 | 64718 7 | 772 | 663 1563.32/1563.84 c 1563s | 17 | 6146537 | 276432 | 64718 7 | 772 | 663 1566.52/1567.08 c 1566s | 17 | 6146793 | 276532 | 64718 7 | 772 | 663 1571.32/1571.87 c 1571s | 17 | 6147558 | 276732 | 64718 7 | 772 | 663 1573.92/1574.43 c 1573s | 17 | 6151505 | 277032 | 64718 7 | 772 | 663 1576.52/1577.04 c 1576s | 17 | 6156150 | 277332 | 64718 7 | 772 | 663 1579.32/1579.88 c 1579s | 17 | 6160676 | 277732 | 64718 7 | 772 | 663 1581.42/1581.91 c 1581s | 17 | 6164398 | 278032 | 64718 7 | 772 | 663 1584.62/1585.19 c 1584s | 17 | 6166878 | 278332 | 64718 7 | 772 | 663 1586.81/1587.40 c 1586s | 17 | 6171068 | 278632 | 64718 7 | 772 | 663 1590.01/1590.57 c 1589s | 17 | 6175134 | 279032 | 64718 7 | 772 | 663 1592.42/1592.94 c 1592s | 17 | 6176694 | 279332 | 64718 7 | 772 | 663 1595.11/1595.60 c 1594s | 17 | 6179469 | 279632 | 64718 7 | 772 | 663 1597.81/1598.33 c 1597s | 17 | 6183331 | 280032 | 64718 7 | 772 | 663 1600.12/1600.65 c 1599s | 17 | 6185288 | 280332 | 64718 7 | 772 | 663 1602.32/1602.86 c 1602s | 17 | 6188155 | 280632 | 64718 7 | 772 | 663 1604.62/1605.17 c 1604s | 17 | 6190076 | 280932 | 64718 7 | 772 | 663 1607.01/1607.54 c 1606s | 17 | 6193382 | 281232 | 64718 7 | 772 | 663 1609.51/1610.08 c 1609s | 17 | 6196861 | 281532 | 64718 7 | 772 | 663 1612.42/1612.97 c 1612s | 17 | 6198929 | 281832 | 64718 7 | 772 | 663 1614.52/1615.08 c 1614s | 17 | 6201109 | 282032 | 64718 7 | 772 | 663 1617.12/1617.61 c 1616s | 17 | 6204160 | 282332 | 64718 7 | 772 | 663 1619.42/1619.90 c 1619s | 17 | 6204312 | 282432 | 64718 7 | 772 | 663 1621.72/1622.25 c 1621s | 17 | 6209478 | 282732 | 64718 7 | 772 | 663 1627.51/1628.01 c 1627s | 17 | 6213363 | 283132 | 64718 8 | 772 | 663 1629.82/1630.32 c 1629s | 17 | 6218933 | 283432 | 64718 8 | 772 | 663 1631.91/1632.49 c 1631s | 17 | 6220012 | 283632 | 64718 8 | 772 | 663 1634.22/1634.74 c 1634s | 17 | 6220443 | 283732 | 64718 8 | 772 | 663 1637.41/1637.96 c 1637s | 17 | 6221094 | 284032 | 64718 8 | 772 | 663 1639.72/1640.23 c 1639s | 17 | 6221415 | 284132 | 64718 8 | 772 | 663 1642.51/1643.08 c 1642s | 17 | 6221555 | 284232 | 64718 8 | 772 | 663 1646.42/1646.92 c 1646s | 17 | 6221839 | 284332 | 64718 8 | 772 | 663 1649.01/1649.59 c 1648s | 17 | 6222087 | 284432 | 64718 8 | 772 | 663 1652.11/1652.63 c 1651s | 17 | 6222936 | 284632 | 64718 8 | 772 | 663 1654.11/1654.65 c 1653s | 17 | 6228028 | 284932 | 64718 8 | 772 | 663 1656.81/1657.37 c 1656s | 17 | 6231649 | 285332 | 64718 8 | 772 | 663 1658.81/1659.37 c 1658s | 17 | 6234644 | 285632 | 64718 8 | 772 | 663 1661.11/1661.67 c 1660s | 17 | 6239265 | 286032 | 64718 8 | 772 | 663 1664.10/1664.60 c 1663s | 17 | 6240129 | 286332 | 64718 8 | 772 | 663 1666.30/1666.80 c 1666s | 17 | 6241166 | 286632 | 64718 8 | 772 | 663 1669.51/1670.07 c 1669s | 17 | 6242208 | 286832 | 64718 8 | 772 | 663 1672.20/1672.72 c 1672s | 17 | 6242985 | 287032 | 64718 8 | 772 | 663 1674.81/1675.30 c 1674s | 17 | 6243679 | 287232 | 64718 8 | 772 | 663 1677.31/1677.88 c 1677s | 17 | 6244401 | 287432 | 64718 8 | 772 | 663 1679.80/1680.30 c 1679s | 17 | 6244958 | 287632 | 64718 8 | 772 | 663 1682.71/1683.24 c 1682s | 17 | 6245690 | 287832 | 64718 8 | 772 | 663 1686.61/1687.16 c 1686s | 17 | 6246138 | 288032 | 64718 8 | 772 | 663 1690.41/1690.99 c 1690s | 17 | 6246743 | 288232 | 64718 8 | 772 | 663 1693.10/1693.62 c 1692s | 17 | 6249701 | 288532 | 64718 8 | 772 | 663 1695.91/1696.47 c 1695s | 17 | 6254475 | 288932 | 64718 8 | 772 | 663 1698.11/1698.65 c 1697s | 17 | 6259015 | 289332 | 64718 8 | 772 | 663 1700.70/1701.23 c 1700s | 17 | 6263905 | 289632 | 64718 8 | 772 | 663 1703.20/1703.78 c 1703s | 17 | 6268725 | 290032 | 64718 8 | 772 | 663 1705.81/1706.39 c 1705s | 17 | 6271927 | 290332 | 64718 8 | 772 | 663 1708.20/1708.70 c 1707s | 17 | 6273533 | 290532 | 64718 8 | 772 | 663 1711.00/1711.58 c 1710s | 17 | 6276616 | 290932 | 64718 8 | 772 | 663 1713.51/1714.01 c 1713s | 17 | 6277403 | 291132 | 64718 8 | 772 | 663 1715.61/1716.11 c 1715s | 17 | 6281901 | 291432 | 64718 8 | 772 | 663 1717.60/1718.17 c 1717s | 17 | 6285627 | 291732 | 64718 8 | 772 | 663 1720.00/1720.58 c 1719s | 17 | 6288346 | 292032 | 64718 8 | 772 | 663 1723.70/1724.23 c 1723s | 17 | 6289289 | 292232 | 64718 8 | 772 | 663 1726.20/1726.71 c 1725s | 17 | 6290746 | 292532 | 64718 8 | 772 | 663 1728.39/1728.93 c 1728s | 17 | 6296238 | 292832 | 64718 8 | 772 | 663 1730.79/1731.38 c 1730s | 17 | 6301364 | 293232 | 64718 8 | 772 | 663 1733.21/1733.71 c 1732s | 17 | 6303265 | 293532 | 64718 8 | 772 | 663 1735.90/1736.45 c 1735s | 17 | 6305206 | 293832 | 64718 8 | 772 | 663 1738.20/1738.70 c 1737s | 17 | 6305968 | 294032 | 64718 8 | 772 | 663 1740.20/1740.79 c 1740s | 17 | 6307946 | 294232 | 71190 8 | 772 | 663 1742.80/1743.30 c 1742s | 17 | 6309081 | 294532 | 71190 8 | 772 | 663 1744.99/1745.50 c 1744s | 17 | 6310589 | 294732 | 71190 8 | 772 | 663 1748.09/1748.60 c 1747s | 17 | 6311300 | 294932 | 71190 8 | 772 | 663 1750.09/1750.69 c 1749s | 17 | 6311464 | 295032 | 71190 8 | 772 | 663 1754.69/1755.23 c 1754s | 17 | 6312044 | 295232 | 71190 8 | 772 | 663 1757.59/1758.19 c 1757s | 17 | 6312237 | 295332 | 71190 8 | 772 | 663 1761.69/1762.23 c 1761s | 17 | 6312466 | 295432 | 71190 8 | 772 | 663 1764.19/1764.72 c 1764s | 17 | 6312919 | 295532 | 71190 8 | 772 | 663 1768.50/1769.03 c 1768s | 17 | 6313372 | 295732 | 71190 8 | 772 | 663 1775.29/1775.84 c 1775s | 17 | 6313658 | 295832 | 71190 8 | 772 | 663 1781.19/1781.73 c 1781s | 17 | 6313848 | 295932 | 71190 8 | 772 | 663 1792.60/1793.18 c 1792s | 17 | 6314028 | 296032 | 71190 8 | 772 | 663 1794.89/1795.43 c 1794s | 17 | 6314364 | 296132 | 71190 8 | 772 | 663 1797.18/1797.72 c 1797s | 17 | 6314614 | 296232 | 71190 8 | 772 | 663 1798.19/1798.80 c 1798s | 18 | 6314650 | 296252 | 71190 8 | 772 | 663
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-4078906-1465285878/watcher-4078906-1465285878 -o /tmp/evaluation-result-4078906-1465285878/solver-4078906-1465285878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078906-1465285878.opb pid=10405 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.12 2.20 2.24 3/179 10408 /proc/meminfo: memFree=29136108/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=349628 CPUtime=0 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 1237 0 0 0 0 0 0 0 20 0 4 0 110520876 358019072 1598 33554432000 4194304 16246674 140736166067808 140736166067232 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 87919 1606 441 2943 0 84813 0 [pid=10408/tid=10409] ppid=10405 vsize=366012 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 374796288 1662 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=370108 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 378990592 1678 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=374204 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110520877 383184896 1693 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.12 2.20 2.24 3/179 10408 /proc/meminfo: memFree=29136108/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1222212 CPUtime=0.09 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 27750 0 0 0 5 4 0 0 20 0 4 0 110520876 1251545088 28048 33554432000 4194304 16246674 140736166067808 140736166067120 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 305553 28051 801 2943 0 302447 0 [pid=10408/tid=10409] ppid=10405 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1251545088 28053 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1251545088 28055 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1251545088 28058 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.200533 s] /proc/loadavg: 2.12 2.20 2.24 3/179 10408 /proc/meminfo: memFree=29136108/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 50207 0 0 0 12 7 0 0 20 0 4 0 110520876 1344868352 51016 33554432000 4194304 16246674 140736166067808 140736166067120 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 51016 801 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 51016 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 51016 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 51016 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300516 s] /proc/loadavg: 2.12 2.20 2.24 3/179 10408 /proc/meminfo: memFree=29136108/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 57427 0 0 0 21 8 0 0 20 0 4 0 110520876 1344868352 58236 33554432000 4194304 16246674 140736166067808 140736166067120 4221027 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 58236 812 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 58236 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 58236 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 58236 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700406 s] /proc/loadavg: 2.12 2.20 2.24 3/179 10408 /proc/meminfo: memFree=29136108/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=0.68 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 113980 0 0 0 52 16 0 0 20 0 4 0 110520876 1344868352 114789 33554432000 4194304 16246674 140736166067808 140736166067120 6938547 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 114804 834 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 114814 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 114824 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 114834 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50039 s] /proc/loadavg: 2.12 2.20 2.24 3/183 10412 /proc/meminfo: memFree=28376416/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 226654 0 0 0 117 32 0 0 20 0 4 0 110520876 1344868352 227463 33554432000 4194304 16246674 140736166067808 140736166049728 5674521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 227469 876 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 227472 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 227476 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 227480 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.11 2.20 2.24 3/183 10412 /proc/meminfo: memFree=28057488/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=3.08 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269002 0 0 0 271 37 0 0 20 0 4 0 110520876 1344868352 269811 33554432000 4194304 16246674 140736166067808 140736166049728 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269811 879 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269811 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269811 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269811 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1313348 [startup+6.3004 s] /proc/loadavg: 2.11 2.20 2.24 3/183 10412 /proc/meminfo: memFree=28057712/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=6.28 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269006 0 0 0 591 37 0 0 20 0 4 0 110520876 1344868352 269815 33554432000 4194304 16246674 140736166067808 140736166049728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269815 882 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269815 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269815 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269815 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1313348 [startup+12.7003 s] /proc/loadavg: 2.10 2.19 2.24 3/183 10412 /proc/meminfo: memFree=28057636/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=12.68 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269008 0 0 0 1231 37 0 0 20 0 4 0 110520876 1344868352 269817 33554432000 4194304 16246674 140736166067808 140736166049728 5717664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269817 884 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5074 s] /proc/loadavg: 2.15 2.20 2.24 3/183 10412 /proc/meminfo: memFree=28057776/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=25.49 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269008 0 0 0 2512 37 0 0 20 0 4 0 110520876 1344868352 269817 33554432000 4194304 16246674 140736166067808 140736166049728 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269817 884 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269817 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1313348 [startup+51.1004 s] /proc/loadavg: 2.17 2.20 2.24 3/183 10412 /proc/meminfo: memFree=28057780/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=51.08 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269009 0 0 0 5070 38 0 0 20 0 4 0 110520876 1344868352 269818 33554432000 4194304 16246674 140736166067808 140736166049728 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269818 885 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1313348 [startup+102.3 s] /proc/loadavg: 2.31 2.24 2.25 3/183 10413 /proc/meminfo: memFree=28057368/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=102.27 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269009 0 0 0 10189 38 0 0 20 0 4 0 110520876 1344868352 269818 33554432000 4194304 16246674 140736166067808 140736166049728 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 269818 885 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 269818 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1313348 [startup+1362.3 s] /proc/loadavg: 2.26 2.29 2.27 3/183 10516 /proc/meminfo: memFree=28064644/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1361.94 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269232 0 0 0 136129 65 0 0 20 0 4 0 110520876 1344868352 270075 33554432000 4194304 16246674 140736166067808 140736166049728 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 270075 886 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1313348 [startup+1422.3 s] /proc/loadavg: 2.32 2.29 2.27 3/183 10517 /proc/meminfo: memFree=28064832/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1421.91 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269274 0 0 0 142124 67 0 0 20 0 4 0 110520876 1344868352 270075 33554432000 4194304 16246674 140736166067808 140736166049728 12483317 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 270075 886 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1313348 [startup+1482.3 s] /proc/loadavg: 2.23 2.27 2.27 3/183 10518 /proc/meminfo: memFree=28064732/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1481.87 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269311 0 0 0 148119 68 0 0 20 0 4 0 110520876 1344868352 270075 33554432000 4194304 16246674 140736166067808 140736166049728 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 270075 886 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1313348 [startup+1542.3 s] /proc/loadavg: 2.13 2.23 2.25 3/183 10520 /proc/meminfo: memFree=28064740/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1541.83 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269356 0 0 0 154114 69 0 0 20 0 4 0 110520876 1344868352 270075 33554432000 4194304 16246674 140736166067808 140736166066904 5717485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 270075 886 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1313348 [startup+1602.3 s] /proc/loadavg: 2.28 2.25 2.26 3/183 10521 /proc/meminfo: memFree=28064056/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1313348 CPUtime=1601.81 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 269364 0 0 0 160111 70 0 0 20 0 4 0 110520876 1344868352 270075 33554432000 4194304 16246674 140736166067808 140736166049728 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 328337 270075 886 2943 0 325231 0 [pid=10408/tid=10409] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1344868352 270075 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1313348 [startup+1662.31 s] /proc/loadavg: 2.28 2.25 2.26 3/183 10522 /proc/meminfo: memFree=28048956/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1328708 CPUtime=1661.81 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 273137 0 0 0 166109 72 0 0 20 0 4 0 110520876 1360596992 273848 33554432000 4194304 16246674 140736166067808 140736166049728 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 332177 273848 886 2943 0 329071 0 [pid=10408/tid=10409] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.19 2.23 2.25 3/183 10523 /proc/meminfo: memFree=28048860/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1328708 CPUtime=1721.8 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 273137 0 0 0 172106 74 0 0 20 0 4 0 110520876 1360596992 273848 33554432000 4194304 16246674 140736166067808 140736166049728 5722908 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 332177 273848 886 2943 0 329071 0 [pid=10408/tid=10409] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.17 2.21 2.24 3/184 10527 /proc/meminfo: memFree=28048440/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1328708 CPUtime=1781.79 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 273137 0 0 0 178102 77 0 0 20 0 4 0 110520876 1360596992 273848 33554432000 4194304 16246674 140736166067808 140736166049728 12483391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 332177 273848 886 2943 0 329071 0 [pid=10408/tid=10409] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.20 2.22 2.24 3/183 10527 /proc/meminfo: memFree=28048408/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1328708 CPUtime=1800.08 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 273137 0 0 0 179931 77 0 0 20 0 4 0 110520876 1360596992 273848 33554432000 4194304 16246674 140736166067808 140736166049728 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 332177 273848 886 2943 0 329071 0 [pid=10408/tid=10409] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 10408 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.20 2.22 2.24 3/183 10527 /proc/meminfo: memFree=28048408/32872528 swapFree=16384/1696552 [pid=10408] ppid=10405 vsize=1328708 CPUtime=1800.08 cores=1,3,5,7 /proc/10408/stat : 10408 (toysat) R 10405 10408 5723 0 -1 4202496 273137 0 0 0 179931 77 0 0 20 0 4 0 110520876 1360596992 273848 33554432000 4194304 16246674 140736166067808 140736166049728 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/10408/statm: 332177 273848 886 2943 0 329071 0 [pid=10408/tid=10409] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10409/stat : 10409 (toysat) S 10405 10408 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102784232688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=10408/tid=10410] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10410/stat : 10410 (toysat) S 10405 10408 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102705589488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=10408/tid=10411] ppid=10405 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/10408/task/10411/stat : 10411 (toysat) S 10405 10408 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110520877 1360596992 273848 33554432000 4194304 16246674 140736166067808 140102695115952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.32 CPU system time (s): 0.776881 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 0.776881 maximum resident set size= 1095392 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273137 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= 369 involuntary context switches= 1937 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.45032 second user time and 7.05093 second system time The end
Begin job on node125 at 2016-06-07 09:51:18 IDJOB=4078906 IDBENCH=90187 IDSOLVER=2542 FILE ID=node125/4078906-1465285878 RUNJOBID= node125-1465259688-5740 PBS_JOBID= 19843289 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K160.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078906-1465285878/watcher-4078906-1465285878 -o /tmp/evaluation-result-4078906-1465285878/solver-4078906-1465285878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078906-1465285878.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4be3ef5c0a6baf670611a9fd5e5deae8 RANDOM SEED=2141819514 node125.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.456 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.91 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.456 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.56 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29136488 kB Buffers: 32852 kB Cached: 154020 kB SwapCached: 1700 kB Active: 1166136 kB Inactive: 127212 kB Active(anon): 1104540 kB Inactive(anon): 4772 kB Active(file): 61596 kB Inactive(file): 122440 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098580 kB Dirty: 17688 kB Writeback: 0 kB AnonPages: 2803180 kB Mapped: 10732 kB Shmem: 0 kB Slab: 609556 kB SReclaimable: 53296 kB SUnreclaim: 556260 kB KernelStack: 1464 kB PageTables: 9568 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2945448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2781184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node125 at 2016-06-07 10:21:19