| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12048_4-unsat.opb |
| MD5SUM | e20086c85095d65afe65e19d07ad3aeb |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 198.565 |
| 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 | 28798 |
| Total number of constraints | 99736 |
| Number of constraints which are clauses | 99264 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 472 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 69 |
| 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 | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 397 |
| 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:17:08+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-4078833-1465273027.opb"] 0.00/0.01 c use --random-gen="2340144827 1561563498 3289820584 2655436651 1239468784 3418778293 3048802001 3980480975 334409891 3675985885 2728503609 199342015 2385679793 3040909091 1201690534 524216228 2478416447 1649514391 3810958285 2911620013 1720617620 2218134103 155165611 1388201847 676007654 2696014439 3862781592 1638454143 3590118803 632983370 552895200 2700715381 1977970149 3074636022 2724488539 1410255311 2844081646 1537887761 2901655071 1090908063 1303758198 132271514 563580552 2120717512 2133657927 178120214 282688795 3910876786 3875490130 587839338 1596414079 2386172205 1576353745 2393692042 1235467753 2748812688 1744936798 2319858511 445082271 1855468032 1054304818 2952756718 4251436595 1666853335 524819382 1487316450 2970028322 2311399091 2899032957 980166582 2108200844 1109170600 565774173 1882464753 2027342497 1150176647 2920600321 3610610221 760224171 2114514850 768296798 1962167514 1940733435 2481504118 3375476099 404691033 3068931848 429561396 1059602244 1289641382 1103058371 3114501295 574201953 117025938 2674875163 2717868324 3236639634 1797411479 2770193808 2028635110 1633904864 1533354487 3623522076 3833517328 1587116939 706693217 1190800011 2201056755 1779006802 3372073696 429303862 1635760359 1929417987 2301739721 306856001 1930380708 2771133217 805493649 469688921 2258046043 2208984346 2289927072 3181531467 697860750 3028450094 1818096970 2981449474 928098609 2929783763 2840334306 34170451 3063038086 4268936248 1322142721 65233915 846794652 2943234167 3956611103 2034799535 497175513 617122332 506312816 3404278820 963598676 2259122694 263175511 1581376315 299352367 3009494253 944554628 3632447682 1757461628 2098062991 1302295656 2284745246 1132642812 3861101991 3564965727 3078608395 999370948 3893207586 463600541 1260134664 2534267616 2370921878 3850377209 2382325983 2354181895 3411516404 3441017053 3064003 1360759909 4270568311 690645146 221450979 3804744246 3637457763 930441053 3139338475 691917950 1561139169 2960286592 193790256 3788762120 1686141171 1077779117 3949496552 848871328 1241038708 714999191 2449571474 131567833 1608421700 1329542108 716649123 4176220773 990302422 2007465964 3154991272 3873106241 2182899148 2185419681 4152213127 993684865 1749446506 650790878 3563894823 3555346533 4028936012 4198924006 275719343 4230468360 2245355196 1298836062 2250051841 1598550593 307384387 3979357969 1292125307 2829807190 3852819541 1703112154 265473842 627685356 471716348 3180483484 2697613835 2314797355 3528857026 1975118070 110448132 2483853421 3968538095 3780175829 223434478 3718232458 4290188690 3727416457 2069714089 3178324126 191911767 3526199152 457280793 3795583146 2014671193 4131925372 3914741851 279211080 2875137283 570294740 360842938 1563713738 3813154511 1113772645 2872502488 2884452303 255 362436" option to reproduce the execution 0.48/0.54 c #vars 28798 0.48/0.54 c #constraints 99736 1.29/1.38 c Solving starts ... 1.29/1.38 c ============================[ Search Statistics ]============================ 1.29/1.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.29/1.38 c | | | | Limit GC | Var | Constra 1.29/1.38 c ============================================================================= 1.29/1.38 c 0.0s | 0 | 0 | 0 | 24798 0 | 20754 | 0 1.59/1.61 c 0.2s | 1 | 137 | 100 | 24798 0 | 20754 | 24558 1.79/1.87 c 0.5s | 2 | 383 | 250 | 27278 0 | 20754 | 24558 2.30/2.31 c 0.9s | 3 | 703 | 475 | 30006 0 | 20754 | 24558 2.88/2.93 c 1.6s | 4 | 1191 | 813 | 33007 0 | 20754 | 24558 3.69/3.72 c 2.3s | 5 | 1876 | 1320 | 36308 0 | 20754 | 24558 4.89/4.98 c 3.6s | 6 | 2837 | 2081 | 43933 0 | 20754 | 24558 6.89/6.93 c 5.5s | 7 | 4260 | 3223 | 48327 0 | 20754 | 24558 8.99/9.00 c 7.6s | 7 | 5907 | 4523 | 48327 0 | 20754 | 24558 9.69/9.71 c 8.3s | 8 | 6385 | 4936 | 53160 0 | 20754 | 24558 11.79/11.87 c 10.5s | 8 | 7924 | 6136 | 53160 0 | 20754 | 24558 13.89/13.91 c 12.5s | 8 | 9354 | 7236 | 53160 0 | 20754 | 24558 14.40/14.42 c 13.0s | 9 | 9699 | 7506 | 58477 0 | 20754 | 24558 16.50/16.59 c 15.2s | 9 | 11021 | 8506 | 58477 0 | 20754 | 24558 18.70/18.79 c 17.4s | 9 | 12246 | 9506 | 58477 0 | 20754 | 24558 20.89/20.97 c 19.6s | 9 | 13453 | 10506 | 58477 0 | 20754 | 24558 22.89/22.94 c 21.6s | 10 | 14507 | 11361 | 64325 0 | 20754 | 24558 24.89/24.98 c 23.6s | 10 | 15678 | 12261 | 64325 0 | 20754 | 24558 27.09/27.18 c 25.8s | 10 | 16936 | 13261 | 64325 0 | 20754 | 24558 29.19/29.27 c 27.9s | 10 | 18090 | 14161 | 64325 0 | 20754 | 24558 31.49/31.54 c 30.2s | 10 | 19189 | 15061 | 64325 0 | 20754 | 24558 33.68/33.77 c 32.4s | 10 | 20345 | 15961 | 64325 0 | 20754 | 24558 35.88/35.92 c 34.5s | 10 | 21590 | 16961 | 64325 0 | 20754 | 24558 36.18/36.29 c 34.9s | 11 | 21803 | 17144 | 70758 0 | 20754 | 24558 38.38/38.49 c 37.1s | 11 | 22929 | 18044 | 70758 0 | 20754 | 24558 40.58/40.63 c 39.3s | 11 | 24060 | 18944 | 70758 0 | 20754 | 24558 42.58/42.67 c 41.3s | 11 | 25006 | 19744 | 70758 0 | 20754 | 24558 44.68/44.77 c 43.4s | 11 | 25977 | 20544 | 70758 0 | 20754 | 24558 46.78/46.89 c 45.5s | 11 | 26919 | 21344 | 70758 0 | 20754 | 24558 48.98/49.02 c 47.6s | 11 | 27884 | 22144 | 70758 0 | 20754 | 24558 51.08/51.11 c 49.7s | 11 | 28850 | 22944 | 70758 0 | 20754 | 24558 53.28/53.36 c 52.0s | 11 | 29814 | 23744 | 70758 0 | 20754 | 24558 55.48/55.51 c 54.1s | 11 | 30657 | 24444 | 70758 0 | 20754 | 24558 57.58/57.64 c 56.3s | 11 | 31468 | 25144 | 70758 0 | 20754 | 24558 59.49/59.53 c 58.2s | 12 | 32314 | 25819 | 77834 0 | 20754 | 24558 61.58/61.65 c 60.3s | 12 | 33134 | 26419 | 77834 0 | 20755 | 24560 63.78/63.81 c 62.4s | 12 | 34652 | 27619 | 77834 0 | 20755 | 24560 65.78/65.86 c 64.5s | 12 | 35861 | 28619 | 77834 0 | 20755 | 24560 67.78/67.87 c 66.5s | 12 | 36975 | 29519 | 77834 0 | 20755 | 24560 69.98/70.07 c 68.7s | 12 | 38156 | 30519 | 77834 0 | 20755 | 24560 72.18/72.23 c 70.9s | 12 | 39388 | 31519 | 77834 0 | 20755 | 24560 74.27/74.35 c 73.0s | 12 | 40456 | 32419 | 77834 0 | 20755 | 24560 76.47/76.58 c 75.2s | 12 | 41608 | 33319 | 77834 0 | 20755 | 24560 78.67/78.72 c 77.3s | 12 | 42837 | 34319 | 77834 0 | 20755 | 24560 80.87/80.91 c 79.5s | 12 | 43954 | 35219 | 77834 0 | 20755 | 24560 83.07/83.13 c 81.8s | 12 | 44911 | 36019 | 77834 0 | 20755 | 24560 85.37/85.43 c 84.0s | 12 | 45941 | 36819 | 77834 0 | 20755 | 24560 87.57/87.60 c 86.2s | 12 | 47005 | 37619 | 77834 0 | 20755 | 24560 89.57/89.60 c 88.2s | 12 | 47840 | 38319 | 77834 0 | 20755 | 24560 90.87/90.99 c 89.6s | 13 | 48546 | 38832 | 85618 0 | 20755 | 24560 93.07/93.11 c 91.7s | 13 | 49581 | 39632 | 85618 0 | 20755 | 24560 95.07/95.14 c 93.8s | 13 | 50603 | 40432 | 85618 0 | 20755 | 24560 97.07/97.14 c 95.8s | 13 | 51871 | 41432 | 85618 0 | 20755 | 24560 99.08/99.15 c 97.8s | 13 | 52993 | 42332 | 85618 0 | 20755 | 24560 101.07/101.19 c 99.8s | 13 | 54191 | 43232 | 85618 0 | 20755 | 24560 103.17/103.25 c 101s | 13 | 55257 | 44032 | 85618 0 | 20755 | 24560 105.17/105.27 c 103s | 13 | 56161 | 44732 | 85618 0 | 20755 | 24560 107.27/107.35 c 105s | 13 | 56887 | 45332 | 85618 0 | 20755 | 24560 109.47/109.53 c 108s | 13 | 57768 | 46032 | 85618 0 | 20755 | 24560 111.57/111.61 c 110s | 13 | 58746 | 46832 | 85618 0 | 20755 | 24560 113.77/113.84 c 112s | 13 | 59657 | 47532 | 85618 0 | 20755 | 24560 116.07/116.17 c 114s | 13 | 60654 | 48332 | 85618 0 | 20755 | 24560 118.17/118.25 c 116s | 13 | 61529 | 49032 | 85618 0 | 20755 | 24560 120.17/120.28 c 118s | 13 | 62483 | 49732 | 85618 0 | 20755 | 24560 122.27/122.32 c 120s | 13 | 63388 | 50432 | 85618 0 | 20755 | 24560 124.57/124.68 c 123s | 13 | 64275 | 51132 | 85618 0 | 20755 | 24560 126.66/126.77 c 125s | 13 | 65171 | 51832 | 85618 0 | 20755 | 24560 128.96/129.03 c 127s | 13 | 66038 | 52532 | 85618 0 | 20755 | 24560 131.16/131.25 c 129s | 13 | 66948 | 53232 | 85618 0 | 20755 | 24560 133.46/133.53 c 132s | 13 | 67933 | 53932 | 85618 0 | 20755 | 24560 135.66/135.73 c 134s | 13 | 68644 | 54532 | 85618 0 | 20755 | 24560 137.86/137.91 c 136s | 13 | 69382 | 55132 | 85618 0 | 20755 | 24560 140.06/140.10 c 138s | 13 | 70108 | 55732 | 85618 0 | 20755 | 24560 142.16/142.26 c 140s | 13 | 70828 | 56332 | 85618 0 | 20755 | 24560 144.17/144.27 c 142s | 13 | 71563 | 56932 | 85618 0 | 20755 | 24560 146.56/146.61 c 145s | 13 | 72260 | 57532 | 85618 0 | 20755 | 24560 148.66/148.70 c 147s | 13 | 73016 | 58132 | 94180 0 | 20755 | 24560 149.46/149.50 c 148s | 14 | 73295 | 58352 | 94180 0 | 20755 | 24560 151.56/151.69 c 150s | 14 | 74023 | 58952 | 94180 0 | 20755 | 24560 153.76/153.83 c 152s | 14 | 74911 | 59652 | 94180 0 | 20755 | 24560 155.96/156.06 c 154s | 14 | 75895 | 60352 | 94180 0 | 20755 | 24560 158.06/158.16 c 156s | 14 | 76766 | 61052 | 94180 0 | 20755 | 24560 160.36/160.40 c 159s | 14 | 77554 | 61652 | 94180 0 | 20755 | 24560 162.56/162.62 c 161s | 14 | 78477 | 62352 | 94180 0 | 20755 | 24560 164.66/164.71 c 163s | 14 | 79263 | 62952 | 94180 0 | 20755 | 24560 166.76/166.84 c 165s | 14 | 80153 | 63652 | 94180 0 | 20755 | 24560 168.86/168.95 c 167s | 14 | 80942 | 64252 | 94180 0 | 20755 | 24560 171.16/171.29 c 169s | 14 | 81850 | 64952 | 94180 0 | 20755 | 24560 173.46/173.51 c 172s | 14 | 82740 | 65652 | 94180 0 | 20755 | 24560 175.56/175.61 c 174s | 14 | 83484 | 66252 | 94180 0 | 20755 | 24560 177.66/177.71 c 176s | 14 | 84229 | 66852 | 94180 0 | 20755 | 24560 179.65/179.76 c 178s | 14 | 85009 | 67452 | 94180 0 | 20755 | 24560 181.75/181.80 c 180s | 14 | 85613 | 67952 | 94180 0 | 20755 | 24560 183.76/183.88 c 182s | 14 | 86189 | 68452 | 94180 0 | 20755 | 24560 185.96/186.09 c 184s | 14 | 86952 | 69052 | 94180 0 | 20755 | 24560 188.06/188.20 c 186s | 14 | 87723 | 69652 | 94180 0 | 20755 | 24560 190.26/190.37 c 188s | 14 | 88498 | 70252 | 94180 0 | 20755 | 24560 192.46/192.58 c 191s | 14 | 89073 | 70752 | 94180 0 | 20755 | 24560 194.45/194.59 c 193s | 14 | 89688 | 71252 | 94180 0 | 20755 | 24560 196.55/196.69 c 195s | 14 | 90282 | 71752 | 94180 0 | 20755 | 24560 199.06/199.13 c 197s | 14 | 91064 | 72352 | 94180 0 | 20755 | 24560 201.26/201.36 c 199s | 14 | 91784 | 72952 | 94180 0 | 20755 | 24560 203.56/203.68 c 202s | 14 | 92593 | 73552 | 94180 0 | 20755 | 24560 205.85/205.93 c 204s | 14 | 93358 | 74152 | 94180 0 | 20755 | 24560 207.96/208.06 c 206s | 14 | 94081 | 74752 | 94180 0 | 20755 | 24560 210.06/210.13 c 208s | 14 | 94708 | 75252 | 94180 0 | 20755 | 24560 212.36/212.46 c 211s | 14 | 95343 | 75752 | 94180 0 | 20755 | 24560 214.75/214.82 c 213s | 14 | 95981 | 76252 | 94180 0 | 20755 | 24560 216.95/217.05 c 215s | 14 | 96611 | 76752 | 94180 0 | 20755 | 24560 219.05/219.10 c 217s | 14 | 97260 | 77252 | 94180 0 | 20755 | 24560 221.35/221.43 c 220s | 14 | 98058 | 77852 | 94180 0 | 20755 | 24560 223.75/223.84 c 222s | 14 | 98770 | 78452 | 94180 0 | 20755 | 24560 225.95/226.04 c 224s | 14 | 99427 | 78952 | 94180 0 | 20755 | 24560 228.05/228.11 c 226s | 14 | 100060 | 79452 | 94180 0 | 20755 | 24560 230.15/230.25 c 228s | 14 | 100705 | 79952 | 94180 0 | 20755 | 24560 232.35/232.44 c 231s | 14 | 101311 | 80452 | 94180 0 | 20755 | 24560 234.35/234.45 c 233s | 14 | 101914 | 80952 | 94180 0 | 20755 | 24560 236.65/236.70 c 235s | 14 | 102515 | 81452 | 94180 0 | 20755 | 24560 238.65/238.80 c 237s | 14 | 103106 | 81952 | 94180 0 | 20755 | 24560 240.85/240.91 c 239s | 14 | 103719 | 82452 | 94180 0 | 20755 | 24560 243.15/243.24 c 241s | 14 | 104317 | 82952 | 94180 0 | 20755 | 24560 245.44/245.53 c 244s | 14 | 104943 | 83452 | 94180 0 | 20755 | 24560 247.74/247.89 c 246s | 14 | 105690 | 84052 | 94180 0 | 20755 | 24560 249.94/250.01 c 248s | 14 | 106302 | 84552 | 94180 0 | 20755 | 24560 252.04/252.19 c 250s | 14 | 106956 | 85052 | 94180 0 | 20755 | 24560 254.34/254.45 c 253s | 14 | 107540 | 85552 | 94180 0 | 20755 | 24560 256.64/256.75 c 255s | 14 | 108206 | 86052 | 94180 0 | 20755 | 24560 259.04/259.11 c 257s | 14 | 108877 | 86552 | 94180 0 | 20755 | 24560 261.34/261.42 c 260s | 14 | 109450 | 87052 | 103599 0 | 20755 | 24560 263.54/263.66 c 262s | 14 | 110022 | 87552 | 103599 0 | 20755 | 24560 263.95/264.02 c 262s | 15 | 110109 | 87632 | 103599 0 | 20755 | 24560 266.04/266.10 c 264s | 15 | 110644 | 88032 | 103599 0 | 20755 | 24560 268.24/268.36 c 266s | 15 | 111286 | 88532 | 103599 0 | 20755 | 24560 270.56/270.70 c 269s | 15 | 111908 | 89032 | 103599 0 | 20755 | 24560 273.05/273.12 c 271s | 15 | 112523 | 89532 | 103599 0 | 20755 | 24560 275.15/275.28 c 273s | 15 | 113133 | 90032 | 103599 0 | 20755 | 24560 277.45/277.50 c 276s | 15 | 113748 | 90532 | 103599 0 | 20755 | 24560 279.85/279.92 c 278s | 15 | 114356 | 91032 | 103599 0 | 20755 | 24560 282.15/282.22 c 280s | 15 | 114977 | 91532 | 103599 0 | 20755 | 24560 284.55/284.63 c 283s | 15 | 115733 | 92132 | 103599 0 | 20755 | 24560 286.85/286.91 c 285s | 15 | 116359 | 92632 | 103599 0 | 20755 | 24560 289.05/289.17 c 287s | 15 | 116955 | 93132 | 103599 0 | 20755 | 24560 291.55/291.60 c 290s | 15 | 117544 | 93632 | 103599 0 | 20755 | 24560 293.65/293.79 c 292s | 15 | 118184 | 94132 | 103599 0 | 20755 | 24560 296.05/296.15 c 294s | 15 | 118768 | 94632 | 103599 0 | 20755 | 24560 298.15/298.23 c 296s | 15 | 119240 | 95032 | 103599 0 | 20755 | 24560 300.25/300.35 c 298s | 15 | 119704 | 95432 | 103599 0 | 20755 | 24560 302.64/302.74 c 301s | 15 | 120329 | 95932 | 103599 0 | 20755 | 24560 304.84/304.97 c 303s | 15 | 120945 | 96432 | 103599 0 | 20755 | 24560 306.95/307.08 c 305s | 15 | 121431 | 96832 | 103599 0 | 20755 | 24560 309.05/309.13 c 307s | 15 | 121924 | 97232 | 103599 0 | 20755 | 24560 311.35/311.44 c 310s | 15 | 122396 | 97632 | 103599 0 | 20755 | 24560 313.34/313.45 c 312s | 15 | 122891 | 98032 | 103599 0 | 20755 | 24560 315.65/315.77 c 314s | 15 | 123356 | 98432 | 103599 0 | 20755 | 24560 317.95/318.01 c 316s | 15 | 123826 | 98832 | 103599 0 | 20755 | 24560 320.24/320.38 c 319s | 15 | 124475 | 99332 | 103599 0 | 20755 | 24560 322.35/322.45 c 321s | 15 | 124974 | 99732 | 103599 0 | 20755 | 24560 324.84/324.97 c 323s | 15 | 125609 | 100232 | 103599 0 | 20755 | 24560 327.24/327.30 c 325s | 15 | 126238 | 100732 | 103599 0 | 20755 | 24560 329.34/329.42 c 328s | 15 | 126778 | 101132 | 103599 0 | 20755 | 24560 331.74/331.82 c 330s | 15 | 127262 | 101532 | 103599 0 | 20755 | 24560 333.74/333.84 c 332s | 15 | 127726 | 101932 | 103599 0 | 20755 | 24560 336.14/336.22 c 334s | 15 | 128338 | 102432 | 103599 0 | 20755 | 24560 338.34/338.42 c 337s | 15 | 128828 | 102832 | 103599 0 | 20755 | 24560 340.44/340.53 c 339s | 15 | 129335 | 103232 | 103599 0 | 20755 | 24560 342.83/342.91 c 341s | 15 | 129970 | 103732 | 103599 0 | 20755 | 24560 345.23/345.36 c 343s | 15 | 130695 | 104332 | 103599 0 | 20755 | 24560 347.33/347.42 c 346s | 15 | 131174 | 104732 | 103599 0 | 20755 | 24560 349.43/349.57 c 348s | 15 | 131672 | 105132 | 103599 0 | 20755 | 24560 351.73/351.82 c 350s | 15 | 132171 | 105532 | 103599 0 | 20755 | 24560 353.93/354.08 c 352s | 15 | 132694 | 105932 | 103599 0 | 20755 | 24560 356.34/356.45 c 355s | 15 | 133136 | 106332 | 103599 0 | 20755 | 24560 358.43/358.56 c 357s | 15 | 133618 | 106732 | 103599 0 | 20755 | 24560 360.53/360.68 c 359s | 15 | 134126 | 107132 | 103599 0 | 20755 | 24560 362.83/362.93 c 361s | 15 | 134607 | 107532 | 103599 0 | 20755 | 24560 365.03/365.16 c 363s | 15 | 135102 | 107932 | 103599 0 | 20755 | 24560 367.03/367.18 c 365s | 15 | 135572 | 108332 | 103599 0 | 20755 | 24560 369.33/369.48 c 368s | 15 | 136067 | 108732 | 103599 0 | 20755 | 24560 371.63/371.80 c 370s | 15 | 136549 | 109132 | 103599 0 | 20755 | 24560 374.13/374.24 c 372s | 15 | 137183 | 109632 | 103599 0 | 20755 | 24560 376.24/376.39 c 375s | 15 | 137644 | 110032 | 103599 0 | 20755 | 24560 378.63/378.72 c 377s | 15 | 138130 | 110432 | 103599 0 | 20755 | 24560 380.93/381.06 c 379s | 15 | 138609 | 110832 | 103599 0 | 20755 | 24560 383.03/383.13 c 381s | 15 | 139133 | 111232 | 103599 0 | 20755 | 24560 385.43/385.51 c 384s | 15 | 139600 | 111632 | 103599 0 | 20755 | 24560 387.63/387.77 c 386s | 15 | 140236 | 112132 | 103599 0 | 20755 | 24560 390.13/390.21 c 388s | 15 | 140875 | 112632 | 103599 0 | 20755 | 24560 392.53/392.66 c 391s | 15 | 141464 | 113132 | 103599 0 | 20755 | 24560 394.63/394.71 c 393s | 15 | 141971 | 113532 | 103599 0 | 20755 | 24560 397.03/397.14 c 395s | 15 | 142426 | 113932 | 103599 0 | 20755 | 24560 399.23/399.37 c 397s | 15 | 142912 | 114332 | 103599 0 | 20755 | 24560 401.53/401.63 c 400s | 15 | 143388 | 114732 | 103599 0 | 20755 | 24560 403.83/403.90 c 402s | 15 | 143843 | 115132 | 103599 0 | 20755 | 24560 406.13/406.22 c 404s | 15 | 144308 | 115532 | 103599 0 | 20755 | 24560 408.72/408.81 c 407s | 15 | 144768 | 115932 | 103599 0 | 20755 | 24560 411.02/411.13 c 409s | 15 | 145239 | 116332 | 103599 0 | 20755 | 24560 413.63/413.71 c 412s | 15 | 145717 | 116732 | 103599 0 | 20755 | 24560 415.92/416.08 c 414s | 15 | 146212 | 117132 | 103599 0 | 20755 | 24560 418.32/418.47 c 417s | 15 | 146703 | 117532 | 103599 0 | 20755 | 24560 420.62/420.72 c 419s | 15 | 147035 | 117832 | 103599 0 | 20755 | 24560 423.12/423.27 c 421s | 15 | 147535 | 118232 | 103599 0 | 20755 | 24560 425.22/425.30 c 423s | 15 | 147890 | 118532 | 103599 0 | 20755 | 24560 427.32/427.47 c 426s | 15 | 148234 | 118832 | 103599 0 | 20755 | 24560 429.72/429.88 c 428s | 15 | 148597 | 119132 | 103599 0 | 20755 | 24560 432.02/432.15 c 430s | 15 | 148973 | 119432 | 103599 0 | 20755 | 24560 434.52/434.68 c 433s | 15 | 149441 | 119832 | 103599 0 | 20755 | 24560 436.82/436.96 c 435s | 15 | 149966 | 120232 | 103599 0 | 20755 | 24560 439.41/439.56 c 438s | 15 | 150436 | 120632 | 103599 0 | 20755 | 24560 441.40/441.59 c 440s | 15 | 150795 | 120932 | 103599 0 | 20755 | 24560 444.10/444.26 c 442s | 15 | 151294 | 121332 | 103599 0 | 20755 | 24560 446.80/446.96 c 445s | 15 | 151832 | 121732 | 103599 0 | 20755 | 24560 449.00/449.15 c 447s | 15 | 152196 | 122032 | 103599 0 | 20755 | 24560 451.50/451.69 c 450s | 15 | 152677 | 122432 | 103599 0 | 20755 | 24560 453.60/453.78 c 452s | 15 | 153035 | 122732 | 103599 0 | 20755 | 24560 456.09/456.21 c 454s | 15 | 153518 | 123132 | 103599 0 | 20755 | 24560 458.09/458.27 c 456s | 15 | 153857 | 123432 | 103599 0 | 20755 | 24560 460.49/460.64 c 459s | 15 | 154322 | 123832 | 103599 0 | 20755 | 24560 462.89/463.08 c 461s | 15 | 154811 | 124232 | 103599 0 | 20755 | 24560 465.09/465.24 c 463s | 15 | 155194 | 124532 | 103599 0 | 20755 | 24560 467.29/467.43 c 466s | 15 | 155550 | 124832 | 103599 0 | 20755 | 24560 469.79/469.96 c 468s | 15 | 156054 | 125232 | 103599 0 | 20755 | 24560 471.99/472.18 c 470s | 15 | 156404 | 125532 | 103599 0 | 20755 | 24560 474.60/474.75 c 473s | 15 | 156901 | 125932 | 103599 0 | 20755 | 24560 477.19/477.31 c 475s | 15 | 157372 | 126332 | 103599 0 | 20755 | 24560 479.19/479.37 c 477s | 15 | 157738 | 126632 | 103599 0 | 20755 | 24560 481.39/481.58 c 480s | 15 | 158066 | 126932 | 103599 0 | 20755 | 24560 484.09/484.23 c 482s | 15 | 158543 | 127332 | 103599 0 | 20755 | 24560 486.39/486.50 c 485s | 15 | 159032 | 127732 | 103599 0 | 20755 | 24560 488.99/489.13 c 487s | 15 | 159510 | 128132 | 103599 0 | 20755 | 24560 491.49/491.69 c 490s | 15 | 160001 | 128532 | 103599 0 | 20755 | 24560 493.69/493.83 c 492s | 15 | 160362 | 128832 | 103599 0 | 20755 | 24560 495.99/496.20 c 494s | 15 | 160712 | 129132 | 103599 0 | 20755 | 24560 498.49/498.61 c 497s | 15 | 161062 | 129432 | 103599 0 | 20755 | 24560 500.98/501.18 c 499s | 15 | 161550 | 129832 | 103599 0 | 20755 | 24560 503.58/503.77 c 502s | 15 | 162015 | 130232 | 103599 0 | 20755 | 24560 505.99/506.12 c 504s | 15 | 162531 | 130632 | 103599 0 | 20755 | 24560 508.48/508.60 c 507s | 15 | 163029 | 131032 | 113959 0 | 20755 | 24560 511.08/511.29 c 509s | 15 | 163492 | 131432 | 113959 0 | 20755 | 24560 511.98/512.15 c 510s | 16 | 163633 | 131552 | 113959 0 | 20755 | 24560 514.68/514.80 c 513s | 16 | 164002 | 131852 | 113959 0 | 20755 | 24560 516.88/517.04 c 515s | 16 | 164372 | 132152 | 113959 0 | 20755 | 24560 519.38/519.57 c 518s | 16 | 164847 | 132552 | 113959 0 | 20755 | 24560 521.97/522.16 c 520s | 16 | 165317 | 132952 | 113959 0 | 20755 | 24560 524.07/524.22 c 522s | 16 | 165672 | 133252 | 113959 0 | 20755 | 24560 526.17/526.30 c 524s | 16 | 166050 | 133552 | 113959 0 | 20755 | 24560 528.57/528.73 c 527s | 16 | 166421 | 133852 | 113959 0 | 20755 | 24560 530.97/531.15 c 529s | 16 | 166788 | 134152 | 113959 0 | 20755 | 24560 533.38/533.57 c 532s | 16 | 167119 | 134452 | 113959 0 | 20755 | 24560 535.97/536.11 c 534s | 16 | 167614 | 134852 | 113959 0 | 20755 | 24560 538.07/538.27 c 536s | 16 | 167999 | 135152 | 113959 0 | 20755 | 24560 540.67/540.82 c 539s | 16 | 168375 | 135452 | 113959 0 | 20755 | 24560 543.07/543.22 c 541s | 16 | 168719 | 135752 | 113959 0 | 20755 | 24560 545.57/545.75 c 544s | 16 | 169054 | 136052 | 113959 0 | 20755 | 24560 548.17/548.33 c 546s | 16 | 169534 | 136452 | 113959 0 | 20755 | 24560 550.56/550.72 c 549s | 16 | 169994 | 136852 | 113959 0 | 20755 | 24560 552.86/553.02 c 551s | 16 | 170458 | 137252 | 113959 0 | 20755 | 24560 555.06/555.24 c 553s | 16 | 170930 | 137652 | 113959 0 | 20755 | 24560 557.57/557.80 c 556s | 16 | 171404 | 138052 | 113959 0 | 20755 | 24560 560.16/560.31 c 558s | 16 | 171877 | 138452 | 113959 0 | 20755 | 24560 562.46/562.64 c 561s | 16 | 172250 | 138752 | 113959 0 | 20755 | 24560 564.76/564.91 c 563s | 16 | 172594 | 139052 | 113959 0 | 20755 | 24560 567.46/567.69 c 566s | 16 | 173086 | 139452 | 113959 0 | 20755 | 24560 569.66/569.86 c 568s | 16 | 173413 | 139752 | 113959 0 | 20755 | 24560 572.15/572.37 c 570s | 16 | 174002 | 140152 | 113959 0 | 20755 | 24560 574.16/574.37 c 572s | 16 | 174336 | 140452 | 113959 0 | 20755 | 24560 576.36/576.59 c 575s | 16 | 174687 | 140752 | 113959 0 | 20755 | 24560 578.46/578.67 c 577s | 16 | 175039 | 141052 | 113959 0 | 20755 | 24560 580.95/581.18 c 579s | 16 | 175501 | 141452 | 113959 0 | 20755 | 24560 583.55/583.72 c 582s | 16 | 175959 | 141852 | 113959 0 | 20755 | 24560 586.45/586.67 c 585s | 16 | 176431 | 142252 | 113959 0 | 20755 | 24560 589.25/589.44 c 588s | 16 | 176790 | 142552 | 113959 0 | 20755 | 24560 591.84/592.08 c 590s | 16 | 177174 | 142852 | 113959 0 | 20755 | 24560 594.24/594.45 c 593s | 16 | 177562 | 143152 | 113959 0 | 20755 | 24560 596.44/596.65 c 595s | 16 | 177910 | 143452 | 113959 0 | 20755 | 24560 599.04/599.26 c 597s | 16 | 178406 | 143852 | 113959 0 | 20755 | 24560 601.44/601.64 c 600s | 16 | 178900 | 144252 | 113959 0 | 20755 | 24560 603.44/603.69 c 602s | 16 | 179269 | 144552 | 113959 0 | 20755 | 24560 606.14/606.36 c 604s | 16 | 179780 | 144952 | 113959 0 | 20755 | 24560 608.44/608.64 c 607s | 16 | 180267 | 145352 | 113959 0 | 20755 | 24560 611.13/611.30 c 609s | 16 | 180730 | 145752 | 113959 0 | 20755 | 24560 613.13/613.31 c 611s | 16 | 181098 | 146052 | 113959 0 | 20755 | 24560 615.23/615.49 c 614s | 16 | 181454 | 146352 | 113959 0 | 20755 | 24560 617.33/617.50 c 616s | 16 | 181819 | 146652 | 113959 0 | 20755 | 24560 619.83/620.05 c 618s | 16 | 182292 | 147052 | 113959 0 | 20755 | 24560 622.03/622.29 c 620s | 16 | 182661 | 147352 | 113959 0 | 20755 | 24560 624.33/624.52 c 623s | 16 | 183026 | 147652 | 113959 0 | 20755 | 24560 626.93/627.12 c 625s | 16 | 183363 | 147952 | 113959 0 | 20755 | 24560 629.23/629.41 c 628s | 16 | 183716 | 148252 | 113959 0 | 20755 | 24560 631.62/631.80 c 630s | 16 | 184064 | 148552 | 113959 0 | 20755 | 24560 634.22/634.48 c 633s | 16 | 184554 | 148952 | 113959 0 | 20755 | 24560 636.42/636.60 c 635s | 16 | 184897 | 149252 | 113959 0 | 20755 | 24560 638.82/639.05 c 637s | 16 | 185422 | 149652 | 113959 0 | 20755 | 24560 641.02/641.26 c 639s | 16 | 185769 | 149952 | 113959 0 | 20755 | 24560 643.42/643.64 c 642s | 16 | 186103 | 150252 | 113959 0 | 20755 | 24560 645.52/645.71 c 644s | 16 | 186456 | 150552 | 113959 0 | 20755 | 24560 648.11/648.35 c 646s | 16 | 186917 | 150952 | 113959 0 | 20755 | 24560 650.41/650.66 c 649s | 16 | 187261 | 151252 | 113959 0 | 20755 | 24560 653.11/653.38 c 652s | 16 | 187785 | 151652 | 113959 0 | 20755 | 24560 655.61/655.83 c 654s | 16 | 188142 | 151952 | 113959 0 | 20755 | 24560 657.91/658.16 c 656s | 16 | 188509 | 152252 | 113959 0 | 20755 | 24560 660.30/660.52 c 659s | 16 | 188860 | 152552 | 113959 0 | 20755 | 24560 662.40/662.61 c 661s | 16 | 189190 | 152852 | 113959 0 | 20755 | 24560 664.80/665.05 c 663s | 16 | 189538 | 153152 | 113959 0 | 20755 | 24560 666.90/667.10 c 665s | 16 | 189895 | 153452 | 113959 0 | 20755 | 24560 669.10/669.38 c 667s | 16 | 190249 | 153752 | 113959 0 | 20755 | 24560 671.40/671.65 c 670s | 16 | 190604 | 154052 | 113959 0 | 20755 | 24560 675.90/676.10 c 674s | 16 | 190953 | 154352 | 113959 1 | 20755 | 24560 677.90/678.14 c 676s | 16 | 191197 | 154552 | 113959 1 | 20755 | 24560 682.19/682.44 c 681s | 16 | 191316 | 154652 | 113959 1 | 20755 | 24560 684.19/684.47 c 683s | 16 | 191861 | 155052 | 113959 1 | 20755 | 24560 686.39/686.64 c 685s | 16 | 192355 | 155452 | 113959 1 | 20755 | 24560 688.79/689.09 c 687s | 16 | 192947 | 155952 | 113959 1 | 20755 | 24560 691.29/691.59 c 690s | 16 | 193535 | 156452 | 113959 1 | 20755 | 24560 693.79/694.04 c 692s | 16 | 194143 | 156952 | 113959 1 | 20755 | 24560 695.99/696.25 c 694s | 16 | 194629 | 157352 | 113959 1 | 20755 | 24560 698.09/698.30 c 696s | 16 | 195111 | 157752 | 113959 1 | 20755 | 24560 700.29/700.55 c 699s | 16 | 195739 | 158252 | 113959 1 | 20755 | 24560 702.69/702.92 c 701s | 16 | 196331 | 158752 | 113959 1 | 20755 | 24560 704.78/705.01 c 703s | 16 | 196784 | 159152 | 113959 1 | 20755 | 24560 706.98/707.28 c 705s | 16 | 197285 | 159552 | 113959 1 | 20755 | 24560 709.08/709.30 c 707s | 16 | 197756 | 159952 | 113959 1 | 20755 | 24560 711.18/711.46 c 710s | 16 | 198240 | 160352 | 113959 1 | 20755 | 24560 713.38/713.69 c 712s | 16 | 198717 | 160752 | 113959 1 | 20755 | 24560 715.68/715.92 c 714s | 16 | 199178 | 161152 | 113959 1 | 20755 | 24560 717.88/718.11 c 716s | 16 | 199645 | 161552 | 113959 1 | 20755 | 24560 720.29/720.52 c 719s | 16 | 200105 | 161952 | 113959 1 | 20755 | 24560 722.49/722.77 c 721s | 16 | 200583 | 162352 | 113959 1 | 20755 | 24560 724.88/725.17 c 723s | 16 | 201087 | 162752 | 113959 1 | 20755 | 24560 727.28/727.50 c 726s | 16 | 201685 | 163252 | 113959 1 | 20755 | 24560 729.38/729.68 c 728s | 16 | 202148 | 163652 | 113959 1 | 20755 | 24560 731.68/731.93 c 730s | 16 | 202593 | 164052 | 113959 1 | 20755 | 24560 734.08/734.39 c 733s | 16 | 203094 | 164452 | 113959 1 | 20755 | 24560 736.28/736.53 c 735s | 16 | 203579 | 164852 | 113959 1 | 20755 | 24560 738.48/738.71 c 737s | 16 | 204048 | 165252 | 113959 1 | 20755 | 24560 740.48/740.79 c 739s | 16 | 204520 | 165652 | 113959 1 | 20755 | 24560 742.58/742.85 c 741s | 16 | 205005 | 166052 | 113959 1 | 20755 | 24560 744.77/745.09 c 743s | 16 | 205493 | 166452 | 113959 1 | 20755 | 24560 747.27/747.59 c 746s | 16 | 206074 | 166952 | 113959 1 | 20755 | 24560 749.47/749.70 c 748s | 16 | 206542 | 167352 | 113959 1 | 20755 | 24560 751.67/751.98 c 750s | 16 | 207035 | 167752 | 113959 1 | 20755 | 24560 753.77/754.05 c 752s | 16 | 207505 | 168152 | 113959 1 | 20755 | 24560 755.97/756.23 c 754s | 16 | 207990 | 168552 | 113959 1 | 20755 | 24560 758.17/758.49 c 757s | 16 | 208472 | 168952 | 113959 1 | 20755 | 24560 760.57/760.83 c 759s | 16 | 208923 | 169352 | 113959 1 | 20755 | 24560 762.77/763.06 c 761s | 16 | 209403 | 169752 | 113959 1 | 20755 | 24560 765.27/765.57 c 764s | 16 | 209865 | 170152 | 113959 1 | 20755 | 24560 767.47/767.73 c 766s | 16 | 210220 | 170452 | 113959 1 | 20755 | 24560 769.78/770.03 c 768s | 16 | 210564 | 170752 | 113959 1 | 20755 | 24560 771.78/772.06 c 770s | 16 | 210946 | 171052 | 113959 1 | 20755 | 24560 773.88/774.17 c 772s | 16 | 211437 | 171452 | 113959 1 | 20755 | 24560 776.18/776.42 c 775s | 16 | 211928 | 171852 | 113959 1 | 20755 | 24560 778.68/778.94 c 777s | 16 | 212419 | 172252 | 113959 1 | 20755 | 24560 780.67/780.95 c 779s | 16 | 212749 | 172552 | 113959 1 | 20755 | 24560 783.17/783.47 c 782s | 16 | 213241 | 172952 | 113959 1 | 20755 | 24560 785.47/785.78 c 784s | 16 | 213731 | 173352 | 113959 1 | 20755 | 24560 787.97/788.24 c 786s | 16 | 214203 | 173752 | 113959 1 | 20755 | 24560 790.17/790.49 c 789s | 16 | 214709 | 174152 | 113959 1 | 20755 | 24560 792.26/792.59 c 791s | 16 | 215206 | 174552 | 113959 1 | 20755 | 24560 794.36/794.67 c 793s | 16 | 215556 | 174852 | 113959 1 | 20755 | 24560 796.36/796.68 c 795s | 16 | 216081 | 175252 | 113959 1 | 20755 | 24560 798.47/798.77 c 797s | 16 | 216534 | 175652 | 113959 1 | 20755 | 24560 800.85/801.14 c 799s | 16 | 217016 | 176052 | 113959 1 | 20755 | 24560 803.15/803.47 c 802s | 16 | 217530 | 176452 | 113959 1 | 20755 | 24560 805.65/805.91 c 804s | 16 | 217990 | 176852 | 113959 1 | 20755 | 24560 808.05/808.35 c 806s | 16 | 218478 | 177252 | 113959 1 | 20755 | 24560 810.35/810.62 c 809s | 16 | 218959 | 177652 | 113959 1 | 20755 | 24560 812.54/812.90 c 811s | 16 | 219483 | 178052 | 113959 1 | 20755 | 24560 815.04/815.33 c 813s | 16 | 219958 | 178452 | 113959 1 | 20755 | 24560 817.34/817.61 c 816s | 16 | 220435 | 178852 | 113959 1 | 20755 | 24560 819.74/820.06 c 818s | 16 | 220775 | 179152 | 113959 1 | 20755 | 24560 821.94/822.23 c 820s | 16 | 221289 | 179552 | 113959 1 | 20755 | 24560 824.44/824.71 c 823s | 16 | 221810 | 179952 | 113959 1 | 20755 | 24560 826.74/827.02 c 825s | 16 | 222340 | 180352 | 113959 1 | 20755 | 24560 828.74/829.02 c 827s | 16 | 222736 | 180652 | 113959 1 | 20755 | 24560 831.13/831.41 c 830s | 16 | 223220 | 181052 | 113959 1 | 20755 | 24560 833.83/834.10 c 832s | 16 | 223690 | 181452 | 113959 1 | 20755 | 24560 836.03/836.34 c 834s | 16 | 224034 | 181752 | 113959 1 | 20755 | 24560 838.63/838.97 c 837s | 16 | 224424 | 182052 | 113959 1 | 20755 | 24560 840.92/841.20 c 839s | 16 | 224777 | 182352 | 113959 1 | 20755 | 24560 843.53/843.85 c 842s | 16 | 225304 | 182752 | 113959 1 | 20755 | 24560 846.02/846.31 c 844s | 16 | 225805 | 183152 | 113959 1 | 20755 | 24560 848.32/848.63 c 847s | 16 | 226185 | 183452 | 113959 1 | 20755 | 24560 850.32/850.67 c 849s | 16 | 226536 | 183752 | 113959 1 | 20755 | 24560 853.22/853.50 c 852s | 16 | 227023 | 184152 | 113959 1 | 20755 | 24560 855.22/855.55 c 854s | 16 | 227359 | 184452 | 113959 1 | 20755 | 24560 857.32/857.67 c 856s | 16 | 227725 | 184752 | 113959 1 | 20755 | 24560 860.12/860.41 c 859s | 16 | 228204 | 185152 | 113959 1 | 20755 | 24560 862.12/862.48 c 861s | 16 | 228563 | 185452 | 113959 1 | 20755 | 24560 864.32/864.67 c 863s | 16 | 229071 | 185852 | 113959 1 | 20755 | 24560 866.62/866.98 c 865s | 16 | 229424 | 186152 | 113959 1 | 20755 | 24560 869.01/869.34 c 867s | 16 | 230067 | 186652 | 113959 1 | 20755 | 24560 871.20/871.59 c 870s | 16 | 230438 | 186952 | 113959 1 | 20755 | 24560 873.40/873.72 c 872s | 16 | 230798 | 187252 | 113959 1 | 20755 | 24560 875.70/876.05 c 874s | 16 | 231181 | 187552 | 113959 1 | 20755 | 24560 878.20/878.57 c 877s | 16 | 231525 | 187852 | 113959 1 | 20755 | 24560 880.70/881.08 c 879s | 16 | 231882 | 188152 | 113959 1 | 20755 | 24560 883.30/883.61 c 882s | 16 | 232402 | 188552 | 113959 1 | 20755 | 24560 885.40/885.76 c 884s | 16 | 232762 | 188852 | 113959 1 | 20755 | 24560 887.80/888.13 c 886s | 16 | 233103 | 189152 | 113959 1 | 20755 | 24560 890.19/890.52 c 889s | 16 | 233459 | 189452 | 113959 1 | 20755 | 24560 892.39/892.72 c 891s | 16 | 233800 | 189752 | 113959 1 | 20755 | 24560 894.89/895.22 c 893s | 16 | 234186 | 190052 | 113959 1 | 20755 | 24560 897.59/897.98 c 896s | 16 | 234558 | 190352 | 113959 1 | 20755 | 24560 900.19/900.55 c 899s | 16 | 235049 | 190752 | 113959 1 | 20755 | 24560 902.59/902.95 c 901s | 16 | 235409 | 191052 | 113959 1 | 20755 | 24560 904.79/905.14 c 903s | 16 | 235796 | 191352 | 113959 1 | 20755 | 24560 906.99/907.32 c 905s | 16 | 236134 | 191652 | 113959 1 | 20755 | 24560 909.39/909.71 c 908s | 16 | 236488 | 191952 | 113959 1 | 20755 | 24560 911.38/911.74 c 910s | 16 | 236857 | 192252 | 113959 1 | 20755 | 24560 913.68/914.01 c 912s | 16 | 237221 | 192552 | 113959 1 | 20755 | 24560 915.78/916.11 c 914s | 16 | 237584 | 192852 | 113959 1 | 20755 | 24560 918.38/918.70 c 917s | 16 | 238059 | 193252 | 113959 1 | 20755 | 24560 920.88/921.23 c 919s | 16 | 238611 | 193652 | 113959 1 | 20755 | 24560 923.08/923.47 c 922s | 16 | 238986 | 193952 | 113959 1 | 20755 | 24560 925.58/925.96 c 924s | 16 | 239493 | 194352 | 113959 1 | 20755 | 24560 927.68/928.05 c 926s | 16 | 239993 | 194752 | 113959 1 | 20755 | 24560 929.98/930.32 c 928s | 16 | 240338 | 195052 | 113959 1 | 20755 | 24560 932.37/932.73 c 931s | 16 | 240826 | 195452 | 113959 1 | 20755 | 24560 934.67/935.03 c 933s | 16 | 241292 | 195852 | 113959 1 | 20755 | 24560 937.07/937.44 c 936s | 16 | 241675 | 196152 | 125355 1 | 20755 | 24560 939.27/939.67 c 938s | 16 | 242042 | 196452 | 125355 1 | 20755 | 24560 941.27/941.69 c 940s | 16 | 242411 | 196752 | 125355 1 | 20755 | 24560 943.76/944.15 c 942s | 16 | 242804 | 197052 | 125355 1 | 20755 | 24560 946.16/946.58 c 945s | 16 | 243145 | 197352 | 125355 1 | 20755 | 24560 946.87/947.26 c 945s | 17 | 243262 | 197432 | 125355 1 | 20755 | 24560 948.86/949.26 c 947s | 17 | 243517 | 197632 | 125355 1 | 20755 | 24560 951.17/951.57 c 950s | 17 | 243875 | 197932 | 125355 1 | 20755 | 24560 953.86/954.21 c 952s | 17 | 244367 | 198332 | 125355 1 | 20755 | 24560 956.26/956.68 c 955s | 17 | 244867 | 198732 | 125355 1 | 20755 | 24560 958.86/959.26 c 957s | 17 | 245334 | 199132 | 125355 1 | 20755 | 24560 960.95/961.37 c 959s | 17 | 245698 | 199432 | 125355 1 | 20755 | 24560 963.05/963.42 c 962s | 17 | 246045 | 199732 | 125355 1 | 20755 | 24560 965.35/965.79 c 964s | 17 | 246385 | 200032 | 125355 1 | 20755 | 24560 968.05/968.44 c 967s | 17 | 246738 | 200332 | 125355 1 | 20755 | 24560 970.55/970.97 c 969s | 17 | 247089 | 200632 | 125355 1 | 20755 | 24560 972.65/973.01 c 971s | 17 | 247480 | 200932 | 125355 1 | 20755 | 24560 975.05/975.43 c 974s | 17 | 247850 | 201232 | 125355 1 | 20755 | 24560 977.56/977.92 c 976s | 17 | 248217 | 201532 | 125355 1 | 20755 | 24560 979.65/980.02 c 978s | 17 | 248567 | 201832 | 125355 1 | 20755 | 24560 982.05/982.46 c 981s | 17 | 248927 | 202132 | 125355 1 | 20755 | 24560 984.35/984.76 c 983s | 17 | 249283 | 202432 | 125355 1 | 20755 | 24560 986.75/987.12 c 985s | 17 | 249664 | 202732 | 125355 1 | 20755 | 24560 989.15/989.56 c 988s | 17 | 250033 | 203032 | 125355 1 | 20755 | 24560 991.85/992.28 c 990s | 17 | 250368 | 203332 | 125355 1 | 20755 | 24560 994.34/994.79 c 993s | 17 | 250716 | 203632 | 125355 1 | 20755 | 24560 997.24/997.60 c 996s | 17 | 251084 | 203932 | 125355 1 | 20755 | 24560 999.84/1000.23 c 998s | 17 | 251432 | 204232 | 125355 1 | 20755 | 24560 1002.34/1002.77 c 1001s | 17 | 251785 | 204532 | 125355 1 | 20755 | 24560 1005.44/1005.84 c 1004s | 17 | 252121 | 204832 | 125355 1 | 20755 | 24560 1008.34/1008.73 c 1007s | 17 | 252470 | 205132 | 125355 1 | 20755 | 24560 1011.33/1011.77 c 1010s | 17 | 252818 | 205432 | 125355 1 | 20755 | 24560 1013.33/1013.79 c 1012s | 17 | 253055 | 205632 | 125355 1 | 20755 | 24560 1016.14/1016.60 c 1015s | 17 | 253423 | 205932 | 125355 1 | 20755 | 24560 1018.93/1019.35 c 1017s | 17 | 253802 | 206232 | 125355 1 | 20755 | 24560 1021.23/1021.68 c 1020s | 17 | 254164 | 206532 | 125355 1 | 20755 | 24560 1023.83/1024.23 c 1022s | 17 | 254524 | 206832 | 125355 1 | 20755 | 24560 1026.23/1026.62 c 1025s | 17 | 254855 | 207132 | 125355 1 | 20755 | 24560 1028.62/1029.06 c 1027s | 17 | 255199 | 207432 | 125355 1 | 20755 | 24560 1031.32/1031.74 c 1030s | 17 | 255535 | 207732 | 125355 1 | 20755 | 24560 1033.32/1033.78 c 1032s | 17 | 255779 | 207932 | 125355 1 | 20755 | 24560 1035.52/1035.95 c 1034s | 17 | 256145 | 208232 | 125355 1 | 20755 | 24560 1037.82/1038.22 c 1036s | 17 | 256529 | 208532 | 125355 1 | 20755 | 24560 1040.52/1040.91 c 1039s | 17 | 257057 | 208932 | 125355 1 | 20755 | 24560 1042.61/1043.02 c 1041s | 17 | 257411 | 209232 | 125355 1 | 20755 | 24560 1044.81/1045.26 c 1043s | 17 | 257786 | 209532 | 125355 1 | 20755 | 24560 1046.92/1047.32 c 1045s | 17 | 258158 | 209832 | 125355 1 | 20755 | 24560 1048.91/1049.36 c 1047s | 17 | 258678 | 210232 | 125355 1 | 20755 | 24560 1051.21/1051.67 c 1050s | 17 | 259204 | 210632 | 125355 1 | 20755 | 24560 1053.51/1053.97 c 1052s | 17 | 259614 | 210932 | 125355 1 | 20755 | 24560 1055.90/1056.32 c 1054s | 17 | 260001 | 211232 | 125355 1 | 20755 | 24560 1058.20/1058.63 c 1057s | 17 | 260371 | 211532 | 125355 1 | 20755 | 24560 1060.20/1060.67 c 1059s | 17 | 260774 | 211832 | 125355 1 | 20755 | 24560 1062.31/1062.79 c 1061s | 17 | 261331 | 212232 | 125355 1 | 20755 | 24560 1064.41/1064.89 c 1063s | 17 | 262146 | 212832 | 125355 1 | 20755 | 24560 1066.60/1067.08 c 1065s | 17 | 262775 | 213332 | 125355 1 | 20755 | 24560 1069.10/1069.53 c 1068s | 17 | 263528 | 213832 | 125355 1 | 20755 | 24560 1071.19/1071.62 c 1070s | 17 | 263809 | 214032 | 125355 1 | 20755 | 24560 1073.89/1074.34 c 1072s | 17 | 264195 | 214332 | 125355 1 | 20755 | 24560 1076.69/1077.19 c 1075s | 17 | 264580 | 214632 | 125355 1 | 20755 | 24560 1079.80/1080.24 c 1078s | 17 | 264951 | 214932 | 125355 1 | 20755 | 24560 1082.49/1082.96 c 1081s | 17 | 265358 | 215232 | 125355 1 | 20755 | 24560 1085.18/1085.62 c 1084s | 17 | 265724 | 215532 | 125355 1 | 20755 | 24560 1087.88/1088.37 c 1086s | 17 | 266065 | 215832 | 125355 1 | 20755 | 24560 1090.58/1091.09 c 1089s | 17 | 266437 | 216132 | 125355 1 | 20755 | 24560 1093.38/1093.89 c 1092s | 17 | 266800 | 216432 | 125355 1 | 20755 | 24560 1096.18/1096.66 c 1095s | 17 | 267167 | 216732 | 125355 1 | 20755 | 24560 1098.88/1099.38 c 1097s | 17 | 267523 | 217032 | 125355 1 | 20755 | 24560 1101.78/1102.22 c 1100s | 17 | 267924 | 217332 | 125355 1 | 20755 | 24560 1104.38/1104.84 c 1103s | 17 | 268294 | 217632 | 125355 1 | 20755 | 24560 1106.98/1107.43 c 1106s | 17 | 268641 | 217932 | 125355 1 | 20755 | 24560 1109.48/1109.98 c 1108s | 17 | 268991 | 218232 | 125355 1 | 20755 | 24560 1112.07/1112.50 c 1111s | 17 | 269390 | 218532 | 125355 1 | 20755 | 24560 1114.57/1115.01 c 1113s | 17 | 269728 | 218832 | 125355 1 | 20755 | 24560 1117.28/1117.73 c 1116s | 17 | 270105 | 219132 | 125355 1 | 20755 | 24560 1119.87/1120.37 c 1118s | 17 | 270451 | 219432 | 125355 1 | 20755 | 24560 1122.37/1122.89 c 1121s | 17 | 270796 | 219732 | 125355 1 | 20755 | 24560 1125.17/1125.67 c 1124s | 17 | 271158 | 220032 | 125355 1 | 20755 | 24560 1128.07/1128.59 c 1127s | 17 | 271513 | 220332 | 125355 1 | 20755 | 24560 1130.97/1131.45 c 1130s | 17 | 271865 | 220632 | 125355 1 | 20755 | 24560 1133.57/1134.06 c 1132s | 17 | 272235 | 220932 | 125355 1 | 20755 | 24560 1136.27/1136.78 c 1135s | 17 | 272614 | 221232 | 125355 1 | 20755 | 24560 1139.17/1139.63 c 1138s | 17 | 272959 | 221532 | 125355 1 | 20755 | 24560 1141.77/1142.24 c 1140s | 17 | 273320 | 221832 | 125355 1 | 20755 | 24560 1143.97/1144.43 c 1143s | 17 | 273694 | 222132 | 125355 1 | 20755 | 24560 1146.37/1146.89 c 1145s | 17 | 274077 | 222432 | 125355 1 | 20755 | 24560 1148.97/1149.42 c 1148s | 17 | 274449 | 222732 | 125355 1 | 20755 | 24560 1151.47/1151.90 c 1150s | 17 | 274809 | 223032 | 125355 1 | 20755 | 24560 1154.17/1154.66 c 1153s | 17 | 275150 | 223332 | 125355 1 | 20755 | 24560 1157.17/1157.64 c 1156s | 17 | 275491 | 223632 | 125355 1 | 20755 | 24560 1160.17/1160.62 c 1159s | 17 | 275844 | 223932 | 125355 1 | 20755 | 24560 1163.06/1163.52 c 1162s | 17 | 276185 | 224232 | 125355 1 | 20755 | 24560 1165.06/1165.58 c 1164s | 17 | 276441 | 224432 | 125355 1 | 20755 | 24560 1167.26/1167.78 c 1166s | 17 | 276679 | 224632 | 125355 1 | 20755 | 24560 1169.46/1169.96 c 1168s | 17 | 276904 | 224832 | 125355 1 | 20755 | 24560 1172.27/1172.73 c 1171s | 17 | 277266 | 225132 | 125355 1 | 20755 | 24560 1174.26/1174.80 c 1173s | 17 | 277477 | 225332 | 125355 1 | 20755 | 24560 1176.46/1176.96 c 1175s | 17 | 277707 | 225532 | 125355 1 | 20755 | 24560 1179.36/1179.88 c 1178s | 17 | 278077 | 225832 | 125355 1 | 20755 | 24560 1182.36/1182.83 c 1181s | 17 | 278440 | 226132 | 125355 1 | 20755 | 24560 1185.26/1185.71 c 1184s | 17 | 278785 | 226432 | 125355 1 | 20755 | 24560 1187.26/1187.74 c 1186s | 17 | 279025 | 226632 | 125355 1 | 20755 | 24560 1190.06/1190.55 c 1189s | 17 | 279407 | 226932 | 125355 1 | 20755 | 24560 1192.76/1193.28 c 1191s | 17 | 279768 | 227232 | 125355 1 | 20755 | 24560 1195.26/1195.80 c 1194s | 17 | 280134 | 227532 | 125355 1 | 20755 | 24560 1197.36/1197.85 c 1196s | 17 | 280367 | 227732 | 125355 1 | 20755 | 24560 1200.06/1200.54 c 1199s | 17 | 280746 | 228032 | 125355 1 | 20755 | 24560 1202.46/1202.94 c 1201s | 17 | 281108 | 228332 | 125355 1 | 20755 | 24560 1204.96/1205.45 c 1204s | 17 | 281464 | 228632 | 125355 1 | 20755 | 24560 1207.96/1208.42 c 1207s | 17 | 281833 | 228932 | 125355 1 | 20755 | 24560 1210.76/1211.24 c 1209s | 17 | 282178 | 229232 | 125355 1 | 20755 | 24560 1213.06/1213.52 c 1212s | 17 | 282396 | 229432 | 125355 1 | 20755 | 24560 1215.46/1215.96 c 1214s | 17 | 282752 | 229732 | 125355 1 | 20755 | 24560 1218.25/1218.72 c 1217s | 17 | 283122 | 230032 | 125355 1 | 20755 | 24560 1220.35/1220.83 c 1219s | 17 | 283356 | 230232 | 125355 1 | 20755 | 24560 1222.35/1222.86 c 1221s | 17 | 283579 | 230432 | 125355 1 | 20755 | 24560 1225.25/1225.74 c 1224s | 17 | 283977 | 230732 | 125355 1 | 20755 | 24560 1227.85/1228.39 c 1227s | 17 | 284344 | 231032 | 125355 1 | 20755 | 24560 1230.65/1231.16 c 1229s | 17 | 284675 | 231332 | 125355 1 | 20755 | 24560 1233.45/1233.93 c 1232s | 17 | 285027 | 231632 | 125355 1 | 20755 | 24560 1235.45/1235.99 c 1234s | 17 | 285276 | 231832 | 125355 1 | 20755 | 24560 1237.65/1238.16 c 1236s | 17 | 285495 | 232032 | 125355 1 | 20755 | 24560 1239.85/1240.32 c 1238s | 17 | 285714 | 232232 | 125355 1 | 20755 | 24560 1242.75/1243.25 c 1241s | 17 | 286065 | 232532 | 125355 1 | 20755 | 24560 1245.65/1246.19 c 1244s | 17 | 286427 | 232832 | 125355 1 | 20755 | 24560 1248.16/1248.63 c 1247s | 17 | 286811 | 233132 | 125355 1 | 20755 | 24560 1251.05/1251.59 c 1250s | 17 | 287134 | 233432 | 125355 1 | 20755 | 24560 1253.56/1254.10 c 1252s | 17 | 287484 | 233732 | 125355 1 | 20755 | 24560 1256.35/1256.83 c 1255s | 17 | 287840 | 234032 | 125355 1 | 20755 | 24560 1260.46/1260.91 c 1259s | 17 | 288182 | 234332 | 125355 2 | 20755 | 24560 1262.86/1263.35 c 1261s | 17 | 288408 | 234532 | 125355 2 | 20755 | 24560 1265.85/1266.32 c 1264s | 17 | 288644 | 234732 | 125355 2 | 20755 | 24560 1267.86/1268.37 c 1266s | 17 | 288778 | 234832 | 125355 2 | 20755 | 24560 1270.06/1270.57 c 1269s | 17 | 289251 | 235232 | 125355 2 | 20755 | 24560 1277.86/1278.31 c 1276s | 17 | 289607 | 235532 | 125355 2 | 20755 | 24560 1279.96/1280.47 c 1279s | 17 | 290117 | 235932 | 125355 2 | 20755 | 24560 1282.05/1282.55 c 1281s | 17 | 290657 | 236332 | 125355 2 | 20755 | 24560 1284.15/1284.69 c 1283s | 17 | 291444 | 236932 | 125355 2 | 20755 | 24560 1286.45/1286.91 c 1285s | 17 | 292330 | 237632 | 125355 2 | 20755 | 24560 1288.45/1288.99 c 1287s | 17 | 293195 | 238232 | 125355 2 | 20755 | 24560 1290.95/1291.46 c 1290s | 17 | 293787 | 238632 | 125355 2 | 20755 | 24560 1293.45/1293.97 c 1292s | 17 | 294285 | 239032 | 125355 2 | 20755 | 24560 1295.65/1296.16 c 1294s | 17 | 294772 | 239432 | 125355 2 | 20755 | 24560 1298.34/1298.81 c 1297s | 17 | 295245 | 239832 | 125355 2 | 20755 | 24560 1300.54/1301.02 c 1299s | 17 | 295591 | 240132 | 125355 2 | 20755 | 24560 1303.24/1303.71 c 1302s | 17 | 296205 | 240632 | 125355 2 | 20755 | 24560 1305.25/1305.77 c 1304s | 17 | 296558 | 240932 | 125355 2 | 20755 | 24560 1307.64/1308.13 c 1306s | 17 | 297101 | 241332 | 125355 2 | 20755 | 24560 1310.14/1310.65 c 1309s | 17 | 297606 | 241732 | 125355 2 | 20755 | 24560 1312.44/1312.94 c 1311s | 17 | 298108 | 242132 | 125355 2 | 20755 | 24560 1314.64/1315.14 c 1313s | 17 | 298842 | 242632 | 125355 2 | 20755 | 24560 1317.14/1317.63 c 1316s | 17 | 299528 | 243132 | 125355 2 | 20755 | 24560 1319.74/1320.20 c 1318s | 17 | 300011 | 243532 | 125355 2 | 20755 | 24560 1322.04/1322.51 c 1321s | 17 | 300510 | 243932 | 125355 2 | 20755 | 24560 1324.14/1324.65 c 1323s | 17 | 301003 | 244332 | 125355 2 | 20755 | 24560 1326.64/1327.19 c 1325s | 17 | 301503 | 244732 | 125355 2 | 20755 | 24560 1328.84/1329.37 c 1327s | 17 | 302016 | 245132 | 125355 2 | 20755 | 24560 1330.94/1331.48 c 1330s | 17 | 302359 | 245432 | 125355 2 | 20755 | 24560 1333.24/1333.78 c 1332s | 17 | 302861 | 245832 | 125355 2 | 20755 | 24560 1335.74/1336.24 c 1334s | 17 | 303340 | 246232 | 125355 2 | 20755 | 24560 1338.14/1338.66 c 1337s | 17 | 303977 | 246732 | 125355 2 | 20755 | 24560 1340.64/1341.16 c 1339s | 17 | 304464 | 247132 | 125355 2 | 20755 | 24560 1342.74/1343.25 c 1341s | 17 | 304980 | 247532 | 125355 2 | 20755 | 24560 1344.84/1345.35 c 1343s | 17 | 305476 | 247932 | 125355 2 | 20755 | 24560 1347.04/1347.57 c 1346s | 17 | 305957 | 248332 | 125355 2 | 20755 | 24560 1349.24/1349.80 c 1348s | 17 | 306457 | 248732 | 125355 2 | 20755 | 24560 1351.73/1352.28 c 1350s | 17 | 306957 | 249132 | 125355 2 | 20755 | 24560 1354.53/1355.07 c 1353s | 17 | 307427 | 249532 | 125355 2 | 20755 | 24560 1357.13/1357.67 c 1356s | 17 | 307905 | 249932 | 125355 2 | 20755 | 24560 1359.53/1360.09 c 1358s | 17 | 308387 | 250332 | 125355 2 | 20755 | 24560 1362.33/1362.83 c 1361s | 17 | 308843 | 250732 | 125355 2 | 20755 | 24560 1364.33/1364.85 c 1363s | 17 | 309217 | 251032 | 125355 2 | 20755 | 24560 1366.53/1367.02 c 1365s | 17 | 309539 | 251332 | 125355 2 | 20755 | 24560 1368.73/1369.23 c 1367s | 17 | 309890 | 251632 | 125355 2 | 20755 | 24560 1371.03/1371.50 c 1370s | 17 | 310385 | 252032 | 125355 2 | 20755 | 24560 1373.73/1374.23 c 1372s | 17 | 310872 | 252432 | 125355 2 | 20755 | 24560 1376.33/1376.82 c 1375s | 17 | 311338 | 252832 | 125355 2 | 20755 | 24560 1378.73/1379.20 c 1377s | 17 | 311800 | 253232 | 125355 2 | 20755 | 24560 1380.83/1381.30 c 1379s | 17 | 312282 | 253632 | 125355 2 | 20755 | 24560 1383.13/1383.64 c 1382s | 17 | 312796 | 254032 | 125355 2 | 20755 | 24560 1385.53/1386.01 c 1384s | 17 | 313288 | 254432 | 125355 2 | 20755 | 24560 1387.63/1388.17 c 1386s | 17 | 313522 | 254632 | 125355 2 | 20755 | 24560 1390.23/1390.76 c 1389s | 17 | 314059 | 255032 | 125355 2 | 20755 | 24560 1392.93/1393.46 c 1392s | 17 | 314545 | 255432 | 125355 2 | 20755 | 24560 1395.12/1395.62 c 1394s | 17 | 314919 | 255732 | 125355 2 | 20755 | 24560 1397.22/1397.77 c 1396s | 17 | 315273 | 256032 | 125355 2 | 20755 | 24560 1399.62/1400.18 c 1398s | 17 | 315621 | 256332 | 125355 2 | 20755 | 24560 1402.13/1402.65 c 1401s | 17 | 315951 | 256632 | 125355 2 | 20755 | 24560 1404.52/1405.03 c 1403s | 17 | 316304 | 256932 | 125355 2 | 20755 | 24560 1406.92/1407.49 c 1406s | 17 | 316695 | 257232 | 125355 2 | 20755 | 24560 1409.42/1409.92 c 1408s | 17 | 317064 | 257532 | 125355 2 | 20755 | 24560 1411.52/1412.01 c 1410s | 17 | 317426 | 257832 | 125355 2 | 20755 | 24560 1413.72/1414.21 c 1412s | 17 | 317800 | 258132 | 125355 2 | 20755 | 24560 1416.52/1417.03 c 1415s | 17 | 318261 | 258532 | 125355 2 | 20755 | 24560 1418.82/1419.38 c 1418s | 17 | 318591 | 258832 | 125355 2 | 20755 | 24560 1421.12/1421.64 c 1420s | 17 | 318976 | 259132 | 125355 2 | 20755 | 24560 1423.23/1423.73 c 1422s | 17 | 319350 | 259432 | 125355 2 | 20755 | 24560 1425.93/1426.49 c 1425s | 17 | 319824 | 259832 | 125355 2 | 20755 | 24560 1428.13/1428.65 c 1427s | 17 | 320180 | 260132 | 125355 2 | 20755 | 24560 1430.33/1430.88 c 1429s | 17 | 320538 | 260432 | 125355 2 | 20755 | 24560 1432.83/1433.34 c 1431s | 17 | 321030 | 260832 | 125355 2 | 20755 | 24560 1435.33/1435.89 c 1434s | 17 | 321515 | 261232 | 125355 2 | 20755 | 24560 1437.83/1438.35 c 1436s | 17 | 322005 | 261632 | 125355 2 | 20755 | 24560 1439.93/1440.43 c 1439s | 17 | 322372 | 261932 | 125355 2 | 20755 | 24560 1442.33/1442.82 c 1441s | 17 | 322874 | 262332 | 125355 2 | 20755 | 24560 1444.93/1445.41 c 1444s | 17 | 323393 | 262732 | 125355 2 | 20755 | 24560 1447.23/1447.77 c 1446s | 17 | 323733 | 263032 | 125355 2 | 20755 | 24560 1449.33/1449.88 c 1448s | 17 | 324118 | 263332 | 125355 2 | 20755 | 24560 1451.53/1452.06 c 1450s | 17 | 324497 | 263632 | 125355 2 | 20755 | 24560 1453.92/1454.44 c 1453s | 17 | 325138 | 264132 | 125355 2 | 20755 | 24560 1456.22/1456.76 c 1455s | 17 | 325492 | 264432 | 125355 2 | 20755 | 24560 1458.52/1459.04 c 1457s | 17 | 325882 | 264732 | 125355 2 | 20755 | 24560 1460.82/1461.37 c 1459s | 17 | 326205 | 265032 | 125355 2 | 20755 | 24560 1463.63/1464.16 c 1462s | 17 | 326569 | 265332 | 125355 2 | 20755 | 24560 1466.32/1466.84 c 1465s | 17 | 326936 | 265632 | 125355 2 | 20755 | 24560 1468.72/1469.23 c 1467s | 17 | 327301 | 265932 | 125355 2 | 20755 | 24560 1471.22/1471.72 c 1470s | 17 | 327940 | 266432 | 125355 2 | 20755 | 24560 1473.22/1473.79 c 1472s | 17 | 328519 | 266832 | 125355 2 | 20755 | 24560 1475.42/1475.98 c 1474s | 17 | 328881 | 267132 | 125355 2 | 20755 | 24560 1478.03/1478.52 c 1477s | 17 | 329381 | 267532 | 125355 2 | 20755 | 24560 1480.32/1480.82 c 1479s | 17 | 329751 | 267832 | 125355 2 | 20755 | 24560 1482.62/1483.15 c 1481s | 17 | 330118 | 268132 | 125355 2 | 20755 | 24560 1485.02/1485.58 c 1484s | 17 | 330481 | 268432 | 125355 2 | 20755 | 24560 1487.32/1487.81 c 1486s | 17 | 330835 | 268732 | 125355 2 | 20755 | 24560 1490.02/1490.60 c 1489s | 17 | 331334 | 269132 | 125355 2 | 20755 | 24560 1492.32/1492.86 c 1491s | 17 | 331700 | 269432 | 125355 2 | 20755 | 24560 1494.92/1495.44 c 1494s | 17 | 332058 | 269732 | 125355 2 | 20755 | 24560 1499.11/1499.60 c 1498s | 17 | 332233 | 269832 | 125355 2 | 20902 | 25101 1501.71/1502.21 c 1500s | 17 | 332479 | 270032 | 125355 2 | 20902 | 25101 1503.81/1504.33 c 1502s | 17 | 332821 | 270332 | 125355 2 | 20902 | 25101 1505.81/1506.39 c 1505s | 17 | 333327 | 270732 | 125355 2 | 20902 | 25101 1508.01/1508.58 c 1507s | 17 | 333835 | 271132 | 125355 2 | 20902 | 25101 1510.11/1510.60 c 1509s | 17 | 334313 | 271532 | 125355 2 | 20902 | 25101 1512.41/1512.90 c 1511s | 17 | 334813 | 271932 | 125355 2 | 20902 | 25101 1514.51/1515.00 c 1513s | 17 | 335304 | 272332 | 125355 2 | 20902 | 25101 1516.61/1517.19 c 1515s | 17 | 335805 | 272732 | 125355 2 | 20902 | 25101 1518.81/1519.36 c 1517s | 17 | 336149 | 273032 | 125355 2 | 20902 | 25101 1521.30/1521.84 c 1520s | 17 | 336658 | 273432 | 125355 2 | 20902 | 25101 1523.50/1524.07 c 1522s | 17 | 337308 | 273932 | 125355 2 | 20902 | 25101 1525.60/1526.19 c 1524s | 17 | 338085 | 274532 | 125355 2 | 20902 | 25101 1527.90/1528.43 c 1527s | 17 | 338556 | 274932 | 125355 2 | 20902 | 25101 1529.90/1530.49 c 1529s | 17 | 338918 | 275232 | 125355 2 | 20902 | 25101 1532.10/1532.63 c 1531s | 17 | 339308 | 275532 | 125355 2 | 20902 | 25101 1534.50/1535.09 c 1533s | 17 | 339981 | 276032 | 125355 2 | 20902 | 25101 1537.41/1537.94 c 1536s | 17 | 340104 | 276132 | 125355 2 | 20902 | 25101 1539.70/1540.24 c 1538s | 17 | 340576 | 276532 | 125355 2 | 20902 | 25101 1542.20/1542.77 c 1541s | 17 | 341086 | 276932 | 125355 2 | 20902 | 25101 1544.50/1545.07 c 1543s | 17 | 341564 | 277332 | 125355 2 | 20902 | 25101 1546.80/1547.33 c 1545s | 17 | 342070 | 277732 | 125355 2 | 20902 | 25101 1548.80/1549.38 c 1548s | 17 | 342421 | 278032 | 125355 2 | 20902 | 25101 1551.21/1551.79 c 1550s | 17 | 342922 | 278432 | 125355 2 | 20902 | 25101 1553.61/1554.13 c 1552s | 17 | 343446 | 278832 | 125355 2 | 20902 | 25101 1555.91/1556.43 c 1555s | 17 | 343943 | 279232 | 125355 2 | 20902 | 25101 1558.41/1558.90 c 1557s | 17 | 344562 | 279732 | 125355 2 | 20902 | 25101 1560.90/1561.40 c 1560s | 17 | 345037 | 280132 | 125355 2 | 20902 | 25101 1563.10/1563.63 c 1562s | 17 | 345686 | 280632 | 125355 2 | 20902 | 25101 1565.50/1566.05 c 1564s | 17 | 346211 | 281032 | 125355 2 | 20902 | 25101 1567.70/1568.28 c 1566s | 17 | 346732 | 281432 | 125355 2 | 20902 | 25101 1570.20/1570.72 c 1569s | 17 | 347371 | 281932 | 125355 2 | 20902 | 25101 1572.20/1572.75 c 1571s | 17 | 347730 | 282232 | 125355 2 | 20902 | 25101 1574.90/1575.46 c 1574s | 17 | 348226 | 282632 | 125355 2 | 20902 | 25101 1577.50/1578.01 c 1576s | 17 | 348729 | 283032 | 125355 2 | 20902 | 25101 1580.00/1580.59 c 1579s | 17 | 349267 | 283432 | 125355 2 | 20902 | 25101 1582.10/1582.66 c 1581s | 17 | 349634 | 283732 | 125355 2 | 20902 | 25101 1584.50/1585.03 c 1583s | 17 | 350135 | 284132 | 125355 2 | 20902 | 25101 1586.91/1587.49 c 1586s | 17 | 350624 | 284532 | 125355 2 | 20902 | 25101 1589.01/1589.55 c 1588s | 17 | 350987 | 284832 | 125355 2 | 20902 | 25101 1591.50/1592.05 c 1590s | 17 | 351483 | 285232 | 125355 2 | 20902 | 25101 1594.00/1594.56 c 1593s | 17 | 351984 | 285632 | 125355 2 | 20902 | 25101 1596.60/1597.12 c 1595s | 17 | 352505 | 286032 | 125355 2 | 20902 | 25101 1599.10/1599.66 c 1598s | 17 | 352965 | 286432 | 125355 2 | 20902 | 25101 1601.30/1601.85 c 1600s | 17 | 353331 | 286732 | 125355 2 | 20902 | 25101 1603.30/1603.86 c 1602s | 17 | 354056 | 287332 | 125355 2 | 20902 | 25101 1605.60/1606.19 c 1604s | 17 | 354805 | 287932 | 125355 2 | 20902 | 25101 1607.70/1608.21 c 1606s | 17 | 355571 | 288532 | 125355 2 | 20902 | 25101 1609.80/1610.33 c 1608s | 17 | 356342 | 289132 | 125355 2 | 20902 | 25101 1612.10/1612.69 c 1611s | 17 | 357064 | 289732 | 125355 2 | 20902 | 25101 1614.40/1614.91 c 1613s | 17 | 357543 | 290132 | 125355 2 | 20902 | 25101 1616.40/1616.93 c 1615s | 17 | 358051 | 290532 | 125355 2 | 20902 | 25101 1618.40/1618.99 c 1617s | 17 | 358437 | 290832 | 125355 2 | 20902 | 25101 1621.19/1621.74 c 1620s | 17 | 358935 | 291232 | 125355 2 | 20902 | 25101 1623.89/1624.46 c 1623s | 17 | 359424 | 291632 | 125355 2 | 20902 | 25101 1625.89/1626.49 c 1625s | 17 | 359791 | 291932 | 125355 2 | 20902 | 25101 1628.29/1628.83 c 1627s | 17 | 360147 | 292232 | 125355 2 | 20902 | 25101 1630.29/1630.89 c 1629s | 17 | 360303 | 292332 | 125355 2 | 20902 | 25101 1632.79/1633.34 c 1631s | 17 | 360988 | 292832 | 125355 2 | 20902 | 25101 1634.79/1635.37 c 1633s | 17 | 361763 | 293432 | 125355 2 | 20902 | 25101 1637.19/1637.73 c 1636s | 17 | 362509 | 293932 | 125355 2 | 20902 | 25101 1639.39/1639.94 c 1638s | 17 | 363003 | 294332 | 137891 2 | 20902 | 25101 1641.80/1642.32 c 1640s | 17 | 363550 | 294732 | 137891 2 | 20902 | 25101 1644.29/1644.80 c 1643s | 17 | 364037 | 295132 | 137891 2 | 20902 | 25101 1646.59/1647.11 c 1645s | 17 | 364387 | 295432 | 137891 2 | 20902 | 25101 1648.89/1649.45 c 1648s | 17 | 364961 | 295832 | 137891 2 | 20902 | 25101 1650.99/1651.51 c 1650s | 17 | 365316 | 296132 | 137891 2 | 20902 | 25101 1651.79/1652.34 c 1650s | 18 | 365476 | 296252 | 137891 2 | 20902 | 25101 1654.19/1654.76 c 1653s | 18 | 365949 | 296552 | 137891 2 | 20902 | 25101 1656.59/1657.12 c 1655s | 18 | 366366 | 296852 | 137891 2 | 20902 | 25101 1658.89/1659.40 c 1658s | 18 | 366745 | 297152 | 137891 2 | 20902 | 25101 1661.29/1661.86 c 1660s | 18 | 367140 | 297452 | 137891 2 | 20902 | 25101 1663.69/1664.27 c 1662s | 18 | 367517 | 297752 | 137891 2 | 20902 | 25101 1666.09/1666.69 c 1665s | 18 | 367874 | 298052 | 137891 2 | 20902 | 25101 1668.38/1668.99 c 1667s | 18 | 368241 | 298352 | 137891 2 | 20902 | 25101 1670.98/1671.54 c 1670s | 18 | 368612 | 298652 | 137891 2 | 20902 | 25101 1673.48/1674.04 c 1672s | 18 | 368961 | 298952 | 137891 2 | 20902 | 25101 1675.78/1676.30 c 1674s | 18 | 369338 | 299252 | 137891 2 | 20902 | 25101 1677.98/1678.54 c 1677s | 18 | 369717 | 299552 | 137891 2 | 20902 | 25101 1680.18/1680.76 c 1679s | 18 | 370086 | 299852 | 137891 2 | 20902 | 25101 1682.49/1683.05 c 1681s | 18 | 370472 | 300152 | 137891 2 | 20902 | 25101 1684.48/1685.08 c 1683s | 18 | 370834 | 300452 | 137891 2 | 20902 | 25101 1686.68/1687.29 c 1685s | 18 | 371252 | 300752 | 137891 2 | 20902 | 25101 1688.88/1689.48 c 1688s | 18 | 371915 | 301252 | 137891 2 | 20902 | 25101 1690.98/1691.55 c 1690s | 18 | 372666 | 301852 | 137891 2 | 20902 | 25101 1693.38/1693.90 c 1692s | 18 | 373170 | 302252 | 137891 2 | 20902 | 25101 1695.58/1696.11 c 1694s | 18 | 373530 | 302552 | 137891 2 | 20902 | 25101 1698.08/1698.66 c 1697s | 18 | 373869 | 302852 | 137891 2 | 20902 | 25101 1700.48/1701.00 c 1699s | 18 | 374219 | 303152 | 137891 2 | 20902 | 25101 1702.98/1703.53 c 1702s | 18 | 374553 | 303452 | 137891 2 | 20902 | 25101 1705.38/1705.91 c 1704s | 18 | 374930 | 303752 | 137891 2 | 20902 | 25101 1707.58/1708.17 c 1706s | 18 | 375271 | 304052 | 137891 2 | 20902 | 25101 1709.68/1710.29 c 1708s | 18 | 375646 | 304352 | 137891 2 | 20902 | 25101 1711.98/1712.56 c 1711s | 18 | 376020 | 304652 | 137891 2 | 20902 | 25101 1714.78/1715.30 c 1713s | 18 | 376363 | 304952 | 137891 2 | 20902 | 25101 1717.08/1717.65 c 1716s | 18 | 376726 | 305252 | 137891 2 | 20902 | 25101 1719.38/1719.98 c 1718s | 18 | 377093 | 305552 | 137891 2 | 20902 | 25101 1721.77/1722.30 c 1720s | 18 | 377448 | 305852 | 137891 2 | 20902 | 25101 1723.87/1724.41 c 1723s | 18 | 377815 | 306152 | 137891 2 | 20902 | 25101 1726.48/1727.03 c 1725s | 18 | 378181 | 306452 | 137891 2 | 20902 | 25101 1729.17/1729.73 c 1728s | 18 | 378534 | 306752 | 137891 2 | 20902 | 25101 1731.67/1732.21 c 1730s | 18 | 378883 | 307052 | 137891 2 | 20902 | 25101 1733.87/1734.45 c 1733s | 18 | 379265 | 307352 | 137891 2 | 20902 | 25101 1736.07/1736.67 c 1735s | 18 | 379614 | 307652 | 137891 2 | 20902 | 25101 1738.17/1738.77 c 1737s | 18 | 379981 | 307952 | 137891 2 | 20902 | 25101 1740.47/1741.01 c 1739s | 18 | 380347 | 308252 | 137891 2 | 20902 | 25101 1742.67/1743.25 c 1741s | 18 | 380739 | 308552 | 137891 2 | 20902 | 25101 1745.47/1746.00 c 1744s | 18 | 381096 | 308852 | 137891 2 | 20902 | 25101 1747.97/1748.50 c 1747s | 18 | 381428 | 309152 | 137891 2 | 20902 | 25101 1750.17/1750.70 c 1749s | 18 | 381768 | 309452 | 137891 2 | 20902 | 25101 1752.77/1753.32 c 1751s | 18 | 382133 | 309752 | 137891 2 | 20902 | 25101 1755.37/1755.99 c 1754s | 18 | 382485 | 310052 | 137891 2 | 20902 | 25101 1757.47/1758.08 c 1756s | 18 | 382854 | 310352 | 137891 2 | 20902 | 25101 1760.07/1760.64 c 1759s | 18 | 383225 | 310652 | 137891 2 | 20902 | 25101 1762.27/1762.82 c 1761s | 18 | 383609 | 310952 | 137891 2 | 20902 | 25101 1764.67/1765.24 c 1763s | 18 | 383983 | 311252 | 137891 2 | 20902 | 25101 1766.67/1767.28 c 1765s | 18 | 384373 | 311552 | 137891 2 | 20902 | 25101 1768.77/1769.39 c 1768s | 18 | 384759 | 311852 | 137891 2 | 20902 | 25101 1771.27/1771.81 c 1770s | 18 | 385143 | 312152 | 137891 2 | 20902 | 25101 1773.77/1774.32 c 1772s | 18 | 385501 | 312452 | 137891 2 | 20902 | 25101 1776.27/1776.88 c 1775s | 18 | 385868 | 312752 | 137891 2 | 20902 | 25101 1778.76/1779.33 c 1777s | 18 | 386237 | 313052 | 137891 2 | 20902 | 25101 1781.16/1781.79 c 1780s | 18 | 386606 | 313352 | 137891 2 | 20902 | 25101 1784.06/1784.67 c 1783s | 18 | 386938 | 313652 | 137891 2 | 20902 | 25101 1786.76/1787.35 c 1785s | 18 | 387301 | 313952 | 137891 2 | 20902 | 25101 1789.17/1789.75 c 1788s | 18 | 387688 | 314252 | 137891 2 | 20902 | 25101 1791.76/1792.31 c 1790s | 18 | 388083 | 314552 | 137891 2 | 20902 | 25101 1793.96/1794.51 c 1793s | 18 | 388435 | 314852 | 137891 2 | 20902 | 25101 1796.06/1796.66 c 1795s | 18 | 388796 | 315152 | 137891 2 | 20902 | 25101 1798.86/1799.40 c 1798s | 18 | 389131 | 315452 | 137891 2 | 20902 | 25101
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-4078833-1465273027/watcher-4078833-1465273027 -o /tmp/evaluation-result-4078833-1465273027/solver-4078833-1465273027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078833-1465273027.opb pid=15033 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.08 2.04 2.01 3/179 15036 /proc/meminfo: memFree=30346516/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=758204 CPUtime=0 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 2833 0 0 0 0 0 0 0 20 0 4 0 109236207 776400896 3195 33554432000 4194304 16246674 140733706393568 140733706392992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 190063 3204 441 2943 0 186957 0 [pid=15036/tid=15037] ppid=15033 vsize=775612 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 794226688 3264 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=779708 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 798420992 3277 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=782780 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109236207 801566720 3292 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100186 s] /proc/loadavg: 2.08 2.04 2.01 3/179 15036 /proc/meminfo: memFree=30346516/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 27832 0 0 0 5 4 0 0 20 0 4 0 109236207 1333334016 28131 33554432000 4194304 16246674 140733706393568 140733706392880 7382286 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 325521 28145 801 2943 0 322415 0 [pid=15036/tid=15037] ppid=15033 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1333334016 28156 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1333334016 28169 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1333334016 28181 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200535 s] /proc/loadavg: 2.08 2.04 2.01 3/179 15036 /proc/meminfo: memFree=30346516/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 49452 0 0 0 12 7 0 0 20 0 4 0 109236207 1344868352 50262 33554432000 4194304 16246674 140733706393568 140733706392880 7374408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328337 50262 801 2943 0 325231 0 [pid=15036/tid=15037] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 50262 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 50262 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 50262 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300495 s] /proc/loadavg: 2.08 2.04 2.01 3/179 15036 /proc/meminfo: memFree=30346516/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 60112 0 0 0 21 8 0 0 20 0 4 0 109236207 1344868352 60922 33554432000 4194304 16246674 140733706393568 140733706392880 7374735 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328337 60922 801 2943 0 325231 0 [pid=15036/tid=15037] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 60922 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 60922 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 60922 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700477 s] /proc/loadavg: 2.08 2.04 2.01 3/179 15036 /proc/meminfo: memFree=30346516/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 67132 0 0 0 59 10 0 0 20 0 4 0 109236207 1344868352 67942 33554432000 4194304 16246674 140733706393568 140733706375488 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328337 67951 837 2943 0 325231 0 [pid=15036/tid=15037] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 67957 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 67962 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1344868352 67967 33554432000 4194304 16246674 140733706393568 139887208553648 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.50048 s] /proc/loadavg: 2.08 2.04 2.01 3/183 15040 /proc/meminfo: memFree=29990840/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=1.49 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 111875 0 0 0 132 17 0 0 20 0 4 0 109236207 1346965504 112685 33554432000 4194304 16246674 140733706393568 140733706392880 5661884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 112685 884 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 112685 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 112685 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 112685 33554432000 4194304 16246674 140733706393568 139887208553648 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) 1315396 [startup+3.10048 s] /proc/loadavg: 2.15 2.06 2.01 3/183 15040 /proc/meminfo: memFree=29663092/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=3.09 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 269519 0 0 0 272 37 0 0 20 0 4 0 109236207 1346965504 270329 33554432000 4194304 16246674 140733706393568 140733706375488 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 270329 887 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270329 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270329 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270329 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1315396 [startup+6.30048 s] /proc/loadavg: 2.15 2.06 2.01 3/183 15040 /proc/meminfo: memFree=29265476/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=6.29 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 269523 0 0 0 592 37 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 140733706375488 5822788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 270333 890 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1315396 [startup+12.7005 s] /proc/loadavg: 2.13 2.06 2.01 3/183 15040 /proc/meminfo: memFree=29265888/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=12.69 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 269523 0 0 0 1232 37 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 140733706375488 6836352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 270333 890 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270333 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1315396 [startup+25.5005 s] /proc/loadavg: 2.11 2.05 2.01 3/183 15040 /proc/meminfo: memFree=29259764/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=25.49 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 269524 0 0 0 2512 37 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 140733706375488 5675031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 270334 890 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887208553648 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) 1315396 [startup+51.1005 s] /proc/loadavg: 2.07 2.05 2.01 3/183 15040 /proc/meminfo: memFree=29259596/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 269524 0 0 0 5071 37 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 140733706375488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 328849 270334 890 2943 0 325743 0 [pid=15036/tid=15037] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1346965504 270334 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.301 s] /proc/loadavg: 2.03 2.04 2.00 3/183 15041 /proc/meminfo: memFree=29239768/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1324612 CPUtime=102.28 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 271832 0 0 0 10190 38 0 0 20 0 4 0 109236207 1356402688 272642 33554432000 4194304 16246674 140733706393568 140733706375488 6837232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15036/statm: 331153 272642 891 2943 0 328047 0 [pid=15036/tid=15037] ppid=15033 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1356402688 272642 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1356402688 272642 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1356402688 272642 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1324612 ################ # More data... # ################ /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1387859968 280579 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1355332 [startup+1302.3 s] /proc/loadavg: 2.10 2.09 2.02 4/183 15119 /proc/meminfo: memFree=29395628/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1301.84 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 130137 47 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5722960 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1363524 [startup+1362.3 s] /proc/loadavg: 2.23 2.13 2.04 3/183 15120 /proc/meminfo: memFree=29392680/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1361.83 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 136136 47 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1363524 [startup+1422.3 s] /proc/loadavg: 2.30 2.16 2.05 3/184 15125 /proc/meminfo: memFree=29392496/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1421.84 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 142136 48 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706376560 5522977 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1363524 [startup+1482.3 s] /proc/loadavg: 2.46 2.24 2.08 4/183 15126 /proc/meminfo: memFree=29392652/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1481.82 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 148134 48 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5827966 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1363524 [startup+1542.31 s] /proc/loadavg: 2.27 2.22 2.09 3/183 15127 /proc/meminfo: memFree=29392552/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1541.81 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 154133 48 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5827984 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1363524 [startup+1602.3 s] /proc/loadavg: 2.20 2.21 2.09 3/183 15128 /proc/meminfo: memFree=29392452/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1601.8 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 160131 49 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706376560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1363524 [startup+1662.3 s] /proc/loadavg: 2.07 2.17 2.08 4/183 15129 /proc/meminfo: memFree=29391948/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1661.79 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 166130 49 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706376560 5822252 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1363524 [startup+1722.3 s] /proc/loadavg: 2.23 2.19 2.09 3/183 15131 /proc/meminfo: memFree=29384748/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1721.77 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 172128 49 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1363524 [startup+1782.3 s] /proc/loadavg: 2.17 2.18 2.09 3/183 15132 /proc/meminfo: memFree=29384524/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1781.76 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 178127 49 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706376560 5822536 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1363524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.13 2.17 2.09 3/183 15133 /proc/meminfo: memFree=29384684/32872528 swapFree=11196/354588 [pid=15036] ppid=15033 vsize=1363524 CPUtime=1800.06 cores=1,3,5,7 /proc/15036/stat : 15036 (toysat) R 15033 15036 12837 0 -1 4202496 281893 0 0 0 179957 49 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 140733706375488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15036/statm: 340881 282627 892 2943 0 337775 0 [pid=15036/tid=15037] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15037/stat : 15037 (toysat) S 15033 15036 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887297670384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15036/tid=15038] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15038/stat : 15038 (toysat) S 15033 15036 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887219027184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15036/tid=15039] ppid=15033 vsize=1363524 CPUtime=0 cores=1,3,5,7 /proc/15036/task/15039/stat : 15039 (toysat) S 15033 15036 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109236207 1396248576 282627 33554432000 4194304 16246674 140733706393568 139887208553648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1363524 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 15036 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.58 CPU system time (s): 0.495924 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 1363524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.495924 maximum resident set size= 1130508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281893 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= 348 involuntary context switches= 3209 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.03508 second user time and 7.78782 second system time The end
Begin job on node126 at 2016-06-07 06:17:07 IDJOB=4078833 IDBENCH=73869 IDSOLVER=2542 FILE ID=node126/4078833-1465273027 RUNJOBID= node126-1465253620-12854 PBS_JOBID= 19843265 Free space on /tmp= 71716 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12048_4-unsat.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078833-1465273027/watcher-4078833-1465273027 -o /tmp/evaluation-result-4078833-1465273027/solver-4078833-1465273027 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12854 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078833-1465273027.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e20086c85095d65afe65e19d07ad3aeb RANDOM SEED=1432215830 node126.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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: 30346788 kB Buffers: 28476 kB Cached: 118212 kB SwapCached: 2168 kB Active: 1367716 kB Inactive: 74172 kB Active(anon): 1293528 kB Inactive(anon): 4052 kB Active(file): 74188 kB Inactive(file): 70120 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098636 kB Dirty: 19056 kB Writeback: 0 kB AnonPages: 1649056 kB Mapped: 10764 kB Shmem: 0 kB Slab: 596000 kB SReclaimable: 39908 kB SUnreclaim: 556092 kB KernelStack: 1456 kB PageTables: 7316 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1790868 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 350208 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= 71704 MiB End job on node126 at 2016-06-07 06:47:08