| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K196.opb |
| MD5SUM | bcce2e1d61aa4147a6a5a8b58d6d164e |
| 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 | 23324 |
| Total number of constraints | 23718 |
| Number of constraints which are clauses | 23522 |
| Number of constraints which are cardinality constraints (but not clauses) | 196 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 196 |
| 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 | 197 |
| 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:37:11+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-4078918-1465285031.opb"] 0.00/0.01 c use --random-gen="2712282840 716329940 1298059840 2966670060 133303324 1420106401 2231455403 2841687432 2018795594 4069341079 1456639041 396541178 816107120 3675236989 4041900623 2887618741 957877606 741311347 115321564 2003022639 1737436724 972629606 570518936 279104365 3487754323 106367014 3002833595 2766740591 4198631213 4158277908 433266 3053477547 730343045 3414792461 850673476 49656798 2367121397 1811440026 974134467 152684368 3585164758 1116254824 1636205771 3063386879 396220417 2178836755 375119134 4260057067 707992879 2982157869 1629510399 3849042365 3873743662 459286939 1150358650 1140917377 2557685435 1449626700 4120842828 1105415780 1353415873 3370877935 3324333833 1471780934 2959839688 4097001037 2386284232 3046590271 1991534516 3768032782 862057613 1686431302 3252067060 4133962484 4018208144 1234194186 3007165771 3434458049 291503098 259373262 781019672 3885827606 2394456371 1790513723 619433485 2626053289 2265375508 1780579366 754033377 947854123 354225900 2073711383 3519428618 1954780094 2894458754 3710758946 1931210265 1806509480 1706558775 3259572644 962084190 3671917468 160502935 3722372603 269941508 1733444643 3231591128 3297545989 3135185962 3578589670 3078941496 2644248919 1884971115 2406649640 2539686669 33617895 71480023 1899909419 4239345694 3523104812 611008028 3607181233 456782559 631230330 414476664 1021967286 2029245679 3824115256 1586513671 770851517 608480905 3128143698 772523983 1091922228 1313427185 1704186385 593292289 1086560797 819875634 3895020182 4034165246 1873818160 23052436 1116794904 1079787891 794738396 1987429420 664704565 3257631569 3319550242 1520890702 897500956 3020601732 3678241250 1313404010 1171383203 1981340215 3884576862 3226292244 3109515747 1238124614 1026162772 2025398667 3942130005 289457404 637554364 2385902381 3868874193 1296955567 2796655684 2986034441 255998054 218548139 1840296276 1125561752 549861785 2992727821 2881512542 3545584382 2197992053 1079725896 1752546571 4287325851 3411378660 1639312046 680947009 4108538145 3517645853 1632449666 382955387 1466121233 1013592074 486265165 880219389 1797972501 4026886266 1078724941 1626504874 1602504061 3725177804 3318147172 2585848032 615493161 3940854610 4063305303 4192133359 1582436022 920181142 459340393 2128233511 3451706345 2949172126 725704234 3674766128 2087624751 3885349439 1283905145 1181040193 3770244137 3060337753 6248416 2802633476 1649105188 755397288 1949859744 4023192117 2523860989 3058489973 1928258459 2287835998 3386256683 69104990 2592382047 4207271358 3689605496 57544291 2025448566 2959947699 2113526281 18397403 2120195952 1517727084 3409675914 3716237817 735864917 2933613414 486770581 1372503398 176205525 139084771 2627880959 711673940 3295422783 2883390746 3793900813 128001529 255 362436" option to reproduce the execution 0.29/0.33 c #vars 23324 0.29/0.33 c #constraints 23718 0.79/0.86 c Solving starts ... 0.79/0.86 c ============================[ Search Statistics ]============================ 0.79/0.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.86 c | | | | Limit GC | Var | Constra 0.79/0.86 c ============================================================================= 0.79/0.86 c 0.0s | 0 | 0 | 0 | 15680 0 | 742 | 0 1.39/1.43 c 0.6s | 1 | 10546 | 100 | 15680 0 | 743 | 634 2.09/2.19 c 1.3s | 2 | 26082 | 250 | 17248 0 | 743 | 634 3.19/3.26 c 2.4s | 3 | 45483 | 475 | 18973 0 | 743 | 634 4.39/4.48 c 3.6s | 4 | 63460 | 813 | 20871 0 | 743 | 634 6.59/6.62 c 5.8s | 4 | 104007 | 1313 | 22959 0 | 743 | 634 6.59/6.63 c 5.8s | 5 | 104013 | 1320 | 22959 0 | 743 | 634 8.59/8.65 c 7.8s | 5 | 138999 | 1820 | 25255 0 | 745 | 636 9.09/9.17 c 8.3s | 6 | 141012 | 2081 | 27781 0 | 745 | 636 11.29/11.33 c 10.5s | 6 | 181124 | 2581 | 27781 0 | 745 | 636 13.39/13.41 c 12.5s | 6 | 211860 | 3181 | 27781 0 | 745 | 636 13.49/13.56 c 12.7s | 7 | 215929 | 3223 | 30560 0 | 745 | 636 15.68/15.77 c 14.9s | 7 | 248633 | 3723 | 30560 0 | 746 | 637 17.98/18.08 c 17.2s | 7 | 285014 | 4223 | 30560 0 | 746 | 637 20.48/20.55 c 19.7s | 7 | 326671 | 4823 | 30560 0 | 748 | 639 20.99/21.09 c 20.2s | 8 | 334146 | 4936 | 33616 0 | 748 | 639 23.09/23.19 c 22.3s | 8 | 371836 | 5336 | 33616 0 | 748 | 639 25.58/25.60 c 24.7s | 8 | 408702 | 5836 | 33616 0 | 748 | 639 27.68/27.75 c 26.9s | 8 | 441912 | 6336 | 33616 0 | 748 | 639 30.08/30.19 c 29.3s | 8 | 483627 | 6936 | 33616 0 | 748 | 639 32.18/32.29 c 31.4s | 8 | 517006 | 7336 | 33616 0 | 750 | 641 32.99/33.03 c 32.2s | 9 | 528861 | 7506 | 36978 0 | 750 | 641 35.19/35.25 c 34.4s | 9 | 560120 | 8106 | 36978 0 | 750 | 641 37.49/37.53 c 36.7s | 9 | 587349 | 8706 | 36978 0 | 751 | 642 39.98/40.01 c 39.2s | 9 | 620234 | 9306 | 36978 0 | 752 | 643 42.48/42.50 c 41.6s | 9 | 662984 | 9806 | 36978 0 | 752 | 643 44.88/44.96 c 44.1s | 9 | 706972 | 10406 | 36978 0 | 752 | 643 47.18/47.21 c 46.3s | 9 | 737762 | 11006 | 36978 0 | 752 | 643 48.48/48.52 c 47.7s | 10 | 750549 | 11361 | 40676 0 | 752 | 643 50.48/50.55 c 49.7s | 10 | 777498 | 11761 | 40676 0 | 753 | 644 52.78/52.84 c 52.0s | 10 | 807812 | 12261 | 40676 0 | 753 | 644 54.98/55.04 c 54.2s | 10 | 834132 | 12861 | 40676 0 | 753 | 644 57.18/57.26 c 56.4s | 10 | 873109 | 13361 | 40676 0 | 753 | 644 59.58/59.62 c 58.8s | 10 | 886253 | 14161 | 40676 0 | 753 | 644 61.98/62.04 c 61.2s | 10 | 919112 | 14661 | 40676 0 | 754 | 645 64.48/64.53 c 63.7s | 10 | 952600 | 15161 | 40676 0 | 755 | 646 66.68/66.71 c 65.9s | 10 | 982880 | 15761 | 40676 0 | 755 | 646 68.68/68.74 c 67.9s | 10 | 1010191 | 16161 | 40676 0 | 755 | 646 70.78/70.86 c 70.0s | 10 | 1042680 | 16561 | 40676 0 | 755 | 646 72.98/73.06 c 72.2s | 10 | 1068356 | 16961 | 40676 0 | 756 | 647 73.69/73.71 c 72.9s | 11 | 1078029 | 17144 | 44744 0 | 756 | 647 75.99/76.04 c 75.2s | 11 | 1101610 | 17644 | 44744 0 | 757 | 648 78.19/78.28 c 77.4s | 11 | 1140246 | 18044 | 44744 0 | 757 | 648 80.29/80.33 c 79.5s | 11 | 1166331 | 18444 | 44744 0 | 758 | 649 82.68/82.73 c 81.9s | 11 | 1201298 | 18944 | 44744 0 | 758 | 649 84.79/84.87 c 84.0s | 11 | 1226415 | 19544 | 44744 0 | 758 | 649 86.89/86.94 c 86.1s | 11 | 1257807 | 19944 | 44744 0 | 758 | 649 88.98/89.09 c 88.2s | 11 | 1281069 | 20444 | 44744 0 | 759 | 650 91.29/91.34 c 90.5s | 11 | 1309429 | 20944 | 44744 0 | 759 | 650 93.38/93.47 c 92.6s | 11 | 1325518 | 21544 | 44744 0 | 759 | 650 95.58/95.60 c 94.7s | 11 | 1352100 | 22044 | 44744 0 | 759 | 650 98.18/98.26 c 97.4s | 11 | 1380904 | 22444 | 44744 0 | 760 | 651 100.48/100.55 c 99.7s | 11 | 1403003 | 23044 | 44744 0 | 760 | 651 102.88/102.98 c 102s | 11 | 1433073 | 23544 | 44744 0 | 760 | 651 105.08/105.17 c 104s | 11 | 1462408 | 23944 | 44744 0 | 761 | 652 107.38/107.44 c 106s | 11 | 1484445 | 24544 | 44744 0 | 761 | 652 109.38/109.49 c 108s | 11 | 1507969 | 24844 | 44744 0 | 762 | 653 111.68/111.75 c 110s | 11 | 1533698 | 25344 | 44744 0 | 762 | 653 113.38/113.42 c 112s | 12 | 1551095 | 25819 | 49219 0 | 762 | 653 115.58/115.64 c 114s | 12 | 1574312 | 26219 | 49219 0 | 762 | 653 117.68/117.70 c 116s | 12 | 1598872 | 26619 | 49219 0 | 762 | 653 119.77/119.88 c 119s | 12 | 1628023 | 27019 | 49219 0 | 762 | 653 121.87/121.93 c 121s | 12 | 1652114 | 27419 | 49219 0 | 762 | 653 123.97/124.03 c 123s | 12 | 1678229 | 27819 | 49219 0 | 762 | 653 126.07/126.18 c 125s | 12 | 1705728 | 28319 | 49219 0 | 762 | 653 128.37/128.40 c 127s | 12 | 1734148 | 28819 | 49219 0 | 762 | 653 130.57/130.69 c 129s | 12 | 1757696 | 29419 | 49219 0 | 762 | 653 132.67/132.77 c 131s | 12 | 1787151 | 29819 | 49219 0 | 762 | 653 134.87/134.90 c 134s | 12 | 1807200 | 30419 | 49219 0 | 762 | 653 137.17/137.29 c 136s | 12 | 1828280 | 31019 | 49219 0 | 762 | 653 139.27/139.38 c 138s | 12 | 1853708 | 31519 | 49219 0 | 762 | 653 141.47/141.59 c 140s | 12 | 1879885 | 31919 | 49219 0 | 762 | 653 143.57/143.68 c 142s | 12 | 1902995 | 32319 | 49219 0 | 762 | 653 145.67/145.73 c 144s | 12 | 1926298 | 32819 | 49219 0 | 762 | 653 147.67/147.79 c 146s | 12 | 1952500 | 33219 | 49219 0 | 762 | 653 149.87/149.97 c 149s | 12 | 1968589 | 33819 | 49219 0 | 762 | 653 152.17/152.22 c 151s | 12 | 1994720 | 34319 | 49219 0 | 762 | 653 154.37/154.40 c 153s | 12 | 2016573 | 34719 | 49219 0 | 762 | 653 156.47/156.59 c 155s | 12 | 2032263 | 35219 | 49219 0 | 762 | 653 158.86/158.99 c 158s | 12 | 2055026 | 35619 | 49219 0 | 763 | 654 161.36/161.42 c 160s | 12 | 2079865 | 36119 | 49219 0 | 763 | 654 163.46/163.56 c 162s | 12 | 2106453 | 36419 | 49219 0 | 763 | 654 165.66/165.77 c 164s | 12 | 2131973 | 36819 | 49219 0 | 763 | 654 168.37/168.40 c 167s | 12 | 2163996 | 37219 | 49219 0 | 763 | 654 170.66/170.73 c 169s | 12 | 2192292 | 37619 | 49219 0 | 763 | 654 172.77/172.86 c 172s | 12 | 2210388 | 38119 | 49219 0 | 763 | 654 174.97/175.07 c 174s | 12 | 2232514 | 38619 | 54141 0 | 763 | 654 176.16/176.29 c 175s | 13 | 2244347 | 38832 | 54141 0 | 763 | 654 178.27/178.30 c 177s | 13 | 2261851 | 39232 | 54141 0 | 763 | 654 180.66/180.77 c 179s | 13 | 2289625 | 39632 | 54141 0 | 763 | 654 183.26/183.35 c 182s | 13 | 2313583 | 40132 | 54141 0 | 763 | 654 185.46/185.51 c 184s | 13 | 2338958 | 40632 | 54141 0 | 763 | 654 188.07/188.19 c 187s | 13 | 2361673 | 41332 | 54141 0 | 763 | 654 190.66/190.70 c 189s | 13 | 2384739 | 41832 | 54141 0 | 763 | 654 193.06/193.13 c 192s | 13 | 2410032 | 42332 | 54141 0 | 763 | 654 195.06/195.17 c 194s | 13 | 2430248 | 42832 | 54141 0 | 763 | 654 197.16/197.27 c 196s | 13 | 2446522 | 43332 | 54141 0 | 763 | 654 199.46/199.57 c 198s | 13 | 2458989 | 43832 | 54141 0 | 763 | 654 201.56/201.64 c 200s | 13 | 2460162 | 44232 | 54141 0 | 763 | 654 204.06/204.17 c 203s | 13 | 2483270 | 44632 | 54141 0 | 763 | 654 206.16/206.28 c 205s | 13 | 2504726 | 45032 | 54141 0 | 763 | 654 208.56/208.62 c 207s | 13 | 2526011 | 45532 | 54141 0 | 763 | 654 210.66/210.70 c 209s | 13 | 2544912 | 46032 | 54141 0 | 763 | 654 213.06/213.18 c 212s | 13 | 2571375 | 46532 | 54141 0 | 763 | 654 215.56/215.61 c 214s | 13 | 2597893 | 47032 | 54141 0 | 763 | 654 217.76/217.88 c 217s | 13 | 2618781 | 47532 | 54141 0 | 763 | 654 219.86/219.92 c 219s | 13 | 2639652 | 47932 | 54141 0 | 763 | 654 221.96/222.09 c 221s | 13 | 2663697 | 48332 | 54141 0 | 763 | 654 224.85/224.90 c 224s | 13 | 2693159 | 48832 | 54141 0 | 763 | 654 227.05/227.16 c 226s | 13 | 2718251 | 49232 | 54141 0 | 763 | 654 229.55/229.65 c 228s | 13 | 2744954 | 49732 | 54141 0 | 763 | 654 231.75/231.84 c 230s | 13 | 2768827 | 50032 | 54141 0 | 763 | 654 233.75/233.89 c 233s | 13 | 2782967 | 50532 | 54141 0 | 763 | 654 235.95/236.00 c 235s | 13 | 2803605 | 50832 | 54141 0 | 763 | 654 238.25/238.33 c 237s | 13 | 2826918 | 51232 | 54141 0 | 763 | 654 240.35/240.48 c 239s | 13 | 2845301 | 51632 | 54141 0 | 763 | 654 243.16/243.23 c 242s | 13 | 2862996 | 51932 | 54141 0 | 765 | 656 245.36/245.45 c 244s | 13 | 2883392 | 52232 | 54141 0 | 765 | 656 247.46/247.57 c 246s | 13 | 2897937 | 52632 | 54141 0 | 765 | 656 250.15/250.21 c 249s | 13 | 2921085 | 52932 | 54141 0 | 766 | 657 252.35/252.42 c 251s | 13 | 2932823 | 53432 | 54141 0 | 766 | 657 254.45/254.50 c 253s | 13 | 2935302 | 53932 | 54141 0 | 766 | 657 256.85/256.95 c 256s | 13 | 2947432 | 54432 | 54141 0 | 766 | 657 259.15/259.24 c 258s | 13 | 2970802 | 54832 | 54141 0 | 766 | 657 261.35/261.48 c 260s | 13 | 2994346 | 55232 | 54141 0 | 766 | 657 263.55/263.65 c 262s | 13 | 3006784 | 55732 | 54141 0 | 766 | 657 265.75/265.81 c 264s | 13 | 3025600 | 56132 | 54141 0 | 766 | 657 268.55/268.63 c 267s | 13 | 3042462 | 56432 | 54141 1 | 766 | 657 270.75/270.80 c 269s | 13 | 3057432 | 56932 | 54141 1 | 766 | 657 272.95/273.00 c 272s | 13 | 3078875 | 57432 | 54141 1 | 766 | 657 274.95/275.04 c 274s | 13 | 3102005 | 57932 | 54141 1 | 766 | 657 277.05/277.20 c 276s | 13 | 3118857 | 58332 | 59556 1 | 766 | 657 277.35/277.45 c 276s | 14 | 3118890 | 58352 | 59556 1 | 766 | 657 279.45/279.52 c 278s | 14 | 3133093 | 58752 | 59556 1 | 766 | 657 281.45/281.55 c 280s | 14 | 3141005 | 59152 | 59556 1 | 766 | 657 283.64/283.71 c 282s | 14 | 3160329 | 59652 | 59556 1 | 766 | 657 285.95/286.09 c 285s | 14 | 3174200 | 60052 | 59556 1 | 767 | 658 288.34/288.40 c 287s | 14 | 3180126 | 60552 | 59556 1 | 767 | 658 290.45/290.56 c 289s | 14 | 3188811 | 60952 | 59556 1 | 767 | 658 292.65/292.73 c 291s | 14 | 3215021 | 61352 | 59556 1 | 767 | 658 294.94/295.04 c 294s | 14 | 3237582 | 61852 | 59556 1 | 767 | 658 297.05/297.14 c 296s | 14 | 3261057 | 62352 | 59556 1 | 767 | 658 299.25/299.35 c 298s | 14 | 3282283 | 62752 | 59556 1 | 767 | 658 301.64/301.72 c 300s | 14 | 3303795 | 63352 | 59556 1 | 767 | 658 303.74/303.80 c 302s | 14 | 3319259 | 63752 | 59556 1 | 767 | 658 305.94/306.05 c 305s | 14 | 3342549 | 64152 | 59556 1 | 767 | 658 308.44/308.50 c 307s | 14 | 3371974 | 64652 | 59556 1 | 767 | 658 310.75/310.82 c 309s | 14 | 3389305 | 65352 | 59556 1 | 767 | 658 312.94/313.06 c 312s | 14 | 3403049 | 65852 | 59556 1 | 767 | 658 315.04/315.13 c 314s | 14 | 3422962 | 66252 | 59556 1 | 767 | 658 317.14/317.24 c 316s | 14 | 3447571 | 66652 | 59556 1 | 767 | 658 319.24/319.34 c 318s | 14 | 3465492 | 67052 | 59556 1 | 767 | 658 321.25/321.39 c 320s | 14 | 3482029 | 67452 | 59556 1 | 767 | 658 323.64/323.77 c 322s | 14 | 3508394 | 67852 | 59556 1 | 767 | 658 325.94/326.09 c 325s | 14 | 3534024 | 68252 | 59556 1 | 767 | 658 328.14/328.28 c 327s | 14 | 3552060 | 68652 | 59556 1 | 767 | 658 330.94/331.00 c 330s | 14 | 3583745 | 69052 | 59556 1 | 767 | 658 332.94/333.03 c 332s | 14 | 3604446 | 69452 | 59556 1 | 767 | 658 334.94/335.07 c 334s | 14 | 3630389 | 69752 | 59556 1 | 767 | 658 337.44/337.52 c 336s | 14 | 3658632 | 70152 | 59556 1 | 767 | 658 339.85/339.99 c 339s | 14 | 3682444 | 70652 | 59556 1 | 767 | 658 342.64/342.73 c 341s | 14 | 3708487 | 71152 | 59556 1 | 767 | 658 344.74/344.80 c 343s | 14 | 3726737 | 71552 | 59556 1 | 767 | 658 346.73/346.84 c 345s | 14 | 3743557 | 71952 | 59556 1 | 767 | 658 349.13/349.23 c 348s | 14 | 3764567 | 72352 | 59556 1 | 767 | 658 351.33/351.42 c 350s | 14 | 3788676 | 72652 | 59556 1 | 767 | 658 353.73/353.81 c 352s | 14 | 3810614 | 73052 | 59556 1 | 767 | 658 356.03/356.14 c 355s | 14 | 3825657 | 73452 | 59556 1 | 767 | 658 358.13/358.21 c 357s | 14 | 3826588 | 73752 | 59556 1 | 767 | 658 361.03/361.18 c 360s | 14 | 3827695 | 74052 | 59556 1 | 767 | 658 363.13/363.22 c 362s | 14 | 3836414 | 74352 | 59556 1 | 767 | 658 365.14/365.25 c 364s | 14 | 3862723 | 74652 | 59556 1 | 767 | 658 367.23/367.35 c 366s | 14 | 3889801 | 74952 | 59556 1 | 767 | 658 369.43/369.59 c 368s | 14 | 3895262 | 75452 | 59556 1 | 767 | 658 371.63/371.79 c 370s | 14 | 3916779 | 75852 | 59556 1 | 767 | 658 373.83/373.94 c 373s | 14 | 3936467 | 76252 | 59556 1 | 767 | 658 375.83/375.95 c 375s | 14 | 3957151 | 76652 | 59556 1 | 767 | 658 378.13/378.28 c 377s | 14 | 3976542 | 77052 | 59556 1 | 767 | 658 380.23/380.33 c 379s | 14 | 3994473 | 77452 | 59556 1 | 767 | 658 382.92/383.04 c 382s | 14 | 4015425 | 77752 | 59556 1 | 768 | 659 385.03/385.12 c 384s | 14 | 4036656 | 78152 | 59556 1 | 768 | 659 387.52/387.62 c 386s | 14 | 4051306 | 78452 | 59556 1 | 769 | 660 389.92/390.03 c 389s | 14 | 4062948 | 78952 | 59556 1 | 769 | 660 392.02/392.15 c 391s | 14 | 4080583 | 79452 | 59556 1 | 769 | 660 394.32/394.47 c 393s | 14 | 4092001 | 79852 | 59556 1 | 769 | 660 396.42/396.59 c 395s | 14 | 4100973 | 80352 | 59556 1 | 769 | 660 398.62/398.80 c 397s | 14 | 4103511 | 80752 | 59556 1 | 769 | 660 401.32/401.40 c 400s | 14 | 4127741 | 81252 | 59556 1 | 769 | 660 403.41/403.55 c 402s | 14 | 4141615 | 81652 | 59556 1 | 769 | 660 406.02/406.19 c 405s | 14 | 4163455 | 82052 | 59556 1 | 769 | 660 408.32/408.48 c 407s | 14 | 4174006 | 82452 | 59556 1 | 769 | 660 411.02/411.11 c 410s | 14 | 4197223 | 82852 | 59556 1 | 769 | 660 413.42/413.56 c 412s | 14 | 4217625 | 83252 | 59556 1 | 769 | 660 415.83/415.94 c 415s | 14 | 4238130 | 83652 | 59556 1 | 769 | 660 418.03/418.18 c 417s | 14 | 4258809 | 84152 | 59556 1 | 769 | 660 420.52/420.69 c 419s | 14 | 4279644 | 84652 | 59556 1 | 769 | 660 422.72/422.89 c 422s | 14 | 4299375 | 85052 | 59556 1 | 769 | 660 425.02/425.13 c 424s | 14 | 4318299 | 85552 | 59556 1 | 769 | 660 427.02/427.16 c 426s | 14 | 4339916 | 85852 | 59556 1 | 769 | 660 429.32/429.47 c 428s | 14 | 4359539 | 86252 | 59556 1 | 769 | 660 431.41/431.50 c 430s | 14 | 4376185 | 86552 | 59556 1 | 769 | 660 433.51/433.61 c 432s | 14 | 4391682 | 86852 | 59556 1 | 769 | 660 435.71/435.88 c 435s | 14 | 4408007 | 87252 | 65512 1 | 769 | 660 438.11/438.27 c 437s | 14 | 4432207 | 87552 | 65512 1 | 769 | 660 438.92/439.04 c 438s | 15 | 4439561 | 87632 | 65512 1 | 769 | 660 441.61/441.75 c 440s | 15 | 4454940 | 87932 | 65512 1 | 769 | 660 443.91/444.09 c 443s | 15 | 4479606 | 88332 | 65512 1 | 769 | 660 446.21/446.36 c 445s | 15 | 4500206 | 88732 | 65512 1 | 769 | 660 448.61/448.73 c 447s | 15 | 4522205 | 89132 | 65512 1 | 769 | 660 450.91/451.07 c 450s | 15 | 4538408 | 89532 | 65512 1 | 769 | 660 453.11/453.27 c 452s | 15 | 4552683 | 90032 | 65512 1 | 769 | 660 455.41/455.58 c 454s | 15 | 4572689 | 90432 | 65512 1 | 769 | 660 457.61/457.79 c 456s | 15 | 4587533 | 90832 | 65512 1 | 769 | 660 460.51/460.62 c 459s | 15 | 4609144 | 91332 | 65512 1 | 769 | 660 462.91/463.07 c 462s | 15 | 4627305 | 91732 | 65512 1 | 769 | 660 465.21/465.38 c 464s | 15 | 4646819 | 92132 | 65512 1 | 769 | 660 468.51/468.66 c 467s | 15 | 4670998 | 92532 | 65512 1 | 770 | 661 470.60/470.75 c 469s | 15 | 4690017 | 92932 | 65512 1 | 770 | 661 472.70/472.89 c 472s | 15 | 4708406 | 93332 | 65512 1 | 770 | 661 475.70/475.83 c 474s | 15 | 4722993 | 93732 | 65512 1 | 770 | 661 477.70/477.88 c 477s | 15 | 4739998 | 94032 | 65512 1 | 770 | 661 479.80/479.97 c 479s | 15 | 4758022 | 94432 | 65512 1 | 770 | 661 482.09/482.22 c 481s | 15 | 4781241 | 94732 | 65512 1 | 770 | 661 484.29/484.46 c 483s | 15 | 4800891 | 95132 | 65512 1 | 770 | 661 486.99/487.14 c 486s | 15 | 4831882 | 95532 | 65512 1 | 770 | 661 489.19/489.38 c 488s | 15 | 4843650 | 96032 | 65512 1 | 770 | 661 492.19/492.30 c 491s | 15 | 4855876 | 96232 | 65512 2 | 770 | 661 494.59/494.77 c 493s | 15 | 4877248 | 96732 | 65512 2 | 770 | 661 496.59/496.78 c 495s | 15 | 4894754 | 97132 | 65512 2 | 770 | 661 498.89/499.02 c 498s | 15 | 4919587 | 97532 | 65512 2 | 770 | 661 501.19/501.39 c 500s | 15 | 4935999 | 98132 | 65512 2 | 770 | 661 503.58/503.71 c 502s | 15 | 4961751 | 98632 | 65512 2 | 770 | 661 505.89/506.02 c 505s | 15 | 4977389 | 99132 | 65512 2 | 770 | 661 508.20/508.35 c 507s | 15 | 4994613 | 99632 | 65512 2 | 770 | 661 510.59/510.70 c 509s | 15 | 5015047 | 100032 | 65512 2 | 770 | 661 512.68/512.85 c 511s | 15 | 5033428 | 100432 | 65512 2 | 770 | 661 515.38/515.53 c 514s | 15 | 5066405 | 100932 | 65512 2 | 770 | 661 517.38/517.56 c 516s | 15 | 5090008 | 101332 | 65512 2 | 770 | 661 519.98/520.12 c 519s | 15 | 5121351 | 101732 | 65512 2 | 770 | 661 522.28/522.42 c 521s | 15 | 5133156 | 102132 | 65512 2 | 770 | 661 524.58/524.77 c 523s | 15 | 5151286 | 102632 | 65512 2 | 770 | 661 527.08/527.27 c 526s | 15 | 5174807 | 103132 | 65512 2 | 770 | 661 529.18/529.39 c 528s | 15 | 5197856 | 103532 | 65512 2 | 770 | 661 531.38/531.59 c 530s | 15 | 5223652 | 103932 | 65512 2 | 770 | 661 533.67/533.87 c 533s | 15 | 5239474 | 104432 | 65512 2 | 770 | 661 535.87/536.05 c 535s | 15 | 5243238 | 104932 | 65512 2 | 770 | 661 538.67/538.83 c 537s | 15 | 5244458 | 105332 | 65512 2 | 770 | 661 540.87/541.09 c 540s | 15 | 5261785 | 105732 | 65512 2 | 770 | 661 543.07/543.23 c 542s | 15 | 5270673 | 106332 | 65512 2 | 770 | 661 545.07/545.24 c 544s | 15 | 5285769 | 106732 | 65512 2 | 770 | 661 547.67/547.81 c 546s | 15 | 5310514 | 107232 | 65512 2 | 770 | 661 550.06/550.24 c 549s | 15 | 5336553 | 107632 | 65512 2 | 770 | 661 552.07/552.26 c 551s | 15 | 5355140 | 108032 | 65512 2 | 770 | 661 554.56/554.74 c 553s | 15 | 5375527 | 108432 | 65512 2 | 770 | 661 556.86/557.04 c 556s | 15 | 5396291 | 108932 | 65512 2 | 770 | 661 559.06/559.21 c 558s | 15 | 5416880 | 109232 | 65512 2 | 770 | 661 561.36/561.56 c 560s | 15 | 5437244 | 109632 | 65512 2 | 770 | 661 563.66/563.80 c 562s | 15 | 5452415 | 110032 | 65512 2 | 770 | 661 565.86/566.09 c 565s | 15 | 5468686 | 110432 | 65512 2 | 770 | 661 567.96/568.18 c 567s | 15 | 5490874 | 110832 | 65512 2 | 770 | 661 570.06/570.22 c 569s | 15 | 5512168 | 111132 | 65512 2 | 770 | 661 572.45/572.64 c 571s | 15 | 5536091 | 111532 | 65512 2 | 770 | 661 574.95/575.16 c 574s | 15 | 5558177 | 112032 | 65512 2 | 770 | 661 577.46/577.68 c 576s | 15 | 5574279 | 112332 | 65512 2 | 771 | 662 580.15/580.35 c 579s | 15 | 5596035 | 112832 | 65512 2 | 771 | 662 582.35/582.56 c 581s | 15 | 5613125 | 113232 | 65512 2 | 771 | 662 584.85/585.06 c 584s | 15 | 5628501 | 113832 | 65512 2 | 771 | 662 586.95/587.16 c 586s | 15 | 5645946 | 114232 | 65512 2 | 771 | 662 589.35/589.57 c 588s | 15 | 5667829 | 114732 | 65512 2 | 771 | 662 591.65/591.83 c 590s | 15 | 5690212 | 115232 | 65512 2 | 771 | 662 593.85/594.07 c 593s | 15 | 5704694 | 115632 | 65512 2 | 771 | 662 595.84/596.09 c 595s | 15 | 5724204 | 116032 | 65512 2 | 771 | 662 598.14/598.30 c 597s | 15 | 5740672 | 116432 | 65512 2 | 771 | 662 600.34/600.57 c 599s | 15 | 5757979 | 116832 | 65512 2 | 771 | 662 602.44/602.65 c 601s | 15 | 5770150 | 117332 | 65512 2 | 771 | 662 604.85/605.08 c 604s | 15 | 5787245 | 117832 | 65512 2 | 771 | 662 607.44/607.60 c 606s | 15 | 5805048 | 118232 | 65512 2 | 771 | 662 609.84/610.00 c 609s | 15 | 5824750 | 118632 | 65512 2 | 771 | 662 612.24/612.47 c 611s | 15 | 5849280 | 119032 | 65512 2 | 771 | 662 614.54/614.74 c 613s | 15 | 5870146 | 119432 | 65512 2 | 771 | 662 616.54/616.78 c 615s | 15 | 5889221 | 119832 | 65512 2 | 771 | 662 618.74/618.94 c 618s | 15 | 5903304 | 120232 | 65512 2 | 771 | 662 621.04/621.21 c 620s | 15 | 5905671 | 120932 | 65512 2 | 771 | 662 623.24/623.48 c 622s | 15 | 5918903 | 121432 | 65512 2 | 771 | 662 625.44/625.64 c 624s | 15 | 5941053 | 121832 | 65512 2 | 771 | 662 628.24/628.41 c 627s | 15 | 5965575 | 122232 | 65512 2 | 771 | 662 630.24/630.42 c 629s | 15 | 5976776 | 122632 | 65512 2 | 771 | 662 632.53/632.70 c 631s | 15 | 5992749 | 123032 | 65512 2 | 771 | 662 634.54/634.78 c 633s | 15 | 6007560 | 123632 | 65512 2 | 771 | 662 636.63/636.81 c 635s | 15 | 6026190 | 123932 | 65512 2 | 771 | 662 638.83/639.04 c 638s | 15 | 6046856 | 124332 | 65512 2 | 771 | 662 641.94/642.15 c 641s | 15 | 6052136 | 124732 | 65512 2 | 772 | 663 644.24/644.49 c 643s | 15 | 6073803 | 125032 | 65512 2 | 772 | 663 646.94/647.10 c 646s | 15 | 6097273 | 125432 | 65512 2 | 772 | 663 649.24/649.43 c 648s | 15 | 6112478 | 125832 | 65512 2 | 772 | 663 651.94/652.14 c 651s | 15 | 6137941 | 126232 | 65512 2 | 772 | 663 654.14/654.34 c 653s | 15 | 6154190 | 126632 | 65512 2 | 772 | 663 656.44/656.70 c 655s | 15 | 6177145 | 127032 | 65512 2 | 772 | 663 658.85/659.01 c 658s | 15 | 6199864 | 127432 | 65512 2 | 772 | 663 660.84/661.06 c 660s | 15 | 6218375 | 127832 | 65512 2 | 772 | 663 662.94/663.15 c 662s | 15 | 6230593 | 128232 | 65512 2 | 772 | 663 665.64/665.83 c 664s | 15 | 6250741 | 128632 | 65512 2 | 772 | 663 668.34/668.52 c 667s | 15 | 6269603 | 129032 | 65512 2 | 772 | 663 670.54/670.70 c 669s | 15 | 6271555 | 129432 | 65512 2 | 772 | 663 673.93/674.16 c 673s | 15 | 6282942 | 129732 | 65512 3 | 772 | 663 676.23/676.46 c 675s | 15 | 6296838 | 130232 | 65512 3 | 772 | 663 678.54/678.78 c 677s | 15 | 6324781 | 130632 | 65512 3 | 772 | 663 680.63/680.86 c 680s | 15 | 6348740 | 131132 | 72064 3 | 772 | 663 682.42/682.64 c 681s | 16 | 6362669 | 131552 | 72064 3 | 772 | 663 684.72/684.92 c 684s | 16 | 6379025 | 132052 | 72064 3 | 772 | 663 686.82/687.08 c 686s | 16 | 6393494 | 132552 | 72064 3 | 772 | 663 689.63/689.88 c 689s | 16 | 6404669 | 133152 | 72064 3 | 772 | 663 692.22/692.41 c 691s | 16 | 6427117 | 133552 | 72064 3 | 772 | 663 694.82/695.01 c 694s | 16 | 6449931 | 134152 | 72064 3 | 772 | 663 697.02/697.28 c 696s | 16 | 6472588 | 134552 | 72064 3 | 772 | 663 699.21/699.42 c 698s | 16 | 6495717 | 134952 | 72064 3 | 772 | 663 701.41/701.66 c 700s | 16 | 6519478 | 135352 | 72064 3 | 772 | 663 703.51/703.71 c 702s | 16 | 6537312 | 135752 | 72064 3 | 772 | 663 705.81/706.01 c 705s | 16 | 6557100 | 136152 | 72064 3 | 772 | 663 707.91/708.17 c 707s | 16 | 6568123 | 136652 | 72064 3 | 772 | 663 710.11/710.31 c 709s | 16 | 6584181 | 137152 | 72064 3 | 772 | 663 712.50/712.77 c 711s | 16 | 6605849 | 137652 | 72064 3 | 772 | 663 714.70/714.95 c 714s | 16 | 6627368 | 138052 | 72064 3 | 772 | 663 716.90/717.13 c 716s | 16 | 6646003 | 138452 | 72064 3 | 772 | 663 719.10/719.40 c 718s | 16 | 6659931 | 138952 | 72064 3 | 772 | 663 721.30/721.58 c 720s | 16 | 6670587 | 139352 | 72064 3 | 772 | 663 723.79/724.04 c 723s | 16 | 6686848 | 139852 | 72064 3 | 772 | 663 725.99/726.25 c 725s | 16 | 6693650 | 140252 | 72064 3 | 772 | 663 728.10/728.36 c 727s | 16 | 6711911 | 140652 | 72064 3 | 772 | 663 730.49/730.76 c 729s | 16 | 6731623 | 141052 | 72064 3 | 773 | 664 732.59/732.89 c 732s | 16 | 6753964 | 141552 | 72064 3 | 773 | 664 735.29/735.57 c 734s | 16 | 6786638 | 142052 | 72064 3 | 773 | 664 737.28/737.59 c 736s | 16 | 6803578 | 142552 | 72064 3 | 773 | 664 739.38/739.65 c 738s | 16 | 6825480 | 142852 | 72064 3 | 773 | 664 741.49/741.75 c 740s | 16 | 6839741 | 143352 | 72064 3 | 773 | 664 743.89/744.13 c 743s | 16 | 6863519 | 143752 | 72064 3 | 773 | 664 746.29/746.56 c 745s | 16 | 6876805 | 144252 | 72064 3 | 773 | 664 748.59/748.87 c 748s | 16 | 6898866 | 144752 | 72064 3 | 773 | 664 751.09/751.37 c 750s | 16 | 6921010 | 145252 | 72064 3 | 773 | 664 753.29/753.60 c 752s | 16 | 6929608 | 145652 | 72064 3 | 773 | 664 755.49/755.77 c 754s | 16 | 6931035 | 146052 | 72064 3 | 773 | 664 757.88/758.18 c 757s | 16 | 6942346 | 146452 | 72064 3 | 773 | 664 760.18/760.44 c 759s | 16 | 6957664 | 146752 | 72064 3 | 774 | 665 762.47/762.72 c 761s | 16 | 6984431 | 147152 | 72064 3 | 774 | 665 764.77/765.02 c 764s | 16 | 6988200 | 147652 | 72064 3 | 774 | 665 767.17/767.42 c 766s | 16 | 6990045 | 148052 | 72064 3 | 774 | 665 769.27/769.52 c 768s | 16 | 7009714 | 148452 | 72064 3 | 774 | 665 771.47/771.72 c 770s | 16 | 7025741 | 148752 | 72064 3 | 775 | 666 773.86/774.14 c 773s | 16 | 7046384 | 149252 | 72064 3 | 775 | 666 776.06/776.38 c 775s | 16 | 7052305 | 149752 | 72064 3 | 775 | 666 778.26/778.55 c 777s | 16 | 7057114 | 150252 | 72064 3 | 775 | 666 780.36/780.60 c 779s | 16 | 7063554 | 150652 | 72064 3 | 775 | 666 782.36/782.69 c 781s | 16 | 7080752 | 150952 | 72064 3 | 775 | 666 784.86/785.14 c 784s | 16 | 7106388 | 151352 | 72064 3 | 775 | 666 786.86/787.18 c 786s | 16 | 7128645 | 151652 | 72064 3 | 775 | 666 789.16/789.44 c 788s | 16 | 7151229 | 152052 | 72064 3 | 775 | 666 791.45/791.74 c 790s | 16 | 7161452 | 152452 | 72064 3 | 775 | 666 793.65/793.91 c 793s | 16 | 7175993 | 152852 | 72064 3 | 775 | 666 796.06/796.36 c 795s | 16 | 7177530 | 153552 | 72064 3 | 775 | 666 798.46/798.79 c 797s | 16 | 7199977 | 153952 | 72064 3 | 775 | 666 800.66/800.91 c 800s | 16 | 7217997 | 154352 | 72064 3 | 775 | 666 802.65/802.97 c 802s | 16 | 7234458 | 154752 | 72064 3 | 775 | 666 804.96/805.24 c 804s | 16 | 7251324 | 155252 | 72064 3 | 775 | 666 806.95/807.29 c 806s | 16 | 7256365 | 155652 | 72064 3 | 775 | 666 809.45/809.70 c 808s | 16 | 7257269 | 155952 | 72064 3 | 775 | 666 811.45/811.79 c 810s | 16 | 7263935 | 156452 | 72064 3 | 775 | 666 813.44/813.79 c 812s | 16 | 7280474 | 156852 | 72064 3 | 775 | 666 816.05/816.35 c 815s | 16 | 7291964 | 157352 | 72064 3 | 775 | 666 818.64/818.94 c 818s | 16 | 7316134 | 157752 | 72064 3 | 775 | 666 820.64/820.96 c 820s | 16 | 7331489 | 158152 | 72064 3 | 775 | 666 822.83/823.14 c 822s | 16 | 7351326 | 158552 | 72064 3 | 775 | 666 824.93/825.25 c 824s | 16 | 7366953 | 158952 | 72064 3 | 775 | 666 826.94/827.25 c 826s | 16 | 7380181 | 159352 | 72064 3 | 775 | 666 829.03/829.36 c 828s | 16 | 7402652 | 159652 | 72064 3 | 775 | 666 831.34/831.63 c 830s | 16 | 7424728 | 160052 | 72064 3 | 775 | 666 833.63/833.99 c 833s | 16 | 7438368 | 160552 | 72064 3 | 775 | 666 836.42/836.77 c 835s | 16 | 7449312 | 160952 | 72064 3 | 775 | 666 838.72/839.09 c 838s | 16 | 7462383 | 161452 | 72064 3 | 775 | 666 840.82/841.13 c 840s | 16 | 7482052 | 161752 | 72064 3 | 775 | 666 843.12/843.45 c 842s | 16 | 7499475 | 162252 | 72064 3 | 775 | 666 845.32/845.61 c 844s | 16 | 7513504 | 162652 | 72064 3 | 775 | 666 847.41/847.77 c 846s | 16 | 7521190 | 163052 | 72064 3 | 775 | 666 849.51/849.80 c 848s | 16 | 7544986 | 163352 | 72064 3 | 775 | 666 851.61/851.92 c 851s | 16 | 7561765 | 163752 | 72064 3 | 775 | 666 854.11/854.47 c 853s | 16 | 7579135 | 164252 | 72064 3 | 775 | 666 856.31/856.67 c 855s | 16 | 7579702 | 164552 | 72064 3 | 775 | 666 858.41/858.73 c 857s | 16 | 7599316 | 164852 | 72064 3 | 775 | 666 860.51/860.82 c 859s | 16 | 7616552 | 165252 | 72064 3 | 775 | 666 863.01/863.36 c 862s | 16 | 7639896 | 165652 | 72064 3 | 775 | 666 865.91/866.27 c 865s | 16 | 7644941 | 165952 | 72064 3 | 775 | 666 868.72/869.05 c 868s | 16 | 7654053 | 166352 | 72064 3 | 775 | 666 870.91/871.28 c 870s | 16 | 7672021 | 166752 | 72064 3 | 775 | 666 873.21/873.53 c 872s | 16 | 7690149 | 167152 | 72064 3 | 775 | 666 875.60/875.91 c 875s | 16 | 7710290 | 167552 | 72064 3 | 775 | 666 877.90/878.27 c 877s | 16 | 7730556 | 167852 | 72064 3 | 775 | 666 880.20/880.50 c 879s | 16 | 7748621 | 168152 | 72064 3 | 775 | 666 882.30/882.62 c 881s | 16 | 7770916 | 168552 | 72064 3 | 775 | 666 884.79/885.18 c 884s | 16 | 7772371 | 168952 | 72064 3 | 775 | 666 886.99/887.36 c 886s | 16 | 7782999 | 169252 | 72064 3 | 775 | 666 889.39/889.79 c 888s | 16 | 7804917 | 169652 | 72064 3 | 775 | 666 891.79/892.17 c 891s | 16 | 7827393 | 170052 | 72064 3 | 775 | 666 893.99/894.37 c 893s | 16 | 7843396 | 170352 | 72064 3 | 775 | 666 896.48/896.86 c 895s | 16 | 7849936 | 170852 | 72064 3 | 775 | 666 899.68/900.00 c 899s | 16 | 7853619 | 171052 | 72064 4 | 775 | 666 901.88/902.22 c 901s | 16 | 7876006 | 171552 | 72064 4 | 775 | 666 904.08/904.45 c 903s | 16 | 7896661 | 172152 | 72064 4 | 775 | 666 906.09/906.49 c 905s | 16 | 7921305 | 172552 | 72064 4 | 775 | 666 908.48/908.85 c 907s | 16 | 7942704 | 172952 | 72064 4 | 775 | 666 910.68/911.02 c 910s | 16 | 7964041 | 173352 | 72064 4 | 775 | 666 912.97/913.38 c 912s | 16 | 7980086 | 173852 | 72064 4 | 775 | 666 915.17/915.50 c 914s | 16 | 7988110 | 174252 | 72064 4 | 775 | 666 917.37/917.78 c 916s | 16 | 7996625 | 174652 | 72064 4 | 775 | 666 919.57/919.92 c 919s | 16 | 8008820 | 174952 | 72064 4 | 775 | 666 921.77/922.13 c 921s | 16 | 8032601 | 175352 | 72064 4 | 775 | 666 924.57/924.91 c 924s | 16 | 8060902 | 175752 | 72064 4 | 776 | 667 926.77/927.14 c 926s | 16 | 8086052 | 176152 | 72064 4 | 776 | 667 928.97/929.30 c 928s | 16 | 8105097 | 176552 | 72064 4 | 776 | 667 931.38/931.73 c 930s | 16 | 8131506 | 177052 | 72064 4 | 776 | 667 933.87/934.21 c 933s | 16 | 8142270 | 177652 | 72064 4 | 776 | 667 935.97/936.33 c 935s | 16 | 8151026 | 178252 | 72064 4 | 776 | 667 938.47/938.83 c 937s | 16 | 8174269 | 178752 | 72064 4 | 776 | 667 940.47/940.84 c 939s | 16 | 8194907 | 179152 | 72064 4 | 776 | 667 942.66/943.05 c 942s | 16 | 8222222 | 179552 | 72064 4 | 776 | 667 944.86/945.27 c 944s | 16 | 8232077 | 180052 | 72064 4 | 776 | 667 947.66/948.06 c 947s | 16 | 8233529 | 180452 | 72064 4 | 776 | 667 950.26/950.66 c 949s | 16 | 8234895 | 180752 | 72064 4 | 776 | 667 952.36/952.71 c 951s | 16 | 8243759 | 181052 | 72064 4 | 776 | 667 954.46/954.83 c 953s | 16 | 8246335 | 181552 | 72064 4 | 776 | 667 957.25/957.62 c 956s | 16 | 8247596 | 181952 | 72064 4 | 776 | 667 959.96/960.37 c 959s | 16 | 8249531 | 182252 | 72064 4 | 776 | 667 962.74/963.11 c 962s | 16 | 8251023 | 182552 | 72064 4 | 776 | 667 965.14/965.55 c 964s | 16 | 8253204 | 182852 | 72064 4 | 776 | 667 967.44/967.82 c 966s | 16 | 8254355 | 183152 | 72064 4 | 776 | 667 969.65/970.02 c 969s | 16 | 8262567 | 183752 | 72064 4 | 776 | 667 971.64/972.04 c 971s | 16 | 8280612 | 184152 | 72064 4 | 776 | 667 974.14/974.60 c 973s | 16 | 8310716 | 184552 | 72064 4 | 776 | 667 976.45/976.88 c 976s | 16 | 8332854 | 185052 | 72064 4 | 776 | 667 978.94/979.33 c 978s | 16 | 8361044 | 185452 | 72064 4 | 776 | 667 981.14/981.55 c 980s | 16 | 8368322 | 185852 | 72064 4 | 776 | 667 983.24/983.65 c 982s | 16 | 8372130 | 186552 | 72064 4 | 776 | 667 985.44/985.88 c 985s | 16 | 8394058 | 187052 | 72064 4 | 776 | 667 987.94/988.34 c 987s | 16 | 8419903 | 187452 | 72064 4 | 776 | 667 990.14/990.59 c 989s | 16 | 8440128 | 187952 | 72064 4 | 776 | 667 992.44/992.86 c 992s | 16 | 8463301 | 188352 | 72064 4 | 776 | 667 994.74/995.19 c 994s | 16 | 8479984 | 188952 | 72064 4 | 776 | 667 996.84/997.29 c 996s | 16 | 8491084 | 189452 | 72064 4 | 776 | 667 999.04/999.48 c 998s | 16 | 8509738 | 189952 | 72064 4 | 776 | 667 1001.44/1001.85 c 1000s | 16 | 8526064 | 190452 | 72064 4 | 776 | 667 1004.04/1004.46 c 1003s | 16 | 8535920 | 190752 | 72064 4 | 776 | 667 1006.14/1006.54 c 1005s | 16 | 8553540 | 191152 | 72064 4 | 776 | 667 1008.83/1009.25 c 1008s | 16 | 8573355 | 191652 | 72064 4 | 776 | 667 1011.23/1011.68 c 1010s | 16 | 8597052 | 192152 | 72064 4 | 776 | 667 1013.43/1013.83 c 1012s | 16 | 8612852 | 192652 | 72064 4 | 776 | 667 1015.83/1016.29 c 1015s | 16 | 8637348 | 193052 | 72064 4 | 776 | 667 1017.93/1018.37 c 1017s | 16 | 8651031 | 193452 | 72064 4 | 776 | 667 1020.03/1020.47 c 1019s | 16 | 8672944 | 193852 | 72064 4 | 776 | 667 1022.13/1022.54 c 1021s | 16 | 8692331 | 194252 | 72064 4 | 776 | 667 1024.53/1024.98 c 1024s | 16 | 8716447 | 194552 | 72064 4 | 776 | 667 1027.13/1027.55 c 1026s | 16 | 8729695 | 195152 | 72064 4 | 776 | 667 1029.23/1029.66 c 1028s | 16 | 8745466 | 195552 | 72064 4 | 776 | 667 1031.93/1032.34 c 1031s | 16 | 8770077 | 195952 | 72064 4 | 776 | 667 1034.32/1034.79 c 1033s | 16 | 8780129 | 196452 | 79271 4 | 776 | 667 1036.82/1037.21 c 1036s | 16 | 8801675 | 196852 | 79271 4 | 776 | 667 1038.82/1039.22 c 1038s | 16 | 8816354 | 197252 | 79271 4 | 776 | 667 1039.92/1040.37 c 1039s | 17 | 8823911 | 197432 | 79271 4 | 776 | 667 1042.72/1043.15 c 1042s | 17 | 8836299 | 197732 | 79271 4 | 776 | 667 1045.22/1045.64 c 1044s | 17 | 8853604 | 198132 | 79271 4 | 776 | 667 1047.52/1047.92 c 1047s | 17 | 8865153 | 198732 | 79271 4 | 776 | 667 1049.72/1050.19 c 1049s | 17 | 8880976 | 199232 | 79271 4 | 776 | 667 1052.12/1052.56 c 1051s | 17 | 8900442 | 199632 | 79271 4 | 776 | 667 1054.54/1054.91 c 1054s | 17 | 8922295 | 200032 | 79271 4 | 776 | 667 1056.84/1057.29 c 1056s | 17 | 8935396 | 200432 | 79271 4 | 776 | 667 1059.13/1059.56 c 1058s | 17 | 8939954 | 200832 | 79271 4 | 776 | 667 1061.43/1061.88 c 1061s | 17 | 8955894 | 201232 | 79271 4 | 776 | 667 1063.83/1064.23 c 1063s | 17 | 8978381 | 201632 | 79271 4 | 776 | 667 1066.13/1066.52 c 1065s | 17 | 8997629 | 202132 | 79271 4 | 776 | 667 1068.63/1069.08 c 1068s | 17 | 9019274 | 202632 | 79271 4 | 776 | 667 1070.73/1071.10 c 1070s | 17 | 9040595 | 202932 | 79271 4 | 776 | 667 1072.83/1073.20 c 1072s | 17 | 9056653 | 203332 | 79271 4 | 776 | 667 1075.03/1075.40 c 1074s | 17 | 9074765 | 203732 | 79271 4 | 776 | 667 1077.13/1077.53 c 1076s | 17 | 9083876 | 204232 | 79271 4 | 776 | 667 1079.32/1079.71 c 1078s | 17 | 9096698 | 204632 | 79271 4 | 776 | 667 1081.62/1082.02 c 1081s | 17 | 9103267 | 205132 | 79271 4 | 776 | 667 1084.12/1084.53 c 1083s | 17 | 9104908 | 205532 | 79271 4 | 776 | 667 1086.22/1086.60 c 1085s | 17 | 9105636 | 205732 | 79271 4 | 776 | 667 1088.52/1088.93 c 1088s | 17 | 9107161 | 206132 | 79271 4 | 776 | 667 1090.62/1091.05 c 1090s | 17 | 9108008 | 206332 | 79271 4 | 776 | 667 1093.52/1093.92 c 1093s | 17 | 9108500 | 206532 | 79271 4 | 776 | 667 1096.32/1096.74 c 1095s | 17 | 9109410 | 206832 | 79271 4 | 776 | 667 1099.11/1099.54 c 1098s | 17 | 9110059 | 207032 | 79271 4 | 776 | 667 1101.51/1101.95 c 1101s | 17 | 9138420 | 207332 | 79271 4 | 776 | 667 1104.12/1104.57 c 1103s | 17 | 9156627 | 207932 | 79271 4 | 776 | 667 1106.32/1106.76 c 1105s | 17 | 9176263 | 208232 | 79271 4 | 776 | 667 1108.31/1108.80 c 1107s | 17 | 9194042 | 208532 | 79271 4 | 776 | 667 1110.62/1111.06 c 1110s | 17 | 9215310 | 208932 | 79271 4 | 776 | 667 1112.82/1113.26 c 1112s | 17 | 9233398 | 209332 | 79271 4 | 776 | 667 1115.51/1115.96 c 1115s | 17 | 9250963 | 209832 | 79271 4 | 776 | 667 1117.61/1118.08 c 1117s | 17 | 9272767 | 210232 | 79271 4 | 776 | 667 1120.21/1120.68 c 1119s | 17 | 9291389 | 210632 | 79271 4 | 776 | 667 1122.91/1123.34 c 1122s | 17 | 9316784 | 211032 | 79271 4 | 776 | 667 1125.51/1125.96 c 1125s | 17 | 9338447 | 211432 | 79271 4 | 776 | 667 1128.11/1128.51 c 1127s | 17 | 9354547 | 211932 | 79271 4 | 776 | 667 1130.42/1130.88 c 1130s | 17 | 9368508 | 212332 | 79271 4 | 776 | 667 1133.01/1133.47 c 1132s | 17 | 9387495 | 212732 | 79271 4 | 776 | 667 1135.71/1136.12 c 1135s | 17 | 9399133 | 213232 | 79271 4 | 776 | 667 1138.02/1138.47 c 1137s | 17 | 9402867 | 213632 | 79271 4 | 776 | 667 1140.42/1140.89 c 1140s | 17 | 9421804 | 214032 | 79271 4 | 776 | 667 1142.92/1143.39 c 1142s | 17 | 9437736 | 214532 | 79271 4 | 776 | 667 1145.31/1145.72 c 1144s | 17 | 9453236 | 215032 | 79271 4 | 776 | 667 1147.71/1148.14 c 1147s | 17 | 9459531 | 215532 | 79271 4 | 776 | 667 1150.32/1150.71 c 1149s | 17 | 9477087 | 216032 | 79271 4 | 776 | 667 1152.71/1153.11 c 1152s | 17 | 9492565 | 216532 | 79271 4 | 776 | 667 1156.82/1157.30 c 1156s | 17 | 9504662 | 216932 | 79271 5 | 776 | 667 1159.12/1159.52 c 1158s | 17 | 9526457 | 217332 | 79271 5 | 776 | 667 1161.41/1161.84 c 1160s | 17 | 9556555 | 217732 | 79271 5 | 776 | 667 1163.91/1164.36 c 1163s | 17 | 9580668 | 218132 | 79271 5 | 776 | 667 1166.21/1166.61 c 1165s | 17 | 9592601 | 218632 | 79271 5 | 776 | 667 1168.31/1168.72 c 1167s | 17 | 9612713 | 219032 | 79271 5 | 776 | 667 1170.50/1170.99 c 1170s | 17 | 9623229 | 219432 | 79271 5 | 776 | 667 1172.70/1173.18 c 1172s | 17 | 9632556 | 220032 | 79271 5 | 776 | 667 1175.10/1175.54 c 1174s | 17 | 9653119 | 220532 | 79271 5 | 776 | 667 1177.71/1178.15 c 1177s | 17 | 9679749 | 221032 | 79271 5 | 776 | 667 1180.10/1180.56 c 1179s | 17 | 9710012 | 221432 | 79271 5 | 776 | 667 1182.50/1182.96 c 1182s | 17 | 9732594 | 221932 | 79271 5 | 776 | 667 1184.70/1185.12 c 1184s | 17 | 9756576 | 222332 | 79271 5 | 776 | 667 1186.90/1187.35 c 1186s | 17 | 9775526 | 222732 | 79271 5 | 776 | 667 1189.40/1189.81 c 1188s | 17 | 9799746 | 223232 | 79271 5 | 776 | 667 1191.50/1191.93 c 1191s | 17 | 9803929 | 223932 | 79271 5 | 776 | 667 1193.70/1194.17 c 1193s | 17 | 9818762 | 224532 | 79271 5 | 776 | 667 1196.10/1196.59 c 1195s | 17 | 9841477 | 224932 | 79271 5 | 776 | 667 1198.40/1198.83 c 1197s | 17 | 9867516 | 225332 | 79271 5 | 776 | 667 1200.70/1201.10 c 1200s | 17 | 9889133 | 225832 | 79271 5 | 776 | 667 1202.80/1203.27 c 1202s | 17 | 9911082 | 226332 | 79271 5 | 776 | 667 1205.40/1205.81 c 1204s | 17 | 9930759 | 226832 | 79271 5 | 776 | 667 1207.90/1208.35 c 1207s | 17 | 9963969 | 227232 | 79271 5 | 776 | 667 1210.10/1210.52 c 1209s | 17 | 9983033 | 227732 | 79271 5 | 776 | 667 1212.10/1212.58 c 1211s | 17 | 10001741 | 228132 | 79271 5 | 776 | 667 1214.41/1214.89 c 1214s | 17 | 10022399 | 228532 | 79271 5 | 776 | 667 1216.61/1217.04 c 1216s | 17 | 10038740 | 228932 | 79271 5 | 776 | 667 1218.80/1219.25 c 1218s | 17 | 10063155 | 229332 | 79271 5 | 776 | 667 1220.90/1221.31 c 1220s | 17 | 10077720 | 229732 | 79271 5 | 776 | 667 1223.20/1223.70 c 1222s | 17 | 10097574 | 230132 | 79271 5 | 776 | 667 1225.50/1225.98 c 1225s | 17 | 10110848 | 230632 | 79271 5 | 776 | 667 1227.70/1228.18 c 1227s | 17 | 10128702 | 231132 | 79271 5 | 776 | 667 1230.30/1230.72 c 1229s | 17 | 10153418 | 231532 | 79271 5 | 776 | 667 1232.71/1233.15 c 1232s | 17 | 10176706 | 231932 | 79271 5 | 776 | 667 1235.10/1235.53 c 1234s | 17 | 10201189 | 232332 | 79271 5 | 776 | 667 1237.50/1237.96 c 1237s | 17 | 10229198 | 232732 | 79271 5 | 776 | 667 1239.70/1240.13 c 1239s | 17 | 10238165 | 233232 | 79271 5 | 776 | 667 1241.80/1242.20 c 1241s | 17 | 10252224 | 233632 | 79271 5 | 776 | 667 1244.30/1244.75 c 1243s | 17 | 10266624 | 234132 | 79271 5 | 776 | 667 1246.70/1247.18 c 1246s | 17 | 10280896 | 234632 | 79271 5 | 776 | 667 1249.21/1249.66 c 1248s | 17 | 10303805 | 235032 | 79271 5 | 776 | 667 1251.41/1251.82 c 1250s | 17 | 10320040 | 235532 | 79271 5 | 776 | 667 1253.71/1254.19 c 1253s | 17 | 10332494 | 235932 | 79271 5 | 776 | 667 1256.10/1256.55 c 1255s | 17 | 10352680 | 236332 | 79271 5 | 776 | 667 1258.60/1259.07 c 1258s | 17 | 10372318 | 236732 | 79271 5 | 776 | 667 1261.00/1261.46 c 1260s | 17 | 10385146 | 237132 | 79271 5 | 776 | 667 1263.10/1263.58 c 1262s | 17 | 10402799 | 237532 | 79271 5 | 776 | 667 1265.50/1265.90 c 1265s | 17 | 10409538 | 237932 | 79271 5 | 776 | 667 1267.60/1268.09 c 1267s | 17 | 10428955 | 238332 | 79271 5 | 776 | 667 1269.80/1270.24 c 1269s | 17 | 10431512 | 238932 | 79271 5 | 776 | 667 1271.89/1272.30 c 1271s | 17 | 10433261 | 239432 | 79271 5 | 776 | 667 1273.89/1274.31 c 1273s | 17 | 10434454 | 239832 | 79271 5 | 776 | 667 1275.99/1276.48 c 1275s | 17 | 10440083 | 240232 | 79271 5 | 776 | 667 1277.99/1278.49 c 1277s | 17 | 10457347 | 240632 | 79271 5 | 776 | 667 1280.49/1280.96 c 1280s | 17 | 10479027 | 241032 | 79271 5 | 776 | 667 1282.99/1283.46 c 1282s | 17 | 10493077 | 241432 | 79271 5 | 776 | 667 1285.19/1285.61 c 1284s | 17 | 10500172 | 241932 | 79271 5 | 776 | 667 1287.29/1287.78 c 1286s | 17 | 10522159 | 242332 | 79271 5 | 776 | 667 1289.90/1290.37 c 1289s | 17 | 10544383 | 242732 | 79271 5 | 776 | 667 1292.20/1292.66 c 1291s | 17 | 10565883 | 243132 | 79271 5 | 776 | 667 1294.59/1295.04 c 1294s | 17 | 10588717 | 243532 | 79271 5 | 776 | 667 1296.99/1297.48 c 1296s | 17 | 10609020 | 244032 | 79271 5 | 776 | 667 1299.19/1299.67 c 1298s | 17 | 10631937 | 244432 | 79271 5 | 776 | 667 1301.49/1301.91 c 1301s | 17 | 10644071 | 244832 | 79271 5 | 776 | 667 1303.58/1304.06 c 1303s | 17 | 10645164 | 245132 | 79271 5 | 776 | 667 1305.68/1306.14 c 1305s | 17 | 10646251 | 245432 | 79271 5 | 776 | 667 1307.88/1308.32 c 1307s | 17 | 10651469 | 245832 | 79271 5 | 776 | 667 1310.28/1310.75 c 1309s | 17 | 10668703 | 246232 | 79271 5 | 776 | 667 1312.79/1313.28 c 1312s | 17 | 10670166 | 246732 | 79271 5 | 776 | 667 1314.99/1315.47 c 1314s | 17 | 10680044 | 247232 | 79271 5 | 776 | 667 1317.09/1317.56 c 1316s | 17 | 10691536 | 247632 | 79271 5 | 776 | 667 1319.49/1319.90 c 1319s | 17 | 10709367 | 248032 | 79271 5 | 776 | 667 1321.49/1321.91 c 1321s | 17 | 10723522 | 248432 | 79271 5 | 776 | 667 1323.69/1324.12 c 1323s | 17 | 10742679 | 248832 | 79271 5 | 776 | 667 1325.69/1326.19 c 1325s | 17 | 10753208 | 249232 | 79271 5 | 776 | 667 1327.89/1328.37 c 1327s | 17 | 10764814 | 249632 | 79271 5 | 776 | 667 1330.29/1330.75 c 1329s | 17 | 10784290 | 250032 | 79271 5 | 776 | 667 1332.69/1333.13 c 1332s | 17 | 10800328 | 250432 | 79271 5 | 776 | 667 1335.18/1335.66 c 1334s | 17 | 10808158 | 250932 | 79271 5 | 776 | 667 1337.98/1338.46 c 1337s | 17 | 10825942 | 251332 | 79271 5 | 776 | 667 1339.98/1340.46 c 1339s | 17 | 10837338 | 251732 | 79271 5 | 776 | 667 1342.69/1343.16 c 1342s | 17 | 10839190 | 252032 | 79271 5 | 776 | 667 1346.78/1347.24 c 1346s | 17 | 10839939 | 252232 | 79271 5 | 776 | 667 1349.18/1349.60 c 1348s | 17 | 10855352 | 252732 | 79271 5 | 776 | 667 1351.38/1351.89 c 1351s | 17 | 10873672 | 253132 | 79271 5 | 776 | 667 1353.58/1354.09 c 1353s | 17 | 10888082 | 253632 | 79271 5 | 776 | 667 1355.98/1356.41 c 1355s | 17 | 10906768 | 254032 | 79271 5 | 776 | 667 1357.98/1358.43 c 1357s | 17 | 10918709 | 254532 | 79271 5 | 776 | 667 1360.18/1360.68 c 1359s | 17 | 10926443 | 255132 | 79271 5 | 776 | 667 1362.68/1363.13 c 1362s | 17 | 10941290 | 255632 | 79271 5 | 776 | 667 1365.08/1365.58 c 1364s | 17 | 10957847 | 256032 | 79271 5 | 776 | 667 1367.28/1367.74 c 1366s | 17 | 10979223 | 256332 | 79271 5 | 776 | 667 1369.68/1370.19 c 1369s | 17 | 10995659 | 256732 | 79271 5 | 776 | 667 1372.98/1373.45 c 1372s | 17 | 11004141 | 257032 | 79271 6 | 776 | 667 1375.37/1375.83 c 1374s | 17 | 11034302 | 257532 | 79271 6 | 776 | 667 1377.57/1378.05 c 1377s | 17 | 11055437 | 258032 | 79271 6 | 776 | 667 1379.77/1380.21 c 1379s | 17 | 11080525 | 258532 | 79271 6 | 776 | 667 1381.77/1382.27 c 1381s | 17 | 11101305 | 259032 | 79271 6 | 776 | 667 1384.17/1384.67 c 1383s | 17 | 11115553 | 259632 | 79271 6 | 776 | 667 1386.57/1387.00 c 1386s | 17 | 11140012 | 260132 | 79271 6 | 776 | 667 1388.77/1389.22 c 1388s | 17 | 11155484 | 260832 | 79271 6 | 776 | 667 1391.18/1391.61 c 1390s | 17 | 11177800 | 261432 | 79271 6 | 776 | 667 1393.17/1393.61 c 1392s | 17 | 11194746 | 261832 | 79271 6 | 776 | 667 1395.58/1396.07 c 1395s | 17 | 11217661 | 262332 | 79271 6 | 776 | 667 1397.57/1398.08 c 1397s | 17 | 11238293 | 262732 | 79271 6 | 776 | 667 1399.77/1400.25 c 1399s | 17 | 11254217 | 263132 | 79271 6 | 776 | 667 1401.97/1402.50 c 1401s | 17 | 11272567 | 263632 | 79271 6 | 776 | 667 1404.08/1404.52 c 1403s | 17 | 11291545 | 264132 | 79271 6 | 776 | 667 1406.38/1406.86 c 1406s | 17 | 11309158 | 264632 | 79271 6 | 776 | 667 1408.58/1409.04 c 1408s | 17 | 11322850 | 265032 | 79271 6 | 776 | 667 1411.08/1411.51 c 1410s | 17 | 11340710 | 265632 | 79271 6 | 776 | 667 1413.38/1413.80 c 1412s | 17 | 11362977 | 266032 | 79271 6 | 776 | 667 1415.67/1416.17 c 1415s | 17 | 11386094 | 266432 | 79271 6 | 776 | 667 1417.77/1418.27 c 1417s | 17 | 11409275 | 266832 | 79271 6 | 776 | 667 1419.87/1420.39 c 1419s | 17 | 11430220 | 267132 | 79271 6 | 777 | 668 1422.47/1422.94 c 1422s | 17 | 11448202 | 267632 | 79271 6 | 778 | 669 1424.67/1425.12 c 1424s | 17 | 11472317 | 268032 | 79271 6 | 778 | 669 1426.87/1427.35 c 1426s | 17 | 11488915 | 268532 | 79271 6 | 778 | 669 1429.27/1429.77 c 1428s | 17 | 11522924 | 269032 | 79271 6 | 778 | 669 1431.47/1431.97 c 1431s | 17 | 11549686 | 269532 | 79271 6 | 778 | 669 1433.47/1433.98 c 1433s | 17 | 11571575 | 269932 | 79271 6 | 778 | 669 1435.87/1436.31 c 1435s | 17 | 11588211 | 270432 | 79271 6 | 778 | 669 1438.07/1438.52 c 1437s | 17 | 11613583 | 270832 | 79271 6 | 778 | 669 1440.27/1440.70 c 1439s | 17 | 11618219 | 271332 | 79271 6 | 778 | 669 1442.37/1442.82 c 1441s | 17 | 11619139 | 271632 | 79271 6 | 778 | 669 1444.87/1445.38 c 1444s | 17 | 11620411 | 272032 | 79271 6 | 778 | 669 1447.37/1447.85 c 1446s | 17 | 11622228 | 272332 | 79271 6 | 778 | 669 1450.27/1450.78 c 1449s | 17 | 11623011 | 272632 | 79271 6 | 778 | 669 1453.07/1453.53 c 1452s | 17 | 11624033 | 272932 | 79271 6 | 778 | 669 1456.07/1456.53 c 1455s | 17 | 11624499 | 273132 | 79271 6 | 778 | 669 1458.36/1458.85 c 1457s | 17 | 11634428 | 273332 | 79271 6 | 778 | 669 1460.47/1460.96 c 1460s | 17 | 11657904 | 273732 | 79271 6 | 778 | 669 1462.86/1463.37 c 1462s | 17 | 11686927 | 274232 | 79271 6 | 778 | 669 1465.16/1465.68 c 1464s | 17 | 11716877 | 274632 | 79271 6 | 778 | 669 1467.46/1467.91 c 1467s | 17 | 11737351 | 275032 | 79271 6 | 778 | 669 1469.46/1469.92 c 1469s | 17 | 11760453 | 275432 | 79271 6 | 778 | 669 1471.47/1471.95 c 1471s | 17 | 11776079 | 275932 | 79271 6 | 778 | 669 1473.76/1474.25 c 1473s | 17 | 11799072 | 276332 | 79271 6 | 778 | 669 1475.87/1476.39 c 1475s | 17 | 11821645 | 276732 | 79271 6 | 778 | 669 1478.16/1478.62 c 1477s | 17 | 11844200 | 277232 | 79271 6 | 778 | 669 1480.36/1480.87 c 1480s | 17 | 11857948 | 277732 | 79271 6 | 778 | 669 1482.66/1483.18 c 1482s | 17 | 11871412 | 278232 | 79271 6 | 778 | 669 1484.96/1485.44 c 1484s | 17 | 11883522 | 278732 | 79271 6 | 778 | 669 1487.36/1487.89 c 1487s | 17 | 11901941 | 279432 | 79271 6 | 778 | 669 1489.56/1490.04 c 1489s | 17 | 11922311 | 279832 | 79271 6 | 778 | 669 1491.76/1492.22 c 1491s | 17 | 11942418 | 280232 | 79271 6 | 778 | 669 1494.06/1494.55 c 1493s | 17 | 11973198 | 280632 | 79271 6 | 778 | 669 1496.46/1496.93 c 1496s | 17 | 11989503 | 281032 | 79271 6 | 778 | 669 1498.46/1498.99 c 1498s | 17 | 12011784 | 281432 | 79271 6 | 778 | 669 1500.66/1501.12 c 1500s | 17 | 12032377 | 281832 | 79271 6 | 778 | 669 1502.66/1503.12 c 1502s | 17 | 12043413 | 282232 | 79271 6 | 778 | 669 1504.75/1505.27 c 1504s | 17 | 12060890 | 282632 | 79271 6 | 778 | 669 1507.25/1507.70 c 1506s | 17 | 12075162 | 283132 | 79271 6 | 778 | 669 1509.46/1509.99 c 1509s | 17 | 12086351 | 283532 | 79271 6 | 778 | 669 1511.66/1512.19 c 1511s | 17 | 12088101 | 284032 | 79271 6 | 778 | 669 1514.16/1514.60 c 1513s | 17 | 12088630 | 284232 | 79271 6 | 778 | 669 1516.56/1517.02 c 1516s | 17 | 12091658 | 284532 | 79271 6 | 778 | 669 1518.86/1519.31 c 1518s | 17 | 12101501 | 285132 | 79271 6 | 778 | 669 1521.16/1521.64 c 1520s | 17 | 12112501 | 285632 | 79271 6 | 778 | 669 1523.66/1524.14 c 1523s | 17 | 12123678 | 286132 | 79271 6 | 778 | 669 1525.76/1526.24 c 1525s | 17 | 12133516 | 286632 | 79271 6 | 778 | 669 1527.95/1528.45 c 1527s | 17 | 12139797 | 287032 | 79271 6 | 778 | 669 1530.65/1531.18 c 1530s | 17 | 12141644 | 287432 | 79271 6 | 778 | 669 1533.45/1533.93 c 1533s | 17 | 12142911 | 287732 | 79271 6 | 778 | 669 1535.45/1535.99 c 1535s | 17 | 12145657 | 288132 | 79271 6 | 778 | 669 1537.55/1538.08 c 1537s | 17 | 12147983 | 288532 | 79271 6 | 778 | 669 1540.05/1540.50 c 1539s | 17 | 12148739 | 288732 | 79271 6 | 778 | 669 1543.05/1543.59 c 1542s | 17 | 12149332 | 288932 | 79271 6 | 778 | 669 1545.96/1546.46 c 1545s | 17 | 12150440 | 289232 | 79271 6 | 778 | 669 1549.75/1550.26 c 1549s | 17 | 12151519 | 289532 | 79271 6 | 778 | 669 1552.45/1552.96 c 1552s | 17 | 12152147 | 289732 | 79271 6 | 778 | 669 1554.96/1555.46 c 1554s | 17 | 12152412 | 289832 | 79271 6 | 778 | 669 1560.05/1560.54 c 1559s | 17 | 12152963 | 290032 | 79271 6 | 778 | 669 1562.84/1563.34 c 1562s | 17 | 12153739 | 290232 | 79271 6 | 778 | 669 1565.84/1566.31 c 1565s | 17 | 12154886 | 290532 | 79271 6 | 778 | 669 1568.75/1569.27 c 1568s | 17 | 12155825 | 290732 | 79271 6 | 778 | 669 1571.15/1571.67 c 1570s | 17 | 12157225 | 291032 | 79271 6 | 778 | 669 1573.35/1573.87 c 1573s | 17 | 12158101 | 291232 | 79271 6 | 778 | 669 1576.24/1576.71 c 1575s | 17 | 12159400 | 291532 | 79271 6 | 778 | 669 1578.54/1579.02 c 1578s | 17 | 12160074 | 291732 | 79271 6 | 778 | 669 1582.24/1582.74 c 1581s | 17 | 12160887 | 291932 | 79271 6 | 778 | 669 1584.54/1585.01 c 1584s | 17 | 12162074 | 292132 | 79271 6 | 778 | 669 1587.35/1587.83 c 1586s | 17 | 12162400 | 292232 | 79271 6 | 778 | 669 1589.74/1590.26 c 1589s | 17 | 12162747 | 292332 | 79271 6 | 778 | 669 1593.15/1593.63 c 1592s | 17 | 12163165 | 292532 | 79271 6 | 778 | 669 1596.55/1597.00 c 1596s | 17 | 12163581 | 292732 | 79271 6 | 778 | 669 1600.45/1600.96 c 1600s | 17 | 12164483 | 292932 | 79271 6 | 778 | 669 1603.35/1603.89 c 1603s | 17 | 12164728 | 293032 | 79271 6 | 778 | 669 1607.24/1607.77 c 1606s | 17 | 12164990 | 293132 | 79271 6 | 778 | 669 1612.74/1613.21 c 1612s | 17 | 12165276 | 293232 | 79271 6 | 778 | 669 1617.24/1617.79 c 1616s | 17 | 12165583 | 293332 | 79271 6 | 778 | 669 1619.34/1619.82 c 1618s | 17 | 12166229 | 293432 | 79271 6 | 778 | 669 1621.84/1622.30 c 1621s | 17 | 12167328 | 293732 | 79271 6 | 778 | 669 1623.84/1624.33 c 1623s | 17 | 12168069 | 293932 | 79271 6 | 778 | 669 1626.84/1627.37 c 1626s | 17 | 12168992 | 294132 | 79271 6 | 778 | 669 1629.14/1629.60 c 1628s | 17 | 12169871 | 294332 | 87199 6 | 778 | 669 1633.23/1633.70 c 1632s | 17 | 12170401 | 294532 | 87199 6 | 778 | 669 1635.24/1635.71 c 1634s | 17 | 12170743 | 294632 | 87199 6 | 778 | 669 1637.83/1638.38 c 1637s | 17 | 12171156 | 294732 | 87199 6 | 778 | 669 1640.13/1640.61 c 1639s | 17 | 12171610 | 294832 | 87199 6 | 778 | 669 1644.14/1644.66 c 1643s | 17 | 12171998 | 295032 | 87199 6 | 778 | 669 1646.74/1647.27 c 1646s | 17 | 12172565 | 295132 | 87199 6 | 778 | 669 1650.14/1650.67 c 1649s | 17 | 12172792 | 295232 | 87199 6 | 778 | 669 1652.74/1653.22 c 1652s | 17 | 12188244 | 295632 | 87199 6 | 778 | 669 1654.83/1655.38 c 1654s | 17 | 12194717 | 296032 | 87199 6 | 778 | 669 1655.63/1656.16 c 1655s | 18 | 12200859 | 296252 | 87199 6 | 778 | 669 1658.03/1658.57 c 1657s | 18 | 12212394 | 296452 | 87199 6 | 778 | 669 1660.23/1660.71 c 1659s | 18 | 12229542 | 296852 | 87199 6 | 778 | 669 1662.63/1663.19 c 1662s | 18 | 12249346 | 297352 | 87199 6 | 778 | 669 1665.04/1665.56 c 1664s | 18 | 12272217 | 297852 | 87199 6 | 778 | 669 1667.14/1667.62 c 1666s | 18 | 12277895 | 298252 | 87199 6 | 778 | 669 1669.44/1669.97 c 1669s | 18 | 12279933 | 298652 | 87199 6 | 778 | 669 1671.83/1672.39 c 1671s | 18 | 12288926 | 299052 | 87199 6 | 778 | 669 1674.03/1674.51 c 1673s | 18 | 12304106 | 299352 | 87199 6 | 778 | 669 1676.43/1676.95 c 1676s | 18 | 12324920 | 299752 | 87199 6 | 778 | 669 1678.83/1679.36 c 1678s | 18 | 12343866 | 300152 | 87199 6 | 778 | 669 1681.23/1681.71 c 1680s | 18 | 12354838 | 300552 | 87199 6 | 778 | 669 1683.43/1683.93 c 1683s | 18 | 12356712 | 300952 | 87199 6 | 778 | 669 1685.42/1685.99 c 1685s | 18 | 12364831 | 301252 | 87199 6 | 778 | 669 1689.24/1689.71 c 1688s | 18 | 12386853 | 301652 | 87199 6 | 779 | 670 1691.53/1692.08 c 1691s | 18 | 12407615 | 302052 | 87199 6 | 779 | 670 1693.93/1694.41 c 1693s | 18 | 12409189 | 302552 | 87199 6 | 779 | 670 1696.43/1696.99 c 1696s | 18 | 12411614 | 303052 | 87199 6 | 779 | 670 1698.63/1699.14 c 1698s | 18 | 12420941 | 303352 | 87199 6 | 779 | 670 1700.73/1701.27 c 1700s | 18 | 12439715 | 303752 | 87199 6 | 779 | 670 1703.13/1703.64 c 1702s | 18 | 12461959 | 304152 | 87199 6 | 779 | 670 1705.33/1705.89 c 1705s | 18 | 12482256 | 304452 | 87199 6 | 779 | 670 1707.84/1708.34 c 1707s | 18 | 12497464 | 304852 | 87199 6 | 779 | 670 1709.93/1710.44 c 1709s | 18 | 12511934 | 305252 | 87199 6 | 779 | 670 1712.23/1712.80 c 1711s | 18 | 12528591 | 305852 | 87199 6 | 779 | 670 1714.43/1714.96 c 1714s | 18 | 12538140 | 306352 | 87199 6 | 779 | 670 1717.83/1718.35 c 1717s | 18 | 12543121 | 306452 | 87199 7 | 779 | 670 1720.03/1720.51 c 1719s | 18 | 12558616 | 306952 | 87199 7 | 779 | 670 1722.13/1722.61 c 1721s | 18 | 12580456 | 307452 | 87199 7 | 779 | 670 1724.33/1724.81 c 1723s | 18 | 12597472 | 307952 | 87199 7 | 779 | 670 1726.43/1726.95 c 1726s | 18 | 12615520 | 308452 | 87199 7 | 779 | 670 1728.73/1729.29 c 1728s | 18 | 12637508 | 308952 | 87199 7 | 779 | 670 1730.82/1731.35 c 1730s | 18 | 12659560 | 309352 | 87199 7 | 779 | 670 1733.23/1733.76 c 1732s | 18 | 12685905 | 309852 | 87199 7 | 779 | 670 1735.52/1736.01 c 1735s | 18 | 12717833 | 310252 | 87199 7 | 779 | 670 1737.92/1738.43 c 1737s | 18 | 12745400 | 310752 | 87199 7 | 779 | 670 1740.72/1741.23 c 1740s | 18 | 12778376 | 311352 | 87199 7 | 779 | 670 1743.03/1743.56 c 1742s | 18 | 12790799 | 311852 | 87199 7 | 779 | 670 1745.62/1746.16 c 1745s | 18 | 12795961 | 312352 | 87199 7 | 779 | 670 1748.12/1748.68 c 1747s | 18 | 12797181 | 312652 | 87199 7 | 779 | 670 1750.32/1750.83 c 1749s | 18 | 12808784 | 312952 | 87199 7 | 779 | 670 1752.62/1753.16 c 1752s | 18 | 12827794 | 313552 | 87199 7 | 779 | 670 1755.12/1755.66 c 1754s | 18 | 12855169 | 314052 | 87199 7 | 779 | 670 1757.22/1757.73 c 1756s | 18 | 12868575 | 314452 | 87199 7 | 779 | 670 1759.82/1760.32 c 1759s | 18 | 12901698 | 314952 | 87199 7 | 779 | 670 1762.32/1762.81 c 1761s | 18 | 12930321 | 315352 | 87199 7 | 779 | 670 1764.42/1764.94 c 1764s | 18 | 12953565 | 315752 | 87199 7 | 779 | 670 1766.52/1767.05 c 1766s | 18 | 12975688 | 316152 | 87199 7 | 779 | 670 1768.92/1769.44 c 1768s | 18 | 12989717 | 316752 | 87199 7 | 779 | 670 1771.12/1771.65 c 1770s | 18 | 13010021 | 317352 | 87199 7 | 779 | 670 1773.32/1773.82 c 1772s | 18 | 13034035 | 317752 | 87199 7 | 779 | 670 1775.52/1776.09 c 1775s | 18 | 13054666 | 318252 | 87199 7 | 779 | 670 1777.71/1778.25 c 1777s | 18 | 13071849 | 318752 | 87199 7 | 779 | 670 1779.91/1780.41 c 1779s | 18 | 13087744 | 319352 | 87199 7 | 779 | 670 1782.01/1782.50 c 1781s | 18 | 13098266 | 319852 | 87199 7 | 779 | 670 1784.71/1785.20 c 1784s | 18 | 13101662 | 320352 | 87199 7 | 779 | 670 1786.81/1787.33 c 1786s | 18 | 13116821 | 320752 | 87199 7 | 779 | 670 1789.11/1789.70 c 1788s | 18 | 13133609 | 321252 | 87199 7 | 779 | 670 1791.42/1791.94 c 1791s | 18 | 13146245 | 321552 | 87199 7 | 779 | 670 1793.41/1793.95 c 1793s | 18 | 13166368 | 321952 | 87199 7 | 779 | 670 1796.21/1796.70 c 1795s | 18 | 13195582 | 322452 | 87199 7 | 779 | 670 1798.41/1798.93 c 1798s | 18 | 13217020 | 322852 | 87199 7 | 779 | 670
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-4078918-1465285031/watcher-4078918-1465285031 -o /tmp/evaluation-result-4078918-1465285031/solver-4078918-1465285031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078918-1465285031.opb pid=10228 running on 4 cores: 0,2,4,6 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.18 2.24 2.21 3/179 10231 /proc/meminfo: memFree=29342872/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=712124 CPUtime=0 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 2651 0 0 0 0 0 0 0 20 0 4 0 110436270 729214976 3522 33554432000 4194304 16246674 140733253377360 140733253376784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 178543 3532 441 2943 0 175437 0 [pid=10231/tid=10232] ppid=10228 vsize=729532 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 747040768 3593 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=733628 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 751235072 3609 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110436270 756477952 3626 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 2.18 2.24 2.21 3/179 10231 /proc/meminfo: memFree=29342872/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 28995 0 0 0 5 4 0 0 20 0 4 0 110436270 1333334016 29804 33554432000 4194304 16246674 140733253377360 140733253376672 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 325521 29821 802 2943 0 322415 0 [pid=10231/tid=10232] ppid=10228 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1333334016 29832 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1333334016 29843 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1333334016 29854 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200492 s] /proc/loadavg: 2.18 2.24 2.21 3/179 10231 /proc/meminfo: memFree=29342872/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 49790 0 0 0 12 7 0 0 20 0 4 0 110436270 1344868352 51110 33554432000 4194304 16246674 140733253377360 140733253376672 7364288 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 328337 51110 802 2943 0 325231 0 [pid=10231/tid=10232] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 51110 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 51110 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 51110 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300485 s] /proc/loadavg: 2.18 2.24 2.21 3/179 10231 /proc/meminfo: memFree=29342872/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 56229 0 0 0 21 8 0 0 20 0 4 0 110436270 1344868352 57549 33554432000 4194304 16246674 140733253377360 140733253376672 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 328337 57549 802 2943 0 325231 0 [pid=10231/tid=10232] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 57549 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 57549 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 57549 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700392 s] /proc/loadavg: 2.18 2.24 2.21 3/179 10231 /proc/meminfo: memFree=29342872/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 101772 0 0 0 55 14 0 0 20 0 4 0 110436270 1344868352 103092 33554432000 4194304 16246674 140733253377360 140733253376672 6760209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 328337 103101 836 2943 0 325231 0 [pid=10231/tid=10232] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 103107 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 103113 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1344868352 103119 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50036 s] /proc/loadavg: 2.18 2.24 2.21 3/183 10235 /proc/meminfo: memFree=28586736/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=1.49 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 223939 0 0 0 119 30 0 0 20 0 4 0 110436270 1348014080 225259 33554432000 4194304 16246674 140733253377360 140733253359232 5677492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 225259 882 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 225259 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 225259 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 225259 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1316420 [startup+3.10039 s] /proc/loadavg: 2.18 2.24 2.21 3/183 10235 /proc/meminfo: memFree=28442384/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=3.09 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 252536 0 0 0 275 34 0 0 20 0 4 0 110436270 1348014080 253856 33554432000 4194304 16246674 140733253377360 140733253359232 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 253861 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 253864 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 253866 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 253869 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1316420 [startup+6.30035 s] /proc/loadavg: 2.17 2.24 2.21 3/183 10235 /proc/meminfo: memFree=28258964/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=6.29 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 269777 0 0 0 593 36 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 140733253359232 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 271097 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1316420 [startup+12.7004 s] /proc/loadavg: 2.15 2.23 2.21 3/183 10235 /proc/meminfo: memFree=28258988/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=12.69 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 269777 0 0 0 1233 36 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 140733253359232 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 271097 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.19 2.24 2.21 3/183 10235 /proc/meminfo: memFree=28259564/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=25.48 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 269777 0 0 0 2512 36 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 140733253359232 13907028 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 271097 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271097 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.12 2.22 2.20 4/183 10236 /proc/meminfo: memFree=28259916/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=51.08 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 269778 0 0 0 5072 36 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 140733253359232 5667484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 271098 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1316420 [startup+102.3 s] /proc/loadavg: 2.10 2.19 2.19 3/183 10237 /proc/meminfo: memFree=28259000/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1316420 CPUtime=102.28 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 269778 0 0 0 10191 37 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 140733253359232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329105 271098 886 2943 0 325999 0 [pid=10231/tid=10232] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1348014080 271098 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1317444 [startup+1362.3 s] /proc/loadavg: 1.53 2.03 2.15 2/173 10299 /proc/meminfo: memFree=29359124/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1361.88 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 136137 51 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1317444 [startup+1422.3 s] /proc/loadavg: 1.35 1.89 2.09 2/174 10303 /proc/meminfo: memFree=29359180/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1421.88 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 142136 52 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1317444 [startup+1482.3 s] /proc/loadavg: 1.24 1.75 2.03 2/174 10326 /proc/meminfo: memFree=29359304/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1481.86 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 148134 52 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1317444 [startup+1542.31 s] /proc/loadavg: 1.22 1.66 1.98 2/173 10327 /proc/meminfo: memFree=29358992/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1541.86 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 154133 53 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1317444 [startup+1602.3 s] /proc/loadavg: 1.25 1.58 1.93 2/173 10329 /proc/meminfo: memFree=29359256/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1601.85 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 160128 57 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1317444 [startup+1662.3 s] /proc/loadavg: 1.24 1.52 1.89 2/173 10330 /proc/meminfo: memFree=29359436/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1317444 CPUtime=1661.83 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270383 0 0 0 166125 58 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 140733253359232 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329361 271358 887 2943 0 326255 0 [pid=10231/tid=10232] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1317444 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1349062656 271358 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1317444 [startup+1722.3 s] /proc/loadavg: 1.32 1.50 1.86 2/173 10331 /proc/meminfo: memFree=29359240/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1318468 CPUtime=1721.83 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270412 0 0 0 172124 59 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 140733253376536 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329617 271387 887 2943 0 326511 0 [pid=10231/tid=10232] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 1.32 1.46 1.82 2/173 10332 /proc/meminfo: memFree=29359376/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1318468 CPUtime=1781.81 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270412 0 0 0 178122 59 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 140733253359232 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329617 271387 887 2943 0 326511 0 [pid=10231/tid=10232] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.29 1.45 1.81 2/173 10332 /proc/meminfo: memFree=29359508/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1318468 CPUtime=1800.01 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270412 0 0 0 179942 59 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 140733253359232 13874575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329617 271387 887 2943 0 326511 0 [pid=10231/tid=10232] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1318468 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 10231 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.29 1.45 1.81 2/173 10332 /proc/meminfo: memFree=29359508/32872528 swapFree=16252/1391864 [pid=10231] ppid=10228 vsize=1318468 CPUtime=1800.01 cores=0,2,4,6 /proc/10231/stat : 10231 (toysat) R 10228 10231 5783 0 -1 4202496 270412 0 0 0 179942 59 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 140733253359232 13874575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10231/statm: 329617 271387 887 2943 0 326511 0 [pid=10231/tid=10232] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10232/stat : 10232 (toysat) S 10228 10231 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847375236336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=10231/tid=10233] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10233/stat : 10233 (toysat) S 10228 10231 5783 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847289253104 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=10231/tid=10234] ppid=10228 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10231/task/10234/stat : 10234 (toysat) S 10228 10231 5783 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110436270 1350111232 271387 33554432000 4194304 16246674 140733253377360 139847278779568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1318468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.43 CPU system time (s): 0.596909 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.596909 maximum resident set size= 1085548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270412 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= 363 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.06823 second user time and 6.97894 second system time The end
Begin job on node119 at 2016-06-07 09:37:11 IDJOB=4078918 IDBENCH=90154 IDSOLVER=2542 FILE ID=node119/4078918-1465285031 RUNJOBID= node119-1465252213-5799 PBS_JOBID= 19843259 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078918-1465285031/watcher-4078918-1465285031 -o /tmp/evaluation-result-4078918-1465285031/solver-4078918-1465285031 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078918-1465285031.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bcce2e1d61aa4147a6a5a8b58d6d164e RANDOM SEED=397286495 node119.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.410 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.82 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.410 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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.410 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.410 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.410 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.410 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.410 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: 29343384 kB Buffers: 131696 kB Cached: 185472 kB SwapCached: 800 kB Active: 1221656 kB Inactive: 180528 kB Active(anon): 1083580 kB Inactive(anon): 3692 kB Active(file): 138076 kB Inactive(file): 176836 kB Unevictable: 1391864 kB Mlocked: 16252 kB SwapTotal: 67108856 kB SwapFree: 67100180 kB Dirty: 17868 kB Writeback: 0 kB AnonPages: 2560128 kB Mapped: 10712 kB Shmem: 0 kB Slab: 600272 kB SReclaimable: 44396 kB SUnreclaim: 555876 kB KernelStack: 1520 kB PageTables: 8884 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2617300 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2048000 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= 71720 MiB End job on node119 at 2016-06-07 10:07:12