| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/sroussel/ ShortestPathNG/normalized-NG_K177.opb |
| MD5SUM | 8e674dc671e8e6c3e0a48d5fff5f7edd |
| 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 | 21063 |
| Total number of constraints | 21419 |
| Number of constraints which are clauses | 21242 |
| Number of constraints which are cardinality constraints (but not clauses) | 177 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 177 |
| 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 | 178 |
| 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:47:15+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-4078913-1465285635.opb"] 0.00/0.01 c use --random-gen="3082489753 126473657 1364364431 2334541725 3077931790 2990995025 3274816529 3802957580 3184167505 2337140901 702868556 1849180237 3917533493 1495675969 1497677056 3569991566 4065702018 2967471463 1306883799 312918774 3051657795 3490947515 2745181239 3539584839 194379802 3949011637 839179916 2819522972 631301694 1382870782 542999402 3935283556 3951246971 752309072 4068682400 137932694 1032939494 4227825435 1621790152 721723929 3811747076 1815809331 1344355193 3277072795 536612401 1878565873 2563712508 500837865 2807025509 4014195123 1672600420 769606861 1942828832 1839769023 2473908795 1586602566 2596056062 3903701755 1882818556 1903999758 3655188225 3658092908 1109911239 611880536 1532675695 1886705628 1213532706 3839897436 242256857 2215321348 1293265356 872976658 3728237396 2433728512 569796976 3321001093 3695000860 2921133319 811737484 1002847071 1770528981 3745338034 3444784436 4199276403 1155148697 3189258890 354915221 3913577367 69750999 3044375703 1479500313 1890899283 2924249972 897897067 4268716322 980637467 2209614460 2226300756 4077217902 2767091070 2755416541 4256223586 1908149933 3502537588 1411661960 3936181089 3015972542 4114856180 1000563120 2324821732 2122882762 192528287 1813579520 564632463 499104501 1645824195 3687722691 552076793 2693619661 1972204883 2360791526 929134201 425391740 2052692742 620642500 301407281 3740936888 2360873949 1548824110 1906644503 3871718250 3195524445 2985781947 3510591908 3007960946 677036531 1964327270 720793637 1529654855 942401329 2288234431 2683137806 3333441202 439948778 3998147127 2378922433 1754579601 2529014897 4145544061 2142982249 3728939559 3027962332 3788154999 526773564 2515892705 1414902278 1033368892 1392128514 2440765794 3184679467 3722829868 3382667312 2778023522 2747138155 4083284151 781522538 3506199932 2821494855 2162193185 718154760 412403923 281263839 2115631371 3246797687 3416463692 3242501725 619971924 226890570 1420220424 1095556359 3773834726 709257109 1424504615 860380997 862896405 944871851 1392893729 1201835344 170267749 396360460 1052180341 3206601160 3339718956 2215796318 1604894704 1523879058 1358135590 734755037 3628819616 477482990 89983065 414421032 3598430283 4207978852 3332270068 2340523022 2040375791 2527412180 65453445 2383200027 3523897415 2303553556 1486359281 2049349540 2418076752 4292719428 1373852663 196210714 3921282287 2907407028 1083730263 13421258 342941063 2919696975 4122652695 3806292914 3778713179 2043182846 547403230 482960118 3446414898 2133621612 3787048185 909861589 3526630033 3591178414 1144542297 3943999279 3577370130 1977898870 1150465769 2623023028 255690460 1096271595 4231055461 2044610003 3323066377 2300012489 1635584184 366473402 3636214673 462163753 2115394130 4205892380 1530977776 952843223 255 362436" option to reproduce the execution 0.19/0.29 c #vars 21063 0.19/0.29 c #constraints 21419 0.69/0.76 c Solving starts ... 0.69/0.76 c ============================[ Search Statistics ]============================ 0.69/0.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/0.76 c | | | | Limit GC | Var | Constra 0.69/0.76 c ============================================================================= 0.69/0.76 c 0.0s | 0 | 0 | 0 | 14160 0 | 742 | 0 1.89/1.93 c 1.2s | 1 | 12224 | 100 | 14160 0 | 743 | 634 3.09/3.17 c 2.4s | 2 | 28114 | 250 | 15577 0 | 744 | 635 3.99/4.09 c 3.3s | 3 | 43222 | 475 | 17135 0 | 744 | 635 4.59/4.67 c 3.9s | 4 | 47943 | 813 | 18849 0 | 744 | 635 6.09/6.19 c 5.4s | 5 | 64995 | 1320 | 20734 0 | 744 | 635 8.19/8.20 c 7.4s | 5 | 101009 | 2020 | 22808 0 | 744 | 635 8.19/8.28 c 7.5s | 6 | 101301 | 2081 | 25089 0 | 744 | 635 10.29/10.37 c 9.6s | 6 | 140283 | 2681 | 25089 0 | 746 | 637 12.20/12.28 c 11.5s | 7 | 173106 | 3223 | 27598 0 | 746 | 637 14.49/14.51 c 13.8s | 7 | 212401 | 3823 | 27598 0 | 748 | 639 16.60/16.65 c 15.9s | 7 | 243698 | 4623 | 27598 0 | 748 | 639 17.60/17.66 c 16.9s | 8 | 259956 | 4936 | 30358 0 | 748 | 639 19.80/19.81 c 19.1s | 8 | 297603 | 5536 | 30358 0 | 750 | 641 21.89/21.97 c 21.2s | 8 | 332479 | 6136 | 30358 0 | 752 | 643 24.09/24.13 c 23.4s | 8 | 357505 | 6836 | 30358 0 | 755 | 646 26.19/26.23 c 25.5s | 9 | 379667 | 7506 | 33394 0 | 755 | 646 28.39/28.42 c 27.7s | 9 | 410216 | 8106 | 33394 0 | 756 | 647 30.59/30.65 c 29.9s | 9 | 428985 | 8806 | 33394 0 | 756 | 647 32.79/32.85 c 32.1s | 9 | 459102 | 9506 | 33394 0 | 756 | 647 34.78/34.86 c 34.1s | 9 | 479545 | 10206 | 33394 0 | 756 | 647 37.08/37.13 c 36.4s | 9 | 482397 | 10806 | 33394 0 | 756 | 647 39.18/39.28 c 38.5s | 9 | 484395 | 11206 | 33394 0 | 756 | 647 40.18/40.24 c 39.5s | 10 | 485240 | 11361 | 36734 0 | 756 | 647 42.48/42.53 c 41.8s | 10 | 507881 | 12161 | 36734 0 | 756 | 647 44.68/44.73 c 44.0s | 10 | 541874 | 12561 | 36734 0 | 757 | 648 46.88/46.96 c 46.2s | 10 | 573471 | 13161 | 36734 0 | 758 | 649 49.08/49.11 c 48.4s | 10 | 601851 | 13661 | 36734 0 | 759 | 650 51.28/51.35 c 50.6s | 10 | 621796 | 14361 | 36734 0 | 759 | 650 53.58/53.64 c 52.9s | 10 | 648605 | 14961 | 36734 0 | 759 | 650 55.78/55.80 c 55.0s | 10 | 672260 | 15561 | 36734 0 | 760 | 651 57.88/57.93 c 57.2s | 10 | 693576 | 16261 | 36734 0 | 760 | 651 60.18/60.24 c 59.5s | 10 | 722116 | 16961 | 36734 0 | 760 | 651 60.88/60.94 c 60.2s | 11 | 731011 | 17144 | 40408 0 | 760 | 651 63.28/63.37 c 62.6s | 11 | 757990 | 17744 | 40408 0 | 760 | 651 65.48/65.53 c 64.8s | 11 | 788405 | 18244 | 40408 0 | 761 | 652 67.57/67.67 c 66.9s | 11 | 813228 | 18744 | 40408 0 | 761 | 652 70.07/70.14 c 69.4s | 11 | 843932 | 19344 | 40408 0 | 761 | 652 72.37/72.44 c 71.7s | 11 | 874209 | 19944 | 40408 0 | 761 | 652 74.47/74.55 c 73.8s | 11 | 901674 | 20444 | 40408 0 | 761 | 652 76.47/76.56 c 75.8s | 11 | 921932 | 20944 | 40408 0 | 761 | 652 78.67/78.72 c 78.0s | 11 | 939975 | 21544 | 40408 0 | 761 | 652 80.87/80.97 c 80.2s | 11 | 965772 | 22044 | 40408 0 | 761 | 652 83.07/83.13 c 82.4s | 11 | 994029 | 22544 | 40408 0 | 761 | 652 85.17/85.26 c 84.5s | 11 | 995173 | 23044 | 40408 0 | 761 | 652 87.37/87.47 c 86.7s | 11 | 996664 | 23444 | 40408 0 | 761 | 652 89.57/89.67 c 88.9s | 11 | 998142 | 23844 | 40408 0 | 761 | 652 91.68/91.78 c 91.0s | 11 | 999877 | 24144 | 40408 0 | 761 | 652 93.88/93.99 c 93.2s | 11 | 1001040 | 24444 | 40408 0 | 761 | 652 96.78/96.89 c 96.1s | 11 | 1002238 | 24744 | 40408 0 | 761 | 652 98.87/98.91 c 98.2s | 11 | 1004208 | 25144 | 40408 0 | 761 | 652 101.97/102.06 c 101s | 11 | 1005067 | 25444 | 40408 0 | 761 | 652 104.27/104.37 c 103s | 12 | 1006264 | 25819 | 44449 0 | 761 | 652 106.78/106.81 c 106s | 12 | 1034526 | 26319 | 44449 0 | 761 | 652 108.77/108.84 c 108s | 12 | 1050138 | 26919 | 44449 0 | 761 | 652 110.87/110.93 c 110s | 12 | 1072133 | 27419 | 44449 0 | 761 | 652 113.07/113.13 c 112s | 12 | 1097536 | 27919 | 44449 0 | 761 | 652 115.37/115.45 c 114s | 12 | 1129108 | 28419 | 44449 0 | 761 | 652 117.87/117.93 c 117s | 12 | 1152642 | 28919 | 44449 0 | 762 | 653 120.07/120.12 c 119s | 12 | 1177715 | 29319 | 44449 0 | 762 | 653 122.47/122.52 c 121s | 12 | 1201215 | 29819 | 44449 0 | 763 | 654 124.67/124.71 c 123s | 12 | 1224429 | 30219 | 44449 0 | 764 | 655 126.97/127.02 c 126s | 12 | 1251307 | 30719 | 44449 0 | 764 | 655 129.07/129.13 c 128s | 12 | 1275003 | 31219 | 44449 0 | 764 | 655 131.27/131.32 c 130s | 12 | 1286955 | 31819 | 44449 0 | 764 | 655 133.57/133.61 c 132s | 12 | 1314438 | 32319 | 44449 0 | 764 | 655 135.77/135.80 c 135s | 12 | 1336998 | 32819 | 44449 0 | 764 | 655 137.77/137.86 c 137s | 12 | 1353883 | 33119 | 44449 0 | 765 | 656 140.06/140.11 c 139s | 12 | 1383100 | 33519 | 44449 0 | 765 | 656 142.06/142.15 c 141s | 12 | 1399527 | 34019 | 44449 0 | 765 | 656 144.17/144.23 c 143s | 12 | 1425277 | 34419 | 44449 0 | 765 | 656 146.66/146.75 c 145s | 12 | 1454334 | 35019 | 44449 0 | 765 | 656 148.66/148.76 c 148s | 12 | 1470273 | 35519 | 44449 0 | 765 | 656 151.16/151.24 c 150s | 12 | 1496184 | 36019 | 44449 0 | 765 | 656 153.26/153.36 c 152s | 12 | 1514502 | 36519 | 44449 0 | 765 | 656 155.46/155.55 c 154s | 12 | 1537782 | 37019 | 44449 0 | 765 | 656 157.56/157.68 c 156s | 12 | 1552415 | 37619 | 44449 0 | 765 | 656 159.76/159.85 c 159s | 12 | 1571509 | 38119 | 44449 0 | 765 | 656 161.77/161.86 c 161s | 12 | 1582628 | 38619 | 48894 0 | 765 | 656 162.66/162.77 c 162s | 13 | 1590264 | 38832 | 48894 0 | 765 | 656 164.96/165.02 c 164s | 13 | 1599195 | 39232 | 48894 0 | 765 | 656 167.47/167.56 c 166s | 13 | 1612952 | 40032 | 48894 0 | 765 | 656 170.07/170.10 c 169s | 13 | 1639769 | 40532 | 48894 0 | 765 | 656 172.57/172.64 c 171s | 13 | 1668374 | 41032 | 48894 0 | 765 | 656 174.97/175.09 c 174s | 13 | 1692032 | 41532 | 48894 0 | 765 | 656 177.27/177.37 c 176s | 13 | 1715511 | 42032 | 48894 0 | 765 | 656 179.37/179.50 c 178s | 13 | 1736291 | 42632 | 48894 0 | 765 | 656 181.47/181.54 c 180s | 13 | 1757425 | 43032 | 48894 0 | 765 | 656 183.86/183.91 c 183s | 13 | 1767775 | 43532 | 48894 0 | 765 | 656 186.46/186.53 c 185s | 13 | 1787233 | 43932 | 48894 0 | 766 | 657 188.66/188.72 c 187s | 13 | 1809392 | 44432 | 48894 0 | 766 | 657 190.96/191.06 c 190s | 13 | 1823222 | 45032 | 48894 0 | 766 | 657 192.96/193.07 c 192s | 13 | 1840994 | 45532 | 48894 0 | 766 | 657 194.96/195.08 c 194s | 13 | 1855023 | 45832 | 48894 0 | 767 | 658 197.06/197.17 c 196s | 13 | 1867257 | 46332 | 48894 0 | 767 | 658 199.26/199.39 c 198s | 13 | 1891649 | 46832 | 48894 0 | 767 | 658 201.36/201.45 c 200s | 13 | 1912371 | 47232 | 48894 0 | 767 | 658 203.76/203.80 c 203s | 13 | 1934904 | 47732 | 48894 0 | 767 | 658 205.96/206.01 c 205s | 13 | 1947776 | 48232 | 48894 0 | 767 | 658 208.16/208.25 c 207s | 13 | 1967484 | 48632 | 48894 0 | 767 | 658 210.35/210.49 c 209s | 13 | 1984252 | 49132 | 48894 0 | 767 | 658 212.55/212.61 c 211s | 13 | 2003457 | 49532 | 48894 0 | 767 | 658 215.26/215.31 c 214s | 13 | 2037567 | 49932 | 48894 0 | 767 | 658 217.45/217.56 c 216s | 13 | 2049209 | 50432 | 48894 0 | 767 | 658 219.97/220.09 c 219s | 13 | 2057725 | 50932 | 48894 0 | 767 | 658 222.36/222.45 c 221s | 13 | 2067354 | 51132 | 48894 1 | 767 | 658 224.36/224.48 c 223s | 13 | 2085787 | 51732 | 48894 1 | 767 | 658 226.56/226.64 c 225s | 13 | 2088635 | 52432 | 48894 1 | 767 | 658 228.86/228.96 c 228s | 13 | 2113183 | 52932 | 48894 1 | 767 | 658 230.96/231.03 c 230s | 13 | 2143505 | 53432 | 48894 1 | 767 | 658 233.45/233.52 c 232s | 13 | 2172296 | 53932 | 48894 1 | 767 | 658 235.75/235.85 c 235s | 13 | 2193408 | 54532 | 48894 1 | 767 | 658 238.15/238.21 c 237s | 13 | 2225009 | 55032 | 48894 1 | 767 | 658 240.15/240.25 c 239s | 13 | 2247743 | 55432 | 48894 1 | 767 | 658 243.25/243.31 c 242s | 13 | 2275347 | 56032 | 48894 1 | 768 | 659 245.45/245.57 c 244s | 13 | 2298202 | 56432 | 48894 1 | 768 | 659 247.65/247.74 c 246s | 13 | 2304051 | 56832 | 48894 1 | 768 | 659 249.66/249.77 c 249s | 13 | 2314852 | 57232 | 48894 1 | 768 | 659 252.15/252.20 c 251s | 13 | 2336528 | 57732 | 48894 1 | 768 | 659 254.35/254.47 c 253s | 13 | 2359596 | 58232 | 53784 1 | 768 | 659 254.85/254.91 c 254s | 14 | 2361721 | 58352 | 53784 1 | 768 | 659 256.95/257.02 c 256s | 14 | 2378819 | 58752 | 53784 1 | 768 | 659 259.15/259.28 c 258s | 14 | 2405389 | 59152 | 53784 1 | 768 | 659 261.25/261.34 c 260s | 14 | 2423217 | 59652 | 53784 1 | 768 | 659 263.35/263.44 c 262s | 14 | 2444156 | 60052 | 53784 1 | 768 | 659 265.55/265.62 c 264s | 14 | 2469789 | 60452 | 53784 1 | 768 | 659 267.55/267.67 c 266s | 14 | 2485338 | 61052 | 53784 1 | 768 | 659 269.84/269.92 c 269s | 14 | 2502365 | 61652 | 53784 1 | 768 | 659 271.94/272.03 c 271s | 14 | 2523376 | 62052 | 53784 1 | 768 | 659 274.34/274.46 c 273s | 14 | 2545119 | 62652 | 53784 1 | 768 | 659 276.44/276.57 c 275s | 14 | 2568724 | 63052 | 53784 1 | 768 | 659 278.74/278.84 c 278s | 14 | 2590575 | 63552 | 53784 1 | 768 | 659 280.84/280.96 c 280s | 14 | 2612646 | 63952 | 53784 1 | 768 | 659 283.04/283.18 c 282s | 14 | 2637120 | 64352 | 53784 1 | 768 | 659 285.34/285.46 c 284s | 14 | 2662355 | 64752 | 53784 1 | 768 | 659 287.54/287.66 c 286s | 14 | 2684326 | 65152 | 53784 1 | 768 | 659 290.04/290.17 c 289s | 14 | 2693500 | 65652 | 53784 1 | 768 | 659 292.24/292.38 c 291s | 14 | 2706368 | 66152 | 53784 1 | 768 | 659 294.24/294.39 c 293s | 14 | 2722781 | 66752 | 53784 1 | 768 | 659 296.65/296.77 c 296s | 14 | 2744608 | 67252 | 53784 1 | 768 | 659 298.95/299.05 c 298s | 14 | 2766185 | 67752 | 53784 1 | 768 | 659 301.15/301.21 c 300s | 14 | 2785763 | 68052 | 53784 1 | 769 | 660 303.24/303.31 c 302s | 14 | 2800694 | 68452 | 53784 1 | 769 | 660 305.75/305.86 c 305s | 14 | 2817681 | 68952 | 53784 1 | 769 | 660 308.24/308.30 c 307s | 14 | 2824701 | 69652 | 53784 1 | 769 | 660 310.44/310.52 c 309s | 14 | 2847715 | 70052 | 53784 1 | 769 | 660 312.94/313.01 c 312s | 14 | 2862037 | 70552 | 53784 1 | 769 | 660 315.14/315.27 c 314s | 14 | 2881830 | 71052 | 53784 1 | 769 | 660 317.53/317.60 c 316s | 14 | 2892423 | 71452 | 53784 1 | 769 | 660 320.15/320.23 c 319s | 14 | 2894194 | 71852 | 53784 1 | 769 | 660 322.44/322.58 c 321s | 14 | 2900619 | 72352 | 53784 1 | 769 | 660 324.64/324.72 c 323s | 14 | 2917116 | 72852 | 53784 1 | 769 | 660 327.14/327.23 c 326s | 14 | 2937129 | 73252 | 53784 1 | 769 | 660 329.44/329.50 c 328s | 14 | 2959414 | 73752 | 53784 1 | 769 | 660 331.64/331.74 c 330s | 14 | 2976158 | 74252 | 53784 1 | 769 | 660 333.74/333.82 c 333s | 14 | 2994276 | 74652 | 53784 1 | 769 | 660 336.14/336.25 c 335s | 14 | 3009688 | 75252 | 53784 1 | 769 | 660 338.54/338.65 c 337s | 14 | 3034904 | 75752 | 53784 1 | 769 | 660 340.53/340.67 c 339s | 14 | 3047272 | 76252 | 53784 1 | 769 | 660 342.63/342.77 c 342s | 14 | 3070441 | 76652 | 53784 1 | 769 | 660 345.44/345.55 c 344s | 14 | 3072400 | 76952 | 53784 1 | 769 | 660 347.64/347.71 c 346s | 14 | 3075068 | 77252 | 53784 1 | 769 | 660 349.93/350.03 c 349s | 14 | 3093227 | 77852 | 53784 1 | 769 | 660 352.53/352.60 c 351s | 14 | 3105541 | 78352 | 53784 1 | 769 | 660 354.83/354.98 c 354s | 14 | 3105899 | 78552 | 53784 1 | 769 | 660 357.03/357.16 c 356s | 14 | 3118331 | 78952 | 53784 1 | 769 | 660 359.43/359.55 c 358s | 14 | 3138389 | 79452 | 53784 1 | 769 | 660 361.43/361.57 c 360s | 14 | 3154674 | 79852 | 53784 1 | 769 | 660 363.93/364.06 c 363s | 14 | 3163970 | 80452 | 53784 1 | 769 | 660 366.34/366.47 c 365s | 14 | 3178153 | 80952 | 53784 1 | 769 | 660 368.44/368.57 c 367s | 14 | 3194233 | 81452 | 53784 1 | 769 | 660 370.94/371.05 c 370s | 14 | 3209930 | 81952 | 53784 1 | 769 | 660 373.13/373.21 c 372s | 14 | 3222580 | 82452 | 53784 1 | 769 | 660 375.14/375.22 c 374s | 14 | 3235812 | 82852 | 53784 1 | 769 | 660 377.43/377.57 c 376s | 14 | 3250121 | 83352 | 53784 1 | 769 | 660 379.73/379.87 c 379s | 14 | 3269121 | 83852 | 53784 1 | 769 | 660 382.23/382.31 c 381s | 14 | 3283204 | 84352 | 53784 1 | 769 | 660 384.53/384.68 c 383s | 14 | 3300811 | 84852 | 53784 1 | 769 | 660 388.03/388.14 c 387s | 14 | 3317194 | 85252 | 53784 2 | 769 | 660 390.44/390.52 c 389s | 14 | 3327187 | 85752 | 53784 2 | 769 | 660 393.03/393.13 c 392s | 14 | 3352536 | 86252 | 53784 2 | 769 | 660 395.32/395.41 c 394s | 14 | 3369781 | 86752 | 53784 2 | 769 | 660 397.62/397.74 c 396s | 14 | 3385940 | 87252 | 59163 2 | 769 | 660 399.23/399.31 c 398s | 15 | 3397227 | 87632 | 59163 2 | 769 | 660 401.44/401.57 c 400s | 15 | 3413667 | 88032 | 59163 2 | 769 | 660 403.83/403.92 c 403s | 15 | 3441438 | 88532 | 59163 2 | 769 | 660 406.03/406.15 c 405s | 15 | 3459965 | 89132 | 59163 2 | 769 | 660 408.23/408.30 c 407s | 15 | 3475654 | 89732 | 59163 2 | 769 | 660 410.33/410.43 c 409s | 15 | 3498499 | 90232 | 59163 2 | 769 | 660 412.62/412.78 c 412s | 15 | 3505433 | 90832 | 59163 2 | 769 | 660 414.73/414.82 c 414s | 15 | 3515024 | 91332 | 59163 2 | 769 | 660 416.93/417.03 c 416s | 15 | 3533222 | 91932 | 59163 2 | 769 | 660 418.92/419.10 c 418s | 15 | 3553231 | 92332 | 59163 2 | 769 | 660 421.42/421.58 c 420s | 15 | 3568002 | 92832 | 59163 2 | 769 | 660 423.82/423.97 c 423s | 15 | 3584159 | 93432 | 59163 2 | 769 | 660 425.92/426.01 c 425s | 15 | 3606667 | 93832 | 59163 2 | 769 | 660 428.02/428.13 c 427s | 15 | 3625113 | 94332 | 59163 2 | 769 | 660 430.03/430.20 c 429s | 15 | 3639005 | 94832 | 59163 2 | 769 | 660 432.33/432.41 c 431s | 15 | 3641238 | 95232 | 59163 2 | 769 | 660 434.82/434.97 c 434s | 15 | 3660863 | 95732 | 59163 2 | 769 | 660 437.42/437.53 c 436s | 15 | 3682613 | 96132 | 59163 2 | 769 | 660 439.72/439.86 c 439s | 15 | 3697331 | 96632 | 59163 2 | 769 | 660 442.02/442.11 c 441s | 15 | 3713372 | 96932 | 59163 2 | 770 | 661 444.22/444.35 c 443s | 15 | 3727757 | 97432 | 59163 2 | 770 | 661 446.42/446.53 c 445s | 15 | 3743495 | 97932 | 59163 2 | 770 | 661 448.42/448.54 c 447s | 15 | 3748563 | 98332 | 59163 2 | 770 | 661 450.72/450.84 c 450s | 15 | 3773227 | 98732 | 59163 2 | 770 | 661 453.02/453.12 c 452s | 15 | 3788860 | 99232 | 59163 2 | 770 | 661 455.12/455.28 c 454s | 15 | 3805632 | 99632 | 59163 2 | 770 | 661 457.22/457.37 c 456s | 15 | 3814439 | 100232 | 59163 2 | 770 | 661 459.42/459.56 c 458s | 15 | 3826138 | 100732 | 59163 2 | 770 | 661 461.92/462.02 c 461s | 15 | 3846867 | 101132 | 59163 2 | 770 | 661 463.91/464.04 c 463s | 15 | 3864617 | 101432 | 59163 2 | 770 | 661 466.02/466.12 c 465s | 15 | 3882113 | 102032 | 59163 2 | 770 | 661 468.02/468.13 c 467s | 15 | 3889119 | 102532 | 59163 2 | 770 | 661 470.42/470.54 c 469s | 15 | 3910645 | 103032 | 59163 2 | 770 | 661 472.52/472.62 c 471s | 15 | 3928774 | 103432 | 59163 2 | 770 | 661 474.51/474.62 c 473s | 15 | 3945736 | 103832 | 59163 2 | 770 | 661 476.91/477.04 c 476s | 15 | 3963624 | 104332 | 59163 2 | 770 | 661 479.42/479.55 c 478s | 15 | 3978046 | 104832 | 59163 2 | 770 | 661 481.62/481.79 c 481s | 15 | 3995980 | 105332 | 59163 2 | 770 | 661 483.82/483.98 c 483s | 15 | 4018476 | 105732 | 59163 2 | 770 | 661 486.22/486.39 c 485s | 15 | 4034954 | 106232 | 59163 2 | 770 | 661 488.92/489.01 c 488s | 15 | 4057412 | 106732 | 59163 2 | 770 | 661 491.62/491.71 c 490s | 15 | 4072898 | 107332 | 59163 2 | 770 | 661 494.21/494.39 c 493s | 15 | 4093090 | 107632 | 59163 2 | 771 | 662 496.41/496.52 c 495s | 15 | 4110263 | 108032 | 59163 2 | 771 | 662 498.51/498.67 c 497s | 15 | 4120591 | 108432 | 59163 2 | 771 | 662 500.81/500.94 c 500s | 15 | 4136693 | 108832 | 59163 2 | 771 | 662 503.01/503.16 c 502s | 15 | 4146216 | 109132 | 59163 2 | 772 | 663 505.31/505.44 c 504s | 15 | 4166612 | 109432 | 59163 2 | 772 | 663 508.01/508.14 c 507s | 15 | 4176298 | 109832 | 59163 2 | 772 | 663 510.11/510.20 c 509s | 15 | 4177402 | 110132 | 59163 2 | 772 | 663 512.21/512.33 c 511s | 15 | 4183862 | 110432 | 59163 2 | 772 | 663 514.61/514.80 c 514s | 15 | 4204222 | 110832 | 59163 2 | 772 | 663 516.81/516.92 c 516s | 15 | 4219554 | 111232 | 59163 2 | 772 | 663 519.11/519.22 c 518s | 15 | 4237218 | 111632 | 59163 2 | 772 | 663 521.11/521.28 c 520s | 15 | 4250534 | 112032 | 59163 2 | 772 | 663 523.41/523.50 c 522s | 15 | 4260816 | 112532 | 59163 2 | 772 | 663 525.81/525.91 c 525s | 15 | 4274171 | 113032 | 59163 2 | 772 | 663 528.40/528.55 c 527s | 15 | 4291826 | 113532 | 59163 2 | 772 | 663 531.10/531.21 c 530s | 15 | 4311755 | 113932 | 59163 2 | 772 | 663 533.20/533.33 c 532s | 15 | 4326566 | 114332 | 59163 2 | 772 | 663 535.41/535.54 c 534s | 15 | 4338520 | 114932 | 59163 2 | 772 | 663 537.82/537.99 c 537s | 15 | 4360350 | 115432 | 59163 2 | 772 | 663 540.51/540.64 c 539s | 15 | 4379940 | 115832 | 59163 2 | 772 | 663 542.90/543.10 c 542s | 15 | 4392575 | 116332 | 59163 2 | 772 | 663 546.21/546.33 c 545s | 15 | 4408149 | 116632 | 59163 3 | 772 | 663 548.50/548.62 c 547s | 15 | 4425858 | 117232 | 59163 3 | 772 | 663 550.70/550.85 c 550s | 15 | 4440637 | 117832 | 59163 3 | 772 | 663 553.00/553.19 c 552s | 15 | 4462843 | 118232 | 59163 3 | 773 | 664 555.41/555.56 c 554s | 15 | 4486029 | 118732 | 59163 3 | 773 | 664 557.81/557.90 c 557s | 15 | 4504171 | 119332 | 59163 3 | 773 | 664 559.91/560.05 c 559s | 15 | 4521816 | 119832 | 59163 3 | 773 | 664 561.90/562.08 c 561s | 15 | 4535989 | 120332 | 59163 3 | 773 | 664 564.10/564.25 c 563s | 15 | 4560456 | 120832 | 59163 3 | 773 | 664 566.51/566.60 c 565s | 15 | 4578864 | 121432 | 59163 3 | 773 | 664 568.61/568.74 c 567s | 15 | 4586245 | 121932 | 59163 3 | 773 | 664 570.81/570.98 c 570s | 15 | 4603059 | 122532 | 59163 3 | 773 | 664 573.11/573.29 c 572s | 15 | 4622422 | 123132 | 59163 3 | 773 | 664 575.60/575.76 c 575s | 15 | 4641195 | 123632 | 59163 3 | 773 | 664 578.00/578.11 c 577s | 15 | 4661344 | 124132 | 59163 3 | 773 | 664 580.30/580.49 c 579s | 15 | 4686889 | 124632 | 59163 3 | 773 | 664 582.70/582.83 c 582s | 15 | 4706894 | 125132 | 59163 3 | 773 | 664 584.90/585.01 c 584s | 15 | 4723138 | 125632 | 59163 3 | 773 | 664 587.00/587.14 c 586s | 15 | 4743631 | 126132 | 59163 3 | 773 | 664 589.40/589.56 c 588s | 15 | 4764785 | 126632 | 59163 3 | 773 | 664 591.70/591.84 c 591s | 15 | 4785362 | 127132 | 59163 3 | 773 | 664 594.00/594.19 c 593s | 15 | 4811061 | 127632 | 59163 3 | 773 | 664 596.20/596.38 c 595s | 15 | 4829392 | 127932 | 59163 3 | 774 | 665 598.49/598.68 c 597s | 15 | 4847711 | 128332 | 59163 3 | 774 | 665 600.89/601.06 c 600s | 15 | 4868101 | 128832 | 59163 3 | 774 | 665 603.19/603.33 c 602s | 15 | 4888496 | 129332 | 59163 3 | 774 | 665 605.39/605.56 c 604s | 15 | 4904094 | 129732 | 59163 3 | 774 | 665 607.70/607.86 c 607s | 15 | 4922805 | 130232 | 59163 3 | 774 | 665 610.20/610.32 c 609s | 15 | 4939907 | 130732 | 65080 3 | 774 | 665 612.50/612.65 c 611s | 15 | 4961354 | 131132 | 65080 3 | 774 | 665 614.39/614.51 c 613s | 16 | 4976002 | 131552 | 65080 3 | 774 | 665 616.89/617.02 c 616s | 16 | 4986595 | 131952 | 65080 3 | 774 | 665 619.39/619.57 c 618s | 16 | 5000651 | 132352 | 65080 3 | 775 | 666 621.69/621.81 c 621s | 16 | 5022759 | 132752 | 65080 3 | 775 | 666 624.19/624.30 c 623s | 16 | 5043640 | 133252 | 65080 3 | 775 | 666 626.39/626.57 c 625s | 16 | 5058576 | 133652 | 65080 3 | 775 | 666 628.90/629.08 c 628s | 16 | 5073266 | 134152 | 65080 3 | 775 | 666 631.19/631.30 c 630s | 16 | 5089233 | 134652 | 65080 3 | 775 | 666 633.50/633.61 c 632s | 16 | 5103695 | 135152 | 65080 3 | 775 | 666 635.59/635.77 c 635s | 16 | 5122414 | 135552 | 65080 3 | 775 | 666 637.90/638.10 c 637s | 16 | 5139102 | 136052 | 65080 3 | 775 | 666 640.29/640.44 c 639s | 16 | 5159395 | 136552 | 65080 3 | 775 | 666 642.30/642.48 c 641s | 16 | 5170144 | 136952 | 65080 3 | 775 | 666 644.89/645.03 c 644s | 16 | 5198657 | 137452 | 65080 3 | 775 | 666 647.09/647.27 c 646s | 16 | 5212134 | 137852 | 65080 3 | 775 | 666 649.49/649.64 c 648s | 16 | 5234172 | 138352 | 65080 3 | 775 | 666 651.89/652.08 c 651s | 16 | 5253093 | 138752 | 65080 3 | 776 | 667 654.29/654.43 c 653s | 16 | 5268415 | 139152 | 65080 3 | 776 | 667 656.69/656.87 c 656s | 16 | 5283691 | 139552 | 65080 3 | 776 | 667 658.80/658.93 c 658s | 16 | 5295109 | 139952 | 65080 3 | 776 | 667 660.89/661.03 c 660s | 16 | 5301251 | 140352 | 65080 3 | 776 | 667 663.19/663.33 c 662s | 16 | 5317679 | 140752 | 65080 3 | 776 | 667 665.29/665.40 c 664s | 16 | 5325292 | 141252 | 65080 3 | 776 | 667 667.70/667.88 c 667s | 16 | 5343902 | 141752 | 65080 3 | 776 | 667 669.90/670.08 c 669s | 16 | 5359533 | 142152 | 65080 3 | 776 | 667 672.49/672.64 c 671s | 16 | 5388557 | 142552 | 65080 3 | 776 | 667 674.59/674.79 c 674s | 16 | 5405590 | 142952 | 65080 3 | 776 | 667 676.89/677.01 c 676s | 16 | 5420699 | 143352 | 65080 3 | 776 | 667 678.88/679.08 c 678s | 16 | 5435923 | 143752 | 65080 3 | 776 | 667 681.38/681.55 c 680s | 16 | 5449475 | 144252 | 65080 3 | 776 | 667 683.58/683.75 c 682s | 16 | 5457419 | 144752 | 65080 3 | 776 | 667 685.58/685.77 c 685s | 16 | 5461707 | 145152 | 65080 3 | 776 | 667 687.78/687.95 c 687s | 16 | 5479138 | 145552 | 65080 3 | 776 | 667 689.98/690.19 c 689s | 16 | 5491937 | 146052 | 65080 3 | 776 | 667 692.58/692.72 c 691s | 16 | 5503077 | 146452 | 65080 3 | 776 | 667 694.58/694.79 c 694s | 16 | 5516977 | 146852 | 65080 3 | 776 | 667 696.88/697.04 c 696s | 16 | 5534832 | 147252 | 65080 3 | 776 | 667 699.18/699.36 c 698s | 16 | 5544946 | 147652 | 65080 3 | 776 | 667 701.28/701.45 c 700s | 16 | 5552856 | 148052 | 65080 3 | 776 | 667 703.38/703.55 c 702s | 16 | 5556874 | 148552 | 65080 3 | 776 | 667 705.78/705.94 c 705s | 16 | 5558515 | 148952 | 65080 3 | 776 | 667 708.08/708.23 c 707s | 16 | 5565695 | 149452 | 65080 3 | 776 | 667 710.68/710.86 c 710s | 16 | 5584959 | 149952 | 65080 3 | 776 | 667 713.18/713.34 c 712s | 16 | 5596329 | 150452 | 65080 3 | 776 | 667 715.38/715.55 c 714s | 16 | 5598190 | 150952 | 65080 3 | 776 | 667 717.67/717.86 c 717s | 16 | 5611710 | 151352 | 65080 3 | 776 | 667 720.17/720.32 c 719s | 16 | 5631123 | 151852 | 65080 3 | 776 | 667 722.38/722.52 c 721s | 16 | 5643983 | 152252 | 65080 3 | 776 | 667 724.48/724.70 c 723s | 16 | 5657057 | 152652 | 65080 3 | 776 | 667 726.78/726.95 c 726s | 16 | 5672333 | 153152 | 65080 3 | 776 | 667 729.38/729.56 c 728s | 16 | 5691934 | 153552 | 65080 3 | 776 | 667 731.49/731.61 c 730s | 16 | 5711048 | 153952 | 65080 3 | 776 | 667 735.17/735.33 c 734s | 16 | 5726348 | 154252 | 65080 4 | 776 | 667 737.37/737.59 c 736s | 16 | 5730913 | 154752 | 65080 4 | 776 | 667 740.07/740.20 c 739s | 16 | 5732269 | 155152 | 65080 4 | 776 | 667 742.07/742.29 c 741s | 16 | 5746696 | 155652 | 65080 4 | 776 | 667 744.36/744.50 c 743s | 16 | 5767409 | 156052 | 65080 4 | 776 | 667 746.37/746.55 c 745s | 16 | 5781311 | 156552 | 65080 4 | 776 | 667 749.08/749.29 c 748s | 16 | 5781877 | 156852 | 65080 4 | 776 | 667 751.18/751.31 c 750s | 16 | 5792400 | 157252 | 65080 4 | 776 | 667 753.56/753.75 c 752s | 16 | 5798755 | 157652 | 65080 4 | 776 | 667 755.97/756.12 c 755s | 16 | 5810554 | 158152 | 65080 4 | 776 | 667 757.96/758.17 c 757s | 16 | 5821591 | 158652 | 65080 4 | 776 | 667 760.46/760.66 c 759s | 16 | 5831858 | 159152 | 65080 4 | 776 | 667 762.47/762.69 c 761s | 16 | 5837247 | 159452 | 65080 4 | 776 | 667 764.56/764.77 c 764s | 16 | 5838248 | 159752 | 65080 4 | 776 | 667 767.36/767.57 c 766s | 16 | 5840739 | 159952 | 65080 4 | 776 | 667 769.46/769.67 c 768s | 16 | 5843034 | 160352 | 65080 4 | 776 | 667 771.76/771.96 c 771s | 16 | 5844029 | 160652 | 65080 4 | 776 | 667 773.86/774.09 c 773s | 16 | 5848523 | 160952 | 65080 4 | 776 | 667 775.85/776.09 c 775s | 16 | 5851469 | 161352 | 65080 4 | 776 | 667 778.05/778.20 c 777s | 16 | 5861029 | 161752 | 65080 4 | 776 | 667 780.45/780.63 c 779s | 16 | 5876950 | 162252 | 65080 4 | 776 | 667 782.45/782.65 c 781s | 16 | 5878655 | 162752 | 65080 4 | 776 | 667 784.55/784.71 c 783s | 16 | 5881673 | 163152 | 65080 4 | 776 | 667 786.95/787.13 c 786s | 16 | 5890946 | 163652 | 65080 4 | 776 | 667 789.35/789.56 c 788s | 16 | 5894609 | 164052 | 65080 4 | 776 | 667 791.65/791.83 c 791s | 16 | 5904349 | 164552 | 65080 4 | 776 | 667 793.65/793.88 c 793s | 16 | 5909638 | 164852 | 65080 4 | 776 | 667 795.75/795.90 c 795s | 16 | 5916897 | 165252 | 65080 4 | 776 | 667 797.84/798.00 c 797s | 16 | 5923671 | 165652 | 65080 4 | 776 | 667 800.24/800.49 c 799s | 16 | 5932146 | 166152 | 65080 4 | 776 | 667 802.34/802.52 c 801s | 16 | 5941502 | 166552 | 65080 4 | 776 | 667 804.65/804.82 c 804s | 16 | 5952279 | 166852 | 65080 4 | 777 | 668 806.75/806.99 c 806s | 16 | 5963472 | 167352 | 65080 4 | 777 | 668 808.95/809.11 c 808s | 16 | 5983467 | 167752 | 65080 4 | 777 | 668 810.94/811.19 c 810s | 16 | 6003209 | 168152 | 65080 4 | 777 | 668 813.34/813.52 c 812s | 16 | 6027375 | 168552 | 65080 4 | 777 | 668 815.44/815.67 c 814s | 16 | 6050028 | 169052 | 65080 4 | 777 | 668 817.54/817.71 c 816s | 16 | 6067879 | 169452 | 65080 4 | 777 | 668 819.64/819.88 c 819s | 16 | 6076209 | 169952 | 65080 4 | 777 | 668 821.94/822.18 c 821s | 16 | 6078814 | 170352 | 65080 4 | 777 | 668 824.54/824.70 c 823s | 16 | 6082949 | 170752 | 65080 4 | 777 | 668 826.74/826.97 c 826s | 16 | 6103574 | 171252 | 65080 4 | 777 | 668 829.04/829.22 c 828s | 16 | 6113669 | 171752 | 65080 4 | 777 | 668 831.34/831.55 c 830s | 16 | 6127013 | 172452 | 65080 4 | 777 | 668 833.44/833.62 c 832s | 16 | 6142135 | 172952 | 65080 4 | 777 | 668 836.03/836.23 c 835s | 16 | 6156012 | 173552 | 65080 4 | 777 | 668 838.23/838.45 c 837s | 16 | 6167914 | 174152 | 65080 4 | 777 | 668 840.34/840.53 c 839s | 16 | 6181848 | 174552 | 65080 4 | 777 | 668 842.83/843.02 c 842s | 16 | 6205023 | 175052 | 65080 4 | 777 | 668 845.23/845.47 c 844s | 16 | 6222707 | 175452 | 65080 4 | 777 | 668 847.23/847.49 c 846s | 16 | 6234104 | 175952 | 65080 4 | 777 | 668 849.63/849.84 c 849s | 16 | 6239453 | 176552 | 65080 4 | 777 | 668 852.23/852.48 c 851s | 16 | 6240594 | 177052 | 65080 4 | 777 | 668 854.82/855.09 c 854s | 16 | 6251169 | 177552 | 65080 4 | 777 | 668 857.02/857.23 c 856s | 16 | 6265987 | 178052 | 65080 4 | 777 | 668 859.32/859.54 c 858s | 16 | 6272608 | 178452 | 65080 4 | 777 | 668 862.02/862.27 c 861s | 16 | 6276141 | 178952 | 65080 4 | 777 | 668 864.32/864.59 c 863s | 16 | 6286214 | 179352 | 65080 4 | 777 | 668 866.42/866.63 c 865s | 16 | 6297596 | 179652 | 65080 4 | 777 | 668 868.93/869.12 c 868s | 16 | 6304252 | 180152 | 65080 4 | 777 | 668 871.02/871.30 c 870s | 16 | 6321705 | 180652 | 65080 4 | 777 | 668 873.42/873.61 c 872s | 16 | 6337029 | 181052 | 65080 4 | 777 | 668 875.81/876.02 c 875s | 16 | 6358726 | 181452 | 65080 4 | 777 | 668 877.81/878.05 c 877s | 16 | 6360181 | 181852 | 65080 4 | 777 | 668 880.02/880.21 c 879s | 16 | 6361830 | 182152 | 65080 4 | 777 | 668 882.82/883.05 c 882s | 16 | 6362977 | 182452 | 65080 4 | 777 | 668 885.22/885.41 c 884s | 16 | 6364275 | 182752 | 65080 4 | 777 | 668 887.71/887.94 c 887s | 16 | 6365345 | 183152 | 65080 4 | 777 | 668 890.12/890.34 c 889s | 16 | 6367035 | 183452 | 65080 4 | 777 | 668 892.62/892.85 c 892s | 16 | 6368584 | 183752 | 65080 4 | 777 | 668 895.11/895.36 c 894s | 16 | 6390018 | 184152 | 65080 4 | 777 | 668 897.31/897.59 c 896s | 16 | 6404526 | 184652 | 65080 4 | 777 | 668 899.41/899.61 c 898s | 16 | 6410738 | 185052 | 65080 4 | 777 | 668 901.41/901.64 c 900s | 16 | 6412045 | 185352 | 65080 4 | 777 | 668 903.91/904.19 c 903s | 16 | 6412799 | 185652 | 65080 4 | 777 | 668 906.41/906.63 c 905s | 16 | 6413930 | 185952 | 65080 4 | 777 | 668 909.21/909.44 c 908s | 16 | 6414764 | 186252 | 65080 4 | 777 | 668 912.01/912.23 c 911s | 16 | 6415611 | 186552 | 65080 4 | 777 | 668 914.01/914.28 c 913s | 16 | 6417263 | 186752 | 65080 4 | 777 | 668 916.70/916.96 c 916s | 16 | 6433166 | 187352 | 65080 4 | 777 | 668 920.52/920.79 c 920s | 16 | 6443109 | 187552 | 65080 5 | 778 | 669 922.91/923.16 c 922s | 16 | 6450398 | 187952 | 65080 5 | 778 | 669 925.20/925.42 c 924s | 16 | 6452099 | 188452 | 65080 5 | 778 | 669 927.50/927.76 c 927s | 16 | 6461105 | 188952 | 65080 5 | 778 | 669 929.50/929.78 c 929s | 16 | 6478666 | 189352 | 65080 5 | 778 | 669 931.90/932.18 c 931s | 16 | 6485487 | 189952 | 65080 5 | 778 | 669 934.29/934.50 c 933s | 16 | 6512458 | 190352 | 65080 5 | 778 | 669 936.49/936.71 c 935s | 16 | 6539723 | 190852 | 65080 5 | 778 | 669 938.49/938.74 c 937s | 16 | 6560646 | 191252 | 65080 5 | 778 | 669 940.89/941.10 c 940s | 16 | 6583525 | 191752 | 65080 5 | 778 | 669 942.99/943.28 c 942s | 16 | 6602946 | 192252 | 65080 5 | 778 | 669 945.09/945.34 c 944s | 16 | 6625469 | 192752 | 65080 5 | 778 | 669 947.58/947.86 c 947s | 16 | 6650032 | 193252 | 65080 5 | 778 | 669 949.99/950.29 c 949s | 16 | 6677119 | 193752 | 65080 5 | 778 | 669 952.29/952.60 c 951s | 16 | 6695890 | 194252 | 65080 5 | 778 | 669 954.39/954.66 c 953s | 16 | 6714044 | 194752 | 65080 5 | 778 | 669 956.58/956.88 c 956s | 16 | 6734219 | 195152 | 65080 5 | 778 | 669 958.78/959.06 c 958s | 16 | 6748777 | 195652 | 65080 5 | 778 | 669 961.08/961.40 c 960s | 16 | 6764888 | 196152 | 71588 5 | 778 | 669 963.39/963.62 c 962s | 16 | 6779902 | 196652 | 71588 5 | 778 | 669 965.88/966.19 c 965s | 16 | 6797819 | 197152 | 71588 5 | 778 | 669 967.08/967.31 c 966s | 17 | 6807888 | 197432 | 71588 5 | 778 | 669 969.18/969.45 c 968s | 17 | 6824064 | 197732 | 71588 5 | 778 | 669 971.68/971.93 c 971s | 17 | 6848938 | 198332 | 71588 5 | 778 | 669 973.88/974.14 c 973s | 17 | 6866618 | 198932 | 71588 5 | 778 | 669 975.97/976.22 c 975s | 17 | 6882797 | 199432 | 71588 5 | 778 | 669 978.17/978.49 c 977s | 17 | 6906789 | 199932 | 71588 5 | 778 | 669 980.47/980.70 c 979s | 17 | 6924327 | 200332 | 71588 5 | 778 | 669 982.47/982.75 c 981s | 17 | 6935385 | 200732 | 71588 5 | 778 | 669 984.56/984.80 c 984s | 17 | 6950730 | 201232 | 71588 5 | 778 | 669 986.86/987.10 c 986s | 17 | 6968592 | 201832 | 71588 5 | 778 | 669 988.96/989.22 c 988s | 17 | 6987531 | 202232 | 71588 5 | 778 | 669 991.06/991.31 c 990s | 17 | 7006752 | 202732 | 71588 5 | 778 | 669 993.17/993.46 c 992s | 17 | 7016165 | 203132 | 71588 5 | 778 | 669 995.26/995.56 c 994s | 17 | 7021963 | 203532 | 71588 5 | 778 | 669 997.46/997.73 c 996s | 17 | 7041228 | 203932 | 71588 5 | 778 | 669 999.95/1000.24 c 999s | 17 | 7067388 | 204432 | 71588 5 | 778 | 669 1002.05/1002.39 c 1001s | 17 | 7077032 | 204932 | 71588 5 | 778 | 669 1004.25/1004.55 c 1003s | 17 | 7093457 | 205332 | 71588 5 | 778 | 669 1006.36/1006.68 c 1005s | 17 | 7115367 | 205732 | 71588 5 | 778 | 669 1008.46/1008.77 c 1008s | 17 | 7132255 | 206132 | 71588 5 | 778 | 669 1010.55/1010.90 c 1010s | 17 | 7152771 | 206532 | 71588 5 | 778 | 669 1012.86/1013.19 c 1012s | 17 | 7171058 | 207032 | 71588 5 | 778 | 669 1015.24/1015.56 c 1014s | 17 | 7190767 | 207432 | 71588 5 | 778 | 669 1017.84/1018.17 c 1017s | 17 | 7219521 | 207932 | 71588 5 | 778 | 669 1020.04/1020.35 c 1019s | 17 | 7238761 | 208332 | 71588 5 | 778 | 669 1022.44/1022.73 c 1021s | 17 | 7261190 | 208732 | 71588 5 | 778 | 669 1024.64/1024.92 c 1024s | 17 | 7281358 | 209132 | 71588 5 | 778 | 669 1026.84/1027.11 c 1026s | 17 | 7300950 | 209532 | 71588 5 | 778 | 669 1029.13/1029.46 c 1028s | 17 | 7319172 | 210032 | 71588 5 | 778 | 669 1031.23/1031.50 c 1030s | 17 | 7339316 | 210432 | 71588 5 | 778 | 669 1033.43/1033.73 c 1032s | 17 | 7353499 | 210932 | 71588 5 | 778 | 669 1035.63/1035.97 c 1035s | 17 | 7371291 | 211432 | 71588 5 | 778 | 669 1037.83/1038.14 c 1037s | 17 | 7388133 | 211832 | 71588 5 | 778 | 669 1040.23/1040.54 c 1039s | 17 | 7401915 | 212332 | 71588 5 | 778 | 669 1042.43/1042.80 c 1042s | 17 | 7419491 | 212732 | 71588 5 | 778 | 669 1044.52/1044.88 c 1044s | 17 | 7439782 | 213032 | 71588 5 | 778 | 669 1046.62/1046.98 c 1046s | 17 | 7456637 | 213432 | 71588 5 | 778 | 669 1048.92/1049.25 c 1048s | 17 | 7467898 | 213832 | 71588 5 | 778 | 669 1051.02/1051.36 c 1050s | 17 | 7484312 | 214232 | 71588 5 | 778 | 669 1053.53/1053.85 c 1053s | 17 | 7502301 | 214732 | 71588 5 | 778 | 669 1055.61/1055.99 c 1055s | 17 | 7514918 | 215132 | 71588 5 | 778 | 669 1057.92/1058.30 c 1057s | 17 | 7525310 | 215632 | 71588 5 | 778 | 669 1060.31/1060.61 c 1059s | 17 | 7542009 | 216132 | 71588 5 | 778 | 669 1062.82/1063.16 c 1062s | 17 | 7560507 | 216632 | 71588 5 | 778 | 669 1065.42/1065.74 c 1064s | 17 | 7577563 | 217132 | 71588 5 | 778 | 669 1067.92/1068.20 c 1067s | 17 | 7589875 | 217632 | 71588 5 | 778 | 669 1069.91/1070.23 c 1069s | 17 | 7594604 | 217932 | 71588 5 | 778 | 669 1072.22/1072.53 c 1071s | 17 | 7604131 | 218532 | 71588 5 | 778 | 669 1074.61/1074.96 c 1074s | 17 | 7622242 | 219032 | 71588 5 | 778 | 669 1076.62/1077.00 c 1076s | 17 | 7638312 | 219332 | 71588 5 | 778 | 669 1078.71/1079.07 c 1078s | 17 | 7653154 | 219832 | 71588 5 | 778 | 669 1080.80/1081.10 c 1080s | 17 | 7664972 | 220332 | 71588 5 | 778 | 669 1083.00/1083.38 c 1082s | 17 | 7673117 | 220732 | 71588 5 | 778 | 669 1085.30/1085.70 c 1084s | 17 | 7675437 | 220932 | 71588 5 | 778 | 669 1088.21/1088.53 c 1087s | 17 | 7678020 | 221232 | 71588 5 | 778 | 669 1090.91/1091.22 c 1090s | 17 | 7679950 | 221532 | 71588 5 | 778 | 669 1093.90/1094.26 c 1093s | 17 | 7681550 | 221832 | 71588 5 | 778 | 669 1096.41/1096.77 c 1096s | 17 | 7682283 | 222032 | 71588 5 | 778 | 669 1098.61/1098.91 c 1098s | 17 | 7683136 | 222232 | 71588 5 | 778 | 669 1101.60/1101.92 c 1101s | 17 | 7684608 | 222532 | 71588 5 | 778 | 669 1103.80/1104.18 c 1103s | 17 | 7685669 | 222732 | 71588 5 | 778 | 669 1106.10/1106.43 c 1105s | 17 | 7686663 | 222932 | 71588 5 | 778 | 669 1108.40/1108.70 c 1107s | 17 | 7688393 | 223132 | 71588 5 | 778 | 669 1110.59/1110.99 c 1110s | 17 | 7699220 | 223632 | 71588 5 | 778 | 669 1113.20/1113.57 c 1112s | 17 | 7710224 | 224132 | 71588 5 | 778 | 669 1115.49/1115.88 c 1115s | 17 | 7730717 | 224532 | 71588 5 | 778 | 669 1117.59/1117.96 c 1117s | 17 | 7743757 | 224932 | 71588 5 | 778 | 669 1120.09/1120.40 c 1119s | 17 | 7744660 | 225232 | 71588 5 | 778 | 669 1122.09/1122.42 c 1121s | 17 | 7758552 | 225632 | 71588 5 | 778 | 669 1124.38/1124.73 c 1123s | 17 | 7777855 | 226032 | 71588 5 | 778 | 669 1126.48/1126.85 c 1126s | 17 | 7792159 | 226432 | 71588 5 | 778 | 669 1128.78/1129.12 c 1128s | 17 | 7807442 | 226832 | 71588 5 | 778 | 669 1130.88/1131.24 c 1130s | 17 | 7821591 | 227232 | 71588 5 | 778 | 669 1134.57/1134.97 c 1134s | 17 | 7836429 | 227632 | 71588 6 | 778 | 669 1136.67/1137.00 c 1136s | 17 | 7854784 | 228032 | 71588 6 | 778 | 669 1138.67/1139.07 c 1138s | 17 | 7862657 | 228532 | 71588 6 | 778 | 669 1140.97/1141.34 c 1140s | 17 | 7879758 | 229132 | 71588 6 | 778 | 669 1142.97/1143.39 c 1142s | 17 | 7897945 | 229532 | 71588 6 | 778 | 669 1145.27/1145.65 c 1144s | 17 | 7921464 | 230032 | 71588 6 | 778 | 669 1147.77/1148.11 c 1147s | 17 | 7946723 | 230532 | 71588 6 | 778 | 669 1150.27/1150.67 c 1149s | 17 | 7971404 | 231032 | 71588 6 | 778 | 669 1152.76/1153.15 c 1152s | 17 | 7991929 | 231432 | 71588 6 | 778 | 669 1155.06/1155.47 c 1154s | 17 | 8011635 | 231832 | 71588 6 | 778 | 669 1157.36/1157.76 c 1157s | 17 | 8028483 | 232232 | 71588 6 | 778 | 669 1159.46/1159.87 c 1159s | 17 | 8047306 | 232632 | 71588 6 | 778 | 669 1161.66/1162.06 c 1161s | 17 | 8058093 | 233132 | 71588 6 | 778 | 669 1164.26/1164.61 c 1163s | 17 | 8082246 | 233532 | 71588 6 | 778 | 669 1166.26/1166.62 c 1165s | 17 | 8096809 | 233932 | 71588 6 | 778 | 669 1168.26/1168.67 c 1167s | 17 | 8117300 | 234332 | 71588 6 | 778 | 669 1170.56/1170.91 c 1170s | 17 | 8139193 | 234732 | 71588 6 | 778 | 669 1172.76/1173.13 c 1172s | 17 | 8163084 | 235132 | 71588 6 | 778 | 669 1175.05/1175.47 c 1174s | 17 | 8182648 | 235632 | 71588 6 | 778 | 669 1177.45/1177.82 c 1177s | 17 | 8202073 | 236132 | 71588 6 | 778 | 669 1179.75/1180.16 c 1179s | 17 | 8219842 | 236632 | 71588 6 | 778 | 669 1182.05/1182.50 c 1181s | 17 | 8234774 | 237132 | 71588 6 | 778 | 669 1184.45/1184.86 c 1184s | 17 | 8254880 | 237632 | 71588 6 | 778 | 669 1186.74/1187.15 c 1186s | 17 | 8271201 | 238032 | 71588 6 | 778 | 669 1189.14/1189.52 c 1188s | 17 | 8287324 | 238632 | 71588 6 | 778 | 669 1191.14/1191.57 c 1190s | 17 | 8304398 | 239132 | 71588 6 | 778 | 669 1193.44/1193.80 c 1193s | 17 | 8317348 | 239632 | 71588 6 | 778 | 669 1195.63/1196.08 c 1195s | 17 | 8339520 | 240032 | 71588 6 | 778 | 669 1197.93/1198.37 c 1197s | 17 | 8350590 | 240532 | 71588 6 | 778 | 669 1200.03/1200.43 c 1199s | 17 | 8364505 | 240932 | 71588 6 | 778 | 669 1202.63/1203.10 c 1202s | 17 | 8380102 | 241432 | 71588 6 | 778 | 669 1204.93/1205.30 c 1204s | 17 | 8398851 | 241832 | 71588 6 | 778 | 669 1207.03/1207.48 c 1206s | 17 | 8416747 | 242332 | 71588 6 | 778 | 669 1209.33/1209.79 c 1209s | 17 | 8426633 | 242832 | 71588 6 | 778 | 669 1211.73/1212.10 c 1211s | 17 | 8439321 | 243332 | 71588 6 | 778 | 669 1214.32/1214.70 c 1213s | 17 | 8446644 | 243732 | 71588 6 | 778 | 669 1216.72/1217.18 c 1216s | 17 | 8454276 | 244132 | 71588 6 | 778 | 669 1219.22/1219.67 c 1218s | 17 | 8471580 | 244632 | 71588 6 | 778 | 669 1221.32/1221.75 c 1220s | 17 | 8479868 | 245032 | 71588 6 | 778 | 669 1223.72/1224.12 c 1223s | 17 | 8488654 | 245532 | 71588 6 | 778 | 669 1226.22/1226.61 c 1225s | 17 | 8500988 | 246032 | 71588 6 | 778 | 669 1228.42/1228.89 c 1228s | 17 | 8516106 | 246532 | 71588 6 | 778 | 669 1230.62/1231.02 c 1230s | 17 | 8526759 | 246932 | 71588 6 | 778 | 669 1232.61/1233.07 c 1232s | 17 | 8537509 | 247332 | 71588 6 | 778 | 669 1235.30/1235.74 c 1234s | 17 | 8559198 | 247732 | 71588 6 | 778 | 669 1237.50/1237.92 c 1237s | 17 | 8574722 | 248132 | 71588 6 | 778 | 669 1240.10/1240.53 c 1239s | 17 | 8590705 | 248632 | 71588 6 | 778 | 669 1242.21/1242.60 c 1241s | 17 | 8604326 | 249032 | 71588 6 | 778 | 669 1244.70/1245.10 c 1244s | 17 | 8619558 | 249432 | 71588 6 | 778 | 669 1247.11/1247.58 c 1246s | 17 | 8642240 | 249832 | 71588 6 | 778 | 669 1249.40/1249.83 c 1249s | 17 | 8656598 | 250232 | 71588 6 | 778 | 669 1251.51/1251.92 c 1251s | 17 | 8669586 | 250532 | 71588 6 | 778 | 669 1253.80/1254.22 c 1253s | 17 | 8685045 | 250932 | 71588 6 | 778 | 669 1256.30/1256.76 c 1256s | 17 | 8702384 | 251332 | 71588 6 | 778 | 669 1258.39/1258.86 c 1258s | 17 | 8713903 | 251732 | 71588 6 | 778 | 669 1260.59/1261.04 c 1260s | 17 | 8722425 | 252232 | 71588 6 | 778 | 669 1262.69/1263.12 c 1262s | 17 | 8737704 | 252632 | 71588 6 | 778 | 669 1265.08/1265.60 c 1264s | 17 | 8751696 | 253032 | 71588 6 | 778 | 669 1267.59/1268.01 c 1267s | 17 | 8766736 | 253432 | 71588 6 | 778 | 669 1269.59/1270.08 c 1269s | 17 | 8778254 | 253832 | 71588 6 | 778 | 669 1271.69/1272.13 c 1271s | 17 | 8789729 | 254232 | 71588 6 | 778 | 669 1273.89/1274.32 c 1273s | 17 | 8801977 | 254632 | 71588 6 | 778 | 669 1276.58/1277.08 c 1276s | 17 | 8822373 | 255032 | 71588 6 | 778 | 669 1278.88/1279.35 c 1278s | 17 | 8832131 | 255432 | 71588 6 | 778 | 669 1280.98/1281.41 c 1280s | 17 | 8840441 | 255832 | 71588 6 | 778 | 669 1282.98/1283.47 c 1282s | 17 | 8852485 | 256232 | 71588 6 | 778 | 669 1285.18/1285.63 c 1284s | 17 | 8864475 | 256632 | 71588 6 | 778 | 669 1287.28/1287.78 c 1287s | 17 | 8876420 | 257032 | 71588 6 | 778 | 669 1289.48/1289.98 c 1289s | 17 | 8886066 | 257432 | 71588 6 | 778 | 669 1291.57/1292.07 c 1291s | 17 | 8894103 | 257832 | 71588 6 | 778 | 669 1294.17/1294.63 c 1293s | 17 | 8906138 | 258332 | 71588 6 | 778 | 669 1296.27/1296.78 c 1296s | 17 | 8918469 | 258832 | 71588 6 | 778 | 669 1298.46/1298.91 c 1298s | 17 | 8933723 | 259232 | 71588 6 | 778 | 669 1300.56/1301.03 c 1300s | 17 | 8936821 | 259532 | 71588 6 | 778 | 669 1303.07/1303.58 c 1302s | 17 | 8951058 | 259932 | 71588 6 | 778 | 669 1305.36/1305.84 c 1305s | 17 | 8960617 | 260332 | 71588 6 | 778 | 669 1307.66/1308.11 c 1307s | 17 | 8969648 | 260732 | 71588 6 | 778 | 669 1309.67/1310.15 c 1309s | 17 | 8980501 | 261132 | 71588 6 | 778 | 669 1311.97/1312.44 c 1311s | 17 | 8992717 | 261532 | 71588 6 | 778 | 669 1314.36/1314.86 c 1314s | 17 | 9005671 | 261932 | 71588 6 | 778 | 669 1316.86/1317.38 c 1316s | 17 | 9015423 | 262332 | 71588 6 | 778 | 669 1318.95/1319.47 c 1318s | 17 | 9024240 | 262732 | 71588 6 | 778 | 669 1321.25/1321.73 c 1320s | 17 | 9035452 | 263032 | 71588 6 | 778 | 669 1323.85/1324.30 c 1323s | 17 | 9044355 | 263532 | 71588 6 | 778 | 669 1326.35/1326.81 c 1326s | 17 | 9058756 | 263932 | 71588 6 | 778 | 669 1328.85/1329.31 c 1328s | 17 | 9073815 | 264332 | 71588 6 | 778 | 669 1330.95/1331.48 c 1330s | 17 | 9082210 | 264932 | 71588 6 | 778 | 669 1333.25/1333.77 c 1333s | 17 | 9086548 | 265532 | 71588 6 | 778 | 669 1335.44/1335.92 c 1335s | 17 | 9094193 | 265932 | 71588 6 | 778 | 669 1338.05/1338.55 c 1337s | 17 | 9106526 | 266432 | 71588 6 | 778 | 669 1340.25/1340.71 c 1339s | 17 | 9111870 | 266832 | 71588 6 | 778 | 669 1342.55/1343.01 c 1342s | 17 | 9115815 | 267232 | 71588 6 | 778 | 669 1344.84/1345.38 c 1344s | 17 | 9122833 | 267632 | 71588 6 | 778 | 669 1347.63/1348.19 c 1347s | 17 | 9124260 | 268032 | 71588 6 | 778 | 669 1349.84/1350.35 c 1349s | 17 | 9126987 | 268332 | 71588 6 | 778 | 669 1352.24/1352.76 c 1352s | 17 | 9132971 | 268732 | 71588 6 | 778 | 669 1355.33/1355.80 c 1355s | 17 | 9137649 | 268832 | 71588 7 | 778 | 669 1357.33/1357.83 c 1357s | 17 | 9143633 | 269232 | 71588 7 | 778 | 669 1359.42/1359.94 c 1359s | 17 | 9146950 | 269632 | 71588 7 | 778 | 669 1361.83/1362.39 c 1361s | 17 | 9160686 | 270132 | 71588 7 | 778 | 669 1364.52/1365.04 c 1364s | 17 | 9165993 | 270732 | 71588 7 | 778 | 669 1367.12/1367.60 c 1366s | 17 | 9168911 | 271132 | 71588 7 | 778 | 669 1369.62/1370.12 c 1369s | 17 | 9173515 | 271532 | 71588 7 | 778 | 669 1371.92/1372.44 c 1371s | 17 | 9184398 | 272032 | 71588 7 | 778 | 669 1373.92/1374.44 c 1373s | 17 | 9196683 | 272532 | 71588 7 | 778 | 669 1376.21/1376.78 c 1376s | 17 | 9200050 | 272932 | 71588 7 | 778 | 669 1378.31/1378.80 c 1378s | 17 | 9202062 | 273332 | 71588 7 | 778 | 669 1380.41/1380.93 c 1380s | 17 | 9208315 | 273932 | 71588 7 | 778 | 669 1382.71/1383.26 c 1382s | 17 | 9222211 | 274432 | 71588 7 | 778 | 669 1385.11/1385.63 c 1384s | 17 | 9227618 | 274832 | 71588 7 | 778 | 669 1387.51/1388.05 c 1387s | 17 | 9229580 | 275132 | 71588 7 | 778 | 669 1390.02/1390.59 c 1389s | 17 | 9230632 | 275332 | 71588 7 | 778 | 669 1393.32/1393.87 c 1393s | 17 | 9231368 | 275532 | 71588 7 | 778 | 669 1395.51/1396.01 c 1395s | 17 | 9233528 | 275732 | 71588 7 | 778 | 669 1397.91/1398.47 c 1397s | 17 | 9236814 | 276232 | 71588 7 | 778 | 669 1400.11/1400.65 c 1399s | 17 | 9250896 | 276632 | 71588 7 | 778 | 669 1402.21/1402.79 c 1402s | 17 | 9257319 | 277032 | 71588 7 | 778 | 669 1404.51/1405.00 c 1404s | 17 | 9269004 | 277532 | 71588 7 | 778 | 669 1406.71/1407.21 c 1406s | 17 | 9270414 | 277832 | 71588 7 | 778 | 669 1409.00/1409.55 c 1408s | 17 | 9272618 | 278232 | 71588 7 | 778 | 669 1411.20/1411.73 c 1410s | 17 | 9275115 | 278632 | 71588 7 | 778 | 669 1413.70/1414.20 c 1413s | 17 | 9284344 | 279032 | 71588 7 | 778 | 669 1416.20/1416.78 c 1416s | 17 | 9287884 | 279432 | 71588 7 | 778 | 669 1419.00/1419.56 c 1418s | 17 | 9288803 | 279732 | 71588 7 | 778 | 669 1421.70/1422.23 c 1421s | 17 | 9293268 | 280132 | 71588 7 | 778 | 669 1424.01/1424.53 c 1423s | 17 | 9305507 | 280532 | 71588 7 | 778 | 669 1426.10/1426.61 c 1425s | 17 | 9314505 | 280932 | 71588 7 | 778 | 669 1428.51/1429.06 c 1428s | 17 | 9327021 | 281332 | 71588 7 | 778 | 669 1430.71/1431.21 c 1430s | 17 | 9337211 | 281732 | 71588 7 | 778 | 669 1432.81/1433.35 c 1432s | 17 | 9341757 | 282132 | 71588 7 | 778 | 669 1435.50/1436.05 c 1435s | 17 | 9348964 | 282632 | 71588 7 | 778 | 669 1437.50/1438.09 c 1437s | 17 | 9355427 | 282932 | 71588 7 | 778 | 669 1440.01/1440.51 c 1439s | 17 | 9362623 | 283332 | 71588 7 | 778 | 669 1442.31/1442.82 c 1442s | 17 | 9372072 | 283832 | 71588 7 | 778 | 669 1444.51/1445.02 c 1444s | 17 | 9376178 | 284232 | 71588 7 | 778 | 669 1446.61/1447.16 c 1446s | 17 | 9382116 | 284632 | 71588 7 | 778 | 669 1448.91/1449.48 c 1448s | 17 | 9387521 | 285132 | 71588 7 | 778 | 669 1451.51/1452.03 c 1451s | 17 | 9392017 | 285532 | 71588 7 | 778 | 669 1454.11/1454.61 c 1453s | 17 | 9405286 | 285932 | 71588 7 | 778 | 669 1456.21/1456.72 c 1455s | 17 | 9410726 | 286332 | 71588 7 | 778 | 669 1458.51/1459.07 c 1458s | 17 | 9415969 | 286732 | 71588 7 | 778 | 669 1460.91/1461.44 c 1460s | 17 | 9428537 | 287232 | 71588 7 | 778 | 669 1463.20/1463.72 c 1462s | 17 | 9441855 | 287632 | 71588 7 | 778 | 669 1465.40/1465.95 c 1465s | 17 | 9447759 | 288132 | 71588 7 | 778 | 669 1467.50/1468.01 c 1467s | 17 | 9454057 | 288532 | 71588 7 | 778 | 669 1469.70/1470.23 c 1469s | 17 | 9457840 | 288832 | 71588 7 | 778 | 669 1471.90/1472.41 c 1471s | 17 | 9465380 | 289232 | 71588 7 | 778 | 669 1474.30/1474.87 c 1474s | 17 | 9470525 | 289632 | 71588 7 | 778 | 669 1476.50/1477.01 c 1476s | 17 | 9472845 | 289932 | 71588 7 | 778 | 669 1479.40/1479.91 c 1479s | 17 | 9474523 | 290232 | 71588 7 | 778 | 669 1481.80/1482.34 c 1481s | 17 | 9475152 | 290432 | 71588 7 | 778 | 669 1484.20/1484.74 c 1483s | 17 | 9475962 | 290632 | 71588 7 | 778 | 669 1486.80/1487.39 c 1486s | 17 | 9476893 | 290832 | 71588 7 | 778 | 669 1489.00/1489.51 c 1488s | 17 | 9479562 | 291132 | 71588 7 | 778 | 669 1491.29/1491.89 c 1491s | 17 | 9482153 | 291432 | 71588 7 | 778 | 669 1494.09/1494.68 c 1493s | 17 | 9485623 | 291732 | 71588 7 | 778 | 669 1496.60/1497.11 c 1496s | 17 | 9490040 | 292032 | 71588 7 | 778 | 669 1498.90/1499.48 c 1498s | 17 | 9497461 | 292332 | 71588 7 | 778 | 669 1502.59/1503.17 c 1502s | 17 | 9498843 | 292632 | 71588 7 | 778 | 669 1506.70/1507.24 c 1506s | 17 | 9500167 | 292832 | 71588 7 | 778 | 669 1508.81/1509.33 c 1508s | 17 | 9500661 | 292932 | 71588 7 | 778 | 669 1511.80/1512.33 c 1511s | 17 | 9503607 | 293132 | 71588 7 | 778 | 669 1515.40/1515.94 c 1515s | 17 | 9504752 | 293432 | 71588 7 | 778 | 669 1518.00/1518.57 c 1517s | 17 | 9506059 | 293632 | 71588 7 | 778 | 669 1520.30/1520.88 c 1520s | 17 | 9506394 | 293732 | 71588 7 | 778 | 669 1526.19/1526.76 c 1526s | 17 | 9506525 | 293832 | 71588 7 | 778 | 669 1529.89/1530.46 c 1529s | 17 | 9506798 | 293932 | 71588 7 | 778 | 669 1532.69/1533.21 c 1532s | 17 | 9507005 | 294032 | 71588 7 | 778 | 669 1536.09/1536.62 c 1535s | 17 | 9507861 | 294232 | 78747 7 | 778 | 669 1538.29/1538.83 c 1538s | 17 | 9508369 | 294332 | 78747 7 | 778 | 669 1542.98/1543.50 c 1542s | 17 | 9508817 | 294432 | 78747 7 | 778 | 669 1547.09/1547.60 c 1546s | 17 | 9509133 | 294532 | 78747 7 | 778 | 669 1551.19/1551.77 c 1551s | 17 | 9509401 | 294632 | 78747 7 | 778 | 669 1553.29/1553.82 c 1553s | 17 | 9509794 | 294732 | 78747 7 | 778 | 669 1556.19/1556.76 c 1556s | 17 | 9510190 | 294832 | 78747 7 | 778 | 669 1562.09/1562.60 c 1561s | 17 | 9511053 | 295032 | 78747 7 | 778 | 669 1567.59/1568.18 c 1567s | 17 | 9511266 | 295132 | 78747 7 | 778 | 669 1572.69/1573.29 c 1572s | 17 | 9511434 | 295232 | 78747 7 | 778 | 669 1575.59/1576.15 c 1575s | 17 | 9511887 | 295332 | 78747 7 | 778 | 669 1578.89/1579.41 c 1578s | 17 | 9512645 | 295532 | 78747 7 | 778 | 669 1580.88/1581.49 c 1580s | 17 | 9513073 | 295632 | 78747 7 | 778 | 669 1583.38/1583.96 c 1583s | 17 | 9513413 | 295732 | 78747 7 | 778 | 669 1586.48/1587.09 c 1586s | 17 | 9513751 | 295832 | 78747 7 | 778 | 669 1589.38/1589.95 c 1589s | 17 | 9514049 | 295932 | 78747 7 | 778 | 669 1592.58/1593.16 c 1592s | 17 | 9514775 | 296032 | 78747 7 | 778 | 669 1596.08/1596.66 c 1595s | 17 | 9515105 | 296132 | 78747 7 | 778 | 669 1600.28/1600.89 c 1600s | 17 | 9515389 | 296232 | 78747 7 | 778 | 669 1600.98/1601.53 c 1600s | 18 | 9515430 | 296252 | 78747 7 | 778 | 669 1603.48/1604.08 c 1603s | 18 | 9525205 | 296452 | 78747 7 | 778 | 669 1605.67/1606.24 c 1605s | 18 | 9528396 | 296852 | 78747 7 | 778 | 669 1607.79/1608.38 c 1607s | 18 | 9532818 | 297252 | 78747 7 | 778 | 669 1609.89/1610.41 c 1609s | 18 | 9546570 | 297652 | 78747 7 | 778 | 669 1611.98/1612.51 c 1611s | 18 | 9562422 | 298052 | 78747 7 | 778 | 669 1614.08/1614.69 c 1613s | 18 | 9578625 | 298452 | 78747 7 | 778 | 669 1616.59/1617.12 c 1616s | 18 | 9591551 | 298952 | 78747 7 | 778 | 669 1618.98/1619.57 c 1618s | 18 | 9604452 | 299352 | 78747 7 | 778 | 669 1621.38/1621.96 c 1621s | 18 | 9618770 | 299852 | 78747 7 | 778 | 669 1623.38/1623.99 c 1623s | 18 | 9628386 | 300252 | 78747 7 | 778 | 669 1626.07/1626.67 c 1625s | 18 | 9650174 | 300652 | 78747 7 | 778 | 669 1628.58/1629.20 c 1628s | 18 | 9660105 | 301152 | 78747 7 | 778 | 669 1631.07/1631.67 c 1630s | 18 | 9662184 | 301552 | 78747 7 | 778 | 669 1633.37/1633.90 c 1633s | 18 | 9676328 | 301952 | 78747 7 | 778 | 669 1635.58/1636.14 c 1635s | 18 | 9682681 | 302552 | 78747 7 | 778 | 669 1637.98/1638.51 c 1637s | 18 | 9698430 | 302952 | 78747 7 | 778 | 669 1640.48/1641.01 c 1640s | 18 | 9714653 | 303452 | 78747 7 | 778 | 669 1642.57/1643.14 c 1642s | 18 | 9725866 | 303852 | 78747 7 | 778 | 669 1644.67/1645.24 c 1644s | 18 | 9741142 | 304152 | 78747 7 | 778 | 669 1647.17/1647.72 c 1646s | 18 | 9754775 | 304652 | 78747 7 | 778 | 669 1649.17/1649.78 c 1649s | 18 | 9767731 | 304952 | 78747 7 | 778 | 669 1651.17/1651.79 c 1651s | 18 | 9770298 | 305252 | 78747 7 | 778 | 669 1653.57/1654.10 c 1653s | 18 | 9773742 | 305652 | 78747 7 | 778 | 669 1655.68/1656.25 c 1655s | 18 | 9781324 | 305952 | 78747 7 | 778 | 669 1658.18/1658.73 c 1657s | 18 | 9804874 | 306252 | 78747 7 | 778 | 669 1660.27/1660.86 c 1660s | 18 | 9815537 | 306652 | 78747 7 | 778 | 669 1662.68/1663.27 c 1662s | 18 | 9832018 | 307052 | 78747 7 | 778 | 669 1665.27/1665.88 c 1665s | 18 | 9852727 | 307452 | 78747 7 | 778 | 669 1667.67/1668.29 c 1667s | 18 | 9871390 | 307752 | 78747 7 | 778 | 669 1669.87/1670.48 c 1669s | 18 | 9875177 | 308052 | 78747 7 | 778 | 669 1672.17/1672.70 c 1671s | 18 | 9882509 | 308552 | 78747 7 | 778 | 669 1674.27/1674.89 c 1674s | 18 | 9890272 | 309052 | 78747 7 | 778 | 669 1676.87/1677.45 c 1676s | 18 | 9902024 | 309552 | 78747 7 | 778 | 669 1679.07/1679.65 c 1678s | 18 | 9915554 | 309952 | 78747 7 | 778 | 669 1681.77/1682.38 c 1681s | 18 | 9930079 | 310452 | 78747 7 | 778 | 669 1684.07/1684.67 c 1683s | 18 | 9939836 | 310952 | 78747 7 | 778 | 669 1686.37/1686.90 c 1686s | 18 | 9952337 | 311452 | 78747 7 | 778 | 669 1688.46/1689.00 c 1688s | 18 | 9965285 | 311852 | 78747 7 | 778 | 669 1690.46/1691.06 c 1690s | 18 | 9980056 | 312252 | 78747 7 | 778 | 669 1692.97/1693.54 c 1692s | 18 | 9989068 | 312752 | 78747 7 | 778 | 669 1695.37/1695.91 c 1695s | 18 | 9997772 | 313252 | 78747 7 | 778 | 669 1698.47/1699.07 c 1698s | 18 | 10001803 | 313352 | 78747 8 | 778 | 669 1700.77/1701.35 c 1700s | 18 | 10013048 | 313852 | 78747 8 | 778 | 669 1702.97/1703.58 c 1702s | 18 | 10027063 | 314252 | 78747 8 | 778 | 669 1705.36/1705.95 c 1705s | 18 | 10048945 | 314652 | 78747 8 | 778 | 669 1707.77/1708.35 c 1707s | 18 | 10066224 | 315152 | 78747 8 | 778 | 669 1709.97/1710.54 c 1709s | 18 | 10084752 | 315552 | 78747 8 | 778 | 669 1711.96/1712.58 c 1711s | 18 | 10096324 | 315952 | 78747 8 | 778 | 669 1714.16/1714.76 c 1714s | 18 | 10117757 | 316352 | 78747 8 | 778 | 669 1716.57/1717.16 c 1716s | 18 | 10134826 | 316852 | 78747 8 | 778 | 669 1719.16/1719.73 c 1718s | 18 | 10151881 | 317352 | 78747 8 | 778 | 669 1721.46/1722.01 c 1721s | 18 | 10167763 | 317852 | 78747 8 | 778 | 669 1723.56/1724.14 c 1723s | 18 | 10185671 | 318252 | 78747 8 | 778 | 669 1725.66/1726.29 c 1725s | 18 | 10203548 | 318652 | 78747 8 | 778 | 669 1727.76/1728.39 c 1727s | 18 | 10219540 | 319052 | 78747 8 | 778 | 669 1729.87/1730.41 c 1729s | 18 | 10231912 | 319452 | 78747 8 | 778 | 669 1731.97/1732.54 c 1731s | 18 | 10242596 | 319852 | 78747 8 | 778 | 669 1734.06/1734.62 c 1733s | 18 | 10255922 | 320152 | 78747 8 | 778 | 669 1736.46/1737.01 c 1736s | 18 | 10272440 | 320652 | 78747 8 | 778 | 669 1738.85/1739.46 c 1738s | 18 | 10294632 | 321052 | 78747 8 | 778 | 669 1741.06/1741.64 c 1740s | 18 | 10311097 | 321452 | 78747 8 | 778 | 669 1743.36/1743.90 c 1743s | 18 | 10325027 | 321952 | 78747 8 | 778 | 669 1745.86/1746.47 c 1745s | 18 | 10346277 | 322352 | 78747 8 | 778 | 669 1748.26/1748.88 c 1748s | 18 | 10361695 | 322852 | 78747 8 | 778 | 669 1750.86/1751.46 c 1750s | 18 | 10380121 | 323252 | 78747 8 | 778 | 669 1753.15/1753.75 c 1752s | 18 | 10385845 | 323752 | 78747 8 | 778 | 669 1755.56/1756.12 c 1755s | 18 | 10386972 | 324152 | 78747 8 | 778 | 669 1758.16/1758.74 c 1757s | 18 | 10388602 | 324552 | 78747 8 | 778 | 669 1760.35/1760.99 c 1760s | 18 | 10389370 | 324852 | 78747 8 | 778 | 669 1763.36/1763.94 c 1763s | 18 | 10391372 | 325352 | 78747 8 | 778 | 669 1765.56/1766.12 c 1765s | 18 | 10392087 | 325652 | 78747 8 | 778 | 669 1767.65/1768.24 c 1767s | 18 | 10392745 | 325852 | 78747 8 | 778 | 669 1770.25/1770.87 c 1770s | 18 | 10393959 | 326052 | 78747 8 | 778 | 669 1773.86/1774.49 c 1773s | 18 | 10394723 | 326352 | 78747 8 | 778 | 669 1776.96/1777.50 c 1776s | 18 | 10395380 | 326552 | 78747 8 | 778 | 669 1779.16/1779.78 c 1779s | 18 | 10396100 | 326852 | 78747 8 | 778 | 669 1781.35/1781.90 c 1781s | 18 | 10396576 | 327052 | 78747 8 | 778 | 669 1783.86/1784.42 c 1783s | 18 | 10397113 | 327252 | 78747 8 | 778 | 669 1786.55/1787.18 c 1786s | 18 | 10397699 | 327452 | 78747 8 | 778 | 669 1789.45/1790.08 c 1789s | 18 | 10398405 | 327752 | 78747 8 | 778 | 669 1791.75/1792.33 c 1791s | 18 | 10398928 | 327952 | 78747 8 | 778 | 669 1794.35/1794.94 c 1794s | 18 | 10399442 | 328152 | 78747 8 | 778 | 669 1796.65/1797.28 c 1796s | 18 | 10400363 | 328452 | 78747 8 | 778 | 669 1799.06/1799.69 c 1798s | 18 | 10400951 | 328652 | 78747 8 | 778 | 669
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-4078913-1465285635/watcher-4078913-1465285635 -o /tmp/evaluation-result-4078913-1465285635/solver-4078913-1465285635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078913-1465285635.opb pid=9526 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.05 2.08 2.05 3/179 9529 /proc/meminfo: memFree=30568232/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=711100 CPUtime=0 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 2647 0 0 0 0 0 0 0 20 0 4 0 110498237 728166400 3007 33554432000 4194304 16246674 140735227451952 140735227451376 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 178287 3017 441 2943 0 175181 0 [pid=9529/tid=9530] ppid=9526 vsize=727484 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 744943616 3075 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=731580 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 749137920 3091 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=736700 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110498237 754380800 3108 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100186 s] /proc/loadavg: 2.05 2.08 2.05 3/179 9529 /proc/meminfo: memFree=30568232/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 29171 0 0 0 5 3 0 0 20 0 4 0 110498237 1333334016 29469 33554432000 4194304 16246674 140735227451952 140735227451264 7374276 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 325521 29485 801 2943 0 322415 0 [pid=9529/tid=9530] ppid=9526 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1333334016 29494 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1333334016 29505 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1333334016 29517 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200501 s] /proc/loadavg: 2.05 2.08 2.05 3/179 9529 /proc/meminfo: memFree=30568232/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 47422 0 0 0 13 6 0 0 20 0 4 0 110498237 1345916928 48231 33554432000 4194304 16246674 140735227451952 140735227451264 7384582 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 328593 48231 801 2943 0 325487 0 [pid=9529/tid=9530] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 48231 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 48231 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 48231 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300493 s] /proc/loadavg: 2.05 2.08 2.05 3/179 9529 /proc/meminfo: memFree=30568232/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 57172 0 0 0 22 7 0 0 20 0 4 0 110498237 1345916928 57981 33554432000 4194304 16246674 140735227451952 140735227451264 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 328593 57981 806 2943 0 325487 0 [pid=9529/tid=9530] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 57981 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 57981 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 57981 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700421 s] /proc/loadavg: 2.05 2.08 2.05 3/179 9529 /proc/meminfo: memFree=30568232/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 112761 0 0 0 54 15 0 0 20 0 4 0 110498237 1345916928 113571 33554432000 4194304 16246674 140735227451952 140735227451264 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 328593 113579 834 2943 0 325487 0 [pid=9529/tid=9530] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 113589 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 113597 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 113608 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50041 s] /proc/loadavg: 2.05 2.08 2.05 3/183 9533 /proc/meminfo: memFree=29867340/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1314372 CPUtime=1.48 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 219112 0 0 0 120 28 0 0 20 0 4 0 110498237 1345916928 219921 33554432000 4194304 16246674 140735227451952 140735227433856 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 328593 219925 876 2943 0 325487 0 [pid=9529/tid=9530] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 219927 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 219928 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1345916928 219931 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1314372 [startup+3.10043 s] /proc/loadavg: 2.05 2.08 2.05 3/183 9533 /proc/meminfo: memFree=29483312/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=3.09 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270727 0 0 0 274 35 0 0 20 0 4 0 110498237 1352208384 271536 33554432000 4194304 16246674 140735227451952 140735227433856 5829044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271536 879 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271536 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271536 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271536 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1320516 [startup+6.30045 s] /proc/loadavg: 2.04 2.08 2.05 3/183 9533 /proc/meminfo: memFree=29482600/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=6.29 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270798 0 0 0 594 35 0 0 20 0 4 0 110498237 1352208384 271607 33554432000 4194304 16246674 140735227451952 140735227433856 5522977 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271607 882 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271607 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271607 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271607 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1320516 [startup+12.7004 s] /proc/loadavg: 2.04 2.08 2.05 3/183 9533 /proc/meminfo: memFree=29482500/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=12.69 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270800 0 0 0 1234 35 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140735227433856 5674919 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271609 884 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1320516 [startup+25.5005 s] /proc/loadavg: 2.10 2.09 2.05 3/183 9533 /proc/meminfo: memFree=29481520/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=25.49 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270800 0 0 0 2514 35 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140735227433856 13923741 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271609 884 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271609 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1320516 [startup+51.1005 s] /proc/loadavg: 2.12 2.10 2.06 3/183 9533 /proc/meminfo: memFree=29481372/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270801 0 0 0 5073 35 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140735227433856 5721352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271610 885 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.301 s] /proc/loadavg: 2.15 2.11 2.06 3/183 9534 /proc/meminfo: memFree=29481136/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 270801 0 0 0 10192 36 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140735227451128 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271610 885 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271610 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1320516 [startup+1302.3 s] /proc/loadavg: 2.22 2.17 2.10 3/183 9635 /proc/meminfo: memFree=29485028/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1301.86 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271158 0 0 0 130070 116 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1320516 [startup+1362.3 s] /proc/loadavg: 2.08 2.14 2.09 3/182 9636 /proc/meminfo: memFree=29484752/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1361.83 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271199 0 0 0 136063 120 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 6013193 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1320516 [startup+1422.3 s] /proc/loadavg: 2.10 2.13 2.09 3/184 9641 /proc/meminfo: memFree=29484484/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1421.81 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 142061 120 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1320516 [startup+1482.3 s] /proc/loadavg: 2.18 2.13 2.09 3/183 9642 /proc/meminfo: memFree=29484272/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1481.8 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 148059 121 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227451128 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1320516 [startup+1542.31 s] /proc/loadavg: 2.06 2.11 2.09 3/183 9643 /proc/meminfo: memFree=29484168/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1541.79 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 154057 122 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227451128 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1320516 [startup+1602.3 s] /proc/loadavg: 2.10 2.10 2.09 3/183 9644 /proc/meminfo: memFree=29484064/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1601.78 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 160055 123 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227451128 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1320516 [startup+1662.3 s] /proc/loadavg: 2.03 2.08 2.08 3/183 9645 /proc/meminfo: memFree=29483844/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1661.77 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 166049 128 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1320516 [startup+1722.3 s] /proc/loadavg: 2.05 2.08 2.08 3/183 9647 /proc/meminfo: memFree=29483744/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1721.76 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 172046 130 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 5754576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1320516 [startup+1782.3 s] /proc/loadavg: 2.08 2.08 2.08 3/183 9648 /proc/meminfo: memFree=29483260/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1781.75 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 178030 145 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227433856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1320516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.06 2.07 2.08 3/183 9649 /proc/meminfo: memFree=29483476/32872528 swapFree=12744/274376 [pid=9529] ppid=9526 vsize=1320516 CPUtime=1800.05 cores=0,2,4,6 /proc/9529/stat : 9529 (toysat) R 9526 9529 5566 0 -1 4202496 271212 0 0 0 179850 155 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140735227451128 13950199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9529/statm: 330129 271867 886 2943 0 327023 0 [pid=9529/tid=9530] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9530/stat : 9530 (toysat) S 9526 9529 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004536855792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=9529/tid=9531] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9531/stat : 9531 (toysat) S 9526 9529 5566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004458212592 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=9529/tid=9532] ppid=9526 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/9529/task/9532/stat : 9532 (toysat) S 9526 9529 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110498237 1352208384 271867 33554432000 4194304 16246674 140735227451952 140004447739056 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1320516 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 9529 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1798.51 CPU system time (s): 1.55376 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1320516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.51 system time used= 1.55376 maximum resident set size= 1087468 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271212 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= 425 involuntary context switches= 1861 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0632 second user time and 16.9254 second system time The end
Begin job on node107 at 2016-06-07 09:47:15 IDJOB=4078913 IDBENCH=90182 IDSOLVER=2542 FILE ID=node107/4078913-1465285635 RUNJOBID= node107-1465255895-5582 PBS_JOBID= 19843278 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078913-1465285635/watcher-4078913-1465285635 -o /tmp/evaluation-result-4078913-1465285635/solver-4078913-1465285635 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078913-1465285635.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8e674dc671e8e6c3e0a48d5fff5f7edd RANDOM SEED=949929689 node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30568760 kB Buffers: 63660 kB Cached: 131920 kB SwapCached: 1652 kB Active: 1189832 kB Inactive: 105772 kB Active(anon): 1097288 kB Inactive(anon): 5252 kB Active(file): 92544 kB Inactive(file): 100520 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098524 kB Dirty: 17884 kB Writeback: 0 kB AnonPages: 1456012 kB Mapped: 10692 kB Shmem: 0 kB Slab: 599352 kB SReclaimable: 42816 kB SUnreclaim: 556536 kB KernelStack: 1520 kB PageTables: 6764 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1518508 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 348160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node107 at 2016-06-07 10:17:16