| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb |
| MD5SUM | 6ddbc05dc60ac3abba60700f70e1bd54 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.070988 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7998 |
| Total number of constraints | 307 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 307 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 1290 |
| Number of terms in the objective function | 7998 |
| Biggest coefficient in the objective function | 1795 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 530626 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 530626 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T02:29:02+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-4099897-1466209742.opb"] 0.00/0.01 c use --random-gen="3869467296 1825511828 1771639256 1872574830 204158852 4289439164 3628436135 2455737614 31765821 3058073266 1242773938 4115522041 1765343968 1890810127 3126906994 3893795628 1280490899 3520761847 824267749 12681410 2082323462 2980382519 1407455035 4142207517 3378029605 4124853064 1369331319 946979144 720366964 1843085980 2359397486 2040892993 740749660 869460059 695481369 3647806797 627677914 2926541305 2582467797 572677763 139424574 1160965152 3226912140 569391017 3422752225 2945574735 189564242 356110592 2730508755 382228449 1196427396 983318587 2040870286 1521488353 343830545 4147656283 2877463747 4236067728 4102855235 965965115 2969667580 14353522 3143137491 1332978611 3695193454 61894385 1666989076 4181364083 2748632450 2217166205 2940364599 4293828511 456810537 661190330 1980370099 1687057248 3285151088 608726294 230824347 3610182467 3223069156 326491239 1162015859 2747705660 3815853318 3573895068 2731762302 2467122867 90787290 2880480888 2904788729 920077640 2056618569 4055403509 55762081 2552197626 459882501 854765043 1611354074 3003798638 197047630 2395915477 957150272 2661735606 2526271900 2136118441 838642794 686661598 3554518508 1101187757 2810208435 90095617 197188273 1663624178 1627870091 2407136776 1008787089 1397769681 648442572 2445446928 1101257446 3073004375 887083259 3369162772 1105549799 2292580682 307707367 798902493 1585584538 1176608439 3081494774 2186396171 1568436017 3855179987 818415415 732556318 1020289259 2951499354 2659797851 783973986 724484649 3228190824 1995185232 1451888204 3312526002 1578836014 4008578823 4200466257 3175353261 3003449224 2271840805 143623807 1258418183 1050668715 30591275 3380754568 784857627 1325561254 2692657328 741968177 1767011328 3507116498 3569167019 1384718613 1189366708 128205580 2925058579 3507637849 2487874324 2156469541 2684636959 3216878812 3289628404 1934844005 2862322099 1514880455 199956681 186792823 713235631 1051425737 2539979099 2625391967 2890669717 1106405965 2787454772 3343147546 3172061419 3995152642 1754579054 635453248 2496169590 1569218350 3817969126 1193666031 3763078942 3694894581 396804578 1116408087 1144006178 2186475434 2944259690 35363014 955292193 3989677483 1561650586 2164734240 149885451 375689655 2479627130 1530954179 1411309431 1811714873 2266518496 2685362203 335562984 1229068115 3813618907 2671886387 773181066 1146502959 1512607824 3078504107 4280671583 1218720399 3402699 1721685581 3675527244 1697231968 215557842 1423205830 4184820637 1407230803 872114114 3216707489 2985199342 2537251729 3234743074 4137681798 3679801319 1229628729 2960544236 3127719601 1691828544 1457513433 219293312 1006870859 2941177566 625320016 106283506 2165283343 523234120 323409316 2990042161 1729294301 3528951609 2260451450 255 362436" option to reproduce the execution 0.00/0.07 c #vars 7998 0.00/0.07 c #constraints 307 0.09/0.17 c BCD2: Hardening is enabled. 0.09/0.17 c BCD2: BiasedSearch is enabled. 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.19/0.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.41 c | | | | Limit GC | Var | Constra 0.19/0.41 c ============================================================================= 0.19/0.41 c 0.0s | 0 | 0 | 0 | 2784 0 | 4197 | 0 0.19/0.46 c 0.3s | 1 | 555 | 100 | 2784 0 | 4197 | 0 0.69/0.73 c 0.6s | 2 | 1757 | 250 | 3063 0 | 4197 | 0 1.49/1.55 c 1.4s | 3 | 3228 | 475 | 3370 0 | 4197 | 0 1.99/2.02 c 1.9s | 4 | 5229 | 813 | 3708 0 | 4197 | 0 3.69/3.72 c 3.5s | 5 | 8868 | 1320 | 4079 0 | 4197 | 0 5.19/5.24 c 5.1s | 6 | 14581 | 2081 | 4936 0 | 4197 | 0 7.49/7.58 c 7.4s | 6 | 18917 | 2781 | 4936 0 | 4197 | 0 9.39/9.49 c 9.3s | 7 | 20513 | 3223 | 5430 0 | 4197 | 0 11.59/11.65 c 11.5s | 7 | 24684 | 3823 | 5430 0 | 4197 | 0 14.19/14.24 c 14.1s | 7 | 26892 | 4223 | 5430 0 | 4197 | 0 16.69/16.80 c 16.6s | 7 | 28086 | 4623 | 5430 0 | 4197 | 0 17.79/17.90 c 17.7s | 8 | 29760 | 4936 | 5974 0 | 4197 | 0 20.18/20.20 c 20.0s | 8 | 33322 | 5636 | 5974 0 | 4197 | 0 22.29/22.39 c 22.2s | 8 | 35223 | 6236 | 5974 0 | 4197 | 0 24.49/24.57 c 24.4s | 8 | 36487 | 6736 | 5974 0 | 4197 | 0 26.48/26.59 c 26.4s | 8 | 37889 | 7236 | 5974 0 | 4197 | 0 28.08/28.17 c 28.0s | 9 | 38526 | 7506 | 6572 0 | 4197 | 0 30.38/30.44 c 30.3s | 9 | 42219 | 8106 | 6572 0 | 4197 | 0 32.48/32.58 c 32.4s | 9 | 44934 | 8606 | 6572 0 | 4197 | 0 34.68/34.78 c 34.6s | 9 | 48320 | 9106 | 6572 0 | 4197 | 0 36.88/36.95 c 36.8s | 9 | 49778 | 9406 | 6572 0 | 4197 | 0 39.18/39.26 c 39.1s | 9 | 51617 | 9806 | 6572 0 | 4197 | 0 41.48/41.53 c 41.4s | 9 | 54689 | 10406 | 6572 0 | 4197 | 0 44.08/44.11 c 43.9s | 9 | 56320 | 11106 | 6572 0 | 4197 | 0 45.48/45.57 c 45.4s | 10 | 56886 | 11361 | 7230 0 | 4197 | 0 47.68/47.76 c 47.6s | 10 | 59248 | 11861 | 7230 0 | 4197 | 0 50.28/50.31 c 50.1s | 10 | 60730 | 12361 | 7230 0 | 4197 | 0 52.68/52.70 c 52.5s | 10 | 63813 | 12861 | 7230 0 | 4197 | 0 54.78/54.82 c 54.6s | 10 | 65719 | 13161 | 7230 0 | 4197 | 0 56.98/57.09 c 56.9s | 10 | 68868 | 13661 | 7230 1 | 4197 | 0 59.08/59.18 c 59.0s | 10 | 70889 | 13961 | 7230 1 | 4197 | 0 61.18/61.25 c 61.1s | 10 | 72758 | 14461 | 7230 1 | 4197 | 0 63.28/63.34 c 63.2s | 10 | 74237 | 14961 | 7230 1 | 4197 | 0 65.58/65.61 c 65.4s | 10 | 75972 | 15461 | 7230 1 | 4197 | 0 67.58/67.69 c 67.5s | 10 | 77402 | 15861 | 7230 1 | 4197 | 0 70.08/70.17 c 70.0s | 10 | 78691 | 16261 | 7230 1 | 4197 | 0 72.58/72.67 c 72.5s | 10 | 80179 | 16661 | 7230 1 | 4197 | 0 74.87/74.97 c 74.8s | 10 | 82216 | 17061 | 7954 1 | 4197 | 0 75.37/75.46 c 75.3s | 11 | 82764 | 17144 | 7954 1 | 4197 | 0 77.47/77.52 c 77.3s | 11 | 87170 | 18244 | 7954 1 | 4197 | 0 79.67/79.71 c 79.5s | 11 | 91352 | 19344 | 7954 2 | 4197 | 0 81.87/81.92 c 81.8s | 11 | 94524 | 20044 | 7954 2 | 4197 | 0 83.97/84.09 c 83.9s | 11 | 97533 | 20744 | 7954 2 | 4197 | 0 86.17/86.21 c 86.0s | 11 | 100430 | 21344 | 7954 2 | 4197 | 0 88.37/88.42 c 88.3s | 11 | 103541 | 21944 | 7954 2 | 4197 | 0 90.57/90.64 c 90.5s | 11 | 106230 | 22644 | 7954 2 | 4197 | 0 92.77/92.85 c 92.7s | 11 | 107912 | 23144 | 7954 2 | 4197 | 0 94.97/95.08 c 94.9s | 11 | 110165 | 23744 | 7954 2 | 4197 | 0 97.17/97.27 c 97.1s | 11 | 112876 | 24344 | 7954 2 | 4197 | 0 99.38/99.40 c 99.2s | 11 | 114848 | 24944 | 7954 2 | 4197 | 0 101.39/101.50 c 101s | 11 | 117036 | 25444 | 7954 2 | 4197 | 0 103.18/103.25 c 103s | 12 | 118946 | 25819 | 8750 2 | 4197 | 0 105.38/105.42 c 105s | 12 | 122761 | 27019 | 8750 3 | 4197 | 0 107.48/107.51 c 107s | 12 | 125585 | 27719 | 8750 3 | 4197 | 0 109.48/109.56 c 109s | 12 | 127069 | 28119 | 8750 3 | 4197 | 0 111.68/111.78 c 111s | 12 | 129307 | 28919 | 8750 3 | 4197 | 0 113.97/114.01 c 113s | 12 | 131247 | 29619 | 8750 3 | 4197 | 0 116.17/116.29 c 116s | 12 | 133416 | 30319 | 8750 3 | 4197 | 0 118.27/118.36 c 118s | 12 | 135472 | 30919 | 8750 3 | 4197 | 0 120.57/120.65 c 120s | 12 | 137608 | 31519 | 8750 3 | 4197 | 0 122.67/122.70 c 122s | 12 | 138626 | 32019 | 8750 3 | 4197 | 0 124.97/125.00 c 124s | 12 | 139785 | 32519 | 8750 3 | 4197 | 0 126.97/127.02 c 126s | 12 | 141980 | 33119 | 8750 3 | 4197 | 0 129.17/129.21 c 129s | 12 | 143563 | 33619 | 8750 3 | 4197 | 0 131.37/131.47 c 131s | 12 | 145532 | 34219 | 8750 3 | 4197 | 0 133.87/133.95 c 133s | 12 | 146879 | 34519 | 8750 3 | 4197 | 0 135.97/136.06 c 135s | 12 | 148048 | 34919 | 8750 4 | 4197 | 0 138.37/138.47 c 138s | 12 | 148977 | 35219 | 8750 4 | 4197 | 0 140.57/140.67 c 140s | 12 | 150387 | 35619 | 8750 4 | 4197 | 0 142.87/142.90 c 142s | 12 | 151058 | 35919 | 8750 4 | 4197 | 0 145.66/145.75 c 145s | 12 | 151873 | 36219 | 8750 4 | 4197 | 0 148.06/148.14 c 147s | 12 | 152843 | 36519 | 8750 4 | 4197 | 0 150.16/150.25 c 150s | 12 | 153571 | 36719 | 8750 4 | 4197 | 0 152.86/152.91 c 152s | 12 | 154004 | 36919 | 8750 4 | 4197 | 0 154.96/155.03 c 154s | 12 | 154816 | 37219 | 8750 4 | 4197 | 0 157.06/157.15 c 156s | 12 | 155349 | 37519 | 8750 4 | 4197 | 0 159.36/159.42 c 159s | 12 | 156127 | 37819 | 8750 4 | 4197 | 0 161.56/161.69 c 161s | 12 | 157162 | 38219 | 8750 4 | 4197 | 0 164.36/164.47 c 164s | 12 | 158398 | 38619 | 9625 4 | 4197 | 0 165.46/165.50 c 165s | 13 | 158924 | 38832 | 9625 4 | 4197 | 0 167.36/167.50 c 167s | 13 | 166175 | 39832 | 9625 4 | 4197 | 0 169.45/169.56 c 169s | 13 | 169343 | 40432 | 9625 4 | 4197 | 0 171.55/171.63 c 171s | 13 | 172721 | 41232 | 9625 4 | 4197 | 0 173.65/173.75 c 173s | 13 | 174948 | 41932 | 9625 5 | 4197 | 0 175.85/175.92 c 175s | 13 | 178486 | 42632 | 9625 5 | 4197 | 0 177.95/178.09 c 177s | 13 | 181923 | 43332 | 9625 5 | 4197 | 0 180.25/180.30 c 180s | 13 | 184787 | 44032 | 9625 5 | 4197 | 0 182.44/182.52 c 182s | 13 | 187269 | 44732 | 9625 5 | 4197 | 0 184.44/184.59 c 184s | 13 | 188879 | 45232 | 9625 5 | 4197 | 0 186.54/186.69 c 186s | 13 | 190308 | 45632 | 9625 5 | 4197 | 0 188.74/188.88 c 188s | 13 | 191967 | 46032 | 9625 5 | 4197 | 0 191.24/191.30 c 191s | 13 | 193554 | 46632 | 9625 5 | 4197 | 0 193.44/193.58 c 193s | 13 | 195902 | 47232 | 9625 5 | 4197 | 0 195.74/195.81 c 195s | 13 | 196842 | 47632 | 9625 5 | 4197 | 0 197.84/197.91 c 197s | 13 | 197800 | 48032 | 9625 5 | 4197 | 0 200.35/200.44 c 200s | 13 | 200121 | 48632 | 9625 5 | 4197 | 0 202.64/202.73 c 202s | 13 | 202509 | 49132 | 9625 5 | 4197 | 0 204.94/205.03 c 204s | 13 | 204788 | 49732 | 9625 6 | 4197 | 0 207.04/207.14 c 206s | 13 | 206448 | 50332 | 9625 6 | 4197 | 0 209.24/209.38 c 209s | 13 | 208088 | 50932 | 9625 6 | 4197 | 0 211.34/211.48 c 211s | 13 | 209718 | 51432 | 9625 6 | 4197 | 0 213.44/213.55 c 213s | 13 | 210424 | 51832 | 9625 6 | 4197 | 0 216.04/216.19 c 216s | 13 | 211457 | 52232 | 9625 6 | 4197 | 0 218.73/218.81 c 218s | 13 | 212425 | 52632 | 9625 6 | 4197 | 0 220.73/220.87 c 220s | 13 | 213137 | 53032 | 9625 6 | 4197 | 0 222.83/222.97 c 222s | 13 | 215659 | 53632 | 9625 6 | 4197 | 0 225.03/225.11 c 224s | 13 | 216623 | 54032 | 9625 6 | 4197 | 0 227.43/227.57 c 227s | 13 | 218718 | 54532 | 9625 6 | 4197 | 0 229.53/229.61 c 229s | 13 | 219494 | 54932 | 9625 6 | 4197 | 0 231.73/231.88 c 231s | 13 | 221464 | 55332 | 9625 6 | 4197 | 0 234.73/234.81 c 234s | 13 | 224015 | 55832 | 9625 6 | 4197 | 0 237.13/237.27 c 237s | 13 | 225082 | 56232 | 9625 6 | 4197 | 0 239.93/240.06 c 239s | 13 | 226167 | 56832 | 9625 7 | 4197 | 0 242.72/242.85 c 242s | 13 | 226819 | 57232 | 9625 7 | 4197 | 0 245.43/245.54 c 245s | 13 | 227143 | 57432 | 9625 7 | 4197 | 0 247.73/247.87 c 247s | 13 | 227491 | 57632 | 9625 7 | 4197 | 0 249.22/249.36 c 249s | 14 | 229181 | 58352 | 10588 7 | 4197 | 0 251.42/251.52 c 251s | 14 | 231437 | 58952 | 10588 7 | 4197 | 0 253.42/253.58 c 253s | 14 | 235470 | 59852 | 10588 7 | 4197 | 0 255.62/255.71 c 255s | 14 | 238030 | 60552 | 10588 7 | 4197 | 0 257.72/257.88 c 257s | 14 | 240595 | 61252 | 10588 7 | 4197 | 0 260.22/260.36 c 260s | 14 | 242498 | 61752 | 10588 7 | 4197 | 0 262.32/262.45 c 262s | 14 | 245361 | 62252 | 10588 7 | 4197 | 0 264.91/265.04 c 264s | 14 | 247035 | 62752 | 10588 7 | 4197 | 0 267.42/267.55 c 267s | 14 | 248128 | 63052 | 10588 7 | 4197 | 0 269.51/269.67 c 269s | 14 | 250026 | 63452 | 10588 7 | 4197 | 0 271.71/271.83 c 271s | 14 | 251835 | 63852 | 10588 7 | 4197 | 0 273.81/273.94 c 273s | 14 | 253523 | 64252 | 10588 7 | 4197 | 0 275.81/275.99 c 275s | 14 | 255836 | 64852 | 10588 7 | 4197 | 0 278.21/278.31 c 278s | 14 | 259100 | 65452 | 10588 7 | 4197 | 0 280.51/280.68 c 280s | 14 | 260782 | 65952 | 10588 7 | 4197 | 0 283.01/283.12 c 282s | 14 | 261633 | 66352 | 10588 8 | 4197 | 0 285.41/285.51 c 285s | 14 | 262532 | 66652 | 10588 8 | 4197 | 0 287.41/287.59 c 287s | 14 | 263584 | 66952 | 10588 8 | 4197 | 0 289.81/289.95 c 289s | 14 | 265123 | 67352 | 10588 8 | 4197 | 0 292.41/292.50 c 292s | 14 | 266063 | 67752 | 10588 8 | 4197 | 0 295.11/295.25 c 295s | 14 | 267283 | 68152 | 10588 8 | 4197 | 0 297.61/297.71 c 297s | 14 | 268242 | 68552 | 10588 8 | 4197 | 0 299.71/299.81 c 299s | 14 | 268845 | 68852 | 10588 8 | 4197 | 0 302.50/302.69 c 302s | 14 | 269264 | 69152 | 10588 8 | 4197 | 0 304.91/305.01 c 304s | 14 | 270471 | 69552 | 10588 8 | 4197 | 0 306.90/307.08 c 306s | 14 | 271993 | 70052 | 10588 8 | 4197 | 0 309.00/309.18 c 309s | 14 | 273799 | 70552 | 10588 8 | 4197 | 0 311.21/311.39 c 311s | 14 | 274823 | 70852 | 10588 8 | 4197 | 0 313.51/313.65 c 313s | 14 | 276204 | 71352 | 10588 8 | 4197 | 0 315.92/316.08 c 315s | 14 | 277015 | 71752 | 10588 8 | 4197 | 0 318.31/318.44 c 318s | 14 | 278131 | 72052 | 10588 8 | 4197 | 0 321.11/321.28 c 321s | 14 | 279100 | 72352 | 10588 8 | 4197 | 0 323.91/324.03 c 323s | 14 | 279693 | 72652 | 10588 8 | 4197 | 0 326.01/326.14 c 325s | 14 | 280234 | 72952 | 10588 8 | 4197 | 0 328.51/328.62 c 328s | 14 | 281929 | 73452 | 10588 8 | 4197 | 0 330.90/331.02 c 330s | 14 | 282907 | 73852 | 10588 8 | 4197 | 0 333.51/333.64 c 333s | 14 | 284646 | 74352 | 10588 8 | 4197 | 0 336.00/336.17 c 336s | 14 | 285642 | 74752 | 10588 9 | 4197 | 0 338.20/338.39 c 338s | 14 | 286845 | 75152 | 10588 9 | 4197 | 0 340.40/340.55 c 340s | 14 | 288472 | 75552 | 10588 9 | 4197 | 0 342.80/342.93 c 342s | 14 | 289769 | 75952 | 10588 9 | 4197 | 0 345.00/345.12 c 344s | 14 | 294660 | 76652 | 10588 9 | 4197 | 0 347.30/347.45 c 347s | 14 | 298220 | 77252 | 10588 9 | 4197 | 0 349.50/349.67 c 349s | 14 | 301733 | 77852 | 10588 9 | 4197 | 0 351.49/351.67 c 351s | 14 | 303644 | 78252 | 10588 9 | 4197 | 0 354.30/354.46 c 354s | 14 | 305738 | 78852 | 10588 9 | 4197 | 0 356.60/356.79 c 356s | 14 | 307235 | 79252 | 10588 9 | 4197 | 0 359.49/359.69 c 359s | 14 | 308406 | 79552 | 10588 9 | 4197 | 0 361.89/362.10 c 361s | 14 | 308816 | 79752 | 10588 9 | 4197 | 0 364.69/364.81 c 364s | 14 | 309576 | 80052 | 10588 9 | 4197 | 0 366.69/366.87 c 366s | 14 | 310501 | 80352 | 10588 9 | 4197 | 0 369.99/370.19 c 370s | 14 | 311418 | 80652 | 10588 9 | 4197 | 0 372.19/372.36 c 372s | 14 | 311974 | 80852 | 10588 9 | 4197 | 0 374.29/374.49 c 374s | 14 | 312821 | 81052 | 10588 9 | 4197 | 0 377.39/377.59 c 377s | 14 | 313656 | 81352 | 10588 9 | 4197 | 0 379.69/379.81 c 379s | 14 | 314220 | 81552 | 10588 9 | 4197 | 0 381.69/381.82 c 381s | 14 | 315413 | 81752 | 10588 9 | 4197 | 0 383.99/384.14 c 383s | 14 | 316450 | 82052 | 10588 10 | 4197 | 0 386.09/386.24 c 386s | 14 | 318382 | 82452 | 10588 10 | 4197 | 0 388.09/388.27 c 388s | 14 | 320466 | 82952 | 10588 10 | 4197 | 0 390.28/390.45 c 390s | 14 | 321784 | 83452 | 10588 10 | 4197 | 0 392.48/392.63 c 392s | 14 | 322953 | 83952 | 10588 10 | 4197 | 0 394.78/394.94 c 394s | 14 | 323782 | 84352 | 10588 10 | 4197 | 0 396.98/397.16 c 396s | 14 | 324195 | 84652 | 10588 10 | 4197 | 0 399.68/399.82 c 399s | 14 | 324902 | 85052 | 10588 10 | 4197 | 0 402.18/402.38 c 402s | 14 | 325324 | 85352 | 10588 10 | 4197 | 0 404.58/404.72 c 404s | 14 | 325701 | 85652 | 10588 10 | 4197 | 0 406.98/407.18 c 407s | 14 | 326514 | 86052 | 10588 10 | 4197 | 0 409.29/409.41 c 409s | 14 | 327618 | 86452 | 10588 10 | 4197 | 0 411.68/411.84 c 411s | 14 | 328620 | 86852 | 10588 10 | 4197 | 0 413.69/413.89 c 413s | 14 | 330729 | 87252 | 11647 10 | 4197 | 0 415.58/415.79 c 415s | 15 | 331504 | 87632 | 11647 10 | 4197 | 0 417.78/417.92 c 417s | 15 | 334107 | 88332 | 11647 10 | 4197 | 0 419.87/420.02 c 419s | 15 | 338121 | 89332 | 11647 10 | 4197 | 0 421.97/422.15 c 421s | 15 | 343169 | 90632 | 11647 10 | 4197 | 0 424.17/424.36 c 424s | 15 | 347413 | 91632 | 11647 11 | 4197 | 0 426.17/426.38 c 426s | 15 | 352087 | 92632 | 11647 11 | 4197 | 0 428.27/428.45 c 428s | 15 | 355653 | 93532 | 11647 11 | 4197 | 0 430.37/430.54 c 430s | 15 | 360141 | 94532 | 11647 11 | 4197 | 0 432.47/432.62 c 432s | 15 | 365089 | 95532 | 11647 11 | 4197 | 0 434.57/434.72 c 434s | 15 | 368837 | 96432 | 11647 11 | 4197 | 0 436.77/437.00 c 436s | 15 | 372769 | 97332 | 11647 11 | 4197 | 0 438.97/439.15 c 438s | 15 | 376411 | 98032 | 11647 11 | 4197 | 0 441.06/441.21 c 441s | 15 | 379169 | 98732 | 11647 11 | 4197 | 0 443.16/443.36 c 443s | 15 | 382285 | 99432 | 11647 12 | 4197 | 0 445.26/445.44 c 445s | 15 | 385115 | 100232 | 11647 12 | 4197 | 0 447.56/447.70 c 447s | 15 | 386216 | 100832 | 11647 12 | 4197 | 0 449.66/449.81 c 449s | 15 | 389879 | 101832 | 11647 12 | 4197 | 0 451.76/451.93 c 451s | 15 | 392104 | 102832 | 11647 12 | 4197 | 0 453.76/453.99 c 453s | 15 | 394463 | 103832 | 11647 12 | 4197 | 0 455.86/456.08 c 455s | 15 | 398317 | 105032 | 11647 12 | 4197 | 0 457.96/458.17 c 457s | 15 | 401908 | 105832 | 11647 12 | 4197 | 0 460.26/460.46 c 460s | 15 | 405728 | 106832 | 11647 12 | 4197 | 0 462.36/462.55 c 462s | 15 | 408375 | 107632 | 11647 13 | 4197 | 0 464.56/464.71 c 464s | 15 | 412626 | 108332 | 11647 13 | 4197 | 0 466.66/466.87 c 466s | 15 | 416509 | 109032 | 11647 13 | 4197 | 0 468.86/469.01 c 468s | 15 | 422129 | 109732 | 11647 13 | 4197 | 0 471.06/471.29 c 471s | 15 | 426566 | 110432 | 11647 13 | 4197 | 0 473.25/473.47 c 473s | 15 | 430625 | 111032 | 11647 13 | 4197 | 0 475.36/475.57 c 475s | 15 | 435365 | 111632 | 11647 13 | 4197 | 0 477.46/477.65 c 477s | 15 | 438672 | 112232 | 11647 13 | 4197 | 0 479.45/479.66 c 479s | 15 | 441352 | 112832 | 11647 13 | 4197 | 0 481.86/482.03 c 481s | 15 | 444307 | 113532 | 11647 13 | 4197 | 0 484.26/484.49 c 484s | 15 | 446849 | 114132 | 11647 13 | 4197 | 0 486.66/486.89 c 486s | 15 | 450154 | 114732 | 11647 13 | 4197 | 0 489.06/489.26 c 489s | 15 | 452107 | 115132 | 11647 13 | 4197 | 0 491.65/491.85 c 491s | 15 | 455085 | 115532 | 11647 14 | 4197 | 0 493.85/494.05 c 493s | 15 | 458717 | 116132 | 11647 14 | 4197 | 0 496.16/496.37 c 496s | 15 | 461042 | 116732 | 11647 14 | 4197 | 0 498.25/498.41 c 498s | 15 | 464155 | 117132 | 11647 14 | 4197 | 0 500.25/500.43 c 500s | 15 | 467219 | 117632 | 11647 14 | 4197 | 0 502.45/502.61 c 502s | 15 | 470972 | 118232 | 11647 14 | 4197 | 0 504.55/504.74 c 504s | 15 | 475319 | 118832 | 11647 14 | 4197 | 0 506.75/506.91 c 506s | 15 | 477389 | 119332 | 11647 14 | 4197 | 0 508.85/509.02 c 508s | 15 | 479036 | 119732 | 11647 14 | 4197 | 0 511.14/511.33 c 511s | 15 | 481714 | 120232 | 11647 14 | 4197 | 0 513.24/513.43 c 513s | 15 | 484386 | 120732 | 11647 14 | 4197 | 0 515.34/515.56 c 515s | 15 | 487963 | 121232 | 11647 14 | 4197 | 0 517.44/517.66 c 517s | 15 | 491513 | 121732 | 11647 14 | 4197 | 0 519.44/519.69 c 519s | 15 | 496062 | 122232 | 11647 14 | 4197 | 0 521.74/521.92 c 521s | 15 | 500109 | 122732 | 11647 14 | 4197 | 0 523.84/524.04 c 523s | 15 | 503775 | 123232 | 11647 14 | 4197 | 0 526.54/526.71 c 526s | 15 | 506978 | 123832 | 11647 14 | 4197 | 0 528.84/529.04 c 528s | 15 | 510640 | 124332 | 11647 15 | 4197 | 0 531.93/532.19 c 532s | 15 | 513536 | 124832 | 11647 15 | 4197 | 0 534.33/534.51 c 534s | 15 | 517559 | 125332 | 11647 15 | 4197 | 0 536.84/537.07 c 536s | 15 | 521576 | 125932 | 11647 15 | 4197 | 0 538.83/539.07 c 538s | 15 | 525270 | 126432 | 11647 15 | 4197 | 0 540.93/541.10 c 540s | 15 | 528894 | 127132 | 11647 15 | 4197 | 0 543.03/543.22 c 543s | 15 | 533221 | 127932 | 11647 15 | 4197 | 0 545.23/545.40 c 545s | 15 | 537326 | 128532 | 11647 15 | 4197 | 0 547.23/547.42 c 547s | 15 | 540846 | 129132 | 11647 15 | 4197 | 0 549.53/549.71 c 549s | 15 | 544822 | 129732 | 11647 15 | 4197 | 0 551.82/552.04 c 551s | 15 | 547299 | 130232 | 11647 15 | 4197 | 0 553.92/554.13 c 553s | 15 | 549149 | 130632 | 11647 15 | 4197 | 0 557.32/557.51 c 557s | 15 | 553017 | 131132 | 12812 15 | 4197 | 0 559.12/559.34 c 559s | 16 | 555774 | 131552 | 12812 15 | 4197 | 0 561.13/561.36 c 561s | 16 | 561354 | 132252 | 12812 15 | 4197 | 0 563.22/563.48 c 563s | 16 | 566535 | 133152 | 12812 16 | 4197 | 0 565.32/565.55 c 565s | 16 | 572811 | 134152 | 12812 16 | 4197 | 0 567.42/567.68 c 567s | 16 | 578803 | 135252 | 12812 16 | 4197 | 0 569.52/569.71 c 569s | 16 | 585829 | 136352 | 12812 16 | 4197 | 0 571.61/571.89 c 571s | 16 | 589108 | 137152 | 12812 16 | 4197 | 0 573.61/573.90 c 573s | 16 | 592819 | 138352 | 12812 16 | 4197 | 0 575.71/575.94 c 575s | 16 | 597274 | 139452 | 12812 16 | 4197 | 0 577.91/578.11 c 577s | 16 | 602892 | 140652 | 12812 16 | 4197 | 0 579.91/580.20 c 580s | 16 | 607813 | 142052 | 12812 16 | 4197 | 0 582.01/582.29 c 582s | 16 | 611396 | 143152 | 12812 17 | 4197 | 0 584.11/584.30 c 584s | 16 | 616337 | 144152 | 12812 17 | 4197 | 0 586.10/586.33 c 586s | 16 | 621012 | 144952 | 12812 17 | 4197 | 0 588.20/588.43 c 588s | 16 | 623093 | 145752 | 12812 17 | 4197 | 0 590.30/590.54 c 590s | 16 | 626767 | 146752 | 12812 17 | 4197 | 0 592.40/592.66 c 592s | 16 | 630208 | 147652 | 12812 17 | 4197 | 0 594.50/594.75 c 594s | 16 | 635534 | 148652 | 12812 17 | 4197 | 0 596.60/596.83 c 596s | 16 | 638965 | 149552 | 12812 17 | 4197 | 0 598.90/599.11 c 598s | 16 | 642632 | 150352 | 12812 17 | 4197 | 0 601.10/601.31 c 601s | 16 | 645651 | 151152 | 12812 18 | 4197 | 0 603.10/603.37 c 603s | 16 | 648577 | 152052 | 12812 18 | 4197 | 0 605.30/605.55 c 605s | 16 | 651421 | 153052 | 12812 18 | 4197 | 0 607.50/607.75 c 607s | 16 | 655025 | 154052 | 12812 18 | 4197 | 0 609.60/609.80 c 609s | 16 | 657806 | 154852 | 12812 18 | 4197 | 0 611.60/611.86 c 611s | 16 | 660527 | 155652 | 12812 18 | 4197 | 0 613.69/613.98 c 613s | 16 | 663283 | 156552 | 12812 18 | 4197 | 0 615.89/616.13 c 615s | 16 | 666610 | 157552 | 12812 18 | 4197 | 0 617.89/618.16 c 617s | 16 | 668400 | 158252 | 12812 18 | 4197 | 0 620.09/620.39 c 620s | 16 | 670625 | 158952 | 12812 18 | 4197 | 0 622.09/622.39 c 622s | 16 | 672413 | 159552 | 12812 18 | 4197 | 0 624.19/624.48 c 624s | 16 | 673971 | 160152 | 12812 19 | 4197 | 0 626.29/626.50 c 626s | 16 | 676895 | 160852 | 12812 19 | 4197 | 0 628.29/628.52 c 628s | 16 | 678881 | 161652 | 12812 19 | 4197 | 0 630.39/630.69 c 630s | 16 | 681707 | 162552 | 12812 19 | 4197 | 0 632.59/632.89 c 632s | 16 | 684145 | 163452 | 12812 19 | 4197 | 0 634.69/634.92 c 634s | 16 | 687622 | 164452 | 12812 19 | 4197 | 0 636.89/637.13 c 636s | 16 | 689828 | 165352 | 12812 19 | 4197 | 0 639.09/639.38 c 639s | 16 | 691932 | 166152 | 12812 19 | 4197 | 0 641.18/641.48 c 641s | 16 | 694088 | 167152 | 12812 19 | 4197 | 0 643.28/643.56 c 643s | 16 | 695865 | 167952 | 12812 19 | 4197 | 0 645.58/645.80 c 645s | 16 | 698149 | 168652 | 12812 19 | 4197 | 0 647.68/647.99 c 647s | 16 | 699758 | 169352 | 12812 20 | 4197 | 0 650.09/650.30 c 650s | 16 | 702237 | 170052 | 12812 20 | 4197 | 0 652.38/652.66 c 652s | 16 | 704113 | 170552 | 12812 20 | 4197 | 0 654.67/654.96 c 654s | 16 | 706108 | 171352 | 12812 20 | 4197 | 0 656.68/657.00 c 656s | 16 | 707397 | 171952 | 12812 20 | 4197 | 0 659.17/659.49 c 659s | 16 | 708520 | 172552 | 12812 20 | 4197 | 0 661.37/661.67 c 661s | 16 | 711632 | 173452 | 12812 20 | 4197 | 0 663.57/663.89 c 663s | 16 | 715083 | 174352 | 12812 20 | 4197 | 0 665.87/666.15 c 665s | 16 | 718133 | 175152 | 12812 20 | 4197 | 0 667.97/668.25 c 668s | 16 | 721027 | 175852 | 12812 20 | 4197 | 0 670.17/670.40 c 670s | 16 | 723792 | 176652 | 12812 20 | 4197 | 0 672.27/672.50 c 672s | 16 | 725484 | 177252 | 12812 20 | 4197 | 0 674.47/674.70 c 674s | 16 | 728005 | 177952 | 12812 21 | 4197 | 0 676.57/676.85 c 676s | 16 | 731054 | 178852 | 12812 21 | 4197 | 0 678.56/678.86 c 678s | 16 | 733312 | 179752 | 12812 21 | 4197 | 0 680.66/680.91 c 680s | 16 | 735977 | 180552 | 12812 21 | 4197 | 0 682.86/683.15 c 682s | 16 | 737831 | 181252 | 12812 21 | 4197 | 0 685.16/685.48 c 685s | 16 | 741818 | 181952 | 12812 21 | 4197 | 0 687.47/687.78 c 687s | 16 | 744085 | 182552 | 12812 21 | 4197 | 0 689.56/689.81 c 689s | 16 | 747135 | 183252 | 12812 21 | 4197 | 0 691.66/691.92 c 691s | 16 | 749366 | 183952 | 12812 21 | 4197 | 0 693.66/693.96 c 693s | 16 | 752213 | 184852 | 12812 21 | 4197 | 0 695.86/696.18 c 696s | 16 | 756531 | 185952 | 12812 21 | 4197 | 0 697.96/698.22 c 698s | 16 | 758548 | 186552 | 12812 21 | 4197 | 0 700.06/700.37 c 700s | 16 | 762950 | 187452 | 12812 22 | 4197 | 0 702.25/702.52 c 702s | 16 | 767273 | 188352 | 12812 22 | 4197 | 0 704.45/704.71 c 704s | 16 | 770782 | 189352 | 12812 22 | 4197 | 0 706.55/706.89 c 706s | 16 | 773481 | 190152 | 12812 22 | 4197 | 0 708.75/709.02 c 708s | 16 | 777024 | 191052 | 12812 22 | 4197 | 0 710.75/711.02 c 710s | 16 | 779362 | 191752 | 12812 22 | 4197 | 0 712.95/713.27 c 713s | 16 | 781745 | 192552 | 12812 22 | 4197 | 0 715.25/715.52 c 715s | 16 | 783730 | 193252 | 12812 22 | 4197 | 0 717.35/717.62 c 717s | 16 | 785240 | 193852 | 12812 22 | 4197 | 0 719.55/719.80 c 719s | 16 | 786063 | 194352 | 12812 22 | 4197 | 0 721.56/721.85 c 721s | 16 | 787235 | 194852 | 12812 22 | 4197 | 0 723.65/723.98 c 723s | 16 | 789690 | 195552 | 12812 22 | 4197 | 0 725.85/726.15 c 725s | 16 | 791443 | 196152 | 14094 23 | 4197 | 0 728.45/728.72 c 728s | 16 | 793468 | 196852 | 14094 23 | 4197 | 0 730.25/730.58 c 730s | 17 | 794846 | 197432 | 14094 23 | 4197 | 0 732.56/732.89 c 732s | 17 | 797592 | 198032 | 14094 23 | 4197 | 0 734.76/735.09 c 734s | 17 | 801082 | 198632 | 14094 23 | 4197 | 0 737.06/737.33 c 737s | 17 | 806151 | 199332 | 14094 23 | 4197 | 0 739.65/739.90 c 739s | 17 | 808897 | 199932 | 14094 23 | 4197 | 0 741.85/742.15 c 741s | 17 | 813289 | 200632 | 14094 23 | 4197 | 0 743.95/744.24 c 744s | 17 | 818029 | 201232 | 14094 23 | 4197 | 0 746.05/746.34 c 746s | 17 | 820644 | 201732 | 14094 23 | 4197 | 0 748.65/748.97 c 748s | 17 | 822860 | 202232 | 14094 23 | 4197 | 0 751.15/751.43 c 751s | 17 | 823739 | 202432 | 14094 23 | 4197 | 0 753.35/753.63 c 753s | 17 | 825307 | 202932 | 14094 23 | 4197 | 0 755.75/756.00 c 755s | 17 | 826309 | 203232 | 14094 23 | 4197 | 0 757.85/758.17 c 758s | 17 | 826845 | 203432 | 14094 23 | 4197 | 0 760.15/760.47 c 760s | 17 | 829639 | 204032 | 14094 23 | 4197 | 0 762.44/762.78 c 762s | 17 | 832824 | 204632 | 14094 23 | 4197 | 0 764.55/764.85 c 764s | 17 | 834526 | 205132 | 14094 23 | 4197 | 0 766.75/767.04 c 766s | 17 | 836626 | 205732 | 14094 23 | 4197 | 0 769.04/769.35 c 769s | 17 | 839980 | 206332 | 14094 24 | 4197 | 0 771.15/771.46 c 771s | 17 | 841538 | 206732 | 14094 24 | 4197 | 0 773.35/773.68 c 773s | 17 | 843521 | 207332 | 14094 24 | 4197 | 0 775.55/775.89 c 775s | 17 | 845630 | 207832 | 14094 24 | 4197 | 0 778.04/778.33 c 778s | 17 | 846635 | 208132 | 14094 24 | 4197 | 0 780.44/780.79 c 780s | 17 | 847733 | 208532 | 14094 24 | 4197 | 0 782.64/782.98 c 782s | 17 | 848747 | 208832 | 14094 24 | 4197 | 0 784.84/785.18 c 785s | 17 | 849845 | 209232 | 14094 24 | 4197 | 0 787.44/787.70 c 787s | 17 | 851394 | 209632 | 14094 24 | 4197 | 0 789.74/790.09 c 789s | 17 | 853620 | 210132 | 14094 24 | 4197 | 0 792.04/792.39 c 792s | 17 | 854497 | 210432 | 14094 24 | 4197 | 0 794.54/794.83 c 794s | 17 | 855816 | 210932 | 14094 24 | 4197 | 0 796.54/796.88 c 796s | 17 | 857245 | 211332 | 14094 24 | 4197 | 0 798.74/799.08 c 798s | 17 | 858713 | 211732 | 14094 24 | 4197 | 0 800.94/801.28 c 801s | 17 | 860529 | 212132 | 14094 24 | 4197 | 0 803.24/803.59 c 803s | 17 | 862598 | 212632 | 14094 24 | 4197 | 0 805.74/806.09 c 805s | 17 | 864048 | 213032 | 14094 24 | 4197 | 0 808.24/808.53 c 808s | 17 | 865071 | 213432 | 14094 24 | 4197 | 0 810.33/810.65 c 810s | 17 | 866070 | 213832 | 14094 24 | 4197 | 0 812.73/813.00 c 812s | 17 | 867820 | 214332 | 14094 24 | 4197 | 0 814.83/815.16 c 814s | 17 | 868826 | 214632 | 14094 24 | 4197 | 0 816.93/817.25 c 817s | 17 | 870904 | 215132 | 14094 24 | 4197 | 0 819.93/820.25 c 820s | 17 | 871880 | 215432 | 14094 24 | 4197 | 0 822.04/822.32 c 822s | 17 | 872789 | 215732 | 14094 24 | 4197 | 0 824.34/824.69 c 824s | 17 | 873738 | 216132 | 14094 25 | 4197 | 0 826.54/826.88 c 826s | 17 | 875086 | 216532 | 14094 25 | 4197 | 0 828.64/828.93 c 828s | 17 | 878635 | 217132 | 14094 25 | 4197 | 0 830.64/830.97 c 830s | 17 | 880211 | 217632 | 14094 25 | 4197 | 0 833.14/833.42 c 833s | 17 | 883782 | 218232 | 14094 25 | 4197 | 0 835.54/835.88 c 835s | 17 | 886175 | 218732 | 14094 25 | 4197 | 0 837.64/837.98 c 837s | 17 | 887667 | 219132 | 14094 25 | 4197 | 0 839.64/839.99 c 839s | 17 | 888692 | 219432 | 14094 25 | 4197 | 0 841.74/842.00 c 841s | 17 | 889984 | 219732 | 14094 25 | 4197 | 0 844.34/844.61 c 844s | 17 | 892553 | 220232 | 14094 25 | 4197 | 0 846.44/846.78 c 846s | 17 | 894169 | 220532 | 14094 25 | 4197 | 0 849.04/849.39 c 849s | 17 | 896000 | 220932 | 14094 25 | 4197 | 0 851.44/851.79 c 851s | 17 | 897483 | 221332 | 14094 25 | 4197 | 0 853.54/853.81 c 853s | 17 | 898472 | 221632 | 14094 25 | 4197 | 0 855.64/855.95 c 855s | 17 | 899754 | 221932 | 14094 25 | 4197 | 0 857.64/857.95 c 857s | 17 | 901179 | 222232 | 14094 25 | 4197 | 0 859.84/860.19 c 860s | 17 | 902141 | 222532 | 14094 25 | 4197 | 0 862.13/862.43 c 862s | 17 | 903320 | 222832 | 14094 25 | 4197 | 0 864.64/864.93 c 864s | 17 | 905184 | 223232 | 14094 25 | 4197 | 0 866.63/866.94 c 866s | 17 | 906451 | 223532 | 14094 25 | 4197 | 0 868.83/869.17 c 869s | 17 | 907317 | 223832 | 14094 25 | 4197 | 0 871.93/872.23 c 872s | 17 | 908976 | 224232 | 14094 25 | 4197 | 0 873.93/874.25 c 874s | 17 | 909712 | 224432 | 14094 25 | 4197 | 0 876.03/876.36 c 876s | 17 | 911156 | 224732 | 14094 25 | 4197 | 0 878.13/878.44 c 878s | 17 | 912537 | 225032 | 14094 25 | 4197 | 0 880.23/880.54 c 880s | 17 | 913855 | 225332 | 14094 25 | 4197 | 0 882.53/882.85 c 882s | 17 | 914500 | 225632 | 14094 25 | 4197 | 0 885.03/885.34 c 885s | 17 | 916204 | 225932 | 14094 26 | 4197 | 0 887.53/887.80 c 887s | 17 | 917055 | 226232 | 14094 26 | 4197 | 0 889.73/890.10 c 889s | 17 | 918438 | 226532 | 14094 26 | 4197 | 0 892.04/892.33 c 892s | 17 | 920709 | 226832 | 14094 26 | 4197 | 0 894.53/894.81 c 894s | 17 | 921961 | 227132 | 14094 26 | 4197 | 0 897.43/897.72 c 897s | 17 | 923754 | 227432 | 14094 26 | 4197 | 0 899.63/899.90 c 899s | 17 | 924430 | 227632 | 14094 26 | 4197 | 0 902.63/902.94 c 902s | 17 | 925020 | 227832 | 14094 26 | 4197 | 0 905.03/905.34 c 905s | 17 | 925756 | 228132 | 14094 26 | 4197 | 0 907.73/908.03 c 907s | 17 | 926635 | 228432 | 14094 26 | 4197 | 0 910.22/910.59 c 910s | 17 | 927929 | 228832 | 14094 26 | 4197 | 0 912.32/912.68 c 912s | 17 | 929525 | 229132 | 14094 26 | 4197 | 0 914.32/914.68 c 914s | 17 | 930971 | 229432 | 14094 26 | 4197 | 0 916.82/917.19 c 917s | 17 | 931756 | 229732 | 14094 26 | 4197 | 0 919.42/919.72 c 919s | 17 | 933022 | 230032 | 14094 26 | 4197 | 0 921.73/922.02 c 921s | 17 | 933890 | 230332 | 14094 26 | 4197 | 0 924.22/924.55 c 924s | 17 | 935215 | 230632 | 14094 26 | 4197 | 0 926.92/927.22 c 927s | 17 | 937150 | 231032 | 14094 26 | 4197 | 0 929.12/929.44 c 929s | 17 | 938487 | 231332 | 14094 26 | 4197 | 0 931.63/932.00 c 931s | 17 | 939426 | 231632 | 14094 26 | 4197 | 0 934.32/934.67 c 934s | 17 | 941504 | 231932 | 14094 26 | 4197 | 0 937.32/937.61 c 937s | 17 | 942211 | 232232 | 14094 26 | 4197 | 0 940.02/940.31 c 940s | 17 | 943121 | 232532 | 14094 26 | 4197 | 0 942.82/943.19 c 943s | 17 | 944100 | 232832 | 14094 26 | 4197 | 0 945.82/946.16 c 945s | 17 | 945080 | 233132 | 14094 26 | 4197 | 0 948.32/948.69 c 948s | 17 | 945998 | 233432 | 14094 26 | 4197 | 0 950.92/951.24 c 951s | 17 | 946825 | 233732 | 14094 26 | 4197 | 0 953.32/953.65 c 953s | 17 | 947631 | 234032 | 14094 26 | 4197 | 0 955.52/955.88 c 955s | 17 | 948804 | 234332 | 14094 26 | 4197 | 0 957.92/958.23 c 958s | 17 | 949936 | 234632 | 14094 26 | 4197 | 0 960.32/960.70 c 960s | 17 | 950905 | 234932 | 14094 26 | 4197 | 0 963.02/963.37 c 963s | 17 | 952107 | 235232 | 14094 26 | 4197 | 0 965.32/965.66 c 965s | 17 | 952606 | 235432 | 14094 26 | 4197 | 0 967.32/967.69 c 967s | 17 | 953076 | 235632 | 14094 26 | 4197 | 0 969.41/969.74 c 969s | 17 | 953651 | 235832 | 14094 26 | 4197 | 0 971.41/971.79 c 971s | 17 | 954480 | 236032 | 14094 26 | 4197 | 0 974.01/974.34 c 974s | 17 | 954878 | 236232 | 14094 26 | 4197 | 0 976.82/977.18 c 977s | 17 | 955302 | 236432 | 14094 27 | 4197 | 0 979.61/979.99 c 979s | 17 | 955998 | 236732 | 14094 27 | 4197 | 0 982.32/982.65 c 982s | 17 | 956847 | 237032 | 14094 27 | 4197 | 0 984.91/985.27 c 985s | 17 | 957505 | 237332 | 14094 27 | 4197 | 0 987.51/987.86 c 987s | 17 | 958613 | 237632 | 14094 27 | 4197 | 0 990.41/990.79 c 990s | 17 | 959497 | 237932 | 14094 27 | 4197 | 0 992.81/993.19 c 993s | 17 | 960410 | 238232 | 14094 27 | 4197 | 0 995.11/995.41 c 995s | 17 | 961655 | 238432 | 14094 27 | 4197 | 0 997.62/997.94 c 997s | 17 | 962997 | 238732 | 14094 27 | 4197 | 0 999.82/1000.17 c 1000s | 17 | 963906 | 239032 | 14094 27 | 4197 | 0 1002.21/1002.51 c 1002s | 17 | 964773 | 239332 | 14094 27 | 4197 | 0 1004.61/1004.90 c 1004s | 17 | 965834 | 239632 | 14094 27 | 4197 | 0 1006.61/1006.96 c 1006s | 17 | 966891 | 239932 | 14094 27 | 4197 | 0 1008.91/1009.26 c 1009s | 17 | 967981 | 240232 | 14094 27 | 4197 | 0 1011.31/1011.62 c 1011s | 17 | 969096 | 240532 | 14094 27 | 4197 | 0 1013.71/1014.08 c 1013s | 17 | 970392 | 240832 | 14094 27 | 4197 | 0 1016.11/1016.44 c 1016s | 17 | 971385 | 241132 | 14094 27 | 4197 | 0 1018.41/1018.70 c 1018s | 17 | 972809 | 241432 | 14094 27 | 4197 | 0 1020.90/1021.27 c 1021s | 17 | 974031 | 241732 | 14094 27 | 4197 | 0 1023.20/1023.56 c 1023s | 17 | 975162 | 242032 | 14094 27 | 4197 | 0 1025.50/1025.80 c 1025s | 17 | 976714 | 242332 | 14094 27 | 4197 | 0 1027.70/1028.02 c 1027s | 17 | 978047 | 242632 | 14094 27 | 4197 | 0 1030.20/1030.58 c 1030s | 17 | 980080 | 242932 | 14094 27 | 4197 | 0 1032.50/1032.86 c 1032s | 17 | 981671 | 243232 | 14094 27 | 4197 | 0 1034.50/1034.88 c 1034s | 17 | 983247 | 243432 | 14094 27 | 4197 | 0 1036.80/1037.19 c 1037s | 17 | 983975 | 243632 | 14094 27 | 4197 | 0 1040.00/1040.35 c 1040s | 17 | 985200 | 243932 | 14094 27 | 4197 | 0 1043.30/1043.62 c 1043s | 17 | 985863 | 244132 | 14094 27 | 4197 | 0 1045.50/1045.80 c 1045s | 17 | 986784 | 244332 | 14094 27 | 4197 | 0 1047.80/1048.15 c 1047s | 17 | 988981 | 244832 | 14094 27 | 4197 | 0 1050.00/1050.32 c 1050s | 17 | 991728 | 245332 | 14094 27 | 4197 | 0 1052.30/1052.69 c 1052s | 17 | 992990 | 245732 | 14094 28 | 4197 | 0 1055.00/1055.31 c 1055s | 17 | 994480 | 246132 | 14094 28 | 4197 | 0 1057.30/1057.68 c 1057s | 17 | 996599 | 246432 | 14094 28 | 4197 | 0 1060.31/1060.66 c 1060s | 17 | 999614 | 246932 | 14094 28 | 4197 | 0 1063.10/1063.48 c 1063s | 17 | 1001029 | 247132 | 14094 28 | 4197 | 0 1066.30/1066.64 c 1066s | 17 | 1002424 | 247332 | 14094 28 | 4197 | 0 1069.90/1070.20 c 1070s | 17 | 1003245 | 247532 | 14094 28 | 4197 | 0 1072.20/1072.53 c 1072s | 17 | 1003366 | 247632 | 14094 28 | 4197 | 0 1076.60/1076.99 c 1076s | 17 | 1004493 | 247932 | 14094 28 | 4197 | 0 1079.20/1079.54 c 1079s | 17 | 1004792 | 248032 | 14094 28 | 4197 | 0 1083.80/1084.14 c 1083s | 17 | 1005523 | 248232 | 14094 28 | 4197 | 0 1088.69/1089.04 c 1088s | 17 | 1006147 | 248432 | 14094 28 | 4197 | 0 1091.20/1091.53 c 1091s | 17 | 1006425 | 248532 | 14094 28 | 4197 | 0 1093.69/1094.10 c 1093s | 17 | 1006669 | 248632 | 14094 28 | 4197 | 0 1095.99/1096.38 c 1096s | 17 | 1007283 | 248832 | 14094 28 | 4197 | 0 1099.29/1099.63 c 1099s | 17 | 1008237 | 249032 | 14094 28 | 4197 | 0 1102.89/1103.22 c 1103s | 17 | 1009218 | 249332 | 14094 28 | 4197 | 0 1106.39/1106.70 c 1106s | 17 | 1009741 | 249532 | 14094 28 | 4197 | 0 1109.19/1109.50 c 1109s | 17 | 1010638 | 249732 | 14094 28 | 4197 | 0 1113.10/1113.46 c 1113s | 17 | 1011640 | 249932 | 14094 28 | 4197 | 0 1117.79/1118.14 c 1117s | 17 | 1012249 | 250132 | 14094 28 | 4197 | 0 1120.59/1120.95 c 1120s | 17 | 1012454 | 250232 | 14094 28 | 4197 | 0 1124.10/1124.47 c 1124s | 17 | 1012741 | 250332 | 14094 28 | 4197 | 0 1126.99/1127.38 c 1127s | 17 | 1013093 | 250432 | 14094 28 | 4197 | 0 1132.49/1132.80 c 1132s | 17 | 1013323 | 250532 | 14094 28 | 4197 | 0 1141.39/1141.75 c 1141s | 17 | 1013592 | 250632 | 14094 28 | 4197 | 0 1144.29/1144.63 c 1144s | 17 | 1013857 | 250732 | 14094 28 | 4197 | 0 1146.69/1147.03 c 1146s | 17 | 1014139 | 250832 | 14094 28 | 4197 | 0 1149.39/1149.71 c 1149s | 17 | 1014867 | 251032 | 14094 28 | 4197 | 0 1151.39/1151.75 c 1151s | 17 | 1015072 | 251132 | 14094 28 | 4197 | 0 1153.89/1154.25 c 1154s | 17 | 1015331 | 251232 | 14094 28 | 4197 | 0 1156.48/1156.85 c 1156s | 17 | 1015662 | 251332 | 14094 28 | 4197 | 0 1160.39/1160.73 c 1160s | 17 | 1016740 | 251532 | 14094 28 | 4197 | 0 1164.28/1164.63 c 1164s | 17 | 1017234 | 251732 | 14094 28 | 4197 | 0 1166.48/1166.80 c 1166s | 17 | 1017776 | 251832 | 14094 28 | 4197 | 0 1168.98/1169.39 c 1169s | 17 | 1018216 | 251932 | 14094 28 | 4197 | 0 1172.08/1172.40 c 1172s | 17 | 1018672 | 252132 | 14094 28 | 4197 | 0 1176.18/1176.52 c 1176s | 17 | 1019579 | 252332 | 14094 28 | 4197 | 0 1179.09/1179.40 c 1179s | 17 | 1019791 | 252432 | 14094 28 | 4197 | 0 1181.18/1181.56 c 1181s | 17 | 1020127 | 252532 | 14094 28 | 4197 | 0 1183.49/1183.88 c 1183s | 17 | 1020577 | 252632 | 14094 28 | 4197 | 0 1186.98/1187.39 c 1187s | 17 | 1021099 | 252832 | 14094 28 | 4197 | 0 1189.28/1189.63 c 1189s | 17 | 1021331 | 252932 | 14094 28 | 4197 | 0 1192.88/1193.25 c 1193s | 17 | 1021811 | 253132 | 14094 28 | 4197 | 0 1195.08/1195.46 c 1195s | 17 | 1022085 | 253232 | 14094 28 | 4197 | 0 1197.68/1198.06 c 1197s | 17 | 1023036 | 253432 | 14094 28 | 4197 | 0 1200.28/1200.68 c 1200s | 17 | 1023969 | 253632 | 14094 28 | 4197 | 0 1202.58/1202.94 c 1202s | 17 | 1024156 | 253732 | 14094 28 | 4197 | 0 1205.27/1205.67 c 1205s | 17 | 1024384 | 253832 | 14094 28 | 4197 | 0 1208.78/1209.18 c 1209s | 17 | 1024842 | 254032 | 14094 28 | 4197 | 0 1211.08/1211.44 c 1211s | 17 | 1025069 | 254132 | 14094 28 | 4197 | 0 1215.57/1215.92 c 1215s | 17 | 1025717 | 254332 | 14094 28 | 4197 | 0 1219.37/1219.72 c 1219s | 17 | 1025871 | 254432 | 14094 28 | 4197 | 0 1222.57/1222.91 c 1222s | 17 | 1026637 | 254632 | 14094 28 | 4197 | 0 1225.28/1225.60 c 1225s | 17 | 1028232 | 254932 | 14094 28 | 4197 | 0 1227.27/1227.62 c 1227s | 17 | 1028641 | 255032 | 14094 28 | 4197 | 0 1229.37/1229.77 c 1229s | 17 | 1029111 | 255132 | 14094 28 | 4197 | 0 1231.67/1232.06 c 1231s | 17 | 1029805 | 255332 | 14094 28 | 4197 | 0 1234.77/1235.17 c 1234s | 17 | 1030339 | 255532 | 14094 28 | 4197 | 0 1240.07/1240.42 c 1240s | 17 | 1030936 | 255732 | 14094 29 | 4197 | 0 1245.88/1246.29 c 1246s | 17 | 1031795 | 255932 | 14094 29 | 4197 | 0 1248.58/1248.93 c 1248s | 17 | 1032367 | 256032 | 14094 29 | 4197 | 0 1250.58/1250.94 c 1250s | 17 | 1033022 | 256132 | 14094 29 | 4197 | 0 1252.88/1253.29 c 1253s | 17 | 1033628 | 256332 | 14094 29 | 4197 | 0 1256.18/1256.57 c 1256s | 17 | 1034431 | 256532 | 14094 29 | 4197 | 0 1258.98/1259.31 c 1259s | 17 | 1034659 | 256632 | 14094 29 | 4197 | 0 1261.98/1262.35 c 1262s | 17 | 1034998 | 256732 | 14094 29 | 4197 | 0 1264.37/1264.79 c 1264s | 17 | 1035347 | 256832 | 14094 29 | 4197 | 0 1267.97/1268.32 c 1268s | 17 | 1035996 | 257032 | 14094 29 | 4197 | 0 1269.97/1270.34 c 1270s | 17 | 1036938 | 257232 | 14094 29 | 4197 | 0 1271.97/1272.35 c 1272s | 17 | 1038522 | 257532 | 14094 29 | 4197 | 0 1274.17/1274.52 c 1274s | 17 | 1041919 | 258132 | 14094 29 | 4197 | 0 1276.37/1276.74 c 1276s | 17 | 1043549 | 258532 | 14094 29 | 4197 | 0 1278.86/1279.26 c 1279s | 17 | 1045081 | 258932 | 14094 29 | 4197 | 0 1281.76/1282.12 c 1281s | 17 | 1047190 | 259332 | 14094 29 | 4197 | 0 1284.16/1284.51 c 1284s | 17 | 1048178 | 259632 | 14094 29 | 4197 | 0 1286.46/1286.89 c 1286s | 17 | 1050153 | 259932 | 14094 29 | 4197 | 0 1288.86/1289.27 c 1289s | 17 | 1051250 | 260232 | 14094 29 | 4197 | 0 1291.06/1291.47 c 1291s | 17 | 1052298 | 260532 | 14094 29 | 4197 | 0 1293.26/1293.67 c 1293s | 17 | 1053759 | 260832 | 14094 29 | 4197 | 0 1295.46/1295.82 c 1295s | 17 | 1054666 | 261132 | 14094 29 | 4197 | 0 1298.06/1298.41 c 1298s | 17 | 1055964 | 261532 | 14094 29 | 4197 | 0 1300.17/1300.52 c 1300s | 17 | 1057219 | 261832 | 14094 29 | 4197 | 0 1302.46/1302.88 c 1302s | 17 | 1058101 | 262132 | 14094 29 | 4197 | 0 1305.26/1305.66 c 1305s | 17 | 1059082 | 262432 | 14094 29 | 4197 | 0 1307.66/1308.04 c 1307s | 17 | 1060559 | 262732 | 14094 29 | 4197 | 0 1310.07/1310.42 c 1310s | 17 | 1062010 | 263032 | 14094 29 | 4197 | 0 1312.66/1313.03 c 1312s | 17 | 1062944 | 263332 | 14094 29 | 4197 | 0 1314.66/1315.04 c 1314s | 17 | 1063579 | 263532 | 14094 29 | 4197 | 0 1317.36/1317.70 c 1317s | 17 | 1064609 | 263832 | 14094 29 | 4197 | 0 1319.97/1320.34 c 1320s | 17 | 1065967 | 264132 | 14094 29 | 4197 | 0 1322.76/1323.12 c 1322s | 17 | 1067051 | 264432 | 14094 29 | 4197 | 0 1325.06/1325.49 c 1325s | 17 | 1068317 | 264732 | 14094 29 | 4197 | 0 1327.86/1328.25 c 1328s | 17 | 1069091 | 265032 | 14094 29 | 4197 | 0 1330.06/1330.41 c 1330s | 17 | 1073214 | 265432 | 14094 29 | 4197 | 0 1332.56/1332.93 c 1332s | 17 | 1075367 | 265732 | 14094 30 | 4197 | 0 1335.16/1335.57 c 1335s | 17 | 1077389 | 266132 | 14094 30 | 4197 | 0 1337.76/1338.14 c 1337s | 17 | 1078397 | 266432 | 14094 30 | 4197 | 0 1340.55/1340.95 c 1340s | 17 | 1079219 | 266732 | 14094 30 | 4197 | 0 1342.65/1343.01 c 1342s | 17 | 1079759 | 266932 | 14094 30 | 4197 | 0 1346.66/1347.00 c 1346s | 17 | 1081556 | 267232 | 14094 30 | 4197 | 0 1348.86/1349.23 c 1349s | 17 | 1084297 | 267732 | 14094 30 | 4197 | 0 1351.16/1351.57 c 1351s | 17 | 1087138 | 268132 | 14094 30 | 4197 | 0 1353.36/1353.79 c 1353s | 17 | 1089025 | 268532 | 14094 30 | 4197 | 0 1355.56/1355.99 c 1355s | 17 | 1093170 | 269032 | 14094 30 | 4197 | 0 1357.86/1358.28 c 1358s | 17 | 1095580 | 269532 | 14094 30 | 4197 | 0 1359.96/1360.31 c 1360s | 17 | 1098151 | 269932 | 14094 30 | 4197 | 0 1361.96/1362.37 c 1362s | 17 | 1100702 | 270332 | 14094 30 | 4197 | 0 1364.16/1364.55 c 1364s | 17 | 1103582 | 270732 | 14094 30 | 4197 | 0 1366.56/1366.96 c 1366s | 17 | 1105334 | 271132 | 14094 30 | 4197 | 0 1368.86/1369.25 c 1369s | 17 | 1109576 | 271632 | 14094 30 | 4197 | 0 1371.36/1371.71 c 1371s | 17 | 1111608 | 272032 | 14094 30 | 4197 | 0 1373.86/1374.25 c 1374s | 17 | 1114230 | 272532 | 14094 30 | 4197 | 0 1375.96/1376.31 c 1376s | 17 | 1115471 | 272832 | 14094 30 | 4197 | 0 1377.95/1378.33 c 1378s | 17 | 1117050 | 273232 | 14094 30 | 4197 | 0 1380.05/1380.42 c 1380s | 17 | 1119533 | 273832 | 14094 30 | 4197 | 0 1382.15/1382.51 c 1382s | 17 | 1121684 | 274332 | 14094 30 | 4197 | 0 1384.95/1385.35 c 1385s | 17 | 1123024 | 274732 | 14094 30 | 4197 | 0 1387.35/1387.78 c 1387s | 17 | 1124498 | 275132 | 14094 30 | 4197 | 0 1389.65/1390.01 c 1389s | 17 | 1126105 | 275532 | 14094 31 | 4197 | 0 1392.05/1392.43 c 1392s | 17 | 1129037 | 276132 | 14094 31 | 4197 | 0 1394.35/1394.72 c 1394s | 17 | 1130201 | 276532 | 14094 31 | 4197 | 0 1396.75/1397.20 c 1397s | 17 | 1131410 | 276832 | 14094 31 | 4197 | 0 1398.95/1399.36 c 1399s | 17 | 1133813 | 277332 | 14094 31 | 4197 | 0 1401.05/1401.46 c 1401s | 17 | 1135314 | 277732 | 14094 31 | 4197 | 0 1403.46/1403.90 c 1403s | 17 | 1137847 | 278232 | 14094 31 | 4197 | 0 1405.55/1405.95 c 1405s | 17 | 1140491 | 278632 | 14094 31 | 4197 | 0 1407.86/1408.23 c 1408s | 17 | 1142745 | 279032 | 14094 31 | 4197 | 0 1410.35/1410.79 c 1410s | 17 | 1145254 | 279432 | 14094 31 | 4197 | 0 1412.75/1413.16 c 1412s | 17 | 1147228 | 279732 | 14094 31 | 4197 | 0 1415.05/1415.46 c 1415s | 17 | 1148383 | 280032 | 14094 31 | 4197 | 0 1417.15/1417.57 c 1417s | 17 | 1149693 | 280332 | 14094 31 | 4197 | 0 1419.25/1419.65 c 1419s | 17 | 1151519 | 280832 | 14094 31 | 4197 | 0 1421.75/1422.12 c 1421s | 17 | 1152437 | 281132 | 14094 31 | 4197 | 0 1423.85/1424.24 c 1424s | 17 | 1153124 | 281332 | 14094 31 | 4197 | 0 1426.35/1426.70 c 1426s | 17 | 1154102 | 281632 | 14094 31 | 4197 | 0 1428.35/1428.75 c 1428s | 17 | 1155467 | 281932 | 14094 31 | 4197 | 0 1430.95/1431.39 c 1431s | 17 | 1156604 | 282332 | 14094 31 | 4197 | 0 1433.15/1433.57 c 1433s | 17 | 1157982 | 282632 | 14094 31 | 4197 | 0 1435.35/1435.70 c 1435s | 17 | 1159499 | 282932 | 14094 31 | 4197 | 0 1437.55/1437.95 c 1437s | 17 | 1161152 | 283332 | 14094 31 | 4197 | 0 1439.64/1440.09 c 1439s | 17 | 1162724 | 283732 | 14094 31 | 4197 | 0 1441.95/1442.32 c 1442s | 17 | 1163935 | 284032 | 14094 31 | 4197 | 0 1444.74/1445.14 c 1444s | 17 | 1166255 | 284432 | 14094 31 | 4197 | 0 1446.74/1447.15 c 1446s | 17 | 1167951 | 284732 | 14094 31 | 4197 | 0 1448.74/1449.16 c 1448s | 17 | 1168764 | 284932 | 14094 31 | 4197 | 0 1451.04/1451.46 c 1451s | 17 | 1170490 | 285232 | 14094 32 | 4197 | 0 1453.14/1453.51 c 1453s | 17 | 1171783 | 285532 | 14094 32 | 4197 | 0 1455.94/1456.39 c 1456s | 17 | 1172856 | 285832 | 14094 32 | 4197 | 0 1458.64/1459.07 c 1458s | 17 | 1174527 | 286232 | 14094 32 | 4197 | 0 1461.04/1461.44 c 1461s | 17 | 1175810 | 286532 | 14094 32 | 4197 | 0 1463.34/1463.79 c 1463s | 17 | 1176926 | 286832 | 14094 32 | 4197 | 0 1465.74/1466.11 c 1465s | 17 | 1179621 | 287232 | 14094 32 | 4197 | 0 1467.84/1468.20 c 1468s | 17 | 1181208 | 287532 | 14094 32 | 4197 | 0 1470.24/1470.65 c 1470s | 17 | 1184174 | 287932 | 14094 32 | 4197 | 0 1472.64/1473.04 c 1472s | 17 | 1185218 | 288232 | 14094 32 | 4197 | 0 1475.04/1475.45 c 1475s | 17 | 1188618 | 288732 | 14094 32 | 4197 | 0 1477.14/1477.60 c 1477s | 17 | 1190248 | 289232 | 14094 32 | 4197 | 0 1479.24/1479.64 c 1479s | 17 | 1191719 | 289732 | 14094 32 | 4197 | 0 1481.43/1481.90 c 1481s | 17 | 1194309 | 290432 | 14094 32 | 4197 | 0 1483.93/1484.31 c 1484s | 17 | 1195962 | 290932 | 14094 32 | 4197 | 0 1486.23/1486.63 c 1486s | 17 | 1198497 | 291532 | 14094 32 | 4197 | 0 1488.33/1488.77 c 1488s | 17 | 1199508 | 291932 | 14094 32 | 4197 | 0 1490.53/1490.92 c 1490s | 17 | 1201277 | 292432 | 14094 32 | 4197 | 0 1492.93/1493.34 c 1493s | 17 | 1203852 | 292832 | 14094 32 | 4197 | 0 1494.93/1495.35 c 1495s | 17 | 1205162 | 293132 | 14094 32 | 4197 | 0 1497.43/1497.89 c 1497s | 17 | 1206517 | 293532 | 14094 32 | 4197 | 0 1499.93/1500.37 c 1500s | 17 | 1207658 | 293932 | 14094 32 | 4197 | 0 1502.33/1502.70 c 1502s | 17 | 1208555 | 294332 | 15504 32 | 4197 | 0 1504.74/1505.13 c 1504s | 17 | 1210061 | 294732 | 15504 32 | 4197 | 0 1507.23/1507.64 c 1507s | 17 | 1212209 | 295232 | 15504 32 | 4197 | 0 1509.43/1509.82 c 1509s | 17 | 1213493 | 295632 | 15504 32 | 4197 | 0 1511.93/1512.33 c 1512s | 17 | 1214905 | 296032 | 15504 32 | 4197 | 0 1513.13/1513.57 c 1513s | 18 | 1215550 | 296252 | 15504 32 | 4197 | 0 1515.43/1515.88 c 1515s | 18 | 1217120 | 296652 | 15504 33 | 4197 | 0 1517.73/1518.15 c 1517s | 18 | 1220192 | 297252 | 15504 33 | 4197 | 0 1519.93/1520.32 c 1520s | 18 | 1223303 | 297852 | 15504 33 | 4197 | 0 1521.93/1522.33 c 1522s | 18 | 1224723 | 298252 | 15504 33 | 4197 | 0 1524.03/1524.42 c 1524s | 18 | 1227112 | 298852 | 15504 33 | 4197 | 0 1526.03/1526.43 c 1526s | 18 | 1230069 | 299452 | 15504 33 | 4197 | 0 1528.33/1528.79 c 1528s | 18 | 1232070 | 299952 | 15504 33 | 4197 | 0 1530.63/1531.02 c 1530s | 18 | 1234649 | 300452 | 15504 33 | 4197 | 0 1533.12/1533.57 c 1533s | 18 | 1235736 | 300752 | 15504 33 | 4197 | 0 1535.43/1535.89 c 1535s | 18 | 1236749 | 300952 | 15504 33 | 4197 | 0 1537.63/1538.05 c 1537s | 18 | 1239072 | 301252 | 15504 33 | 4197 | 0 1539.72/1540.18 c 1540s | 18 | 1242139 | 301852 | 15504 33 | 4197 | 0 1542.03/1542.42 c 1542s | 18 | 1243654 | 302152 | 15504 33 | 4197 | 0 1544.33/1544.73 c 1544s | 18 | 1245138 | 302552 | 15504 33 | 4197 | 0 1546.44/1546.87 c 1546s | 18 | 1247727 | 303052 | 15504 33 | 4197 | 0 1548.74/1549.15 c 1548s | 18 | 1249186 | 303452 | 15504 33 | 4197 | 0 1551.13/1551.53 c 1551s | 18 | 1250183 | 303752 | 15504 33 | 4197 | 0 1553.33/1553.71 c 1553s | 18 | 1251173 | 304052 | 15504 33 | 4197 | 0 1555.53/1555.96 c 1555s | 18 | 1252657 | 304452 | 15504 33 | 4197 | 0 1557.73/1558.10 c 1557s | 18 | 1254376 | 304952 | 15504 33 | 4197 | 0 1559.74/1560.14 c 1559s | 18 | 1256038 | 305352 | 15504 33 | 4197 | 0 1562.03/1562.41 c 1562s | 18 | 1257750 | 305952 | 15504 33 | 4197 | 0 1564.04/1564.45 c 1564s | 18 | 1259292 | 306352 | 15504 33 | 4197 | 0 1566.03/1566.47 c 1566s | 18 | 1261810 | 306852 | 15504 34 | 4197 | 0 1568.23/1568.69 c 1568s | 18 | 1264446 | 307552 | 15504 34 | 4197 | 0 1570.43/1570.86 c 1570s | 18 | 1267828 | 308252 | 15504 34 | 4197 | 0 1572.53/1572.97 c 1572s | 18 | 1270005 | 308952 | 15504 34 | 4197 | 0 1574.63/1575.09 c 1574s | 18 | 1272494 | 309552 | 15504 34 | 4197 | 0 1576.73/1577.11 c 1576s | 18 | 1275315 | 310152 | 15504 34 | 4197 | 0 1579.93/1580.37 c 1580s | 18 | 1277970 | 310652 | 15504 34 | 4197 | 0 1582.13/1582.56 c 1582s | 18 | 1280547 | 311152 | 15504 34 | 4197 | 0 1584.53/1584.96 c 1584s | 18 | 1282722 | 311652 | 15504 34 | 4197 | 0 1586.83/1587.26 c 1587s | 18 | 1284857 | 312252 | 15504 34 | 4197 | 0 1589.03/1589.49 c 1589s | 18 | 1287401 | 312852 | 15504 34 | 4197 | 0 1591.43/1591.84 c 1591s | 18 | 1290629 | 313652 | 15504 34 | 4197 | 0 1593.73/1594.17 c 1593s | 18 | 1294283 | 314452 | 15504 34 | 4197 | 0 1595.82/1596.28 c 1596s | 18 | 1296124 | 315052 | 15504 34 | 4197 | 0 1598.13/1598.53 c 1598s | 18 | 1298711 | 315752 | 15504 34 | 4197 | 0 1600.43/1600.87 c 1600s | 18 | 1301436 | 316352 | 15504 34 | 4197 | 0 1602.63/1603.09 c 1602s | 18 | 1303254 | 316852 | 15504 34 | 4197 | 0 1604.83/1605.25 c 1605s | 18 | 1305921 | 317352 | 15504 34 | 4197 | 0 1607.12/1607.58 c 1607s | 18 | 1307998 | 317852 | 15504 34 | 4197 | 0 1609.23/1609.61 c 1609s | 18 | 1309227 | 318152 | 15504 34 | 4197 | 0 1611.92/1612.38 c 1612s | 18 | 1310389 | 318452 | 15504 35 | 4197 | 0 1614.12/1614.56 c 1614s | 18 | 1311805 | 318752 | 15504 35 | 4197 | 0 1616.42/1616.88 c 1616s | 18 | 1312340 | 319052 | 15504 35 | 4197 | 0 1619.42/1619.88 c 1619s | 18 | 1314340 | 319452 | 15504 35 | 4197 | 0 1622.33/1622.71 c 1622s | 18 | 1317137 | 319852 | 15504 35 | 4197 | 0 1625.12/1625.52 c 1625s | 18 | 1321660 | 320352 | 15504 35 | 4197 | 0 1627.62/1628.01 c 1627s | 18 | 1323825 | 320852 | 15504 35 | 4197 | 0 1630.02/1630.50 c 1630s | 18 | 1327103 | 321252 | 15504 35 | 4197 | 0 1632.42/1632.83 c 1632s | 18 | 1328957 | 321752 | 15504 35 | 4197 | 0 1634.42/1634.88 c 1634s | 18 | 1331943 | 322452 | 15504 35 | 4197 | 0 1636.72/1637.17 c 1636s | 18 | 1334323 | 322952 | 15504 35 | 4197 | 0 1638.92/1639.39 c 1639s | 18 | 1335618 | 323252 | 15504 35 | 4197 | 0 1641.12/1641.52 c 1641s | 18 | 1337568 | 323552 | 15504 35 | 4197 | 0 1643.22/1643.68 c 1643s | 18 | 1339779 | 323852 | 15504 35 | 4197 | 0 1645.31/1645.80 c 1645s | 18 | 1342827 | 324252 | 15504 35 | 4197 | 0 1647.51/1648.00 c 1647s | 18 | 1346443 | 324652 | 15504 35 | 4197 | 0 1649.82/1650.27 c 1650s | 18 | 1350914 | 325152 | 15504 35 | 4197 | 0 1651.91/1652.38 c 1652s | 18 | 1351481 | 325552 | 15504 35 | 4197 | 0 1654.22/1654.62 c 1654s | 18 | 1352430 | 325952 | 15504 35 | 4197 | 0 1656.81/1657.25 c 1657s | 18 | 1353821 | 326452 | 15504 35 | 4197 | 0 1658.81/1659.29 c 1659s | 18 | 1355642 | 326952 | 15504 35 | 4197 | 0 1661.41/1661.88 c 1661s | 18 | 1356275 | 327352 | 15504 35 | 4197 | 0 1663.91/1664.30 c 1664s | 18 | 1356668 | 327652 | 15504 35 | 4197 | 0 1666.71/1667.12 c 1666s | 18 | 1358071 | 327952 | 15504 35 | 4197 | 0 1669.31/1669.78 c 1669s | 18 | 1359051 | 328352 | 15504 35 | 4197 | 0 1671.41/1671.88 c 1671s | 18 | 1360160 | 328652 | 15504 35 | 4197 | 0 1673.51/1673.98 c 1673s | 18 | 1361186 | 329052 | 15504 35 | 4197 | 0 1675.91/1676.37 c 1676s | 18 | 1361494 | 329352 | 15504 35 | 4197 | 0 1678.11/1678.59 c 1678s | 18 | 1362226 | 329652 | 15504 36 | 4197 | 0 1680.41/1680.86 c 1680s | 18 | 1362719 | 329952 | 15504 36 | 4197 | 0 1682.51/1682.97 c 1682s | 18 | 1363453 | 330252 | 15504 36 | 4197 | 0 1685.21/1685.61 c 1685s | 18 | 1364822 | 330652 | 15504 36 | 4197 | 0 1687.22/1687.62 c 1687s | 18 | 1368438 | 331152 | 15504 36 | 4197 | 0 1689.71/1690.19 c 1690s | 18 | 1369218 | 331652 | 15504 36 | 4197 | 0 1692.01/1692.46 c 1692s | 18 | 1370468 | 332052 | 15504 36 | 4197 | 0 1694.21/1694.63 c 1694s | 18 | 1372218 | 332452 | 15504 36 | 4197 | 0 1696.41/1696.85 c 1696s | 18 | 1375068 | 332752 | 15504 36 | 4197 | 0 1698.71/1699.16 c 1698s | 18 | 1377190 | 333152 | 15504 36 | 4197 | 0 1701.01/1701.43 c 1701s | 18 | 1380637 | 333652 | 15504 36 | 4197 | 0 1703.51/1703.98 c 1703s | 18 | 1383783 | 334052 | 15504 36 | 4197 | 0 1706.21/1706.67 c 1706s | 18 | 1386081 | 334552 | 15504 36 | 4197 | 0 1708.91/1709.38 c 1709s | 18 | 1390021 | 334952 | 15504 36 | 4197 | 0 1711.90/1712.30 c 1712s | 18 | 1392175 | 335252 | 15504 36 | 4197 | 0 1714.10/1714.52 c 1714s | 18 | 1395177 | 335652 | 15504 36 | 4197 | 0 1716.20/1716.66 c 1716s | 18 | 1397668 | 335952 | 15504 36 | 4197 | 0 1718.60/1719.07 c 1718s | 18 | 1399972 | 336452 | 15504 36 | 4197 | 0 1720.80/1721.21 c 1721s | 18 | 1404514 | 336852 | 15504 36 | 4197 | 0 1723.00/1723.42 c 1723s | 18 | 1406475 | 337152 | 15504 36 | 4197 | 0 1725.40/1725.81 c 1725s | 18 | 1408860 | 337552 | 15504 36 | 4197 | 0 1727.40/1727.88 c 1727s | 18 | 1410492 | 337952 | 15504 36 | 4197 | 0 1729.70/1730.15 c 1729s | 18 | 1413058 | 338352 | 15504 36 | 4197 | 0 1732.00/1732.43 c 1732s | 18 | 1414592 | 338652 | 15504 37 | 4197 | 0 1734.30/1734.73 c 1734s | 18 | 1417667 | 339152 | 15504 37 | 4197 | 0 1736.40/1736.86 c 1736s | 18 | 1420206 | 339552 | 15504 37 | 4197 | 0 1738.70/1739.18 c 1739s | 18 | 1424597 | 340152 | 15504 37 | 4197 | 0 1740.80/1741.27 c 1741s | 18 | 1428637 | 340652 | 15504 37 | 4197 | 0 1743.00/1743.47 c 1743s | 18 | 1431836 | 341252 | 15504 37 | 4197 | 0 1745.00/1745.47 c 1745s | 18 | 1436011 | 342052 | 15504 37 | 4197 | 0 1747.10/1747.51 c 1747s | 18 | 1439011 | 342552 | 15504 37 | 4197 | 0 1749.10/1749.52 c 1749s | 18 | 1442504 | 343152 | 15504 37 | 4197 | 0 1751.30/1751.79 c 1751s | 18 | 1447279 | 343852 | 15504 37 | 4197 | 0 1753.50/1753.99 c 1753s | 18 | 1451461 | 344552 | 15504 37 | 4197 | 0 1755.90/1756.34 c 1756s | 18 | 1455908 | 345152 | 15504 37 | 4197 | 0 1758.30/1758.72 c 1758s | 18 | 1458579 | 345752 | 15504 37 | 4197 | 0 1760.60/1761.08 c 1760s | 18 | 1461113 | 346252 | 15504 37 | 4197 | 0 1762.80/1763.27 c 1763s | 18 | 1463095 | 346852 | 15504 37 | 4197 | 0 1765.40/1765.85 c 1765s | 18 | 1464377 | 347452 | 15504 37 | 4197 | 0 1767.80/1768.20 c 1768s | 18 | 1464917 | 347852 | 15504 37 | 4197 | 0 1770.10/1770.57 c 1770s | 18 | 1465730 | 348152 | 15504 37 | 4197 | 0 1772.30/1772.75 c 1772s | 18 | 1466994 | 348452 | 15504 37 | 4197 | 0 1774.40/1774.85 c 1774s | 18 | 1468856 | 348852 | 15504 37 | 4197 | 0 1776.99/1777.42 c 1777s | 18 | 1471706 | 349452 | 15504 37 | 4197 | 0 1778.99/1779.43 c 1779s | 18 | 1472642 | 349752 | 15504 38 | 4197 | 0 1780.99/1781.45 c 1781s | 18 | 1476501 | 350152 | 15504 38 | 4197 | 0 1783.09/1783.56 c 1783s | 18 | 1479965 | 350752 | 15504 38 | 4197 | 0 1785.29/1785.75 c 1785s | 18 | 1482506 | 351452 | 15504 38 | 4197 | 0 1787.40/1787.82 c 1787s | 18 | 1485582 | 351852 | 15504 38 | 4197 | 0 1789.89/1790.35 c 1790s | 18 | 1488844 | 352252 | 15504 38 | 4197 | 0 1791.89/1792.39 c 1792s | 18 | 1491971 | 352652 | 15504 38 | 4197 | 0 1794.00/1794.42 c 1794s | 18 | 1495960 | 353152 | 15504 38 | 4197 | 0 1796.10/1796.53 c 1796s | 18 | 1499069 | 353752 | 15504 38 | 4197 | 0 1798.19/1798.70 c 1798s | 18 | 1504956 | 354552 | 15504 38 | 4197 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099897-1466209742/watcher-4099897-1466209742 -o /tmp/evaluation-result-4099897-1466209742/solver-4099897-1466209742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099897-1466209742.opb pid=24561 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 1.93 3/179 24564 /proc/meminfo: memFree=30745800/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=728508 CPUtime=0 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 2714 0 0 0 0 0 0 0 20 0 4 0 23019065 745992192 3076 33554432000 4194304 16246674 140734510541680 140734510541104 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 182639 3086 441 2943 0 179533 0 [pid=24564/tid=24565] ppid=24561 vsize=745916 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 763817984 3144 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=750012 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 768012288 3163 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=755132 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23019065 773255168 3182 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.00 2.01 1.93 3/179 24564 /proc/meminfo: memFree=30745800/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1299012 CPUtime=0.09 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 24636 0 0 0 5 4 0 0 20 0 4 0 23019065 1330188288 24935 33554432000 4194304 16246674 140734510541680 140734510540992 5931817 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 324753 24951 825 2943 0 321647 0 [pid=24564/tid=24565] ppid=24561 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1330188288 24962 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1330188288 24972 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1330188288 24981 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1299012 [startup+0.200539 s] /proc/loadavg: 2.00 2.01 1.93 3/179 24564 /proc/meminfo: memFree=30745800/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1307204 CPUtime=0.19 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 36435 0 0 0 13 6 0 0 20 0 4 0 23019065 1338576896 36734 33554432000 4194304 16246674 140734510541680 140734510540992 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 326801 36734 882 2943 0 323695 0 [pid=24564/tid=24565] ppid=24561 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1338576896 36734 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1338576896 36734 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1338576896 36734 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1307204 [startup+0.515312 s] /proc/loadavg: 2.00 2.01 1.93 3/179 24564 /proc/meminfo: memFree=30745800/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=0.51 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 43577 0 0 0 44 7 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140734510540992 5546243 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 43876 885 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1311300 [startup+0.700417 s] /proc/loadavg: 2.00 2.01 1.93 3/179 24564 /proc/meminfo: memFree=30745800/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=0.69 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 43577 0 0 0 62 7 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140734510540992 5711355 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 43876 885 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 43876 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1311300 [startup+1.50048 s] /proc/loadavg: 2.24 2.06 1.94 3/183 24568 /proc/meminfo: memFree=30394040/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=1.49 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 104849 0 0 0 134 15 0 0 20 0 4 0 23019065 1342771200 105149 33554432000 4194304 16246674 140734510541680 140734510523584 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 105156 885 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 105157 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 105157 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 105160 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1311300 [startup+3.10042 s] /proc/loadavg: 2.24 2.06 1.94 3/183 24568 /proc/meminfo: memFree=30002572/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=3.09 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 185707 0 0 0 284 25 0 0 20 0 4 0 23019065 1342771200 186006 33554432000 4194304 16246674 140734510541680 140734510523584 13781202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 186006 885 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 186006 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 186006 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 186006 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1311300 [startup+6.30042 s] /proc/loadavg: 2.22 2.05 1.94 3/183 24568 /proc/meminfo: memFree=29670500/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=6.29 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 268792 0 0 0 594 35 0 0 20 0 4 0 23019065 1342771200 269091 33554432000 4194304 16246674 140734510541680 140734510523584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 269091 885 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269091 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269091 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269091 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.20 2.05 1.94 3/183 24568 /proc/meminfo: memFree=29669304/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 269008 0 0 0 1234 35 0 0 20 0 4 0 23019065 1342771200 269307 33554432000 4194304 16246674 140734510541680 140734510523584 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 269307 889 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269307 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269307 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269307 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5004 s] /proc/loadavg: 2.16 2.05 1.94 3/183 24568 /proc/meminfo: memFree=29669552/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 269011 0 0 0 2514 35 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140734510523584 13780585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 269310 889 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1004 s] /proc/loadavg: 2.10 2.05 1.94 3/183 24617 /proc/meminfo: memFree=30113348/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1311300 CPUtime=51.08 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 269011 0 0 0 5073 35 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140734510523584 13943600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 327825 269310 889 2943 0 324719 0 [pid=24564/tid=24565] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1342771200 269310 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1311300 [startup+102.3 s] /proc/loadavg: 2.11 2.05 1.95 3/184 24621 /proc/meminfo: memFree=30105976/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1313348 CPUtime=102.28 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 269410 0 0 0 10192 36 0 0 20 0 4 0 23019065 1344868352 269703 33554432000 4194304 16246674 140734510541680 140734510523584 5545898 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 328337 269703 895 2943 0 325231 0 [pid=24564/tid=24565] ppid=24561 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1344868352 269703 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1344868352 269703 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1344868352 269703 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1346116 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.96 3/183 24653 /proc/meminfo: memFree=29631920/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1361.96 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277958 0 0 0 136155 41 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140734510523584 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278021 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1346116 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.96 3/183 24654 /proc/meminfo: memFree=29632160/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1421.95 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277958 0 0 0 142154 41 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140734510523584 13781202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278021 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278021 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1346116 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/183 24655 /proc/meminfo: memFree=29632256/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1481.93 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 148152 41 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1346116 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/183 24656 /proc/meminfo: memFree=29632256/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1541.92 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 154151 41 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 13781202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1346116 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 1.96 3/183 24657 /proc/meminfo: memFree=29632132/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1601.92 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 160150 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 1346116 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 1.97 3/183 24659 /proc/meminfo: memFree=29632372/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1661.92 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 166150 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 1346116 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 1.97 3/183 24660 /proc/meminfo: memFree=29632372/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1721.9 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 172148 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 1346116 [startup+1782.31 s] /proc/loadavg: 2.01 2.01 1.97 3/183 24661 /proc/meminfo: memFree=29631996/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1781.9 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 178148 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 12483583 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 1346116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.01 1.97 3/183 24661 /proc/meminfo: memFree=29631996/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1800.09 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 179967 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1346116 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 24564 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.00 2.01 1.97 3/183 24661 /proc/meminfo: memFree=29631996/32872528 swapFree=7780/7780 [pid=24564] ppid=24561 vsize=1346116 CPUtime=1800.09 cores=1,3,5,7 /proc/24564/stat : 24564 (toysat) R 24561 24564 23276 0 -1 4202496 277959 0 0 0 179967 42 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140734510523584 5712004 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/24564/statm: 336529 278024 896 2943 0 333423 0 [pid=24564/tid=24565] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24565/stat : 24565 (toysat) S 24561 24564 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619427065072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=24564/tid=24566] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24566/stat : 24566 (toysat) S 24561 24564 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619416575216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=24564/tid=24567] ppid=24561 vsize=1346116 CPUtime=0 cores=1,3,5,7 /proc/24564/task/24567/stat : 24567 (toysat) S 24561 24564 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23019065 1378422784 278024 33554432000 4194304 16246674 140734510541680 140619406101680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1346116 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.1 CPU user time (s): 1799.68 CPU system time (s): 0.422935 CPU usage (%): 99.9774 Max. virtual memory (cumulated for all children) (KiB): 1346116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.422935 maximum resident set size= 1112096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277959 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= 252 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.37733 second user time and 7.13591 second system time The end
Begin job on node151 at 2016-06-18 02:29:02 IDJOB=4099897 IDBENCH=1548 IDSOLVER=2542 FILE ID=node151/4099897-1466209742 RUNJOBID= node151-1466206051-23293 PBS_JOBID= 19918135 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran6x43.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099897-1466209742/watcher-4099897-1466209742 -o /tmp/evaluation-result-4099897-1466209742/solver-4099897-1466209742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099897-1466209742.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6ddbc05dc60ac3abba60700f70e1bd54 RANDOM SEED=1924093420 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: 30746336 kB Buffers: 44116 kB Cached: 217360 kB SwapCached: 2016 kB Active: 1243628 kB Inactive: 168976 kB Active(anon): 1151740 kB Inactive(anon): 1744 kB Active(file): 91888 kB Inactive(file): 167232 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099164 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 1272676 kB Mapped: 11864 kB Shmem: 0 kB Slab: 573444 kB SReclaimable: 17228 kB SUnreclaim: 556216 kB KernelStack: 1520 kB PageTables: 6456 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1299428 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1257472 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= 71708 MiB End job on node151 at 2016-06-18 02:59:03