| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.52 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_29.opb |
| MD5SUM | ad1a92600821e0d2cfdc3c1c95f3cd4b |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.680896 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8742 |
| Total number of constraints | 42878 |
| Number of constraints which are clauses | 42873 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 93 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 29 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 122 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-17T01:24:17+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-4098073-1466119457.opb"] 0.00/0.01 c use --random-gen="180059983 1543422638 2631097608 3794694278 1101826302 4016045098 2926605196 3109347006 2720005278 2572950359 1671804184 3119102191 2012316663 3908201982 290571557 3335275255 4050481152 1242698219 1554909495 405680921 1759846934 4074932315 2587412511 2962091514 2753595171 2108712289 177437893 11819406 3955630225 1205842959 2170622646 1897908977 368758398 3298185500 163282331 741676168 1328118470 802591488 2001538263 4147580092 80988311 2441617062 3247886004 3260652802 3485189670 2140421637 54155300 2468441680 4079050327 4266204579 2354946384 379508852 2601932936 3359002152 692506948 4042309991 2901704918 2033571009 790909948 1505499434 3770218559 3233993873 356324678 2839393194 206714486 3592465456 2176677116 2527062074 2176205833 2196080643 3395448936 973361003 1490031796 2154730948 3824588572 3938770006 4044973218 4252730549 2114043393 1489119283 1278828847 2983197795 2703747481 3962914531 2262994732 763672682 1705256154 1558205760 1639424398 1776850095 1899092850 443911675 1760275197 1838334230 3128447239 323069253 2377129395 1410148126 2196156737 2173192953 2501847233 1296798108 2107410409 2328378535 1106200365 3085926600 784291281 1964947011 4034923505 24363469 2622423288 1197049552 157235512 218808327 1474715106 4145838812 2284554306 324697786 2645784896 3895764163 194782096 2526336931 2235014354 2569157185 3788055630 4178135769 2721628653 3918297624 2598307844 1910092934 3715153935 1139257127 682362650 1565371131 1075665153 1164357101 4158989489 228404389 3934656383 3293918229 426542361 801738899 3673653434 3875697534 3924670661 401999498 1821914938 973292 3208736786 435096996 46380299 720104365 833947898 2390672128 2001476663 3603642096 3210428542 845938613 197957964 432233010 1143396747 2305864561 1562247683 2538864772 2711629811 2105962462 454016744 3111348485 410060855 3185497404 3560035688 2041091354 2997154075 814366174 2525736676 3077811128 3541261678 830601045 712858342 3027662774 3145439198 2230784475 717465461 3240739643 324474930 1766182754 3407452074 2588318065 4199077793 1171146663 2848949503 3307086677 1102780571 1431172462 724106007 2656936650 197424616 3199089061 3436404573 2226996986 2900333338 3757458737 2244725177 1523464012 3245024282 211995986 198618416 1688741530 4191434082 2316663207 1081907104 1712787257 2538290444 1331976137 2144906307 2303097691 1067169735 2681403958 565831585 3553298405 1789973797 3166441154 1207096115 1607387072 3200185912 559778769 622127348 3133600798 3679359615 1513945244 2774236863 676980023 4195541008 1125707511 1952102057 3395326903 3670020289 4044830502 400395917 3058556913 3583153288 519122629 61298633 2135493440 112429120 979241314 3923552754 3234804527 1401961787 3586941485 3025605022 3031193926 2882379046 577896736 3348920597 224693431 255 362436" option to reproduce the execution 0.99/1.06 c #vars 8742 0.99/1.06 c #constraints 42878 2.99/3.06 c Solving starts ... 2.99/3.06 c ============================[ Search Statistics ]============================ 2.99/3.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.06 c | | | | Limit GC | Var | Constra 2.99/3.06 c ============================================================================= 2.99/3.06 c 0.0s | 0 | 0 | 0 | 17205 0 | 5 | 0 3.79/3.85 c 0.8s | 1 | 1081 | 100 | 17205 0 | 5 | 800 4.69/4.72 c 1.7s | 2 | 2998 | 250 | 18926 0 | 5 | 800 6.09/6.16 c 3.1s | 3 | 5355 | 475 | 20819 0 | 5 | 800 7.80/7.85 c 4.8s | 4 | 8963 | 813 | 22901 0 | 5 | 800 9.90/9.94 c 6.9s | 4 | 13265 | 1213 | 25192 0 | 5 | 800 10.29/10.35 c 7.3s | 5 | 14125 | 1320 | 25192 0 | 5 | 800 12.69/12.73 c 9.7s | 5 | 20437 | 1820 | 27712 0 | 5 | 800 13.59/13.68 c 10.6s | 6 | 22708 | 2081 | 30484 0 | 5 | 800 15.89/15.96 c 12.9s | 6 | 25860 | 2581 | 30484 0 | 5 | 800 17.99/18.01 c 15.0s | 6 | 28256 | 3081 | 30484 0 | 5 | 800 18.80/18.84 c 15.8s | 7 | 29393 | 3223 | 33533 0 | 5 | 800 21.29/21.32 c 18.3s | 7 | 34120 | 3623 | 33533 0 | 5 | 800 23.49/23.51 c 20.5s | 7 | 40837 | 4123 | 33533 0 | 5 | 800 25.59/25.69 c 22.6s | 7 | 46134 | 4623 | 33533 0 | 5 | 800 26.89/26.90 c 23.8s | 8 | 49246 | 4936 | 36887 0 | 5 | 800 28.89/28.99 c 25.9s | 8 | 52750 | 5536 | 36887 0 | 5 | 800 31.39/31.43 c 28.4s | 8 | 58427 | 6036 | 36887 0 | 5 | 800 33.39/33.48 c 30.4s | 8 | 61700 | 6536 | 36887 0 | 5 | 800 35.69/35.79 c 32.7s | 8 | 63872 | 7036 | 36887 0 | 5 | 800 38.09/38.11 c 35.0s | 9 | 68344 | 7506 | 40576 0 | 5 | 800 40.28/40.34 c 37.3s | 9 | 72314 | 7806 | 40576 0 | 5 | 800 42.28/42.37 c 39.3s | 9 | 76075 | 8206 | 40576 0 | 5 | 800 44.38/44.49 c 41.4s | 9 | 78518 | 8606 | 40576 0 | 5 | 800 46.78/46.82 c 43.8s | 9 | 85196 | 9106 | 40576 0 | 5 | 800 48.88/48.95 c 45.9s | 9 | 88045 | 9606 | 40576 0 | 5 | 800 51.38/51.40 c 48.3s | 9 | 91323 | 10206 | 40576 0 | 5 | 800 53.38/53.48 c 50.4s | 9 | 94727 | 10606 | 40576 0 | 5 | 800 55.78/55.87 c 52.8s | 9 | 99022 | 11006 | 40576 0 | 5 | 800 57.98/58.00 c 54.9s | 10 | 103398 | 11361 | 44634 0 | 5 | 800 60.18/60.23 c 57.2s | 10 | 107591 | 11861 | 44634 0 | 5 | 800 62.48/62.52 c 59.5s | 10 | 111144 | 12461 | 44634 0 | 5 | 800 64.58/64.67 c 61.6s | 10 | 117895 | 12961 | 44634 0 | 5 | 800 66.78/66.85 c 63.8s | 10 | 123130 | 13361 | 44634 0 | 5 | 800 68.98/69.06 c 66.0s | 10 | 130747 | 13761 | 44634 0 | 5 | 800 71.28/71.31 c 68.2s | 10 | 134880 | 14161 | 44634 0 | 5 | 800 73.58/73.66 c 70.6s | 10 | 139858 | 14661 | 44634 0 | 5 | 800 75.68/75.77 c 72.7s | 10 | 143079 | 15161 | 44634 0 | 5 | 800 78.09/78.15 c 75.1s | 10 | 146317 | 15661 | 44634 0 | 5 | 800 80.29/80.39 c 77.3s | 10 | 153575 | 16161 | 44634 0 | 5 | 800 82.38/82.45 c 79.4s | 10 | 158820 | 16561 | 44634 0 | 5 | 800 84.79/84.84 c 81.8s | 10 | 163735 | 17061 | 49098 0 | 5 | 800 85.18/85.22 c 82.2s | 11 | 164484 | 17144 | 49098 0 | 5 | 800 87.48/87.58 c 84.5s | 11 | 166469 | 17644 | 49098 0 | 5 | 800 89.88/89.90 c 86.8s | 11 | 170135 | 18144 | 49098 0 | 5 | 800 92.38/92.50 c 89.4s | 11 | 174623 | 18544 | 49098 0 | 5 | 800 94.77/94.80 c 91.7s | 11 | 178242 | 19044 | 49098 0 | 5 | 800 96.97/97.06 c 94.0s | 11 | 180727 | 19544 | 49098 0 | 5 | 800 99.17/99.29 c 96.2s | 11 | 183531 | 19944 | 49098 0 | 5 | 800 101.77/101.82 c 98.8s | 11 | 187375 | 20344 | 49098 0 | 5 | 800 103.87/103.98 c 100s | 11 | 189982 | 20644 | 49098 0 | 5 | 800 105.97/106.02 c 102s | 11 | 193913 | 20944 | 49098 0 | 5 | 800 108.37/108.43 c 105s | 11 | 198372 | 21344 | 49098 0 | 5 | 800 110.47/110.55 c 107s | 11 | 200540 | 21844 | 49098 0 | 5 | 800 112.96/113.00 c 109s | 11 | 206249 | 22344 | 49098 0 | 5 | 800 115.16/115.27 c 112s | 11 | 211151 | 22744 | 49098 0 | 5 | 800 117.26/117.36 c 114s | 11 | 214020 | 23244 | 49098 0 | 5 | 800 119.46/119.53 c 116s | 11 | 219273 | 23744 | 49098 0 | 5 | 800 121.96/122.04 c 118s | 11 | 223801 | 24144 | 49098 0 | 5 | 800 124.46/124.55 c 121s | 11 | 230159 | 24544 | 49098 0 | 5 | 800 126.56/126.64 c 123s | 11 | 234970 | 24944 | 49098 0 | 5 | 800 128.56/128.70 c 125s | 11 | 236961 | 25444 | 49098 0 | 5 | 800 130.26/130.38 c 127s | 12 | 241067 | 25819 | 54008 0 | 5 | 800 132.35/132.40 c 129s | 12 | 244466 | 26119 | 54008 0 | 5 | 800 134.85/134.99 c 131s | 12 | 249223 | 26519 | 54008 0 | 5 | 800 136.95/137.10 c 134s | 12 | 253595 | 27019 | 54008 0 | 5 | 800 139.15/139.27 c 136s | 12 | 259452 | 27619 | 54008 0 | 5 | 800 141.54/141.67 c 138s | 12 | 261872 | 28019 | 54008 0 | 5 | 800 144.15/144.22 c 141s | 12 | 267706 | 28419 | 54008 0 | 5 | 800 146.54/146.68 c 143s | 12 | 273166 | 28819 | 54008 0 | 5 | 800 148.64/148.79 c 145s | 12 | 279012 | 29419 | 54008 0 | 5 | 800 150.94/151.06 c 147s | 12 | 283553 | 29919 | 54008 0 | 5 | 800 153.24/153.33 c 150s | 12 | 288617 | 30319 | 54008 0 | 5 | 800 155.24/155.34 c 152s | 12 | 295414 | 30719 | 54008 0 | 5 | 800 157.74/157.84 c 154s | 12 | 300265 | 31119 | 54008 0 | 5 | 800 160.04/160.18 c 157s | 12 | 305566 | 31519 | 54008 0 | 5 | 800 162.34/162.44 c 159s | 12 | 309363 | 32119 | 54008 0 | 5 | 800 164.64/164.77 c 161s | 12 | 316051 | 32619 | 54008 0 | 5 | 800 167.03/167.15 c 164s | 12 | 321461 | 33019 | 54008 0 | 5 | 800 169.13/169.26 c 166s | 12 | 324854 | 33419 | 54008 0 | 5 | 800 171.64/171.74 c 168s | 12 | 329613 | 34019 | 54008 0 | 5 | 800 173.93/174.04 c 170s | 12 | 333270 | 34419 | 54008 0 | 5 | 800 176.04/176.19 c 173s | 12 | 337846 | 34919 | 54008 0 | 5 | 800 178.43/178.51 c 175s | 12 | 342389 | 35419 | 54008 0 | 5 | 800 180.73/180.88 c 177s | 12 | 347016 | 35819 | 54008 0 | 5 | 800 183.02/183.10 c 180s | 12 | 350257 | 36319 | 54008 0 | 5 | 800 185.52/185.63 c 182s | 12 | 354530 | 36819 | 54008 0 | 5 | 800 187.52/187.67 c 184s | 12 | 359025 | 37219 | 54008 0 | 5 | 800 190.02/190.12 c 187s | 12 | 364220 | 37819 | 54008 0 | 5 | 800 192.21/192.37 c 189s | 12 | 368796 | 38219 | 54008 0 | 5 | 800 194.62/194.74 c 191s | 12 | 373407 | 38619 | 59409 0 | 5 | 800 195.72/195.90 c 192s | 13 | 374615 | 38832 | 59409 0 | 5 | 800 197.92/198.01 c 194s | 13 | 379323 | 39332 | 59409 0 | 5 | 800 200.41/200.58 c 197s | 13 | 385640 | 39832 | 59409 0 | 5 | 800 202.61/202.73 c 199s | 13 | 391857 | 40432 | 59409 0 | 5 | 800 204.81/204.90 c 201s | 13 | 397203 | 41032 | 59409 0 | 5 | 800 206.81/206.93 c 203s | 13 | 401669 | 41532 | 59409 0 | 5 | 800 209.41/209.50 c 206s | 13 | 406336 | 42132 | 59409 0 | 5 | 800 211.70/211.82 c 208s | 13 | 410421 | 42632 | 59409 0 | 5 | 800 214.20/214.36 c 211s | 13 | 414585 | 43232 | 59409 0 | 5 | 800 216.50/216.66 c 213s | 13 | 420412 | 43932 | 59409 0 | 5 | 800 218.70/218.84 c 215s | 13 | 424799 | 44432 | 59409 0 | 5 | 800 220.90/221.00 c 217s | 13 | 427688 | 44932 | 59409 0 | 5 | 800 222.90/223.05 c 219s | 13 | 432640 | 45332 | 59409 0 | 5 | 800 225.00/225.18 c 222s | 13 | 435643 | 45932 | 59409 0 | 5 | 800 227.30/227.43 c 224s | 13 | 439881 | 46532 | 59409 0 | 5 | 800 229.50/229.61 c 226s | 13 | 444887 | 47132 | 59409 0 | 5 | 800 231.69/231.85 c 228s | 13 | 449492 | 47732 | 59409 0 | 5 | 800 233.99/234.16 c 231s | 13 | 452175 | 48332 | 59409 0 | 5 | 800 236.19/236.35 c 233s | 13 | 455101 | 48832 | 59409 0 | 5 | 800 238.19/238.36 c 235s | 13 | 458780 | 49432 | 59409 0 | 5 | 800 240.39/240.59 c 237s | 13 | 460956 | 50032 | 59409 0 | 5 | 800 242.79/242.96 c 239s | 13 | 464104 | 50732 | 59409 0 | 5 | 800 244.89/245.07 c 242s | 13 | 466397 | 51332 | 59409 0 | 5 | 800 247.19/247.35 c 244s | 13 | 469196 | 52032 | 59409 0 | 5 | 800 249.39/249.57 c 246s | 13 | 471462 | 52732 | 59409 0 | 5 | 800 251.58/251.73 c 248s | 13 | 474583 | 53332 | 59409 0 | 5 | 800 253.78/253.90 c 250s | 13 | 478965 | 53632 | 59409 0 | 5 | 800 255.78/255.91 c 252s | 13 | 482247 | 53932 | 59409 0 | 5 | 800 257.98/258.14 c 255s | 13 | 486010 | 54332 | 59409 0 | 5 | 800 260.38/260.52 c 257s | 13 | 491291 | 54832 | 59409 0 | 5 | 800 262.68/262.89 c 259s | 13 | 495733 | 55232 | 59409 0 | 5 | 800 264.78/264.96 c 261s | 13 | 498414 | 55732 | 59409 0 | 5 | 800 266.98/267.11 c 264s | 13 | 502502 | 56132 | 59409 0 | 5 | 800 269.08/269.23 c 266s | 13 | 505753 | 56432 | 59409 0 | 5 | 800 271.07/271.23 c 268s | 13 | 509804 | 56732 | 59409 0 | 5 | 800 273.17/273.38 c 270s | 13 | 516223 | 57332 | 59409 0 | 5 | 800 275.77/275.96 c 272s | 13 | 520985 | 57832 | 59409 0 | 5 | 800 278.37/278.51 c 275s | 13 | 525527 | 58232 | 65350 0 | 5 | 800 278.97/279.18 c 276s | 14 | 526661 | 58352 | 65350 0 | 5 | 800 281.47/281.64 c 278s | 14 | 530424 | 58652 | 65350 0 | 5 | 800 283.47/283.68 c 280s | 14 | 533857 | 59052 | 65350 0 | 5 | 800 286.17/286.36 c 283s | 14 | 538720 | 59652 | 65350 0 | 5 | 800 288.77/288.94 c 285s | 14 | 541847 | 60052 | 65350 0 | 5 | 800 290.96/291.10 c 288s | 14 | 544866 | 60552 | 65350 0 | 5 | 800 293.36/293.56 c 290s | 14 | 548379 | 61052 | 65350 0 | 5 | 800 295.96/296.13 c 293s | 14 | 552778 | 61452 | 65350 0 | 5 | 800 298.36/298.52 c 295s | 14 | 555777 | 61852 | 65350 0 | 5 | 800 300.86/301.02 c 297s | 14 | 559629 | 62252 | 65350 0 | 5 | 800 303.16/303.37 c 300s | 14 | 561741 | 62652 | 65350 0 | 5 | 800 305.66/305.81 c 302s | 14 | 563964 | 63052 | 65350 0 | 5 | 800 308.16/308.37 c 305s | 14 | 567494 | 63452 | 65350 0 | 5 | 800 310.45/310.66 c 307s | 14 | 570954 | 63952 | 65350 0 | 5 | 800 312.65/312.86 c 309s | 14 | 575799 | 64352 | 65350 0 | 5 | 800 314.75/314.93 c 311s | 14 | 579237 | 64652 | 65350 0 | 5 | 800 317.25/317.40 c 314s | 14 | 583287 | 65052 | 65350 0 | 5 | 800 319.25/319.41 c 316s | 14 | 586266 | 65452 | 65350 0 | 5 | 800 321.55/321.78 c 318s | 14 | 589887 | 65952 | 65350 0 | 5 | 800 323.75/323.98 c 320s | 14 | 594228 | 66552 | 65350 0 | 5 | 800 326.15/326.31 c 323s | 14 | 597847 | 66952 | 65350 0 | 5 | 800 328.25/328.47 c 325s | 14 | 601600 | 67452 | 65350 0 | 5 | 800 331.15/331.35 c 328s | 14 | 604285 | 67752 | 65350 1 | 5 | 800 333.55/333.73 c 330s | 14 | 607418 | 68252 | 65350 1 | 5 | 800 335.55/335.75 c 332s | 14 | 608711 | 68652 | 65350 1 | 5 | 800 337.55/337.79 c 334s | 14 | 612479 | 69052 | 65350 1 | 5 | 800 339.75/339.98 c 336s | 14 | 617027 | 69552 | 65350 1 | 5 | 800 342.05/342.24 c 339s | 14 | 621839 | 70252 | 65350 1 | 5 | 800 344.34/344.59 c 341s | 14 | 625158 | 70852 | 65350 1 | 5 | 800 346.45/346.70 c 343s | 14 | 630058 | 71352 | 65350 1 | 5 | 800 348.74/348.98 c 345s | 14 | 635488 | 72052 | 65350 1 | 5 | 800 350.85/351.04 c 347s | 14 | 639819 | 72752 | 65350 1 | 5 | 800 352.84/353.09 c 350s | 14 | 643886 | 73352 | 65350 1 | 5 | 800 355.04/355.24 c 352s | 14 | 649358 | 74052 | 65350 1 | 5 | 800 357.44/357.66 c 354s | 14 | 653391 | 74852 | 65350 1 | 5 | 800 359.43/359.67 c 356s | 14 | 656206 | 75452 | 65350 1 | 5 | 800 361.63/361.80 c 358s | 14 | 659987 | 76152 | 65350 1 | 5 | 800 363.83/364.07 c 361s | 14 | 663247 | 76952 | 65350 1 | 5 | 800 366.14/366.32 c 363s | 14 | 665687 | 77652 | 65350 1 | 5 | 800 368.23/368.43 c 365s | 14 | 667611 | 78452 | 65350 1 | 5 | 800 373.03/373.25 c 370s | 14 | 670438 | 79152 | 65350 1 | 5 | 800 375.33/375.55 c 372s | 14 | 673194 | 79652 | 65350 1 | 5 | 800 377.32/377.58 c 374s | 14 | 676575 | 80052 | 65350 1 | 5 | 800 379.82/380.02 c 376s | 14 | 680819 | 80452 | 65350 1 | 5 | 800 382.12/382.32 c 379s | 14 | 686317 | 80852 | 65350 1 | 5 | 800 384.52/384.71 c 381s | 14 | 690965 | 81252 | 65350 1 | 5 | 800 386.52/386.74 c 383s | 14 | 694505 | 81752 | 65350 1 | 5 | 800 389.02/389.24 c 386s | 14 | 699790 | 82252 | 65350 1 | 5 | 800 391.42/391.61 c 388s | 14 | 703570 | 82652 | 65350 1 | 5 | 800 393.72/393.97 c 390s | 14 | 707422 | 83252 | 65350 1 | 5 | 800 396.31/396.58 c 393s | 14 | 711271 | 83652 | 65350 1 | 5 | 800 398.41/398.60 c 395s | 14 | 717068 | 84152 | 65350 1 | 5 | 800 400.51/400.77 c 397s | 14 | 720799 | 84652 | 65350 1 | 5 | 800 402.91/403.18 c 400s | 14 | 725439 | 85052 | 65350 1 | 5 | 800 405.31/405.52 c 402s | 14 | 730391 | 85552 | 65350 1 | 5 | 800 407.60/407.87 c 404s | 14 | 735647 | 86152 | 65350 1 | 5 | 800 409.70/409.96 c 406s | 14 | 742736 | 86752 | 65350 1 | 5 | 800 412.20/412.40 c 409s | 14 | 749125 | 87352 | 71885 1 | 5 | 800 413.50/413.71 c 410s | 15 | 752608 | 87632 | 71885 1 | 5 | 800 415.70/415.91 c 412s | 15 | 756970 | 88032 | 71885 1 | 5 | 800 417.70/417.92 c 414s | 15 | 760454 | 88532 | 71885 1 | 5 | 800 420.00/420.23 c 417s | 15 | 764399 | 89132 | 71885 1 | 5 | 800 422.20/422.44 c 419s | 15 | 768806 | 89632 | 71885 1 | 5 | 800 424.19/424.49 c 421s | 15 | 772137 | 90132 | 71885 1 | 5 | 800 426.49/426.74 c 423s | 15 | 776869 | 90532 | 71885 1 | 5 | 800 428.69/428.90 c 425s | 15 | 782769 | 91132 | 71885 1 | 5 | 800 431.09/431.32 c 428s | 15 | 786235 | 91732 | 71885 1 | 5 | 800 433.49/433.76 c 430s | 15 | 789238 | 92132 | 71885 1 | 5 | 800 435.89/436.17 c 433s | 15 | 793344 | 92732 | 71885 1 | 5 | 800 438.09/438.36 c 435s | 15 | 796545 | 93132 | 71885 1 | 5 | 800 440.19/440.41 c 437s | 15 | 800727 | 93732 | 71885 1 | 5 | 800 442.18/442.45 c 439s | 15 | 803232 | 94232 | 71885 1 | 5 | 800 444.29/444.53 c 441s | 15 | 806311 | 94632 | 71885 1 | 5 | 800 446.78/447.08 c 444s | 15 | 809929 | 95232 | 71885 1 | 5 | 800 448.98/449.29 c 446s | 15 | 813640 | 95732 | 71885 1 | 5 | 800 451.08/451.37 c 448s | 15 | 816812 | 96232 | 71885 1 | 5 | 800 453.18/453.44 c 450s | 15 | 820920 | 96732 | 71885 1 | 5 | 800 455.38/455.64 c 452s | 15 | 823472 | 97232 | 71885 1 | 5 | 800 457.58/457.88 c 454s | 15 | 826080 | 97732 | 71885 1 | 5 | 800 459.88/460.18 c 457s | 15 | 827933 | 98332 | 71885 1 | 5 | 800 461.88/462.19 c 459s | 15 | 829552 | 98832 | 71885 1 | 5 | 800 464.27/464.51 c 461s | 15 | 831182 | 99432 | 71885 1 | 5 | 800 466.37/466.68 c 463s | 15 | 831985 | 99932 | 71885 1 | 5 | 800 468.38/468.70 c 465s | 15 | 833757 | 100432 | 71885 1 | 5 | 800 470.68/470.94 c 467s | 15 | 837288 | 100832 | 71885 1 | 5 | 800 472.78/473.04 c 469s | 15 | 841607 | 101332 | 71885 1 | 5 | 800 474.87/475.13 c 472s | 15 | 844924 | 101632 | 71885 1 | 5 | 800 476.97/477.20 c 474s | 15 | 849403 | 102032 | 71885 1 | 5 | 800 479.17/479.46 c 476s | 15 | 852947 | 102532 | 71885 1 | 5 | 800 481.97/482.23 c 479s | 15 | 856584 | 102932 | 71885 1 | 5 | 800 484.67/484.97 c 481s | 15 | 861603 | 103332 | 71885 1 | 5 | 800 487.07/487.38 c 484s | 15 | 866232 | 103732 | 71885 1 | 5 | 800 489.27/489.52 c 486s | 15 | 871011 | 104332 | 71885 1 | 5 | 800 491.47/491.76 c 488s | 15 | 875978 | 104732 | 71885 1 | 5 | 800 493.96/494.26 c 491s | 15 | 881199 | 105132 | 71885 1 | 5 | 800 496.26/496.51 c 493s | 15 | 885433 | 105732 | 71885 1 | 5 | 800 498.86/499.19 c 496s | 15 | 889179 | 106132 | 71885 1 | 5 | 800 501.16/501.42 c 498s | 15 | 892987 | 106432 | 71885 1 | 5 | 800 503.36/503.68 c 500s | 15 | 896330 | 106732 | 71885 1 | 5 | 800 505.66/505.93 c 502s | 15 | 899921 | 107132 | 71885 1 | 5 | 800 507.85/508.15 c 505s | 15 | 904324 | 107732 | 71885 1 | 5 | 800 510.17/510.45 c 507s | 15 | 906521 | 107932 | 71885 2 | 5 | 800 512.46/512.77 c 509s | 15 | 911638 | 108332 | 71885 2 | 5 | 800 514.66/514.98 c 511s | 15 | 916415 | 108832 | 71885 2 | 5 | 800 516.86/517.11 c 514s | 15 | 919508 | 109332 | 71885 2 | 5 | 800 519.15/519.41 c 516s | 15 | 925179 | 109832 | 71885 2 | 5 | 800 521.35/521.60 c 518s | 15 | 929232 | 110332 | 71885 2 | 5 | 800 523.65/523.97 c 520s | 15 | 934453 | 110932 | 71885 2 | 5 | 800 525.75/526.03 c 522s | 15 | 938017 | 111432 | 71885 2 | 5 | 800 528.15/528.43 c 525s | 15 | 942024 | 111932 | 71885 2 | 5 | 800 530.45/530.72 c 527s | 15 | 945724 | 112332 | 71885 2 | 5 | 800 532.95/533.24 c 530s | 15 | 949919 | 112932 | 71885 2 | 5 | 800 535.45/535.70 c 532s | 15 | 954435 | 113332 | 71885 2 | 5 | 800 537.45/537.78 c 534s | 15 | 958747 | 113732 | 71885 2 | 5 | 800 539.95/540.27 c 537s | 15 | 962519 | 114332 | 71885 2 | 5 | 800 542.35/542.61 c 539s | 15 | 966113 | 114832 | 71885 2 | 5 | 800 544.45/544.72 c 541s | 15 | 968897 | 115232 | 71885 2 | 5 | 800 546.75/547.05 c 543s | 15 | 972294 | 115832 | 71885 2 | 5 | 800 548.75/549.08 c 546s | 15 | 976729 | 116232 | 71885 2 | 5 | 800 550.85/551.10 c 548s | 15 | 980737 | 116732 | 71885 2 | 5 | 800 552.94/553.29 c 550s | 15 | 983918 | 117332 | 71885 2 | 5 | 800 555.14/555.49 c 552s | 15 | 987017 | 117732 | 71885 2 | 5 | 800 557.55/557.87 c 554s | 15 | 989438 | 118232 | 71885 2 | 5 | 800 559.75/560.05 c 556s | 15 | 992792 | 118632 | 71885 2 | 5 | 800 561.95/562.27 c 559s | 15 | 995866 | 119132 | 71885 2 | 5 | 800 563.94/564.27 c 561s | 15 | 998654 | 119632 | 71885 2 | 5 | 800 566.25/566.53 c 563s | 15 | 1001364 | 120032 | 71885 2 | 5 | 800 568.24/568.57 c 565s | 15 | 1003521 | 120432 | 71885 2 | 5 | 800 570.54/570.85 c 567s | 15 | 1006189 | 120932 | 71885 2 | 5 | 800 572.74/573.07 c 570s | 15 | 1008603 | 121532 | 71885 2 | 5 | 800 575.34/575.61 c 572s | 15 | 1011710 | 122132 | 71885 2 | 5 | 800 577.64/577.96 c 574s | 15 | 1014162 | 122732 | 71885 2 | 5 | 800 579.83/580.16 c 577s | 15 | 1016075 | 123232 | 71885 2 | 5 | 800 582.03/582.33 c 579s | 15 | 1017247 | 123732 | 71885 2 | 5 | 800 584.13/584.48 c 581s | 15 | 1018405 | 124332 | 71885 2 | 5 | 800 586.33/586.62 c 583s | 15 | 1019546 | 124932 | 71885 2 | 5 | 800 588.34/588.69 c 585s | 15 | 1020874 | 125432 | 71885 2 | 5 | 800 590.73/591.05 c 587s | 15 | 1023453 | 126032 | 71885 2 | 5 | 800 592.92/593.27 c 590s | 15 | 1026589 | 126632 | 71885 2 | 5 | 800 595.42/595.70 c 592s | 15 | 1028752 | 127132 | 71885 2 | 5 | 800 597.42/597.77 c 594s | 15 | 1031027 | 127632 | 71885 2 | 5 | 800 599.92/600.25 c 597s | 15 | 1035700 | 128232 | 71885 2 | 5 | 800 602.12/602.41 c 599s | 15 | 1037936 | 128632 | 71885 2 | 5 | 800 604.22/604.59 c 601s | 15 | 1040688 | 129132 | 71885 2 | 5 | 800 606.32/606.61 c 603s | 15 | 1044091 | 129532 | 71885 2 | 5 | 800 608.32/608.68 c 605s | 15 | 1046648 | 130032 | 71885 2 | 5 | 800 610.72/611.04 c 607s | 15 | 1048990 | 130532 | 71885 2 | 5 | 800 612.91/613.25 c 610s | 15 | 1051469 | 131032 | 79074 2 | 5 | 800 615.21/615.55 c 612s | 15 | 1053076 | 131432 | 79074 2 | 5 | 800 615.91/616.21 c 613s | 16 | 1053274 | 131552 | 79074 2 | 5 | 800 618.11/618.43 c 615s | 16 | 1056566 | 131752 | 79074 2 | 5 | 800 620.51/620.89 c 617s | 16 | 1060830 | 132052 | 79074 2 | 5 | 800 622.61/622.97 c 619s | 16 | 1064822 | 132352 | 79074 2 | 5 | 800 625.01/625.31 c 622s | 16 | 1067540 | 132752 | 79074 2 | 5 | 800 627.21/627.50 c 624s | 16 | 1069718 | 133152 | 79074 2 | 5 | 800 629.91/630.20 c 627s | 16 | 1074662 | 133552 | 79074 2 | 5 | 800 632.00/632.38 c 629s | 16 | 1077221 | 133852 | 79074 2 | 5 | 800 634.60/634.95 c 631s | 16 | 1080581 | 134352 | 79074 2 | 5 | 800 636.80/637.14 c 634s | 16 | 1083849 | 134652 | 79074 2 | 5 | 800 638.91/639.29 c 636s | 16 | 1086314 | 135052 | 79074 2 | 5 | 800 641.10/641.45 c 638s | 16 | 1090048 | 135452 | 79074 2 | 5 | 800 643.20/643.56 c 640s | 16 | 1093033 | 135752 | 79074 2 | 5 | 800 646.00/646.31 c 643s | 16 | 1098505 | 136152 | 79074 2 | 5 | 800 648.10/648.45 c 645s | 16 | 1102034 | 136452 | 79074 2 | 5 | 800 650.50/650.80 c 647s | 16 | 1106256 | 137052 | 79074 2 | 5 | 800 652.79/653.15 c 650s | 16 | 1111468 | 137452 | 79074 2 | 5 | 800 654.89/655.20 c 652s | 16 | 1115170 | 137752 | 79074 2 | 5 | 800 656.89/657.21 c 654s | 16 | 1120007 | 138252 | 79074 2 | 5 | 800 659.19/659.57 c 656s | 16 | 1125175 | 138752 | 79074 2 | 5 | 800 661.19/661.59 c 658s | 16 | 1128974 | 139052 | 79074 2 | 5 | 800 663.29/663.65 c 660s | 16 | 1132706 | 139352 | 79074 2 | 5 | 800 665.39/665.78 c 662s | 16 | 1135845 | 139852 | 79074 2 | 5 | 800 667.79/668.12 c 665s | 16 | 1140583 | 140252 | 79074 2 | 5 | 800 669.79/670.17 c 667s | 16 | 1144644 | 140652 | 79074 2 | 5 | 800 672.18/672.59 c 669s | 16 | 1148912 | 141252 | 79074 2 | 5 | 800 674.48/674.86 c 671s | 16 | 1152290 | 141752 | 79074 2 | 5 | 800 676.78/677.13 c 674s | 16 | 1157324 | 142152 | 79074 2 | 5 | 800 678.98/679.37 c 676s | 16 | 1162376 | 142752 | 79074 2 | 5 | 800 681.18/681.59 c 678s | 16 | 1167018 | 143352 | 79074 2 | 5 | 800 683.68/684.02 c 680s | 16 | 1170504 | 143752 | 79074 2 | 5 | 800 685.88/686.25 c 683s | 16 | 1174547 | 144352 | 79074 2 | 5 | 800 688.18/688.53 c 685s | 16 | 1176218 | 144852 | 79074 2 | 5 | 800 690.38/690.77 c 687s | 16 | 1178876 | 145352 | 79074 2 | 5 | 800 692.78/693.14 c 690s | 16 | 1181257 | 145952 | 79074 2 | 5 | 800 695.08/695.48 c 692s | 16 | 1183380 | 146552 | 79074 2 | 5 | 800 697.48/697.82 c 694s | 16 | 1184638 | 147152 | 79074 2 | 5 | 800 699.58/699.93 c 696s | 16 | 1186984 | 147552 | 79074 2 | 5 | 800 701.88/702.28 c 699s | 16 | 1189855 | 148152 | 79074 2 | 5 | 800 704.18/704.58 c 701s | 16 | 1193418 | 148752 | 79074 2 | 5 | 800 706.58/706.94 c 703s | 16 | 1195650 | 149152 | 79074 2 | 5 | 800 708.68/709.07 c 706s | 16 | 1198849 | 149652 | 79074 2 | 5 | 800 710.97/711.33 c 708s | 16 | 1202838 | 150052 | 79074 2 | 5 | 800 713.77/714.16 c 711s | 16 | 1205661 | 150552 | 79074 3 | 5 | 800 717.88/718.20 c 715s | 16 | 1207165 | 150652 | 79074 3 | 5 | 800 721.98/722.39 c 719s | 16 | 1210669 | 150952 | 79074 3 | 5 | 800 724.48/724.81 c 721s | 16 | 1214458 | 151352 | 79074 3 | 5 | 800 726.48/726.83 c 723s | 16 | 1217022 | 151852 | 79074 3 | 5 | 800 729.98/730.40 c 727s | 16 | 1220834 | 152152 | 79074 3 | 5 | 800 732.08/732.47 c 729s | 16 | 1226925 | 152552 | 79074 3 | 5 | 800 734.48/734.87 c 731s | 16 | 1231124 | 153152 | 79074 3 | 5 | 800 736.88/737.25 c 734s | 16 | 1236751 | 153652 | 79074 3 | 5 | 800 739.07/739.40 c 736s | 16 | 1240758 | 154152 | 79074 3 | 5 | 800 741.08/741.42 c 738s | 16 | 1244727 | 154552 | 79074 3 | 5 | 800 743.38/743.71 c 740s | 16 | 1247433 | 155052 | 79074 3 | 5 | 800 745.48/745.85 c 742s | 16 | 1250673 | 155452 | 79074 3 | 5 | 800 747.97/748.36 c 745s | 16 | 1255360 | 155852 | 79074 3 | 5 | 800 750.27/750.62 c 747s | 16 | 1261908 | 156452 | 79074 3 | 5 | 800 752.37/752.78 c 749s | 16 | 1266015 | 157052 | 79074 3 | 5 | 800 754.77/755.10 c 752s | 16 | 1272424 | 157552 | 79074 3 | 5 | 800 756.87/757.27 c 754s | 16 | 1275428 | 158052 | 79074 3 | 5 | 800 758.97/759.38 c 756s | 16 | 1280826 | 158452 | 79074 3 | 5 | 800 761.47/761.81 c 758s | 16 | 1283162 | 158852 | 79074 3 | 5 | 800 763.57/763.98 c 760s | 16 | 1288624 | 159352 | 79074 3 | 5 | 800 766.27/766.62 c 763s | 16 | 1294156 | 160052 | 79074 3 | 5 | 800 768.37/768.75 c 765s | 16 | 1298533 | 160652 | 79074 3 | 5 | 800 770.37/770.75 c 767s | 16 | 1303395 | 161152 | 79074 3 | 5 | 800 772.98/773.36 c 770s | 16 | 1306892 | 161752 | 79074 3 | 5 | 800 775.28/775.66 c 772s | 16 | 1310748 | 162352 | 79074 3 | 5 | 800 777.67/778.05 c 774s | 16 | 1313612 | 162952 | 79074 3 | 5 | 800 779.97/780.39 c 777s | 16 | 1316227 | 163452 | 79074 3 | 5 | 800 782.17/782.59 c 779s | 16 | 1319330 | 163952 | 79074 3 | 5 | 800 784.47/784.85 c 781s | 16 | 1322582 | 164552 | 79074 3 | 5 | 800 786.97/787.40 c 784s | 16 | 1324637 | 165052 | 79074 3 | 5 | 800 789.07/789.44 c 786s | 16 | 1327554 | 165652 | 79074 3 | 5 | 800 791.17/791.56 c 788s | 16 | 1329615 | 166152 | 79074 3 | 5 | 800 793.37/793.75 c 790s | 16 | 1330689 | 166652 | 79074 3 | 5 | 800 795.77/796.18 c 793s | 16 | 1332215 | 167152 | 79074 3 | 5 | 800 797.86/798.21 c 795s | 16 | 1336021 | 167552 | 79074 3 | 5 | 800 800.26/800.68 c 797s | 16 | 1338715 | 168052 | 79074 3 | 5 | 800 802.67/803.09 c 800s | 16 | 1342540 | 168352 | 79074 3 | 5 | 800 804.76/805.19 c 802s | 16 | 1345522 | 168652 | 79074 3 | 5 | 800 807.17/807.57 c 804s | 16 | 1350798 | 169252 | 79074 3 | 5 | 800 809.37/809.72 c 806s | 16 | 1355566 | 169552 | 79074 3 | 5 | 800 811.47/811.87 c 808s | 16 | 1358659 | 169952 | 79074 3 | 5 | 800 813.86/814.26 c 811s | 16 | 1360281 | 170352 | 79074 3 | 5 | 800 815.87/816.29 c 813s | 16 | 1362571 | 170652 | 79074 3 | 5 | 800 818.17/818.51 c 815s | 16 | 1367524 | 171052 | 79074 3 | 5 | 800 820.66/821.08 c 818s | 16 | 1371706 | 171652 | 79074 3 | 5 | 800 823.26/823.67 c 820s | 16 | 1376389 | 172052 | 79074 3 | 5 | 800 825.36/825.78 c 822s | 16 | 1383009 | 172552 | 79074 3 | 5 | 800 827.86/828.28 c 825s | 16 | 1387612 | 173152 | 79074 3 | 5 | 800 830.17/830.58 c 827s | 16 | 1390817 | 173652 | 79074 3 | 5 | 800 832.56/832.95 c 829s | 16 | 1395769 | 174052 | 79074 3 | 5 | 800 834.67/835.05 c 831s | 16 | 1400364 | 174552 | 79074 3 | 5 | 800 836.96/837.32 c 834s | 16 | 1403753 | 174952 | 79074 3 | 5 | 800 839.26/839.62 c 836s | 16 | 1406329 | 175352 | 79074 3 | 5 | 800 841.66/842.02 c 838s | 16 | 1411551 | 175952 | 79074 3 | 5 | 800 843.76/844.17 c 841s | 16 | 1414501 | 176452 | 79074 3 | 5 | 800 845.86/846.25 c 843s | 16 | 1417287 | 176952 | 79074 3 | 5 | 800 848.56/848.92 c 845s | 16 | 1420454 | 177352 | 79074 3 | 5 | 800 850.66/851.07 c 848s | 16 | 1422363 | 177752 | 79074 3 | 5 | 800 852.66/853.08 c 850s | 16 | 1425134 | 178052 | 79074 3 | 5 | 800 854.76/855.13 c 852s | 16 | 1428384 | 178552 | 79074 3 | 5 | 800 856.96/857.30 c 854s | 16 | 1432339 | 178952 | 79074 3 | 5 | 800 859.06/859.45 c 856s | 16 | 1435270 | 179452 | 79074 3 | 5 | 800 861.26/861.68 c 858s | 16 | 1439969 | 180052 | 79074 3 | 5 | 800 863.26/863.69 c 860s | 16 | 1441621 | 180452 | 79074 3 | 5 | 800 865.46/865.88 c 862s | 16 | 1444472 | 180952 | 79074 3 | 5 | 800 867.56/867.93 c 864s | 16 | 1446735 | 181352 | 79074 3 | 5 | 800 869.76/870.11 c 867s | 16 | 1449629 | 181852 | 79074 3 | 5 | 800 871.96/872.40 c 869s | 16 | 1451958 | 182352 | 79074 3 | 5 | 800 874.35/874.77 c 871s | 16 | 1454280 | 182952 | 79074 3 | 5 | 800 876.75/877.19 c 874s | 16 | 1457119 | 183552 | 79074 3 | 5 | 800 878.85/879.29 c 876s | 16 | 1459733 | 184152 | 79074 3 | 5 | 800 880.95/881.30 c 878s | 16 | 1461724 | 184752 | 79074 3 | 5 | 800 883.15/883.56 c 880s | 16 | 1463861 | 185452 | 79074 3 | 5 | 800 885.95/886.37 c 883s | 16 | 1468203 | 185852 | 79074 3 | 5 | 800 888.15/888.59 c 885s | 16 | 1471643 | 186352 | 79074 3 | 5 | 800 890.35/890.76 c 887s | 16 | 1477833 | 186752 | 79074 3 | 5 | 800 892.45/892.80 c 889s | 16 | 1481239 | 187052 | 79074 3 | 5 | 800 894.55/894.97 c 891s | 16 | 1485865 | 187552 | 79074 3 | 5 | 800 896.65/897.03 c 893s | 16 | 1489177 | 187952 | 79074 3 | 5 | 800 899.05/899.48 c 896s | 16 | 1492447 | 188252 | 79074 3 | 5 | 800 901.15/901.52 c 898s | 16 | 1496403 | 188652 | 79074 3 | 5 | 800 903.45/903.87 c 900s | 16 | 1500469 | 189152 | 79074 3 | 5 | 800 905.75/906.12 c 903s | 16 | 1504522 | 189452 | 79074 3 | 5 | 800 908.15/908.50 c 905s | 16 | 1508202 | 189852 | 79074 3 | 5 | 800 910.45/910.86 c 907s | 16 | 1510916 | 190352 | 79074 3 | 5 | 800 912.85/913.29 c 910s | 16 | 1515664 | 190752 | 79074 3 | 5 | 800 915.05/915.41 c 912s | 16 | 1519461 | 191152 | 79074 3 | 5 | 800 917.05/917.42 c 914s | 16 | 1520773 | 191452 | 79074 3 | 5 | 800 921.04/921.40 c 918s | 16 | 1523207 | 191652 | 79074 4 | 5 | 800 923.66/924.10 c 921s | 16 | 1525538 | 191952 | 79074 4 | 5 | 800 926.05/926.41 c 923s | 16 | 1529099 | 192552 | 79074 4 | 5 | 800 928.15/928.54 c 925s | 16 | 1533729 | 193152 | 79074 4 | 5 | 800 930.45/930.86 c 927s | 16 | 1537341 | 193552 | 79074 4 | 5 | 800 932.65/933.08 c 930s | 16 | 1541992 | 194152 | 79074 4 | 5 | 800 935.15/935.58 c 932s | 16 | 1544606 | 194752 | 79074 4 | 5 | 800 937.25/937.64 c 934s | 16 | 1550138 | 195452 | 79074 4 | 5 | 800 939.45/939.81 c 936s | 16 | 1554745 | 196152 | 86982 4 | 5 | 800 941.64/942.00 c 938s | 16 | 1558437 | 196652 | 86982 4 | 5 | 800 943.74/944.18 c 941s | 16 | 1562309 | 197252 | 86982 4 | 5 | 800 944.24/944.61 c 941s | 17 | 1563029 | 197432 | 86982 4 | 5 | 800 946.54/946.93 c 943s | 17 | 1565484 | 197932 | 86982 4 | 5 | 800 948.54/948.99 c 945s | 17 | 1568181 | 198432 | 86982 4 | 5 | 800 950.84/951.25 c 948s | 17 | 1571103 | 199132 | 86982 4 | 5 | 800 953.04/953.41 c 950s | 17 | 1574318 | 199832 | 86982 4 | 5 | 800 955.24/955.69 c 952s | 17 | 1576265 | 200632 | 86982 4 | 5 | 800 957.54/957.92 c 954s | 17 | 1579157 | 201132 | 86982 4 | 5 | 800 959.74/960.19 c 957s | 17 | 1582897 | 201532 | 86982 4 | 5 | 800 961.94/962.35 c 959s | 17 | 1585567 | 202032 | 86982 4 | 5 | 800 964.14/964.53 c 961s | 17 | 1590202 | 202432 | 86982 4 | 5 | 800 966.24/966.69 c 963s | 17 | 1595037 | 202932 | 86982 4 | 5 | 800 968.54/968.92 c 965s | 17 | 1598790 | 203432 | 86982 4 | 5 | 800 970.84/971.25 c 968s | 17 | 1602125 | 203932 | 86982 4 | 5 | 800 973.14/973.54 c 970s | 17 | 1606071 | 204432 | 86982 4 | 5 | 800 975.34/975.78 c 972s | 17 | 1611358 | 205032 | 86982 4 | 5 | 800 977.44/977.88 c 974s | 17 | 1615161 | 205532 | 86982 4 | 5 | 800 979.64/980.05 c 976s | 17 | 1618688 | 206032 | 86982 4 | 5 | 800 982.04/982.43 c 979s | 17 | 1620887 | 206532 | 86982 4 | 5 | 800 984.14/984.58 c 981s | 17 | 1623266 | 206932 | 86982 4 | 5 | 800 986.14/986.58 c 983s | 17 | 1625994 | 207432 | 86982 4 | 5 | 800 988.43/988.85 c 985s | 17 | 1629149 | 207932 | 86982 4 | 5 | 800 990.63/991.08 c 988s | 17 | 1631671 | 208332 | 86982 4 | 5 | 800 992.73/993.13 c 990s | 17 | 1633969 | 208932 | 86982 4 | 5 | 800 994.83/995.24 c 992s | 17 | 1637256 | 209532 | 86982 4 | 5 | 800 997.23/997.66 c 994s | 17 | 1639423 | 210032 | 86982 4 | 5 | 800 999.64/1000.05 c 996s | 17 | 1642131 | 210632 | 86982 4 | 5 | 800 1001.84/1002.23 c 999s | 17 | 1643886 | 211132 | 86982 4 | 5 | 800 1004.13/1004.50 c 1001s | 17 | 1646186 | 211732 | 86982 4 | 5 | 800 1006.33/1006.77 c 1003s | 17 | 1647986 | 212332 | 86982 4 | 5 | 800 1008.44/1008.86 c 1005s | 17 | 1649573 | 212832 | 86982 4 | 5 | 800 1011.03/1011.48 c 1008s | 17 | 1653906 | 213332 | 86982 4 | 5 | 800 1013.43/1013.82 c 1010s | 17 | 1658333 | 213932 | 86982 4 | 5 | 800 1015.83/1016.21 c 1013s | 17 | 1664187 | 214332 | 86982 4 | 5 | 800 1018.13/1018.59 c 1015s | 17 | 1668635 | 214732 | 86982 4 | 5 | 800 1020.54/1020.92 c 1017s | 17 | 1670839 | 215232 | 86982 4 | 5 | 800 1022.93/1023.36 c 1020s | 17 | 1676058 | 215632 | 86982 4 | 5 | 800 1025.23/1025.66 c 1022s | 17 | 1678793 | 216032 | 86982 4 | 5 | 800 1027.63/1028.04 c 1024s | 17 | 1681744 | 216532 | 86982 4 | 5 | 800 1030.03/1030.43 c 1027s | 17 | 1686423 | 216932 | 86982 4 | 5 | 800 1032.23/1032.62 c 1029s | 17 | 1689413 | 217332 | 86982 4 | 5 | 800 1034.33/1034.77 c 1031s | 17 | 1692531 | 217832 | 86982 4 | 5 | 800 1036.63/1037.01 c 1033s | 17 | 1695622 | 218132 | 86982 4 | 5 | 800 1039.13/1039.58 c 1036s | 17 | 1699134 | 218532 | 86982 4 | 5 | 800 1041.53/1041.94 c 1038s | 17 | 1702321 | 219032 | 86982 4 | 5 | 800 1043.83/1044.21 c 1041s | 17 | 1706632 | 219532 | 86982 4 | 5 | 800 1046.33/1046.77 c 1043s | 17 | 1710921 | 220032 | 86982 4 | 5 | 800 1048.52/1048.92 c 1045s | 17 | 1713827 | 220532 | 86982 4 | 5 | 800 1051.02/1051.42 c 1048s | 17 | 1719036 | 221032 | 86982 4 | 5 | 800 1053.12/1053.56 c 1050s | 17 | 1721444 | 221532 | 86982 4 | 5 | 800 1055.32/1055.80 c 1052s | 17 | 1723322 | 221932 | 86982 4 | 5 | 800 1057.52/1057.93 c 1054s | 17 | 1726624 | 222432 | 86982 4 | 5 | 800 1059.82/1060.23 c 1057s | 17 | 1730053 | 223032 | 86982 4 | 5 | 800 1062.02/1062.42 c 1059s | 17 | 1733058 | 223532 | 86982 4 | 5 | 800 1064.12/1064.55 c 1061s | 17 | 1736814 | 224032 | 86982 4 | 5 | 800 1066.32/1066.72 c 1063s | 17 | 1741542 | 224732 | 86982 4 | 5 | 800 1068.52/1068.99 c 1065s | 17 | 1744658 | 225332 | 86982 4 | 5 | 800 1070.72/1071.14 c 1068s | 17 | 1746687 | 225832 | 86982 4 | 5 | 800 1073.12/1073.58 c 1070s | 17 | 1749633 | 226432 | 86982 4 | 5 | 800 1075.32/1075.74 c 1072s | 17 | 1751109 | 226932 | 86982 4 | 5 | 800 1077.32/1077.77 c 1074s | 17 | 1752457 | 227432 | 86982 4 | 5 | 800 1079.62/1080.04 c 1076s | 17 | 1754381 | 228132 | 86982 4 | 5 | 800 1081.72/1082.10 c 1079s | 17 | 1757381 | 228732 | 86982 4 | 5 | 800 1083.92/1084.32 c 1081s | 17 | 1759994 | 229232 | 86982 4 | 5 | 800 1086.12/1086.55 c 1083s | 17 | 1762932 | 229732 | 86982 4 | 5 | 800 1088.32/1088.72 c 1085s | 17 | 1765018 | 230232 | 86982 4 | 5 | 800 1090.62/1091.09 c 1088s | 17 | 1766641 | 230732 | 86982 4 | 5 | 800 1092.82/1093.23 c 1090s | 17 | 1768412 | 231232 | 86982 4 | 5 | 800 1094.82/1095.28 c 1092s | 17 | 1769546 | 231732 | 86982 4 | 5 | 800 1096.92/1097.34 c 1094s | 17 | 1771883 | 232232 | 86982 4 | 5 | 800 1099.12/1099.50 c 1096s | 17 | 1774480 | 232732 | 86982 4 | 5 | 800 1101.62/1102.01 c 1098s | 17 | 1778637 | 233332 | 86982 4 | 5 | 800 1103.82/1104.29 c 1101s | 17 | 1781656 | 233732 | 86982 4 | 5 | 800 1106.11/1106.53 c 1103s | 17 | 1784566 | 234232 | 86982 4 | 5 | 800 1108.52/1108.93 c 1105s | 17 | 1787695 | 234732 | 86982 4 | 5 | 800 1110.51/1110.97 c 1107s | 17 | 1789748 | 235132 | 86982 4 | 5 | 800 1112.71/1113.19 c 1110s | 17 | 1794095 | 235532 | 86982 4 | 5 | 800 1114.81/1115.23 c 1112s | 17 | 1798389 | 236032 | 86982 4 | 5 | 800 1117.11/1117.55 c 1114s | 17 | 1802858 | 236532 | 86982 4 | 5 | 800 1119.52/1119.99 c 1116s | 17 | 1807670 | 237132 | 86982 4 | 5 | 800 1122.11/1122.59 c 1119s | 17 | 1812211 | 237532 | 86982 4 | 5 | 800 1124.21/1124.67 c 1121s | 17 | 1815693 | 238032 | 86982 4 | 5 | 800 1126.61/1127.04 c 1123s | 17 | 1818089 | 238332 | 86982 4 | 5 | 800 1128.81/1129.21 c 1126s | 17 | 1821105 | 238732 | 86982 4 | 5 | 800 1131.01/1131.40 c 1128s | 17 | 1824617 | 239232 | 86982 4 | 5 | 800 1133.31/1133.72 c 1130s | 17 | 1827822 | 239532 | 86982 4 | 5 | 800 1135.71/1136.12 c 1133s | 17 | 1831138 | 240032 | 86982 4 | 5 | 800 1137.91/1138.34 c 1135s | 17 | 1834415 | 240432 | 86982 4 | 5 | 800 1140.32/1140.77 c 1137s | 17 | 1837724 | 240832 | 86982 5 | 5 | 800 1142.52/1142.93 c 1139s | 17 | 1842482 | 241432 | 86982 5 | 5 | 800 1144.51/1144.99 c 1141s | 17 | 1846570 | 241932 | 86982 5 | 5 | 800 1146.71/1147.14 c 1144s | 17 | 1850195 | 242532 | 86982 5 | 5 | 800 1149.11/1149.52 c 1146s | 17 | 1853855 | 243032 | 86982 5 | 5 | 800 1151.21/1151.61 c 1148s | 17 | 1857203 | 243532 | 86982 5 | 5 | 800 1153.51/1153.98 c 1150s | 17 | 1860641 | 244132 | 86982 5 | 5 | 800 1155.51/1155.99 c 1152s | 17 | 1863572 | 244632 | 86982 5 | 5 | 800 1157.71/1158.16 c 1155s | 17 | 1866985 | 245332 | 86982 5 | 5 | 800 1159.91/1160.31 c 1157s | 17 | 1869021 | 245832 | 86982 5 | 5 | 800 1162.01/1162.44 c 1159s | 17 | 1872220 | 246532 | 86982 5 | 5 | 800 1164.21/1164.65 c 1161s | 17 | 1874539 | 247232 | 86982 5 | 5 | 800 1166.40/1166.89 c 1163s | 17 | 1875917 | 247932 | 86982 5 | 5 | 800 1168.60/1169.09 c 1166s | 17 | 1877407 | 248532 | 86982 5 | 5 | 800 1171.11/1171.56 c 1168s | 17 | 1879814 | 248932 | 86982 5 | 5 | 800 1173.50/1173.92 c 1170s | 17 | 1882117 | 249432 | 86982 5 | 5 | 800 1175.80/1176.26 c 1173s | 17 | 1884078 | 249932 | 86982 5 | 5 | 800 1178.00/1178.49 c 1175s | 17 | 1886159 | 250332 | 86982 5 | 5 | 800 1180.30/1180.71 c 1177s | 17 | 1889071 | 250832 | 86982 5 | 5 | 800 1182.50/1182.96 c 1179s | 17 | 1892084 | 251432 | 86982 5 | 5 | 800 1184.50/1184.97 c 1181s | 17 | 1893562 | 251932 | 86982 5 | 5 | 800 1186.61/1187.09 c 1184s | 17 | 1895038 | 252532 | 86982 5 | 5 | 800 1188.71/1189.16 c 1186s | 17 | 1896920 | 253132 | 86982 5 | 5 | 800 1190.91/1191.38 c 1188s | 17 | 1900028 | 253632 | 86982 5 | 5 | 800 1193.00/1193.45 c 1190s | 17 | 1903650 | 254132 | 86982 5 | 5 | 800 1195.10/1195.52 c 1192s | 17 | 1906769 | 254532 | 86982 5 | 5 | 800 1197.40/1197.81 c 1194s | 17 | 1909745 | 255032 | 86982 5 | 5 | 800 1199.71/1200.17 c 1197s | 17 | 1913882 | 255432 | 86982 5 | 5 | 800 1201.80/1202.26 c 1199s | 17 | 1916657 | 255932 | 86982 5 | 5 | 800 1204.11/1204.59 c 1201s | 17 | 1921013 | 256332 | 86982 5 | 5 | 800 1206.41/1206.84 c 1203s | 17 | 1923615 | 256732 | 86982 5 | 5 | 800 1208.51/1208.92 c 1205s | 17 | 1926225 | 257132 | 86982 5 | 5 | 800 1211.00/1211.41 c 1208s | 17 | 1928940 | 257632 | 86982 5 | 5 | 800 1213.50/1213.91 c 1210s | 17 | 1932092 | 258032 | 86982 5 | 5 | 800 1215.60/1216.01 c 1212s | 17 | 1935670 | 258632 | 86982 5 | 5 | 800 1217.80/1218.20 c 1215s | 17 | 1937428 | 259032 | 86982 5 | 5 | 800 1220.20/1220.60 c 1217s | 17 | 1939685 | 259432 | 86982 5 | 5 | 800 1222.80/1223.24 c 1220s | 17 | 1942133 | 259932 | 86982 5 | 5 | 800 1224.90/1225.38 c 1222s | 17 | 1945544 | 260432 | 86982 5 | 5 | 800 1227.20/1227.61 c 1224s | 17 | 1948301 | 260932 | 86982 5 | 5 | 800 1229.20/1229.69 c 1226s | 17 | 1951035 | 261332 | 86982 5 | 5 | 800 1231.60/1232.08 c 1229s | 17 | 1953647 | 261832 | 86982 5 | 5 | 800 1233.80/1234.26 c 1231s | 17 | 1956172 | 262332 | 86982 5 | 5 | 800 1235.89/1236.33 c 1233s | 17 | 1957857 | 262832 | 86982 5 | 5 | 800 1238.09/1238.59 c 1235s | 17 | 1960713 | 263432 | 86982 5 | 5 | 800 1240.29/1240.77 c 1237s | 17 | 1962732 | 264032 | 86982 5 | 5 | 800 1242.39/1242.89 c 1239s | 17 | 1963990 | 264632 | 86982 5 | 5 | 800 1244.99/1245.49 c 1242s | 17 | 1967342 | 265232 | 86982 5 | 5 | 800 1247.49/1247.90 c 1244s | 17 | 1969839 | 265732 | 86982 5 | 5 | 800 1249.99/1250.47 c 1247s | 17 | 1973634 | 266132 | 86982 5 | 5 | 800 1252.29/1252.72 c 1249s | 17 | 1976098 | 266632 | 86982 5 | 5 | 800 1254.70/1255.19 c 1252s | 17 | 1979006 | 267032 | 86982 5 | 5 | 800 1257.39/1257.81 c 1254s | 17 | 1981251 | 267532 | 86982 5 | 5 | 800 1259.49/1259.93 c 1256s | 17 | 1984428 | 267932 | 86982 5 | 5 | 800 1261.79/1262.29 c 1259s | 17 | 1988239 | 268432 | 86982 5 | 5 | 800 1263.99/1264.48 c 1261s | 17 | 1991010 | 268932 | 86982 5 | 5 | 800 1266.19/1266.61 c 1263s | 17 | 1993009 | 269332 | 86982 5 | 5 | 800 1268.49/1268.94 c 1265s | 17 | 1995290 | 269832 | 86982 5 | 5 | 800 1270.99/1271.48 c 1268s | 17 | 1997425 | 270332 | 86982 5 | 5 | 800 1273.29/1273.77 c 1270s | 17 | 1999273 | 270832 | 86982 5 | 5 | 800 1275.39/1275.84 c 1272s | 17 | 2001467 | 271332 | 86982 5 | 5 | 800 1277.49/1277.99 c 1274s | 17 | 2003543 | 271932 | 86982 5 | 5 | 800 1279.89/1280.30 c 1277s | 17 | 2004750 | 272532 | 86982 5 | 5 | 800 1281.99/1282.40 c 1279s | 17 | 2006743 | 273032 | 86982 5 | 5 | 800 1284.39/1284.84 c 1281s | 17 | 2009352 | 273432 | 86982 5 | 5 | 800 1286.89/1287.31 c 1284s | 17 | 2012575 | 273932 | 86982 5 | 5 | 800 1289.19/1289.64 c 1286s | 17 | 2015489 | 274332 | 86982 5 | 5 | 800 1291.18/1291.65 c 1288s | 17 | 2018546 | 274732 | 86982 5 | 5 | 800 1293.48/1293.95 c 1290s | 17 | 2022889 | 275332 | 86982 5 | 5 | 800 1295.58/1296.03 c 1292s | 17 | 2026383 | 275732 | 86982 5 | 5 | 800 1297.59/1298.03 c 1294s | 17 | 2028994 | 276132 | 86982 5 | 5 | 800 1300.08/1300.57 c 1297s | 17 | 2031724 | 276632 | 86982 5 | 5 | 800 1302.18/1302.67 c 1299s | 17 | 2035163 | 277032 | 86982 5 | 5 | 800 1304.78/1305.24 c 1302s | 17 | 2037674 | 277532 | 86982 5 | 5 | 800 1306.88/1307.31 c 1304s | 17 | 2041018 | 278032 | 86982 5 | 5 | 800 1309.38/1309.83 c 1306s | 17 | 2043443 | 278532 | 86982 5 | 5 | 800 1311.58/1312.06 c 1309s | 17 | 2046226 | 279032 | 86982 5 | 5 | 800 1313.88/1314.34 c 1311s | 17 | 2048853 | 279532 | 86982 5 | 5 | 800 1316.29/1316.78 c 1313s | 17 | 2052124 | 280132 | 86982 5 | 5 | 800 1318.49/1318.91 c 1315s | 17 | 2054001 | 280632 | 86982 5 | 5 | 800 1320.88/1321.38 c 1318s | 17 | 2055868 | 281232 | 86982 5 | 5 | 800 1322.99/1323.47 c 1320s | 17 | 2056879 | 281732 | 86982 5 | 5 | 800 1325.48/1325.99 c 1322s | 17 | 2059465 | 282332 | 86982 5 | 5 | 800 1327.68/1328.13 c 1325s | 17 | 2062847 | 282832 | 86982 5 | 5 | 800 1329.98/1330.48 c 1327s | 17 | 2066631 | 283432 | 86982 5 | 5 | 800 1332.08/1332.51 c 1329s | 17 | 2069012 | 283832 | 86982 5 | 5 | 800 1334.08/1334.52 c 1331s | 17 | 2071975 | 284332 | 86982 5 | 5 | 800 1336.18/1336.62 c 1333s | 17 | 2074324 | 284732 | 86982 5 | 5 | 800 1338.18/1338.63 c 1335s | 17 | 2076843 | 285232 | 86982 5 | 5 | 800 1340.48/1340.94 c 1337s | 17 | 2079435 | 285732 | 86982 5 | 5 | 800 1342.58/1343.06 c 1340s | 17 | 2081485 | 286232 | 86982 5 | 5 | 800 1344.58/1345.07 c 1342s | 17 | 2083074 | 286732 | 86982 5 | 5 | 800 1346.68/1347.16 c 1344s | 17 | 2084663 | 287332 | 86982 5 | 5 | 800 1349.07/1349.54 c 1346s | 17 | 2086054 | 287732 | 86982 6 | 5 | 800 1351.68/1352.17 c 1349s | 17 | 2088807 | 288132 | 86982 6 | 5 | 800 1354.18/1354.62 c 1351s | 17 | 2091314 | 288632 | 86982 6 | 5 | 800 1356.48/1356.99 c 1353s | 17 | 2095196 | 289332 | 86982 6 | 5 | 800 1358.78/1359.26 c 1356s | 17 | 2098392 | 289932 | 86982 6 | 5 | 800 1361.08/1361.51 c 1358s | 17 | 2100927 | 290432 | 86982 6 | 5 | 800 1363.38/1363.86 c 1360s | 17 | 2104479 | 291132 | 86982 6 | 5 | 800 1365.78/1366.28 c 1363s | 17 | 2106907 | 291732 | 86982 6 | 5 | 800 1368.08/1368.59 c 1365s | 17 | 2109394 | 292432 | 86982 6 | 5 | 800 1370.18/1370.61 c 1367s | 17 | 2110861 | 293032 | 86982 6 | 5 | 800 1372.38/1372.88 c 1369s | 17 | 2113061 | 293632 | 86982 6 | 5 | 800 1374.68/1375.12 c 1372s | 17 | 2115591 | 294132 | 86982 6 | 5 | 800 1377.17/1377.68 c 1374s | 17 | 2117557 | 294632 | 95681 6 | 5 | 800 1379.47/1379.92 c 1376s | 17 | 2119976 | 295132 | 95681 6 | 5 | 800 1381.67/1382.10 c 1379s | 17 | 2122576 | 295632 | 95681 6 | 5 | 800 1383.87/1384.32 c 1381s | 17 | 2125134 | 296132 | 95681 6 | 5 | 800 1384.37/1384.88 c 1381s | 18 | 2125783 | 296252 | 95681 6 | 5 | 800 1386.57/1387.06 c 1383s | 18 | 2127605 | 296752 | 95681 6 | 5 | 800 1388.67/1389.13 c 1386s | 18 | 2130604 | 297352 | 95681 6 | 5 | 800 1390.87/1391.34 c 1388s | 18 | 2132697 | 297952 | 95681 6 | 5 | 800 1392.87/1393.36 c 1390s | 18 | 2134450 | 298552 | 95681 6 | 5 | 800 1395.27/1395.70 c 1392s | 18 | 2136587 | 299352 | 95681 6 | 5 | 800 1397.27/1397.79 c 1394s | 18 | 2138922 | 299852 | 95681 6 | 5 | 800 1399.67/1400.12 c 1397s | 18 | 2141642 | 300352 | 95681 6 | 5 | 800 1401.77/1402.27 c 1399s | 18 | 2144025 | 300852 | 95681 6 | 5 | 800 1403.97/1404.47 c 1401s | 18 | 2146201 | 301352 | 95681 6 | 5 | 800 1406.48/1406.92 c 1403s | 18 | 2148389 | 301952 | 95681 6 | 5 | 800 1408.78/1409.22 c 1406s | 18 | 2150285 | 302552 | 95681 6 | 5 | 800 1410.98/1411.42 c 1408s | 18 | 2151972 | 303152 | 95681 6 | 5 | 800 1412.97/1413.50 c 1410s | 18 | 2153406 | 303652 | 95681 6 | 5 | 800 1415.47/1415.90 c 1412s | 18 | 2155048 | 304152 | 95681 6 | 5 | 800 1417.67/1418.13 c 1415s | 18 | 2157140 | 304652 | 95681 6 | 5 | 800 1419.97/1420.42 c 1417s | 18 | 2159218 | 305252 | 95681 6 | 5 | 800 1422.17/1422.62 c 1419s | 18 | 2161000 | 305852 | 95681 6 | 5 | 800 1424.27/1424.76 c 1421s | 18 | 2162816 | 306552 | 95681 6 | 5 | 800 1426.37/1426.87 c 1423s | 18 | 2165146 | 307152 | 95681 6 | 5 | 800 1428.66/1429.10 c 1426s | 18 | 2168796 | 307852 | 95681 6 | 5 | 800 1430.67/1431.17 c 1428s | 18 | 2170635 | 308452 | 95681 6 | 5 | 800 1432.97/1433.44 c 1430s | 18 | 2172142 | 309152 | 95681 6 | 5 | 800 1435.26/1435.77 c 1432s | 18 | 2174074 | 309852 | 95681 6 | 5 | 800 1437.86/1438.32 c 1435s | 18 | 2176652 | 310452 | 95681 6 | 5 | 800 1440.26/1440.71 c 1437s | 18 | 2178974 | 310952 | 95681 6 | 5 | 800 1442.66/1443.19 c 1440s | 18 | 2181296 | 311552 | 95681 6 | 5 | 800 1445.16/1445.68 c 1442s | 18 | 2183065 | 312152 | 95681 6 | 5 | 800 1447.46/1447.95 c 1444s | 18 | 2184529 | 312652 | 95681 6 | 5 | 800 1449.66/1450.17 c 1447s | 18 | 2185828 | 313252 | 95681 6 | 5 | 800 1451.76/1452.25 c 1449s | 18 | 2187318 | 313752 | 95681 6 | 5 | 800 1453.87/1454.33 c 1451s | 18 | 2189445 | 314252 | 95681 6 | 5 | 800 1455.86/1456.37 c 1453s | 18 | 2191199 | 314752 | 95681 6 | 5 | 800 1458.06/1458.56 c 1455s | 18 | 2193208 | 315352 | 95681 6 | 5 | 800 1460.37/1460.81 c 1457s | 18 | 2195253 | 316052 | 95681 6 | 5 | 800 1462.76/1463.21 c 1460s | 18 | 2196999 | 316752 | 95681 6 | 5 | 800 1464.96/1465.44 c 1462s | 18 | 2198916 | 317352 | 95681 6 | 5 | 800 1467.16/1467.65 c 1464s | 18 | 2200332 | 318052 | 95681 6 | 5 | 800 1469.36/1469.83 c 1466s | 18 | 2202326 | 318652 | 95681 6 | 5 | 800 1471.36/1471.88 c 1468s | 18 | 2203986 | 319152 | 95681 6 | 5 | 800 1473.66/1474.16 c 1471s | 18 | 2205046 | 319652 | 95681 6 | 5 | 800 1475.76/1476.27 c 1473s | 18 | 2206070 | 320252 | 95681 6 | 5 | 800 1477.76/1478.28 c 1475s | 18 | 2207916 | 320752 | 95681 6 | 5 | 800 1480.06/1480.60 c 1477s | 18 | 2210001 | 321452 | 95681 6 | 5 | 800 1482.36/1482.84 c 1479s | 18 | 2211755 | 322152 | 95681 6 | 5 | 800 1484.36/1484.87 c 1481s | 18 | 2213367 | 322652 | 95681 6 | 5 | 800 1486.56/1487.09 c 1484s | 18 | 2215001 | 323252 | 95681 6 | 5 | 800 1488.85/1489.30 c 1486s | 18 | 2216489 | 323852 | 95681 6 | 5 | 800 1490.95/1491.41 c 1488s | 18 | 2217965 | 324552 | 95681 6 | 5 | 800 1492.95/1493.48 c 1490s | 18 | 2219014 | 325052 | 95681 6 | 5 | 800 1495.15/1495.69 c 1492s | 18 | 2220211 | 325652 | 95681 6 | 5 | 800 1497.45/1497.96 c 1494s | 18 | 2221422 | 326252 | 95681 6 | 5 | 800 1499.65/1500.17 c 1497s | 18 | 2222936 | 326852 | 95681 6 | 5 | 800 1501.85/1502.34 c 1499s | 18 | 2224195 | 327552 | 95681 6 | 5 | 800 1503.95/1504.44 c 1501s | 18 | 2225224 | 328152 | 95681 6 | 5 | 800 1506.06/1506.52 c 1503s | 18 | 2226326 | 328752 | 95681 6 | 5 | 800 1508.06/1508.57 c 1505s | 18 | 2227196 | 329352 | 95681 6 | 5 | 800 1532.45/1532.91 c 1529s | 18 | 2228134 | 329952 | 95681 6 | 5 | 800 1547.15/1547.68 c 1544s | 18 | 2228347 | 330052 | 95681 6 | 5 | 800 1552.45/1552.99 c 1549s | 18 | 2228703 | 330152 | 95681 6 | 5 | 800 1558.65/1559.13 c 1556s | 18 | 2229195 | 330252 | 95681 6 | 5 | 800 1569.14/1569.69 c 1566s | 18 | 2229879 | 330352 | 95681 6 | 5 | 800 1585.14/1585.61 c 1582s | 18 | 2231829 | 330652 | 95681 6 | 5 | 800 1596.14/1596.62 c 1593s | 18 | 2234471 | 330952 | 95681 6 | 5 | 800 1599.94/1600.45 c 1597s | 18 | 2236759 | 331152 | 95681 6 | 5 | 800 1602.74/1603.21 c 1600s | 18 | 2238554 | 331352 | 95681 6 | 5 | 800 1605.34/1605.80 c 1602s | 18 | 2241826 | 331652 | 95681 6 | 5 | 800 1607.85/1608.39 c 1605s | 18 | 2244913 | 331952 | 95681 6 | 5 | 800 1609.95/1610.42 c 1607s | 18 | 2247209 | 332352 | 95681 6 | 5 | 800 1612.04/1612.53 c 1609s | 18 | 2249700 | 332652 | 95681 6 | 5 | 800 1614.24/1614.78 c 1611s | 18 | 2253393 | 332952 | 95681 6 | 5 | 800 1616.65/1617.18 c 1614s | 18 | 2256644 | 333252 | 95681 6 | 5 | 800 1618.75/1619.27 c 1616s | 18 | 2260041 | 333552 | 95681 6 | 5 | 800 1621.14/1621.68 c 1618s | 18 | 2261886 | 333952 | 95681 6 | 5 | 800 1623.64/1624.13 c 1621s | 18 | 2265923 | 334352 | 95681 6 | 5 | 800 1625.84/1626.37 c 1623s | 18 | 2269103 | 334652 | 95681 6 | 5 | 800 1628.04/1628.52 c 1625s | 18 | 2272736 | 335052 | 95681 6 | 5 | 800 1630.34/1630.83 c 1627s | 18 | 2275227 | 335452 | 95681 6 | 5 | 800 1632.74/1633.28 c 1630s | 18 | 2277922 | 335752 | 95681 6 | 5 | 800 1635.04/1635.56 c 1632s | 18 | 2280656 | 336052 | 95681 6 | 5 | 800 1637.45/1637.93 c 1634s | 18 | 2283624 | 336452 | 95681 6 | 5 | 800 1640.04/1640.50 c 1637s | 18 | 2285657 | 336852 | 95681 6 | 5 | 800 1642.34/1642.80 c 1639s | 18 | 2288984 | 337152 | 95681 6 | 5 | 800 1644.64/1645.13 c 1642s | 18 | 2292304 | 337552 | 95681 6 | 5 | 800 1646.84/1647.33 c 1644s | 18 | 2295922 | 338052 | 95681 6 | 5 | 800 1649.14/1649.69 c 1646s | 18 | 2298586 | 338352 | 95681 6 | 5 | 800 1651.24/1651.71 c 1648s | 18 | 2300995 | 338652 | 95681 6 | 5 | 800 1653.54/1654.04 c 1650s | 18 | 2302489 | 339052 | 95681 6 | 5 | 800 1655.64/1656.16 c 1653s | 18 | 2305021 | 339352 | 95681 6 | 5 | 800 1657.74/1658.27 c 1655s | 18 | 2307450 | 339652 | 95681 6 | 5 | 800 1660.13/1660.64 c 1657s | 18 | 2310371 | 340152 | 95681 6 | 5 | 800 1663.73/1664.25 c 1661s | 18 | 2311584 | 340252 | 95681 7 | 5 | 800 1665.73/1666.25 c 1663s | 18 | 2313422 | 340452 | 95681 7 | 5 | 800 1668.13/1668.62 c 1665s | 18 | 2316796 | 341052 | 95681 7 | 5 | 800 1670.33/1670.87 c 1667s | 18 | 2319204 | 341552 | 95681 7 | 5 | 800 1672.83/1673.35 c 1670s | 18 | 2323212 | 342052 | 95681 7 | 5 | 800 1675.03/1675.54 c 1672s | 18 | 2326305 | 342452 | 95681 7 | 5 | 800 1677.43/1677.93 c 1674s | 18 | 2328876 | 342952 | 95681 7 | 5 | 800 1679.53/1680.03 c 1676s | 18 | 2331157 | 343452 | 95681 7 | 5 | 800 1681.83/1682.31 c 1679s | 18 | 2334232 | 343852 | 95681 7 | 5 | 800 1684.03/1684.57 c 1681s | 18 | 2336590 | 344352 | 95681 7 | 5 | 800 1686.33/1686.85 c 1683s | 18 | 2339235 | 344852 | 95681 7 | 5 | 800 1688.63/1689.17 c 1686s | 18 | 2342111 | 345352 | 95681 7 | 5 | 800 1690.93/1691.43 c 1688s | 18 | 2344631 | 345852 | 95681 7 | 5 | 800 1693.33/1693.89 c 1690s | 18 | 2346164 | 346352 | 95681 7 | 5 | 800 1695.53/1696.01 c 1692s | 18 | 2347456 | 346752 | 95681 7 | 5 | 800 1697.93/1698.44 c 1695s | 18 | 2348421 | 347152 | 95681 7 | 5 | 800 1700.32/1700.83 c 1697s | 18 | 2349712 | 347652 | 95681 7 | 5 | 800 1702.52/1703.08 c 1700s | 18 | 2350369 | 348052 | 95681 7 | 5 | 800 1704.72/1705.22 c 1702s | 18 | 2352149 | 348352 | 95681 7 | 5 | 800 1706.73/1707.27 c 1704s | 18 | 2355127 | 348752 | 95681 7 | 5 | 800 1708.93/1709.41 c 1706s | 18 | 2357580 | 349252 | 95681 7 | 5 | 800 1710.92/1711.47 c 1708s | 18 | 2359974 | 349552 | 95681 7 | 5 | 800 1713.22/1713.74 c 1710s | 18 | 2362470 | 349752 | 95681 7 | 5 | 800 1715.53/1716.06 c 1712s | 18 | 2367390 | 350052 | 95681 7 | 5 | 800 1717.92/1718.46 c 1715s | 18 | 2371137 | 350352 | 95681 7 | 5 | 800 1720.42/1720.98 c 1717s | 18 | 2376036 | 350752 | 95681 7 | 5 | 800 1722.72/1723.24 c 1720s | 18 | 2380035 | 351352 | 95681 7 | 5 | 800 1725.02/1725.55 c 1722s | 18 | 2383530 | 351752 | 95681 7 | 5 | 800 1727.73/1728.21 c 1725s | 18 | 2387117 | 352052 | 95681 7 | 5 | 800 1730.12/1730.61 c 1727s | 18 | 2391060 | 352452 | 95681 7 | 5 | 800 1732.22/1732.74 c 1729s | 18 | 2394541 | 352952 | 95681 7 | 5 | 800 1734.92/1735.40 c 1732s | 18 | 2398551 | 353452 | 95681 7 | 5 | 800 1737.62/1738.13 c 1735s | 18 | 2403493 | 353852 | 95681 7 | 5 | 800 1739.82/1740.37 c 1737s | 18 | 2408714 | 354152 | 95681 7 | 5 | 800 1742.12/1742.68 c 1739s | 18 | 2413442 | 354452 | 95681 7 | 5 | 800 1744.32/1744.80 c 1741s | 18 | 2417066 | 354752 | 95681 7 | 5 | 800 1746.52/1747.02 c 1743s | 18 | 2419948 | 355152 | 95681 7 | 5 | 800 1748.62/1749.18 c 1746s | 18 | 2423394 | 355652 | 95681 7 | 5 | 800 1750.72/1751.22 c 1748s | 18 | 2427979 | 356052 | 95681 7 | 5 | 800 1753.02/1753.55 c 1750s | 18 | 2433448 | 356352 | 95681 7 | 5 | 800 1755.71/1756.20 c 1753s | 18 | 2437495 | 356652 | 95681 7 | 5 | 800 1757.71/1758.23 c 1755s | 18 | 2440084 | 356952 | 95681 7 | 5 | 800 1760.21/1760.71 c 1757s | 18 | 2444201 | 357452 | 95681 7 | 5 | 800 1762.21/1762.78 c 1759s | 18 | 2447432 | 357752 | 95681 7 | 5 | 800 1764.31/1764.88 c 1761s | 18 | 2452072 | 358052 | 95681 7 | 5 | 800 1766.81/1767.35 c 1764s | 18 | 2457256 | 358352 | 95681 7 | 5 | 800 1769.42/1769.97 c 1766s | 18 | 2463356 | 358752 | 95681 7 | 5 | 800 1771.62/1772.13 c 1769s | 18 | 2465925 | 359052 | 95681 7 | 5 | 800 1773.92/1774.48 c 1771s | 18 | 2468271 | 359552 | 95681 7 | 5 | 800 1776.21/1776.79 c 1773s | 18 | 2472998 | 359952 | 95681 7 | 5 | 800 1778.71/1779.24 c 1776s | 18 | 2477219 | 360252 | 95681 7 | 5 | 800 1780.81/1781.32 c 1778s | 18 | 2482110 | 360652 | 95681 7 | 5 | 800 1783.21/1783.75 c 1780s | 18 | 2487381 | 361252 | 95681 7 | 5 | 800 1785.51/1786.01 c 1782s | 18 | 2491949 | 361552 | 95681 7 | 5 | 800 1787.71/1788.27 c 1785s | 18 | 2497043 | 361852 | 95681 7 | 5 | 800 1790.01/1790.56 c 1787s | 18 | 2499947 | 362152 | 95681 7 | 5 | 800 1792.11/1792.65 c 1789s | 18 | 2504004 | 362652 | 95681 7 | 5 | 800 1794.41/1794.92 c 1791s | 18 | 2507672 | 363052 | 95681 7 | 5 | 800 1796.61/1797.12 c 1794s | 18 | 2511109 | 363352 | 95681 7 | 5 | 800 1798.71/1799.27 c 1796s | 18 | 2515342 | 363652 | 95681 7 | 5 | 800
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-4098073-1466119457/watcher-4098073-1466119457 -o /tmp/evaluation-result-4098073-1466119457/solver-4098073-1466119457 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466119456-25573 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098073-1466119457.opb pid=25603 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.24 1.27 1.60 3/181 25606 /proc/meminfo: memFree=30110600/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=840124 CPUtime=0 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 3157 0 0 0 0 0 0 0 20 0 4 0 13991612 860286976 3007 33554432000 4194304 16246674 140735318228208 140735318227632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 210799 3016 441 2943 0 207693 0 [pid=25606/tid=25607] ppid=25603 vsize=858556 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 879161344 3079 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=863676 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 884404224 3096 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=867772 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13991612 888598528 3112 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 1.24 1.27 1.60 3/181 25606 /proc/meminfo: memFree=30110600/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 26976 0 0 0 4 4 0 0 20 0 4 0 13991612 1333334016 26764 33554432000 4194304 16246674 140735318228208 140735318227520 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 325521 26776 799 2943 0 322415 0 [pid=25606/tid=25607] ppid=25603 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1333334016 26787 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1333334016 26799 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1333334016 26810 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.20044 s] /proc/loadavg: 1.24 1.27 1.60 3/181 25606 /proc/meminfo: memFree=30110600/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 47582 0 0 0 12 7 0 0 20 0 4 0 13991612 1343819776 47880 33554432000 4194304 16246674 140735318228208 140735318227520 12752382 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 328081 47880 801 2943 0 324975 0 [pid=25606/tid=25607] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 47880 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 47880 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 47880 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300422 s] /proc/loadavg: 1.24 1.27 1.60 3/181 25606 /proc/meminfo: memFree=30110600/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 59140 0 0 0 20 9 0 0 20 0 4 0 13991612 1343819776 59438 33554432000 4194304 16246674 140735318228208 140735318227520 8055312 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 328081 59438 801 2943 0 324975 0 [pid=25606/tid=25607] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 59438 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 59438 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1343819776 59438 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700394 s] /proc/loadavg: 1.24 1.27 1.60 3/181 25606 /proc/meminfo: memFree=30110600/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 69774 0 0 0 59 10 0 0 20 0 4 0 13991612 1344868352 70072 33554432000 4194304 16246674 140735318228208 140735318226048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 328337 70072 802 2943 0 325231 0 [pid=25606/tid=25607] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 70072 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 70072 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 70072 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50033 s] /proc/loadavg: 1.24 1.27 1.60 3/185 25610 /proc/meminfo: memFree=28915872/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 175793 0 0 0 125 24 0 0 20 0 4 0 13991612 1344868352 176092 33554432000 4194304 16246674 140735318228208 140735318226048 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 328337 176101 836 2943 0 325231 0 [pid=25606/tid=25607] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 176110 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 176118 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1344868352 176128 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10038 s] /proc/loadavg: 1.30 1.28 1.61 3/185 25610 /proc/meminfo: memFree=28034208/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=3.09 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272314 0 0 0 270 39 0 0 20 0 4 0 13991612 1358499840 272612 33554432000 4194304 16246674 140735318228208 140735318227520 5531747 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272612 865 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272612 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272612 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272612 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1326660 [startup+6.30041 s] /proc/loadavg: 1.30 1.28 1.61 3/185 25659 /proc/meminfo: memFree=28020220/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=6.29 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272335 0 0 0 590 39 0 0 20 0 4 0 13991612 1358499840 272633 33554432000 4194304 16246674 140735318228208 140735318210112 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272633 883 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272633 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272633 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272633 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1326660 [startup+12.7004 s] /proc/loadavg: 1.41 1.31 1.61 3/185 25659 /proc/meminfo: memFree=28019952/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=12.69 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272336 0 0 0 1230 39 0 0 20 0 4 0 13991612 1358499840 272634 33554432000 4194304 16246674 140735318228208 140735318210112 12483532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272634 883 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272634 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272634 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272634 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1326660 [startup+25.5005 s] /proc/loadavg: 1.50 1.33 1.61 3/185 25659 /proc/meminfo: memFree=28021040/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=25.49 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272337 0 0 0 2510 39 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140735318210112 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272635 883 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1326660 [startup+51.1005 s] /proc/loadavg: 1.82 1.41 1.64 3/185 25660 /proc/meminfo: memFree=28017092/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=51.08 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272337 0 0 0 5069 39 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140735318227384 5673488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272635 883 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272635 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1326660 [startup+102.3 s] /proc/loadavg: 2.08 1.56 1.67 3/185 25661 /proc/meminfo: memFree=28015540/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1326660 CPUtime=102.27 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 272361 0 0 0 10188 39 0 0 20 0 4 0 13991612 1358499840 272641 33554432000 4194304 16246674 140735318228208 140735318210112 5673987 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 331665 272641 888 2943 0 328559 0 [pid=25606/tid=25607] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272641 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272641 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1358499840 272641 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1326660 ################ # More data... # ################ /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1420365824 287745 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1387076 [startup+1362.3 s] /proc/loadavg: 1.17 1.43 1.69 2/175 25771 /proc/meminfo: memFree=29016352/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1361.88 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299224 0 0 0 136142 46 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140735318210112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299163 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1433156 [startup+1422.3 s] /proc/loadavg: 1.15 1.38 1.65 2/175 25772 /proc/meminfo: memFree=29016340/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1421.87 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299224 0 0 0 142141 46 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140735318210112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299163 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1433156 [startup+1482.3 s] /proc/loadavg: 1.24 1.36 1.63 3/175 25773 /proc/meminfo: memFree=29016104/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1481.86 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299224 0 0 0 148140 46 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140735318210112 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299163 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1433156 [startup+1542.31 s] /proc/loadavg: 1.24 1.33 1.60 3/175 25774 /proc/meminfo: memFree=29016468/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1541.86 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299224 0 0 0 154137 49 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140735318227304 5808436 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299163 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299163 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1433156 [startup+1602.3 s] /proc/loadavg: 1.15 1.29 1.57 2/176 25779 /proc/meminfo: memFree=29015908/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1601.84 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 160131 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318227304 13874759 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1433156 [startup+1662.3 s] /proc/loadavg: 1.20 1.28 1.54 3/175 25780 /proc/meminfo: memFree=29016168/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1661.83 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 166130 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318227304 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1433156 [startup+1722.3 s] /proc/loadavg: 1.33 1.30 1.53 2/175 25781 /proc/meminfo: memFree=29015792/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1721.82 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 172129 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318210112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1433156 [startup+1782.3 s] /proc/loadavg: 1.28 1.29 1.51 2/175 25782 /proc/meminfo: memFree=29015536/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1781.81 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 178128 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318210112 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1433156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.34 1.30 1.51 2/175 25782 /proc/meminfo: memFree=29015672/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1800.01 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 179948 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318210112 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1433156 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 25606 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.34 1.30 1.51 2/175 25782 /proc/meminfo: memFree=29015672/32872528 swapFree=1504664/1684536 [pid=25606] ppid=25603 vsize=1433156 CPUtime=1800.01 cores=0,2,4,6 /proc/25606/stat : 25606 (toysat) R 25603 25606 19260 0 -1 4202496 299326 0 0 0 179948 53 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140735318210112 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25606/statm: 358289 299265 888 2943 0 355183 0 [pid=25606/tid=25607] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25607/stat : 25607 (toysat) S 25603 25606 19260 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115975318768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25606/tid=25608] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25608/stat : 25608 (toysat) S 25603 25606 19260 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115964828912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25606/tid=25609] ppid=25603 vsize=1433156 CPUtime=0 cores=0,2,4,6 /proc/25606/task/25609/stat : 25609 (toysat) S 25603 25606 19260 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13991612 1467551744 299265 33554432000 4194304 16246674 140735318228208 140115954355376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1433156 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1799.49 CPU system time (s): 0.538918 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1433156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.538918 maximum resident set size= 1197060 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299326 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= 384 involuntary context switches= 1978 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54131 second user time and 6.95894 second system time The end
Begin job on node135 at 2016-06-17 01:24:17 IDJOB=4098073 IDBENCH=107848 IDSOLVER=2542 FILE ID=node135/4098073-1466119457 RUNJOBID= node135-1466119456-25573 PBS_JOBID= 19904061 Free space on /tmp= 71680 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_29.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098073-1466119457/watcher-4098073-1466119457 -o /tmp/evaluation-result-4098073-1466119457/solver-4098073-1466119457 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466119456-25573 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098073-1466119457.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ad1a92600821e0d2cfdc3c1c95f3cd4b RANDOM SEED=1581401653 node135.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 : 2667.004 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 : 5334.00 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 : 2667.004 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 : 2667.004 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.57 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 : 2667.004 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 : 2667.004 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 : 2667.004 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 : 2667.004 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 : 2667.004 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: 30118312 kB Buffers: 67980 kB Cached: 212920 kB SwapCached: 2296 kB Active: 240464 kB Inactive: 120436 kB Active(anon): 80624 kB Inactive(anon): 1700 kB Active(file): 159840 kB Inactive(file): 118736 kB Unevictable: 1684536 kB Mlocked: 1504664 kB SwapTotal: 67108856 kB SwapFree: 67099424 kB Dirty: 38412 kB Writeback: 36 kB AnonPages: 1761604 kB Mapped: 10548 kB Shmem: 0 kB Slab: 572200 kB SReclaimable: 16348 kB SUnreclaim: 555852 kB KernelStack: 1424 kB PageTables: 9380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2813952 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 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= 71680 MiB End job on node135 at 2016-06-17 01:54:17