| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb |
| MD5SUM | f0369b32b392b309903886944ef44b64 |
| 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 | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 204880 |
| Total number of constraints | 159488 |
| Number of constraints which are clauses | 129232 |
| Number of constraints which are cardinality constraints (but not clauses) | 5805 |
| Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 75648 |
| Biggest coefficient in the objective function | 7 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 529536 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 7 |
| Number of bits of the biggest number in a constraint | 3 |
| Biggest sum of numbers in a constraint | 529536 |
| 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:30:45+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-4101865-1466227845.opb"] 0.00/0.01 c use --random-gen="4281192117 3674462560 4278945146 1512273220 1235309104 4182452415 2859036896 2759125249 4217610163 2220670319 1809220776 1880489226 3552526583 1141777262 251190820 1385693929 1599489124 310294155 1118632448 3600147286 3670732085 1841663930 116048393 3086546906 2328020751 3960283151 358649490 2202833874 3097385425 588688935 2130843568 1458133848 3319349814 4224845167 1677343503 1223141493 1337542808 2598969726 2532780504 1930646885 3804541893 3277398816 652343635 3800676343 1421480305 266880342 715339382 248886724 4253458565 3481392144 3614292669 2894533034 755748447 2139577086 3089698822 3633285030 1887193039 4201977246 3204406611 3692447496 4133577231 1590992484 4040648138 4240084514 1740630721 3103070391 1021243514 345709090 3533845681 1334142762 3209014506 1443990476 1009153929 3962054303 1070053547 102965390 3309270933 2500978050 1465191282 631703229 2615981721 2712778839 1289696387 2855533452 844947986 1572259160 3848286977 1357164399 202565611 1692463041 1640681569 3200702821 250772221 1084226607 1038095648 2065204240 1807779868 705042581 804758315 1971970842 3183133412 3269604579 4193742485 1862243378 2257633548 1131021083 938655692 1555035210 819875531 4231125863 7662580 2053659226 2383522452 609970238 2824720889 963775071 770842639 1072002063 817631010 3468014161 3007341096 389543493 2766400038 2251441424 3010075823 2523341354 4097218205 2690936603 1535710291 3929426726 1975615261 2934236361 515015162 2704486255 2798680645 452389630 53754856 362013196 442025721 1897489401 766958174 1914882932 1082794269 1834224683 3557608789 1168916692 2749530094 3573244756 2705238092 781872371 3121784411 2279662504 1071995143 2760879226 3237433190 1035792895 1903186355 3202600890 3027706917 2152899998 923817429 3347397693 2011706607 1553940887 1633591783 1663449571 2826337636 502911362 636649003 1942342434 661530505 2352752511 702096179 3643769545 202990619 2311968661 1784791242 1421673069 1835267299 1276229851 306609894 2695480544 2930657136 3466540555 2881881204 2829304968 2651800211 2553832317 4157008221 765665468 4240655200 2421621468 3591750934 55894591 1402624047 1516915220 1588417756 3976366432 3612117612 2297124951 4071885054 2799271020 3078721886 584981726 2699066475 3964196755 192666192 1432823650 2282111949 3803976223 4288687901 3226666283 4037064155 3702411715 189152452 2652661643 1444554762 3205287161 4065270779 3921319100 4018356728 4061315332 3650296662 3795985173 3367050232 3770547847 3685840360 161385282 1694281214 3753457555 458215238 219679441 3160385399 1659307237 3070897327 3783417296 591630619 1705771235 3100129628 3577683573 96722539 1279720525 2373690383 2334007138 3395413750 2647202153 2578552102 22879677 187620374 1900948137 2397175985 3658256229 895200133 2345244967 1176751680 3351493011 255 362436" option to reproduce the execution 1.39/1.48 c #vars 204880 1.39/1.48 c #constraints 159488 5.29/5.38 c BCD2: Hardening is enabled. 5.29/5.38 c BCD2: BiasedSearch is enabled. 5.29/5.38 c Solving starts ... 5.29/5.38 c ============================[ Search Statistics ]============================ 5.29/5.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.38 c | | | | Limit GC | Var | Constra 5.29/5.38 c ============================================================================= 5.50/5.54 c 0.0s | 0 | 0 | 0 | 124637 0 | 16811 | 0 7.29/7.34 c 1.8s | 1 | 9828 | 100 | 124637 0 | 18167 | 6270 9.69/9.73 c 4.2s | 2 | 31895 | 250 | 137101 0 | 21064 | 8789 11.10/11.18 c 5.6s | 3 | 49999 | 475 | 150812 0 | 21064 | 8789 12.99/13.09 c 7.6s | 4 | 73862 | 813 | 165894 0 | 21064 | 8789 15.29/15.35 c 9.8s | 4 | 100780 | 1213 | 182484 0 | 21319 | 9033 15.89/15.92 c 10.4s | 5 | 101896 | 1320 | 182484 0 | 21319 | 9033 18.09/18.15 c 12.6s | 5 | 107144 | 1820 | 200733 0 | 21319 | 9033 18.79/18.82 c 13.3s | 6 | 107795 | 2081 | 220807 0 | 21319 | 9033 20.99/21.05 c 15.5s | 6 | 113208 | 2481 | 220807 0 | 22853 | 10369 22.58/22.65 c 17.1s | 7 | 115819 | 3223 | 242888 0 | 22853 | 10369 24.88/24.92 c 19.4s | 7 | 120391 | 3823 | 242888 0 | 22853 | 10369 27.38/27.49 c 22.0s | 7 | 126343 | 4423 | 242888 0 | 22853 | 10369 29.48/29.51 c 24.0s | 8 | 129043 | 4936 | 267177 0 | 23358 | 10795 31.58/31.66 c 26.1s | 8 | 132334 | 5436 | 267177 0 | 23358 | 10795 33.88/33.97 c 28.4s | 8 | 135851 | 6036 | 267177 0 | 23358 | 10795 36.18/36.20 c 30.7s | 8 | 137916 | 6636 | 267177 0 | 23358 | 10795 38.68/38.76 c 33.2s | 8 | 138757 | 7036 | 267177 0 | 23358 | 10795 40.88/40.91 c 35.4s | 8 | 139878 | 7336 | 267177 0 | 23358 | 10795 41.98/42.08 c 36.5s | 9 | 142261 | 7506 | 293895 0 | 23358 | 10795 44.38/44.44 c 38.9s | 9 | 145362 | 8006 | 293895 0 | 23358 | 10795 46.78/46.89 c 41.4s | 9 | 147042 | 8706 | 293895 0 | 23358 | 10795 48.98/49.08 c 43.5s | 9 | 148183 | 9306 | 293895 0 | 23358 | 10795 51.08/51.15 c 45.6s | 9 | 149144 | 9806 | 293895 0 | 23358 | 10795 53.28/53.33 c 47.8s | 9 | 152250 | 10706 | 293895 0 | 23358 | 10795 55.09/55.18 c 49.6s | 10 | 154200 | 11361 | 323285 0 | 23358 | 10795 57.68/57.73 c 52.2s | 10 | 160057 | 11761 | 323285 0 | 23902 | 11291 60.08/60.11 c 54.6s | 10 | 162812 | 12461 | 323285 0 | 23902 | 11291 62.28/62.36 c 56.8s | 10 | 164882 | 13361 | 323285 0 | 23902 | 11291 64.78/64.85 c 59.3s | 10 | 166854 | 14061 | 323285 0 | 23902 | 11291 67.08/67.12 c 61.6s | 10 | 167718 | 14461 | 323285 0 | 23902 | 11291 69.28/69.34 c 63.8s | 10 | 168456 | 14861 | 323285 0 | 23902 | 11291 71.68/71.77 c 66.2s | 10 | 169213 | 15261 | 323285 0 | 23902 | 11291 73.97/74.07 c 68.5s | 10 | 169943 | 15661 | 323285 0 | 23902 | 11291 75.98/76.08 c 70.5s | 10 | 170871 | 16061 | 323285 0 | 23902 | 11291 78.08/78.13 c 72.6s | 10 | 173561 | 16461 | 323285 0 | 23902 | 11291 79.97/80.05 c 74.5s | 11 | 176325 | 17144 | 355614 0 | 23902 | 11291 82.07/82.11 c 76.6s | 11 | 179663 | 17544 | 355614 0 | 23903 | 11292 84.07/84.15 c 78.6s | 11 | 181799 | 18344 | 355614 0 | 23903 | 11292 86.17/86.22 c 80.7s | 11 | 183451 | 18944 | 355614 0 | 23903 | 11292 88.17/88.27 c 82.7s | 11 | 185701 | 19644 | 355614 0 | 23903 | 11292 90.47/90.52 c 85.0s | 11 | 186893 | 20444 | 355614 0 | 23903 | 11292 92.77/92.88 c 87.3s | 11 | 188070 | 21144 | 355614 0 | 23903 | 11292 94.97/95.01 c 89.5s | 11 | 188886 | 21744 | 355614 0 | 23903 | 11292 97.27/97.36 c 91.8s | 11 | 189801 | 22344 | 355614 0 | 23903 | 11292 99.38/99.45 c 93.9s | 11 | 190554 | 22844 | 355614 0 | 23903 | 11292 101.68/101.72 c 96.2s | 11 | 191467 | 23444 | 355614 0 | 23903 | 11292 103.98/104.08 c 98.5s | 11 | 192299 | 24044 | 355614 0 | 23903 | 11292 106.18/106.23 c 100s | 11 | 193205 | 24644 | 355614 0 | 23903 | 11292 108.38/108.45 c 102s | 11 | 194311 | 25344 | 355614 0 | 23903 | 11292 110.28/110.39 c 104s | 12 | 195007 | 25819 | 391176 0 | 23903 | 11292 112.68/112.71 c 107s | 12 | 198516 | 26319 | 391176 0 | 23903 | 11292 114.68/114.79 c 109s | 12 | 201091 | 26519 | 391176 0 | 24862 | 12127 116.98/117.03 c 111s | 12 | 202998 | 27319 | 391176 0 | 24862 | 12127 119.17/119.23 c 113s | 12 | 205807 | 27819 | 391176 0 | 24864 | 12128 121.57/121.67 c 116s | 12 | 208906 | 28419 | 391176 0 | 24864 | 12128 123.67/123.71 c 118s | 12 | 212631 | 28819 | 391176 0 | 24864 | 12128 126.87/126.93 c 121s | 12 | 217069 | 29219 | 391176 0 | 25211 | 12465 129.07/129.18 c 123s | 12 | 218987 | 29619 | 391176 0 | 25212 | 12466 131.17/131.20 c 125s | 12 | 221308 | 30319 | 391176 0 | 25212 | 12466 133.18/133.23 c 127s | 12 | 223520 | 30919 | 391176 0 | 25212 | 12466 135.28/135.33 c 129s | 12 | 225227 | 31619 | 391176 0 | 25212 | 12466 137.58/137.61 c 132s | 12 | 227079 | 32419 | 391176 0 | 25212 | 12466 139.78/139.83 c 134s | 12 | 228140 | 33019 | 391176 0 | 25212 | 12466 142.27/142.39 c 136s | 12 | 229056 | 33619 | 391176 0 | 25212 | 12466 144.47/144.52 c 138s | 12 | 229748 | 34019 | 391176 0 | 25212 | 12466 146.87/146.90 c 141s | 12 | 230529 | 34519 | 391176 0 | 25212 | 12466 149.17/149.30 c 143s | 12 | 231591 | 35119 | 391176 0 | 25212 | 12466 151.57/151.69 c 146s | 12 | 232473 | 35619 | 391176 0 | 25212 | 12466 153.77/153.81 c 148s | 12 | 233801 | 36219 | 391176 0 | 25212 | 12466 156.18/156.23 c 150s | 12 | 235088 | 36819 | 391176 0 | 25212 | 12466 158.27/158.35 c 152s | 12 | 236399 | 37419 | 391176 0 | 25212 | 12466 160.37/160.47 c 154s | 12 | 237583 | 38019 | 391176 0 | 25212 | 12466 162.47/162.58 c 157s | 12 | 238687 | 38519 | 391176 0 | 25212 | 12466 163.67/163.70 c 158s | 13 | 239395 | 38832 | 430294 0 | 25212 | 12466 165.87/165.91 c 160s | 13 | 240492 | 39332 | 430294 0 | 25212 | 12466 167.87/167.96 c 162s | 13 | 241336 | 39832 | 430294 0 | 25212 | 12466 170.27/170.39 c 164s | 13 | 242279 | 40432 | 430294 0 | 25212 | 12466 172.57/172.66 c 167s | 13 | 243272 | 41032 | 430294 0 | 25212 | 12466 174.77/174.86 c 169s | 13 | 243887 | 41432 | 430294 0 | 25212 | 12466 176.87/176.96 c 171s | 13 | 244441 | 41832 | 430294 0 | 25212 | 12466 179.06/179.11 c 173s | 13 | 245256 | 42332 | 430294 0 | 25212 | 12466 181.16/181.24 c 175s | 13 | 245979 | 42832 | 430294 0 | 25212 | 12466 183.16/183.25 c 177s | 13 | 246584 | 43232 | 430294 0 | 25212 | 12466 185.46/185.56 c 180s | 13 | 247386 | 43732 | 430294 0 | 25212 | 12466 187.66/187.77 c 182s | 13 | 247933 | 44132 | 430294 0 | 25212 | 12466 189.86/189.96 c 184s | 13 | 248479 | 44532 | 430294 0 | 25212 | 12466 192.06/192.13 c 186s | 13 | 249044 | 44932 | 430294 0 | 25212 | 12466 194.46/194.52 c 188s | 13 | 266324 | 45232 | 430294 0 | 25214 | 12467 196.66/196.71 c 191s | 13 | 267430 | 45832 | 430294 0 | 25214 | 12467 198.76/198.83 c 193s | 13 | 268550 | 46432 | 430294 0 | 25214 | 12467 200.76/200.86 c 195s | 13 | 269873 | 47032 | 430294 0 | 25214 | 12467 203.06/203.18 c 197s | 13 | 270858 | 47632 | 430294 0 | 25214 | 12467 205.46/205.54 c 200s | 13 | 271752 | 48232 | 430294 0 | 25214 | 12467 207.87/207.95 c 202s | 13 | 272676 | 48832 | 430294 0 | 25214 | 12467 209.96/210.10 c 204s | 13 | 273413 | 49332 | 430294 0 | 25214 | 12467 212.16/212.23 c 206s | 13 | 274169 | 49832 | 430294 0 | 25214 | 12467 214.26/214.31 c 208s | 13 | 274873 | 50332 | 430294 0 | 25214 | 12467 216.36/216.49 c 210s | 13 | 275593 | 50832 | 430294 0 | 25214 | 12467 218.87/218.92 c 213s | 13 | 276269 | 51332 | 430294 0 | 25214 | 12467 220.96/221.05 c 215s | 13 | 276967 | 51832 | 430294 0 | 25214 | 12467 223.16/223.29 c 217s | 13 | 277625 | 52332 | 430294 0 | 25214 | 12467 225.36/225.48 c 219s | 13 | 278310 | 52832 | 430294 0 | 25214 | 12467 227.76/227.85 c 222s | 13 | 279235 | 53432 | 430294 0 | 25214 | 12467 230.06/230.17 c 224s | 13 | 279933 | 53932 | 430294 0 | 25214 | 12467 232.26/232.33 c 226s | 13 | 280629 | 54432 | 430294 0 | 25214 | 12467 234.46/234.54 c 228s | 13 | 281325 | 54932 | 430294 0 | 25214 | 12467 236.96/237.00 c 231s | 13 | 282000 | 55432 | 430294 0 | 25214 | 12467 239.06/239.13 c 233s | 13 | 282522 | 55832 | 430294 0 | 25214 | 12467 241.36/241.40 c 235s | 13 | 283252 | 56332 | 430294 0 | 25214 | 12467 243.66/243.73 c 238s | 13 | 284885 | 56832 | 430294 0 | 25214 | 12467 245.75/245.85 c 240s | 13 | 287558 | 57532 | 430294 0 | 25214 | 12467 247.85/247.98 c 242s | 13 | 289286 | 58332 | 473324 0 | 25214 | 12467 247.95/248.03 c 242s | 14 | 289320 | 58352 | 473324 0 | 25214 | 12467 250.15/250.29 c 244s | 14 | 290570 | 58852 | 473324 0 | 25214 | 12467 252.35/252.46 c 246s | 14 | 292539 | 59252 | 473324 0 | 25216 | 12468 254.65/254.75 c 249s | 14 | 293557 | 59852 | 473324 0 | 25216 | 12468 256.95/257.08 c 251s | 14 | 294984 | 60652 | 473324 0 | 25216 | 12468 259.15/259.28 c 253s | 14 | 296237 | 61252 | 473324 0 | 25216 | 12468 262.75/262.85 c 257s | 14 | 313268 | 61652 | 473324 0 | 25268 | 12474 264.75/264.89 c 259s | 14 | 315787 | 61952 | 473324 0 | 25272 | 12477 266.95/267.03 c 261s | 14 | 316377 | 62352 | 473324 0 | 25272 | 12477 269.46/269.57 c 264s | 14 | 317060 | 62852 | 473324 0 | 25272 | 12477 271.66/271.72 c 266s | 14 | 317673 | 63252 | 473324 0 | 25272 | 12477 273.65/273.74 c 268s | 14 | 318315 | 63652 | 473324 0 | 25272 | 12477 275.75/275.88 c 270s | 14 | 318839 | 64052 | 473324 0 | 25272 | 12477 277.95/278.06 c 272s | 14 | 319583 | 64452 | 473324 0 | 25272 | 12477 280.46/280.51 c 274s | 14 | 320284 | 64852 | 473324 0 | 25272 | 12477 282.66/282.73 c 277s | 14 | 320980 | 65252 | 473324 0 | 25272 | 12477 285.15/285.22 c 279s | 14 | 321839 | 65752 | 473324 0 | 25272 | 12477 287.35/287.49 c 281s | 14 | 322406 | 66152 | 473324 0 | 25272 | 12477 289.85/289.90 c 284s | 14 | 323031 | 66552 | 473324 0 | 25272 | 12477 291.85/291.95 c 286s | 14 | 323891 | 67052 | 473324 0 | 25272 | 12477 294.35/294.43 c 288s | 14 | 324740 | 67552 | 473324 0 | 25272 | 12477 296.35/296.44 c 290s | 14 | 325155 | 67852 | 473324 0 | 25272 | 12477 298.55/298.65 c 293s | 14 | 325806 | 68252 | 473324 0 | 25272 | 12477 300.75/300.89 c 295s | 14 | 326374 | 68652 | 473324 0 | 25272 | 12477 303.14/303.27 c 297s | 14 | 327114 | 69052 | 473324 0 | 25272 | 12477 305.64/305.71 c 300s | 14 | 327889 | 69452 | 473324 0 | 25272 | 12477 307.84/307.91 c 302s | 14 | 328672 | 69952 | 473324 0 | 25272 | 12477 310.34/310.43 c 304s | 14 | 329388 | 70452 | 473324 0 | 25272 | 12477 312.74/312.90 c 307s | 14 | 330308 | 70952 | 473324 0 | 25272 | 12477 315.14/315.25 c 309s | 14 | 330870 | 71352 | 473324 0 | 25272 | 12477 317.14/317.29 c 311s | 14 | 331623 | 71752 | 473324 0 | 25272 | 12477 319.34/319.44 c 313s | 14 | 332137 | 72152 | 473324 0 | 25272 | 12477 321.94/322.09 c 316s | 14 | 332971 | 72652 | 473324 0 | 25272 | 12477 324.14/324.21 c 318s | 14 | 333574 | 73052 | 473324 0 | 25272 | 12477 326.84/326.93 c 321s | 14 | 334163 | 73452 | 473324 0 | 25272 | 12477 329.14/329.23 c 323s | 14 | 334573 | 73752 | 473324 0 | 25272 | 12477 331.84/331.91 c 326s | 14 | 335128 | 74152 | 473324 0 | 25272 | 12477 333.94/334.09 c 328s | 14 | 335589 | 74452 | 473324 0 | 25272 | 12477 336.24/336.31 c 330s | 14 | 336235 | 74852 | 473324 0 | 25272 | 12477 338.24/338.35 c 332s | 14 | 336852 | 75252 | 473324 0 | 25272 | 12477 340.64/340.76 c 335s | 14 | 337414 | 75652 | 473324 0 | 25272 | 12477 342.74/342.81 c 337s | 14 | 337822 | 75952 | 473324 0 | 25272 | 12477 344.84/344.95 c 339s | 14 | 338253 | 76252 | 473324 0 | 25272 | 12477 347.04/347.18 c 341s | 14 | 338811 | 76652 | 473324 0 | 25272 | 12477 349.24/349.37 c 343s | 14 | 339351 | 76952 | 473324 0 | 25272 | 12477 351.54/351.66 c 346s | 14 | 339779 | 77252 | 473324 0 | 25272 | 12477 353.64/353.74 c 348s | 14 | 340212 | 77552 | 473324 0 | 25272 | 12477 355.94/356.06 c 350s | 14 | 340878 | 77952 | 473324 0 | 25272 | 12477 358.44/358.58 c 353s | 14 | 341770 | 78452 | 473324 0 | 25272 | 12477 360.84/360.99 c 355s | 14 | 342653 | 78952 | 473324 0 | 25272 | 12477 362.94/363.01 c 357s | 14 | 343091 | 79252 | 473324 0 | 25272 | 12477 365.14/365.29 c 359s | 14 | 343459 | 79552 | 473324 0 | 25272 | 12477 367.34/367.43 c 361s | 14 | 343915 | 79852 | 473324 0 | 25272 | 12477 369.73/369.81 c 364s | 14 | 344414 | 80252 | 473324 0 | 25272 | 12477 371.84/371.92 c 366s | 14 | 344839 | 80552 | 473324 0 | 25272 | 12477 374.43/374.59 c 369s | 14 | 345268 | 80852 | 473324 0 | 25272 | 12477 377.03/377.13 c 371s | 14 | 345773 | 81152 | 473324 0 | 25272 | 12477 379.54/379.64 c 374s | 14 | 346171 | 81452 | 473324 0 | 25272 | 12477 382.33/382.43 c 376s | 14 | 346771 | 81852 | 473324 0 | 25272 | 12477 384.63/384.79 c 379s | 14 | 347163 | 82152 | 473324 0 | 25272 | 12477 386.93/387.06 c 381s | 14 | 347764 | 82552 | 473324 0 | 25272 | 12477 389.34/389.44 c 383s | 14 | 348372 | 82952 | 473324 0 | 25272 | 12477 391.54/391.69 c 386s | 14 | 348857 | 83252 | 473324 0 | 25272 | 12477 394.03/394.16 c 388s | 14 | 349517 | 83652 | 473324 0 | 25272 | 12477 396.53/396.61 c 391s | 14 | 350366 | 84152 | 473324 0 | 25272 | 12477 398.73/398.84 c 393s | 14 | 351107 | 84552 | 473324 0 | 25272 | 12477 401.33/401.45 c 395s | 14 | 351771 | 84952 | 473324 0 | 25272 | 12477 403.83/403.99 c 398s | 14 | 352422 | 85352 | 473324 0 | 25272 | 12477 406.33/406.43 c 400s | 14 | 353031 | 85752 | 473324 0 | 25272 | 12477 408.43/408.53 c 402s | 14 | 353452 | 86052 | 473324 0 | 25272 | 12477 410.63/410.73 c 405s | 14 | 353968 | 86352 | 473324 0 | 25272 | 12477 413.03/413.17 c 407s | 14 | 354536 | 86752 | 473324 0 | 25272 | 12477 415.52/415.63 c 410s | 14 | 354939 | 87052 | 520657 0 | 25272 | 12477 418.03/418.17 c 412s | 14 | 355413 | 87352 | 520657 0 | 25272 | 12477 419.82/419.90 c 414s | 15 | 355875 | 87632 | 520657 0 | 25272 | 12477 422.12/422.24 c 416s | 15 | 367534 | 87832 | 520657 0 | 25272 | 12477 424.12/424.29 c 418s | 15 | 380360 | 88432 | 520657 0 | 25272 | 12477 426.42/426.57 c 421s | 15 | 389369 | 88932 | 520657 0 | 25272 | 12477 428.52/428.68 c 423s | 15 | 390819 | 89632 | 520657 0 | 25272 | 12477 431.52/431.69 c 426s | 15 | 392579 | 90232 | 520657 0 | 25275 | 12479 433.92/434.07 c 428s | 15 | 395562 | 90632 | 520657 0 | 25275 | 12479 436.32/436.44 c 430s | 15 | 396139 | 91032 | 520657 0 | 25275 | 12479 438.62/438.77 c 433s | 15 | 396811 | 91532 | 520657 0 | 25275 | 12479 441.22/441.35 c 435s | 15 | 397657 | 92032 | 520657 0 | 25275 | 12479 443.52/443.65 c 438s | 15 | 398800 | 92632 | 520657 0 | 25275 | 12479 445.62/445.79 c 440s | 15 | 399431 | 93032 | 520657 0 | 25275 | 12479 448.02/448.19 c 442s | 15 | 400044 | 93432 | 520657 0 | 25275 | 12479 450.12/450.29 c 444s | 15 | 400630 | 93732 | 520657 0 | 25275 | 12479 452.32/452.50 c 446s | 15 | 401395 | 94132 | 520657 0 | 25275 | 12479 454.72/454.85 c 449s | 15 | 402126 | 94532 | 520657 0 | 25275 | 12479 456.92/457.03 c 451s | 15 | 402761 | 94932 | 520657 0 | 25275 | 12479 459.52/459.64 c 454s | 15 | 403389 | 95332 | 520657 0 | 25275 | 12479 462.02/462.15 c 456s | 15 | 404026 | 95732 | 520657 0 | 25275 | 12479 464.42/464.55 c 459s | 15 | 404696 | 96132 | 520657 0 | 25275 | 12479 467.12/467.20 c 461s | 15 | 405289 | 96532 | 520657 0 | 25275 | 12479 469.62/469.73 c 464s | 15 | 405936 | 96932 | 520657 0 | 25275 | 12479 472.11/472.26 c 466s | 15 | 406721 | 97332 | 520657 0 | 25275 | 12479 474.61/474.77 c 469s | 15 | 407438 | 97732 | 520657 0 | 25275 | 12479 477.11/477.26 c 471s | 15 | 408026 | 98132 | 520657 0 | 25275 | 12479 479.41/479.51 c 473s | 15 | 408404 | 98432 | 520657 0 | 25275 | 12479 481.61/481.77 c 476s | 15 | 409045 | 98832 | 520657 0 | 25275 | 12479 484.02/484.18 c 478s | 15 | 409653 | 99232 | 520657 0 | 25275 | 12479 486.31/486.43 c 480s | 15 | 410172 | 99632 | 520657 0 | 25275 | 12479 488.81/488.97 c 483s | 15 | 410728 | 100032 | 520657 0 | 25275 | 12479 491.31/491.41 c 485s | 15 | 411625 | 100432 | 520657 0 | 25275 | 12479 493.41/493.58 c 488s | 15 | 412361 | 100832 | 520657 0 | 25275 | 12479 496.02/496.11 c 490s | 15 | 413054 | 101232 | 520657 0 | 25275 | 12479 498.32/498.45 c 492s | 15 | 413740 | 101632 | 520657 0 | 25275 | 12479 500.91/501.00 c 495s | 15 | 414485 | 102032 | 520657 0 | 25275 | 12479 503.21/503.34 c 497s | 15 | 414931 | 102332 | 520657 0 | 25275 | 12479 505.81/505.92 c 500s | 15 | 415822 | 102832 | 520657 0 | 25275 | 12479 507.91/508.01 c 502s | 15 | 416269 | 103132 | 520657 0 | 25275 | 12479 510.61/510.73 c 505s | 15 | 416880 | 103532 | 520657 0 | 25275 | 12479 512.81/512.98 c 507s | 15 | 417516 | 103932 | 520657 0 | 25275 | 12479 515.21/515.31 c 509s | 15 | 418113 | 104332 | 520657 0 | 25275 | 12479 517.51/517.68 c 512s | 15 | 418755 | 104732 | 520657 0 | 25275 | 12479 519.71/519.88 c 514s | 15 | 419355 | 105132 | 520657 0 | 25275 | 12479 522.11/522.20 c 516s | 15 | 419982 | 105532 | 520657 0 | 25275 | 12479 524.81/524.95 c 519s | 15 | 420434 | 105832 | 520657 0 | 25275 | 12479 527.60/527.75 c 522s | 15 | 420866 | 106132 | 520657 0 | 25275 | 12479 530.11/530.27 c 524s | 15 | 421341 | 106432 | 520657 0 | 25275 | 12479 532.20/532.31 c 526s | 15 | 421760 | 106732 | 520657 0 | 25275 | 12479 534.40/534.57 c 529s | 15 | 422228 | 107032 | 520657 0 | 25275 | 12479 536.90/537.03 c 531s | 15 | 422652 | 107332 | 520657 0 | 25275 | 12479 539.50/539.65 c 534s | 15 | 423036 | 107632 | 520657 0 | 25275 | 12479 541.70/541.80 c 536s | 15 | 423439 | 107932 | 520657 0 | 25275 | 12479 543.70/543.87 c 538s | 15 | 423709 | 108132 | 520657 0 | 25275 | 12479 546.61/546.70 c 541s | 15 | 424087 | 108432 | 520657 0 | 25275 | 12479 548.91/549.06 c 543s | 15 | 424489 | 108732 | 520657 0 | 25275 | 12479 551.11/551.26 c 545s | 15 | 424907 | 109032 | 520657 0 | 25275 | 12479 553.80/553.95 c 548s | 15 | 425648 | 109432 | 520657 0 | 25275 | 12479 556.30/556.49 c 550s | 15 | 426413 | 109832 | 520657 0 | 25275 | 12479 558.50/558.64 c 553s | 15 | 427001 | 110232 | 520657 0 | 25275 | 12479 560.91/561.03 c 555s | 15 | 427717 | 110632 | 520657 0 | 25275 | 12479 563.11/563.27 c 557s | 15 | 433742 | 111032 | 520657 0 | 25275 | 12479 565.20/565.40 c 559s | 15 | 434637 | 111532 | 520657 0 | 25275 | 12479 567.51/567.63 c 562s | 15 | 435626 | 112132 | 520657 0 | 25275 | 12479 569.90/570.04 c 564s | 15 | 436375 | 112632 | 520657 0 | 25275 | 12479 572.30/572.42 c 566s | 15 | 437213 | 113132 | 520657 0 | 25275 | 12479 574.50/574.66 c 569s | 15 | 437969 | 113532 | 520657 0 | 25275 | 12479 576.80/576.91 c 571s | 15 | 438719 | 113932 | 520657 0 | 25275 | 12479 578.80/578.92 c 573s | 15 | 439231 | 114232 | 520657 0 | 25275 | 12479 581.10/581.23 c 575s | 15 | 440619 | 114632 | 520657 0 | 25275 | 12479 583.60/583.77 c 578s | 15 | 441166 | 115032 | 520657 0 | 25275 | 12479 586.30/586.41 c 580s | 15 | 441776 | 115432 | 520657 0 | 25275 | 12479 588.50/588.63 c 583s | 15 | 442221 | 115732 | 520657 0 | 25275 | 12479 590.60/590.78 c 585s | 15 | 442682 | 116032 | 520657 0 | 25275 | 12479 593.19/593.30 c 587s | 15 | 443313 | 116432 | 520657 0 | 25275 | 12479 595.49/595.69 c 590s | 15 | 443805 | 116732 | 520657 0 | 25275 | 12479 597.59/597.73 c 592s | 15 | 444216 | 117032 | 520657 0 | 25275 | 12479 599.89/600.03 c 594s | 15 | 444589 | 117332 | 520657 0 | 25275 | 12479 602.49/602.61 c 597s | 15 | 445198 | 117732 | 520657 0 | 25275 | 12479 604.70/604.81 c 599s | 15 | 445848 | 118132 | 520657 0 | 25275 | 12479 606.90/607.09 c 601s | 15 | 446506 | 118532 | 520657 0 | 25275 | 12479 609.10/609.29 c 603s | 15 | 447216 | 118932 | 520657 0 | 25275 | 12479 611.70/611.85 c 606s | 15 | 447784 | 119332 | 520657 0 | 25275 | 12479 613.90/614.05 c 608s | 15 | 448220 | 119632 | 520657 0 | 25275 | 12479 616.10/616.30 c 610s | 15 | 448669 | 119932 | 520657 0 | 25275 | 12479 618.40/618.53 c 612s | 15 | 449054 | 120232 | 520657 0 | 25275 | 12479 620.50/620.69 c 615s | 15 | 449434 | 120532 | 520657 0 | 25275 | 12479 623.10/623.28 c 617s | 15 | 449953 | 120932 | 520657 0 | 25275 | 12479 625.50/625.67 c 620s | 15 | 450355 | 121232 | 520657 0 | 25275 | 12479 627.60/627.71 c 622s | 15 | 450744 | 121532 | 520657 0 | 25275 | 12479 629.60/629.72 c 624s | 15 | 451127 | 121832 | 520657 0 | 25275 | 12479 631.80/631.96 c 626s | 15 | 451732 | 122232 | 520657 0 | 25275 | 12479 633.90/634.06 c 628s | 15 | 452104 | 122532 | 520657 0 | 25275 | 12479 636.30/636.47 c 630s | 15 | 452527 | 122832 | 520657 0 | 25275 | 12479 638.40/638.52 c 632s | 15 | 452941 | 123132 | 520657 0 | 25275 | 12479 640.50/640.67 c 635s | 15 | 453360 | 123432 | 520657 0 | 25275 | 12479 642.60/642.77 c 637s | 15 | 453731 | 123732 | 520657 0 | 25275 | 12479 645.20/645.33 c 639s | 15 | 454275 | 124132 | 520657 0 | 25275 | 12479 647.50/647.64 c 642s | 15 | 454694 | 124432 | 520657 0 | 25275 | 12479 650.00/650.17 c 644s | 15 | 455353 | 124832 | 520657 0 | 25275 | 12479 652.09/652.29 c 646s | 15 | 455762 | 125132 | 520657 0 | 25275 | 12479 654.69/654.86 c 649s | 15 | 456378 | 125532 | 520657 0 | 25275 | 12479 657.09/657.28 c 651s | 15 | 456978 | 125932 | 520657 0 | 25275 | 12479 659.49/659.60 c 654s | 15 | 457433 | 126232 | 520657 0 | 25275 | 12479 661.99/662.18 c 656s | 15 | 457848 | 126532 | 520657 0 | 25275 | 12479 664.09/664.24 c 658s | 15 | 458293 | 126832 | 520657 0 | 25275 | 12479 666.79/666.91 c 661s | 15 | 458905 | 127232 | 520657 0 | 25275 | 12479 669.19/669.33 c 663s | 15 | 459378 | 127532 | 520657 0 | 25275 | 12479 671.39/671.52 c 665s | 15 | 459755 | 127832 | 520657 0 | 25275 | 12479 673.69/673.80 c 668s | 15 | 460180 | 128132 | 520657 0 | 25275 | 12479 675.99/676.12 c 670s | 15 | 460551 | 128432 | 520657 0 | 25275 | 12479 678.39/678.57 c 673s | 15 | 460953 | 128732 | 520657 0 | 25275 | 12479 680.99/681.11 c 675s | 15 | 461369 | 129032 | 520657 0 | 25275 | 12479 683.39/683.52 c 677s | 15 | 461734 | 129332 | 520657 0 | 25275 | 12479 685.79/685.91 c 680s | 15 | 462111 | 129632 | 520657 0 | 25275 | 12479 688.09/688.30 c 682s | 15 | 462536 | 129932 | 520657 0 | 25275 | 12479 690.49/690.60 c 685s | 15 | 462968 | 130232 | 520657 0 | 25275 | 12479 692.69/692.83 c 687s | 15 | 463360 | 130532 | 520657 0 | 25275 | 12479 695.20/695.39 c 689s | 15 | 463768 | 130832 | 572723 0 | 25275 | 12479 697.79/697.94 c 692s | 15 | 464223 | 131132 | 572723 0 | 25275 | 12479 700.29/700.41 c 694s | 15 | 464629 | 131432 | 572723 0 | 25275 | 12479 701.29/701.44 c 695s | 16 | 464791 | 131552 | 572723 0 | 25275 | 12479 703.49/703.69 c 698s | 16 | 478644 | 131752 | 572723 0 | 25275 | 12479 705.79/705.99 c 700s | 16 | 481772 | 131952 | 572723 0 | 25277 | 12480 708.29/708.42 c 702s | 16 | 483780 | 132352 | 572723 0 | 25277 | 12480 710.79/710.99 c 705s | 16 | 484407 | 132752 | 572723 0 | 25277 | 12480 712.88/713.00 c 707s | 16 | 484916 | 133052 | 572723 0 | 25277 | 12480 715.18/715.37 c 709s | 16 | 494151 | 133352 | 572723 0 | 25277 | 12480 717.48/717.69 c 712s | 16 | 496055 | 133852 | 572723 0 | 25277 | 12480 719.88/720.02 c 714s | 16 | 496729 | 134252 | 572723 0 | 25277 | 12480 721.98/722.19 c 716s | 16 | 498022 | 134752 | 572723 0 | 25277 | 12480 724.58/724.70 c 719s | 16 | 499010 | 135152 | 572723 0 | 25277 | 12480 727.09/727.21 c 721s | 16 | 500246 | 135552 | 572723 0 | 25277 | 12480 729.38/729.51 c 723s | 16 | 503550 | 135952 | 572723 0 | 25277 | 12480 731.39/731.57 c 726s | 16 | 505306 | 136352 | 572723 0 | 25277 | 12480 733.59/733.75 c 728s | 16 | 506663 | 136952 | 572723 0 | 25277 | 12480 735.79/736.00 c 730s | 16 | 509093 | 137752 | 572723 0 | 25277 | 12480 737.99/738.19 c 732s | 16 | 510150 | 138252 | 572723 0 | 25277 | 12480 740.19/740.32 c 734s | 16 | 511001 | 138752 | 572723 0 | 25277 | 12480 742.39/742.54 c 737s | 16 | 511840 | 139252 | 572723 0 | 25277 | 12480 744.69/744.89 c 739s | 16 | 512643 | 139752 | 572723 0 | 25277 | 12480 747.48/747.64 c 742s | 16 | 513543 | 140152 | 572723 0 | 25277 | 12480 749.98/750.15 c 744s | 16 | 514708 | 140552 | 572723 0 | 25277 | 12480 752.48/752.68 c 747s | 16 | 515255 | 140952 | 572723 0 | 25277 | 12480 755.08/755.23 c 749s | 16 | 515828 | 141352 | 572723 0 | 25277 | 12480 757.28/757.47 c 751s | 16 | 516968 | 141752 | 572723 0 | 25277 | 12480 759.58/759.78 c 754s | 16 | 518723 | 142552 | 572723 0 | 25277 | 12480 762.18/762.31 c 756s | 16 | 522552 | 143152 | 572723 0 | 25277 | 12480 764.28/764.47 c 758s | 16 | 524056 | 143652 | 572723 0 | 25277 | 12480 766.68/766.83 c 761s | 16 | 525000 | 144152 | 572723 0 | 25277 | 12480 768.68/768.90 c 763s | 16 | 526145 | 144552 | 572723 0 | 25277 | 12480 771.18/771.37 c 765s | 16 | 526827 | 144852 | 572723 0 | 25277 | 12480 773.68/773.85 c 768s | 16 | 527621 | 145152 | 572723 0 | 25277 | 12480 775.98/776.13 c 770s | 16 | 528473 | 145552 | 572723 0 | 25277 | 12480 778.27/778.45 c 772s | 16 | 530133 | 146052 | 572723 0 | 25277 | 12480 780.98/781.13 c 775s | 16 | 530696 | 146452 | 572723 0 | 25277 | 12480 783.37/783.53 c 777s | 16 | 531158 | 146752 | 572723 0 | 25277 | 12480 785.97/786.13 c 780s | 16 | 531754 | 147152 | 572723 0 | 25277 | 12480 788.47/788.62 c 783s | 16 | 532140 | 147452 | 572723 0 | 25277 | 12480 790.57/790.72 c 785s | 16 | 532523 | 147752 | 572723 0 | 25277 | 12480 792.77/792.96 c 787s | 16 | 532951 | 148052 | 572723 0 | 25277 | 12480 794.97/795.17 c 789s | 16 | 533636 | 148352 | 572723 0 | 25277 | 12480 797.27/797.44 c 791s | 16 | 535113 | 148752 | 572723 0 | 25277 | 12480 799.27/799.46 c 793s | 16 | 535879 | 149152 | 572723 0 | 25277 | 12480 801.57/801.77 c 796s | 16 | 537063 | 149552 | 572723 0 | 25277 | 12480 803.87/804.10 c 798s | 16 | 537797 | 149952 | 572723 0 | 25277 | 12480 806.37/806.53 c 800s | 16 | 538617 | 150352 | 572723 0 | 25277 | 12480 808.57/808.73 c 803s | 16 | 538989 | 150652 | 572723 0 | 25277 | 12480 810.86/811.02 c 805s | 16 | 539548 | 151052 | 572723 0 | 25277 | 12480 813.16/813.31 c 807s | 16 | 540145 | 151452 | 572723 0 | 25277 | 12480 815.16/815.38 c 809s | 16 | 540724 | 151852 | 572723 0 | 25277 | 12480 817.76/817.96 c 812s | 16 | 541411 | 152352 | 572723 0 | 25277 | 12480 820.76/820.90 c 815s | 16 | 541932 | 152752 | 572723 0 | 25277 | 12480 823.26/823.44 c 817s | 16 | 542474 | 153152 | 572723 0 | 25277 | 12480 825.76/825.91 c 820s | 16 | 543203 | 153652 | 572723 0 | 25277 | 12480 827.96/828.17 c 822s | 16 | 543993 | 154152 | 572723 0 | 25277 | 12480 830.06/830.20 c 824s | 16 | 544621 | 154552 | 572723 0 | 25277 | 12480 832.36/832.57 c 827s | 16 | 545335 | 155052 | 572723 0 | 25277 | 12480 834.46/834.62 c 829s | 16 | 545930 | 155452 | 572723 0 | 25277 | 12480 836.76/836.95 c 831s | 16 | 546665 | 155952 | 572723 0 | 25277 | 12480 838.95/839.15 c 833s | 16 | 547529 | 156452 | 572723 0 | 25277 | 12480 841.36/841.53 c 835s | 16 | 548414 | 157052 | 572723 0 | 25277 | 12480 843.75/843.99 c 838s | 16 | 549559 | 157452 | 572723 0 | 25277 | 12480 846.15/846.33 c 840s | 16 | 550564 | 157852 | 572723 0 | 25277 | 12480 848.85/849.05 c 843s | 16 | 551470 | 158252 | 572723 0 | 25277 | 12480 851.45/851.63 c 846s | 16 | 552042 | 158552 | 572723 0 | 25277 | 12480 853.56/853.72 c 848s | 16 | 553138 | 158952 | 572723 0 | 25277 | 12480 855.95/856.13 c 850s | 16 | 553675 | 159352 | 572723 0 | 25277 | 12480 858.24/858.41 c 852s | 16 | 554347 | 159652 | 572723 0 | 25277 | 12480 860.24/860.45 c 854s | 16 | 554870 | 159952 | 572723 0 | 25277 | 12480 862.25/862.47 c 856s | 16 | 555246 | 160252 | 572723 0 | 25277 | 12480 864.24/864.48 c 858s | 16 | 555615 | 160552 | 572723 0 | 25277 | 12480 866.34/866.54 c 860s | 16 | 556043 | 160852 | 572723 0 | 25277 | 12480 868.73/868.90 c 863s | 16 | 556374 | 161052 | 572723 0 | 25277 | 12480 871.14/871.36 c 865s | 16 | 556886 | 161352 | 572723 0 | 25277 | 12480 873.43/873.62 c 868s | 16 | 557362 | 161652 | 572723 0 | 25277 | 12480 875.73/875.98 c 870s | 16 | 557858 | 161952 | 572723 0 | 25277 | 12480 878.03/878.29 c 872s | 16 | 558486 | 162252 | 572723 0 | 25277 | 12480 880.83/881.05 c 875s | 16 | 559026 | 162552 | 572723 0 | 25277 | 12480 883.52/883.75 c 878s | 16 | 559442 | 162852 | 572723 0 | 25277 | 12480 885.82/886.00 c 880s | 16 | 559995 | 163152 | 572723 0 | 25277 | 12480 888.22/888.49 c 882s | 16 | 560561 | 163452 | 572723 0 | 25277 | 12480 890.83/891.06 c 885s | 16 | 560940 | 163752 | 572723 0 | 25277 | 12480 893.22/893.41 c 887s | 16 | 561396 | 164052 | 572723 0 | 25277 | 12480 895.52/895.75 c 890s | 16 | 562518 | 164452 | 572723 0 | 25277 | 12480 897.72/897.90 c 892s | 16 | 563391 | 164852 | 572723 0 | 25277 | 12480 899.72/899.94 c 894s | 16 | 564622 | 165252 | 572723 0 | 25277 | 12480 902.41/902.68 c 897s | 16 | 566070 | 165652 | 572723 0 | 25277 | 12480 904.81/905.04 c 899s | 16 | 567431 | 166052 | 572723 0 | 25277 | 12480 906.81/907.09 c 901s | 16 | 567926 | 166352 | 572723 0 | 25277 | 12480 909.00/909.27 c 903s | 16 | 568369 | 166652 | 572723 0 | 25277 | 12480 911.10/911.36 c 905s | 16 | 569327 | 166952 | 572723 0 | 25277 | 12480 913.20/913.43 c 907s | 16 | 570087 | 167252 | 572723 0 | 25277 | 12480 915.50/915.76 c 910s | 16 | 571006 | 167552 | 572723 0 | 25277 | 12480 917.80/918.05 c 912s | 16 | 571552 | 167852 | 572723 0 | 25277 | 12480 920.00/920.21 c 914s | 16 | 572417 | 168252 | 572723 0 | 25277 | 12480 922.00/922.27 c 916s | 16 | 576977 | 168352 | 572723 0 | 25283 | 12485 928.89/929.10 c 923s | 16 | 584421 | 168452 | 572723 0 | 26953 | 13981 930.99/931.27 c 925s | 16 | 585478 | 168852 | 572723 0 | 26953 | 13981 933.39/933.66 c 928s | 16 | 586100 | 169152 | 572723 0 | 26953 | 13981 936.09/936.38 c 930s | 16 | 586684 | 169452 | 572723 0 | 26953 | 13981 938.68/938.95 c 933s | 16 | 587651 | 169752 | 572723 0 | 26953 | 13981 940.98/941.28 c 935s | 16 | 588355 | 170152 | 572723 0 | 26953 | 13981 943.48/943.78 c 938s | 16 | 588890 | 170552 | 572723 0 | 26953 | 13981 946.18/946.41 c 940s | 16 | 589292 | 170852 | 572723 0 | 26953 | 13981 948.38/948.62 c 943s | 16 | 590111 | 171152 | 572723 0 | 26953 | 13981 950.98/951.27 c 945s | 16 | 598978 | 171452 | 572723 0 | 26953 | 13981 953.38/953.64 c 948s | 16 | 600351 | 171952 | 572723 0 | 26953 | 13981 955.48/955.80 c 950s | 16 | 600966 | 172252 | 572723 0 | 26953 | 13981 957.98/958.24 c 952s | 16 | 601688 | 172552 | 572723 0 | 26953 | 13981 960.67/960.94 c 955s | 16 | 602272 | 172852 | 572723 0 | 26953 | 13981 962.97/963.29 c 957s | 16 | 602838 | 173152 | 572723 0 | 26953 | 13981 965.47/965.80 c 960s | 16 | 603528 | 173452 | 572723 0 | 26953 | 13981 967.88/968.14 c 962s | 16 | 604288 | 173752 | 572723 0 | 26953 | 13981 970.17/970.41 c 964s | 16 | 604948 | 174052 | 572723 0 | 26953 | 13981 972.47/972.72 c 967s | 16 | 605815 | 174552 | 572723 0 | 26953 | 13981 974.77/975.03 c 969s | 16 | 606539 | 174952 | 572723 0 | 26953 | 13981 977.07/977.39 c 971s | 16 | 607387 | 175352 | 572723 0 | 26953 | 13981 979.56/979.81 c 974s | 16 | 608142 | 175752 | 572723 0 | 26953 | 13981 981.56/981.81 c 976s | 16 | 608562 | 176052 | 572723 0 | 26953 | 13981 983.56/983.87 c 978s | 16 | 609255 | 176452 | 572723 0 | 26953 | 13981 985.76/986.00 c 980s | 16 | 609769 | 176852 | 572723 0 | 26953 | 13981 988.36/988.62 c 983s | 16 | 610257 | 177252 | 572723 0 | 26953 | 13981 990.56/990.82 c 985s | 16 | 610934 | 177652 | 572723 0 | 26953 | 13981 992.86/993.11 c 987s | 16 | 611497 | 178052 | 572723 0 | 26953 | 13981 995.06/995.39 c 989s | 16 | 612255 | 178552 | 572723 0 | 26953 | 13981 997.66/997.97 c 992s | 16 | 613059 | 179052 | 572723 0 | 26953 | 13981 1000.15/1000.47 c 994s | 16 | 613826 | 179552 | 572723 0 | 26953 | 13981 1002.25/1002.52 c 996s | 16 | 614381 | 179952 | 572723 0 | 26953 | 13981 1004.25/1004.57 c 999s | 16 | 614994 | 180352 | 572723 0 | 26953 | 13981 1006.75/1007.00 c 1001s | 16 | 615577 | 180752 | 572723 0 | 26953 | 13981 1008.75/1009.03 c 1003s | 16 | 615963 | 181052 | 572723 0 | 26953 | 13981 1010.85/1011.15 c 1005s | 16 | 616528 | 181352 | 572723 0 | 26953 | 13981 1013.35/1013.61 c 1008s | 16 | 617009 | 181652 | 572723 0 | 26953 | 13981 1015.55/1015.89 c 1010s | 16 | 617458 | 181952 | 572723 0 | 26953 | 13981 1018.14/1018.47 c 1012s | 16 | 617879 | 182252 | 572723 0 | 26953 | 13981 1020.74/1021.01 c 1015s | 16 | 618489 | 182552 | 572723 0 | 26953 | 13981 1023.14/1023.43 c 1017s | 16 | 619282 | 182952 | 572723 0 | 26953 | 13981 1025.54/1025.84 c 1020s | 16 | 619990 | 183352 | 572723 0 | 26953 | 13981 1027.74/1028.05 c 1022s | 16 | 620561 | 183652 | 572723 0 | 26953 | 13981 1030.54/1030.82 c 1025s | 16 | 621059 | 183952 | 572723 0 | 26953 | 13981 1032.64/1032.99 c 1027s | 16 | 621528 | 184252 | 572723 0 | 26953 | 13981 1035.34/1035.69 c 1030s | 16 | 622005 | 184552 | 572723 0 | 26953 | 13981 1037.93/1038.21 c 1032s | 16 | 622696 | 184852 | 572723 0 | 26953 | 13981 1040.34/1040.65 c 1035s | 16 | 623153 | 185152 | 572723 0 | 26953 | 13981 1042.43/1042.74 c 1037s | 16 | 623612 | 185452 | 572723 0 | 26953 | 13981 1044.84/1045.15 c 1039s | 16 | 624056 | 185752 | 572723 0 | 26953 | 13981 1047.63/1047.94 c 1042s | 16 | 624479 | 186052 | 572723 0 | 26953 | 13981 1049.73/1050.08 c 1044s | 16 | 624926 | 186352 | 572723 0 | 26953 | 13981 1052.13/1052.40 c 1046s | 16 | 625468 | 186652 | 572723 0 | 26953 | 13981 1054.43/1054.71 c 1049s | 16 | 625864 | 186952 | 572723 0 | 26953 | 13981 1056.53/1056.89 c 1051s | 16 | 626296 | 187252 | 572723 0 | 26953 | 13981 1058.83/1059.10 c 1053s | 16 | 626788 | 187552 | 572723 0 | 26953 | 13981 1061.03/1061.36 c 1055s | 16 | 627322 | 187852 | 572723 0 | 26953 | 13981 1063.03/1063.39 c 1057s | 16 | 627845 | 188152 | 572723 0 | 26953 | 13981 1065.63/1065.93 c 1060s | 16 | 628339 | 188452 | 572723 0 | 26953 | 13981 1067.93/1068.26 c 1062s | 16 | 628976 | 188752 | 572723 0 | 26953 | 13981 1070.03/1070.38 c 1064s | 16 | 629567 | 189052 | 572723 0 | 26953 | 13981 1072.72/1073.09 c 1067s | 16 | 630074 | 189352 | 572723 0 | 26953 | 13981 1075.22/1075.56 c 1070s | 16 | 630655 | 189652 | 572723 0 | 26953 | 13981 1077.91/1078.20 c 1072s | 16 | 631099 | 189952 | 572723 0 | 26953 | 13981 1080.21/1080.54 c 1075s | 16 | 631530 | 190252 | 572723 0 | 26953 | 13981 1082.81/1083.19 c 1077s | 16 | 631998 | 190552 | 572723 0 | 26953 | 13981 1085.52/1085.86 c 1080s | 16 | 632424 | 190852 | 572723 0 | 26953 | 13981 1087.62/1087.97 c 1082s | 16 | 632670 | 191052 | 572723 0 | 26953 | 13981 1090.61/1090.91 c 1085s | 16 | 633142 | 191352 | 572723 0 | 26953 | 13981 1092.81/1093.15 c 1087s | 16 | 633538 | 191652 | 572723 0 | 26953 | 13981 1094.81/1095.18 c 1089s | 16 | 634005 | 191952 | 572723 0 | 26953 | 13981 1097.31/1097.64 c 1092s | 16 | 634528 | 192352 | 572723 0 | 26953 | 13981 1099.91/1100.23 c 1094s | 16 | 635043 | 192652 | 572723 0 | 26953 | 13981 1102.61/1102.91 c 1097s | 16 | 635488 | 192952 | 572723 0 | 26953 | 13981 1105.01/1105.38 c 1099s | 16 | 636081 | 193252 | 572723 0 | 26953 | 13981 1107.70/1108.04 c 1102s | 16 | 636609 | 193552 | 572723 0 | 26953 | 13981 1110.20/1110.55 c 1105s | 16 | 637385 | 193952 | 572723 0 | 26953 | 13981 1112.70/1113.01 c 1107s | 16 | 638035 | 194352 | 572723 0 | 26953 | 13981 1115.21/1115.51 c 1109s | 16 | 638638 | 194752 | 572723 0 | 26953 | 13981 1117.20/1117.58 c 1112s | 16 | 639270 | 195152 | 572723 0 | 26953 | 13981 1119.40/1119.75 c 1114s | 16 | 639909 | 195552 | 572723 0 | 26953 | 13981 1121.71/1122.07 c 1116s | 16 | 640464 | 195952 | 572723 0 | 26953 | 13981 1124.10/1124.46 c 1118s | 16 | 641107 | 196352 | 629996 0 | 26953 | 13981 1126.70/1127.00 c 1121s | 16 | 641692 | 196752 | 629996 0 | 26953 | 13981 1129.00/1129.39 c 1123s | 16 | 642183 | 197052 | 629996 0 | 26953 | 13981 1131.40/1131.71 c 1126s | 17 | 642962 | 197432 | 629996 0 | 26953 | 13981 1133.70/1134.05 c 1128s | 17 | 647856 | 197532 | 629996 0 | 26953 | 13981 1136.30/1136.64 c 1131s | 17 | 652724 | 197632 | 629996 0 | 26960 | 13991 1138.50/1138.84 c 1133s | 17 | 653501 | 197932 | 629996 0 | 26960 | 13991 1140.80/1141.12 c 1135s | 17 | 654159 | 198232 | 629996 0 | 26960 | 13991 1143.50/1143.83 c 1138s | 17 | 656260 | 198832 | 629996 0 | 26960 | 13991 1146.30/1146.65 c 1141s | 17 | 657215 | 199232 | 629996 0 | 26960 | 13991 1148.49/1148.88 c 1143s | 17 | 657759 | 199532 | 629996 0 | 26960 | 13991 1150.89/1151.23 c 1145s | 17 | 658270 | 199832 | 629996 0 | 26960 | 13991 1153.29/1153.68 c 1148s | 17 | 658703 | 200132 | 629996 0 | 26960 | 13991 1155.99/1156.33 c 1150s | 17 | 659134 | 200432 | 629996 0 | 26960 | 13991 1158.00/1158.39 c 1152s | 17 | 659392 | 200632 | 629996 0 | 26960 | 13991 1160.09/1160.42 c 1154s | 17 | 659645 | 200832 | 629996 0 | 26960 | 13991 1162.69/1163.10 c 1157s | 17 | 660208 | 201132 | 629996 0 | 26960 | 13991 1164.99/1165.32 c 1159s | 17 | 660837 | 201432 | 629996 0 | 26960 | 13991 1167.19/1167.57 c 1162s | 17 | 661335 | 201732 | 629996 0 | 26960 | 13991 1169.38/1169.78 c 1164s | 17 | 661763 | 202032 | 629996 0 | 26960 | 13991 1171.38/1171.78 c 1166s | 17 | 662060 | 202232 | 629996 0 | 26960 | 13991 1174.18/1174.57 c 1169s | 17 | 662557 | 202532 | 629996 0 | 26960 | 13991 1176.58/1176.93 c 1171s | 17 | 663058 | 202832 | 629996 0 | 26960 | 13991 1179.08/1179.40 c 1173s | 17 | 663546 | 203132 | 629996 0 | 26960 | 13991 1181.28/1181.66 c 1176s | 17 | 664085 | 203432 | 629996 0 | 26960 | 13991 1183.98/1184.39 c 1178s | 17 | 664571 | 203732 | 629996 0 | 26960 | 13991 1186.68/1187.02 c 1181s | 17 | 665004 | 204032 | 629996 0 | 26960 | 13991 1188.97/1189.39 c 1183s | 17 | 665478 | 204332 | 629996 0 | 26960 | 13991 1191.17/1191.59 c 1186s | 17 | 665910 | 204632 | 629996 0 | 26960 | 13991 1193.57/1193.99 c 1188s | 17 | 666355 | 204932 | 629996 0 | 26960 | 13991 1196.17/1196.57 c 1191s | 17 | 666811 | 205232 | 629996 0 | 26960 | 13991 1198.17/1198.58 c 1193s | 17 | 667083 | 205432 | 629996 0 | 26960 | 13991 1200.98/1201.33 c 1195s | 17 | 667536 | 205732 | 629996 0 | 26960 | 13991 1203.67/1204.07 c 1198s | 17 | 667989 | 206032 | 629996 0 | 26960 | 13991 1206.27/1206.60 c 1201s | 17 | 668395 | 206332 | 629996 0 | 26960 | 13991 1209.07/1209.44 c 1203s | 17 | 668757 | 206632 | 629996 0 | 26960 | 13991 1211.77/1212.13 c 1206s | 17 | 669212 | 206932 | 629996 0 | 26960 | 13991 1214.37/1214.70 c 1209s | 17 | 669599 | 207232 | 629996 0 | 26960 | 13991 1216.87/1217.21 c 1211s | 17 | 670155 | 207632 | 629996 0 | 26960 | 13991 1219.26/1219.65 c 1214s | 17 | 670563 | 207932 | 629996 0 | 26960 | 13991 1221.77/1222.14 c 1216s | 17 | 671019 | 208232 | 629996 0 | 26960 | 13991 1224.16/1224.56 c 1219s | 17 | 671422 | 208532 | 629996 0 | 26960 | 13991 1226.27/1226.62 c 1221s | 17 | 671870 | 208832 | 629996 0 | 26960 | 13991 1228.66/1229.00 c 1223s | 17 | 672309 | 209132 | 629996 0 | 26960 | 13991 1230.96/1231.39 c 1225s | 17 | 672699 | 209432 | 629996 0 | 26960 | 13991 1233.76/1234.10 c 1228s | 17 | 673113 | 209732 | 629996 0 | 26960 | 13991 1236.36/1236.78 c 1231s | 17 | 673519 | 210032 | 629996 0 | 26960 | 13991 1238.45/1238.82 c 1233s | 17 | 673963 | 210332 | 629996 0 | 26960 | 13991 1240.56/1240.92 c 1235s | 17 | 674388 | 210632 | 629996 0 | 26960 | 13991 1242.55/1242.92 c 1237s | 17 | 674824 | 210932 | 629996 0 | 26960 | 13991 1244.75/1245.19 c 1239s | 17 | 675269 | 211232 | 629996 0 | 26960 | 13991 1247.25/1247.68 c 1242s | 17 | 675676 | 211532 | 629996 0 | 26960 | 13991 1249.75/1250.17 c 1244s | 17 | 676116 | 211832 | 629996 0 | 26960 | 13991 1252.25/1252.62 c 1247s | 17 | 676510 | 212132 | 629996 0 | 26960 | 13991 1254.35/1254.75 c 1249s | 17 | 676980 | 212432 | 629996 0 | 26960 | 13991 1256.84/1257.28 c 1251s | 17 | 677437 | 212732 | 629996 0 | 26960 | 13991 1259.64/1260.09 c 1254s | 17 | 677834 | 213032 | 629996 0 | 26960 | 13991 1261.74/1262.13 c 1256s | 17 | 678088 | 213232 | 629996 0 | 26960 | 13991 1264.05/1264.44 c 1258s | 17 | 678375 | 213432 | 629996 0 | 26960 | 13991 1266.25/1266.62 c 1261s | 17 | 678628 | 213632 | 629996 0 | 26960 | 13991 1268.64/1269.01 c 1263s | 17 | 678869 | 213832 | 629996 0 | 26960 | 13991 1271.04/1271.49 c 1265s | 17 | 679295 | 214132 | 629996 0 | 26960 | 13991 1273.74/1274.11 c 1268s | 17 | 679692 | 214432 | 629996 0 | 26960 | 13991 1276.24/1276.67 c 1271s | 17 | 680128 | 214732 | 629996 0 | 26960 | 13991 1279.14/1279.56 c 1274s | 17 | 680539 | 215032 | 629996 0 | 26960 | 13991 1281.14/1281.56 c 1276s | 17 | 680781 | 215232 | 629996 0 | 26960 | 13991 1284.04/1284.44 c 1278s | 17 | 681180 | 215532 | 629996 0 | 26960 | 13991 1286.64/1287.10 c 1281s | 17 | 681562 | 215832 | 629996 0 | 26960 | 13991 1289.63/1290.05 c 1284s | 17 | 681984 | 216132 | 629996 0 | 26960 | 13991 1292.23/1292.61 c 1287s | 17 | 682429 | 216432 | 629996 0 | 26960 | 13991 1294.83/1295.25 c 1289s | 17 | 682853 | 216732 | 629996 0 | 26960 | 13991 1297.63/1298.07 c 1292s | 17 | 683291 | 217032 | 629996 0 | 26960 | 13991 1300.62/1301.06 c 1295s | 17 | 683684 | 217332 | 629996 0 | 26960 | 13991 1303.02/1303.41 c 1297s | 17 | 684125 | 217632 | 629996 0 | 26960 | 13991 1305.33/1305.79 c 1300s | 17 | 684506 | 217932 | 629996 0 | 26960 | 13991 1307.63/1308.01 c 1302s | 17 | 684970 | 218232 | 629996 0 | 26960 | 13991 1309.92/1310.31 c 1304s | 17 | 685354 | 218532 | 629996 0 | 26960 | 13991 1311.92/1312.36 c 1306s | 17 | 685751 | 218832 | 629996 0 | 26960 | 13991 1314.82/1315.28 c 1309s | 17 | 686119 | 219132 | 629996 0 | 26960 | 13991 1317.22/1317.64 c 1312s | 17 | 686570 | 219432 | 629996 0 | 26960 | 13991 1319.91/1320.35 c 1314s | 17 | 687218 | 219832 | 629996 0 | 26960 | 13991 1322.21/1322.61 c 1317s | 17 | 687634 | 220132 | 629996 0 | 26960 | 13991 1324.61/1325.08 c 1319s | 17 | 688079 | 220432 | 629996 0 | 26960 | 13991 1327.21/1327.66 c 1322s | 17 | 688513 | 220732 | 629996 0 | 26960 | 13991 1329.71/1330.14 c 1324s | 17 | 688892 | 221032 | 629996 0 | 26960 | 13991 1332.11/1332.50 c 1326s | 17 | 689284 | 221332 | 629996 0 | 26960 | 13991 1334.91/1335.38 c 1329s | 17 | 689681 | 221632 | 629996 0 | 26960 | 13991 1337.50/1337.91 c 1332s | 17 | 690132 | 221932 | 629996 0 | 26960 | 13991 1339.60/1340.09 c 1334s | 17 | 690540 | 222232 | 629996 0 | 26960 | 13991 1342.30/1342.74 c 1337s | 17 | 690918 | 222532 | 629996 0 | 26960 | 13991 1344.40/1344.83 c 1339s | 17 | 691394 | 222832 | 629996 0 | 26960 | 13991 1346.50/1346.93 c 1341s | 17 | 691864 | 223132 | 629996 0 | 26960 | 13991 1349.00/1349.40 c 1343s | 17 | 692318 | 223432 | 629996 0 | 26960 | 13991 1351.10/1351.59 c 1346s | 17 | 692571 | 223632 | 629996 0 | 26960 | 13991 1353.71/1354.11 c 1348s | 17 | 692947 | 223932 | 629996 0 | 26960 | 13991 1356.00/1356.42 c 1350s | 17 | 693197 | 224132 | 629996 0 | 26960 | 13991 1358.60/1359.03 c 1353s | 17 | 693602 | 224432 | 629996 0 | 26960 | 13991 1360.70/1361.12 c 1355s | 17 | 693863 | 224632 | 629996 0 | 26960 | 13991 1363.39/1363.82 c 1358s | 17 | 694261 | 224932 | 629996 0 | 26960 | 13991 1365.80/1366.21 c 1360s | 17 | 694686 | 225232 | 629996 0 | 26960 | 13991 1368.49/1368.98 c 1363s | 17 | 695069 | 225532 | 629996 0 | 26960 | 13991 1371.30/1371.77 c 1366s | 17 | 695453 | 225832 | 629996 0 | 26960 | 13991 1373.79/1374.24 c 1368s | 17 | 695886 | 226132 | 629996 0 | 26960 | 13991 1375.89/1376.36 c 1370s | 17 | 696124 | 226332 | 629996 0 | 26960 | 13991 1379.09/1379.51 c 1373s | 17 | 696526 | 226632 | 629996 0 | 26960 | 13991 1381.08/1381.54 c 1376s | 17 | 696764 | 226832 | 629996 0 | 26960 | 13991 1383.28/1383.75 c 1378s | 17 | 697013 | 227032 | 629996 0 | 26960 | 13991 1386.08/1386.50 c 1380s | 17 | 697390 | 227332 | 629996 0 | 26960 | 13991 1388.58/1389.01 c 1383s | 17 | 697794 | 227632 | 629996 0 | 26960 | 13991 1391.28/1391.77 c 1386s | 17 | 698211 | 227932 | 629996 0 | 26960 | 13991 1394.58/1395.01 c 1389s | 17 | 698645 | 228232 | 629996 0 | 26960 | 13991 1397.08/1397.52 c 1391s | 17 | 698885 | 228432 | 629996 0 | 26960 | 13991 1399.77/1400.20 c 1394s | 17 | 699326 | 228732 | 629996 0 | 26960 | 13991 1402.37/1402.87 c 1397s | 17 | 699901 | 229032 | 629996 0 | 26960 | 13991 1405.27/1405.71 c 1400s | 17 | 700309 | 229332 | 629996 0 | 26960 | 13991 1407.77/1408.26 c 1402s | 17 | 700747 | 229632 | 629996 0 | 26960 | 13991 1410.76/1411.20 c 1405s | 17 | 701123 | 229932 | 629996 0 | 26960 | 13991 1413.26/1413.79 c 1408s | 17 | 701577 | 230232 | 629996 0 | 26960 | 13991 1415.86/1416.31 c 1410s | 17 | 702003 | 230532 | 629996 0 | 26960 | 13991 1417.96/1418.42 c 1412s | 17 | 702302 | 230732 | 629996 0 | 26960 | 13991 1419.96/1420.42 c 1414s | 17 | 702584 | 230932 | 629996 0 | 26960 | 13991 1422.36/1422.87 c 1417s | 17 | 703096 | 231232 | 629996 0 | 26960 | 13991 1425.06/1425.57 c 1420s | 17 | 703509 | 231532 | 629996 0 | 26960 | 13991 1427.86/1428.35 c 1422s | 17 | 704018 | 231832 | 629996 0 | 26960 | 13991 1430.06/1430.50 c 1424s | 17 | 704256 | 232032 | 629996 0 | 26960 | 13991 1432.05/1432.52 c 1426s | 17 | 704521 | 232232 | 629996 0 | 26960 | 13991 1434.06/1434.58 c 1429s | 17 | 704786 | 232432 | 629996 0 | 26960 | 13991 1436.75/1437.25 c 1431s | 17 | 705212 | 232732 | 629996 0 | 26960 | 13991 1438.95/1439.48 c 1433s | 17 | 705468 | 232932 | 629996 0 | 26960 | 13991 1441.25/1441.74 c 1436s | 17 | 705711 | 233132 | 629996 0 | 26960 | 13991 1443.55/1444.03 c 1438s | 17 | 706225 | 233432 | 629996 0 | 26960 | 13991 1446.05/1446.52 c 1440s | 17 | 706722 | 233732 | 629996 0 | 26960 | 13991 1448.25/1448.77 c 1443s | 17 | 707155 | 234032 | 629996 0 | 26960 | 13991 1450.74/1451.23 c 1445s | 17 | 707590 | 234332 | 629996 0 | 26960 | 13991 1453.14/1453.66 c 1448s | 17 | 708064 | 234632 | 629996 0 | 26960 | 13991 1455.84/1456.39 c 1450s | 17 | 708554 | 234932 | 629996 0 | 26960 | 13991 1458.64/1459.19 c 1453s | 17 | 708985 | 235232 | 629996 0 | 26960 | 13991 1461.44/1461.93 c 1456s | 17 | 709471 | 235532 | 629996 0 | 26960 | 13991 1463.94/1464.43 c 1458s | 17 | 709918 | 235832 | 629996 0 | 26960 | 13991 1465.94/1466.44 c 1460s | 17 | 710172 | 236032 | 629996 0 | 26960 | 13991 1468.53/1469.09 c 1463s | 17 | 710617 | 236332 | 629996 0 | 26960 | 13991 1471.03/1471.52 c 1465s | 17 | 711032 | 236632 | 629996 0 | 26960 | 13991 1473.73/1474.22 c 1468s | 17 | 711500 | 236932 | 629996 0 | 26960 | 13991 1476.33/1476.86 c 1471s | 17 | 711987 | 237232 | 629996 0 | 26960 | 13991 1479.14/1479.67 c 1474s | 17 | 712437 | 237532 | 629996 0 | 26960 | 13991 1481.34/1481.82 c 1476s | 17 | 712691 | 237732 | 629996 0 | 26960 | 13991 1483.44/1483.94 c 1478s | 17 | 712984 | 237932 | 629996 0 | 26960 | 13991 1486.24/1486.74 c 1481s | 17 | 713430 | 238232 | 629996 0 | 26960 | 13991 1488.53/1489.05 c 1483s | 17 | 713660 | 238432 | 629996 0 | 26960 | 13991 1491.73/1492.25 c 1486s | 17 | 714038 | 238732 | 629996 0 | 26960 | 13991 1494.23/1494.71 c 1489s | 17 | 714287 | 238932 | 629996 0 | 26960 | 13991 1496.23/1496.74 c 1491s | 17 | 714578 | 239132 | 629996 0 | 26960 | 13991 1498.33/1498.88 c 1493s | 17 | 714832 | 239332 | 629996 0 | 26960 | 13991 1500.82/1501.34 c 1495s | 17 | 715387 | 239632 | 629996 0 | 26960 | 13991 1503.42/1503.92 c 1498s | 17 | 715836 | 239932 | 629996 0 | 26960 | 13991 1506.02/1506.52 c 1500s | 17 | 716346 | 240232 | 629996 0 | 26960 | 13991 1508.42/1508.95 c 1503s | 17 | 716800 | 240532 | 629996 0 | 26960 | 13991 1510.82/1511.30 c 1505s | 17 | 717208 | 240832 | 629996 0 | 26960 | 13991 1513.42/1513.93 c 1508s | 17 | 717601 | 241132 | 629996 0 | 26960 | 13991 1516.32/1516.80 c 1511s | 17 | 718063 | 241432 | 629996 0 | 26960 | 13991 1518.52/1519.08 c 1513s | 17 | 718322 | 241632 | 629996 0 | 26960 | 13991 1520.62/1521.11 c 1515s | 17 | 718622 | 241832 | 629996 0 | 26960 | 13991 1523.42/1523.92 c 1518s | 17 | 718858 | 242032 | 629996 0 | 26960 | 13991 1525.92/1526.42 c 1520s | 17 | 719147 | 242232 | 629996 0 | 26960 | 13991 1528.63/1529.15 c 1523s | 17 | 719434 | 242432 | 629996 0 | 26960 | 13991 1530.92/1531.46 c 1525s | 17 | 719746 | 242632 | 629996 0 | 26960 | 13991 1534.03/1534.56 c 1529s | 17 | 720026 | 242832 | 629996 0 | 26960 | 13991 1537.62/1538.13 c 1532s | 17 | 720283 | 243032 | 629996 0 | 26960 | 13991 1540.32/1540.86 c 1535s | 17 | 720679 | 243232 | 629996 0 | 26960 | 13991 1542.42/1542.93 c 1537s | 17 | 721082 | 243432 | 629996 0 | 26960 | 13991 1544.52/1545.08 c 1539s | 17 | 721680 | 243632 | 629996 0 | 26960 | 13991 1546.62/1547.17 c 1541s | 17 | 722361 | 243932 | 629996 0 | 26960 | 13991 1549.52/1550.07 c 1544s | 17 | 723706 | 244332 | 629996 0 | 26960 | 13991 1551.62/1552.17 c 1546s | 17 | 724225 | 244632 | 629996 0 | 26960 | 13991 1554.12/1554.60 c 1549s | 17 | 724682 | 244932 | 629996 0 | 26960 | 13991 1556.21/1556.77 c 1551s | 17 | 725050 | 245132 | 629996 0 | 26960 | 13991 1558.61/1559.11 c 1553s | 17 | 725602 | 245432 | 629996 0 | 26960 | 13991 1560.61/1561.11 c 1555s | 17 | 725918 | 245632 | 629996 0 | 26960 | 13991 1562.62/1563.14 c 1557s | 17 | 726306 | 245832 | 629996 0 | 26960 | 13991 1565.11/1565.64 c 1560s | 17 | 726577 | 246032 | 629996 0 | 26960 | 13991 1567.31/1567.83 c 1562s | 17 | 726959 | 246232 | 629996 0 | 26960 | 13991 1570.01/1570.55 c 1565s | 17 | 728228 | 246532 | 629996 0 | 26960 | 13991 1573.81/1574.37 c 1568s | 17 | 728500 | 246732 | 629996 0 | 26960 | 13991 1577.41/1577.95 c 1572s | 17 | 728782 | 246932 | 629996 0 | 26960 | 13991 1580.51/1581.02 c 1575s | 17 | 729088 | 247132 | 629996 0 | 26960 | 13991 1583.81/1584.31 c 1578s | 17 | 729505 | 247332 | 629996 0 | 26960 | 13991 1586.11/1586.66 c 1581s | 17 | 730034 | 247532 | 629996 0 | 26960 | 13991 1588.91/1589.47 c 1583s | 17 | 730582 | 247732 | 629996 0 | 26960 | 13991 1592.11/1592.61 c 1587s | 17 | 730959 | 247932 | 629996 0 | 26960 | 13991 1595.01/1595.54 c 1590s | 17 | 731254 | 248132 | 629996 0 | 26960 | 13991 1597.21/1597.71 c 1592s | 17 | 731507 | 248332 | 629996 0 | 26960 | 13991 1599.21/1599.74 c 1594s | 17 | 731792 | 248532 | 629996 0 | 26960 | 13991 1602.41/1602.96 c 1597s | 17 | 732276 | 248832 | 629996 0 | 26960 | 13991 1604.51/1605.04 c 1599s | 17 | 732580 | 249032 | 629996 0 | 26960 | 13991 1607.61/1608.13 c 1602s | 17 | 733075 | 249332 | 629996 0 | 26960 | 13991 1610.51/1611.07 c 1605s | 17 | 733413 | 249532 | 629996 0 | 26960 | 13991 1613.40/1613.93 c 1608s | 17 | 733717 | 249732 | 629996 0 | 26960 | 13991 1616.61/1617.11 c 1611s | 17 | 734004 | 249932 | 629996 0 | 26960 | 13991 1618.90/1619.47 c 1613s | 17 | 734326 | 250132 | 629996 0 | 26960 | 13991 1621.70/1622.27 c 1616s | 17 | 734581 | 250332 | 629996 0 | 26960 | 13991 1624.50/1625.08 c 1619s | 17 | 734836 | 250532 | 629996 0 | 26960 | 13991 1628.00/1628.55 c 1623s | 17 | 735079 | 250732 | 629996 0 | 26960 | 13991 1631.00/1631.52 c 1625s | 17 | 735351 | 250932 | 629996 0 | 26960 | 13991 1633.80/1634.34 c 1628s | 17 | 735680 | 251132 | 629996 0 | 26960 | 13991 1636.80/1637.33 c 1631s | 17 | 735948 | 251332 | 629996 0 | 26960 | 13991 1639.71/1640.25 c 1634s | 17 | 736206 | 251532 | 629996 0 | 26960 | 13991 1641.70/1642.26 c 1636s | 17 | 736462 | 251732 | 629996 0 | 26960 | 13991 1644.20/1644.74 c 1639s | 17 | 736748 | 251932 | 629996 0 | 26960 | 13991 1646.50/1647.02 c 1641s | 17 | 737004 | 252132 | 629996 0 | 26960 | 13991 1648.70/1649.25 c 1643s | 17 | 737290 | 252332 | 629996 0 | 26960 | 13991 1651.00/1651.58 c 1646s | 17 | 737610 | 252532 | 629996 0 | 26960 | 13991 1653.70/1654.27 c 1648s | 17 | 737868 | 252732 | 629996 0 | 26960 | 13991 1655.90/1656.41 c 1650s | 17 | 738197 | 252932 | 629996 0 | 26960 | 13991 1658.90/1659.43 c 1653s | 17 | 738461 | 253132 | 629996 0 | 26960 | 13991 1661.40/1661.95 c 1656s | 17 | 738765 | 253332 | 629996 0 | 26960 | 13991 1663.90/1664.46 c 1658s | 17 | 739022 | 253532 | 629996 0 | 26960 | 13991 1666.90/1667.43 c 1661s | 17 | 739296 | 253732 | 629996 0 | 26960 | 13991 1669.40/1669.90 c 1664s | 17 | 739541 | 253932 | 629996 0 | 26960 | 13991 1671.50/1672.01 c 1666s | 17 | 739927 | 254132 | 629996 0 | 26960 | 13991 1674.40/1674.92 c 1669s | 17 | 740223 | 254332 | 629996 0 | 26960 | 13991 1677.40/1677.92 c 1672s | 17 | 740494 | 254532 | 629996 0 | 26960 | 13991 1679.99/1680.57 c 1675s | 17 | 740789 | 254732 | 629996 0 | 26960 | 13991 1682.89/1683.46 c 1677s | 17 | 741056 | 254932 | 629996 0 | 26960 | 13991 1685.99/1686.57 c 1681s | 17 | 741332 | 255132 | 629996 0 | 26960 | 13991 1688.49/1689.09 c 1683s | 17 | 741601 | 255332 | 629996 0 | 26960 | 13991 1691.40/1691.91 c 1686s | 17 | 741856 | 255532 | 629996 0 | 26960 | 13991 1693.89/1694.49 c 1688s | 17 | 742196 | 255732 | 629996 0 | 26960 | 13991 1696.59/1697.14 c 1691s | 17 | 742568 | 255932 | 629996 0 | 26960 | 13991 1699.00/1699.58 c 1694s | 17 | 742868 | 256132 | 629996 0 | 26960 | 13991 1701.20/1701.77 c 1696s | 17 | 743135 | 256332 | 629996 0 | 26960 | 13991 1703.59/1704.12 c 1698s | 17 | 743484 | 256532 | 629996 0 | 26960 | 13991 1706.09/1706.67 c 1701s | 17 | 743795 | 256732 | 629996 0 | 26960 | 13991 1708.79/1709.40 c 1703s | 17 | 744102 | 256932 | 629996 0 | 26960 | 13991 1711.49/1712.07 c 1706s | 17 | 744380 | 257132 | 629996 0 | 26960 | 13991 1713.89/1714.40 c 1708s | 17 | 744728 | 257332 | 629996 0 | 26960 | 13991 1716.09/1716.60 c 1711s | 17 | 745064 | 257532 | 629996 0 | 26960 | 13991 1718.29/1718.88 c 1713s | 17 | 745411 | 257732 | 629996 0 | 26960 | 13991 1721.39/1721.98 c 1716s | 17 | 745983 | 258032 | 629996 0 | 26960 | 13991 1723.59/1724.19 c 1718s | 17 | 747282 | 258332 | 629996 0 | 26960 | 13991 1726.29/1726.85 c 1721s | 17 | 748062 | 258632 | 629996 0 | 26960 | 13991 1729.09/1729.65 c 1724s | 17 | 748303 | 258832 | 629996 0 | 26960 | 13991 1732.19/1732.73 c 1727s | 17 | 748582 | 259032 | 629996 0 | 26960 | 13991 1734.89/1735.43 c 1729s | 17 | 748820 | 259232 | 629996 0 | 26960 | 13991 1737.98/1738.57 c 1733s | 17 | 749106 | 259432 | 629996 0 | 26960 | 13991 1740.58/1741.16 c 1735s | 17 | 749412 | 259632 | 629996 0 | 26960 | 13991 1744.38/1744.92 c 1739s | 17 | 749663 | 259832 | 629996 0 | 26960 | 13991 1747.39/1747.94 c 1742s | 17 | 749946 | 260032 | 629996 0 | 26960 | 13991 1750.38/1750.92 c 1745s | 17 | 750255 | 260232 | 629996 0 | 26960 | 13991 1753.48/1754.00 c 1748s | 17 | 750578 | 260432 | 629996 0 | 26960 | 13991 1756.29/1756.81 c 1751s | 17 | 750890 | 260632 | 629996 0 | 26960 | 13991 1759.38/1759.93 c 1754s | 17 | 751212 | 260832 | 629996 0 | 26960 | 13991 1762.18/1762.77 c 1757s | 17 | 751489 | 261032 | 629996 0 | 26960 | 13991 1765.09/1765.68 c 1760s | 17 | 751750 | 261232 | 629996 0 | 26960 | 13991 1768.08/1768.63 c 1763s | 17 | 752005 | 261432 | 629996 0 | 26960 | 13991 1771.28/1771.84 c 1766s | 17 | 752279 | 261632 | 629996 0 | 26960 | 13991 1773.98/1774.50 c 1768s | 17 | 752588 | 261832 | 629996 0 | 26960 | 13991 1776.48/1777.07 c 1771s | 17 | 752899 | 262032 | 629996 0 | 26960 | 13991 1778.98/1779.53 c 1773s | 17 | 753231 | 262232 | 629996 0 | 26960 | 13991 1781.78/1782.37 c 1776s | 17 | 753545 | 262432 | 629996 0 | 26960 | 13991 1785.08/1785.64 c 1780s | 17 | 753813 | 262632 | 629996 0 | 26960 | 13991 1788.48/1789.04 c 1783s | 17 | 754098 | 262832 | 629996 0 | 26960 | 13991 1790.58/1791.15 c 1785s | 17 | 754214 | 262932 | 629996 0 | 26960 | 13991 1794.08/1794.63 c 1789s | 17 | 754529 | 263132 | 629996 0 | 26960 | 13991 1796.98/1797.57 c 1792s | 17 | 754785 | 263332 | 629996 0 | 26960 | 13991 1799.78/1800.35 c 1794s | 17 | 755101 | 263532 | 629996 0 | 26960 | 13991
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-4101865-1466227845/watcher-4101865-1466227845 -o /tmp/evaluation-result-4101865-1466227845/solver-4101865-1466227845 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101865-1466227845.opb pid=19856 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.21 2.18 2.18 3/180 19859 /proc/meminfo: memFree=27526252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=727484 CPUtime=0 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 2711 0 0 0 0 0 0 0 20 0 4 0 24830035 744943616 3582 33554432000 4194304 16246674 140735797648128 140735797647552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 182383 3592 441 2943 0 179277 0 [pid=19859/tid=19860] ppid=19856 vsize=745916 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 763817984 3657 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=751036 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 769060864 3674 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=754108 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 772206592 3689 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.21 2.18 2.18 3/180 19859 /proc/meminfo: memFree=27526252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1301060 CPUtime=0.09 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 29939 0 0 0 5 4 0 0 20 0 4 0 24830035 1332285440 30749 33554432000 4194304 16246674 140735797648128 140735797647440 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 325265 30766 800 2943 0 322159 0 [pid=19859/tid=19860] ppid=19856 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1332285440 30777 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1332285440 30790 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1332285440 30801 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1301060 [startup+0.200536 s] /proc/loadavg: 2.21 2.18 2.18 3/180 19859 /proc/meminfo: memFree=27526252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1314372 CPUtime=0.18 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 45361 0 0 0 12 6 0 0 20 0 4 0 24830035 1345916928 46681 33554432000 4194304 16246674 140735797648128 140735797647440 13784952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 328593 46681 800 2943 0 325487 0 [pid=19859/tid=19860] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 46681 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 46681 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 46681 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1314372 [startup+0.300504 s] /proc/loadavg: 2.21 2.18 2.18 3/180 19859 /proc/meminfo: memFree=27526252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1314372 CPUtime=0.29 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 55281 0 0 0 21 8 0 0 20 0 4 0 24830035 1345916928 56601 33554432000 4194304 16246674 140735797648128 140735797647440 4222992 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 328593 56601 801 2943 0 325487 0 [pid=19859/tid=19860] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 56601 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 56601 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 56601 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1314372 [startup+0.700411 s] /proc/loadavg: 2.21 2.18 2.18 3/180 19859 /proc/meminfo: memFree=27526252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1314372 CPUtime=0.69 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 64353 0 0 0 60 9 0 0 20 0 4 0 24830035 1345916928 65673 33554432000 4194304 16246674 140735797648128 140735797631120 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 328593 65673 803 2943 0 325487 0 [pid=19859/tid=19860] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 65673 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 65673 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 65673 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.50043 s] /proc/loadavg: 2.21 2.18 2.18 4/184 19863 /proc/meminfo: memFree=27232760/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1314372 CPUtime=1.49 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 80752 0 0 0 137 12 0 0 20 0 4 0 24830035 1345916928 82072 33554432000 4194304 16246674 140735797648128 140735797631120 6861065 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 328593 82072 810 2943 0 325487 0 [pid=19859/tid=19860] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 82072 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 82072 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1345916928 82072 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10042 s] /proc/loadavg: 2.21 2.18 2.18 4/184 19863 /proc/meminfo: memFree=26776548/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=3.09 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 270982 0 0 0 272 37 0 0 20 0 4 0 24830035 1438191616 272302 33554432000 4194304 16246674 140735797648128 140735797630016 12457895 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 272302 839 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 272302 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 272302 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 272302 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1404484 [startup+6.30044 s] /proc/loadavg: 2.19 2.18 2.18 4/184 19863 /proc/meminfo: memFree=26354256/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=6.29 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 291793 0 0 0 589 40 0 0 20 0 4 0 24830035 1438191616 293113 33554432000 4194304 16246674 140735797648128 140735797630016 5586009 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 293113 892 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293113 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293113 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293113 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1404484 [startup+12.7004 s] /proc/loadavg: 2.26 2.19 2.18 3/184 19863 /proc/meminfo: memFree=26354192/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=12.69 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 291796 0 0 0 1229 40 0 0 20 0 4 0 24830035 1438191616 293116 33554432000 4194304 16246674 140735797648128 140735797630016 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 293116 895 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293116 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293116 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293116 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1404484 [startup+25.5005 s] /proc/loadavg: 2.33 2.21 2.19 3/183 19863 /proc/meminfo: memFree=26354704/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=25.48 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 291798 0 0 0 2508 40 0 0 20 0 4 0 24830035 1438191616 293118 33554432000 4194304 16246674 140735797648128 140735797630016 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 293118 895 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293118 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293118 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293118 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1404484 [startup+51.1005 s] /proc/loadavg: 2.22 2.19 2.18 4/183 19863 /proc/meminfo: memFree=26354704/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=51.08 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 291801 0 0 0 5068 40 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 140735797630016 5661436 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 293121 895 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761725467824 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) 1404484 [startup+102.301 s] /proc/loadavg: 2.32 2.22 2.19 3/183 19865 /proc/meminfo: memFree=26354336/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1404484 CPUtime=102.29 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 291801 0 0 0 10188 41 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 140735797630016 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 351121 293121 895 2943 0 348015 0 [pid=19859/tid=19860] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293121 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1404484 ################ # More data... # ################ /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1438191616 293126 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1404484 [startup+1302.3 s] /proc/loadavg: 2.16 2.22 2.20 3/183 19943 /proc/meminfo: memFree=25303744/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1301.92 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306715 0 0 0 130147 45 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1463876 [startup+1362.3 s] /proc/loadavg: 2.25 2.22 2.20 3/183 19944 /proc/meminfo: memFree=25246744/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1361.9 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306747 0 0 0 136145 45 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 12483636 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1463876 [startup+1422.3 s] /proc/loadavg: 2.15 2.19 2.18 3/183 19945 /proc/meminfo: memFree=25209284/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1421.86 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306791 0 0 0 142141 45 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5677392 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1463876 [startup+1482.3 s] /proc/loadavg: 2.16 2.19 2.18 3/183 19946 /proc/meminfo: memFree=25152252/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1481.83 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306824 0 0 0 148138 45 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1463876 [startup+1542.31 s] /proc/loadavg: 2.30 2.21 2.19 3/183 19947 /proc/meminfo: memFree=25074960/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1541.82 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 154136 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5667556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1463876 [startup+1602.3 s] /proc/loadavg: 2.21 2.20 2.18 3/183 19949 /proc/meminfo: memFree=24992212/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1601.81 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 160135 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1463876 [startup+1662.3 s] /proc/loadavg: 2.21 2.21 2.18 3/183 19950 /proc/meminfo: memFree=24936644/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1661.8 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 166134 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1463876 [startup+1722.3 s] /proc/loadavg: 2.41 2.26 2.20 4/183 19951 /proc/meminfo: memFree=24881148/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1721.79 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 172133 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1463876 [startup+1782.3 s] /proc/loadavg: 2.34 2.25 2.20 3/184 19955 /proc/meminfo: memFree=24781084/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1781.78 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 178132 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1463876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.27 2.24 2.19 3/184 19956 /proc/meminfo: memFree=24763076/32872528 swapFree=1459628/1655852 [pid=19859] ppid=19856 vsize=1463876 CPUtime=1800.08 cores=1,3,5,7 /proc/19859/stat : 19859 (toysat) R 19856 19859 16189 0 -1 4202496 306838 0 0 0 179962 46 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 140735797630016 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/19859/statm: 365969 307731 899 2943 0 362863 0 [pid=19859/tid=19860] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19860/stat : 19860 (toysat) S 19856 19859 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761821920496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=19859/tid=19861] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19861/stat : 19861 (toysat) S 19856 19859 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761811430640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=19859/tid=19862] ppid=19856 vsize=1463876 CPUtime=0 cores=1,3,5,7 /proc/19859/task/19862/stat : 19862 (toysat) S 19856 19859 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24830035 1499009024 307731 33554432000 4194304 16246674 140735797648128 139761725467824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1463876 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 19859 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.63 CPU system time (s): 0.463929 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1463876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.463929 maximum resident set size= 1230924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 306838 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= 465 involuntary context switches= 1860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.72228 second user time and 6.99194 second system time The end
Begin job on node136 at 2016-06-18 07:30:45 IDJOB=4101865 IDBENCH=1804 IDSOLVER=2542 FILE ID=node136/4101865-1466227845 RUNJOBID= node136-1466206055-16206 PBS_JOBID= 19918141 Free space on /tmp= 71712 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-stp3d.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101865-1466227845/watcher-4101865-1466227845 -o /tmp/evaluation-result-4101865-1466227845/solver-4101865-1466227845 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101865-1466227845.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f0369b32b392b309903886944ef44b64 RANDOM SEED=808962489 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27526532 kB Buffers: 165832 kB Cached: 1678196 kB SwapCached: 0 kB Active: 1247828 kB Inactive: 1697060 kB Active(anon): 1103632 kB Inactive(anon): 0 kB Active(file): 144196 kB Inactive(file): 1697060 kB Unevictable: 1655852 kB Mlocked: 1459628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 24868 kB Writeback: 4 kB AnonPages: 2758560 kB Mapped: 16460 kB Shmem: 204 kB Slab: 610524 kB SReclaimable: 54656 kB SUnreclaim: 555868 kB KernelStack: 1480 kB PageTables: 9192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2891932 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1286144 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 node136 at 2016-06-18 08:00:46