| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb |
| MD5SUM | 96d9927730c8b8baae8e5c668115210d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 450588 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 273432 |
| Optimality of the best value was proved | NO |
| Number of variables | 8902 |
| Total number of constraints | 2864 |
| Number of constraints which are clauses | 143 |
| Number of constraints which are cardinality constraints (but not clauses) | 31 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2407 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 526135 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:12:46+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-4101793-1466226766.opb"] 0.00/0.01 c use --random-gen="1798495588 409984231 810547684 327527812 3671989768 3558031620 3915124218 3347500546 3744372026 3060058669 1968585519 3413348699 3861347063 4292287785 891942212 820141733 428597766 27373227 674409902 392415483 3978849247 3639271221 4218257197 2685413596 4211758889 3265589839 2753100228 2296971199 1942960765 1411044470 1223359606 3785317112 3844634789 2415645980 3257349426 1777368104 2059396654 838769999 1464353120 3098483582 4076183567 4041243569 1508552126 1892163946 1874922172 854243551 4050934870 2704745061 3658984144 515736600 2763417137 787526166 3692608936 3130497605 2294226279 4108754587 846490031 1348887178 3172383785 2863420391 2094263855 1282959746 3489627115 508248938 573095554 210047562 29598648 3144490093 2123710075 990485517 2802783491 2693239022 921272446 2329437222 1031717986 4015068053 1501871856 2615154255 7492273 46344004 311941203 116781322 2705846374 829311417 3038011194 521432159 4208171873 2161911254 3027950357 2202518950 2368725644 1366152554 4188240787 3974751293 712530325 873697374 2796698008 3676567711 2839240031 3277884606 1660257006 136496285 1652983475 3000361452 2916159125 3143210957 2594727657 3385020015 21153689 257882178 2105283336 1934911087 1598203761 2251492312 591186363 279808673 1106444588 606729584 3141314580 580651960 1367500890 2178127093 1143467776 64206112 1754336966 248253092 2401312306 646174476 3561401411 2121634358 966086840 2552914678 3134991097 3937394586 913785422 1362719884 2336665401 86700263 2982606436 2416770185 3534621019 3268542963 4046758518 3806101835 3006169637 840333750 1878647668 1292929580 1984147385 2698180017 890064825 235461356 3820411667 2961428126 1343888895 2987664939 50216644 2908230492 565401415 3768057429 2235313068 2306973042 3310072338 2170984042 3103799142 3130210586 900528309 2345860766 1862729682 3753653885 964342975 1654057992 3252691839 368732594 167718449 1884151113 1792440715 3681995292 145631024 1878383736 4281758094 2580140138 646190447 218021268 316587221 1611610911 1975382555 3421869828 3088339550 3228718618 793199919 1153760740 2117526483 3605301098 1954889832 2706199628 1534498057 1366616790 510003555 2202295418 816706387 2413471223 255009936 3608926555 533739827 3093542950 711049897 1040175981 1257246751 987412937 4064703816 2157341094 2432401510 1585089654 1792467395 691635498 552555236 504652054 1371421123 4193411279 1177220130 1565218173 1714639657 2176181727 2720972297 4211923540 2368320612 2778101073 3178490190 807908848 875944554 3516006790 615001992 3819451996 1515670460 1494105779 3358995385 1011581073 1207424002 1830264820 28592075 2698794912 2985339549 3797645469 326895181 884442776 3844219963 1867645808 3129228507 1845211408 560866038 2532365523 1956758000 903995122 4264657729 1666940558 255 362436" option to reproduce the execution 0.09/0.18 c #vars 8902 0.09/0.18 c #constraints 2864 4.98/5.03 c BCD2: Hardening is enabled. 4.98/5.03 c BCD2: BiasedSearch is enabled. 4.98/5.03 c Solving starts ... 4.98/5.03 c ============================[ Search Statistics ]============================ 4.98/5.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.98/5.03 c | | | | Limit GC | Var | Constra 4.98/5.03 c ============================================================================= 4.98/5.03 c 0.0s | 0 | 0 | 0 | 3980 0 | 3330 | 0 5.19/5.29 c 0.2s | 1 | 119 | 100 | 3980 0 | 3330 | 764 5.29/5.40 c 0.4s | 2 | 474 | 250 | 4378 0 | 3331 | 765 5.50/5.58 c 0.6s | 3 | 807 | 475 | 4816 0 | 3331 | 765 5.79/5.86 c 0.8s | 4 | 1194 | 813 | 5298 0 | 3331 | 765 6.19/6.25 c 1.2s | 5 | 1760 | 1320 | 5828 0 | 3331 | 765 6.79/6.87 c 1.8s | 6 | 3505 | 2081 | 7053 0 | 3331 | 765 8.69/8.79 c 3.8s | 7 | 5315 | 3223 | 7759 0 | 3331 | 765 10.79/10.87 c 5.8s | 7 | 9175 | 4823 | 7759 0 | 3331 | 765 11.00/11.08 c 6.1s | 8 | 9371 | 4936 | 8535 0 | 3331 | 765 13.09/13.11 c 8.1s | 8 | 11544 | 6336 | 8535 0 | 3331 | 765 14.30/14.37 c 9.3s | 9 | 13245 | 7506 | 9389 0 | 3331 | 765 16.39/16.41 c 11.4s | 9 | 15659 | 8606 | 9389 0 | 3331 | 765 18.39/18.41 c 13.4s | 9 | 17671 | 9906 | 9389 0 | 3331 | 765 20.49/20.58 c 15.6s | 9 | 19346 | 11206 | 9389 0 | 3331 | 765 20.79/20.88 c 15.8s | 10 | 19516 | 11361 | 10328 0 | 3331 | 765 22.89/22.93 c 17.9s | 10 | 21806 | 12661 | 10328 0 | 3331 | 765 24.99/25.04 c 20.0s | 10 | 24374 | 14161 | 10328 0 | 3331 | 765 27.09/27.12 c 22.1s | 10 | 26852 | 15461 | 10328 1 | 3331 | 765 29.19/29.28 c 24.3s | 10 | 29110 | 16761 | 10328 1 | 3331 | 765 29.89/29.98 c 25.0s | 11 | 29737 | 17144 | 11361 1 | 3331 | 765 32.09/32.10 c 27.1s | 11 | 32664 | 18444 | 11361 1 | 3331 | 765 34.09/34.14 c 29.1s | 11 | 35134 | 19744 | 11361 1 | 3331 | 765 36.29/36.34 c 31.3s | 11 | 37117 | 20944 | 11361 1 | 3331 | 765 38.39/38.47 c 33.4s | 11 | 38537 | 22144 | 11361 1 | 3331 | 765 40.59/40.63 c 35.6s | 11 | 40125 | 23444 | 11361 1 | 3331 | 765 42.69/42.74 c 37.7s | 11 | 41958 | 24844 | 11361 1 | 3331 | 765 44.29/44.30 c 39.3s | 12 | 43211 | 25819 | 12498 1 | 3331 | 765 46.29/46.31 c 41.3s | 12 | 45059 | 27219 | 12498 2 | 3331 | 765 48.39/48.40 c 43.4s | 12 | 47217 | 28919 | 12498 2 | 3331 | 765 50.39/50.49 c 45.5s | 12 | 49391 | 30619 | 12498 2 | 3331 | 765 52.59/52.63 c 47.6s | 12 | 51306 | 32119 | 12498 2 | 3331 | 765 54.68/54.77 c 49.7s | 12 | 52951 | 33419 | 12498 3 | 3331 | 765 56.78/56.85 c 51.8s | 12 | 54605 | 34719 | 12498 3 | 3331 | 765 58.78/58.87 c 53.8s | 12 | 56112 | 35919 | 12498 3 | 3331 | 765 60.78/60.87 c 55.8s | 12 | 57759 | 37219 | 12498 3 | 3331 | 765 62.79/62.89 c 57.9s | 12 | 59553 | 38619 | 13748 3 | 3331 | 765 63.08/63.19 c 58.2s | 13 | 59835 | 38832 | 13748 3 | 3331 | 765 65.28/65.30 c 60.3s | 13 | 61952 | 40432 | 13748 3 | 3331 | 765 67.28/67.36 c 62.3s | 13 | 63858 | 41932 | 13748 4 | 3331 | 765 69.29/69.40 c 64.4s | 13 | 65679 | 43432 | 13748 4 | 3331 | 765 71.49/71.54 c 66.5s | 13 | 67430 | 44832 | 13748 4 | 3331 | 765 73.58/73.61 c 68.6s | 13 | 69208 | 46232 | 13748 4 | 3331 | 765 75.68/75.75 c 70.7s | 13 | 70675 | 47432 | 13748 4 | 3331 | 765 77.68/77.78 c 72.7s | 13 | 72187 | 48632 | 13748 4 | 3331 | 765 79.88/79.95 c 74.9s | 13 | 73958 | 50032 | 13748 4 | 3331 | 765 81.98/82.05 c 77.0s | 13 | 75869 | 51532 | 13748 5 | 3331 | 765 84.08/84.10 c 79.1s | 13 | 77218 | 52632 | 13748 5 | 3331 | 765 86.18/86.23 c 81.2s | 13 | 78663 | 53832 | 13748 5 | 3331 | 765 88.18/88.24 c 83.2s | 13 | 80152 | 55032 | 13748 5 | 3331 | 765 90.28/90.38 c 85.4s | 13 | 81869 | 56432 | 13748 5 | 3331 | 765 92.38/92.47 c 87.4s | 13 | 83538 | 57732 | 13748 5 | 3331 | 765 93.28/93.38 c 88.4s | 14 | 84338 | 58352 | 15123 5 | 3331 | 765 95.38/95.48 c 90.5s | 14 | 86291 | 59852 | 15123 5 | 3331 | 765 100.08/100.18 c 95.2s | 14 | 86955 | 60352 | 15123 6 | 3331 | 765 102.17/102.28 c 97.3s | 14 | 88719 | 61752 | 15123 6 | 3331 | 765 104.37/104.44 c 99.4s | 14 | 90335 | 63052 | 15123 6 | 3331 | 765 106.47/106.56 c 101s | 14 | 92098 | 64452 | 15123 6 | 3331 | 765 108.57/108.63 c 103s | 14 | 93918 | 65852 | 15123 6 | 3331 | 765 110.67/110.72 c 105s | 14 | 95985 | 67452 | 15123 6 | 3331 | 765 112.67/112.80 c 107s | 14 | 97987 | 69052 | 15123 6 | 3331 | 765 114.77/114.86 c 109s | 14 | 99169 | 69952 | 15123 7 | 3331 | 765 116.87/116.97 c 111s | 14 | 100813 | 71252 | 15123 7 | 3331 | 765 118.97/119.01 c 113s | 14 | 102369 | 72452 | 15123 7 | 3331 | 765 121.07/121.13 c 116s | 14 | 103976 | 73752 | 15123 7 | 3331 | 765 123.07/123.16 c 118s | 14 | 105915 | 75252 | 15123 7 | 3331 | 765 125.17/125.25 c 120s | 14 | 107897 | 76852 | 15123 7 | 3331 | 765 127.27/127.33 c 122s | 14 | 109785 | 78352 | 15123 7 | 3331 | 765 129.27/129.37 c 124s | 14 | 111560 | 79752 | 15123 8 | 3331 | 765 131.37/131.49 c 126s | 14 | 113185 | 81052 | 15123 8 | 3331 | 765 133.56/133.65 c 128s | 14 | 115003 | 82452 | 15123 8 | 3331 | 765 135.66/135.72 c 130s | 14 | 116946 | 83952 | 15123 8 | 3331 | 765 137.76/137.84 c 132s | 14 | 118741 | 85452 | 15123 8 | 3331 | 765 139.86/139.92 c 134s | 14 | 120421 | 86852 | 15123 8 | 3331 | 765 140.96/141.03 c 136s | 15 | 121403 | 87632 | 16636 8 | 3331 | 765 143.07/143.17 c 138s | 15 | 123342 | 89132 | 16636 8 | 3331 | 765 145.17/145.23 c 140s | 15 | 125022 | 90432 | 16636 9 | 3331 | 765 147.16/147.29 c 142s | 15 | 126687 | 91732 | 16636 9 | 3331 | 765 149.36/149.47 c 144s | 15 | 128448 | 93232 | 16636 9 | 3331 | 765 151.46/151.55 c 146s | 15 | 129969 | 94532 | 16636 9 | 3331 | 765 153.46/153.57 c 148s | 15 | 131497 | 95832 | 16636 9 | 3331 | 765 155.56/155.63 c 150s | 15 | 133241 | 97232 | 16636 9 | 3331 | 765 157.66/157.72 c 152s | 15 | 134894 | 98532 | 16636 9 | 3331 | 765 159.86/159.91 c 154s | 15 | 136433 | 99732 | 16636 10 | 3331 | 765 163.88/164.00 c 158s | 15 | 137840 | 100832 | 16636 10 | 3331 | 765 165.97/166.00 c 160s | 15 | 139398 | 102032 | 16636 10 | 3331 | 765 167.97/168.03 c 163s | 15 | 141317 | 103532 | 16636 10 | 3331 | 765 169.97/170.04 c 165s | 15 | 143155 | 105032 | 16636 10 | 3331 | 765 172.16/172.20 c 167s | 15 | 144960 | 106432 | 16636 10 | 3331 | 765 174.26/174.34 c 169s | 15 | 146617 | 107732 | 16636 10 | 3331 | 765 176.36/176.44 c 171s | 15 | 148425 | 109132 | 16636 10 | 3331 | 765 178.36/178.45 c 173s | 15 | 150240 | 110632 | 16636 11 | 3331 | 765 180.47/180.52 c 175s | 15 | 152085 | 112032 | 16636 11 | 3331 | 765 182.57/182.63 c 177s | 15 | 153761 | 113432 | 16636 11 | 3331 | 765 184.66/184.70 c 179s | 15 | 155631 | 114932 | 16636 11 | 3331 | 765 189.17/189.30 c 184s | 15 | 156904 | 115932 | 16636 11 | 3331 | 765 192.76/192.85 c 187s | 15 | 158009 | 116832 | 16636 11 | 3331 | 765 194.86/194.90 c 189s | 15 | 159899 | 118332 | 16636 11 | 3331 | 765 198.56/198.69 c 193s | 15 | 160029 | 118432 | 16636 11 | 3331 | 765 200.66/200.74 c 195s | 15 | 161805 | 119832 | 16636 12 | 3331 | 765 202.76/202.85 c 197s | 15 | 163300 | 121032 | 16636 12 | 3331 | 765 204.86/204.96 c 199s | 15 | 164906 | 122332 | 16636 12 | 3331 | 765 206.86/206.97 c 201s | 15 | 166421 | 123532 | 16636 12 | 3331 | 765 208.96/209.03 c 204s | 15 | 168042 | 124832 | 16636 12 | 3331 | 765 210.95/211.05 c 206s | 15 | 169836 | 126232 | 16636 12 | 3331 | 765 213.05/213.17 c 208s | 15 | 171726 | 127732 | 16636 12 | 3331 | 765 215.15/215.29 c 210s | 15 | 173358 | 129032 | 16636 12 | 3331 | 765 217.25/217.30 c 212s | 15 | 175000 | 130332 | 16636 13 | 3331 | 765 219.05/219.10 c 214s | 16 | 176551 | 131552 | 18300 13 | 3331 | 765 222.46/222.59 c 217s | 16 | 177578 | 132352 | 18300 13 | 3331 | 765 224.76/224.84 c 219s | 16 | 178579 | 133152 | 18300 13 | 3331 | 765 226.76/226.87 c 221s | 16 | 180176 | 134452 | 18300 13 | 3331 | 765 228.96/229.02 c 223s | 16 | 181754 | 135752 | 18300 13 | 3331 | 765 231.06/231.14 c 226s | 16 | 183350 | 137052 | 18300 13 | 3331 | 765 233.06/233.15 c 228s | 16 | 184844 | 138252 | 18300 13 | 3331 | 765 235.16/235.22 c 230s | 16 | 186320 | 139452 | 18300 13 | 3331 | 765 237.25/237.32 c 232s | 16 | 187724 | 140552 | 18300 13 | 3331 | 765 239.25/239.34 c 234s | 16 | 188990 | 141552 | 18300 14 | 3331 | 765 241.35/241.43 c 236s | 16 | 190458 | 142752 | 18300 14 | 3331 | 765 246.25/246.39 c 241s | 16 | 191363 | 143452 | 18300 14 | 3331 | 765 248.35/248.46 c 243s | 16 | 193119 | 144852 | 18300 14 | 3331 | 765 250.46/250.55 c 245s | 16 | 194920 | 146252 | 18300 14 | 3331 | 765 252.46/252.58 c 247s | 16 | 196729 | 147652 | 18300 14 | 3331 | 765 254.56/254.62 c 249s | 16 | 198509 | 149152 | 18300 14 | 3331 | 765 256.66/256.70 c 251s | 16 | 200327 | 150552 | 18300 14 | 3331 | 765 258.65/258.75 c 253s | 16 | 202230 | 152052 | 18300 14 | 3331 | 765 260.66/260.79 c 255s | 16 | 204101 | 153552 | 18300 15 | 3331 | 765 262.75/262.87 c 257s | 16 | 205873 | 154952 | 18300 15 | 3331 | 765 264.85/264.95 c 259s | 16 | 207554 | 156252 | 18300 15 | 3331 | 765 266.95/267.03 c 262s | 16 | 209463 | 157752 | 18300 15 | 3331 | 765 268.95/269.06 c 264s | 16 | 211414 | 159252 | 18300 15 | 3331 | 765 271.05/271.20 c 266s | 16 | 213450 | 160852 | 18300 15 | 3331 | 765 273.15/273.29 c 268s | 16 | 215283 | 162352 | 18300 15 | 3331 | 765 275.55/275.60 c 270s | 16 | 216838 | 163552 | 18300 16 | 3331 | 765 277.55/277.61 c 272s | 16 | 218452 | 164752 | 18300 16 | 3331 | 765 279.65/279.74 c 274s | 16 | 220253 | 166152 | 18300 16 | 3331 | 765 281.75/281.83 c 276s | 16 | 221528 | 167152 | 18300 16 | 3331 | 765 283.85/283.95 c 278s | 16 | 222136 | 167652 | 18300 16 | 3331 | 765 286.24/286.34 c 281s | 16 | 222782 | 168152 | 18300 16 | 3331 | 765 288.34/288.47 c 283s | 16 | 224395 | 169352 | 18300 16 | 3331 | 765 290.35/290.50 c 285s | 16 | 225944 | 170552 | 18300 16 | 3331 | 765 292.55/292.66 c 287s | 16 | 227567 | 171852 | 18300 16 | 3331 | 765 294.54/294.66 c 289s | 16 | 229199 | 173052 | 18300 16 | 3331 | 765 296.64/296.78 c 291s | 16 | 230763 | 174252 | 18300 17 | 3331 | 765 298.74/298.87 c 293s | 16 | 232389 | 175452 | 18300 17 | 3331 | 765 300.84/300.99 c 295s | 16 | 233871 | 176552 | 18300 17 | 3331 | 765 303.04/303.12 c 298s | 16 | 235611 | 177852 | 18300 17 | 3331 | 765 305.14/305.28 c 300s | 16 | 237336 | 179152 | 18300 17 | 3331 | 765 307.34/307.42 c 302s | 16 | 239042 | 180452 | 18300 17 | 3331 | 765 309.44/309.55 c 304s | 16 | 240728 | 181752 | 18300 17 | 3331 | 765 311.44/311.57 c 306s | 16 | 242468 | 183052 | 18300 17 | 3331 | 765 313.45/313.58 c 308s | 16 | 244318 | 184452 | 18300 17 | 3331 | 765 315.65/315.71 c 310s | 16 | 246358 | 186052 | 18300 18 | 3331 | 765 317.74/317.81 c 312s | 16 | 247559 | 186952 | 18300 18 | 3331 | 765 319.84/319.90 c 314s | 16 | 249033 | 188052 | 18300 18 | 3331 | 765 321.94/322.06 c 317s | 16 | 250604 | 189252 | 18300 18 | 3331 | 765 324.04/324.19 c 319s | 16 | 252278 | 190452 | 18300 18 | 3331 | 765 326.14/326.23 c 321s | 16 | 253769 | 191552 | 18300 18 | 3331 | 765 328.24/328.31 c 323s | 16 | 255494 | 192852 | 18300 18 | 3331 | 765 330.33/330.46 c 325s | 16 | 257370 | 194252 | 18300 18 | 3331 | 765 332.43/332.53 c 327s | 16 | 259006 | 195452 | 18300 18 | 3331 | 765 335.34/335.41 c 330s | 16 | 259150 | 195552 | 18300 19 | 3331 | 765 337.34/337.42 c 332s | 16 | 260729 | 196752 | 20130 19 | 3331 | 765 338.34/338.45 c 333s | 17 | 261592 | 197432 | 20130 19 | 3331 | 765 340.34/340.47 c 335s | 17 | 263300 | 198732 | 20130 19 | 3331 | 765 344.43/344.58 c 339s | 17 | 264188 | 199432 | 20130 19 | 3331 | 765 361.33/361.46 c 356s | 17 | 264337 | 199532 | 20130 19 | 3331 | 765 363.43/363.55 c 358s | 17 | 265968 | 200632 | 20130 19 | 3331 | 765 365.63/365.71 c 360s | 17 | 267679 | 201832 | 20130 19 | 3331 | 765 367.63/367.73 c 362s | 17 | 269199 | 202932 | 20130 19 | 3331 | 765 369.73/369.88 c 364s | 17 | 271061 | 204332 | 20130 19 | 3331 | 765 371.93/372.01 c 366s | 17 | 272837 | 205732 | 20130 19 | 3331 | 765 373.94/374.05 c 369s | 17 | 274520 | 207032 | 20130 19 | 3331 | 765 376.03/376.12 c 371s | 17 | 276199 | 208332 | 20130 20 | 3331 | 765 378.03/378.18 c 373s | 17 | 277690 | 209532 | 20130 20 | 3331 | 765 380.23/380.37 c 375s | 17 | 279205 | 210632 | 20130 20 | 3331 | 765 382.23/382.39 c 377s | 17 | 280674 | 211732 | 20130 20 | 3331 | 765 384.43/384.52 c 379s | 17 | 282159 | 212832 | 20130 20 | 3331 | 765 386.53/386.67 c 381s | 17 | 283853 | 214032 | 20130 20 | 3331 | 765 388.53/388.68 c 383s | 17 | 285187 | 215032 | 20130 20 | 3331 | 765 390.53/390.69 c 385s | 17 | 286525 | 216032 | 20130 20 | 3331 | 765 392.73/392.85 c 387s | 17 | 287865 | 217032 | 20130 20 | 3331 | 765 394.73/394.87 c 389s | 17 | 289355 | 218132 | 20130 20 | 3331 | 765 396.92/397.07 c 392s | 17 | 290835 | 219232 | 20130 20 | 3331 | 765 399.02/399.14 c 394s | 17 | 292030 | 220132 | 20130 21 | 3331 | 765 401.23/401.31 c 396s | 17 | 293422 | 221132 | 20130 21 | 3331 | 765 406.33/406.40 c 401s | 17 | 294356 | 221832 | 20130 21 | 3331 | 765 408.53/408.64 c 403s | 17 | 294503 | 221932 | 20130 21 | 3331 | 765 410.73/410.80 c 405s | 17 | 296126 | 223032 | 20130 21 | 3331 | 765 412.73/412.86 c 407s | 17 | 297663 | 224132 | 20130 21 | 3331 | 765 414.83/414.99 c 409s | 17 | 299204 | 225232 | 20130 21 | 3331 | 765 417.03/417.18 c 412s | 17 | 300635 | 226332 | 20130 21 | 3331 | 765 419.03/419.18 c 414s | 17 | 301994 | 227332 | 20130 21 | 3331 | 765 421.13/421.22 c 416s | 17 | 303432 | 228332 | 20130 21 | 3331 | 765 423.13/423.26 c 418s | 17 | 304881 | 229432 | 20130 21 | 3331 | 765 425.23/425.38 c 420s | 17 | 306339 | 230532 | 20130 21 | 3331 | 765 427.33/427.41 c 422s | 17 | 307765 | 231532 | 20130 21 | 3331 | 765 429.43/429.50 c 424s | 17 | 308912 | 232432 | 20130 22 | 3331 | 765 431.53/431.60 c 426s | 17 | 310352 | 233532 | 20130 22 | 3331 | 765 433.73/433.81 c 428s | 17 | 311774 | 234632 | 20130 22 | 3331 | 765 435.82/435.91 c 430s | 17 | 313219 | 235632 | 20130 22 | 3331 | 765 437.92/438.05 c 433s | 17 | 314678 | 236732 | 20130 22 | 3331 | 765 441.22/441.35 c 436s | 17 | 316085 | 237832 | 20130 22 | 3331 | 765 443.42/443.51 c 438s | 17 | 317686 | 239032 | 20130 22 | 3331 | 765 445.43/445.57 c 440s | 17 | 319387 | 240332 | 20130 22 | 3331 | 765 447.63/447.71 c 442s | 17 | 321141 | 241732 | 20130 22 | 3331 | 765 449.72/449.87 c 444s | 17 | 322716 | 242932 | 20130 22 | 3331 | 765 451.82/451.96 c 446s | 17 | 324163 | 244032 | 20130 23 | 3331 | 765 453.92/454.05 c 449s | 17 | 325815 | 245332 | 20130 23 | 3331 | 765 455.92/456.06 c 451s | 17 | 327440 | 246632 | 20130 23 | 3331 | 765 458.12/458.25 c 453s | 17 | 329050 | 247932 | 20130 23 | 3331 | 765 460.22/460.35 c 455s | 17 | 330452 | 249032 | 20130 23 | 3331 | 765 462.32/462.49 c 457s | 17 | 331529 | 249832 | 20130 23 | 3331 | 765 464.42/464.53 c 459s | 17 | 332827 | 250832 | 20130 23 | 3331 | 765 466.52/466.65 c 461s | 17 | 334269 | 251932 | 20130 23 | 3331 | 765 468.63/468.72 c 463s | 17 | 335733 | 253032 | 20130 23 | 3331 | 765 470.62/470.73 c 465s | 17 | 337184 | 254132 | 20130 23 | 3331 | 765 472.62/472.79 c 467s | 17 | 338602 | 255232 | 20130 23 | 3331 | 765 474.82/474.91 c 469s | 17 | 339976 | 256232 | 20130 24 | 3331 | 765 476.82/476.97 c 471s | 17 | 341384 | 257232 | 20130 24 | 3331 | 765 487.81/487.98 c 482s | 17 | 342186 | 257832 | 20130 24 | 3331 | 765 491.52/491.64 c 486s | 17 | 342984 | 258432 | 20130 24 | 3331 | 765 493.62/493.73 c 488s | 17 | 344567 | 259532 | 20130 24 | 3331 | 765 495.72/495.83 c 490s | 17 | 345744 | 260432 | 20130 24 | 3331 | 765 497.72/497.84 c 492s | 17 | 347294 | 261632 | 20130 24 | 3331 | 765 499.72/499.87 c 494s | 17 | 348889 | 262832 | 20130 24 | 3331 | 765 501.82/501.99 c 496s | 17 | 350643 | 264232 | 20130 24 | 3331 | 765 504.02/504.14 c 499s | 17 | 352203 | 265432 | 20130 24 | 3331 | 765 506.22/506.31 c 501s | 17 | 353675 | 266532 | 20130 24 | 3331 | 765 508.22/508.39 c 503s | 17 | 354795 | 267432 | 20130 25 | 3331 | 765 510.32/510.49 c 505s | 17 | 355827 | 268232 | 20130 25 | 3331 | 765 512.41/512.60 c 507s | 17 | 357291 | 269332 | 20130 25 | 3331 | 765 514.61/514.70 c 509s | 17 | 358759 | 270432 | 20130 25 | 3331 | 765 516.71/516.80 c 511s | 17 | 360424 | 271632 | 20130 25 | 3331 | 765 518.71/518.83 c 513s | 17 | 362159 | 272932 | 20130 25 | 3331 | 765 520.81/520.99 c 515s | 17 | 363815 | 274232 | 20130 25 | 3331 | 765 523.01/523.12 c 518s | 17 | 365219 | 275332 | 20130 25 | 3331 | 765 525.21/525.32 c 520s | 17 | 366678 | 276432 | 20130 25 | 3331 | 765 527.21/527.39 c 522s | 17 | 368083 | 277532 | 20130 25 | 3331 | 765 529.31/529.43 c 524s | 17 | 369680 | 278732 | 20130 25 | 3331 | 765 531.51/531.60 c 526s | 17 | 371342 | 280032 | 20130 26 | 3331 | 765 533.61/533.77 c 528s | 17 | 373012 | 281332 | 20130 26 | 3331 | 765 535.81/535.94 c 530s | 17 | 374399 | 282432 | 20130 26 | 3331 | 765 537.92/538.07 c 533s | 17 | 375821 | 283532 | 20130 26 | 3331 | 765 540.81/540.94 c 535s | 17 | 376373 | 283932 | 20130 26 | 3331 | 765 543.90/544.02 c 538s | 17 | 376884 | 284332 | 20130 26 | 3331 | 765 545.90/546.04 c 541s | 17 | 378347 | 285332 | 20130 26 | 3331 | 765 547.90/548.06 c 543s | 17 | 379600 | 286232 | 20130 26 | 3331 | 765 550.01/550.14 c 545s | 17 | 380879 | 287132 | 20130 26 | 3331 | 765 552.21/552.33 c 547s | 17 | 382225 | 288132 | 20130 26 | 3331 | 765 554.20/554.34 c 549s | 17 | 383455 | 289032 | 20130 26 | 3331 | 765 556.40/556.55 c 551s | 17 | 384823 | 290032 | 20130 26 | 3331 | 765 558.40/558.59 c 553s | 17 | 386118 | 290932 | 20130 27 | 3331 | 765 560.50/560.62 c 555s | 17 | 387525 | 291932 | 20130 27 | 3331 | 765 562.60/562.75 c 557s | 17 | 388801 | 292832 | 20130 27 | 3331 | 765 564.60/564.76 c 559s | 17 | 390201 | 293832 | 20130 27 | 3331 | 765 566.70/566.87 c 561s | 17 | 391740 | 294932 | 22143 27 | 3331 | 765 568.80/568.99 c 563s | 17 | 393313 | 296032 | 22143 27 | 3331 | 765 569.30/569.41 c 564s | 18 | 393602 | 296252 | 22143 27 | 3331 | 765 571.30/571.43 c 566s | 18 | 395045 | 297252 | 22143 27 | 3331 | 765 573.30/573.47 c 568s | 18 | 396504 | 298252 | 22143 27 | 3331 | 765 575.50/575.62 c 570s | 18 | 398010 | 299352 | 22143 27 | 3331 | 765 578.20/578.39 c 573s | 18 | 398682 | 299852 | 22143 27 | 3331 | 765 580.40/580.51 c 575s | 18 | 400198 | 300952 | 22143 27 | 3331 | 765 582.40/582.53 c 577s | 18 | 401817 | 302152 | 22143 27 | 3331 | 765 584.40/584.56 c 579s | 18 | 403368 | 303252 | 22143 27 | 3331 | 765 586.70/586.80 c 581s | 18 | 404845 | 304352 | 22143 28 | 3331 | 765 588.70/588.89 c 583s | 18 | 406349 | 305452 | 22143 28 | 3331 | 765 590.90/591.03 c 586s | 18 | 407938 | 306652 | 22143 28 | 3331 | 765 602.10/602.23 c 597s | 18 | 409366 | 307652 | 22143 28 | 3331 | 765 604.10/604.28 c 599s | 18 | 411197 | 309052 | 22143 28 | 3331 | 765 606.30/606.40 c 601s | 18 | 413377 | 310752 | 22143 28 | 3331 | 765 608.40/608.54 c 603s | 18 | 415461 | 312252 | 22143 28 | 3331 | 765 610.51/610.66 c 605s | 18 | 417519 | 313852 | 22143 28 | 3331 | 765 612.70/612.82 c 607s | 18 | 419434 | 315352 | 22143 28 | 3331 | 765 614.80/614.90 c 609s | 18 | 421130 | 316652 | 22143 28 | 3331 | 765 616.80/616.96 c 611s | 18 | 422916 | 318052 | 22143 29 | 3331 | 765 618.80/618.97 c 613s | 18 | 424719 | 319452 | 22143 29 | 3331 | 765 620.80/620.98 c 615s | 18 | 426537 | 320852 | 22143 29 | 3331 | 765 622.90/623.06 c 618s | 18 | 428552 | 322352 | 22143 29 | 3331 | 765 625.00/625.14 c 620s | 18 | 430620 | 323952 | 22143 29 | 3331 | 765 627.10/627.28 c 622s | 18 | 432309 | 325252 | 22143 29 | 3331 | 765 629.20/629.35 c 624s | 18 | 434021 | 326552 | 22143 29 | 3331 | 765 631.30/631.46 c 626s | 18 | 435725 | 327852 | 22143 29 | 3331 | 765 633.39/633.52 c 628s | 18 | 437266 | 329052 | 22143 29 | 3331 | 765 636.59/636.70 c 631s | 18 | 438596 | 330052 | 22143 30 | 3331 | 765 638.59/638.71 c 633s | 18 | 439666 | 330852 | 22143 30 | 3331 | 765 640.59/640.76 c 635s | 18 | 441417 | 332152 | 22143 30 | 3331 | 765 642.69/642.82 c 637s | 18 | 442879 | 333252 | 22143 30 | 3331 | 765 644.69/644.89 c 639s | 18 | 444408 | 334452 | 22143 30 | 3331 | 765 646.80/646.97 c 641s | 18 | 446034 | 335652 | 22143 30 | 3331 | 765 648.90/649.05 c 644s | 18 | 447741 | 336952 | 22143 30 | 3331 | 765 650.89/651.07 c 646s | 18 | 449327 | 338152 | 22143 30 | 3331 | 765 652.99/653.13 c 648s | 18 | 451145 | 339552 | 22143 30 | 3331 | 765 654.99/655.17 c 650s | 18 | 452923 | 340952 | 22143 30 | 3331 | 765 657.09/657.24 c 652s | 18 | 454597 | 342252 | 22143 30 | 3331 | 765 659.19/659.33 c 654s | 18 | 456275 | 343552 | 22143 31 | 3331 | 765 661.29/661.44 c 656s | 18 | 457968 | 344852 | 22143 31 | 3331 | 765 663.29/663.48 c 658s | 18 | 459490 | 346052 | 22143 31 | 3331 | 765 665.39/665.55 c 660s | 18 | 460955 | 347152 | 22143 31 | 3331 | 765 667.49/667.61 c 662s | 18 | 462632 | 348352 | 22143 31 | 3331 | 765 669.49/669.65 c 664s | 18 | 464486 | 349752 | 22143 31 | 3331 | 765 671.59/671.78 c 666s | 18 | 466516 | 351252 | 22143 31 | 3331 | 765 673.69/673.86 c 668s | 18 | 468420 | 352652 | 22143 31 | 3331 | 765 675.79/675.95 c 670s | 18 | 470286 | 354052 | 22143 31 | 3331 | 765 677.89/678.09 c 673s | 18 | 472060 | 355352 | 22143 31 | 3331 | 765 680.08/680.20 c 675s | 18 | 473958 | 356852 | 22143 32 | 3331 | 765 682.08/682.21 c 677s | 18 | 475782 | 358252 | 22143 32 | 3331 | 765 684.19/684.38 c 679s | 18 | 476594 | 358852 | 22143 32 | 3331 | 765 705.48/705.66 c 700s | 18 | 477030 | 359152 | 22143 32 | 3331 | 765 707.68/707.84 c 702s | 18 | 478579 | 360352 | 22143 32 | 3331 | 765 709.68/709.88 c 704s | 18 | 480016 | 361452 | 22143 32 | 3331 | 765 711.78/711.91 c 706s | 18 | 481464 | 362552 | 22143 32 | 3331 | 765 713.88/714.07 c 709s | 18 | 482994 | 363752 | 22143 32 | 3331 | 765 715.98/716.12 c 711s | 18 | 484594 | 364952 | 22143 32 | 3331 | 765 718.08/718.23 c 713s | 18 | 486164 | 366152 | 22143 32 | 3331 | 765 720.18/720.33 c 715s | 18 | 487709 | 367352 | 22143 32 | 3331 | 765 722.18/722.35 c 717s | 18 | 489108 | 368452 | 22143 33 | 3331 | 765 724.58/724.76 c 719s | 18 | 490279 | 369352 | 22143 33 | 3331 | 765 726.58/726.79 c 721s | 18 | 491823 | 370552 | 22143 33 | 3331 | 765 728.68/728.80 c 723s | 18 | 493363 | 371752 | 22143 33 | 3331 | 765 730.68/730.85 c 725s | 18 | 494980 | 372952 | 22143 33 | 3331 | 765 732.78/732.98 c 727s | 18 | 496659 | 374252 | 22143 33 | 3331 | 765 734.98/735.10 c 730s | 18 | 498355 | 375552 | 22143 33 | 3331 | 765 736.99/737.18 c 732s | 18 | 500050 | 376852 | 22143 33 | 3331 | 765 746.67/746.84 c 741s | 18 | 500430 | 377152 | 22143 33 | 3331 | 765 748.77/748.92 c 743s | 18 | 501803 | 378252 | 22143 33 | 3331 | 765 750.77/750.95 c 745s | 18 | 503267 | 379352 | 22143 33 | 3331 | 765 752.77/752.98 c 747s | 18 | 504698 | 380452 | 22143 33 | 3331 | 765 754.87/755.08 c 750s | 18 | 506115 | 381552 | 22143 34 | 3331 | 765 756.87/757.09 c 752s | 18 | 507563 | 382652 | 22143 34 | 3331 | 765 759.07/759.22 c 754s | 18 | 509032 | 383752 | 22143 34 | 3331 | 765 762.28/762.45 c 757s | 18 | 510079 | 384552 | 22143 34 | 3331 | 765 769.88/770.09 c 765s | 18 | 510223 | 384652 | 22143 34 | 3331 | 765 772.08/772.21 c 767s | 18 | 511925 | 385952 | 22143 34 | 3331 | 765 774.07/774.22 c 769s | 18 | 513805 | 387352 | 22143 34 | 3331 | 765 776.07/776.23 c 771s | 18 | 515798 | 388852 | 22143 34 | 3331 | 765 778.07/778.28 c 773s | 18 | 517756 | 390352 | 22143 34 | 3331 | 765 780.17/780.32 c 775s | 18 | 519606 | 391852 | 22143 34 | 3331 | 765 782.17/782.34 c 777s | 18 | 521201 | 393052 | 22143 34 | 3331 | 765 784.27/784.44 c 779s | 18 | 523019 | 394452 | 22143 35 | 3331 | 765 786.26/786.48 c 781s | 18 | 524920 | 395852 | 22143 35 | 3331 | 765 788.36/788.56 c 783s | 18 | 526678 | 397152 | 22143 35 | 3331 | 765 790.56/790.70 c 785s | 18 | 528454 | 398452 | 22143 35 | 3331 | 765 792.66/792.82 c 787s | 18 | 530173 | 399752 | 22143 35 | 3331 | 765 794.76/794.96 c 789s | 18 | 531991 | 401052 | 22143 35 | 3331 | 765 796.86/797.02 c 791s | 18 | 533667 | 402252 | 22143 35 | 3331 | 765 798.96/799.16 c 794s | 18 | 535572 | 403752 | 22143 35 | 3331 | 765 801.06/801.21 c 796s | 18 | 537108 | 404952 | 22143 35 | 3331 | 765 803.06/803.22 c 798s | 18 | 538754 | 406252 | 22143 35 | 3331 | 765 805.26/805.45 c 800s | 18 | 540079 | 407252 | 22143 36 | 3331 | 765 807.36/807.50 c 802s | 18 | 541591 | 408352 | 22143 36 | 3331 | 765 809.46/809.67 c 804s | 18 | 543046 | 409452 | 22143 36 | 3331 | 765 811.66/811.80 c 806s | 18 | 544632 | 410552 | 22143 36 | 3331 | 765 813.65/813.81 c 808s | 18 | 545994 | 411552 | 22143 36 | 3331 | 765 815.65/815.87 c 810s | 18 | 547437 | 412652 | 22143 36 | 3331 | 765 817.85/818.05 c 813s | 18 | 549000 | 413852 | 22143 36 | 3331 | 765 820.05/820.25 c 815s | 18 | 550574 | 415052 | 22143 36 | 3331 | 765 822.25/822.44 c 817s | 18 | 551957 | 416052 | 22143 36 | 3331 | 765 824.35/824.52 c 819s | 18 | 553487 | 417152 | 22143 36 | 3331 | 765 826.35/826.57 c 821s | 18 | 555164 | 418452 | 22143 36 | 3331 | 765 828.55/828.70 c 823s | 18 | 556903 | 419752 | 22143 37 | 3331 | 765 830.65/830.81 c 825s | 18 | 559041 | 421352 | 22143 37 | 3331 | 765 832.65/832.86 c 827s | 18 | 560742 | 422652 | 22143 37 | 3331 | 765 834.75/835.00 c 829s | 18 | 562604 | 424052 | 22143 37 | 3331 | 765 836.84/837.07 c 832s | 18 | 564344 | 425352 | 22143 37 | 3331 | 765 839.04/839.22 c 834s | 18 | 566199 | 426752 | 22143 37 | 3331 | 765 841.14/841.32 c 836s | 18 | 568177 | 428252 | 22143 37 | 3331 | 765 843.14/843.38 c 838s | 18 | 569746 | 429452 | 22143 37 | 3331 | 765 845.24/845.47 c 840s | 18 | 571453 | 430752 | 22143 37 | 3331 | 765 847.44/847.66 c 842s | 18 | 573026 | 432052 | 22143 38 | 3331 | 765 849.54/849.73 c 844s | 18 | 574824 | 433452 | 22143 38 | 3331 | 765 851.54/851.78 c 846s | 18 | 576528 | 434752 | 22143 38 | 3331 | 765 853.64/853.84 c 848s | 18 | 577695 | 435652 | 22143 38 | 3331 | 765 866.53/866.70 c 861s | 18 | 579279 | 436852 | 22143 38 | 3331 | 765 868.63/868.83 c 863s | 18 | 581241 | 438352 | 22143 38 | 3331 | 765 870.63/870.89 c 865s | 18 | 582976 | 439652 | 22143 38 | 3331 | 765 872.73/872.90 c 867s | 18 | 584599 | 440852 | 22143 38 | 3331 | 765 874.83/875.04 c 870s | 18 | 586323 | 442152 | 24358 38 | 3331 | 765 876.93/877.13 c 872s | 18 | 587762 | 443252 | 24358 38 | 3331 | 765 879.03/879.24 c 874s | 18 | 589358 | 444452 | 24358 38 | 3331 | 765 879.13/879.30 c 874s | 19 | 589400 | 444482 | 24358 38 | 3331 | 765 881.23/881.43 c 876s | 19 | 590965 | 445582 | 24358 38 | 3331 | 765 883.33/883.50 c 878s | 19 | 592655 | 446882 | 24358 38 | 3331 | 765 885.33/885.50 c 880s | 19 | 594152 | 447982 | 24358 39 | 3331 | 765 887.32/887.57 c 882s | 19 | 595917 | 449282 | 24358 39 | 3331 | 765 889.42/889.67 c 884s | 19 | 597870 | 450782 | 24358 39 | 3331 | 765 897.01/897.21 c 892s | 19 | 598142 | 450982 | 24358 39 | 3331 | 765 899.11/899.32 c 894s | 19 | 599743 | 452182 | 24358 39 | 3331 | 765 901.31/901.50 c 896s | 19 | 601361 | 453382 | 24358 39 | 3331 | 765 903.31/903.53 c 898s | 19 | 602826 | 454482 | 24358 39 | 3331 | 765 905.41/905.63 c 900s | 19 | 604518 | 455782 | 24358 39 | 3331 | 765 907.41/907.67 c 902s | 19 | 606108 | 456982 | 24358 39 | 3331 | 765 909.51/909.80 c 904s | 19 | 607674 | 458182 | 24358 39 | 3331 | 765 911.61/911.86 c 906s | 19 | 609380 | 459482 | 24358 39 | 3331 | 765 913.71/913.98 c 908s | 19 | 611068 | 460782 | 24358 39 | 3331 | 765 915.81/916.07 c 911s | 19 | 612542 | 461882 | 24358 40 | 3331 | 765 917.90/918.12 c 913s | 19 | 614268 | 463182 | 24358 40 | 3331 | 765 921.11/921.33 c 916s | 19 | 614795 | 463582 | 24358 40 | 3331 | 765 923.21/923.44 c 918s | 19 | 615996 | 464482 | 24358 40 | 3331 | 765 925.21/925.45 c 920s | 19 | 617476 | 465582 | 24358 40 | 3331 | 765 927.30/927.55 c 922s | 19 | 619074 | 466782 | 24358 40 | 3331 | 765 929.31/929.60 c 924s | 19 | 620662 | 467982 | 24358 40 | 3331 | 765 931.51/931.75 c 926s | 19 | 622155 | 469082 | 24358 40 | 3331 | 765 933.50/933.79 c 928s | 19 | 623653 | 470182 | 24358 40 | 3331 | 765 935.60/935.81 c 930s | 19 | 625132 | 471282 | 24358 40 | 3331 | 765 937.70/937.95 c 932s | 19 | 626613 | 472382 | 24358 40 | 3331 | 765 939.70/940.00 c 934s | 19 | 628099 | 473482 | 24358 40 | 3331 | 765 941.80/942.03 c 937s | 19 | 629666 | 474682 | 24358 40 | 3331 | 765 943.90/944.14 c 939s | 19 | 631241 | 475882 | 24358 41 | 3331 | 765 945.90/946.19 c 941s | 19 | 632879 | 477182 | 24358 41 | 3331 | 765 948.00/948.29 c 943s | 19 | 633661 | 477782 | 24358 41 | 3331 | 765 950.10/950.32 c 945s | 19 | 635312 | 479082 | 24358 41 | 3331 | 765 952.10/952.38 c 947s | 19 | 636927 | 480282 | 24358 41 | 3331 | 765 954.30/954.51 c 949s | 19 | 638506 | 481482 | 24358 41 | 3331 | 765 956.39/956.63 c 951s | 19 | 640170 | 482782 | 24358 41 | 3331 | 765 958.49/958.79 c 953s | 19 | 641710 | 483982 | 24358 41 | 3331 | 765 968.29/968.51 c 963s | 19 | 641969 | 484182 | 24358 41 | 3331 | 765 976.29/976.51 c 971s | 19 | 642354 | 484482 | 24358 41 | 3331 | 765 978.29/978.57 c 973s | 19 | 643681 | 485482 | 24358 41 | 3331 | 765 980.49/980.73 c 975s | 19 | 645172 | 486582 | 24358 41 | 3331 | 765 982.49/982.75 c 977s | 19 | 646453 | 487582 | 24358 41 | 3331 | 765 984.69/984.99 c 979s | 19 | 647908 | 488682 | 24358 42 | 3331 | 765 986.79/987.09 c 982s | 19 | 648716 | 489282 | 24358 42 | 3331 | 765 988.89/989.11 c 984s | 19 | 650095 | 490282 | 24358 42 | 3331 | 765 990.99/991.22 c 986s | 19 | 651559 | 491382 | 24358 42 | 3331 | 765 992.99/993.26 c 988s | 19 | 652908 | 492382 | 24358 42 | 3331 | 765 995.09/995.34 c 990s | 19 | 654205 | 493382 | 24358 42 | 3331 | 765 997.19/997.44 c 992s | 19 | 655546 | 494382 | 24358 42 | 3331 | 765 999.19/999.44 c 994s | 19 | 656818 | 495382 | 24358 42 | 3331 | 765 1001.28/1001.55 c 996s | 19 | 658056 | 496382 | 24358 42 | 3331 | 765 1004.10/1004.31 c 999s | 19 | 658172 | 496482 | 24358 42 | 3331 | 765 1014.69/1014.92 c 1009s | 19 | 658307 | 496582 | 24358 42 | 3331 | 765 1016.69/1016.92 c 1011s | 19 | 659938 | 497782 | 24358 42 | 3331 | 765 1018.69/1018.97 c 1013s | 19 | 661429 | 498882 | 24358 42 | 3331 | 765 1020.78/1021.08 c 1016s | 19 | 663037 | 500082 | 24358 42 | 3331 | 765 1022.79/1023.09 c 1018s | 19 | 664532 | 501182 | 24358 42 | 3331 | 765 1024.88/1025.20 c 1020s | 19 | 666101 | 502382 | 24358 42 | 3331 | 765 1026.98/1027.27 c 1022s | 19 | 667146 | 503182 | 24358 43 | 3331 | 765 1029.18/1029.43 c 1024s | 19 | 668328 | 504082 | 24358 43 | 3331 | 765 1031.28/1031.55 c 1026s | 19 | 669831 | 505182 | 24358 43 | 3331 | 765 1033.38/1033.61 c 1028s | 19 | 671226 | 506282 | 24358 43 | 3331 | 765 1035.48/1035.76 c 1030s | 19 | 672806 | 507482 | 24358 43 | 3331 | 765 1037.48/1037.78 c 1032s | 19 | 674288 | 508582 | 24358 43 | 3331 | 765 1039.68/1039.91 c 1034s | 19 | 676038 | 509882 | 24358 43 | 3331 | 765 1041.77/1042.05 c 1037s | 19 | 677692 | 511082 | 24358 43 | 3331 | 765 1043.87/1044.14 c 1039s | 19 | 679183 | 512182 | 24358 43 | 3331 | 765 1046.07/1046.30 c 1041s | 19 | 680820 | 513382 | 24358 43 | 3331 | 765 1048.08/1048.37 c 1043s | 19 | 682333 | 514482 | 24358 43 | 3331 | 765 1050.07/1050.37 c 1045s | 19 | 683955 | 515682 | 24358 43 | 3331 | 765 1052.17/1052.46 c 1047s | 19 | 685257 | 516682 | 24358 44 | 3331 | 765 1054.27/1054.57 c 1049s | 19 | 687038 | 517982 | 24358 44 | 3331 | 765 1056.76/1057.00 c 1051s | 19 | 687323 | 518182 | 24358 44 | 3331 | 765 1058.76/1059.09 c 1054s | 19 | 689168 | 519582 | 24358 44 | 3331 | 765 1060.86/1061.13 c 1056s | 19 | 690822 | 520782 | 24358 44 | 3331 | 765 1062.96/1063.25 c 1058s | 19 | 692288 | 521882 | 24358 44 | 3331 | 765 1064.96/1065.27 c 1060s | 19 | 693798 | 522982 | 24358 44 | 3331 | 765 1067.16/1067.40 c 1062s | 19 | 695530 | 524282 | 24358 44 | 3331 | 765 1069.26/1069.56 c 1064s | 19 | 697196 | 525582 | 24358 44 | 3331 | 765 1071.36/1071.69 c 1066s | 19 | 698977 | 526982 | 24358 44 | 3331 | 765 1073.56/1073.88 c 1068s | 19 | 700516 | 528182 | 24358 44 | 3331 | 765 1075.67/1075.94 c 1070s | 19 | 701927 | 529182 | 24358 44 | 3331 | 765 1077.66/1078.00 c 1072s | 19 | 703249 | 530182 | 24358 44 | 3331 | 765 1079.86/1080.14 c 1075s | 19 | 704322 | 530982 | 24358 45 | 3331 | 765 1081.96/1082.29 c 1077s | 19 | 705573 | 531882 | 24358 45 | 3331 | 765 1083.96/1084.29 c 1079s | 19 | 707036 | 532982 | 24358 45 | 3331 | 765 1086.16/1086.41 c 1081s | 19 | 708481 | 533982 | 24358 45 | 3331 | 765 1101.26/1101.55 c 1096s | 19 | 708855 | 534282 | 24358 45 | 3331 | 765 1106.75/1107.00 c 1101s | 19 | 709806 | 534982 | 24358 45 | 3331 | 765 1108.75/1109.04 c 1104s | 19 | 711391 | 536082 | 24358 45 | 3331 | 765 1110.76/1111.08 c 1106s | 19 | 712944 | 537182 | 24358 45 | 3331 | 765 1112.85/1113.15 c 1108s | 19 | 713784 | 537782 | 24358 45 | 3331 | 765 1114.85/1115.17 c 1110s | 19 | 715384 | 538882 | 24358 45 | 3331 | 765 1116.95/1117.29 c 1112s | 19 | 717231 | 540182 | 24358 45 | 3331 | 765 1119.05/1119.34 c 1114s | 19 | 718944 | 541382 | 24358 45 | 3331 | 765 1121.15/1121.44 c 1116s | 19 | 720495 | 542482 | 24358 45 | 3331 | 765 1123.35/1123.64 c 1118s | 19 | 722103 | 543582 | 24358 45 | 3331 | 765 1125.55/1125.84 c 1120s | 19 | 723472 | 544582 | 24358 46 | 3331 | 765 1128.05/1128.38 c 1123s | 19 | 724759 | 545482 | 24358 46 | 3331 | 765 1130.25/1130.51 c 1125s | 19 | 726255 | 546582 | 24358 46 | 3331 | 765 1132.35/1132.60 c 1127s | 19 | 727862 | 547782 | 24358 46 | 3331 | 765 1134.35/1134.67 c 1129s | 19 | 729377 | 548882 | 24358 46 | 3331 | 765 1136.44/1136.78 c 1131s | 19 | 730913 | 549982 | 24358 46 | 3331 | 765 1138.44/1138.78 c 1133s | 19 | 732488 | 551082 | 24358 46 | 3331 | 765 1140.64/1140.91 c 1135s | 19 | 734145 | 552282 | 24358 46 | 3331 | 765 1142.65/1142.92 c 1137s | 19 | 735785 | 553382 | 24358 46 | 3331 | 765 1144.74/1145.02 c 1139s | 19 | 737373 | 554582 | 24358 46 | 3331 | 765 1146.84/1147.15 c 1142s | 19 | 739096 | 555782 | 24358 46 | 3331 | 765 1148.84/1149.16 c 1144s | 19 | 740695 | 556982 | 24358 46 | 3331 | 765 1150.84/1151.18 c 1146s | 19 | 742203 | 558082 | 24358 47 | 3331 | 765 1152.94/1153.22 c 1148s | 19 | 743753 | 559182 | 24358 47 | 3331 | 765 1159.25/1159.57 c 1154s | 19 | 744435 | 559682 | 24358 47 | 3331 | 765 1161.45/1161.70 c 1156s | 19 | 746107 | 560882 | 24358 47 | 3331 | 765 1163.44/1163.72 c 1158s | 19 | 747854 | 562182 | 24358 47 | 3331 | 765 1165.54/1165.81 c 1160s | 19 | 749500 | 563382 | 24358 47 | 3331 | 765 1170.73/1171.08 c 1166s | 19 | 750072 | 563782 | 24358 47 | 3331 | 765 1172.73/1173.09 c 1168s | 19 | 751604 | 564882 | 24358 47 | 3331 | 765 1174.93/1175.21 c 1170s | 19 | 753350 | 566082 | 24358 47 | 3331 | 765 1176.93/1177.28 c 1172s | 19 | 755131 | 567382 | 24358 47 | 3331 | 765 1178.93/1179.29 c 1174s | 19 | 756743 | 568582 | 24358 47 | 3331 | 765 1181.13/1181.41 c 1176s | 19 | 758455 | 569882 | 24358 47 | 3331 | 765 1183.13/1183.48 c 1178s | 19 | 760018 | 571082 | 24358 47 | 3331 | 765 1185.33/1185.61 c 1180s | 19 | 761432 | 572182 | 24358 48 | 3331 | 765 1187.42/1187.70 c 1182s | 19 | 762963 | 573282 | 24358 48 | 3331 | 765 1189.52/1189.87 c 1184s | 19 | 764701 | 574482 | 24358 48 | 3331 | 765 1191.62/1191.95 c 1186s | 19 | 766405 | 575682 | 24358 48 | 3331 | 765 1193.62/1193.99 c 1188s | 19 | 768078 | 576882 | 24358 48 | 3331 | 765 1195.72/1196.08 c 1191s | 19 | 769607 | 577982 | 24358 48 | 3331 | 765 1197.82/1198.18 c 1193s | 19 | 771015 | 578982 | 24358 48 | 3331 | 765 1199.93/1200.21 c 1195s | 19 | 772266 | 579882 | 24358 48 | 3331 | 765 1201.93/1202.25 c 1197s | 19 | 773643 | 580882 | 24358 48 | 3331 | 765 1204.03/1204.39 c 1199s | 19 | 775514 | 582282 | 24358 48 | 3331 | 765 1206.23/1206.53 c 1201s | 19 | 777231 | 583482 | 24358 48 | 3331 | 765 1208.32/1208.66 c 1203s | 19 | 778913 | 584682 | 24358 48 | 3331 | 765 1210.42/1210.73 c 1205s | 19 | 780472 | 585782 | 24358 49 | 3331 | 765 1212.42/1212.73 c 1207s | 19 | 781983 | 586882 | 24358 49 | 3331 | 765 1214.52/1214.82 c 1209s | 19 | 783679 | 588182 | 24358 49 | 3331 | 765 1216.62/1216.95 c 1211s | 19 | 785376 | 589382 | 24358 49 | 3331 | 765 1218.82/1219.12 c 1214s | 19 | 786617 | 590282 | 24358 49 | 3331 | 765 1220.83/1221.13 c 1216s | 19 | 788356 | 591582 | 24358 49 | 3331 | 765 1222.93/1223.22 c 1218s | 19 | 790171 | 592982 | 24358 49 | 3331 | 765 1232.93/1233.27 c 1228s | 19 | 790849 | 593482 | 24358 49 | 3331 | 765 1235.03/1235.38 c 1230s | 19 | 792717 | 594882 | 24358 49 | 3331 | 765 1237.23/1237.51 c 1232s | 19 | 794667 | 596382 | 24358 49 | 3331 | 765 1239.22/1239.56 c 1234s | 19 | 796402 | 597682 | 24358 49 | 3331 | 765 1241.32/1241.65 c 1236s | 19 | 798194 | 598982 | 24358 49 | 3331 | 765 1243.42/1243.71 c 1238s | 19 | 799339 | 599782 | 24358 50 | 3331 | 765 1245.52/1245.81 c 1240s | 19 | 801221 | 601182 | 24358 50 | 3331 | 765 1247.52/1247.86 c 1242s | 19 | 803038 | 602482 | 24358 50 | 3331 | 765 1249.72/1250.00 c 1244s | 19 | 805008 | 603882 | 24358 50 | 3331 | 765 1251.71/1252.02 c 1246s | 19 | 806799 | 605182 | 24358 50 | 3331 | 765 1253.72/1254.05 c 1249s | 19 | 808648 | 606482 | 24358 50 | 3331 | 765 1255.71/1256.07 c 1251s | 19 | 810423 | 607782 | 24358 50 | 3331 | 765 1257.81/1258.16 c 1253s | 19 | 812187 | 609082 | 24358 50 | 3331 | 765 1260.01/1260.36 c 1255s | 19 | 813888 | 610282 | 24358 50 | 3331 | 765 1262.11/1262.44 c 1257s | 19 | 815398 | 611382 | 24358 50 | 3331 | 765 1264.11/1264.48 c 1259s | 19 | 816813 | 612382 | 24358 50 | 3331 | 765 1266.21/1266.53 c 1261s | 19 | 818160 | 613382 | 24358 50 | 3331 | 765 1268.31/1268.65 c 1263s | 19 | 819383 | 614282 | 24358 51 | 3331 | 765 1270.31/1270.68 c 1265s | 19 | 821068 | 615482 | 24358 51 | 3331 | 765 1272.41/1272.72 c 1267s | 19 | 822639 | 616582 | 24358 51 | 3331 | 765 1274.51/1274.87 c 1269s | 19 | 824272 | 617782 | 24358 51 | 3331 | 765 1276.61/1276.96 c 1271s | 19 | 825917 | 618982 | 24358 51 | 3331 | 765 1283.30/1283.63 c 1278s | 19 | 826868 | 619682 | 24358 51 | 3331 | 765 1285.40/1285.74 c 1280s | 19 | 828362 | 620782 | 24358 51 | 3331 | 765 1287.50/1287.89 c 1282s | 19 | 829817 | 621882 | 24358 51 | 3331 | 765 1289.70/1290.00 c 1284s | 19 | 831206 | 622882 | 24358 51 | 3331 | 765 1291.70/1292.04 c 1287s | 19 | 832520 | 623882 | 24358 51 | 3331 | 765 1293.70/1294.08 c 1289s | 19 | 833867 | 624882 | 24358 51 | 3331 | 765 1295.90/1296.24 c 1291s | 19 | 835250 | 625882 | 24358 51 | 3331 | 765 1298.00/1298.32 c 1293s | 19 | 836582 | 626882 | 24358 51 | 3331 | 765 1300.20/1300.58 c 1295s | 19 | 837790 | 627782 | 24358 52 | 3331 | 765 1303.49/1303.81 c 1298s | 19 | 839043 | 628682 | 24358 52 | 3331 | 765 1305.59/1305.91 c 1300s | 19 | 840729 | 629982 | 24358 52 | 3331 | 765 1314.30/1314.65 c 1309s | 19 | 841272 | 630382 | 24358 52 | 3331 | 765 1316.29/1316.69 c 1311s | 19 | 843272 | 631982 | 24358 52 | 3331 | 765 1318.39/1318.71 c 1313s | 19 | 845049 | 633382 | 24358 52 | 3331 | 765 1320.49/1320.81 c 1315s | 19 | 846978 | 634882 | 24358 52 | 3331 | 765 1322.59/1322.98 c 1317s | 19 | 848666 | 636182 | 24358 52 | 3331 | 765 1324.79/1325.12 c 1320s | 19 | 850328 | 637482 | 24358 52 | 3331 | 765 1326.89/1327.24 c 1322s | 19 | 851908 | 638682 | 24358 52 | 3331 | 765 1328.89/1329.28 c 1324s | 19 | 853779 | 640082 | 24358 52 | 3331 | 765 1330.98/1331.33 c 1326s | 19 | 855348 | 641282 | 24358 53 | 3331 | 765 1333.08/1333.46 c 1328s | 19 | 857028 | 642582 | 24358 53 | 3331 | 765 1336.79/1337.16 c 1332s | 19 | 858681 | 643882 | 24358 53 | 3331 | 765 1338.89/1339.21 c 1334s | 19 | 860344 | 645182 | 24358 53 | 3331 | 765 1340.89/1341.26 c 1336s | 19 | 862091 | 646582 | 24358 53 | 3331 | 765 1342.99/1343.32 c 1338s | 19 | 863757 | 647882 | 24358 53 | 3331 | 765 1345.00/1345.33 c 1340s | 19 | 865515 | 649282 | 24358 53 | 3331 | 765 1347.09/1347.41 c 1342s | 19 | 867140 | 650582 | 24358 53 | 3331 | 765 1349.09/1349.48 c 1344s | 19 | 868741 | 651882 | 24358 53 | 3331 | 765 1351.19/1351.58 c 1346s | 19 | 870500 | 653282 | 24358 53 | 3331 | 765 1353.29/1353.63 c 1348s | 19 | 871866 | 654382 | 24358 53 | 3331 | 765 1355.39/1355.80 c 1350s | 19 | 872909 | 655182 | 24358 54 | 3331 | 765 1357.69/1358.03 c 1352s | 19 | 874414 | 656382 | 24358 54 | 3331 | 765 1365.08/1365.46 c 1360s | 19 | 875685 | 657382 | 24358 54 | 3331 | 765 1367.18/1367.54 c 1362s | 19 | 877193 | 658582 | 24358 54 | 3331 | 765 1369.18/1369.54 c 1364s | 19 | 878544 | 659682 | 24358 54 | 3331 | 765 1371.28/1371.69 c 1366s | 19 | 880082 | 660882 | 24358 54 | 3331 | 765 1373.48/1373.80 c 1368s | 19 | 881653 | 662082 | 24358 54 | 3331 | 765 1375.48/1375.87 c 1370s | 19 | 883238 | 663282 | 26794 54 | 3331 | 765 1377.57/1377.99 c 1372s | 19 | 884984 | 664682 | 26794 54 | 3331 | 765 1379.77/1380.13 c 1375s | 19 | 886846 | 666182 | 26794 54 | 3331 | 765 1380.77/1381.18 c 1376s | 20 | 887670 | 666827 | 26794 54 | 3331 | 765 1390.47/1390.89 c 1385s | 20 | 889091 | 667927 | 26794 54 | 3331 | 765 1392.58/1392.97 c 1387s | 20 | 889209 | 668027 | 26794 54 | 3331 | 765 1394.78/1395.12 c 1390s | 20 | 890856 | 669327 | 26794 54 | 3331 | 765 1396.78/1397.13 c 1392s | 20 | 892389 | 670527 | 26794 54 | 3331 | 765 1398.88/1399.27 c 1394s | 20 | 893948 | 671727 | 26794 55 | 3331 | 765 1400.98/1401.30 c 1396s | 20 | 894740 | 672327 | 26794 55 | 3331 | 765 1402.98/1403.39 c 1398s | 20 | 896152 | 673427 | 26794 55 | 3331 | 765 1405.18/1405.52 c 1400s | 20 | 897719 | 674627 | 26794 55 | 3331 | 765 1407.18/1407.55 c 1402s | 20 | 899098 | 675727 | 26794 55 | 3331 | 765 1409.18/1409.56 c 1404s | 20 | 900367 | 676727 | 26794 55 | 3331 | 765 1411.67/1412.03 c 1407s | 20 | 900772 | 677027 | 26794 55 | 3331 | 765 1413.67/1414.03 c 1409s | 20 | 902696 | 678527 | 26794 55 | 3331 | 765 1415.67/1416.06 c 1411s | 20 | 904792 | 680227 | 26794 55 | 3331 | 765 1417.77/1418.17 c 1413s | 20 | 906836 | 681827 | 26794 55 | 3331 | 765 1419.88/1420.29 c 1415s | 20 | 908987 | 683527 | 26794 55 | 3331 | 765 1421.98/1422.38 c 1417s | 20 | 911025 | 685127 | 26794 55 | 3331 | 765 1423.97/1424.39 c 1419s | 20 | 912935 | 686627 | 26794 56 | 3331 | 765 1435.87/1436.27 c 1431s | 20 | 913835 | 687327 | 26794 56 | 3331 | 765 1437.97/1438.37 c 1433s | 20 | 915742 | 688827 | 26794 56 | 3331 | 765 1440.07/1440.40 c 1435s | 20 | 917570 | 690327 | 26794 56 | 3331 | 765 1442.07/1442.41 c 1437s | 20 | 919562 | 692027 | 26794 56 | 3331 | 765 1444.17/1444.51 c 1439s | 20 | 921721 | 693827 | 26794 56 | 3331 | 765 1446.18/1446.57 c 1441s | 20 | 923740 | 695427 | 26794 56 | 3331 | 765 1448.17/1448.57 c 1443s | 20 | 925786 | 697027 | 26794 56 | 3331 | 765 1450.17/1450.59 c 1445s | 20 | 927610 | 698627 | 26794 56 | 3331 | 765 1452.27/1452.65 c 1447s | 20 | 929319 | 700027 | 26794 56 | 3331 | 765 1454.37/1454.73 c 1449s | 20 | 930981 | 701327 | 26794 56 | 3331 | 765 1456.47/1456.83 c 1451s | 20 | 932804 | 702727 | 26794 57 | 3331 | 765 1458.57/1458.92 c 1453s | 20 | 934859 | 704327 | 26794 57 | 3331 | 765 1460.57/1460.96 c 1455s | 20 | 936820 | 705927 | 26794 57 | 3331 | 765 1462.67/1463.02 c 1457s | 20 | 938851 | 707527 | 26794 57 | 3331 | 765 1464.67/1465.10 c 1460s | 20 | 940879 | 709227 | 26794 57 | 3331 | 765 1466.87/1467.20 c 1462s | 20 | 942931 | 710827 | 26794 57 | 3331 | 765 1468.86/1469.28 c 1464s | 20 | 944651 | 712227 | 26794 57 | 3331 | 765 1471.76/1472.10 c 1467s | 20 | 944776 | 712327 | 26794 57 | 3331 | 765 1473.77/1474.19 c 1469s | 20 | 946586 | 713727 | 26794 57 | 3331 | 765 1475.87/1476.29 c 1471s | 20 | 948343 | 715127 | 26794 57 | 3331 | 765 1477.96/1478.36 c 1473s | 20 | 950011 | 716427 | 26794 57 | 3331 | 765 1480.06/1480.44 c 1475s | 20 | 951541 | 717627 | 26794 58 | 3331 | 765 1482.16/1482.54 c 1477s | 20 | 952840 | 718627 | 26794 58 | 3331 | 765 1484.36/1484.70 c 1479s | 20 | 954387 | 719827 | 26794 58 | 3331 | 765 1486.46/1486.80 c 1481s | 20 | 955897 | 720927 | 26794 58 | 3331 | 765 1488.56/1488.94 c 1483s | 20 | 957467 | 722127 | 26794 58 | 3331 | 765 1490.66/1491.08 c 1486s | 20 | 959201 | 723427 | 26794 58 | 3331 | 765 1492.86/1493.24 c 1488s | 20 | 961124 | 724827 | 26794 58 | 3331 | 765 1494.86/1495.28 c 1490s | 20 | 962876 | 726127 | 26794 58 | 3331 | 765 1496.96/1497.37 c 1492s | 20 | 964743 | 727527 | 26794 58 | 3331 | 765 1499.16/1499.50 c 1494s | 20 | 966492 | 728827 | 26794 58 | 3331 | 765 1501.16/1501.56 c 1496s | 20 | 968098 | 730027 | 26794 58 | 3331 | 765 1503.26/1503.65 c 1498s | 20 | 969926 | 731327 | 26794 58 | 3331 | 765 1505.26/1505.68 c 1500s | 20 | 971508 | 732527 | 26794 59 | 3331 | 765 1507.46/1507.82 c 1502s | 20 | 972790 | 733527 | 26794 59 | 3331 | 765 1509.46/1509.90 c 1504s | 20 | 974487 | 734827 | 26794 59 | 3331 | 765 1511.66/1512.00 c 1506s | 20 | 976341 | 736227 | 26794 59 | 3331 | 765 1513.65/1514.06 c 1509s | 20 | 978361 | 737827 | 26794 59 | 3331 | 765 1515.65/1516.07 c 1511s | 20 | 979943 | 739127 | 26794 59 | 3331 | 765 1517.76/1518.17 c 1513s | 20 | 981068 | 740227 | 26794 59 | 3331 | 765 1538.56/1539.00 c 1533s | 20 | 982543 | 741427 | 26794 59 | 3331 | 765 1540.65/1541.01 c 1535s | 20 | 984309 | 742927 | 26794 59 | 3331 | 765 1542.96/1543.40 c 1538s | 20 | 985499 | 744027 | 26794 59 | 3331 | 765 1545.16/1545.57 c 1540s | 20 | 986363 | 744727 | 26794 59 | 3331 | 765 1547.15/1547.57 c 1542s | 20 | 987415 | 745727 | 26794 59 | 3331 | 765 1549.25/1549.63 c 1544s | 20 | 989021 | 747127 | 26794 60 | 3331 | 765 1551.25/1551.68 c 1546s | 20 | 990800 | 748527 | 26794 60 | 3331 | 765 1553.35/1553.76 c 1548s | 20 | 992834 | 750127 | 26794 60 | 3331 | 765 1555.45/1555.84 c 1550s | 20 | 994624 | 751627 | 26794 60 | 3331 | 765 1557.45/1557.86 c 1552s | 20 | 995908 | 752827 | 26794 60 | 3331 | 765 1559.46/1559.87 c 1554s | 20 | 997121 | 753927 | 26794 60 | 3331 | 765 1561.65/1562.02 c 1556s | 20 | 999144 | 755627 | 26794 60 | 3331 | 765 1563.75/1564.15 c 1559s | 20 | 1000829 | 757027 | 26794 60 | 3331 | 765 1566.05/1566.47 c 1561s | 20 | 1001757 | 757827 | 26794 60 | 3331 | 765 1568.15/1568.58 c 1563s | 20 | 1003335 | 759127 | 26794 60 | 3331 | 765 1570.35/1570.71 c 1565s | 20 | 1004390 | 760127 | 26794 60 | 3331 | 765 1572.45/1572.82 c 1567s | 20 | 1006034 | 761527 | 26794 60 | 3331 | 765 1574.55/1574.94 c 1569s | 20 | 1007644 | 762827 | 26794 61 | 3331 | 765 1576.65/1577.04 c 1572s | 20 | 1009011 | 764027 | 26794 61 | 3331 | 765 1578.75/1579.14 c 1574s | 20 | 1010644 | 765327 | 26794 61 | 3331 | 765 1580.74/1581.15 c 1576s | 20 | 1012307 | 766627 | 26794 61 | 3331 | 765 1582.74/1583.19 c 1578s | 20 | 1014029 | 768027 | 26794 61 | 3331 | 765 1584.85/1585.23 c 1580s | 20 | 1015731 | 769427 | 26794 61 | 3331 | 765 1588.75/1589.17 c 1584s | 20 | 1016520 | 770027 | 26794 61 | 3331 | 765 1590.75/1591.19 c 1586s | 20 | 1018175 | 771327 | 26794 61 | 3331 | 765 1592.85/1593.24 c 1588s | 20 | 1019897 | 772627 | 26794 61 | 3331 | 765 1594.95/1595.35 c 1590s | 20 | 1021651 | 774027 | 26794 61 | 3331 | 765 1596.95/1597.38 c 1592s | 20 | 1023247 | 775327 | 26794 61 | 3331 | 765 1598.95/1599.39 c 1594s | 20 | 1024683 | 776527 | 26794 61 | 3331 | 765 1601.35/1601.72 c 1596s | 20 | 1025799 | 777427 | 26794 62 | 3331 | 765 1604.84/1605.28 c 1600s | 20 | 1027550 | 778827 | 26794 62 | 3331 | 765 1621.05/1621.48 c 1616s | 20 | 1028986 | 780027 | 26794 62 | 3331 | 765 1623.14/1623.56 c 1618s | 20 | 1030327 | 781227 | 26794 62 | 3331 | 765 1625.24/1625.67 c 1620s | 20 | 1031316 | 782127 | 26794 62 | 3331 | 765 1627.34/1627.79 c 1622s | 20 | 1032964 | 783627 | 26794 62 | 3331 | 765 1629.54/1629.92 c 1624s | 20 | 1034763 | 785127 | 26794 62 | 3331 | 765 1631.54/1631.96 c 1626s | 20 | 1036229 | 786427 | 26794 62 | 3331 | 765 1633.94/1634.33 c 1629s | 20 | 1037546 | 787527 | 26794 62 | 3331 | 765 1636.04/1636.41 c 1631s | 20 | 1038987 | 788827 | 26794 62 | 3331 | 765 1638.04/1638.42 c 1633s | 20 | 1040720 | 790227 | 26794 62 | 3331 | 765 1640.14/1640.54 c 1635s | 20 | 1042561 | 791727 | 26794 62 | 3331 | 765 1642.24/1642.64 c 1637s | 20 | 1044339 | 793127 | 26794 63 | 3331 | 765 1644.34/1644.77 c 1639s | 20 | 1045634 | 794127 | 26794 63 | 3331 | 765 1646.44/1646.88 c 1641s | 20 | 1047346 | 795527 | 26794 63 | 3331 | 765 1648.54/1648.94 c 1643s | 20 | 1049188 | 797027 | 26794 63 | 3331 | 765 1650.54/1650.95 c 1645s | 20 | 1050528 | 798227 | 26794 63 | 3331 | 765 1652.63/1653.04 c 1648s | 20 | 1051601 | 799127 | 26794 63 | 3331 | 765 1655.03/1655.40 c 1650s | 20 | 1053025 | 800327 | 26794 63 | 3331 | 765 1657.13/1657.50 c 1652s | 20 | 1054272 | 801427 | 26794 63 | 3331 | 765 1659.13/1659.53 c 1654s | 20 | 1055186 | 802227 | 26794 63 | 3331 | 765 1661.43/1661.85 c 1656s | 20 | 1056045 | 802927 | 26794 63 | 3331 | 765 1663.63/1664.03 c 1659s | 20 | 1057072 | 803627 | 26794 63 | 3331 | 765 1665.73/1666.18 c 1661s | 20 | 1057919 | 804327 | 26794 63 | 3331 | 765 1668.03/1668.46 c 1663s | 20 | 1059284 | 805527 | 26794 63 | 3331 | 765 1670.23/1670.67 c 1665s | 20 | 1060041 | 806227 | 26794 63 | 3331 | 765 1672.43/1672.84 c 1667s | 20 | 1061330 | 807327 | 26794 64 | 3331 | 765 1674.73/1675.18 c 1670s | 20 | 1062961 | 808627 | 26794 64 | 3331 | 765 1677.03/1677.47 c 1672s | 20 | 1064619 | 810027 | 26794 64 | 3331 | 765 1679.13/1679.56 c 1674s | 20 | 1065673 | 810927 | 26794 64 | 3331 | 765 1681.23/1681.65 c 1676s | 20 | 1066565 | 811727 | 26794 64 | 3331 | 765 1683.33/1683.73 c 1678s | 20 | 1067923 | 812827 | 26794 64 | 3331 | 765 1685.43/1685.80 c 1680s | 20 | 1069246 | 814027 | 26794 64 | 3331 | 765 1687.43/1687.85 c 1682s | 20 | 1070481 | 815127 | 26794 64 | 3331 | 765 1689.53/1689.94 c 1684s | 20 | 1072301 | 816627 | 26794 64 | 3331 | 765 1691.73/1692.13 c 1687s | 20 | 1073738 | 817927 | 26794 64 | 3331 | 765 1693.83/1694.25 c 1689s | 20 | 1074989 | 819027 | 26794 64 | 3331 | 765 1695.84/1696.27 c 1691s | 20 | 1076345 | 820227 | 26794 64 | 3331 | 765 1697.93/1698.35 c 1693s | 20 | 1078054 | 821627 | 26794 64 | 3331 | 765 1700.03/1700.40 c 1695s | 20 | 1079588 | 822827 | 26794 65 | 3331 | 765 1702.03/1702.44 c 1697s | 20 | 1081194 | 824127 | 26794 65 | 3331 | 765 1712.63/1713.05 c 1708s | 20 | 1081687 | 824527 | 26794 65 | 3331 | 765 1715.73/1716.16 c 1711s | 20 | 1082833 | 825427 | 26794 65 | 3331 | 765 1720.73/1721.10 c 1716s | 20 | 1083359 | 825827 | 26794 65 | 3331 | 765 1722.73/1723.10 c 1718s | 20 | 1084850 | 827027 | 26794 65 | 3331 | 765 1729.93/1730.32 c 1725s | 20 | 1085693 | 827727 | 26794 65 | 3331 | 765 1732.02/1732.40 c 1727s | 20 | 1087263 | 828927 | 26794 65 | 3331 | 765 1734.02/1734.42 c 1729s | 20 | 1088837 | 830127 | 26794 65 | 3331 | 765 1736.12/1736.54 c 1731s | 20 | 1090495 | 831427 | 26794 65 | 3331 | 765 1740.82/1741.20 c 1736s | 20 | 1091924 | 832527 | 26794 65 | 3331 | 765 1742.92/1743.31 c 1738s | 20 | 1093833 | 834027 | 26794 65 | 3331 | 765 1745.02/1745.43 c 1740s | 20 | 1095611 | 835427 | 26794 65 | 3331 | 765 1747.12/1747.58 c 1742s | 20 | 1097345 | 836827 | 26794 65 | 3331 | 765 1749.22/1749.61 c 1744s | 20 | 1098867 | 838027 | 26794 66 | 3331 | 765 1751.22/1751.61 c 1746s | 20 | 1100571 | 839327 | 26794 66 | 3331 | 765 1753.22/1753.65 c 1748s | 20 | 1102207 | 840627 | 26794 66 | 3331 | 765 1755.33/1755.73 c 1750s | 20 | 1103856 | 841927 | 26794 66 | 3331 | 765 1757.32/1757.75 c 1752s | 20 | 1105677 | 843327 | 26794 66 | 3331 | 765 1759.42/1759.82 c 1754s | 20 | 1107542 | 844827 | 26794 66 | 3331 | 765 1761.52/1761.94 c 1756s | 20 | 1109228 | 846127 | 26794 66 | 3331 | 765 1763.52/1763.95 c 1758s | 20 | 1110638 | 847227 | 26794 66 | 3331 | 765 1765.72/1766.13 c 1761s | 20 | 1112134 | 848427 | 26794 66 | 3331 | 765 1767.92/1768.30 c 1763s | 20 | 1113628 | 849627 | 26794 66 | 3331 | 765 1769.92/1770.36 c 1765s | 20 | 1115193 | 850827 | 26794 66 | 3331 | 765 1772.02/1772.45 c 1767s | 20 | 1115850 | 851327 | 26794 66 | 3331 | 765 1774.12/1774.59 c 1769s | 20 | 1117506 | 852627 | 26794 67 | 3331 | 765 1777.22/1777.64 c 1772s | 20 | 1119651 | 854327 | 26794 67 | 3331 | 765 1779.31/1779.73 c 1774s | 20 | 1121581 | 855927 | 26794 67 | 3331 | 765 1781.41/1781.80 c 1776s | 20 | 1123387 | 857327 | 26794 67 | 3331 | 765 1783.51/1783.94 c 1778s | 20 | 1125169 | 858727 | 26794 67 | 3331 | 765 1785.61/1786.06 c 1781s | 20 | 1126717 | 859927 | 26794 67 | 3331 | 765 1787.81/1788.20 c 1783s | 20 | 1128413 | 861227 | 26794 67 | 3331 | 765 1792.21/1792.63 c 1787s | 20 | 1129576 | 862127 | 26794 67 | 3331 | 765 1794.21/1794.66 c 1789s | 20 | 1131380 | 863527 | 26794 67 | 3331 | 765 1796.41/1796.82 c 1791s | 20 | 1132914 | 864827 | 26794 67 | 3331 | 765 1798.51/1798.95 c 1793s | 20 | 1134971 | 866527 | 26794 67 | 3331 | 765
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-4101793-1466226766/watcher-4101793-1466226766 -o /tmp/evaluation-result-4101793-1466226766/solver-4101793-1466226766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101793-1466226766.opb pid=4227 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.05 2.07 4/179 4230 /proc/meminfo: memFree=30050736/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=823740 CPUtime=0 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 3092 0 0 0 0 0 0 0 20 0 4 0 24725854 843509760 2943 33554432000 4194304 16246674 140737052573248 140737052572672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 206447 2951 441 2943 0 203341 0 [pid=4230/tid=4231] ppid=4227 vsize=842172 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 862384128 3012 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=846268 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 866578432 3029 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=850364 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24725855 870772736 3045 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.10013 s] /proc/loadavg: 2.00 2.05 2.07 4/179 4230 /proc/meminfo: memFree=30050736/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 28440 0 0 0 6 3 0 0 20 0 4 0 24725854 1333334016 28229 33554432000 4194304 16246674 140737052573248 140737052572560 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 325521 28242 801 2943 0 322415 0 [pid=4230/tid=4231] ppid=4227 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1333334016 28253 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1333334016 28265 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1333334016 28276 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200492 s] /proc/loadavg: 2.00 2.05 2.07 4/179 4230 /proc/meminfo: memFree=30050736/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 42695 0 0 0 13 6 0 0 20 0 4 0 24725854 1343819776 42994 33554432000 4194304 16246674 140737052573248 140737052556240 6955491 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 328081 42994 833 2943 0 324975 0 [pid=4230/tid=4231] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 42994 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 42994 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 42994 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300466 s] /proc/loadavg: 2.00 2.05 2.07 4/179 4230 /proc/meminfo: memFree=30050736/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1312324 CPUtime=0.28 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 61092 0 0 0 20 8 0 0 20 0 4 0 24725854 1343819776 61391 33554432000 4194304 16246674 140737052573248 140737052556240 12653060 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 328081 61398 833 2943 0 324975 0 [pid=4230/tid=4231] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 61403 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 61409 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 61415 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1312324 [startup+0.700387 s] /proc/loadavg: 2.00 2.05 2.07 4/179 4230 /proc/meminfo: memFree=30050736/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1312324 CPUtime=0.69 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 187239 0 0 0 45 24 0 0 20 0 4 0 24725854 1343819776 187538 33554432000 4194304 16246674 140737052573248 140737052556240 12449273 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 328081 187555 833 2943 0 324975 0 [pid=4230/tid=4231] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 187565 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 187575 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1343819776 187585 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1312324 [startup+1.50038 s] /proc/loadavg: 2.00 2.05 2.07 3/183 4234 /proc/meminfo: memFree=28963988/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=1.48 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271432 0 0 0 113 35 0 0 20 0 4 0 24725854 1355354112 271731 33554432000 4194304 16246674 140737052573248 140737052555136 12657141 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271731 846 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271731 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271731 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271731 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1323588 [startup+3.10037 s] /proc/loadavg: 2.00 2.05 2.07 3/183 4234 /proc/meminfo: memFree=28963128/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=3.08 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271528 0 0 0 273 35 0 0 20 0 4 0 24725854 1355354112 271827 33554432000 4194304 16246674 140737052573248 140737052572560 12652957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271827 846 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271827 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271827 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271827 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1323588 [startup+6.30038 s] /proc/loadavg: 2.00 2.05 2.07 3/183 4234 /proc/meminfo: memFree=28963264/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=6.29 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271585 0 0 0 593 36 0 0 20 0 4 0 24725854 1355354112 271884 33554432000 4194304 16246674 140737052573248 140737052555136 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271884 899 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1323588 [startup+12.7003 s] /proc/loadavg: 2.00 2.04 2.07 4/183 4234 /proc/meminfo: memFree=28963040/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=12.69 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271585 0 0 0 1233 36 0 0 20 0 4 0 24725854 1355354112 271884 33554432000 4194304 16246674 140737052573248 140737052555136 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271884 899 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271884 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1323588 [startup+25.5004 s] /proc/loadavg: 2.08 2.06 2.07 3/183 4234 /proc/meminfo: memFree=28963448/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=25.49 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271591 0 0 0 2513 36 0 0 20 0 4 0 24725854 1355354112 271890 33554432000 4194304 16246674 140737052573248 140737052555136 12415747 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271890 904 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271890 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271890 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271890 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1323588 [startup+51.1004 s] /proc/loadavg: 2.05 2.05 2.07 3/183 4234 /proc/meminfo: memFree=28962916/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=51.09 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271593 0 0 0 5073 36 0 0 20 0 4 0 24725854 1355354112 271892 33554432000 4194304 16246674 140737052573248 140737052555136 5712128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271892 906 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1323588 [startup+102.3 s] /proc/loadavg: 2.02 2.04 2.06 4/183 4236 /proc/meminfo: memFree=28963252/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1323588 CPUtime=102.28 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 271593 0 0 0 10192 36 0 0 20 0 4 0 24725854 1355354112 271892 33554432000 4194304 16246674 140737052573248 140737052555136 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 330897 271892 906 2943 0 327791 0 [pid=4230/tid=4231] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1355354112 271892 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 1347140 [startup+1302.3 s] /proc/loadavg: 2.23 2.11 2.06 3/183 4315 /proc/meminfo: memFree=28968780/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1302 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277645 0 0 0 130136 64 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 4225073 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1347140 [startup+1362.3 s] /proc/loadavg: 2.24 2.13 2.07 3/183 4316 /proc/meminfo: memFree=28963584/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1361.98 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277654 0 0 0 136132 66 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052572424 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1347140 [startup+1422.3 s] /proc/loadavg: 2.21 2.14 2.07 3/183 4317 /proc/meminfo: memFree=28963428/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1421.98 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277659 0 0 0 142130 68 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 13928104 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 1347140 [startup+1482.3 s] /proc/loadavg: 2.12 2.12 2.07 3/183 4318 /proc/meminfo: memFree=28955100/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1481.96 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277659 0 0 0 148127 69 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 6013056 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1347140 [startup+1542.31 s] /proc/loadavg: 2.08 2.11 2.07 3/183 4319 /proc/meminfo: memFree=28947816/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1541.96 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277659 0 0 0 154125 71 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 5711439 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1347140 [startup+1602.3 s] /proc/loadavg: 2.12 2.12 2.08 3/182 4320 /proc/meminfo: memFree=28947124/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1601.95 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277659 0 0 0 160123 72 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 6021672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1347140 [startup+1662.3 s] /proc/loadavg: 2.04 2.10 2.07 3/184 4325 /proc/meminfo: memFree=28946916/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1347140 CPUtime=1661.93 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 277659 0 0 0 166118 75 0 0 20 0 4 0 24725854 1379471360 278036 33554432000 4194304 16246674 140737052573248 140737052555136 5712756 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 336785 278036 906 2943 0 333679 0 [pid=4230/tid=4231] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1347140 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1379471360 278036 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 1347140 [startup+1722.3 s] /proc/loadavg: 2.06 2.09 2.07 3/183 4326 /proc/meminfo: memFree=28932888/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1360452 CPUtime=1721.93 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 280987 0 0 0 172115 78 0 0 20 0 4 0 24725854 1393102848 281364 33554432000 4194304 16246674 140737052573248 140737052555136 12483481 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 340113 281364 906 2943 0 337007 0 [pid=4230/tid=4231] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 1360452 [startup+1782.3 s] /proc/loadavg: 2.19 2.12 2.08 3/183 4327 /proc/meminfo: memFree=28933180/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1360452 CPUtime=1781.91 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 280987 0 0 0 178112 79 0 0 20 0 4 0 24725854 1393102848 281364 33554432000 4194304 16246674 140737052573248 140737052555136 6021536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 340113 281364 906 2943 0 337007 0 [pid=4230/tid=4231] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 1360452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.15 2.11 2.08 3/183 4327 /proc/meminfo: memFree=28933664/32872528 swapFree=681964/737152 [pid=4230] ppid=4227 vsize=1360452 CPUtime=1800.01 cores=0,2,4,6 /proc/4230/stat : 4230 (toysat) R 4227 4230 1377 0 -1 4202496 280987 0 0 0 179922 79 0 0 20 0 4 0 24725854 1393102848 281364 33554432000 4194304 16246674 140737052573248 140737052555136 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4230/statm: 340113 281364 906 2943 0 337007 0 [pid=4230/tid=4231] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4231/stat : 4231 (toysat) S 4227 4230 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993558265072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=4230/tid=4232] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4232/stat : 4232 (toysat) S 4227 4230 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993547775216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=4230/tid=4233] ppid=4227 vsize=1360452 CPUtime=0 cores=0,2,4,6 /proc/4230/task/4233/stat : 4233 (toysat) S 4227 4230 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24725855 1393102848 281364 33554432000 4194304 16246674 140737052573248 139993537301680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1360452 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 4230 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.03 CPU user time (s): 1799.23 CPU system time (s): 0.797878 CPU usage (%): 99.9788 Max. virtual memory (cumulated for all children) (KiB): 1360452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.23 system time used= 0.797878 maximum resident set size= 1125456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280987 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= 195 involuntary context switches= 2028 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5683 second user time and 6.94394 second system time The end
Begin job on node112 at 2016-06-18 07:12:46 IDJOB=4101793 IDBENCH=1795 IDSOLVER=2542 FILE ID=node112/4101793-1466226766 RUNJOBID= node112-1466206100-1394 PBS_JOBID= 19918164 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101793-1466226766/watcher-4101793-1466226766 -o /tmp/evaluation-result-4101793-1466226766/solver-4101793-1466226766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101793-1466226766.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 96d9927730c8b8baae8e5c668115210d RANDOM SEED=624791556 node112.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.734 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.46 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.734 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.734 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 : 5321.48 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.734 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.734 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.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30050892 kB Buffers: 106288 kB Cached: 125952 kB SwapCached: 1916 kB Active: 1213244 kB Inactive: 136588 kB Active(anon): 1118164 kB Inactive(anon): 1576 kB Active(file): 95080 kB Inactive(file): 135012 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096992 kB Dirty: 17084 kB Writeback: 0 kB AnonPages: 1929368 kB Mapped: 10648 kB Shmem: 0 kB Slab: 600996 kB SReclaimable: 44944 kB SUnreclaim: 556052 kB KernelStack: 1520 kB PageTables: 7372 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1997604 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 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= 71676 MiB End job on node112 at 2016-06-18 07:42:47