| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-stp3d.opb |
| MD5SUM | 1cc8070e576e6483e1f532bdbbfa41dd |
| 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 | 204880 |
| Total number of constraints | 159488 |
| Number of constraints which are clauses | 129232 |
| Number of constraints which are cardinality constraints (but not clauses) | 5805 |
| Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 120 |
| Number of terms in the objective function | 75648 |
| Biggest coefficient in the objective function | 100303 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 7576266096 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 100303 |
| Number of bits of the biggest number in a constraint | 17 |
| Biggest sum of numbers in a constraint | 7576266096 |
| Number of bits of the biggest sum of numbers | 33 |
| 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-07T08:25:32+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-4079223-1465280731.opb"] 0.00/0.01 c use --random-gen="3106295371 2674454326 3755375931 4030292027 2617182180 1641541501 2779594114 304666208 3193416939 206561300 2971086828 3057395803 1735426611 607367080 3598426685 2111009314 3941314876 2851277723 552579057 111900990 4054584047 393859635 3363623838 2390829546 3666982715 3182087470 3320574092 1821669030 391480160 130357818 2817105427 3849258752 194178541 2777214294 713772782 1328881626 3627897060 2097066193 582734706 2418613169 4231242464 898110466 2509321456 3826642355 4146089012 2489489720 1318495522 712405752 780742666 3501202035 3645346656 2627742248 198233948 3739259640 945461390 1831987780 2336740700 2942162403 2952999089 685060075 1073346769 4048911579 2318037504 1286449787 3449846872 3827261505 1577838135 2116294730 3348520919 1250707332 2258418192 4055418308 1984043231 3285821862 2631671331 2255182879 1882969894 667594936 820559780 2197161063 4227011329 1707090918 3340133316 4059377092 4112661836 1864877436 2727003753 1236228835 1986203249 1570509436 3272760482 3140145857 3613464816 1806512540 2706668125 2396410027 1731585107 860577872 3369784798 269419202 3149502391 615406807 2849122609 443766128 191367860 1773764595 1751969672 382162193 799426503 1837576105 1562435241 752286903 2844042370 2690349737 2154107947 294003387 1005371802 4006392735 1272539378 3410389240 2462164908 3664639479 2568025976 4122962253 3945147610 2765551075 1388628216 1696299507 2501542479 230930049 1257300174 381230884 483218177 2569274725 1804391661 2228112489 1832642335 2838912332 4241252632 1489902213 66894179 972701184 1357637495 2515982045 1509939172 2699504930 1534638209 2117036215 965321976 3498976064 3816830444 344299842 2283665679 3038508788 2406435965 116865122 4038028707 3174106657 818579198 4274543146 2069091992 1669000681 1675213213 2907266681 146336387 737416485 4222403594 1440198011 4207913146 1455366705 353155570 652839309 3493137908 3104390427 2137511214 1801906352 3373205465 139288633 1370055931 1328855372 4058445464 2293795599 3653280306 2069404995 814858550 1178807037 361129283 4287675323 491108559 1167966008 3483142910 2364037635 3115078320 3971556296 2042727009 706279175 276663240 2842762370 2176690028 3595275325 1235559572 1699502484 1041819518 2352070417 3083431637 2195898390 1069011534 3302717790 650246071 2943906278 1495736854 3469709045 3651716570 382006241 881702185 3432817542 1090599324 3769340945 2236354085 3485048993 1302356926 3774136044 535572005 1458584625 1277455182 842685447 305436012 3929215169 3778956235 1770706473 422588379 3375136032 2763591899 598964463 3347088165 739001223 2502002504 1638755765 4263841758 2863383806 2963688250 847661513 83061085 497649566 3564411400 1436302674 1605940394 1717190953 1971329424 1083268393 3512845853 656456580 303475516 316209366 1768295774 323174482 255 362436" option to reproduce the execution 1.38/1.49 c #vars 204880 1.38/1.49 c #constraints 159488 5.29/5.38 c BCD2: Hardening is enabled. 5.29/5.38 c BCD2: BiasedSearch is enabled. 5.29/5.38 c Solving starts ... 5.29/5.38 c ============================[ Search Statistics ]============================ 5.29/5.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.29/5.38 c | | | | Limit GC | Var | Constra 5.29/5.38 c ============================================================================= 5.39/5.49 c 0.0s | 0 | 0 | 0 | 128446 0 | 16811 | 0 6.39/6.41 c 0.9s | 1 | 944 | 100 | 128446 0 | 16816 | 16534 8.59/8.67 c 3.2s | 2 | 6531 | 250 | 141291 0 | 18096 | 17626 10.89/10.97 c 5.5s | 2 | 14969 | 350 | 155421 0 | 19786 | 19050 11.69/11.74 c 6.3s | 3 | 16390 | 475 | 155421 0 | 21512 | 20558 12.59/12.64 c 7.1s | 4 | 17677 | 813 | 170964 0 | 21512 | 20558 14.69/14.76 c 9.3s | 4 | 22887 | 1213 | 188061 0 | 22396 | 21381 14.79/14.89 c 9.4s | 5 | 23303 | 1320 | 188061 0 | 22396 | 21381 16.69/16.78 c 11.3s | 6 | 26626 | 2081 | 227555 0 | 22399 | 21384 19.19/19.26 c 13.8s | 6 | 33126 | 2281 | 227555 0 | 22399 | 21384 21.49/21.53 c 16.0s | 6 | 34255 | 2881 | 227555 0 | 22399 | 21384 22.89/22.98 c 17.5s | 7 | 34807 | 3223 | 250311 0 | 22399 | 21384 25.79/25.83 c 20.3s | 7 | 38998 | 4023 | 250311 0 | 22399 | 21384 27.89/27.93 c 22.4s | 7 | 42350 | 4523 | 250311 0 | 22399 | 21384 28.99/29.03 c 23.5s | 8 | 43894 | 4936 | 275343 0 | 22399 | 21384 31.29/31.31 c 25.8s | 8 | 48811 | 5236 | 275343 0 | 22403 | 21387 33.29/33.32 c 27.8s | 8 | 52507 | 5636 | 275343 0 | 22403 | 21387 35.69/35.77 c 30.3s | 8 | 53216 | 6036 | 275343 0 | 22403 | 21387 37.69/37.78 c 32.3s | 8 | 53742 | 6336 | 275343 0 | 22403 | 21387 39.88/39.99 c 34.5s | 8 | 54454 | 6736 | 275343 0 | 22403 | 21387 42.28/42.37 c 36.9s | 8 | 55326 | 7136 | 275343 0 | 22403 | 21387 44.78/44.80 c 39.3s | 9 | 57170 | 7506 | 302878 0 | 22403 | 21387 46.78/46.80 c 41.3s | 9 | 60848 | 8206 | 302878 0 | 22403 | 21387 48.78/48.85 c 43.4s | 9 | 64757 | 8806 | 302878 0 | 22405 | 21388 50.88/50.90 c 45.4s | 9 | 66969 | 9406 | 302878 0 | 22405 | 21388 53.08/53.15 c 47.7s | 9 | 71352 | 10106 | 302878 0 | 22405 | 21388 55.09/55.15 c 49.7s | 9 | 74095 | 10606 | 302878 0 | 22405 | 21388 57.38/57.46 c 52.0s | 9 | 75203 | 11106 | 302878 0 | 22405 | 21388 58.39/58.44 c 52.9s | 10 | 75761 | 11361 | 333166 0 | 22405 | 21388 60.78/60.89 c 55.4s | 10 | 80659 | 11861 | 333166 0 | 22408 | 21390 63.08/63.11 c 57.6s | 10 | 82260 | 12561 | 333166 0 | 22408 | 21390 65.38/65.45 c 60.0s | 10 | 83472 | 13261 | 333166 0 | 22408 | 21390 67.68/67.73 c 62.2s | 10 | 84782 | 13961 | 333166 0 | 22408 | 21390 69.78/69.83 c 64.3s | 10 | 85601 | 14461 | 333166 0 | 22408 | 21390 71.98/72.03 c 66.5s | 10 | 86665 | 15061 | 333166 0 | 22408 | 21390 73.98/74.06 c 68.6s | 10 | 87490 | 15561 | 333166 0 | 22408 | 21390 76.18/76.24 c 70.7s | 10 | 88380 | 16061 | 333166 0 | 22408 | 21390 78.58/78.64 c 73.2s | 10 | 89398 | 16661 | 333166 0 | 22408 | 21390 80.58/80.66 c 75.2s | 11 | 90188 | 17144 | 366483 0 | 22408 | 21390 83.08/83.11 c 77.6s | 11 | 94264 | 17444 | 366483 0 | 22411 | 21392 85.18/85.24 c 79.7s | 11 | 98130 | 17844 | 366483 0 | 22411 | 21392 87.28/87.38 c 81.9s | 11 | 102395 | 18444 | 366483 0 | 22411 | 21392 89.78/89.82 c 84.3s | 11 | 108455 | 18944 | 366483 0 | 22411 | 21392 91.88/91.90 c 86.4s | 11 | 114247 | 19444 | 366483 0 | 22411 | 21392 94.18/94.21 c 88.7s | 11 | 117417 | 20344 | 366483 0 | 22411 | 21392 96.28/96.39 c 90.9s | 11 | 121998 | 21044 | 366483 0 | 22411 | 21392 98.88/99.00 c 93.5s | 11 | 127972 | 21544 | 366483 0 | 22411 | 21392 100.97/101.04 c 95.5s | 11 | 132862 | 22044 | 366483 0 | 22411 | 21392 103.38/103.47 c 98.0s | 11 | 137150 | 22944 | 366483 0 | 22411 | 21392 105.87/105.93 c 100s | 11 | 144208 | 23444 | 366483 0 | 22411 | 21392 107.97/108.09 c 102s | 11 | 147453 | 23944 | 366483 0 | 22412 | 21393 110.57/110.61 c 105s | 11 | 151841 | 24544 | 366483 0 | 22412 | 21393 112.67/112.70 c 107s | 11 | 153696 | 24944 | 366483 0 | 22412 | 21393 114.77/114.80 c 109s | 11 | 156858 | 25344 | 366483 0 | 22416 | 21396 116.07/116.12 c 110s | 12 | 159942 | 25819 | 403132 0 | 22416 | 21396 118.07/118.16 c 112s | 12 | 163708 | 26119 | 403132 0 | 22420 | 21399 120.17/120.23 c 114s | 12 | 168367 | 26719 | 403132 0 | 22420 | 21399 122.27/122.40 c 116s | 12 | 174064 | 27319 | 403132 0 | 22420 | 21399 124.57/124.66 c 119s | 12 | 178018 | 28019 | 403132 0 | 22422 | 21401 126.87/126.92 c 121s | 12 | 182871 | 28419 | 403132 0 | 22424 | 21405 129.07/129.18 c 123s | 12 | 184968 | 29019 | 403132 0 | 22424 | 21405 131.37/131.43 c 125s | 12 | 186089 | 29619 | 403132 0 | 22424 | 21405 133.57/133.66 c 128s | 12 | 187574 | 30219 | 403132 0 | 22424 | 21405 135.97/136.02 c 130s | 12 | 190418 | 30719 | 403132 0 | 22424 | 21405 138.17/138.24 c 132s | 12 | 192850 | 31219 | 403132 0 | 22424 | 21405 140.67/140.75 c 135s | 12 | 196482 | 31619 | 403132 0 | 22424 | 21405 143.27/143.38 c 137s | 12 | 199854 | 32219 | 403132 0 | 22424 | 21405 145.37/145.46 c 139s | 12 | 202956 | 32719 | 403132 0 | 22424 | 21405 147.57/147.65 c 142s | 12 | 203642 | 33119 | 403132 0 | 22424 | 21405 149.57/149.67 c 144s | 12 | 204766 | 33519 | 403132 0 | 22424 | 21405 151.77/151.86 c 146s | 12 | 206250 | 34219 | 403132 0 | 22424 | 21405 154.07/154.13 c 148s | 12 | 207382 | 34719 | 403132 0 | 22424 | 21405 156.17/156.23 c 150s | 12 | 208174 | 35119 | 403132 0 | 22424 | 21405 158.17/158.28 c 152s | 12 | 209249 | 35619 | 403132 0 | 22424 | 21405 160.47/160.52 c 155s | 12 | 210323 | 36119 | 403132 0 | 22424 | 21405 162.67/162.74 c 157s | 12 | 211244 | 36619 | 403132 0 | 22424 | 21405 164.86/164.95 c 159s | 12 | 212235 | 37119 | 403132 0 | 22424 | 21405 167.27/167.31 c 161s | 12 | 213194 | 37719 | 403132 0 | 22424 | 21405 169.87/169.92 c 164s | 12 | 213987 | 38219 | 403132 0 | 22424 | 21405 172.16/172.23 c 166s | 12 | 214893 | 38719 | 443446 0 | 22424 | 21405 172.77/172.88 c 167s | 13 | 215040 | 38832 | 443446 0 | 22424 | 21405 175.26/175.30 c 169s | 13 | 219116 | 39332 | 443446 0 | 22424 | 21405 177.56/177.61 c 172s | 13 | 224515 | 39832 | 443446 0 | 22424 | 21405 179.66/179.71 c 174s | 13 | 231589 | 40132 | 443446 0 | 22424 | 21405 182.57/182.65 c 177s | 13 | 239514 | 40932 | 443446 0 | 22424 | 21405 184.66/184.78 c 179s | 13 | 243019 | 41432 | 443446 0 | 22425 | 21406 187.07/187.17 c 181s | 13 | 248107 | 41932 | 443446 0 | 22425 | 21406 189.36/189.44 c 183s | 13 | 249660 | 42332 | 443446 0 | 22425 | 21406 191.66/191.70 c 186s | 13 | 255039 | 43032 | 443446 0 | 22426 | 21407 193.96/194.03 c 188s | 13 | 260207 | 43532 | 443446 0 | 22427 | 21408 196.06/196.10 c 190s | 13 | 266691 | 43932 | 443446 0 | 22427 | 21408 198.16/198.25 c 192s | 13 | 269783 | 44532 | 443446 0 | 22427 | 21408 200.27/200.31 c 194s | 13 | 270513 | 45032 | 443446 0 | 22427 | 21408 202.37/202.48 c 196s | 13 | 271243 | 45532 | 443446 0 | 22427 | 21408 204.46/204.50 c 199s | 13 | 272178 | 46032 | 443446 0 | 22427 | 21408 206.56/206.63 c 201s | 13 | 273036 | 46532 | 443446 0 | 22427 | 21408 208.86/208.97 c 203s | 13 | 273800 | 47032 | 443446 0 | 22427 | 21408 211.16/211.27 c 205s | 13 | 274698 | 47632 | 443446 0 | 22427 | 21408 213.26/213.30 c 207s | 13 | 275276 | 48032 | 443446 0 | 22427 | 21408 215.76/215.82 c 210s | 13 | 276013 | 48532 | 443446 0 | 22427 | 21408 217.76/217.84 c 212s | 13 | 276818 | 49032 | 443446 0 | 22427 | 21408 220.16/220.21 c 214s | 13 | 277585 | 49532 | 443446 0 | 22427 | 21408 222.66/222.75 c 217s | 13 | 278362 | 50032 | 443446 0 | 22427 | 21408 224.86/224.91 c 219s | 13 | 279046 | 50432 | 443446 0 | 22427 | 21408 227.26/227.31 c 221s | 13 | 279963 | 50932 | 443446 0 | 22427 | 21408 229.56/229.64 c 224s | 13 | 280686 | 51332 | 443446 0 | 22427 | 21408 231.95/232.08 c 226s | 13 | 281355 | 51732 | 443446 0 | 22427 | 21408 234.26/234.34 c 228s | 13 | 281923 | 52132 | 443446 0 | 22427 | 21408 236.75/236.85 c 231s | 13 | 282694 | 52632 | 443446 0 | 22427 | 21408 238.95/239.03 c 233s | 13 | 283511 | 53032 | 443446 0 | 22427 | 21408 241.35/241.47 c 235s | 13 | 284284 | 53532 | 443446 0 | 22427 | 21408 243.65/243.71 c 238s | 13 | 285089 | 53932 | 443446 0 | 22427 | 21408 245.95/246.07 c 240s | 13 | 285881 | 54332 | 443446 0 | 22427 | 21408 248.15/248.20 c 242s | 13 | 286522 | 54732 | 443446 0 | 22427 | 21408 250.35/250.44 c 244s | 13 | 287257 | 55132 | 443446 0 | 22427 | 21408 252.55/252.65 c 247s | 13 | 288003 | 55532 | 443446 0 | 22427 | 21408 254.65/254.70 c 249s | 13 | 288701 | 55932 | 443446 0 | 22427 | 21408 256.75/256.83 c 251s | 13 | 289394 | 56332 | 443446 0 | 22427 | 21408 258.95/259.08 c 253s | 13 | 289976 | 56732 | 443446 0 | 22427 | 21408 261.05/261.16 c 255s | 13 | 290363 | 57032 | 443446 0 | 22427 | 21408 263.35/263.48 c 257s | 13 | 290761 | 57332 | 443446 0 | 22427 | 21408 265.85/265.91 c 260s | 13 | 291200 | 57632 | 443446 0 | 22427 | 21408 268.46/268.54 c 263s | 13 | 291608 | 57932 | 443446 0 | 22427 | 21408 270.95/271.04 c 265s | 13 | 292255 | 58332 | 487791 0 | 22427 | 21408 271.05/271.17 c 265s | 14 | 292284 | 58352 | 487791 0 | 22427 | 21408 273.55/273.62 c 268s | 14 | 295513 | 58752 | 487791 0 | 22427 | 21408 275.85/275.97 c 270s | 14 | 298975 | 59252 | 487791 0 | 22427 | 21408 278.26/278.36 c 272s | 14 | 304342 | 59852 | 487791 0 | 22427 | 21408 280.55/280.61 c 275s | 14 | 306850 | 60452 | 487791 0 | 22427 | 21408 282.95/283.06 c 277s | 14 | 309196 | 61252 | 487791 0 | 22427 | 21408 285.15/285.21 c 279s | 14 | 313880 | 61552 | 487791 0 | 22428 | 21409 287.25/287.31 c 281s | 14 | 319456 | 62152 | 487791 0 | 22428 | 21409 289.35/289.49 c 284s | 14 | 327233 | 62652 | 487791 0 | 22428 | 21409 291.75/291.82 c 286s | 14 | 329647 | 63052 | 487791 0 | 22428 | 21409 294.04/294.16 c 288s | 14 | 330710 | 63552 | 487791 0 | 22428 | 21409 296.44/296.58 c 291s | 14 | 331844 | 64152 | 487791 0 | 22428 | 21409 298.74/298.81 c 293s | 14 | 332502 | 64552 | 487791 0 | 22428 | 21409 301.04/301.16 c 295s | 14 | 333196 | 64952 | 487791 0 | 22428 | 21409 303.44/303.53 c 298s | 14 | 333965 | 65452 | 487791 0 | 22428 | 21409 305.75/305.88 c 300s | 14 | 334858 | 65952 | 487791 0 | 22428 | 21409 308.05/308.15 c 302s | 14 | 335543 | 66452 | 487791 0 | 22428 | 21409 310.25/310.34 c 304s | 14 | 336050 | 66852 | 487791 0 | 22428 | 21409 312.24/312.37 c 306s | 14 | 336637 | 67252 | 487791 0 | 22428 | 21409 314.44/314.57 c 309s | 14 | 337308 | 67652 | 487791 0 | 22428 | 21409 316.75/316.85 c 311s | 14 | 337861 | 68052 | 487791 0 | 22428 | 21409 319.05/319.12 c 313s | 14 | 338428 | 68452 | 487791 0 | 22428 | 21409 321.44/321.53 c 316s | 14 | 339149 | 68852 | 487791 0 | 22428 | 21409 323.64/323.71 c 318s | 14 | 340162 | 69352 | 487791 0 | 22428 | 21409 326.14/326.22 c 320s | 14 | 341051 | 69852 | 487791 0 | 22428 | 21409 328.64/328.71 c 323s | 14 | 341774 | 70252 | 487791 0 | 22428 | 21409 330.74/330.81 c 325s | 14 | 342290 | 70552 | 487791 0 | 22428 | 21409 332.94/333.00 c 327s | 14 | 342886 | 70952 | 487791 0 | 22428 | 21409 335.14/335.20 c 329s | 14 | 343766 | 71452 | 487791 0 | 22428 | 21409 337.14/337.27 c 331s | 14 | 344381 | 71852 | 487791 0 | 22428 | 21409 339.63/339.79 c 334s | 14 | 344982 | 72252 | 487791 0 | 22428 | 21409 341.83/341.95 c 336s | 14 | 345655 | 72652 | 487791 0 | 22428 | 21409 344.03/344.17 c 338s | 14 | 346263 | 73052 | 487791 0 | 22428 | 21409 346.44/346.51 c 341s | 14 | 346848 | 73452 | 487791 0 | 22428 | 21409 348.74/348.84 c 343s | 14 | 347537 | 73852 | 487791 0 | 22428 | 21409 351.23/351.32 c 345s | 14 | 348073 | 74252 | 487791 0 | 22428 | 21409 353.73/353.80 c 348s | 14 | 348695 | 74652 | 487791 0 | 22428 | 21409 356.13/356.22 c 350s | 14 | 349652 | 75152 | 487791 0 | 22428 | 21409 358.53/358.61 c 353s | 14 | 350457 | 75652 | 487791 0 | 22428 | 21409 360.53/360.65 c 355s | 14 | 351093 | 76052 | 487791 0 | 22428 | 21409 363.12/363.24 c 357s | 14 | 351906 | 76552 | 487791 0 | 22428 | 21409 365.32/365.42 c 359s | 14 | 352616 | 76952 | 487791 0 | 22428 | 21409 367.72/367.80 c 362s | 14 | 353240 | 77352 | 487791 0 | 22428 | 21409 369.72/369.80 c 364s | 14 | 353848 | 77752 | 487791 0 | 22428 | 21409 371.62/371.80 c 366s | 14 | 354288 | 78052 | 487791 0 | 22428 | 21409 374.22/374.35 c 368s | 14 | 354975 | 78452 | 487791 0 | 22428 | 21409 376.72/376.89 c 371s | 14 | 355532 | 78852 | 487791 0 | 22428 | 21409 379.22/379.39 c 373s | 14 | 356180 | 79252 | 487791 0 | 22428 | 21409 381.72/381.89 c 376s | 14 | 356771 | 79652 | 487791 0 | 22428 | 21409 384.01/384.12 c 378s | 14 | 357199 | 79952 | 487791 0 | 22428 | 21409 386.61/386.77 c 381s | 14 | 357762 | 80352 | 487791 0 | 22428 | 21409 389.21/389.36 c 383s | 14 | 358570 | 80752 | 487791 0 | 22428 | 21409 391.41/391.59 c 386s | 14 | 359426 | 81152 | 487791 0 | 22428 | 21409 393.41/393.59 c 388s | 14 | 360034 | 81452 | 487791 0 | 22428 | 21409 395.71/395.87 c 390s | 14 | 360690 | 81852 | 487791 0 | 22428 | 21409 398.22/398.39 c 392s | 14 | 361466 | 82252 | 487791 0 | 22428 | 21409 400.71/400.81 c 395s | 14 | 362217 | 82652 | 487791 0 | 22428 | 21409 402.80/402.99 c 397s | 14 | 362866 | 83052 | 487791 0 | 22428 | 21409 405.40/405.59 c 400s | 14 | 363456 | 83452 | 487791 0 | 22428 | 21409 407.80/407.90 c 402s | 14 | 363881 | 83752 | 487791 0 | 22428 | 21409 410.31/410.45 c 404s | 14 | 364522 | 84152 | 487791 0 | 22428 | 21409 412.51/412.68 c 407s | 14 | 364991 | 84452 | 487791 0 | 22428 | 21409 414.61/414.78 c 409s | 14 | 365496 | 84752 | 487791 0 | 22428 | 21409 417.20/417.31 c 411s | 14 | 366125 | 85152 | 487791 0 | 22428 | 21409 419.30/419.45 c 413s | 14 | 366588 | 85452 | 487791 0 | 22428 | 21409 421.30/421.46 c 415s | 14 | 367020 | 85752 | 487791 0 | 22428 | 21409 424.19/424.33 c 418s | 14 | 367419 | 86052 | 487791 0 | 22428 | 21409 426.39/426.59 c 421s | 14 | 367929 | 86352 | 487791 0 | 22428 | 21409 428.49/428.66 c 423s | 14 | 368340 | 86652 | 487791 0 | 22428 | 21409 430.79/430.99 c 425s | 14 | 368763 | 86952 | 487791 0 | 22428 | 21409 432.99/433.15 c 427s | 14 | 369244 | 87252 | 536571 0 | 22428 | 21409 435.60/435.71 c 430s | 15 | 369949 | 87632 | 536571 0 | 22428 | 21409 437.59/437.79 c 432s | 15 | 375692 | 87732 | 536571 0 | 22432 | 21412 440.00/440.13 c 434s | 15 | 391675 | 88032 | 536571 0 | 22432 | 21412 442.19/442.31 c 436s | 15 | 397070 | 88932 | 536571 0 | 22432 | 21412 444.29/444.47 c 438s | 15 | 403146 | 89732 | 536571 0 | 22432 | 21412 446.49/446.62 c 441s | 15 | 409641 | 90532 | 536571 0 | 22432 | 21412 448.58/448.70 c 443s | 15 | 414802 | 91232 | 536571 0 | 22432 | 21412 451.38/451.53 c 446s | 15 | 418583 | 91732 | 536571 0 | 22434 | 21414 453.58/453.79 c 448s | 15 | 425063 | 92532 | 536571 0 | 22434 | 21414 455.68/455.84 c 450s | 15 | 429124 | 93332 | 536571 0 | 22434 | 21414 457.78/457.92 c 452s | 15 | 433968 | 94132 | 536571 0 | 22434 | 21414 459.79/459.98 c 454s | 15 | 438564 | 94732 | 536571 0 | 22434 | 21414 462.07/462.21 c 456s | 15 | 441002 | 95432 | 536571 0 | 22435 | 21415 464.57/464.76 c 459s | 15 | 446921 | 96032 | 536571 0 | 22435 | 21415 466.87/467.01 c 461s | 15 | 448117 | 96532 | 536571 0 | 22435 | 21415 468.97/469.11 c 463s | 15 | 448971 | 96932 | 536571 0 | 22435 | 21415 471.06/471.26 c 465s | 15 | 449431 | 97232 | 536571 0 | 22435 | 21415 473.16/473.39 c 467s | 15 | 450050 | 97532 | 536571 0 | 22435 | 21415 475.76/475.91 c 470s | 15 | 452030 | 98132 | 536571 0 | 22435 | 21415 478.06/478.22 c 472s | 15 | 453259 | 98632 | 536571 0 | 22435 | 21415 480.36/480.51 c 475s | 15 | 454127 | 99032 | 536571 0 | 22435 | 21415 482.76/482.91 c 477s | 15 | 454854 | 99432 | 536571 0 | 22435 | 21415 485.16/485.38 c 479s | 15 | 455376 | 99732 | 536571 0 | 22435 | 21415 487.85/488.04 c 482s | 15 | 456086 | 99932 | 536571 0 | 22437 | 21416 489.85/490.04 c 484s | 15 | 456865 | 100332 | 536571 0 | 22437 | 21416 492.25/492.47 c 486s | 15 | 459816 | 100732 | 536571 0 | 22437 | 21416 494.55/494.75 c 489s | 15 | 463119 | 101332 | 536571 0 | 22437 | 21416 496.95/497.11 c 491s | 15 | 464428 | 101632 | 536571 0 | 22437 | 21416 499.15/499.39 c 493s | 15 | 465237 | 101932 | 536571 0 | 22437 | 21416 501.55/501.76 c 496s | 15 | 465745 | 102232 | 536571 0 | 22437 | 21416 503.84/504.04 c 498s | 15 | 466350 | 102632 | 536571 0 | 22437 | 21416 506.24/506.48 c 500s | 15 | 467271 | 103032 | 536571 0 | 22437 | 21416 508.64/508.89 c 503s | 15 | 468889 | 103332 | 536571 0 | 22437 | 21416 511.04/511.21 c 505s | 15 | 469445 | 103632 | 536571 0 | 22437 | 21416 513.24/513.45 c 507s | 15 | 469903 | 103932 | 536571 0 | 22437 | 21416 516.24/516.50 c 511s | 15 | 470414 | 104232 | 536571 0 | 22437 | 21416 518.84/519.01 c 513s | 15 | 470703 | 104432 | 536571 0 | 22437 | 21416 521.13/521.32 c 515s | 15 | 471015 | 104632 | 536571 0 | 22437 | 21416 523.23/523.41 c 517s | 15 | 471328 | 104832 | 536571 0 | 22437 | 21416 525.64/525.85 c 520s | 15 | 471802 | 105132 | 536571 0 | 22437 | 21416 528.33/528.50 c 523s | 15 | 472488 | 105532 | 536571 0 | 22437 | 21416 530.73/530.93 c 525s | 15 | 473107 | 105932 | 536571 0 | 22437 | 21416 533.43/533.67 c 528s | 15 | 473722 | 106332 | 536571 0 | 22437 | 21416 535.53/535.73 c 530s | 15 | 474358 | 106732 | 536571 0 | 22437 | 21416 537.62/537.88 c 532s | 15 | 474976 | 107132 | 536571 0 | 22437 | 21416 539.73/539.95 c 534s | 15 | 475404 | 107432 | 536571 0 | 22437 | 21416 542.13/542.38 c 536s | 15 | 475844 | 107732 | 536571 0 | 22437 | 21416 544.43/544.67 c 539s | 15 | 476476 | 108132 | 536571 0 | 22437 | 21416 546.53/546.70 c 541s | 15 | 476971 | 108432 | 536571 0 | 22437 | 21416 549.03/549.26 c 543s | 15 | 477391 | 108732 | 536571 0 | 22437 | 21416 551.72/551.90 c 546s | 15 | 477849 | 109032 | 536571 0 | 22437 | 21416 554.02/554.20 c 548s | 15 | 478139 | 109232 | 536571 0 | 22437 | 21416 556.43/556.67 c 551s | 15 | 478758 | 109632 | 536571 0 | 22437 | 21416 558.92/559.19 c 553s | 15 | 479298 | 110032 | 536571 0 | 22437 | 21416 561.32/561.53 c 556s | 15 | 479707 | 110332 | 536571 0 | 22437 | 21416 563.52/563.79 c 558s | 15 | 480001 | 110532 | 536571 0 | 22437 | 21416 566.12/566.37 c 560s | 15 | 480586 | 110932 | 536571 0 | 22437 | 21416 568.42/568.60 c 563s | 15 | 480998 | 111232 | 536571 0 | 22437 | 21416 570.91/571.19 c 565s | 15 | 481607 | 111632 | 536571 0 | 22437 | 21416 573.51/573.70 c 568s | 15 | 482063 | 111932 | 536571 0 | 22437 | 21416 576.01/576.28 c 570s | 15 | 482478 | 112232 | 536571 0 | 22437 | 21416 578.52/578.78 c 573s | 15 | 482763 | 112432 | 536571 0 | 22437 | 21416 580.72/580.93 c 575s | 15 | 483213 | 112732 | 536571 0 | 22437 | 21416 583.60/583.85 c 578s | 15 | 483646 | 113032 | 536571 0 | 22437 | 21416 586.00/586.26 c 580s | 15 | 484046 | 113332 | 536571 0 | 22437 | 21416 588.90/589.14 c 583s | 15 | 484440 | 113632 | 536571 0 | 22437 | 21416 591.40/591.64 c 586s | 15 | 484680 | 113832 | 536571 0 | 22437 | 21416 593.70/593.93 c 588s | 15 | 484952 | 114032 | 536571 0 | 22437 | 21416 596.60/596.84 c 591s | 15 | 485381 | 114332 | 536571 0 | 22437 | 21416 599.20/599.48 c 593s | 15 | 485658 | 114532 | 536571 0 | 22437 | 21416 601.69/601.96 c 596s | 15 | 486025 | 114832 | 536571 0 | 22437 | 21416 604.39/604.65 c 599s | 15 | 486438 | 115132 | 536571 0 | 22437 | 21416 607.29/607.59 c 602s | 15 | 486867 | 115432 | 536571 0 | 22437 | 21416 610.19/610.45 c 604s | 15 | 487314 | 115732 | 536571 0 | 22437 | 21416 612.39/612.68 c 607s | 15 | 487557 | 115932 | 536571 0 | 22437 | 21416 614.89/615.11 c 609s | 15 | 487857 | 116132 | 536571 0 | 22437 | 21416 617.49/617.75 c 612s | 15 | 488280 | 116432 | 536571 0 | 22437 | 21416 619.48/619.77 c 614s | 15 | 488556 | 116632 | 536571 0 | 22437 | 21416 622.28/622.59 c 617s | 15 | 489093 | 116932 | 536571 0 | 22437 | 21416 625.08/625.31 c 619s | 15 | 489502 | 117232 | 536571 0 | 22437 | 21416 627.99/628.23 c 622s | 15 | 489889 | 117532 | 536571 0 | 22437 | 21416 630.19/630.44 c 624s | 15 | 490315 | 117832 | 536571 0 | 22437 | 21416 632.39/632.70 c 627s | 15 | 490738 | 118132 | 536571 0 | 22437 | 21416 635.18/635.48 c 629s | 15 | 491195 | 118432 | 536571 0 | 22437 | 21416 637.38/637.69 c 632s | 15 | 491441 | 118632 | 536571 0 | 22437 | 21416 639.68/639.95 c 634s | 15 | 491760 | 118832 | 536571 0 | 22437 | 21416 642.08/642.36 c 636s | 15 | 492053 | 119032 | 536571 0 | 22437 | 21416 644.39/644.69 c 639s | 15 | 492524 | 119232 | 536571 0 | 22437 | 21416 647.28/647.58 c 642s | 15 | 492955 | 119532 | 536571 0 | 22437 | 21416 649.48/649.77 c 644s | 15 | 493215 | 119732 | 536571 0 | 22437 | 21416 651.88/652.17 c 646s | 15 | 493480 | 119932 | 536571 0 | 22437 | 21416 654.08/654.39 c 648s | 15 | 493741 | 120132 | 536571 0 | 22437 | 21416 656.38/656.70 c 651s | 15 | 493980 | 120332 | 536571 0 | 22437 | 21416 659.18/659.45 c 653s | 15 | 494260 | 120532 | 536571 0 | 22437 | 21416 662.18/662.46 c 656s | 15 | 494515 | 120732 | 536571 0 | 22437 | 21416 664.78/665.00 c 659s | 15 | 494795 | 120932 | 536571 0 | 22437 | 21416 667.68/667.93 c 662s | 15 | 495221 | 121232 | 536571 0 | 22437 | 21416 669.68/669.95 c 664s | 15 | 495647 | 121532 | 536571 0 | 22437 | 21416 671.98/672.24 c 666s | 15 | 496110 | 121832 | 536571 0 | 22437 | 21416 674.97/675.20 c 669s | 15 | 496515 | 122132 | 536571 0 | 22437 | 21416 677.38/677.66 c 672s | 15 | 496825 | 122332 | 536571 0 | 22437 | 21416 679.58/679.90 c 674s | 15 | 497404 | 122632 | 536571 0 | 22437 | 21416 681.97/682.22 c 676s | 15 | 497886 | 122932 | 536571 0 | 22437 | 21416 684.77/685.02 c 679s | 15 | 498673 | 123432 | 536571 0 | 22437 | 21416 686.97/687.27 c 681s | 15 | 499150 | 123732 | 536571 0 | 22437 | 21416 689.58/689.80 c 684s | 15 | 499452 | 123932 | 536571 0 | 22437 | 21416 691.96/692.23 c 686s | 15 | 499874 | 124232 | 536571 0 | 22437 | 21416 694.86/695.17 c 689s | 15 | 500366 | 124532 | 536571 0 | 22437 | 21416 697.27/697.59 c 692s | 15 | 500660 | 124732 | 536571 0 | 22437 | 21416 700.47/700.76 c 695s | 15 | 501095 | 125032 | 536571 0 | 22437 | 21416 703.06/703.31 c 697s | 15 | 501353 | 125232 | 536571 0 | 22437 | 21416 705.36/705.65 c 700s | 15 | 501683 | 125432 | 536571 0 | 22437 | 21416 707.46/707.71 c 702s | 15 | 502004 | 125632 | 536571 0 | 22437 | 21416 709.46/709.76 c 704s | 15 | 502323 | 125832 | 536571 0 | 22437 | 21416 711.56/711.83 c 706s | 15 | 502585 | 126032 | 536571 0 | 22437 | 21416 713.55/713.89 c 708s | 15 | 502874 | 126232 | 536571 0 | 22437 | 21416 715.96/716.22 c 710s | 15 | 503140 | 126432 | 536571 0 | 22437 | 21416 718.25/718.51 c 713s | 15 | 503629 | 126732 | 536571 0 | 22437 | 21416 720.26/720.56 c 715s | 15 | 504101 | 127032 | 536571 0 | 22437 | 21416 722.65/722.94 c 717s | 15 | 504571 | 127332 | 536571 0 | 22437 | 21416 725.15/725.42 c 719s | 15 | 505054 | 127632 | 536571 0 | 22437 | 21416 727.96/728.27 c 722s | 15 | 505568 | 127932 | 536571 0 | 22437 | 21416 730.65/730.97 c 725s | 15 | 506044 | 128232 | 536571 0 | 22437 | 21416 733.55/733.86 c 728s | 15 | 506539 | 128532 | 536571 0 | 22437 | 21416 736.44/736.79 c 731s | 15 | 506998 | 128832 | 536571 0 | 22437 | 21416 738.64/738.98 c 733s | 15 | 507283 | 129032 | 536571 0 | 22437 | 21416 741.34/741.64 c 736s | 15 | 507714 | 129332 | 536571 0 | 22437 | 21416 743.54/743.88 c 738s | 15 | 508198 | 129632 | 536571 0 | 22437 | 21416 745.74/746.06 c 740s | 15 | 508625 | 129932 | 536571 0 | 22437 | 21416 748.74/749.02 c 743s | 15 | 509097 | 130232 | 536571 0 | 22437 | 21416 750.83/751.11 c 745s | 15 | 509413 | 130432 | 536571 0 | 22437 | 21416 753.83/754.15 c 748s | 15 | 509799 | 130732 | 590229 0 | 22437 | 21416 756.93/757.20 c 751s | 15 | 510228 | 131032 | 590229 0 | 22437 | 21416 759.43/759.77 c 754s | 15 | 510653 | 131332 | 590229 0 | 22437 | 21416 760.83/761.17 c 755s | 16 | 511073 | 131552 | 590229 0 | 22437 | 21416 763.24/763.54 c 758s | 16 | 511560 | 131652 | 590229 0 | 22437 | 21416 766.44/766.73 c 761s | 16 | 511935 | 131852 | 590229 0 | 22437 | 21416 769.84/770.18 c 764s | 16 | 512517 | 132152 | 590229 0 | 22437 | 21416 772.52/772.80 c 767s | 16 | 512976 | 132352 | 590229 0 | 22437 | 21416 774.62/774.96 c 769s | 16 | 513361 | 132552 | 590229 0 | 22437 | 21416 777.53/777.86 c 772s | 16 | 514045 | 132852 | 590229 0 | 22437 | 21416 780.32/780.67 c 775s | 16 | 514600 | 133152 | 590229 0 | 22437 | 21416 783.22/783.51 c 778s | 16 | 515047 | 133452 | 590229 0 | 22437 | 21416 785.72/786.06 c 780s | 16 | 515435 | 133652 | 590229 0 | 22437 | 21416 788.43/788.71 c 783s | 16 | 516073 | 133952 | 590229 0 | 22437 | 21416 791.52/791.86 c 786s | 16 | 519261 | 134452 | 590229 0 | 22437 | 21416 794.22/794.57 c 789s | 16 | 526829 | 134652 | 590229 0 | 22437 | 21416 797.02/797.33 c 791s | 16 | 531586 | 134852 | 590229 0 | 22439 | 21418 799.52/799.85 c 794s | 16 | 532110 | 135152 | 590229 0 | 22439 | 21418 802.02/802.36 c 796s | 16 | 532803 | 135552 | 590229 0 | 22439 | 21418 804.12/804.42 c 798s | 16 | 533321 | 135852 | 590229 0 | 22439 | 21418 806.52/806.81 c 801s | 16 | 533864 | 136152 | 590229 0 | 22439 | 21418 808.72/809.09 c 803s | 16 | 534602 | 136552 | 590229 0 | 22439 | 21418 811.01/811.31 c 805s | 16 | 535108 | 136852 | 590229 0 | 22439 | 21418 813.41/813.70 c 808s | 16 | 535859 | 137252 | 590229 0 | 22439 | 21418 815.81/816.14 c 810s | 16 | 536574 | 137752 | 590229 0 | 22439 | 21418 817.81/818.17 c 812s | 16 | 537201 | 138152 | 590229 0 | 22439 | 21418 819.91/820.27 c 814s | 16 | 537626 | 138452 | 590229 0 | 22439 | 21418 822.31/822.64 c 817s | 16 | 538010 | 138752 | 590229 0 | 22439 | 21418 824.91/825.23 c 819s | 16 | 538652 | 139152 | 590229 0 | 22439 | 21418 827.11/827.41 c 821s | 16 | 539110 | 139452 | 590229 0 | 22439 | 21418 829.12/829.42 c 823s | 16 | 539626 | 139752 | 590229 0 | 22439 | 21418 831.71/832.07 c 826s | 16 | 540195 | 140152 | 590229 0 | 22439 | 21418 833.71/834.09 c 828s | 16 | 540659 | 140452 | 590229 0 | 22439 | 21418 836.11/836.42 c 830s | 16 | 541089 | 140752 | 590229 0 | 22439 | 21418 838.80/839.15 c 833s | 16 | 543472 | 141052 | 590229 0 | 22439 | 21418 841.60/841.93 c 836s | 16 | 548043 | 141352 | 590229 0 | 22439 | 21418 843.90/844.25 c 838s | 16 | 551615 | 141952 | 590229 0 | 22439 | 21418 846.00/846.37 c 840s | 16 | 553936 | 142552 | 590229 0 | 22439 | 21418 848.10/848.40 c 842s | 16 | 556631 | 142952 | 590229 0 | 22439 | 21418 850.20/850.57 c 845s | 16 | 560749 | 143452 | 590229 0 | 22439 | 21418 852.89/853.23 c 847s | 16 | 562063 | 143852 | 590229 0 | 22439 | 21418 855.69/856.05 c 850s | 16 | 562467 | 144152 | 590229 0 | 22439 | 21418 858.39/858.75 c 853s | 16 | 565798 | 144252 | 590229 0 | 22445 | 21423 860.59/860.98 c 855s | 16 | 568185 | 144552 | 590229 0 | 22445 | 21423 862.68/863.09 c 857s | 16 | 573564 | 145052 | 590229 0 | 22445 | 21423 864.88/865.24 c 859s | 16 | 575692 | 145252 | 590229 0 | 22447 | 21424 868.08/868.40 c 862s | 16 | 576441 | 145552 | 590229 0 | 22447 | 21424 870.89/871.27 c 865s | 16 | 576895 | 145852 | 590229 0 | 22447 | 21424 873.78/874.10 c 868s | 16 | 577318 | 146152 | 590229 0 | 22447 | 21424 876.18/876.58 c 871s | 16 | 577785 | 146452 | 590229 0 | 22447 | 21424 878.78/879.12 c 873s | 16 | 578200 | 146752 | 590229 0 | 22447 | 21424 881.77/882.17 c 876s | 16 | 578608 | 147052 | 590229 0 | 22447 | 21424 884.87/885.24 c 879s | 16 | 578988 | 147352 | 590229 0 | 22447 | 21424 887.07/887.46 c 881s | 16 | 579218 | 147552 | 590229 0 | 22447 | 21424 889.37/889.77 c 884s | 16 | 579472 | 147752 | 590229 0 | 22447 | 21424 892.07/892.45 c 886s | 16 | 579925 | 148052 | 590229 0 | 22447 | 21424 894.27/894.61 c 889s | 16 | 580262 | 148252 | 590229 0 | 22447 | 21424 896.86/897.26 c 891s | 16 | 580891 | 148552 | 590229 0 | 22447 | 21424 899.76/900.19 c 894s | 16 | 581273 | 148852 | 590229 0 | 22447 | 21424 902.36/902.78 c 897s | 16 | 581713 | 149152 | 590229 0 | 22447 | 21424 904.76/905.15 c 899s | 16 | 582149 | 149452 | 590229 0 | 22447 | 21424 907.36/907.72 c 902s | 16 | 582567 | 149752 | 590229 0 | 22447 | 21424 909.96/910.37 c 904s | 16 | 582951 | 150052 | 590229 0 | 22447 | 21424 912.96/913.35 c 907s | 16 | 583388 | 150352 | 590229 0 | 22447 | 21424 915.15/915.55 c 910s | 16 | 583660 | 150552 | 590229 0 | 22447 | 21424 917.45/917.85 c 912s | 16 | 583905 | 150752 | 590229 0 | 22447 | 21424 919.65/920.05 c 914s | 16 | 584168 | 150952 | 590229 0 | 22447 | 21424 922.15/922.53 c 917s | 16 | 584457 | 151152 | 590229 0 | 22447 | 21424 924.65/925.05 c 919s | 16 | 584967 | 151452 | 590229 0 | 22447 | 21424 926.95/927.38 c 921s | 16 | 585262 | 151652 | 590229 0 | 22447 | 21424 929.75/930.18 c 924s | 16 | 585708 | 151952 | 590229 0 | 22447 | 21424 931.74/932.19 c 926s | 16 | 585986 | 152152 | 590229 0 | 22447 | 21424 934.34/934.76 c 929s | 16 | 586413 | 152452 | 590229 0 | 22447 | 21424 936.54/936.90 c 931s | 16 | 586655 | 152652 | 590229 0 | 22447 | 21424 939.44/939.83 c 934s | 16 | 587110 | 152952 | 590229 0 | 22447 | 21424 942.04/942.47 c 936s | 16 | 587522 | 153252 | 590229 0 | 22447 | 21424 944.24/944.67 c 939s | 16 | 587813 | 153452 | 590229 0 | 22447 | 21424 947.04/947.48 c 941s | 16 | 588187 | 153752 | 590229 0 | 22447 | 21424 950.14/950.51 c 945s | 16 | 588617 | 154052 | 590229 0 | 22447 | 21424 952.93/953.30 c 947s | 16 | 589045 | 154352 | 590229 0 | 22447 | 21424 955.03/955.42 c 949s | 16 | 589393 | 154552 | 590229 0 | 22447 | 21424 958.03/958.49 c 952s | 16 | 589831 | 154852 | 590229 0 | 22447 | 21424 960.43/960.86 c 955s | 16 | 590124 | 155052 | 590229 0 | 22447 | 21424 962.63/963.03 c 957s | 16 | 590382 | 155252 | 590229 0 | 22447 | 21424 964.73/965.18 c 959s | 16 | 590662 | 155452 | 590229 0 | 22447 | 21424 968.02/968.49 c 962s | 16 | 591005 | 155752 | 590229 0 | 22447 | 21424 970.12/970.59 c 965s | 16 | 591325 | 155952 | 590229 0 | 22447 | 21424 972.52/972.98 c 967s | 16 | 591638 | 156152 | 590229 0 | 22447 | 21424 975.62/976.05 c 970s | 16 | 592116 | 156452 | 590229 0 | 22447 | 21424 977.72/978.15 c 972s | 16 | 592401 | 156652 | 590229 0 | 22447 | 21424 979.83/980.21 c 974s | 16 | 592681 | 156852 | 590229 0 | 22447 | 21424 982.03/982.41 c 976s | 16 | 592937 | 157052 | 590229 0 | 22447 | 21424 985.02/985.43 c 979s | 16 | 593363 | 157352 | 590229 0 | 22447 | 21424 987.42/987.89 c 982s | 16 | 593698 | 157552 | 590229 0 | 22447 | 21424 989.52/989.99 c 984s | 16 | 594023 | 157752 | 590229 0 | 22447 | 21424 992.51/992.92 c 987s | 16 | 594555 | 158052 | 590229 0 | 22447 | 21424 994.71/995.17 c 989s | 16 | 594852 | 158252 | 590229 0 | 22447 | 21424 997.42/997.86 c 992s | 16 | 595315 | 158552 | 590229 0 | 22447 | 21424 999.81/1000.23 c 994s | 16 | 595600 | 158752 | 590229 0 | 22447 | 21424 1002.71/1003.14 c 997s | 16 | 596079 | 159052 | 590229 0 | 22447 | 21424 1005.01/1005.46 c 999s | 16 | 596377 | 159252 | 590229 0 | 22447 | 21424 1007.21/1007.66 c 1002s | 16 | 596607 | 159452 | 590229 0 | 22447 | 21424 1009.62/1010.09 c 1004s | 16 | 596894 | 159652 | 590229 0 | 22447 | 21424 1012.01/1012.44 c 1006s | 16 | 597159 | 159852 | 590229 0 | 22447 | 21424 1014.31/1014.74 c 1009s | 16 | 597621 | 160152 | 590229 0 | 22447 | 21424 1017.12/1017.52 c 1012s | 16 | 598037 | 160452 | 590229 0 | 22447 | 21424 1019.42/1019.85 c 1014s | 16 | 598495 | 160752 | 590229 0 | 22447 | 21424 1022.11/1022.60 c 1017s | 16 | 598882 | 161052 | 590229 0 | 22447 | 21424 1024.31/1024.70 c 1019s | 16 | 599201 | 161252 | 590229 0 | 22447 | 21424 1027.12/1027.55 c 1022s | 16 | 599615 | 161552 | 590229 0 | 22447 | 21424 1029.81/1030.26 c 1024s | 16 | 600101 | 161852 | 590229 0 | 22447 | 21424 1032.51/1032.92 c 1027s | 16 | 600499 | 162152 | 590229 0 | 22447 | 21424 1035.20/1035.68 c 1030s | 16 | 600863 | 162452 | 590229 0 | 22447 | 21424 1038.11/1038.52 c 1033s | 16 | 601288 | 162752 | 590229 0 | 22447 | 21424 1040.80/1041.26 c 1035s | 16 | 601590 | 162952 | 590229 0 | 22447 | 21424 1042.90/1043.32 c 1037s | 16 | 601873 | 163152 | 590229 0 | 22447 | 21424 1044.90/1045.39 c 1039s | 16 | 602150 | 163352 | 590229 0 | 22447 | 21424 1047.70/1048.18 c 1042s | 16 | 602581 | 163652 | 590229 0 | 22447 | 21424 1049.90/1050.33 c 1044s | 16 | 602841 | 163852 | 590229 0 | 22447 | 21424 1052.31/1052.73 c 1047s | 16 | 603298 | 164152 | 590229 0 | 22447 | 21424 1054.40/1054.81 c 1049s | 16 | 603642 | 164352 | 590229 0 | 22447 | 21424 1056.60/1057.04 c 1051s | 16 | 603926 | 164552 | 590229 0 | 22447 | 21424 1058.70/1059.13 c 1053s | 16 | 604183 | 164752 | 590229 0 | 22447 | 21424 1061.00/1061.45 c 1055s | 16 | 604501 | 164952 | 590229 0 | 22447 | 21424 1063.10/1063.55 c 1058s | 16 | 604758 | 165152 | 590229 0 | 22447 | 21424 1065.61/1066.01 c 1060s | 16 | 605055 | 165352 | 590229 0 | 22447 | 21424 1067.90/1068.35 c 1062s | 16 | 605334 | 165552 | 590229 0 | 22447 | 21424 1070.10/1070.55 c 1065s | 16 | 605589 | 165752 | 590229 0 | 22447 | 21424 1073.10/1073.57 c 1068s | 16 | 606016 | 166052 | 590229 0 | 22447 | 21424 1075.90/1076.34 c 1070s | 16 | 606499 | 166352 | 590229 0 | 22447 | 21424 1078.00/1078.49 c 1073s | 16 | 606819 | 166552 | 590229 0 | 22447 | 21424 1080.50/1080.90 c 1075s | 16 | 607112 | 166752 | 590229 0 | 22447 | 21424 1082.80/1083.24 c 1077s | 16 | 607462 | 166952 | 590229 0 | 22447 | 21424 1085.50/1085.98 c 1080s | 16 | 608034 | 167252 | 590229 0 | 22447 | 21424 1088.60/1089.06 c 1083s | 16 | 608506 | 167552 | 590229 0 | 22447 | 21424 1090.70/1091.19 c 1085s | 16 | 608774 | 167752 | 590229 0 | 22447 | 21424 1093.10/1093.51 c 1088s | 16 | 609040 | 167952 | 590229 0 | 22447 | 21424 1096.30/1096.80 c 1091s | 16 | 609532 | 168252 | 590229 0 | 22447 | 21424 1099.29/1099.78 c 1094s | 16 | 609798 | 168452 | 590229 0 | 22447 | 21424 1102.19/1102.64 c 1097s | 16 | 610091 | 168652 | 590229 0 | 22447 | 21424 1104.59/1105.04 c 1099s | 16 | 610378 | 168852 | 590229 0 | 22447 | 21424 1106.69/1107.12 c 1101s | 16 | 610655 | 169052 | 590229 0 | 22447 | 21424 1108.69/1109.19 c 1103s | 16 | 611027 | 169252 | 590229 0 | 22447 | 21424 1111.19/1111.61 c 1106s | 16 | 611443 | 169552 | 590229 0 | 22447 | 21424 1113.90/1114.39 c 1108s | 16 | 611887 | 169852 | 590229 0 | 22447 | 21424 1116.69/1117.11 c 1111s | 16 | 612412 | 170152 | 590229 0 | 22447 | 21424 1119.69/1120.13 c 1114s | 16 | 612853 | 170452 | 590229 0 | 22447 | 21424 1122.39/1122.80 c 1117s | 16 | 613383 | 170752 | 590229 0 | 22447 | 21424 1124.90/1125.40 c 1119s | 16 | 613812 | 171052 | 590229 0 | 22447 | 21424 1127.49/1127.99 c 1122s | 16 | 614340 | 171352 | 590229 0 | 22447 | 21424 1129.99/1130.48 c 1124s | 16 | 614839 | 171652 | 590229 0 | 22447 | 21424 1132.19/1132.67 c 1127s | 16 | 615138 | 171852 | 590229 0 | 22447 | 21424 1134.39/1134.81 c 1129s | 16 | 615457 | 172052 | 590229 0 | 22447 | 21424 1136.59/1137.09 c 1131s | 16 | 615916 | 172352 | 590229 0 | 22447 | 21424 1139.29/1139.74 c 1134s | 16 | 616389 | 172652 | 590229 0 | 22447 | 21424 1141.39/1141.83 c 1136s | 16 | 616656 | 172852 | 590229 0 | 22447 | 21424 1143.79/1144.28 c 1138s | 16 | 616909 | 173052 | 590229 0 | 22447 | 21424 1145.99/1146.43 c 1140s | 16 | 617177 | 173252 | 590229 0 | 22447 | 21424 1148.79/1149.24 c 1143s | 16 | 617594 | 173552 | 590229 0 | 22447 | 21424 1150.99/1151.48 c 1145s | 16 | 617870 | 173752 | 590229 0 | 22447 | 21424 1153.29/1153.75 c 1148s | 16 | 618130 | 173952 | 590229 0 | 22447 | 21424 1155.99/1156.43 c 1150s | 16 | 618395 | 174152 | 590229 0 | 22447 | 21424 1158.09/1158.57 c 1153s | 16 | 618685 | 174352 | 590229 0 | 22447 | 21424 1160.38/1160.81 c 1155s | 16 | 618936 | 174552 | 590229 0 | 22447 | 21424 1162.98/1163.41 c 1157s | 16 | 619210 | 174752 | 590229 0 | 22447 | 21424 1165.28/1165.71 c 1160s | 16 | 619479 | 174952 | 590229 0 | 22447 | 21424 1167.48/1167.91 c 1162s | 16 | 619753 | 175152 | 590229 0 | 22447 | 21424 1169.48/1169.99 c 1164s | 16 | 620063 | 175352 | 590229 0 | 22447 | 21424 1171.58/1172.08 c 1166s | 16 | 620345 | 175552 | 590229 0 | 22447 | 21424 1173.78/1174.25 c 1168s | 16 | 620602 | 175752 | 590229 0 | 22447 | 21424 1175.78/1176.27 c 1170s | 16 | 620876 | 175952 | 590229 0 | 22447 | 21424 1178.08/1178.50 c 1173s | 16 | 621116 | 176152 | 590229 0 | 22447 | 21424 1180.18/1180.69 c 1175s | 16 | 621465 | 176352 | 590229 0 | 22447 | 21424 1182.88/1183.34 c 1177s | 16 | 621765 | 176552 | 590229 0 | 22447 | 21424 1184.88/1185.37 c 1179s | 16 | 622134 | 176752 | 590229 0 | 22447 | 21424 1187.88/1188.34 c 1182s | 16 | 622612 | 177052 | 590229 0 | 22447 | 21424 1190.28/1190.77 c 1185s | 16 | 622881 | 177252 | 590229 0 | 22447 | 21424 1193.28/1193.71 c 1188s | 16 | 623168 | 177452 | 590229 0 | 22447 | 21424 1195.58/1196.01 c 1190s | 16 | 623448 | 177652 | 590229 0 | 22447 | 21424 1197.68/1198.14 c 1192s | 16 | 623764 | 177852 | 590229 0 | 22447 | 21424 1199.88/1200.31 c 1194s | 16 | 624369 | 178152 | 590229 0 | 22447 | 21424 1201.98/1202.49 c 1196s | 16 | 624663 | 178352 | 590229 0 | 22447 | 21424 1204.58/1205.07 c 1199s | 16 | 624973 | 178552 | 590229 0 | 22447 | 21424 1207.58/1208.02 c 1202s | 16 | 625230 | 178752 | 590229 0 | 22447 | 21424 1209.58/1210.08 c 1204s | 16 | 625521 | 178952 | 590229 0 | 22447 | 21424 1212.17/1212.62 c 1207s | 16 | 625792 | 179152 | 590229 0 | 22447 | 21424 1214.77/1215.25 c 1209s | 16 | 626090 | 179352 | 590229 0 | 22447 | 21424 1217.77/1218.28 c 1212s | 16 | 626488 | 179652 | 590229 0 | 22447 | 21424 1220.27/1220.71 c 1215s | 16 | 626761 | 179852 | 590229 0 | 22447 | 21424 1222.97/1223.46 c 1217s | 16 | 627019 | 180052 | 590229 0 | 22447 | 21424 1225.77/1226.24 c 1220s | 16 | 627313 | 180252 | 590229 0 | 22447 | 21424 1228.47/1228.94 c 1223s | 16 | 627569 | 180452 | 590229 0 | 22447 | 21424 1231.27/1231.71 c 1226s | 16 | 628055 | 180752 | 590229 0 | 22447 | 21424 1233.47/1233.92 c 1228s | 16 | 628321 | 180952 | 590229 0 | 22447 | 21424 1235.77/1236.29 c 1230s | 16 | 628585 | 181152 | 590229 0 | 22447 | 21424 1238.37/1238.84 c 1233s | 16 | 628836 | 181352 | 590229 0 | 22447 | 21424 1240.97/1241.43 c 1235s | 16 | 629062 | 181552 | 590229 0 | 22447 | 21424 1243.97/1244.42 c 1238s | 16 | 629489 | 181852 | 590229 0 | 22447 | 21424 1246.07/1246.59 c 1241s | 16 | 629818 | 182052 | 590229 0 | 22447 | 21424 1248.37/1248.88 c 1243s | 16 | 630077 | 182252 | 590229 0 | 22447 | 21424 1250.57/1251.04 c 1245s | 16 | 630368 | 182452 | 590229 0 | 22447 | 21424 1253.17/1253.66 c 1248s | 16 | 630664 | 182652 | 590229 0 | 22447 | 21424 1255.57/1256.03 c 1250s | 16 | 630929 | 182852 | 590229 0 | 22447 | 21424 1257.77/1258.20 c 1252s | 16 | 631197 | 183052 | 590229 0 | 22447 | 21424 1259.97/1260.45 c 1254s | 16 | 631566 | 183252 | 590229 0 | 22447 | 21424 1262.87/1263.34 c 1257s | 16 | 632023 | 183552 | 590229 0 | 22447 | 21424 1265.17/1265.63 c 1260s | 16 | 632335 | 183752 | 590229 0 | 22447 | 21424 1267.87/1268.33 c 1262s | 16 | 632591 | 183952 | 590229 0 | 22447 | 21424 1270.47/1270.92 c 1265s | 16 | 632860 | 184152 | 590229 0 | 22447 | 21424 1272.67/1273.18 c 1267s | 16 | 633181 | 184352 | 590229 0 | 22447 | 21424 1275.07/1275.52 c 1270s | 16 | 633449 | 184552 | 590229 0 | 22447 | 21424 1278.16/1278.69 c 1273s | 16 | 633862 | 184852 | 590229 0 | 22447 | 21424 1280.36/1280.82 c 1275s | 16 | 634160 | 185052 | 590229 0 | 22447 | 21424 1282.86/1283.35 c 1277s | 16 | 634468 | 185252 | 590229 0 | 22447 | 21424 1284.96/1285.49 c 1280s | 16 | 634722 | 185452 | 590229 0 | 22447 | 21424 1287.16/1287.66 c 1282s | 16 | 635081 | 185652 | 590229 0 | 22447 | 21424 1289.46/1289.97 c 1284s | 16 | 635365 | 185852 | 590229 0 | 22447 | 21424 1291.76/1292.22 c 1286s | 16 | 635655 | 186052 | 590229 0 | 22447 | 21424 1294.27/1294.74 c 1289s | 16 | 635940 | 186252 | 590229 0 | 22447 | 21424 1297.06/1297.58 c 1292s | 16 | 636216 | 186452 | 590229 0 | 22447 | 21424 1299.66/1300.13 c 1294s | 16 | 636466 | 186652 | 590229 0 | 22447 | 21424 1301.76/1302.25 c 1296s | 16 | 636763 | 186852 | 590229 0 | 22447 | 21424 1304.46/1304.96 c 1299s | 16 | 637002 | 187052 | 590229 0 | 22447 | 21424 1307.06/1307.57 c 1302s | 16 | 637290 | 187252 | 590229 0 | 22447 | 21424 1310.06/1310.59 c 1305s | 16 | 637660 | 187452 | 590229 0 | 22447 | 21424 1313.26/1313.77 c 1308s | 16 | 638147 | 187752 | 590229 0 | 22447 | 21424 1315.96/1316.42 c 1310s | 16 | 638530 | 187952 | 590229 0 | 22447 | 21424 1317.96/1318.48 c 1312s | 16 | 638883 | 188152 | 590229 0 | 22447 | 21424 1320.16/1320.64 c 1315s | 16 | 639136 | 188352 | 590229 0 | 22447 | 21424 1322.66/1323.10 c 1317s | 16 | 639397 | 188552 | 590229 0 | 22447 | 21424 1324.86/1325.34 c 1319s | 16 | 639688 | 188752 | 590229 0 | 22447 | 21424 1327.56/1328.04 c 1322s | 16 | 639967 | 188952 | 590229 0 | 22447 | 21424 1330.45/1330.93 c 1325s | 16 | 640404 | 189252 | 590229 0 | 22447 | 21424 1333.35/1333.81 c 1328s | 16 | 640859 | 189552 | 590229 0 | 22447 | 21424 1335.46/1335.96 c 1330s | 16 | 641157 | 189752 | 590229 0 | 22447 | 21424 1338.85/1339.35 c 1333s | 16 | 641578 | 190052 | 590229 0 | 22447 | 21424 1341.75/1342.27 c 1336s | 16 | 641802 | 190252 | 590229 0 | 22447 | 21424 1344.75/1345.21 c 1339s | 16 | 642080 | 190452 | 590229 0 | 22447 | 21424 1346.95/1347.49 c 1341s | 16 | 642338 | 190652 | 590229 0 | 22447 | 21424 1349.45/1349.94 c 1344s | 16 | 642602 | 190852 | 590229 0 | 22447 | 21424 1351.95/1352.40 c 1346s | 16 | 642834 | 191052 | 590229 0 | 22447 | 21424 1354.95/1355.45 c 1349s | 16 | 643084 | 191252 | 590229 0 | 22447 | 21424 1358.16/1358.70 c 1353s | 16 | 643346 | 191452 | 590229 0 | 22447 | 21424 1360.36/1360.84 c 1355s | 16 | 643600 | 191652 | 590229 0 | 22447 | 21424 1362.65/1363.15 c 1357s | 16 | 643858 | 191852 | 590229 0 | 22447 | 21424 1365.25/1365.79 c 1360s | 16 | 644137 | 192052 | 590229 0 | 22447 | 21424 1367.35/1367.84 c 1362s | 16 | 644394 | 192252 | 590229 0 | 22447 | 21424 1370.26/1370.70 c 1365s | 16 | 644845 | 192552 | 590229 0 | 22447 | 21424 1372.55/1373.07 c 1367s | 16 | 645151 | 192752 | 590229 0 | 22447 | 21424 1374.95/1375.42 c 1369s | 16 | 645447 | 192952 | 590229 0 | 22447 | 21424 1377.45/1377.93 c 1372s | 16 | 645774 | 193152 | 590229 0 | 22447 | 21424 1379.75/1380.24 c 1374s | 16 | 646030 | 193352 | 590229 0 | 22447 | 21424 1382.05/1382.54 c 1377s | 16 | 646322 | 193552 | 590229 0 | 22447 | 21424 1384.25/1384.77 c 1379s | 16 | 646605 | 193752 | 590229 0 | 22447 | 21424 1386.85/1387.39 c 1381s | 16 | 646901 | 193952 | 590229 0 | 22447 | 21424 1389.85/1390.32 c 1384s | 16 | 647122 | 194152 | 590229 0 | 22447 | 21424 1392.15/1392.64 c 1387s | 16 | 647409 | 194352 | 590229 0 | 22447 | 21424 1394.45/1394.92 c 1389s | 16 | 647716 | 194552 | 590229 0 | 22447 | 21424 1397.05/1397.53 c 1392s | 16 | 647990 | 194752 | 590229 0 | 22447 | 21424 1399.24/1399.71 c 1394s | 16 | 648284 | 194952 | 590229 0 | 22447 | 21424 1401.54/1402.06 c 1396s | 16 | 648557 | 195152 | 590229 0 | 22447 | 21424 1403.94/1404.47 c 1398s | 16 | 648843 | 195352 | 590229 0 | 22447 | 21424 1406.14/1406.67 c 1401s | 16 | 649135 | 195552 | 590229 0 | 22447 | 21424 1409.34/1409.89 c 1404s | 16 | 649582 | 195852 | 590229 0 | 22447 | 21424 1411.84/1412.34 c 1406s | 16 | 649831 | 196052 | 590229 0 | 22447 | 21424 1413.94/1414.47 c 1408s | 16 | 650124 | 196252 | 649252 0 | 22447 | 21424 1416.35/1416.88 c 1411s | 16 | 650386 | 196452 | 649252 0 | 22447 | 21424 1418.94/1419.49 c 1413s | 16 | 650629 | 196652 | 649252 0 | 22447 | 21424 1421.95/1422.41 c 1416s | 16 | 650900 | 196852 | 649252 0 | 22447 | 21424 1424.84/1425.36 c 1419s | 16 | 651129 | 197052 | 649252 0 | 22447 | 21424 1427.14/1427.67 c 1422s | 16 | 651423 | 197252 | 649252 0 | 22447 | 21424 1429.34/1429.89 c 1424s | 17 | 651693 | 197432 | 649252 0 | 22447 | 21424 1432.54/1433.00 c 1427s | 17 | 665895 | 197532 | 649252 0 | 22447 | 21424 1437.74/1438.20 c 1432s | 17 | 712093 | 197932 | 649252 0 | 22450 | 21431 1440.04/1440.56 c 1435s | 17 | 719337 | 198132 | 649252 0 | 22450 | 21431 1443.23/1443.76 c 1438s | 17 | 724094 | 198332 | 649252 0 | 22454 | 21434 1445.63/1446.12 c 1440s | 17 | 731774 | 198532 | 649252 0 | 22454 | 21434 1447.73/1448.29 c 1442s | 17 | 735690 | 199232 | 649252 0 | 22454 | 21434 1449.83/1450.37 c 1444s | 17 | 738208 | 200032 | 649252 0 | 22454 | 21434 1452.03/1452.57 c 1447s | 17 | 741576 | 200732 | 649252 0 | 22454 | 21434 1454.23/1454.77 c 1449s | 17 | 744133 | 201432 | 649252 0 | 22454 | 21434 1456.53/1457.03 c 1451s | 17 | 748315 | 201932 | 649252 0 | 22454 | 21434 1458.73/1459.29 c 1453s | 17 | 751967 | 202232 | 649252 0 | 22454 | 21434 1461.23/1461.72 c 1456s | 17 | 754485 | 202532 | 649252 0 | 22454 | 21434 1464.74/1465.21 c 1459s | 17 | 755387 | 202732 | 649252 0 | 22454 | 21434 1467.63/1468.11 c 1462s | 17 | 755707 | 202932 | 649252 0 | 22454 | 21434 1469.83/1470.34 c 1464s | 17 | 755969 | 203132 | 649252 0 | 22454 | 21434 1471.93/1472.49 c 1467s | 17 | 756257 | 203332 | 649252 0 | 22454 | 21434 1475.13/1475.63 c 1470s | 17 | 756756 | 203632 | 649252 0 | 22454 | 21434 1477.63/1478.10 c 1472s | 17 | 757019 | 203832 | 649252 0 | 22454 | 21434 1479.83/1480.39 c 1474s | 17 | 757259 | 204032 | 649252 0 | 22454 | 21434 1482.53/1483.03 c 1477s | 17 | 757679 | 204332 | 649252 0 | 22454 | 21434 1485.03/1485.52 c 1480s | 17 | 758137 | 204632 | 649252 0 | 22454 | 21434 1487.33/1487.84 c 1482s | 17 | 758622 | 204932 | 649252 0 | 22454 | 21434 1490.13/1490.68 c 1485s | 17 | 759025 | 205232 | 649252 0 | 22454 | 21434 1492.23/1492.79 c 1487s | 17 | 759289 | 205432 | 649252 0 | 22454 | 21434 1494.33/1494.81 c 1489s | 17 | 759579 | 205632 | 649252 0 | 22454 | 21434 1497.43/1497.90 c 1492s | 17 | 759994 | 205932 | 649252 0 | 22454 | 21434 1500.03/1500.52 c 1495s | 17 | 760474 | 206232 | 649252 0 | 22454 | 21434 1502.52/1503.09 c 1497s | 17 | 760916 | 206532 | 649252 0 | 22454 | 21434 1505.43/1505.91 c 1500s | 17 | 761298 | 206832 | 649252 0 | 22454 | 21434 1507.73/1508.28 c 1502s | 17 | 761554 | 207032 | 649252 0 | 22454 | 21434 1510.22/1510.71 c 1505s | 17 | 761790 | 207232 | 649252 0 | 22454 | 21434 1512.22/1512.77 c 1507s | 17 | 762122 | 207432 | 649252 0 | 22454 | 21434 1514.73/1515.24 c 1509s | 17 | 762386 | 207632 | 649252 0 | 22454 | 21434 1516.93/1517.43 c 1511s | 17 | 762647 | 207832 | 649252 0 | 22454 | 21434 1519.63/1520.12 c 1514s | 17 | 763123 | 208132 | 649252 0 | 22454 | 21434 1522.53/1523.07 c 1517s | 17 | 763556 | 208432 | 649252 0 | 22454 | 21434 1525.24/1525.76 c 1520s | 17 | 763954 | 208732 | 649252 0 | 22454 | 21434 1527.63/1528.16 c 1522s | 17 | 764274 | 208932 | 649252 0 | 22454 | 21434 1529.83/1530.39 c 1524s | 17 | 764563 | 209132 | 649252 0 | 22454 | 21434 1532.53/1533.01 c 1527s | 17 | 764952 | 209332 | 649252 0 | 22454 | 21434 1535.33/1535.86 c 1530s | 17 | 765722 | 209632 | 649252 0 | 22454 | 21434 1537.53/1538.04 c 1532s | 17 | 766281 | 209832 | 649252 0 | 22454 | 21434 1539.63/1540.12 c 1534s | 17 | 767864 | 210032 | 649252 0 | 22454 | 21434 1541.93/1542.46 c 1536s | 17 | 768419 | 210332 | 649252 0 | 22454 | 21434 1544.53/1545.01 c 1539s | 17 | 769525 | 210632 | 649252 0 | 22454 | 21434 1547.33/1547.84 c 1542s | 17 | 769776 | 210832 | 649252 0 | 22454 | 21434 1550.72/1551.22 c 1545s | 17 | 769994 | 211032 | 649252 0 | 22454 | 21434 1553.52/1554.00 c 1548s | 17 | 770229 | 211232 | 649252 0 | 22454 | 21434 1555.72/1556.21 c 1550s | 17 | 770495 | 211432 | 649252 0 | 22454 | 21434 1557.72/1558.23 c 1552s | 17 | 770748 | 211632 | 649252 0 | 22454 | 21434 1560.12/1560.60 c 1555s | 17 | 771026 | 211832 | 649252 0 | 22454 | 21434 1562.22/1562.79 c 1557s | 17 | 771308 | 212032 | 649252 0 | 22454 | 21434 1565.02/1565.56 c 1560s | 17 | 771580 | 212232 | 649252 0 | 22454 | 21434 1567.42/1567.92 c 1562s | 17 | 771862 | 212432 | 649252 0 | 22454 | 21434 1569.82/1570.30 c 1564s | 17 | 772151 | 212632 | 649252 0 | 22454 | 21434 1572.32/1572.87 c 1567s | 17 | 772471 | 212832 | 649252 0 | 22454 | 21434 1575.12/1575.68 c 1570s | 17 | 772722 | 213032 | 649252 0 | 22454 | 21434 1578.03/1578.59 c 1573s | 17 | 772966 | 213232 | 649252 0 | 22454 | 21434 1581.12/1581.61 c 1576s | 17 | 773217 | 213432 | 649252 0 | 22454 | 21434 1583.63/1584.14 c 1578s | 17 | 773475 | 213632 | 649252 0 | 22454 | 21434 1586.12/1586.66 c 1581s | 17 | 773706 | 213832 | 649252 0 | 22454 | 21434 1589.03/1589.59 c 1584s | 17 | 773955 | 214032 | 649252 0 | 22454 | 21434 1591.33/1591.83 c 1586s | 17 | 774726 | 214232 | 649252 0 | 22454 | 21434 1593.32/1593.84 c 1588s | 17 | 775041 | 214432 | 649252 0 | 22454 | 21434 1596.32/1596.89 c 1591s | 17 | 775656 | 214732 | 649252 0 | 22454 | 21434 1598.52/1599.09 c 1593s | 17 | 776052 | 214932 | 649252 0 | 22454 | 21434 1600.92/1601.48 c 1595s | 17 | 776480 | 215132 | 649252 0 | 22454 | 21434 1603.62/1604.16 c 1598s | 17 | 776783 | 215332 | 649252 0 | 22454 | 21434 1606.42/1606.96 c 1601s | 17 | 777067 | 215532 | 649252 0 | 22454 | 21434 1609.12/1609.68 c 1604s | 17 | 777354 | 215732 | 649252 0 | 22454 | 21434 1611.82/1612.37 c 1606s | 17 | 777613 | 215932 | 649252 0 | 22454 | 21434 1614.11/1614.69 c 1609s | 17 | 777888 | 216132 | 649252 0 | 22454 | 21434 1617.02/1617.56 c 1612s | 17 | 778200 | 216332 | 649252 0 | 22454 | 21434 1619.92/1620.47 c 1614s | 17 | 778484 | 216532 | 649252 0 | 22454 | 21434 1622.61/1623.17 c 1617s | 17 | 778781 | 216732 | 649252 0 | 22454 | 21434 1625.01/1625.54 c 1620s | 17 | 779034 | 216932 | 649252 0 | 22454 | 21434 1627.41/1627.92 c 1622s | 17 | 779298 | 217132 | 649252 0 | 22454 | 21434 1629.61/1630.19 c 1624s | 17 | 779567 | 217332 | 649252 0 | 22454 | 21434 1632.11/1632.62 c 1627s | 17 | 779872 | 217532 | 649252 0 | 22454 | 21434 1634.61/1635.10 c 1629s | 17 | 780214 | 217732 | 649252 0 | 22454 | 21434 1636.91/1637.45 c 1631s | 17 | 780519 | 217932 | 649252 0 | 22454 | 21434 1639.31/1639.86 c 1634s | 17 | 780803 | 218132 | 649252 0 | 22454 | 21434 1641.51/1642.01 c 1636s | 17 | 781053 | 218332 | 649252 0 | 22454 | 21434 1643.51/1644.08 c 1638s | 17 | 781407 | 218532 | 649252 0 | 22454 | 21434 1646.01/1646.53 c 1641s | 17 | 781715 | 218732 | 649252 0 | 22454 | 21434 1648.21/1648.79 c 1643s | 17 | 782022 | 218932 | 649252 0 | 22454 | 21434 1650.51/1651.06 c 1645s | 17 | 782351 | 219132 | 649252 0 | 22454 | 21434 1653.21/1653.74 c 1648s | 17 | 782681 | 219332 | 649252 0 | 22454 | 21434 1655.41/1655.98 c 1650s | 17 | 782981 | 219532 | 649252 0 | 22454 | 21434 1658.31/1658.87 c 1653s | 17 | 783363 | 219832 | 649252 0 | 22454 | 21434 1660.41/1660.99 c 1655s | 17 | 783662 | 220032 | 649252 0 | 22454 | 21434 1663.21/1663.71 c 1658s | 17 | 784097 | 220332 | 649252 0 | 22454 | 21434 1665.51/1666.02 c 1660s | 17 | 784376 | 220532 | 649252 0 | 22454 | 21434 1669.11/1669.64 c 1664s | 17 | 784877 | 220832 | 649252 0 | 22454 | 21434 1672.01/1672.50 c 1667s | 17 | 785152 | 221032 | 649252 0 | 22454 | 21434 1675.01/1675.56 c 1670s | 17 | 785609 | 221332 | 649252 0 | 22454 | 21434 1677.11/1677.63 c 1672s | 17 | 785897 | 221532 | 649252 0 | 22454 | 21434 1679.60/1680.10 c 1674s | 17 | 786216 | 221732 | 649252 0 | 22454 | 21434 1682.10/1682.69 c 1677s | 17 | 786500 | 221932 | 649252 0 | 22454 | 21434 1684.60/1685.11 c 1679s | 17 | 786802 | 222132 | 649252 0 | 22454 | 21434 1686.60/1687.14 c 1681s | 17 | 787057 | 222332 | 649252 0 | 22454 | 21434 1689.00/1689.51 c 1684s | 17 | 787283 | 222532 | 649252 0 | 22454 | 21434 1691.80/1692.39 c 1686s | 17 | 787614 | 222732 | 649252 0 | 22454 | 21434 1694.10/1694.63 c 1689s | 17 | 787916 | 222932 | 649252 0 | 22454 | 21434 1696.20/1696.72 c 1691s | 17 | 788251 | 223132 | 649252 0 | 22454 | 21434 1698.50/1699.07 c 1693s | 17 | 788530 | 223332 | 649252 0 | 22454 | 21434 1700.60/1701.12 c 1695s | 17 | 788847 | 223532 | 649252 0 | 22454 | 21434 1703.51/1704.01 c 1698s | 17 | 789168 | 223732 | 649252 0 | 22454 | 21434 1706.30/1706.88 c 1701s | 17 | 789430 | 223932 | 649252 0 | 22454 | 21434 1708.70/1709.29 c 1703s | 17 | 789718 | 224132 | 649252 0 | 22454 | 21434 1711.11/1711.69 c 1706s | 17 | 790038 | 224332 | 649252 0 | 22454 | 21434 1713.20/1713.71 c 1708s | 17 | 790442 | 224532 | 649252 0 | 22454 | 21434 1715.40/1715.90 c 1710s | 17 | 790824 | 224732 | 649252 0 | 22454 | 21434 1718.20/1718.76 c 1713s | 17 | 791425 | 225032 | 649252 0 | 22454 | 21434 1720.80/1721.32 c 1715s | 17 | 791728 | 225232 | 649252 0 | 22454 | 21434 1723.00/1723.56 c 1718s | 17 | 792108 | 225432 | 649252 0 | 22454 | 21434 1726.30/1726.87 c 1721s | 17 | 792542 | 225732 | 649252 0 | 22454 | 21434 1728.30/1728.87 c 1723s | 17 | 792791 | 225932 | 649252 0 | 22454 | 21434 1730.70/1731.20 c 1725s | 17 | 793050 | 226132 | 649252 0 | 22454 | 21434 1733.10/1733.68 c 1728s | 17 | 793359 | 226332 | 649252 0 | 22454 | 21434 1736.20/1736.72 c 1731s | 17 | 793746 | 226632 | 649252 0 | 22454 | 21434 1738.29/1738.89 c 1733s | 17 | 794036 | 226832 | 649252 0 | 22454 | 21434 1740.69/1741.29 c 1735s | 17 | 794372 | 227032 | 649252 0 | 22454 | 21434 1742.79/1743.33 c 1737s | 17 | 794623 | 227232 | 649252 0 | 22454 | 21434 1744.89/1745.43 c 1739s | 17 | 794938 | 227432 | 649252 0 | 22454 | 21434 1746.99/1747.57 c 1742s | 17 | 795277 | 227632 | 649252 0 | 22454 | 21434 1749.09/1749.61 c 1744s | 17 | 795556 | 227832 | 649252 0 | 22454 | 21434 1751.80/1752.34 c 1746s | 17 | 804864 | 228132 | 649252 0 | 22454 | 21434 1754.10/1754.68 c 1749s | 17 | 812405 | 228432 | 649252 0 | 22454 | 21434 1756.69/1757.22 c 1751s | 17 | 812692 | 228632 | 649252 0 | 22454 | 21434 1759.89/1760.40 c 1754s | 17 | 813079 | 228932 | 649252 0 | 22454 | 21434 1761.89/1762.44 c 1756s | 17 | 813320 | 229132 | 649252 0 | 22454 | 21434 1764.00/1764.53 c 1759s | 17 | 813628 | 229332 | 649252 0 | 22454 | 21434 1765.99/1766.55 c 1761s | 17 | 813893 | 229532 | 649252 0 | 22454 | 21434 1768.49/1769.05 c 1763s | 17 | 814185 | 229732 | 649252 0 | 22454 | 21434 1770.99/1771.56 c 1766s | 17 | 814457 | 229932 | 649252 0 | 22454 | 21434 1773.19/1773.75 c 1768s | 17 | 814767 | 230132 | 649252 0 | 22454 | 21434 1776.10/1776.69 c 1771s | 17 | 815149 | 230232 | 649252 0 | 22455 | 21435 1778.20/1778.74 c 1773s | 17 | 816090 | 230532 | 649252 0 | 22455 | 21435 1780.69/1781.23 c 1775s | 17 | 819644 | 230832 | 649252 0 | 22455 | 21435 1783.59/1784.14 c 1778s | 17 | 821296 | 230932 | 649252 0 | 22459 | 21438 1786.19/1786.76 c 1781s | 17 | 821643 | 231132 | 649252 0 | 22459 | 21438 1788.49/1789.04 c 1783s | 17 | 821891 | 231332 | 649252 0 | 22459 | 21438 1790.69/1791.29 c 1785s | 17 | 822452 | 231532 | 649252 0 | 22459 | 21438 1793.49/1794.03 c 1788s | 17 | 822683 | 231732 | 649252 0 | 22459 | 21438 1796.38/1796.92 c 1791s | 17 | 822939 | 231932 | 649252 0 | 22459 | 21438 1798.58/1799.10 c 1793s | 17 | 823217 | 232132 | 649252 0 | 22459 | 21438
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-4079223-1465280731/watcher-4079223-1465280731 -o /tmp/evaluation-result-4079223-1465280731/solver-4079223-1465280731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079223-1465280731.opb pid=6272 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.15 2.21 2.23 2/179 6275 /proc/meminfo: memFree=29045788/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=668092 CPUtime=0 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 2484 0 0 0 0 0 0 0 20 0 4 0 110006304 684126208 3355 33554432000 4194304 16246674 140737188271952 140737188271376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 167791 3363 441 2943 0 164685 0 [pid=6275/tid=6276] ppid=6272 vsize=685500 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 701952000 3423 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 707194880 3441 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=694716 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 711389184 3456 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100166 s] /proc/loadavg: 2.15 2.21 2.23 2/179 6275 /proc/meminfo: memFree=29045788/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1303108 CPUtime=0.09 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 31256 0 0 0 5 4 0 0 20 0 4 0 110006304 1334382592 32066 33554432000 4194304 16246674 140737188271952 140737188271264 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 325777 32081 799 2943 0 322671 0 [pid=6275/tid=6276] ppid=6272 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1334382592 32092 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1334382592 32104 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1334382592 32115 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1303108 [startup+0.200468 s] /proc/loadavg: 2.15 2.21 2.23 2/179 6275 /proc/meminfo: memFree=29045788/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 45682 0 0 0 13 6 0 0 20 0 4 0 110006304 1343819776 47002 33554432000 4194304 16246674 140737188271952 140737188271264 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 328081 47002 799 2943 0 324975 0 [pid=6275/tid=6276] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 47002 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 47002 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 47002 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300437 s] /proc/loadavg: 2.15 2.21 2.23 2/179 6275 /proc/meminfo: memFree=29045788/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 52759 0 0 0 22 7 0 0 20 0 4 0 110006304 1343819776 54079 33554432000 4194304 16246674 140737188271952 140737188271264 7889646 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 328081 54098 799 2943 0 324975 0 [pid=6275/tid=6276] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 54109 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 54123 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1343819776 54135 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700413 s] /proc/loadavg: 2.15 2.21 2.23 2/179 6275 /proc/meminfo: memFree=29045788/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 69470 0 0 0 59 9 0 0 20 0 4 0 110006304 1344868352 70790 33554432000 4194304 16246674 140737188271952 140737188254944 4221087 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 328337 70790 800 2943 0 325231 0 [pid=6275/tid=6276] ppid=6272 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1344868352 70790 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1344868352 70790 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1344868352 70790 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.15 2.21 2.23 3/183 6279 /proc/meminfo: memFree=28744328/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1325636 CPUtime=1.49 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 89633 0 0 0 136 13 0 0 20 0 4 0 110006304 1357451264 93508 33554432000 4194304 16246674 140737188271952 140737188254944 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 331409 93508 808 2943 0 328303 0 [pid=6275/tid=6276] ppid=6272 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1357451264 93508 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1357451264 93508 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1325636 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1357451264 93508 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1325636 [startup+3.1004 s] /proc/loadavg: 2.13 2.21 2.23 3/183 6279 /proc/meminfo: memFree=28142236/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=3.09 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 277804 0 0 0 269 40 0 0 20 0 4 0 110006304 1438191616 281679 33554432000 4194304 16246674 140737188271952 140737188253824 6935132 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 281679 838 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 281679 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 281679 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 281679 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1404484 [startup+6.30042 s] /proc/loadavg: 2.13 2.21 2.23 4/183 6279 /proc/meminfo: memFree=27873740/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=6.29 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 288727 0 0 0 587 42 0 0 20 0 4 0 110006304 1438191616 293113 33554432000 4194304 16246674 140737188271952 140737188253824 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293113 891 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293113 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293113 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293113 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1404484 [startup+12.7004 s] /proc/loadavg: 2.19 2.22 2.23 3/183 6279 /proc/meminfo: memFree=27873512/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=12.69 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 288732 0 0 0 1227 42 0 0 20 0 4 0 110006304 1438191616 293118 33554432000 4194304 16246674 140737188271952 140737188254944 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293118 894 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293118 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293118 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293118 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1404484 [startup+25.5005 s] /proc/loadavg: 2.16 2.21 2.23 3/183 6279 /proc/meminfo: memFree=27874232/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=25.49 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 288733 0 0 0 2507 42 0 0 20 0 4 0 110006304 1438191616 293119 33554432000 4194304 16246674 140737188271952 140737188253824 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293119 894 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293119 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293119 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293119 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1404484 [startup+51.1004 s] /proc/loadavg: 2.10 2.19 2.22 4/183 6279 /proc/meminfo: memFree=27874148/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=51.08 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 288735 0 0 0 5066 42 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 140737188253824 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293121 894 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1404484 [startup+102.301 s] /proc/loadavg: 2.15 2.19 2.22 3/183 6280 /proc/meminfo: memFree=27873880/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=102.28 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 288735 0 0 0 10186 42 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 140737188253824 5669575 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293121 894 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293121 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1404484 ################ # More data... # ################ /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1404484 [startup+1302.3 s] /proc/loadavg: 2.35 2.30 2.26 3/183 6358 /proc/meminfo: memFree=27929960/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=1301.86 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 289129 0 0 0 130142 44 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 140737188253824 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293125 897 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1404484 [startup+1362.3 s] /proc/loadavg: 2.28 2.29 2.25 4/183 6359 /proc/meminfo: memFree=27929588/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=1361.85 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 289129 0 0 0 136141 44 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 140737188253824 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293125 897 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1404484 [startup+1422.3 s] /proc/loadavg: 2.26 2.28 2.26 3/183 6360 /proc/meminfo: memFree=27929084/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1404484 CPUtime=1421.85 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 289129 0 0 0 142141 44 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 140737188253824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 351121 293125 897 2943 0 348015 0 [pid=6275/tid=6276] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1404484 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1438191616 293125 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1404484 [startup+1482.3 s] /proc/loadavg: 2.32 2.30 2.26 3/184 6364 /proc/meminfo: memFree=27921712/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1481.83 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 148139 44 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1411652 [startup+1542.31 s] /proc/loadavg: 2.21 2.27 2.25 4/183 6366 /proc/meminfo: memFree=27921200/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1541.83 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 154138 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1411652 [startup+1602.3 s] /proc/loadavg: 2.30 2.28 2.26 3/183 6367 /proc/meminfo: memFree=27921224/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1601.82 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 160137 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5823013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1411652 [startup+1662.3 s] /proc/loadavg: 2.33 2.29 2.26 3/183 6368 /proc/meminfo: memFree=27921168/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1661.81 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 166136 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1411652 [startup+1722.3 s] /proc/loadavg: 2.30 2.28 2.26 4/183 6369 /proc/meminfo: memFree=27921304/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1721.8 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 172135 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5823512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1411652 [startup+1782.3 s] /proc/loadavg: 2.35 2.30 2.27 3/183 6370 /proc/meminfo: memFree=27920900/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1781.79 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 178134 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188269760 5530828 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1411652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.25 2.28 2.26 3/183 6371 /proc/meminfo: memFree=27920780/32872528 swapFree=17892/1720544 [pid=6275] ppid=6272 vsize=1411652 CPUtime=1800.08 cores=0,2,4,6 /proc/6275/stat : 6275 (toysat) R 6272 6275 3556 0 -1 4202496 290921 0 0 0 179963 45 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 140737188253824 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/6275/statm: 352913 294917 897 2943 0 349807 0 [pid=6275/tid=6276] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6276/stat : 6276 (toysat) S 6272 6275 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769134689520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=6275/tid=6277] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6277/stat : 6277 (toysat) S 6272 6275 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769124199664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=6275/tid=6278] ppid=6272 vsize=1411652 CPUtime=0 cores=0,2,4,6 /proc/6275/task/6278/stat : 6278 (toysat) S 6272 6275 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110006304 1445531648 294917 33554432000 4194304 16246674 140737188271952 139769040334000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1411652 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 6275 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.64 CPU system time (s): 0.45593 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (KiB): 1411652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.45593 maximum resident set size= 1179668 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290921 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= 420 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1072 second user time and 17.0804 second system time The end
Begin job on node117 at 2016-06-07 08:25:31 IDJOB=4079223 IDBENCH=89904 IDSOLVER=2542 FILE ID=node117/4079223-1465280731 RUNJOBID= node117-1465262703-3572 PBS_JOBID= 19843298 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-stp3d.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079223-1465280731/watcher-4079223-1465280731 -o /tmp/evaluation-result-4079223-1465280731/solver-4079223-1465280731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079223-1465280731.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1cc8070e576e6483e1f532bdbbfa41dd RANDOM SEED=1290454635 node117.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 : 2667.088 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 : 5334.17 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 : 2667.088 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 : 2667.088 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 : 2667.088 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 : 2667.088 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.54 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 : 2667.088 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 : 2667.088 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.53 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 : 2667.088 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29046168 kB Buffers: 80128 kB Cached: 132224 kB SwapCached: 29276 kB Active: 1218960 kB Inactive: 151176 kB Active(anon): 1129808 kB Inactive(anon): 30268 kB Active(file): 89152 kB Inactive(file): 120908 kB Unevictable: 1720544 kB Mlocked: 17892 kB SwapTotal: 67108856 kB SwapFree: 67071196 kB Dirty: 25352 kB Writeback: 0 kB AnonPages: 2852296 kB Mapped: 10840 kB Shmem: 0 kB Slab: 599732 kB SReclaimable: 43584 kB SUnreclaim: 556148 kB KernelStack: 1464 kB PageTables: 9676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2991772 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2342912 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= 71700 MiB End job on node117 at 2016-06-07 08:55:32