| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb |
| MD5SUM | fc34075a5d318bf3fbb6971479140d14 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 14036 |
| Total number of constraints | 600 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 600 |
| Minimum length of a constraint | 19 |
| Maximum length of a constraint | 1523 |
| Number of terms in the objective function | 11714 |
| Biggest coefficient in the objective function | 1097 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 534666 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262020 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 534666 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-18T07:09:05+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-4101785-1466226545.opb"] 0.00/0.01 c use --random-gen="340082500 1388438653 3911976191 3321653475 2194247004 3657420552 653224088 942339109 917529697 315553603 3267278370 2213637868 4203764269 2705537500 3605759339 3630840963 627406240 564033046 2017084470 3528111398 1611057103 3554749292 2039081952 2063607187 846876910 2026289783 3848720731 3660322647 2355459320 965552305 1158198726 930557538 1510487639 548007244 4098599895 3352567429 1814170896 429790579 1403859351 1705373281 1851441723 3690248618 1601533074 911976030 3829558608 3867485802 3442477567 3277639686 844519733 653286268 248878016 2167337302 1028120899 1336077998 1766199603 3363099936 304938724 2138230019 1494413244 2274016188 2543807362 3911311104 1400046543 3695210738 2920796838 229834621 466988629 3049341080 874627310 2536170952 1873727072 2381111330 915469943 2964548417 4028185758 1431578807 2115536143 3284373555 3330055999 1951594898 2548362754 2606510133 1699229471 803761407 812175248 1137572277 4118858501 63545650 3965134782 469723828 3267495134 2526925470 4038088692 3207991988 2886789419 2527683539 498008154 163938887 1155393924 697185091 1625796746 169826204 3003975501 980936598 4097895843 942083697 1397523253 314908944 706280107 466749962 901848449 2342163656 2667782513 4225924061 988769279 3957652373 1056776843 4053863919 624835051 1797702288 3354905404 1335306177 1231396348 180065196 310609206 3820887940 1071888115 419382846 4191551926 3750868272 1813980216 2723292432 1212735543 1873508447 1228968899 1448503922 172464978 1504632799 1515147435 1510937283 514756802 3925446399 861776080 1588467680 2529849077 786107393 73271916 195850085 565079042 3643989386 3589883610 2748994213 2050840242 238154975 1636620049 3829423025 2275651113 2184563020 3563526423 4102496315 3639843110 1987482451 977058615 1433490832 1147285603 1188076119 1209961925 2825729089 2841395755 1712889366 2208912682 1268369606 1478057465 3906891487 1522833170 861899529 3441188148 2200198773 450541326 963066918 1056424646 3356861458 3087943929 249762221 1253112589 2807672691 3625821223 70382553 557684694 3075650078 2000069394 590460945 3957981955 1121868703 1273117326 4268204331 1969625874 851214486 788224896 424675719 3233539419 443146259 2667744415 429029244 3726014838 2253488875 4196005197 3638600183 936730454 4049109957 3241702616 947448586 1417375388 2273227583 940093601 3256026182 3099778360 2116216351 3191540203 1894006441 2568563272 929670968 837965614 3021088071 239368151 94754632 571208470 594655013 1497651187 2797553941 2292478692 1708078039 2306378976 1873247103 1587693546 147842761 3615287792 2364496164 792116439 1430252132 2558604771 2771163192 2070630200 4126775555 1632596075 3772010379 2087343765 1384458507 1637897720 4104148807 3802561805 2532938690 394483699 2918717094 369566172 735657848 255 362436" option to reproduce the execution 0.09/0.13 c #vars 14036 0.09/0.13 c #constraints 600 0.38/0.50 c BCD2: Hardening is enabled. 0.38/0.50 c BCD2: BiasedSearch is enabled. 0.38/0.50 c Solving starts ... 0.38/0.50 c ============================[ Search Statistics ]============================ 0.38/0.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.38/0.50 c | | | | Limit GC | Var | Constra 0.38/0.50 c ============================================================================= 0.38/0.50 c 0.0s | 0 | 0 | 0 | 4912 0 | 6234 | 0 0.78/0.81 c 0.3s | 1 | 450 | 100 | 4912 0 | 6234 | 105 1.28/1.37 c 0.9s | 2 | 800 | 250 | 5404 0 | 6234 | 105 2.19/2.23 c 1.7s | 3 | 1368 | 475 | 5945 0 | 6234 | 105 3.50/3.59 c 3.1s | 4 | 2070 | 813 | 6540 0 | 6234 | 105 4.39/4.45 c 4.0s | 5 | 3959 | 1320 | 7195 0 | 6234 | 105 5.99/6.07 c 5.6s | 6 | 7284 | 2081 | 8707 0 | 6234 | 105 8.39/8.42 c 7.9s | 6 | 10492 | 2581 | 8707 0 | 6234 | 105 10.79/10.85 c 10.4s | 6 | 10916 | 2981 | 8707 0 | 6234 | 105 12.30/12.30 c 11.8s | 7 | 11165 | 3223 | 9578 0 | 6234 | 105 14.59/14.62 c 14.1s | 7 | 14757 | 3923 | 9578 0 | 6234 | 105 16.89/16.95 c 16.5s | 7 | 15991 | 4423 | 9578 0 | 6234 | 105 19.29/19.31 c 18.8s | 7 | 17335 | 4923 | 10536 0 | 6234 | 105 19.29/19.38 c 18.9s | 8 | 17357 | 4936 | 10536 0 | 6234 | 105 21.79/21.88 c 21.4s | 8 | 19747 | 5236 | 10536 0 | 6234 | 105 24.49/24.50 c 24.0s | 8 | 20533 | 5536 | 10536 0 | 6234 | 105 26.89/26.94 c 26.4s | 8 | 21551 | 5836 | 10536 0 | 6234 | 105 29.39/29.40 c 28.9s | 8 | 22426 | 6136 | 10536 0 | 6234 | 105 31.89/31.92 c 31.4s | 8 | 23308 | 6436 | 10536 0 | 6234 | 105 34.39/34.49 c 34.0s | 8 | 23959 | 6736 | 10536 0 | 6234 | 105 36.99/37.05 c 36.6s | 8 | 24839 | 7036 | 10536 0 | 6234 | 105 39.79/39.81 c 39.3s | 8 | 25576 | 7336 | 10536 0 | 6234 | 105 41.28/41.35 c 40.9s | 9 | 25931 | 7506 | 11590 0 | 6234 | 105 43.98/44.02 c 43.5s | 9 | 29158 | 8806 | 11590 0 | 6234 | 105 46.29/46.33 c 45.8s | 9 | 29674 | 9106 | 11590 0 | 6234 | 105 48.78/48.82 c 48.3s | 9 | 30182 | 9406 | 11590 0 | 6234 | 105 51.28/51.37 c 50.9s | 9 | 30587 | 9706 | 11590 0 | 6234 | 105 53.99/54.06 c 53.6s | 9 | 30999 | 10006 | 11590 0 | 6234 | 105 56.08/56.10 c 55.6s | 9 | 31262 | 10206 | 11590 0 | 6234 | 105 58.39/58.41 c 57.9s | 9 | 31573 | 10406 | 11590 0 | 6234 | 105 60.38/60.48 c 60.0s | 9 | 31903 | 10606 | 11590 0 | 6234 | 105 63.48/63.52 c 63.0s | 9 | 32288 | 10906 | 11590 0 | 6234 | 105 66.48/66.51 c 66.0s | 9 | 32696 | 11206 | 11590 0 | 6234 | 105 68.08/68.17 c 67.7s | 10 | 32900 | 11361 | 12750 0 | 6234 | 105 70.68/70.75 c 70.2s | 10 | 36133 | 11761 | 12750 0 | 6234 | 105 73.28/73.31 c 72.8s | 10 | 37146 | 12161 | 12750 0 | 6234 | 105 75.28/75.36 c 74.9s | 10 | 38008 | 12461 | 12750 0 | 6234 | 105 77.38/77.41 c 76.9s | 10 | 38796 | 12761 | 12750 0 | 6234 | 105 79.98/80.00 c 79.5s | 10 | 39877 | 13161 | 12750 0 | 6234 | 105 82.48/82.55 c 82.1s | 10 | 41000 | 13561 | 12750 0 | 6234 | 105 84.48/84.57 c 84.1s | 10 | 41597 | 13861 | 12750 0 | 6234 | 105 86.58/86.64 c 86.1s | 10 | 42462 | 14161 | 12750 0 | 6234 | 105 89.28/89.31 c 88.8s | 10 | 43508 | 14561 | 12750 0 | 6234 | 105 91.38/91.41 c 90.9s | 10 | 44333 | 14861 | 12750 0 | 6234 | 105 93.48/93.51 c 93.0s | 10 | 44960 | 15161 | 12750 0 | 6234 | 105 95.48/95.57 c 95.1s | 10 | 45783 | 15461 | 12750 0 | 6234 | 105 97.68/97.78 c 97.3s | 10 | 46532 | 15761 | 12750 0 | 6234 | 105 99.77/99.87 c 99.4s | 10 | 47260 | 16061 | 12750 0 | 6234 | 105 102.07/102.11 c 101s | 10 | 47893 | 16361 | 12750 0 | 6234 | 105 104.17/104.20 c 103s | 10 | 48476 | 16661 | 12750 0 | 6234 | 105 106.37/106.43 c 105s | 10 | 49132 | 16961 | 12750 0 | 6234 | 105 107.77/107.80 c 107s | 11 | 49524 | 17144 | 14026 0 | 6234 | 105 110.18/110.24 c 109s | 11 | 53774 | 17544 | 14026 0 | 6234 | 105 112.47/112.55 c 112s | 11 | 54307 | 17944 | 14026 0 | 6234 | 105 114.77/114.83 c 114s | 11 | 54745 | 18344 | 14026 0 | 6234 | 105 117.57/117.61 c 117s | 11 | 55878 | 18744 | 14026 0 | 6234 | 105 119.67/119.77 c 119s | 11 | 56360 | 18944 | 14026 0 | 6234 | 105 122.67/122.76 c 122s | 11 | 57158 | 19244 | 14026 0 | 6234 | 105 125.37/125.49 c 124s | 11 | 58172 | 19544 | 14026 0 | 6234 | 105 128.07/128.19 c 127s | 11 | 59172 | 19844 | 14026 0 | 6234 | 105 130.87/130.99 c 130s | 11 | 59917 | 20144 | 14026 0 | 6234 | 105 133.77/133.80 c 133s | 11 | 60640 | 20444 | 14026 0 | 6234 | 105 136.58/136.68 c 136s | 11 | 61278 | 20744 | 14026 0 | 6234 | 105 139.27/139.35 c 138s | 11 | 62179 | 21044 | 14026 0 | 6234 | 105 141.97/142.08 c 141s | 11 | 63229 | 21344 | 14026 0 | 6234 | 105 144.87/144.93 c 144s | 11 | 64390 | 21644 | 14026 0 | 6234 | 105 146.97/147.06 c 146s | 11 | 64781 | 21844 | 14026 0 | 6234 | 105 149.67/149.80 c 149s | 11 | 65832 | 22144 | 14026 0 | 6234 | 105 151.87/151.92 c 151s | 11 | 66249 | 22344 | 14026 0 | 6234 | 105 153.87/153.97 c 153s | 11 | 66692 | 22544 | 14026 0 | 6234 | 105 156.87/156.98 c 156s | 11 | 67335 | 22844 | 14026 0 | 6234 | 105 158.96/159.02 c 158s | 11 | 67797 | 23044 | 14026 0 | 6234 | 105 161.87/161.98 c 161s | 11 | 68612 | 23344 | 14026 0 | 6234 | 105 164.07/164.17 c 163s | 11 | 69019 | 23544 | 14026 0 | 6234 | 105 166.76/166.89 c 166s | 11 | 69746 | 23844 | 14026 0 | 6234 | 105 169.66/169.70 c 169s | 11 | 70603 | 24144 | 14026 0 | 6234 | 105 171.67/171.75 c 171s | 11 | 71050 | 24344 | 14026 0 | 6234 | 105 173.97/174.06 c 173s | 11 | 71467 | 24544 | 14026 0 | 6234 | 105 177.06/177.17 c 176s | 11 | 72463 | 24844 | 14026 0 | 6234 | 105 179.37/179.42 c 178s | 11 | 72920 | 25044 | 14026 0 | 6234 | 105 181.36/181.49 c 180s | 11 | 73523 | 25244 | 14026 0 | 6234 | 105 183.46/183.59 c 183s | 11 | 74143 | 25444 | 14026 0 | 6234 | 105 185.97/186.01 c 185s | 11 | 75114 | 25744 | 15429 0 | 6234 | 105 186.16/186.29 c 185s | 12 | 75343 | 25819 | 15429 0 | 6234 | 105 188.27/188.31 c 187s | 12 | 77422 | 27319 | 15429 1 | 6234 | 105 190.66/190.76 c 190s | 12 | 81902 | 28919 | 15429 1 | 6234 | 105 192.76/192.86 c 192s | 12 | 82322 | 29219 | 15429 1 | 6234 | 105 195.36/195.41 c 194s | 12 | 83048 | 29719 | 15429 1 | 6234 | 105 197.66/197.76 c 197s | 12 | 83844 | 30219 | 15429 1 | 6234 | 105 200.06/200.14 c 199s | 12 | 84661 | 30719 | 15429 1 | 6234 | 105 202.16/202.26 c 201s | 12 | 85278 | 31119 | 15429 1 | 6234 | 105 204.26/204.36 c 203s | 12 | 85888 | 31519 | 15429 1 | 6234 | 105 206.46/206.57 c 206s | 12 | 86462 | 31919 | 15429 1 | 6234 | 105 208.76/208.84 c 208s | 12 | 87023 | 32319 | 15429 1 | 6234 | 105 211.06/211.13 c 210s | 12 | 87566 | 32719 | 15429 1 | 6234 | 105 213.26/213.34 c 212s | 12 | 88171 | 33119 | 15429 1 | 6234 | 105 215.36/215.43 c 214s | 12 | 88775 | 33519 | 15429 1 | 6234 | 105 217.96/218.06 c 217s | 12 | 89467 | 33919 | 15429 1 | 6234 | 105 220.06/220.20 c 219s | 12 | 89934 | 34219 | 15429 1 | 6234 | 105 222.55/222.68 c 222s | 12 | 90526 | 34619 | 15429 1 | 6234 | 105 224.95/225.06 c 224s | 12 | 90927 | 34919 | 15429 1 | 6234 | 105 227.35/227.50 c 226s | 12 | 91337 | 35219 | 15429 1 | 6234 | 105 229.85/229.99 c 229s | 12 | 91738 | 35519 | 15429 1 | 6234 | 105 232.45/232.51 c 232s | 12 | 92133 | 35819 | 15429 1 | 6234 | 105 234.85/234.93 c 234s | 12 | 92522 | 36119 | 15429 1 | 6234 | 105 237.05/237.13 c 236s | 12 | 93000 | 36419 | 15429 1 | 6234 | 105 239.15/239.29 c 238s | 12 | 93455 | 36719 | 15429 1 | 6234 | 105 241.44/241.52 c 241s | 12 | 93874 | 37019 | 15429 1 | 6234 | 105 243.44/243.60 c 243s | 12 | 94290 | 37319 | 15429 1 | 6234 | 105 245.84/245.91 c 245s | 12 | 94692 | 37619 | 15429 1 | 6234 | 105 248.24/248.36 c 247s | 12 | 95287 | 38019 | 15429 1 | 6234 | 105 250.34/250.43 c 249s | 12 | 95740 | 38319 | 15429 1 | 6234 | 105 252.74/252.82 c 252s | 12 | 96139 | 38619 | 16972 1 | 6234 | 105 254.44/254.50 c 254s | 13 | 96427 | 38832 | 16972 1 | 6234 | 105 256.64/256.79 c 256s | 13 | 98732 | 39032 | 16972 2 | 6234 | 105 259.24/259.35 c 258s | 13 | 99031 | 39332 | 16972 2 | 6234 | 105 261.84/261.94 c 261s | 13 | 99339 | 39632 | 16972 2 | 6234 | 105 264.53/264.69 c 264s | 13 | 99633 | 39932 | 16972 2 | 6234 | 105 267.34/267.46 c 266s | 13 | 99935 | 40232 | 16972 2 | 6234 | 105 270.13/270.24 c 269s | 13 | 100234 | 40532 | 16972 2 | 6234 | 105 272.63/272.77 c 272s | 13 | 100537 | 40832 | 16972 2 | 6234 | 105 275.23/275.30 c 274s | 13 | 100839 | 41132 | 16972 2 | 6234 | 105 277.73/277.86 c 277s | 13 | 101142 | 41432 | 16972 2 | 6234 | 105 280.23/280.38 c 279s | 13 | 101439 | 41732 | 16972 2 | 6234 | 105 282.83/282.95 c 282s | 13 | 101739 | 42032 | 16972 2 | 6234 | 105 285.43/285.54 c 285s | 13 | 102039 | 42332 | 16972 2 | 6234 | 105 288.03/288.16 c 287s | 13 | 102335 | 42632 | 16972 2 | 6234 | 105 290.63/290.76 c 290s | 13 | 102643 | 42932 | 16972 2 | 6234 | 105 293.22/293.33 c 292s | 13 | 102942 | 43232 | 16972 2 | 6234 | 105 295.82/295.90 c 295s | 13 | 103241 | 43532 | 16972 2 | 6234 | 105 298.32/298.49 c 297s | 13 | 103543 | 43832 | 16972 2 | 6234 | 105 300.92/301.09 c 300s | 13 | 103843 | 44132 | 16972 2 | 6234 | 105 303.62/303.73 c 303s | 13 | 104144 | 44432 | 16972 2 | 6234 | 105 306.22/306.34 c 305s | 13 | 104444 | 44732 | 16972 2 | 6234 | 105 308.82/308.94 c 308s | 13 | 104739 | 45032 | 16972 2 | 6234 | 105 311.42/311.57 c 311s | 13 | 105041 | 45332 | 16972 2 | 6234 | 105 314.11/314.22 c 313s | 13 | 105340 | 45632 | 16972 2 | 6234 | 105 316.71/316.88 c 316s | 13 | 105638 | 45932 | 16972 2 | 6234 | 105 319.31/319.45 c 318s | 13 | 105944 | 46232 | 16972 2 | 6234 | 105 321.91/322.02 c 321s | 13 | 106248 | 46532 | 16972 2 | 6234 | 105 324.41/324.57 c 324s | 13 | 106544 | 46832 | 16972 2 | 6234 | 105 327.01/327.16 c 326s | 13 | 106844 | 47132 | 16972 2 | 6234 | 105 329.61/329.79 c 329s | 13 | 107143 | 47432 | 16972 2 | 6234 | 105 332.31/332.43 c 331s | 13 | 107446 | 47732 | 16972 2 | 6234 | 105 335.01/335.11 c 334s | 13 | 107745 | 48032 | 16972 2 | 6234 | 105 337.61/337.75 c 337s | 13 | 108043 | 48332 | 16972 2 | 6234 | 105 340.21/340.39 c 339s | 13 | 108345 | 48632 | 16972 2 | 6234 | 105 342.90/343.05 c 342s | 13 | 108643 | 48932 | 16972 2 | 6234 | 105 345.60/345.73 c 345s | 13 | 108948 | 49232 | 16972 2 | 6234 | 105 348.30/348.45 c 347s | 13 | 109248 | 49532 | 16972 2 | 6234 | 105 351.00/351.16 c 350s | 13 | 109543 | 49832 | 16972 2 | 6234 | 105 353.70/353.89 c 353s | 13 | 109847 | 50132 | 16972 2 | 6234 | 105 356.50/356.61 c 356s | 13 | 110146 | 50432 | 16972 2 | 6234 | 105 359.19/359.35 c 358s | 13 | 110445 | 50732 | 16972 2 | 6234 | 105 362.00/362.14 c 361s | 13 | 110748 | 51032 | 16972 2 | 6234 | 105 364.79/364.96 c 364s | 13 | 111051 | 51332 | 16972 2 | 6234 | 105 367.59/367.71 c 367s | 13 | 111348 | 51632 | 16972 2 | 6234 | 105 370.29/370.49 c 369s | 13 | 111648 | 51932 | 16972 2 | 6234 | 105 373.09/373.27 c 372s | 13 | 111947 | 52232 | 16972 2 | 6234 | 105 375.89/376.02 c 375s | 13 | 112245 | 52532 | 16972 2 | 6234 | 105 378.59/378.78 c 378s | 13 | 112552 | 52832 | 16972 2 | 6234 | 105 381.39/381.50 c 381s | 13 | 112853 | 53132 | 16972 2 | 6234 | 105 384.09/384.25 c 383s | 13 | 113154 | 53432 | 16972 2 | 6234 | 105 386.79/386.98 c 386s | 13 | 113450 | 53732 | 16972 2 | 6234 | 105 389.58/389.70 c 389s | 13 | 113752 | 54032 | 16972 2 | 6234 | 105 392.28/392.41 c 391s | 13 | 114050 | 54332 | 16972 2 | 6234 | 105 394.99/395.17 c 394s | 13 | 114350 | 54632 | 16972 2 | 6234 | 105 397.78/397.95 c 397s | 13 | 114652 | 54932 | 16972 2 | 6234 | 105 400.98/401.19 c 400s | 13 | 114954 | 55232 | 16972 3 | 6234 | 105 403.79/403.94 c 403s | 13 | 115254 | 55532 | 16972 3 | 6234 | 105 406.58/406.77 c 406s | 13 | 115556 | 55832 | 16972 3 | 6234 | 105 409.48/409.62 c 409s | 13 | 115854 | 56132 | 16972 3 | 6234 | 105 412.28/412.47 c 411s | 13 | 116155 | 56432 | 16972 3 | 6234 | 105 415.17/415.32 c 414s | 13 | 116457 | 56732 | 16972 3 | 6234 | 105 417.98/418.16 c 417s | 13 | 116755 | 57032 | 16972 3 | 6234 | 105 420.77/420.98 c 420s | 13 | 117059 | 57332 | 16972 3 | 6234 | 105 423.67/423.80 c 423s | 13 | 117356 | 57632 | 16972 3 | 6234 | 105 426.47/426.64 c 426s | 13 | 117659 | 57932 | 16972 3 | 6234 | 105 429.27/429.47 c 428s | 13 | 117957 | 58232 | 18670 3 | 6234 | 105 430.47/430.65 c 430s | 14 | 118074 | 58352 | 18670 3 | 6234 | 105 432.56/432.78 c 432s | 14 | 123093 | 58852 | 18670 3 | 6234 | 105 434.86/435.03 c 434s | 14 | 124063 | 59552 | 18670 3 | 6234 | 105 436.96/437.16 c 436s | 14 | 124699 | 60052 | 18670 3 | 6234 | 105 439.16/439.31 c 438s | 14 | 125863 | 60652 | 18670 3 | 6234 | 105 441.36/441.50 c 441s | 14 | 127023 | 61352 | 18670 3 | 6234 | 105 443.36/443.57 c 443s | 14 | 127890 | 61952 | 18670 3 | 6234 | 105 445.56/445.73 c 445s | 14 | 128828 | 62552 | 18670 3 | 6234 | 105 447.66/447.84 c 447s | 14 | 129770 | 63152 | 18670 3 | 6234 | 105 449.76/449.98 c 449s | 14 | 130749 | 63752 | 18670 3 | 6234 | 105 451.95/452.15 c 451s | 14 | 131843 | 64352 | 18670 3 | 6234 | 105 454.05/454.25 c 453s | 14 | 132558 | 64852 | 18670 3 | 6234 | 105 456.35/456.50 c 456s | 14 | 133456 | 65452 | 18670 3 | 6234 | 105 458.55/458.79 c 458s | 14 | 134441 | 66052 | 18670 3 | 6234 | 105 460.95/461.13 c 460s | 14 | 135369 | 66652 | 18670 3 | 6234 | 105 463.35/463.51 c 463s | 14 | 136292 | 67252 | 18670 3 | 6234 | 105 465.65/465.86 c 465s | 14 | 137233 | 67852 | 18670 3 | 6234 | 105 467.64/467.87 c 467s | 14 | 138292 | 68452 | 18670 3 | 6234 | 105 470.04/470.21 c 469s | 14 | 139197 | 69052 | 18670 3 | 6234 | 105 472.14/472.30 c 471s | 14 | 140177 | 69652 | 18670 3 | 6234 | 105 474.44/474.60 c 474s | 14 | 140904 | 70152 | 18670 3 | 6234 | 105 476.64/476.89 c 476s | 14 | 141574 | 70652 | 18670 3 | 6234 | 105 479.14/479.32 c 478s | 14 | 142516 | 71252 | 18670 3 | 6234 | 105 481.24/481.44 c 480s | 14 | 143092 | 71652 | 18670 3 | 6234 | 105 483.44/483.60 c 483s | 14 | 143684 | 72052 | 18670 3 | 6234 | 105 485.84/486.02 c 485s | 14 | 144290 | 72552 | 18670 3 | 6234 | 105 487.94/488.13 c 487s | 14 | 144901 | 72952 | 18670 3 | 6234 | 105 490.54/490.72 c 490s | 14 | 145564 | 73352 | 18670 4 | 6234 | 105 492.63/492.80 c 492s | 14 | 146042 | 73752 | 18670 4 | 6234 | 105 494.63/494.85 c 494s | 14 | 146841 | 74252 | 18670 4 | 6234 | 105 496.83/497.02 c 496s | 14 | 147583 | 74752 | 18670 4 | 6234 | 105 498.83/499.04 c 498s | 14 | 148444 | 75252 | 18670 4 | 6234 | 105 501.12/501.33 c 500s | 14 | 149216 | 75752 | 18670 4 | 6234 | 105 503.22/503.49 c 502s | 14 | 149887 | 76152 | 18670 4 | 6234 | 105 505.32/505.57 c 505s | 14 | 150504 | 76552 | 18670 4 | 6234 | 105 507.42/507.65 c 507s | 14 | 151100 | 76952 | 18670 4 | 6234 | 105 509.72/509.94 c 509s | 14 | 151767 | 77352 | 18670 4 | 6234 | 105 512.22/512.41 c 511s | 14 | 152447 | 77852 | 18670 4 | 6234 | 105 514.52/514.76 c 514s | 14 | 153114 | 78252 | 18670 4 | 6234 | 105 516.82/517.10 c 516s | 14 | 153748 | 78752 | 18670 4 | 6234 | 105 519.32/519.55 c 519s | 14 | 154329 | 79252 | 18670 4 | 6234 | 105 521.51/521.73 c 521s | 14 | 155092 | 79752 | 18670 4 | 6234 | 105 524.01/524.27 c 523s | 14 | 155795 | 80152 | 18670 4 | 6234 | 105 526.31/526.50 c 526s | 14 | 156151 | 80452 | 18670 4 | 6234 | 105 528.41/528.68 c 528s | 14 | 156733 | 80752 | 18670 4 | 6234 | 105 530.61/530.89 c 530s | 14 | 157219 | 81052 | 18670 4 | 6234 | 105 533.01/533.20 c 532s | 14 | 157690 | 81352 | 18670 4 | 6234 | 105 535.01/535.28 c 534s | 14 | 158262 | 81652 | 18670 4 | 6234 | 105 537.31/537.56 c 537s | 14 | 158888 | 81952 | 18670 4 | 6234 | 105 539.61/539.88 c 539s | 14 | 159354 | 82252 | 18670 4 | 6234 | 105 542.41/542.60 c 542s | 14 | 159929 | 82652 | 18670 4 | 6234 | 105 544.71/544.98 c 544s | 14 | 160446 | 82952 | 18670 4 | 6234 | 105 546.91/547.11 c 546s | 14 | 160807 | 83252 | 18670 4 | 6234 | 105 549.51/549.72 c 549s | 14 | 161402 | 83752 | 18670 4 | 6234 | 105 551.90/552.19 c 551s | 14 | 161754 | 84052 | 18670 4 | 6234 | 105 553.90/554.19 c 553s | 14 | 162169 | 84352 | 18670 4 | 6234 | 105 556.40/556.61 c 556s | 14 | 162690 | 84752 | 18670 4 | 6234 | 105 559.00/559.29 c 558s | 14 | 163167 | 85152 | 18670 4 | 6234 | 105 561.21/561.43 c 560s | 14 | 163547 | 85452 | 18670 4 | 6234 | 105 563.21/563.49 c 562s | 14 | 163894 | 85752 | 18670 4 | 6234 | 105 565.61/565.83 c 565s | 14 | 164601 | 86252 | 18670 4 | 6234 | 105 567.70/567.94 c 567s | 14 | 165284 | 86752 | 18670 4 | 6234 | 105 570.30/570.54 c 570s | 14 | 165733 | 87052 | 20537 4 | 6234 | 105 572.90/573.12 c 572s | 14 | 166733 | 87452 | 20537 4 | 6234 | 105 574.70/574.91 c 574s | 15 | 166978 | 87632 | 20537 4 | 6234 | 105 577.09/577.34 c 576s | 15 | 170857 | 87732 | 20537 5 | 6234 | 105 579.79/580.07 c 579s | 15 | 171694 | 88132 | 20537 5 | 6234 | 105 582.09/582.33 c 581s | 15 | 172482 | 88532 | 20537 5 | 6234 | 105 584.39/584.68 c 584s | 15 | 173259 | 89032 | 20537 5 | 6234 | 105 586.99/587.26 c 586s | 15 | 173705 | 89432 | 20537 5 | 6234 | 105 589.49/589.73 c 589s | 15 | 174312 | 89832 | 20537 5 | 6234 | 105 591.58/591.86 c 591s | 15 | 174849 | 90232 | 20537 5 | 6234 | 105 593.89/594.14 c 593s | 15 | 175435 | 90632 | 20537 5 | 6234 | 105 596.38/596.69 c 596s | 15 | 176335 | 91032 | 20537 5 | 6234 | 105 598.48/598.77 c 598s | 15 | 176790 | 91332 | 20537 5 | 6234 | 105 600.89/601.17 c 600s | 15 | 177163 | 91632 | 20537 5 | 6234 | 105 603.09/603.31 c 602s | 15 | 177599 | 91932 | 20537 5 | 6234 | 105 605.28/605.50 c 605s | 15 | 177999 | 92232 | 20537 5 | 6234 | 105 607.28/607.59 c 607s | 15 | 178396 | 92532 | 20537 5 | 6234 | 105 609.48/609.71 c 609s | 15 | 178781 | 92832 | 20537 5 | 6234 | 105 611.68/611.91 c 611s | 15 | 179171 | 93132 | 20537 5 | 6234 | 105 613.98/614.23 c 613s | 15 | 179535 | 93432 | 20537 5 | 6234 | 105 616.48/616.76 c 616s | 15 | 179860 | 93732 | 20537 5 | 6234 | 105 618.78/619.09 c 618s | 15 | 180213 | 94032 | 20537 5 | 6234 | 105 621.27/621.60 c 621s | 15 | 180581 | 94332 | 20537 5 | 6234 | 105 623.97/624.20 c 623s | 15 | 180923 | 94632 | 20537 5 | 6234 | 105 626.57/626.86 c 626s | 15 | 181244 | 94932 | 20537 5 | 6234 | 105 629.37/629.63 c 629s | 15 | 181620 | 95232 | 20537 5 | 6234 | 105 631.47/631.72 c 631s | 15 | 182156 | 95532 | 20537 5 | 6234 | 105 634.27/634.50 c 634s | 15 | 182479 | 95832 | 20537 5 | 6234 | 105 637.07/637.35 c 636s | 15 | 182819 | 96132 | 20537 5 | 6234 | 105 639.86/640.17 c 639s | 15 | 183160 | 96432 | 20537 5 | 6234 | 105 642.56/642.86 c 642s | 15 | 183549 | 96732 | 20537 5 | 6234 | 105 644.86/645.19 c 644s | 15 | 183903 | 97032 | 20537 5 | 6234 | 105 647.06/647.34 c 646s | 15 | 184286 | 97332 | 20537 5 | 6234 | 105 649.66/649.97 c 649s | 15 | 184696 | 97632 | 20537 5 | 6234 | 105 652.55/652.85 c 652s | 15 | 185017 | 97932 | 20537 5 | 6234 | 105 654.75/655.02 c 654s | 15 | 185217 | 98132 | 20537 5 | 6234 | 105 657.66/657.98 c 657s | 15 | 185542 | 98432 | 20537 5 | 6234 | 105 660.25/660.58 c 660s | 15 | 185987 | 98732 | 20537 5 | 6234 | 105 663.05/663.36 c 662s | 15 | 186353 | 99032 | 20537 5 | 6234 | 105 665.85/666.11 c 665s | 15 | 186713 | 99332 | 20537 5 | 6234 | 105 667.95/668.23 c 667s | 15 | 186966 | 99532 | 20537 5 | 6234 | 105 670.35/670.69 c 670s | 15 | 187511 | 99832 | 20537 5 | 6234 | 105 672.54/672.87 c 672s | 15 | 187983 | 100132 | 20537 5 | 6234 | 105 675.25/675.57 c 675s | 15 | 188349 | 100432 | 20537 5 | 6234 | 105 677.94/678.21 c 677s | 15 | 188690 | 100732 | 20537 5 | 6234 | 105 679.94/680.25 c 679s | 15 | 188912 | 100932 | 20537 5 | 6234 | 105 682.54/682.80 c 682s | 15 | 189249 | 101232 | 20537 5 | 6234 | 105 685.14/685.45 c 684s | 15 | 189594 | 101532 | 20537 5 | 6234 | 105 687.94/688.23 c 687s | 15 | 189926 | 101832 | 20537 5 | 6234 | 105 690.34/690.60 c 690s | 15 | 190269 | 102132 | 20537 5 | 6234 | 105 693.13/693.40 c 692s | 15 | 190616 | 102432 | 20537 5 | 6234 | 105 695.53/695.84 c 695s | 15 | 191047 | 102732 | 20537 5 | 6234 | 105 698.13/698.46 c 697s | 15 | 191663 | 103032 | 20537 5 | 6234 | 105 700.43/700.79 c 700s | 15 | 192166 | 103332 | 20537 5 | 6234 | 105 702.74/703.02 c 702s | 15 | 192783 | 103632 | 20537 5 | 6234 | 105 704.84/705.15 c 704s | 15 | 193283 | 103932 | 20537 5 | 6234 | 105 707.34/707.62 c 707s | 15 | 193695 | 104232 | 20537 5 | 6234 | 105 709.53/709.86 c 709s | 15 | 194158 | 104532 | 20537 5 | 6234 | 105 711.83/712.18 c 711s | 15 | 194611 | 104832 | 20537 5 | 6234 | 105 714.33/714.64 c 714s | 15 | 195068 | 105132 | 20537 5 | 6234 | 105 717.23/717.55 c 717s | 15 | 195498 | 105432 | 20537 5 | 6234 | 105 719.63/719.96 c 719s | 15 | 195945 | 105732 | 20537 5 | 6234 | 105 722.13/722.44 c 721s | 15 | 196549 | 106032 | 20537 5 | 6234 | 105 724.83/725.11 c 724s | 15 | 197021 | 106332 | 20537 5 | 6234 | 105 727.83/728.16 c 727s | 15 | 197529 | 106632 | 20537 6 | 6234 | 105 730.43/730.72 c 730s | 15 | 197907 | 106932 | 20537 6 | 6234 | 105 732.83/733.11 c 732s | 15 | 198489 | 107232 | 20537 6 | 6234 | 105 735.13/735.44 c 734s | 15 | 198980 | 107532 | 20537 6 | 6234 | 105 737.32/737.68 c 737s | 15 | 199532 | 107832 | 20537 6 | 6234 | 105 739.62/739.99 c 739s | 15 | 200008 | 108132 | 20537 6 | 6234 | 105 741.82/742.17 c 741s | 15 | 200583 | 108432 | 20537 6 | 6234 | 105 744.32/744.65 c 744s | 15 | 200991 | 108732 | 20537 6 | 6234 | 105 747.32/747.62 c 747s | 15 | 201355 | 109032 | 20537 6 | 6234 | 105 750.52/750.81 c 750s | 15 | 201702 | 109332 | 20537 6 | 6234 | 105 752.52/752.81 c 752s | 15 | 202003 | 109532 | 20537 6 | 6234 | 105 755.22/755.50 c 755s | 15 | 202483 | 109832 | 20537 6 | 6234 | 105 757.83/758.16 c 757s | 15 | 202949 | 110132 | 20537 6 | 6234 | 105 760.62/760.90 c 760s | 15 | 203559 | 110432 | 20537 6 | 6234 | 105 763.41/763.79 c 763s | 15 | 204047 | 110732 | 20537 6 | 6234 | 105 766.41/766.78 c 766s | 15 | 204495 | 111032 | 20537 6 | 6234 | 105 769.41/769.74 c 769s | 15 | 204937 | 111332 | 20537 6 | 6234 | 105 772.31/772.67 c 772s | 15 | 205422 | 111632 | 20537 6 | 6234 | 105 774.41/774.76 c 774s | 15 | 205739 | 111832 | 20537 6 | 6234 | 105 776.71/777.07 c 776s | 15 | 206002 | 112032 | 20537 6 | 6234 | 105 778.81/779.18 c 778s | 15 | 206287 | 112232 | 20537 6 | 6234 | 105 781.91/782.22 c 781s | 15 | 206707 | 112532 | 20537 6 | 6234 | 105 784.00/784.34 c 783s | 15 | 206961 | 112732 | 20537 6 | 6234 | 105 786.20/786.53 c 786s | 15 | 207203 | 112932 | 20537 6 | 6234 | 105 788.40/788.73 c 788s | 15 | 207431 | 113132 | 20537 6 | 6234 | 105 791.20/791.52 c 791s | 15 | 207853 | 113432 | 20537 6 | 6234 | 105 793.90/794.21 c 793s | 15 | 208332 | 113732 | 20537 6 | 6234 | 105 796.10/796.46 c 795s | 15 | 208622 | 113932 | 20537 6 | 6234 | 105 798.40/798.78 c 798s | 15 | 208851 | 114132 | 20537 6 | 6234 | 105 800.99/801.38 c 800s | 15 | 209313 | 114432 | 20537 6 | 6234 | 105 803.69/804.09 c 803s | 15 | 209707 | 114732 | 20537 6 | 6234 | 105 806.69/807.03 c 806s | 15 | 210059 | 115032 | 20537 6 | 6234 | 105 808.89/809.28 c 808s | 15 | 210276 | 115232 | 20537 6 | 6234 | 105 811.49/811.85 c 811s | 15 | 210491 | 115432 | 20537 6 | 6234 | 105 813.69/814.00 c 813s | 15 | 210722 | 115632 | 20537 6 | 6234 | 105 816.49/816.83 c 816s | 15 | 211125 | 115932 | 20537 6 | 6234 | 105 818.49/818.84 c 818s | 15 | 211366 | 116132 | 20537 6 | 6234 | 105 820.79/821.18 c 820s | 15 | 211579 | 116332 | 20537 6 | 6234 | 105 823.58/823.94 c 823s | 15 | 211942 | 116632 | 20537 6 | 6234 | 105 825.58/825.97 c 825s | 15 | 212177 | 116832 | 20537 6 | 6234 | 105 828.68/829.05 c 828s | 15 | 212522 | 117132 | 20537 6 | 6234 | 105 831.17/831.53 c 831s | 15 | 212748 | 117332 | 20537 6 | 6234 | 105 833.27/833.61 c 833s | 15 | 212977 | 117532 | 20537 6 | 6234 | 105 835.57/835.90 c 835s | 15 | 213191 | 117732 | 20537 6 | 6234 | 105 837.87/838.23 c 837s | 15 | 213446 | 117932 | 20537 6 | 6234 | 105 839.97/840.33 c 839s | 15 | 213777 | 118132 | 20537 6 | 6234 | 105 842.57/842.93 c 842s | 15 | 213979 | 118332 | 20537 6 | 6234 | 105 845.07/845.46 c 844s | 15 | 214194 | 118532 | 20537 6 | 6234 | 105 847.27/847.63 c 847s | 15 | 214406 | 118732 | 20537 6 | 6234 | 105 849.57/849.94 c 849s | 15 | 214626 | 118932 | 20537 6 | 6234 | 105 851.97/852.30 c 851s | 15 | 214841 | 119132 | 20537 6 | 6234 | 105 854.37/854.80 c 854s | 15 | 215052 | 119332 | 20537 6 | 6234 | 105 856.97/857.31 c 856s | 15 | 215266 | 119532 | 20537 6 | 6234 | 105 859.57/859.92 c 859s | 15 | 215481 | 119732 | 20537 6 | 6234 | 105 862.06/862.47 c 861s | 15 | 215717 | 119932 | 20537 6 | 6234 | 105 864.56/864.96 c 864s | 15 | 215953 | 120132 | 20537 6 | 6234 | 105 867.06/867.47 c 866s | 15 | 216173 | 120332 | 20537 6 | 6234 | 105 869.56/869.98 c 869s | 15 | 216385 | 120532 | 20537 6 | 6234 | 105 872.17/872.52 c 872s | 15 | 216602 | 120732 | 20537 6 | 6234 | 105 874.66/875.00 c 874s | 15 | 216813 | 120932 | 20537 6 | 6234 | 105 877.06/877.43 c 876s | 15 | 217042 | 121132 | 20537 6 | 6234 | 105 879.46/879.83 c 879s | 15 | 217269 | 121332 | 20537 6 | 6234 | 105 881.97/882.35 c 881s | 15 | 217479 | 121532 | 20537 6 | 6234 | 105 884.17/884.56 c 884s | 15 | 217697 | 121732 | 20537 6 | 6234 | 105 887.16/887.54 c 887s | 15 | 218042 | 122032 | 20537 6 | 6234 | 105 889.36/889.75 c 889s | 15 | 218272 | 122232 | 20537 6 | 6234 | 105 891.56/892.00 c 891s | 15 | 218494 | 122432 | 20537 6 | 6234 | 105 893.86/894.24 c 893s | 15 | 218712 | 122632 | 20537 6 | 6234 | 105 896.26/896.67 c 896s | 15 | 218920 | 122832 | 20537 6 | 6234 | 105 898.76/899.19 c 898s | 15 | 219141 | 123032 | 20537 6 | 6234 | 105 901.06/901.46 c 900s | 15 | 219373 | 123232 | 20537 6 | 6234 | 105 903.86/904.28 c 903s | 15 | 219798 | 123532 | 20537 6 | 6234 | 105 905.96/906.39 c 905s | 15 | 220024 | 123732 | 20537 6 | 6234 | 105 908.65/909.00 c 908s | 15 | 220125 | 123832 | 20537 7 | 6234 | 105 911.35/911.76 c 911s | 15 | 220335 | 124032 | 20537 7 | 6234 | 105 914.35/914.71 c 914s | 15 | 220552 | 124232 | 20537 7 | 6234 | 105 916.65/917.03 c 916s | 15 | 220763 | 124432 | 20537 7 | 6234 | 105 918.65/919.06 c 918s | 15 | 220985 | 124632 | 20537 7 | 6234 | 105 921.75/922.14 c 921s | 15 | 221299 | 124932 | 20537 7 | 6234 | 105 923.96/924.37 c 923s | 15 | 221525 | 125132 | 20537 7 | 6234 | 105 926.46/926.82 c 926s | 15 | 221786 | 125332 | 20537 7 | 6234 | 105 928.66/929.06 c 928s | 15 | 222074 | 125532 | 20537 7 | 6234 | 105 931.56/931.98 c 931s | 15 | 222623 | 125832 | 20537 7 | 6234 | 105 934.35/934.75 c 934s | 15 | 223136 | 126132 | 20537 7 | 6234 | 105 939.16/939.54 c 939s | 15 | 223710 | 126432 | 20537 7 | 6234 | 105 941.95/942.32 c 941s | 15 | 224091 | 126732 | 20537 7 | 6234 | 105 944.85/945.25 c 944s | 15 | 224470 | 127032 | 20537 7 | 6234 | 105 947.05/947.41 c 946s | 15 | 224692 | 127232 | 20537 7 | 6234 | 105 949.25/949.67 c 949s | 15 | 224903 | 127432 | 20537 7 | 6234 | 105 951.45/951.83 c 951s | 15 | 225152 | 127632 | 20537 7 | 6234 | 105 953.65/954.08 c 953s | 15 | 225385 | 127832 | 20537 7 | 6234 | 105 955.84/956.22 c 955s | 15 | 225690 | 128032 | 20537 7 | 6234 | 105 958.14/958.50 c 958s | 15 | 225916 | 128232 | 20537 7 | 6234 | 105 960.15/960.55 c 960s | 15 | 226182 | 128432 | 20537 7 | 6234 | 105 962.25/962.61 c 962s | 15 | 226420 | 128632 | 20537 7 | 6234 | 105 964.45/964.88 c 964s | 15 | 226649 | 128832 | 20537 7 | 6234 | 105 966.65/967.04 c 966s | 15 | 226880 | 129032 | 20537 7 | 6234 | 105 969.04/969.43 c 968s | 15 | 227100 | 129232 | 20537 7 | 6234 | 105 971.15/971.58 c 971s | 15 | 227367 | 129432 | 20537 7 | 6234 | 105 973.25/973.61 c 973s | 15 | 227575 | 129632 | 20537 7 | 6234 | 105 975.45/975.84 c 975s | 15 | 227797 | 129832 | 20537 7 | 6234 | 105 977.54/977.99 c 977s | 15 | 228033 | 130032 | 20537 7 | 6234 | 105 979.74/980.20 c 979s | 15 | 228296 | 130232 | 20537 7 | 6234 | 105 982.64/983.06 c 982s | 15 | 228788 | 130532 | 20537 7 | 6234 | 105 984.94/985.35 c 984s | 15 | 229006 | 130732 | 22591 7 | 6234 | 105 987.14/987.58 c 987s | 15 | 229225 | 130932 | 22591 7 | 6234 | 105 989.44/989.80 c 989s | 15 | 229482 | 131132 | 22591 7 | 6234 | 105 991.64/992.02 c 991s | 15 | 229711 | 131332 | 22591 7 | 6234 | 105 993.64/994.09 c 993s | 15 | 229964 | 131532 | 22591 7 | 6234 | 105 993.94/994.32 c 993s | 16 | 229988 | 131552 | 22591 7 | 6234 | 105 996.14/996.57 c 996s | 16 | 233944 | 131952 | 22591 7 | 6234 | 105 998.34/998.76 c 998s | 16 | 235432 | 132652 | 22591 7 | 6234 | 105 1000.54/1000.96 c 1000s | 16 | 236674 | 133352 | 22591 7 | 6234 | 105 1002.74/1003.18 c 1002s | 16 | 237948 | 134052 | 22591 7 | 6234 | 105 1005.04/1005.42 c 1004s | 16 | 239683 | 134752 | 22591 7 | 6234 | 105 1007.24/1007.64 c 1007s | 16 | 240659 | 135052 | 22591 7 | 6234 | 105 1009.24/1009.67 c 1009s | 16 | 241002 | 135352 | 22591 7 | 6234 | 105 1011.85/1012.24 c 1011s | 16 | 241457 | 135752 | 22591 7 | 6234 | 105 1014.34/1014.77 c 1014s | 16 | 242132 | 136152 | 22591 7 | 6234 | 105 1016.94/1017.38 c 1016s | 16 | 242799 | 136552 | 22591 7 | 6234 | 105 1019.55/1019.91 c 1019s | 16 | 243445 | 136952 | 22591 7 | 6234 | 105 1021.54/1021.98 c 1021s | 16 | 243835 | 137252 | 22591 7 | 6234 | 105 1023.64/1024.09 c 1023s | 16 | 244206 | 137552 | 22591 7 | 6234 | 105 1025.64/1026.09 c 1025s | 16 | 244545 | 137852 | 22591 7 | 6234 | 105 1027.74/1028.16 c 1027s | 16 | 244939 | 138152 | 22591 7 | 6234 | 105 1029.74/1030.18 c 1029s | 16 | 245283 | 138452 | 22591 7 | 6234 | 105 1032.34/1032.73 c 1032s | 16 | 245623 | 138752 | 22591 7 | 6234 | 105 1035.04/1035.40 c 1034s | 16 | 246075 | 139152 | 22591 7 | 6234 | 105 1037.04/1037.45 c 1036s | 16 | 246528 | 139452 | 22591 7 | 6234 | 105 1039.14/1039.53 c 1039s | 16 | 247071 | 139752 | 22591 7 | 6234 | 105 1041.34/1041.72 c 1041s | 16 | 247516 | 140052 | 22591 7 | 6234 | 105 1043.84/1044.27 c 1043s | 16 | 247974 | 140452 | 22591 7 | 6234 | 105 1045.94/1046.31 c 1045s | 16 | 248655 | 140752 | 22591 7 | 6234 | 105 1047.93/1048.38 c 1047s | 16 | 249051 | 141052 | 22591 7 | 6234 | 105 1050.13/1050.57 c 1050s | 16 | 249555 | 141352 | 22591 7 | 6234 | 105 1052.33/1052.74 c 1052s | 16 | 250186 | 141652 | 22591 7 | 6234 | 105 1054.53/1054.98 c 1054s | 16 | 250652 | 141952 | 22591 7 | 6234 | 105 1056.84/1057.23 c 1056s | 16 | 251016 | 142252 | 22591 7 | 6234 | 105 1060.14/1060.56 c 1060s | 16 | 251536 | 142552 | 22591 8 | 6234 | 105 1062.34/1062.74 c 1062s | 16 | 252001 | 142852 | 22591 8 | 6234 | 105 1064.54/1064.97 c 1064s | 16 | 252627 | 143152 | 22591 8 | 6234 | 105 1066.74/1067.17 c 1066s | 16 | 252963 | 143452 | 22591 8 | 6234 | 105 1068.94/1069.33 c 1068s | 16 | 253301 | 143752 | 22591 8 | 6234 | 105 1071.03/1071.46 c 1070s | 16 | 253818 | 144052 | 22591 8 | 6234 | 105 1073.23/1073.65 c 1073s | 16 | 254149 | 144352 | 22591 8 | 6234 | 105 1075.33/1075.71 c 1075s | 16 | 254505 | 144652 | 22591 8 | 6234 | 105 1077.33/1077.78 c 1077s | 16 | 254855 | 144952 | 22591 8 | 6234 | 105 1079.53/1079.94 c 1079s | 16 | 255311 | 145252 | 22591 8 | 6234 | 105 1081.53/1081.99 c 1081s | 16 | 255760 | 145552 | 22591 8 | 6234 | 105 1083.73/1084.11 c 1083s | 16 | 256443 | 145852 | 22591 8 | 6234 | 105 1085.93/1086.35 c 1085s | 16 | 256843 | 146152 | 22591 8 | 6234 | 105 1088.13/1088.56 c 1088s | 16 | 257381 | 146452 | 22591 8 | 6234 | 105 1090.33/1090.72 c 1090s | 16 | 257823 | 146752 | 22591 8 | 6234 | 105 1092.43/1092.83 c 1092s | 16 | 258148 | 147052 | 22591 8 | 6234 | 105 1094.53/1094.99 c 1094s | 16 | 258700 | 147352 | 22591 8 | 6234 | 105 1096.73/1097.19 c 1096s | 16 | 259110 | 147652 | 22591 8 | 6234 | 105 1098.83/1099.26 c 1098s | 16 | 259458 | 147952 | 22591 8 | 6234 | 105 1100.83/1101.27 c 1100s | 16 | 259809 | 148252 | 22591 8 | 6234 | 105 1102.83/1103.28 c 1102s | 16 | 260187 | 148552 | 22591 8 | 6234 | 105 1104.93/1105.30 c 1104s | 16 | 260537 | 148852 | 22591 8 | 6234 | 105 1106.93/1107.35 c 1106s | 16 | 260965 | 149152 | 22591 8 | 6234 | 105 1108.93/1109.39 c 1108s | 16 | 261557 | 149452 | 22591 8 | 6234 | 105 1111.03/1111.47 c 1110s | 16 | 262159 | 149752 | 22591 8 | 6234 | 105 1113.12/1113.52 c 1113s | 16 | 262568 | 150052 | 22591 8 | 6234 | 105 1115.13/1115.56 c 1115s | 16 | 262971 | 150352 | 22591 8 | 6234 | 105 1117.22/1117.64 c 1117s | 16 | 263591 | 150652 | 22591 8 | 6234 | 105 1119.42/1119.84 c 1119s | 16 | 264170 | 150952 | 22591 8 | 6234 | 105 1121.62/1122.06 c 1121s | 16 | 264522 | 151252 | 22591 8 | 6234 | 105 1123.82/1124.30 c 1123s | 16 | 265107 | 151552 | 22591 8 | 6234 | 105 1126.02/1126.48 c 1125s | 16 | 265531 | 151852 | 22591 8 | 6234 | 105 1128.43/1128.85 c 1128s | 16 | 266084 | 152152 | 22591 8 | 6234 | 105 1130.72/1131.17 c 1130s | 16 | 266450 | 152452 | 22591 8 | 6234 | 105 1133.02/1133.48 c 1132s | 16 | 266867 | 152752 | 22591 8 | 6234 | 105 1135.32/1135.79 c 1135s | 16 | 267250 | 153052 | 22591 8 | 6234 | 105 1137.62/1138.07 c 1137s | 16 | 267666 | 153352 | 22591 8 | 6234 | 105 1139.92/1140.33 c 1139s | 16 | 268137 | 153652 | 22591 8 | 6234 | 105 1142.12/1142.59 c 1142s | 16 | 268475 | 153952 | 22591 8 | 6234 | 105 1144.42/1144.84 c 1144s | 16 | 268923 | 154252 | 22591 8 | 6234 | 105 1146.62/1147.07 c 1146s | 16 | 269303 | 154552 | 22591 8 | 6234 | 105 1148.92/1149.30 c 1148s | 16 | 269667 | 154852 | 22591 8 | 6234 | 105 1151.12/1151.54 c 1151s | 16 | 270165 | 155152 | 22591 8 | 6234 | 105 1153.32/1153.79 c 1153s | 16 | 270620 | 155452 | 22591 8 | 6234 | 105 1155.62/1156.00 c 1155s | 16 | 271041 | 155752 | 22591 8 | 6234 | 105 1157.72/1158.17 c 1157s | 16 | 271568 | 156052 | 22591 8 | 6234 | 105 1160.02/1160.40 c 1159s | 16 | 272232 | 156352 | 22591 8 | 6234 | 105 1162.12/1162.58 c 1162s | 16 | 272657 | 156652 | 22591 8 | 6234 | 105 1164.62/1165.01 c 1164s | 16 | 273001 | 156952 | 22591 8 | 6234 | 105 1166.72/1167.19 c 1166s | 16 | 273413 | 157252 | 22591 8 | 6234 | 105 1169.02/1169.44 c 1168s | 16 | 273803 | 157552 | 22591 8 | 6234 | 105 1171.12/1171.58 c 1171s | 16 | 274315 | 157852 | 22591 8 | 6234 | 105 1173.32/1173.70 c 1173s | 16 | 274709 | 158152 | 22591 8 | 6234 | 105 1175.52/1175.91 c 1175s | 16 | 275256 | 158452 | 22591 8 | 6234 | 105 1177.62/1178.00 c 1177s | 16 | 275753 | 158752 | 22591 8 | 6234 | 105 1179.61/1180.08 c 1179s | 16 | 276109 | 159052 | 22591 8 | 6234 | 105 1181.71/1182.17 c 1181s | 16 | 276449 | 159352 | 22591 8 | 6234 | 105 1183.91/1184.37 c 1183s | 16 | 277004 | 159652 | 22591 8 | 6234 | 105 1186.11/1186.58 c 1186s | 16 | 277430 | 159952 | 22591 8 | 6234 | 105 1188.41/1188.81 c 1188s | 16 | 278001 | 160252 | 22591 8 | 6234 | 105 1191.31/1191.76 c 1191s | 16 | 278675 | 160552 | 22591 9 | 6234 | 105 1193.51/1193.93 c 1193s | 16 | 279165 | 160852 | 22591 9 | 6234 | 105 1195.61/1196.06 c 1195s | 16 | 279579 | 161152 | 22591 9 | 6234 | 105 1197.81/1198.20 c 1197s | 16 | 280080 | 161452 | 22591 9 | 6234 | 105 1200.11/1200.54 c 1200s | 16 | 280541 | 161752 | 22591 9 | 6234 | 105 1202.21/1202.62 c 1202s | 16 | 280962 | 162052 | 22591 9 | 6234 | 105 1204.41/1204.85 c 1204s | 16 | 281550 | 162352 | 22591 9 | 6234 | 105 1206.52/1206.98 c 1206s | 16 | 282096 | 162652 | 22591 9 | 6234 | 105 1208.72/1209.11 c 1208s | 16 | 282538 | 162952 | 22591 9 | 6234 | 105 1211.01/1211.44 c 1210s | 16 | 282904 | 163252 | 22591 9 | 6234 | 105 1213.41/1213.89 c 1213s | 16 | 283548 | 163552 | 22591 9 | 6234 | 105 1215.81/1216.22 c 1215s | 16 | 283976 | 163852 | 22591 9 | 6234 | 105 1218.11/1218.57 c 1218s | 16 | 284463 | 164152 | 22591 9 | 6234 | 105 1220.41/1220.81 c 1220s | 16 | 284868 | 164452 | 22591 9 | 6234 | 105 1222.71/1223.17 c 1222s | 16 | 285340 | 164752 | 22591 9 | 6234 | 105 1225.01/1225.42 c 1224s | 16 | 285875 | 165052 | 22591 9 | 6234 | 105 1227.71/1228.19 c 1227s | 16 | 286287 | 165452 | 22591 9 | 6234 | 105 1230.11/1230.54 c 1230s | 16 | 286604 | 165752 | 22591 9 | 6234 | 105 1232.31/1232.79 c 1232s | 16 | 286957 | 166052 | 22591 9 | 6234 | 105 1234.71/1235.18 c 1234s | 16 | 287304 | 166352 | 22591 9 | 6234 | 105 1236.91/1237.35 c 1236s | 16 | 287650 | 166652 | 22591 9 | 6234 | 105 1239.11/1239.51 c 1239s | 16 | 288008 | 166952 | 22591 9 | 6234 | 105 1241.21/1241.69 c 1241s | 16 | 288366 | 167252 | 22591 9 | 6234 | 105 1243.51/1243.92 c 1243s | 16 | 288731 | 167552 | 22591 9 | 6234 | 105 1246.11/1246.52 c 1246s | 16 | 289041 | 167852 | 22591 9 | 6234 | 105 1248.60/1249.01 c 1248s | 16 | 289356 | 168152 | 22591 9 | 6234 | 105 1251.20/1251.67 c 1251s | 16 | 289683 | 168452 | 22591 9 | 6234 | 105 1253.50/1253.99 c 1253s | 16 | 290047 | 168752 | 22591 9 | 6234 | 105 1256.10/1256.59 c 1256s | 16 | 290453 | 169052 | 22591 9 | 6234 | 105 1258.50/1258.99 c 1258s | 16 | 290885 | 169352 | 22591 9 | 6234 | 105 1260.90/1261.30 c 1260s | 16 | 291280 | 169652 | 22591 9 | 6234 | 105 1263.20/1263.63 c 1263s | 16 | 291676 | 169952 | 22591 9 | 6234 | 105 1265.50/1265.98 c 1265s | 16 | 292035 | 170252 | 22591 9 | 6234 | 105 1267.90/1268.30 c 1267s | 16 | 292548 | 170552 | 22591 9 | 6234 | 105 1270.21/1270.61 c 1270s | 16 | 292995 | 170852 | 22591 9 | 6234 | 105 1272.51/1272.91 c 1272s | 16 | 293483 | 171152 | 22591 9 | 6234 | 105 1274.80/1275.27 c 1274s | 16 | 293960 | 171452 | 22591 9 | 6234 | 105 1277.30/1277.78 c 1277s | 16 | 294703 | 171752 | 22591 9 | 6234 | 105 1279.60/1280.07 c 1279s | 16 | 295134 | 172052 | 22591 9 | 6234 | 105 1281.70/1282.20 c 1281s | 16 | 295491 | 172352 | 22591 9 | 6234 | 105 1284.00/1284.42 c 1283s | 16 | 295921 | 172652 | 22591 9 | 6234 | 105 1286.30/1286.70 c 1286s | 16 | 296271 | 172952 | 22591 9 | 6234 | 105 1288.50/1288.95 c 1288s | 16 | 297062 | 173252 | 22591 9 | 6234 | 105 1290.59/1291.08 c 1290s | 16 | 297527 | 173552 | 22591 9 | 6234 | 105 1292.89/1293.34 c 1292s | 16 | 298042 | 173852 | 22591 9 | 6234 | 105 1294.99/1295.48 c 1294s | 16 | 298484 | 174152 | 22591 9 | 6234 | 105 1297.29/1297.77 c 1297s | 16 | 298938 | 174452 | 22591 9 | 6234 | 105 1299.59/1300.10 c 1299s | 16 | 299355 | 174752 | 22591 9 | 6234 | 105 1302.10/1302.52 c 1302s | 16 | 299715 | 175052 | 22591 9 | 6234 | 105 1304.40/1304.84 c 1304s | 16 | 300086 | 175352 | 22591 9 | 6234 | 105 1306.79/1307.29 c 1306s | 16 | 300464 | 175652 | 22591 9 | 6234 | 105 1309.39/1309.82 c 1309s | 16 | 301007 | 175952 | 22591 9 | 6234 | 105 1311.89/1312.34 c 1311s | 16 | 301416 | 176252 | 22591 9 | 6234 | 105 1314.30/1314.74 c 1314s | 16 | 301892 | 176552 | 22591 9 | 6234 | 105 1316.69/1317.15 c 1316s | 16 | 302393 | 176852 | 22591 9 | 6234 | 105 1319.19/1319.65 c 1319s | 16 | 303059 | 177152 | 22591 9 | 6234 | 105 1321.59/1322.04 c 1321s | 16 | 303464 | 177452 | 22591 9 | 6234 | 105 1324.59/1325.01 c 1324s | 16 | 303892 | 177752 | 22591 9 | 6234 | 105 1327.40/1327.87 c 1327s | 16 | 304220 | 178052 | 22591 9 | 6234 | 105 1329.99/1330.41 c 1329s | 16 | 304643 | 178352 | 22591 9 | 6234 | 105 1334.79/1335.21 c 1334s | 16 | 305076 | 178552 | 22591 10 | 6234 | 105 1336.99/1337.41 c 1336s | 16 | 305529 | 178852 | 22591 10 | 6234 | 105 1339.19/1339.68 c 1339s | 16 | 305882 | 179152 | 22591 10 | 6234 | 105 1341.49/1341.96 c 1341s | 16 | 306440 | 179452 | 22591 10 | 6234 | 105 1343.69/1344.20 c 1343s | 16 | 307054 | 179752 | 22591 10 | 6234 | 105 1345.99/1346.44 c 1345s | 16 | 307496 | 180052 | 22591 10 | 6234 | 105 1348.29/1348.77 c 1348s | 16 | 307915 | 180352 | 22591 10 | 6234 | 105 1350.59/1351.08 c 1350s | 16 | 308537 | 180652 | 22591 10 | 6234 | 105 1352.89/1353.31 c 1352s | 16 | 308886 | 180952 | 22591 10 | 6234 | 105 1355.09/1355.51 c 1355s | 16 | 309356 | 181252 | 22591 10 | 6234 | 105 1357.28/1357.70 c 1357s | 16 | 309732 | 181552 | 22591 10 | 6234 | 105 1359.48/1359.99 c 1359s | 16 | 310210 | 181852 | 22591 10 | 6234 | 105 1363.69/1364.13 c 1363s | 16 | 310702 | 182152 | 22591 10 | 6234 | 105 1366.08/1366.52 c 1366s | 16 | 311124 | 182452 | 22591 10 | 6234 | 105 1368.48/1368.92 c 1368s | 16 | 311718 | 182752 | 22591 10 | 6234 | 105 1370.68/1371.15 c 1370s | 16 | 312038 | 183052 | 22591 10 | 6234 | 105 1372.98/1373.40 c 1372s | 16 | 312365 | 183352 | 22591 10 | 6234 | 105 1375.28/1375.73 c 1375s | 16 | 312913 | 183652 | 22591 10 | 6234 | 105 1377.68/1378.10 c 1377s | 16 | 313338 | 183952 | 22591 10 | 6234 | 105 1379.88/1380.39 c 1379s | 16 | 313646 | 184252 | 22591 10 | 6234 | 105 1382.28/1382.73 c 1382s | 16 | 313994 | 184552 | 22591 10 | 6234 | 105 1384.48/1384.95 c 1384s | 16 | 314298 | 184852 | 22591 10 | 6234 | 105 1386.68/1387.14 c 1386s | 16 | 314603 | 185152 | 22591 10 | 6234 | 105 1388.99/1389.47 c 1388s | 16 | 314905 | 185452 | 22591 10 | 6234 | 105 1391.19/1391.64 c 1391s | 16 | 315325 | 185752 | 22591 10 | 6234 | 105 1393.49/1393.97 c 1393s | 16 | 315645 | 186052 | 22591 10 | 6234 | 105 1395.88/1396.37 c 1395s | 16 | 315969 | 186352 | 22591 10 | 6234 | 105 1398.38/1398.82 c 1398s | 16 | 316462 | 186652 | 22591 10 | 6234 | 105 1400.78/1401.20 c 1400s | 16 | 316843 | 186952 | 22591 10 | 6234 | 105 1402.98/1403.46 c 1402s | 16 | 317229 | 187252 | 22591 10 | 6234 | 105 1405.38/1405.87 c 1405s | 16 | 317571 | 187552 | 22591 10 | 6234 | 105 1407.88/1408.35 c 1407s | 16 | 317911 | 187852 | 22591 10 | 6234 | 105 1410.38/1410.83 c 1410s | 16 | 318243 | 188152 | 22591 10 | 6234 | 105 1412.58/1413.07 c 1412s | 16 | 318735 | 188452 | 22591 10 | 6234 | 105 1414.98/1415.48 c 1414s | 16 | 319466 | 188752 | 22591 10 | 6234 | 105 1417.69/1418.12 c 1417s | 16 | 319777 | 189052 | 22591 10 | 6234 | 105 1420.28/1420.70 c 1420s | 16 | 320281 | 189352 | 22591 10 | 6234 | 105 1422.98/1423.49 c 1422s | 16 | 320618 | 189652 | 22591 10 | 6234 | 105 1425.48/1425.96 c 1425s | 16 | 321211 | 189952 | 22591 10 | 6234 | 105 1427.68/1428.20 c 1427s | 16 | 321713 | 190252 | 22591 10 | 6234 | 105 1430.18/1430.66 c 1430s | 16 | 322115 | 190552 | 22591 10 | 6234 | 105 1432.48/1432.95 c 1432s | 16 | 322655 | 190852 | 22591 10 | 6234 | 105 1434.68/1435.10 c 1434s | 16 | 322863 | 191052 | 22591 10 | 6234 | 105 1437.28/1437.79 c 1437s | 16 | 323279 | 191352 | 22591 10 | 6234 | 105 1439.69/1440.17 c 1439s | 16 | 323769 | 191652 | 22591 10 | 6234 | 105 1442.08/1442.53 c 1442s | 16 | 324325 | 191952 | 22591 10 | 6234 | 105 1444.38/1444.84 c 1444s | 16 | 324705 | 192252 | 22591 10 | 6234 | 105 1446.48/1446.90 c 1446s | 16 | 324909 | 192452 | 22591 10 | 6234 | 105 1448.78/1449.29 c 1448s | 16 | 325282 | 192752 | 22591 10 | 6234 | 105 1451.28/1451.74 c 1451s | 16 | 325608 | 193052 | 22591 10 | 6234 | 105 1453.68/1454.13 c 1453s | 16 | 325966 | 193352 | 22591 10 | 6234 | 105 1456.08/1456.55 c 1456s | 16 | 326480 | 193652 | 22591 10 | 6234 | 105 1458.38/1458.84 c 1458s | 16 | 326869 | 193952 | 22591 10 | 6234 | 105 1460.67/1461.11 c 1460s | 16 | 327279 | 194252 | 22591 10 | 6234 | 105 1462.87/1463.39 c 1462s | 16 | 327631 | 194552 | 22591 10 | 6234 | 105 1465.27/1465.78 c 1465s | 16 | 327989 | 194852 | 22591 10 | 6234 | 105 1467.67/1468.13 c 1467s | 16 | 328369 | 195152 | 22591 10 | 6234 | 105 1470.17/1470.63 c 1470s | 16 | 328810 | 195452 | 22591 10 | 6234 | 105 1472.68/1473.15 c 1472s | 16 | 329586 | 195752 | 22591 10 | 6234 | 105 1475.37/1475.81 c 1475s | 16 | 330008 | 196052 | 22591 10 | 6234 | 105 1477.97/1478.48 c 1477s | 16 | 330344 | 196352 | 24851 10 | 6234 | 105 1480.87/1481.35 c 1480s | 16 | 331069 | 196652 | 24851 10 | 6234 | 105 1483.68/1484.20 c 1483s | 16 | 331667 | 196952 | 24851 10 | 6234 | 105 1485.78/1486.29 c 1485s | 16 | 331937 | 197152 | 24851 10 | 6234 | 105 1488.17/1488.61 c 1488s | 16 | 332165 | 197352 | 24851 10 | 6234 | 105 1488.97/1489.47 c 1488s | 17 | 332339 | 197432 | 24851 10 | 6234 | 105 1493.48/1493.99 c 1493s | 17 | 336947 | 197532 | 24851 11 | 6234 | 105 1495.97/1496.40 c 1495s | 17 | 338542 | 198232 | 24851 11 | 6234 | 105 1498.07/1498.52 c 1498s | 17 | 339255 | 198732 | 24851 11 | 6234 | 105 1500.27/1500.70 c 1500s | 17 | 340008 | 199232 | 24851 11 | 6234 | 105 1502.57/1503.09 c 1502s | 17 | 340653 | 199732 | 24851 11 | 6234 | 105 1504.77/1505.22 c 1504s | 17 | 341326 | 200232 | 24851 11 | 6234 | 105 1507.07/1507.53 c 1507s | 17 | 341933 | 200732 | 24851 11 | 6234 | 105 1509.27/1509.71 c 1509s | 17 | 342615 | 201332 | 24851 11 | 6234 | 105 1511.27/1511.75 c 1511s | 17 | 343910 | 201832 | 24851 11 | 6234 | 105 1513.57/1514.01 c 1513s | 17 | 344676 | 202432 | 24851 11 | 6234 | 105 1515.67/1516.14 c 1515s | 17 | 345315 | 202932 | 24851 11 | 6234 | 105 1517.77/1518.22 c 1517s | 17 | 345891 | 203432 | 24851 11 | 6234 | 105 1519.77/1520.26 c 1519s | 17 | 346497 | 203932 | 24851 11 | 6234 | 105 1521.87/1522.37 c 1521s | 17 | 347089 | 204432 | 24851 11 | 6234 | 105 1523.97/1524.43 c 1523s | 17 | 347638 | 204932 | 24851 11 | 6234 | 105 1525.97/1526.43 c 1525s | 17 | 348241 | 205432 | 24851 11 | 6234 | 105 1528.16/1528.60 c 1528s | 17 | 348816 | 205932 | 24851 11 | 6234 | 105 1530.56/1531.04 c 1530s | 17 | 349363 | 206432 | 24851 11 | 6234 | 105 1532.66/1533.12 c 1532s | 17 | 349789 | 206832 | 24851 11 | 6234 | 105 1534.76/1535.27 c 1534s | 17 | 350227 | 207232 | 24851 11 | 6234 | 105 1536.86/1537.33 c 1536s | 17 | 350635 | 207632 | 24851 11 | 6234 | 105 1538.96/1539.47 c 1538s | 17 | 351081 | 208032 | 24851 11 | 6234 | 105 1541.46/1541.99 c 1541s | 17 | 351662 | 208532 | 24851 11 | 6234 | 105 1543.86/1544.30 c 1543s | 17 | 352084 | 208932 | 24851 11 | 6234 | 105 1546.06/1546.50 c 1546s | 17 | 352493 | 209332 | 24851 11 | 6234 | 105 1548.26/1548.72 c 1548s | 17 | 352935 | 209732 | 24851 11 | 6234 | 105 1550.67/1551.11 c 1550s | 17 | 353550 | 210232 | 24851 11 | 6234 | 105 1552.66/1553.14 c 1552s | 17 | 354216 | 210832 | 24851 11 | 6234 | 105 1554.86/1555.34 c 1554s | 17 | 354908 | 211432 | 24851 11 | 6234 | 105 1556.86/1557.36 c 1556s | 17 | 355580 | 211932 | 24851 11 | 6234 | 105 1559.26/1559.70 c 1559s | 17 | 356623 | 212532 | 24851 11 | 6234 | 105 1561.56/1562.00 c 1561s | 17 | 357282 | 213132 | 24851 11 | 6234 | 105 1563.76/1564.26 c 1563s | 17 | 358155 | 213732 | 24851 11 | 6234 | 105 1565.86/1566.30 c 1565s | 17 | 358724 | 214232 | 24851 11 | 6234 | 105 1568.26/1568.78 c 1568s | 17 | 359431 | 214832 | 24851 11 | 6234 | 105 1570.56/1571.02 c 1570s | 17 | 360077 | 215332 | 24851 11 | 6234 | 105 1572.76/1573.27 c 1572s | 17 | 361017 | 215832 | 24851 11 | 6234 | 105 1574.86/1575.32 c 1574s | 17 | 361515 | 216232 | 24851 11 | 6234 | 105 1577.16/1577.63 c 1577s | 17 | 362032 | 216632 | 24851 11 | 6234 | 105 1580.06/1580.53 c 1580s | 17 | 362514 | 217032 | 24851 12 | 6234 | 105 1582.26/1582.73 c 1582s | 17 | 363077 | 217432 | 24851 12 | 6234 | 105 1584.35/1584.81 c 1584s | 17 | 363581 | 217832 | 24851 12 | 6234 | 105 1586.65/1587.14 c 1586s | 17 | 364220 | 218332 | 24851 12 | 6234 | 105 1588.85/1589.37 c 1588s | 17 | 364958 | 218832 | 24851 12 | 6234 | 105 1590.85/1591.39 c 1590s | 17 | 365287 | 219132 | 24851 12 | 6234 | 105 1592.95/1593.46 c 1592s | 17 | 365886 | 219532 | 24851 12 | 6234 | 105 1595.35/1595.89 c 1595s | 17 | 366500 | 220032 | 24851 12 | 6234 | 105 1597.55/1598.06 c 1597s | 17 | 367151 | 220532 | 24851 12 | 6234 | 105 1599.65/1600.11 c 1599s | 17 | 367651 | 220932 | 24851 12 | 6234 | 105 1602.05/1602.50 c 1602s | 17 | 368238 | 221432 | 24851 12 | 6234 | 105 1604.05/1604.54 c 1604s | 17 | 368918 | 222032 | 24851 12 | 6234 | 105 1606.15/1606.65 c 1606s | 17 | 369483 | 222532 | 24851 12 | 6234 | 105 1608.55/1609.05 c 1608s | 17 | 370171 | 223032 | 24851 12 | 6234 | 105 1610.85/1611.39 c 1610s | 17 | 370619 | 223432 | 24851 12 | 6234 | 105 1613.55/1614.08 c 1613s | 17 | 371027 | 223832 | 24851 12 | 6234 | 105 1615.85/1616.34 c 1615s | 17 | 371391 | 224132 | 24851 12 | 6234 | 105 1618.05/1618.58 c 1618s | 17 | 371734 | 224432 | 24851 12 | 6234 | 105 1620.45/1620.92 c 1620s | 17 | 372056 | 224732 | 24851 12 | 6234 | 105 1622.45/1622.99 c 1622s | 17 | 372399 | 225032 | 24851 12 | 6234 | 105 1624.85/1625.33 c 1624s | 17 | 372986 | 225432 | 24851 12 | 6234 | 105 1627.15/1627.64 c 1627s | 17 | 373512 | 225832 | 24851 12 | 6234 | 105 1629.25/1629.79 c 1629s | 17 | 374110 | 226232 | 24851 12 | 6234 | 105 1631.75/1632.25 c 1631s | 17 | 374708 | 226632 | 24851 12 | 6234 | 105 1633.95/1634.46 c 1633s | 17 | 375052 | 226932 | 24851 12 | 6234 | 105 1636.45/1636.98 c 1636s | 17 | 375611 | 227332 | 24851 12 | 6234 | 105 1639.05/1639.53 c 1639s | 17 | 376125 | 227732 | 24851 12 | 6234 | 105 1641.65/1642.16 c 1641s | 17 | 376650 | 228132 | 24851 12 | 6234 | 105 1643.75/1644.21 c 1643s | 17 | 376999 | 228432 | 24851 12 | 6234 | 105 1646.45/1646.91 c 1646s | 17 | 377406 | 228832 | 24851 12 | 6234 | 105 1648.94/1649.42 c 1648s | 17 | 377913 | 229232 | 24851 12 | 6234 | 105 1651.14/1651.67 c 1651s | 17 | 378396 | 229632 | 24851 12 | 6234 | 105 1653.44/1653.96 c 1653s | 17 | 378973 | 230032 | 24851 12 | 6234 | 105 1655.64/1656.10 c 1655s | 17 | 379501 | 230432 | 24851 12 | 6234 | 105 1657.84/1658.38 c 1657s | 17 | 379976 | 230832 | 24851 12 | 6234 | 105 1660.14/1660.69 c 1660s | 17 | 380437 | 231232 | 24851 12 | 6234 | 105 1662.54/1663.05 c 1662s | 17 | 380937 | 231632 | 24851 12 | 6234 | 105 1664.74/1665.27 c 1664s | 17 | 381462 | 232032 | 24851 12 | 6234 | 105 1666.94/1667.43 c 1666s | 17 | 381943 | 232432 | 24851 12 | 6234 | 105 1669.24/1669.71 c 1669s | 17 | 382449 | 232832 | 24851 12 | 6234 | 105 1671.34/1671.86 c 1671s | 17 | 383011 | 233232 | 24851 12 | 6234 | 105 1673.64/1674.11 c 1673s | 17 | 383957 | 233932 | 24851 12 | 6234 | 105 1675.84/1676.34 c 1675s | 17 | 384999 | 234732 | 24851 12 | 6234 | 105 1677.94/1678.44 c 1677s | 17 | 385815 | 235432 | 24851 12 | 6234 | 105 1680.04/1680.56 c 1680s | 17 | 386267 | 235832 | 24851 13 | 6234 | 105 1682.14/1682.69 c 1682s | 17 | 386949 | 236432 | 24851 13 | 6234 | 105 1684.34/1684.89 c 1684s | 17 | 387732 | 237132 | 24851 13 | 6234 | 105 1686.74/1687.28 c 1686s | 17 | 388682 | 237832 | 24851 13 | 6234 | 105 1689.63/1690.12 c 1689s | 17 | 388937 | 238032 | 24851 13 | 6234 | 105 1691.83/1692.36 c 1691s | 17 | 389465 | 238532 | 24851 13 | 6234 | 105 1694.03/1694.59 c 1694s | 17 | 389979 | 239032 | 24851 13 | 6234 | 105 1696.23/1696.77 c 1696s | 17 | 390553 | 239532 | 24851 13 | 6234 | 105 1698.43/1698.95 c 1698s | 17 | 391149 | 240032 | 24851 13 | 6234 | 105 1700.73/1701.26 c 1700s | 17 | 391720 | 240532 | 24851 13 | 6234 | 105 1703.23/1703.78 c 1703s | 17 | 392311 | 241032 | 24851 13 | 6234 | 105 1705.33/1705.84 c 1705s | 17 | 392772 | 241432 | 24851 13 | 6234 | 105 1707.43/1707.95 c 1707s | 17 | 393204 | 241832 | 24851 13 | 6234 | 105 1709.53/1710.03 c 1709s | 17 | 393631 | 242232 | 24851 13 | 6234 | 105 1711.63/1712.13 c 1711s | 17 | 394046 | 242632 | 24851 13 | 6234 | 105 1713.93/1714.45 c 1713s | 17 | 394584 | 243132 | 24851 13 | 6234 | 105 1716.23/1716.73 c 1716s | 17 | 395012 | 243532 | 24851 13 | 6234 | 105 1718.33/1718.84 c 1718s | 17 | 395438 | 243932 | 24851 13 | 6234 | 105 1720.43/1720.95 c 1720s | 17 | 395874 | 244332 | 24851 13 | 6234 | 105 1725.03/1725.54 c 1725s | 17 | 396317 | 244732 | 24851 13 | 6234 | 105 1727.03/1727.57 c 1727s | 17 | 396746 | 245132 | 24851 13 | 6234 | 105 1729.33/1729.82 c 1729s | 17 | 397179 | 245532 | 24851 13 | 6234 | 105 1731.43/1731.98 c 1731s | 17 | 397684 | 245932 | 24851 13 | 6234 | 105 1733.63/1734.10 c 1733s | 17 | 398159 | 246332 | 24851 13 | 6234 | 105 1735.93/1736.43 c 1735s | 17 | 398695 | 246832 | 24851 13 | 6234 | 105 1738.13/1738.66 c 1738s | 17 | 399263 | 247332 | 24851 13 | 6234 | 105 1740.23/1740.79 c 1740s | 17 | 399795 | 247832 | 24851 13 | 6234 | 105 1742.53/1743.09 c 1742s | 17 | 400341 | 248332 | 24851 13 | 6234 | 105 1744.73/1745.22 c 1744s | 17 | 400750 | 248732 | 24851 13 | 6234 | 105 1747.03/1747.53 c 1747s | 17 | 401295 | 249132 | 24851 13 | 6234 | 105 1749.23/1749.78 c 1749s | 17 | 401800 | 249532 | 24851 13 | 6234 | 105 1751.43/1751.93 c 1751s | 17 | 402416 | 250032 | 24851 13 | 6234 | 105 1753.73/1754.28 c 1753s | 17 | 402904 | 250432 | 24851 13 | 6234 | 105 1756.13/1756.67 c 1756s | 17 | 403382 | 250832 | 24851 13 | 6234 | 105 1758.32/1758.90 c 1758s | 17 | 403812 | 251232 | 24851 13 | 6234 | 105 1760.52/1761.09 c 1760s | 17 | 404252 | 251632 | 24851 13 | 6234 | 105 1762.72/1763.21 c 1762s | 17 | 404665 | 252032 | 24851 13 | 6234 | 105 1765.02/1765.57 c 1765s | 17 | 405211 | 252532 | 24851 13 | 6234 | 105 1767.43/1767.99 c 1767s | 17 | 406006 | 253132 | 24851 13 | 6234 | 105 1769.63/1770.18 c 1769s | 17 | 406816 | 253632 | 24851 13 | 6234 | 105 1772.02/1772.57 c 1772s | 17 | 407464 | 254032 | 24851 13 | 6234 | 105 1774.32/1774.85 c 1774s | 17 | 408340 | 254432 | 24851 13 | 6234 | 105 1776.52/1777.02 c 1776s | 17 | 408640 | 254732 | 24851 13 | 6234 | 105 1778.72/1779.28 c 1778s | 17 | 408840 | 254932 | 24851 14 | 6234 | 105 1781.12/1781.61 c 1781s | 17 | 409047 | 255132 | 24851 14 | 6234 | 105 1783.52/1784.04 c 1783s | 17 | 409557 | 255632 | 24851 14 | 6234 | 105 1785.52/1786.09 c 1785s | 17 | 409960 | 256032 | 24851 14 | 6234 | 105 1787.72/1788.26 c 1787s | 17 | 410369 | 256432 | 24851 14 | 6234 | 105 1790.02/1790.54 c 1790s | 17 | 410572 | 256632 | 24851 14 | 6234 | 105 1792.32/1792.81 c 1792s | 17 | 411035 | 257032 | 24851 14 | 6234 | 105 1794.82/1795.39 c 1794s | 17 | 411552 | 257532 | 24851 14 | 6234 | 105 1796.92/1797.40 c 1796s | 17 | 412003 | 257932 | 24851 14 | 6234 | 105 1798.92/1799.41 c 1798s | 17 | 412428 | 258332 | 24851 14 | 6234 | 105
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-4101785-1466226545/watcher-4101785-1466226545 -o /tmp/evaluation-result-4101785-1466226545/solver-4101785-1466226545 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101785-1466226545.opb pid=18172 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.32 2.23 2.19 4/179 18175 /proc/meminfo: memFree=29252716/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=691780 CPUtime=0 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 2578 0 0 0 0 0 0 0 20 0 4 0 24703272 708382720 2938 33554432000 4194304 16246674 140733825876800 140733825876224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 173457 2948 442 2943 0 170351 0 [pid=18175/tid=18176] ppid=18172 vsize=709188 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 726208512 3007 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=713284 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 730402816 3024 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=717380 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 734597120 3040 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.32 2.23 2.19 4/179 18175 /proc/meminfo: memFree=29252716/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 29013 0 0 0 5 4 0 0 20 0 4 0 24703272 1333334016 29311 33554432000 4194304 16246674 140733825876800 140733825876112 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 325521 29326 802 2943 0 322415 0 [pid=18175/tid=18176] ppid=18172 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1333334016 29335 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1333334016 29347 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1333334016 29358 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200501 s] /proc/loadavg: 2.32 2.23 2.19 4/179 18175 /proc/meminfo: memFree=29252716/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=0.19 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 46914 0 0 0 13 6 0 0 20 0 4 0 24703272 1346965504 47212 33554432000 4194304 16246674 140733825876800 140733825876112 6955386 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 47212 834 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 47212 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 47212 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 47212 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1315396 [startup+0.300479 s] /proc/loadavg: 2.32 2.23 2.19 4/179 18175 /proc/meminfo: memFree=29252716/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=0.29 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 71516 0 0 0 20 9 0 0 20 0 4 0 24703272 1346965504 71815 33554432000 4194304 16246674 140733825876800 140733825876112 12652961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 71827 834 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 71835 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 71846 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 71856 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1315396 [startup+0.700422 s] /proc/loadavg: 2.32 2.23 2.19 4/179 18175 /proc/meminfo: memFree=29252716/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=0.68 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 81820 0 0 0 58 10 0 0 20 0 4 0 24703272 1346965504 82118 33554432000 4194304 16246674 140733825876800 140733825876112 5600869 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 82118 894 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82118 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82118 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82118 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1315396 [startup+1.50042 s] /proc/loadavg: 2.32 2.23 2.19 4/183 18179 /proc/meminfo: memFree=28925368/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=1.48 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 81823 0 0 0 138 10 0 0 20 0 4 0 24703272 1346965504 82121 33554432000 4194304 16246674 140733825876800 140733825858688 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 82121 897 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82121 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82121 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 82121 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1315396 [startup+3.1004 s] /proc/loadavg: 2.37 2.24 2.19 4/182 18179 /proc/meminfo: memFree=28925252/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=3.09 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 86388 0 0 0 298 11 0 0 20 0 4 0 24703272 1346965504 86687 33554432000 4194304 16246674 140733825876800 140733825858688 12474613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 86698 897 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 86706 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 86706 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 86710 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1315396 [startup+6.30038 s] /proc/loadavg: 2.37 2.24 2.19 4/182 18179 /proc/meminfo: memFree=28182128/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=6.29 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 270047 0 0 0 596 33 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140733825859800 5600808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 270345 897 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1315396 [startup+12.7004 s] /proc/loadavg: 2.39 2.25 2.20 3/183 18180 /proc/meminfo: memFree=28171676/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=12.69 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 270047 0 0 0 1236 33 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140733825858688 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 270345 897 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270345 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1315396 [startup+25.5073 s] /proc/loadavg: 2.33 2.24 2.19 3/183 18180 /proc/meminfo: memFree=28171576/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=25.5 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 270051 0 0 0 2517 33 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140733825858688 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 270349 901 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1315396 [startup+51.1004 s] /proc/loadavg: 2.29 2.24 2.19 3/183 18180 /proc/meminfo: memFree=28172052/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 270051 0 0 0 5075 33 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140733825858688 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 270349 901 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.3 s] /proc/loadavg: 2.24 2.23 2.19 3/184 18184 /proc/meminfo: memFree=28171868/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1315396 CPUtime=102.27 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 270051 0 0 0 10194 33 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140733825858688 5712536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 328849 270349 901 2943 0 325743 0 [pid=18175/tid=18176] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1346965504 270349 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1355354112 272401 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1323588 [startup+1302.3 s] /proc/loadavg: 2.19 2.18 2.18 3/184 18263 /proc/meminfo: memFree=28144820/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1323588 CPUtime=1301.89 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 272415 0 0 0 130151 38 0 0 20 0 4 0 24703272 1355354112 272401 33554432000 4194304 16246674 140733825876800 140733825858688 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 330897 272401 905 2943 0 327791 0 [pid=18175/tid=18176] ppid=18172 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1355354112 272401 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1355354112 272401 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1355354112 272401 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1323588 [startup+1362.3 s] /proc/loadavg: 2.28 2.21 2.18 3/183 18264 /proc/meminfo: memFree=28047172/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1421892 CPUtime=1361.88 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 296801 0 0 0 136146 42 0 0 20 0 4 0 24703272 1456017408 296787 33554432000 4194304 16246674 140733825876800 140733825875896 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 355473 296787 905 2943 0 352367 0 [pid=18175/tid=18176] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296787 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296787 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296787 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1421892 [startup+1422.3 s] /proc/loadavg: 2.19 2.20 2.18 3/183 18265 /proc/meminfo: memFree=28045684/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1421892 CPUtime=1421.88 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 296991 0 0 0 142145 43 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140733825858688 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 355473 296977 905 2943 0 352367 0 [pid=18175/tid=18176] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1421892 [startup+1482.3 s] /proc/loadavg: 2.22 2.20 2.18 3/183 18266 /proc/meminfo: memFree=28045688/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1421892 CPUtime=1481.87 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 296991 0 0 0 148144 43 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140733825858688 5712698 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 355473 296977 905 2943 0 352367 0 [pid=18175/tid=18176] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1421892 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1456017408 296977 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1421892 [startup+1542.3 s] /proc/loadavg: 2.28 2.22 2.19 3/183 18268 /proc/meminfo: memFree=28012096/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1455684 CPUtime=1541.87 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 305439 0 0 0 154143 44 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140733825858688 5712780 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 363921 305425 905 2943 0 360815 0 [pid=18175/tid=18176] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1455684 [startup+1602.3 s] /proc/loadavg: 2.35 2.24 2.19 3/183 18269 /proc/meminfo: memFree=28012088/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1455684 CPUtime=1601.85 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 305439 0 0 0 160141 44 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140733825858688 13780588 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 363921 305425 905 2943 0 360815 0 [pid=18175/tid=18176] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1455684 [startup+1662.31 s] /proc/loadavg: 2.37 2.27 2.20 3/183 18270 /proc/meminfo: memFree=28011964/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1455684 CPUtime=1661.85 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 305439 0 0 0 166141 44 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140733825858688 5711984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 363921 305425 905 2943 0 360815 0 [pid=18175/tid=18176] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1455684 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1490620416 305425 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1455684 [startup+1722.3 s] /proc/loadavg: 2.42 2.30 2.21 3/183 18271 /proc/meminfo: memFree=27947992/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1520196 CPUtime=1721.83 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 321356 0 0 0 172137 46 0 0 20 0 4 0 24703272 1556680704 321342 33554432000 4194304 16246674 140733825876800 140733825858688 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 380049 321342 905 2943 0 376943 0 [pid=18175/tid=18176] ppid=18172 vsize=1520196 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1556680704 321342 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1520196 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1556680704 321342 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1520196 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1556680704 321342 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1520196 [startup+1782.3 s] /proc/loadavg: 2.31 2.28 2.21 3/183 18272 /proc/meminfo: memFree=27780588/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1686084 CPUtime=1781.82 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 363039 0 0 0 178129 53 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140733825858688 5712184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 421521 363025 905 2943 0 418415 0 [pid=18175/tid=18176] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1686084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.39 2.30 2.21 3/183 18272 /proc/meminfo: memFree=27780592/32872528 swapFree=1431120/1543540 [pid=18175] ppid=18172 vsize=1686084 CPUtime=1800.02 cores=1,3,5,7 /proc/18175/stat : 18175 (toysat) R 18172 18175 15180 0 -1 4202496 363039 0 0 0 179949 53 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140733825858688 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/18175/statm: 421521 363025 905 2943 0 418415 0 [pid=18175/tid=18176] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18176/stat : 18176 (toysat) S 18172 18175 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140136055549168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=18175/tid=18177] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18177/stat : 18177 (toysat) S 18172 18175 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140136045059312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=18175/tid=18178] ppid=18172 vsize=1686084 CPUtime=0 cores=1,3,5,7 /proc/18175/task/18178/stat : 18178 (toysat) S 18172 18175 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24703272 1726550016 363025 33554432000 4194304 16246674 140733825876800 140135924493488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1686084 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 18175 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.05 CPU user time (s): 1799.5 CPU system time (s): 0.558915 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1686084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.558915 maximum resident set size= 1452100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 363039 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= 338 involuntary context switches= 1871 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.10222 second user time and 7.60084 second system time The end
Begin job on node116 at 2016-06-18 07:09:05 IDJOB=4101785 IDBENCH=1794 IDSOLVER=2542 FILE ID=node116/4101785-1466226545 RUNJOBID= node116-1466206094-15197 PBS_JOBID= 19918160 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fixnet6.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101785-1466226545/watcher-4101785-1466226545 -o /tmp/evaluation-result-4101785-1466226545/solver-4101785-1466226545 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101785-1466226545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fc34075a5d318bf3fbb6971479140d14 RANDOM SEED=284186729 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29253252 kB Buffers: 121624 kB Cached: 131400 kB SwapCached: 2160 kB Active: 1179244 kB Inactive: 155452 kB Active(anon): 1082432 kB Inactive(anon): 1544 kB Active(file): 96812 kB Inactive(file): 153908 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 16832 kB Writeback: 0 kB AnonPages: 2626276 kB Mapped: 10744 kB Shmem: 0 kB Slab: 604156 kB SReclaimable: 48124 kB SUnreclaim: 556032 kB KernelStack: 1520 kB PageTables: 9208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2769864 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 892928 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= 71692 MiB End job on node116 at 2016-06-18 07:39:06