| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_27.opb |
| MD5SUM | e5dfc4d846a48e79d65df8a4ed637338 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.84987 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8372 |
| Total number of constraints | 41046 |
| Number of constraints which are clauses | 41041 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 91 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 27 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 118 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-17T01:33:15+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-4098220-1466119995.opb"] 0.00/0.01 c use --random-gen="2158474564 1738622900 3352846679 2619743134 3925283542 1261665873 911926695 3875388303 2908537275 876481775 3403982934 1869906210 1699104201 2506310533 4174384654 465770300 1635059515 119388162 4051675491 591337834 3457773612 878204134 2935177980 4105752568 3719706407 9285487 2063348421 2958531568 2181610604 1095784024 3913031174 3394970493 1250611561 3480925188 1089285533 122567339 1632291066 4219195498 639096894 879361992 3887446057 3965301336 1109004489 2847805759 332338273 3406885400 3255007080 1486588204 1331042761 2197646893 2389806833 4101213611 245628907 1339993440 2379107274 3169202963 480368564 1859197778 2535541244 1462985163 661449673 2489702330 2339234117 290357712 364323013 2434330031 376752309 3117706417 2177141097 3973312368 2373529566 825485061 1592763162 2991623509 2546874237 3045227630 3475425236 2032854215 2140820266 1212042610 1965226391 505923961 4040349938 921521341 4178132378 3480752403 1905510508 2639718018 912384147 3217708199 1570534102 1777566414 4049994636 494888570 475500529 3692691129 2825988678 914526815 3236354480 1103172589 2956414228 4044409597 1812277748 205673571 3906218315 1140757151 1793526911 1729898457 2050647567 2986826767 2943035482 543460102 3811690922 1317697055 3062924067 3870146039 3437550090 558269063 2163146386 945999375 2527285903 408326618 2802009038 2474609851 4030462236 1591259186 4274287695 4172403434 2188210148 1958466411 1368455179 3034486519 1847683284 839276425 1491203506 2060157747 359309655 1845324116 1123798281 3206406977 333767416 3180121585 1333567067 162583354 2357370242 686095922 3586515449 3644143174 4007911912 2197180803 1713004018 3431950983 3769876951 2550535283 1323249154 1724133748 2855487200 2613998446 3038580822 815146483 1230851394 1561226554 2259963226 1552888751 1605292814 3514892600 3346447852 2679245524 1408698141 981591861 1717414166 227064433 1050405081 1482129504 3200946934 3182463781 3110237819 3217066144 4237018391 582684137 2025011539 3643439875 3605912454 1490125274 3320440178 3408964043 3195932389 3509639501 2607107794 2117552585 3802392459 4172319336 1448024519 1082203424 3812534049 1139589026 98066379 1248948409 3353680296 172951647 1163287369 3291547602 79997612 2541115877 2608299328 2276769425 1645066158 3671015709 2759062891 2250312245 4216922008 3912080068 1361548922 301874835 4115609042 4163462547 273652362 3292193305 294708193 1672721649 3054032464 3660082022 3808114420 2014007087 1452431955 1782693575 494072824 2201092290 209913431 868639431 1123394615 3003810140 910108947 2744361000 1719150412 2629321185 2553378818 731462157 2533563393 1453533544 2493878342 2856652649 1320882757 340981517 1430610222 1425629003 2935578027 1866276102 1159482213 1968884706 360083580 2071831147 3204850428 2893122969 3836899518 4294962694 255 362436" option to reproduce the execution 0.99/1.01 c #vars 8372 0.99/1.01 c #constraints 41046 2.89/2.97 c Solving starts ... 2.89/2.97 c ============================[ Search Statistics ]============================ 2.89/2.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.97 c | | | | Limit GC | Var | Constra 2.89/2.97 c ============================================================================= 2.89/2.97 c 0.0s | 0 | 0 | 0 | 16471 0 | 5 | 0 3.59/3.60 c 0.6s | 1 | 975 | 100 | 16471 0 | 5 | 784 4.50/4.55 c 1.6s | 2 | 1693 | 250 | 18119 0 | 5 | 784 5.89/5.90 c 2.9s | 3 | 3626 | 475 | 19931 0 | 5 | 784 7.59/7.63 c 4.7s | 4 | 5422 | 813 | 21925 0 | 5 | 784 10.00/10.04 c 7.1s | 4 | 9894 | 1313 | 24118 0 | 5 | 784 10.00/10.07 c 7.1s | 5 | 9900 | 1320 | 24118 0 | 5 | 784 12.20/12.27 c 9.3s | 5 | 15411 | 1820 | 26530 0 | 5 | 784 13.39/13.48 c 10.5s | 6 | 17593 | 2081 | 29184 0 | 5 | 784 15.79/15.85 c 12.9s | 6 | 22906 | 2581 | 29184 0 | 5 | 784 17.89/17.90 c 14.9s | 6 | 26041 | 3181 | 29184 0 | 5 | 784 17.99/18.01 c 15.0s | 7 | 26113 | 3223 | 32103 0 | 5 | 784 20.19/20.22 c 17.3s | 7 | 27355 | 3723 | 32103 0 | 5 | 784 22.39/22.41 c 19.4s | 7 | 29929 | 4123 | 32103 0 | 5 | 784 24.39/24.49 c 21.5s | 7 | 33255 | 4523 | 32103 0 | 5 | 784 26.19/26.27 c 23.3s | 8 | 36107 | 4936 | 35314 0 | 5 | 784 28.39/28.41 c 25.4s | 8 | 39253 | 5336 | 35314 0 | 5 | 784 30.49/30.53 c 27.6s | 8 | 42041 | 5936 | 35314 0 | 5 | 784 33.09/33.12 c 30.1s | 8 | 43682 | 6336 | 35314 0 | 5 | 784 35.38/35.49 c 32.5s | 8 | 46864 | 6736 | 35314 0 | 5 | 784 37.88/37.92 c 34.9s | 8 | 52724 | 7236 | 35314 0 | 5 | 784 39.08/39.19 c 36.2s | 9 | 55403 | 7506 | 38846 0 | 5 | 784 41.48/41.56 c 38.6s | 9 | 59936 | 7906 | 38846 0 | 5 | 784 43.58/43.65 c 40.7s | 9 | 63807 | 8406 | 38846 0 | 5 | 784 46.08/46.11 c 43.1s | 9 | 69216 | 9106 | 38846 0 | 5 | 784 48.08/48.16 c 45.2s | 9 | 74019 | 9506 | 38846 0 | 5 | 784 50.28/50.39 c 47.4s | 9 | 78693 | 10206 | 38846 0 | 5 | 784 52.38/52.48 c 49.5s | 9 | 84368 | 10706 | 38846 0 | 5 | 784 54.68/54.78 c 51.8s | 9 | 91744 | 11206 | 38846 0 | 5 | 784 55.58/55.65 c 52.7s | 10 | 93182 | 11361 | 42731 0 | 5 | 784 57.78/57.89 c 54.9s | 10 | 98617 | 11861 | 42731 0 | 5 | 784 59.88/59.97 c 57.0s | 10 | 101255 | 12461 | 42731 0 | 5 | 784 61.98/62.08 c 59.1s | 10 | 110163 | 13061 | 42731 0 | 5 | 784 64.18/64.22 c 61.2s | 10 | 114312 | 13461 | 42731 0 | 5 | 784 66.28/66.35 c 63.4s | 10 | 119944 | 14161 | 42731 0 | 5 | 784 68.48/68.51 c 65.5s | 10 | 125407 | 14661 | 42731 0 | 5 | 784 70.49/70.54 c 67.6s | 10 | 129812 | 15061 | 42731 0 | 5 | 784 72.69/72.74 c 69.8s | 10 | 135907 | 15661 | 42731 0 | 5 | 784 74.98/75.09 c 72.1s | 10 | 139522 | 16361 | 42731 0 | 5 | 784 77.18/77.25 c 74.3s | 10 | 145316 | 16861 | 42731 0 | 5 | 784 78.48/78.50 c 75.5s | 11 | 148122 | 17144 | 47005 0 | 5 | 784 80.58/80.69 c 77.7s | 11 | 151784 | 17644 | 47005 0 | 5 | 784 82.78/82.82 c 79.8s | 11 | 159129 | 18444 | 47005 0 | 5 | 784 85.08/85.17 c 82.2s | 11 | 164295 | 18944 | 47005 0 | 5 | 784 87.28/87.31 c 84.3s | 11 | 166578 | 19544 | 47005 0 | 5 | 784 89.67/89.77 c 86.8s | 11 | 173281 | 20244 | 47005 0 | 5 | 784 91.77/91.82 c 88.9s | 11 | 177913 | 20744 | 47005 0 | 5 | 784 94.17/94.20 c 91.2s | 11 | 183732 | 21444 | 47005 0 | 5 | 784 96.17/96.22 c 93.2s | 11 | 187925 | 22044 | 47005 0 | 5 | 784 98.27/98.32 c 95.3s | 11 | 192525 | 22644 | 47005 0 | 5 | 784 100.47/100.57 c 97.6s | 11 | 196983 | 23244 | 47005 0 | 5 | 784 102.87/102.90 c 99.9s | 11 | 200403 | 23844 | 47005 0 | 5 | 784 105.17/105.29 c 102s | 11 | 205313 | 24344 | 47005 0 | 5 | 784 107.47/107.56 c 104s | 11 | 211804 | 25144 | 47005 0 | 5 | 784 109.67/109.72 c 106s | 11 | 217672 | 25644 | 47005 0 | 5 | 784 110.17/110.26 c 107s | 12 | 218838 | 25819 | 51706 0 | 5 | 784 112.28/112.31 c 109s | 12 | 223007 | 26419 | 51706 0 | 5 | 784 114.48/114.58 c 111s | 12 | 229441 | 27019 | 51706 0 | 5 | 784 116.77/116.84 c 113s | 12 | 236116 | 27819 | 51706 0 | 5 | 784 119.17/119.20 c 116s | 12 | 240752 | 28519 | 51706 0 | 5 | 784 121.47/121.52 c 118s | 12 | 245108 | 29119 | 51706 0 | 5 | 784 123.67/123.79 c 120s | 12 | 248353 | 29619 | 51706 0 | 5 | 784 125.87/125.99 c 123s | 12 | 252975 | 30319 | 51706 0 | 5 | 784 128.17/128.29 c 125s | 12 | 255901 | 30919 | 51706 0 | 5 | 784 130.47/130.54 c 127s | 12 | 260547 | 31619 | 51706 0 | 5 | 784 132.77/132.87 c 129s | 12 | 264752 | 32319 | 51706 0 | 5 | 784 134.97/135.07 c 132s | 12 | 268778 | 33119 | 51706 0 | 5 | 784 137.27/137.38 c 134s | 12 | 272728 | 33819 | 51706 0 | 5 | 784 139.37/139.47 c 136s | 12 | 275096 | 34519 | 51706 0 | 5 | 784 141.57/141.69 c 138s | 12 | 277759 | 35319 | 51706 0 | 5 | 784 143.77/143.86 c 140s | 12 | 279856 | 36119 | 51706 0 | 5 | 784 145.97/146.00 c 143s | 12 | 284755 | 36619 | 51706 0 | 5 | 784 147.97/148.00 c 145s | 12 | 288415 | 37119 | 51706 0 | 5 | 784 150.17/150.22 c 147s | 12 | 293570 | 37619 | 51706 0 | 5 | 784 152.56/152.66 c 149s | 12 | 298801 | 38019 | 51706 0 | 5 | 784 155.07/155.12 c 152s | 12 | 303857 | 38419 | 51706 0 | 5 | 784 156.76/156.81 c 153s | 13 | 305421 | 38832 | 56877 0 | 5 | 784 158.86/158.95 c 155s | 13 | 309434 | 39132 | 56877 0 | 5 | 784 160.96/161.07 c 158s | 13 | 314044 | 39732 | 56877 0 | 5 | 784 163.66/163.74 c 160s | 13 | 319176 | 40232 | 56877 0 | 5 | 784 166.26/166.30 c 163s | 13 | 323933 | 40632 | 56877 0 | 5 | 784 168.37/168.46 c 165s | 13 | 327641 | 40932 | 56877 0 | 5 | 784 170.86/170.91 c 167s | 13 | 331290 | 41332 | 56877 0 | 5 | 784 172.96/173.03 c 170s | 13 | 334430 | 41732 | 56877 0 | 5 | 784 175.16/175.24 c 172s | 13 | 336153 | 42232 | 56877 0 | 5 | 784 177.46/177.51 c 174s | 13 | 339886 | 42632 | 56877 0 | 5 | 784 179.96/180.07 c 177s | 13 | 345800 | 43032 | 56877 0 | 5 | 784 182.26/182.36 c 179s | 13 | 348403 | 43532 | 56877 0 | 5 | 784 184.36/184.43 c 181s | 13 | 352638 | 43932 | 56877 0 | 5 | 784 186.56/186.61 c 183s | 13 | 357172 | 44332 | 56877 0 | 5 | 784 188.96/189.05 c 186s | 13 | 363362 | 44732 | 56877 0 | 5 | 784 191.47/191.53 c 188s | 13 | 369242 | 45132 | 56877 0 | 5 | 784 193.57/193.62 c 190s | 13 | 372331 | 45532 | 56877 0 | 5 | 784 195.77/195.86 c 192s | 13 | 376463 | 46132 | 56877 0 | 5 | 784 198.06/198.16 c 195s | 13 | 381699 | 46532 | 56877 0 | 5 | 784 200.06/200.20 c 197s | 13 | 385301 | 46832 | 56877 0 | 5 | 784 202.46/202.52 c 199s | 13 | 389932 | 47232 | 56877 0 | 5 | 784 204.76/204.80 c 201s | 13 | 393945 | 47832 | 56877 0 | 5 | 784 207.06/207.18 c 204s | 13 | 397094 | 48232 | 56877 0 | 5 | 784 209.26/209.37 c 206s | 13 | 401151 | 48632 | 56877 0 | 5 | 784 211.46/211.55 c 208s | 13 | 405173 | 49132 | 56877 0 | 5 | 784 213.76/213.87 c 210s | 13 | 409475 | 49632 | 56877 0 | 5 | 784 216.36/216.40 c 213s | 13 | 413599 | 50032 | 56877 0 | 5 | 784 218.45/218.56 c 215s | 13 | 417105 | 50532 | 56877 0 | 5 | 784 220.55/220.64 c 217s | 13 | 419293 | 50932 | 56877 0 | 5 | 784 223.05/223.15 c 220s | 13 | 423916 | 51332 | 56877 0 | 5 | 784 225.25/225.38 c 222s | 13 | 428031 | 51732 | 56877 0 | 5 | 784 227.45/227.55 c 224s | 13 | 430734 | 52232 | 56877 0 | 5 | 784 229.45/229.56 c 226s | 13 | 434974 | 52632 | 56877 0 | 5 | 784 231.85/231.93 c 228s | 13 | 438886 | 53232 | 56877 0 | 5 | 784 234.05/234.12 c 231s | 13 | 446396 | 53732 | 56877 0 | 5 | 784 236.46/236.54 c 233s | 13 | 449649 | 54132 | 56877 0 | 5 | 784 238.66/238.76 c 235s | 13 | 453601 | 54732 | 56877 0 | 5 | 784 240.75/240.88 c 237s | 13 | 458374 | 55132 | 56877 0 | 5 | 784 242.95/243.08 c 240s | 13 | 462887 | 55632 | 56877 0 | 5 | 784 245.05/245.14 c 242s | 13 | 466466 | 56132 | 56877 0 | 5 | 784 247.25/247.36 c 244s | 13 | 471144 | 56732 | 56877 0 | 5 | 784 249.45/249.53 c 246s | 13 | 476011 | 57332 | 56877 0 | 5 | 784 251.96/252.01 c 249s | 13 | 481416 | 57832 | 56877 0 | 5 | 784 254.16/254.20 c 251s | 13 | 484892 | 58232 | 62565 0 | 5 | 784 254.65/254.79 c 251s | 14 | 485720 | 58352 | 62565 0 | 5 | 784 256.95/257.07 c 254s | 14 | 488576 | 58652 | 62565 0 | 5 | 784 259.35/259.47 c 256s | 14 | 491494 | 59252 | 62565 0 | 5 | 784 261.55/261.66 c 258s | 14 | 494472 | 59752 | 62565 0 | 5 | 784 263.95/264.09 c 261s | 14 | 497175 | 60252 | 62565 0 | 5 | 784 266.05/266.10 c 263s | 14 | 500722 | 60652 | 62565 0 | 5 | 784 268.05/268.16 c 265s | 14 | 502740 | 61052 | 62565 0 | 5 | 784 270.25/270.35 c 267s | 14 | 503901 | 61652 | 62565 0 | 5 | 784 272.55/272.65 c 269s | 14 | 505294 | 62252 | 62565 0 | 5 | 784 274.75/274.87 c 271s | 14 | 506788 | 62752 | 62565 0 | 5 | 784 277.05/277.12 c 274s | 14 | 510038 | 63452 | 62565 0 | 5 | 784 279.25/279.38 c 276s | 14 | 512282 | 63952 | 62565 0 | 5 | 784 281.65/281.72 c 278s | 14 | 514301 | 64452 | 62565 0 | 5 | 784 283.64/283.73 c 280s | 14 | 516503 | 64952 | 62565 0 | 5 | 784 286.24/286.34 c 283s | 14 | 518909 | 65452 | 62565 0 | 5 | 784 288.34/288.49 c 285s | 14 | 521737 | 65952 | 62565 0 | 5 | 784 290.54/290.61 c 287s | 14 | 524300 | 66252 | 62565 1 | 5 | 784 292.55/292.68 c 289s | 14 | 528107 | 66852 | 62565 1 | 5 | 784 294.54/294.68 c 291s | 14 | 530866 | 67352 | 62565 1 | 5 | 784 297.15/297.20 c 294s | 14 | 534275 | 67652 | 62565 1 | 5 | 784 299.25/299.37 c 296s | 14 | 538129 | 68052 | 62565 1 | 5 | 784 301.45/301.56 c 298s | 14 | 541434 | 68652 | 62565 1 | 5 | 784 304.05/304.10 c 301s | 14 | 545750 | 69152 | 62565 1 | 5 | 784 306.25/306.32 c 303s | 14 | 550013 | 69552 | 62565 1 | 5 | 784 308.55/308.61 c 305s | 14 | 557038 | 69952 | 62565 1 | 5 | 784 310.55/310.69 c 307s | 14 | 560721 | 70552 | 62565 1 | 5 | 784 313.05/313.16 c 310s | 14 | 565489 | 71052 | 62565 1 | 5 | 784 315.35/315.41 c 312s | 14 | 569987 | 71452 | 62565 1 | 5 | 784 317.85/317.95 c 314s | 14 | 574195 | 71852 | 62565 1 | 5 | 784 320.15/320.28 c 317s | 14 | 578677 | 72352 | 62565 1 | 5 | 784 322.25/322.31 c 319s | 14 | 581632 | 72852 | 62565 1 | 5 | 784 324.34/324.46 c 321s | 14 | 586427 | 73252 | 62565 1 | 5 | 784 326.34/326.46 c 323s | 14 | 590412 | 73652 | 62565 1 | 5 | 784 328.64/328.71 c 325s | 14 | 594080 | 74252 | 62565 1 | 5 | 784 330.64/330.78 c 327s | 14 | 598213 | 74652 | 62565 1 | 5 | 784 332.94/333.03 c 330s | 14 | 602963 | 75052 | 62565 1 | 5 | 784 335.14/335.22 c 332s | 14 | 607070 | 75452 | 62565 1 | 5 | 784 337.54/337.64 c 334s | 14 | 610626 | 76052 | 62565 1 | 5 | 784 339.64/339.74 c 336s | 14 | 615744 | 76452 | 62565 1 | 5 | 784 341.94/342.01 c 339s | 14 | 619387 | 76852 | 62565 1 | 5 | 784 343.94/344.09 c 341s | 14 | 623549 | 77452 | 62565 1 | 5 | 784 346.04/346.15 c 343s | 14 | 628209 | 77852 | 62565 1 | 5 | 784 348.34/348.42 c 345s | 14 | 633109 | 78252 | 62565 1 | 5 | 784 350.34/350.47 c 347s | 14 | 636550 | 78852 | 62565 1 | 5 | 784 352.44/352.53 c 349s | 14 | 640379 | 79252 | 62565 1 | 5 | 784 354.44/354.58 c 351s | 14 | 643299 | 79652 | 62565 1 | 5 | 784 356.84/356.92 c 353s | 14 | 646551 | 80252 | 62565 1 | 5 | 784 359.04/359.16 c 356s | 14 | 650748 | 80652 | 62565 1 | 5 | 784 361.34/361.46 c 358s | 14 | 655492 | 81152 | 62565 1 | 5 | 784 363.74/363.83 c 360s | 14 | 659302 | 81752 | 62565 1 | 5 | 784 365.94/366.00 c 363s | 14 | 665943 | 82452 | 62565 1 | 5 | 784 368.04/368.17 c 365s | 14 | 671044 | 82952 | 62565 1 | 5 | 784 370.23/370.30 c 367s | 14 | 675527 | 83552 | 62565 1 | 5 | 784 372.63/372.72 c 369s | 14 | 679840 | 84052 | 62565 1 | 5 | 784 374.93/375.01 c 372s | 14 | 683413 | 84652 | 62565 1 | 5 | 784 377.24/377.34 c 374s | 14 | 688008 | 85152 | 62565 1 | 5 | 784 379.33/379.47 c 376s | 14 | 690075 | 85652 | 62565 1 | 5 | 784 381.64/381.79 c 378s | 14 | 693687 | 86152 | 62565 1 | 5 | 784 383.84/383.93 c 380s | 14 | 697368 | 86752 | 62565 1 | 5 | 784 386.23/386.32 c 383s | 14 | 701193 | 87352 | 68822 1 | 5 | 784 387.43/387.50 c 384s | 15 | 702901 | 87632 | 68822 1 | 5 | 784 389.44/389.53 c 386s | 15 | 705214 | 87832 | 68822 1 | 5 | 784 391.54/391.67 c 388s | 15 | 707019 | 88132 | 68822 1 | 5 | 784 393.74/393.84 c 390s | 15 | 710302 | 88732 | 68822 1 | 5 | 784 395.94/396.08 c 393s | 15 | 712053 | 89232 | 68822 1 | 5 | 784 398.03/398.12 c 395s | 15 | 714815 | 89732 | 68822 1 | 5 | 784 400.03/400.18 c 397s | 15 | 716635 | 90232 | 68822 1 | 5 | 784 402.33/402.42 c 399s | 15 | 718515 | 90732 | 68822 1 | 5 | 784 404.33/404.49 c 401s | 15 | 720564 | 91232 | 68822 1 | 5 | 784 406.53/406.60 c 403s | 15 | 721658 | 91632 | 68822 1 | 5 | 784 408.73/408.89 c 405s | 15 | 723085 | 92132 | 68822 1 | 5 | 784 410.83/410.93 c 407s | 15 | 724371 | 92732 | 68822 1 | 5 | 784 413.13/413.23 c 410s | 15 | 728099 | 93232 | 68822 1 | 5 | 784 415.43/415.50 c 412s | 15 | 731288 | 93832 | 68822 1 | 5 | 784 417.53/417.67 c 414s | 15 | 736861 | 94232 | 68822 1 | 5 | 784 420.03/420.16 c 417s | 15 | 741850 | 94632 | 68822 1 | 5 | 784 422.33/422.42 c 419s | 15 | 744576 | 94932 | 68822 1 | 5 | 784 439.63/439.72 c 436s | 15 | 745857 | 95032 | 68822 1 | 5 | 784 441.63/441.74 c 438s | 15 | 748994 | 95432 | 68822 1 | 5 | 784 443.63/443.74 c 440s | 15 | 751735 | 95932 | 68822 1 | 5 | 784 446.03/446.12 c 443s | 15 | 755395 | 96332 | 68822 1 | 5 | 784 448.53/448.65 c 445s | 15 | 759818 | 96732 | 68822 1 | 5 | 784 450.53/450.69 c 447s | 15 | 763349 | 97032 | 68822 1 | 5 | 784 452.73/452.87 c 449s | 15 | 767982 | 97332 | 68822 1 | 5 | 784 455.33/455.42 c 452s | 15 | 773903 | 97732 | 68822 1 | 5 | 784 457.63/457.75 c 454s | 15 | 778826 | 98232 | 68822 1 | 5 | 784 460.02/460.11 c 457s | 15 | 783461 | 98832 | 68822 1 | 5 | 784 462.72/462.80 c 459s | 15 | 789232 | 99232 | 68822 1 | 5 | 784 464.82/464.90 c 461s | 15 | 791824 | 99532 | 68822 1 | 5 | 784 466.92/467.06 c 464s | 15 | 795372 | 100032 | 68822 1 | 5 | 784 469.42/469.51 c 466s | 15 | 800054 | 100632 | 68822 1 | 5 | 784 472.02/472.13 c 469s | 15 | 805092 | 101032 | 68822 1 | 5 | 784 474.13/474.28 c 471s | 15 | 809568 | 101332 | 68822 1 | 5 | 784 476.62/476.78 c 473s | 15 | 814954 | 101732 | 68822 1 | 5 | 784 479.12/479.20 c 476s | 15 | 819276 | 102132 | 68822 1 | 5 | 784 481.22/481.30 c 478s | 15 | 823085 | 102732 | 68822 1 | 5 | 784 484.22/484.32 c 481s | 15 | 825918 | 103032 | 68822 2 | 5 | 784 486.23/486.40 c 483s | 15 | 830143 | 103532 | 68822 2 | 5 | 784 488.43/488.51 c 485s | 15 | 832659 | 104032 | 68822 2 | 5 | 784 490.42/490.56 c 487s | 15 | 836951 | 104432 | 68822 2 | 5 | 784 492.83/492.98 c 490s | 15 | 841881 | 104832 | 68822 2 | 5 | 784 495.03/495.17 c 492s | 15 | 844978 | 105432 | 68822 2 | 5 | 784 497.13/497.21 c 494s | 15 | 848311 | 105832 | 68822 2 | 5 | 784 499.43/499.53 c 496s | 15 | 852303 | 106232 | 68822 2 | 5 | 784 501.72/501.83 c 498s | 15 | 855701 | 106632 | 68822 2 | 5 | 784 504.02/504.14 c 501s | 15 | 860105 | 107232 | 68822 2 | 5 | 784 506.12/506.24 c 503s | 15 | 865161 | 107632 | 68822 2 | 5 | 784 508.32/508.46 c 505s | 15 | 869471 | 108232 | 68822 2 | 5 | 784 510.82/510.99 c 508s | 15 | 874904 | 108832 | 68822 2 | 5 | 784 513.02/513.12 c 510s | 15 | 879849 | 109332 | 68822 2 | 5 | 784 515.02/515.13 c 512s | 15 | 883839 | 109932 | 68822 2 | 5 | 784 517.22/517.39 c 514s | 15 | 887758 | 110532 | 68822 2 | 5 | 784 519.32/519.44 c 516s | 15 | 892002 | 111032 | 68822 2 | 5 | 784 521.71/521.82 c 518s | 15 | 897744 | 111532 | 68822 2 | 5 | 784 524.11/524.20 c 521s | 15 | 902549 | 112232 | 68822 2 | 5 | 784 526.41/526.53 c 523s | 15 | 905521 | 112832 | 68822 2 | 5 | 784 528.81/528.95 c 525s | 15 | 909395 | 113332 | 68822 2 | 5 | 784 531.11/531.26 c 528s | 15 | 914562 | 114032 | 68822 2 | 5 | 784 533.11/533.28 c 530s | 15 | 919459 | 114532 | 68822 2 | 5 | 784 535.62/535.76 c 532s | 15 | 922730 | 115132 | 68822 2 | 5 | 784 537.71/537.88 c 534s | 15 | 925525 | 115732 | 68822 2 | 5 | 784 540.02/540.19 c 537s | 15 | 930822 | 116532 | 68822 2 | 5 | 784 542.22/542.31 c 539s | 15 | 933495 | 117032 | 68822 2 | 5 | 784 544.21/544.38 c 541s | 15 | 937145 | 117632 | 68822 2 | 5 | 784 546.51/546.68 c 543s | 15 | 939982 | 118232 | 68822 2 | 5 | 784 548.92/549.05 c 546s | 15 | 944285 | 119032 | 68822 2 | 5 | 784 551.21/551.35 c 548s | 15 | 947396 | 119732 | 68822 2 | 5 | 784 553.22/553.37 c 550s | 15 | 949924 | 120432 | 68822 2 | 5 | 784 555.31/555.49 c 552s | 15 | 953930 | 121332 | 68822 2 | 5 | 784 557.81/557.95 c 554s | 15 | 957336 | 122232 | 68822 2 | 5 | 784 560.01/560.19 c 557s | 15 | 962899 | 122632 | 68822 2 | 5 | 784 562.11/562.21 c 559s | 15 | 967446 | 123232 | 68822 2 | 5 | 784 564.61/564.71 c 561s | 15 | 972081 | 123732 | 68822 2 | 5 | 784 566.81/566.92 c 563s | 15 | 978491 | 124132 | 68822 2 | 5 | 784 569.01/569.19 c 566s | 15 | 981723 | 124432 | 68822 2 | 5 | 784 571.61/571.71 c 568s | 15 | 986614 | 124832 | 68822 2 | 5 | 784 573.60/573.77 c 570s | 15 | 989673 | 125232 | 68822 2 | 5 | 784 575.90/576.05 c 573s | 15 | 994048 | 125832 | 68822 2 | 5 | 784 578.20/578.33 c 575s | 15 | 998921 | 126232 | 68822 2 | 5 | 784 580.20/580.37 c 577s | 15 | 1002477 | 126532 | 68822 2 | 5 | 784 582.50/582.66 c 579s | 15 | 1006984 | 126932 | 68822 2 | 5 | 784 584.60/584.72 c 581s | 15 | 1010573 | 127432 | 68822 2 | 5 | 784 586.90/587.04 c 584s | 15 | 1015157 | 128032 | 68822 2 | 5 | 784 589.10/589.28 c 586s | 15 | 1020916 | 128432 | 68822 2 | 5 | 784 591.40/591.53 c 588s | 15 | 1024382 | 128932 | 68822 2 | 5 | 784 593.50/593.63 c 590s | 15 | 1028682 | 129432 | 68822 2 | 5 | 784 595.50/595.65 c 592s | 15 | 1032013 | 129732 | 68822 2 | 5 | 784 598.00/598.12 c 595s | 15 | 1036486 | 130132 | 68822 2 | 5 | 784 600.10/600.21 c 597s | 15 | 1040294 | 130532 | 68822 2 | 5 | 784 602.50/602.63 c 599s | 15 | 1043747 | 131132 | 75705 2 | 5 | 784 604.70/604.82 c 601s | 15 | 1047510 | 131532 | 75705 2 | 5 | 784 604.80/604.92 c 601s | 16 | 1047703 | 131552 | 75705 2 | 5 | 784 606.90/607.05 c 604s | 16 | 1051352 | 131852 | 75705 2 | 5 | 784 609.20/609.39 c 606s | 16 | 1055507 | 132452 | 75705 2 | 5 | 784 611.61/611.74 c 608s | 16 | 1058844 | 132852 | 75705 2 | 5 | 784 614.00/614.13 c 611s | 16 | 1063792 | 133252 | 75705 2 | 5 | 784 616.00/616.18 c 613s | 16 | 1067604 | 133652 | 75705 2 | 5 | 784 618.40/618.54 c 615s | 16 | 1071219 | 134252 | 75705 2 | 5 | 784 620.80/620.91 c 617s | 16 | 1074597 | 134652 | 75705 2 | 5 | 784 623.10/623.27 c 620s | 16 | 1077924 | 135252 | 75705 2 | 5 | 784 625.40/625.55 c 622s | 16 | 1082020 | 135652 | 75705 2 | 5 | 784 627.60/627.76 c 624s | 16 | 1086454 | 136252 | 75705 2 | 5 | 784 629.90/630.01 c 627s | 16 | 1089783 | 136752 | 75705 2 | 5 | 784 631.89/632.04 c 629s | 16 | 1093586 | 137152 | 75705 2 | 5 | 784 634.39/634.50 c 631s | 16 | 1096385 | 137752 | 75705 2 | 5 | 784 636.69/636.86 c 633s | 16 | 1100585 | 138352 | 75705 2 | 5 | 784 638.79/638.99 c 636s | 16 | 1103566 | 138752 | 75705 2 | 5 | 784 641.20/641.35 c 638s | 16 | 1107533 | 139252 | 75705 2 | 5 | 784 643.50/643.63 c 640s | 16 | 1110059 | 139752 | 75705 2 | 5 | 784 645.79/645.98 c 643s | 16 | 1114033 | 140252 | 75705 2 | 5 | 784 648.19/648.38 c 645s | 16 | 1116440 | 140752 | 75705 2 | 5 | 784 650.39/650.54 c 647s | 16 | 1120963 | 141352 | 75705 2 | 5 | 784 652.79/652.95 c 649s | 16 | 1125874 | 142052 | 75705 2 | 5 | 784 654.99/655.17 c 652s | 16 | 1129141 | 142552 | 75705 2 | 5 | 784 657.49/657.65 c 654s | 16 | 1132276 | 143052 | 75705 2 | 5 | 784 659.69/659.88 c 656s | 16 | 1134673 | 143652 | 75705 2 | 5 | 784 661.89/662.01 c 659s | 16 | 1138098 | 144252 | 75705 2 | 5 | 784 663.89/664.05 c 661s | 16 | 1140768 | 144752 | 75705 2 | 5 | 784 666.29/666.40 c 663s | 16 | 1142978 | 145352 | 75705 2 | 5 | 784 668.49/668.67 c 665s | 16 | 1144856 | 145952 | 75705 2 | 5 | 784 670.69/670.85 c 667s | 16 | 1146729 | 146552 | 75705 2 | 5 | 784 672.79/672.96 c 669s | 16 | 1148053 | 147152 | 75705 2 | 5 | 784 682.88/683.00 c 680s | 16 | 1148826 | 147452 | 75705 3 | 5 | 784 709.18/709.31 c 706s | 16 | 1149016 | 147552 | 75705 3 | 5 | 784 711.69/711.86 c 708s | 16 | 1151527 | 148052 | 75705 3 | 5 | 784 713.98/714.13 c 711s | 16 | 1154050 | 148452 | 75705 3 | 5 | 784 715.99/716.14 c 713s | 16 | 1158319 | 148952 | 75705 3 | 5 | 784 718.48/718.62 c 715s | 16 | 1162671 | 149552 | 75705 3 | 5 | 784 720.49/720.66 c 717s | 16 | 1165623 | 150052 | 75705 3 | 5 | 784 722.88/723.03 c 720s | 16 | 1170489 | 150752 | 75705 3 | 5 | 784 725.08/725.28 c 722s | 16 | 1174316 | 151352 | 75705 3 | 5 | 784 727.28/727.44 c 724s | 16 | 1178037 | 151952 | 75705 3 | 5 | 784 729.48/729.64 c 726s | 16 | 1182055 | 152552 | 75705 3 | 5 | 784 731.58/731.76 c 728s | 16 | 1185714 | 153252 | 75705 3 | 5 | 784 733.88/734.02 c 731s | 16 | 1190498 | 154052 | 75705 3 | 5 | 784 736.28/736.45 c 733s | 16 | 1193023 | 154652 | 75705 3 | 5 | 784 738.78/738.90 c 735s | 16 | 1194724 | 155152 | 75705 3 | 5 | 784 740.88/741.04 c 738s | 16 | 1196164 | 155652 | 75705 3 | 5 | 784 743.18/743.38 c 740s | 16 | 1197515 | 156152 | 75705 3 | 5 | 784 745.57/745.74 c 742s | 16 | 1201280 | 156652 | 75705 3 | 5 | 784 747.98/748.12 c 745s | 16 | 1205396 | 157352 | 75705 3 | 5 | 784 750.08/750.25 c 747s | 16 | 1209576 | 157752 | 75705 3 | 5 | 784 752.17/752.36 c 749s | 16 | 1212146 | 158252 | 75705 3 | 5 | 784 754.27/754.41 c 751s | 16 | 1215113 | 158652 | 75705 3 | 5 | 784 756.68/756.84 c 753s | 16 | 1218960 | 159052 | 75705 3 | 5 | 784 758.88/759.10 c 756s | 16 | 1223059 | 159652 | 75705 3 | 5 | 784 761.18/761.34 c 758s | 16 | 1228554 | 160152 | 75705 3 | 5 | 784 763.47/763.62 c 760s | 16 | 1233750 | 160652 | 75705 3 | 5 | 784 765.48/765.68 c 762s | 16 | 1237761 | 161252 | 75705 3 | 5 | 784 767.97/768.12 c 765s | 16 | 1242489 | 161652 | 75705 3 | 5 | 784 770.07/770.25 c 767s | 16 | 1246111 | 162152 | 75705 3 | 5 | 784 772.27/772.46 c 769s | 16 | 1250022 | 162752 | 75705 3 | 5 | 784 774.47/774.65 c 771s | 16 | 1254309 | 163152 | 75705 3 | 5 | 784 776.48/776.65 c 773s | 16 | 1256950 | 163652 | 75705 3 | 5 | 784 778.78/778.96 c 775s | 16 | 1260644 | 164152 | 75705 3 | 5 | 784 780.88/781.08 c 778s | 16 | 1264859 | 164552 | 75705 3 | 5 | 784 783.08/783.27 c 780s | 16 | 1270395 | 164952 | 75705 3 | 5 | 784 785.27/785.48 c 782s | 16 | 1274996 | 165552 | 75705 3 | 5 | 784 787.67/787.87 c 784s | 16 | 1280391 | 166052 | 75705 3 | 5 | 784 790.27/790.43 c 787s | 16 | 1285555 | 166452 | 75705 3 | 5 | 784 792.37/792.58 c 789s | 16 | 1287857 | 166852 | 75705 3 | 5 | 784 794.67/794.87 c 791s | 16 | 1291816 | 167452 | 75705 3 | 5 | 784 797.17/797.31 c 794s | 16 | 1295708 | 167852 | 75705 3 | 5 | 784 799.67/799.82 c 796s | 16 | 1300799 | 168252 | 75705 3 | 5 | 784 801.67/801.86 c 798s | 16 | 1304684 | 168752 | 75705 3 | 5 | 784 803.76/803.93 c 800s | 16 | 1309431 | 169252 | 75705 3 | 5 | 784 806.06/806.24 c 803s | 16 | 1314756 | 169652 | 75705 3 | 5 | 784 808.16/808.35 c 805s | 16 | 1318608 | 170252 | 75705 3 | 5 | 784 810.36/810.58 c 807s | 16 | 1322479 | 170652 | 75705 3 | 5 | 784 812.87/813.06 c 810s | 16 | 1327964 | 171052 | 75705 3 | 5 | 784 815.26/815.40 c 812s | 16 | 1331491 | 171452 | 75705 3 | 5 | 784 817.27/817.41 c 814s | 16 | 1334059 | 171952 | 75705 3 | 5 | 784 819.47/819.64 c 816s | 16 | 1337748 | 172352 | 75705 3 | 5 | 784 821.46/821.67 c 818s | 16 | 1341932 | 172652 | 75705 3 | 5 | 784 823.77/823.93 c 820s | 16 | 1346150 | 173052 | 75705 3 | 5 | 784 826.07/826.21 c 823s | 16 | 1349623 | 173652 | 75705 3 | 5 | 784 828.17/828.31 c 825s | 16 | 1353422 | 174052 | 75705 3 | 5 | 784 830.16/830.32 c 827s | 16 | 1358577 | 174452 | 75705 3 | 5 | 784 832.46/832.60 c 829s | 16 | 1364041 | 175152 | 75705 3 | 5 | 784 834.66/834.82 c 831s | 16 | 1368431 | 175552 | 75705 3 | 5 | 784 836.86/837.07 c 834s | 16 | 1371697 | 176152 | 75705 3 | 5 | 784 839.46/839.64 c 836s | 16 | 1377371 | 176652 | 75705 3 | 5 | 784 841.76/841.92 c 838s | 16 | 1380898 | 177152 | 75705 3 | 5 | 784 843.86/844.06 c 841s | 16 | 1384803 | 177652 | 75705 3 | 5 | 784 845.96/846.19 c 843s | 16 | 1389751 | 178052 | 75705 3 | 5 | 784 848.26/848.43 c 845s | 16 | 1393784 | 178552 | 75705 3 | 5 | 784 850.26/850.46 c 847s | 16 | 1398740 | 179052 | 75705 3 | 5 | 784 852.46/852.70 c 849s | 16 | 1402460 | 179552 | 75705 3 | 5 | 784 854.76/854.93 c 851s | 16 | 1405790 | 180052 | 75705 3 | 5 | 784 857.26/857.43 c 854s | 16 | 1408889 | 180652 | 75705 3 | 5 | 784 859.46/859.62 c 856s | 16 | 1412207 | 181052 | 75705 3 | 5 | 784 861.56/861.77 c 858s | 16 | 1414842 | 181552 | 75705 3 | 5 | 784 863.85/864.00 c 861s | 16 | 1417233 | 181952 | 75705 3 | 5 | 784 866.05/866.29 c 863s | 16 | 1420759 | 182552 | 75705 3 | 5 | 784 868.35/868.51 c 865s | 16 | 1423943 | 182952 | 75705 3 | 5 | 784 870.85/871.03 c 868s | 16 | 1427196 | 183552 | 75705 3 | 5 | 784 873.15/873.37 c 870s | 16 | 1429810 | 184052 | 75705 3 | 5 | 784 875.46/875.69 c 872s | 16 | 1432841 | 184552 | 75705 3 | 5 | 784 877.95/878.12 c 875s | 16 | 1435223 | 185052 | 75705 3 | 5 | 784 880.35/880.53 c 877s | 16 | 1439212 | 185652 | 75705 3 | 5 | 784 882.64/882.83 c 879s | 16 | 1444258 | 186352 | 75705 3 | 5 | 784 884.64/884.88 c 881s | 16 | 1446086 | 186852 | 75705 3 | 5 | 784 887.04/887.22 c 884s | 16 | 1448540 | 187252 | 75705 4 | 5 | 784 889.24/889.46 c 886s | 16 | 1451380 | 187952 | 75705 4 | 5 | 784 891.24/891.48 c 888s | 16 | 1453981 | 188552 | 75705 4 | 5 | 784 893.34/893.59 c 890s | 16 | 1456414 | 189152 | 75705 4 | 5 | 784 895.84/896.02 c 893s | 16 | 1458529 | 189852 | 75705 4 | 5 | 784 897.94/898.14 c 895s | 16 | 1460469 | 190552 | 75705 4 | 5 | 784 900.13/900.33 c 897s | 16 | 1462134 | 191152 | 75705 4 | 5 | 784 902.13/902.37 c 899s | 16 | 1465326 | 191652 | 75705 4 | 5 | 784 904.33/904.59 c 901s | 16 | 1468725 | 192052 | 75705 4 | 5 | 784 906.83/907.01 c 904s | 16 | 1472022 | 192652 | 75705 4 | 5 | 784 909.13/909.30 c 906s | 16 | 1475537 | 193152 | 75705 4 | 5 | 784 911.23/911.48 c 908s | 16 | 1479548 | 193752 | 75705 4 | 5 | 784 913.43/913.64 c 910s | 16 | 1483125 | 194352 | 75705 4 | 5 | 784 915.42/915.67 c 912s | 16 | 1485859 | 194852 | 75705 4 | 5 | 784 917.72/917.97 c 914s | 16 | 1489284 | 195452 | 75705 4 | 5 | 784 919.82/920.01 c 917s | 16 | 1493015 | 196052 | 75705 4 | 5 | 784 922.02/922.27 c 919s | 16 | 1496508 | 196652 | 83276 4 | 5 | 784 924.52/924.72 c 921s | 16 | 1500789 | 197352 | 83276 4 | 5 | 784 924.82/925.00 c 922s | 17 | 1501067 | 197432 | 83276 4 | 5 | 784 949.51/949.75 c 946s | 17 | 1502532 | 197532 | 83276 4 | 5 | 784 951.91/952.11 c 949s | 17 | 1507886 | 197932 | 83276 4 | 5 | 784 954.21/954.45 c 951s | 17 | 1511142 | 198532 | 83276 4 | 5 | 784 956.61/956.84 c 953s | 17 | 1513988 | 198932 | 83276 4 | 5 | 784 958.71/958.99 c 956s | 17 | 1517996 | 199332 | 83276 4 | 5 | 784 961.10/961.33 c 958s | 17 | 1523084 | 199732 | 83276 4 | 5 | 784 963.51/963.77 c 960s | 17 | 1526692 | 200232 | 83276 4 | 5 | 784 965.50/965.80 c 962s | 17 | 1529145 | 200532 | 83276 4 | 5 | 784 967.91/968.18 c 965s | 17 | 1534419 | 200932 | 83276 4 | 5 | 784 970.10/970.38 c 967s | 17 | 1538379 | 201432 | 83276 4 | 5 | 784 972.49/972.79 c 969s | 17 | 1541994 | 202032 | 83276 4 | 5 | 784 975.09/975.39 c 972s | 17 | 1548613 | 202532 | 83276 4 | 5 | 784 977.70/978.00 c 975s | 17 | 1552628 | 202932 | 83276 4 | 5 | 784 980.30/980.50 c 977s | 17 | 1558496 | 203432 | 83276 4 | 5 | 784 982.60/982.80 c 979s | 17 | 1561737 | 203932 | 83276 4 | 5 | 784 985.00/985.29 c 982s | 17 | 1565712 | 204432 | 83276 4 | 5 | 784 987.40/987.67 c 984s | 17 | 1569904 | 204832 | 83276 4 | 5 | 784 989.69/989.91 c 986s | 17 | 1574741 | 205232 | 83276 4 | 5 | 784 992.10/992.31 c 989s | 17 | 1578782 | 205832 | 83276 4 | 5 | 784 994.09/994.36 c 991s | 17 | 1581702 | 206232 | 83276 4 | 5 | 784 996.29/996.59 c 993s | 17 | 1586571 | 206632 | 83276 4 | 5 | 784 998.49/998.70 c 995s | 17 | 1589126 | 207132 | 83276 4 | 5 | 784 1000.68/1000.93 c 997s | 17 | 1591829 | 207632 | 83276 4 | 5 | 784 1002.88/1003.19 c 1000s | 17 | 1595628 | 208032 | 83276 4 | 5 | 784 1005.48/1005.78 c 1002s | 17 | 1599400 | 208632 | 83276 4 | 5 | 784 1007.78/1008.02 c 1005s | 17 | 1603482 | 209032 | 83276 4 | 5 | 784 1009.97/1010.29 c 1007s | 17 | 1606288 | 209532 | 83276 4 | 5 | 784 1012.27/1012.58 c 1009s | 17 | 1609066 | 209932 | 83276 4 | 5 | 784 1014.67/1014.98 c 1012s | 17 | 1613399 | 210432 | 83276 4 | 5 | 784 1016.87/1017.10 c 1014s | 17 | 1616962 | 211032 | 83276 4 | 5 | 784 1019.17/1019.41 c 1016s | 17 | 1620076 | 211532 | 83276 4 | 5 | 784 1021.37/1021.61 c 1018s | 17 | 1621856 | 211932 | 83276 4 | 5 | 784 1023.77/1024.00 c 1021s | 17 | 1624641 | 212432 | 83276 4 | 5 | 784 1025.97/1026.24 c 1023s | 17 | 1628498 | 213032 | 83276 4 | 5 | 784 1028.37/1028.67 c 1025s | 17 | 1633264 | 213532 | 83276 4 | 5 | 784 1030.47/1030.79 c 1027s | 17 | 1636594 | 214032 | 83276 4 | 5 | 784 1032.56/1032.88 c 1029s | 17 | 1640105 | 214532 | 83276 4 | 5 | 784 1034.76/1035.04 c 1032s | 17 | 1642566 | 215032 | 83276 4 | 5 | 784 1036.86/1037.15 c 1034s | 17 | 1644660 | 215532 | 83276 4 | 5 | 784 1038.96/1039.23 c 1036s | 17 | 1646974 | 216032 | 83276 4 | 5 | 784 1041.16/1041.46 c 1038s | 17 | 1650008 | 216632 | 83276 4 | 5 | 784 1043.26/1043.58 c 1040s | 17 | 1651539 | 217132 | 83276 4 | 5 | 784 1045.46/1045.73 c 1042s | 17 | 1653033 | 217632 | 83276 4 | 5 | 784 1047.56/1047.86 c 1044s | 17 | 1655954 | 218232 | 83276 4 | 5 | 784 1049.75/1050.06 c 1047s | 17 | 1658070 | 218832 | 83276 4 | 5 | 784 1051.95/1052.25 c 1049s | 17 | 1659515 | 219532 | 83276 4 | 5 | 784 1054.05/1054.36 c 1051s | 17 | 1665166 | 220032 | 83276 4 | 5 | 784 1056.45/1056.79 c 1053s | 17 | 1668682 | 220632 | 83276 4 | 5 | 784 1059.05/1059.33 c 1056s | 17 | 1672924 | 221032 | 83276 4 | 5 | 784 1061.44/1061.73 c 1058s | 17 | 1678438 | 221432 | 83276 4 | 5 | 784 1063.45/1063.78 c 1060s | 17 | 1682859 | 221732 | 83276 4 | 5 | 784 1065.84/1066.11 c 1063s | 17 | 1689002 | 222132 | 83276 4 | 5 | 784 1068.24/1068.55 c 1065s | 17 | 1694259 | 222632 | 83276 4 | 5 | 784 1070.64/1070.94 c 1067s | 17 | 1696844 | 223132 | 83276 4 | 5 | 784 1072.64/1072.97 c 1070s | 17 | 1702249 | 223532 | 83276 4 | 5 | 784 1074.84/1075.19 c 1072s | 17 | 1705700 | 224032 | 83276 4 | 5 | 784 1077.24/1077.56 c 1074s | 17 | 1709403 | 224532 | 83276 4 | 5 | 784 1079.54/1079.81 c 1076s | 17 | 1713747 | 224932 | 83276 4 | 5 | 784 1082.14/1082.47 c 1079s | 17 | 1718703 | 225332 | 83276 4 | 5 | 784 1084.54/1084.88 c 1081s | 17 | 1724700 | 225732 | 83276 4 | 5 | 784 1086.74/1087.09 c 1084s | 17 | 1730006 | 226132 | 83276 4 | 5 | 784 1088.94/1089.26 c 1086s | 17 | 1733560 | 226632 | 83276 4 | 5 | 784 1091.04/1091.35 c 1088s | 17 | 1736698 | 227032 | 83276 4 | 5 | 784 1093.24/1093.54 c 1090s | 17 | 1742676 | 227432 | 83276 4 | 5 | 784 1095.34/1095.63 c 1092s | 17 | 1749431 | 227932 | 83276 4 | 5 | 784 1097.64/1097.99 c 1095s | 17 | 1753820 | 228532 | 83276 4 | 5 | 784 1099.74/1100.09 c 1097s | 17 | 1759804 | 228932 | 83276 4 | 5 | 784 1101.83/1102.17 c 1099s | 17 | 1763378 | 229432 | 83276 4 | 5 | 784 1104.03/1104.32 c 1101s | 17 | 1768281 | 229932 | 83276 4 | 5 | 784 1106.23/1106.53 c 1103s | 17 | 1772259 | 230332 | 83276 4 | 5 | 784 1108.23/1108.55 c 1105s | 17 | 1774124 | 230832 | 83276 4 | 5 | 784 1110.73/1111.04 c 1108s | 17 | 1778400 | 231332 | 83276 4 | 5 | 784 1113.33/1113.61 c 1110s | 17 | 1783139 | 231732 | 83276 4 | 5 | 784 1115.33/1115.69 c 1112s | 17 | 1785949 | 232232 | 83276 4 | 5 | 784 1119.72/1120.03 c 1117s | 17 | 1790321 | 232732 | 83276 5 | 5 | 784 1121.92/1122.27 c 1119s | 17 | 1792514 | 232932 | 83276 5 | 5 | 784 1124.12/1124.47 c 1121s | 17 | 1796214 | 233532 | 83276 5 | 5 | 784 1126.42/1126.72 c 1123s | 17 | 1802638 | 234132 | 83276 5 | 5 | 784 1128.52/1128.87 c 1125s | 17 | 1806914 | 234832 | 83276 5 | 5 | 784 1130.63/1130.99 c 1128s | 17 | 1812508 | 235332 | 83276 5 | 5 | 784 1133.02/1133.37 c 1130s | 17 | 1816624 | 236032 | 83276 5 | 5 | 784 1135.22/1135.58 c 1132s | 17 | 1823203 | 236632 | 83276 5 | 5 | 784 1137.42/1137.74 c 1134s | 17 | 1830310 | 237532 | 83276 5 | 5 | 784 1139.61/1139.91 c 1136s | 17 | 1834729 | 238132 | 83276 5 | 5 | 784 1141.91/1142.21 c 1139s | 17 | 1839566 | 238832 | 83276 5 | 5 | 784 1144.31/1144.67 c 1141s | 17 | 1843549 | 239532 | 83276 5 | 5 | 784 1146.41/1146.74 c 1143s | 17 | 1847487 | 240032 | 83276 5 | 5 | 784 1148.71/1149.02 c 1146s | 17 | 1851713 | 240732 | 83276 5 | 5 | 784 1150.71/1151.07 c 1148s | 17 | 1855621 | 241432 | 83276 5 | 5 | 784 1152.81/1153.16 c 1150s | 17 | 1858763 | 242132 | 83276 5 | 5 | 784 1155.01/1155.37 c 1152s | 17 | 1863561 | 242932 | 83276 5 | 5 | 784 1157.21/1157.53 c 1154s | 17 | 1867405 | 243732 | 83276 5 | 5 | 784 1159.40/1159.74 c 1156s | 17 | 1869739 | 244432 | 83276 5 | 5 | 784 1161.50/1161.83 c 1158s | 17 | 1872581 | 245232 | 83276 5 | 5 | 784 1163.90/1164.25 c 1161s | 17 | 1875136 | 246032 | 83276 5 | 5 | 784 1166.30/1166.69 c 1163s | 17 | 1878699 | 246332 | 83276 5 | 5 | 784 1168.40/1168.73 c 1165s | 17 | 1882646 | 246832 | 83276 5 | 5 | 784 1170.80/1171.14 c 1168s | 17 | 1888279 | 247532 | 83276 5 | 5 | 784 1173.60/1173.90 c 1170s | 17 | 1894011 | 248032 | 83276 5 | 5 | 784 1175.71/1176.07 c 1173s | 17 | 1898458 | 248432 | 83276 5 | 5 | 784 1178.20/1178.54 c 1175s | 17 | 1902991 | 249132 | 83276 5 | 5 | 784 1180.20/1180.59 c 1177s | 17 | 1908180 | 249532 | 83276 5 | 5 | 784 1182.70/1183.02 c 1180s | 17 | 1913018 | 249932 | 83276 5 | 5 | 784 1185.00/1185.30 c 1182s | 17 | 1917351 | 250432 | 83276 5 | 5 | 784 1187.40/1187.73 c 1184s | 17 | 1921392 | 251032 | 83276 5 | 5 | 784 1189.59/1189.91 c 1186s | 17 | 1925044 | 251432 | 83276 5 | 5 | 784 1191.89/1192.21 c 1189s | 17 | 1929494 | 251832 | 83276 5 | 5 | 784 1193.99/1194.33 c 1191s | 17 | 1933309 | 252432 | 83276 5 | 5 | 784 1196.19/1196.52 c 1193s | 17 | 1936865 | 252832 | 83276 5 | 5 | 784 1198.49/1198.82 c 1195s | 17 | 1941236 | 253232 | 83276 5 | 5 | 784 1200.59/1200.95 c 1197s | 17 | 1944347 | 253632 | 83276 5 | 5 | 784 1202.99/1203.39 c 1200s | 17 | 1948611 | 254232 | 83276 5 | 5 | 784 1205.19/1205.59 c 1202s | 17 | 1953227 | 254632 | 83276 5 | 5 | 784 1207.29/1207.62 c 1204s | 17 | 1957401 | 255232 | 83276 5 | 5 | 784 1209.49/1209.86 c 1206s | 17 | 1961574 | 255732 | 83276 5 | 5 | 784 1211.49/1211.86 c 1208s | 17 | 1964941 | 256132 | 83276 5 | 5 | 784 1213.99/1214.35 c 1211s | 17 | 1970646 | 256832 | 83276 5 | 5 | 784 1216.39/1216.71 c 1213s | 17 | 1977219 | 257332 | 83276 5 | 5 | 784 1218.38/1218.77 c 1215s | 17 | 1979956 | 257832 | 83276 5 | 5 | 784 1220.69/1221.01 c 1218s | 17 | 1984076 | 258332 | 83276 5 | 5 | 784 1222.78/1223.12 c 1220s | 17 | 1988061 | 258832 | 83276 5 | 5 | 784 1224.78/1225.13 c 1222s | 17 | 1991259 | 259332 | 83276 5 | 5 | 784 1227.18/1227.52 c 1224s | 17 | 1995341 | 259832 | 83276 5 | 5 | 784 1229.28/1229.66 c 1226s | 17 | 1998789 | 260432 | 83276 5 | 5 | 784 1231.38/1231.75 c 1228s | 17 | 2002083 | 260932 | 83276 5 | 5 | 784 1233.89/1234.22 c 1231s | 17 | 2007292 | 261432 | 83276 5 | 5 | 784 1236.09/1236.49 c 1233s | 17 | 2010710 | 262032 | 83276 5 | 5 | 784 1238.39/1238.77 c 1235s | 17 | 2014240 | 262532 | 83276 5 | 5 | 784 1240.88/1241.23 c 1238s | 17 | 2017016 | 263132 | 83276 5 | 5 | 784 1243.28/1243.61 c 1240s | 17 | 2020808 | 263732 | 83276 5 | 5 | 784 1245.48/1245.81 c 1242s | 17 | 2024038 | 264232 | 83276 5 | 5 | 784 1247.68/1248.05 c 1245s | 17 | 2027913 | 264832 | 83276 5 | 5 | 784 1249.87/1250.21 c 1247s | 17 | 2031199 | 265432 | 83276 5 | 5 | 784 1251.97/1252.35 c 1249s | 17 | 2034399 | 266032 | 83276 5 | 5 | 784 1253.97/1254.35 c 1251s | 17 | 2037247 | 266632 | 83276 5 | 5 | 784 1256.17/1256.54 c 1253s | 17 | 2040186 | 267332 | 83276 5 | 5 | 784 1258.47/1258.84 c 1255s | 17 | 2042106 | 267932 | 83276 5 | 5 | 784 1260.77/1261.13 c 1258s | 17 | 2045134 | 268732 | 83276 5 | 5 | 784 1262.97/1263.31 c 1260s | 17 | 2047733 | 269632 | 83276 5 | 5 | 784 1265.17/1265.55 c 1262s | 17 | 2051007 | 270232 | 83276 5 | 5 | 784 1267.37/1267.78 c 1264s | 17 | 2053794 | 270732 | 83276 5 | 5 | 784 1269.47/1269.82 c 1266s | 17 | 2057509 | 271232 | 83276 5 | 5 | 784 1271.97/1272.34 c 1269s | 17 | 2062139 | 271632 | 83276 5 | 5 | 784 1273.97/1274.35 c 1271s | 17 | 2065630 | 271932 | 83276 5 | 5 | 784 1276.27/1276.62 c 1273s | 17 | 2069303 | 272332 | 83276 5 | 5 | 784 1278.46/1278.85 c 1275s | 17 | 2072992 | 272832 | 83276 5 | 5 | 784 1280.76/1281.11 c 1278s | 17 | 2077042 | 273332 | 83276 5 | 5 | 784 1283.16/1283.54 c 1280s | 17 | 2081608 | 273732 | 83276 5 | 5 | 784 1285.36/1285.72 c 1282s | 17 | 2084927 | 274232 | 83276 5 | 5 | 784 1287.56/1287.96 c 1284s | 17 | 2088021 | 274732 | 83276 5 | 5 | 784 1290.36/1290.71 c 1287s | 17 | 2091128 | 275032 | 83276 6 | 5 | 784 1292.66/1293.04 c 1290s | 17 | 2095662 | 275432 | 83276 6 | 5 | 784 1294.76/1295.12 c 1292s | 17 | 2099921 | 276032 | 83276 6 | 5 | 784 1297.16/1297.51 c 1294s | 17 | 2104297 | 276532 | 83276 6 | 5 | 784 1299.46/1299.82 c 1296s | 17 | 2109194 | 277232 | 83276 6 | 5 | 784 1301.56/1301.90 c 1298s | 17 | 2113195 | 277632 | 83276 6 | 5 | 784 1303.85/1304.22 c 1301s | 17 | 2117200 | 278332 | 83276 6 | 5 | 784 1306.15/1306.55 c 1303s | 17 | 2121148 | 278832 | 83276 6 | 5 | 784 1308.45/1308.84 c 1305s | 17 | 2128688 | 279332 | 83276 6 | 5 | 784 1310.55/1310.90 c 1307s | 17 | 2132048 | 279932 | 83276 6 | 5 | 784 1312.56/1312.98 c 1310s | 17 | 2136188 | 280432 | 83276 6 | 5 | 784 1314.76/1315.12 c 1312s | 17 | 2141737 | 281132 | 83276 6 | 5 | 784 1316.96/1317.37 c 1314s | 17 | 2146597 | 281832 | 83276 6 | 5 | 784 1319.15/1319.53 c 1316s | 17 | 2151385 | 282332 | 83276 6 | 5 | 784 1321.45/1321.88 c 1318s | 17 | 2155324 | 283032 | 83276 6 | 5 | 784 1323.45/1323.89 c 1320s | 17 | 2159623 | 283632 | 83276 6 | 5 | 784 1325.65/1326.07 c 1323s | 17 | 2164951 | 284232 | 83276 6 | 5 | 784 1328.05/1328.44 c 1325s | 17 | 2170041 | 284932 | 83276 6 | 5 | 784 1330.15/1330.59 c 1327s | 17 | 2173065 | 285532 | 83276 6 | 5 | 784 1332.25/1332.65 c 1329s | 17 | 2176734 | 286132 | 83276 6 | 5 | 784 1334.35/1334.76 c 1331s | 17 | 2181545 | 286832 | 83276 6 | 5 | 784 1336.55/1336.94 c 1333s | 17 | 2185591 | 287532 | 83276 6 | 5 | 784 1338.85/1339.22 c 1336s | 17 | 2188767 | 288232 | 83276 6 | 5 | 784 1340.94/1341.35 c 1338s | 17 | 2192564 | 288932 | 83276 6 | 5 | 784 1343.04/1343.41 c 1340s | 17 | 2195179 | 289732 | 83276 6 | 5 | 784 1345.14/1345.56 c 1342s | 17 | 2197852 | 290632 | 83276 6 | 5 | 784 1347.25/1347.69 c 1344s | 17 | 2199897 | 291532 | 83276 6 | 5 | 784 1349.64/1350.01 c 1347s | 17 | 2202653 | 292332 | 83276 6 | 5 | 784 1351.94/1352.34 c 1349s | 17 | 2206627 | 292732 | 83276 6 | 5 | 784 1354.04/1354.41 c 1351s | 17 | 2211492 | 293232 | 83276 6 | 5 | 784 1356.34/1356.71 c 1353s | 17 | 2214787 | 293832 | 83276 6 | 5 | 784 1358.44/1358.81 c 1355s | 17 | 2219669 | 294232 | 91604 6 | 5 | 784 1360.44/1360.83 c 1357s | 17 | 2224484 | 294632 | 91604 6 | 5 | 784 1362.54/1363.00 c 1360s | 17 | 2229410 | 295232 | 91604 6 | 5 | 784 1365.03/1365.42 c 1362s | 17 | 2233716 | 295832 | 91604 6 | 5 | 784 1367.33/1367.73 c 1364s | 17 | 2239417 | 296232 | 91604 6 | 5 | 784 1367.43/1367.87 c 1364s | 18 | 2239611 | 296252 | 91604 6 | 5 | 784 1369.63/1370.03 c 1367s | 18 | 2244122 | 296652 | 91604 6 | 5 | 784 1371.83/1372.22 c 1369s | 18 | 2249003 | 297252 | 91604 6 | 5 | 784 1374.03/1374.43 c 1371s | 18 | 2252945 | 297752 | 91604 6 | 5 | 784 1376.13/1376.55 c 1373s | 18 | 2257615 | 298352 | 91604 6 | 5 | 784 1378.63/1379.08 c 1376s | 18 | 2262543 | 298952 | 91604 6 | 5 | 784 1381.12/1381.54 c 1378s | 18 | 2269243 | 299452 | 91604 6 | 5 | 784 1383.22/1383.62 c 1380s | 18 | 2273229 | 300052 | 91604 6 | 5 | 784 1385.32/1385.71 c 1382s | 18 | 2277676 | 300552 | 91604 6 | 5 | 784 1387.52/1387.94 c 1384s | 18 | 2282256 | 301252 | 91604 6 | 5 | 784 1389.62/1390.04 c 1387s | 18 | 2287560 | 301752 | 91604 6 | 5 | 784 1391.82/1392.29 c 1389s | 18 | 2290612 | 302352 | 91604 6 | 5 | 784 1394.22/1394.68 c 1391s | 18 | 2294058 | 302852 | 91604 6 | 5 | 784 1396.32/1396.75 c 1393s | 18 | 2298321 | 303452 | 91604 6 | 5 | 784 1398.32/1398.76 c 1395s | 18 | 2304272 | 303952 | 91604 6 | 5 | 784 1400.51/1400.92 c 1397s | 18 | 2311177 | 304752 | 91604 6 | 5 | 784 1402.71/1403.16 c 1400s | 18 | 2316909 | 305352 | 91604 6 | 5 | 784 1404.91/1405.36 c 1402s | 18 | 2322426 | 306052 | 91604 6 | 5 | 784 1407.11/1407.54 c 1404s | 18 | 2327088 | 306752 | 91604 6 | 5 | 784 1409.21/1409.61 c 1406s | 18 | 2330063 | 307352 | 91604 6 | 5 | 784 1411.21/1411.63 c 1408s | 18 | 2333886 | 307852 | 91604 6 | 5 | 784 1413.31/1413.71 c 1410s | 18 | 2336329 | 308452 | 91604 6 | 5 | 784 1415.31/1415.76 c 1412s | 18 | 2340395 | 309052 | 91604 6 | 5 | 784 1417.51/1417.94 c 1414s | 18 | 2345037 | 309752 | 91604 6 | 5 | 784 1419.81/1420.20 c 1417s | 18 | 2348565 | 310452 | 91604 6 | 5 | 784 1421.91/1422.33 c 1419s | 18 | 2351824 | 311152 | 91604 6 | 5 | 784 1424.21/1424.65 c 1421s | 18 | 2354868 | 311852 | 91604 6 | 5 | 784 1426.31/1426.80 c 1423s | 18 | 2357855 | 312652 | 91604 6 | 5 | 784 1428.51/1428.92 c 1425s | 18 | 2360148 | 313452 | 91604 6 | 5 | 784 1438.50/1438.97 c 1435s | 18 | 2362275 | 313852 | 91604 6 | 5 | 784 1440.70/1441.11 c 1438s | 18 | 2366373 | 314152 | 91604 6 | 5 | 784 1461.08/1461.52 c 1458s | 18 | 2367298 | 314252 | 91604 6 | 5 | 784 1463.48/1463.99 c 1461s | 18 | 2370907 | 314652 | 91604 6 | 5 | 784 1465.58/1466.00 c 1463s | 18 | 2373773 | 315052 | 91604 6 | 5 | 784 1467.88/1468.31 c 1465s | 18 | 2376792 | 315552 | 91604 6 | 5 | 784 1470.39/1470.88 c 1467s | 18 | 2382316 | 315952 | 91604 6 | 5 | 784 1473.08/1473.50 c 1470s | 18 | 2386881 | 316352 | 91604 6 | 5 | 784 1475.18/1475.65 c 1472s | 18 | 2390785 | 316752 | 91604 6 | 5 | 784 1477.38/1477.83 c 1474s | 18 | 2395020 | 317352 | 91604 6 | 5 | 784 1479.58/1480.04 c 1477s | 18 | 2400547 | 317752 | 91604 6 | 5 | 784 1481.88/1482.30 c 1479s | 18 | 2405775 | 318252 | 91604 6 | 5 | 784 1484.18/1484.68 c 1481s | 18 | 2410098 | 318752 | 91604 6 | 5 | 784 1486.38/1486.81 c 1483s | 18 | 2414974 | 319152 | 91604 6 | 5 | 784 1488.88/1489.31 c 1486s | 18 | 2419680 | 319552 | 91604 6 | 5 | 784 1491.48/1491.93 c 1488s | 18 | 2424504 | 319952 | 91604 6 | 5 | 784 1493.68/1494.18 c 1491s | 18 | 2428505 | 320352 | 91604 6 | 5 | 784 1496.18/1496.62 c 1493s | 18 | 2432569 | 320952 | 91604 6 | 5 | 784 1498.28/1498.75 c 1495s | 18 | 2436684 | 321352 | 91604 6 | 5 | 784 1500.78/1501.26 c 1498s | 18 | 2441631 | 321752 | 91604 6 | 5 | 784 1502.98/1503.47 c 1500s | 18 | 2444826 | 322352 | 91604 6 | 5 | 784 1505.38/1505.87 c 1502s | 18 | 2449500 | 322852 | 91604 6 | 5 | 784 1507.68/1508.13 c 1505s | 18 | 2452531 | 323252 | 91604 6 | 5 | 784 1509.78/1510.24 c 1507s | 18 | 2456246 | 323852 | 91604 6 | 5 | 784 1511.88/1512.33 c 1509s | 18 | 2459691 | 324252 | 91604 6 | 5 | 784 1514.38/1514.83 c 1511s | 18 | 2464102 | 324652 | 91604 6 | 5 | 784 1516.67/1517.14 c 1514s | 18 | 2466534 | 325252 | 91604 6 | 5 | 784 1518.97/1519.44 c 1516s | 18 | 2469970 | 325752 | 91604 6 | 5 | 784 1523.37/1523.82 c 1520s | 18 | 2472543 | 326052 | 91604 7 | 5 | 784 1525.57/1526.03 c 1523s | 18 | 2475947 | 326352 | 91604 7 | 5 | 784 1527.67/1528.17 c 1525s | 18 | 2479748 | 327052 | 91604 7 | 5 | 784 1529.87/1530.39 c 1527s | 18 | 2484149 | 327552 | 91604 7 | 5 | 784 1532.07/1532.58 c 1529s | 18 | 2489108 | 328252 | 91604 7 | 5 | 784 1534.47/1534.93 c 1531s | 18 | 2493660 | 328752 | 91604 7 | 5 | 784 1536.57/1537.04 c 1534s | 18 | 2497944 | 329252 | 91604 7 | 5 | 784 1538.87/1539.40 c 1536s | 18 | 2503107 | 329952 | 91604 7 | 5 | 784 1541.27/1541.70 c 1538s | 18 | 2508907 | 330552 | 91604 7 | 5 | 784 1543.37/1543.89 c 1540s | 18 | 2512241 | 331152 | 91604 7 | 5 | 784 1545.77/1546.26 c 1543s | 18 | 2515927 | 331752 | 91604 7 | 5 | 784 1547.97/1548.44 c 1545s | 18 | 2522743 | 332552 | 91604 7 | 5 | 784 1549.97/1550.45 c 1547s | 18 | 2527806 | 333152 | 91604 7 | 5 | 784 1552.17/1552.63 c 1549s | 18 | 2532238 | 333852 | 91604 7 | 5 | 784 1554.27/1554.70 c 1551s | 18 | 2536297 | 334552 | 91604 7 | 5 | 784 1556.47/1556.98 c 1554s | 18 | 2541751 | 335252 | 91604 7 | 5 | 784 1558.77/1559.22 c 1556s | 18 | 2544055 | 335952 | 91604 7 | 5 | 784 1560.77/1561.26 c 1558s | 18 | 2547525 | 336552 | 91604 7 | 5 | 784 1563.07/1563.51 c 1560s | 18 | 2550312 | 337252 | 91604 7 | 5 | 784 1565.07/1565.56 c 1562s | 18 | 2554208 | 337952 | 91604 7 | 5 | 784 1567.07/1567.57 c 1564s | 18 | 2557028 | 338652 | 91604 7 | 5 | 784 1569.37/1569.81 c 1566s | 18 | 2559888 | 339452 | 91604 7 | 5 | 784 1571.47/1571.90 c 1568s | 18 | 2562167 | 340352 | 91604 7 | 5 | 784 1573.77/1574.24 c 1571s | 18 | 2565107 | 340952 | 91604 7 | 5 | 784 1576.26/1576.75 c 1573s | 18 | 2570234 | 341352 | 91604 7 | 5 | 784 1578.66/1579.18 c 1576s | 18 | 2575713 | 341852 | 91604 7 | 5 | 784 1581.16/1581.61 c 1578s | 18 | 2580964 | 342552 | 91604 7 | 5 | 784 1583.16/1583.67 c 1580s | 18 | 2582975 | 343052 | 91604 7 | 5 | 784 1585.46/1585.95 c 1582s | 18 | 2586496 | 343552 | 91604 7 | 5 | 784 1587.97/1588.41 c 1585s | 18 | 2591937 | 344052 | 91604 7 | 5 | 784 1590.06/1590.50 c 1587s | 18 | 2597817 | 344452 | 91604 7 | 5 | 784 1592.37/1592.84 c 1589s | 18 | 2602314 | 345052 | 91604 7 | 5 | 784 1594.67/1595.13 c 1592s | 18 | 2607784 | 345652 | 91604 7 | 5 | 784 1596.77/1597.21 c 1594s | 18 | 2612554 | 346052 | 91604 7 | 5 | 784 1598.97/1599.45 c 1596s | 18 | 2617053 | 346452 | 91604 7 | 5 | 784 1600.96/1601.49 c 1598s | 18 | 2621219 | 346952 | 91604 7 | 5 | 784 1603.37/1603.88 c 1600s | 18 | 2623905 | 347552 | 91604 7 | 5 | 784 1605.57/1606.03 c 1603s | 18 | 2628972 | 347952 | 91604 7 | 5 | 784 1607.87/1608.33 c 1605s | 18 | 2633834 | 348452 | 91604 7 | 5 | 784 1609.97/1610.42 c 1607s | 18 | 2637130 | 349052 | 91604 7 | 5 | 784 1612.06/1612.60 c 1609s | 18 | 2642106 | 349552 | 91604 7 | 5 | 784 1614.37/1614.86 c 1611s | 18 | 2646127 | 350152 | 91604 7 | 5 | 784 1616.67/1617.13 c 1614s | 18 | 2651096 | 350652 | 91604 7 | 5 | 784 1618.86/1619.31 c 1616s | 18 | 2656318 | 351252 | 91604 7 | 5 | 784 1621.16/1621.67 c 1618s | 18 | 2662291 | 351852 | 91604 7 | 5 | 784 1623.36/1623.87 c 1620s | 18 | 2671071 | 352352 | 91604 7 | 5 | 784 1625.46/1625.92 c 1622s | 18 | 2674560 | 352952 | 91604 7 | 5 | 784 1627.56/1628.09 c 1625s | 18 | 2679132 | 353452 | 91604 7 | 5 | 784 1629.96/1630.43 c 1627s | 18 | 2683020 | 354152 | 91604 7 | 5 | 784 1632.15/1632.69 c 1629s | 18 | 2687219 | 354652 | 91604 7 | 5 | 784 1634.35/1634.83 c 1631s | 18 | 2690706 | 355252 | 91604 7 | 5 | 784 1636.55/1637.05 c 1634s | 18 | 2694958 | 355852 | 91604 7 | 5 | 784 1639.05/1639.51 c 1636s | 18 | 2699353 | 356552 | 91604 7 | 5 | 784 1641.15/1641.67 c 1638s | 18 | 2702963 | 357152 | 91604 7 | 5 | 784 1643.25/1643.73 c 1640s | 18 | 2706536 | 357652 | 91604 7 | 5 | 784 1645.55/1646.08 c 1643s | 18 | 2712954 | 358452 | 91604 7 | 5 | 784 1647.75/1648.20 c 1645s | 18 | 2717379 | 358952 | 91604 7 | 5 | 784 1649.85/1650.35 c 1647s | 18 | 2721680 | 359652 | 91604 7 | 5 | 784 1651.86/1652.36 c 1649s | 18 | 2724640 | 360252 | 91604 7 | 5 | 784 1654.06/1654.51 c 1651s | 18 | 2729009 | 360852 | 91604 7 | 5 | 784 1656.05/1656.59 c 1653s | 18 | 2732607 | 361452 | 91604 7 | 5 | 784 1658.15/1658.61 c 1655s | 18 | 2735797 | 362052 | 91604 7 | 5 | 784 1660.25/1660.75 c 1657s | 18 | 2739255 | 362752 | 91604 7 | 5 | 784 1662.65/1663.10 c 1660s | 18 | 2743731 | 363552 | 91604 7 | 5 | 784 1664.96/1665.42 c 1662s | 18 | 2747489 | 364352 | 91604 7 | 5 | 784 1666.95/1667.49 c 1664s | 18 | 2750263 | 365152 | 91604 7 | 5 | 784 1669.05/1669.56 c 1666s | 18 | 2751997 | 365952 | 91604 7 | 5 | 784 1671.15/1671.64 c 1668s | 18 | 2755745 | 366352 | 91604 7 | 5 | 784 1673.45/1673.96 c 1670s | 18 | 2760916 | 367052 | 91604 7 | 5 | 784 1675.45/1675.98 c 1673s | 18 | 2766642 | 367452 | 91604 7 | 5 | 784 1677.85/1678.39 c 1675s | 18 | 2770636 | 367852 | 91604 7 | 5 | 784 1680.15/1680.69 c 1677s | 18 | 2774015 | 368452 | 91604 7 | 5 | 784 1682.35/1682.81 c 1679s | 18 | 2777375 | 368852 | 91604 7 | 5 | 784 1684.75/1685.27 c 1682s | 18 | 2782150 | 369252 | 91604 7 | 5 | 784 1686.85/1687.36 c 1684s | 18 | 2788518 | 369752 | 91604 7 | 5 | 784 1689.45/1689.95 c 1686s | 18 | 2795036 | 370552 | 91604 7 | 5 | 784 1691.95/1692.45 c 1689s | 18 | 2802110 | 371052 | 91604 7 | 5 | 784 1694.35/1694.82 c 1691s | 18 | 2805266 | 371452 | 91604 7 | 5 | 784 1696.45/1696.91 c 1693s | 18 | 2809577 | 372052 | 91604 7 | 5 | 784 1698.54/1699.04 c 1696s | 18 | 2814488 | 372452 | 91604 7 | 5 | 784 1700.74/1701.27 c 1698s | 18 | 2819860 | 372952 | 91604 7 | 5 | 784 1703.64/1704.16 c 1701s | 18 | 2824015 | 373552 | 91604 8 | 5 | 784 1705.75/1706.28 c 1703s | 18 | 2829337 | 373952 | 91604 8 | 5 | 784 1707.95/1708.42 c 1705s | 18 | 2834809 | 374652 | 91604 8 | 5 | 784 1710.15/1710.66 c 1707s | 18 | 2840075 | 375352 | 91604 8 | 5 | 784 1712.25/1712.73 c 1709s | 18 | 2845454 | 375852 | 91604 8 | 5 | 784 1714.45/1714.95 c 1711s | 18 | 2853612 | 376752 | 91604 8 | 5 | 784 1716.44/1716.96 c 1713s | 18 | 2859584 | 377352 | 91604 8 | 5 | 784 1718.74/1719.21 c 1716s | 18 | 2863820 | 377952 | 91604 8 | 5 | 784 1721.05/1721.56 c 1718s | 18 | 2869130 | 378752 | 91604 8 | 5 | 784 1723.14/1723.67 c 1720s | 18 | 2874160 | 379352 | 91604 8 | 5 | 784 1725.55/1726.02 c 1723s | 18 | 2879027 | 380052 | 91604 8 | 5 | 784 1727.54/1728.08 c 1725s | 18 | 2882859 | 380652 | 91604 8 | 5 | 784 1729.74/1730.27 c 1727s | 18 | 2889890 | 381652 | 91604 8 | 5 | 784 1731.84/1732.38 c 1729s | 18 | 2894314 | 382352 | 91604 8 | 5 | 784 1734.04/1734.54 c 1731s | 18 | 2900284 | 383252 | 91604 8 | 5 | 784 1736.14/1736.66 c 1733s | 18 | 2903952 | 383952 | 91604 8 | 5 | 784 1738.34/1738.81 c 1735s | 18 | 2907914 | 384752 | 91604 8 | 5 | 784 1740.64/1741.14 c 1738s | 18 | 2910610 | 385452 | 91604 8 | 5 | 784 1742.94/1743.41 c 1740s | 18 | 2912515 | 386152 | 91604 8 | 5 | 784 1745.34/1745.84 c 1742s | 18 | 2914127 | 386852 | 91604 8 | 5 | 784 1747.54/1748.05 c 1745s | 18 | 2917678 | 387452 | 91604 8 | 5 | 784 1749.84/1750.38 c 1747s | 18 | 2922950 | 388152 | 91604 8 | 5 | 784 1752.03/1752.53 c 1749s | 18 | 2927781 | 388552 | 91604 8 | 5 | 784 1754.04/1754.54 c 1751s | 18 | 2931451 | 388852 | 91604 8 | 5 | 784 1756.03/1756.55 c 1753s | 18 | 2938559 | 389252 | 91604 8 | 5 | 784 1758.33/1758.88 c 1755s | 18 | 2946681 | 389752 | 91604 8 | 5 | 784 1760.43/1760.92 c 1757s | 18 | 2951475 | 390452 | 91604 8 | 5 | 784 1762.53/1763.02 c 1760s | 18 | 2956831 | 390852 | 91604 8 | 5 | 784 1764.63/1765.17 c 1762s | 18 | 2961232 | 391252 | 91604 8 | 5 | 784 1766.63/1767.17 c 1764s | 18 | 2964599 | 391752 | 91604 8 | 5 | 784 1768.73/1769.21 c 1766s | 18 | 2967991 | 392252 | 91604 8 | 5 | 784 1770.73/1771.22 c 1768s | 18 | 2971928 | 392652 | 91604 8 | 5 | 784 1773.03/1773.51 c 1770s | 18 | 2977035 | 393352 | 91604 8 | 5 | 784 1775.23/1775.70 c 1772s | 18 | 2981051 | 393752 | 91604 8 | 5 | 784 1777.33/1777.81 c 1774s | 18 | 2986252 | 394152 | 91604 8 | 5 | 784 1779.44/1779.95 c 1776s | 18 | 2989579 | 394652 | 91604 8 | 5 | 784 1781.54/1782.08 c 1779s | 18 | 2993308 | 395252 | 91604 8 | 5 | 784 1783.63/1784.14 c 1781s | 18 | 2998115 | 395752 | 91604 8 | 5 | 784 1785.73/1786.27 c 1783s | 18 | 3002051 | 396352 | 91604 8 | 5 | 784 1787.93/1788.48 c 1785s | 18 | 3007330 | 396852 | 91604 8 | 5 | 784 1790.03/1790.54 c 1787s | 18 | 3012239 | 397552 | 91604 8 | 5 | 784 1792.13/1792.61 c 1789s | 18 | 3018331 | 398052 | 91604 8 | 5 | 784 1794.53/1795.08 c 1792s | 18 | 3022927 | 398752 | 91604 8 | 5 | 784 1796.83/1797.32 c 1794s | 18 | 3028315 | 399252 | 91604 8 | 5 | 784 1798.93/1799.42 c 1796s | 18 | 3031050 | 399752 | 91604 8 | 5 | 784
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-4098220-1466119995/watcher-4098220-1466119995 -o /tmp/evaluation-result-4098220-1466119995/solver-4098220-1466119995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466116252-18782 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098220-1466119995.opb pid=20052 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.24 2.25 3/177 20055 /proc/meminfo: memFree=29349948/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=715196 CPUtime=0 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 2662 0 0 0 0 0 0 0 20 0 4 0 14046447 732360704 3535 33554432000 4194304 16246674 140735564536080 140735564535504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 179311 3545 441 2943 0 176205 0 [pid=20055/tid=20056] ppid=20052 vsize=733628 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 751235072 3608 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=737724 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 755429376 3626 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 759623680 3642 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 2.31 2.24 2.25 3/177 20055 /proc/meminfo: memFree=29349948/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1222212 CPUtime=0.09 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 28327 0 0 0 5 4 0 0 20 0 4 0 14046447 1251545088 29137 33554432000 4194304 16246674 140735564536080 140735564535392 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 305553 29140 801 2943 0 302447 0 [pid=20055/tid=20056] ppid=20052 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1251545088 29143 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1251545088 29145 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1251545088 29147 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1222212 [startup+0.200478 s] /proc/loadavg: 2.31 2.24 2.25 3/177 20055 /proc/meminfo: memFree=29349948/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 50555 0 0 0 12 7 0 0 20 0 4 0 14046447 1344868352 51876 33554432000 4194304 16246674 140735564536080 140735564535392 8057122 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 328337 51876 801 2943 0 325231 0 [pid=20055/tid=20056] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 51876 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 51876 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 51876 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300505 s] /proc/loadavg: 2.31 2.24 2.25 3/177 20055 /proc/meminfo: memFree=29349948/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 56359 0 0 0 21 8 0 0 20 0 4 0 14046447 1344868352 57680 33554432000 4194304 16246674 140735564536080 140735564519072 7374549 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 328337 57680 801 2943 0 325231 0 [pid=20055/tid=20056] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 57680 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 57680 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 57680 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700399 s] /proc/loadavg: 2.31 2.24 2.25 3/177 20055 /proc/meminfo: memFree=29349948/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 69797 0 0 0 59 10 0 0 20 0 4 0 14046447 1344868352 71118 33554432000 4194304 16246674 140735564536080 140735564519072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 328337 71118 802 2943 0 325231 0 [pid=20055/tid=20056] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 71118 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 71118 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 71118 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.31 2.24 2.25 3/181 20059 /proc/meminfo: memFree=29019732/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 166246 0 0 0 127 22 0 0 20 0 4 0 14046447 1344868352 167567 33554432000 4194304 16246674 140735564536080 140735564517952 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 328337 167580 836 2943 0 325231 0 [pid=20055/tid=20056] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 167590 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 167600 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1344868352 167605 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.1004 s] /proc/loadavg: 2.31 2.24 2.25 3/181 20059 /proc/meminfo: memFree=28258868/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=3.09 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271810 0 0 0 273 36 0 0 20 0 4 0 14046447 1356402688 273131 33554432000 4194304 16246674 140735564536080 140735564535392 5523307 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273131 878 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273131 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273131 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273131 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1324612 [startup+6.30043 s] /proc/loadavg: 2.52 2.28 2.26 3/181 20059 /proc/meminfo: memFree=28258584/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=6.29 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271817 0 0 0 593 36 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140735564517952 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273138 881 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1324612 [startup+12.7004 s] /proc/loadavg: 2.48 2.28 2.26 3/181 20059 /proc/meminfo: memFree=28258716/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=12.69 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271817 0 0 0 1233 36 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140735564517952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273138 881 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273138 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1324612 [startup+25.5005 s] /proc/loadavg: 2.37 2.27 2.26 3/181 20060 /proc/meminfo: memFree=28259344/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=25.49 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271820 0 0 0 2513 36 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140735564517952 13820890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273141 883 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1324612 [startup+51.1005 s] /proc/loadavg: 2.37 2.27 2.26 3/181 20060 /proc/meminfo: memFree=28259116/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=51.08 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271820 0 0 0 5072 36 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140735564517952 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273141 883 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1324612 [startup+102.3 s] /proc/loadavg: 2.29 2.26 2.26 3/181 20061 /proc/meminfo: memFree=28259076/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1324612 CPUtime=102.28 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 271820 0 0 0 10192 36 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140735564517952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 331153 273141 883 2943 0 328047 0 [pid=20055/tid=20056] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1356402688 273141 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1324612 ################ # More data... # ################ /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1404484 [startup+1362.3 s] /proc/loadavg: 1.15 1.27 1.66 2/171 20171 /proc/meminfo: memFree=29309592/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1361.93 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292072 0 0 0 136149 44 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1404484 [startup+1422.3 s] /proc/loadavg: 1.22 1.27 1.63 2/171 20172 /proc/meminfo: memFree=29309364/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1421.91 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292113 0 0 0 142147 44 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1404484 [startup+1482.3 s] /proc/loadavg: 1.27 1.27 1.61 2/171 20173 /proc/meminfo: memFree=29309316/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1481.88 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292136 0 0 0 148142 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1404484 [startup+1542.31 s] /proc/loadavg: 1.27 1.28 1.59 3/171 20174 /proc/meminfo: memFree=29309300/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1541.88 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 154142 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1404484 [startup+1602.3 s] /proc/loadavg: 1.26 1.29 1.57 2/171 20176 /proc/meminfo: memFree=29309160/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1601.86 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 160140 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5674567 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1404484 [startup+1662.3 s] /proc/loadavg: 1.40 1.32 1.56 2/172 20180 /proc/meminfo: memFree=29309484/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1661.85 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 166139 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1404484 [startup+1722.3 s] /proc/loadavg: 1.42 1.34 1.55 2/173 20204 /proc/meminfo: memFree=29308680/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1721.84 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 172138 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5674046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1404484 [startup+1782.3 s] /proc/loadavg: 1.24 1.30 1.52 2/172 20205 /proc/meminfo: memFree=29308792/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1781.83 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 178137 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5822704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1404484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.31 1.31 1.52 3/172 20205 /proc/meminfo: memFree=29308792/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1800.03 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 179957 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1404484 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 20055 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.31 1.31 1.52 3/172 20205 /proc/meminfo: memFree=29308792/32872528 swapFree=1315980/1463148 [pid=20055] ppid=20052 vsize=1404484 CPUtime=1800.03 cores=1,3,5,7 /proc/20055/stat : 20055 (toysat) R 20052 20055 14504 0 -1 4202496 292137 0 0 0 179957 46 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140735564517952 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/20055/statm: 351121 293120 889 2943 0 348015 0 [pid=20055/tid=20056] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20056/stat : 20056 (toysat) S 20052 20055 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470053219568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=20055/tid=20057] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20057/stat : 20057 (toysat) S 20052 20055 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140470042729712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=20055/tid=20058] ppid=20052 vsize=1404484 CPUtime=0 cores=1,3,5,7 /proc/20055/task/20058/stat : 20058 (toysat) S 20052 20055 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14046447 1438191616 293120 33554432000 4194304 16246674 140735564536080 140469925309616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1404484 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.58 CPU system time (s): 0.468928 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1404484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.468928 maximum resident set size= 1172480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 292137 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= 355 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.95725 second user time and 6.79897 second system time The end
Begin job on node121 at 2016-06-17 01:33:15 IDJOB=4098220 IDBENCH=107869 IDSOLVER=2542 FILE ID=node121/4098220-1466119995 RUNJOBID= node121-1466116252-18782 PBS_JOBID= 19904064 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_27.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098220-1466119995/watcher-4098220-1466119995 -o /tmp/evaluation-result-4098220-1466119995/solver-4098220-1466119995 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466116252-18782 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098220-1466119995.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e5dfc4d846a48e79d65df8a4ed637338 RANDOM SEED=882715586 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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 : 2666.691 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.691 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: 29350592 kB Buffers: 55928 kB Cached: 178492 kB SwapCached: 2484 kB Active: 1245004 kB Inactive: 107256 kB Active(anon): 1118036 kB Inactive(anon): 1896 kB Active(file): 126968 kB Inactive(file): 105360 kB Unevictable: 1463148 kB Mlocked: 1315980 kB SwapTotal: 67108856 kB SwapFree: 67099892 kB Dirty: 21764 kB Writeback: 0 kB AnonPages: 2706276 kB Mapped: 10724 kB Shmem: 0 kB Slab: 570200 kB SReclaimable: 14452 kB SUnreclaim: 555748 kB KernelStack: 1504 kB PageTables: 8768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2711648 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1384448 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 node121 at 2016-06-17 02:03:16