| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.51 |
| Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat25_6_3_8_ic.opb |
| MD5SUM | c59785e6f20fb8a9ed43144b528a9d33 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15725 |
| Total number of constraints | 31332 |
| Number of constraints which are clauses | 14450 |
| Number of constraints which are cardinality constraints (but not clauses) | 7 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16875 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 300 |
| Number of terms in the objective function | 1825 |
| Biggest coefficient in the objective function | 133432831 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 8863945089 |
| Number of bits of the sum of numbers in the objective function | 34 |
| Biggest number in a constraint | 133432831 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 8863945089 |
| Number of bits of the biggest sum of numbers | 34 |
| 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-08T02:29:18+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-4079335-1465345758.opb"] 0.00/0.01 c use --random-gen="3512926679 390707013 3455795807 1106021645 1083367046 2881701503 1618797852 1301038190 2972952513 1238245495 799680884 3923149757 2351597640 2609662062 945237478 1554677169 2668044262 3274485543 4069591021 2741810682 1278178806 3308248293 1295748593 269917556 1464851191 162876591 3053990084 2867419275 3662071341 39229577 1234054225 535002306 852120583 531216037 3578170812 2235766106 709861682 2362621104 3114747816 2961915624 2612600600 582263954 1872627222 1927092335 2596777249 164447929 2174445436 4006924708 4247809357 646508050 969299002 429433651 2143692488 1985553985 3673853860 2575831393 1027926643 489852994 1586131820 4162898644 71646533 138294446 3327992570 196211446 635867138 4260943607 1699022425 3358227091 4181171394 4268014097 889547449 1367104438 492133377 2172802251 235932873 2689248023 3539536286 3280048011 2610693442 3820364761 2155308122 3463289425 3696075149 3777312993 3221965080 569410539 1833403156 54962776 3724320440 4132321502 3750745797 2840053089 201621786 394200863 3398014758 3027579693 2385156866 1035505334 2035906454 1455093453 3401577862 77598548 1966431541 686492270 661704952 2670107227 1680269820 1093766365 1636296280 2161853133 2687676853 3553175802 4263528577 2846538780 2951917466 1284696662 1055937558 3857594711 2668457782 2430831113 3975976194 322259524 557260259 1512076001 1641179483 2588371911 1760045141 3628937472 1946959020 2131288889 2676980269 450439258 212730239 2438177334 3356859651 1733408563 3485622162 3880995881 2317217263 2902812746 3125603375 2104037354 1797137566 4085782172 2810833508 3693069046 1606565126 2114306402 1412576036 2615959397 3950212053 1126639868 2497925554 1774813413 3707948009 3784112312 3645340631 3580199380 211012901 1143469208 561762727 1360478071 1627774740 656453781 1313744912 4046083557 217768073 3037443743 2676961534 2334034871 3931941771 1644399589 2337752667 1803054732 2656982821 2645562206 2022127775 1972688475 1059710655 1453894305 3097706275 332349314 951693873 2286760740 878260622 1678099470 2813064625 1826724774 362338366 1339329622 1509774670 3628085165 1963105638 3495065071 3499766580 3750406380 1779544648 2896909818 853881948 1517724008 3940798322 3427590307 344446510 3975080965 3830370099 2750806848 3240627178 2007753434 2193159858 803102461 1470889626 4157090397 4160055702 1154446141 3223557418 4219317808 2256722404 912462006 2885418341 477036310 2108397788 4220819992 4163687537 2767189251 144565533 2844284633 1487750689 2241626331 45773906 827522213 2704013861 423559864 19839885 1180574511 548329747 225268877 3719886194 3461423628 2624908026 2860243669 1317196266 4221326438 1369122994 2796538847 1285976300 1277624106 3175302265 1637235153 2170445038 1667262531 2405352322 833756328 739450558 3145235253 2730706447 11292160 255 362436" option to reproduce the execution 0.19/0.28 c #vars 15725 0.19/0.28 c #constraints 31332 0.79/0.82 c BCD2: Hardening is enabled. 0.79/0.82 c BCD2: BiasedSearch is enabled. 0.79/0.82 c Solving starts ... 0.79/0.82 c ============================[ Search Statistics ]============================ 0.79/0.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.79/0.82 c | | | | Limit GC | Var | Constra 0.79/0.82 c ============================================================================= 0.79/0.83 c 0.0s | 0 | 0 | 0 | 16286 0 | 75 | 0 1.79/1.86 c 1.0s | 1 | 129 | 100 | 16286 0 | 75 | 0 3.09/3.12 c 2.3s | 2 | 435 | 250 | 17915 0 | 75 | 0 4.50/4.52 c 3.7s | 3 | 795 | 475 | 19707 0 | 75 | 0 6.60/6.68 c 5.9s | 4 | 1308 | 813 | 21678 0 | 75 | 0 7.99/8.03 c 7.2s | 5 | 1902 | 1320 | 23846 0 | 75 | 0 10.09/10.15 c 9.3s | 5 | 3242 | 1720 | 26231 0 | 75 | 0 11.59/11.64 c 10.8s | 6 | 3854 | 2081 | 28855 0 | 75 | 0 13.69/13.75 c 12.9s | 6 | 4663 | 2481 | 28855 0 | 75 | 0 16.08/16.10 c 15.3s | 6 | 5305 | 2981 | 28855 0 | 75 | 0 16.88/16.94 c 16.1s | 7 | 5553 | 3223 | 31741 0 | 75 | 0 19.18/19.27 c 18.4s | 7 | 6228 | 3623 | 31741 0 | 75 | 0 21.28/21.30 c 20.5s | 7 | 6745 | 4023 | 31741 0 | 75 | 0 23.58/23.65 c 22.8s | 7 | 7579 | 4523 | 31741 0 | 75 | 0 25.58/25.67 c 24.9s | 8 | 8196 | 4936 | 34916 0 | 75 | 0 27.98/28.06 c 27.2s | 8 | 9739 | 5436 | 34916 0 | 75 | 0 30.08/30.13 c 29.3s | 8 | 10361 | 6036 | 34916 0 | 75 | 0 32.28/32.30 c 31.5s | 8 | 11001 | 6536 | 34916 0 | 75 | 0 34.28/34.30 c 33.5s | 8 | 11756 | 7036 | 34916 0 | 75 | 0 36.39/36.49 c 35.7s | 9 | 12323 | 7506 | 38408 0 | 75 | 0 38.78/38.86 c 38.0s | 9 | 13096 | 7906 | 38408 0 | 75 | 0 40.88/40.97 c 40.1s | 9 | 14165 | 8506 | 38408 0 | 75 | 0 43.28/43.35 c 42.5s | 9 | 15432 | 9206 | 38408 0 | 75 | 0 45.68/45.79 c 45.0s | 9 | 16427 | 9806 | 38408 0 | 75 | 0 47.68/47.79 c 47.0s | 9 | 17185 | 10306 | 38408 0 | 75 | 0 49.88/49.99 c 49.2s | 9 | 17785 | 10806 | 38408 0 | 75 | 0 51.98/52.07 c 51.2s | 9 | 18316 | 11306 | 42249 0 | 75 | 0 52.28/52.35 c 51.5s | 10 | 18407 | 11361 | 42249 0 | 75 | 0 54.48/54.51 c 53.7s | 10 | 19187 | 11961 | 42249 0 | 75 | 0 56.68/56.78 c 56.0s | 10 | 19701 | 12461 | 42249 0 | 75 | 0 59.08/59.14 c 58.3s | 10 | 20212 | 12961 | 42249 0 | 75 | 0 61.08/61.18 c 60.4s | 10 | 20728 | 13461 | 42249 0 | 75 | 0 63.18/63.24 c 62.4s | 10 | 21256 | 13961 | 42249 0 | 75 | 0 65.58/65.68 c 64.9s | 10 | 21874 | 14561 | 42249 0 | 75 | 0 67.88/67.99 c 67.2s | 10 | 22501 | 15161 | 42249 0 | 75 | 0 69.98/70.03 c 69.2s | 10 | 23020 | 15661 | 42249 0 | 75 | 0 72.08/72.18 c 71.4s | 10 | 23546 | 16161 | 42249 0 | 75 | 0 74.48/74.57 c 73.7s | 10 | 24171 | 16761 | 42249 0 | 75 | 0 76.27/76.33 c 75.5s | 11 | 24578 | 17144 | 46474 0 | 75 | 0 78.38/78.47 c 77.6s | 11 | 25171 | 17544 | 46474 0 | 75 | 0 80.57/80.69 c 79.9s | 11 | 25742 | 18044 | 46474 0 | 75 | 0 82.77/82.87 c 82.0s | 11 | 26337 | 18544 | 46474 0 | 75 | 0 84.87/84.96 c 84.1s | 11 | 26862 | 19044 | 46474 0 | 75 | 0 87.17/87.29 c 86.5s | 11 | 27551 | 19544 | 46474 0 | 75 | 0 89.27/89.39 c 88.6s | 11 | 28372 | 19944 | 46474 0 | 75 | 0 91.28/91.39 c 90.6s | 11 | 28985 | 20344 | 46474 0 | 75 | 0 93.48/93.58 c 92.8s | 11 | 29901 | 20744 | 46474 0 | 75 | 0 95.57/95.61 c 94.8s | 11 | 30404 | 21144 | 46474 0 | 75 | 0 97.77/97.86 c 97.0s | 11 | 30932 | 21644 | 46474 0 | 75 | 0 100.18/100.25 c 99.4s | 11 | 31522 | 22144 | 46474 0 | 75 | 0 102.47/102.58 c 101s | 11 | 32045 | 22644 | 46474 0 | 75 | 0 104.87/104.97 c 104s | 11 | 32621 | 23144 | 46474 0 | 75 | 0 106.97/107.01 c 106s | 11 | 33286 | 23544 | 46474 0 | 75 | 0 109.07/109.18 c 108s | 11 | 33811 | 24044 | 46474 0 | 75 | 0 111.37/111.48 c 110s | 11 | 34287 | 24444 | 46474 0 | 75 | 0 113.47/113.51 c 112s | 11 | 34711 | 24844 | 46474 0 | 75 | 0 115.77/115.82 c 114s | 11 | 35231 | 25344 | 46474 0 | 75 | 0 117.97/118.06 c 117s | 12 | 35736 | 25819 | 51122 0 | 75 | 0 120.17/120.21 c 119s | 12 | 36432 | 26119 | 51122 0 | 75 | 0 122.47/122.58 c 121s | 12 | 37044 | 26519 | 51122 0 | 75 | 0 125.07/125.11 c 124s | 12 | 37567 | 26919 | 51122 0 | 75 | 0 127.57/127.65 c 126s | 12 | 38111 | 27319 | 51122 0 | 75 | 0 129.57/129.69 c 128s | 12 | 38509 | 27619 | 51122 0 | 75 | 0 131.87/131.90 c 131s | 12 | 39608 | 27919 | 51122 0 | 75 | 0 134.07/134.17 c 133s | 12 | 40554 | 28319 | 51122 0 | 75 | 0 136.67/136.78 c 135s | 12 | 41355 | 28819 | 51122 0 | 75 | 0 138.67/138.79 c 137s | 12 | 41726 | 29119 | 51122 0 | 75 | 0 141.07/141.12 c 140s | 12 | 42131 | 29519 | 51122 0 | 75 | 0 143.17/143.24 c 142s | 12 | 42482 | 29819 | 51122 0 | 75 | 0 145.56/145.68 c 144s | 12 | 43166 | 30219 | 51122 0 | 75 | 0 147.96/148.01 c 147s | 12 | 43910 | 30619 | 51122 0 | 75 | 0 149.96/150.03 c 149s | 12 | 44326 | 30919 | 51122 0 | 75 | 0 152.16/152.29 c 151s | 12 | 44651 | 31219 | 51122 0 | 75 | 0 154.26/154.36 c 153s | 12 | 45338 | 31519 | 51122 0 | 75 | 0 156.96/157.02 c 156s | 12 | 45947 | 31919 | 51122 0 | 75 | 0 158.96/159.04 c 158s | 12 | 46440 | 32219 | 51122 0 | 75 | 0 161.16/161.29 c 160s | 12 | 47550 | 32519 | 51122 0 | 75 | 0 163.46/163.53 c 162s | 12 | 48236 | 32819 | 51122 0 | 75 | 0 165.76/165.86 c 165s | 12 | 48656 | 33219 | 51122 0 | 75 | 0 167.86/167.97 c 167s | 12 | 49084 | 33619 | 51122 0 | 75 | 0 170.36/170.48 c 169s | 12 | 49609 | 34119 | 51122 0 | 75 | 0 172.56/172.68 c 171s | 12 | 50149 | 34619 | 51122 0 | 75 | 0 174.76/174.87 c 174s | 12 | 50592 | 35019 | 51122 0 | 75 | 0 176.96/177.02 c 176s | 12 | 51070 | 35419 | 51122 0 | 75 | 0 179.06/179.13 c 178s | 12 | 51376 | 35719 | 51122 0 | 75 | 0 181.26/181.37 c 180s | 12 | 51910 | 36219 | 51122 0 | 75 | 0 183.86/183.90 c 183s | 12 | 52332 | 36619 | 51122 0 | 75 | 0 185.86/185.95 c 185s | 12 | 52764 | 37019 | 51122 0 | 75 | 0 188.06/188.11 c 187s | 12 | 53190 | 37419 | 51122 0 | 75 | 0 190.26/190.34 c 189s | 12 | 53625 | 37819 | 51122 0 | 75 | 0 192.66/192.76 c 191s | 12 | 54169 | 38319 | 51122 0 | 75 | 0 195.16/195.26 c 194s | 12 | 55301 | 38719 | 56235 0 | 75 | 0 195.95/196.08 c 195s | 13 | 55423 | 38832 | 56235 0 | 75 | 0 198.25/198.37 c 197s | 13 | 56374 | 39332 | 56235 0 | 75 | 0 200.55/200.68 c 199s | 13 | 56937 | 39832 | 56235 0 | 75 | 0 202.65/202.72 c 201s | 13 | 57419 | 40232 | 56235 0 | 75 | 0 204.66/204.74 c 203s | 13 | 57904 | 40632 | 56235 0 | 75 | 0 206.86/206.92 c 206s | 13 | 58418 | 41032 | 56235 0 | 75 | 0 209.06/209.16 c 208s | 13 | 58908 | 41432 | 56235 0 | 75 | 0 211.05/211.19 c 210s | 13 | 59284 | 41732 | 56235 0 | 75 | 0 213.15/213.23 c 212s | 13 | 59655 | 42032 | 56235 0 | 75 | 0 215.45/215.59 c 214s | 13 | 59994 | 42332 | 56235 0 | 75 | 0 217.86/217.96 c 217s | 13 | 60358 | 42632 | 56235 0 | 75 | 0 220.06/220.18 c 219s | 13 | 60903 | 43032 | 56235 0 | 75 | 0 222.26/222.36 c 221s | 13 | 61267 | 43332 | 56235 0 | 75 | 0 224.65/224.72 c 223s | 13 | 61735 | 43732 | 56235 0 | 75 | 0 227.05/227.11 c 226s | 13 | 62261 | 44132 | 56235 0 | 75 | 0 229.35/229.41 c 228s | 13 | 62898 | 44532 | 56235 0 | 75 | 0 231.65/231.73 c 230s | 13 | 63353 | 44932 | 56235 0 | 75 | 0 234.26/234.37 c 233s | 13 | 63791 | 45332 | 56235 0 | 75 | 0 236.46/236.57 c 235s | 13 | 64147 | 45632 | 56235 0 | 75 | 0 239.25/239.39 c 238s | 13 | 64682 | 46032 | 56235 0 | 75 | 0 241.75/241.89 c 241s | 13 | 65491 | 46332 | 56235 0 | 75 | 0 244.15/244.27 c 243s | 13 | 65984 | 46632 | 56235 0 | 75 | 0 246.35/246.41 c 245s | 13 | 66294 | 46932 | 56235 0 | 75 | 0 248.45/248.54 c 247s | 13 | 66819 | 47232 | 56235 0 | 75 | 0 250.95/251.05 c 250s | 13 | 67313 | 47632 | 56235 0 | 75 | 0 253.55/253.69 c 252s | 13 | 67684 | 47932 | 56235 0 | 75 | 0 255.85/255.96 c 255s | 13 | 68116 | 48232 | 56235 0 | 75 | 0 258.25/258.37 c 257s | 13 | 68830 | 48632 | 56235 0 | 75 | 0 260.76/260.88 c 260s | 13 | 69271 | 49032 | 56235 0 | 75 | 0 263.15/263.23 c 262s | 13 | 69688 | 49432 | 56235 0 | 75 | 0 265.75/265.83 c 265s | 13 | 70144 | 49832 | 56235 0 | 75 | 0 268.15/268.22 c 267s | 13 | 70610 | 50232 | 56235 0 | 75 | 0 270.15/270.23 c 269s | 13 | 70966 | 50532 | 56235 0 | 75 | 0 272.35/272.42 c 271s | 13 | 71378 | 50932 | 56235 0 | 75 | 0 274.75/274.84 c 274s | 13 | 71793 | 51332 | 56235 0 | 75 | 0 277.16/277.23 c 276s | 13 | 72202 | 51732 | 56235 0 | 75 | 0 279.46/279.55 c 278s | 13 | 72660 | 52132 | 56235 0 | 75 | 0 281.95/282.05 c 281s | 13 | 73152 | 52532 | 56235 0 | 75 | 0 284.75/284.88 c 284s | 13 | 73497 | 52832 | 56235 0 | 75 | 0 286.85/286.98 c 286s | 13 | 73722 | 53032 | 56235 0 | 75 | 0 289.55/289.61 c 288s | 13 | 74047 | 53332 | 56235 0 | 75 | 0 291.85/291.97 c 291s | 13 | 74373 | 53632 | 56235 0 | 75 | 0 294.25/294.35 c 293s | 13 | 74880 | 54032 | 56235 0 | 75 | 0 296.45/296.54 c 295s | 13 | 75285 | 54432 | 56235 0 | 75 | 0 298.95/299.06 c 298s | 13 | 75857 | 54832 | 56235 0 | 75 | 0 301.45/301.59 c 300s | 13 | 76186 | 55132 | 56235 0 | 75 | 0 303.44/303.60 c 302s | 13 | 76559 | 55432 | 56235 0 | 75 | 0 305.64/305.71 c 304s | 13 | 76940 | 55732 | 56235 0 | 75 | 0 307.64/307.76 c 306s | 13 | 77352 | 56132 | 56235 0 | 75 | 0 309.64/309.76 c 308s | 13 | 77732 | 56432 | 56235 0 | 75 | 0 312.04/312.11 c 311s | 13 | 78108 | 56732 | 56235 0 | 75 | 0 314.24/314.30 c 313s | 13 | 78486 | 57032 | 56235 0 | 75 | 0 316.24/316.32 c 315s | 13 | 78825 | 57332 | 56235 0 | 75 | 0 318.64/318.74 c 317s | 13 | 79182 | 57632 | 56235 0 | 75 | 0 321.54/321.66 c 320s | 13 | 79724 | 58032 | 61859 0 | 75 | 0 324.14/324.29 c 323s | 13 | 80178 | 58332 | 61859 0 | 75 | 0 324.34/324.46 c 323s | 14 | 80194 | 58352 | 61859 0 | 75 | 0 326.54/326.67 c 325s | 14 | 80566 | 58552 | 61859 0 | 75 | 0 328.95/329.06 c 328s | 14 | 81074 | 58852 | 61859 0 | 75 | 0 331.64/331.73 c 330s | 14 | 81670 | 59152 | 61859 0 | 75 | 0 333.94/334.09 c 333s | 14 | 82312 | 59452 | 61859 0 | 75 | 0 336.74/336.89 c 336s | 14 | 83111 | 59752 | 61859 0 | 75 | 0 339.44/339.59 c 338s | 14 | 83720 | 60052 | 61859 0 | 75 | 0 342.34/342.45 c 341s | 14 | 84353 | 60352 | 61859 0 | 75 | 0 344.54/344.65 c 343s | 14 | 85092 | 60652 | 61859 0 | 75 | 0 346.84/346.97 c 346s | 14 | 85565 | 60952 | 61859 0 | 75 | 0 348.94/349.06 c 348s | 14 | 86029 | 61252 | 61859 0 | 75 | 0 351.54/351.69 c 350s | 14 | 86576 | 61552 | 61859 0 | 75 | 0 354.14/354.27 c 353s | 14 | 87007 | 61852 | 61859 0 | 75 | 0 356.74/356.87 c 356s | 14 | 87416 | 62152 | 61859 0 | 75 | 0 359.24/359.31 c 358s | 14 | 88111 | 62452 | 61859 0 | 75 | 0 361.84/361.94 c 361s | 14 | 88774 | 62752 | 61859 0 | 75 | 0 364.54/364.62 c 363s | 14 | 89159 | 63052 | 61859 0 | 75 | 0 366.94/367.09 c 366s | 14 | 89628 | 63352 | 61859 0 | 75 | 0 369.03/369.17 c 368s | 14 | 90311 | 63552 | 61859 0 | 75 | 0 371.43/371.52 c 370s | 14 | 90713 | 63852 | 61859 0 | 75 | 0 374.13/374.29 c 373s | 14 | 91477 | 64152 | 61859 0 | 75 | 0 376.63/376.71 c 375s | 14 | 91968 | 64452 | 61859 0 | 75 | 0 378.73/378.83 c 378s | 14 | 92371 | 64752 | 61859 0 | 75 | 0 380.73/380.89 c 380s | 14 | 92702 | 65052 | 61859 0 | 75 | 0 382.93/383.06 c 382s | 14 | 93079 | 65352 | 61859 0 | 75 | 0 385.53/385.68 c 384s | 14 | 93495 | 65752 | 61859 0 | 75 | 0 388.43/388.54 c 387s | 14 | 93950 | 66152 | 61859 0 | 75 | 0 390.93/391.06 c 390s | 14 | 94425 | 66552 | 61859 0 | 75 | 0 393.03/393.18 c 392s | 14 | 94810 | 66852 | 61859 0 | 75 | 0 395.43/395.56 c 394s | 14 | 95228 | 67152 | 61859 0 | 75 | 0 398.03/398.10 c 397s | 14 | 95589 | 67452 | 61859 0 | 75 | 0 400.63/400.79 c 399s | 14 | 95930 | 67752 | 61859 0 | 75 | 0 403.13/403.22 c 402s | 14 | 96252 | 68052 | 61859 0 | 75 | 0 405.23/405.36 c 404s | 14 | 96574 | 68352 | 61859 0 | 75 | 0 407.33/407.45 c 406s | 14 | 96888 | 68652 | 61859 0 | 75 | 0 409.63/409.72 c 408s | 14 | 97396 | 68952 | 61859 0 | 75 | 0 411.93/412.07 c 411s | 14 | 97986 | 69252 | 61859 0 | 75 | 0 414.63/414.75 c 413s | 14 | 98410 | 69652 | 61859 0 | 75 | 0 416.83/416.92 c 416s | 14 | 98724 | 69952 | 61859 0 | 75 | 0 419.03/419.18 c 418s | 14 | 99060 | 70252 | 61859 0 | 75 | 0 421.53/421.64 c 420s | 14 | 99391 | 70552 | 61859 0 | 75 | 0 423.93/424.05 c 423s | 14 | 99700 | 70852 | 61859 0 | 75 | 0 425.93/426.09 c 425s | 14 | 99801 | 70952 | 61859 1 | 75 | 0 428.42/428.58 c 427s | 14 | 100273 | 71352 | 61859 1 | 75 | 0 430.72/430.86 c 430s | 14 | 100580 | 71552 | 61859 1 | 75 | 0 433.12/433.26 c 432s | 14 | 101291 | 71952 | 61859 1 | 75 | 0 435.53/435.63 c 434s | 14 | 102107 | 72352 | 61859 1 | 75 | 0 437.73/437.89 c 437s | 14 | 102929 | 72752 | 61859 1 | 75 | 0 440.03/440.13 c 439s | 14 | 103857 | 73152 | 61859 1 | 75 | 0 442.23/442.35 c 441s | 14 | 104886 | 73552 | 61859 1 | 75 | 0 444.82/444.98 c 444s | 14 | 105942 | 73952 | 61859 1 | 75 | 0 447.02/447.14 c 446s | 14 | 106354 | 74352 | 61859 1 | 75 | 0 449.02/449.17 c 448s | 14 | 106774 | 74752 | 61859 1 | 75 | 0 451.02/451.17 c 450s | 14 | 107300 | 75052 | 61859 1 | 75 | 0 453.02/453.19 c 452s | 14 | 107710 | 75352 | 61859 1 | 75 | 0 455.52/455.66 c 454s | 14 | 108138 | 75752 | 61859 1 | 75 | 0 458.02/458.13 c 457s | 14 | 108554 | 76152 | 61859 1 | 75 | 0 460.52/460.61 c 459s | 14 | 108962 | 76552 | 61859 1 | 75 | 0 462.51/462.64 c 461s | 14 | 109377 | 76952 | 61859 1 | 75 | 0 464.51/464.68 c 463s | 14 | 109690 | 77252 | 61859 1 | 75 | 0 467.01/467.18 c 466s | 14 | 110100 | 77652 | 61859 1 | 75 | 0 469.41/469.56 c 468s | 14 | 110530 | 78052 | 61859 1 | 75 | 0 471.71/471.82 c 470s | 14 | 110936 | 78452 | 61859 1 | 75 | 0 473.91/474.01 c 473s | 14 | 111350 | 78852 | 61859 1 | 75 | 0 475.91/476.04 c 475s | 14 | 112046 | 79152 | 61859 1 | 75 | 0 478.42/478.51 c 477s | 14 | 112449 | 79552 | 61859 1 | 75 | 0 480.81/480.92 c 480s | 14 | 112865 | 79952 | 61859 1 | 75 | 0 483.42/483.50 c 482s | 14 | 113189 | 80252 | 61859 1 | 75 | 0 485.72/485.89 c 485s | 14 | 113610 | 80552 | 61859 1 | 75 | 0 487.92/488.02 c 487s | 14 | 113901 | 80852 | 61859 1 | 75 | 0 490.92/491.04 c 490s | 14 | 114423 | 81252 | 61859 1 | 75 | 0 493.22/493.39 c 492s | 14 | 114868 | 81552 | 61859 1 | 75 | 0 495.82/495.93 c 495s | 14 | 115286 | 81952 | 61859 1 | 75 | 0 498.22/498.39 c 497s | 14 | 115716 | 82352 | 61859 1 | 75 | 0 500.42/500.57 c 499s | 14 | 116364 | 82652 | 61859 1 | 75 | 0 502.52/502.63 c 501s | 14 | 116917 | 82952 | 61859 1 | 75 | 0 504.82/504.92 c 504s | 14 | 117360 | 83252 | 61859 1 | 75 | 0 507.21/507.38 c 506s | 14 | 117781 | 83652 | 61859 1 | 75 | 0 509.81/509.99 c 509s | 14 | 118201 | 84052 | 61859 1 | 75 | 0 512.52/512.65 c 511s | 14 | 118622 | 84452 | 61859 1 | 75 | 0 515.21/515.34 c 514s | 14 | 119056 | 84852 | 61859 1 | 75 | 0 517.21/517.36 c 516s | 14 | 119371 | 85152 | 61859 1 | 75 | 0 519.31/519.42 c 518s | 14 | 119701 | 85452 | 61859 1 | 75 | 0 522.01/522.19 c 521s | 14 | 120151 | 85752 | 61859 1 | 75 | 0 524.11/524.25 c 523s | 14 | 120360 | 85952 | 61859 1 | 75 | 0 526.11/526.26 c 525s | 14 | 120682 | 86252 | 61859 1 | 75 | 0 528.21/528.33 c 527s | 14 | 121003 | 86552 | 61859 1 | 75 | 0 530.51/530.65 c 529s | 14 | 121590 | 86852 | 61859 1 | 75 | 0 533.11/533.27 c 532s | 14 | 122040 | 87252 | 68045 1 | 75 | 0 535.31/535.49 c 534s | 14 | 122417 | 87552 | 68045 1 | 75 | 0 535.81/535.97 c 535s | 15 | 122496 | 87632 | 68045 1 | 75 | 0 537.92/538.04 c 537s | 15 | 123085 | 87832 | 68045 1 | 75 | 0 540.51/540.64 c 539s | 15 | 123589 | 88232 | 68045 1 | 75 | 0 542.71/542.83 c 542s | 15 | 124080 | 88532 | 68045 1 | 75 | 0 545.31/545.47 c 544s | 15 | 124790 | 88932 | 68045 1 | 75 | 0 547.31/547.48 c 546s | 15 | 125302 | 89232 | 68045 1 | 75 | 0 549.41/549.51 c 548s | 15 | 125696 | 89532 | 68045 1 | 75 | 0 551.41/551.57 c 550s | 15 | 126262 | 89832 | 68045 1 | 75 | 0 553.81/553.95 c 553s | 15 | 126991 | 90232 | 68045 1 | 75 | 0 556.41/556.59 c 555s | 15 | 127655 | 90632 | 68045 1 | 75 | 0 559.11/559.25 c 558s | 15 | 128443 | 91032 | 68045 1 | 75 | 0 561.21/561.36 c 560s | 15 | 128806 | 91332 | 68045 1 | 75 | 0 563.91/564.05 c 563s | 15 | 129290 | 91732 | 68045 1 | 75 | 0 566.01/566.16 c 565s | 15 | 129592 | 92032 | 68045 1 | 75 | 0 568.61/568.76 c 567s | 15 | 130064 | 92432 | 68045 1 | 75 | 0 571.01/571.15 c 570s | 15 | 130481 | 92832 | 68045 1 | 75 | 0 573.11/573.28 c 572s | 15 | 130912 | 93132 | 68045 1 | 75 | 0 575.21/575.37 c 574s | 15 | 131224 | 93432 | 68045 1 | 75 | 0 577.41/577.55 c 576s | 15 | 132172 | 93832 | 68045 1 | 75 | 0 579.80/579.96 c 579s | 15 | 132742 | 94232 | 68045 1 | 75 | 0 582.80/582.94 c 582s | 15 | 133274 | 94632 | 68045 1 | 75 | 0 585.21/585.35 c 584s | 15 | 133594 | 94932 | 68045 1 | 75 | 0 587.90/588.03 c 587s | 15 | 134065 | 95332 | 68045 1 | 75 | 0 590.20/590.31 c 589s | 15 | 134621 | 95632 | 68045 1 | 75 | 0 592.40/592.57 c 591s | 15 | 135252 | 95932 | 68045 1 | 75 | 0 594.50/594.66 c 593s | 15 | 135797 | 96232 | 68045 1 | 75 | 0 596.70/596.84 c 596s | 15 | 136371 | 96632 | 68045 1 | 75 | 0 599.20/599.37 c 598s | 15 | 136875 | 97032 | 68045 1 | 75 | 0 601.71/601.86 c 601s | 15 | 137363 | 97432 | 68045 1 | 75 | 0 603.81/603.97 c 603s | 15 | 137791 | 97832 | 68045 1 | 75 | 0 606.30/606.44 c 605s | 15 | 138346 | 98232 | 68045 1 | 75 | 0 608.50/608.65 c 607s | 15 | 138742 | 98532 | 68045 1 | 75 | 0 611.00/611.12 c 610s | 15 | 139163 | 98932 | 68045 1 | 75 | 0 613.50/613.66 c 612s | 15 | 139591 | 99332 | 68045 1 | 75 | 0 616.10/616.22 c 615s | 15 | 139996 | 99732 | 68045 1 | 75 | 0 618.40/618.51 c 617s | 15 | 140430 | 100132 | 68045 1 | 75 | 0 620.80/620.94 c 620s | 15 | 140908 | 100532 | 68045 1 | 75 | 0 623.50/623.66 c 622s | 15 | 141311 | 100932 | 68045 1 | 75 | 0 625.80/625.92 c 625s | 15 | 141843 | 101232 | 68045 1 | 75 | 0 628.30/628.49 c 627s | 15 | 142259 | 101632 | 68045 1 | 75 | 0 630.80/630.91 c 630s | 15 | 142662 | 102032 | 68045 1 | 75 | 0 632.80/632.93 c 632s | 15 | 143018 | 102332 | 68045 1 | 75 | 0 634.90/635.07 c 634s | 15 | 143316 | 102632 | 68045 1 | 75 | 0 637.10/637.25 c 636s | 15 | 143615 | 102932 | 68045 1 | 75 | 0 639.10/639.27 c 638s | 15 | 143976 | 103232 | 68045 1 | 75 | 0 641.30/641.43 c 640s | 15 | 144331 | 103532 | 68045 1 | 75 | 0 643.50/643.69 c 642s | 15 | 144738 | 103832 | 68045 1 | 75 | 0 645.89/646.03 c 645s | 15 | 145108 | 104132 | 68045 1 | 75 | 0 647.99/648.16 c 647s | 15 | 145414 | 104432 | 68045 1 | 75 | 0 650.19/650.37 c 649s | 15 | 145733 | 104732 | 68045 1 | 75 | 0 652.30/652.46 c 651s | 15 | 146034 | 105032 | 68045 1 | 75 | 0 654.59/654.72 c 653s | 15 | 146356 | 105332 | 68045 1 | 75 | 0 657.09/657.27 c 656s | 15 | 146661 | 105632 | 68045 1 | 75 | 0 659.90/660.06 c 659s | 15 | 147081 | 105932 | 68045 1 | 75 | 0 662.89/663.00 c 662s | 15 | 147621 | 106232 | 68045 1 | 75 | 0 665.40/665.60 c 664s | 15 | 148119 | 106532 | 68045 1 | 75 | 0 667.49/667.61 c 666s | 15 | 148446 | 106832 | 68045 1 | 75 | 0 669.59/669.75 c 668s | 15 | 148762 | 107132 | 68045 1 | 75 | 0 672.00/672.17 c 671s | 15 | 149130 | 107432 | 68045 1 | 75 | 0 674.09/674.25 c 673s | 15 | 149339 | 107632 | 68045 1 | 75 | 0 676.79/676.95 c 676s | 15 | 149661 | 107932 | 68045 1 | 75 | 0 679.59/679.72 c 678s | 15 | 150025 | 108232 | 68045 1 | 75 | 0 681.69/681.85 c 681s | 15 | 150286 | 108432 | 68045 1 | 75 | 0 684.09/684.29 c 683s | 15 | 150656 | 108732 | 68045 1 | 75 | 0 686.29/686.43 c 685s | 15 | 151143 | 109032 | 68045 1 | 75 | 0 688.39/688.55 c 687s | 15 | 151910 | 109332 | 68045 1 | 75 | 0 690.89/691.05 c 690s | 15 | 152601 | 109632 | 68045 1 | 75 | 0 693.89/694.09 c 693s | 15 | 152838 | 109832 | 68045 2 | 75 | 0 696.49/696.64 c 695s | 15 | 153304 | 110232 | 68045 2 | 75 | 0 698.79/698.93 c 698s | 15 | 153719 | 110532 | 68045 2 | 75 | 0 700.98/701.10 c 700s | 15 | 154132 | 110832 | 68045 2 | 75 | 0 703.28/703.40 c 702s | 15 | 154790 | 111232 | 68045 2 | 75 | 0 705.48/705.63 c 704s | 15 | 155283 | 111632 | 68045 2 | 75 | 0 707.88/708.03 c 707s | 15 | 155719 | 112032 | 68045 2 | 75 | 0 710.08/710.28 c 709s | 15 | 156126 | 112432 | 68045 2 | 75 | 0 712.18/712.37 c 711s | 15 | 156580 | 112832 | 68045 2 | 75 | 0 714.68/714.83 c 714s | 15 | 157101 | 113332 | 68045 2 | 75 | 0 716.78/716.96 c 716s | 15 | 157536 | 113732 | 68045 2 | 75 | 0 719.08/719.25 c 718s | 15 | 157960 | 114132 | 68045 2 | 75 | 0 721.08/721.28 c 720s | 15 | 158380 | 114532 | 68045 2 | 75 | 0 723.28/723.42 c 722s | 15 | 158809 | 114932 | 68045 2 | 75 | 0 725.58/725.79 c 724s | 15 | 159321 | 115432 | 68045 2 | 75 | 0 727.68/727.86 c 727s | 15 | 159660 | 115732 | 68045 2 | 75 | 0 729.98/730.18 c 729s | 15 | 160423 | 116232 | 68045 2 | 75 | 0 732.18/732.39 c 731s | 15 | 161202 | 116632 | 68045 2 | 75 | 0 734.38/734.50 c 733s | 15 | 161732 | 117032 | 68045 2 | 75 | 0 736.38/736.52 c 735s | 15 | 162066 | 117332 | 68045 2 | 75 | 0 739.08/739.26 c 738s | 15 | 162827 | 117732 | 68045 2 | 75 | 0 741.18/741.34 c 740s | 15 | 163575 | 118032 | 68045 2 | 75 | 0 743.78/743.94 c 743s | 15 | 164127 | 118432 | 68045 2 | 75 | 0 745.98/746.16 c 745s | 15 | 164745 | 118832 | 68045 2 | 75 | 0 748.28/748.43 c 747s | 15 | 165332 | 119232 | 68045 2 | 75 | 0 750.48/750.64 c 749s | 15 | 165939 | 119532 | 68045 2 | 75 | 0 752.98/753.19 c 752s | 15 | 166537 | 119932 | 68045 2 | 75 | 0 755.07/755.25 c 754s | 15 | 167426 | 120232 | 68045 2 | 75 | 0 757.67/757.90 c 757s | 15 | 168543 | 120632 | 68045 2 | 75 | 0 759.87/760.00 c 759s | 15 | 170006 | 120932 | 68045 2 | 75 | 0 762.18/762.34 c 761s | 15 | 170829 | 121332 | 68045 2 | 75 | 0 764.17/764.38 c 763s | 15 | 171171 | 121632 | 68045 2 | 75 | 0 766.77/766.91 c 766s | 15 | 171631 | 122032 | 68045 2 | 75 | 0 769.37/769.51 c 768s | 15 | 172118 | 122432 | 68045 2 | 75 | 0 771.67/771.84 c 771s | 15 | 172536 | 122832 | 68045 2 | 75 | 0 774.17/774.37 c 773s | 15 | 173056 | 123232 | 68045 2 | 75 | 0 776.37/776.54 c 775s | 15 | 173469 | 123632 | 68045 2 | 75 | 0 778.57/778.79 c 777s | 15 | 174155 | 124132 | 68045 2 | 75 | 0 781.17/781.33 c 780s | 15 | 174568 | 124532 | 68045 2 | 75 | 0 783.77/783.96 c 783s | 15 | 174975 | 124932 | 68045 2 | 75 | 0 785.87/786.03 c 785s | 15 | 175278 | 125232 | 68045 2 | 75 | 0 788.37/788.59 c 787s | 15 | 175691 | 125632 | 68045 2 | 75 | 0 790.77/790.94 c 790s | 15 | 176111 | 126032 | 68045 2 | 75 | 0 793.27/793.49 c 792s | 15 | 176922 | 126432 | 68045 2 | 75 | 0 795.76/795.91 c 795s | 15 | 177339 | 126832 | 68045 2 | 75 | 0 798.36/798.58 c 797s | 15 | 177738 | 127232 | 68045 2 | 75 | 0 800.56/800.73 c 799s | 15 | 178048 | 127532 | 68045 2 | 75 | 0 802.66/802.80 c 801s | 15 | 178353 | 127832 | 68045 2 | 75 | 0 805.17/805.37 c 804s | 15 | 178774 | 128232 | 68045 2 | 75 | 0 807.76/807.95 c 807s | 15 | 179192 | 128632 | 68045 2 | 75 | 0 809.76/809.97 c 809s | 15 | 179506 | 128932 | 68045 2 | 75 | 0 812.16/812.34 c 811s | 15 | 179898 | 129232 | 68045 2 | 75 | 0 814.16/814.35 c 813s | 15 | 180202 | 129532 | 68045 2 | 75 | 0 816.16/816.35 c 815s | 15 | 180516 | 129832 | 68045 2 | 75 | 0 818.76/818.94 c 818s | 15 | 180925 | 130232 | 68045 2 | 75 | 0 820.86/821.05 c 820s | 15 | 181237 | 130532 | 68045 2 | 75 | 0 822.85/823.08 c 822s | 15 | 181549 | 130832 | 74850 2 | 75 | 0 825.45/825.69 c 824s | 15 | 181949 | 131232 | 74850 2 | 75 | 0 827.55/827.71 c 826s | 15 | 182266 | 131532 | 74850 2 | 75 | 0 827.65/827.89 c 827s | 16 | 182291 | 131552 | 74850 2 | 75 | 0 830.15/830.30 c 829s | 16 | 182829 | 131752 | 74850 2 | 75 | 0 832.35/832.50 c 831s | 16 | 183363 | 132052 | 74850 2 | 75 | 0 834.65/834.87 c 834s | 16 | 183479 | 132152 | 74850 2 | 75 | 0 837.05/837.29 c 836s | 16 | 184042 | 132552 | 74850 2 | 75 | 0 839.15/839.33 c 838s | 16 | 184426 | 132852 | 74850 2 | 75 | 0 841.45/841.62 c 840s | 16 | 184860 | 133252 | 74850 2 | 75 | 0 843.84/844.03 c 843s | 16 | 185285 | 133652 | 74850 2 | 75 | 0 846.04/846.23 c 845s | 16 | 185701 | 134052 | 74850 2 | 75 | 0 848.34/848.56 c 847s | 16 | 186119 | 134452 | 74850 2 | 75 | 0 850.74/850.98 c 850s | 16 | 186529 | 134852 | 74850 2 | 75 | 0 852.84/853.09 c 852s | 16 | 187233 | 135252 | 74850 2 | 75 | 0 854.94/855.19 c 854s | 16 | 187739 | 135652 | 74850 2 | 75 | 0 857.24/857.49 c 856s | 16 | 188365 | 136052 | 74850 2 | 75 | 0 859.44/859.69 c 858s | 16 | 188919 | 136352 | 74850 2 | 75 | 0 862.04/862.26 c 861s | 16 | 189356 | 136752 | 74850 2 | 75 | 0 864.33/864.60 c 863s | 16 | 189804 | 137152 | 74850 2 | 75 | 0 866.53/866.74 c 865s | 16 | 190212 | 137552 | 74850 2 | 75 | 0 868.94/869.12 c 868s | 16 | 191093 | 137952 | 74850 2 | 75 | 0 871.53/871.73 c 870s | 16 | 191632 | 138352 | 74850 2 | 75 | 0 873.53/873.76 c 872s | 16 | 192570 | 138652 | 74850 2 | 75 | 0 875.73/875.92 c 875s | 16 | 192985 | 138952 | 74850 2 | 75 | 0 877.73/877.97 c 877s | 16 | 193293 | 139252 | 74850 2 | 75 | 0 880.23/880.48 c 879s | 16 | 193708 | 139652 | 74850 2 | 75 | 0 882.23/882.49 c 881s | 16 | 194280 | 139952 | 74850 2 | 75 | 0 884.62/884.84 c 884s | 16 | 194740 | 140252 | 74850 2 | 75 | 0 886.62/886.85 c 886s | 16 | 195152 | 140552 | 74850 2 | 75 | 0 888.63/888.88 c 888s | 16 | 195457 | 140852 | 74850 2 | 75 | 0 890.83/891.05 c 890s | 16 | 195764 | 141152 | 74850 2 | 75 | 0 893.52/893.71 c 892s | 16 | 196274 | 141552 | 74850 2 | 75 | 0 895.82/896.04 c 895s | 16 | 196803 | 141852 | 74850 2 | 75 | 0 898.02/898.20 c 897s | 16 | 197180 | 142152 | 74850 2 | 75 | 0 900.52/900.73 c 899s | 16 | 198000 | 142552 | 74850 2 | 75 | 0 902.72/902.99 c 902s | 16 | 198477 | 142952 | 74850 2 | 75 | 0 904.91/905.19 c 904s | 16 | 198816 | 143252 | 74850 2 | 75 | 0 907.21/907.45 c 906s | 16 | 199138 | 143552 | 74850 2 | 75 | 0 909.62/909.87 c 909s | 16 | 199563 | 143952 | 74850 2 | 75 | 0 911.72/911.96 c 911s | 16 | 199881 | 144252 | 74850 2 | 75 | 0 914.11/914.34 c 913s | 16 | 200390 | 144652 | 74850 2 | 75 | 0 916.81/917.03 c 916s | 16 | 200960 | 145052 | 74850 2 | 75 | 0 919.01/919.23 c 918s | 16 | 201274 | 145352 | 74850 2 | 75 | 0 921.61/921.85 c 921s | 16 | 201705 | 145752 | 74850 2 | 75 | 0 923.70/923.99 c 923s | 16 | 202019 | 146052 | 74850 2 | 75 | 0 926.11/926.34 c 925s | 16 | 202331 | 146352 | 74850 2 | 75 | 0 928.70/928.98 c 928s | 16 | 202738 | 146752 | 74850 2 | 75 | 0 931.20/931.42 c 930s | 16 | 203147 | 147152 | 74850 2 | 75 | 0 933.70/933.99 c 933s | 16 | 203555 | 147552 | 74850 2 | 75 | 0 935.80/936.00 c 935s | 16 | 203876 | 147852 | 74850 2 | 75 | 0 938.30/938.55 c 937s | 16 | 204307 | 148252 | 74850 2 | 75 | 0 940.30/940.59 c 939s | 16 | 204616 | 148552 | 74850 2 | 75 | 0 942.50/942.78 c 941s | 16 | 204923 | 148852 | 74850 2 | 75 | 0 944.99/945.21 c 944s | 16 | 205279 | 149152 | 74850 2 | 75 | 0 947.39/947.64 c 946s | 16 | 205697 | 149552 | 74850 2 | 75 | 0 949.99/950.20 c 949s | 16 | 206105 | 149952 | 74850 2 | 75 | 0 952.79/953.04 c 952s | 16 | 206567 | 150252 | 74850 2 | 75 | 0 955.69/955.91 c 955s | 16 | 206785 | 150452 | 74850 2 | 75 | 0 958.68/958.92 c 958s | 16 | 207002 | 150652 | 74850 2 | 75 | 0 960.88/961.15 c 960s | 16 | 207234 | 150852 | 74850 2 | 75 | 0 963.39/963.65 c 962s | 16 | 207517 | 151052 | 74850 2 | 75 | 0 965.48/965.77 c 964s | 16 | 207752 | 151252 | 74850 2 | 75 | 0 967.78/968.02 c 967s | 16 | 208022 | 151452 | 74850 2 | 75 | 0 970.88/971.17 c 970s | 16 | 208376 | 151752 | 74850 2 | 75 | 0 973.57/973.82 c 972s | 16 | 208723 | 152052 | 74850 2 | 75 | 0 976.58/976.86 c 976s | 16 | 209096 | 152252 | 74850 3 | 75 | 0 980.27/980.50 c 979s | 16 | 209320 | 152452 | 74850 3 | 75 | 0 982.87/983.15 c 982s | 16 | 209714 | 152752 | 74850 3 | 75 | 0 985.07/985.37 c 984s | 16 | 209940 | 152952 | 74850 3 | 75 | 0 987.17/987.42 c 986s | 16 | 210163 | 153152 | 74850 3 | 75 | 0 989.57/989.88 c 989s | 16 | 210587 | 153452 | 74850 3 | 75 | 0 992.17/992.41 c 991s | 16 | 210967 | 153752 | 74850 3 | 75 | 0 994.76/995.05 c 994s | 16 | 211314 | 154052 | 74850 3 | 75 | 0 997.57/997.88 c 997s | 16 | 212015 | 154352 | 74850 3 | 75 | 0 999.67/999.95 c 999s | 16 | 212393 | 154652 | 74850 3 | 75 | 0 1001.76/1002.07 c 1001s | 16 | 212811 | 154952 | 74850 3 | 75 | 0 1004.06/1004.35 c 1003s | 16 | 213147 | 155252 | 74850 3 | 75 | 0 1006.26/1006.57 c 1005s | 16 | 213680 | 155552 | 74850 3 | 75 | 0 1008.86/1009.19 c 1008s | 16 | 214071 | 155852 | 74850 3 | 75 | 0 1011.26/1011.53 c 1010s | 16 | 214457 | 156152 | 74850 3 | 75 | 0 1013.75/1014.02 c 1013s | 16 | 214829 | 156452 | 74850 3 | 75 | 0 1016.16/1016.47 c 1015s | 16 | 215426 | 156752 | 74850 3 | 75 | 0 1018.65/1018.91 c 1018s | 16 | 215850 | 157052 | 74850 3 | 75 | 0 1020.75/1021.06 c 1020s | 16 | 216418 | 157352 | 74850 3 | 75 | 0 1023.35/1023.69 c 1022s | 16 | 216945 | 157652 | 74850 3 | 75 | 0 1025.85/1026.12 c 1025s | 16 | 217319 | 157952 | 74850 3 | 75 | 0 1028.05/1028.37 c 1027s | 16 | 217658 | 158252 | 74850 3 | 75 | 0 1030.45/1030.71 c 1029s | 16 | 217988 | 158552 | 74850 3 | 75 | 0 1032.85/1033.14 c 1032s | 16 | 218497 | 158952 | 74850 3 | 75 | 0 1035.44/1035.75 c 1034s | 16 | 219050 | 159352 | 74850 3 | 75 | 0 1038.15/1038.49 c 1037s | 16 | 219531 | 159752 | 74850 3 | 75 | 0 1040.54/1040.83 c 1040s | 16 | 219874 | 160052 | 74850 3 | 75 | 0 1042.65/1042.92 c 1042s | 16 | 220315 | 160352 | 74850 3 | 75 | 0 1044.64/1044.95 c 1044s | 16 | 220677 | 160652 | 74850 3 | 75 | 0 1047.34/1047.66 c 1046s | 16 | 221176 | 161052 | 74850 3 | 75 | 0 1049.84/1050.16 c 1049s | 16 | 221530 | 161352 | 74850 3 | 75 | 0 1052.34/1052.69 c 1051s | 16 | 221989 | 161752 | 74850 3 | 75 | 0 1054.53/1054.87 c 1054s | 16 | 223416 | 162052 | 74850 3 | 75 | 0 1056.94/1057.23 c 1056s | 16 | 224178 | 162552 | 74850 3 | 75 | 0 1059.04/1059.32 c 1058s | 16 | 224701 | 162952 | 74850 3 | 75 | 0 1061.43/1061.74 c 1060s | 16 | 225111 | 163352 | 74850 3 | 75 | 0 1063.54/1063.83 c 1063s | 16 | 225562 | 163752 | 74850 3 | 75 | 0 1065.93/1066.20 c 1065s | 16 | 226122 | 164152 | 74850 3 | 75 | 0 1067.93/1068.29 c 1067s | 16 | 226941 | 164552 | 74850 3 | 75 | 0 1070.13/1070.48 c 1069s | 16 | 227621 | 164952 | 74850 3 | 75 | 0 1072.63/1072.94 c 1072s | 16 | 228748 | 165352 | 74850 3 | 75 | 0 1074.63/1074.96 c 1074s | 16 | 229521 | 165752 | 74850 3 | 75 | 0 1076.83/1077.11 c 1076s | 16 | 230099 | 166252 | 74850 3 | 75 | 0 1078.83/1079.17 c 1078s | 16 | 230534 | 166652 | 74850 3 | 75 | 0 1081.03/1081.32 c 1080s | 16 | 231394 | 167152 | 74850 3 | 75 | 0 1083.42/1083.71 c 1082s | 16 | 232167 | 167652 | 74850 3 | 75 | 0 1085.43/1085.72 c 1084s | 16 | 232576 | 168052 | 74850 3 | 75 | 0 1087.73/1088.02 c 1087s | 16 | 233096 | 168552 | 74850 3 | 75 | 0 1089.93/1090.24 c 1089s | 16 | 233628 | 169052 | 74850 3 | 75 | 0 1092.22/1092.52 c 1091s | 16 | 234498 | 169452 | 74850 3 | 75 | 0 1094.62/1094.94 c 1094s | 16 | 235066 | 169952 | 74850 3 | 75 | 0 1096.92/1097.28 c 1096s | 16 | 235575 | 170352 | 74850 3 | 75 | 0 1099.22/1099.59 c 1098s | 16 | 236069 | 170652 | 74850 3 | 75 | 0 1101.42/1101.73 c 1100s | 16 | 236466 | 170952 | 74850 3 | 75 | 0 1103.51/1103.89 c 1103s | 16 | 236949 | 171252 | 74850 3 | 75 | 0 1106.01/1106.34 c 1105s | 16 | 237343 | 171552 | 74850 3 | 75 | 0 1108.01/1108.39 c 1107s | 16 | 237701 | 171852 | 74850 3 | 75 | 0 1110.41/1110.70 c 1109s | 16 | 238177 | 172252 | 74850 3 | 75 | 0 1112.81/1113.20 c 1112s | 16 | 238727 | 172752 | 74850 3 | 75 | 0 1114.91/1115.25 c 1114s | 16 | 239164 | 173152 | 74850 3 | 75 | 0 1117.11/1117.42 c 1116s | 16 | 239700 | 173652 | 74850 3 | 75 | 0 1119.11/1119.48 c 1118s | 16 | 240235 | 174152 | 74850 3 | 75 | 0 1121.41/1121.79 c 1120s | 16 | 240772 | 174652 | 74850 3 | 75 | 0 1124.10/1124.46 c 1123s | 16 | 241300 | 175152 | 74850 3 | 75 | 0 1126.11/1126.46 c 1125s | 16 | 241728 | 175552 | 74850 3 | 75 | 0 1128.60/1128.90 c 1128s | 16 | 242240 | 176052 | 74850 3 | 75 | 0 1130.70/1131.02 c 1130s | 16 | 242662 | 176452 | 74850 3 | 75 | 0 1133.10/1133.49 c 1132s | 16 | 243177 | 176952 | 74850 3 | 75 | 0 1135.50/1135.87 c 1135s | 16 | 243597 | 177352 | 74850 3 | 75 | 0 1137.60/1137.96 c 1137s | 16 | 244013 | 177752 | 74850 3 | 75 | 0 1140.20/1140.56 c 1139s | 16 | 244529 | 178252 | 74850 3 | 75 | 0 1142.50/1142.83 c 1142s | 16 | 244944 | 178652 | 74850 3 | 75 | 0 1144.69/1145.01 c 1144s | 16 | 245348 | 179052 | 74850 3 | 75 | 0 1146.69/1147.06 c 1146s | 16 | 245757 | 179452 | 74850 3 | 75 | 0 1148.99/1149.35 c 1148s | 16 | 246281 | 179952 | 74850 3 | 75 | 0 1151.79/1152.13 c 1151s | 16 | 246810 | 180252 | 74850 3 | 75 | 0 1154.19/1154.57 c 1153s | 16 | 247198 | 180552 | 74850 3 | 75 | 0 1156.69/1157.05 c 1156s | 16 | 247673 | 180952 | 74850 3 | 75 | 0 1159.09/1159.45 c 1158s | 16 | 248247 | 181352 | 74850 3 | 75 | 0 1161.29/1161.70 c 1160s | 16 | 248585 | 181652 | 74850 3 | 75 | 0 1163.78/1164.19 c 1163s | 16 | 248988 | 181952 | 74850 3 | 75 | 0 1166.48/1166.82 c 1165s | 16 | 249335 | 182252 | 74850 3 | 75 | 0 1168.88/1169.24 c 1168s | 16 | 249881 | 182652 | 74850 3 | 75 | 0 1171.29/1171.63 c 1170s | 16 | 250239 | 182952 | 74850 3 | 75 | 0 1173.49/1173.83 c 1173s | 16 | 250818 | 183252 | 74850 3 | 75 | 0 1175.68/1176.01 c 1175s | 16 | 251200 | 183552 | 74850 3 | 75 | 0 1178.08/1178.44 c 1177s | 16 | 251546 | 183852 | 74850 3 | 75 | 0 1180.48/1180.80 c 1179s | 16 | 251853 | 184152 | 74850 3 | 75 | 0 1182.48/1182.89 c 1182s | 16 | 252245 | 184452 | 74850 3 | 75 | 0 1184.77/1185.12 c 1184s | 16 | 252540 | 184752 | 74850 3 | 75 | 0 1187.47/1187.86 c 1187s | 16 | 252953 | 185152 | 74850 3 | 75 | 0 1189.77/1190.13 c 1189s | 16 | 253543 | 185452 | 74850 3 | 75 | 0 1191.77/1192.18 c 1191s | 16 | 253930 | 185752 | 74850 3 | 75 | 0 1193.97/1194.39 c 1193s | 16 | 254239 | 186052 | 74850 3 | 75 | 0 1196.37/1196.75 c 1195s | 16 | 254679 | 186352 | 74850 3 | 75 | 0 1199.07/1199.46 c 1198s | 16 | 255134 | 186652 | 74850 3 | 75 | 0 1201.77/1202.13 c 1201s | 16 | 255547 | 186952 | 74850 3 | 75 | 0 1204.17/1204.54 c 1203s | 16 | 256035 | 187252 | 74850 3 | 75 | 0 1206.67/1207.09 c 1206s | 16 | 256379 | 187552 | 74850 3 | 75 | 0 1208.87/1209.27 c 1208s | 16 | 256700 | 187852 | 74850 3 | 75 | 0 1211.16/1211.58 c 1210s | 16 | 257007 | 188152 | 74850 3 | 75 | 0 1213.36/1213.73 c 1212s | 16 | 257319 | 188452 | 74850 3 | 75 | 0 1215.86/1216.29 c 1215s | 16 | 257639 | 188752 | 74850 3 | 75 | 0 1218.16/1218.59 c 1217s | 16 | 258011 | 189052 | 74850 3 | 75 | 0 1221.16/1221.57 c 1220s | 16 | 258320 | 189352 | 74850 3 | 75 | 0 1223.46/1223.86 c 1223s | 16 | 258757 | 189652 | 74850 3 | 75 | 0 1225.66/1226.08 c 1225s | 16 | 259104 | 189952 | 74850 3 | 75 | 0 1227.76/1228.20 c 1227s | 16 | 259479 | 190252 | 74850 3 | 75 | 0 1229.86/1230.26 c 1229s | 16 | 260070 | 190552 | 74850 3 | 75 | 0 1232.05/1232.46 c 1231s | 16 | 260406 | 190852 | 74850 3 | 75 | 0 1234.25/1234.63 c 1233s | 16 | 260708 | 191152 | 74850 3 | 75 | 0 1237.05/1237.45 c 1236s | 16 | 261230 | 191552 | 74850 3 | 75 | 0 1239.25/1239.70 c 1238s | 16 | 261530 | 191852 | 74850 3 | 75 | 0 1241.56/1241.94 c 1241s | 16 | 261905 | 192152 | 74850 3 | 75 | 0 1244.14/1244.57 c 1243s | 16 | 262317 | 192552 | 74850 3 | 75 | 0 1246.74/1247.14 c 1246s | 16 | 262765 | 192952 | 74850 3 | 75 | 0 1248.84/1249.22 c 1248s | 16 | 263101 | 193252 | 74850 3 | 75 | 0 1250.84/1251.27 c 1250s | 16 | 263546 | 193652 | 74850 3 | 75 | 0 1252.94/1253.32 c 1252s | 16 | 263856 | 193952 | 74850 3 | 75 | 0 1255.04/1255.45 c 1254s | 16 | 264162 | 194252 | 74850 3 | 75 | 0 1257.74/1258.16 c 1257s | 16 | 264461 | 194552 | 74850 3 | 75 | 0 1260.44/1260.88 c 1260s | 16 | 264883 | 194952 | 74850 3 | 75 | 0 1262.55/1262.98 c 1262s | 16 | 265353 | 195352 | 74850 3 | 75 | 0 1264.64/1265.00 c 1264s | 16 | 265665 | 195652 | 74850 3 | 75 | 0 1266.74/1267.20 c 1266s | 16 | 265985 | 195952 | 74850 3 | 75 | 0 1269.14/1269.56 c 1268s | 16 | 266296 | 196252 | 82335 3 | 75 | 0 1271.34/1271.79 c 1270s | 16 | 266609 | 196552 | 82335 3 | 75 | 0 1273.73/1274.18 c 1273s | 16 | 267027 | 196952 | 82335 3 | 75 | 0 1276.03/1276.41 c 1275s | 16 | 267443 | 197352 | 82335 3 | 75 | 0 1276.43/1276.86 c 1276s | 17 | 267521 | 197432 | 82335 3 | 75 | 0 1281.43/1281.84 c 1281s | 17 | 267831 | 197532 | 82335 4 | 75 | 0 1284.43/1284.80 c 1283s | 17 | 268819 | 197932 | 82335 4 | 75 | 0 1286.73/1287.13 c 1286s | 17 | 269217 | 198232 | 82335 4 | 75 | 0 1288.83/1289.28 c 1288s | 17 | 269788 | 198532 | 82335 4 | 75 | 0 1291.03/1291.43 c 1290s | 17 | 270215 | 198932 | 82335 4 | 75 | 0 1293.52/1293.94 c 1293s | 17 | 270672 | 199332 | 82335 4 | 75 | 0 1295.82/1296.28 c 1295s | 17 | 271123 | 199732 | 82335 4 | 75 | 0 1298.22/1298.64 c 1297s | 17 | 271534 | 200132 | 82335 4 | 75 | 0 1300.52/1300.99 c 1300s | 17 | 272013 | 200532 | 82335 4 | 75 | 0 1302.72/1303.13 c 1302s | 17 | 272432 | 200932 | 82335 4 | 75 | 0 1304.71/1305.19 c 1304s | 17 | 272856 | 201332 | 82335 4 | 75 | 0 1306.81/1307.23 c 1306s | 17 | 273273 | 201732 | 82335 4 | 75 | 0 1308.91/1309.32 c 1308s | 17 | 273690 | 202132 | 82335 4 | 75 | 0 1311.21/1311.60 c 1310s | 17 | 274112 | 202532 | 82335 4 | 75 | 0 1313.21/1313.61 c 1312s | 17 | 274643 | 203032 | 82335 4 | 75 | 0 1315.51/1316.00 c 1315s | 17 | 275266 | 203632 | 82335 4 | 75 | 0 1317.71/1318.12 c 1317s | 17 | 276327 | 204032 | 82335 4 | 75 | 0 1320.01/1320.43 c 1319s | 17 | 277100 | 204532 | 82335 4 | 75 | 0 1322.11/1322.52 c 1321s | 17 | 277624 | 205032 | 82335 4 | 75 | 0 1324.31/1324.77 c 1323s | 17 | 278032 | 205432 | 82335 4 | 75 | 0 1326.61/1327.07 c 1326s | 17 | 278548 | 205932 | 82335 4 | 75 | 0 1328.91/1329.34 c 1328s | 17 | 279073 | 206432 | 82335 4 | 75 | 0 1331.51/1331.94 c 1331s | 17 | 279662 | 206932 | 82335 4 | 75 | 0 1333.60/1334.08 c 1333s | 17 | 280171 | 207432 | 82335 4 | 75 | 0 1336.11/1336.52 c 1335s | 17 | 280637 | 207832 | 82335 4 | 75 | 0 1338.31/1338.72 c 1337s | 17 | 281015 | 208132 | 82335 4 | 75 | 0 1340.70/1341.19 c 1340s | 17 | 281539 | 208532 | 82335 4 | 75 | 0 1343.00/1343.47 c 1342s | 17 | 282014 | 208932 | 82335 4 | 75 | 0 1345.20/1345.68 c 1344s | 17 | 282432 | 209332 | 82335 4 | 75 | 0 1347.80/1348.27 c 1347s | 17 | 282964 | 209832 | 82335 4 | 75 | 0 1350.30/1350.79 c 1349s | 17 | 283426 | 210232 | 82335 4 | 75 | 0 1352.60/1353.09 c 1352s | 17 | 283885 | 210632 | 82335 4 | 75 | 0 1354.80/1355.26 c 1354s | 17 | 284314 | 211032 | 82335 4 | 75 | 0 1357.19/1357.61 c 1356s | 17 | 284755 | 211432 | 82335 4 | 75 | 0 1359.30/1359.72 c 1358s | 17 | 285283 | 211832 | 82335 4 | 75 | 0 1361.59/1362.03 c 1361s | 17 | 285904 | 212332 | 82335 4 | 75 | 0 1364.09/1364.54 c 1363s | 17 | 286515 | 212732 | 82335 4 | 75 | 0 1366.09/1366.55 c 1365s | 17 | 286958 | 213132 | 82335 4 | 75 | 0 1368.59/1369.02 c 1368s | 17 | 287522 | 213532 | 82335 4 | 75 | 0 1370.69/1371.16 c 1370s | 17 | 287885 | 213832 | 82335 4 | 75 | 0 1372.79/1373.29 c 1372s | 17 | 288306 | 214232 | 82335 4 | 75 | 0 1375.58/1376.01 c 1375s | 17 | 288916 | 214632 | 82335 4 | 75 | 0 1377.68/1378.17 c 1377s | 17 | 289266 | 214932 | 82335 4 | 75 | 0 1379.68/1380.17 c 1379s | 17 | 289619 | 215232 | 82335 4 | 75 | 0 1382.08/1382.56 c 1381s | 17 | 290082 | 215632 | 82335 4 | 75 | 0 1384.38/1384.88 c 1384s | 17 | 290641 | 216032 | 82335 4 | 75 | 0 1386.48/1386.91 c 1386s | 17 | 291176 | 216432 | 82335 4 | 75 | 0 1388.48/1388.91 c 1388s | 17 | 291604 | 216832 | 82335 4 | 75 | 0 1390.98/1391.45 c 1390s | 17 | 292395 | 217232 | 82335 4 | 75 | 0 1393.58/1394.05 c 1393s | 17 | 293054 | 217732 | 82335 4 | 75 | 0 1395.97/1396.44 c 1395s | 17 | 293401 | 218032 | 82335 4 | 75 | 0 1398.57/1399.04 c 1398s | 17 | 293881 | 218432 | 82335 4 | 75 | 0 1400.87/1401.38 c 1400s | 17 | 294222 | 218732 | 82335 4 | 75 | 0 1402.97/1403.49 c 1402s | 17 | 294616 | 219032 | 82335 4 | 75 | 0 1405.07/1405.53 c 1404s | 17 | 295104 | 219332 | 82335 4 | 75 | 0 1407.47/1407.92 c 1407s | 17 | 295533 | 219732 | 82335 4 | 75 | 0 1409.57/1410.08 c 1409s | 17 | 295952 | 220132 | 82335 4 | 75 | 0 1411.98/1412.45 c 1411s | 17 | 296422 | 220532 | 82335 4 | 75 | 0 1414.27/1414.72 c 1413s | 17 | 296743 | 220832 | 82335 4 | 75 | 0 1416.57/1417.01 c 1416s | 17 | 297132 | 221132 | 82335 4 | 75 | 0 1418.77/1419.26 c 1418s | 17 | 297557 | 221432 | 82335 4 | 75 | 0 1420.97/1421.42 c 1420s | 17 | 297909 | 221732 | 82335 4 | 75 | 0 1423.27/1423.70 c 1422s | 17 | 298254 | 222032 | 82335 4 | 75 | 0 1425.47/1425.98 c 1425s | 17 | 298671 | 222432 | 82335 4 | 75 | 0 1427.77/1428.24 c 1427s | 17 | 299040 | 222732 | 82335 4 | 75 | 0 1430.27/1430.78 c 1429s | 17 | 299365 | 223032 | 82335 4 | 75 | 0 1432.67/1433.17 c 1432s | 17 | 299816 | 223432 | 82335 4 | 75 | 0 1434.76/1435.24 c 1434s | 17 | 300230 | 223832 | 82335 4 | 75 | 0 1437.16/1437.69 c 1436s | 17 | 300635 | 224232 | 82335 4 | 75 | 0 1439.86/1440.33 c 1439s | 17 | 301106 | 224632 | 82335 4 | 75 | 0 1442.46/1442.97 c 1442s | 17 | 301544 | 225032 | 82335 4 | 75 | 0 1444.66/1445.10 c 1444s | 17 | 301854 | 225332 | 82335 4 | 75 | 0 1446.76/1447.25 c 1446s | 17 | 302199 | 225632 | 82335 4 | 75 | 0 1448.86/1449.39 c 1448s | 17 | 302546 | 225932 | 82335 4 | 75 | 0 1451.46/1451.92 c 1451s | 17 | 303038 | 226332 | 82335 4 | 75 | 0 1453.87/1454.33 c 1453s | 17 | 303464 | 226732 | 82335 4 | 75 | 0 1456.46/1456.99 c 1456s | 17 | 304025 | 227132 | 82335 4 | 75 | 0 1459.16/1459.69 c 1458s | 17 | 304486 | 227532 | 82335 4 | 75 | 0 1461.86/1462.37 c 1461s | 17 | 304912 | 227932 | 82335 4 | 75 | 0 1464.36/1464.81 c 1463s | 17 | 305356 | 228332 | 82335 4 | 75 | 0 1466.36/1466.88 c 1466s | 17 | 305671 | 228632 | 82335 4 | 75 | 0 1468.96/1469.41 c 1468s | 17 | 306085 | 229032 | 82335 4 | 75 | 0 1470.96/1471.44 c 1470s | 17 | 306396 | 229332 | 82335 4 | 75 | 0 1472.96/1473.44 c 1472s | 17 | 306757 | 229632 | 82335 4 | 75 | 0 1475.06/1475.51 c 1474s | 17 | 307162 | 229932 | 82335 4 | 75 | 0 1477.56/1478.02 c 1477s | 17 | 307595 | 230332 | 82335 4 | 75 | 0 1479.86/1480.36 c 1479s | 17 | 308008 | 230732 | 82335 4 | 75 | 0 1482.46/1482.99 c 1482s | 17 | 308418 | 231132 | 82335 4 | 75 | 0 1485.06/1485.51 c 1484s | 17 | 308839 | 231532 | 82335 4 | 75 | 0 1487.36/1487.86 c 1487s | 17 | 309256 | 231932 | 82335 4 | 75 | 0 1489.86/1490.32 c 1489s | 17 | 309655 | 232332 | 82335 4 | 75 | 0 1492.06/1492.54 c 1491s | 17 | 310085 | 232632 | 82335 4 | 75 | 0 1494.65/1495.19 c 1494s | 17 | 310506 | 233032 | 82335 4 | 75 | 0 1497.15/1497.60 c 1496s | 17 | 310823 | 233332 | 82335 4 | 75 | 0 1499.75/1500.24 c 1499s | 17 | 311261 | 233632 | 82335 4 | 75 | 0 1502.16/1502.61 c 1501s | 17 | 311565 | 233932 | 82335 4 | 75 | 0 1504.65/1505.19 c 1504s | 17 | 311984 | 234332 | 82335 4 | 75 | 0 1507.35/1507.82 c 1506s | 17 | 312392 | 234732 | 82335 4 | 75 | 0 1509.96/1510.44 c 1509s | 17 | 312808 | 235132 | 82335 4 | 75 | 0 1512.45/1512.91 c 1512s | 17 | 313234 | 235532 | 82335 4 | 75 | 0 1514.75/1515.29 c 1514s | 17 | 313648 | 235932 | 82335 4 | 75 | 0 1517.56/1518.01 c 1517s | 17 | 314131 | 236232 | 82335 4 | 75 | 0 1520.25/1520.72 c 1519s | 17 | 315099 | 236532 | 82335 4 | 75 | 0 1522.85/1523.33 c 1522s | 17 | 315448 | 236832 | 82335 4 | 75 | 0 1525.36/1525.84 c 1525s | 17 | 316102 | 237132 | 82335 4 | 75 | 0 1527.66/1528.19 c 1527s | 17 | 316636 | 237432 | 82335 4 | 75 | 0 1530.26/1530.73 c 1529s | 17 | 317043 | 237732 | 82335 4 | 75 | 0 1532.86/1533.40 c 1532s | 17 | 317377 | 238032 | 82335 4 | 75 | 0 1535.06/1535.51 c 1534s | 17 | 317688 | 238332 | 82335 4 | 75 | 0 1537.36/1537.89 c 1537s | 17 | 318122 | 238632 | 82335 4 | 75 | 0 1540.06/1540.52 c 1539s | 17 | 318825 | 238932 | 82335 4 | 75 | 0 1542.56/1543.03 c 1542s | 17 | 319449 | 239232 | 82335 4 | 75 | 0 1544.86/1545.38 c 1544s | 17 | 319848 | 239532 | 82335 4 | 75 | 0 1547.15/1547.67 c 1546s | 17 | 320156 | 239832 | 82335 4 | 75 | 0 1549.25/1549.76 c 1548s | 17 | 320465 | 240132 | 82335 4 | 75 | 0 1551.25/1551.79 c 1550s | 17 | 320773 | 240432 | 82335 4 | 75 | 0 1553.35/1553.82 c 1552s | 17 | 321516 | 240632 | 82335 4 | 75 | 0 1559.85/1560.31 c 1559s | 17 | 321967 | 240932 | 82335 5 | 75 | 0 1562.15/1562.64 c 1561s | 17 | 322294 | 241232 | 82335 5 | 75 | 0 1564.35/1564.80 c 1563s | 17 | 322566 | 241432 | 82335 5 | 75 | 0 1567.25/1567.70 c 1566s | 17 | 322943 | 241732 | 82335 5 | 75 | 0 1569.65/1570.18 c 1569s | 17 | 323381 | 242132 | 82335 5 | 75 | 0 1572.35/1572.84 c 1572s | 17 | 323726 | 242432 | 82335 5 | 75 | 0 1574.55/1575.06 c 1574s | 17 | 324039 | 242732 | 82335 5 | 75 | 0 1576.65/1577.10 c 1576s | 17 | 324388 | 243032 | 82335 5 | 75 | 0 1578.95/1579.41 c 1578s | 17 | 324679 | 243332 | 82335 5 | 75 | 0 1581.35/1581.87 c 1581s | 17 | 325083 | 243732 | 82335 5 | 75 | 0 1583.85/1584.32 c 1583s | 17 | 325512 | 244132 | 82335 5 | 75 | 0 1586.04/1586.54 c 1585s | 17 | 325923 | 244532 | 82335 5 | 75 | 0 1588.64/1589.17 c 1588s | 17 | 326356 | 244932 | 82335 5 | 75 | 0 1591.14/1591.66 c 1590s | 17 | 326804 | 245332 | 82335 5 | 75 | 0 1593.55/1594.07 c 1593s | 17 | 327263 | 245732 | 82335 5 | 75 | 0 1596.14/1596.62 c 1595s | 17 | 327754 | 246132 | 82335 5 | 75 | 0 1600.34/1600.83 c 1600s | 17 | 328121 | 246332 | 82335 5 | 75 | 0 1602.74/1603.22 c 1602s | 17 | 329141 | 246732 | 82335 5 | 75 | 0 1605.65/1606.15 c 1605s | 17 | 329620 | 247132 | 82335 5 | 75 | 0 1608.44/1608.90 c 1608s | 17 | 329995 | 247432 | 82335 5 | 75 | 0 1610.44/1610.93 c 1610s | 17 | 330358 | 247732 | 82335 5 | 75 | 0 1612.74/1613.26 c 1612s | 17 | 330769 | 248132 | 82335 5 | 75 | 0 1615.55/1616.01 c 1615s | 17 | 331255 | 248532 | 82335 5 | 75 | 0 1618.24/1618.78 c 1617s | 17 | 331588 | 248832 | 82335 5 | 75 | 0 1620.44/1620.97 c 1620s | 17 | 332055 | 249132 | 82335 5 | 75 | 0 1622.64/1623.16 c 1622s | 17 | 332377 | 249432 | 82335 5 | 75 | 0 1625.14/1625.68 c 1624s | 17 | 332872 | 249832 | 82335 5 | 75 | 0 1627.65/1628.14 c 1627s | 17 | 333473 | 250232 | 82335 5 | 75 | 0 1629.64/1630.16 c 1629s | 17 | 333941 | 250532 | 82335 5 | 75 | 0 1631.84/1632.30 c 1631s | 17 | 334585 | 250832 | 82335 5 | 75 | 0 1634.34/1634.84 c 1634s | 17 | 335000 | 251232 | 82335 5 | 75 | 0 1636.94/1637.41 c 1636s | 17 | 335529 | 251632 | 82335 5 | 75 | 0 1639.44/1639.93 c 1639s | 17 | 335952 | 252032 | 82335 5 | 75 | 0 1641.54/1642.06 c 1641s | 17 | 336254 | 252332 | 82335 5 | 75 | 0 1644.24/1644.71 c 1643s | 17 | 336658 | 252732 | 82335 5 | 75 | 0 1646.74/1647.27 c 1646s | 17 | 337094 | 253132 | 82335 5 | 75 | 0 1648.84/1649.30 c 1648s | 17 | 337409 | 253432 | 82335 5 | 75 | 0 1651.54/1652.09 c 1651s | 17 | 337840 | 253832 | 82335 5 | 75 | 0 1653.74/1654.20 c 1653s | 17 | 338211 | 254132 | 82335 5 | 75 | 0 1656.14/1656.64 c 1655s | 17 | 338628 | 254532 | 82335 5 | 75 | 0 1658.53/1659.00 c 1658s | 17 | 339171 | 254932 | 82335 5 | 75 | 0 1660.64/1661.17 c 1660s | 17 | 339580 | 255332 | 82335 5 | 75 | 0 1662.93/1663.48 c 1662s | 17 | 340528 | 255732 | 82335 5 | 75 | 0 1665.23/1665.71 c 1664s | 17 | 340864 | 256032 | 82335 5 | 75 | 0 1667.33/1667.88 c 1667s | 17 | 341441 | 256332 | 82335 5 | 75 | 0 1669.44/1669.94 c 1669s | 17 | 341777 | 256632 | 82335 5 | 75 | 0 1671.93/1672.48 c 1671s | 17 | 342429 | 257032 | 82335 5 | 75 | 0 1674.43/1674.91 c 1674s | 17 | 342867 | 257432 | 82335 5 | 75 | 0 1676.43/1676.99 c 1676s | 17 | 343186 | 257732 | 82335 5 | 75 | 0 1679.13/1679.62 c 1678s | 17 | 343621 | 258132 | 82335 5 | 75 | 0 1681.54/1682.01 c 1681s | 17 | 344040 | 258532 | 82335 5 | 75 | 0 1684.13/1684.62 c 1683s | 17 | 344458 | 258932 | 82335 5 | 75 | 0 1686.13/1686.69 c 1685s | 17 | 344875 | 259232 | 82335 5 | 75 | 0 1688.73/1689.29 c 1688s | 17 | 345286 | 259632 | 82335 5 | 75 | 0 1690.83/1691.36 c 1690s | 17 | 345613 | 259932 | 82335 5 | 75 | 0 1693.23/1693.77 c 1692s | 17 | 346025 | 260332 | 82335 5 | 75 | 0 1695.74/1696.27 c 1695s | 17 | 346449 | 260732 | 82335 5 | 75 | 0 1697.83/1698.34 c 1697s | 17 | 346773 | 261032 | 82335 5 | 75 | 0 1700.13/1700.61 c 1699s | 17 | 347186 | 261432 | 82335 5 | 75 | 0 1702.33/1702.88 c 1702s | 17 | 347600 | 261832 | 82335 5 | 75 | 0 1704.93/1705.48 c 1704s | 17 | 348008 | 262232 | 82335 5 | 75 | 0 1707.53/1708.09 c 1707s | 17 | 348424 | 262632 | 82335 5 | 75 | 0 1709.73/1710.22 c 1709s | 17 | 348734 | 262932 | 82335 5 | 75 | 0 1712.13/1712.68 c 1711s | 17 | 349191 | 263232 | 82335 5 | 75 | 0 1714.43/1714.92 c 1714s | 17 | 349461 | 263432 | 82335 5 | 75 | 0 1716.83/1717.32 c 1716s | 17 | 349776 | 263732 | 82335 5 | 75 | 0 1719.03/1719.56 c 1718s | 17 | 350185 | 264032 | 82335 5 | 75 | 0 1721.13/1721.61 c 1720s | 17 | 350505 | 264332 | 82335 5 | 75 | 0 1723.23/1723.80 c 1722s | 17 | 350924 | 264632 | 82335 5 | 75 | 0 1726.12/1726.60 c 1725s | 17 | 351336 | 264932 | 82335 5 | 75 | 0 1728.42/1728.96 c 1728s | 17 | 351791 | 265332 | 82335 5 | 75 | 0 1730.62/1731.17 c 1730s | 17 | 352172 | 265632 | 82335 5 | 75 | 0 1732.82/1733.32 c 1732s | 17 | 352470 | 265932 | 82335 5 | 75 | 0 1735.33/1735.80 c 1734s | 17 | 352819 | 266232 | 82335 5 | 75 | 0 1737.92/1738.40 c 1737s | 17 | 353170 | 266532 | 82335 5 | 75 | 0 1740.42/1740.93 c 1740s | 17 | 353475 | 266832 | 82335 5 | 75 | 0 1742.92/1743.46 c 1742s | 17 | 353767 | 267132 | 82335 5 | 75 | 0 1745.02/1745.54 c 1744s | 17 | 353985 | 267332 | 82335 5 | 75 | 0 1747.62/1748.17 c 1747s | 17 | 354304 | 267632 | 82335 5 | 75 | 0 1750.12/1750.69 c 1749s | 17 | 354620 | 267932 | 82335 5 | 75 | 0 1752.82/1753.33 c 1752s | 17 | 354923 | 268232 | 82335 5 | 75 | 0 1755.02/1755.50 c 1754s | 17 | 355251 | 268532 | 82335 5 | 75 | 0 1757.62/1758.15 c 1757s | 17 | 355664 | 268932 | 82335 5 | 75 | 0 1760.12/1760.67 c 1759s | 17 | 355966 | 269232 | 82335 5 | 75 | 0 1762.83/1763.34 c 1762s | 17 | 356272 | 269532 | 82335 5 | 75 | 0 1765.02/1765.55 c 1764s | 17 | 356589 | 269832 | 82335 5 | 75 | 0 1767.22/1767.72 c 1766s | 17 | 356907 | 270132 | 82335 5 | 75 | 0 1769.92/1770.40 c 1769s | 17 | 357326 | 270532 | 82335 5 | 75 | 0 1772.42/1772.93 c 1772s | 17 | 357627 | 270832 | 82335 5 | 75 | 0 1775.02/1775.53 c 1774s | 17 | 357936 | 271132 | 82335 5 | 75 | 0 1777.42/1777.99 c 1777s | 17 | 358243 | 271432 | 82335 5 | 75 | 0 1779.82/1780.39 c 1779s | 17 | 358570 | 271732 | 82335 5 | 75 | 0 1782.22/1782.75 c 1781s | 17 | 358884 | 272032 | 82335 5 | 75 | 0 1784.92/1785.43 c 1784s | 17 | 359290 | 272432 | 82335 5 | 75 | 0 1787.22/1787.75 c 1786s | 17 | 359608 | 272732 | 82335 5 | 75 | 0 1789.81/1790.38 c 1789s | 17 | 359919 | 273032 | 82335 5 | 75 | 0 1792.11/1792.62 c 1791s | 17 | 360231 | 273332 | 82335 5 | 75 | 0 1794.41/1794.98 c 1794s | 17 | 360551 | 273632 | 82335 5 | 75 | 0 1796.81/1797.36 c 1796s | 17 | 360864 | 273932 | 82335 5 | 75 | 0 1799.12/1799.69 c 1798s | 17 | 361171 | 274232 | 82335 5 | 75 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079335-1465345758/watcher-4079335-1465345758 -o /tmp/evaluation-result-4079335-1465345758/solver-4079335-1465345758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079335-1465345758.opb pid=23203 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.16 2.19 2.18 4/179 23206 /proc/meminfo: memFree=29117552/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=705092 CPUtime=0 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 2629 0 0 0 0 0 0 0 20 0 4 0 116508188 722014208 2989 33554432000 4194304 16246674 140735142074272 140735142073696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 176785 2998 442 2943 0 173679 0 [pid=23206/tid=23207] ppid=23203 vsize=721476 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 738791424 3055 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=725572 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 742985728 3072 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=729668 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 747180032 3088 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.16 2.19 2.18 4/179 23206 /proc/meminfo: memFree=29117552/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 28452 0 0 0 5 4 0 0 20 0 4 0 116508188 1332285440 28750 33554432000 4194304 16246674 140735142074272 140735142073584 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 325265 28765 802 2943 0 322159 0 [pid=23206/tid=23207] ppid=23203 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1332285440 28775 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1332285440 28787 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1332285440 28798 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200567 s] /proc/loadavg: 2.16 2.19 2.18 4/179 23206 /proc/meminfo: memFree=29117552/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 49092 0 0 0 12 7 0 0 20 0 4 0 116508188 1344868352 49901 33554432000 4194304 16246674 140735142074272 140735142073584 7889624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 328337 49901 802 2943 0 325231 0 [pid=23206/tid=23207] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 49901 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 49901 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 49901 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300528 s] /proc/loadavg: 2.16 2.19 2.18 4/179 23206 /proc/meminfo: memFree=29117552/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 54601 0 0 0 21 8 0 0 20 0 4 0 116508188 1344868352 55410 33554432000 4194304 16246674 140735142074272 140735142073584 4220982 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 328337 55410 813 2943 0 325231 0 [pid=23206/tid=23207] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 55410 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 55410 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 55410 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700402 s] /proc/loadavg: 2.16 2.19 2.18 4/179 23206 /proc/meminfo: memFree=29117552/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 96022 0 0 0 55 14 0 0 20 0 4 0 116508188 1344868352 96831 33554432000 4194304 16246674 140735142074272 140735142073584 6156109 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 328337 96841 845 2943 0 325231 0 [pid=23206/tid=23207] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 96846 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 96851 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 96857 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.23 2.20 2.18 4/183 23210 /proc/meminfo: memFree=28557376/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 159974 0 0 0 126 23 0 0 20 0 4 0 116508188 1344868352 160783 33554432000 4194304 16246674 140735142074272 140735142056192 5601746 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 328337 160785 888 2943 0 325231 0 [pid=23206/tid=23207] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 160787 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 160788 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 160789 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.23 2.20 2.18 4/183 23210 /proc/meminfo: memFree=28294992/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 254752 0 0 0 273 36 0 0 20 0 4 0 116508188 1344868352 255561 33554432000 4194304 16246674 140735142074272 140735142056192 13943668 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 328337 255562 888 2943 0 325231 0 [pid=23206/tid=23207] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 255566 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 255572 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1344868352 255574 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30041 s] /proc/loadavg: 2.23 2.20 2.18 4/183 23210 /proc/meminfo: memFree=28030136/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1322564 CPUtime=6.29 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 271321 0 0 0 591 38 0 0 20 0 4 0 116508188 1354305536 272130 33554432000 4194304 16246674 140735142074272 140735142056192 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 330641 272130 891 2943 0 327535 0 [pid=23206/tid=23207] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272130 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272130 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272130 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1322564 [startup+12.7004 s] /proc/loadavg: 2.27 2.21 2.18 4/183 23210 /proc/meminfo: memFree=28029196/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1322564 CPUtime=12.69 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 271326 0 0 0 1231 38 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140735142056192 5824932 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 330641 272135 895 2943 0 327535 0 [pid=23206/tid=23207] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1322564 [startup+25.5005 s] /proc/loadavg: 2.31 2.22 2.19 3/183 23210 /proc/meminfo: memFree=28029708/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1322564 CPUtime=25.48 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 271326 0 0 0 2510 38 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140735142056192 5676090 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 330641 272135 895 2943 0 327535 0 [pid=23206/tid=23207] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1322564 [startup+51.1005 s] /proc/loadavg: 2.20 2.20 2.18 3/184 23213 /proc/meminfo: memFree=28028136/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1322564 CPUtime=51.08 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 271326 0 0 0 5070 38 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140735142056192 13774516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 330641 272135 895 2943 0 327535 0 [pid=23206/tid=23207] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1322564 [startup+102.301 s] /proc/loadavg: 2.16 2.19 2.18 4/184 23214 /proc/meminfo: memFree=28027924/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1322564 CPUtime=102.28 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 271326 0 0 0 10190 38 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140735142056192 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 330641 272135 895 2943 0 327535 0 [pid=23206/tid=23207] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1354305536 272135 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1322564 ################ # More data... # ################ /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1374788 [startup+1362.3 s] /proc/loadavg: 1.13 1.45 1.83 2/173 23276 /proc/meminfo: memFree=29125048/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1361.89 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284729 0 0 0 136147 42 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1374788 [startup+1422.3 s] /proc/loadavg: 1.31 1.44 1.80 2/173 23277 /proc/meminfo: memFree=29125144/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1421.87 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284762 0 0 0 142145 42 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1374788 [startup+1482.3 s] /proc/loadavg: 1.16 1.37 1.75 2/173 23278 /proc/meminfo: memFree=29125164/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1481.86 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 148144 42 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1374788 [startup+1542.31 s] /proc/loadavg: 1.13 1.33 1.71 2/173 23280 /proc/meminfo: memFree=29125032/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1541.86 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 154143 43 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5828829 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1374788 [startup+1602.3 s] /proc/loadavg: 1.23 1.33 1.69 2/173 23281 /proc/meminfo: memFree=29125040/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1601.84 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 160140 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5677572 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1374788 [startup+1662.3 s] /proc/loadavg: 1.30 1.33 1.66 2/173 23282 /proc/meminfo: memFree=29125280/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1661.83 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 166139 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1374788 [startup+1722.3 s] /proc/loadavg: 1.31 1.31 1.63 2/173 23283 /proc/meminfo: memFree=29125400/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1721.83 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 172139 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5672222 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1374788 [startup+1782.3 s] /proc/loadavg: 1.21 1.28 1.60 2/173 23284 /proc/meminfo: memFree=29125280/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1781.82 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 178138 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1374788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.16 1.27 1.59 2/173 23284 /proc/meminfo: memFree=29125288/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1800.01 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 179957 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1374788 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 23206 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.16 1.27 1.59 2/173 23284 /proc/meminfo: memFree=29125288/32872528 swapFree=16636/1570076 [pid=23206] ppid=23203 vsize=1374788 CPUtime=1800.01 cores=0,2,4,6 /proc/23206/stat : 23206 (toysat) R 23203 23206 2168 0 -1 4202496 284764 0 0 0 179957 44 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140735142056192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/23206/statm: 343697 285451 899 2943 0 340591 0 [pid=23206/tid=23207] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23207/stat : 23207 (toysat) S 23203 23206 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647215377648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=23206/tid=23208] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23208/stat : 23208 (toysat) S 23203 23206 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647204887792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=23206/tid=23209] ppid=23203 vsize=1374788 CPUtime=0 cores=0,2,4,6 /proc/23206/task/23209/stat : 23209 (toysat) S 23203 23206 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 116508188 1407782912 285451 33554432000 4194304 16246674 140735142074272 140647092710576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1374788 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.443932 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1374788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.443932 maximum resident set size= 1141804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284764 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= 394 involuntary context switches= 1833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.7402 second user time and 15.4636 second system time The end
Begin job on node140 at 2016-06-08 02:29:18 IDJOB=4079335 IDBENCH=92785 IDSOLVER=2542 FILE ID=node140/4079335-1465345758 RUNJOBID= node140-1465312758-19943 PBS_JOBID= 19850417 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_8_ic.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079335-1465345758/watcher-4079335-1465345758 -o /tmp/evaluation-result-4079335-1465345758/solver-4079335-1465345758 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079335-1465345758.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c59785e6f20fb8a9ed43144b528a9d33 RANDOM SEED=530896646 node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.768 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.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.768 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29117180 kB Buffers: 82280 kB Cached: 227624 kB SwapCached: 1504 kB Active: 1277012 kB Inactive: 158452 kB Active(anon): 1121320 kB Inactive(anon): 6504 kB Active(file): 155692 kB Inactive(file): 151948 kB Unevictable: 1570076 kB Mlocked: 16636 kB SwapTotal: 67108856 kB SwapFree: 67098752 kB Dirty: 17448 kB Writeback: 24 kB AnonPages: 2621376 kB Mapped: 10808 kB Shmem: 0 kB Slab: 614380 kB SReclaimable: 58168 kB SUnreclaim: 556212 kB KernelStack: 1480 kB PageTables: 9288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2838988 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1497088 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= 71724 MiB End job on node140 at 2016-06-08 02:59:19