| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb |
| MD5SUM | 44a4d7082f03e09f83e967b1f06a2c02 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.029994 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3720 |
| Total number of constraints | 142 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 142 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 3720 |
| Biggest coefficient in the objective function | 4142 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 527176 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 527176 |
| 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-18T01:59:19+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-4099817-1466207959.opb"] 0.00/0.01 c use --random-gen="2082931151 242507321 3366922351 407504384 2127084511 3373452129 1228874510 2289041616 1395745057 1938488594 749746763 1451878010 1613421552 3550328677 1694963528 4026375275 1357904203 432754071 322547910 1773818304 2114702010 2243821293 3884059989 3700514460 2940764495 1876674666 171720189 2219787276 4102847962 3828736207 3046287792 3037667642 375871742 2222920407 4025143456 3442512469 725297171 2762830809 3628843202 1882350838 36573501 2264148716 1417872725 3491101191 3892993724 3729447681 4279387522 3981409747 3646383847 1433107976 793182481 864817802 1942759787 490154080 2343049010 2990654674 2771914409 2011096361 1416918621 4218348845 2076249490 3026441785 3106162969 10596087 2743613115 1909982708 666537191 4180459944 2663758589 2360064823 1088955485 500098922 2630161677 4080782516 675697677 2518383493 1582532686 3914118821 932064814 2255647258 1189024970 445011678 3359185929 1896439032 2477801026 194055541 1390081430 3602273664 1262771208 1350533853 2152833624 2180314758 765896148 619968565 4165982210 3432593789 3772519011 1889214667 3541375604 865997490 3977424816 360880006 300345264 112705253 3433127193 3017369439 141990708 3868888416 3665510579 875874858 2055465515 916828001 2768213325 4229738826 4092789127 1656181062 3929542688 1204495932 2671897821 1523200300 784498895 3959724715 2281821373 4183593378 3005936296 1966731082 238048428 2659338062 1147363464 1673725386 1657414253 2744112202 299443354 1708517313 2197429063 3210175664 1636285720 765027662 253617685 3946996133 2862055341 2909245071 1041744729 3109126220 1078988903 2039706747 1472374631 3752918888 455315621 1322269926 4015560298 250484737 2699959846 1170143855 768255617 2347504133 441757843 2490259639 304013965 2308221871 4207270550 1642954852 2364176140 3488334638 3449144205 737317335 956030432 729322027 1748361248 3311105775 3413032505 563930785 1982978633 812396346 1851300392 887481776 389641322 151912112 948588830 1214791974 225551246 105361683 2541721055 2863073756 4157319760 2828069448 3059859337 1914940 3605233557 2091633461 357496879 1452054796 227878602 1196128589 4256652483 2935298394 2898468627 1478882505 2013060095 2837823204 2439514675 531498985 2673774699 4223104050 1288281440 3900012578 2095931316 431015793 2522461322 3658337696 371189788 1125714392 3375873879 4152171250 3741162826 2350413294 1004615938 1964697284 1964346484 2548981415 769353035 3778265716 3379106911 2822395261 1270333298 2994240457 3597573833 2248107300 2953548832 1967080308 2060592520 4245263084 2423580999 4134129501 4188470146 2226095996 1535686675 4148343452 2407226625 2684139329 1567956076 2034546970 494099410 3170355417 4159157050 4165733870 3196122310 2871980822 2274091387 1140087347 1059353689 3759901452 3036135700 1911583675 2305407874 2686621344 255 362436" option to reproduce the execution 0.00/0.05 c #vars 3720 0.00/0.05 c #constraints 142 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.07 c 0.0s | 0 | 0 | 0 | 1294 0 | 2016 | 0 0.29/0.32 c 0.3s | 1 | 582 | 100 | 1294 0 | 2016 | 0 0.69/0.79 c 0.7s | 2 | 1953 | 250 | 1424 0 | 2016 | 0 0.99/1.09 c 1.0s | 3 | 3832 | 475 | 1567 0 | 2016 | 0 1.99/2.09 c 2.0s | 4 | 6168 | 813 | 1724 0 | 2016 | 0 2.99/3.08 c 3.0s | 5 | 10276 | 1320 | 1897 0 | 2016 | 0 4.99/5.08 c 5.0s | 5 | 14724 | 1920 | 2087 0 | 2016 | 0 5.79/5.84 c 5.8s | 6 | 15559 | 2081 | 2296 0 | 2016 | 0 7.19/7.26 c 7.2s | 7 | 20145 | 3223 | 2526 0 | 2016 | 0 9.49/9.59 c 9.5s | 7 | 27015 | 4023 | 2526 0 | 2016 | 0 11.89/11.97 c 11.9s | 7 | 29044 | 4523 | 2526 0 | 2016 | 0 12.99/13.08 c 13.0s | 8 | 31527 | 4936 | 2779 0 | 2016 | 0 15.09/15.10 c 15.0s | 8 | 36518 | 5936 | 2779 1 | 2016 | 0 17.28/17.36 c 17.3s | 8 | 38427 | 6536 | 2779 1 | 2016 | 0 19.38/19.42 c 19.4s | 8 | 41259 | 7336 | 2779 1 | 2016 | 0 20.18/20.22 c 20.1s | 9 | 41636 | 7506 | 3057 1 | 2016 | 0 22.18/22.29 c 22.2s | 9 | 47504 | 8206 | 3057 1 | 2016 | 0 24.38/24.49 c 24.4s | 9 | 50378 | 8906 | 3057 1 | 2016 | 0 26.58/26.63 c 26.6s | 9 | 56850 | 9506 | 3057 2 | 2016 | 0 29.18/29.25 c 29.2s | 9 | 58345 | 10006 | 3057 2 | 2016 | 0 31.38/31.46 c 31.4s | 9 | 60923 | 10606 | 3057 2 | 2016 | 0 33.88/33.90 c 33.8s | 9 | 62878 | 11006 | 3057 2 | 2016 | 0 35.88/35.91 c 35.8s | 9 | 64237 | 11306 | 3363 2 | 2016 | 0 36.18/36.22 c 36.1s | 10 | 64409 | 11361 | 3363 2 | 2016 | 0 38.28/38.37 c 38.3s | 10 | 68294 | 12461 | 3363 3 | 2016 | 0 40.49/40.59 c 40.5s | 10 | 72216 | 13461 | 3363 3 | 2016 | 0 42.69/42.72 c 42.7s | 10 | 73522 | 13761 | 3363 3 | 2016 | 0 44.79/44.86 c 44.8s | 10 | 76902 | 14761 | 3363 3 | 2016 | 0 46.98/47.04 c 47.0s | 10 | 78867 | 15561 | 3363 4 | 2016 | 0 49.18/49.24 c 49.2s | 10 | 82049 | 16261 | 3363 4 | 2016 | 0 51.79/51.88 c 51.8s | 10 | 83921 | 16761 | 3363 4 | 2016 | 0 53.78/53.81 c 53.7s | 11 | 85674 | 17144 | 3700 4 | 2016 | 0 55.88/55.93 c 55.9s | 11 | 91882 | 18044 | 3700 4 | 2016 | 0 57.88/57.95 c 57.9s | 11 | 99250 | 18944 | 3700 5 | 2016 | 0 59.88/59.97 c 59.9s | 11 | 104976 | 19744 | 3700 5 | 2016 | 0 62.08/62.18 c 62.1s | 11 | 108643 | 20344 | 3700 5 | 2016 | 0 64.48/64.50 c 64.4s | 11 | 112337 | 20944 | 3700 5 | 2016 | 0 66.68/66.79 c 66.7s | 11 | 113286 | 21244 | 3700 5 | 2016 | 0 68.88/69.00 c 68.9s | 11 | 115749 | 21844 | 3700 5 | 2016 | 0 71.38/71.43 c 71.4s | 11 | 118474 | 22544 | 3700 6 | 2016 | 0 73.79/73.84 c 73.8s | 11 | 121456 | 23244 | 3700 6 | 2016 | 0 75.89/75.91 c 75.8s | 11 | 124027 | 23744 | 3700 6 | 2016 | 0 77.88/77.92 c 77.8s | 11 | 126142 | 24244 | 3700 6 | 2016 | 0 80.18/80.23 c 80.2s | 11 | 128446 | 24744 | 3700 6 | 2016 | 0 82.68/82.71 c 82.6s | 11 | 129321 | 25144 | 3700 6 | 2016 | 0 85.38/85.48 c 85.4s | 11 | 133598 | 25644 | 3700 6 | 2016 | 0 87.78/87.81 c 87.7s | 12 | 134558 | 25819 | 4071 6 | 2016 | 0 89.88/89.99 c 89.9s | 12 | 144905 | 26819 | 4071 7 | 2016 | 0 92.08/92.13 c 92.1s | 12 | 151468 | 27619 | 4071 7 | 2016 | 0 94.18/94.24 c 94.2s | 12 | 157225 | 28419 | 4071 7 | 2016 | 0 96.38/96.41 c 96.3s | 12 | 159550 | 28919 | 4071 7 | 2016 | 0 98.47/98.57 c 98.5s | 12 | 162113 | 29519 | 4071 7 | 2016 | 0 100.97/101.00 c 100s | 12 | 163591 | 30019 | 4071 8 | 2016 | 0 103.28/103.40 c 103s | 12 | 164897 | 30519 | 4071 8 | 2016 | 0 105.58/105.68 c 105s | 12 | 167253 | 31019 | 4071 8 | 2016 | 0 107.97/108.06 c 107s | 12 | 169304 | 31519 | 4071 8 | 2016 | 0 109.98/110.09 c 110s | 12 | 172293 | 32119 | 4071 8 | 2016 | 0 112.18/112.25 c 112s | 12 | 174146 | 32619 | 4071 8 | 2016 | 0 114.48/114.58 c 114s | 12 | 176416 | 33219 | 4071 9 | 2016 | 0 116.87/116.95 c 116s | 12 | 179502 | 33819 | 4071 9 | 2016 | 0 118.88/118.96 c 118s | 12 | 180720 | 34319 | 4071 9 | 2016 | 0 121.27/121.39 c 121s | 12 | 181610 | 34819 | 4071 9 | 2016 | 0 123.37/123.44 c 123s | 12 | 184042 | 35419 | 4071 9 | 2016 | 0 125.38/125.45 c 125s | 12 | 186749 | 36019 | 4071 9 | 2016 | 0 127.37/127.49 c 127s | 12 | 189464 | 36519 | 4071 9 | 2016 | 0 129.57/129.68 c 129s | 12 | 190965 | 36919 | 4071 10 | 2016 | 0 132.07/132.12 c 132s | 12 | 192801 | 37419 | 4071 10 | 2016 | 0 134.47/134.51 c 134s | 12 | 194413 | 37919 | 4071 10 | 2016 | 0 136.57/136.67 c 136s | 12 | 197070 | 38519 | 4071 10 | 2016 | 0 137.37/137.41 c 137s | 13 | 198968 | 38832 | 4479 10 | 2016 | 0 139.47/139.59 c 139s | 13 | 216240 | 39632 | 4479 10 | 2016 | 0 141.57/141.62 c 141s | 13 | 222020 | 40232 | 4479 10 | 2016 | 0 143.77/143.88 c 143s | 13 | 229013 | 40632 | 4479 11 | 2016 | 0 146.47/146.51 c 146s | 13 | 240889 | 40932 | 4479 11 | 2016 | 0 148.58/148.61 c 148s | 13 | 246968 | 41532 | 4479 11 | 2016 | 0 150.97/151.03 c 150s | 13 | 250835 | 42232 | 4479 11 | 2016 | 0 153.17/153.29 c 153s | 13 | 252894 | 42732 | 4479 11 | 2016 | 0 155.37/155.40 c 155s | 13 | 254419 | 43232 | 4479 11 | 2016 | 0 157.46/157.56 c 157s | 13 | 255793 | 43732 | 4479 11 | 2016 | 0 159.66/159.75 c 159s | 13 | 258543 | 44332 | 4479 12 | 2016 | 0 162.16/162.24 c 162s | 13 | 261634 | 44932 | 4479 12 | 2016 | 0 164.36/164.40 c 164s | 13 | 263670 | 45432 | 4479 12 | 2016 | 0 166.76/166.85 c 166s | 13 | 266419 | 46032 | 4479 12 | 2016 | 0 168.97/169.04 c 168s | 13 | 268750 | 46532 | 4479 12 | 2016 | 0 171.47/171.52 c 171s | 13 | 272116 | 47132 | 4479 12 | 2016 | 0 173.78/173.83 c 173s | 13 | 273895 | 47532 | 4479 12 | 2016 | 0 175.97/176.04 c 175s | 13 | 275057 | 47832 | 4479 12 | 2016 | 0 178.27/178.33 c 178s | 13 | 276785 | 48232 | 4479 13 | 2016 | 0 180.37/180.47 c 180s | 13 | 278236 | 48532 | 4479 13 | 2016 | 0 182.67/182.76 c 182s | 13 | 280039 | 49032 | 4479 13 | 2016 | 0 184.96/185.07 c 184s | 13 | 281256 | 49332 | 4479 13 | 2016 | 0 187.26/187.37 c 187s | 13 | 282724 | 49632 | 4479 13 | 2016 | 0 189.56/189.67 c 189s | 13 | 284280 | 49932 | 4479 13 | 2016 | 0 191.86/191.93 c 191s | 13 | 285682 | 50332 | 4479 13 | 2016 | 0 193.97/194.09 c 194s | 13 | 287845 | 50732 | 4479 13 | 2016 | 0 196.57/196.67 c 196s | 13 | 289614 | 51232 | 4479 13 | 2016 | 0 198.96/199.02 c 198s | 13 | 291827 | 51732 | 4479 13 | 2016 | 0 201.27/201.33 c 201s | 13 | 293123 | 52132 | 4479 14 | 2016 | 0 203.36/203.45 c 203s | 13 | 295649 | 52632 | 4479 14 | 2016 | 0 205.56/205.68 c 205s | 13 | 297591 | 53132 | 4479 14 | 2016 | 0 207.76/207.86 c 207s | 13 | 300516 | 53632 | 4479 14 | 2016 | 0 210.16/210.25 c 210s | 13 | 302955 | 54032 | 4479 14 | 2016 | 0 212.55/212.68 c 212s | 13 | 305409 | 54532 | 4479 14 | 2016 | 0 215.56/215.69 c 215s | 13 | 306596 | 54832 | 4479 14 | 2016 | 0 218.55/218.67 c 218s | 13 | 307361 | 55032 | 4479 14 | 2016 | 0 220.86/220.92 c 220s | 13 | 309629 | 55432 | 4479 14 | 2016 | 0 223.36/223.43 c 223s | 13 | 311580 | 55832 | 4479 15 | 2016 | 0 225.56/225.62 c 225s | 13 | 312085 | 56032 | 4479 15 | 2016 | 0 228.05/228.11 c 228s | 13 | 313095 | 56332 | 4479 15 | 2016 | 0 230.15/230.23 c 230s | 13 | 314016 | 56632 | 4479 15 | 2016 | 0 232.86/232.94 c 232s | 13 | 315351 | 57032 | 4479 15 | 2016 | 0 235.26/235.36 c 235s | 13 | 317698 | 57532 | 4479 15 | 2016 | 0 237.35/237.42 c 237s | 13 | 319534 | 57932 | 4479 15 | 2016 | 0 239.25/239.38 c 239s | 14 | 321243 | 58352 | 4927 15 | 2016 | 0 241.35/241.40 c 241s | 14 | 323222 | 58752 | 4927 15 | 2016 | 0 243.46/243.59 c 243s | 14 | 325364 | 59352 | 4927 15 | 2016 | 0 245.96/246.09 c 246s | 14 | 326886 | 59752 | 4927 16 | 2016 | 0 248.36/248.42 c 248s | 14 | 328551 | 60252 | 4927 16 | 2016 | 0 250.46/250.52 c 250s | 14 | 330504 | 60752 | 4927 16 | 2016 | 0 252.56/252.61 c 252s | 14 | 337569 | 61552 | 4927 16 | 2016 | 0 254.76/254.85 c 254s | 14 | 343639 | 62352 | 4927 16 | 2016 | 0 256.76/256.87 c 256s | 14 | 347240 | 63152 | 4927 16 | 2016 | 0 258.75/258.89 c 258s | 14 | 348987 | 63652 | 4927 17 | 2016 | 0 261.15/261.28 c 261s | 14 | 350769 | 64252 | 4927 17 | 2016 | 0 263.25/263.35 c 263s | 14 | 352030 | 64652 | 4927 17 | 2016 | 0 265.35/265.44 c 265s | 14 | 353553 | 65052 | 4927 17 | 2016 | 0 267.45/267.50 c 267s | 14 | 356975 | 65652 | 4927 17 | 2016 | 0 269.55/269.61 c 269s | 14 | 358449 | 66152 | 4927 17 | 2016 | 0 271.65/271.76 c 271s | 14 | 359378 | 66452 | 4927 17 | 2016 | 0 273.75/273.81 c 273s | 14 | 360399 | 66852 | 4927 17 | 2016 | 0 275.85/275.95 c 275s | 14 | 365386 | 67452 | 4927 18 | 2016 | 0 278.05/278.15 c 278s | 14 | 367944 | 67952 | 4927 18 | 2016 | 0 280.15/280.27 c 280s | 14 | 369628 | 68352 | 4927 18 | 2016 | 0 282.84/282.95 c 282s | 14 | 371892 | 68752 | 4927 18 | 2016 | 0 285.05/285.11 c 285s | 14 | 373764 | 69152 | 4927 18 | 2016 | 0 287.06/287.17 c 287s | 14 | 374880 | 69452 | 4927 18 | 2016 | 0 289.36/289.44 c 289s | 14 | 378892 | 69952 | 4927 18 | 2016 | 0 291.74/291.88 c 291s | 14 | 385446 | 70552 | 4927 18 | 2016 | 0 294.24/294.36 c 294s | 14 | 386323 | 70752 | 4927 18 | 2016 | 0 296.45/296.57 c 296s | 14 | 389987 | 71252 | 4927 19 | 2016 | 0 298.75/298.87 c 298s | 14 | 392780 | 71752 | 4927 19 | 2016 | 0 301.15/301.21 c 301s | 14 | 397800 | 72752 | 4927 19 | 2016 | 0 303.34/303.42 c 303s | 14 | 400421 | 73552 | 4927 19 | 2016 | 0 305.64/305.77 c 305s | 14 | 403672 | 74252 | 4927 19 | 2016 | 0 307.95/308.02 c 307s | 14 | 406098 | 74852 | 4927 19 | 2016 | 0 310.25/310.38 c 310s | 14 | 407750 | 75252 | 4927 20 | 2016 | 0 312.44/312.60 c 312s | 14 | 412869 | 75852 | 4927 20 | 2016 | 0 314.74/314.82 c 314s | 14 | 419837 | 76652 | 4927 20 | 2016 | 0 317.03/317.10 c 317s | 14 | 422363 | 77052 | 4927 20 | 2016 | 0 319.05/319.10 c 319s | 14 | 424650 | 77452 | 4927 20 | 2016 | 0 321.25/321.37 c 321s | 14 | 426598 | 77952 | 4927 20 | 2016 | 0 323.45/323.52 c 323s | 14 | 428204 | 78452 | 4927 20 | 2016 | 0 325.74/325.80 c 325s | 14 | 430100 | 79052 | 4927 20 | 2016 | 0 327.75/327.81 c 327s | 14 | 431966 | 79452 | 4927 21 | 2016 | 0 329.84/329.90 c 329s | 14 | 433837 | 79952 | 4927 21 | 2016 | 0 332.25/332.33 c 332s | 14 | 436320 | 80552 | 4927 21 | 2016 | 0 334.54/334.63 c 334s | 14 | 438412 | 81152 | 4927 21 | 2016 | 0 336.84/336.93 c 336s | 14 | 441283 | 81852 | 4927 21 | 2016 | 0 339.14/339.20 c 339s | 14 | 443254 | 82352 | 4927 21 | 2016 | 0 341.54/341.65 c 341s | 14 | 445011 | 82952 | 4927 21 | 2016 | 0 343.74/343.89 c 343s | 14 | 447359 | 83452 | 4927 22 | 2016 | 0 346.04/346.19 c 346s | 14 | 449480 | 83952 | 4927 22 | 2016 | 0 348.44/348.56 c 348s | 14 | 451734 | 84552 | 4927 22 | 2016 | 0 350.53/350.65 c 350s | 14 | 453747 | 85152 | 4927 22 | 2016 | 0 352.93/353.01 c 352s | 14 | 456248 | 85752 | 4927 22 | 2016 | 0 355.03/355.14 c 355s | 14 | 457275 | 86152 | 4927 22 | 2016 | 0 357.44/357.54 c 357s | 14 | 459147 | 86652 | 4927 22 | 2016 | 0 359.74/359.82 c 359s | 14 | 462033 | 87152 | 5420 23 | 2016 | 0 361.94/362.01 c 361s | 14 | 464119 | 87552 | 5420 23 | 2016 | 0 362.14/362.20 c 362s | 15 | 464520 | 87632 | 5420 23 | 2016 | 0 364.24/364.35 c 364s | 15 | 471265 | 88232 | 5420 23 | 2016 | 0 366.34/366.48 c 366s | 15 | 484746 | 89132 | 5420 23 | 2016 | 0 368.44/368.55 c 368s | 15 | 491949 | 89732 | 5420 23 | 2016 | 0 370.74/370.83 c 370s | 15 | 495412 | 90132 | 5420 23 | 2016 | 0 373.63/373.73 c 373s | 15 | 502513 | 90632 | 5420 23 | 2016 | 0 375.93/376.02 c 375s | 15 | 505243 | 90932 | 5420 24 | 2016 | 0 378.03/378.15 c 378s | 15 | 507301 | 91332 | 5420 24 | 2016 | 0 380.13/380.24 c 380s | 15 | 508668 | 91732 | 5420 24 | 2016 | 0 382.23/382.40 c 382s | 15 | 510067 | 92132 | 5420 24 | 2016 | 0 384.82/384.98 c 384s | 15 | 511889 | 92532 | 5420 24 | 2016 | 0 387.23/387.38 c 387s | 15 | 513556 | 93032 | 5420 24 | 2016 | 0 389.34/389.42 c 389s | 15 | 514265 | 93332 | 5420 24 | 2016 | 0 391.64/391.77 c 391s | 15 | 515065 | 93632 | 5420 24 | 2016 | 0 394.03/394.15 c 394s | 15 | 516697 | 94132 | 5420 24 | 2016 | 0 396.83/397.00 c 396s | 15 | 518054 | 94532 | 5420 24 | 2016 | 0 398.93/399.06 c 398s | 15 | 518913 | 94832 | 5420 24 | 2016 | 0 401.73/401.81 c 401s | 15 | 519969 | 95132 | 5420 24 | 2016 | 0 403.92/404.06 c 403s | 15 | 520684 | 95332 | 5420 25 | 2016 | 0 406.02/406.13 c 406s | 15 | 521192 | 95532 | 5420 25 | 2016 | 0 408.42/408.55 c 408s | 15 | 521528 | 95732 | 5420 25 | 2016 | 0 411.02/411.10 c 411s | 15 | 522597 | 96132 | 5420 25 | 2016 | 0 413.54/413.64 c 413s | 15 | 523850 | 96532 | 5420 25 | 2016 | 0 415.73/415.85 c 415s | 15 | 524678 | 96832 | 5420 25 | 2016 | 0 417.83/417.90 c 417s | 15 | 525175 | 97032 | 5420 25 | 2016 | 0 420.43/420.59 c 420s | 15 | 526235 | 97332 | 5420 25 | 2016 | 0 423.22/423.35 c 423s | 15 | 526639 | 97532 | 5420 25 | 2016 | 0 425.82/425.94 c 425s | 15 | 528139 | 97832 | 5420 25 | 2016 | 0 428.52/428.60 c 428s | 15 | 529490 | 98132 | 5420 25 | 2016 | 0 430.72/430.88 c 430s | 15 | 530415 | 98432 | 5420 25 | 2016 | 0 433.22/433.37 c 433s | 15 | 532504 | 98932 | 5420 25 | 2016 | 0 435.32/435.48 c 435s | 15 | 533937 | 99332 | 5420 26 | 2016 | 0 437.52/437.62 c 437s | 15 | 535144 | 99732 | 5420 26 | 2016 | 0 440.12/440.26 c 440s | 15 | 537287 | 100232 | 5420 26 | 2016 | 0 442.72/442.81 c 442s | 15 | 538877 | 100632 | 5420 26 | 2016 | 0 444.92/445.02 c 444s | 15 | 539989 | 101032 | 5420 26 | 2016 | 0 447.63/447.78 c 447s | 15 | 541134 | 101432 | 5420 26 | 2016 | 0 449.83/449.93 c 449s | 15 | 542249 | 101732 | 5420 26 | 2016 | 0 453.02/453.12 c 453s | 15 | 543620 | 102032 | 5420 26 | 2016 | 0 455.72/455.86 c 455s | 15 | 544228 | 102232 | 5420 26 | 2016 | 0 458.02/458.13 c 458s | 15 | 544925 | 102532 | 5420 26 | 2016 | 0 460.52/460.69 c 460s | 15 | 546210 | 102932 | 5420 26 | 2016 | 0 463.02/463.18 c 463s | 15 | 546907 | 103232 | 5420 26 | 2016 | 0 465.42/465.58 c 465s | 15 | 547766 | 103532 | 5420 27 | 2016 | 0 468.12/468.30 c 468s | 15 | 548461 | 103832 | 5420 27 | 2016 | 0 470.22/470.30 c 470s | 15 | 549288 | 104132 | 5420 27 | 2016 | 0 472.42/472.51 c 472s | 15 | 550115 | 104432 | 5420 27 | 2016 | 0 474.81/474.92 c 474s | 15 | 551435 | 104832 | 5420 27 | 2016 | 0 477.11/477.23 c 477s | 15 | 551838 | 105032 | 5420 27 | 2016 | 0 479.91/480.02 c 479s | 15 | 552597 | 105332 | 5420 27 | 2016 | 0 482.21/482.35 c 482s | 15 | 558062 | 105932 | 5420 27 | 2016 | 0 484.31/484.41 c 484s | 15 | 559178 | 106232 | 5420 27 | 2016 | 0 486.51/486.62 c 486s | 15 | 561324 | 106632 | 5420 27 | 2016 | 0 488.60/488.79 c 488s | 15 | 563157 | 106932 | 5420 27 | 2016 | 0 490.81/490.90 c 490s | 15 | 563864 | 107132 | 5420 27 | 2016 | 0 493.01/493.14 c 493s | 15 | 565596 | 107532 | 5420 27 | 2016 | 0 495.10/495.24 c 495s | 15 | 566306 | 107732 | 5420 28 | 2016 | 0 497.61/497.75 c 497s | 15 | 567104 | 108032 | 5420 28 | 2016 | 0 500.10/500.29 c 500s | 15 | 567879 | 108232 | 5420 28 | 2016 | 0 502.80/502.93 c 502s | 15 | 568412 | 108432 | 5420 28 | 2016 | 0 505.30/505.43 c 505s | 15 | 569694 | 108732 | 5420 28 | 2016 | 0 507.60/507.74 c 507s | 15 | 570671 | 109032 | 5420 28 | 2016 | 0 509.60/509.75 c 509s | 15 | 572025 | 109332 | 5420 28 | 2016 | 0 511.70/511.87 c 511s | 15 | 572815 | 109532 | 5420 28 | 2016 | 0 514.41/514.59 c 514s | 15 | 573506 | 109732 | 5420 28 | 2016 | 0 516.51/516.67 c 516s | 15 | 574506 | 110032 | 5420 28 | 2016 | 0 519.90/520.08 c 520s | 15 | 575380 | 110332 | 5420 28 | 2016 | 0 522.41/522.58 c 522s | 15 | 575692 | 110532 | 5420 28 | 2016 | 0 524.61/524.75 c 524s | 15 | 576371 | 110732 | 5420 28 | 2016 | 0 526.60/526.78 c 526s | 15 | 576877 | 110932 | 5420 28 | 2016 | 0 530.11/530.29 c 530s | 15 | 577685 | 111232 | 5420 28 | 2016 | 0 532.80/532.96 c 532s | 15 | 578356 | 111432 | 5420 28 | 2016 | 0 535.00/535.12 c 535s | 15 | 579464 | 111632 | 5420 28 | 2016 | 0 537.10/537.25 c 537s | 15 | 580464 | 111832 | 5420 28 | 2016 | 0 539.70/539.83 c 539s | 15 | 581419 | 112032 | 5420 29 | 2016 | 0 542.59/542.75 c 542s | 15 | 582368 | 112332 | 5420 29 | 2016 | 0 545.51/545.65 c 545s | 15 | 583762 | 112632 | 5420 29 | 2016 | 0 548.10/548.20 c 548s | 15 | 584859 | 112932 | 5420 29 | 2016 | 0 550.09/550.29 c 550s | 15 | 585722 | 113132 | 5420 29 | 2016 | 0 552.29/552.47 c 552s | 15 | 586399 | 113332 | 5420 29 | 2016 | 0 554.40/554.52 c 554s | 15 | 587117 | 113532 | 5420 29 | 2016 | 0 556.60/556.70 c 556s | 15 | 588130 | 113732 | 5420 29 | 2016 | 0 558.99/559.11 c 559s | 15 | 588975 | 113932 | 5420 29 | 2016 | 0 561.59/561.72 c 561s | 15 | 592139 | 114232 | 5420 29 | 2016 | 0 564.70/564.80 c 564s | 15 | 592732 | 114432 | 5420 29 | 2016 | 0 567.50/567.63 c 567s | 15 | 593519 | 114632 | 5420 29 | 2016 | 0 569.59/569.77 c 569s | 15 | 594227 | 114832 | 5420 29 | 2016 | 0 572.39/572.59 c 572s | 15 | 594873 | 115032 | 5420 29 | 2016 | 0 575.30/575.48 c 575s | 15 | 595380 | 115232 | 5420 29 | 2016 | 0 578.99/579.13 c 579s | 15 | 595939 | 115432 | 5420 29 | 2016 | 0 581.90/582.01 c 581s | 15 | 596731 | 115632 | 5420 29 | 2016 | 0 585.00/585.12 c 585s | 15 | 597297 | 115832 | 5420 29 | 2016 | 0 588.40/588.60 c 588s | 15 | 598261 | 116032 | 5420 29 | 2016 | 0 590.89/591.06 c 590s | 15 | 598757 | 116132 | 5420 30 | 2016 | 0 593.09/593.27 c 593s | 15 | 599059 | 116232 | 5420 30 | 2016 | 0 596.69/596.80 c 596s | 15 | 599882 | 116432 | 5420 30 | 2016 | 0 598.89/599.08 c 599s | 15 | 600056 | 116532 | 5420 30 | 2016 | 0 601.19/601.38 c 601s | 15 | 600641 | 116632 | 5420 30 | 2016 | 0 604.89/605.03 c 604s | 15 | 601403 | 116832 | 5420 30 | 2016 | 0 608.99/609.11 c 609s | 15 | 602808 | 117032 | 5420 30 | 2016 | 0 610.99/611.11 c 611s | 15 | 603006 | 117132 | 5420 30 | 2016 | 0 614.58/614.74 c 614s | 15 | 603863 | 117332 | 5420 30 | 2016 | 0 618.68/618.81 c 618s | 15 | 604460 | 117532 | 5420 30 | 2016 | 0 620.89/621.00 c 620s | 15 | 604890 | 117632 | 5420 30 | 2016 | 0 625.29/625.47 c 625s | 15 | 605068 | 117732 | 5420 30 | 2016 | 0 627.49/627.68 c 627s | 15 | 605258 | 117832 | 5420 30 | 2016 | 0 630.68/630.88 c 630s | 15 | 605808 | 118032 | 5420 30 | 2016 | 0 633.28/633.44 c 633s | 15 | 607060 | 118232 | 5420 30 | 2016 | 0 635.88/636.00 c 635s | 15 | 608909 | 118632 | 5420 30 | 2016 | 0 637.89/638.01 c 637s | 15 | 611912 | 119032 | 5420 30 | 2016 | 0 640.18/640.36 c 640s | 15 | 612998 | 119332 | 5420 30 | 2016 | 0 642.69/642.87 c 642s | 15 | 614733 | 119732 | 5420 30 | 2016 | 0 645.38/645.56 c 645s | 15 | 615978 | 120032 | 5420 30 | 2016 | 0 647.98/648.13 c 648s | 15 | 616910 | 120232 | 5420 30 | 2016 | 0 650.18/650.39 c 650s | 15 | 617751 | 120432 | 5420 31 | 2016 | 0 652.29/652.46 c 652s | 15 | 618774 | 120632 | 5420 31 | 2016 | 0 654.58/654.70 c 654s | 15 | 619573 | 120832 | 5420 31 | 2016 | 0 656.59/656.80 c 656s | 15 | 620766 | 121132 | 5420 31 | 2016 | 0 659.08/659.20 c 659s | 15 | 622399 | 121432 | 5420 31 | 2016 | 0 661.09/661.23 c 661s | 15 | 623466 | 121732 | 5420 31 | 2016 | 0 663.88/664.00 c 663s | 15 | 624874 | 122032 | 5420 31 | 2016 | 0 666.49/666.61 c 666s | 15 | 625989 | 122332 | 5420 31 | 2016 | 0 669.28/669.41 c 669s | 15 | 627200 | 122632 | 5420 31 | 2016 | 0 671.57/671.76 c 671s | 15 | 628473 | 122932 | 5420 31 | 2016 | 0 674.28/674.40 c 674s | 15 | 629560 | 123232 | 5420 31 | 2016 | 0 676.87/677.05 c 676s | 15 | 630463 | 123532 | 5420 31 | 2016 | 0 679.98/680.12 c 680s | 15 | 631622 | 123832 | 5420 31 | 2016 | 0 682.87/683.02 c 682s | 15 | 632964 | 124132 | 5420 31 | 2016 | 0 685.57/685.76 c 685s | 15 | 634358 | 124432 | 5420 32 | 2016 | 0 688.58/688.78 c 688s | 15 | 635493 | 124732 | 5420 32 | 2016 | 0 691.07/691.23 c 691s | 15 | 636001 | 124932 | 5420 32 | 2016 | 0 693.46/693.62 c 693s | 15 | 636639 | 125132 | 5420 32 | 2016 | 0 696.18/696.31 c 696s | 15 | 637171 | 125332 | 5420 32 | 2016 | 0 698.56/698.77 c 698s | 15 | 637807 | 125532 | 5420 32 | 2016 | 0 700.67/700.85 c 700s | 15 | 638662 | 125732 | 5420 32 | 2016 | 0 703.26/703.44 c 703s | 15 | 639264 | 125932 | 5420 32 | 2016 | 0 705.47/705.65 c 705s | 15 | 639931 | 126132 | 5420 32 | 2016 | 0 707.66/707.83 c 707s | 15 | 640795 | 126332 | 5420 32 | 2016 | 0 710.47/710.64 c 710s | 15 | 641322 | 126532 | 5420 32 | 2016 | 0 712.96/713.14 c 713s | 15 | 641841 | 126732 | 5420 32 | 2016 | 0 715.56/715.78 c 715s | 15 | 642369 | 126932 | 5420 32 | 2016 | 0 718.36/718.59 c 718s | 15 | 642882 | 127132 | 5420 32 | 2016 | 0 720.86/721.01 c 720s | 15 | 643737 | 127332 | 5420 32 | 2016 | 0 723.06/723.24 c 723s | 15 | 644697 | 127532 | 5420 32 | 2016 | 0 725.65/725.85 c 725s | 15 | 646019 | 127732 | 5420 32 | 2016 | 0 727.95/728.16 c 728s | 15 | 646511 | 127932 | 5420 32 | 2016 | 0 730.15/730.40 c 730s | 15 | 647536 | 128132 | 5420 32 | 2016 | 0 733.25/733.43 c 733s | 15 | 648626 | 128432 | 5420 33 | 2016 | 0 735.45/735.60 c 735s | 15 | 650131 | 128732 | 5420 33 | 2016 | 0 737.74/737.92 c 737s | 15 | 652418 | 129132 | 5420 33 | 2016 | 0 740.55/740.70 c 740s | 15 | 654237 | 129532 | 5420 33 | 2016 | 0 743.15/743.36 c 743s | 15 | 656318 | 129932 | 5420 33 | 2016 | 0 745.45/745.65 c 745s | 15 | 657703 | 130232 | 5420 33 | 2016 | 0 748.14/748.37 c 748s | 15 | 658620 | 130532 | 5420 33 | 2016 | 0 751.04/751.22 c 751s | 15 | 660173 | 130932 | 5963 33 | 2016 | 0 753.04/753.23 c 753s | 15 | 660788 | 131132 | 5963 33 | 2016 | 0 755.34/755.58 c 755s | 15 | 661594 | 131332 | 5963 33 | 2016 | 0 757.84/758.08 c 758s | 15 | 662095 | 131532 | 5963 33 | 2016 | 0 758.14/758.31 c 758s | 16 | 662271 | 131552 | 5963 33 | 2016 | 0 760.43/760.64 c 760s | 16 | 668873 | 132152 | 5963 33 | 2016 | 0 762.64/762.82 c 762s | 16 | 671867 | 132652 | 5963 33 | 2016 | 0 764.74/764.95 c 764s | 16 | 673608 | 133052 | 5963 33 | 2016 | 0 766.84/767.03 c 766s | 16 | 675011 | 133452 | 5963 34 | 2016 | 0 769.03/769.25 c 769s | 16 | 676510 | 133852 | 5963 34 | 2016 | 0 771.43/771.65 c 771s | 16 | 678551 | 134352 | 5963 34 | 2016 | 0 773.63/773.81 c 773s | 16 | 680220 | 134752 | 5963 34 | 2016 | 0 776.03/776.25 c 776s | 16 | 681805 | 135152 | 5963 34 | 2016 | 0 778.03/778.27 c 778s | 16 | 683880 | 135552 | 5963 34 | 2016 | 0 780.33/780.53 c 780s | 16 | 685334 | 135952 | 5963 34 | 2016 | 0 782.63/782.89 c 782s | 16 | 687223 | 136452 | 5963 34 | 2016 | 0 784.93/785.19 c 785s | 16 | 689126 | 136952 | 5963 34 | 2016 | 0 787.03/787.21 c 787s | 16 | 691012 | 137452 | 5963 34 | 2016 | 0 789.42/789.69 c 789s | 16 | 692602 | 137852 | 5963 35 | 2016 | 0 791.52/791.74 c 791s | 16 | 694359 | 138252 | 5963 35 | 2016 | 0 793.53/793.77 c 793s | 16 | 696949 | 138652 | 5963 35 | 2016 | 0 795.53/795.79 c 795s | 16 | 698074 | 138952 | 5963 35 | 2016 | 0 797.92/798.15 c 798s | 16 | 699696 | 139352 | 5963 35 | 2016 | 0 799.92/800.16 c 800s | 16 | 700941 | 139752 | 5963 35 | 2016 | 0 802.12/802.38 c 802s | 16 | 703531 | 140252 | 5963 35 | 2016 | 0 804.71/804.90 c 804s | 16 | 705125 | 140652 | 5963 35 | 2016 | 0 806.92/807.20 c 807s | 16 | 706852 | 141152 | 5963 35 | 2016 | 0 809.11/809.37 c 809s | 16 | 708813 | 141552 | 5963 35 | 2016 | 0 811.41/811.65 c 811s | 16 | 711730 | 142052 | 5963 35 | 2016 | 0 813.82/814.07 c 813s | 16 | 714016 | 142552 | 5963 36 | 2016 | 0 816.12/816.37 c 816s | 16 | 715349 | 142952 | 5963 36 | 2016 | 0 818.11/818.38 c 818s | 16 | 718444 | 143452 | 5963 36 | 2016 | 0 820.11/820.39 c 820s | 16 | 719488 | 143752 | 5963 36 | 2016 | 0 822.31/822.57 c 822s | 16 | 720993 | 144152 | 5963 36 | 2016 | 0 824.81/825.03 c 824s | 16 | 723331 | 144652 | 5963 36 | 2016 | 0 826.80/827.08 c 827s | 16 | 725208 | 145052 | 5963 36 | 2016 | 0 829.21/829.50 c 829s | 16 | 727106 | 145552 | 5963 36 | 2016 | 0 831.30/831.58 c 831s | 16 | 727713 | 145852 | 5963 36 | 2016 | 0 833.61/833.82 c 833s | 16 | 728921 | 146152 | 5963 36 | 2016 | 0 836.00/836.22 c 836s | 16 | 730762 | 146652 | 5963 36 | 2016 | 0 838.29/838.57 c 838s | 16 | 732465 | 147052 | 5963 37 | 2016 | 0 840.39/840.61 c 840s | 16 | 733291 | 147352 | 5963 37 | 2016 | 0 842.89/843.13 c 843s | 16 | 734550 | 147752 | 5963 37 | 2016 | 0 845.09/845.36 c 845s | 16 | 735098 | 148052 | 5963 37 | 2016 | 0 847.20/847.42 c 847s | 16 | 737326 | 148452 | 5963 37 | 2016 | 0 849.19/849.47 c 849s | 16 | 739183 | 148852 | 5963 37 | 2016 | 0 851.79/852.03 c 851s | 16 | 741049 | 149352 | 5963 37 | 2016 | 0 853.79/854.09 c 854s | 16 | 741879 | 149652 | 5963 37 | 2016 | 0 856.39/856.69 c 856s | 16 | 743837 | 150152 | 5963 37 | 2016 | 0 858.58/858.82 c 858s | 16 | 745585 | 150552 | 5963 37 | 2016 | 0 860.68/860.97 c 860s | 16 | 747352 | 150952 | 5963 37 | 2016 | 0 862.99/863.25 c 863s | 16 | 749016 | 151352 | 5963 37 | 2016 | 0 865.19/865.45 c 865s | 16 | 750151 | 151652 | 5963 38 | 2016 | 0 867.39/867.68 c 867s | 16 | 751494 | 152052 | 5963 38 | 2016 | 0 869.89/870.11 c 870s | 16 | 752729 | 152452 | 5963 38 | 2016 | 0 871.88/872.12 c 872s | 16 | 753813 | 152752 | 5963 38 | 2016 | 0 874.18/874.49 c 874s | 16 | 754863 | 153052 | 5963 38 | 2016 | 0 876.27/876.58 c 876s | 16 | 755854 | 153352 | 5963 38 | 2016 | 0 878.58/878.82 c 878s | 16 | 756796 | 153652 | 5963 38 | 2016 | 0 880.67/880.92 c 880s | 16 | 757820 | 153952 | 5963 38 | 2016 | 0 882.87/883.17 c 883s | 16 | 759155 | 154252 | 5963 38 | 2016 | 0 885.07/885.33 c 885s | 16 | 761029 | 154652 | 5963 38 | 2016 | 0 887.07/887.39 c 887s | 16 | 762461 | 155052 | 5963 38 | 2016 | 0 889.27/889.55 c 889s | 16 | 764268 | 155452 | 5963 38 | 2016 | 0 891.47/891.72 c 891s | 16 | 766341 | 155852 | 5963 38 | 2016 | 0 893.87/894.11 c 894s | 16 | 767129 | 156152 | 5963 39 | 2016 | 0 896.06/896.32 c 896s | 16 | 768965 | 156552 | 5963 39 | 2016 | 0 898.46/898.72 c 898s | 16 | 771257 | 157052 | 5963 39 | 2016 | 0 900.86/901.18 c 901s | 16 | 772373 | 157452 | 5963 39 | 2016 | 0 903.26/903.59 c 903s | 16 | 773190 | 157752 | 5963 39 | 2016 | 0 905.76/906.07 c 906s | 16 | 774134 | 158052 | 5963 39 | 2016 | 0 908.15/908.44 c 908s | 16 | 775563 | 158452 | 5963 39 | 2016 | 0 910.35/910.66 c 910s | 16 | 776567 | 158752 | 5963 39 | 2016 | 0 912.85/913.15 c 913s | 16 | 778568 | 159252 | 5963 39 | 2016 | 0 915.24/915.54 c 915s | 16 | 779912 | 159652 | 5963 39 | 2016 | 0 917.85/918.15 c 918s | 16 | 782189 | 160152 | 5963 39 | 2016 | 0 920.56/920.87 c 920s | 16 | 784269 | 160552 | 5963 40 | 2016 | 0 923.25/923.57 c 923s | 16 | 785554 | 160952 | 5963 40 | 2016 | 0 925.35/925.66 c 925s | 16 | 788062 | 161352 | 5963 40 | 2016 | 0 927.84/928.17 c 928s | 16 | 790821 | 161852 | 5963 40 | 2016 | 0 930.04/930.35 c 930s | 16 | 792642 | 162252 | 5963 40 | 2016 | 0 932.64/932.94 c 932s | 16 | 793978 | 162652 | 5963 40 | 2016 | 0 935.03/935.33 c 935s | 16 | 795716 | 163052 | 5963 40 | 2016 | 0 937.04/937.36 c 937s | 16 | 797835 | 163452 | 5963 40 | 2016 | 0 939.14/939.46 c 939s | 16 | 799327 | 163852 | 5963 40 | 2016 | 0 941.83/942.10 c 942s | 16 | 801403 | 164352 | 5963 40 | 2016 | 0 943.93/944.26 c 944s | 16 | 802966 | 164652 | 5963 40 | 2016 | 0 946.03/946.34 c 946s | 16 | 803945 | 164952 | 5963 40 | 2016 | 0 948.33/948.69 c 948s | 16 | 805282 | 165252 | 5963 41 | 2016 | 0 950.53/950.84 c 950s | 16 | 806675 | 165552 | 5963 41 | 2016 | 0 952.63/952.92 c 952s | 16 | 808004 | 165852 | 5963 41 | 2016 | 0 955.03/955.32 c 955s | 16 | 809024 | 166152 | 5963 41 | 2016 | 0 957.03/957.37 c 957s | 16 | 810419 | 166452 | 5963 41 | 2016 | 0 959.43/959.70 c 959s | 16 | 811392 | 166752 | 5963 41 | 2016 | 0 961.63/961.98 c 961s | 16 | 812746 | 167052 | 5963 41 | 2016 | 0 963.63/963.99 c 963s | 16 | 813995 | 167352 | 5963 41 | 2016 | 0 965.93/966.25 c 966s | 16 | 815443 | 167752 | 5963 41 | 2016 | 0 968.33/968.69 c 968s | 16 | 816782 | 168052 | 5963 41 | 2016 | 0 971.04/971.35 c 971s | 16 | 818153 | 168352 | 5963 41 | 2016 | 0 973.83/974.18 c 974s | 16 | 820337 | 168752 | 5963 41 | 2016 | 0 976.13/976.41 c 976s | 16 | 821641 | 169052 | 5963 41 | 2016 | 0 978.32/978.63 c 978s | 16 | 823421 | 169352 | 5963 41 | 2016 | 0 981.03/981.38 c 981s | 16 | 824441 | 169652 | 5963 42 | 2016 | 0 983.63/983.93 c 983s | 16 | 825910 | 169952 | 5963 42 | 2016 | 0 985.93/986.26 c 986s | 16 | 828178 | 170252 | 5963 42 | 2016 | 0 988.03/988.34 c 988s | 16 | 829175 | 170552 | 5963 42 | 2016 | 0 990.42/990.76 c 990s | 16 | 831505 | 170952 | 5963 42 | 2016 | 0 992.53/992.87 c 992s | 16 | 832610 | 171252 | 5963 42 | 2016 | 0 995.23/995.58 c 995s | 16 | 834894 | 171652 | 5963 42 | 2016 | 0 997.32/997.68 c 997s | 16 | 836404 | 171952 | 5963 42 | 2016 | 0 999.42/999.70 c 999s | 16 | 837325 | 172252 | 5963 42 | 2016 | 0 1002.22/1002.52 c 1002s | 16 | 839775 | 172652 | 5963 42 | 2016 | 0 1004.32/1004.62 c 1004s | 16 | 841699 | 173052 | 5963 42 | 2016 | 0 1006.33/1006.69 c 1006s | 16 | 843090 | 173352 | 5963 42 | 2016 | 0 1008.53/1008.89 c 1008s | 16 | 844144 | 173652 | 5963 42 | 2016 | 0 1010.92/1011.24 c 1011s | 16 | 844988 | 173952 | 5963 42 | 2016 | 0 1013.03/1013.31 c 1013s | 16 | 846031 | 174252 | 5963 43 | 2016 | 0 1015.43/1015.76 c 1015s | 16 | 847269 | 174652 | 5963 43 | 2016 | 0 1017.52/1017.80 c 1017s | 16 | 848003 | 174952 | 5963 43 | 2016 | 0 1019.92/1020.29 c 1020s | 16 | 848568 | 175152 | 5963 43 | 2016 | 0 1022.22/1022.57 c 1022s | 16 | 849832 | 175452 | 5963 43 | 2016 | 0 1024.62/1024.94 c 1024s | 16 | 852062 | 176052 | 5963 43 | 2016 | 0 1027.13/1027.49 c 1027s | 16 | 854395 | 176552 | 5963 43 | 2016 | 0 1029.32/1029.70 c 1029s | 16 | 856347 | 176952 | 5963 43 | 2016 | 0 1031.82/1032.12 c 1032s | 16 | 858231 | 177352 | 5963 43 | 2016 | 0 1033.92/1034.29 c 1034s | 16 | 860099 | 177752 | 5963 43 | 2016 | 0 1036.51/1036.89 c 1036s | 16 | 861758 | 178152 | 5963 43 | 2016 | 0 1038.81/1039.10 c 1039s | 16 | 863630 | 178652 | 5963 43 | 2016 | 0 1041.12/1041.48 c 1041s | 16 | 865247 | 179052 | 5963 44 | 2016 | 0 1043.22/1043.53 c 1043s | 16 | 866383 | 179352 | 5963 44 | 2016 | 0 1045.32/1045.62 c 1045s | 16 | 867378 | 179652 | 5963 44 | 2016 | 0 1047.42/1047.70 c 1047s | 16 | 869026 | 180052 | 5963 44 | 2016 | 0 1049.52/1049.82 c 1049s | 16 | 870866 | 180452 | 5963 44 | 2016 | 0 1051.92/1052.26 c 1052s | 16 | 871507 | 180752 | 5963 44 | 2016 | 0 1053.91/1054.26 c 1054s | 16 | 873070 | 181152 | 5963 44 | 2016 | 0 1056.41/1056.72 c 1056s | 16 | 874746 | 181552 | 5963 44 | 2016 | 0 1058.72/1059.03 c 1058s | 16 | 876404 | 181852 | 5963 44 | 2016 | 0 1061.42/1061.74 c 1061s | 16 | 877578 | 182152 | 5963 44 | 2016 | 0 1063.92/1064.20 c 1064s | 16 | 879723 | 182552 | 5963 44 | 2016 | 0 1066.22/1066.56 c 1066s | 16 | 881133 | 182952 | 5963 44 | 2016 | 0 1068.71/1069.10 c 1069s | 16 | 882789 | 183352 | 5963 44 | 2016 | 0 1071.31/1071.61 c 1071s | 16 | 884127 | 183652 | 5963 45 | 2016 | 0 1073.51/1073.81 c 1073s | 16 | 885068 | 183952 | 5963 45 | 2016 | 0 1075.81/1076.18 c 1076s | 16 | 886206 | 184252 | 5963 45 | 2016 | 0 1078.32/1078.60 c 1078s | 16 | 887160 | 184552 | 5963 45 | 2016 | 0 1080.52/1080.89 c 1080s | 16 | 887997 | 184852 | 5963 45 | 2016 | 0 1083.22/1083.60 c 1083s | 16 | 889729 | 185152 | 5963 45 | 2016 | 0 1086.31/1086.64 c 1086s | 16 | 890740 | 185452 | 5963 45 | 2016 | 0 1088.72/1089.04 c 1088s | 16 | 892397 | 185752 | 5963 45 | 2016 | 0 1090.92/1091.29 c 1091s | 16 | 893965 | 186152 | 5963 45 | 2016 | 0 1093.12/1093.41 c 1093s | 16 | 895494 | 186452 | 5963 45 | 2016 | 0 1095.32/1095.67 c 1095s | 16 | 896514 | 186752 | 5963 45 | 2016 | 0 1097.62/1097.97 c 1097s | 16 | 897064 | 186952 | 5963 45 | 2016 | 0 1100.11/1100.45 c 1100s | 16 | 897523 | 187152 | 5963 45 | 2016 | 0 1102.91/1103.21 c 1103s | 16 | 898483 | 187452 | 5963 45 | 2016 | 0 1105.41/1105.76 c 1105s | 16 | 899543 | 187752 | 5963 45 | 2016 | 0 1108.11/1108.48 c 1108s | 16 | 900733 | 188052 | 5963 46 | 2016 | 0 1110.72/1111.02 c 1110s | 16 | 902017 | 188352 | 5963 46 | 2016 | 0 1113.11/1113.41 c 1113s | 16 | 903327 | 188752 | 5963 46 | 2016 | 0 1115.51/1115.88 c 1115s | 16 | 905491 | 189252 | 5963 46 | 2016 | 0 1118.21/1118.50 c 1118s | 16 | 906931 | 189652 | 5963 46 | 2016 | 0 1120.71/1121.02 c 1120s | 16 | 907718 | 189952 | 5963 46 | 2016 | 0 1123.01/1123.37 c 1123s | 16 | 909454 | 190352 | 5963 46 | 2016 | 0 1125.41/1125.70 c 1125s | 16 | 910986 | 190752 | 5963 46 | 2016 | 0 1128.00/1128.39 c 1128s | 16 | 912266 | 191152 | 5963 46 | 2016 | 0 1130.10/1130.49 c 1130s | 16 | 913011 | 191452 | 5963 46 | 2016 | 0 1132.61/1132.91 c 1132s | 16 | 914020 | 191852 | 5963 46 | 2016 | 0 1135.02/1135.33 c 1135s | 16 | 914711 | 192152 | 5963 46 | 2016 | 0 1137.01/1137.35 c 1137s | 16 | 915394 | 192452 | 5963 46 | 2016 | 0 1139.60/1139.93 c 1139s | 16 | 916023 | 192752 | 5963 47 | 2016 | 0 1141.61/1141.97 c 1141s | 16 | 916692 | 193052 | 5963 47 | 2016 | 0 1143.60/1143.99 c 1143s | 16 | 917810 | 193352 | 5963 47 | 2016 | 0 1146.40/1146.74 c 1146s | 16 | 919063 | 193752 | 5963 47 | 2016 | 0 1148.50/1148.80 c 1148s | 16 | 920335 | 194052 | 5963 47 | 2016 | 0 1150.70/1151.07 c 1150s | 16 | 921578 | 194352 | 5963 47 | 2016 | 0 1153.10/1153.42 c 1153s | 16 | 922553 | 194652 | 5963 47 | 2016 | 0 1155.70/1156.08 c 1156s | 16 | 923480 | 194952 | 5963 47 | 2016 | 0 1158.20/1158.50 c 1158s | 16 | 924323 | 195252 | 5963 47 | 2016 | 0 1160.90/1161.25 c 1161s | 16 | 924896 | 195552 | 5963 47 | 2016 | 0 1163.50/1163.90 c 1163s | 16 | 925720 | 195852 | 5963 47 | 2016 | 0 1165.71/1166.05 c 1165s | 16 | 927082 | 196152 | 6560 47 | 2016 | 0 1167.80/1168.11 c 1168s | 16 | 927535 | 196352 | 6560 47 | 2016 | 0 1169.90/1170.27 c 1170s | 16 | 928059 | 196552 | 6560 47 | 2016 | 0 1172.10/1172.42 c 1172s | 16 | 928455 | 196752 | 6560 47 | 2016 | 0 1174.60/1174.96 c 1174s | 16 | 929434 | 197052 | 6560 47 | 2016 | 0 1176.59/1176.93 c 1176s | 17 | 931264 | 197432 | 6560 47 | 2016 | 0 1178.90/1179.21 c 1179s | 17 | 932993 | 198032 | 6560 48 | 2016 | 0 1181.10/1181.44 c 1181s | 17 | 935319 | 198832 | 6560 48 | 2016 | 0 1183.40/1183.73 c 1183s | 17 | 937596 | 199632 | 6560 48 | 2016 | 0 1185.50/1185.90 c 1185s | 17 | 939512 | 200332 | 6560 48 | 2016 | 0 1187.70/1188.01 c 1187s | 17 | 941012 | 201032 | 6560 48 | 2016 | 0 1189.90/1190.21 c 1190s | 17 | 942313 | 201832 | 6560 48 | 2016 | 0 1191.89/1192.24 c 1192s | 17 | 943875 | 202532 | 6560 48 | 2016 | 0 1193.89/1194.26 c 1194s | 17 | 945438 | 203132 | 6560 49 | 2016 | 0 1195.99/1196.38 c 1196s | 17 | 947000 | 203832 | 6560 49 | 2016 | 0 1198.29/1198.64 c 1198s | 17 | 948272 | 204532 | 6560 49 | 2016 | 0 1200.69/1201.00 c 1200s | 17 | 949549 | 205132 | 6560 49 | 2016 | 0 1202.69/1203.07 c 1203s | 17 | 950620 | 205632 | 6560 49 | 2016 | 0 1204.79/1205.14 c 1205s | 17 | 951777 | 206032 | 6560 49 | 2016 | 0 1207.29/1207.69 c 1207s | 17 | 953236 | 206532 | 6560 49 | 2016 | 0 1209.59/1209.94 c 1209s | 17 | 954574 | 207032 | 6560 49 | 2016 | 0 1211.69/1212.09 c 1212s | 17 | 956305 | 207532 | 6560 49 | 2016 | 0 1213.79/1214.14 c 1214s | 17 | 957837 | 208032 | 6560 50 | 2016 | 0 1215.89/1216.21 c 1216s | 17 | 959655 | 208532 | 6560 50 | 2016 | 0 1218.09/1218.46 c 1218s | 17 | 961303 | 209032 | 6560 50 | 2016 | 0 1220.79/1221.10 c 1221s | 17 | 962682 | 209532 | 6560 50 | 2016 | 0 1223.00/1223.32 c 1223s | 17 | 963724 | 209932 | 6560 50 | 2016 | 0 1224.99/1225.35 c 1225s | 17 | 965185 | 210332 | 6560 50 | 2016 | 0 1227.30/1227.68 c 1227s | 17 | 966156 | 210732 | 6560 50 | 2016 | 0 1229.89/1230.27 c 1230s | 17 | 967221 | 211132 | 6560 50 | 2016 | 0 1232.29/1232.65 c 1232s | 17 | 968332 | 211532 | 6560 50 | 2016 | 0 1234.39/1234.75 c 1234s | 17 | 968924 | 211832 | 6560 50 | 2016 | 0 1236.89/1237.20 c 1237s | 17 | 969787 | 212232 | 6560 50 | 2016 | 0 1239.29/1239.62 c 1239s | 17 | 970598 | 212632 | 6560 51 | 2016 | 0 1241.60/1241.92 c 1241s | 17 | 971860 | 213132 | 6560 51 | 2016 | 0 1243.99/1244.34 c 1244s | 17 | 972524 | 213532 | 6560 51 | 2016 | 0 1246.29/1246.64 c 1246s | 17 | 973255 | 213832 | 6560 51 | 2016 | 0 1248.69/1249.00 c 1248s | 17 | 974777 | 214332 | 6560 51 | 2016 | 0 1250.79/1251.11 c 1251s | 17 | 976142 | 214732 | 6560 51 | 2016 | 0 1253.19/1253.51 c 1253s | 17 | 977440 | 215232 | 6560 51 | 2016 | 0 1255.59/1255.96 c 1255s | 17 | 978549 | 215732 | 6560 51 | 2016 | 0 1257.69/1258.08 c 1258s | 17 | 980019 | 216132 | 6560 51 | 2016 | 0 1260.09/1260.40 c 1260s | 17 | 981303 | 216632 | 6560 51 | 2016 | 0 1262.39/1262.72 c 1262s | 17 | 982788 | 217132 | 6560 51 | 2016 | 0 1264.89/1265.20 c 1265s | 17 | 984115 | 217632 | 6560 52 | 2016 | 0 1267.29/1267.69 c 1267s | 17 | 985535 | 218132 | 6560 52 | 2016 | 0 1269.49/1269.83 c 1269s | 17 | 987002 | 218532 | 6560 52 | 2016 | 0 1271.59/1271.93 c 1271s | 17 | 988243 | 218932 | 6560 52 | 2016 | 0 1273.89/1274.24 c 1274s | 17 | 989637 | 219332 | 6560 52 | 2016 | 0 1276.39/1276.75 c 1276s | 17 | 990760 | 219732 | 6560 52 | 2016 | 0 1278.68/1279.06 c 1278s | 17 | 991805 | 220132 | 6560 52 | 2016 | 0 1281.19/1281.56 c 1281s | 17 | 992885 | 220532 | 6560 52 | 2016 | 0 1283.68/1284.00 c 1283s | 17 | 993896 | 220932 | 6560 52 | 2016 | 0 1285.98/1286.34 c 1286s | 17 | 995268 | 221332 | 6560 52 | 2016 | 0 1288.58/1288.95 c 1288s | 17 | 996525 | 221732 | 6560 52 | 2016 | 0 1291.09/1291.41 c 1291s | 17 | 997688 | 222132 | 6560 52 | 2016 | 0 1293.48/1293.85 c 1293s | 17 | 998960 | 222532 | 6560 52 | 2016 | 0 1296.18/1296.54 c 1296s | 17 | 999762 | 222932 | 6560 53 | 2016 | 0 1298.38/1298.74 c 1298s | 17 | 1001503 | 223332 | 6560 53 | 2016 | 0 1300.38/1300.78 c 1300s | 17 | 1002442 | 223732 | 6560 53 | 2016 | 0 1302.58/1302.97 c 1302s | 17 | 1003526 | 224232 | 6560 53 | 2016 | 0 1304.88/1305.28 c 1305s | 17 | 1005717 | 224832 | 6560 53 | 2016 | 0 1307.18/1307.54 c 1307s | 17 | 1006941 | 225332 | 6560 53 | 2016 | 0 1309.58/1309.97 c 1309s | 17 | 1008022 | 225832 | 6560 53 | 2016 | 0 1311.78/1312.14 c 1312s | 17 | 1009069 | 226432 | 6560 53 | 2016 | 0 1313.88/1314.24 c 1314s | 17 | 1010377 | 226832 | 6560 53 | 2016 | 0 1316.18/1316.55 c 1316s | 17 | 1011341 | 227232 | 6560 53 | 2016 | 0 1318.98/1319.33 c 1319s | 17 | 1012697 | 227632 | 6560 54 | 2016 | 0 1321.58/1321.90 c 1321s | 17 | 1013701 | 228032 | 6560 54 | 2016 | 0 1324.08/1324.46 c 1324s | 17 | 1014694 | 228432 | 6560 54 | 2016 | 0 1326.57/1326.97 c 1326s | 17 | 1015667 | 228832 | 6560 54 | 2016 | 0 1328.67/1329.06 c 1328s | 17 | 1017094 | 229232 | 6560 54 | 2016 | 0 1330.78/1331.19 c 1331s | 17 | 1018227 | 229632 | 6560 54 | 2016 | 0 1332.88/1333.26 c 1333s | 17 | 1019518 | 230032 | 6560 54 | 2016 | 0 1335.08/1335.45 c 1335s | 17 | 1020804 | 230432 | 6560 54 | 2016 | 0 1337.17/1337.57 c 1337s | 17 | 1021819 | 230832 | 6560 54 | 2016 | 0 1339.27/1339.66 c 1339s | 17 | 1022979 | 231232 | 6560 54 | 2016 | 0 1341.47/1341.89 c 1341s | 17 | 1023975 | 231632 | 6560 54 | 2016 | 0 1343.67/1344.05 c 1343s | 17 | 1024697 | 232032 | 6560 54 | 2016 | 0 1345.67/1346.07 c 1345s | 17 | 1025148 | 232332 | 6560 54 | 2016 | 0 1348.17/1348.60 c 1348s | 17 | 1025658 | 232632 | 6560 55 | 2016 | 0 1350.48/1350.84 c 1350s | 17 | 1026619 | 233132 | 6560 55 | 2016 | 0 1352.68/1353.01 c 1352s | 17 | 1027574 | 233632 | 6560 55 | 2016 | 0 1354.77/1355.14 c 1355s | 17 | 1028345 | 234032 | 6560 55 | 2016 | 0 1357.07/1357.43 c 1357s | 17 | 1029187 | 234532 | 6560 55 | 2016 | 0 1359.47/1359.86 c 1359s | 17 | 1030203 | 235032 | 6560 55 | 2016 | 0 1361.47/1361.89 c 1361s | 17 | 1031301 | 235532 | 6560 55 | 2016 | 0 1363.67/1364.07 c 1364s | 17 | 1032925 | 236032 | 6560 55 | 2016 | 0 1365.77/1366.17 c 1366s | 17 | 1034104 | 236432 | 6560 55 | 2016 | 0 1368.27/1368.66 c 1368s | 17 | 1035415 | 236932 | 6560 55 | 2016 | 0 1370.47/1370.81 c 1370s | 17 | 1036257 | 237332 | 6560 55 | 2016 | 0 1372.87/1373.26 c 1373s | 17 | 1037662 | 237732 | 6560 56 | 2016 | 0 1374.87/1375.29 c 1375s | 17 | 1039182 | 238132 | 6560 56 | 2016 | 0 1377.36/1377.75 c 1377s | 17 | 1040635 | 238632 | 6560 56 | 2016 | 0 1379.86/1380.21 c 1380s | 17 | 1041940 | 239132 | 6560 56 | 2016 | 0 1382.16/1382.51 c 1382s | 17 | 1042727 | 239532 | 6560 56 | 2016 | 0 1384.57/1384.91 c 1384s | 17 | 1043448 | 239932 | 6560 56 | 2016 | 0 1386.66/1387.03 c 1386s | 17 | 1043988 | 240232 | 6560 56 | 2016 | 0 1388.97/1389.38 c 1389s | 17 | 1045370 | 240732 | 6560 56 | 2016 | 0 1391.56/1391.94 c 1391s | 17 | 1046689 | 241232 | 6560 56 | 2016 | 0 1393.76/1394.18 c 1394s | 17 | 1048054 | 241632 | 6560 56 | 2016 | 0 1396.26/1396.62 c 1396s | 17 | 1049406 | 242032 | 6560 56 | 2016 | 0 1398.76/1399.19 c 1399s | 17 | 1050530 | 242432 | 6560 57 | 2016 | 0 1400.86/1401.24 c 1401s | 17 | 1051545 | 242832 | 6560 57 | 2016 | 0 1403.27/1403.67 c 1403s | 17 | 1053045 | 243332 | 6560 57 | 2016 | 0 1405.47/1405.82 c 1405s | 17 | 1053897 | 243732 | 6560 57 | 2016 | 0 1407.86/1408.25 c 1408s | 17 | 1055040 | 244132 | 6560 57 | 2016 | 0 1410.06/1410.46 c 1410s | 17 | 1056171 | 244532 | 6560 57 | 2016 | 0 1412.56/1412.99 c 1412s | 17 | 1057513 | 245032 | 6560 57 | 2016 | 0 1415.06/1415.49 c 1415s | 17 | 1058332 | 245432 | 6560 57 | 2016 | 0 1417.76/1418.17 c 1418s | 17 | 1059162 | 245832 | 6560 57 | 2016 | 0 1419.77/1420.19 c 1420s | 17 | 1059751 | 246132 | 6560 57 | 2016 | 0 1422.16/1422.58 c 1422s | 17 | 1060764 | 246532 | 6560 57 | 2016 | 0 1424.66/1425.09 c 1425s | 17 | 1061630 | 246932 | 6560 57 | 2016 | 0 1426.96/1427.40 c 1427s | 17 | 1062602 | 247332 | 6560 57 | 2016 | 0 1429.16/1429.58 c 1429s | 17 | 1063198 | 247632 | 6560 58 | 2016 | 0 1431.36/1431.76 c 1431s | 17 | 1063645 | 247932 | 6560 58 | 2016 | 0 1433.76/1434.13 c 1434s | 17 | 1064467 | 248332 | 6560 58 | 2016 | 0 1435.86/1436.29 c 1436s | 17 | 1065532 | 248732 | 6560 58 | 2016 | 0 1438.16/1438.54 c 1438s | 17 | 1066638 | 249132 | 6560 58 | 2016 | 0 1440.26/1440.60 c 1440s | 17 | 1068347 | 249532 | 6560 58 | 2016 | 0 1442.75/1443.16 c 1443s | 17 | 1069791 | 250032 | 6560 58 | 2016 | 0 1445.06/1445.47 c 1445s | 17 | 1070740 | 250432 | 6560 58 | 2016 | 0 1447.36/1447.74 c 1447s | 17 | 1071584 | 250832 | 6560 58 | 2016 | 0 1449.46/1449.90 c 1449s | 17 | 1072607 | 251232 | 6560 58 | 2016 | 0 1451.85/1452.25 c 1452s | 17 | 1073579 | 251632 | 6560 58 | 2016 | 0 1454.45/1454.84 c 1454s | 17 | 1074549 | 252032 | 6560 58 | 2016 | 0 1456.55/1456.93 c 1456s | 17 | 1075113 | 252332 | 6560 58 | 2016 | 0 1458.95/1459.30 c 1459s | 17 | 1075531 | 252632 | 6560 59 | 2016 | 0 1461.56/1461.99 c 1461s | 17 | 1076282 | 253032 | 6560 59 | 2016 | 0 1464.25/1464.62 c 1464s | 17 | 1076943 | 253432 | 6560 59 | 2016 | 0 1466.85/1467.27 c 1467s | 17 | 1077492 | 253832 | 6560 59 | 2016 | 0 1469.36/1469.80 c 1469s | 17 | 1078244 | 254232 | 6560 59 | 2016 | 0 1471.65/1472.05 c 1471s | 17 | 1079210 | 254632 | 6560 59 | 2016 | 0 1473.85/1474.28 c 1474s | 17 | 1080897 | 255132 | 6560 59 | 2016 | 0 1476.35/1476.72 c 1476s | 17 | 1082385 | 255632 | 6560 59 | 2016 | 0 1478.75/1479.13 c 1479s | 17 | 1083071 | 256032 | 6560 59 | 2016 | 0 1481.25/1481.65 c 1481s | 17 | 1083927 | 256432 | 6560 59 | 2016 | 0 1483.85/1484.28 c 1484s | 17 | 1084579 | 256832 | 6560 59 | 2016 | 0 1486.35/1486.78 c 1486s | 17 | 1085405 | 257232 | 6560 59 | 2016 | 0 1488.65/1489.00 c 1488s | 17 | 1085879 | 257532 | 6560 60 | 2016 | 0 1491.05/1491.46 c 1491s | 17 | 1086687 | 257932 | 6560 60 | 2016 | 0 1493.55/1493.98 c 1493s | 17 | 1087309 | 258332 | 6560 60 | 2016 | 0 1495.55/1495.99 c 1495s | 17 | 1087781 | 258632 | 6560 60 | 2016 | 0 1498.25/1498.64 c 1498s | 17 | 1088507 | 259032 | 6560 60 | 2016 | 0 1500.35/1500.73 c 1500s | 17 | 1089157 | 259332 | 6560 60 | 2016 | 0 1502.84/1503.24 c 1503s | 17 | 1089646 | 259632 | 6560 60 | 2016 | 0 1504.94/1505.32 c 1505s | 17 | 1090910 | 260032 | 6560 60 | 2016 | 0 1507.14/1507.56 c 1507s | 17 | 1092449 | 260432 | 6560 60 | 2016 | 0 1509.64/1510.08 c 1510s | 17 | 1093934 | 260932 | 6560 60 | 2016 | 0 1511.64/1512.09 c 1512s | 17 | 1094672 | 261232 | 6560 60 | 2016 | 0 1514.24/1514.65 c 1514s | 17 | 1095714 | 261632 | 6560 60 | 2016 | 0 1516.34/1516.73 c 1516s | 17 | 1097472 | 262032 | 6560 60 | 2016 | 0 1518.34/1518.78 c 1518s | 17 | 1098344 | 262332 | 6560 61 | 2016 | 0 1520.84/1521.28 c 1521s | 17 | 1099435 | 262732 | 6560 61 | 2016 | 0 1523.44/1523.89 c 1523s | 17 | 1100331 | 263132 | 6560 61 | 2016 | 0 1526.14/1526.50 c 1526s | 17 | 1100972 | 263532 | 6560 61 | 2016 | 0 1528.75/1529.13 c 1529s | 17 | 1101552 | 263932 | 6560 61 | 2016 | 0 1531.14/1531.59 c 1531s | 17 | 1102549 | 264332 | 6560 61 | 2016 | 0 1533.24/1533.69 c 1533s | 17 | 1103865 | 264732 | 6560 61 | 2016 | 0 1535.84/1536.29 c 1536s | 17 | 1105608 | 265232 | 6560 61 | 2016 | 0 1538.14/1538.51 c 1538s | 17 | 1106482 | 265632 | 6560 61 | 2016 | 0 1540.44/1540.88 c 1540s | 17 | 1107466 | 266032 | 6560 61 | 2016 | 0 1542.54/1542.99 c 1542s | 17 | 1108683 | 266432 | 6560 61 | 2016 | 0 1544.64/1545.06 c 1544s | 17 | 1109640 | 266832 | 6560 61 | 2016 | 0 1546.94/1547.38 c 1547s | 17 | 1110951 | 267232 | 6560 61 | 2016 | 0 1549.14/1549.56 c 1549s | 17 | 1111622 | 267532 | 6560 62 | 2016 | 0 1551.74/1552.20 c 1552s | 17 | 1112237 | 267932 | 6560 62 | 2016 | 0 1554.44/1554.81 c 1554s | 17 | 1112960 | 268332 | 6560 62 | 2016 | 0 1556.74/1557.12 c 1557s | 17 | 1113791 | 268732 | 6560 62 | 2016 | 0 1559.24/1559.60 c 1559s | 17 | 1115247 | 269232 | 6560 62 | 2016 | 0 1562.03/1562.40 c 1562s | 17 | 1116231 | 269632 | 6560 62 | 2016 | 0 1564.03/1564.50 c 1564s | 17 | 1116761 | 269932 | 6560 62 | 2016 | 0 1566.23/1566.61 c 1566s | 17 | 1117652 | 270232 | 6560 62 | 2016 | 0 1568.53/1568.96 c 1568s | 17 | 1118782 | 270632 | 6560 62 | 2016 | 0 1570.63/1571.04 c 1570s | 17 | 1120106 | 271032 | 6560 62 | 2016 | 0 1573.03/1573.41 c 1573s | 17 | 1121739 | 271532 | 6560 62 | 2016 | 0 1575.03/1575.45 c 1575s | 17 | 1122395 | 271832 | 6560 62 | 2016 | 0 1577.15/1577.59 c 1577s | 17 | 1122781 | 272132 | 6560 62 | 2016 | 0 1579.25/1579.69 c 1579s | 17 | 1123377 | 272432 | 6560 63 | 2016 | 0 1581.45/1581.82 c 1581s | 17 | 1123964 | 272732 | 6560 63 | 2016 | 0 1583.75/1584.12 c 1584s | 17 | 1125183 | 273132 | 6560 63 | 2016 | 0 1585.95/1586.34 c 1586s | 17 | 1126173 | 273432 | 6560 63 | 2016 | 0 1588.44/1588.80 c 1588s | 17 | 1127683 | 273832 | 6560 63 | 2016 | 0 1590.94/1591.31 c 1591s | 17 | 1128881 | 274332 | 6560 63 | 2016 | 0 1593.34/1593.72 c 1593s | 17 | 1130278 | 274732 | 6560 63 | 2016 | 0 1595.85/1596.29 c 1596s | 17 | 1131369 | 275232 | 6560 63 | 2016 | 0 1598.54/1598.92 c 1598s | 17 | 1132201 | 275632 | 6560 63 | 2016 | 0 1600.54/1600.96 c 1600s | 17 | 1132787 | 275932 | 6560 63 | 2016 | 0 1602.94/1603.30 c 1603s | 17 | 1133797 | 276332 | 6560 63 | 2016 | 0 1604.94/1605.37 c 1605s | 17 | 1134257 | 276632 | 6560 63 | 2016 | 0 1607.04/1607.49 c 1607s | 17 | 1134709 | 276932 | 6560 63 | 2016 | 0 1609.34/1609.70 c 1609s | 17 | 1135258 | 277232 | 6560 64 | 2016 | 0 1611.74/1612.17 c 1612s | 17 | 1136108 | 277632 | 6560 64 | 2016 | 0 1613.84/1614.23 c 1614s | 17 | 1136931 | 278032 | 6560 64 | 2016 | 0 1615.84/1616.27 c 1616s | 17 | 1137615 | 278432 | 6560 64 | 2016 | 0 1618.24/1618.66 c 1618s | 17 | 1138450 | 278832 | 6560 64 | 2016 | 0 1620.33/1620.75 c 1620s | 17 | 1139332 | 279132 | 6560 64 | 2016 | 0 1622.63/1623.02 c 1622s | 17 | 1140612 | 279532 | 6560 64 | 2016 | 0 1624.73/1625.15 c 1625s | 17 | 1141610 | 279932 | 6560 64 | 2016 | 0 1626.83/1627.27 c 1627s | 17 | 1142607 | 280332 | 6560 64 | 2016 | 0 1629.23/1629.69 c 1629s | 17 | 1143834 | 280732 | 6560 64 | 2016 | 0 1631.83/1632.29 c 1632s | 17 | 1144774 | 281132 | 6560 64 | 2016 | 0 1634.63/1635.07 c 1634s | 17 | 1145481 | 281532 | 6560 64 | 2016 | 0 1637.54/1637.92 c 1637s | 17 | 1146494 | 281932 | 6560 64 | 2016 | 0 1640.03/1640.49 c 1640s | 17 | 1147204 | 282232 | 6560 65 | 2016 | 0 1642.13/1642.59 c 1642s | 17 | 1147995 | 282532 | 6560 65 | 2016 | 0 1644.24/1644.69 c 1644s | 17 | 1148640 | 282832 | 6560 65 | 2016 | 0 1646.34/1646.80 c 1646s | 17 | 1149380 | 283132 | 6560 65 | 2016 | 0 1649.03/1649.43 c 1649s | 17 | 1150032 | 283432 | 6560 65 | 2016 | 0 1651.73/1652.10 c 1652s | 17 | 1150564 | 283732 | 6560 65 | 2016 | 0 1654.23/1654.66 c 1654s | 17 | 1151507 | 284132 | 6560 65 | 2016 | 0 1656.73/1657.18 c 1657s | 17 | 1153069 | 284532 | 6560 65 | 2016 | 0 1659.43/1659.81 c 1659s | 17 | 1153977 | 284932 | 6560 65 | 2016 | 0 1661.74/1662.15 c 1662s | 17 | 1154771 | 285232 | 6560 65 | 2016 | 0 1663.94/1664.40 c 1664s | 17 | 1155401 | 285532 | 6560 65 | 2016 | 0 1666.63/1667.00 c 1666s | 17 | 1156413 | 285932 | 6560 65 | 2016 | 0 1669.23/1669.68 c 1669s | 17 | 1156815 | 286232 | 6560 65 | 2016 | 0 1671.83/1672.23 c 1672s | 17 | 1157225 | 286532 | 6560 65 | 2016 | 0 1674.53/1674.95 c 1674s | 17 | 1157646 | 286832 | 6560 65 | 2016 | 0 1676.93/1677.39 c 1677s | 17 | 1158202 | 287132 | 6560 65 | 2016 | 0 1679.43/1679.80 c 1679s | 17 | 1158910 | 287432 | 6560 66 | 2016 | 0 1681.92/1682.32 c 1682s | 17 | 1159802 | 287832 | 6560 66 | 2016 | 0 1683.92/1684.35 c 1684s | 17 | 1160492 | 288132 | 6560 66 | 2016 | 0 1686.52/1686.92 c 1686s | 17 | 1161427 | 288532 | 6560 66 | 2016 | 0 1688.52/1688.99 c 1688s | 17 | 1162141 | 288832 | 6560 66 | 2016 | 0 1691.12/1691.54 c 1691s | 17 | 1163065 | 289232 | 6560 66 | 2016 | 0 1693.82/1694.27 c 1694s | 17 | 1163917 | 289632 | 6560 66 | 2016 | 0 1696.02/1696.44 c 1696s | 17 | 1164649 | 289932 | 6560 66 | 2016 | 0 1698.32/1698.78 c 1698s | 17 | 1165317 | 290232 | 6560 66 | 2016 | 0 1700.42/1700.86 c 1700s | 17 | 1166186 | 290532 | 6560 66 | 2016 | 0 1703.12/1703.50 c 1703s | 17 | 1167314 | 290932 | 6560 66 | 2016 | 0 1705.73/1706.17 c 1706s | 17 | 1168531 | 291332 | 6560 66 | 2016 | 0 1707.82/1708.28 c 1708s | 17 | 1169127 | 291632 | 6560 66 | 2016 | 0 1710.13/1710.51 c 1710s | 17 | 1169534 | 291932 | 6560 66 | 2016 | 0 1712.32/1712.72 c 1712s | 17 | 1170270 | 292232 | 6560 67 | 2016 | 0 1714.52/1714.93 c 1714s | 17 | 1170918 | 292532 | 6560 67 | 2016 | 0 1716.62/1717.08 c 1717s | 17 | 1171683 | 292832 | 6560 67 | 2016 | 0 1718.72/1719.15 c 1719s | 17 | 1172312 | 293132 | 6560 67 | 2016 | 0 1721.02/1721.44 c 1721s | 17 | 1173005 | 293432 | 6560 67 | 2016 | 0 1723.32/1723.79 c 1723s | 17 | 1173653 | 293732 | 6560 67 | 2016 | 0 1725.82/1726.23 c 1726s | 17 | 1174558 | 294132 | 6560 67 | 2016 | 0 1727.92/1728.32 c 1728s | 17 | 1175291 | 294432 | 7217 67 | 2016 | 0 1730.12/1730.56 c 1730s | 17 | 1175963 | 294732 | 7217 67 | 2016 | 0 1732.71/1733.15 c 1733s | 17 | 1176798 | 295132 | 7217 67 | 2016 | 0 1734.91/1735.39 c 1735s | 17 | 1177437 | 295432 | 7217 67 | 2016 | 0 1737.72/1738.13 c 1738s | 17 | 1177955 | 295732 | 7217 67 | 2016 | 0 1740.31/1740.74 c 1740s | 17 | 1178602 | 296032 | 7217 67 | 2016 | 0 1742.12/1742.59 c 1742s | 18 | 1178976 | 296252 | 7217 67 | 2016 | 0 1744.22/1744.66 c 1744s | 18 | 1182849 | 297252 | 7217 67 | 2016 | 0 1746.52/1746.90 c 1746s | 18 | 1185568 | 297852 | 7217 68 | 2016 | 0 1748.51/1748.93 c 1748s | 18 | 1188106 | 298452 | 7217 68 | 2016 | 0 1750.61/1751.03 c 1750s | 18 | 1191016 | 299252 | 7217 68 | 2016 | 0 1753.02/1753.48 c 1753s | 18 | 1193760 | 299952 | 7217 68 | 2016 | 0 1755.32/1755.76 c 1755s | 18 | 1195741 | 300552 | 7217 68 | 2016 | 0 1757.52/1757.90 c 1757s | 18 | 1199631 | 301152 | 7217 68 | 2016 | 0 1759.81/1760.22 c 1760s | 18 | 1202094 | 301752 | 7217 68 | 2016 | 0 1762.11/1762.51 c 1762s | 18 | 1203667 | 302352 | 7217 68 | 2016 | 0 1764.21/1764.65 c 1764s | 18 | 1205305 | 302852 | 7217 68 | 2016 | 0 1766.60/1767.00 c 1766s | 18 | 1206335 | 303152 | 7217 69 | 2016 | 0 1769.01/1769.46 c 1769s | 18 | 1208469 | 303652 | 7217 69 | 2016 | 0 1771.21/1771.64 c 1771s | 18 | 1212362 | 304352 | 7217 69 | 2016 | 0 1773.61/1774.02 c 1773s | 18 | 1214769 | 304952 | 7217 69 | 2016 | 0 1775.91/1776.38 c 1776s | 18 | 1217818 | 305552 | 7217 69 | 2016 | 0 1778.11/1778.51 c 1778s | 18 | 1220683 | 305952 | 7217 69 | 2016 | 0 1780.11/1780.51 c 1780s | 18 | 1222787 | 306352 | 7217 69 | 2016 | 0 1782.91/1783.36 c 1783s | 18 | 1224880 | 306752 | 7217 69 | 2016 | 0 1785.30/1785.77 c 1785s | 18 | 1226522 | 307152 | 7217 69 | 2016 | 0 1787.70/1788.16 c 1788s | 18 | 1228745 | 307552 | 7217 69 | 2016 | 0 1789.80/1790.26 c 1790s | 18 | 1231353 | 307952 | 7217 69 | 2016 | 0 1792.40/1792.86 c 1792s | 18 | 1233798 | 308352 | 7217 70 | 2016 | 0 1794.50/1794.94 c 1794s | 18 | 1235902 | 308752 | 7217 70 | 2016 | 0 1796.71/1797.11 c 1797s | 18 | 1237525 | 309152 | 7217 70 | 2016 | 0 1799.11/1799.56 c 1799s | 18 | 1239418 | 309552 | 7217 70 | 2016 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099817-1466207959/watcher-4099817-1466207959 -o /tmp/evaluation-result-4099817-1466207959/solver-4099817-1466207959 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099817-1466207959.opb pid=16348 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.21 1.91 3/179 16351 /proc/meminfo: memFree=29388584/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=786876 CPUtime=0 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 2948 0 0 0 0 0 0 0 20 0 4 0 22844597 805761024 3308 33554432000 4194304 16246674 140734404927648 140734404927072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 197487 3317 441 2943 0 194381 0 [pid=16351/tid=16352] ppid=16348 vsize=805308 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 824635392 3379 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=809404 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 828829696 3396 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=813500 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22844597 833024000 3413 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.18 2.21 1.91 3/179 16351 /proc/meminfo: memFree=29388584/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 19304 0 0 0 6 3 0 0 20 0 4 0 22844597 1249447936 19602 33554432000 4194304 16246674 140734404927648 140734404926960 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 305041 19602 883 2943 0 301935 0 [pid=16351/tid=16352] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 19603 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 19603 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 19603 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200499 s] /proc/loadavg: 2.18 2.21 1.91 3/179 16351 /proc/meminfo: memFree=29388584/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 27042 0 0 0 15 4 0 0 20 0 4 0 22844597 1249447936 27340 33554432000 4194304 16246674 140734404927648 140734404926960 5600539 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 305041 27350 883 2943 0 301935 0 [pid=16351/tid=16352] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 27354 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 27354 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 27355 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300471 s] /proc/loadavg: 2.18 2.21 1.91 3/179 16351 /proc/meminfo: memFree=29388584/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1220164 CPUtime=0.29 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 33830 0 0 0 24 5 0 0 20 0 4 0 22844597 1249447936 34128 33554432000 4194304 16246674 140734404927648 140734404926960 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 305041 34128 883 2943 0 301935 0 [pid=16351/tid=16352] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 34129 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 34129 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 34129 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1220164 [startup+0.700355 s] /proc/loadavg: 2.18 2.21 1.91 3/179 16351 /proc/meminfo: memFree=29388584/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1220164 CPUtime=0.69 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 78273 0 0 0 57 12 0 0 20 0 4 0 22844597 1249447936 78571 33554432000 4194304 16246674 140734404927648 140734404926960 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 305041 78571 883 2943 0 301935 0 [pid=16351/tid=16352] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 78571 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 78572 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22844597 1249447936 78572 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1220164 [startup+1.50039 s] /proc/loadavg: 2.18 2.21 1.91 4/183 16355 /proc/meminfo: memFree=28958548/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1306180 CPUtime=1.49 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 213942 0 0 0 119 30 0 0 20 0 4 0 22844597 1337528320 214241 33554432000 4194304 16246674 140734404927648 140734404926960 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 326545 214259 890 2943 0 323439 0 [pid=16351/tid=16352] ppid=16348 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1337528320 214272 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1337528320 214282 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1337528320 214295 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1306180 [startup+3.10039 s] /proc/loadavg: 2.18 2.21 1.91 4/183 16355 /proc/meminfo: memFree=28316352/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 267991 0 0 0 272 37 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140734404909568 5532227 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 326801 268289 890 2943 0 323695 0 [pid=16351/tid=16352] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.3004 s] /proc/loadavg: 2.25 2.22 1.91 4/183 16355 /proc/meminfo: memFree=28316120/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 267991 0 0 0 592 37 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140734404926824 13781188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 326801 268289 890 2943 0 323695 0 [pid=16351/tid=16352] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.23 2.22 1.91 3/183 16355 /proc/meminfo: memFree=28315900/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 267991 0 0 0 1232 37 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140734404926824 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 326801 268289 890 2943 0 323695 0 [pid=16351/tid=16352] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268289 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5005 s] /proc/loadavg: 2.26 2.22 1.92 3/183 16355 /proc/meminfo: memFree=28316168/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1307204 CPUtime=25.48 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 267997 0 0 0 2511 37 0 0 20 0 4 0 22844597 1338576896 268295 33554432000 4194304 16246674 140734404927648 140734404909568 5711952 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 326801 268295 896 2943 0 323695 0 [pid=16351/tid=16352] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268295 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268295 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1338576896 268295 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1307204 [startup+51.1005 s] /proc/loadavg: 2.31 2.23 1.93 4/184 16358 /proc/meminfo: memFree=28311408/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 269085 0 0 0 5070 38 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140734404909568 13780624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 328081 269383 897 2943 0 324975 0 [pid=16351/tid=16352] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.31 2.24 1.95 3/184 16359 /proc/meminfo: memFree=28311116/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1312324 CPUtime=102.28 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 269085 0 0 0 10189 39 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140734404909568 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 328081 269383 897 2943 0 324975 0 [pid=16351/tid=16352] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1343819776 269383 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1353256960 272136 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1321540 [startup+1302.3 s] /proc/loadavg: 2.19 2.26 2.18 3/184 16461 /proc/meminfo: memFree=28293988/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1301.98 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 272861 0 0 0 130100 98 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140734404909568 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273248 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1326660 [startup+1362.3 s] /proc/loadavg: 2.39 2.30 2.19 3/183 16462 /proc/meminfo: memFree=28294532/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1361.97 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 272861 0 0 0 136099 98 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140734404909568 13760224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273248 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273248 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1326660 [startup+1422.3 s] /proc/loadavg: 2.27 2.28 2.19 3/183 16463 /proc/meminfo: memFree=28293900/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1421.96 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 142098 98 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 12483376 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1326660 [startup+1482.3 s] /proc/loadavg: 2.20 2.25 2.18 3/183 16464 /proc/meminfo: memFree=28293832/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1481.95 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 148097 98 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1326660 [startup+1542.31 s] /proc/loadavg: 2.35 2.28 2.19 3/183 16466 /proc/meminfo: memFree=28293384/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1541.95 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 154097 98 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 1326660 [startup+1602.3 s] /proc/loadavg: 2.44 2.32 2.21 3/183 16467 /proc/meminfo: memFree=28293224/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1601.94 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 160095 99 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5546219 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 1326660 [startup+1662.3 s] /proc/loadavg: 2.28 2.29 2.20 3/183 16468 /proc/meminfo: memFree=28293232/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1661.93 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 166094 99 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909504 5711640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1326660 [startup+1722.3 s] /proc/loadavg: 2.27 2.28 2.20 3/183 16469 /proc/meminfo: memFree=28293120/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1721.92 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 172093 99 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5712600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 1326660 [startup+1782.3 s] /proc/loadavg: 2.42 2.32 2.21 3/183 16470 /proc/meminfo: memFree=28292516/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1781.91 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 178090 101 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1326660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.40 2.32 2.21 3/183 16470 /proc/meminfo: memFree=28293020/32872528 swapFree=1431120/1543540 [pid=16351] ppid=16348 vsize=1326660 CPUtime=1800.01 cores=0,2,4,6 /proc/16351/stat : 16351 (toysat) R 16348 16351 15180 0 -1 4202496 273029 0 0 0 179899 102 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140734404909568 5712604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/16351/statm: 331665 273416 897 2943 0 328559 0 [pid=16351/tid=16352] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16352/stat : 16352 (toysat) S 16348 16351 15180 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257113648368 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16351/tid=16353] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16353/stat : 16353 (toysat) S 16348 16351 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140257103158512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16351/tid=16354] ppid=16348 vsize=1326660 CPUtime=0 cores=0,2,4,6 /proc/16351/task/16354/stat : 16354 (toysat) S 16348 16351 15180 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22844597 1358499840 273416 33554432000 4194304 16246674 140734404927648 140256988884144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1326660 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 16351 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.41 CPU time (s): 1800.02 CPU user time (s): 1799 CPU system time (s): 1.02084 CPU usage (%): 99.9782 Max. virtual memory (cumulated for all children) (KiB): 1326660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799 system time used= 1.02084 maximum resident set size= 1093664 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273029 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= 186 involuntary context switches= 1932 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6103 second user time and 6.90495 second system time The end
Begin job on node116 at 2016-06-18 01:59:19 IDJOB=4099817 IDBENCH=1538 IDSOLVER=2542 FILE ID=node116/4099817-1466207959 RUNJOBID= node116-1466206094-15196 PBS_JOBID= 19918160 Free space on /tmp= 71620 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x12.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099817-1466207959/watcher-4099817-1466207959 -o /tmp/evaluation-result-4099817-1466207959/solver-4099817-1466207959 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15196 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099817-1466207959.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 44a4d7082f03e09f83e967b1f06a2c02 RANDOM SEED=492379528 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29388228 kB Buffers: 39664 kB Cached: 102276 kB SwapCached: 2180 kB Active: 1171160 kB Inactive: 62156 kB Active(anon): 1092404 kB Inactive(anon): 1500 kB Active(file): 78756 kB Inactive(file): 60656 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099540 kB Dirty: 16332 kB Writeback: 0 kB AnonPages: 2634160 kB Mapped: 10780 kB Shmem: 0 kB Slab: 572244 kB SReclaimable: 16296 kB SUnreclaim: 555948 kB KernelStack: 1456 kB PageTables: 9208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2775176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 784384 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= 71604 MiB End job on node116 at 2016-06-18 02:29:19