| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_0_ic.opb |
| MD5SUM | 3ccb0020d438b0d41f96e5d1bc8e13b8 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big 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 | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 160103007 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 14748631329 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 160103007 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 14748631329 |
| Number of bits of the biggest sum of numbers | 34 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-08T00:57:00+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-4079327-1465340220.opb"] 0.00/0.01 c use --random-gen="2423395839 3322976943 749991562 2367425937 2667244976 2993341539 2202103831 4276057257 3471639989 786056197 2981567732 4029748690 3683191108 893838315 1247792847 1907648223 1001333003 2780696447 3115941491 1637814026 3487995143 1041213413 3564401846 737497177 243709191 1090346027 2822031546 38622389 922284404 1622876044 2245632242 3005682504 339249709 3281219261 3379598871 962213820 1325205964 1518561292 753731702 703677499 576031562 2322872047 3812291840 1371226308 1126407693 230781674 4040562848 4205384275 3147141624 3276278395 1588298787 2765808086 2720041926 1400256278 4209711899 3882329622 3556172185 616477983 2442424059 4292686048 1196550403 4004743812 3239371953 3909461432 997224949 1489864794 778071844 2076262376 3576945605 2596712473 1462616272 2037167128 1164098550 992806508 193345372 1977242538 3798542493 3704529499 999966555 2113657236 2157166276 859999310 512284815 1432886051 1817667405 936418109 3562045280 2288986428 1620723467 2858007029 3072824876 3603937364 969123629 2104730311 2103644973 623862753 2759332273 1767849748 1894345769 1011360493 1904429515 4119613013 1978779715 435324756 2320196304 1274431433 988735458 3530705559 2905936939 2164606505 1813089916 3465384066 1653091060 1672611068 1181963669 2835281474 766884706 3689525567 1769447607 4202717725 888538602 3727324149 1884741534 1158255274 1287975720 3691513408 2801543595 3652581436 1579177225 1565492438 1915405736 316891532 1889356512 1548580040 3370041496 3164957866 3555429081 2718419615 3390648193 4045729653 2499655763 924134325 1391872962 3253528847 1033750539 1719443141 1066258732 852013041 2218376896 2931774316 141091543 2845482208 2928416684 126749560 2504381406 1111355344 4051400863 1238932980 3815173927 635503962 2029516807 1036129561 2762899372 1460904186 1052022537 2440559263 972072090 2416361991 1220932969 2852187720 2927153728 363319386 2854913750 1510001966 847839905 2094833339 3845462209 3954451896 2412763574 1967325378 393919921 1912226269 2793248307 3368268083 3365928078 4020874233 2810633768 149305924 2830802701 64189763 3398701818 1393285699 3441634726 486152545 2109386146 1540009181 474877695 683364525 3893093494 4154246009 3308093614 760916442 3638238931 3419413773 766523210 1810880065 144495588 705488194 2747718459 139087316 2947729134 939629107 2406449428 2008832546 3894199972 425937769 718318064 34425823 1197858682 79041386 4247926741 1645535338 4079336414 3957101817 3756144133 475464371 4214163440 3213795698 203857997 3587446515 2260960879 3236310615 2061901968 3984250163 3974259368 3553023663 888902818 2066727539 2528704577 2637430698 1885061493 3234504443 3745093577 1327830755 385551422 3993645944 4266087121 2187818730 3210183964 954905579 3001399092 742425699 3853691875 2550409166 2289364387 424572767 255 362436" option to reproduce the execution 0.19/0.29 c #vars 15725 0.19/0.29 c #constraints 31332 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.82 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.88 c 1.1s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.17 c 2.3s | 2 | 435 | 250 | 17915 0 | 75 | 0 4.59/4.60 c 3.8s | 3 | 795 | 475 | 19707 0 | 75 | 0 6.79/6.83 c 6.0s | 4 | 1308 | 813 | 21678 0 | 75 | 0 8.19/8.21 c 7.4s | 5 | 1903 | 1320 | 23846 0 | 75 | 0 10.29/10.38 c 9.6s | 5 | 3243 | 1720 | 26231 0 | 75 | 0 11.79/11.90 c 11.1s | 6 | 3856 | 2081 | 28855 0 | 75 | 0 13.89/13.91 c 13.1s | 6 | 4665 | 2481 | 28855 0 | 75 | 0 16.09/16.11 c 15.3s | 6 | 5308 | 2981 | 28855 0 | 75 | 0 16.79/16.87 c 16.0s | 7 | 5556 | 3223 | 31741 0 | 75 | 0 19.09/19.15 c 18.3s | 7 | 6230 | 3623 | 31741 0 | 75 | 0 21.09/21.18 c 20.4s | 7 | 6747 | 4023 | 31741 0 | 75 | 0 23.49/23.55 c 22.7s | 7 | 7446 | 4523 | 31741 0 | 75 | 0 25.49/25.55 c 24.7s | 8 | 8099 | 4936 | 34916 0 | 75 | 0 27.60/27.68 c 26.9s | 8 | 9239 | 5436 | 34916 0 | 75 | 0 29.99/30.02 c 29.2s | 8 | 9879 | 6036 | 34916 0 | 75 | 0 32.00/32.03 c 31.2s | 8 | 10391 | 6536 | 34916 0 | 75 | 0 34.09/34.20 c 33.4s | 8 | 11031 | 7136 | 34916 0 | 75 | 0 35.79/35.81 c 35.0s | 9 | 11498 | 7506 | 38408 0 | 75 | 0 37.89/37.91 c 37.1s | 9 | 12198 | 8106 | 38408 0 | 75 | 0 39.99/40.06 c 39.2s | 9 | 13059 | 8806 | 38408 0 | 75 | 0 42.09/42.10 c 41.3s | 9 | 13682 | 9406 | 38408 0 | 75 | 0 44.29/44.34 c 43.5s | 9 | 14292 | 10006 | 38408 0 | 75 | 0 46.38/46.46 c 45.6s | 9 | 14953 | 10606 | 38408 0 | 75 | 0 48.49/48.54 c 47.7s | 9 | 15558 | 11206 | 38408 0 | 75 | 0 49.08/49.11 c 48.3s | 10 | 15726 | 11361 | 42249 0 | 75 | 0 51.69/51.75 c 50.9s | 10 | 16325 | 11661 | 42249 0 | 75 | 0 53.78/53.82 c 53.0s | 10 | 16734 | 11961 | 42249 0 | 75 | 0 56.19/56.28 c 55.5s | 10 | 17305 | 12461 | 42249 0 | 75 | 0 58.39/58.44 c 57.6s | 10 | 17764 | 12861 | 42249 0 | 75 | 0 60.38/60.46 c 59.6s | 10 | 18119 | 13161 | 42249 0 | 75 | 0 62.68/62.79 c 62.0s | 10 | 19040 | 13561 | 42249 0 | 75 | 0 65.08/65.19 c 64.4s | 10 | 19513 | 13961 | 42249 0 | 75 | 0 67.38/67.41 c 66.6s | 10 | 20041 | 14361 | 42249 0 | 75 | 0 69.58/69.65 c 68.8s | 10 | 20605 | 14761 | 42249 0 | 75 | 0 71.58/71.66 c 70.8s | 10 | 21321 | 15161 | 42249 0 | 75 | 0 73.98/74.00 c 73.2s | 10 | 21978 | 15661 | 42249 0 | 75 | 0 76.17/76.24 c 75.4s | 10 | 22857 | 16061 | 42249 0 | 75 | 0 78.57/78.69 c 77.9s | 10 | 23431 | 16461 | 42249 0 | 75 | 0 80.67/80.70 c 79.9s | 10 | 23995 | 16861 | 42249 0 | 75 | 0 82.37/82.47 c 81.7s | 11 | 24571 | 17144 | 46474 0 | 75 | 0 84.37/84.49 c 83.7s | 11 | 25327 | 17444 | 46474 0 | 75 | 0 86.87/86.91 c 86.1s | 11 | 26019 | 17844 | 46474 0 | 75 | 0 89.26/89.39 c 88.6s | 11 | 26549 | 18244 | 46474 0 | 75 | 0 91.76/91.82 c 91.0s | 11 | 27400 | 18644 | 46474 0 | 75 | 0 94.16/94.28 c 93.5s | 11 | 28044 | 19044 | 46474 0 | 75 | 0 96.56/96.69 c 95.9s | 11 | 28518 | 19444 | 46474 0 | 75 | 0 99.07/99.15 c 98.3s | 11 | 29244 | 19944 | 46474 0 | 75 | 0 101.36/101.49 c 100s | 11 | 29768 | 20444 | 46474 0 | 75 | 0 103.56/103.66 c 102s | 11 | 30573 | 20844 | 46474 0 | 75 | 0 105.86/105.95 c 105s | 11 | 31198 | 21344 | 46474 0 | 75 | 0 107.87/107.95 c 107s | 11 | 31793 | 21744 | 46474 0 | 75 | 0 110.36/110.45 c 109s | 11 | 32607 | 22244 | 46474 0 | 75 | 0 112.66/112.74 c 111s | 11 | 33097 | 22644 | 46474 0 | 75 | 0 114.86/114.91 c 114s | 11 | 33570 | 23044 | 46474 0 | 75 | 0 117.26/117.34 c 116s | 11 | 34348 | 23544 | 46474 0 | 75 | 0 119.46/119.53 c 118s | 11 | 35043 | 23944 | 46474 0 | 75 | 0 121.66/121.72 c 120s | 11 | 35511 | 24344 | 46474 0 | 75 | 0 123.66/123.74 c 122s | 11 | 36036 | 24744 | 46474 0 | 75 | 0 126.25/126.35 c 125s | 11 | 36623 | 25244 | 46474 0 | 75 | 0 128.35/128.48 c 127s | 11 | 37101 | 25644 | 46474 0 | 75 | 0 129.35/129.45 c 128s | 12 | 37300 | 25819 | 51122 0 | 75 | 0 131.35/131.46 c 130s | 12 | 37786 | 26219 | 51122 0 | 75 | 0 133.45/133.52 c 132s | 12 | 38552 | 26919 | 51122 0 | 75 | 0 135.65/135.79 c 134s | 12 | 39254 | 27519 | 51122 0 | 75 | 0 137.75/137.88 c 137s | 12 | 39795 | 28019 | 51122 0 | 75 | 0 139.95/140.07 c 139s | 12 | 40315 | 28519 | 51122 0 | 75 | 0 142.15/142.21 c 141s | 12 | 40944 | 29119 | 51122 0 | 75 | 0 144.35/144.48 c 143s | 12 | 41467 | 29619 | 51122 0 | 75 | 0 146.45/146.56 c 145s | 12 | 41868 | 30019 | 51122 0 | 75 | 0 148.75/148.90 c 148s | 12 | 42385 | 30519 | 51122 0 | 75 | 0 151.05/151.15 c 150s | 12 | 42927 | 31019 | 51122 0 | 75 | 0 153.15/153.24 c 152s | 12 | 43367 | 31419 | 51122 0 | 75 | 0 155.15/155.25 c 154s | 12 | 43886 | 31919 | 51122 0 | 75 | 0 157.64/157.75 c 156s | 12 | 44419 | 32419 | 51122 0 | 75 | 0 160.14/160.20 c 159s | 12 | 44918 | 32919 | 51122 0 | 75 | 0 162.44/162.50 c 161s | 12 | 45443 | 33419 | 51122 0 | 75 | 0 164.64/164.76 c 163s | 12 | 45967 | 33919 | 51122 0 | 75 | 0 166.84/166.94 c 166s | 12 | 46487 | 34419 | 51122 0 | 75 | 0 169.24/169.32 c 168s | 12 | 47012 | 34919 | 51122 0 | 75 | 0 171.44/171.54 c 170s | 12 | 47525 | 35419 | 51122 0 | 75 | 0 173.75/173.86 c 173s | 12 | 48040 | 35919 | 51122 0 | 75 | 0 175.94/176.01 c 175s | 12 | 48460 | 36319 | 51122 0 | 75 | 0 177.94/178.06 c 177s | 12 | 48882 | 36719 | 51122 0 | 75 | 0 180.14/180.20 c 179s | 12 | 49296 | 37119 | 51122 0 | 75 | 0 182.43/182.55 c 181s | 12 | 49856 | 37619 | 51122 0 | 75 | 0 184.63/184.75 c 183s | 12 | 50378 | 38119 | 51122 0 | 75 | 0 187.04/187.15 c 186s | 12 | 50894 | 38619 | 56235 0 | 75 | 0 188.04/188.19 c 187s | 13 | 51105 | 38832 | 56235 0 | 75 | 0 190.43/190.54 c 189s | 13 | 51921 | 39232 | 56235 0 | 75 | 0 192.73/192.85 c 192s | 13 | 52579 | 39832 | 56235 0 | 75 | 0 194.93/195.09 c 194s | 13 | 53095 | 40332 | 56235 0 | 75 | 0 197.13/197.23 c 196s | 13 | 53623 | 40832 | 56235 0 | 75 | 0 199.13/199.29 c 198s | 13 | 54150 | 41332 | 56235 0 | 75 | 0 201.43/201.52 c 200s | 13 | 54680 | 41832 | 56235 0 | 75 | 0 203.73/203.84 c 203s | 13 | 55189 | 42332 | 56235 0 | 75 | 0 205.92/206.05 c 205s | 13 | 55695 | 42832 | 56235 0 | 75 | 0 208.22/208.39 c 207s | 13 | 56455 | 43332 | 56235 0 | 75 | 0 210.72/210.87 c 210s | 13 | 57182 | 43732 | 56235 0 | 75 | 0 212.92/213.04 c 212s | 13 | 57834 | 44132 | 56235 0 | 75 | 0 215.53/215.66 c 214s | 13 | 58424 | 44632 | 56235 0 | 75 | 0 217.52/217.69 c 216s | 13 | 58731 | 44932 | 56235 0 | 75 | 0 220.03/220.18 c 219s | 13 | 59151 | 45332 | 56235 0 | 75 | 0 222.72/222.82 c 221s | 13 | 59598 | 45732 | 56235 0 | 75 | 0 225.32/225.44 c 224s | 13 | 60050 | 46132 | 56235 0 | 75 | 0 227.41/227.57 c 226s | 13 | 60402 | 46432 | 56235 0 | 75 | 0 229.92/230.09 c 229s | 13 | 61066 | 46832 | 56235 0 | 75 | 0 232.21/232.36 c 231s | 13 | 61485 | 47232 | 56235 0 | 75 | 0 234.41/234.52 c 233s | 13 | 61828 | 47532 | 56235 0 | 75 | 0 236.61/236.78 c 235s | 13 | 62279 | 47932 | 56235 0 | 75 | 0 239.01/239.14 c 238s | 13 | 62702 | 48332 | 56235 0 | 75 | 0 241.31/241.49 c 240s | 13 | 63118 | 48732 | 56235 0 | 75 | 0 243.61/243.73 c 242s | 13 | 63547 | 49132 | 56235 0 | 75 | 0 246.20/246.30 c 245s | 13 | 64171 | 49532 | 56235 0 | 75 | 0 248.80/248.95 c 248s | 13 | 64669 | 49932 | 56235 0 | 75 | 0 251.30/251.48 c 250s | 13 | 65085 | 50332 | 56235 0 | 75 | 0 253.70/253.89 c 253s | 13 | 65497 | 50732 | 56235 0 | 75 | 0 256.10/256.28 c 255s | 13 | 65922 | 51132 | 56235 0 | 75 | 0 258.40/258.52 c 257s | 13 | 66331 | 51532 | 56235 0 | 75 | 0 260.60/260.79 c 259s | 13 | 66742 | 51932 | 56235 0 | 75 | 0 262.80/262.93 c 262s | 13 | 67139 | 52232 | 56235 0 | 75 | 0 265.00/265.13 c 264s | 13 | 67535 | 52532 | 56235 0 | 75 | 0 267.10/267.25 c 266s | 13 | 67941 | 52932 | 56235 0 | 75 | 0 269.30/269.45 c 268s | 13 | 68385 | 53332 | 56235 0 | 75 | 0 271.40/271.55 c 270s | 13 | 68775 | 53632 | 56235 0 | 75 | 0 273.99/274.11 c 273s | 13 | 69231 | 54032 | 56235 0 | 75 | 0 276.49/276.63 c 275s | 13 | 69653 | 54432 | 56235 0 | 75 | 0 278.79/278.95 c 278s | 13 | 70056 | 54832 | 56235 0 | 75 | 0 281.50/281.64 c 280s | 13 | 70471 | 55232 | 56235 0 | 75 | 0 283.80/283.94 c 283s | 13 | 70790 | 55532 | 56235 0 | 75 | 0 286.39/286.53 c 285s | 13 | 71216 | 55932 | 56235 0 | 75 | 0 288.89/289.10 c 288s | 13 | 71639 | 56332 | 56235 0 | 75 | 0 290.99/291.13 c 290s | 13 | 71948 | 56632 | 56235 0 | 75 | 0 293.20/293.30 c 292s | 13 | 72360 | 56932 | 56235 0 | 75 | 0 295.20/295.33 c 294s | 13 | 72673 | 57232 | 56235 0 | 75 | 0 297.59/297.72 c 296s | 13 | 73093 | 57632 | 56235 0 | 75 | 0 300.30/300.48 c 299s | 13 | 73826 | 58032 | 61859 0 | 75 | 0 302.59/302.71 c 301s | 13 | 74184 | 58332 | 61859 0 | 75 | 0 302.69/302.86 c 302s | 14 | 74205 | 58352 | 61859 0 | 75 | 0 304.79/304.93 c 304s | 14 | 74698 | 58552 | 61859 0 | 75 | 0 307.19/307.37 c 306s | 14 | 75102 | 58952 | 61859 0 | 75 | 0 309.38/309.55 c 308s | 14 | 75516 | 59352 | 61859 0 | 75 | 0 311.48/311.63 c 310s | 14 | 75896 | 59652 | 61859 0 | 75 | 0 314.08/314.22 c 313s | 14 | 76301 | 60052 | 61859 0 | 75 | 0 316.38/316.59 c 315s | 14 | 76714 | 60452 | 61859 0 | 75 | 0 318.48/318.65 c 317s | 14 | 77030 | 60752 | 61859 0 | 75 | 0 320.88/321.03 c 320s | 14 | 77444 | 61152 | 61859 0 | 75 | 0 323.28/323.45 c 322s | 14 | 78554 | 61452 | 61859 0 | 75 | 0 325.67/325.82 c 325s | 14 | 78973 | 61852 | 61859 0 | 75 | 0 327.68/327.83 c 327s | 14 | 79281 | 62152 | 61859 0 | 75 | 0 329.88/330.00 c 329s | 14 | 79580 | 62452 | 61859 0 | 75 | 0 332.37/332.51 c 331s | 14 | 79994 | 62852 | 61859 0 | 75 | 0 334.57/334.72 c 333s | 14 | 80413 | 63252 | 61859 0 | 75 | 0 337.07/337.25 c 336s | 14 | 80831 | 63652 | 61859 0 | 75 | 0 339.27/339.50 c 338s | 14 | 81350 | 64052 | 61859 0 | 75 | 0 341.77/341.91 c 341s | 14 | 82060 | 64552 | 61859 0 | 75 | 0 343.77/343.99 c 343s | 14 | 82405 | 64852 | 61859 0 | 75 | 0 346.27/346.45 c 345s | 14 | 82932 | 65252 | 61859 0 | 75 | 0 348.27/348.46 c 347s | 14 | 83310 | 65552 | 61859 0 | 75 | 0 350.57/350.79 c 349s | 14 | 83770 | 65852 | 61859 0 | 75 | 0 353.07/353.24 c 352s | 14 | 84659 | 66152 | 61859 0 | 75 | 0 355.47/355.66 c 354s | 14 | 85306 | 66452 | 61859 0 | 75 | 0 357.66/357.84 c 357s | 14 | 85827 | 66752 | 61859 0 | 75 | 0 359.86/360.00 c 359s | 14 | 86250 | 67052 | 61859 0 | 75 | 0 362.26/362.49 c 361s | 14 | 86661 | 67452 | 61859 0 | 75 | 0 364.36/364.59 c 363s | 14 | 87032 | 67752 | 61859 0 | 75 | 0 366.66/366.82 c 366s | 14 | 87358 | 68052 | 61859 0 | 75 | 0 368.86/369.02 c 368s | 14 | 87697 | 68352 | 61859 0 | 75 | 0 371.36/371.53 c 370s | 14 | 88014 | 68652 | 61859 0 | 75 | 0 374.36/374.58 c 373s | 14 | 89015 | 68852 | 61859 1 | 75 | 0 376.76/376.91 c 376s | 14 | 89543 | 69352 | 61859 1 | 75 | 0 378.86/379.03 c 378s | 14 | 89950 | 69752 | 61859 1 | 75 | 0 381.06/381.24 c 380s | 14 | 90523 | 70152 | 61859 1 | 75 | 0 383.76/383.99 c 383s | 14 | 91918 | 70552 | 61859 1 | 75 | 0 386.65/386.81 c 385s | 14 | 92662 | 71052 | 61859 1 | 75 | 0 389.05/389.22 c 388s | 14 | 93629 | 71452 | 61859 1 | 75 | 0 391.46/391.62 c 390s | 14 | 94150 | 71952 | 61859 1 | 75 | 0 393.55/393.78 c 392s | 14 | 94614 | 72352 | 61859 1 | 75 | 0 396.05/396.21 c 395s | 14 | 95064 | 72752 | 61859 1 | 75 | 0 398.35/398.54 c 397s | 14 | 95513 | 73152 | 61859 1 | 75 | 0 400.75/400.92 c 400s | 14 | 96032 | 73552 | 61859 1 | 75 | 0 403.15/403.33 c 402s | 14 | 96519 | 73952 | 61859 1 | 75 | 0 405.55/405.73 c 404s | 14 | 96945 | 74352 | 61859 1 | 75 | 0 407.84/408.02 c 407s | 14 | 97357 | 74752 | 61859 1 | 75 | 0 410.25/410.43 c 409s | 14 | 98005 | 75152 | 61859 1 | 75 | 0 412.45/412.69 c 411s | 14 | 98616 | 75452 | 61859 1 | 75 | 0 414.55/414.75 c 413s | 14 | 99122 | 75752 | 61859 1 | 75 | 0 417.24/417.43 c 416s | 14 | 99714 | 76152 | 61859 1 | 75 | 0 419.44/419.67 c 418s | 14 | 100475 | 76452 | 61859 1 | 75 | 0 421.84/422.08 c 421s | 14 | 100882 | 76852 | 61859 1 | 75 | 0 424.44/424.70 c 423s | 14 | 101383 | 77252 | 61859 1 | 75 | 0 426.53/426.77 c 425s | 14 | 101743 | 77552 | 61859 1 | 75 | 0 428.63/428.88 c 428s | 14 | 102049 | 77852 | 61859 1 | 75 | 0 431.23/431.44 c 430s | 14 | 102487 | 78252 | 61859 1 | 75 | 0 433.34/433.58 c 432s | 14 | 102855 | 78552 | 61859 1 | 75 | 0 435.83/436.04 c 435s | 14 | 103336 | 78952 | 61859 1 | 75 | 0 438.43/438.63 c 437s | 14 | 103747 | 79352 | 61859 1 | 75 | 0 440.73/440.92 c 440s | 14 | 104166 | 79752 | 61859 1 | 75 | 0 442.83/443.05 c 442s | 14 | 104578 | 80152 | 61859 1 | 75 | 0 445.44/445.65 c 444s | 14 | 105097 | 80652 | 61859 1 | 75 | 0 447.53/447.70 c 446s | 14 | 105411 | 80952 | 61859 1 | 75 | 0 449.93/450.12 c 449s | 14 | 105855 | 81352 | 61859 1 | 75 | 0 452.33/452.55 c 451s | 14 | 106274 | 81752 | 61859 1 | 75 | 0 454.43/454.67 c 453s | 14 | 106687 | 82152 | 61859 1 | 75 | 0 456.62/456.83 c 456s | 14 | 107207 | 82652 | 61859 1 | 75 | 0 459.42/459.65 c 458s | 14 | 107619 | 83052 | 61859 1 | 75 | 0 461.62/461.82 c 460s | 14 | 107983 | 83352 | 61859 1 | 75 | 0 463.82/464.05 c 463s | 14 | 108313 | 83652 | 61859 1 | 75 | 0 466.23/466.49 c 465s | 14 | 108720 | 84052 | 61859 1 | 75 | 0 468.43/468.67 c 467s | 14 | 109187 | 84452 | 61859 1 | 75 | 0 471.12/471.33 c 470s | 14 | 109554 | 84752 | 61859 1 | 75 | 0 473.52/473.75 c 472s | 14 | 109886 | 85052 | 61859 1 | 75 | 0 475.92/476.19 c 475s | 14 | 110195 | 85352 | 61859 1 | 75 | 0 478.32/478.59 c 477s | 14 | 110579 | 85652 | 61859 1 | 75 | 0 480.72/480.93 c 480s | 14 | 110987 | 86052 | 61859 1 | 75 | 0 483.32/483.55 c 482s | 14 | 111407 | 86452 | 61859 1 | 75 | 0 486.12/486.38 c 485s | 14 | 111921 | 86852 | 61859 1 | 75 | 0 488.81/489.02 c 488s | 14 | 112492 | 87252 | 68045 1 | 75 | 0 491.21/491.43 c 490s | 15 | 112899 | 87632 | 68045 1 | 75 | 0 493.91/494.20 c 493s | 15 | 113351 | 87832 | 68045 1 | 75 | 0 496.31/496.57 c 495s | 15 | 114019 | 88232 | 68045 1 | 75 | 0 498.61/498.83 c 498s | 15 | 114357 | 88532 | 68045 1 | 75 | 0 500.61/500.83 c 500s | 15 | 114697 | 88832 | 68045 1 | 75 | 0 503.41/503.69 c 502s | 15 | 115235 | 89232 | 68045 1 | 75 | 0 505.70/505.92 c 505s | 15 | 115577 | 89532 | 68045 1 | 75 | 0 507.90/508.12 c 507s | 15 | 115924 | 89832 | 68045 1 | 75 | 0 510.10/510.37 c 509s | 15 | 116678 | 90132 | 68045 1 | 75 | 0 512.70/512.90 c 512s | 15 | 117171 | 90432 | 68045 1 | 75 | 0 514.71/514.91 c 514s | 15 | 117519 | 90732 | 68045 1 | 75 | 0 516.80/517.02 c 516s | 15 | 118029 | 91032 | 68045 1 | 75 | 0 519.20/519.40 c 518s | 15 | 118405 | 91332 | 68045 1 | 75 | 0 521.40/521.62 c 520s | 15 | 118846 | 91732 | 68045 1 | 75 | 0 523.50/523.73 c 522s | 15 | 119348 | 92132 | 68045 1 | 75 | 0 525.70/525.97 c 525s | 15 | 119697 | 92432 | 68045 1 | 75 | 0 528.39/528.66 c 527s | 15 | 120413 | 92832 | 68045 1 | 75 | 0 530.49/530.73 c 529s | 15 | 120781 | 93132 | 68045 1 | 75 | 0 532.79/533.00 c 532s | 15 | 121201 | 93532 | 68045 1 | 75 | 0 535.09/535.31 c 534s | 15 | 121619 | 93932 | 68045 1 | 75 | 0 537.19/537.45 c 536s | 15 | 122033 | 94332 | 68045 1 | 75 | 0 539.29/539.51 c 538s | 15 | 122458 | 94732 | 68045 1 | 75 | 0 541.49/541.75 c 540s | 15 | 122884 | 95132 | 68045 1 | 75 | 0 543.79/544.09 c 543s | 15 | 123308 | 95532 | 68045 1 | 75 | 0 546.28/546.55 c 545s | 15 | 123727 | 95932 | 68045 1 | 75 | 0 548.48/548.72 c 547s | 15 | 124142 | 96332 | 68045 1 | 75 | 0 550.89/551.19 c 550s | 15 | 124749 | 96732 | 68045 1 | 75 | 0 553.58/553.88 c 553s | 15 | 125073 | 97032 | 68045 1 | 75 | 0 555.98/556.21 c 555s | 15 | 125482 | 97332 | 68045 1 | 75 | 0 558.28/558.51 c 557s | 15 | 125909 | 97732 | 68045 1 | 75 | 0 560.27/560.53 c 559s | 15 | 126338 | 98132 | 68045 1 | 75 | 0 562.37/562.62 c 561s | 15 | 126753 | 98532 | 68045 1 | 75 | 0 564.87/565.14 c 564s | 15 | 127212 | 98932 | 68045 1 | 75 | 0 567.07/567.31 c 566s | 15 | 127644 | 99232 | 68045 1 | 75 | 0 569.17/569.42 c 568s | 15 | 127993 | 99532 | 68045 1 | 75 | 0 571.88/572.14 c 571s | 15 | 128591 | 99932 | 68045 1 | 75 | 0 574.27/574.53 c 573s | 15 | 129028 | 100332 | 68045 1 | 75 | 0 576.36/576.67 c 575s | 15 | 129469 | 100632 | 68045 1 | 75 | 0 578.56/578.80 c 577s | 15 | 129942 | 100932 | 68045 1 | 75 | 0 581.06/581.31 c 580s | 15 | 130601 | 101332 | 68045 1 | 75 | 0 583.36/583.61 c 582s | 15 | 131028 | 101732 | 68045 1 | 75 | 0 585.66/585.97 c 585s | 15 | 131447 | 102132 | 68045 1 | 75 | 0 587.96/588.25 c 587s | 15 | 131878 | 102532 | 68045 1 | 75 | 0 589.96/590.28 c 589s | 15 | 132370 | 102832 | 68045 1 | 75 | 0 592.16/592.43 c 591s | 15 | 132791 | 103232 | 68045 1 | 75 | 0 594.46/594.79 c 593s | 15 | 133366 | 103632 | 68045 1 | 75 | 0 596.95/597.22 c 596s | 15 | 133866 | 104032 | 68045 1 | 75 | 0 599.05/599.38 c 598s | 15 | 134186 | 104332 | 68045 1 | 75 | 0 601.35/601.67 c 600s | 15 | 134600 | 104732 | 68045 1 | 75 | 0 603.76/604.01 c 603s | 15 | 135006 | 105132 | 68045 1 | 75 | 0 606.24/606.52 c 605s | 15 | 135422 | 105532 | 68045 1 | 75 | 0 608.34/608.61 c 607s | 15 | 135765 | 105832 | 68045 1 | 75 | 0 610.44/610.70 c 609s | 15 | 136210 | 106232 | 68045 1 | 75 | 0 612.45/612.80 c 611s | 15 | 136658 | 106632 | 68045 1 | 75 | 0 615.04/615.33 c 614s | 15 | 137127 | 107032 | 68045 1 | 75 | 0 617.44/617.74 c 616s | 15 | 137533 | 107432 | 68045 1 | 75 | 0 620.14/620.43 c 619s | 15 | 137968 | 107832 | 68045 1 | 75 | 0 622.24/622.50 c 621s | 15 | 138299 | 108132 | 68045 1 | 75 | 0 624.44/624.70 c 623s | 15 | 138636 | 108432 | 68045 1 | 75 | 0 627.03/627.37 c 626s | 15 | 139070 | 108832 | 68045 1 | 75 | 0 629.43/629.76 c 628s | 15 | 139493 | 109232 | 68045 1 | 75 | 0 631.73/632.07 c 631s | 15 | 139903 | 109632 | 68045 1 | 75 | 0 634.03/634.38 c 633s | 15 | 140312 | 110032 | 68045 1 | 75 | 0 636.33/636.64 c 635s | 15 | 140643 | 110332 | 68045 1 | 75 | 0 638.73/639.04 c 638s | 15 | 141059 | 110732 | 68045 1 | 75 | 0 641.04/641.39 c 640s | 15 | 141483 | 111132 | 68045 1 | 75 | 0 643.24/643.54 c 642s | 15 | 141805 | 111432 | 68045 1 | 75 | 0 645.73/646.02 c 645s | 15 | 142242 | 111832 | 68045 1 | 75 | 0 647.73/648.08 c 647s | 15 | 142548 | 112132 | 68045 1 | 75 | 0 650.03/650.30 c 649s | 15 | 142974 | 112532 | 68045 1 | 75 | 0 652.53/652.82 c 651s | 15 | 143441 | 112932 | 68045 1 | 75 | 0 655.62/655.96 c 655s | 15 | 143956 | 113132 | 68045 2 | 75 | 0 657.63/657.99 c 657s | 15 | 144285 | 113432 | 68045 2 | 75 | 0 660.42/660.74 c 659s | 15 | 144755 | 113832 | 68045 2 | 75 | 0 663.02/663.35 c 662s | 15 | 145198 | 114232 | 68045 2 | 75 | 0 665.32/665.68 c 664s | 15 | 145682 | 114632 | 68045 2 | 75 | 0 667.42/667.77 c 666s | 15 | 145997 | 114932 | 68045 2 | 75 | 0 669.81/670.16 c 669s | 15 | 146416 | 115332 | 68045 2 | 75 | 0 672.01/672.33 c 671s | 15 | 146835 | 115732 | 68045 2 | 75 | 0 674.51/674.84 c 674s | 15 | 147253 | 116132 | 68045 2 | 75 | 0 676.91/677.28 c 676s | 15 | 147684 | 116532 | 68045 2 | 75 | 0 679.11/679.50 c 678s | 15 | 148107 | 116932 | 68045 2 | 75 | 0 681.82/682.11 c 681s | 15 | 148527 | 117332 | 68045 2 | 75 | 0 683.82/684.14 c 683s | 15 | 148777 | 117532 | 68045 2 | 75 | 0 686.52/686.80 c 685s | 15 | 149283 | 117932 | 68045 2 | 75 | 0 689.02/689.35 c 688s | 15 | 149744 | 118332 | 68045 2 | 75 | 0 691.11/691.40 c 690s | 15 | 150052 | 118632 | 68045 2 | 75 | 0 693.21/693.57 c 692s | 15 | 150464 | 119032 | 68045 2 | 75 | 0 695.41/695.73 c 694s | 15 | 150769 | 119332 | 68045 2 | 75 | 0 697.91/698.28 c 697s | 15 | 151284 | 119732 | 68045 2 | 75 | 0 700.01/700.40 c 699s | 15 | 151721 | 120032 | 68045 2 | 75 | 0 702.72/703.02 c 702s | 15 | 152287 | 120432 | 68045 2 | 75 | 0 704.92/705.26 c 704s | 15 | 152579 | 120732 | 68045 2 | 75 | 0 707.41/707.77 c 706s | 15 | 153007 | 121132 | 68045 2 | 75 | 0 709.81/710.14 c 709s | 15 | 153422 | 121532 | 68045 2 | 75 | 0 712.31/712.64 c 711s | 15 | 153995 | 121832 | 68045 2 | 75 | 0 714.61/714.94 c 714s | 15 | 154345 | 122132 | 68045 2 | 75 | 0 716.92/717.26 c 716s | 15 | 154669 | 122432 | 68045 2 | 75 | 0 719.01/719.34 c 718s | 15 | 154998 | 122732 | 68045 2 | 75 | 0 721.32/721.63 c 720s | 15 | 155411 | 123132 | 68045 2 | 75 | 0 723.41/723.77 c 722s | 15 | 155703 | 123332 | 68045 2 | 75 | 0 726.01/726.35 c 725s | 15 | 156079 | 123632 | 68045 2 | 75 | 0 728.41/728.77 c 727s | 15 | 156401 | 123932 | 68045 2 | 75 | 0 731.01/731.31 c 730s | 15 | 156800 | 124232 | 68045 2 | 75 | 0 733.01/733.33 c 732s | 15 | 157211 | 124632 | 68045 2 | 75 | 0 735.51/735.82 c 735s | 15 | 157640 | 125032 | 68045 2 | 75 | 0 738.11/738.43 c 737s | 15 | 158099 | 125432 | 68045 2 | 75 | 0 740.31/740.64 c 739s | 15 | 158528 | 125832 | 68045 2 | 75 | 0 742.41/742.77 c 741s | 15 | 158845 | 126132 | 68045 2 | 75 | 0 744.71/745.09 c 744s | 15 | 159378 | 126632 | 68045 2 | 75 | 0 747.31/747.62 c 746s | 15 | 159916 | 127132 | 68045 2 | 75 | 0 749.41/749.75 c 748s | 15 | 160233 | 127432 | 68045 2 | 75 | 0 751.80/752.11 c 751s | 15 | 160657 | 127832 | 68045 2 | 75 | 0 754.20/754.59 c 753s | 15 | 161013 | 128132 | 68045 2 | 75 | 0 756.30/756.68 c 755s | 15 | 161404 | 128532 | 68045 2 | 75 | 0 758.71/759.09 c 758s | 15 | 161894 | 128932 | 68045 2 | 75 | 0 760.80/761.13 c 760s | 15 | 162212 | 129232 | 68045 2 | 75 | 0 762.90/763.29 c 762s | 15 | 162684 | 129632 | 68045 2 | 75 | 0 765.50/765.83 c 765s | 15 | 163029 | 129932 | 68045 2 | 75 | 0 767.90/768.28 c 767s | 15 | 163363 | 130232 | 68045 2 | 75 | 0 769.90/770.29 c 769s | 15 | 163704 | 130532 | 68045 2 | 75 | 0 772.40/772.73 c 771s | 15 | 164103 | 130932 | 74850 2 | 75 | 0 774.50/774.87 c 774s | 15 | 164517 | 131332 | 74850 2 | 75 | 0 775.80/776.13 c 775s | 16 | 164751 | 131552 | 74850 2 | 75 | 0 777.80/778.15 c 777s | 16 | 165092 | 131752 | 74850 2 | 75 | 0 780.30/780.61 c 779s | 16 | 165466 | 132052 | 74850 2 | 75 | 0 782.50/782.86 c 782s | 16 | 166003 | 132352 | 74850 2 | 75 | 0 784.70/785.04 c 784s | 16 | 166468 | 132752 | 74850 2 | 75 | 0 786.80/787.12 c 786s | 16 | 166816 | 133052 | 74850 2 | 75 | 0 788.90/789.22 c 788s | 16 | 167215 | 133352 | 74850 2 | 75 | 0 791.00/791.36 c 790s | 16 | 167859 | 133652 | 74850 2 | 75 | 0 793.50/793.84 c 793s | 16 | 168360 | 133952 | 74850 2 | 75 | 0 795.90/796.26 c 795s | 16 | 168674 | 134252 | 74850 2 | 75 | 0 798.40/798.75 c 797s | 16 | 169307 | 134552 | 74850 2 | 75 | 0 800.40/800.76 c 799s | 16 | 169692 | 134852 | 74850 2 | 75 | 0 802.89/803.23 c 802s | 16 | 170095 | 135252 | 74850 2 | 75 | 0 805.19/805.52 c 804s | 16 | 170420 | 135552 | 74850 2 | 75 | 0 807.59/807.93 c 807s | 16 | 170827 | 135952 | 74850 2 | 75 | 0 810.09/810.40 c 809s | 16 | 171245 | 136352 | 74850 2 | 75 | 0 812.29/812.62 c 811s | 16 | 171682 | 136752 | 74850 2 | 75 | 0 814.69/815.07 c 814s | 16 | 172250 | 137252 | 74850 2 | 75 | 0 817.10/817.48 c 816s | 16 | 172676 | 137652 | 74850 2 | 75 | 0 819.20/819.53 c 818s | 16 | 173087 | 138052 | 74850 2 | 75 | 0 821.69/822.04 c 821s | 16 | 173486 | 138452 | 74850 2 | 75 | 0 823.89/824.22 c 823s | 16 | 173802 | 138752 | 74850 2 | 75 | 0 826.59/826.98 c 826s | 16 | 174297 | 139152 | 74850 2 | 75 | 0 829.10/829.49 c 828s | 16 | 174807 | 139452 | 74850 2 | 75 | 0 831.19/831.57 c 830s | 16 | 175169 | 139752 | 74850 2 | 75 | 0 833.69/834.09 c 833s | 16 | 175702 | 140152 | 74850 2 | 75 | 0 836.09/836.44 c 835s | 16 | 176519 | 140452 | 74850 2 | 75 | 0 838.29/838.69 c 837s | 16 | 176931 | 140852 | 74850 2 | 75 | 0 840.49/840.81 c 839s | 16 | 177390 | 141152 | 74850 2 | 75 | 0 842.69/843.01 c 842s | 16 | 177808 | 141552 | 74850 2 | 75 | 0 845.29/845.66 c 844s | 16 | 178468 | 141952 | 74850 2 | 75 | 0 847.90/848.28 c 847s | 16 | 178893 | 142352 | 74850 2 | 75 | 0 850.39/850.75 c 849s | 16 | 179307 | 142752 | 74850 2 | 75 | 0 852.89/853.22 c 852s | 16 | 179719 | 143152 | 74850 2 | 75 | 0 855.49/855.82 c 854s | 16 | 180133 | 143452 | 74850 2 | 75 | 0 858.39/858.75 c 857s | 16 | 180550 | 143752 | 74850 2 | 75 | 0 860.99/861.31 c 860s | 16 | 180968 | 144152 | 74850 2 | 75 | 0 863.49/863.82 c 862s | 16 | 181412 | 144552 | 74850 2 | 75 | 0 865.89/866.20 c 865s | 16 | 181839 | 144952 | 74850 2 | 75 | 0 868.49/868.90 c 868s | 16 | 182321 | 145352 | 74850 2 | 75 | 0 871.28/871.67 c 870s | 16 | 182749 | 145752 | 74850 2 | 75 | 0 873.88/874.24 c 873s | 16 | 183110 | 146052 | 74850 2 | 75 | 0 876.49/876.84 c 876s | 16 | 183564 | 146352 | 74850 2 | 75 | 0 879.18/879.57 c 878s | 16 | 184012 | 146752 | 74850 2 | 75 | 0 881.68/882.08 c 881s | 16 | 184470 | 147052 | 74850 2 | 75 | 0 884.38/884.78 c 883s | 16 | 184880 | 147452 | 74850 2 | 75 | 0 886.98/887.37 c 886s | 16 | 185252 | 147752 | 74850 2 | 75 | 0 889.59/889.94 c 889s | 16 | 185621 | 148052 | 74850 2 | 75 | 0 892.28/892.61 c 891s | 16 | 186038 | 148452 | 74850 2 | 75 | 0 894.98/895.35 c 894s | 16 | 186370 | 148752 | 74850 2 | 75 | 0 897.39/897.72 c 896s | 16 | 186680 | 149052 | 74850 2 | 75 | 0 899.68/900.08 c 899s | 16 | 187037 | 149352 | 74850 2 | 75 | 0 902.38/902.76 c 901s | 16 | 187453 | 149752 | 74850 2 | 75 | 0 904.38/904.79 c 903s | 16 | 187767 | 150052 | 74850 2 | 75 | 0 906.68/907.09 c 906s | 16 | 188172 | 150452 | 74850 2 | 75 | 0 908.78/909.15 c 908s | 16 | 188483 | 150752 | 74850 2 | 75 | 0 911.28/911.60 c 910s | 16 | 189087 | 151052 | 74850 2 | 75 | 0 913.78/914.17 c 913s | 16 | 189436 | 151352 | 74850 2 | 75 | 0 915.98/916.34 c 915s | 16 | 189791 | 151652 | 74850 2 | 75 | 0 918.38/918.73 c 917s | 16 | 190111 | 151952 | 74850 2 | 75 | 0 921.08/921.45 c 920s | 16 | 190523 | 152352 | 74850 2 | 75 | 0 923.68/924.01 c 923s | 16 | 191004 | 152652 | 74850 2 | 75 | 0 926.38/926.79 c 925s | 16 | 191308 | 152952 | 74850 2 | 75 | 0 928.78/929.10 c 928s | 16 | 191642 | 153252 | 74850 2 | 75 | 0 931.38/931.72 c 930s | 16 | 192073 | 153652 | 74850 2 | 75 | 0 934.28/934.69 c 933s | 16 | 192404 | 153952 | 74850 2 | 75 | 0 936.98/937.37 c 936s | 16 | 192731 | 154252 | 74850 2 | 75 | 0 939.37/939.71 c 938s | 16 | 193045 | 154552 | 74850 2 | 75 | 0 942.17/942.51 c 941s | 16 | 193360 | 154852 | 74850 2 | 75 | 0 944.27/944.62 c 943s | 16 | 193676 | 155152 | 74850 2 | 75 | 0 947.27/947.65 c 946s | 16 | 193997 | 155452 | 74850 2 | 75 | 0 949.87/950.25 c 949s | 16 | 194339 | 155752 | 74850 2 | 75 | 0 952.47/952.83 c 952s | 16 | 194661 | 156052 | 74850 2 | 75 | 0 954.97/955.38 c 954s | 16 | 194973 | 156352 | 74850 2 | 75 | 0 957.17/957.53 c 956s | 16 | 195195 | 156552 | 74850 2 | 75 | 0 959.47/959.82 c 958s | 16 | 195413 | 156752 | 74850 2 | 75 | 0 961.77/962.10 c 961s | 16 | 195637 | 156952 | 74850 2 | 75 | 0 964.17/964.53 c 963s | 16 | 195939 | 157252 | 74850 2 | 75 | 0 966.77/967.14 c 966s | 16 | 196264 | 157552 | 74850 2 | 75 | 0 968.77/969.17 c 968s | 16 | 196479 | 157752 | 74850 2 | 75 | 0 970.97/971.34 c 970s | 16 | 196725 | 157952 | 74850 2 | 75 | 0 973.57/973.99 c 973s | 16 | 197052 | 158252 | 74850 2 | 75 | 0 976.17/976.59 c 975s | 16 | 197361 | 158552 | 74850 2 | 75 | 0 978.67/979.09 c 978s | 16 | 197668 | 158852 | 74850 2 | 75 | 0 983.37/983.78 c 982s | 16 | 197979 | 159152 | 74850 3 | 75 | 0 986.27/986.68 c 985s | 16 | 198102 | 159252 | 74850 3 | 75 | 0 988.58/988.92 c 988s | 16 | 198444 | 159552 | 74850 3 | 75 | 0 990.57/990.96 c 990s | 16 | 198776 | 159852 | 74850 3 | 75 | 0 993.47/993.80 c 992s | 16 | 199097 | 160152 | 74850 3 | 75 | 0 995.97/996.34 c 995s | 16 | 199420 | 160452 | 74850 3 | 75 | 0 997.97/998.36 c 997s | 16 | 199740 | 160752 | 74850 3 | 75 | 0 1000.17/1000.50 c 999s | 16 | 200113 | 161052 | 74850 3 | 75 | 0 1002.67/1003.09 c 1002s | 16 | 200532 | 161452 | 74850 3 | 75 | 0 1005.07/1005.48 c 1004s | 16 | 200945 | 161852 | 74850 3 | 75 | 0 1007.67/1008.08 c 1007s | 16 | 201389 | 162252 | 74850 3 | 75 | 0 1009.87/1010.29 c 1009s | 16 | 201794 | 162652 | 74850 3 | 75 | 0 1012.47/1012.80 c 1011s | 16 | 202216 | 162952 | 74850 3 | 75 | 0 1014.56/1014.99 c 1014s | 16 | 202579 | 163252 | 74850 3 | 75 | 0 1017.36/1017.73 c 1016s | 16 | 202961 | 163552 | 74850 3 | 75 | 0 1019.86/1020.29 c 1019s | 16 | 203285 | 163852 | 74850 3 | 75 | 0 1022.16/1022.50 c 1021s | 16 | 203623 | 164152 | 74850 3 | 75 | 0 1024.46/1024.88 c 1024s | 16 | 203963 | 164452 | 74850 3 | 75 | 0 1027.26/1027.66 c 1026s | 16 | 204304 | 164752 | 74850 3 | 75 | 0 1029.56/1029.98 c 1029s | 16 | 204613 | 165052 | 74850 3 | 75 | 0 1032.06/1032.49 c 1031s | 16 | 204932 | 165352 | 74850 3 | 75 | 0 1034.26/1034.61 c 1033s | 16 | 205288 | 165652 | 74850 3 | 75 | 0 1036.36/1036.75 c 1035s | 16 | 205654 | 165952 | 74850 3 | 75 | 0 1038.76/1039.16 c 1038s | 16 | 206154 | 166352 | 74850 3 | 75 | 0 1041.06/1041.47 c 1040s | 16 | 206502 | 166652 | 74850 3 | 75 | 0 1043.36/1043.76 c 1042s | 16 | 206813 | 166952 | 74850 3 | 75 | 0 1045.46/1045.87 c 1045s | 16 | 207123 | 167252 | 74850 3 | 75 | 0 1047.56/1047.95 c 1047s | 16 | 207475 | 167552 | 74850 3 | 75 | 0 1049.86/1050.23 c 1049s | 16 | 207806 | 167852 | 74850 3 | 75 | 0 1051.96/1052.33 c 1051s | 16 | 208130 | 168152 | 74850 3 | 75 | 0 1054.46/1054.89 c 1054s | 16 | 208543 | 168552 | 74850 3 | 75 | 0 1056.76/1057.19 c 1056s | 16 | 209139 | 168952 | 74850 3 | 75 | 0 1058.96/1059.30 c 1058s | 16 | 209446 | 169252 | 74850 3 | 75 | 0 1060.96/1061.38 c 1060s | 16 | 209819 | 169552 | 74850 3 | 75 | 0 1063.16/1063.57 c 1062s | 16 | 210163 | 169852 | 74850 3 | 75 | 0 1065.76/1066.14 c 1065s | 16 | 210516 | 170152 | 74850 3 | 75 | 0 1068.06/1068.42 c 1067s | 16 | 210849 | 170452 | 74850 3 | 75 | 0 1070.16/1070.50 c 1069s | 16 | 211164 | 170752 | 74850 3 | 75 | 0 1072.36/1072.76 c 1071s | 16 | 211551 | 171052 | 74850 3 | 75 | 0 1074.66/1075.08 c 1074s | 16 | 211868 | 171352 | 74850 3 | 75 | 0 1077.06/1077.40 c 1076s | 16 | 212278 | 171752 | 74850 3 | 75 | 0 1079.25/1079.67 c 1078s | 16 | 212696 | 172152 | 74850 3 | 75 | 0 1081.65/1082.09 c 1081s | 16 | 213106 | 172552 | 74850 3 | 75 | 0 1083.85/1084.24 c 1083s | 16 | 213536 | 172852 | 74850 3 | 75 | 0 1086.46/1086.85 c 1086s | 16 | 213836 | 173152 | 74850 3 | 75 | 0 1088.85/1089.24 c 1088s | 16 | 214146 | 173452 | 74850 3 | 75 | 0 1091.05/1091.42 c 1090s | 16 | 214460 | 173752 | 74850 3 | 75 | 0 1093.65/1094.01 c 1093s | 16 | 214942 | 174052 | 74850 3 | 75 | 0 1096.25/1096.64 c 1095s | 16 | 215327 | 174352 | 74850 3 | 75 | 0 1098.35/1098.74 c 1097s | 16 | 215693 | 174652 | 74850 3 | 75 | 0 1100.76/1101.15 c 1100s | 16 | 216149 | 175052 | 74850 3 | 75 | 0 1102.85/1103.23 c 1102s | 16 | 216460 | 175352 | 74850 3 | 75 | 0 1105.35/1105.80 c 1104s | 16 | 216934 | 175752 | 74850 3 | 75 | 0 1107.75/1108.11 c 1107s | 16 | 217255 | 176052 | 74850 3 | 75 | 0 1110.15/1110.59 c 1109s | 16 | 217666 | 176452 | 74850 3 | 75 | 0 1113.15/1113.56 c 1112s | 16 | 218118 | 176852 | 74850 3 | 75 | 0 1115.25/1115.63 c 1114s | 16 | 218459 | 177152 | 74850 3 | 75 | 0 1117.75/1118.15 c 1117s | 16 | 218776 | 177452 | 74850 3 | 75 | 0 1119.95/1120.34 c 1119s | 16 | 219110 | 177752 | 74850 3 | 75 | 0 1121.95/1122.34 c 1121s | 16 | 219426 | 178052 | 74850 3 | 75 | 0 1124.15/1124.56 c 1123s | 16 | 219779 | 178352 | 74850 3 | 75 | 0 1126.25/1126.65 c 1125s | 16 | 220101 | 178652 | 74850 3 | 75 | 0 1128.85/1129.26 c 1128s | 16 | 220581 | 179052 | 74850 3 | 75 | 0 1131.65/1132.02 c 1131s | 16 | 221044 | 179352 | 74850 3 | 75 | 0 1134.04/1134.48 c 1133s | 16 | 221501 | 179752 | 74850 3 | 75 | 0 1136.14/1136.52 c 1135s | 16 | 221911 | 180152 | 74850 3 | 75 | 0 1138.34/1138.75 c 1137s | 16 | 222336 | 180552 | 74850 3 | 75 | 0 1140.54/1140.95 c 1140s | 16 | 222696 | 180852 | 74850 3 | 75 | 0 1142.94/1143.38 c 1142s | 16 | 223044 | 181152 | 74850 3 | 75 | 0 1145.44/1145.85 c 1145s | 16 | 223674 | 181552 | 74850 3 | 75 | 0 1147.54/1147.92 c 1147s | 16 | 224280 | 181852 | 74850 3 | 75 | 0 1150.04/1150.45 c 1149s | 16 | 224693 | 182252 | 74850 3 | 75 | 0 1152.14/1152.51 c 1151s | 16 | 225107 | 182652 | 74850 3 | 75 | 0 1154.34/1154.72 c 1153s | 16 | 225477 | 182952 | 74850 3 | 75 | 0 1156.54/1156.93 c 1156s | 16 | 225881 | 183252 | 74850 3 | 75 | 0 1158.54/1158.99 c 1158s | 16 | 226192 | 183552 | 74850 3 | 75 | 0 1160.74/1161.11 c 1160s | 16 | 226500 | 183852 | 74850 3 | 75 | 0 1162.84/1163.24 c 1162s | 16 | 226811 | 184152 | 74850 3 | 75 | 0 1165.04/1165.45 c 1164s | 16 | 227352 | 184452 | 74850 3 | 75 | 0 1167.44/1167.84 c 1167s | 16 | 227948 | 184852 | 74850 3 | 75 | 0 1170.24/1170.67 c 1169s | 16 | 228421 | 185252 | 74850 3 | 75 | 0 1172.54/1172.97 c 1172s | 16 | 228772 | 185552 | 74850 3 | 75 | 0 1175.24/1175.61 c 1174s | 16 | 229219 | 185952 | 74850 3 | 75 | 0 1177.24/1177.68 c 1176s | 16 | 229527 | 186252 | 74850 3 | 75 | 0 1179.84/1180.21 c 1179s | 16 | 229937 | 186652 | 74850 3 | 75 | 0 1181.94/1182.31 c 1181s | 16 | 230259 | 186952 | 74850 3 | 75 | 0 1184.04/1184.47 c 1183s | 16 | 230565 | 187252 | 74850 3 | 75 | 0 1186.13/1186.56 c 1185s | 16 | 230870 | 187552 | 74850 3 | 75 | 0 1188.43/1188.87 c 1188s | 16 | 231177 | 187852 | 74850 3 | 75 | 0 1190.73/1191.13 c 1190s | 16 | 231719 | 188252 | 74850 3 | 75 | 0 1193.24/1193.68 c 1192s | 16 | 232186 | 188652 | 74850 3 | 75 | 0 1195.44/1195.87 c 1195s | 16 | 232500 | 188952 | 74850 3 | 75 | 0 1197.54/1197.93 c 1197s | 16 | 232812 | 189252 | 74850 3 | 75 | 0 1199.74/1200.14 c 1199s | 16 | 233126 | 189552 | 74850 3 | 75 | 0 1202.04/1202.46 c 1201s | 16 | 233437 | 189852 | 74850 3 | 75 | 0 1204.33/1204.76 c 1203s | 16 | 233746 | 190152 | 74850 3 | 75 | 0 1206.34/1206.77 c 1205s | 16 | 234063 | 190452 | 74850 3 | 75 | 0 1208.83/1209.21 c 1208s | 16 | 234468 | 190852 | 74850 3 | 75 | 0 1211.13/1211.50 c 1210s | 16 | 234879 | 191252 | 74850 3 | 75 | 0 1213.43/1213.86 c 1213s | 16 | 235293 | 191652 | 74850 3 | 75 | 0 1216.03/1216.45 c 1215s | 16 | 235710 | 192052 | 74850 3 | 75 | 0 1218.03/1218.46 c 1217s | 16 | 236030 | 192352 | 74850 3 | 75 | 0 1220.43/1220.88 c 1220s | 16 | 236354 | 192652 | 74850 3 | 75 | 0 1222.94/1223.36 c 1222s | 16 | 236771 | 193052 | 74850 3 | 75 | 0 1225.53/1225.96 c 1225s | 16 | 237188 | 193452 | 74850 3 | 75 | 0 1228.03/1228.49 c 1227s | 16 | 237613 | 193852 | 74850 3 | 75 | 0 1230.13/1230.56 c 1229s | 16 | 237927 | 194152 | 74850 3 | 75 | 0 1232.23/1232.66 c 1231s | 16 | 238238 | 194452 | 74850 3 | 75 | 0 1234.53/1234.95 c 1234s | 16 | 238710 | 194752 | 74850 3 | 75 | 0 1237.33/1237.72 c 1236s | 16 | 239025 | 195052 | 74850 3 | 75 | 0 1239.73/1240.18 c 1239s | 16 | 239328 | 195352 | 74850 3 | 75 | 0 1241.93/1242.35 c 1241s | 16 | 239653 | 195652 | 74850 3 | 75 | 0 1244.72/1245.15 c 1244s | 16 | 239990 | 195952 | 74850 3 | 75 | 0 1247.03/1247.42 c 1246s | 16 | 240235 | 196152 | 82335 3 | 75 | 0 1249.82/1250.26 c 1249s | 16 | 240585 | 196452 | 82335 3 | 75 | 0 1252.32/1252.77 c 1251s | 16 | 240900 | 196752 | 82335 3 | 75 | 0 1254.52/1254.92 c 1254s | 16 | 241257 | 197052 | 82335 3 | 75 | 0 1256.82/1257.25 c 1256s | 16 | 241573 | 197352 | 82335 3 | 75 | 0 1257.42/1257.83 c 1257s | 17 | 241789 | 197432 | 82335 3 | 75 | 0 1260.42/1260.85 c 1260s | 17 | 242109 | 197632 | 82335 3 | 75 | 0 1262.43/1262.86 c 1262s | 17 | 242346 | 197832 | 82335 3 | 75 | 0 1265.12/1265.58 c 1264s | 17 | 242658 | 198132 | 82335 3 | 75 | 0 1267.72/1268.13 c 1267s | 17 | 242888 | 198332 | 82335 3 | 75 | 0 1269.82/1270.28 c 1269s | 17 | 243253 | 198532 | 82335 3 | 75 | 0 1272.43/1272.81 c 1271s | 17 | 243558 | 198832 | 82335 3 | 75 | 0 1275.02/1275.44 c 1274s | 17 | 243893 | 199132 | 82335 3 | 75 | 0 1277.52/1277.91 c 1277s | 17 | 244219 | 199432 | 82335 3 | 75 | 0 1280.13/1280.53 c 1279s | 17 | 244644 | 199732 | 82335 3 | 75 | 0 1282.52/1282.94 c 1282s | 17 | 245071 | 200032 | 82335 3 | 75 | 0 1284.62/1285.09 c 1284s | 17 | 245380 | 200332 | 82335 3 | 75 | 0 1286.82/1287.29 c 1286s | 17 | 245717 | 200632 | 82335 3 | 75 | 0 1289.62/1290.04 c 1289s | 17 | 246417 | 200932 | 82335 3 | 75 | 0 1292.22/1292.68 c 1291s | 17 | 246835 | 201332 | 82335 3 | 75 | 0 1294.52/1294.93 c 1294s | 17 | 247148 | 201632 | 82335 3 | 75 | 0 1297.02/1297.46 c 1296s | 17 | 247457 | 201932 | 82335 3 | 75 | 0 1299.72/1300.14 c 1299s | 17 | 247842 | 202232 | 82335 3 | 75 | 0 1301.82/1302.22 c 1301s | 17 | 248048 | 202432 | 82335 3 | 75 | 0 1304.11/1304.54 c 1303s | 17 | 248397 | 202732 | 82335 3 | 75 | 0 1307.01/1307.43 c 1306s | 17 | 248746 | 203032 | 82335 3 | 75 | 0 1310.11/1310.58 c 1309s | 17 | 249052 | 203332 | 82335 3 | 75 | 0 1312.61/1313.01 c 1312s | 17 | 249363 | 203632 | 82335 3 | 75 | 0 1314.61/1315.07 c 1314s | 17 | 249572 | 203832 | 82335 3 | 75 | 0 1317.42/1317.86 c 1317s | 17 | 249993 | 204232 | 82335 3 | 75 | 0 1320.01/1320.41 c 1319s | 17 | 250317 | 204532 | 82335 3 | 75 | 0 1322.11/1322.54 c 1321s | 17 | 250543 | 204732 | 82335 3 | 75 | 0 1324.61/1325.09 c 1324s | 17 | 250856 | 205032 | 82335 3 | 75 | 0 1327.01/1327.43 c 1326s | 17 | 251159 | 205332 | 82335 3 | 75 | 0 1329.01/1329.44 c 1328s | 17 | 251367 | 205532 | 82335 3 | 75 | 0 1331.61/1332.02 c 1331s | 17 | 251685 | 205832 | 82335 3 | 75 | 0 1334.02/1334.48 c 1333s | 17 | 252002 | 206132 | 82335 3 | 75 | 0 1336.41/1336.83 c 1336s | 17 | 252327 | 206432 | 82335 3 | 75 | 0 1338.51/1338.92 c 1338s | 17 | 252552 | 206632 | 82335 3 | 75 | 0 1343.12/1343.54 c 1342s | 17 | 252675 | 206732 | 82335 4 | 75 | 0 1345.12/1345.58 c 1344s | 17 | 253071 | 207132 | 82335 4 | 75 | 0 1347.72/1348.10 c 1347s | 17 | 253503 | 207532 | 82335 4 | 75 | 0 1350.11/1350.50 c 1349s | 17 | 253971 | 207932 | 82335 4 | 75 | 0 1352.31/1352.74 c 1351s | 17 | 254481 | 208332 | 82335 4 | 75 | 0 1354.82/1355.28 c 1354s | 17 | 254924 | 208732 | 82335 4 | 75 | 0 1357.41/1357.87 c 1357s | 17 | 255391 | 209132 | 82335 4 | 75 | 0 1359.81/1360.22 c 1359s | 17 | 255844 | 209532 | 82335 4 | 75 | 0 1361.91/1362.32 c 1361s | 17 | 256323 | 209932 | 82335 4 | 75 | 0 1364.31/1364.78 c 1363s | 17 | 256888 | 210432 | 82335 4 | 75 | 0 1366.92/1367.34 c 1366s | 17 | 257408 | 210932 | 82335 4 | 75 | 0 1369.31/1369.71 c 1368s | 17 | 257963 | 211432 | 82335 4 | 75 | 0 1371.61/1372.04 c 1371s | 17 | 258387 | 211832 | 82335 4 | 75 | 0 1373.81/1374.26 c 1373s | 17 | 258796 | 212232 | 82335 4 | 75 | 0 1376.21/1376.68 c 1375s | 17 | 259237 | 212632 | 82335 4 | 75 | 0 1378.31/1378.74 c 1377s | 17 | 259715 | 213032 | 82335 4 | 75 | 0 1380.81/1381.28 c 1380s | 17 | 260349 | 213432 | 82335 4 | 75 | 0 1383.11/1383.58 c 1382s | 17 | 260767 | 213832 | 82335 4 | 75 | 0 1385.21/1385.69 c 1384s | 17 | 261174 | 214232 | 82335 4 | 75 | 0 1387.31/1387.78 c 1386s | 17 | 261655 | 214532 | 82335 4 | 75 | 0 1389.81/1390.28 c 1389s | 17 | 262095 | 214932 | 82335 4 | 75 | 0 1391.91/1392.39 c 1391s | 17 | 262506 | 215332 | 82335 4 | 75 | 0 1394.41/1394.84 c 1394s | 17 | 263038 | 215832 | 82335 4 | 75 | 0 1397.01/1397.40 c 1396s | 17 | 263438 | 216232 | 82335 4 | 75 | 0 1399.31/1399.79 c 1398s | 17 | 263919 | 216632 | 82335 4 | 75 | 0 1401.71/1402.17 c 1401s | 17 | 264331 | 217032 | 82335 4 | 75 | 0 1403.91/1404.39 c 1403s | 17 | 264865 | 217432 | 82335 4 | 75 | 0 1406.31/1406.80 c 1405s | 17 | 265403 | 217832 | 82335 4 | 75 | 0 1408.91/1409.30 c 1408s | 17 | 265872 | 218232 | 82335 4 | 75 | 0 1411.01/1411.44 c 1410s | 17 | 266293 | 218632 | 82335 4 | 75 | 0 1413.11/1413.52 c 1412s | 17 | 266712 | 219032 | 82335 4 | 75 | 0 1415.41/1415.80 c 1414s | 17 | 267132 | 219432 | 82335 4 | 75 | 0 1417.80/1418.26 c 1417s | 17 | 267552 | 219832 | 82335 4 | 75 | 0 1420.20/1420.66 c 1419s | 17 | 267958 | 220232 | 82335 4 | 75 | 0 1422.40/1422.88 c 1422s | 17 | 268381 | 220632 | 82335 4 | 75 | 0 1424.90/1425.31 c 1424s | 17 | 268887 | 221032 | 82335 4 | 75 | 0 1427.30/1427.79 c 1426s | 17 | 269483 | 221432 | 82335 4 | 75 | 0 1430.10/1430.51 c 1429s | 17 | 270011 | 221832 | 82335 4 | 75 | 0 1432.30/1432.71 c 1431s | 17 | 270617 | 222132 | 82335 4 | 75 | 0 1434.70/1435.12 c 1434s | 17 | 270978 | 222432 | 82335 4 | 75 | 0 1436.90/1437.30 c 1436s | 17 | 271351 | 222732 | 82335 4 | 75 | 0 1439.10/1439.55 c 1438s | 17 | 271661 | 223032 | 82335 4 | 75 | 0 1441.20/1441.69 c 1440s | 17 | 272077 | 223332 | 82335 4 | 75 | 0 1443.80/1444.20 c 1443s | 17 | 272625 | 223732 | 82335 4 | 75 | 0 1446.40/1446.82 c 1445s | 17 | 273313 | 224132 | 82335 4 | 75 | 0 1448.41/1448.83 c 1448s | 17 | 273647 | 224432 | 82335 4 | 75 | 0 1450.61/1451.01 c 1450s | 17 | 273983 | 224732 | 82335 4 | 75 | 0 1452.90/1453.33 c 1452s | 17 | 274397 | 225132 | 82335 4 | 75 | 0 1454.90/1455.35 c 1454s | 17 | 274852 | 225432 | 82335 4 | 75 | 0 1457.30/1457.74 c 1456s | 17 | 275429 | 225832 | 82335 4 | 75 | 0 1459.30/1459.75 c 1458s | 17 | 275820 | 226132 | 82335 4 | 75 | 0 1461.90/1462.35 c 1461s | 17 | 276529 | 226532 | 82335 4 | 75 | 0 1464.30/1464.75 c 1463s | 17 | 276941 | 226932 | 82335 4 | 75 | 0 1466.80/1467.23 c 1466s | 17 | 277400 | 227332 | 82335 4 | 75 | 0 1469.30/1469.71 c 1468s | 17 | 277925 | 227832 | 82335 4 | 75 | 0 1471.70/1472.11 c 1471s | 17 | 278872 | 228232 | 82335 4 | 75 | 0 1473.89/1474.35 c 1473s | 17 | 279288 | 228632 | 82335 4 | 75 | 0 1475.90/1476.39 c 1475s | 17 | 279716 | 229032 | 82335 4 | 75 | 0 1478.59/1479.06 c 1478s | 17 | 280442 | 229632 | 82335 4 | 75 | 0 1480.79/1481.24 c 1480s | 17 | 280843 | 230032 | 82335 4 | 75 | 0 1483.19/1483.66 c 1482s | 17 | 281276 | 230432 | 82335 4 | 75 | 0 1485.70/1486.19 c 1485s | 17 | 281705 | 230832 | 82335 4 | 75 | 0 1488.49/1488.99 c 1488s | 17 | 282127 | 231132 | 82335 4 | 75 | 0 1490.59/1491.09 c 1490s | 17 | 282481 | 231432 | 82335 4 | 75 | 0 1492.99/1493.44 c 1492s | 17 | 282908 | 231832 | 82335 4 | 75 | 0 1494.99/1495.45 c 1494s | 17 | 283273 | 232132 | 82335 4 | 75 | 0 1497.09/1497.53 c 1496s | 17 | 283637 | 232432 | 82335 4 | 75 | 0 1499.29/1499.72 c 1498s | 17 | 284044 | 232832 | 82335 4 | 75 | 0 1501.39/1501.84 c 1501s | 17 | 284459 | 233232 | 82335 4 | 75 | 0 1503.79/1504.28 c 1503s | 17 | 284824 | 233532 | 82335 4 | 75 | 0 1505.99/1506.46 c 1505s | 17 | 285135 | 233832 | 82335 4 | 75 | 0 1508.09/1508.52 c 1507s | 17 | 285534 | 234232 | 82335 4 | 75 | 0 1510.19/1510.69 c 1509s | 17 | 285791 | 234432 | 82335 4 | 75 | 0 1512.89/1513.34 c 1512s | 17 | 286276 | 234832 | 82335 4 | 75 | 0 1515.19/1515.63 c 1514s | 17 | 286686 | 235232 | 82335 4 | 75 | 0 1517.79/1518.29 c 1517s | 17 | 287167 | 235632 | 82335 4 | 75 | 0 1520.29/1520.77 c 1519s | 17 | 287593 | 236032 | 82335 4 | 75 | 0 1522.69/1523.17 c 1522s | 17 | 288014 | 236432 | 82335 4 | 75 | 0 1524.99/1525.48 c 1524s | 17 | 288428 | 236832 | 82335 4 | 75 | 0 1527.49/1527.95 c 1527s | 17 | 288841 | 237232 | 82335 4 | 75 | 0 1529.89/1530.39 c 1529s | 17 | 289279 | 237632 | 82335 4 | 75 | 0 1532.49/1532.98 c 1532s | 17 | 289839 | 238032 | 82335 4 | 75 | 0 1534.89/1535.34 c 1534s | 17 | 290284 | 238432 | 82335 4 | 75 | 0 1537.09/1537.59 c 1536s | 17 | 290704 | 238832 | 82335 4 | 75 | 0 1539.29/1539.78 c 1538s | 17 | 291120 | 239232 | 82335 4 | 75 | 0 1541.79/1542.22 c 1541s | 17 | 291538 | 239632 | 82335 4 | 75 | 0 1544.48/1544.93 c 1544s | 17 | 292040 | 240032 | 82335 4 | 75 | 0 1547.18/1547.63 c 1546s | 17 | 292552 | 240432 | 82335 4 | 75 | 0 1549.18/1549.66 c 1548s | 17 | 292960 | 240832 | 82335 4 | 75 | 0 1551.38/1551.84 c 1551s | 17 | 293409 | 241232 | 82335 4 | 75 | 0 1553.99/1554.41 c 1553s | 17 | 293841 | 241632 | 82335 4 | 75 | 0 1556.19/1556.68 c 1555s | 17 | 294249 | 242032 | 82335 4 | 75 | 0 1558.29/1558.79 c 1557s | 17 | 294615 | 242332 | 82335 4 | 75 | 0 1560.78/1561.21 c 1560s | 17 | 295022 | 242732 | 82335 4 | 75 | 0 1563.18/1563.69 c 1562s | 17 | 295493 | 243132 | 82335 4 | 75 | 0 1565.78/1566.22 c 1565s | 17 | 295903 | 243532 | 82335 4 | 75 | 0 1568.38/1568.88 c 1568s | 17 | 296322 | 243932 | 82335 4 | 75 | 0 1570.78/1571.21 c 1570s | 17 | 296729 | 244332 | 82335 4 | 75 | 0 1573.18/1573.62 c 1572s | 17 | 297182 | 244732 | 82335 4 | 75 | 0 1575.38/1575.87 c 1575s | 17 | 297600 | 245132 | 82335 4 | 75 | 0 1577.88/1578.32 c 1577s | 17 | 298008 | 245532 | 82335 4 | 75 | 0 1580.39/1580.81 c 1579s | 17 | 298437 | 245932 | 82335 4 | 75 | 0 1582.48/1582.95 c 1582s | 17 | 298868 | 246232 | 82335 4 | 75 | 0 1584.68/1585.19 c 1584s | 17 | 299279 | 246632 | 82335 4 | 75 | 0 1587.48/1587.97 c 1587s | 17 | 299758 | 247032 | 82335 4 | 75 | 0 1589.68/1590.18 c 1589s | 17 | 300098 | 247332 | 82335 4 | 75 | 0 1592.48/1592.91 c 1592s | 17 | 300572 | 247732 | 82335 4 | 75 | 0 1594.88/1595.32 c 1594s | 17 | 301184 | 248032 | 82335 4 | 75 | 0 1597.38/1597.89 c 1597s | 17 | 301780 | 248432 | 82335 4 | 75 | 0 1599.38/1599.89 c 1599s | 17 | 302090 | 248732 | 82335 4 | 75 | 0 1601.48/1601.99 c 1601s | 17 | 302433 | 249032 | 82335 4 | 75 | 0 1603.98/1604.49 c 1603s | 17 | 302782 | 249332 | 82335 4 | 75 | 0 1606.27/1606.73 c 1605s | 17 | 303119 | 249632 | 82335 4 | 75 | 0 1608.47/1608.96 c 1608s | 17 | 303667 | 249932 | 82335 4 | 75 | 0 1610.67/1611.13 c 1610s | 17 | 303978 | 250232 | 82335 4 | 75 | 0 1613.07/1613.55 c 1612s | 17 | 304391 | 250632 | 82335 4 | 75 | 0 1615.37/1615.90 c 1615s | 17 | 304739 | 250932 | 82335 4 | 75 | 0 1617.57/1618.07 c 1617s | 17 | 305063 | 251232 | 82335 4 | 75 | 0 1620.27/1620.72 c 1619s | 17 | 305491 | 251632 | 82335 4 | 75 | 0 1622.27/1622.73 c 1621s | 17 | 305815 | 251932 | 82335 4 | 75 | 0 1624.77/1625.24 c 1624s | 17 | 306228 | 252332 | 82335 4 | 75 | 0 1628.68/1629.15 c 1628s | 17 | 306546 | 252632 | 82335 5 | 75 | 0 1630.77/1631.30 c 1630s | 17 | 306761 | 252832 | 82335 5 | 75 | 0 1633.18/1633.66 c 1632s | 17 | 306963 | 253032 | 82335 5 | 75 | 0 1635.47/1635.93 c 1635s | 17 | 307399 | 253432 | 82335 5 | 75 | 0 1637.67/1638.17 c 1637s | 17 | 307867 | 253832 | 82335 5 | 75 | 0 1640.07/1640.58 c 1639s | 17 | 308278 | 254232 | 82335 5 | 75 | 0 1642.47/1642.94 c 1642s | 17 | 308757 | 254632 | 82335 5 | 75 | 0 1644.67/1645.18 c 1644s | 17 | 309251 | 255032 | 82335 5 | 75 | 0 1646.97/1647.49 c 1646s | 17 | 309742 | 255432 | 82335 5 | 75 | 0 1649.27/1649.79 c 1648s | 17 | 310182 | 255832 | 82335 5 | 75 | 0 1651.77/1652.24 c 1651s | 17 | 310681 | 256232 | 82335 5 | 75 | 0 1654.07/1654.57 c 1653s | 17 | 311107 | 256632 | 82335 5 | 75 | 0 1656.47/1656.90 c 1656s | 17 | 311576 | 257032 | 82335 5 | 75 | 0 1658.47/1658.95 c 1658s | 17 | 311998 | 257432 | 82335 5 | 75 | 0 1660.67/1661.17 c 1660s | 17 | 312428 | 257832 | 82335 5 | 75 | 0 1662.66/1663.18 c 1662s | 17 | 312837 | 258232 | 82335 5 | 75 | 0 1664.97/1665.41 c 1664s | 17 | 313740 | 258632 | 82335 5 | 75 | 0 1667.06/1667.60 c 1666s | 17 | 314329 | 259032 | 82335 5 | 75 | 0 1669.26/1669.72 c 1668s | 17 | 314739 | 259432 | 82335 5 | 75 | 0 1671.57/1672.03 c 1671s | 17 | 315149 | 259832 | 82335 5 | 75 | 0 1673.87/1674.34 c 1673s | 17 | 315559 | 260232 | 82335 5 | 75 | 0 1676.36/1676.80 c 1675s | 17 | 315978 | 260632 | 82335 5 | 75 | 0 1678.66/1679.13 c 1678s | 17 | 316397 | 261032 | 82335 5 | 75 | 0 1681.16/1681.65 c 1680s | 17 | 316808 | 261432 | 82335 5 | 75 | 0 1683.77/1684.25 c 1683s | 17 | 317234 | 261832 | 82335 5 | 75 | 0 1691.15/1691.63 c 1690s | 17 | 317431 | 261932 | 82335 5 | 75 | 0 1693.25/1693.72 c 1692s | 17 | 317807 | 262232 | 82335 5 | 75 | 0 1695.65/1696.18 c 1695s | 17 | 318297 | 262632 | 82335 5 | 75 | 0 1697.75/1698.28 c 1697s | 17 | 318948 | 262932 | 82335 5 | 75 | 0 1700.16/1700.67 c 1699s | 17 | 319443 | 263332 | 82335 5 | 75 | 0 1702.56/1703.02 c 1702s | 17 | 319960 | 263732 | 82335 5 | 75 | 0 1705.16/1705.60 c 1704s | 17 | 320457 | 264132 | 82335 5 | 75 | 0 1707.56/1708.09 c 1707s | 17 | 320970 | 264532 | 82335 5 | 75 | 0 1710.26/1710.77 c 1709s | 17 | 321645 | 264932 | 82335 5 | 75 | 0 1712.86/1713.30 c 1712s | 17 | 322154 | 265332 | 82335 5 | 75 | 0 1714.96/1715.42 c 1714s | 17 | 322615 | 265732 | 82335 5 | 75 | 0 1717.26/1717.70 c 1716s | 17 | 323178 | 266132 | 82335 5 | 75 | 0 1719.56/1720.04 c 1719s | 17 | 323732 | 266532 | 82335 5 | 75 | 0 1721.86/1722.30 c 1721s | 17 | 324038 | 266832 | 82335 5 | 75 | 0 1724.06/1724.53 c 1723s | 17 | 324719 | 267232 | 82335 5 | 75 | 0 1726.16/1726.65 c 1725s | 17 | 325163 | 267532 | 82335 5 | 75 | 0 1728.66/1729.20 c 1728s | 17 | 325531 | 267832 | 82335 5 | 75 | 0 1731.06/1731.53 c 1730s | 17 | 326014 | 268232 | 82335 5 | 75 | 0 1733.36/1733.80 c 1732s | 17 | 326572 | 268632 | 82335 5 | 75 | 0 1735.46/1735.96 c 1735s | 17 | 326925 | 268932 | 82335 5 | 75 | 0 1737.76/1738.22 c 1737s | 17 | 327340 | 269332 | 82335 5 | 75 | 0 1739.96/1740.42 c 1739s | 17 | 327668 | 269632 | 82335 5 | 75 | 0 1742.06/1742.59 c 1741s | 17 | 328015 | 269932 | 82335 5 | 75 | 0 1744.56/1745.03 c 1744s | 17 | 328441 | 270332 | 82335 5 | 75 | 0 1746.66/1747.10 c 1746s | 17 | 328870 | 270732 | 82335 5 | 75 | 0 1748.86/1749.33 c 1748s | 17 | 329206 | 271032 | 82335 5 | 75 | 0 1751.05/1751.50 c 1750s | 17 | 329622 | 271432 | 82335 5 | 75 | 0 1753.45/1753.91 c 1753s | 17 | 330051 | 271832 | 82335 5 | 75 | 0 1755.55/1756.00 c 1755s | 17 | 330464 | 272232 | 82335 5 | 75 | 0 1757.85/1758.36 c 1757s | 17 | 331033 | 272632 | 82335 5 | 75 | 0 1760.15/1760.67 c 1759s | 17 | 331584 | 273032 | 82335 5 | 75 | 0 1762.75/1763.26 c 1762s | 17 | 332063 | 273432 | 82335 5 | 75 | 0 1764.85/1765.30 c 1764s | 17 | 332476 | 273832 | 82335 5 | 75 | 0 1767.05/1767.50 c 1766s | 17 | 333009 | 274232 | 82335 5 | 75 | 0 1769.05/1769.52 c 1768s | 17 | 333645 | 274532 | 82335 5 | 75 | 0 1771.25/1771.72 c 1770s | 17 | 334114 | 274932 | 82335 5 | 75 | 0 1773.65/1774.10 c 1773s | 17 | 334650 | 275332 | 82335 5 | 75 | 0 1775.95/1776.49 c 1775s | 17 | 335245 | 275732 | 82335 5 | 75 | 0 1778.15/1778.68 c 1777s | 17 | 335653 | 276132 | 82335 5 | 75 | 0 1780.65/1781.10 c 1780s | 17 | 336067 | 276532 | 82335 5 | 75 | 0 1783.25/1783.77 c 1782s | 17 | 336765 | 276932 | 82335 5 | 75 | 0 1785.65/1786.10 c 1785s | 17 | 337111 | 277232 | 82335 5 | 75 | 0 1788.16/1788.66 c 1787s | 17 | 337535 | 277632 | 82335 5 | 75 | 0 1790.25/1790.71 c 1789s | 17 | 337866 | 277932 | 82335 5 | 75 | 0 1792.66/1793.19 c 1792s | 17 | 338349 | 278332 | 82335 5 | 75 | 0 1794.75/1795.23 c 1794s | 17 | 338536 | 278532 | 82335 5 | 75 | 0 1797.65/1798.17 c 1797s | 17 | 338854 | 278832 | 82335 5 | 75 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079327-1465340220/watcher-4079327-1465340220 -o /tmp/evaluation-result-4079327-1465340220/solver-4079327-1465340220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079327-1465340220.opb pid=22157 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.14 2.18 2.17 3/179 22160 /proc/meminfo: memFree=29244048/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 2840 0 0 0 0 0 0 0 20 0 4 0 115954828 777449472 3201 33554432000 4194304 16246674 140736533386432 140736533385856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 190575 3210 441 2943 0 187469 0 [pid=22160/tid=22161] ppid=22157 vsize=776636 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 795275264 3269 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=780732 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 799469568 3285 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=785852 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115954828 804712448 3302 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.14 2.18 2.17 3/179 22160 /proc/meminfo: memFree=29244048/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 29107 0 0 0 5 4 0 0 20 0 4 0 115954828 1333334016 29406 33554432000 4194304 16246674 140736533386432 140736533385744 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 325521 29422 802 2943 0 322415 0 [pid=22160/tid=22161] ppid=22157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1333334016 29432 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1333334016 29444 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1333334016 29455 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200512 s] /proc/loadavg: 2.14 2.18 2.17 3/179 22160 /proc/meminfo: memFree=29244048/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 46206 0 0 0 13 6 0 0 20 0 4 0 115954828 1344868352 47015 33554432000 4194304 16246674 140736533386432 140736533385744 8058836 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 328337 47015 802 2943 0 325231 0 [pid=22160/tid=22161] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 47015 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 47015 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 47015 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300514 s] /proc/loadavg: 2.14 2.18 2.17 3/179 22160 /proc/meminfo: memFree=29244048/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 57516 0 0 0 22 7 0 0 20 0 4 0 115954828 1344868352 58325 33554432000 4194304 16246674 140736533386432 140736533385744 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 328337 58325 813 2943 0 325231 0 [pid=22160/tid=22161] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 58325 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 58325 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 58325 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700422 s] /proc/loadavg: 2.14 2.18 2.17 3/179 22160 /proc/meminfo: memFree=29244048/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 96295 0 0 0 56 13 0 0 20 0 4 0 115954828 1344868352 97104 33554432000 4194304 16246674 140736533386432 140736533368320 13956064 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 328337 97114 843 2943 0 325231 0 [pid=22160/tid=22161] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 97120 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 97125 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 97131 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50042 s] /proc/loadavg: 2.14 2.18 2.17 3/183 22164 /proc/meminfo: memFree=28684848/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 159582 0 0 0 127 22 0 0 20 0 4 0 115954828 1344868352 160391 33554432000 4194304 16246674 140736533386432 140736533368320 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 328337 160392 886 2943 0 325231 0 [pid=22160/tid=22161] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 160392 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 160393 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 160394 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10042 s] /proc/loadavg: 2.14 2.18 2.17 3/183 22164 /proc/meminfo: memFree=28426556/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1313348 CPUtime=3.09 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 252574 0 0 0 276 33 0 0 20 0 4 0 115954828 1344868352 253383 33554432000 4194304 16246674 140736533386432 140736533368320 5602147 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 328337 253386 886 2943 0 325231 0 [pid=22160/tid=22161] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 253388 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 253389 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1344868352 253390 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30041 s] /proc/loadavg: 2.12 2.17 2.17 3/183 22164 /proc/meminfo: memFree=28156992/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1322564 CPUtime=6.29 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 271319 0 0 0 594 35 0 0 20 0 4 0 115954828 1354305536 272128 33554432000 4194304 16246674 140736533386432 140736533368320 5600232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 330641 272128 889 2943 0 327535 0 [pid=22160/tid=22161] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272128 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272128 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272128 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.11 2.17 2.17 3/183 22164 /proc/meminfo: memFree=28156792/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1322564 CPUtime=12.69 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 271326 0 0 0 1234 35 0 0 20 0 4 0 115954828 1354305536 272135 33554432000 4194304 16246674 140736533386432 140736533368320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 330641 272135 895 2943 0 327535 0 [pid=22160/tid=22161] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272135 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272135 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272135 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.24 2.20 2.18 3/183 22164 /proc/meminfo: memFree=28157736/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1322564 CPUtime=25.49 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 271327 0 0 0 2514 35 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 140736533368320 5600331 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 330641 272391 895 2943 0 327535 0 [pid=22160/tid=22161] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1322564 [startup+51.1006 s] /proc/loadavg: 2.21 2.19 2.18 3/183 22164 /proc/meminfo: memFree=28156524/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1322564 CPUtime=51.08 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 271334 0 0 0 5073 35 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 140736533368320 5598165 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 330641 272391 895 2943 0 327535 0 [pid=22160/tid=22161] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.3 s] /proc/loadavg: 2.23 2.21 2.18 3/183 22165 /proc/meminfo: memFree=28155944/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1322564 CPUtime=102.27 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 271355 0 0 0 10192 35 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 140736533368320 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 330641 272391 895 2943 0 327535 0 [pid=22160/tid=22161] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1322564 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1354305536 272391 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1355332 [startup+1362.3 s] /proc/loadavg: 2.25 2.22 2.18 3/183 22267 /proc/meminfo: memFree=28129720/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1361.91 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 136151 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5661607 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1355332 [startup+1422.3 s] /proc/loadavg: 2.27 2.23 2.19 3/184 22271 /proc/meminfo: memFree=28129972/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1421.91 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 142151 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5827950 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1355332 [startup+1482.3 s] /proc/loadavg: 2.24 2.23 2.18 3/183 22273 /proc/meminfo: memFree=28130260/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1481.89 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 148149 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5600072 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1355332 [startup+1542.31 s] /proc/loadavg: 2.26 2.23 2.19 3/183 22274 /proc/meminfo: memFree=28130016/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1541.89 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 154149 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5822740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1355332 [startup+1602.3 s] /proc/loadavg: 2.18 2.22 2.18 3/183 22275 /proc/meminfo: memFree=28129784/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1601.88 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 160148 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1355332 [startup+1662.3 s] /proc/loadavg: 2.23 2.22 2.18 3/183 22276 /proc/meminfo: memFree=28027988/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1661.86 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 166146 40 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 6022823 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1355332 [startup+1722.3 s] /proc/loadavg: 2.22 2.22 2.18 3/183 22277 /proc/meminfo: memFree=28028116/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1721.86 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 172145 41 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1355332 [startup+1782.3 s] /proc/loadavg: 2.12 2.19 2.18 3/182 22278 /proc/meminfo: memFree=28027652/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1781.85 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 178144 41 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1355332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.24 2.21 2.18 3/183 22280 /proc/meminfo: memFree=28028084/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1800.05 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 179964 41 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1355332 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 22160 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.24 2.21 2.18 3/183 22280 /proc/meminfo: memFree=28028084/32872528 swapFree=16204/1518544 [pid=22160] ppid=22157 vsize=1355332 CPUtime=1800.05 cores=1,3,5,7 /proc/22160/stat : 22160 (toysat) R 22157 22160 19387 0 -1 4202496 279867 0 0 0 179964 41 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 140736533368320 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/22160/statm: 338833 280587 899 2943 0 335727 0 [pid=22160/tid=22161] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22161/stat : 22161 (toysat) S 22157 22160 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924887022832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=22160/tid=22162] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22162/stat : 22162 (toysat) S 22157 22160 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924799991024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=22160/tid=22163] ppid=22157 vsize=1355332 CPUtime=0 cores=1,3,5,7 /proc/22160/task/22163/stat : 22163 (toysat) S 22157 22160 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115954828 1387859968 280587 33554432000 4194304 16246674 140736533386432 139924789517488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1355332 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.65 CPU system time (s): 0.409937 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1355332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.409937 maximum resident set size= 1122348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279867 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= 359 involuntary context switches= 1893 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.8264 second user time and 16.3975 second system time The end
Begin job on node129 at 2016-06-08 00:57:00 IDJOB=4079327 IDBENCH=92768 IDSOLVER=2542 FILE ID=node129/4079327-1465340220 RUNJOBID= node129-1465311042-19404 PBS_JOBID= 19850114 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_0_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079327-1465340220/watcher-4079327-1465340220 -o /tmp/evaluation-result-4079327-1465340220/solver-4079327-1465340220 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079327-1465340220.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3ccb0020d438b0d41f96e5d1bc8e13b8 RANDOM SEED=657255099 node129.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.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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.715 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.715 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.56 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.715 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.715 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.715 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.715 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.715 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: 29244684 kB Buffers: 50708 kB Cached: 202704 kB SwapCached: 1836 kB Active: 1220176 kB Inactive: 148680 kB Active(anon): 1113132 kB Inactive(anon): 4524 kB Active(file): 107044 kB Inactive(file): 144156 kB Unevictable: 1518544 kB Mlocked: 16204 kB SwapTotal: 67108856 kB SwapFree: 67098824 kB Dirty: 17480 kB Writeback: 0 kB AnonPages: 2632876 kB Mapped: 11748 kB Shmem: 0 kB Slab: 604464 kB SReclaimable: 48640 kB SUnreclaim: 555824 kB KernelStack: 1520 kB PageTables: 9444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2776492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2613248 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= 71704 MiB End job on node129 at 2016-06-08 01:27:00