| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_30.opb |
| MD5SUM | 9b3f3b3179d65f92280a08a48060346e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.51992 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8930 |
| Total number of constraints | 43809 |
| Number of constraints which are clauses | 43804 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 94 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 124 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T01:33:53+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-4098227-1466120033.opb"] 0.00/0.01 c use --random-gen="2918876761 2407067768 2991705931 3843585456 2555456752 969788934 1755928755 3139412720 738352385 384182958 1288096844 1567386470 4103324407 2134359599 1926561530 2676374410 1161352308 988364686 3655041152 2656981678 925207285 2139429570 178892546 1968279094 152127690 3856968233 3637930711 785662636 2898200761 3702264051 3553852248 834886839 97509558 4257987375 525284878 147861867 3292064268 4211073267 1424859561 3925139601 4080211891 466095173 1383030875 1759313255 1264401006 3087173570 3099229968 2368577115 312487270 790566347 4102999358 3974522546 536215225 1520421157 3569511614 272542222 448761843 1767641860 3562072279 1109062423 802840310 2947731552 3551441120 2394032042 4121277333 3935078183 239484856 4172656625 2337998633 598019517 2757701343 27524776 714723160 2024215209 691599090 3615325442 2204097353 592155876 3414742565 567944128 2601570117 3277811635 2822870789 3354842682 2802295922 4014738359 2520269933 4058767572 2759166816 369749581 1136891591 495505971 1053818908 3073285572 1975700472 4004943681 2074344819 3270130756 2221370361 3782897984 1849724353 1742615044 3752569460 1078882801 1688607505 3817044097 1065556998 1491220335 4008953938 113256569 2020830654 210578677 2423365281 4080616112 3682091500 2700280915 3578276504 4035218123 2833577627 3600459688 1396188733 2772975882 4128203849 2026953531 1250689677 3313664092 3516471818 215990409 748231063 670948833 2703777218 1275752423 3637221974 2439768635 3303209542 3042007891 2056547708 2513537261 3624134076 2978223840 3408977876 3514612282 3632556601 1494373188 2326546209 4030856599 3298879334 2490180161 649167957 2208099583 128579503 3418282535 755219681 3310131379 2475782767 1004751173 2697235173 2398635038 3963160730 2147529639 894873905 3519096943 2121591753 4279484015 1212901262 2443135012 2713961004 2306361392 2815677682 376337207 225293711 1537817938 2970719251 351097050 255716698 320381885 2941030084 939377990 473559814 3830283211 1770754872 613250948 707973075 3588930175 1230611412 1248910534 2639358121 2269763643 2273151795 3607308056 969015681 2133667511 908838170 494605738 3033015271 1434029215 2086538652 2238954954 2704477755 3311324654 900670314 3304250997 652006011 1933515260 3715397005 1766106235 2612546502 3769625063 725357998 348199261 1871720845 2365133727 932005577 3286044840 3170689574 1300697158 3294134343 3275482877 2948925847 1729329752 123907810 2412643496 3145894827 806096882 332085247 2677823058 1308746037 590248249 3588496241 3029648487 1031636232 1239008312 3599596538 2104758879 1315903643 1798722242 2284706034 3632540552 4229717191 1396842539 2989177557 329480340 1103911274 693383662 3257355071 4270657979 2703289266 1968826529 242164782 2089060635 1770144962 374102985 2161249582 2532408532 2795163072 1541064607 255 362436" option to reproduce the execution 0.99/1.07 c #vars 8930 0.99/1.07 c #constraints 43809 2.99/3.05 c Solving starts ... 2.99/3.05 c ============================[ Search Statistics ]============================ 2.99/3.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.05 c | | | | Limit GC | Var | Constra 2.99/3.05 c ============================================================================= 2.99/3.06 c 0.0s | 0 | 0 | 0 | 17578 0 | 5 | 0 3.69/3.78 c 0.7s | 1 | 180 | 100 | 17578 0 | 5 | 808 4.70/4.76 c 1.7s | 2 | 1782 | 250 | 19336 0 | 5 | 808 6.09/6.13 c 3.1s | 3 | 4067 | 475 | 21270 0 | 5 | 808 8.19/8.25 c 5.2s | 4 | 7242 | 813 | 23398 0 | 5 | 808 10.29/10.32 c 7.3s | 4 | 10476 | 1213 | 25738 0 | 5 | 808 10.69/10.74 c 7.7s | 5 | 10926 | 1320 | 25738 0 | 5 | 808 12.79/12.82 c 9.8s | 5 | 14386 | 2020 | 28312 0 | 5 | 808 12.89/12.91 c 9.9s | 6 | 15056 | 2081 | 31144 0 | 5 | 808 14.89/14.97 c 11.9s | 6 | 18921 | 2581 | 31144 0 | 5 | 808 17.09/17.10 c 14.0s | 6 | 23553 | 3081 | 31144 0 | 5 | 808 17.39/17.47 c 14.4s | 7 | 24030 | 3223 | 34259 0 | 5 | 808 19.59/19.63 c 16.6s | 7 | 30399 | 3623 | 34259 0 | 5 | 808 21.79/21.81 c 18.8s | 7 | 35722 | 4123 | 34259 0 | 5 | 808 23.89/23.99 c 20.9s | 7 | 41795 | 4923 | 37685 0 | 5 | 808 23.99/24.05 c 21.0s | 8 | 41854 | 4936 | 37685 0 | 5 | 808 26.49/26.58 c 23.5s | 8 | 46926 | 5436 | 37685 0 | 5 | 808 28.89/28.97 c 25.9s | 8 | 51583 | 5836 | 37685 0 | 5 | 808 30.89/30.97 c 27.9s | 8 | 56045 | 6236 | 37685 0 | 5 | 808 32.99/33.02 c 30.0s | 8 | 58856 | 6836 | 37685 0 | 5 | 808 34.98/35.05 c 32.0s | 8 | 62088 | 7236 | 37685 0 | 5 | 808 36.38/36.48 c 33.4s | 9 | 66228 | 7506 | 41454 0 | 5 | 808 38.48/38.50 c 35.4s | 9 | 69319 | 7806 | 41454 0 | 5 | 808 40.58/40.65 c 37.6s | 9 | 72396 | 8406 | 41454 0 | 5 | 808 42.58/42.69 c 39.6s | 9 | 76694 | 8906 | 41454 0 | 5 | 808 44.88/44.97 c 41.9s | 9 | 82949 | 9406 | 41454 0 | 5 | 808 47.28/47.34 c 44.3s | 9 | 87762 | 9806 | 41454 0 | 5 | 808 49.48/49.52 c 46.5s | 9 | 94854 | 10206 | 41454 0 | 5 | 808 51.48/51.57 c 48.5s | 9 | 97635 | 10706 | 41454 0 | 5 | 808 53.88/53.94 c 50.9s | 9 | 102975 | 11306 | 45600 0 | 5 | 808 54.19/54.24 c 51.2s | 10 | 103232 | 11361 | 45600 0 | 5 | 808 56.68/56.75 c 53.7s | 10 | 110222 | 11761 | 45600 0 | 5 | 808 59.08/59.11 c 56.1s | 10 | 114457 | 12161 | 45600 0 | 5 | 808 61.38/61.45 c 58.4s | 10 | 118017 | 12561 | 45600 0 | 5 | 808 63.48/63.51 c 60.5s | 10 | 121099 | 12961 | 45600 0 | 5 | 808 65.68/65.78 c 62.7s | 10 | 123674 | 13461 | 45600 0 | 5 | 808 67.98/68.03 c 65.0s | 10 | 125281 | 13861 | 45600 0 | 5 | 808 70.18/70.26 c 67.2s | 10 | 130814 | 14261 | 45600 0 | 5 | 808 72.58/72.69 c 69.6s | 10 | 137093 | 14661 | 45600 0 | 5 | 808 74.99/75.10 c 72.0s | 10 | 141356 | 15061 | 45600 0 | 5 | 808 77.08/77.15 c 74.1s | 10 | 145072 | 15461 | 45600 0 | 5 | 808 79.28/79.35 c 76.3s | 10 | 148872 | 15961 | 45600 0 | 5 | 808 81.58/81.61 c 78.6s | 10 | 152013 | 16461 | 45600 0 | 5 | 808 83.68/83.80 c 80.7s | 10 | 157482 | 16861 | 45600 0 | 5 | 808 85.58/85.67 c 82.6s | 11 | 161002 | 17144 | 50161 0 | 5 | 808 88.08/88.13 c 85.1s | 11 | 164943 | 17544 | 50161 0 | 5 | 808 90.18/90.25 c 87.2s | 11 | 167995 | 18144 | 50161 0 | 5 | 808 92.18/92.27 c 89.2s | 11 | 171187 | 18544 | 50161 0 | 5 | 808 94.37/94.41 c 91.4s | 11 | 175377 | 18944 | 50161 0 | 5 | 808 96.47/96.57 c 93.5s | 11 | 180919 | 19344 | 50161 0 | 5 | 808 98.87/98.99 c 95.9s | 11 | 185801 | 19744 | 50161 0 | 5 | 808 100.97/101.03 c 98.0s | 11 | 188196 | 20244 | 50161 0 | 5 | 808 103.27/103.34 c 100s | 11 | 191733 | 20744 | 50161 0 | 5 | 808 105.78/105.81 c 102s | 11 | 195422 | 21144 | 50161 0 | 5 | 808 107.87/107.97 c 104s | 11 | 200787 | 21544 | 50161 0 | 5 | 808 109.97/110.01 c 106s | 11 | 206262 | 22144 | 50161 0 | 5 | 808 111.97/112.06 c 109s | 11 | 209643 | 22644 | 50161 0 | 5 | 808 114.47/114.54 c 111s | 11 | 213684 | 23044 | 50161 0 | 5 | 808 116.67/116.77 c 113s | 11 | 220278 | 23444 | 50161 0 | 5 | 808 119.08/119.12 c 116s | 11 | 224871 | 23944 | 50161 0 | 5 | 808 121.28/121.31 c 118s | 11 | 227223 | 24444 | 50161 0 | 5 | 808 123.38/123.45 c 120s | 11 | 230360 | 24844 | 50161 0 | 5 | 808 125.57/125.65 c 122s | 11 | 233857 | 25244 | 50161 0 | 5 | 808 127.67/127.75 c 124s | 11 | 237512 | 25644 | 50161 0 | 5 | 808 128.57/128.65 c 125s | 12 | 238159 | 25819 | 55178 0 | 5 | 808 130.67/130.74 c 127s | 12 | 240816 | 26119 | 55178 0 | 5 | 808 133.16/133.27 c 130s | 12 | 244254 | 26619 | 55178 0 | 5 | 808 135.86/135.91 c 132s | 12 | 248272 | 27019 | 55178 0 | 5 | 808 138.46/138.50 c 135s | 12 | 252230 | 27419 | 55178 0 | 5 | 808 140.56/140.65 c 137s | 12 | 255890 | 27819 | 55178 0 | 5 | 808 142.76/142.89 c 139s | 12 | 258570 | 28219 | 55178 0 | 5 | 808 144.97/145.09 c 142s | 12 | 260935 | 28719 | 55178 0 | 5 | 808 147.58/147.62 c 144s | 12 | 264398 | 29119 | 55178 0 | 5 | 808 149.78/149.85 c 146s | 12 | 268091 | 29419 | 55178 0 | 5 | 808 151.98/152.01 c 148s | 12 | 271853 | 29719 | 55178 0 | 5 | 808 154.37/154.44 c 151s | 12 | 275673 | 30419 | 55178 0 | 5 | 808 156.87/156.90 c 153s | 12 | 280599 | 30919 | 55178 0 | 5 | 808 159.07/159.11 c 156s | 12 | 284635 | 31319 | 55178 0 | 5 | 808 161.07/161.14 c 158s | 12 | 286891 | 31619 | 55178 0 | 5 | 808 163.07/163.19 c 160s | 12 | 290252 | 31919 | 55178 0 | 5 | 808 165.57/165.64 c 162s | 12 | 293791 | 32319 | 55178 0 | 5 | 808 167.57/167.69 c 164s | 12 | 297968 | 32819 | 55178 0 | 5 | 808 169.87/169.91 c 166s | 12 | 301675 | 33319 | 55178 0 | 5 | 808 172.17/172.27 c 169s | 12 | 304813 | 33719 | 55178 0 | 5 | 808 174.77/174.87 c 171s | 12 | 309544 | 34119 | 55178 0 | 5 | 808 177.07/177.13 c 174s | 12 | 313099 | 34719 | 55178 0 | 5 | 808 179.16/179.29 c 176s | 12 | 316860 | 35219 | 55178 0 | 5 | 808 181.67/181.79 c 178s | 12 | 322818 | 35719 | 55178 0 | 5 | 808 184.16/184.29 c 181s | 12 | 327525 | 36119 | 55178 0 | 5 | 808 186.36/186.49 c 183s | 12 | 330401 | 36419 | 55178 0 | 5 | 808 188.46/188.58 c 185s | 12 | 333715 | 36919 | 55178 0 | 5 | 808 190.66/190.70 c 187s | 12 | 336649 | 37419 | 55178 0 | 5 | 808 192.96/193.06 c 190s | 12 | 340569 | 37819 | 55178 0 | 5 | 808 195.56/195.68 c 192s | 12 | 344859 | 38219 | 55178 0 | 5 | 808 197.96/198.08 c 195s | 12 | 350158 | 38619 | 60696 0 | 5 | 808 199.06/199.12 c 196s | 13 | 352279 | 38832 | 60696 0 | 5 | 808 201.26/201.37 c 198s | 13 | 354994 | 39132 | 60696 0 | 5 | 808 203.67/203.79 c 200s | 13 | 357968 | 39732 | 60696 0 | 5 | 808 205.96/206.02 c 202s | 13 | 361444 | 40132 | 60696 0 | 5 | 808 208.06/208.18 c 205s | 13 | 365149 | 40632 | 60696 0 | 5 | 808 210.16/210.20 c 207s | 13 | 367752 | 41132 | 60696 0 | 5 | 808 212.15/212.24 c 209s | 13 | 372102 | 41532 | 60696 0 | 5 | 808 214.55/214.61 c 211s | 13 | 375703 | 41932 | 60696 0 | 5 | 808 216.75/216.87 c 213s | 13 | 379394 | 42532 | 60696 0 | 5 | 808 219.16/219.26 c 216s | 13 | 383460 | 43032 | 60696 0 | 5 | 808 221.26/221.39 c 218s | 13 | 387702 | 43432 | 60696 0 | 5 | 808 223.56/223.63 c 220s | 13 | 391493 | 43832 | 60696 0 | 5 | 808 225.95/226.05 c 222s | 13 | 393737 | 44332 | 60696 0 | 5 | 808 228.35/228.43 c 225s | 13 | 397357 | 44732 | 60696 0 | 5 | 808 230.65/230.75 c 227s | 13 | 402449 | 45232 | 60696 0 | 5 | 808 233.05/233.11 c 230s | 13 | 407895 | 45932 | 60696 0 | 5 | 808 235.15/235.25 c 232s | 13 | 410881 | 46432 | 60696 0 | 5 | 808 237.25/237.35 c 234s | 13 | 413291 | 46932 | 60696 0 | 5 | 808 239.25/239.36 c 236s | 13 | 416954 | 47332 | 60696 0 | 5 | 808 241.35/241.49 c 238s | 13 | 420395 | 47932 | 60696 0 | 5 | 808 243.85/243.95 c 240s | 13 | 424193 | 48432 | 60696 0 | 5 | 808 246.35/246.40 c 243s | 13 | 428496 | 49132 | 60696 0 | 5 | 808 248.65/248.73 c 245s | 13 | 431779 | 49632 | 60696 0 | 5 | 808 251.05/251.11 c 248s | 13 | 434899 | 50232 | 60696 0 | 5 | 808 253.05/253.17 c 250s | 13 | 438257 | 50832 | 60696 0 | 5 | 808 255.15/255.20 c 252s | 13 | 441068 | 51332 | 60696 0 | 5 | 808 257.25/257.39 c 254s | 13 | 445391 | 51932 | 60696 0 | 5 | 808 259.65/259.76 c 256s | 13 | 448015 | 52532 | 60696 0 | 5 | 808 261.75/261.88 c 258s | 13 | 450381 | 53132 | 60696 0 | 5 | 808 263.95/264.06 c 261s | 13 | 453459 | 53732 | 60696 0 | 5 | 808 266.05/266.13 c 263s | 13 | 456488 | 54332 | 60696 0 | 5 | 808 268.25/268.30 c 265s | 13 | 459475 | 54932 | 60696 0 | 5 | 808 270.44/270.56 c 267s | 13 | 462140 | 55632 | 60696 0 | 5 | 808 272.64/272.73 c 269s | 13 | 464984 | 56332 | 60696 0 | 5 | 808 274.74/274.87 c 271s | 13 | 467566 | 57032 | 60696 0 | 5 | 808 276.94/277.09 c 274s | 13 | 469419 | 57832 | 60696 0 | 5 | 808 279.44/279.53 c 276s | 13 | 473393 | 58332 | 66766 0 | 5 | 808 279.55/279.66 c 276s | 14 | 473742 | 58352 | 66766 0 | 5 | 808 282.04/282.12 c 279s | 14 | 476684 | 58652 | 66766 0 | 5 | 808 284.64/284.77 c 281s | 14 | 481692 | 59052 | 66766 0 | 5 | 808 286.84/286.92 c 283s | 14 | 485708 | 59452 | 66766 0 | 5 | 808 288.94/289.08 c 286s | 14 | 490250 | 59952 | 66766 0 | 5 | 808 291.44/291.59 c 288s | 14 | 493422 | 60552 | 66766 0 | 5 | 808 293.85/293.96 c 290s | 14 | 497645 | 60952 | 66766 0 | 5 | 808 295.94/296.00 c 292s | 14 | 500189 | 61252 | 66766 0 | 5 | 808 298.25/298.31 c 295s | 14 | 503614 | 61652 | 66766 0 | 5 | 808 300.24/300.32 c 297s | 14 | 505710 | 62052 | 66766 0 | 5 | 808 302.65/302.74 c 299s | 14 | 508221 | 62552 | 66766 0 | 5 | 808 305.14/305.20 c 302s | 14 | 511900 | 62952 | 66766 0 | 5 | 808 307.14/307.26 c 304s | 14 | 514965 | 63252 | 66766 0 | 5 | 808 309.14/309.30 c 306s | 14 | 519562 | 63552 | 66766 0 | 5 | 808 311.34/311.49 c 308s | 14 | 522039 | 63852 | 66766 0 | 5 | 808 313.44/313.57 c 310s | 14 | 524731 | 64352 | 66766 0 | 5 | 808 315.84/315.91 c 312s | 14 | 528959 | 64752 | 66766 0 | 5 | 808 317.94/318.04 c 314s | 14 | 533031 | 65152 | 66766 0 | 5 | 808 320.35/320.47 c 317s | 14 | 535053 | 65652 | 66766 0 | 5 | 808 322.55/322.65 c 319s | 14 | 538890 | 66052 | 66766 0 | 5 | 808 325.14/325.21 c 322s | 14 | 543209 | 66452 | 66766 0 | 5 | 808 327.24/327.38 c 324s | 14 | 545672 | 66852 | 66766 0 | 5 | 808 329.54/329.65 c 326s | 14 | 548031 | 67352 | 66766 0 | 5 | 808 331.94/332.02 c 328s | 14 | 552557 | 67752 | 66766 0 | 5 | 808 335.24/335.35 c 332s | 14 | 555533 | 68052 | 66766 1 | 5 | 808 340.94/341.07 c 338s | 14 | 556498 | 68152 | 66766 1 | 5 | 808 343.34/343.47 c 340s | 14 | 558172 | 68352 | 66766 1 | 5 | 808 345.54/345.62 c 342s | 14 | 561073 | 68952 | 66766 1 | 5 | 808 347.84/347.98 c 344s | 14 | 565693 | 69452 | 66766 1 | 5 | 808 350.14/350.28 c 347s | 14 | 570261 | 69852 | 66766 1 | 5 | 808 352.33/352.42 c 349s | 14 | 575068 | 70252 | 66766 1 | 5 | 808 354.34/354.44 c 351s | 14 | 580144 | 70952 | 66766 1 | 5 | 808 356.43/356.58 c 353s | 14 | 583600 | 71352 | 66766 1 | 5 | 808 358.63/358.76 c 355s | 14 | 587862 | 71752 | 66766 1 | 5 | 808 360.94/361.05 c 357s | 14 | 594694 | 72552 | 66766 1 | 5 | 808 363.13/363.25 c 360s | 14 | 598428 | 72952 | 66766 1 | 5 | 808 365.13/365.25 c 362s | 14 | 602121 | 73352 | 66766 1 | 5 | 808 367.33/367.47 c 364s | 14 | 604848 | 73852 | 66766 1 | 5 | 808 369.52/369.63 c 366s | 14 | 609558 | 74352 | 66766 1 | 5 | 808 371.62/371.75 c 368s | 14 | 613543 | 74952 | 66766 1 | 5 | 808 373.72/373.87 c 370s | 14 | 616252 | 75352 | 66766 1 | 5 | 808 375.82/375.90 c 372s | 14 | 618712 | 75852 | 66766 1 | 5 | 808 377.92/378.01 c 374s | 14 | 622185 | 76252 | 66766 1 | 5 | 808 380.02/380.16 c 377s | 14 | 624014 | 76752 | 66766 1 | 5 | 808 382.01/382.19 c 379s | 14 | 626483 | 77152 | 66766 1 | 5 | 808 384.12/384.27 c 381s | 14 | 629217 | 77652 | 66766 1 | 5 | 808 386.22/386.37 c 383s | 14 | 631562 | 78052 | 66766 1 | 5 | 808 388.81/388.92 c 385s | 14 | 634683 | 78652 | 66766 1 | 5 | 808 391.21/391.33 c 388s | 14 | 637606 | 79252 | 66766 1 | 5 | 808 393.51/393.62 c 390s | 14 | 640661 | 79852 | 66766 1 | 5 | 808 395.61/395.77 c 392s | 14 | 643867 | 80352 | 66766 1 | 5 | 808 398.01/398.15 c 395s | 14 | 646547 | 80952 | 66766 1 | 5 | 808 400.21/400.37 c 397s | 14 | 649634 | 81552 | 66766 1 | 5 | 808 402.30/402.49 c 399s | 14 | 652309 | 82152 | 66766 1 | 5 | 808 404.40/404.51 c 401s | 14 | 653907 | 82652 | 66766 1 | 5 | 808 406.70/406.82 c 403s | 14 | 655649 | 83252 | 66766 1 | 5 | 808 409.00/409.14 c 406s | 14 | 657577 | 83852 | 66766 1 | 5 | 808 410.99/411.19 c 408s | 14 | 658817 | 84352 | 66766 1 | 5 | 808 413.29/413.46 c 410s | 14 | 659858 | 84952 | 66766 1 | 5 | 808 415.69/415.87 c 412s | 14 | 663461 | 85352 | 66766 1 | 5 | 808 417.99/418.11 c 415s | 14 | 667167 | 85852 | 66766 1 | 5 | 808 420.30/420.47 c 417s | 14 | 671937 | 86452 | 66766 1 | 5 | 808 422.79/422.98 c 419s | 14 | 675426 | 86752 | 66766 1 | 5 | 808 424.89/425.06 c 422s | 14 | 678586 | 87052 | 73443 1 | 5 | 808 427.09/427.22 c 424s | 14 | 683099 | 87452 | 73443 1 | 5 | 808 427.59/427.75 c 424s | 15 | 683659 | 87632 | 73443 1 | 5 | 808 429.59/429.80 c 426s | 15 | 687329 | 87932 | 73443 1 | 5 | 808 431.99/432.18 c 429s | 15 | 690418 | 88532 | 73443 1 | 5 | 808 434.19/434.30 c 431s | 15 | 693080 | 88932 | 73443 1 | 5 | 808 437.78/437.97 c 434s | 15 | 694575 | 89032 | 73443 1 | 5 | 808 440.09/440.28 c 437s | 15 | 698449 | 89332 | 73443 1 | 5 | 808 442.18/442.36 c 439s | 15 | 701886 | 89632 | 73443 1 | 5 | 808 444.68/444.86 c 441s | 15 | 704643 | 90032 | 73443 1 | 5 | 808 446.88/447.06 c 444s | 15 | 708602 | 90432 | 73443 1 | 5 | 808 449.18/449.38 c 446s | 15 | 710472 | 90932 | 73443 1 | 5 | 808 451.68/451.87 c 448s | 15 | 714565 | 91332 | 73443 1 | 5 | 808 454.48/454.62 c 451s | 15 | 721345 | 91732 | 73443 1 | 5 | 808 456.68/456.82 c 453s | 15 | 724400 | 92032 | 73443 1 | 5 | 808 458.68/458.87 c 455s | 15 | 726508 | 92432 | 73443 1 | 5 | 808 461.18/461.34 c 458s | 15 | 729052 | 92932 | 73443 1 | 5 | 808 463.78/463.96 c 460s | 15 | 733115 | 93332 | 73443 1 | 5 | 808 465.98/466.10 c 463s | 15 | 735889 | 93632 | 73443 1 | 5 | 808 467.98/468.11 c 465s | 15 | 740454 | 93932 | 73443 1 | 5 | 808 470.48/470.63 c 467s | 15 | 744613 | 94332 | 73443 1 | 5 | 808 472.78/472.93 c 469s | 15 | 748418 | 94832 | 73443 1 | 5 | 808 475.08/475.22 c 472s | 15 | 751205 | 95232 | 73443 1 | 5 | 808 477.08/477.27 c 474s | 15 | 754595 | 95532 | 73443 1 | 5 | 808 479.28/479.41 c 476s | 15 | 757767 | 95832 | 73443 1 | 5 | 808 481.37/481.56 c 478s | 15 | 760752 | 96132 | 73443 1 | 5 | 808 483.67/483.87 c 480s | 15 | 763762 | 96632 | 73443 1 | 5 | 808 485.77/485.95 c 482s | 15 | 767189 | 97032 | 73443 1 | 5 | 808 487.87/488.00 c 484s | 15 | 769523 | 97332 | 73443 1 | 5 | 808 489.97/490.13 c 487s | 15 | 772329 | 97632 | 73443 1 | 5 | 808 492.07/492.22 c 489s | 15 | 773877 | 97932 | 73443 1 | 5 | 808 494.17/494.31 c 491s | 15 | 775395 | 98332 | 73443 1 | 5 | 808 496.17/496.37 c 493s | 15 | 778623 | 98732 | 73443 1 | 5 | 808 498.67/498.82 c 495s | 15 | 782025 | 99132 | 73443 1 | 5 | 808 500.77/500.98 c 497s | 15 | 785454 | 99432 | 73443 1 | 5 | 808 502.97/503.10 c 500s | 15 | 788790 | 99732 | 73443 1 | 5 | 808 505.57/505.71 c 502s | 15 | 792944 | 100132 | 73443 1 | 5 | 808 507.87/508.05 c 504s | 15 | 796865 | 100632 | 73443 1 | 5 | 808 510.17/510.31 c 507s | 15 | 799686 | 101132 | 73443 1 | 5 | 808 512.67/512.85 c 509s | 15 | 803624 | 101532 | 73443 1 | 5 | 808 515.26/515.47 c 512s | 15 | 807520 | 101932 | 73443 1 | 5 | 808 517.36/517.53 c 514s | 15 | 810396 | 102432 | 73443 1 | 5 | 808 519.76/519.95 c 516s | 15 | 814505 | 102932 | 73443 1 | 5 | 808 522.05/522.24 c 519s | 15 | 818259 | 103332 | 73443 1 | 5 | 808 524.35/524.53 c 521s | 15 | 823698 | 103732 | 73443 1 | 5 | 808 526.65/526.83 c 523s | 15 | 827269 | 104132 | 73443 1 | 5 | 808 528.85/529.02 c 525s | 15 | 829504 | 104632 | 73443 1 | 5 | 808 530.85/531.08 c 528s | 15 | 833075 | 105032 | 73443 1 | 5 | 808 532.95/533.13 c 530s | 15 | 835746 | 105332 | 73443 1 | 5 | 808 535.15/535.32 c 532s | 15 | 839361 | 105832 | 73443 1 | 5 | 808 537.65/537.85 c 534s | 15 | 842738 | 106332 | 73443 1 | 5 | 808 539.95/540.12 c 537s | 15 | 846478 | 106732 | 73443 1 | 5 | 808 542.45/542.60 c 539s | 15 | 851274 | 107132 | 73443 1 | 5 | 808 544.55/544.72 c 541s | 15 | 855123 | 107532 | 73443 1 | 5 | 808 546.64/546.89 c 543s | 15 | 859374 | 108132 | 73443 1 | 5 | 808 549.14/549.36 c 546s | 15 | 864108 | 108532 | 73443 1 | 5 | 808 551.24/551.44 c 548s | 15 | 866864 | 108932 | 73443 1 | 5 | 808 553.73/553.96 c 550s | 15 | 870432 | 109532 | 73443 1 | 5 | 808 558.43/558.69 c 555s | 15 | 871850 | 109732 | 73443 2 | 5 | 808 560.83/561.08 c 558s | 15 | 874702 | 110332 | 73443 2 | 5 | 808 563.43/563.60 c 560s | 15 | 878487 | 110832 | 73443 2 | 5 | 808 565.73/565.94 c 562s | 15 | 881468 | 111332 | 73443 2 | 5 | 808 567.93/568.18 c 565s | 15 | 884798 | 111932 | 73443 2 | 5 | 808 570.03/570.26 c 567s | 15 | 887731 | 112432 | 73443 2 | 5 | 808 572.52/572.76 c 569s | 15 | 891450 | 113032 | 73443 2 | 5 | 808 574.92/575.18 c 572s | 15 | 894541 | 113532 | 73443 2 | 5 | 808 577.02/577.20 c 574s | 15 | 897384 | 114032 | 73443 2 | 5 | 808 579.12/579.31 c 576s | 15 | 899404 | 114532 | 73443 2 | 5 | 808 581.42/581.69 c 578s | 15 | 902919 | 115032 | 73443 2 | 5 | 808 583.52/583.74 c 580s | 15 | 904227 | 115432 | 73443 2 | 5 | 808 585.72/585.94 c 582s | 15 | 906335 | 115932 | 73443 2 | 5 | 808 588.02/588.20 c 585s | 15 | 909411 | 116532 | 73443 2 | 5 | 808 590.02/590.22 c 587s | 15 | 912031 | 117032 | 73443 2 | 5 | 808 592.21/592.46 c 589s | 15 | 915092 | 117632 | 73443 2 | 5 | 808 594.51/594.72 c 591s | 15 | 917824 | 118232 | 73443 2 | 5 | 808 596.71/596.92 c 593s | 15 | 919517 | 118732 | 73443 2 | 5 | 808 598.81/599.04 c 595s | 15 | 921654 | 119332 | 73443 2 | 5 | 808 600.81/601.07 c 598s | 15 | 922910 | 119832 | 73443 2 | 5 | 808 603.00/603.22 c 600s | 15 | 924768 | 120432 | 73443 2 | 5 | 808 605.30/605.51 c 602s | 15 | 926343 | 121032 | 73443 2 | 5 | 808 607.31/607.59 c 604s | 15 | 927514 | 121632 | 73443 2 | 5 | 808 609.70/609.99 c 606s | 15 | 930069 | 122232 | 73443 2 | 5 | 808 611.91/612.10 c 609s | 15 | 931954 | 122732 | 73443 2 | 5 | 808 616.80/617.08 c 614s | 15 | 934634 | 123232 | 73443 2 | 5 | 808 619.00/619.22 c 616s | 15 | 936653 | 123732 | 73443 2 | 5 | 808 621.00/621.23 c 618s | 15 | 939208 | 124232 | 73443 2 | 5 | 808 623.30/623.55 c 620s | 15 | 941830 | 124832 | 73443 2 | 5 | 808 625.40/625.61 c 622s | 15 | 944384 | 125332 | 73443 2 | 5 | 808 627.80/628.00 c 624s | 15 | 945843 | 125932 | 73443 2 | 5 | 808 629.90/630.13 c 627s | 15 | 947324 | 126432 | 73443 2 | 5 | 808 632.00/632.27 c 629s | 15 | 949058 | 126932 | 73443 2 | 5 | 808 634.30/634.53 c 631s | 15 | 950800 | 127532 | 73443 2 | 5 | 808 636.50/636.73 c 633s | 15 | 952020 | 128032 | 73443 2 | 5 | 808 638.70/638.90 c 635s | 15 | 952954 | 128532 | 73443 2 | 5 | 808 640.80/641.05 c 637s | 15 | 954195 | 129132 | 73443 2 | 5 | 808 643.00/643.22 c 640s | 15 | 955754 | 129732 | 73443 2 | 5 | 808 645.09/645.39 c 642s | 15 | 957490 | 130332 | 73443 2 | 5 | 808 647.39/647.69 c 644s | 15 | 958923 | 130932 | 80788 2 | 5 | 808 649.59/649.80 c 646s | 15 | 960186 | 131432 | 80788 2 | 5 | 808 649.89/650.19 c 647s | 16 | 960456 | 131552 | 80788 2 | 5 | 808 652.40/652.62 c 649s | 16 | 961839 | 131652 | 80788 2 | 5 | 808 654.50/654.78 c 651s | 16 | 963517 | 131952 | 80788 2 | 5 | 808 656.70/656.90 c 653s | 16 | 965149 | 132352 | 80788 2 | 5 | 808 659.19/659.45 c 656s | 16 | 968138 | 132852 | 80788 2 | 5 | 808 661.69/661.92 c 658s | 16 | 971717 | 133252 | 80788 2 | 5 | 808 664.19/664.48 c 661s | 16 | 974745 | 133652 | 80788 2 | 5 | 808 666.39/666.69 c 663s | 16 | 977405 | 133952 | 80788 2 | 5 | 808 668.69/668.97 c 665s | 16 | 980140 | 134252 | 80788 2 | 5 | 808 670.69/670.98 c 667s | 16 | 981371 | 134652 | 80788 2 | 5 | 808 672.88/673.13 c 670s | 16 | 983749 | 135052 | 80788 2 | 5 | 808 675.08/675.32 c 672s | 16 | 987974 | 135452 | 80788 2 | 5 | 808 677.48/677.73 c 674s | 16 | 992275 | 135852 | 80788 2 | 5 | 808 679.68/679.98 c 676s | 16 | 994685 | 136152 | 80788 2 | 5 | 808 681.77/682.03 c 678s | 16 | 998859 | 136452 | 80788 2 | 5 | 808 683.77/684.06 c 681s | 16 | 1002471 | 136752 | 80788 2 | 5 | 808 686.38/686.64 c 683s | 16 | 1006087 | 137152 | 80788 2 | 5 | 808 688.68/688.92 c 685s | 16 | 1010394 | 137552 | 80788 2 | 5 | 808 690.67/690.94 c 687s | 16 | 1013145 | 138152 | 80788 2 | 5 | 808 692.77/693.05 c 689s | 16 | 1015305 | 138552 | 80788 2 | 5 | 808 694.97/695.28 c 692s | 16 | 1020364 | 138952 | 80788 2 | 5 | 808 697.47/697.78 c 694s | 16 | 1023299 | 139352 | 80788 2 | 5 | 808 700.06/700.34 c 697s | 16 | 1026982 | 139752 | 80788 2 | 5 | 808 702.46/702.70 c 699s | 16 | 1029320 | 140152 | 80788 2 | 5 | 808 704.56/704.88 c 701s | 16 | 1031594 | 140652 | 80788 2 | 5 | 808 706.86/707.17 c 704s | 16 | 1033342 | 141052 | 80788 2 | 5 | 808 709.26/709.50 c 706s | 16 | 1036052 | 141452 | 80788 2 | 5 | 808 711.66/711.96 c 708s | 16 | 1040164 | 141852 | 80788 2 | 5 | 808 713.75/714.05 c 710s | 16 | 1043337 | 142152 | 80788 2 | 5 | 808 715.95/716.30 c 713s | 16 | 1048004 | 142552 | 80788 2 | 5 | 808 718.05/718.36 c 715s | 16 | 1050815 | 143052 | 80788 2 | 5 | 808 720.05/720.36 c 717s | 16 | 1053650 | 143452 | 80788 2 | 5 | 808 722.65/722.94 c 719s | 16 | 1058132 | 143852 | 80788 2 | 5 | 808 725.04/725.38 c 722s | 16 | 1061767 | 144252 | 80788 2 | 5 | 808 727.44/727.72 c 724s | 16 | 1065202 | 144652 | 80788 2 | 5 | 808 729.45/729.79 c 726s | 16 | 1068629 | 145052 | 80788 2 | 5 | 808 731.65/731.93 c 728s | 16 | 1071192 | 145552 | 80788 2 | 5 | 808 733.94/734.28 c 731s | 16 | 1074728 | 145952 | 80788 2 | 5 | 808 736.14/736.43 c 733s | 16 | 1078423 | 146452 | 80788 2 | 5 | 808 738.44/738.76 c 735s | 16 | 1081778 | 146952 | 80788 2 | 5 | 808 740.54/740.80 c 737s | 16 | 1085211 | 147352 | 80788 2 | 5 | 808 742.64/742.92 c 739s | 16 | 1087988 | 147652 | 80788 2 | 5 | 808 744.94/745.26 c 742s | 16 | 1091677 | 148052 | 80788 2 | 5 | 808 747.04/747.38 c 744s | 16 | 1094097 | 148452 | 80788 2 | 5 | 808 749.34/749.61 c 746s | 16 | 1097002 | 149052 | 80788 2 | 5 | 808 751.63/751.98 c 748s | 16 | 1100485 | 149452 | 80788 2 | 5 | 808 754.03/754.34 c 751s | 16 | 1102656 | 150052 | 80788 2 | 5 | 808 756.33/756.68 c 753s | 16 | 1104820 | 150452 | 80788 2 | 5 | 808 758.83/759.16 c 756s | 16 | 1108047 | 150852 | 80788 2 | 5 | 808 761.03/761.31 c 758s | 16 | 1111925 | 151252 | 80788 2 | 5 | 808 763.13/763.40 c 760s | 16 | 1115829 | 151752 | 80788 2 | 5 | 808 765.43/765.80 c 762s | 16 | 1119309 | 152252 | 80788 2 | 5 | 808 767.63/767.94 c 764s | 16 | 1122533 | 152652 | 80788 2 | 5 | 808 769.83/770.14 c 767s | 16 | 1124855 | 153252 | 80788 2 | 5 | 808 772.13/772.45 c 769s | 16 | 1128694 | 153752 | 80788 2 | 5 | 808 774.52/774.83 c 771s | 16 | 1130840 | 154252 | 80788 2 | 5 | 808 776.63/776.92 c 773s | 16 | 1132624 | 154752 | 80788 2 | 5 | 808 779.32/779.65 c 776s | 16 | 1134227 | 155052 | 80788 3 | 5 | 808 781.52/781.85 c 778s | 16 | 1136857 | 155452 | 80788 3 | 5 | 808 787.53/787.85 c 784s | 16 | 1137264 | 155552 | 80788 3 | 5 | 808 789.73/790.10 c 787s | 16 | 1140088 | 156152 | 80788 3 | 5 | 808 792.12/792.42 c 789s | 16 | 1143670 | 156652 | 80788 3 | 5 | 808 794.42/794.79 c 791s | 16 | 1146778 | 157252 | 80788 3 | 5 | 808 796.62/796.99 c 793s | 16 | 1150688 | 157852 | 80788 3 | 5 | 808 798.82/799.15 c 796s | 16 | 1153282 | 158352 | 80788 3 | 5 | 808 800.92/801.21 c 798s | 16 | 1156269 | 158952 | 80788 3 | 5 | 808 803.02/803.37 c 800s | 16 | 1158824 | 159552 | 80788 3 | 5 | 808 816.40/816.75 c 813s | 16 | 1161485 | 160052 | 80788 3 | 5 | 808 818.50/818.80 c 815s | 16 | 1162777 | 160552 | 80788 3 | 5 | 808 820.61/820.95 c 817s | 16 | 1164565 | 161052 | 80788 3 | 5 | 808 822.80/823.17 c 820s | 16 | 1167053 | 161652 | 80788 3 | 5 | 808 825.00/825.35 c 822s | 16 | 1169255 | 162252 | 80788 3 | 5 | 808 827.10/827.47 c 824s | 16 | 1171343 | 162952 | 80788 3 | 5 | 808 829.20/829.55 c 826s | 16 | 1173799 | 163552 | 80788 3 | 5 | 808 831.39/831.70 c 828s | 16 | 1175529 | 164252 | 80788 3 | 5 | 808 833.39/833.77 c 830s | 16 | 1177036 | 164952 | 80788 3 | 5 | 808 836.50/836.83 c 833s | 16 | 1178665 | 165652 | 80788 3 | 5 | 808 838.90/839.27 c 836s | 16 | 1180254 | 165852 | 80788 3 | 5 | 808 841.29/841.69 c 838s | 16 | 1184139 | 166252 | 80788 3 | 5 | 808 843.70/844.05 c 840s | 16 | 1186395 | 166752 | 80788 3 | 5 | 808 846.19/846.50 c 843s | 16 | 1189656 | 167252 | 80788 3 | 5 | 808 848.59/848.98 c 845s | 16 | 1194473 | 167652 | 80788 3 | 5 | 808 850.69/851.06 c 848s | 16 | 1196567 | 167952 | 80788 3 | 5 | 808 852.69/853.09 c 850s | 16 | 1198386 | 168452 | 80788 3 | 5 | 808 854.99/855.30 c 852s | 16 | 1201305 | 168852 | 80788 3 | 5 | 808 857.29/857.65 c 854s | 16 | 1205000 | 169252 | 80788 3 | 5 | 808 859.88/860.20 c 857s | 16 | 1209047 | 169652 | 80788 3 | 5 | 808 862.08/862.45 c 859s | 16 | 1210787 | 170052 | 80788 3 | 5 | 808 864.08/864.49 c 861s | 16 | 1213660 | 170552 | 80788 3 | 5 | 808 866.28/866.66 c 863s | 16 | 1217388 | 171052 | 80788 3 | 5 | 808 868.38/868.72 c 865s | 16 | 1220005 | 171352 | 80788 3 | 5 | 808 870.68/871.07 c 868s | 16 | 1223227 | 171752 | 80788 3 | 5 | 808 873.08/873.46 c 870s | 16 | 1226104 | 172352 | 80788 3 | 5 | 808 875.68/876.08 c 873s | 16 | 1230695 | 172852 | 80788 3 | 5 | 808 878.28/878.64 c 875s | 16 | 1234114 | 173252 | 80788 3 | 5 | 808 880.38/880.71 c 877s | 16 | 1236453 | 173752 | 80788 3 | 5 | 808 882.67/883.03 c 879s | 16 | 1238342 | 174152 | 80788 3 | 5 | 808 885.07/885.50 c 882s | 16 | 1241852 | 174552 | 80788 3 | 5 | 808 887.27/887.66 c 884s | 16 | 1245002 | 175152 | 80788 3 | 5 | 808 889.47/889.84 c 886s | 16 | 1248207 | 175552 | 80788 3 | 5 | 808 891.77/892.17 c 889s | 16 | 1251764 | 175952 | 80788 3 | 5 | 808 893.97/894.34 c 891s | 16 | 1253395 | 176452 | 80788 3 | 5 | 808 896.38/896.77 c 893s | 16 | 1256476 | 176952 | 80788 3 | 5 | 808 898.58/898.93 c 895s | 16 | 1259688 | 177352 | 80788 3 | 5 | 808 900.78/901.19 c 898s | 16 | 1262506 | 177952 | 80788 3 | 5 | 808 903.17/903.59 c 900s | 16 | 1265928 | 178452 | 80788 3 | 5 | 808 905.77/906.12 c 903s | 16 | 1268284 | 178852 | 80788 3 | 5 | 808 907.77/908.17 c 905s | 16 | 1270578 | 179352 | 80788 3 | 5 | 808 910.06/910.40 c 907s | 16 | 1273369 | 179752 | 80788 3 | 5 | 808 912.36/912.76 c 909s | 16 | 1275888 | 180352 | 80788 3 | 5 | 808 914.66/915.03 c 911s | 16 | 1277564 | 180752 | 80788 3 | 5 | 808 916.86/917.20 c 914s | 16 | 1279396 | 181252 | 80788 3 | 5 | 808 919.36/919.73 c 916s | 16 | 1281840 | 181752 | 80788 3 | 5 | 808 921.56/921.96 c 918s | 16 | 1284662 | 182152 | 80788 3 | 5 | 808 923.96/924.37 c 921s | 16 | 1286908 | 182652 | 80788 3 | 5 | 808 926.16/926.52 c 923s | 16 | 1289760 | 183252 | 80788 3 | 5 | 808 928.45/928.87 c 925s | 16 | 1292319 | 183752 | 80788 3 | 5 | 808 930.56/930.94 c 927s | 16 | 1294316 | 184252 | 80788 3 | 5 | 808 932.66/933.08 c 930s | 16 | 1296058 | 184752 | 80788 3 | 5 | 808 935.15/935.52 c 932s | 16 | 1299059 | 185352 | 80788 3 | 5 | 808 937.55/937.91 c 934s | 16 | 1301623 | 185952 | 80788 3 | 5 | 808 939.65/940.08 c 937s | 16 | 1304559 | 186552 | 80788 3 | 5 | 808 941.85/942.28 c 939s | 16 | 1306981 | 187152 | 80788 3 | 5 | 808 943.95/944.38 c 941s | 16 | 1308347 | 187652 | 80788 3 | 5 | 808 946.15/946.56 c 943s | 16 | 1309845 | 188252 | 80788 3 | 5 | 808 948.45/948.87 c 945s | 16 | 1311782 | 188852 | 80788 3 | 5 | 808 950.65/951.08 c 948s | 16 | 1313707 | 189552 | 80788 3 | 5 | 808 953.05/953.49 c 950s | 16 | 1315767 | 190252 | 80788 3 | 5 | 808 955.76/956.11 c 953s | 16 | 1319415 | 190652 | 80788 3 | 5 | 808 957.96/958.35 c 955s | 16 | 1323063 | 191152 | 80788 3 | 5 | 808 960.35/960.72 c 957s | 16 | 1326106 | 191652 | 80788 3 | 5 | 808 962.45/962.84 c 959s | 16 | 1328902 | 191952 | 80788 3 | 5 | 808 964.65/965.08 c 962s | 16 | 1332376 | 192252 | 80788 3 | 5 | 808 966.75/967.16 c 964s | 16 | 1335263 | 192552 | 80788 3 | 5 | 808 969.05/969.42 c 966s | 16 | 1337067 | 192952 | 80788 3 | 5 | 808 971.25/971.69 c 968s | 16 | 1340354 | 193452 | 80788 3 | 5 | 808 973.74/974.16 c 971s | 16 | 1343183 | 193852 | 80788 3 | 5 | 808 975.84/976.29 c 973s | 16 | 1346025 | 194152 | 80788 3 | 5 | 808 978.04/978.49 c 975s | 16 | 1349508 | 194452 | 80788 3 | 5 | 808 980.14/980.57 c 977s | 16 | 1352987 | 194752 | 80788 3 | 5 | 808 982.33/982.72 c 979s | 16 | 1355639 | 195052 | 80788 3 | 5 | 808 984.63/985.06 c 982s | 16 | 1357955 | 195552 | 80788 3 | 5 | 808 987.13/987.55 c 984s | 16 | 1360763 | 195952 | 80788 3 | 5 | 808 990.23/990.66 c 987s | 16 | 1362547 | 196152 | 88867 4 | 5 | 808 992.83/993.28 c 990s | 16 | 1365831 | 196452 | 88867 4 | 5 | 808 995.03/995.49 c 992s | 16 | 1366818 | 196552 | 88867 4 | 5 | 808 997.23/997.66 c 994s | 16 | 1370634 | 196952 | 88867 4 | 5 | 808 999.23/999.67 c 996s | 17 | 1373038 | 197432 | 88867 4 | 5 | 808 1001.33/1001.79 c 998s | 17 | 1376007 | 197832 | 88867 4 | 5 | 808 1003.63/1004.00 c 1000s | 17 | 1378706 | 198332 | 88867 4 | 5 | 808 1005.83/1006.29 c 1003s | 17 | 1381537 | 198732 | 88867 4 | 5 | 808 1023.93/1024.33 c 1021s | 17 | 1384270 | 199032 | 88867 4 | 5 | 808 1025.92/1026.35 c 1023s | 17 | 1387413 | 199332 | 88867 4 | 5 | 808 1028.12/1028.58 c 1025s | 17 | 1390512 | 199732 | 88867 4 | 5 | 808 1030.52/1030.98 c 1027s | 17 | 1392736 | 200332 | 88867 4 | 5 | 808 1032.52/1032.98 c 1029s | 17 | 1396303 | 200732 | 88867 4 | 5 | 808 1034.92/1035.33 c 1032s | 17 | 1399325 | 201132 | 88867 4 | 5 | 808 1036.92/1037.34 c 1034s | 17 | 1402536 | 201432 | 88867 4 | 5 | 808 1039.02/1039.46 c 1036s | 17 | 1405229 | 201932 | 88867 4 | 5 | 808 1041.22/1041.68 c 1038s | 17 | 1408497 | 202432 | 88867 4 | 5 | 808 1043.82/1044.25 c 1041s | 17 | 1410833 | 202832 | 88867 4 | 5 | 808 1046.41/1046.83 c 1043s | 17 | 1414938 | 203232 | 88867 4 | 5 | 808 1048.91/1049.33 c 1046s | 17 | 1419204 | 203632 | 88867 4 | 5 | 808 1051.01/1051.40 c 1048s | 17 | 1424409 | 204032 | 88867 4 | 5 | 808 1053.21/1053.66 c 1050s | 17 | 1427470 | 204632 | 88867 4 | 5 | 808 1055.21/1055.67 c 1052s | 17 | 1429827 | 205032 | 88867 4 | 5 | 808 1057.52/1057.93 c 1054s | 17 | 1432835 | 205432 | 88867 4 | 5 | 808 1060.02/1060.43 c 1057s | 17 | 1436539 | 205832 | 88867 4 | 5 | 808 1062.32/1062.72 c 1059s | 17 | 1440775 | 206232 | 88867 4 | 5 | 808 1064.62/1065.04 c 1061s | 17 | 1443430 | 206632 | 88867 4 | 5 | 808 1066.72/1067.18 c 1064s | 17 | 1446919 | 207032 | 88867 4 | 5 | 808 1068.92/1069.36 c 1066s | 17 | 1450000 | 207632 | 88867 4 | 5 | 808 1071.42/1071.89 c 1068s | 17 | 1454993 | 208132 | 88867 4 | 5 | 808 1073.71/1074.17 c 1071s | 17 | 1459135 | 208532 | 88867 4 | 5 | 808 1075.72/1076.18 c 1073s | 17 | 1462103 | 208932 | 88867 4 | 5 | 808 1078.11/1078.54 c 1075s | 17 | 1465966 | 209632 | 88867 4 | 5 | 808 1080.21/1080.69 c 1077s | 17 | 1470789 | 210032 | 88867 4 | 5 | 808 1082.71/1083.16 c 1080s | 17 | 1474868 | 210432 | 88867 4 | 5 | 808 1085.01/1085.44 c 1082s | 17 | 1478088 | 210832 | 88867 4 | 5 | 808 1087.41/1087.86 c 1084s | 17 | 1480700 | 211432 | 88867 4 | 5 | 808 1089.92/1090.37 c 1087s | 17 | 1483841 | 211932 | 88867 4 | 5 | 808 1092.01/1092.47 c 1089s | 17 | 1487147 | 212532 | 88867 4 | 5 | 808 1094.61/1095.02 c 1091s | 17 | 1491058 | 213032 | 88867 4 | 5 | 808 1096.71/1097.18 c 1094s | 17 | 1494813 | 213432 | 88867 4 | 5 | 808 1098.82/1099.29 c 1096s | 17 | 1497587 | 213832 | 88867 4 | 5 | 808 1100.91/1101.33 c 1098s | 17 | 1500772 | 214432 | 88867 4 | 5 | 808 1103.21/1103.65 c 1100s | 17 | 1504614 | 214932 | 88867 4 | 5 | 808 1105.51/1105.98 c 1102s | 17 | 1508106 | 215332 | 88867 4 | 5 | 808 1107.81/1108.26 c 1105s | 17 | 1511204 | 215832 | 88867 4 | 5 | 808 1110.21/1110.60 c 1107s | 17 | 1513992 | 216432 | 88867 4 | 5 | 808 1112.21/1112.66 c 1109s | 17 | 1518324 | 216832 | 88867 4 | 5 | 808 1114.71/1115.16 c 1112s | 17 | 1522070 | 217232 | 88867 4 | 5 | 808 1117.01/1117.43 c 1114s | 17 | 1524274 | 217832 | 88867 4 | 5 | 808 1119.30/1119.70 c 1116s | 17 | 1526408 | 218232 | 88867 4 | 5 | 808 1121.50/1121.98 c 1118s | 17 | 1529113 | 218832 | 88867 4 | 5 | 808 1124.11/1124.56 c 1121s | 17 | 1533821 | 219332 | 88867 4 | 5 | 808 1126.40/1126.86 c 1123s | 17 | 1536680 | 219932 | 88867 4 | 5 | 808 1128.70/1129.17 c 1126s | 17 | 1539912 | 220432 | 88867 4 | 5 | 808 1130.90/1131.33 c 1128s | 17 | 1543232 | 220832 | 88867 4 | 5 | 808 1133.00/1133.45 c 1130s | 17 | 1545077 | 221332 | 88867 4 | 5 | 808 1135.01/1135.49 c 1132s | 17 | 1547575 | 221732 | 88867 4 | 5 | 808 1137.40/1137.81 c 1134s | 17 | 1550659 | 222332 | 88867 4 | 5 | 808 1139.51/1139.94 c 1136s | 17 | 1553648 | 222832 | 88867 4 | 5 | 808 1141.61/1142.08 c 1139s | 17 | 1557270 | 223332 | 88867 4 | 5 | 808 1143.81/1144.23 c 1141s | 17 | 1559981 | 223932 | 88867 4 | 5 | 808 1145.90/1146.37 c 1143s | 17 | 1562179 | 224432 | 88867 4 | 5 | 808 1148.21/1148.65 c 1145s | 17 | 1564504 | 224932 | 88867 4 | 5 | 808 1150.70/1151.18 c 1148s | 17 | 1566907 | 225532 | 88867 4 | 5 | 808 1153.20/1153.63 c 1150s | 17 | 1570515 | 226232 | 88867 4 | 5 | 808 1155.40/1155.88 c 1152s | 17 | 1572483 | 226832 | 88867 4 | 5 | 808 1157.70/1158.12 c 1155s | 17 | 1575056 | 227432 | 88867 4 | 5 | 808 1159.90/1160.33 c 1157s | 17 | 1577900 | 228032 | 88867 4 | 5 | 808 1162.10/1162.52 c 1159s | 17 | 1579985 | 228632 | 88867 4 | 5 | 808 1164.30/1164.79 c 1161s | 17 | 1581921 | 229332 | 88867 4 | 5 | 808 1166.60/1167.01 c 1163s | 17 | 1583795 | 229932 | 88867 4 | 5 | 808 1168.60/1169.03 c 1165s | 17 | 1585621 | 230532 | 88867 4 | 5 | 808 1170.60/1171.08 c 1168s | 17 | 1587259 | 231332 | 88867 4 | 5 | 808 1172.80/1173.23 c 1170s | 17 | 1589997 | 232032 | 88867 4 | 5 | 808 1174.90/1175.34 c 1172s | 17 | 1592734 | 232332 | 88867 4 | 5 | 808 1177.10/1177.59 c 1174s | 17 | 1595433 | 232732 | 88867 4 | 5 | 808 1179.30/1179.73 c 1176s | 17 | 1597667 | 233232 | 88867 4 | 5 | 808 1181.70/1182.14 c 1179s | 17 | 1601057 | 233732 | 88867 4 | 5 | 808 1184.00/1184.45 c 1181s | 17 | 1603122 | 234032 | 88867 4 | 5 | 808 1186.19/1186.65 c 1183s | 17 | 1606414 | 234332 | 88867 4 | 5 | 808 1188.29/1188.78 c 1185s | 17 | 1610112 | 234632 | 88867 4 | 5 | 808 1190.79/1191.22 c 1188s | 17 | 1614612 | 235032 | 88867 4 | 5 | 808 1193.09/1193.57 c 1190s | 17 | 1617683 | 235432 | 88867 4 | 5 | 808 1195.19/1195.69 c 1192s | 17 | 1619416 | 235932 | 88867 4 | 5 | 808 1197.39/1197.83 c 1194s | 17 | 1622395 | 236332 | 88867 4 | 5 | 808 1199.59/1200.02 c 1196s | 17 | 1626534 | 236732 | 88867 4 | 5 | 808 1201.69/1202.12 c 1199s | 17 | 1630679 | 237032 | 88867 4 | 5 | 808 1203.99/1204.42 c 1201s | 17 | 1633192 | 237332 | 88867 4 | 5 | 808 1205.99/1206.42 c 1203s | 17 | 1635446 | 237632 | 88867 4 | 5 | 808 1208.29/1208.78 c 1205s | 17 | 1638873 | 238132 | 88867 4 | 5 | 808 1210.69/1211.13 c 1208s | 17 | 1642064 | 238632 | 88867 4 | 5 | 808 1213.20/1213.64 c 1210s | 17 | 1645982 | 239032 | 88867 4 | 5 | 808 1215.40/1215.81 c 1212s | 17 | 1649732 | 239332 | 88867 4 | 5 | 808 1217.49/1217.97 c 1214s | 17 | 1652743 | 239632 | 88867 4 | 5 | 808 1219.79/1220.22 c 1217s | 17 | 1656737 | 240132 | 88867 4 | 5 | 808 1221.99/1222.48 c 1219s | 17 | 1659536 | 240632 | 88867 4 | 5 | 808 1224.49/1224.91 c 1221s | 17 | 1663706 | 241032 | 88867 4 | 5 | 808 1226.59/1227.02 c 1223s | 17 | 1666415 | 241332 | 88867 4 | 5 | 808 1229.19/1229.64 c 1226s | 17 | 1670738 | 241732 | 88867 4 | 5 | 808 1231.49/1231.90 c 1228s | 17 | 1674660 | 242132 | 88867 4 | 5 | 808 1233.59/1234.07 c 1231s | 17 | 1676761 | 242632 | 88867 4 | 5 | 808 1235.69/1236.12 c 1233s | 17 | 1679735 | 243032 | 88867 4 | 5 | 808 1238.18/1238.61 c 1235s | 17 | 1682768 | 243432 | 88867 4 | 5 | 808 1240.18/1240.63 c 1237s | 17 | 1685923 | 243732 | 88867 4 | 5 | 808 1242.68/1243.17 c 1240s | 17 | 1690644 | 244132 | 88867 4 | 5 | 808 1244.78/1245.29 c 1242s | 17 | 1693271 | 244532 | 88867 4 | 5 | 808 1246.98/1247.40 c 1244s | 17 | 1695076 | 245032 | 88867 4 | 5 | 808 1249.98/1250.44 c 1247s | 17 | 1697857 | 245332 | 88867 5 | 5 | 808 1252.38/1252.86 c 1249s | 17 | 1703116 | 245732 | 88867 5 | 5 | 808 1254.48/1254.96 c 1251s | 17 | 1706935 | 246132 | 88867 5 | 5 | 808 1256.78/1257.25 c 1254s | 17 | 1710472 | 246832 | 88867 5 | 5 | 808 1258.98/1259.43 c 1256s | 17 | 1715119 | 247332 | 88867 5 | 5 | 808 1260.98/1261.44 c 1258s | 17 | 1718494 | 247932 | 88867 5 | 5 | 808 1263.28/1263.71 c 1260s | 17 | 1722379 | 248432 | 88867 5 | 5 | 808 1265.29/1265.78 c 1262s | 17 | 1726670 | 248832 | 88867 5 | 5 | 808 1267.29/1267.78 c 1264s | 17 | 1731117 | 249332 | 88867 5 | 5 | 808 1269.39/1269.82 c 1266s | 17 | 1734194 | 249932 | 88867 5 | 5 | 808 1271.39/1271.83 c 1268s | 17 | 1737576 | 250432 | 88867 5 | 5 | 808 1273.59/1274.07 c 1271s | 17 | 1742512 | 251032 | 88867 5 | 5 | 808 1276.19/1276.65 c 1273s | 17 | 1746877 | 251532 | 88867 5 | 5 | 808 1278.38/1278.83 c 1275s | 17 | 1750010 | 251932 | 88867 5 | 5 | 808 1280.38/1280.87 c 1277s | 17 | 1754355 | 252532 | 88867 5 | 5 | 808 1282.78/1283.28 c 1280s | 17 | 1757920 | 253132 | 88867 5 | 5 | 808 1284.88/1285.32 c 1282s | 17 | 1760064 | 253632 | 88867 5 | 5 | 808 1287.18/1287.67 c 1284s | 17 | 1762660 | 254132 | 88867 5 | 5 | 808 1289.38/1289.87 c 1286s | 17 | 1766504 | 254732 | 88867 5 | 5 | 808 1291.78/1292.21 c 1289s | 17 | 1769966 | 255232 | 88867 5 | 5 | 808 1294.18/1294.60 c 1291s | 17 | 1772791 | 255932 | 88867 5 | 5 | 808 1296.18/1296.60 c 1293s | 17 | 1775265 | 256332 | 88867 5 | 5 | 808 1298.58/1299.01 c 1295s | 17 | 1779001 | 257032 | 88867 5 | 5 | 808 1300.88/1301.32 c 1298s | 17 | 1782936 | 257732 | 88867 5 | 5 | 808 1302.88/1303.38 c 1300s | 17 | 1785975 | 258232 | 88867 5 | 5 | 808 1304.98/1305.46 c 1302s | 17 | 1788920 | 258832 | 88867 5 | 5 | 808 1307.08/1307.51 c 1304s | 17 | 1791710 | 259432 | 88867 5 | 5 | 808 1309.28/1309.73 c 1306s | 17 | 1794199 | 260032 | 88867 5 | 5 | 808 1311.28/1311.76 c 1308s | 17 | 1796294 | 260632 | 88867 5 | 5 | 808 1313.38/1313.87 c 1310s | 17 | 1799103 | 261332 | 88867 5 | 5 | 808 1315.49/1315.93 c 1312s | 17 | 1802125 | 262032 | 88867 5 | 5 | 808 1317.58/1318.09 c 1315s | 17 | 1804866 | 262832 | 88867 5 | 5 | 808 1319.68/1320.19 c 1317s | 17 | 1806497 | 263532 | 88867 5 | 5 | 808 1321.88/1322.32 c 1319s | 17 | 1808170 | 264432 | 88867 5 | 5 | 808 1328.07/1328.57 c 1325s | 17 | 1809948 | 264632 | 88867 5 | 5 | 808 1330.17/1330.69 c 1327s | 17 | 1812163 | 264932 | 88867 5 | 5 | 808 1332.37/1332.82 c 1329s | 17 | 1814748 | 265432 | 88867 5 | 5 | 808 1334.87/1335.34 c 1332s | 17 | 1817292 | 265932 | 88867 5 | 5 | 808 1337.27/1337.71 c 1334s | 17 | 1818060 | 266232 | 88867 5 | 5 | 808 1339.37/1339.84 c 1336s | 17 | 1820641 | 266532 | 88867 5 | 5 | 808 1341.67/1342.11 c 1339s | 17 | 1824421 | 266932 | 88867 5 | 5 | 808 1343.77/1344.24 c 1341s | 17 | 1826416 | 267432 | 88867 5 | 5 | 808 1345.87/1346.33 c 1343s | 17 | 1829440 | 267832 | 88867 5 | 5 | 808 1348.37/1348.87 c 1345s | 17 | 1834105 | 268232 | 88867 5 | 5 | 808 1350.67/1351.13 c 1348s | 17 | 1837839 | 268632 | 88867 5 | 5 | 808 1353.17/1353.63 c 1350s | 17 | 1843885 | 269132 | 88867 5 | 5 | 808 1355.67/1356.10 c 1353s | 17 | 1846622 | 269732 | 88867 5 | 5 | 808 1358.07/1358.59 c 1355s | 17 | 1852258 | 270232 | 88867 5 | 5 | 808 1360.57/1361.10 c 1358s | 17 | 1857186 | 270632 | 88867 5 | 5 | 808 1362.96/1363.47 c 1360s | 17 | 1861180 | 271232 | 88867 5 | 5 | 808 1365.26/1365.76 c 1362s | 17 | 1864294 | 271632 | 88867 5 | 5 | 808 1367.76/1368.26 c 1365s | 17 | 1867774 | 272032 | 88867 5 | 5 | 808 1370.16/1370.68 c 1367s | 17 | 1870949 | 272432 | 88867 5 | 5 | 808 1372.57/1373.03 c 1369s | 17 | 1873845 | 272932 | 88867 5 | 5 | 808 1374.88/1375.34 c 1372s | 17 | 1876202 | 273432 | 88867 5 | 5 | 808 1377.27/1377.71 c 1374s | 17 | 1879338 | 273832 | 88867 5 | 5 | 808 1379.47/1379.98 c 1376s | 17 | 1882821 | 274232 | 88867 5 | 5 | 808 1381.97/1382.47 c 1379s | 17 | 1885914 | 274832 | 88867 5 | 5 | 808 1384.17/1384.60 c 1381s | 17 | 1889082 | 275232 | 88867 5 | 5 | 808 1386.57/1387.09 c 1384s | 17 | 1892496 | 275632 | 88867 5 | 5 | 808 1388.77/1389.22 c 1386s | 17 | 1895492 | 276032 | 88867 5 | 5 | 808 1391.17/1391.60 c 1388s | 17 | 1898296 | 276632 | 88867 5 | 5 | 808 1393.37/1393.84 c 1390s | 17 | 1900703 | 277032 | 88867 5 | 5 | 808 1395.57/1396.06 c 1393s | 17 | 1905084 | 277632 | 88867 5 | 5 | 808 1397.77/1398.23 c 1395s | 17 | 1910374 | 278032 | 88867 5 | 5 | 808 1399.97/1400.47 c 1397s | 17 | 1912883 | 278532 | 88867 5 | 5 | 808 1401.97/1402.48 c 1399s | 17 | 1915258 | 278932 | 88867 5 | 5 | 808 1404.27/1404.79 c 1401s | 17 | 1917937 | 279332 | 88867 5 | 5 | 808 1406.57/1407.01 c 1403s | 17 | 1920620 | 279732 | 88867 5 | 5 | 808 1409.06/1409.54 c 1406s | 17 | 1923949 | 280332 | 88867 5 | 5 | 808 1411.26/1411.75 c 1408s | 17 | 1926365 | 280732 | 88867 5 | 5 | 808 1413.27/1413.79 c 1410s | 17 | 1928325 | 281232 | 88867 5 | 5 | 808 1415.47/1415.94 c 1412s | 17 | 1930561 | 281632 | 88867 5 | 5 | 808 1417.46/1417.97 c 1414s | 17 | 1933276 | 282032 | 88867 5 | 5 | 808 1419.56/1420.00 c 1416s | 17 | 1935637 | 282532 | 88867 5 | 5 | 808 1421.66/1422.17 c 1419s | 17 | 1938488 | 282932 | 88867 5 | 5 | 808 1424.06/1424.55 c 1421s | 17 | 1941412 | 283532 | 88867 5 | 5 | 808 1426.47/1426.98 c 1423s | 17 | 1944944 | 284032 | 88867 5 | 5 | 808 1428.86/1429.38 c 1426s | 17 | 1947094 | 284532 | 88867 5 | 5 | 808 1430.97/1431.46 c 1428s | 17 | 1949621 | 285032 | 88867 5 | 5 | 808 1433.17/1433.68 c 1430s | 17 | 1952379 | 285532 | 88867 5 | 5 | 808 1435.46/1435.99 c 1432s | 17 | 1954336 | 286132 | 88867 5 | 5 | 808 1437.96/1438.43 c 1435s | 17 | 1956746 | 286732 | 88867 5 | 5 | 808 1440.26/1440.70 c 1437s | 17 | 1958216 | 287232 | 88867 5 | 5 | 808 1442.36/1442.88 c 1439s | 17 | 1960372 | 287832 | 88867 5 | 5 | 808 1444.56/1445.02 c 1441s | 17 | 1961751 | 288332 | 88867 5 | 5 | 808 1446.56/1447.06 c 1444s | 17 | 1962891 | 288832 | 88867 5 | 5 | 808 1448.56/1449.09 c 1446s | 17 | 1963925 | 289332 | 88867 5 | 5 | 808 1451.06/1451.52 c 1448s | 17 | 1965494 | 289932 | 88867 5 | 5 | 808 1454.56/1455.05 c 1451s | 17 | 1966603 | 290532 | 88867 6 | 5 | 808 1456.66/1457.12 c 1454s | 17 | 1968086 | 291032 | 88867 6 | 5 | 808 1458.86/1459.36 c 1456s | 17 | 1970778 | 291532 | 88867 6 | 5 | 808 1461.36/1461.87 c 1458s | 17 | 1974141 | 291932 | 88867 6 | 5 | 808 1463.46/1463.93 c 1460s | 17 | 1976333 | 292232 | 88867 6 | 5 | 808 1465.56/1466.07 c 1463s | 17 | 1979558 | 292632 | 88867 6 | 5 | 808 1467.65/1468.10 c 1465s | 17 | 1982190 | 293132 | 88867 6 | 5 | 808 1469.65/1470.17 c 1467s | 17 | 1985304 | 293632 | 88867 6 | 5 | 808 1471.95/1472.49 c 1469s | 17 | 1987883 | 294032 | 88867 6 | 5 | 808 1474.05/1474.54 c 1471s | 17 | 1990195 | 294532 | 97754 6 | 5 | 808 1476.25/1476.77 c 1473s | 17 | 1992945 | 295032 | 97754 6 | 5 | 808 1478.65/1479.14 c 1476s | 17 | 1995957 | 295432 | 97754 6 | 5 | 808 1480.85/1481.33 c 1478s | 17 | 1998903 | 295832 | 97754 6 | 5 | 808 1482.45/1482.98 c 1479s | 18 | 2000170 | 296252 | 97754 6 | 5 | 808 1484.55/1485.04 c 1481s | 18 | 2002252 | 296452 | 97754 6 | 5 | 808 1486.96/1487.42 c 1484s | 18 | 2005461 | 296952 | 97754 6 | 5 | 808 1489.35/1489.81 c 1486s | 18 | 2008896 | 297352 | 97754 6 | 5 | 808 1538.65/1539.13 c 1536s | 18 | 2012369 | 297652 | 97754 6 | 5 | 808 1541.04/1541.51 c 1538s | 18 | 2015810 | 298152 | 97754 6 | 5 | 808 1543.34/1543.84 c 1540s | 18 | 2018706 | 298752 | 97754 6 | 5 | 808 1545.44/1545.92 c 1542s | 18 | 2022657 | 299152 | 97754 6 | 5 | 808 1547.74/1548.24 c 1545s | 18 | 2026824 | 299552 | 97754 6 | 5 | 808 1549.94/1550.40 c 1547s | 18 | 2029616 | 299852 | 97754 6 | 5 | 808 1552.64/1553.10 c 1550s | 18 | 2033964 | 300252 | 97754 6 | 5 | 808 1555.24/1555.79 c 1552s | 18 | 2038388 | 300652 | 97754 6 | 5 | 808 1557.64/1558.14 c 1555s | 18 | 2041455 | 301152 | 97754 6 | 5 | 808 1559.84/1560.32 c 1557s | 18 | 2042949 | 301652 | 97754 6 | 5 | 808 1562.04/1562.52 c 1559s | 18 | 2044683 | 302052 | 97754 6 | 5 | 808 1564.44/1564.92 c 1561s | 18 | 2047669 | 302452 | 97754 6 | 5 | 808 1566.93/1567.46 c 1564s | 18 | 2051300 | 302852 | 97754 6 | 5 | 808 1569.03/1569.52 c 1566s | 18 | 2053925 | 303152 | 97754 6 | 5 | 808 1571.23/1571.78 c 1568s | 18 | 2055450 | 303652 | 97754 6 | 5 | 808 1573.73/1574.26 c 1571s | 18 | 2059100 | 304152 | 97754 6 | 5 | 808 1576.14/1576.69 c 1573s | 18 | 2061880 | 304552 | 97754 6 | 5 | 808 1578.34/1578.86 c 1575s | 18 | 2067246 | 304952 | 97754 6 | 5 | 808 1580.74/1581.29 c 1578s | 18 | 2073516 | 305352 | 97754 6 | 5 | 808 1583.14/1583.69 c 1580s | 18 | 2077307 | 305752 | 97754 6 | 5 | 808 1585.44/1585.95 c 1582s | 18 | 2080885 | 306252 | 97754 6 | 5 | 808 1587.64/1588.15 c 1585s | 18 | 2083761 | 306752 | 97754 6 | 5 | 808 1589.84/1590.30 c 1587s | 18 | 2087940 | 307152 | 97754 6 | 5 | 808 1591.94/1592.40 c 1589s | 18 | 2090644 | 307452 | 97754 6 | 5 | 808 1594.04/1594.52 c 1591s | 18 | 2093496 | 307752 | 97754 6 | 5 | 808 1596.04/1596.57 c 1593s | 18 | 2095831 | 308152 | 97754 6 | 5 | 808 1598.34/1598.85 c 1595s | 18 | 2096837 | 308552 | 97754 6 | 5 | 808 1600.54/1601.06 c 1598s | 18 | 2099788 | 308952 | 97754 6 | 5 | 808 1603.14/1603.62 c 1600s | 18 | 2102976 | 309352 | 97754 6 | 5 | 808 1605.44/1605.93 c 1602s | 18 | 2105614 | 309752 | 97754 6 | 5 | 808 1607.84/1608.30 c 1605s | 18 | 2108244 | 310352 | 97754 6 | 5 | 808 1610.34/1610.85 c 1607s | 18 | 2111763 | 310852 | 97754 6 | 5 | 808 1612.83/1613.36 c 1610s | 18 | 2114847 | 311252 | 97754 6 | 5 | 808 1615.33/1615.81 c 1612s | 18 | 2119483 | 311652 | 97754 6 | 5 | 808 1617.53/1618.00 c 1614s | 18 | 2122148 | 312052 | 97754 6 | 5 | 808 1619.83/1620.35 c 1617s | 18 | 2123898 | 312652 | 97754 6 | 5 | 808 1622.24/1622.71 c 1619s | 18 | 2126027 | 313052 | 97754 6 | 5 | 808 1624.63/1625.15 c 1622s | 18 | 2128667 | 313452 | 97754 6 | 5 | 808 1626.93/1627.44 c 1624s | 18 | 2131435 | 314052 | 97754 6 | 5 | 808 1629.13/1629.63 c 1626s | 18 | 2134924 | 314452 | 97754 6 | 5 | 808 1631.23/1631.79 c 1628s | 18 | 2138274 | 314852 | 97754 6 | 5 | 808 1633.43/1633.99 c 1630s | 18 | 2141796 | 315452 | 97754 6 | 5 | 808 1635.93/1636.47 c 1633s | 18 | 2146999 | 315952 | 97754 6 | 5 | 808 1638.23/1638.72 c 1635s | 18 | 2150225 | 316352 | 97754 6 | 5 | 808 1640.53/1641.08 c 1638s | 18 | 2151894 | 316852 | 97754 6 | 5 | 808 1642.73/1643.25 c 1640s | 18 | 2154701 | 317252 | 97754 6 | 5 | 808 1645.13/1645.60 c 1642s | 18 | 2157836 | 317852 | 97754 6 | 5 | 808 1647.13/1647.66 c 1644s | 18 | 2160482 | 318252 | 97754 6 | 5 | 808 1649.32/1649.87 c 1646s | 18 | 2163923 | 318652 | 97754 6 | 5 | 808 1651.52/1652.02 c 1648s | 18 | 2166136 | 319152 | 97754 6 | 5 | 808 1653.92/1654.44 c 1651s | 18 | 2169803 | 319652 | 97754 6 | 5 | 808 1656.02/1656.56 c 1653s | 18 | 2173421 | 320052 | 97754 6 | 5 | 808 1658.22/1658.71 c 1655s | 18 | 2175833 | 320652 | 97754 6 | 5 | 808 1660.52/1661.03 c 1657s | 18 | 2179623 | 321152 | 97754 6 | 5 | 808 1662.62/1663.12 c 1660s | 18 | 2181143 | 321652 | 97754 6 | 5 | 808 1664.62/1665.13 c 1662s | 18 | 2183163 | 322052 | 97754 6 | 5 | 808 1666.92/1667.48 c 1664s | 18 | 2185666 | 322652 | 97754 6 | 5 | 808 1669.32/1669.87 c 1666s | 18 | 2188503 | 323152 | 97754 6 | 5 | 808 1671.32/1671.89 c 1668s | 18 | 2190193 | 323652 | 97754 6 | 5 | 808 1673.82/1674.31 c 1671s | 18 | 2193020 | 324152 | 97754 6 | 5 | 808 1676.32/1676.82 c 1673s | 18 | 2195169 | 324752 | 97754 6 | 5 | 808 1678.42/1678.94 c 1675s | 18 | 2196910 | 325252 | 97754 6 | 5 | 808 1680.52/1681.07 c 1678s | 18 | 2198791 | 325752 | 97754 6 | 5 | 808 1682.62/1683.15 c 1680s | 18 | 2200842 | 326252 | 97754 6 | 5 | 808 1684.81/1685.30 c 1682s | 18 | 2202018 | 326752 | 97754 6 | 5 | 808 1687.01/1687.53 c 1684s | 18 | 2204819 | 327352 | 97754 6 | 5 | 808 1689.11/1689.62 c 1686s | 18 | 2206966 | 327952 | 97754 6 | 5 | 808 1691.21/1691.77 c 1688s | 18 | 2208937 | 328552 | 97754 6 | 5 | 808 1693.61/1694.11 c 1691s | 18 | 2210876 | 329252 | 97754 6 | 5 | 808 1695.61/1696.17 c 1693s | 18 | 2212762 | 329952 | 97754 6 | 5 | 808 1698.22/1698.72 c 1695s | 18 | 2215560 | 330652 | 97754 6 | 5 | 808 1700.51/1701.03 c 1697s | 18 | 2217793 | 330952 | 97754 6 | 5 | 808 1702.71/1703.23 c 1700s | 18 | 2221357 | 331352 | 97754 6 | 5 | 808 1705.31/1705.83 c 1702s | 18 | 2224387 | 331952 | 97754 6 | 5 | 808 1707.71/1708.22 c 1705s | 18 | 2227622 | 332352 | 97754 6 | 5 | 808 1710.32/1710.85 c 1707s | 18 | 2231125 | 332752 | 97754 6 | 5 | 808 1712.52/1713.02 c 1709s | 18 | 2234425 | 333052 | 97754 6 | 5 | 808 1714.62/1715.16 c 1712s | 18 | 2237342 | 333352 | 97754 6 | 5 | 808 1716.92/1717.46 c 1714s | 18 | 2240403 | 333652 | 97754 6 | 5 | 808 1719.12/1719.64 c 1716s | 18 | 2243257 | 334152 | 97754 6 | 5 | 808 1721.51/1722.01 c 1718s | 18 | 2245621 | 334552 | 97754 6 | 5 | 808 1723.91/1724.49 c 1721s | 18 | 2249466 | 334952 | 97754 6 | 5 | 808 1726.61/1727.18 c 1724s | 18 | 2253496 | 335352 | 97754 6 | 5 | 808 1728.81/1729.36 c 1726s | 18 | 2256715 | 335652 | 97754 6 | 5 | 808 1731.01/1731.55 c 1728s | 18 | 2260093 | 335952 | 97754 6 | 5 | 808 1733.11/1733.65 c 1730s | 18 | 2264226 | 336252 | 97754 6 | 5 | 808 1735.21/1735.75 c 1732s | 18 | 2266127 | 336552 | 97754 6 | 5 | 808 1737.51/1738.03 c 1734s | 18 | 2269765 | 336952 | 97754 6 | 5 | 808 1739.61/1740.16 c 1737s | 18 | 2272263 | 337452 | 97754 6 | 5 | 808 1741.72/1742.28 c 1739s | 18 | 2275698 | 337852 | 97754 6 | 5 | 808 1744.42/1744.94 c 1741s | 18 | 2279555 | 338252 | 97754 6 | 5 | 808 1746.71/1747.29 c 1744s | 18 | 2283249 | 338552 | 97754 6 | 5 | 808 1748.91/1749.47 c 1746s | 18 | 2286201 | 338952 | 97754 6 | 5 | 808 1751.21/1751.71 c 1748s | 18 | 2287884 | 339452 | 97754 6 | 5 | 808 1753.61/1754.11 c 1751s | 18 | 2290722 | 339852 | 97754 6 | 5 | 808 1755.71/1756.22 c 1753s | 18 | 2292990 | 340152 | 97754 6 | 5 | 808 1757.81/1758.30 c 1755s | 18 | 2295820 | 340452 | 97754 6 | 5 | 808 1760.01/1760.58 c 1757s | 18 | 2299416 | 340752 | 97754 6 | 5 | 808 1762.11/1762.66 c 1759s | 18 | 2301535 | 341052 | 97754 6 | 5 | 808 1764.22/1764.79 c 1761s | 18 | 2303500 | 341552 | 97754 6 | 5 | 808 1766.71/1767.24 c 1764s | 18 | 2305937 | 341952 | 97754 6 | 5 | 808 1769.11/1769.65 c 1766s | 18 | 2309478 | 342352 | 97754 6 | 5 | 808 1771.61/1772.17 c 1769s | 18 | 2312779 | 342752 | 97754 6 | 5 | 808 1773.71/1774.21 c 1771s | 18 | 2316121 | 343052 | 97754 6 | 5 | 808 1775.91/1776.48 c 1773s | 18 | 2318653 | 343452 | 97754 6 | 5 | 808 1778.21/1778.72 c 1775s | 18 | 2320397 | 343952 | 97754 6 | 5 | 808 1780.31/1780.86 c 1777s | 18 | 2322880 | 344352 | 97754 6 | 5 | 808 1785.50/1786.07 c 1783s | 18 | 2326698 | 344752 | 97754 7 | 5 | 808 1788.10/1788.61 c 1785s | 18 | 2329116 | 345052 | 97754 7 | 5 | 808 1790.51/1791.09 c 1788s | 18 | 2331959 | 345452 | 97754 7 | 5 | 808 1792.71/1793.22 c 1790s | 18 | 2335028 | 345852 | 97754 7 | 5 | 808 1794.91/1795.45 c 1792s | 18 | 2338159 | 346452 | 97754 7 | 5 | 808 1797.11/1797.65 c 1794s | 18 | 2341955 | 346852 | 97754 7 | 5 | 808 1799.31/1799.85 c 1796s | 18 | 2344716 | 347352 | 97754 7 | 5 | 808
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-4098227-1466120033/watcher-4098227-1466120033 -o /tmp/evaluation-result-4098227-1466120033/solver-4098227-1466120033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098227-1466120033.opb pid=22235 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.13 2.09 3/179 22238 /proc/meminfo: memFree=30416080/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=763460 CPUtime=0 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 2856 0 0 0 0 0 0 0 20 0 4 0 14049927 781783040 2706 33554432000 4194304 16246674 140737081522768 140737081522192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 191377 2716 442 2943 0 188271 0 [pid=22238/tid=22239] ppid=22235 vsize=780868 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 799608832 2774 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=784964 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 803803136 2790 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=789060 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14049928 807997440 2807 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100176 s] /proc/loadavg: 2.12 2.13 2.09 3/179 22238 /proc/meminfo: memFree=30416080/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 27383 0 0 0 6 3 0 0 20 0 4 0 14049927 1333334016 27171 33554432000 4194304 16246674 140737081522768 140737081522080 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 325521 27184 801 2943 0 322415 0 [pid=22238/tid=22239] ppid=22235 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1333334016 27196 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1333334016 27205 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1333334016 27216 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200507 s] /proc/loadavg: 2.12 2.13 2.09 3/179 22238 /proc/meminfo: memFree=30416080/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 45412 0 0 0 13 6 0 0 20 0 4 0 14049927 1344868352 45710 33554432000 4194304 16246674 140737081522768 140737081522080 7361504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 328337 45710 802 2943 0 325231 0 [pid=22238/tid=22239] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 45710 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 45710 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 45710 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300482 s] /proc/loadavg: 2.12 2.13 2.09 3/179 22238 /proc/meminfo: memFree=30416080/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 62542 0 0 0 21 8 0 0 20 0 4 0 14049927 1344868352 62840 33554432000 4194304 16246674 140737081522768 140737081522080 7439612 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 328337 62840 802 2943 0 325231 0 [pid=22238/tid=22239] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 62840 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 62840 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 62840 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.70043 s] /proc/loadavg: 2.12 2.13 2.09 3/179 22238 /proc/meminfo: memFree=30416080/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 72842 0 0 0 60 9 0 0 20 0 4 0 14049927 1344868352 73140 33554432000 4194304 16246674 140737081522768 140737081505760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 328337 73140 803 2943 0 325231 0 [pid=22238/tid=22239] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 73140 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 73140 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 73140 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50049 s] /proc/loadavg: 2.12 2.13 2.09 3/183 22242 /proc/meminfo: memFree=30096304/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 166024 0 0 0 129 20 0 0 20 0 4 0 14049927 1344868352 166323 33554432000 4194304 16246674 140737081522768 140737081504640 6761361 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 328337 166334 837 2943 0 325231 0 [pid=22238/tid=22239] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 166344 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 166351 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1344868352 166355 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10042 s] /proc/loadavg: 2.12 2.13 2.09 3/183 22242 /proc/meminfo: memFree=29333084/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=3.08 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270777 0 0 0 274 34 0 0 20 0 4 0 14049927 1352208384 271075 33554432000 4194304 16246674 140737081522768 140737081504640 5531896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271075 864 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271075 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271075 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271075 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1320516 [startup+6.30042 s] /proc/loadavg: 2.11 2.13 2.09 4/183 22242 /proc/meminfo: memFree=29332620/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=6.29 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270799 0 0 0 593 36 0 0 20 0 4 0 14049927 1352208384 271097 33554432000 4194304 16246674 140737081522768 140737081504640 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271097 882 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271097 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271097 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271097 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1320516 [startup+12.7004 s] /proc/loadavg: 2.10 2.13 2.09 4/183 22242 /proc/meminfo: memFree=29332628/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=12.69 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270800 0 0 0 1233 36 0 0 20 0 4 0 14049927 1352208384 271098 33554432000 4194304 16246674 140737081522768 140737081504640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271098 882 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1320516 [startup+25.5004 s] /proc/loadavg: 2.14 2.14 2.09 4/183 22242 /proc/meminfo: memFree=29332656/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=25.49 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270800 0 0 0 2513 36 0 0 20 0 4 0 14049927 1352208384 271098 33554432000 4194304 16246674 140737081522768 140737081504640 12483583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271098 882 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271098 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1320516 [startup+51.1004 s] /proc/loadavg: 2.09 2.12 2.09 4/183 22242 /proc/meminfo: memFree=29332996/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=51.08 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270805 0 0 0 5072 36 0 0 20 0 4 0 14049927 1352208384 271103 33554432000 4194304 16246674 140737081522768 140737081504640 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271103 886 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271103 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271103 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271103 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.11 2.12 2.09 4/183 22243 /proc/meminfo: memFree=29311656/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1320516 CPUtime=102.27 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 270807 0 0 0 10191 36 0 0 20 0 4 0 14049927 1352208384 271105 33554432000 4194304 16246674 140737081522768 140737081504640 5522913 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 330129 271105 888 2943 0 327023 0 [pid=22238/tid=22239] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271105 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271105 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1352208384 271105 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1387076 [startup+1362.3 s] /proc/loadavg: 1.00 1.07 1.38 2/173 22306 /proc/meminfo: memFree=30431236/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1387076 CPUtime=1361.87 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 287802 0 0 0 136133 54 0 0 20 0 4 0 14049927 1420365824 288002 33554432000 4194304 16246674 140737081522768 140737081504640 5824017 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 346769 288002 889 2943 0 343663 0 [pid=22238/tid=22239] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1387076 [startup+1422.3 s] /proc/loadavg: 1.00 1.05 1.35 2/173 22308 /proc/meminfo: memFree=30431344/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1387076 CPUtime=1421.86 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 287802 0 0 0 142131 55 0 0 20 0 4 0 14049927 1420365824 288002 33554432000 4194304 16246674 140737081522768 140737081504640 5823877 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 346769 288002 889 2943 0 343663 0 [pid=22238/tid=22239] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1420365824 288002 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1387076 [startup+1482.3 s] /proc/loadavg: 1.10 1.07 1.34 2/173 22309 /proc/meminfo: memFree=30410988/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1481.85 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 148129 56 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1407556 [startup+1542.3 s] /proc/loadavg: 1.09 1.07 1.32 2/173 22310 /proc/meminfo: memFree=30410728/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1541.84 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 154124 60 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1407556 [startup+1602.3 s] /proc/loadavg: 1.03 1.05 1.30 2/174 22314 /proc/meminfo: memFree=30410896/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1601.84 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 160123 61 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1407556 [startup+1662.3 s] /proc/loadavg: 1.13 1.07 1.28 2/174 22338 /proc/meminfo: memFree=30410384/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1661.83 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 166122 61 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1407556 [startup+1722.3 s] /proc/loadavg: 1.14 1.09 1.27 2/173 22340 /proc/meminfo: memFree=30410376/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1721.81 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 172120 61 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5675574 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1407556 [startup+1782.31 s] /proc/loadavg: 1.09 1.08 1.26 2/173 22341 /proc/meminfo: memFree=30410360/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1781.81 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 178119 62 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5674030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1407556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.20 1.11 1.26 2/173 22341 /proc/meminfo: memFree=30410360/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1800 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 179938 62 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1407556 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 22238 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.20 1.11 1.26 2/173 22341 /proc/meminfo: memFree=30410360/32872528 swapFree=302776/319128 [pid=22238] ppid=22235 vsize=1407556 CPUtime=1800 cores=1,3,5,7 /proc/22238/stat : 22238 (toysat) R 22235 22238 16914 0 -1 4202496 292922 0 0 0 179938 62 0 0 20 0 4 0 14049927 1441337344 293122 33554432000 4194304 16246674 140737081522768 140737081504640 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/22238/statm: 351889 293122 889 2943 0 348783 0 [pid=22238/tid=22239] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22239/stat : 22239 (toysat) S 22235 22238 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599696010480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=22238/tid=22240] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22240/stat : 22240 (toysat) S 22235 22238 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599685520624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=22238/tid=22241] ppid=22235 vsize=1407556 CPUtime=0 cores=1,3,5,7 /proc/22238/task/22241/stat : 22241 (toysat) S 22235 22238 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 14049928 1441337344 293122 33554432000 4194304 16246674 140737081522768 140599675047088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1407556 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.39 CPU system time (s): 0.627904 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1407556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.627904 maximum resident set size= 1172488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292922 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= 377 involuntary context switches= 2463 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4781 second user time and 9.8405 second system time The end
Begin job on node128 at 2016-06-17 01:33:53 IDJOB=4098227 IDBENCH=107870 IDSOLVER=2542 FILE ID=node128/4098227-1466120033 RUNJOBID= node128-1466113207-19340 PBS_JOBID= 19904049 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_30.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098227-1466120033/watcher-4098227-1466120033 -o /tmp/evaluation-result-4098227-1466120033/solver-4098227-1466120033 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098227-1466120033.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b3f3b3179d65f92280a08a48060346e RANDOM SEED=1352131476 node128.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.768 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.53 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.768 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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.768 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.57 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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 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.56 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.768 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: 30416732 kB Buffers: 77240 kB Cached: 200752 kB SwapCached: 2096 kB Active: 1314728 kB Inactive: 115440 kB Active(anon): 1152784 kB Inactive(anon): 1600 kB Active(file): 161944 kB Inactive(file): 113840 kB Unevictable: 319128 kB Mlocked: 302776 kB SwapTotal: 67108856 kB SwapFree: 67098972 kB Dirty: 22144 kB Writeback: 0 kB AnonPages: 1470000 kB Mapped: 10656 kB Shmem: 0 kB Slab: 572572 kB SReclaimable: 16324 kB SUnreclaim: 556248 kB KernelStack: 1496 kB PageTables: 7492 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1611412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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= 71688 MiB End job on node128 at 2016-06-17 02:03:54