| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j1206_6-sat.opb |
| MD5SUM | 138289002292e7c474e0d36dbcddf060 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 37752 |
| Total number of constraints | 120373 |
| Number of constraints which are clauses | 119753 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 620 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| 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 | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 342 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-07T06:16:48+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-4078838-1465273007.opb"] 0.00/0.01 c use --random-gen="3639353479 516202243 3069529089 1433468316 1852732468 2451820561 2202293806 168126142 783637834 3604950999 1878874005 1605748109 2092737640 3668908616 2252480011 2583141198 3172414343 2135919839 219728171 2511000931 1260947949 1766238875 1185201824 2190685707 947598254 302899384 3956433257 3126872579 3710028851 285702240 1410115205 3969266845 4245484849 1846700053 3432308307 4260954866 4059549161 4136456942 3330879619 2008753541 4086421860 2307095363 3616667880 123480446 2259227007 4216105701 3620855816 3387440361 761639942 1967544646 2529859306 3802902189 2785645878 808207182 1869395929 1012978156 4142645089 3847281241 1765926458 1215573461 497834500 1988401369 2543205843 795303285 888777484 3460023319 2654285398 2356720425 3882089626 3077950893 448268036 2124222883 2189038355 2236407673 3886280510 2762486629 3089714479 4121565364 885906711 3830460920 62736461 1063064945 2706243192 2179335636 2970168221 1455855795 3203509391 1047635839 1599164246 409110946 3167846834 993687438 1247772618 2702567323 271419635 2161309451 673128690 1367118177 1299085398 3225741758 4218461606 4035425467 2278048079 3669117929 2469698071 263494202 2026718287 543060537 1968973861 1613757938 2536568218 3537340437 3477781831 365862651 3411410868 1060276889 888709021 4377397 1700631201 3743238608 3747641029 3964519139 572991145 637814510 2079684785 556846370 3471742081 3429710254 3697584529 2545292046 1099612689 2481992499 3137616660 4208271097 3573369690 1260989888 2427193471 444314627 4212250985 2085973193 3021708192 2743509425 3232550083 3517077082 2218698005 956780741 2485110263 1639992342 529696036 73978579 3377116904 2808344497 1963896589 4089685529 652524551 3038218493 3911887945 2002980132 2448916968 1617088151 631126431 3263915477 1168210834 1550672731 712880422 2821049707 119667343 243498219 2329371412 3703001938 1674319324 1193064151 4204305583 4102937519 4058500646 1905502623 3559966923 1260386070 425259770 3498785092 3878320168 3430260071 3947625256 4036377768 1400594504 2036808694 3154713089 281992082 3034657836 1829204284 3778227704 3920843810 1456992243 3140930276 1640987923 2983540932 3342448176 656103186 167438093 974003190 92332111 1838245888 4246677252 1768453669 2102917328 2116101471 4290831541 3382846606 805924980 3337627694 177687153 2070067259 4099901247 223191218 3342693287 2797185593 1534452797 1673691566 2921128458 1086848702 4225875163 3624646963 2232410433 277753940 1308744416 581744487 2722733094 4214641250 1548522076 654058116 2418357207 596621411 1367550983 401185123 4279118190 2917875279 1280537720 3909051486 239224445 2442380747 2959375555 3237618522 1475914349 1578541108 4163118602 165335279 4021926406 2200682197 3641970890 1824414978 1264973336 3073660315 881910146 2553186969 2796085467 3589217405 255 362436" option to reproduce the execution 0.69/0.70 c #vars 37752 0.69/0.70 c #constraints 120373 1.89/1.91 c Solving starts ... 1.89/1.91 c ============================[ Search Statistics ]============================ 1.89/1.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.89/1.91 c | | | | Limit GC | Var | Constra 1.89/1.91 c ============================================================================= 1.89/1.92 c 0.0s | 0 | 0 | 0 | 42073 0 | 12861 | 0 2.18/2.22 c 0.3s | 1 | 172 | 100 | 42073 0 | 12861 | 15364 2.59/2.65 c 0.7s | 2 | 595 | 250 | 46281 0 | 12861 | 15364 3.29/3.34 c 1.4s | 3 | 962 | 475 | 50910 0 | 12861 | 15364 4.70/4.72 c 2.8s | 4 | 1854 | 813 | 56002 0 | 12949 | 15669 6.29/6.34 c 4.4s | 5 | 2707 | 1320 | 61603 0 | 12949 | 15669 8.59/8.63 c 6.7s | 5 | 4034 | 2020 | 67764 0 | 12949 | 15669 8.79/8.89 c 7.0s | 6 | 4250 | 2081 | 74541 0 | 12949 | 15669 10.89/10.98 c 9.1s | 6 | 5237 | 2681 | 74541 0 | 12949 | 15669 12.69/12.78 c 10.9s | 7 | 6137 | 3223 | 81996 0 | 12949 | 15669 14.79/14.81 c 12.9s | 7 | 7765 | 4023 | 81996 0 | 12949 | 15669 17.19/17.25 c 15.3s | 7 | 9171 | 4723 | 81996 0 | 12949 | 15669 18.09/18.10 c 16.2s | 8 | 9546 | 4936 | 90196 0 | 12949 | 15669 20.39/20.41 c 18.5s | 8 | 10943 | 5736 | 90196 0 | 12949 | 15669 22.59/22.61 c 20.7s | 8 | 12265 | 6536 | 90196 0 | 12949 | 15669 24.79/24.81 c 22.9s | 8 | 13339 | 7336 | 90196 0 | 12949 | 15669 25.39/25.45 c 23.5s | 9 | 13562 | 7506 | 99216 0 | 12949 | 15669 27.69/27.73 c 25.8s | 9 | 14840 | 8306 | 99216 0 | 12949 | 15669 29.78/29.83 c 27.9s | 9 | 15584 | 8806 | 99216 0 | 12949 | 15669 31.88/31.98 c 30.1s | 9 | 16287 | 9306 | 99216 0 | 12949 | 15669 34.08/34.18 c 32.3s | 9 | 17172 | 9906 | 99216 0 | 12949 | 15669 36.28/36.36 c 34.4s | 9 | 17906 | 10406 | 99216 0 | 12949 | 15669 38.28/38.39 c 36.5s | 9 | 18715 | 10906 | 99216 0 | 12949 | 15669 39.79/39.85 c 37.9s | 10 | 19393 | 11361 | 109138 0 | 12949 | 15669 41.99/42.03 c 40.1s | 10 | 20568 | 12061 | 109138 0 | 12949 | 15669 44.08/44.11 c 42.2s | 10 | 21576 | 12561 | 109138 0 | 12949 | 15669 46.08/46.14 c 44.2s | 10 | 22451 | 13061 | 109138 0 | 12949 | 15669 48.28/48.36 c 46.5s | 10 | 23439 | 13561 | 109138 0 | 12949 | 15669 50.58/50.68 c 48.8s | 10 | 24242 | 14061 | 109138 0 | 12949 | 15669 52.78/52.81 c 50.9s | 10 | 24847 | 14461 | 109138 0 | 12949 | 15669 54.78/54.83 c 52.9s | 10 | 25389 | 14861 | 109138 0 | 12949 | 15669 56.88/56.95 c 55.0s | 10 | 25916 | 15261 | 109138 0 | 12949 | 15669 59.38/59.46 c 57.5s | 10 | 26491 | 15661 | 109138 0 | 12949 | 15669 61.58/61.65 c 59.7s | 10 | 27003 | 16061 | 109138 0 | 12949 | 15669 63.88/63.98 c 62.1s | 10 | 27600 | 16461 | 109138 0 | 12949 | 15669 65.98/66.05 c 64.1s | 10 | 28142 | 16861 | 109138 0 | 12949 | 15669 67.78/67.85 c 65.9s | 11 | 28460 | 17144 | 120052 0 | 12949 | 15669 69.88/69.99 c 68.1s | 11 | 29414 | 17644 | 120052 0 | 12949 | 15669 72.28/72.34 c 70.4s | 11 | 30053 | 18144 | 120052 0 | 12949 | 15669 74.28/74.38 c 72.5s | 11 | 30536 | 18544 | 120052 0 | 12949 | 15669 76.68/76.75 c 74.8s | 11 | 31151 | 19044 | 120052 0 | 12949 | 15669 78.98/79.04 c 77.1s | 11 | 31785 | 19544 | 120052 0 | 12949 | 15669 81.17/81.27 c 79.4s | 11 | 32642 | 20144 | 120052 0 | 12949 | 15669 83.67/83.76 c 81.8s | 11 | 33489 | 20744 | 120052 0 | 12949 | 15669 85.77/85.83 c 83.9s | 11 | 34212 | 21244 | 120052 0 | 12949 | 15669 87.97/88.06 c 86.1s | 11 | 34753 | 21644 | 120052 0 | 12949 | 15669 90.07/90.15 c 88.2s | 11 | 35464 | 22144 | 120052 0 | 12949 | 15669 92.17/92.22 c 90.3s | 11 | 36156 | 22644 | 120052 0 | 12949 | 15669 94.47/94.59 c 92.7s | 11 | 37036 | 23244 | 120052 0 | 12949 | 15669 96.77/96.84 c 94.9s | 11 | 37729 | 23744 | 120052 0 | 12949 | 15669 99.17/99.22 c 97.3s | 11 | 38453 | 24244 | 120052 0 | 12949 | 15669 101.17/101.24 c 99.3s | 11 | 39062 | 24644 | 120052 0 | 12949 | 15669 103.57/103.68 c 101s | 11 | 39747 | 25144 | 120052 0 | 12949 | 15669 105.66/105.78 c 103s | 11 | 40289 | 25544 | 120052 0 | 12949 | 15669 107.16/107.24 c 105s | 12 | 40703 | 25819 | 132058 0 | 12949 | 15669 109.36/109.45 c 107s | 12 | 41748 | 26419 | 132058 0 | 12949 | 15669 111.46/111.51 c 109s | 12 | 42378 | 26919 | 132058 0 | 12949 | 15669 113.66/113.75 c 111s | 12 | 43107 | 27419 | 132058 0 | 12949 | 15669 116.16/116.20 c 114s | 12 | 43809 | 27919 | 132058 0 | 12949 | 15669 118.16/118.23 c 116s | 12 | 44497 | 28319 | 132058 0 | 12949 | 15669 120.36/120.48 c 118s | 12 | 45312 | 28919 | 132058 0 | 12949 | 15669 122.76/122.88 c 120s | 12 | 45962 | 29419 | 132058 0 | 12949 | 15669 125.36/125.41 c 123s | 12 | 46603 | 29819 | 132058 0 | 12949 | 15669 127.87/127.95 c 126s | 12 | 47399 | 30319 | 132058 0 | 12949 | 15669 129.86/130.00 c 128s | 12 | 47937 | 30719 | 132058 0 | 12949 | 15669 132.27/132.33 c 130s | 12 | 48689 | 31219 | 132058 0 | 12949 | 15669 134.26/134.35 c 132s | 12 | 49194 | 31619 | 132058 0 | 12949 | 15669 136.76/136.85 c 134s | 12 | 49850 | 32119 | 132058 0 | 12949 | 15669 139.26/139.31 c 137s | 12 | 50350 | 32519 | 132058 0 | 12949 | 15669 141.26/141.36 c 139s | 12 | 50899 | 32919 | 132058 0 | 12949 | 15669 143.46/143.56 c 141s | 12 | 51597 | 33419 | 132058 0 | 12949 | 15669 145.86/145.90 c 143s | 12 | 52097 | 33819 | 132058 0 | 12949 | 15669 147.86/147.94 c 146s | 12 | 52464 | 34119 | 132058 0 | 12949 | 15669 149.96/150.07 c 148s | 12 | 52962 | 34519 | 132058 0 | 12949 | 15669 152.55/152.66 c 150s | 12 | 53708 | 35019 | 132058 0 | 12949 | 15669 155.26/155.32 c 153s | 12 | 54232 | 35419 | 132058 0 | 12949 | 15669 157.35/157.45 c 155s | 12 | 54606 | 35719 | 132058 0 | 12949 | 15669 159.76/159.89 c 157s | 12 | 55102 | 36119 | 132058 0 | 12949 | 15669 162.35/162.46 c 160s | 12 | 55605 | 36519 | 132058 0 | 12949 | 15669 164.35/164.49 c 162s | 12 | 55978 | 36819 | 132058 0 | 12949 | 15669 166.65/166.70 c 164s | 12 | 56342 | 37119 | 132058 0 | 12949 | 15669 169.15/169.26 c 167s | 12 | 56852 | 37519 | 132058 0 | 12949 | 15669 171.25/171.34 c 169s | 12 | 57233 | 37819 | 132058 0 | 12949 | 15669 173.35/173.40 c 171s | 12 | 57620 | 38119 | 132058 0 | 12949 | 15669 175.45/175.52 c 173s | 12 | 58021 | 38419 | 132058 0 | 12949 | 15669 177.85/177.99 c 176s | 12 | 58581 | 38819 | 145264 0 | 12949 | 15669 178.05/178.10 c 176s | 13 | 58597 | 38832 | 145264 0 | 12949 | 15669 180.45/180.55 c 178s | 13 | 59253 | 39232 | 145264 0 | 12949 | 15669 182.75/182.88 c 180s | 13 | 60072 | 39732 | 145264 0 | 12949 | 15669 184.95/185.08 c 183s | 13 | 60876 | 40232 | 145264 0 | 12949 | 15669 187.15/187.26 c 185s | 13 | 61646 | 40732 | 145264 0 | 12949 | 15669 189.54/189.63 c 187s | 13 | 62346 | 41232 | 145264 0 | 12949 | 15669 191.55/191.68 c 189s | 13 | 62958 | 41632 | 145264 0 | 12949 | 15669 193.85/193.97 c 192s | 13 | 63454 | 42032 | 145264 0 | 12949 | 15669 196.14/196.27 c 194s | 13 | 63972 | 42432 | 145264 0 | 12949 | 15669 198.44/198.57 c 196s | 13 | 64686 | 42932 | 145264 0 | 12949 | 15669 200.74/200.80 c 198s | 13 | 65171 | 43332 | 145264 0 | 12949 | 15669 202.94/203.05 c 201s | 13 | 65872 | 43832 | 145264 0 | 12949 | 15669 205.44/205.57 c 203s | 13 | 66551 | 44332 | 145264 0 | 12949 | 15669 207.74/207.88 c 205s | 13 | 67434 | 44932 | 145264 0 | 12949 | 15669 210.14/210.22 c 208s | 13 | 68309 | 45532 | 145264 0 | 12949 | 15669 212.44/212.55 c 210s | 13 | 68967 | 46032 | 145264 0 | 12949 | 15669 214.44/214.58 c 212s | 13 | 69520 | 46432 | 145264 0 | 12949 | 15669 216.74/216.85 c 214s | 13 | 70188 | 46932 | 145264 0 | 12949 | 15669 219.04/219.17 c 217s | 13 | 70882 | 47432 | 145264 0 | 12949 | 15669 221.53/221.60 c 219s | 13 | 71604 | 47932 | 145264 0 | 12949 | 15669 223.63/223.76 c 221s | 13 | 72233 | 48432 | 145264 0 | 12949 | 15669 226.03/226.12 c 224s | 13 | 72893 | 48932 | 145264 0 | 12949 | 15669 228.13/228.26 c 226s | 13 | 73643 | 49432 | 145264 0 | 12949 | 15669 230.53/230.69 c 228s | 13 | 74286 | 49932 | 145264 0 | 12949 | 15669 232.63/232.74 c 230s | 13 | 74848 | 50332 | 145264 0 | 12949 | 15669 234.93/235.00 c 233s | 13 | 75430 | 50732 | 145264 0 | 12949 | 15669 236.93/237.03 c 235s | 13 | 75930 | 51132 | 145264 0 | 12949 | 15669 239.23/239.35 c 237s | 13 | 76439 | 51532 | 145264 0 | 12949 | 15669 241.73/241.80 c 239s | 13 | 77108 | 52032 | 145264 0 | 12949 | 15669 244.03/244.15 c 242s | 13 | 77643 | 52432 | 145264 0 | 12949 | 15669 246.53/246.69 c 244s | 13 | 78475 | 52932 | 145264 0 | 12949 | 15669 248.73/248.83 c 246s | 13 | 79119 | 53332 | 145264 0 | 12949 | 15669 251.12/251.23 c 249s | 13 | 79825 | 53832 | 145264 0 | 12949 | 15669 253.32/253.49 c 251s | 13 | 80508 | 54332 | 145264 0 | 12949 | 15669 255.43/255.58 c 253s | 13 | 81073 | 54732 | 145264 0 | 12949 | 15669 257.53/257.64 c 255s | 13 | 81599 | 55132 | 145264 0 | 12949 | 15669 259.73/259.86 c 257s | 13 | 82213 | 55532 | 145264 0 | 12949 | 15669 261.82/261.99 c 260s | 13 | 82779 | 55932 | 145264 0 | 12949 | 15669 264.13/264.29 c 262s | 13 | 83414 | 56432 | 145264 0 | 12949 | 15669 266.33/266.48 c 264s | 13 | 83933 | 56832 | 145264 0 | 12949 | 15669 268.53/268.67 c 266s | 13 | 84441 | 57232 | 145264 0 | 12949 | 15669 271.02/271.17 c 269s | 13 | 85148 | 57732 | 145264 0 | 12949 | 15669 273.52/273.70 c 271s | 13 | 85763 | 58232 | 159791 0 | 12949 | 15669 274.03/274.18 c 272s | 14 | 85908 | 58352 | 159791 0 | 12949 | 15669 276.53/276.68 c 274s | 14 | 86602 | 58752 | 159791 0 | 12949 | 15669 278.93/279.02 c 277s | 14 | 87745 | 59252 | 159791 0 | 12949 | 15669 280.93/281.04 c 279s | 14 | 88486 | 59752 | 159791 0 | 12949 | 15669 283.42/283.55 c 281s | 14 | 89342 | 60352 | 159791 0 | 12949 | 15669 285.62/285.75 c 283s | 14 | 90249 | 60852 | 159791 0 | 12949 | 15669 287.72/287.81 c 285s | 14 | 91262 | 61352 | 159791 0 | 12949 | 15669 289.82/289.97 c 288s | 14 | 92353 | 61852 | 159791 0 | 12949 | 15669 292.12/292.21 c 290s | 14 | 93200 | 62352 | 159791 0 | 12949 | 15669 294.42/294.58 c 292s | 14 | 93966 | 62852 | 159791 0 | 12949 | 15669 296.52/296.67 c 294s | 14 | 94672 | 63252 | 159791 0 | 12949 | 15669 299.02/299.19 c 297s | 14 | 95628 | 63752 | 159791 0 | 12949 | 15669 301.42/301.53 c 299s | 14 | 96491 | 64252 | 159791 0 | 12949 | 15669 303.52/303.67 c 301s | 14 | 97191 | 64652 | 159791 0 | 12949 | 15669 306.11/306.22 c 304s | 14 | 98115 | 65152 | 159791 0 | 12949 | 15669 308.31/308.48 c 306s | 14 | 98815 | 65552 | 159791 0 | 12961 | 15711 310.51/310.67 c 308s | 14 | 99724 | 66052 | 159791 0 | 12961 | 15711 312.62/312.79 c 310s | 14 | 100263 | 66452 | 159791 0 | 12961 | 15711 315.11/315.21 c 313s | 14 | 101011 | 66952 | 159791 0 | 12961 | 15711 317.71/317.84 c 315s | 14 | 101537 | 67352 | 159791 0 | 12961 | 15711 319.81/319.97 c 318s | 14 | 102150 | 67752 | 159791 0 | 12961 | 15711 322.01/322.11 c 320s | 14 | 102543 | 68052 | 159791 0 | 12961 | 15711 324.31/324.43 c 322s | 14 | 103036 | 68452 | 159791 0 | 12961 | 15711 327.01/327.11 c 325s | 14 | 103525 | 68852 | 159791 0 | 12961 | 15711 329.41/329.59 c 327s | 14 | 104318 | 69352 | 159791 0 | 12961 | 15711 331.91/332.00 c 330s | 14 | 105058 | 69852 | 159791 0 | 12961 | 15711 334.31/334.45 c 332s | 14 | 105661 | 70252 | 159791 0 | 12961 | 15711 336.81/336.95 c 335s | 14 | 106246 | 70652 | 159791 0 | 12961 | 15711 339.10/339.25 c 337s | 14 | 106756 | 71052 | 159791 0 | 12961 | 15711 341.11/341.27 c 339s | 14 | 107267 | 71452 | 159791 0 | 12961 | 15711 343.20/343.40 c 341s | 14 | 107861 | 71852 | 159791 0 | 12961 | 15711 345.50/345.68 c 343s | 14 | 108381 | 72252 | 159791 0 | 12961 | 15711 347.60/347.78 c 345s | 14 | 109134 | 72652 | 159791 0 | 12961 | 15711 350.10/350.22 c 348s | 14 | 109718 | 73052 | 159791 0 | 12961 | 15711 352.70/352.85 c 350s | 14 | 110445 | 73552 | 159791 0 | 12961 | 15711 355.19/355.31 c 353s | 14 | 110997 | 73952 | 159791 0 | 12961 | 15711 357.70/357.84 c 355s | 14 | 111726 | 74452 | 159791 0 | 12961 | 15711 359.80/359.98 c 358s | 14 | 112233 | 74852 | 159791 0 | 12961 | 15711 362.29/362.44 c 360s | 14 | 112807 | 75252 | 159791 0 | 12961 | 15711 364.59/364.78 c 362s | 14 | 113401 | 75652 | 159791 0 | 12961 | 15711 367.09/367.20 c 365s | 14 | 113917 | 76052 | 159791 0 | 12961 | 15711 369.09/369.23 c 367s | 14 | 114335 | 76352 | 159791 0 | 12961 | 15711 371.49/371.61 c 369s | 14 | 114909 | 76752 | 159791 0 | 12961 | 15711 374.09/374.28 c 372s | 14 | 115434 | 77152 | 159791 0 | 12961 | 15711 376.68/376.88 c 374s | 14 | 116114 | 77552 | 159791 0 | 12961 | 15711 379.28/379.41 c 377s | 14 | 116647 | 77952 | 159791 0 | 12961 | 15711 381.28/381.44 c 379s | 14 | 117019 | 78252 | 159791 0 | 12961 | 15711 383.38/383.55 c 381s | 14 | 117543 | 78652 | 159791 0 | 12961 | 15711 385.97/386.16 c 384s | 14 | 118066 | 79052 | 159791 0 | 12961 | 15711 388.48/388.65 c 386s | 14 | 118545 | 79452 | 159791 0 | 12961 | 15711 390.87/391.07 c 389s | 14 | 119053 | 79852 | 159791 0 | 12961 | 15711 392.97/393.14 c 391s | 14 | 119452 | 80152 | 159791 0 | 12961 | 15711 395.16/395.37 c 393s | 14 | 119838 | 80452 | 159791 0 | 12961 | 15711 397.36/397.54 c 395s | 14 | 120199 | 80752 | 159791 0 | 12961 | 15711 399.47/399.65 c 397s | 14 | 120537 | 81052 | 159791 0 | 12961 | 15711 401.57/401.76 c 399s | 14 | 120903 | 81352 | 159791 0 | 12961 | 15711 403.87/404.09 c 402s | 14 | 121273 | 81652 | 159791 0 | 12961 | 15711 406.07/406.27 c 404s | 14 | 121667 | 81952 | 159791 0 | 12961 | 15711 408.26/408.46 c 406s | 14 | 122080 | 82252 | 159791 0 | 12961 | 15711 410.36/410.59 c 408s | 14 | 122467 | 82552 | 159791 0 | 12961 | 15711 412.86/413.05 c 411s | 14 | 122821 | 82852 | 159791 0 | 12961 | 15711 415.15/415.34 c 413s | 14 | 123177 | 83152 | 159791 0 | 12961 | 15711 417.75/417.92 c 416s | 14 | 123636 | 83552 | 159791 0 | 12961 | 15711 420.15/420.38 c 418s | 14 | 124054 | 83852 | 159791 0 | 12961 | 15711 422.46/422.61 c 420s | 14 | 124492 | 84152 | 159791 0 | 12961 | 15711 424.85/425.06 c 423s | 14 | 125044 | 84552 | 159791 0 | 12961 | 15711 426.85/427.09 c 425s | 14 | 125470 | 84852 | 159791 0 | 12961 | 15711 429.45/429.69 c 427s | 14 | 125948 | 85252 | 159791 0 | 12961 | 15711 431.85/432.01 c 430s | 14 | 126470 | 85652 | 159791 0 | 12961 | 15711 434.05/434.26 c 432s | 14 | 126857 | 85952 | 159791 0 | 12961 | 15711 436.75/436.98 c 435s | 14 | 127339 | 86352 | 159791 0 | 12961 | 15711 439.44/439.63 c 437s | 14 | 127893 | 86752 | 159791 0 | 12961 | 15711 441.44/441.67 c 439s | 14 | 128277 | 87052 | 175771 0 | 12961 | 15711 443.54/443.75 c 441s | 14 | 128687 | 87352 | 175771 0 | 12961 | 15711 445.73/445.91 c 444s | 15 | 129001 | 87632 | 175771 0 | 12961 | 15711 448.84/449.01 c 447s | 15 | 129574 | 87932 | 175771 0 | 13151 | 16331 451.14/451.33 c 449s | 15 | 130188 | 88332 | 175771 0 | 13151 | 16331 453.24/453.41 c 451s | 15 | 130795 | 88732 | 175771 0 | 13151 | 16331 455.72/455.92 c 454s | 15 | 131521 | 89232 | 175771 0 | 13151 | 16331 457.73/457.95 c 456s | 15 | 132163 | 89632 | 175771 0 | 13151 | 16331 459.83/460.04 c 458s | 15 | 132879 | 90032 | 175771 0 | 13151 | 16331 461.92/462.18 c 460s | 15 | 133501 | 90432 | 175771 0 | 13151 | 16331 464.52/464.73 c 462s | 15 | 134025 | 90832 | 175771 0 | 13151 | 16331 466.82/467.02 c 465s | 15 | 134676 | 91232 | 175771 0 | 13151 | 16331 469.32/469.58 c 467s | 15 | 135241 | 91632 | 175771 0 | 13151 | 16331 471.52/471.74 c 469s | 15 | 135938 | 92032 | 175771 0 | 13151 | 16331 473.82/474.03 c 472s | 15 | 136613 | 92432 | 175771 0 | 13151 | 16331 476.01/476.22 c 474s | 15 | 137168 | 92832 | 175771 0 | 13151 | 16331 478.11/478.34 c 476s | 15 | 137764 | 93232 | 175771 0 | 13151 | 16331 480.31/480.57 c 478s | 15 | 138284 | 93632 | 175771 0 | 13151 | 16331 482.71/482.95 c 481s | 15 | 138821 | 94032 | 175771 0 | 13151 | 16331 485.12/485.39 c 483s | 15 | 139411 | 94432 | 175771 0 | 13151 | 16331 487.71/487.97 c 486s | 15 | 140003 | 94832 | 175771 0 | 13151 | 16331 490.11/490.39 c 488s | 15 | 140564 | 95232 | 175771 0 | 13151 | 16331 492.61/492.85 c 490s | 15 | 141092 | 95632 | 175771 0 | 13151 | 16331 494.90/495.12 c 493s | 15 | 141489 | 95932 | 175771 0 | 13151 | 16331 497.10/497.31 c 495s | 15 | 141848 | 96232 | 175771 0 | 13151 | 16331 499.30/499.50 c 497s | 15 | 142414 | 96632 | 175771 0 | 13151 | 16331 501.80/502.04 c 500s | 15 | 142949 | 97032 | 175771 0 | 13151 | 16331 504.60/504.81 c 502s | 15 | 143453 | 97432 | 175771 0 | 13151 | 16331 506.80/507.00 c 505s | 15 | 143803 | 97732 | 175771 0 | 13151 | 16331 509.00/509.29 c 507s | 15 | 144158 | 98032 | 175771 0 | 13151 | 16331 511.20/511.46 c 509s | 15 | 144550 | 98332 | 175771 0 | 13151 | 16331 513.40/513.66 c 511s | 15 | 144954 | 98632 | 175771 0 | 13151 | 16331 515.59/515.87 c 513s | 15 | 145315 | 98932 | 175771 0 | 13151 | 16331 517.79/518.04 c 516s | 15 | 145713 | 99232 | 175771 0 | 13151 | 16331 520.40/520.66 c 518s | 15 | 146113 | 99532 | 175771 0 | 13151 | 16331 522.50/522.75 c 520s | 15 | 146524 | 99832 | 175771 0 | 13151 | 16331 525.09/525.33 c 523s | 15 | 146939 | 100132 | 175771 0 | 13151 | 16331 527.49/527.71 c 525s | 15 | 147292 | 100432 | 175771 0 | 13151 | 16331 529.89/530.19 c 528s | 15 | 147642 | 100732 | 175771 0 | 13151 | 16331 532.19/532.45 c 530s | 15 | 148030 | 101032 | 175771 0 | 13151 | 16331 534.39/534.62 c 532s | 15 | 148377 | 101332 | 175771 0 | 13151 | 16331 536.68/536.98 c 535s | 15 | 148740 | 101632 | 175771 0 | 13151 | 16331 539.28/539.51 c 537s | 15 | 149289 | 102032 | 175771 0 | 13151 | 16331 541.78/542.07 c 540s | 15 | 149822 | 102432 | 175771 0 | 13151 | 16331 544.38/544.67 c 542s | 15 | 150347 | 102832 | 175771 0 | 13151 | 16331 546.97/547.29 c 545s | 15 | 150739 | 103132 | 175771 0 | 13151 | 16331 549.27/549.54 c 547s | 15 | 151107 | 103432 | 175771 0 | 13151 | 16331 551.27/551.58 c 549s | 15 | 151461 | 103732 | 175771 0 | 13151 | 16331 553.47/553.75 c 551s | 15 | 151836 | 104032 | 175771 0 | 13151 | 16331 555.57/555.85 c 553s | 15 | 152220 | 104332 | 175771 0 | 13151 | 16331 558.07/558.38 c 556s | 15 | 152583 | 104632 | 175771 0 | 13151 | 16331 560.37/560.69 c 558s | 15 | 152921 | 104932 | 175771 0 | 13151 | 16331 562.87/563.19 c 561s | 15 | 153320 | 105232 | 175771 0 | 13151 | 16331 565.06/565.32 c 563s | 15 | 153733 | 105532 | 175771 0 | 13151 | 16331 567.76/568.01 c 566s | 15 | 154164 | 105832 | 175771 0 | 13151 | 16331 569.87/570.11 c 568s | 15 | 154406 | 106032 | 175771 0 | 13151 | 16331 571.86/572.18 c 570s | 15 | 154652 | 106232 | 175771 0 | 13151 | 16331 574.66/574.90 c 572s | 15 | 155048 | 106532 | 175771 0 | 13151 | 16331 576.96/577.21 c 575s | 15 | 155435 | 106832 | 175771 0 | 13151 | 16331 578.96/579.23 c 577s | 15 | 155841 | 107132 | 175771 0 | 13151 | 16331 581.05/581.37 c 579s | 15 | 156287 | 107432 | 175771 0 | 13151 | 16331 583.35/583.66 c 581s | 15 | 156682 | 107732 | 175771 0 | 13151 | 16331 585.85/586.19 c 584s | 15 | 157270 | 108132 | 175771 0 | 13151 | 16331 588.15/588.41 c 586s | 15 | 157699 | 108432 | 175771 0 | 13151 | 16331 590.25/590.55 c 588s | 15 | 158077 | 108732 | 175771 0 | 13151 | 16331 592.65/592.98 c 591s | 15 | 158442 | 109032 | 175771 0 | 13151 | 16331 594.95/595.29 c 593s | 15 | 158797 | 109332 | 175771 0 | 13151 | 16331 597.75/598.08 c 596s | 15 | 159194 | 109632 | 175771 0 | 13151 | 16331 600.25/600.53 c 598s | 15 | 159560 | 109932 | 175771 0 | 13151 | 16331 602.35/602.64 c 600s | 15 | 159943 | 110232 | 175771 0 | 13151 | 16331 604.65/604.96 c 603s | 15 | 160366 | 110532 | 175771 0 | 13151 | 16331 606.94/607.28 c 605s | 15 | 160757 | 110832 | 175771 0 | 13151 | 16331 609.64/609.90 c 607s | 15 | 161268 | 111232 | 175771 0 | 13151 | 16331 612.34/612.68 c 610s | 15 | 161634 | 111532 | 175771 0 | 13151 | 16331 614.85/615.16 c 613s | 15 | 161999 | 111832 | 175771 0 | 13151 | 16331 617.64/617.94 c 616s | 15 | 162365 | 112132 | 175771 0 | 13151 | 16331 620.24/620.55 c 618s | 15 | 162754 | 112432 | 175771 0 | 13151 | 16331 622.74/623.05 c 621s | 15 | 163117 | 112732 | 175771 0 | 13151 | 16331 625.33/625.66 c 623s | 15 | 163500 | 113032 | 175771 0 | 13151 | 16331 627.83/628.20 c 626s | 15 | 163890 | 113332 | 175771 0 | 13151 | 16331 630.24/630.58 c 628s | 15 | 164267 | 113632 | 175771 0 | 13151 | 16331 632.83/633.16 c 631s | 15 | 164647 | 113932 | 175771 0 | 13151 | 16331 635.22/635.53 c 633s | 15 | 165045 | 114232 | 175771 0 | 13151 | 16331 637.72/638.08 c 636s | 15 | 165398 | 114532 | 175771 0 | 13151 | 16331 640.03/640.40 c 638s | 15 | 165819 | 114832 | 175771 0 | 13151 | 16331 642.13/642.42 c 640s | 15 | 166227 | 115132 | 175771 0 | 13151 | 16331 644.83/645.12 c 643s | 15 | 166736 | 115532 | 175771 0 | 13151 | 16331 647.13/647.40 c 645s | 15 | 167095 | 115832 | 175771 0 | 13151 | 16331 649.53/649.82 c 647s | 15 | 167577 | 116232 | 175771 0 | 13151 | 16331 651.73/652.09 c 650s | 15 | 167985 | 116532 | 175771 0 | 13151 | 16331 654.33/654.62 c 652s | 15 | 168324 | 116832 | 175771 0 | 13151 | 16331 656.52/656.90 c 654s | 15 | 168698 | 117132 | 175771 0 | 13151 | 16331 659.32/659.69 c 657s | 15 | 169220 | 117532 | 175771 0 | 13151 | 16331 661.82/662.12 c 660s | 15 | 169631 | 117832 | 175771 0 | 13151 | 16331 663.92/664.29 c 662s | 15 | 170020 | 118132 | 175771 0 | 13151 | 16331 666.82/667.12 c 665s | 15 | 170440 | 118432 | 175771 0 | 13151 | 16331 669.22/669.57 c 667s | 15 | 170813 | 118732 | 175771 0 | 13151 | 16331 671.82/672.16 c 670s | 15 | 171190 | 119032 | 175771 0 | 13151 | 16331 674.02/674.31 c 672s | 15 | 171432 | 119232 | 175771 0 | 13151 | 16331 676.42/676.73 c 674s | 15 | 171831 | 119532 | 175771 0 | 13151 | 16331 678.62/678.99 c 677s | 15 | 172227 | 119832 | 175771 0 | 13151 | 16331 680.82/681.17 c 679s | 15 | 172712 | 120132 | 175771 0 | 13151 | 16331 683.21/683.55 c 681s | 15 | 173128 | 120432 | 175771 0 | 13151 | 16331 686.11/686.41 c 684s | 15 | 173495 | 120732 | 175771 0 | 13151 | 16331 688.51/688.89 c 686s | 15 | 173944 | 121032 | 175771 0 | 13151 | 16331 691.11/691.41 c 689s | 15 | 174538 | 121432 | 175771 0 | 13151 | 16331 693.60/693.95 c 692s | 15 | 175114 | 121832 | 175771 0 | 13151 | 16331 695.80/696.11 c 694s | 15 | 175485 | 122132 | 175771 0 | 13151 | 16331 698.40/698.71 c 696s | 15 | 175876 | 122432 | 175771 0 | 13151 | 16331 700.71/701.09 c 699s | 15 | 176266 | 122732 | 175771 0 | 13151 | 16331 703.00/703.31 c 701s | 15 | 176666 | 123032 | 175771 0 | 13151 | 16331 705.49/705.80 c 703s | 15 | 177076 | 123332 | 175771 0 | 13151 | 16331 707.59/707.94 c 706s | 15 | 177528 | 123632 | 175771 0 | 13151 | 16331 710.29/710.61 c 708s | 15 | 178080 | 124032 | 175771 0 | 13151 | 16331 712.59/712.99 c 711s | 15 | 178450 | 124332 | 175771 0 | 13151 | 16331 715.29/715.67 c 713s | 15 | 178831 | 124632 | 175771 0 | 13151 | 16331 717.59/718.00 c 716s | 15 | 179296 | 124932 | 175771 0 | 13151 | 16331 719.69/720.00 c 718s | 15 | 179563 | 125132 | 175771 0 | 13151 | 16331 722.69/723.07 c 721s | 15 | 179920 | 125432 | 175771 0 | 13151 | 16331 725.19/725.54 c 723s | 15 | 180310 | 125732 | 175771 0 | 13151 | 16331 727.49/727.85 c 725s | 15 | 180719 | 126032 | 175771 0 | 13151 | 16331 730.09/730.45 c 728s | 15 | 181092 | 126332 | 175771 0 | 13151 | 16331 732.09/732.48 c 730s | 15 | 181339 | 126532 | 175771 0 | 13151 | 16331 734.99/735.39 c 733s | 15 | 181713 | 126832 | 175771 0 | 13151 | 16331 737.09/737.47 c 735s | 15 | 181931 | 127032 | 175771 0 | 13151 | 16331 739.19/739.57 c 737s | 15 | 182184 | 127232 | 175771 0 | 13151 | 16331 741.98/742.37 c 740s | 15 | 182560 | 127532 | 175771 0 | 13151 | 16331 744.88/745.22 c 743s | 15 | 182929 | 127832 | 175771 0 | 13151 | 16331 747.58/747.95 c 746s | 15 | 183319 | 128132 | 175771 0 | 13151 | 16331 749.68/750.02 c 748s | 15 | 183559 | 128332 | 175771 0 | 13151 | 16331 752.29/752.69 c 750s | 15 | 183937 | 128632 | 175771 0 | 13151 | 16331 755.08/755.46 c 753s | 15 | 184389 | 128932 | 175771 0 | 13151 | 16331 757.58/757.94 c 756s | 15 | 184796 | 129232 | 175771 0 | 13151 | 16331 760.09/760.45 c 758s | 15 | 185180 | 129532 | 175771 0 | 13151 | 16331 762.48/762.83 c 760s | 15 | 185562 | 129832 | 175771 0 | 13151 | 16331 764.49/764.86 c 762s | 15 | 185952 | 130132 | 175771 0 | 13151 | 16331 766.69/767.07 c 765s | 15 | 186295 | 130432 | 175771 0 | 13151 | 16331 769.48/769.84 c 767s | 15 | 186661 | 130732 | 193349 0 | 13151 | 16331 771.48/771.84 c 769s | 15 | 186929 | 130932 | 193349 0 | 13151 | 16331 773.58/773.96 c 772s | 15 | 187165 | 131132 | 193349 0 | 13151 | 16331 775.58/775.97 c 774s | 15 | 187401 | 131332 | 193349 0 | 13151 | 16331 777.58/777.99 c 776s | 16 | 187693 | 131552 | 193349 0 | 13151 | 16331 780.18/780.59 c 778s | 16 | 188056 | 131752 | 193349 0 | 13151 | 16331 782.48/782.88 c 780s | 16 | 188456 | 132052 | 193349 0 | 13151 | 16331 784.58/784.91 c 782s | 16 | 188890 | 132352 | 193349 0 | 13151 | 16331 787.18/787.54 c 785s | 16 | 189370 | 132652 | 193349 0 | 13151 | 16331 789.88/790.24 c 788s | 16 | 189785 | 132952 | 193349 0 | 13151 | 16331 792.48/792.86 c 790s | 16 | 190247 | 133252 | 193349 0 | 13151 | 16331 795.38/795.70 c 793s | 16 | 190646 | 133552 | 193349 0 | 13151 | 16331 797.38/797.76 c 795s | 16 | 190919 | 133752 | 193349 0 | 13151 | 16331 800.07/800.44 c 798s | 16 | 191347 | 134052 | 193349 0 | 13151 | 16331 803.17/803.52 c 801s | 16 | 191755 | 134352 | 193349 0 | 13151 | 16331 805.37/805.72 c 803s | 16 | 191986 | 134552 | 193349 0 | 13151 | 16331 807.38/807.78 c 805s | 16 | 192527 | 134852 | 193349 0 | 13151 | 16331 809.67/810.00 c 808s | 16 | 192958 | 135152 | 193349 0 | 13151 | 16331 812.37/812.76 c 810s | 16 | 193350 | 135452 | 193349 0 | 13151 | 16331 815.08/815.43 c 813s | 16 | 193787 | 135752 | 193349 0 | 13151 | 16331 817.57/817.96 c 816s | 16 | 194281 | 136052 | 193349 0 | 13151 | 16331 820.37/820.74 c 818s | 16 | 194719 | 136352 | 193349 0 | 13151 | 16331 822.68/823.02 c 821s | 16 | 195102 | 136652 | 193349 0 | 13151 | 16331 824.88/825.23 c 823s | 16 | 195491 | 136952 | 193349 0 | 13151 | 16331 827.67/828.04 c 826s | 16 | 195920 | 137252 | 193349 0 | 13151 | 16331 829.67/830.04 c 828s | 16 | 196249 | 137452 | 193349 0 | 13151 | 16331 832.27/832.68 c 830s | 16 | 196682 | 137752 | 193349 0 | 13151 | 16331 835.07/835.46 c 833s | 16 | 197118 | 138052 | 193349 0 | 13151 | 16331 837.67/838.02 c 836s | 16 | 197542 | 138352 | 193349 0 | 13151 | 16331 839.97/840.34 c 838s | 16 | 197960 | 138652 | 193349 0 | 13151 | 16331 842.47/842.90 c 840s | 16 | 198411 | 138952 | 193349 0 | 13151 | 16331 844.67/845.05 c 843s | 16 | 198674 | 139152 | 193349 0 | 13151 | 16331 846.77/847.10 c 845s | 16 | 198978 | 139352 | 193349 0 | 13151 | 16331 849.57/849.91 c 847s | 16 | 199418 | 139652 | 193349 0 | 13151 | 16331 852.67/853.04 c 851s | 16 | 199842 | 139952 | 193349 0 | 13151 | 16331 854.67/855.08 c 853s | 16 | 200176 | 140152 | 193349 0 | 13151 | 16331 857.06/857.44 c 855s | 16 | 200593 | 140452 | 193349 0 | 13151 | 16331 859.46/859.87 c 857s | 16 | 201082 | 140752 | 193349 0 | 13151 | 16331 861.56/861.92 c 860s | 16 | 201350 | 140952 | 193349 0 | 13151 | 16331 864.06/864.44 c 862s | 16 | 201773 | 141252 | 193349 0 | 13151 | 16331 866.06/866.45 c 864s | 16 | 202042 | 141452 | 193349 0 | 13151 | 16331 868.36/868.70 c 866s | 16 | 202280 | 141652 | 193349 0 | 13151 | 16331 870.86/871.26 c 869s | 16 | 202823 | 141952 | 193349 0 | 13151 | 16331 873.37/873.79 c 871s | 16 | 203263 | 142252 | 193349 0 | 13151 | 16331 876.06/876.48 c 874s | 16 | 203754 | 142552 | 193349 0 | 13151 | 16331 878.16/878.54 c 876s | 16 | 204016 | 142752 | 193349 0 | 13151 | 16331 880.46/880.89 c 878s | 16 | 204432 | 143052 | 193349 0 | 13151 | 16331 882.96/883.37 c 881s | 16 | 204899 | 143352 | 193349 0 | 13151 | 16331 885.06/885.47 c 883s | 16 | 205378 | 143652 | 193349 0 | 13151 | 16331 887.46/887.81 c 885s | 16 | 205829 | 143952 | 193349 0 | 13151 | 16331 889.86/890.23 c 888s | 16 | 206355 | 144252 | 193349 0 | 13151 | 16331 892.06/892.49 c 890s | 16 | 206849 | 144552 | 193349 0 | 13151 | 16331 894.35/894.77 c 892s | 16 | 207280 | 144852 | 193349 0 | 13151 | 16331 896.85/897.28 c 895s | 16 | 207738 | 145152 | 193349 0 | 13151 | 16331 900.45/900.87 c 898s | 16 | 208242 | 145452 | 193349 0 | 13187 | 16687 902.85/903.26 c 901s | 16 | 208623 | 145752 | 193349 0 | 13187 | 16687 905.35/905.78 c 903s | 16 | 209056 | 146052 | 193349 0 | 13187 | 16687 907.36/907.79 c 905s | 16 | 209531 | 146352 | 193349 0 | 13187 | 16687 910.15/910.57 c 908s | 16 | 210110 | 146752 | 193349 0 | 13187 | 16687 912.86/913.23 c 911s | 16 | 210486 | 147052 | 193349 0 | 13187 | 16687 914.95/915.40 c 913s | 16 | 210930 | 147352 | 193349 0 | 13187 | 16687 917.45/917.89 c 915s | 16 | 211456 | 147752 | 193349 0 | 13187 | 16687 919.85/920.24 c 918s | 16 | 211865 | 148052 | 193349 0 | 13187 | 16687 921.85/922.29 c 920s | 16 | 212200 | 148352 | 193349 0 | 13187 | 16687 923.96/924.37 c 922s | 16 | 212600 | 148652 | 193349 0 | 13187 | 16687 926.06/926.45 c 924s | 16 | 212976 | 148952 | 193349 0 | 13187 | 16687 928.45/928.83 c 926s | 16 | 213413 | 149252 | 193349 0 | 13187 | 16687 930.75/931.19 c 929s | 16 | 213854 | 149552 | 193349 0 | 13187 | 16687 933.15/933.52 c 931s | 16 | 214321 | 149852 | 193349 0 | 13187 | 16687 935.25/935.60 c 933s | 16 | 214845 | 150152 | 193349 0 | 13187 | 16687 937.75/938.16 c 936s | 16 | 215301 | 150452 | 193349 0 | 13187 | 16687 940.25/940.66 c 938s | 16 | 215644 | 150752 | 193349 0 | 13187 | 16687 942.85/943.20 c 941s | 16 | 215983 | 151052 | 193349 0 | 13187 | 16687 945.25/945.67 c 943s | 16 | 216429 | 151352 | 193349 0 | 13187 | 16687 947.94/948.34 c 946s | 16 | 216814 | 151652 | 193349 0 | 13187 | 16687 950.44/950.83 c 948s | 16 | 217156 | 151952 | 193349 0 | 13187 | 16687 953.34/953.70 c 951s | 16 | 217517 | 152252 | 193349 0 | 13187 | 16687 955.44/955.86 c 953s | 16 | 217761 | 152452 | 193349 0 | 13187 | 16687 957.54/957.98 c 956s | 16 | 218183 | 152752 | 193349 0 | 13187 | 16687 960.15/960.52 c 958s | 16 | 218893 | 153252 | 193349 0 | 13187 | 16687 962.35/962.70 c 960s | 16 | 219352 | 153552 | 193349 0 | 13187 | 16687 964.74/965.18 c 963s | 16 | 219773 | 153852 | 193349 0 | 13187 | 16687 967.34/967.76 c 965s | 16 | 220150 | 154152 | 193349 0 | 13187 | 16687 969.84/970.24 c 968s | 16 | 220526 | 154452 | 193349 0 | 13187 | 16687 972.54/972.90 c 970s | 16 | 220898 | 154752 | 193349 0 | 13187 | 16687 974.74/975.17 c 973s | 16 | 221295 | 155052 | 193349 0 | 13187 | 16687 977.64/978.04 c 976s | 16 | 221700 | 155352 | 193349 0 | 13187 | 16687 980.05/980.43 c 978s | 16 | 222130 | 155652 | 193349 0 | 13187 | 16687 982.35/982.70 c 980s | 16 | 222686 | 155952 | 193349 0 | 13187 | 16687 984.95/985.35 c 983s | 16 | 223054 | 156252 | 193349 0 | 13187 | 16687 987.45/987.80 c 985s | 16 | 223417 | 156552 | 193349 0 | 13187 | 16687 990.15/990.56 c 988s | 16 | 223975 | 156952 | 193349 0 | 13187 | 16687 992.45/992.88 c 990s | 16 | 224420 | 157252 | 193349 0 | 13187 | 16687 994.74/995.15 c 993s | 16 | 224809 | 157552 | 193349 0 | 13187 | 16687 996.84/997.22 c 995s | 16 | 225258 | 157852 | 193349 0 | 13187 | 16687 999.54/999.90 c 997s | 16 | 225760 | 158252 | 193349 0 | 13187 | 16687 1002.05/1002.46 c 1000s | 16 | 226152 | 158552 | 193349 0 | 13187 | 16687 1004.34/1004.73 c 1002s | 16 | 226559 | 158852 | 193349 0 | 13187 | 16687 1006.64/1007.09 c 1005s | 16 | 226955 | 159152 | 193349 0 | 13187 | 16687 1009.24/1009.63 c 1007s | 16 | 227382 | 159452 | 193349 0 | 13187 | 16687 1011.44/1011.85 c 1009s | 16 | 227774 | 159752 | 193349 0 | 13187 | 16687 1013.94/1014.37 c 1012s | 16 | 228295 | 160152 | 193349 0 | 13187 | 16687 1016.25/1016.66 c 1014s | 16 | 228712 | 160452 | 193349 0 | 13187 | 16687 1019.04/1019.40 c 1017s | 16 | 229089 | 160752 | 193349 0 | 13187 | 16687 1021.85/1022.21 c 1020s | 16 | 229486 | 161052 | 193349 0 | 13187 | 16687 1024.44/1024.81 c 1022s | 16 | 229908 | 161352 | 193349 0 | 13187 | 16687 1027.24/1027.62 c 1025s | 16 | 230288 | 161652 | 193349 0 | 13187 | 16687 1029.44/1029.82 c 1027s | 16 | 230665 | 161952 | 193349 0 | 13187 | 16687 1031.74/1032.14 c 1030s | 16 | 231054 | 162252 | 193349 0 | 13187 | 16687 1034.14/1034.55 c 1032s | 16 | 231531 | 162552 | 193349 0 | 13187 | 16687 1036.64/1037.06 c 1035s | 16 | 231936 | 162852 | 193349 0 | 13187 | 16687 1039.14/1039.53 c 1037s | 16 | 232319 | 163152 | 193349 0 | 13187 | 16687 1042.14/1042.50 c 1040s | 16 | 232681 | 163452 | 193349 0 | 13187 | 16687 1044.44/1044.80 c 1042s | 16 | 233136 | 163752 | 193349 0 | 13187 | 16687 1046.63/1047.02 c 1045s | 16 | 233577 | 164052 | 193349 0 | 13187 | 16687 1048.63/1049.05 c 1047s | 16 | 233965 | 164352 | 193349 0 | 13187 | 16687 1050.83/1051.29 c 1049s | 16 | 234330 | 164652 | 193349 0 | 13187 | 16687 1053.43/1053.84 c 1051s | 16 | 234749 | 164952 | 193349 0 | 13187 | 16687 1056.33/1056.77 c 1054s | 16 | 235125 | 165252 | 193349 0 | 13187 | 16687 1058.53/1058.93 c 1057s | 16 | 235365 | 165452 | 193349 0 | 13187 | 16687 1061.13/1061.58 c 1059s | 16 | 235713 | 165752 | 193349 0 | 13187 | 16687 1064.23/1064.60 c 1062s | 16 | 236101 | 166052 | 193349 0 | 13187 | 16687 1066.23/1066.61 c 1064s | 16 | 236377 | 166252 | 193349 0 | 13187 | 16687 1068.73/1069.10 c 1067s | 16 | 236768 | 166552 | 193349 0 | 13187 | 16687 1071.13/1071.59 c 1069s | 16 | 237171 | 166852 | 193349 0 | 13187 | 16687 1073.73/1074.12 c 1072s | 16 | 237588 | 167152 | 193349 0 | 13187 | 16687 1076.13/1076.59 c 1074s | 16 | 237976 | 167452 | 193349 0 | 13187 | 16687 1078.23/1078.64 c 1076s | 16 | 238389 | 167752 | 193349 0 | 13187 | 16687 1080.83/1081.25 c 1079s | 16 | 238979 | 168152 | 193349 0 | 13187 | 16687 1083.43/1083.84 c 1081s | 16 | 239436 | 168452 | 193349 0 | 13187 | 16687 1085.83/1086.25 c 1084s | 16 | 239817 | 168752 | 193349 0 | 13187 | 16687 1088.13/1088.54 c 1086s | 16 | 240212 | 169052 | 193349 0 | 13187 | 16687 1090.22/1090.62 c 1088s | 16 | 240627 | 169352 | 193349 0 | 13187 | 16687 1092.52/1092.92 c 1091s | 16 | 241117 | 169752 | 193349 0 | 13187 | 16687 1094.92/1095.36 c 1093s | 16 | 241509 | 170052 | 193349 0 | 13187 | 16687 1097.63/1098.07 c 1096s | 16 | 241881 | 170352 | 193349 0 | 13187 | 16687 1100.12/1100.52 c 1098s | 16 | 242340 | 170652 | 193349 0 | 13187 | 16687 1102.82/1103.29 c 1101s | 16 | 242709 | 170952 | 193349 0 | 13187 | 16687 1105.52/1105.98 c 1104s | 16 | 243104 | 171252 | 193349 0 | 13187 | 16687 1108.12/1108.55 c 1106s | 16 | 243538 | 171552 | 193349 0 | 13187 | 16687 1110.93/1111.36 c 1109s | 16 | 243939 | 171852 | 193349 0 | 13187 | 16687 1113.72/1114.19 c 1112s | 16 | 244386 | 172152 | 193349 0 | 13187 | 16687 1116.22/1116.67 c 1114s | 16 | 244777 | 172452 | 193349 0 | 13187 | 16687 1118.62/1119.04 c 1117s | 16 | 245164 | 172752 | 193349 0 | 13187 | 16687 1121.02/1121.40 c 1119s | 16 | 245529 | 173052 | 193349 0 | 13187 | 16687 1123.52/1123.94 c 1122s | 16 | 245896 | 173352 | 193349 0 | 13187 | 16687 1126.42/1126.85 c 1124s | 16 | 246275 | 173652 | 193349 0 | 13187 | 16687 1128.92/1129.35 c 1127s | 16 | 246682 | 173952 | 193349 0 | 13187 | 16687 1131.52/1131.90 c 1129s | 16 | 247109 | 174252 | 193349 0 | 13187 | 16687 1133.71/1134.13 c 1132s | 16 | 247481 | 174552 | 193349 0 | 13187 | 16687 1136.31/1136.74 c 1134s | 16 | 247869 | 174852 | 193349 0 | 13187 | 16687 1139.21/1139.67 c 1137s | 16 | 248237 | 175152 | 193349 0 | 13187 | 16687 1141.31/1141.77 c 1139s | 16 | 248481 | 175352 | 193349 0 | 13187 | 16687 1143.52/1143.99 c 1142s | 16 | 248728 | 175552 | 193349 0 | 13187 | 16687 1146.52/1146.90 c 1144s | 16 | 249110 | 175852 | 193349 0 | 13187 | 16687 1149.12/1149.53 c 1147s | 16 | 249482 | 176152 | 193349 0 | 13187 | 16687 1152.12/1152.50 c 1150s | 16 | 249850 | 176452 | 193349 0 | 13187 | 16687 1154.22/1154.65 c 1152s | 16 | 250098 | 176652 | 193349 0 | 13187 | 16687 1156.42/1156.89 c 1154s | 16 | 250354 | 176852 | 193349 0 | 13187 | 16687 1159.42/1159.81 c 1157s | 16 | 250715 | 177152 | 193349 0 | 13187 | 16687 1161.82/1162.20 c 1160s | 16 | 251059 | 177452 | 193349 0 | 13187 | 16687 1164.42/1164.87 c 1162s | 16 | 251444 | 177752 | 193349 0 | 13187 | 16687 1166.62/1167.04 c 1165s | 16 | 251703 | 177952 | 193349 0 | 13187 | 16687 1168.82/1169.25 c 1167s | 16 | 251951 | 178152 | 193349 0 | 13187 | 16687 1170.82/1171.27 c 1169s | 16 | 252203 | 178352 | 193349 0 | 13187 | 16687 1173.32/1173.78 c 1171s | 16 | 252597 | 178652 | 193349 0 | 13187 | 16687 1176.32/1176.79 c 1174s | 16 | 252954 | 178952 | 193349 0 | 13187 | 16687 1178.52/1178.95 c 1177s | 16 | 253205 | 179152 | 193349 0 | 13187 | 16687 1181.02/1181.45 c 1179s | 16 | 253425 | 179352 | 193349 0 | 13187 | 16687 1183.32/1183.75 c 1181s | 16 | 253645 | 179552 | 193349 0 | 13187 | 16687 1186.11/1186.54 c 1184s | 16 | 253998 | 179852 | 193349 0 | 13187 | 16687 1188.11/1188.59 c 1186s | 16 | 254246 | 180052 | 193349 0 | 13187 | 16687 1191.01/1191.45 c 1189s | 16 | 254600 | 180352 | 193349 0 | 13187 | 16687 1193.11/1193.51 c 1191s | 16 | 254857 | 180552 | 193349 0 | 13187 | 16687 1195.11/1195.57 c 1193s | 16 | 255098 | 180752 | 193349 0 | 13187 | 16687 1198.21/1198.63 c 1196s | 16 | 255492 | 181052 | 193349 0 | 13187 | 16687 1201.02/1201.43 c 1199s | 16 | 255846 | 181352 | 193349 0 | 13187 | 16687 1203.81/1204.21 c 1202s | 16 | 256210 | 181652 | 193349 0 | 13187 | 16687 1206.31/1206.77 c 1204s | 16 | 256648 | 181952 | 193349 0 | 13187 | 16687 1208.82/1209.29 c 1207s | 16 | 257028 | 182252 | 193349 0 | 13187 | 16687 1211.61/1212.08 c 1210s | 16 | 257389 | 182552 | 193349 0 | 13187 | 16687 1214.51/1214.91 c 1212s | 16 | 257781 | 182852 | 193349 0 | 13187 | 16687 1216.81/1217.29 c 1215s | 16 | 258013 | 183052 | 193349 0 | 13187 | 16687 1219.81/1220.27 c 1218s | 16 | 258388 | 183352 | 193349 0 | 13187 | 16687 1222.61/1223.08 c 1221s | 16 | 258795 | 183652 | 193349 0 | 13187 | 16687 1225.01/1225.47 c 1223s | 16 | 259047 | 183852 | 193349 0 | 13187 | 16687 1227.81/1228.24 c 1226s | 16 | 259441 | 184152 | 193349 0 | 13187 | 16687 1230.81/1231.23 c 1229s | 16 | 259832 | 184452 | 193349 0 | 13187 | 16687 1233.81/1234.22 c 1232s | 16 | 260226 | 184752 | 193349 0 | 13187 | 16687 1235.81/1236.24 c 1234s | 16 | 260487 | 184952 | 193349 0 | 13187 | 16687 1238.00/1238.48 c 1236s | 16 | 260732 | 185152 | 193349 0 | 13187 | 16687 1240.50/1240.90 c 1238s | 16 | 261117 | 185452 | 193349 0 | 13187 | 16687 1242.70/1243.13 c 1241s | 16 | 261494 | 185752 | 193349 0 | 13187 | 16687 1244.80/1245.26 c 1243s | 16 | 261705 | 185952 | 193349 0 | 13187 | 16687 1247.80/1248.23 c 1246s | 16 | 262082 | 186252 | 193349 0 | 13187 | 16687 1249.90/1250.38 c 1248s | 16 | 262303 | 186452 | 193349 0 | 13187 | 16687 1252.10/1252.54 c 1250s | 16 | 262572 | 186652 | 193349 0 | 13187 | 16687 1254.20/1254.63 c 1252s | 16 | 262844 | 186852 | 193349 0 | 13187 | 16687 1256.80/1257.26 c 1255s | 16 | 263272 | 187152 | 193349 0 | 13187 | 16687 1259.20/1259.68 c 1257s | 16 | 263650 | 187452 | 193349 0 | 13187 | 16687 1261.70/1262.10 c 1260s | 16 | 264065 | 187752 | 193349 0 | 13187 | 16687 1264.60/1265.00 c 1263s | 16 | 264462 | 188052 | 193349 0 | 13187 | 16687 1267.20/1267.63 c 1265s | 16 | 264882 | 188352 | 193349 0 | 13187 | 16687 1270.00/1270.46 c 1268s | 16 | 265262 | 188652 | 193349 0 | 13187 | 16687 1272.70/1273.16 c 1271s | 16 | 265613 | 188952 | 193349 0 | 13187 | 16687 1275.20/1275.64 c 1273s | 16 | 266004 | 189252 | 193349 0 | 13187 | 16687 1278.00/1278.49 c 1276s | 16 | 266413 | 189552 | 193349 0 | 13187 | 16687 1280.10/1280.50 c 1278s | 16 | 266650 | 189752 | 193349 0 | 13187 | 16687 1282.90/1283.34 c 1281s | 16 | 267158 | 190152 | 193349 0 | 13187 | 16687 1285.50/1285.94 c 1284s | 16 | 267788 | 190552 | 193349 0 | 13187 | 16687 1288.30/1288.77 c 1286s | 16 | 268346 | 190952 | 193349 0 | 13187 | 16687 1291.20/1291.69 c 1289s | 16 | 268732 | 191252 | 193349 0 | 13187 | 16687 1293.40/1293.89 c 1291s | 16 | 269217 | 191552 | 193349 0 | 13187 | 16687 1295.60/1296.06 c 1294s | 16 | 269744 | 191952 | 193349 0 | 13187 | 16687 1297.69/1298.13 c 1296s | 16 | 270286 | 192352 | 193349 0 | 13187 | 16687 1299.69/1300.16 c 1298s | 16 | 270650 | 192652 | 193349 0 | 13187 | 16687 1302.39/1302.86 c 1300s | 16 | 271066 | 192952 | 193349 0 | 13187 | 16687 1304.69/1305.11 c 1303s | 16 | 271609 | 193352 | 193349 0 | 13187 | 16687 1306.99/1307.41 c 1305s | 16 | 271977 | 193652 | 193349 0 | 13187 | 16687 1309.19/1309.69 c 1307s | 16 | 272355 | 193952 | 193349 0 | 13187 | 16687 1312.20/1312.67 c 1310s | 16 | 272802 | 194252 | 193349 0 | 13187 | 16687 1315.09/1315.56 c 1313s | 16 | 273230 | 194552 | 193349 0 | 13187 | 16687 1318.09/1318.54 c 1316s | 16 | 273607 | 194852 | 193349 0 | 13187 | 16687 1320.49/1320.95 c 1319s | 16 | 273998 | 195152 | 193349 0 | 13187 | 16687 1323.49/1323.96 c 1322s | 16 | 274357 | 195452 | 193349 0 | 13187 | 16687 1325.69/1326.10 c 1324s | 16 | 274612 | 195652 | 193349 0 | 13187 | 16687 1328.19/1328.67 c 1326s | 16 | 275074 | 195952 | 193349 0 | 13187 | 16687 1330.39/1330.80 c 1328s | 16 | 275463 | 196252 | 212684 0 | 13187 | 16687 1333.29/1333.71 c 1331s | 16 | 275941 | 196552 | 212684 0 | 13187 | 16687 1335.39/1335.86 c 1333s | 16 | 276221 | 196752 | 212684 0 | 13187 | 16687 1338.09/1338.52 c 1336s | 16 | 276606 | 197052 | 212684 0 | 13187 | 16687 1340.49/1340.98 c 1339s | 16 | 276950 | 197352 | 212684 0 | 13187 | 16687 1341.09/1341.57 c 1339s | 17 | 277058 | 197432 | 212684 0 | 13187 | 16687 1343.69/1344.18 c 1342s | 17 | 277504 | 197632 | 212684 0 | 13187 | 16687 1345.79/1346.22 c 1344s | 17 | 278019 | 197932 | 212684 0 | 13187 | 16687 1348.39/1348.90 c 1346s | 17 | 278585 | 198332 | 212684 0 | 13187 | 16687 1350.59/1351.09 c 1349s | 17 | 278963 | 198632 | 212684 0 | 13187 | 16687 1352.79/1353.29 c 1351s | 17 | 279376 | 198932 | 212684 0 | 13187 | 16687 1355.48/1355.90 c 1353s | 17 | 279897 | 199332 | 212684 0 | 13187 | 16687 1357.78/1358.24 c 1356s | 17 | 280300 | 199632 | 212684 0 | 13187 | 16687 1360.49/1361.00 c 1359s | 17 | 280785 | 200032 | 212684 0 | 13187 | 16687 1362.69/1363.14 c 1361s | 17 | 281128 | 200332 | 212684 0 | 13187 | 16687 1364.78/1365.23 c 1363s | 17 | 281481 | 200632 | 212684 0 | 13187 | 16687 1367.38/1367.83 c 1365s | 17 | 281984 | 201032 | 212684 0 | 13187 | 16687 1369.78/1370.26 c 1368s | 17 | 282356 | 201332 | 212684 0 | 13187 | 16687 1371.98/1372.48 c 1370s | 17 | 282746 | 201632 | 212684 0 | 13187 | 16687 1374.18/1374.63 c 1372s | 17 | 283212 | 201932 | 212684 0 | 13187 | 16687 1376.48/1376.96 c 1375s | 17 | 283764 | 202332 | 212684 0 | 13187 | 16687 1378.68/1379.10 c 1377s | 17 | 284217 | 202632 | 212684 0 | 13187 | 16687 1381.18/1381.62 c 1379s | 17 | 284735 | 203032 | 212684 0 | 13187 | 16687 1383.28/1383.76 c 1381s | 17 | 285114 | 203332 | 212684 0 | 13187 | 16687 1385.58/1386.04 c 1384s | 17 | 285454 | 203632 | 212684 0 | 13187 | 16687 1387.78/1388.25 c 1386s | 17 | 285822 | 203932 | 212684 0 | 13187 | 16687 1390.48/1390.94 c 1389s | 17 | 286204 | 204232 | 212684 0 | 13187 | 16687 1393.08/1393.51 c 1391s | 17 | 286720 | 204632 | 212684 0 | 13187 | 16687 1395.68/1396.20 c 1394s | 17 | 287102 | 204932 | 212684 0 | 13187 | 16687 1397.88/1398.31 c 1396s | 17 | 287477 | 205232 | 212684 0 | 13187 | 16687 1400.78/1401.28 c 1399s | 17 | 287800 | 205532 | 212684 0 | 13187 | 16687 1403.28/1403.71 c 1401s | 17 | 288170 | 205832 | 212684 0 | 13187 | 16687 1405.48/1405.97 c 1404s | 17 | 288540 | 206132 | 212684 0 | 13187 | 16687 1408.08/1408.50 c 1406s | 17 | 288901 | 206432 | 212684 0 | 13187 | 16687 1410.27/1410.76 c 1408s | 17 | 289286 | 206732 | 212684 0 | 13187 | 16687 1412.37/1412.84 c 1410s | 17 | 289610 | 207032 | 212684 0 | 13187 | 16687 1414.48/1414.99 c 1413s | 17 | 290000 | 207332 | 212684 0 | 13187 | 16687 1416.77/1417.21 c 1415s | 17 | 290335 | 207632 | 212684 0 | 13187 | 16687 1419.17/1419.64 c 1417s | 17 | 290818 | 208032 | 212684 0 | 13187 | 16687 1421.27/1421.72 c 1419s | 17 | 291206 | 208332 | 212684 0 | 13187 | 16687 1423.47/1423.99 c 1422s | 17 | 291554 | 208632 | 212684 0 | 13187 | 16687 1425.77/1426.23 c 1424s | 17 | 291937 | 208932 | 212684 0 | 13187 | 16687 1428.17/1428.67 c 1426s | 17 | 292309 | 209232 | 212684 0 | 13187 | 16687 1430.57/1431.02 c 1429s | 17 | 292666 | 209532 | 212684 0 | 13187 | 16687 1433.07/1433.53 c 1431s | 17 | 293035 | 209832 | 212684 0 | 13187 | 16687 1435.67/1436.13 c 1434s | 17 | 293376 | 210132 | 212684 0 | 13187 | 16687 1437.87/1438.38 c 1436s | 17 | 293757 | 210432 | 212684 0 | 13187 | 16687 1440.27/1440.72 c 1438s | 17 | 294166 | 210732 | 212684 0 | 13187 | 16687 1442.57/1443.06 c 1441s | 17 | 294515 | 211032 | 212684 0 | 13187 | 16687 1444.87/1445.33 c 1443s | 17 | 294910 | 211332 | 212684 0 | 13187 | 16687 1447.37/1447.86 c 1445s | 17 | 295275 | 211632 | 212684 0 | 13187 | 16687 1449.67/1450.18 c 1448s | 17 | 295629 | 211932 | 212684 0 | 13187 | 16687 1451.78/1452.29 c 1450s | 17 | 295965 | 212232 | 212684 0 | 13187 | 16687 1454.47/1454.92 c 1453s | 17 | 296319 | 212532 | 212684 0 | 13187 | 16687 1457.28/1457.75 c 1455s | 17 | 296679 | 212832 | 212684 0 | 13187 | 16687 1459.77/1460.25 c 1458s | 17 | 297016 | 213132 | 212684 0 | 13187 | 16687 1461.87/1462.37 c 1460s | 17 | 297394 | 213432 | 212684 0 | 13187 | 16687 1464.07/1464.54 c 1462s | 17 | 297776 | 213732 | 212684 0 | 13187 | 16687 1466.67/1467.12 c 1465s | 17 | 298123 | 214032 | 212684 0 | 13187 | 16687 1469.48/1469.99 c 1468s | 17 | 298491 | 214332 | 212684 0 | 13187 | 16687 1472.17/1472.69 c 1470s | 17 | 298838 | 214632 | 212684 0 | 13187 | 16687 1474.87/1475.39 c 1473s | 17 | 299166 | 214932 | 212684 0 | 13187 | 16687 1477.37/1477.87 c 1475s | 17 | 299528 | 215232 | 212684 0 | 13187 | 16687 1479.57/1480.01 c 1478s | 17 | 299903 | 215532 | 212684 0 | 13187 | 16687 1481.57/1482.01 c 1480s | 17 | 300260 | 215832 | 212684 0 | 13187 | 16687 1484.27/1484.76 c 1482s | 17 | 300710 | 216232 | 212684 0 | 13187 | 16687 1486.87/1487.31 c 1485s | 17 | 301209 | 216632 | 212684 0 | 13187 | 16687 1489.17/1489.63 c 1487s | 17 | 301701 | 217032 | 212684 0 | 13187 | 16687 1491.16/1491.64 c 1489s | 17 | 302169 | 217432 | 212684 0 | 13187 | 16687 1493.67/1494.18 c 1492s | 17 | 302657 | 217832 | 212684 0 | 13187 | 16687 1495.96/1496.43 c 1494s | 17 | 303013 | 218132 | 212684 0 | 13187 | 16687 1498.16/1498.64 c 1496s | 17 | 303339 | 218432 | 212684 0 | 13187 | 16687 1500.86/1501.36 c 1499s | 17 | 303826 | 218832 | 212684 0 | 13187 | 16687 1503.47/1503.98 c 1502s | 17 | 304289 | 219232 | 212684 0 | 13187 | 16687 1505.56/1506.10 c 1504s | 17 | 304638 | 219532 | 212684 0 | 13187 | 16687 1507.66/1508.18 c 1506s | 17 | 305005 | 219832 | 212684 0 | 13187 | 16687 1510.46/1510.97 c 1509s | 17 | 305487 | 220232 | 212684 0 | 13187 | 16687 1512.66/1513.10 c 1511s | 17 | 305845 | 220532 | 212684 0 | 13187 | 16687 1514.66/1515.17 c 1513s | 17 | 306189 | 220832 | 212684 0 | 13187 | 16687 1516.77/1517.28 c 1515s | 17 | 306536 | 221132 | 212684 0 | 13187 | 16687 1519.16/1519.67 c 1517s | 17 | 307008 | 221532 | 212684 0 | 13187 | 16687 1521.26/1521.70 c 1519s | 17 | 307355 | 221832 | 212684 0 | 13187 | 16687 1523.76/1524.23 c 1522s | 17 | 307837 | 222232 | 212684 0 | 13187 | 16687 1525.86/1526.34 c 1524s | 17 | 308210 | 222532 | 212684 0 | 13187 | 16687 1527.86/1528.35 c 1526s | 17 | 308549 | 222832 | 212684 0 | 13187 | 16687 1530.26/1530.78 c 1528s | 17 | 309044 | 223232 | 212684 0 | 13187 | 16687 1532.46/1532.95 c 1531s | 17 | 309384 | 223532 | 212684 0 | 13187 | 16687 1534.86/1535.38 c 1533s | 17 | 309753 | 223832 | 212684 0 | 13187 | 16687 1536.96/1537.48 c 1535s | 17 | 310093 | 224132 | 212684 0 | 13187 | 16687 1539.46/1539.91 c 1537s | 17 | 310459 | 224432 | 212684 0 | 13187 | 16687 1541.56/1542.01 c 1540s | 17 | 310813 | 224732 | 212684 0 | 13187 | 16687 1543.76/1544.20 c 1542s | 17 | 311168 | 225032 | 212684 0 | 13187 | 16687 1546.65/1547.11 c 1545s | 17 | 311656 | 225432 | 212684 0 | 13187 | 16687 1549.05/1549.52 c 1547s | 17 | 312045 | 225732 | 212684 0 | 13187 | 16687 1551.45/1551.91 c 1549s | 17 | 312390 | 226032 | 212684 0 | 13187 | 16687 1553.85/1554.37 c 1552s | 17 | 312756 | 226332 | 212684 0 | 13187 | 16687 1556.26/1556.75 c 1554s | 17 | 313094 | 226632 | 212684 0 | 13187 | 16687 1558.65/1559.17 c 1557s | 17 | 313470 | 226932 | 212684 0 | 13187 | 16687 1561.25/1561.73 c 1559s | 17 | 313800 | 227232 | 212684 0 | 13187 | 16687 1563.65/1564.10 c 1562s | 17 | 314161 | 227532 | 212684 0 | 13187 | 16687 1565.95/1566.49 c 1564s | 17 | 314512 | 227832 | 212684 0 | 13187 | 16687 1568.55/1569.00 c 1567s | 17 | 314852 | 228132 | 212684 0 | 13187 | 16687 1570.95/1571.44 c 1569s | 17 | 315210 | 228432 | 212684 0 | 13187 | 16687 1573.55/1574.00 c 1572s | 17 | 315548 | 228732 | 212684 0 | 13187 | 16687 1576.35/1576.89 c 1574s | 17 | 315873 | 229032 | 212684 0 | 13187 | 16687 1579.05/1579.57 c 1577s | 17 | 316205 | 229332 | 212684 0 | 13187 | 16687 1581.65/1582.14 c 1580s | 17 | 316541 | 229632 | 212684 0 | 13187 | 16687 1584.35/1584.85 c 1582s | 17 | 316868 | 229932 | 212684 0 | 13187 | 16687 1586.65/1587.13 c 1585s | 17 | 317106 | 230132 | 212684 0 | 13187 | 16687 1589.15/1589.64 c 1587s | 17 | 317345 | 230332 | 212684 0 | 13187 | 16687 1591.84/1592.34 c 1590s | 17 | 317724 | 230632 | 212684 0 | 13187 | 16687 1594.85/1595.30 c 1593s | 17 | 318086 | 230932 | 212684 0 | 13187 | 16687 1597.34/1597.89 c 1595s | 17 | 318458 | 231232 | 212684 0 | 13187 | 16687 1600.14/1600.65 c 1598s | 17 | 318787 | 231532 | 212684 0 | 13187 | 16687 1602.45/1603.00 c 1601s | 17 | 319008 | 231732 | 212684 0 | 13187 | 16687 1604.54/1605.09 c 1603s | 17 | 319242 | 231932 | 212684 0 | 13187 | 16687 1607.24/1607.74 c 1605s | 17 | 319607 | 232232 | 212684 0 | 13187 | 16687 1609.94/1610.47 c 1608s | 17 | 319979 | 232532 | 212684 0 | 13187 | 16687 1612.45/1612.95 c 1611s | 17 | 320365 | 232832 | 212684 0 | 13187 | 16687 1615.14/1615.66 c 1613s | 17 | 320701 | 233132 | 212684 0 | 13187 | 16687 1618.04/1618.57 c 1616s | 17 | 321048 | 233432 | 212684 0 | 13187 | 16687 1620.84/1621.34 c 1619s | 17 | 321394 | 233732 | 212684 0 | 13187 | 16687 1623.24/1623.77 c 1621s | 17 | 321800 | 234032 | 212684 0 | 13187 | 16687 1625.44/1625.99 c 1624s | 17 | 322036 | 234232 | 212684 0 | 13187 | 16687 1627.64/1628.18 c 1626s | 17 | 322293 | 234432 | 212684 0 | 13187 | 16687 1629.94/1630.42 c 1628s | 17 | 322546 | 234632 | 212684 0 | 13187 | 16687 1633.04/1633.55 c 1631s | 17 | 322954 | 234932 | 212684 0 | 13187 | 16687 1636.04/1636.50 c 1634s | 17 | 323305 | 235232 | 212684 0 | 13187 | 16687 1638.44/1638.91 c 1636s | 17 | 323663 | 235532 | 212684 0 | 13187 | 16687 1641.54/1642.00 c 1640s | 17 | 324027 | 235832 | 212684 0 | 13187 | 16687 1643.54/1644.06 c 1642s | 17 | 324273 | 236032 | 212684 0 | 13187 | 16687 1648.23/1648.79 c 1646s | 17 | 324586 | 236232 | 212684 1 | 13187 | 16687 1650.53/1651.02 c 1649s | 17 | 325014 | 236532 | 212684 1 | 13187 | 16687 1652.93/1653.47 c 1651s | 17 | 325419 | 236832 | 212684 1 | 13187 | 16687 1655.53/1656.04 c 1654s | 17 | 325928 | 237232 | 212684 1 | 13187 | 16687 1657.64/1658.13 c 1656s | 17 | 326310 | 237532 | 212684 1 | 13187 | 16687 1659.84/1660.39 c 1658s | 17 | 326685 | 237832 | 212684 1 | 13187 | 16687 1662.54/1663.04 c 1661s | 17 | 327187 | 238232 | 212684 1 | 13187 | 16687 1664.94/1665.47 c 1663s | 17 | 327573 | 238532 | 212684 1 | 13187 | 16687 1667.14/1667.62 c 1665s | 17 | 327958 | 238832 | 212684 1 | 13187 | 16687 1669.34/1669.87 c 1667s | 17 | 328349 | 239132 | 212684 1 | 13187 | 16687 1671.74/1672.24 c 1670s | 17 | 328728 | 239432 | 212684 1 | 13187 | 16687 1673.94/1674.47 c 1672s | 17 | 329104 | 239732 | 212684 1 | 13187 | 16687 1676.14/1676.67 c 1674s | 17 | 329481 | 240032 | 212684 1 | 13187 | 16687 1678.34/1678.86 c 1676s | 17 | 329842 | 240332 | 212684 1 | 13187 | 16687 1680.64/1681.15 c 1679s | 17 | 330230 | 240632 | 212684 1 | 13187 | 16687 1682.84/1683.36 c 1681s | 17 | 330758 | 241032 | 212684 1 | 13187 | 16687 1685.33/1685.85 c 1683s | 17 | 331258 | 241432 | 212684 1 | 13187 | 16687 1687.83/1688.30 c 1686s | 17 | 331751 | 241832 | 212684 1 | 13187 | 16687 1689.83/1690.35 c 1688s | 17 | 332107 | 242132 | 212684 1 | 13187 | 16687 1692.43/1692.90 c 1690s | 17 | 332590 | 242532 | 212684 1 | 13187 | 16687 1694.84/1695.39 c 1693s | 17 | 333071 | 242932 | 212684 1 | 13187 | 16687 1696.93/1697.44 c 1695s | 17 | 333434 | 243232 | 212684 1 | 13187 | 16687 1699.13/1699.66 c 1697s | 17 | 333785 | 243532 | 212684 1 | 13187 | 16687 1701.63/1702.18 c 1700s | 17 | 334287 | 243932 | 212684 1 | 13187 | 16687 1703.74/1704.26 c 1702s | 17 | 334647 | 244232 | 212684 1 | 13187 | 16687 1706.33/1706.87 c 1704s | 17 | 335161 | 244632 | 212684 1 | 13187 | 16687 1709.03/1709.54 c 1707s | 17 | 335638 | 245032 | 212684 1 | 13187 | 16687 1711.44/1711.97 c 1710s | 17 | 336121 | 245432 | 212684 1 | 13187 | 16687 1713.93/1714.46 c 1712s | 17 | 336596 | 245832 | 212684 1 | 13187 | 16687 1716.03/1716.59 c 1714s | 17 | 336967 | 246132 | 212684 1 | 13187 | 16687 1718.33/1718.80 c 1716s | 17 | 337308 | 246432 | 212684 1 | 13187 | 16687 1720.43/1720.94 c 1719s | 17 | 337678 | 246732 | 212684 1 | 13187 | 16687 1722.43/1722.98 c 1721s | 17 | 338065 | 247032 | 212684 1 | 13187 | 16687 1724.53/1725.09 c 1723s | 17 | 338424 | 247332 | 212684 1 | 13187 | 16687 1726.53/1727.09 c 1725s | 17 | 338827 | 247632 | 212684 1 | 13187 | 16687 1729.13/1729.63 c 1727s | 17 | 339306 | 248032 | 212684 1 | 13187 | 16687 1731.23/1731.76 c 1729s | 17 | 339681 | 248332 | 212684 1 | 13187 | 16687 1733.83/1734.33 c 1732s | 17 | 340175 | 248732 | 212684 1 | 13187 | 16687 1735.92/1736.48 c 1734s | 17 | 340534 | 249032 | 212684 1 | 13187 | 16687 1738.12/1738.60 c 1736s | 17 | 340903 | 249332 | 212684 1 | 13187 | 16687 1740.12/1740.64 c 1738s | 17 | 341261 | 249632 | 212684 1 | 13187 | 16687 1742.82/1743.31 c 1741s | 17 | 341774 | 250032 | 212684 1 | 13187 | 16687 1744.92/1745.46 c 1743s | 17 | 342145 | 250332 | 212684 1 | 13187 | 16687 1747.02/1747.57 c 1745s | 17 | 342527 | 250632 | 212684 1 | 13187 | 16687 1749.12/1749.62 c 1747s | 17 | 342900 | 250932 | 212684 1 | 13187 | 16687 1751.12/1751.65 c 1749s | 17 | 343254 | 251232 | 212684 1 | 13187 | 16687 1753.82/1754.32 c 1752s | 17 | 343774 | 251632 | 212684 1 | 13187 | 16687 1756.12/1756.66 c 1754s | 17 | 344137 | 251932 | 212684 1 | 13187 | 16687 1758.32/1758.84 c 1756s | 17 | 344503 | 252232 | 212684 1 | 13187 | 16687 1760.42/1760.97 c 1759s | 17 | 344871 | 252532 | 212684 1 | 13187 | 16687 1763.13/1763.64 c 1761s | 17 | 345389 | 252932 | 212684 1 | 13187 | 16687 1765.82/1766.32 c 1764s | 17 | 345884 | 253332 | 212684 1 | 13187 | 16687 1768.12/1768.69 c 1766s | 17 | 346393 | 253732 | 212684 1 | 13187 | 16687 1770.72/1771.23 c 1769s | 17 | 346912 | 254132 | 212684 1 | 13187 | 16687 1772.82/1773.30 c 1771s | 17 | 347282 | 254432 | 212684 1 | 13187 | 16687 1775.02/1775.50 c 1773s | 17 | 347660 | 254732 | 212684 1 | 13187 | 16687 1777.32/1777.83 c 1775s | 17 | 348042 | 255032 | 212684 1 | 13187 | 16687 1779.92/1780.40 c 1778s | 17 | 348402 | 255332 | 212684 1 | 13187 | 16687 1781.92/1782.48 c 1780s | 17 | 348750 | 255632 | 212684 1 | 13187 | 16687 1784.12/1784.65 c 1782s | 17 | 349117 | 255932 | 212684 1 | 13187 | 16687 1786.82/1787.30 c 1785s | 17 | 349610 | 256332 | 212684 1 | 13187 | 16687 1788.82/1789.32 c 1787s | 17 | 349978 | 256632 | 212684 1 | 13187 | 16687 1791.31/1791.83 c 1789s | 17 | 350497 | 257032 | 212684 1 | 13187 | 16687 1793.31/1793.87 c 1791s | 17 | 350879 | 257332 | 212684 1 | 13187 | 16687 1795.41/1795.97 c 1794s | 17 | 351261 | 257632 | 212684 1 | 13187 | 16687 1798.11/1798.66 c 1796s | 17 | 351791 | 258032 | 212684 1 | 13187 | 16687
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-4078838-1465273007/watcher-4078838-1465273007 -o /tmp/evaluation-result-4078838-1465273007/solver-4078838-1465273007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078838-1465273007.opb pid=8120 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.00 2.01 2.00 3/179 8123 /proc/meminfo: memFree=17036240/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=736700 CPUtime=0 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 2752 0 0 0 0 0 0 0 20 0 4 0 109235493 754380800 3112 33554432000 4194304 16246674 140733682695632 140733682695056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 184943 3121 441 2943 0 181837 0 [pid=8123/tid=8124] ppid=8120 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 773255168 3183 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 777449472 3199 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 781643776 3217 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100196 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8123 /proc/meminfo: memFree=17036240/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 28024 0 0 0 5 3 0 0 20 0 4 0 109235493 1333334016 28323 33554432000 4194304 16246674 140733682695632 140733682694944 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 325521 28339 801 2943 0 322415 0 [pid=8123/tid=8124] ppid=8120 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1333334016 28350 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1333334016 28362 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1333334016 28373 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200567 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8123 /proc/meminfo: memFree=17036240/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1312324 CPUtime=0.19 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 49426 0 0 0 12 7 0 0 20 0 4 0 109235493 1343819776 50235 33554432000 4194304 16246674 140733682695632 140733682694944 8058930 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 328081 50235 801 2943 0 324975 0 [pid=8123/tid=8124] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 50235 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 50235 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 50235 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1312324 [startup+0.300422 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8123 /proc/meminfo: memFree=17036240/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1312324 CPUtime=0.29 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 56536 0 0 0 22 7 0 0 20 0 4 0 109235493 1343819776 57345 33554432000 4194304 16246674 140733682695632 140733682694944 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 328081 57345 801 2943 0 324975 0 [pid=8123/tid=8124] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 57345 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 57345 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1343819776 57345 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1312324 [startup+0.700444 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8123 /proc/meminfo: memFree=17036240/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 65538 0 0 0 60 9 0 0 20 0 4 0 109235493 1344868352 66347 33554432000 4194304 16246674 140733682695632 140733682694944 7392208 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 328337 66347 802 2943 0 325231 0 [pid=8123/tid=8124] ppid=8120 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1344868352 66347 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1344868352 66347 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1344868352 66347 33554432000 4194304 16246674 140733682695632 140306515225776 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.50054 s] /proc/loadavg: 2.00 2.01 2.00 3/183 8127 /proc/meminfo: memFree=16457868/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1321540 CPUtime=1.49 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 169698 0 0 0 122 27 0 0 20 0 4 0 109235493 1353256960 170507 33554432000 4194304 16246674 140733682695632 140733682677504 4221418 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 330385 170512 840 2943 0 327279 0 [pid=8123/tid=8124] ppid=8120 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1353256960 170515 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1353256960 170518 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1321540 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1353256960 170520 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1321540 [startup+3.10043 s] /proc/loadavg: 2.00 2.01 2.00 3/183 8127 /proc/meminfo: memFree=16160888/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=3.09 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275662 0 0 0 268 41 0 0 20 0 4 0 109235493 1372131328 276471 33554432000 4194304 16246674 140733682695632 140733682677504 13954595 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276471 888 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276471 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276471 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276471 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1339972 [startup+6.30044 s] /proc/loadavg: 2.08 2.02 2.01 3/183 8127 /proc/meminfo: memFree=15931444/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=6.29 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275670 0 0 0 588 41 0 0 20 0 4 0 109235493 1372131328 276479 33554432000 4194304 16246674 140733682695632 140733682677504 5675648 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276479 891 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276479 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276479 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276479 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 [startup+12.7004 s] /proc/loadavg: 2.07 2.02 2.00 3/183 8127 /proc/meminfo: memFree=15198792/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=12.69 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275671 0 0 0 1228 41 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140733682677504 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276480 891 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 [startup+25.5004 s] /proc/loadavg: 2.13 2.04 2.01 3/183 8176 /proc/meminfo: memFree=29399660/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=25.49 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275671 0 0 0 2508 41 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140733682677504 5531308 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276480 891 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 [startup+51.1004 s] /proc/loadavg: 2.08 2.03 2.01 3/183 8176 /proc/meminfo: memFree=29400392/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=51.08 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275671 0 0 0 5067 41 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140733682677504 5677784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276480 891 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 [startup+102.3 s] /proc/loadavg: 2.04 2.03 2.00 3/183 8177 /proc/meminfo: memFree=29400036/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=102.27 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 275682 0 0 0 10186 41 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140733682677504 5661363 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276480 891 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276480 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 ################ # More data... # ################ /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.20 2.05 2.01 3/183 8208 /proc/meminfo: memFree=29356124/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1361.88 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 136143 45 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 6022287 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1339972 [startup+1422.3 s] /proc/loadavg: 2.14 2.05 2.01 3/184 8212 /proc/meminfo: memFree=29337896/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1421.87 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 142142 45 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1339972 [startup+1482.3 s] /proc/loadavg: 2.13 2.07 2.02 3/183 8214 /proc/meminfo: memFree=29337744/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1481.87 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 148141 46 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1339972 [startup+1542.3 s] /proc/loadavg: 2.16 2.09 2.03 3/183 8215 /proc/meminfo: memFree=29337868/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1541.86 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 154140 46 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1339972 [startup+1602.3 s] /proc/loadavg: 2.13 2.09 2.03 3/183 8216 /proc/meminfo: memFree=29337988/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1601.84 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 160138 46 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 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) 1339972 [startup+1662.3 s] /proc/loadavg: 2.10 2.09 2.03 3/183 8217 /proc/meminfo: memFree=29338000/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1661.85 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 166138 47 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1339972 [startup+1722.3 s] /proc/loadavg: 2.12 2.10 2.03 3/183 8218 /proc/meminfo: memFree=29338156/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1721.83 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 172136 47 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1339972 [startup+1782.31 s] /proc/loadavg: 2.09 2.09 2.03 3/183 8220 /proc/meminfo: memFree=29337992/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1781.82 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 178135 47 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1339972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.06 2.08 2.03 3/183 8220 /proc/meminfo: memFree=29337624/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1800.01 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 179954 47 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 12478272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1339972 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 8123 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.06 2.08 2.03 3/183 8220 /proc/meminfo: memFree=29337624/32872528 swapFree=12744/274376 [pid=8123] ppid=8120 vsize=1339972 CPUtime=1800.01 cores=1,3,5,7 /proc/8123/stat : 8123 (toysat) R 8120 8123 5566 0 -1 4202496 276008 0 0 0 179954 47 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140733682677504 12478272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/8123/statm: 334993 276483 893 2943 0 331887 0 [pid=8123/tid=8124] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8124/stat : 8124 (toysat) S 8120 8123 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306644184304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=8123/tid=8125] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8125/stat : 8125 (toysat) S 8120 8123 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306633694448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=8123/tid=8126] ppid=8120 vsize=1339972 CPUtime=0 cores=1,3,5,7 /proc/8123/task/8126/stat : 8126 (toysat) S 8120 8123 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109235493 1372131328 276483 33554432000 4194304 16246674 140733682695632 140306515225776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1339972 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.55 CPU system time (s): 0.478927 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1339972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.478927 maximum resident set size= 1105932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276008 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= 354 involuntary context switches= 2020 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.54385 second user time and 20.8858 second system time The end
Begin job on node107 at 2016-06-07 06:16:47 IDJOB=4078838 IDBENCH=73805 IDSOLVER=2542 FILE ID=node107/4078838-1465273007 RUNJOBID= node107-1465255895-5583 PBS_JOBID= 19843278 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1206_6-sat.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078838-1465273007/watcher-4078838-1465273007 -o /tmp/evaluation-result-4078838-1465273007/solver-4078838-1465273007 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078838-1465273007.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 138289002292e7c474e0d36dbcddf060 RANDOM SEED=787388080 node107.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.441 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 : 5332.88 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.441 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.441 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.54 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.441 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.441 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.441 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.441 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 17036892 kB Buffers: 103084 kB Cached: 152072 kB SwapCached: 1664 kB Active: 14638164 kB Inactive: 157736 kB Active(anon): 14529440 kB Inactive(anon): 13684 kB Active(file): 108724 kB Inactive(file): 144052 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098524 kB Dirty: 19824 kB Writeback: 0 kB AnonPages: 14814768 kB Mapped: 10700 kB Shmem: 0 kB Slab: 600884 kB SReclaimable: 43764 kB SUnreclaim: 557120 kB KernelStack: 1448 kB PageTables: 33012 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 14956576 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 698368 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= 71708 MiB End job on node107 at 2016-06-07 06:46:48