| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.41 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-msc98-ip.opb |
| MD5SUM | 3c61282a3f224081a1f064cb1d1442be |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2634797100956844820 |
| Best CPU time to get the best result obtained on this benchmark | 1800.17 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2666580001830528047 |
| Optimality of the best value was proved | NO |
| Number of variables | 36105 |
| Total number of constraints | 16727 |
| Number of constraints which are clauses | 5133 |
| Number of constraints which are cardinality constraints (but not clauses) | 579 |
| Number of constraints which are nor clauses,nor cardinality constraints | 11015 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 1209 |
| Number of terms in the objective function | 7440 |
| Biggest coefficient in the objective function | 233453000000000000 |
| Number of bits for the biggest coefficient in the objective function | 58 |
| Sum of the numbers in the objective function | 7418790514839784695 |
| Number of bits of the sum of numbers in the objective function | 63 |
| Biggest number in a constraint | 233453000000000000 |
| Number of bits of the biggest number in a constraint | 58 |
| Biggest sum of numbers in a constraint | 7418790514839784695 |
| Number of bits of the biggest sum of numbers | 63 |
| 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-18T10:48:25+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-4103957-1466239705.opb"] 0.00/0.01 c use --random-gen="2999166273 121533059 166732181 4195671084 2309072306 1472238669 3938778052 801207925 1130133237 3998661156 284253660 2209736147 3141926696 3081971821 4127340416 849716103 49414541 3609192371 3130527562 3188540 1462016899 481828651 1463239567 4244945852 1155488869 2388435902 4230477458 2382987496 568164792 2004500628 3527595164 1840976894 2196785148 2446843915 2575289858 54169300 3834636114 3719049928 2484154198 1933054427 879703492 980180450 2656921736 309109668 2075681252 1719171156 202794015 3483779142 3357992321 2091477188 780615844 1688193849 1314309317 2448967100 736851975 2821829337 1640059825 2573768968 3470028195 4005083010 1908957043 90307328 4120369611 115662494 1338953760 1145814744 1901515492 1524650997 1569699006 1839948737 91780160 1262473093 2607070220 3505790913 1587918258 3485729328 829386783 4191750440 2435090031 2664075343 418193729 1246389228 3805628050 2296393628 3204214337 1399545678 2147087596 3796833646 683832274 1259032696 4081115895 2653522026 1581373427 1177453180 2570419458 2778183810 3368526497 3373902022 161811984 3503796731 2510560310 2729644986 4179789648 2647887507 33875666 4102057424 3369468568 669476030 2282196103 2089701468 1679874958 3076372122 1768330547 1129572628 987174160 789436529 1576277564 2096826463 2409562678 3470713976 855371912 1103404610 285759043 163813144 8561538 30546243 3375158296 975228879 1691383181 4236896142 1323148298 3272823015 3206423526 3982419143 464267815 3421307948 2887891299 364567164 4040615526 4051796348 4274449202 2889894837 1279254744 3726445436 876634433 2418738112 3585493942 3374277141 278807425 2722825548 689697221 121738962 2756609339 4248511259 829011598 3981961835 2559976446 1355285950 3481947875 2482127042 4066651482 3433760029 722194764 3031540536 4072936386 3780880177 2639559502 321350529 3215170474 1956321743 2226947148 4230115531 2466807356 2428454045 1331374344 3394262073 2461556343 3561579986 3215470935 575701181 3647228722 1356529581 2332944168 2302093886 3857394964 1093201887 416948059 1776413975 1844915199 1477012331 3786124306 1487600063 659842190 1109142566 2174311564 3536892053 4002041077 3580510123 2366923542 3306539859 1519111528 2049556276 1178593420 3035197672 668484963 1024061375 2625283218 2554602552 3230901585 190696674 3709525816 2596010082 1302000363 2713314579 3906387469 671818196 1401691074 3281331260 714863944 779289283 4068578633 2201022020 1555860934 3239659390 1026750257 3635631672 3322916245 4158264178 887941325 860126171 85856865 1169368482 4098942032 3073232649 2553547681 3132860823 1456955544 115532398 3794512012 2899148460 2262540561 888420744 1337875001 205921480 2543932176 3830825859 3340317008 1997835111 2974474543 3140943534 2476467306 2556186175 2477813413 3729279001 1955461086 4119487826 255 362436" option to reproduce the execution 0.39/0.46 c #vars 36105 0.39/0.46 c #constraints 16727 2.89/2.97 c BCD2: Hardening is enabled. 2.89/2.97 c BCD2: BiasedSearch is enabled. 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 | 18989 0 | 952 | 0 2.99/3.02 c 0.0s | 1 | 245 | 100 | 18989 0 | 952 | 52 3.09/3.13 c 0.2s | 2 | 927 | 250 | 20888 0 | 953 | 52 3.19/3.22 c 0.2s | 3 | 1705 | 475 | 22977 0 | 953 | 52 3.40/3.49 c 0.5s | 4 | 4439 | 813 | 25275 0 | 955 | 52 3.89/3.93 c 1.0s | 5 | 9509 | 1320 | 27803 0 | 955 | 52 4.89/4.98 c 2.0s | 6 | 12137 | 2081 | 33643 0 | 955 | 52 7.19/7.21 c 4.2s | 6 | 13067 | 2681 | 33643 0 | 955 | 52 9.29/9.39 c 6.4s | 6 | 13741 | 3181 | 33643 0 | 955 | 52 9.49/9.55 c 6.6s | 7 | 13809 | 3223 | 37008 0 | 955 | 52 11.79/11.87 c 8.9s | 7 | 14673 | 3723 | 37008 0 | 955 | 52 14.09/14.19 c 11.2s | 7 | 15349 | 4123 | 37008 0 | 955 | 52 16.29/16.35 c 13.4s | 7 | 16174 | 4623 | 37008 0 | 1136 | 78 17.49/17.53 c 14.6s | 8 | 16583 | 4936 | 40709 0 | 1136 | 78 19.99/20.00 c 17.0s | 8 | 17308 | 5436 | 40709 0 | 1136 | 78 21.99/22.05 c 19.1s | 8 | 17941 | 5936 | 40709 0 | 1136 | 78 24.39/24.40 c 21.4s | 8 | 18841 | 6536 | 40709 0 | 1136 | 78 26.69/26.75 c 23.8s | 8 | 20015 | 7236 | 40709 0 | 1136 | 78 27.59/27.69 c 24.7s | 9 | 20436 | 7506 | 44780 0 | 1136 | 78 29.79/29.87 c 26.9s | 9 | 21305 | 8106 | 44780 0 | 1136 | 78 31.78/31.87 c 28.9s | 9 | 21996 | 8606 | 44780 0 | 1136 | 78 34.09/34.13 c 31.2s | 9 | 22924 | 9206 | 44780 0 | 1136 | 78 36.48/36.51 c 33.5s | 9 | 23806 | 9806 | 44780 0 | 1136 | 78 38.88/38.90 c 35.9s | 9 | 24729 | 10406 | 44780 0 | 1136 | 78 40.98/41.03 c 38.1s | 9 | 25710 | 11006 | 44780 0 | 1136 | 78 42.18/42.23 c 39.3s | 10 | 26275 | 11361 | 49259 0 | 1136 | 78 44.18/44.24 c 41.3s | 10 | 27014 | 11861 | 49259 0 | 1136 | 78 46.58/46.64 c 43.7s | 10 | 27739 | 12361 | 49259 0 | 1136 | 78 48.68/48.70 c 45.7s | 10 | 28379 | 12861 | 49259 0 | 1136 | 78 50.69/50.77 c 47.8s | 10 | 29095 | 13361 | 49259 0 | 1136 | 78 53.08/53.14 c 50.2s | 10 | 30089 | 13961 | 49259 0 | 1136 | 78 55.18/55.24 c 52.3s | 10 | 30606 | 14361 | 49259 0 | 1136 | 78 57.29/57.34 c 54.4s | 10 | 31292 | 14861 | 49259 0 | 1136 | 78 59.39/59.46 c 56.5s | 10 | 31956 | 15361 | 49259 0 | 1136 | 78 61.59/61.68 c 58.7s | 10 | 32813 | 15961 | 49259 0 | 1136 | 78 63.68/63.72 c 60.7s | 10 | 33538 | 16461 | 49259 0 | 1136 | 78 65.68/65.78 c 62.8s | 10 | 34420 | 17061 | 54185 0 | 1136 | 78 66.09/66.12 c 63.2s | 11 | 34539 | 17144 | 54185 0 | 1136 | 78 68.19/68.22 c 65.3s | 11 | 35302 | 17644 | 54185 0 | 1136 | 78 70.58/70.64 c 67.7s | 11 | 36235 | 18244 | 54185 0 | 1136 | 78 72.88/72.95 c 70.0s | 11 | 37106 | 18844 | 54185 0 | 1136 | 78 75.08/75.12 c 72.2s | 11 | 37844 | 19344 | 54185 0 | 1136 | 78 77.28/77.31 c 74.3s | 11 | 38565 | 19844 | 54185 0 | 1136 | 78 79.28/79.37 c 76.4s | 11 | 39390 | 20444 | 54185 0 | 1136 | 78 81.58/81.64 c 78.7s | 11 | 40192 | 21044 | 54185 0 | 1136 | 78 83.68/83.75 c 80.8s | 11 | 40885 | 21544 | 54185 0 | 1136 | 78 85.98/86.02 c 83.1s | 11 | 41692 | 22044 | 54185 0 | 1136 | 78 88.38/88.47 c 85.5s | 11 | 42506 | 22544 | 54185 0 | 1136 | 78 90.68/90.77 c 87.8s | 11 | 43114 | 22944 | 54185 0 | 1136 | 78 93.17/93.22 c 90.2s | 11 | 43810 | 23444 | 54185 0 | 1136 | 78 95.47/95.59 c 92.6s | 11 | 44553 | 23944 | 54185 0 | 1136 | 78 97.67/97.78 c 94.8s | 11 | 45436 | 24444 | 54185 0 | 1136 | 78 99.77/99.88 c 96.9s | 11 | 46258 | 24944 | 54185 0 | 1136 | 78 101.97/102.02 c 99.1s | 11 | 47038 | 25444 | 54185 0 | 1136 | 78 103.38/103.47 c 100s | 12 | 47578 | 25819 | 59604 0 | 1136 | 78 105.58/105.61 c 102s | 12 | 48364 | 26319 | 59604 0 | 1136 | 78 107.78/107.82 c 104s | 12 | 49347 | 26919 | 59604 0 | 1136 | 78 109.98/110.06 c 107s | 12 | 50418 | 27519 | 59604 0 | 1136 | 78 112.07/112.11 c 109s | 12 | 51071 | 28019 | 59604 0 | 1136 | 78 114.27/114.39 c 111s | 12 | 51879 | 28619 | 59604 0 | 1136 | 78 116.58/116.70 c 113s | 12 | 52702 | 29219 | 59604 0 | 1136 | 78 118.88/118.99 c 116s | 12 | 53487 | 29819 | 59604 0 | 1136 | 78 121.27/121.33 c 118s | 12 | 54293 | 30419 | 59604 0 | 1136 | 78 123.37/123.46 c 120s | 12 | 55157 | 31019 | 59604 0 | 1136 | 78 125.67/125.70 c 122s | 12 | 55783 | 31519 | 59604 0 | 1136 | 78 127.97/128.03 c 125s | 12 | 56492 | 32119 | 59604 0 | 1136 | 78 130.37/130.45 c 127s | 12 | 57208 | 32719 | 59604 0 | 1136 | 78 132.57/132.60 c 129s | 12 | 58006 | 33319 | 59604 0 | 1136 | 78 134.67/134.74 c 131s | 12 | 58561 | 33719 | 59604 0 | 1136 | 78 136.77/136.85 c 133s | 12 | 59185 | 34119 | 59604 0 | 1136 | 78 139.17/139.26 c 136s | 12 | 59763 | 34519 | 59604 0 | 1136 | 78 141.37/141.45 c 138s | 12 | 60542 | 35019 | 59604 0 | 1136 | 78 143.47/143.55 c 140s | 12 | 61247 | 35519 | 59604 0 | 1136 | 78 145.97/146.01 c 143s | 12 | 61896 | 36019 | 59604 0 | 1136 | 78 148.07/148.19 c 145s | 12 | 62584 | 36519 | 59604 0 | 1136 | 78 150.27/150.35 c 147s | 12 | 63271 | 37019 | 59604 0 | 1136 | 78 152.27/152.35 c 149s | 12 | 63983 | 37519 | 59604 0 | 1136 | 78 154.47/154.54 c 151s | 12 | 64801 | 38119 | 59604 0 | 1136 | 78 156.47/156.60 c 153s | 12 | 65505 | 38619 | 65565 0 | 1136 | 78 157.47/157.50 c 154s | 13 | 65793 | 38832 | 65565 0 | 1136 | 78 159.66/159.70 c 156s | 13 | 66524 | 39332 | 65565 0 | 1136 | 78 161.67/161.74 c 158s | 13 | 67248 | 39832 | 65565 0 | 1136 | 78 163.66/163.75 c 160s | 13 | 68107 | 40332 | 65565 0 | 1136 | 78 165.96/166.08 c 163s | 13 | 69059 | 40932 | 65565 0 | 1136 | 78 168.06/168.17 c 165s | 13 | 69876 | 41432 | 65565 0 | 1136 | 78 170.16/170.22 c 167s | 13 | 70747 | 41932 | 65565 0 | 1136 | 78 172.26/172.32 c 169s | 13 | 71730 | 42532 | 65565 0 | 1136 | 78 174.26/174.33 c 171s | 13 | 72472 | 43032 | 65565 0 | 1136 | 78 176.46/176.54 c 173s | 13 | 73332 | 43632 | 65565 0 | 1136 | 78 178.56/178.69 c 175s | 13 | 74143 | 44232 | 65565 0 | 1136 | 78 180.76/180.88 c 177s | 13 | 75427 | 45032 | 65565 0 | 1136 | 78 183.16/183.22 c 180s | 13 | 76528 | 45732 | 65565 0 | 1136 | 78 185.36/185.45 c 182s | 13 | 77367 | 46332 | 65565 0 | 1136 | 78 187.56/187.67 c 184s | 13 | 78239 | 46932 | 65565 0 | 1136 | 78 189.76/189.86 c 186s | 13 | 79232 | 47632 | 65565 0 | 1136 | 78 192.16/192.21 c 189s | 13 | 80362 | 48432 | 65565 0 | 1136 | 78 194.16/194.27 c 191s | 13 | 81572 | 49232 | 65565 0 | 1136 | 78 196.56/196.65 c 193s | 13 | 82433 | 49832 | 65565 0 | 1136 | 78 198.66/198.70 c 195s | 13 | 83406 | 50432 | 65565 0 | 1136 | 78 200.76/200.89 c 197s | 13 | 84553 | 51132 | 65565 0 | 1136 | 78 203.06/203.11 c 200s | 13 | 85484 | 51732 | 65565 0 | 1136 | 78 205.16/205.26 c 202s | 13 | 86176 | 52232 | 65565 0 | 1136 | 78 207.26/207.35 c 204s | 13 | 87365 | 52932 | 65565 0 | 1136 | 78 209.36/209.47 c 206s | 13 | 88418 | 53632 | 65565 0 | 1136 | 78 211.76/211.83 c 208s | 13 | 89434 | 54332 | 65565 0 | 1136 | 78 213.86/213.90 c 210s | 13 | 90252 | 54932 | 65565 0 | 1136 | 78 215.96/216.09 c 213s | 13 | 91077 | 55532 | 65565 0 | 1136 | 78 218.16/218.25 c 215s | 13 | 92132 | 56232 | 65565 0 | 1136 | 78 220.36/220.47 c 217s | 13 | 93129 | 56932 | 65565 0 | 1136 | 78 222.66/222.77 c 219s | 13 | 94040 | 57632 | 65565 0 | 1136 | 78 224.65/224.78 c 221s | 13 | 94948 | 58232 | 72122 0 | 1136 | 78 225.05/225.17 c 222s | 14 | 95111 | 58352 | 72122 0 | 1136 | 78 227.35/227.42 c 224s | 14 | 95991 | 58952 | 72122 0 | 1136 | 78 229.45/229.52 c 226s | 14 | 96705 | 59452 | 72122 0 | 1136 | 78 231.55/231.65 c 228s | 14 | 97571 | 60052 | 72122 0 | 1136 | 78 233.75/233.81 c 230s | 14 | 98617 | 60752 | 72122 0 | 1136 | 78 235.95/236.05 c 233s | 14 | 99804 | 61452 | 72122 0 | 1136 | 78 238.05/238.17 c 235s | 14 | 100703 | 62052 | 72122 0 | 1136 | 78 240.15/240.27 c 237s | 14 | 101695 | 62652 | 72122 0 | 1136 | 78 242.25/242.38 c 239s | 14 | 102655 | 63252 | 72122 0 | 1136 | 78 244.55/244.61 c 241s | 14 | 103574 | 63852 | 72122 0 | 1136 | 78 246.65/246.75 c 243s | 14 | 104492 | 64452 | 72122 0 | 1136 | 78 248.85/248.90 c 245s | 14 | 105307 | 64952 | 72122 0 | 1136 | 78 250.86/250.92 c 247s | 14 | 106099 | 65452 | 72122 0 | 1136 | 78 252.96/253.05 c 250s | 14 | 106997 | 66052 | 72122 0 | 1136 | 78 255.05/255.19 c 252s | 14 | 107866 | 66652 | 72122 0 | 1136 | 78 257.36/257.45 c 254s | 14 | 108860 | 67352 | 72122 0 | 1136 | 78 259.35/259.48 c 256s | 14 | 109708 | 67952 | 72122 0 | 1136 | 78 261.45/261.54 c 258s | 14 | 110622 | 68552 | 72122 0 | 1136 | 78 263.45/263.57 c 260s | 14 | 111553 | 69152 | 72122 0 | 1136 | 78 265.75/265.80 c 262s | 14 | 112475 | 69752 | 72122 0 | 1136 | 78 267.85/267.91 c 264s | 14 | 113573 | 70452 | 72122 0 | 1136 | 78 269.95/270.06 c 267s | 14 | 114558 | 71052 | 72122 0 | 1136 | 78 272.15/272.20 c 269s | 14 | 115462 | 71652 | 72122 0 | 1136 | 78 274.15/274.22 c 271s | 14 | 116517 | 72352 | 72122 0 | 1136 | 78 276.25/276.30 c 273s | 14 | 117343 | 72952 | 72122 0 | 1136 | 78 278.25/278.34 c 275s | 14 | 118329 | 73652 | 72122 0 | 1136 | 78 280.55/280.67 c 277s | 14 | 119237 | 74252 | 72122 1 | 1136 | 78 282.85/282.93 c 279s | 14 | 119932 | 74752 | 72122 1 | 1136 | 78 289.74/289.84 c 286s | 14 | 120267 | 74952 | 72122 1 | 1136 | 78 292.56/292.69 c 289s | 14 | 120462 | 75052 | 72122 1 | 1136 | 78 294.65/294.80 c 291s | 14 | 121188 | 75552 | 72122 1 | 1136 | 78 296.85/296.92 c 293s | 14 | 122141 | 76152 | 72122 1 | 1136 | 78 298.85/298.97 c 295s | 14 | 122982 | 76752 | 72122 1 | 1136 | 78 300.95/301.09 c 298s | 14 | 123791 | 77252 | 72122 1 | 1136 | 78 303.35/303.40 c 300s | 14 | 124755 | 77852 | 72122 1 | 1136 | 78 305.45/305.54 c 302s | 14 | 125462 | 78352 | 72122 1 | 1136 | 78 307.64/307.71 c 304s | 14 | 126119 | 78752 | 72122 1 | 1136 | 78 309.94/310.01 c 307s | 14 | 126822 | 79252 | 72122 1 | 1136 | 78 312.04/312.16 c 309s | 14 | 127482 | 79752 | 72122 1 | 1136 | 78 314.04/314.17 c 311s | 14 | 128085 | 80152 | 72122 1 | 1136 | 78 316.44/316.59 c 313s | 14 | 128841 | 80652 | 72122 1 | 1136 | 78 318.74/318.86 c 315s | 14 | 129577 | 81152 | 72122 1 | 1136 | 78 320.84/320.99 c 318s | 14 | 130088 | 81552 | 72122 1 | 1136 | 78 323.24/323.36 c 320s | 14 | 130706 | 82052 | 72122 1 | 1136 | 78 325.34/325.43 c 322s | 14 | 131313 | 82452 | 72122 1 | 1136 | 78 327.44/327.58 c 324s | 14 | 131874 | 82852 | 72122 1 | 1136 | 78 329.74/329.88 c 326s | 14 | 132571 | 83352 | 72122 1 | 1136 | 78 331.94/332.01 c 329s | 14 | 133280 | 83852 | 72122 1 | 1136 | 78 334.14/334.22 c 331s | 14 | 134024 | 84352 | 72122 1 | 1136 | 78 336.24/336.31 c 333s | 14 | 135066 | 84952 | 72122 1 | 1136 | 78 338.44/338.54 c 335s | 14 | 135885 | 85452 | 72122 1 | 1136 | 78 340.64/340.74 c 337s | 14 | 136473 | 85852 | 72122 1 | 1136 | 78 342.64/342.76 c 339s | 14 | 137030 | 86252 | 72122 1 | 1136 | 78 344.94/345.00 c 342s | 14 | 137681 | 86752 | 72122 1 | 1136 | 78 347.34/347.43 c 344s | 14 | 138369 | 87252 | 79335 1 | 1136 | 78 349.04/349.11 c 346s | 15 | 138937 | 87632 | 79335 1 | 1136 | 78 351.24/351.36 c 348s | 15 | 139751 | 88132 | 79335 1 | 1136 | 78 353.44/353.52 c 350s | 15 | 140511 | 88632 | 79335 1 | 1136 | 78 355.74/355.86 c 352s | 15 | 141547 | 89232 | 79335 1 | 1136 | 78 357.74/357.89 c 354s | 15 | 142285 | 89732 | 79335 1 | 1136 | 78 359.84/359.98 c 357s | 15 | 143158 | 90232 | 79335 1 | 1136 | 78 362.14/362.27 c 359s | 15 | 144088 | 90832 | 79335 1 | 1136 | 78 364.34/364.45 c 361s | 15 | 144913 | 91332 | 79335 1 | 1136 | 78 366.74/366.82 c 363s | 15 | 145634 | 91832 | 79335 1 | 1136 | 78 368.83/368.91 c 365s | 15 | 146296 | 92332 | 79335 1 | 1136 | 78 370.83/370.94 c 367s | 15 | 147173 | 92932 | 79335 1 | 1136 | 78 373.13/373.24 c 370s | 15 | 148032 | 93432 | 79335 1 | 1136 | 78 375.63/375.74 c 372s | 15 | 148851 | 93932 | 79335 1 | 1136 | 78 378.23/378.30 c 375s | 15 | 149669 | 94432 | 79335 1 | 1136 | 78 380.23/380.34 c 377s | 15 | 150238 | 94832 | 79335 1 | 1136 | 78 382.63/382.75 c 379s | 15 | 150898 | 95332 | 79335 1 | 1136 | 78 385.04/385.13 c 382s | 15 | 151574 | 95832 | 79335 1 | 1136 | 78 387.53/387.60 c 384s | 15 | 152216 | 96332 | 79335 1 | 1136 | 78 389.73/389.83 c 386s | 15 | 152991 | 96832 | 79335 1 | 1136 | 78 392.03/392.11 c 389s | 15 | 153592 | 97232 | 79335 1 | 1136 | 78 394.13/394.22 c 391s | 15 | 154320 | 97732 | 79335 1 | 1136 | 78 396.33/396.42 c 393s | 15 | 155315 | 98332 | 79335 1 | 1136 | 78 398.53/398.69 c 395s | 15 | 156143 | 98832 | 79335 1 | 1136 | 78 400.83/400.98 c 398s | 15 | 157133 | 99432 | 79335 1 | 1136 | 78 403.13/403.22 c 400s | 15 | 158205 | 100032 | 79335 1 | 1136 | 78 405.43/405.58 c 402s | 15 | 159136 | 100632 | 79335 1 | 1136 | 78 407.73/407.87 c 404s | 15 | 160024 | 101232 | 79335 1 | 1136 | 78 410.03/410.15 c 407s | 15 | 160921 | 101832 | 79335 1 | 1136 | 78 412.13/412.25 c 409s | 15 | 161676 | 102332 | 79335 1 | 1136 | 78 414.23/414.35 c 411s | 15 | 162228 | 102732 | 79335 1 | 1136 | 78 416.53/416.60 c 413s | 15 | 162997 | 103232 | 79335 1 | 1136 | 78 418.63/418.72 c 415s | 15 | 163680 | 103732 | 79335 1 | 1136 | 78 421.13/421.24 c 418s | 15 | 164404 | 104232 | 79335 1 | 1136 | 78 423.63/423.70 c 420s | 15 | 165264 | 104832 | 79335 1 | 1136 | 78 425.83/425.90 c 422s | 15 | 166003 | 105332 | 79335 1 | 1136 | 78 427.83/427.99 c 425s | 15 | 166735 | 105832 | 79335 1 | 1136 | 78 430.03/430.14 c 427s | 15 | 167423 | 106332 | 79335 1 | 1136 | 78 432.23/432.32 c 429s | 15 | 168134 | 106832 | 79335 1 | 1136 | 78 434.62/434.79 c 431s | 15 | 168855 | 107332 | 79335 1 | 1136 | 78 436.92/437.03 c 434s | 15 | 169560 | 107832 | 79335 1 | 1136 | 78 439.12/439.23 c 436s | 15 | 170346 | 108332 | 79335 1 | 1136 | 78 441.22/441.31 c 438s | 15 | 171105 | 108832 | 79335 1 | 1136 | 78 443.62/443.72 c 440s | 15 | 171803 | 109332 | 79335 1 | 1136 | 78 445.82/445.96 c 442s | 15 | 172463 | 109832 | 79335 1 | 1136 | 78 448.32/448.42 c 445s | 15 | 173132 | 110332 | 79335 1 | 1136 | 78 450.62/450.73 c 447s | 15 | 173832 | 110832 | 79335 1 | 1136 | 78 453.32/453.44 c 450s | 15 | 174514 | 111332 | 79335 1 | 1136 | 78 455.92/456.00 c 453s | 15 | 175032 | 111732 | 79335 1 | 1136 | 78 458.22/458.31 c 455s | 15 | 175608 | 112132 | 79335 1 | 1136 | 78 460.22/460.34 c 457s | 15 | 176146 | 112532 | 79335 1 | 1136 | 78 462.42/462.59 c 459s | 15 | 176820 | 113032 | 79335 1 | 1136 | 78 464.52/464.65 c 461s | 15 | 177517 | 113532 | 79335 1 | 1136 | 78 466.62/466.75 c 463s | 15 | 178228 | 114032 | 79335 1 | 1136 | 78 469.22/469.36 c 466s | 15 | 179131 | 114532 | 79335 1 | 1136 | 78 471.93/472.06 c 469s | 15 | 179649 | 114932 | 79335 1 | 1136 | 78 474.02/474.20 c 471s | 15 | 180237 | 115332 | 79335 1 | 1136 | 78 476.62/476.74 c 473s | 15 | 180740 | 115732 | 79335 1 | 1136 | 78 478.92/479.09 c 476s | 15 | 181319 | 116132 | 79335 1 | 1136 | 78 481.32/481.47 c 478s | 15 | 181858 | 116532 | 79335 1 | 1136 | 78 483.62/483.75 c 480s | 15 | 182371 | 116932 | 79335 1 | 1136 | 78 485.62/485.77 c 482s | 15 | 182955 | 117332 | 79335 1 | 1136 | 78 487.81/487.90 c 484s | 15 | 183447 | 117732 | 79335 1 | 1136 | 78 490.01/490.19 c 487s | 15 | 183959 | 118132 | 79335 2 | 1136 | 78 492.22/492.39 c 489s | 15 | 184096 | 118232 | 79335 2 | 1136 | 78 494.62/494.74 c 491s | 15 | 184515 | 118532 | 79335 2 | 1136 | 78 496.82/496.93 c 493s | 15 | 185220 | 119032 | 79335 2 | 1136 | 78 499.22/499.30 c 496s | 15 | 185988 | 119532 | 79335 2 | 1136 | 78 501.72/501.81 c 498s | 15 | 186660 | 120032 | 79335 2 | 1136 | 78 503.92/504.08 c 501s | 15 | 187378 | 120532 | 79335 2 | 1136 | 78 506.22/506.34 c 503s | 15 | 188664 | 121332 | 79335 2 | 1136 | 78 508.51/508.67 c 505s | 15 | 189583 | 121932 | 79335 2 | 1136 | 78 510.71/510.89 c 507s | 15 | 190255 | 122432 | 79335 2 | 1136 | 78 514.61/514.76 c 511s | 15 | 191212 | 123032 | 79335 2 | 1136 | 78 517.02/517.14 c 514s | 15 | 192042 | 123532 | 79335 2 | 1136 | 78 519.31/519.45 c 516s | 15 | 192881 | 124032 | 79335 2 | 1136 | 78 521.51/521.61 c 518s | 15 | 193517 | 124532 | 79335 2 | 1136 | 78 523.81/523.91 c 520s | 15 | 194384 | 125132 | 79335 2 | 1136 | 78 526.01/526.15 c 523s | 15 | 195339 | 125832 | 79335 2 | 1136 | 78 528.11/528.21 c 525s | 15 | 196237 | 126432 | 79335 2 | 1136 | 78 530.12/530.25 c 527s | 15 | 196933 | 126932 | 79335 2 | 1136 | 78 532.21/532.30 c 529s | 15 | 197681 | 127432 | 79335 2 | 1136 | 78 534.31/534.46 c 531s | 15 | 198373 | 127932 | 79335 2 | 1136 | 78 536.41/536.51 c 533s | 15 | 198900 | 128332 | 79335 2 | 1136 | 78 538.41/538.53 c 535s | 15 | 199577 | 128832 | 79335 2 | 1136 | 78 540.61/540.78 c 537s | 15 | 200335 | 129332 | 79335 2 | 1136 | 78 543.01/543.14 c 540s | 15 | 201065 | 129832 | 79335 2 | 1136 | 78 545.11/545.27 c 542s | 15 | 201711 | 130232 | 79335 2 | 1136 | 78 547.31/547.47 c 544s | 15 | 202504 | 130732 | 87269 2 | 1136 | 78 549.61/549.70 c 546s | 15 | 203216 | 131232 | 87269 2 | 1136 | 78 550.81/550.94 c 547s | 16 | 203663 | 131552 | 87269 2 | 1136 | 78 553.11/553.26 c 550s | 16 | 204512 | 132152 | 87269 2 | 1136 | 78 555.41/555.52 c 552s | 16 | 205185 | 132652 | 87269 2 | 1136 | 78 557.51/557.60 c 554s | 16 | 205932 | 133152 | 87269 2 | 1136 | 78 559.91/560.09 c 557s | 16 | 206606 | 133652 | 87269 2 | 1136 | 78 562.01/562.13 c 559s | 16 | 207130 | 134052 | 87269 2 | 1136 | 78 564.21/564.35 c 561s | 16 | 207672 | 134452 | 87269 2 | 1136 | 78 566.21/566.36 c 563s | 16 | 208259 | 134852 | 87269 2 | 1136 | 78 568.51/568.64 c 565s | 16 | 208773 | 135252 | 87269 2 | 1136 | 78 570.51/570.69 c 567s | 16 | 209348 | 135652 | 87269 2 | 1136 | 78 572.80/572.90 c 569s | 16 | 210055 | 136152 | 87269 2 | 1136 | 78 575.21/575.33 c 572s | 16 | 210577 | 136552 | 87269 2 | 1136 | 78 577.30/577.41 c 574s | 16 | 211321 | 137052 | 87269 2 | 1136 | 78 579.71/579.80 c 576s | 16 | 212000 | 137552 | 87269 2 | 1136 | 78 582.10/582.23 c 579s | 16 | 212554 | 137952 | 87269 2 | 1136 | 78 584.40/584.51 c 581s | 16 | 213174 | 138352 | 87269 2 | 1136 | 78 586.60/586.74 c 583s | 16 | 213659 | 138752 | 87269 2 | 1136 | 78 588.60/588.75 c 585s | 16 | 214172 | 139152 | 87269 2 | 1136 | 78 590.90/591.07 c 588s | 16 | 214886 | 139652 | 87269 2 | 1136 | 78 593.30/593.45 c 590s | 16 | 215625 | 140152 | 87269 2 | 1136 | 78 595.60/595.73 c 592s | 16 | 216330 | 140652 | 87269 2 | 1136 | 78 597.80/597.90 c 594s | 16 | 217057 | 141152 | 87269 2 | 1136 | 78 601.80/601.92 c 598s | 16 | 217760 | 141652 | 87269 2 | 1136 | 78 615.50/615.64 c 612s | 16 | 218368 | 142052 | 87269 2 | 1136 | 78 617.80/617.91 c 614s | 16 | 219344 | 142652 | 87269 2 | 1136 | 78 619.90/620.08 c 617s | 16 | 219957 | 143052 | 87269 2 | 1136 | 78 622.30/622.42 c 619s | 16 | 221131 | 143752 | 87269 2 | 1136 | 78 624.30/624.45 c 621s | 16 | 222203 | 144352 | 87269 2 | 1136 | 78 626.50/626.69 c 623s | 16 | 223131 | 144952 | 87269 2 | 1136 | 78 628.80/628.98 c 626s | 16 | 224105 | 145552 | 87269 2 | 1136 | 78 630.90/631.01 c 628s | 16 | 224835 | 146052 | 87269 2 | 1136 | 78 633.00/633.19 c 630s | 16 | 225590 | 146552 | 87269 2 | 1136 | 78 635.10/635.21 c 632s | 16 | 226333 | 147052 | 87269 2 | 1136 | 78 637.10/637.29 c 634s | 16 | 227444 | 147652 | 87269 2 | 1136 | 78 639.29/639.48 c 636s | 16 | 228449 | 148252 | 87269 2 | 1136 | 78 641.39/641.55 c 638s | 16 | 229385 | 148852 | 87269 2 | 1136 | 78 643.59/643.70 c 640s | 16 | 230306 | 149452 | 87269 2 | 1136 | 78 645.70/645.82 c 642s | 16 | 231289 | 150052 | 87269 2 | 1136 | 78 647.80/647.99 c 645s | 16 | 232264 | 150652 | 87269 2 | 1136 | 78 650.00/650.20 c 647s | 16 | 232992 | 151152 | 87269 2 | 1136 | 78 652.20/652.33 c 649s | 16 | 233968 | 151752 | 87269 2 | 1136 | 78 654.59/654.71 c 651s | 16 | 235075 | 152352 | 87269 2 | 1136 | 78 656.89/657.00 c 654s | 16 | 235789 | 152852 | 87269 2 | 1136 | 78 658.90/659.01 c 656s | 16 | 236313 | 153252 | 87269 2 | 1136 | 78 661.29/661.40 c 658s | 16 | 237195 | 153752 | 87269 2 | 1136 | 78 663.29/663.45 c 660s | 16 | 237788 | 154152 | 87269 2 | 1136 | 78 665.49/665.68 c 662s | 16 | 238551 | 154652 | 87269 2 | 1136 | 78 667.89/668.08 c 665s | 16 | 239294 | 155152 | 87269 2 | 1136 | 78 670.29/670.47 c 667s | 16 | 240159 | 155752 | 87269 2 | 1136 | 78 672.49/672.65 c 669s | 16 | 240706 | 156152 | 87269 2 | 1136 | 78 674.59/674.71 c 671s | 16 | 241628 | 156752 | 87269 2 | 1136 | 78 676.59/676.79 c 673s | 16 | 242574 | 157352 | 87269 2 | 1136 | 78 678.78/678.99 c 676s | 16 | 243391 | 157952 | 87269 2 | 1136 | 78 681.28/681.42 c 678s | 16 | 244094 | 158452 | 87269 2 | 1136 | 78 683.58/683.77 c 680s | 16 | 244953 | 159052 | 87269 2 | 1136 | 78 685.88/686.09 c 683s | 16 | 245693 | 159552 | 87269 2 | 1136 | 78 688.38/688.54 c 685s | 16 | 246369 | 160052 | 87269 2 | 1136 | 78 690.88/691.04 c 688s | 16 | 247046 | 160452 | 87269 2 | 1136 | 78 693.39/693.51 c 690s | 16 | 247615 | 160852 | 87269 2 | 1136 | 78 695.39/695.51 c 692s | 16 | 248282 | 161252 | 87269 2 | 1136 | 78 697.49/697.64 c 694s | 16 | 248856 | 161652 | 87269 2 | 1136 | 78 699.89/700.08 c 697s | 16 | 249583 | 162152 | 87269 2 | 1136 | 78 701.89/702.09 c 699s | 16 | 249999 | 162452 | 87269 2 | 1136 | 78 703.99/704.12 c 701s | 16 | 250598 | 162852 | 87269 2 | 1136 | 78 706.49/706.64 c 703s | 16 | 251345 | 163352 | 87269 2 | 1136 | 78 708.69/708.84 c 705s | 16 | 251921 | 163752 | 87269 2 | 1136 | 78 710.99/711.17 c 708s | 16 | 252602 | 164252 | 87269 2 | 1136 | 78 713.39/713.50 c 710s | 16 | 253313 | 164752 | 87269 2 | 1136 | 78 715.69/715.86 c 712s | 16 | 254002 | 165252 | 87269 2 | 1136 | 78 718.08/718.23 c 715s | 16 | 254593 | 165652 | 87269 2 | 1136 | 78 720.18/720.35 c 717s | 16 | 255254 | 166052 | 87269 2 | 1136 | 78 722.28/722.46 c 719s | 16 | 255894 | 166452 | 87269 2 | 1136 | 78 724.98/725.14 c 722s | 16 | 256483 | 166852 | 87269 3 | 1136 | 78 727.28/727.46 c 724s | 16 | 257233 | 167352 | 87269 3 | 1136 | 78 729.48/729.63 c 726s | 16 | 257845 | 167752 | 87269 3 | 1136 | 78 731.88/732.08 c 729s | 16 | 258399 | 168152 | 87269 3 | 1136 | 78 734.28/734.46 c 731s | 16 | 258945 | 168552 | 87269 3 | 1136 | 78 736.28/736.49 c 733s | 16 | 259511 | 168952 | 87269 3 | 1136 | 78 738.58/738.76 c 735s | 16 | 259659 | 169052 | 87269 3 | 1136 | 78 740.68/740.86 c 737s | 16 | 260379 | 169552 | 87269 3 | 1136 | 78 742.98/743.14 c 740s | 16 | 260978 | 169952 | 87269 3 | 1136 | 78 745.08/745.29 c 742s | 16 | 261521 | 170352 | 87269 3 | 1136 | 78 747.48/747.67 c 744s | 16 | 262364 | 170852 | 87269 3 | 1136 | 78 751.77/751.99 c 749s | 16 | 263044 | 171252 | 87269 3 | 1136 | 78 754.17/754.35 c 751s | 16 | 263803 | 171752 | 87269 3 | 1136 | 78 756.37/756.58 c 753s | 16 | 264641 | 172352 | 87269 3 | 1136 | 78 758.57/758.70 c 755s | 16 | 265485 | 172952 | 87269 3 | 1136 | 78 760.67/760.88 c 757s | 16 | 266183 | 173452 | 87269 3 | 1136 | 78 762.77/762.91 c 759s | 16 | 266690 | 173852 | 87269 3 | 1136 | 78 764.97/765.14 c 762s | 16 | 267624 | 174452 | 87269 3 | 1136 | 78 767.17/767.37 c 764s | 16 | 268309 | 174952 | 87269 3 | 1136 | 78 769.67/769.82 c 766s | 16 | 268981 | 175452 | 87269 3 | 1136 | 78 771.77/771.96 c 768s | 16 | 269624 | 175952 | 87269 3 | 1136 | 78 773.97/774.12 c 771s | 16 | 270318 | 176452 | 87269 3 | 1136 | 78 776.07/776.24 c 773s | 16 | 270884 | 176852 | 87269 3 | 1136 | 78 778.27/778.49 c 775s | 16 | 271623 | 177352 | 87269 3 | 1136 | 78 780.67/780.84 c 777s | 16 | 272259 | 177852 | 87269 3 | 1136 | 78 782.97/783.13 c 780s | 16 | 272977 | 178352 | 87269 3 | 1136 | 78 785.38/785.54 c 782s | 16 | 273648 | 178852 | 87269 3 | 1136 | 78 787.37/787.59 c 784s | 16 | 274473 | 179352 | 87269 3 | 1136 | 78 789.87/790.04 c 787s | 16 | 275455 | 179952 | 87269 3 | 1136 | 78 792.27/792.48 c 789s | 16 | 275962 | 180352 | 87269 3 | 1136 | 78 794.37/794.54 c 791s | 16 | 276527 | 180752 | 87269 3 | 1136 | 78 796.67/796.83 c 793s | 16 | 277224 | 181252 | 87269 3 | 1136 | 78 798.87/799.04 c 796s | 16 | 277998 | 181752 | 87269 3 | 1136 | 78 801.27/801.42 c 798s | 16 | 278690 | 182252 | 87269 3 | 1136 | 78 803.47/803.60 c 800s | 16 | 279389 | 182752 | 87269 3 | 1136 | 78 805.76/805.90 c 802s | 16 | 280301 | 183352 | 87269 3 | 1136 | 78 808.16/808.30 c 805s | 16 | 281255 | 183952 | 87269 3 | 1136 | 78 810.26/810.47 c 807s | 16 | 281955 | 184452 | 87269 3 | 1136 | 78 812.36/812.54 c 809s | 16 | 282714 | 184952 | 87269 3 | 1136 | 78 814.66/814.89 c 811s | 16 | 283653 | 185552 | 87269 3 | 1136 | 78 816.76/816.95 c 813s | 16 | 284465 | 186052 | 87269 3 | 1136 | 78 819.16/819.36 c 816s | 16 | 285416 | 186652 | 87269 3 | 1136 | 78 821.46/821.61 c 818s | 16 | 286403 | 187252 | 87269 3 | 1136 | 78 823.56/823.75 c 820s | 16 | 287308 | 187852 | 87269 3 | 1136 | 78 825.97/826.16 c 823s | 16 | 288005 | 188352 | 87269 3 | 1136 | 78 828.36/828.57 c 825s | 16 | 288686 | 188852 | 87269 3 | 1136 | 78 830.56/830.71 c 827s | 16 | 289437 | 189352 | 87269 3 | 1136 | 78 832.57/832.76 c 829s | 16 | 290293 | 189852 | 87269 3 | 1136 | 78 834.66/834.82 c 831s | 16 | 291002 | 190352 | 87269 3 | 1136 | 78 836.76/836.99 c 834s | 16 | 291746 | 190852 | 87269 3 | 1136 | 78 839.06/839.29 c 836s | 16 | 292557 | 191352 | 87269 3 | 1136 | 78 841.37/841.56 c 838s | 16 | 293275 | 191852 | 87269 3 | 1136 | 78 843.76/843.90 c 840s | 16 | 294014 | 192352 | 87269 3 | 1136 | 78 846.16/846.31 c 843s | 16 | 294691 | 192852 | 87269 3 | 1136 | 78 848.16/848.39 c 845s | 16 | 295554 | 193352 | 87269 3 | 1136 | 78 850.55/850.72 c 847s | 16 | 296541 | 193952 | 87269 3 | 1136 | 78 852.55/852.79 c 849s | 16 | 297462 | 194452 | 87269 3 | 1136 | 78 854.95/855.19 c 852s | 16 | 298379 | 195052 | 87269 3 | 1136 | 78 857.25/857.46 c 854s | 16 | 299163 | 195552 | 87269 3 | 1136 | 78 859.55/859.79 c 856s | 16 | 299852 | 196052 | 87269 3 | 1136 | 78 861.85/862.04 c 859s | 16 | 300496 | 196552 | 95996 3 | 1136 | 78 864.25/864.47 c 861s | 16 | 301177 | 197052 | 95996 3 | 1136 | 78 866.25/866.48 c 863s | 17 | 301703 | 197432 | 95996 3 | 1136 | 78 868.45/868.62 c 865s | 17 | 302422 | 197932 | 95996 3 | 1136 | 78 870.45/870.69 c 867s | 17 | 302940 | 198332 | 95996 3 | 1136 | 78 872.75/872.98 c 870s | 17 | 303677 | 198832 | 95996 3 | 1136 | 78 874.85/875.04 c 872s | 17 | 304488 | 199332 | 95996 3 | 1136 | 78 877.05/877.28 c 874s | 17 | 305236 | 199832 | 95996 3 | 1136 | 78 879.35/879.54 c 876s | 17 | 305973 | 200332 | 95996 3 | 1136 | 78 881.75/881.97 c 878s | 17 | 306805 | 200832 | 95996 3 | 1136 | 78 883.85/884.03 c 881s | 17 | 307662 | 201332 | 95996 3 | 1136 | 78 885.85/886.09 c 883s | 17 | 308668 | 201932 | 95996 3 | 1136 | 78 888.15/888.30 c 885s | 17 | 309370 | 202432 | 95996 3 | 1136 | 78 890.45/890.61 c 887s | 17 | 310232 | 203032 | 95996 3 | 1136 | 78 892.44/892.62 c 889s | 17 | 310757 | 203332 | 95996 3 | 1136 | 78 894.64/894.82 c 891s | 17 | 311396 | 203832 | 95996 3 | 1136 | 78 900.85/901.05 c 898s | 17 | 312081 | 204232 | 95996 3 | 1136 | 78 903.24/903.43 c 900s | 17 | 312901 | 204732 | 95996 3 | 1136 | 78 905.74/905.94 c 902s | 17 | 313772 | 205232 | 95996 3 | 1136 | 78 908.04/908.25 c 905s | 17 | 314471 | 205732 | 95996 3 | 1136 | 78 910.14/910.39 c 907s | 17 | 315197 | 206232 | 95996 3 | 1136 | 78 912.54/912.79 c 909s | 17 | 316056 | 206832 | 95996 3 | 1136 | 78 914.84/915.09 c 912s | 17 | 316776 | 207332 | 95996 3 | 1136 | 78 917.04/917.26 c 914s | 17 | 317836 | 207932 | 95996 3 | 1136 | 78 919.54/919.73 c 916s | 17 | 318941 | 208532 | 95996 3 | 1136 | 78 921.54/921.73 c 918s | 17 | 319601 | 208932 | 95996 3 | 1136 | 78 923.74/923.90 c 920s | 17 | 320358 | 209432 | 95996 3 | 1136 | 78 926.04/926.29 c 923s | 17 | 321336 | 209932 | 95996 3 | 1136 | 78 928.24/928.50 c 925s | 17 | 322093 | 210432 | 95996 3 | 1136 | 78 930.54/930.75 c 927s | 17 | 322682 | 210832 | 95996 3 | 1136 | 78 932.83/933.06 c 930s | 17 | 323424 | 211332 | 95996 3 | 1136 | 78 935.13/935.30 c 932s | 17 | 324554 | 211932 | 95996 3 | 1136 | 78 937.43/937.66 c 934s | 17 | 325508 | 212432 | 95996 3 | 1136 | 78 939.84/940.03 c 937s | 17 | 326223 | 212932 | 95996 3 | 1136 | 78 942.13/942.32 c 939s | 17 | 326964 | 213432 | 95996 3 | 1136 | 78 944.23/944.45 c 941s | 17 | 327681 | 213932 | 95996 3 | 1136 | 78 946.23/946.45 c 943s | 17 | 328242 | 214332 | 95996 3 | 1136 | 78 948.43/948.67 c 945s | 17 | 329008 | 214832 | 95996 3 | 1136 | 78 950.53/950.74 c 947s | 17 | 329845 | 215332 | 95996 3 | 1136 | 78 952.63/952.88 c 949s | 17 | 330643 | 215832 | 95996 3 | 1136 | 78 954.74/954.93 c 951s | 17 | 331721 | 216432 | 95996 3 | 1136 | 78 956.84/957.03 c 954s | 17 | 332666 | 217032 | 95996 3 | 1136 | 78 959.04/959.24 c 956s | 17 | 333506 | 217532 | 95996 3 | 1136 | 78 961.43/961.62 c 958s | 17 | 334212 | 218032 | 95996 3 | 1136 | 78 963.93/964.14 c 961s | 17 | 334920 | 218532 | 95996 3 | 1136 | 78 966.13/966.34 c 963s | 17 | 335735 | 219032 | 95996 3 | 1136 | 78 968.13/968.34 c 965s | 17 | 336496 | 219532 | 95996 3 | 1136 | 78 970.53/970.76 c 967s | 17 | 337284 | 220032 | 95996 4 | 1136 | 78 973.92/974.10 c 971s | 17 | 337893 | 220432 | 95996 4 | 1136 | 78 976.42/976.68 c 973s | 17 | 338150 | 220632 | 95996 4 | 1136 | 78 979.02/979.20 c 976s | 17 | 338580 | 220932 | 95996 4 | 1136 | 78 981.03/981.26 c 978s | 17 | 339183 | 221332 | 95996 4 | 1136 | 78 983.12/983.30 c 980s | 17 | 339760 | 221732 | 95996 4 | 1136 | 78 985.12/985.34 c 982s | 17 | 340325 | 222132 | 95996 4 | 1136 | 78 987.52/987.76 c 984s | 17 | 341069 | 222632 | 95996 4 | 1136 | 78 989.62/989.80 c 986s | 17 | 341569 | 223032 | 95996 4 | 1136 | 78 991.82/992.05 c 989s | 17 | 342080 | 223432 | 95996 4 | 1136 | 78 994.11/994.39 c 991s | 17 | 342767 | 223932 | 95996 4 | 1136 | 78 996.31/996.59 c 993s | 17 | 343478 | 224432 | 95996 4 | 1136 | 78 998.62/998.84 c 995s | 17 | 344089 | 224932 | 95996 4 | 1136 | 78 1001.01/1001.27 c 998s | 17 | 344857 | 225432 | 95996 4 | 1136 | 78 1003.21/1003.43 c 1000s | 17 | 345602 | 225932 | 95996 4 | 1136 | 78 1005.41/1005.68 c 1002s | 17 | 346315 | 226432 | 95996 4 | 1136 | 78 1007.61/1007.86 c 1004s | 17 | 347107 | 226932 | 95996 4 | 1136 | 78 1009.81/1010.04 c 1007s | 17 | 348220 | 227532 | 95996 4 | 1136 | 78 1019.91/1020.19 c 1017s | 17 | 348787 | 227832 | 95996 4 | 1136 | 78 1022.11/1022.35 c 1019s | 17 | 349803 | 228432 | 95996 4 | 1136 | 78 1024.11/1024.40 c 1021s | 17 | 350642 | 228932 | 95996 4 | 1136 | 78 1026.41/1026.63 c 1023s | 17 | 351389 | 229432 | 95996 4 | 1136 | 78 1028.61/1028.87 c 1025s | 17 | 352150 | 229932 | 95996 4 | 1136 | 78 1030.71/1030.96 c 1027s | 17 | 352848 | 230432 | 95996 4 | 1136 | 78 1033.11/1033.35 c 1030s | 17 | 353570 | 230932 | 95996 4 | 1136 | 78 1035.21/1035.49 c 1032s | 17 | 354409 | 231432 | 95996 4 | 1136 | 78 1037.31/1037.59 c 1034s | 17 | 355212 | 231932 | 95996 4 | 1136 | 78 1039.41/1039.62 c 1036s | 17 | 356169 | 232532 | 95996 4 | 1136 | 78 1041.81/1042.00 c 1039s | 17 | 357043 | 233132 | 95996 4 | 1136 | 78 1043.91/1044.13 c 1041s | 17 | 357748 | 233632 | 95996 4 | 1136 | 78 1046.11/1046.39 c 1043s | 17 | 358443 | 234132 | 95996 4 | 1136 | 78 1048.41/1048.62 c 1045s | 17 | 359223 | 234632 | 95996 4 | 1136 | 78 1050.71/1050.98 c 1048s | 17 | 360008 | 235132 | 95996 4 | 1136 | 78 1053.00/1053.22 c 1050s | 17 | 360764 | 235632 | 95996 4 | 1136 | 78 1055.00/1055.25 c 1052s | 17 | 361316 | 236032 | 95996 4 | 1136 | 78 1057.20/1057.43 c 1054s | 17 | 362145 | 236532 | 95996 4 | 1136 | 78 1059.50/1059.75 c 1056s | 17 | 363069 | 237132 | 95996 4 | 1136 | 78 1061.90/1062.20 c 1059s | 17 | 363913 | 237632 | 95996 4 | 1136 | 78 1064.30/1064.56 c 1061s | 17 | 364688 | 238132 | 95996 4 | 1136 | 78 1066.50/1066.72 c 1063s | 17 | 365238 | 238532 | 95996 4 | 1136 | 78 1068.60/1068.84 c 1065s | 17 | 365731 | 238932 | 95996 4 | 1136 | 78 1070.90/1071.12 c 1068s | 17 | 366452 | 239432 | 95996 4 | 1136 | 78 1073.00/1073.26 c 1070s | 17 | 367240 | 239932 | 95996 4 | 1136 | 78 1075.20/1075.42 c 1072s | 17 | 368211 | 240532 | 95996 4 | 1136 | 78 1077.50/1077.77 c 1074s | 17 | 369091 | 241032 | 95996 4 | 1136 | 78 1079.60/1079.89 c 1076s | 17 | 369929 | 241532 | 95996 4 | 1136 | 78 1081.70/1081.98 c 1079s | 17 | 370527 | 241932 | 95996 4 | 1136 | 78 1084.20/1084.45 c 1081s | 17 | 371187 | 242432 | 95996 4 | 1136 | 78 1086.50/1086.79 c 1083s | 17 | 371984 | 243032 | 95996 4 | 1136 | 78 1088.80/1089.08 c 1086s | 17 | 372797 | 243532 | 95996 4 | 1136 | 78 1091.30/1091.51 c 1088s | 17 | 373434 | 243932 | 95996 4 | 1136 | 78 1093.50/1093.75 c 1090s | 17 | 373997 | 244332 | 95996 4 | 1136 | 78 1095.99/1096.22 c 1093s | 17 | 374729 | 244832 | 95996 4 | 1136 | 78 1098.09/1098.30 c 1095s | 17 | 375294 | 245232 | 95996 4 | 1136 | 78 1100.39/1100.67 c 1097s | 17 | 376007 | 245732 | 95996 4 | 1136 | 78 1102.59/1102.84 c 1099s | 17 | 376561 | 246132 | 95996 4 | 1136 | 78 1104.79/1105.05 c 1102s | 17 | 377356 | 246632 | 95996 4 | 1136 | 78 1106.99/1107.22 c 1104s | 17 | 378297 | 247132 | 95996 4 | 1136 | 78 1109.39/1109.60 c 1106s | 17 | 379137 | 247632 | 95996 4 | 1136 | 78 1111.79/1112.10 c 1109s | 17 | 379807 | 248132 | 95996 4 | 1136 | 78 1113.99/1114.23 c 1111s | 17 | 380307 | 248532 | 95996 4 | 1136 | 78 1116.29/1116.53 c 1113s | 17 | 381036 | 249032 | 95996 4 | 1136 | 78 1118.59/1118.82 c 1115s | 17 | 381877 | 249632 | 95996 4 | 1136 | 78 1120.79/1121.09 c 1118s | 17 | 382589 | 250132 | 95996 4 | 1136 | 78 1122.89/1123.15 c 1120s | 17 | 383306 | 250632 | 95996 4 | 1136 | 78 1125.19/1125.49 c 1122s | 17 | 384220 | 251232 | 95996 4 | 1136 | 78 1127.29/1127.57 c 1124s | 17 | 384837 | 251632 | 95996 4 | 1136 | 78 1129.49/1129.79 c 1126s | 17 | 385643 | 252132 | 95996 4 | 1136 | 78 1131.58/1131.84 c 1128s | 17 | 386427 | 252632 | 95996 4 | 1136 | 78 1133.78/1134.05 c 1131s | 17 | 387108 | 253132 | 95996 4 | 1136 | 78 1135.97/1136.22 c 1133s | 17 | 387986 | 253632 | 95996 4 | 1136 | 78 1138.07/1138.34 c 1135s | 17 | 388737 | 254132 | 95996 4 | 1136 | 78 1140.17/1140.46 c 1137s | 17 | 389427 | 254632 | 95996 4 | 1136 | 78 1142.47/1142.70 c 1139s | 17 | 390006 | 255032 | 95996 4 | 1136 | 78 1144.57/1144.85 c 1141s | 17 | 390557 | 255432 | 95996 4 | 1136 | 78 1147.18/1147.46 c 1144s | 17 | 391335 | 255932 | 95996 4 | 1136 | 78 1149.47/1149.77 c 1146s | 17 | 392049 | 256432 | 95996 4 | 1136 | 78 1151.67/1151.97 c 1149s | 17 | 392700 | 256932 | 95996 4 | 1136 | 78 1154.17/1154.41 c 1151s | 17 | 393403 | 257432 | 95996 4 | 1136 | 78 1156.27/1156.53 c 1153s | 17 | 393955 | 257832 | 95996 4 | 1136 | 78 1158.77/1159.06 c 1156s | 17 | 394662 | 258332 | 95996 4 | 1136 | 78 1160.97/1161.28 c 1158s | 17 | 395388 | 258832 | 95996 4 | 1136 | 78 1163.07/1163.30 c 1160s | 17 | 396140 | 259332 | 95996 4 | 1136 | 78 1165.47/1165.74 c 1162s | 17 | 396857 | 259832 | 95996 4 | 1136 | 78 1167.47/1167.76 c 1164s | 17 | 397649 | 260332 | 95996 4 | 1136 | 78 1169.47/1169.79 c 1166s | 17 | 398209 | 260732 | 95996 4 | 1136 | 78 1171.76/1172.02 c 1169s | 17 | 398961 | 261232 | 95996 4 | 1136 | 78 1173.96/1174.29 c 1171s | 17 | 399657 | 261732 | 95996 4 | 1136 | 78 1176.16/1176.47 c 1173s | 17 | 400520 | 262332 | 95996 4 | 1136 | 78 1178.16/1178.49 c 1175s | 17 | 401256 | 262732 | 95996 4 | 1136 | 78 1180.56/1180.85 c 1177s | 17 | 402174 | 263232 | 95996 4 | 1136 | 78 1182.66/1182.95 c 1179s | 17 | 402930 | 263732 | 95996 4 | 1136 | 78 1184.76/1185.01 c 1182s | 17 | 403644 | 264232 | 95996 4 | 1136 | 78 1186.86/1187.11 c 1184s | 17 | 404608 | 264832 | 95996 4 | 1136 | 78 1189.16/1189.40 c 1186s | 17 | 405623 | 265532 | 95996 4 | 1136 | 78 1191.46/1191.73 c 1188s | 17 | 406509 | 266032 | 95996 4 | 1136 | 78 1193.46/1193.73 c 1190s | 17 | 406957 | 266332 | 95996 4 | 1136 | 78 1195.57/1195.85 c 1192s | 17 | 407707 | 266832 | 95996 4 | 1136 | 78 1197.86/1198.13 c 1195s | 17 | 408509 | 267332 | 95996 4 | 1136 | 78 1200.16/1200.44 c 1197s | 17 | 409219 | 267832 | 95996 4 | 1136 | 78 1202.46/1202.78 c 1199s | 17 | 409900 | 268332 | 95996 4 | 1136 | 78 1204.65/1204.96 c 1201s | 17 | 410685 | 268832 | 95996 4 | 1136 | 78 1207.05/1207.30 c 1204s | 17 | 410824 | 268932 | 95996 5 | 1136 | 78 1210.75/1211.06 c 1208s | 17 | 411027 | 269032 | 95996 5 | 1136 | 78 1212.75/1213.09 c 1210s | 17 | 411805 | 269532 | 95996 5 | 1136 | 78 1215.15/1215.44 c 1212s | 17 | 412517 | 270032 | 95996 5 | 1136 | 78 1217.35/1217.69 c 1214s | 17 | 413256 | 270532 | 95996 5 | 1136 | 78 1219.76/1220.06 c 1217s | 17 | 414475 | 271232 | 95996 5 | 1136 | 78 1221.86/1222.12 c 1219s | 17 | 415522 | 271932 | 95996 5 | 1136 | 78 1225.55/1225.84 c 1222s | 17 | 416004 | 272232 | 95996 5 | 1136 | 78 1227.55/1227.88 c 1224s | 17 | 416824 | 272732 | 95996 5 | 1136 | 78 1229.95/1230.22 c 1227s | 17 | 417625 | 273332 | 95996 5 | 1136 | 78 1232.05/1232.33 c 1229s | 17 | 418441 | 273832 | 95996 5 | 1136 | 78 1234.14/1234.43 c 1231s | 17 | 418977 | 274232 | 95996 5 | 1136 | 78 1236.15/1236.50 c 1233s | 17 | 419574 | 274632 | 95996 5 | 1136 | 78 1238.54/1238.83 c 1235s | 17 | 420327 | 275132 | 95996 5 | 1136 | 78 1240.55/1240.90 c 1237s | 17 | 421048 | 275632 | 95996 5 | 1136 | 78 1242.75/1243.04 c 1240s | 17 | 421782 | 276132 | 95996 5 | 1136 | 78 1244.74/1245.06 c 1242s | 17 | 422557 | 276632 | 95996 5 | 1136 | 78 1247.25/1247.51 c 1244s | 17 | 423496 | 277232 | 95996 5 | 1136 | 78 1249.24/1249.51 c 1246s | 17 | 424003 | 277632 | 95996 5 | 1136 | 78 1251.34/1251.64 c 1248s | 17 | 424465 | 278032 | 95996 5 | 1136 | 78 1253.64/1253.93 c 1250s | 17 | 425108 | 278532 | 95996 5 | 1136 | 78 1256.04/1256.39 c 1253s | 17 | 425834 | 279032 | 95996 5 | 1136 | 78 1258.04/1258.39 c 1255s | 17 | 426503 | 279432 | 95996 5 | 1136 | 78 1260.34/1260.63 c 1257s | 17 | 427174 | 279932 | 95996 5 | 1136 | 78 1262.33/1262.67 c 1259s | 17 | 427715 | 280332 | 95996 5 | 1136 | 78 1264.74/1265.07 c 1262s | 17 | 428504 | 280832 | 95996 5 | 1136 | 78 1267.04/1267.39 c 1264s | 17 | 429383 | 281432 | 95996 5 | 1136 | 78 1269.63/1269.90 c 1266s | 17 | 430108 | 281932 | 95996 5 | 1136 | 78 1271.63/1271.93 c 1268s | 17 | 430818 | 282332 | 95996 5 | 1136 | 78 1273.83/1274.14 c 1271s | 17 | 431538 | 282832 | 95996 5 | 1136 | 78 1275.93/1276.20 c 1273s | 17 | 432222 | 283332 | 95996 5 | 1136 | 78 1278.23/1278.50 c 1275s | 17 | 432892 | 283832 | 95996 5 | 1136 | 78 1280.33/1280.65 c 1277s | 17 | 433710 | 284332 | 95996 5 | 1136 | 78 1282.53/1282.84 c 1279s | 17 | 434537 | 284832 | 95996 5 | 1136 | 78 1284.83/1285.17 c 1282s | 17 | 435252 | 285332 | 95996 5 | 1136 | 78 1287.03/1287.39 c 1284s | 17 | 436098 | 285832 | 95996 5 | 1136 | 78 1289.33/1289.69 c 1286s | 17 | 436876 | 286332 | 95996 5 | 1136 | 78 1291.43/1291.71 c 1288s | 17 | 437491 | 286732 | 95996 5 | 1136 | 78 1293.53/1293.88 c 1290s | 17 | 438171 | 287232 | 95996 5 | 1136 | 78 1296.03/1296.40 c 1293s | 17 | 439045 | 287832 | 95996 5 | 1136 | 78 1298.22/1298.57 c 1295s | 17 | 439853 | 288332 | 95996 5 | 1136 | 78 1300.22/1300.59 c 1297s | 17 | 440774 | 288932 | 95996 5 | 1136 | 78 1302.42/1302.70 c 1299s | 17 | 441514 | 289432 | 95996 5 | 1136 | 78 1304.72/1305.04 c 1302s | 17 | 442155 | 289932 | 95996 5 | 1136 | 78 1306.92/1307.29 c 1304s | 17 | 442863 | 290432 | 95996 5 | 1136 | 78 1309.12/1309.43 c 1306s | 17 | 443651 | 290932 | 95996 5 | 1136 | 78 1311.12/1311.49 c 1308s | 17 | 444503 | 291532 | 95996 5 | 1136 | 78 1313.72/1314.00 c 1311s | 17 | 445419 | 292132 | 95996 5 | 1136 | 78 1315.92/1316.26 c 1313s | 17 | 446131 | 292632 | 95996 5 | 1136 | 78 1318.12/1318.47 c 1315s | 17 | 446916 | 293132 | 95996 5 | 1136 | 78 1320.62/1320.91 c 1317s | 17 | 447854 | 293732 | 95996 5 | 1136 | 78 1323.03/1323.33 c 1320s | 17 | 448772 | 294332 | 105596 5 | 1136 | 78 1325.23/1325.54 c 1322s | 17 | 449544 | 294832 | 105596 5 | 1136 | 78 1327.53/1327.82 c 1324s | 17 | 450556 | 295532 | 105596 5 | 1136 | 78 1329.62/1329.91 c 1326s | 17 | 451481 | 296132 | 105596 5 | 1136 | 78 1330.12/1330.43 c 1327s | 18 | 451659 | 296252 | 105596 5 | 1136 | 78 1332.22/1332.57 c 1329s | 18 | 452367 | 296752 | 105596 5 | 1136 | 78 1334.61/1334.95 c 1331s | 18 | 453265 | 297352 | 105596 5 | 1136 | 78 1336.81/1337.18 c 1334s | 18 | 454162 | 297952 | 105596 5 | 1136 | 78 1339.11/1339.40 c 1336s | 18 | 454955 | 298452 | 105596 5 | 1136 | 78 1341.21/1341.52 c 1338s | 18 | 455974 | 299052 | 105596 5 | 1136 | 78 1343.51/1343.84 c 1340s | 18 | 457170 | 299752 | 105596 5 | 1136 | 78 1353.61/1353.96 c 1350s | 18 | 457474 | 299952 | 105596 5 | 1136 | 78 1388.41/1388.79 c 1385s | 18 | 457620 | 300052 | 105596 5 | 1136 | 78 1390.50/1390.87 c 1387s | 18 | 457923 | 300252 | 105596 5 | 1136 | 78 1392.60/1392.93 c 1389s | 18 | 458725 | 300752 | 105596 5 | 1136 | 78 1394.80/1395.20 c 1392s | 18 | 459357 | 301252 | 105596 5 | 1136 | 78 1397.10/1397.48 c 1394s | 18 | 459992 | 301752 | 105596 5 | 1136 | 78 1399.20/1399.56 c 1396s | 18 | 460659 | 302252 | 105596 5 | 1136 | 78 1401.40/1401.72 c 1398s | 18 | 461595 | 302852 | 105596 5 | 1136 | 78 1403.41/1403.72 c 1400s | 18 | 462335 | 303352 | 105596 5 | 1136 | 78 1405.61/1406.00 c 1403s | 18 | 463362 | 303952 | 105596 5 | 1136 | 78 1407.81/1408.17 c 1405s | 18 | 464170 | 304452 | 105596 5 | 1136 | 78 1409.90/1410.28 c 1407s | 18 | 465058 | 305052 | 105596 5 | 1136 | 78 1412.40/1412.74 c 1409s | 18 | 465813 | 305552 | 105596 5 | 1136 | 78 1414.70/1415.06 c 1412s | 18 | 466603 | 306052 | 105596 5 | 1136 | 78 1416.89/1417.23 c 1414s | 18 | 467165 | 306452 | 105596 5 | 1136 | 78 1419.39/1419.70 c 1416s | 18 | 467902 | 306952 | 105596 5 | 1136 | 78 1421.49/1421.82 c 1418s | 18 | 468529 | 307352 | 105596 5 | 1136 | 78 1423.99/1424.33 c 1421s | 18 | 469262 | 307852 | 105596 5 | 1136 | 78 1426.29/1426.61 c 1423s | 18 | 469924 | 308352 | 105596 5 | 1136 | 78 1428.49/1428.90 c 1425s | 18 | 470462 | 308752 | 105596 5 | 1136 | 78 1430.99/1431.38 c 1428s | 18 | 471151 | 309252 | 105596 5 | 1136 | 78 1433.10/1433.47 c 1430s | 18 | 472105 | 309752 | 105596 5 | 1136 | 78 1435.49/1435.80 c 1432s | 18 | 473172 | 310352 | 105596 5 | 1136 | 78 1437.59/1437.93 c 1434s | 18 | 474008 | 310852 | 105596 5 | 1136 | 78 1439.99/1440.33 c 1437s | 18 | 474854 | 311352 | 105596 5 | 1136 | 78 1442.39/1442.77 c 1439s | 18 | 475622 | 311852 | 105596 5 | 1136 | 78 1444.49/1444.89 c 1441s | 18 | 476152 | 312252 | 105596 5 | 1136 | 78 1446.69/1447.04 c 1444s | 18 | 476971 | 312752 | 105596 5 | 1136 | 78 1449.29/1449.60 c 1446s | 18 | 477977 | 313352 | 105596 5 | 1136 | 78 1451.69/1452.03 c 1449s | 18 | 478581 | 313752 | 105596 5 | 1136 | 78 1453.99/1454.37 c 1451s | 18 | 479100 | 314152 | 105596 5 | 1136 | 78 1456.49/1456.86 c 1453s | 18 | 479861 | 314652 | 105596 5 | 1136 | 78 1458.59/1458.98 c 1456s | 18 | 480454 | 315052 | 105596 5 | 1136 | 78 1460.79/1461.13 c 1458s | 18 | 481175 | 315552 | 105596 5 | 1136 | 78 1463.09/1463.46 c 1460s | 18 | 481854 | 316052 | 105596 5 | 1136 | 78 1465.48/1465.84 c 1462s | 18 | 482592 | 316552 | 105596 5 | 1136 | 78 1467.58/1467.97 c 1465s | 18 | 483404 | 317052 | 105596 5 | 1136 | 78 1469.68/1470.05 c 1467s | 18 | 484035 | 317452 | 105596 5 | 1136 | 78 1471.88/1472.24 c 1469s | 18 | 484836 | 317952 | 105596 5 | 1136 | 78 1473.88/1474.26 c 1471s | 18 | 485647 | 318452 | 105596 5 | 1136 | 78 1476.18/1476.56 c 1473s | 18 | 486581 | 319052 | 105596 5 | 1136 | 78 1478.38/1478.77 c 1475s | 18 | 487191 | 319452 | 105596 5 | 1136 | 78 1480.88/1481.28 c 1478s | 18 | 487890 | 319952 | 105596 5 | 1136 | 78 1483.08/1483.43 c 1480s | 18 | 488470 | 320352 | 105596 5 | 1136 | 78 1485.38/1485.70 c 1482s | 18 | 489238 | 320852 | 105596 5 | 1136 | 78 1487.48/1487.84 c 1484s | 18 | 489943 | 321352 | 105596 5 | 1136 | 78 1489.68/1490.08 c 1487s | 18 | 490691 | 321852 | 105596 5 | 1136 | 78 1491.88/1492.25 c 1489s | 18 | 491347 | 322252 | 105596 5 | 1136 | 78 1494.08/1494.42 c 1491s | 18 | 492080 | 322752 | 105596 5 | 1136 | 78 1496.38/1496.77 c 1493s | 18 | 492604 | 323152 | 105596 5 | 1136 | 78 1498.58/1498.90 c 1495s | 18 | 493361 | 323652 | 105596 5 | 1136 | 78 1500.68/1501.05 c 1498s | 18 | 493993 | 324052 | 105596 5 | 1136 | 78 1502.78/1503.19 c 1500s | 18 | 494627 | 324452 | 105596 5 | 1136 | 78 1504.98/1505.31 c 1502s | 18 | 495192 | 324852 | 105596 5 | 1136 | 78 1507.08/1507.44 c 1504s | 18 | 495703 | 325252 | 105596 5 | 1136 | 78 1509.18/1509.52 c 1506s | 18 | 496276 | 325652 | 105596 5 | 1136 | 78 1511.68/1512.02 c 1509s | 18 | 497001 | 326152 | 105596 5 | 1136 | 78 1514.18/1514.56 c 1511s | 18 | 497706 | 326652 | 105596 5 | 1136 | 78 1516.48/1516.84 c 1513s | 18 | 498385 | 327052 | 105596 5 | 1136 | 78 1520.37/1520.78 c 1517s | 18 | 499006 | 327452 | 105596 6 | 1136 | 78 1522.47/1522.85 c 1519s | 18 | 499580 | 327852 | 105596 6 | 1136 | 78 1526.98/1527.36 c 1524s | 18 | 500345 | 328352 | 105596 6 | 1136 | 78 1529.38/1529.75 c 1526s | 18 | 500968 | 328752 | 105596 6 | 1136 | 78 1531.58/1531.90 c 1528s | 18 | 501341 | 329052 | 105596 6 | 1136 | 78 1533.78/1534.12 c 1531s | 18 | 502019 | 329552 | 105596 6 | 1136 | 78 1535.88/1536.27 c 1533s | 18 | 502589 | 329952 | 105596 6 | 1136 | 78 1541.38/1541.79 c 1538s | 18 | 502770 | 330052 | 105596 6 | 1136 | 78 1543.88/1544.22 c 1541s | 18 | 503506 | 330552 | 105596 6 | 1136 | 78 1546.38/1546.76 c 1543s | 18 | 504173 | 331052 | 105596 6 | 1136 | 78 1548.58/1548.99 c 1546s | 18 | 504887 | 331552 | 105596 6 | 1136 | 78 1550.68/1551.06 c 1548s | 18 | 505440 | 331952 | 105596 6 | 1136 | 78 1552.98/1553.34 c 1550s | 18 | 505990 | 332352 | 105596 6 | 1136 | 78 1555.18/1555.56 c 1552s | 18 | 506527 | 332752 | 105596 6 | 1136 | 78 1557.28/1557.68 c 1554s | 18 | 507081 | 333152 | 105596 6 | 1136 | 78 1559.38/1559.74 c 1556s | 18 | 507575 | 333552 | 105596 6 | 1136 | 78 1561.57/1561.93 c 1558s | 18 | 508282 | 334052 | 105596 6 | 1136 | 78 1563.77/1564.15 c 1561s | 18 | 509063 | 334552 | 105596 6 | 1136 | 78 1565.77/1566.17 c 1563s | 18 | 509933 | 335052 | 105596 6 | 1136 | 78 1568.17/1568.50 c 1565s | 18 | 510603 | 335552 | 105596 6 | 1136 | 78 1570.17/1570.54 c 1567s | 18 | 511369 | 336052 | 105596 6 | 1136 | 78 1572.37/1572.74 c 1569s | 18 | 512097 | 336552 | 105596 6 | 1136 | 78 1574.77/1575.10 c 1572s | 18 | 512652 | 336952 | 105596 6 | 1136 | 78 1576.97/1577.37 c 1574s | 18 | 513602 | 337452 | 105596 6 | 1136 | 78 1579.28/1579.64 c 1576s | 18 | 514423 | 338052 | 105596 6 | 1136 | 78 1581.37/1581.74 c 1578s | 18 | 515186 | 338552 | 105596 6 | 1136 | 78 1583.68/1584.05 c 1581s | 18 | 516145 | 339152 | 105596 6 | 1136 | 78 1585.88/1586.22 c 1583s | 18 | 517081 | 339752 | 105596 6 | 1136 | 78 1587.87/1588.26 c 1585s | 18 | 517790 | 340252 | 105596 6 | 1136 | 78 1590.17/1590.52 c 1587s | 18 | 518444 | 340752 | 105596 6 | 1136 | 78 1592.27/1592.69 c 1589s | 18 | 519141 | 341252 | 105596 6 | 1136 | 78 1594.57/1594.95 c 1591s | 18 | 519916 | 341752 | 105596 6 | 1136 | 78 1596.67/1597.00 c 1594s | 18 | 520721 | 342252 | 105596 6 | 1136 | 78 1598.67/1599.04 c 1596s | 18 | 521219 | 342652 | 105596 6 | 1136 | 78 1600.77/1601.15 c 1598s | 18 | 522014 | 343152 | 105596 6 | 1136 | 78 1603.17/1603.55 c 1600s | 18 | 522834 | 343752 | 105596 6 | 1136 | 78 1605.47/1605.88 c 1602s | 18 | 523612 | 344252 | 105596 6 | 1136 | 78 1607.97/1608.35 c 1605s | 18 | 524453 | 344852 | 105596 6 | 1136 | 78 1609.97/1610.36 c 1607s | 18 | 525088 | 345252 | 105596 6 | 1136 | 78 1612.37/1612.77 c 1609s | 18 | 525828 | 345752 | 105596 6 | 1136 | 78 1614.47/1614.89 c 1611s | 18 | 526562 | 346252 | 105596 6 | 1136 | 78 1616.97/1617.32 c 1614s | 18 | 527235 | 346752 | 105596 6 | 1136 | 78 1619.36/1619.78 c 1616s | 18 | 527966 | 347252 | 105596 6 | 1136 | 78 1621.66/1622.05 c 1619s | 18 | 528475 | 347652 | 105596 6 | 1136 | 78 1623.66/1624.08 c 1621s | 18 | 529067 | 348052 | 105596 6 | 1136 | 78 1625.66/1626.09 c 1623s | 18 | 529642 | 348452 | 105596 6 | 1136 | 78 1628.16/1628.56 c 1625s | 18 | 530409 | 348952 | 105596 6 | 1136 | 78 1630.16/1630.56 c 1627s | 18 | 531150 | 349452 | 105596 6 | 1136 | 78 1632.46/1632.80 c 1629s | 18 | 532092 | 350052 | 105596 6 | 1136 | 78 1634.66/1635.01 c 1632s | 18 | 532862 | 350552 | 105596 6 | 1136 | 78 1636.96/1637.33 c 1634s | 18 | 533567 | 351052 | 105596 6 | 1136 | 78 1639.16/1639.52 c 1636s | 18 | 534307 | 351552 | 105596 6 | 1136 | 78 1641.16/1641.52 c 1638s | 18 | 535116 | 352052 | 105596 6 | 1136 | 78 1643.36/1643.70 c 1640s | 18 | 535840 | 352552 | 105596 6 | 1136 | 78 1645.46/1645.84 c 1642s | 18 | 536359 | 352952 | 105596 6 | 1136 | 78 1647.66/1648.09 c 1645s | 18 | 537099 | 353452 | 105596 6 | 1136 | 78 1649.86/1650.25 c 1647s | 18 | 537671 | 353852 | 105596 6 | 1136 | 78 1651.97/1652.37 c 1649s | 18 | 538396 | 354352 | 105596 6 | 1136 | 78 1654.17/1654.56 c 1651s | 18 | 539167 | 354852 | 105596 6 | 1136 | 78 1656.37/1656.79 c 1653s | 18 | 539930 | 355352 | 105596 6 | 1136 | 78 1658.47/1658.81 c 1655s | 18 | 540646 | 355852 | 105596 6 | 1136 | 78 1684.46/1684.86 c 1681s | 18 | 541223 | 356252 | 105596 6 | 1136 | 78 1690.95/1691.36 c 1688s | 18 | 541502 | 356452 | 105596 6 | 1136 | 78 1692.95/1693.39 c 1690s | 18 | 541884 | 356752 | 105596 6 | 1136 | 78 1695.15/1695.59 c 1692s | 18 | 542277 | 357052 | 105596 6 | 1136 | 78 1697.75/1698.16 c 1695s | 18 | 542818 | 357452 | 105596 6 | 1136 | 78 1700.15/1700.55 c 1697s | 18 | 543368 | 357852 | 105596 6 | 1136 | 78 1702.35/1702.72 c 1699s | 18 | 544010 | 358252 | 105596 6 | 1136 | 78 1704.35/1704.73 c 1701s | 18 | 544428 | 358552 | 105596 6 | 1136 | 78 1706.65/1707.02 c 1704s | 18 | 544997 | 358952 | 105596 6 | 1136 | 78 1708.95/1709.40 c 1706s | 18 | 545543 | 359352 | 105596 6 | 1136 | 78 1711.05/1711.44 c 1708s | 18 | 546110 | 359752 | 105596 6 | 1136 | 78 1713.46/1713.81 c 1710s | 18 | 546649 | 360152 | 105596 6 | 1136 | 78 1715.85/1716.20 c 1713s | 18 | 547252 | 360552 | 105596 6 | 1136 | 78 1718.55/1718.95 c 1715s | 18 | 547763 | 360952 | 105596 6 | 1136 | 78 1720.65/1721.02 c 1718s | 18 | 548231 | 361252 | 105596 6 | 1136 | 78 1722.95/1723.32 c 1720s | 18 | 548743 | 361652 | 105596 6 | 1136 | 78 1725.05/1725.41 c 1722s | 18 | 549345 | 362052 | 105596 6 | 1136 | 78 1727.35/1727.73 c 1724s | 18 | 549910 | 362452 | 105596 6 | 1136 | 78 1729.75/1730.10 c 1727s | 18 | 550510 | 362852 | 105596 6 | 1136 | 78 1731.95/1732.39 c 1729s | 18 | 551088 | 363252 | 105596 6 | 1136 | 78 1734.55/1734.98 c 1732s | 18 | 551669 | 363652 | 105596 6 | 1136 | 78 1737.05/1737.43 c 1734s | 18 | 552206 | 364052 | 105596 6 | 1136 | 78 1739.25/1739.65 c 1736s | 18 | 552610 | 364352 | 105596 6 | 1136 | 78 1741.75/1742.17 c 1739s | 18 | 553166 | 364752 | 105596 6 | 1136 | 78 1743.84/1744.25 c 1741s | 18 | 553700 | 365152 | 105596 6 | 1136 | 78 1745.94/1746.34 c 1743s | 18 | 554335 | 365552 | 105596 6 | 1136 | 78 1748.04/1748.42 c 1745s | 18 | 554894 | 365952 | 105596 6 | 1136 | 78 1750.64/1751.01 c 1748s | 18 | 555458 | 366352 | 105596 6 | 1136 | 78 1753.15/1753.56 c 1750s | 18 | 556027 | 366752 | 105596 6 | 1136 | 78 1755.44/1755.80 c 1752s | 18 | 556525 | 367152 | 105596 6 | 1136 | 78 1757.84/1758.27 c 1755s | 18 | 557103 | 367552 | 105596 6 | 1136 | 78 1759.94/1760.39 c 1757s | 18 | 557731 | 367952 | 105596 6 | 1136 | 78 1762.14/1762.53 c 1759s | 18 | 558365 | 368352 | 105596 6 | 1136 | 78 1764.54/1764.94 c 1761s | 18 | 558870 | 368752 | 105596 6 | 1136 | 78 1766.54/1766.98 c 1764s | 18 | 559248 | 369052 | 105596 6 | 1136 | 78 1769.14/1769.54 c 1766s | 18 | 559831 | 369452 | 105596 6 | 1136 | 78 1771.44/1771.89 c 1768s | 18 | 560344 | 369852 | 105596 6 | 1136 | 78 1773.84/1774.20 c 1771s | 18 | 561117 | 370352 | 105596 6 | 1136 | 78 1776.04/1776.47 c 1773s | 18 | 561866 | 370852 | 105596 6 | 1136 | 78 1778.54/1778.90 c 1775s | 18 | 562680 | 371352 | 105596 6 | 1136 | 78 1780.74/1781.16 c 1778s | 18 | 563467 | 371852 | 105596 6 | 1136 | 78 1782.85/1783.24 c 1780s | 18 | 564099 | 372252 | 105596 6 | 1136 | 78 1785.34/1785.71 c 1782s | 18 | 564823 | 372752 | 105596 6 | 1136 | 78 1787.74/1788.10 c 1785s | 18 | 565543 | 373252 | 105596 6 | 1136 | 78 1790.04/1790.45 c 1787s | 18 | 566170 | 373652 | 105596 6 | 1136 | 78 1792.54/1792.91 c 1789s | 18 | 566699 | 374052 | 105596 6 | 1136 | 78 1794.54/1794.91 c 1791s | 18 | 567277 | 374452 | 105596 6 | 1136 | 78 1796.64/1797.07 c 1794s | 18 | 567868 | 374852 | 105596 6 | 1136 | 78 1799.04/1799.40 c 1796s | 18 | 568494 | 375252 | 105596 6 | 1136 | 78
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-4103957-1466239705/watcher-4103957-1466239705 -o /tmp/evaluation-result-4103957-1466239705/solver-4103957-1466239705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103957-1466239705.opb pid=28176 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.00 2/179 28179 /proc/meminfo: memFree=30770624/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=734788 CPUtime=0 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 2746 0 0 0 0 0 0 0 20 0 4 0 26015340 752422912 3107 33554432000 4194304 16246674 140737465464096 140737465463520 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 184465 3116 442 2943 0 181359 0 [pid=28179/tid=28180] ppid=28176 vsize=754244 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 772345856 3180 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=758340 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 776540160 3199 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=762436 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26015340 780734464 3214 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.08 2.04 2.00 2/179 28179 /proc/meminfo: memFree=30770624/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1304132 CPUtime=0.09 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 31084 0 0 0 5 4 0 0 20 0 4 0 26015340 1335431168 31384 33554432000 4194304 16246674 140737465464096 140737465463408 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 326033 31399 802 2943 0 322927 0 [pid=28179/tid=28180] ppid=28176 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1335431168 31409 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1335431168 31420 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1304132 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1335431168 31431 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1304132 [startup+0.200509 s] /proc/loadavg: 2.08 2.04 2.00 2/179 28179 /proc/meminfo: memFree=30770624/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1312324 CPUtime=0.19 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 46548 0 0 0 13 6 0 0 20 0 4 0 26015340 1343819776 47359 33554432000 4194304 16246674 140737465464096 140737465463408 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 328081 47378 802 2943 0 324975 0 [pid=28179/tid=28180] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 47389 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 47400 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 47411 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1312324 [startup+0.300473 s] /proc/loadavg: 2.08 2.04 2.00 2/179 28179 /proc/meminfo: memFree=30770624/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1312324 CPUtime=0.29 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 49884 0 0 0 22 7 0 0 20 0 4 0 26015340 1343819776 50694 33554432000 4194304 16246674 140737465464096 140737465447088 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 328081 50694 802 2943 0 324975 0 [pid=28179/tid=28180] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 50694 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 50694 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1343819776 50694 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1312324 [startup+0.700398 s] /proc/loadavg: 2.08 2.04 2.00 2/179 28179 /proc/meminfo: memFree=30770624/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=0.69 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 89393 0 0 0 55 14 0 0 20 0 4 0 26015340 1355354112 90203 33554432000 4194304 16246674 140737465464096 140737465447088 12371445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 90221 845 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 90232 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 90242 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 90251 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1323588 [startup+1.5004 s] /proc/loadavg: 2.08 2.04 2.00 3/183 28183 /proc/meminfo: memFree=29961488/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=1.49 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271527 0 0 0 111 38 0 0 20 0 4 0 26015340 1355354112 272337 33554432000 4194304 16246674 140737465464096 140737465446016 12371459 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272337 849 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272337 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272337 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272337 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1323588 [startup+3.1004 s] /proc/loadavg: 2.08 2.04 2.00 3/183 28183 /proc/meminfo: memFree=29681992/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=3.09 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271580 0 0 0 271 38 0 0 20 0 4 0 26015340 1355354112 272390 33554432000 4194304 16246674 140737465464096 140737465446016 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272390 895 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272390 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272390 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272390 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1323588 [startup+6.30039 s] /proc/loadavg: 2.08 2.04 2.00 3/183 28183 /proc/meminfo: memFree=29681400/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=6.29 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271585 0 0 0 591 38 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140737465446016 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272395 900 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1323588 [startup+12.7004 s] /proc/loadavg: 2.07 2.04 2.00 3/183 28183 /proc/meminfo: memFree=29681276/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=12.69 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271585 0 0 0 1231 38 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140737465446016 13752941 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272395 900 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1323588 [startup+25.5005 s] /proc/loadavg: 2.06 2.03 2.00 3/183 28183 /proc/meminfo: memFree=29681460/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=25.49 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271585 0 0 0 2511 38 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140737465446016 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272395 900 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1323588 [startup+51.1005 s] /proc/loadavg: 2.10 2.05 2.01 3/183 28183 /proc/meminfo: memFree=29677712/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=51.08 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271585 0 0 0 5070 38 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140737465446016 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272395 900 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1323588 [startup+102.3 s] /proc/loadavg: 2.09 2.05 2.01 3/184 28188 /proc/meminfo: memFree=29668428/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1323588 CPUtime=102.28 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 271585 0 0 0 10190 38 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140737465446016 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 330897 272395 900 2943 0 327791 0 [pid=28179/tid=28180] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1355354112 272395 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 1364548 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 28240 /proc/meminfo: memFree=29528644/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1302.02 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281953 0 0 0 130156 46 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 1364548 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 28241 /proc/meminfo: memFree=29529252/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1362.01 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281965 0 0 0 136154 47 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465463272 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1364548 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 28242 /proc/meminfo: memFree=29529280/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1422 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281972 0 0 0 142150 50 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 5711355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 1364548 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/183 28243 /proc/meminfo: memFree=29528744/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1481.98 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 148148 50 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.98 Current children cumulated vsize (KiB) 1364548 [startup+1542.31 s] /proc/loadavg: 2.02 2.01 2.00 3/183 28244 /proc/meminfo: memFree=29528828/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1541.98 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 154147 51 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1364548 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 28246 /proc/meminfo: memFree=29528844/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1601.97 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 160146 51 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 5672209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 1364548 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 28247 /proc/meminfo: memFree=29528840/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1661.95 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 166144 51 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465461888 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1364548 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 28248 /proc/meminfo: memFree=29528840/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1721.95 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 172140 55 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 5711956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 1364548 [startup+1782.3 s] /proc/loadavg: 1.78 1.95 1.98 2/173 28280 /proc/meminfo: memFree=30742048/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1781.94 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 178139 55 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 1364548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.56 1.89 1.96 2/173 28280 /proc/meminfo: memFree=30742684/32872528 swapFree=7780/7780 [pid=28179] ppid=28176 vsize=1364548 CPUtime=1800.04 cores=0,2,4,6 /proc/28179/stat : 28179 (toysat) R 28176 28179 23276 0 -1 4202496 281980 0 0 0 179949 55 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140737465446016 5712004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/28179/statm: 341137 282643 904 2943 0 338031 0 [pid=28179/tid=28180] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28180/stat : 28180 (toysat) S 28176 28179 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715923320048 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=28179/tid=28181] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28181/stat : 28181 (toysat) S 28176 28179 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715912830192 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=28179/tid=28182] ppid=28176 vsize=1364548 CPUtime=0 cores=0,2,4,6 /proc/28179/task/28182/stat : 28182 (toysat) S 28176 28179 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015340 1397297152 282643 33554432000 4194304 16246674 140737465464096 140715902356656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1364548 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 28179 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.05 CPU user time (s): 1799.5 CPU system time (s): 0.554915 CPU usage (%): 99.9801 Max. virtual memory (cumulated for all children) (KiB): 1364548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.554915 maximum resident set size= 1130572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281980 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= 166 involuntary context switches= 1866 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.64629 second user time and 6.86596 second system time The end
Begin job on node151 at 2016-06-18 10:48:25 IDJOB=4103957 IDBENCH=2516 IDSOLVER=2542 FILE ID=node151/4103957-1466239705 RUNJOBID= node151-1466206051-23292 PBS_JOBID= 19918135 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-msc98-ip.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103957-1466239705/watcher-4103957-1466239705 -o /tmp/evaluation-result-4103957-1466239705/solver-4103957-1466239705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103957-1466239705.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c61282a3f224081a1f064cb1d1442be RANDOM SEED=488952370 node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 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 : 2667.103 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: 30771160 kB Buffers: 55364 kB Cached: 210536 kB SwapCached: 1780 kB Active: 1157208 kB Inactive: 198576 kB Active(anon): 1087916 kB Inactive(anon): 4048 kB Active(file): 69292 kB Inactive(file): 194528 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 36476 kB Writeback: 0 kB AnonPages: 1096564 kB Mapped: 11764 kB Shmem: 0 kB Slab: 605756 kB SReclaimable: 49124 kB SUnreclaim: 556632 kB KernelStack: 1480 kB PageTables: 6264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1239272 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71728 MiB End job on node151 at 2016-06-18 11:18:26