| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb |
| MD5SUM | 65e439e03cbe6c14c849336d6093c9a6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 26494 |
| Total number of constraints | 657 |
| 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 | 657 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 1427 |
| Number of terms in the objective function | 120 |
| Biggest coefficient in the objective function | 65537 |
| Number of bits for the biggest coefficient in the objective function | 17 |
| Sum of the numbers in the objective function | 524404 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262399 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 525515 |
| 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-18T05:31:31+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-4101113-1466220691.opb"] 0.00/0.01 c use --random-gen="3326143339 892335124 2316678347 1722164823 4164684306 1132639366 443518131 639204744 3040773507 1622607727 3659610190 1675076204 2403722542 2860729085 2160869181 1320367140 4190593154 3537914762 2400926814 1905829200 2266069385 792959894 1034685086 1910739840 970608074 948450320 516098320 3000409457 4057123899 1032272661 2526694602 2992087323 3443377254 1591673127 1798168844 2645164160 3053413432 2358724738 2627628030 1674035738 4278252128 1861404792 4137003110 1838887166 1837526241 416527491 2322326784 3733932972 1797728163 2632129080 948827889 2025416796 1129065945 3923841711 3139141390 2695157413 3163390408 603271381 1588204010 979504880 3187206841 2365307549 1203665185 1086743597 4097689591 933716023 1333424306 1942480570 4174360018 4140856135 3772511023 2782415049 3688867827 205443668 664257909 4019131323 1934421395 3985572590 2843747915 1829186425 3540055849 4276589738 1208413507 878412998 33118927 57021937 3159845795 641491625 1138813584 2704486499 1754614621 3559790602 299082104 2709765217 3490720849 638385835 2923637342 3853840767 2098646982 2141114481 372861789 307434079 1622079132 47088397 1109743917 4030616401 1365468841 1655595199 3447349386 2549948107 1660833550 1692532825 2295725188 2359776550 2351113628 3662916603 2084300879 538382047 4170836028 1763040858 1537184597 3116776598 1182323438 3743947240 2525173874 334342949 2160261597 3189261747 1210987432 3312721 2703147357 1185547265 2591709188 3831800723 480542849 1439757531 674377464 3262694617 1526242374 521001295 3424644294 1902985532 3621762313 3194148594 2623442753 3080341023 3472683747 2879754477 704343463 3874978241 532628278 2434570211 2109543874 2370158124 2872538378 776204280 842246244 2794991305 1256490151 2015653522 3671118745 3178142525 4005108599 135016335 3020767790 1646156889 354523893 3054468134 1726273205 1004925898 3173339697 3459156394 1647256375 3746783234 3794117046 317545413 3270879761 3919738308 1052250024 1351611198 1067945034 612858694 1000546472 307945653 3164712271 2078190275 2080218873 1015492559 2716175195 3864560692 2022369468 543473313 2342140506 2991633939 3007860490 4178982068 3741987141 2009564047 1101749306 2678692741 4024278799 2831411592 3922896457 986847300 887485999 4180802797 1695270129 3808198598 2958033663 1829794330 160321552 3688982693 4099877904 1711954914 4106181405 987637770 837260811 1482125370 4222812102 1709776365 1466342119 567431304 2399661163 3330823014 996632212 1325467583 1393885291 130231138 1218510515 3095977860 1722190860 1613501594 3509476543 2421723171 1812605693 1616540519 1265339260 2456994460 1979633929 1056877792 3715527863 1037643701 3178999123 3580529918 1668981802 338786183 2443004023 2652613813 2441160468 3321889156 281463652 1056669770 2748893361 2952051852 2923260580 310243202 255 362436" option to reproduce the execution 0.18/0.27 c #vars 26494 0.18/0.27 c #constraints 657 8.18/8.20 c BCD2: Hardening is enabled. 8.18/8.20 c BCD2: BiasedSearch is enabled. 8.18/8.20 c Solving starts ... 8.18/8.20 c ============================[ Search Statistics ]============================ 8.18/8.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.18/8.20 c | | | | Limit GC | Var | Constra 8.18/8.20 c ============================================================================= 8.18/8.20 c 0.0s | 0 | 0 | 0 | 9142 0 | 3141 | 0 8.18/8.26 c 0.1s | 1 | 186 | 100 | 9142 0 | 3142 | 21 8.29/8.36 c 0.2s | 2 | 782 | 250 | 10057 0 | 3143 | 21 8.38/8.48 c 0.3s | 3 | 1300 | 475 | 11063 0 | 3143 | 21 8.68/8.76 c 0.6s | 4 | 1695 | 813 | 12170 0 | 3143 | 21 9.09/9.17 c 1.0s | 5 | 2330 | 1320 | 13388 0 | 3143 | 21 10.09/10.18 c 2.0s | 6 | 3338 | 2081 | 16200 0 | 3143 | 21 12.18/12.22 c 4.0s | 7 | 4713 | 3223 | 17820 0 | 3143 | 21 14.18/14.23 c 6.0s | 7 | 8130 | 4423 | 17820 0 | 3145 | 21 14.88/14.91 c 6.7s | 8 | 9932 | 4936 | 19602 0 | 3145 | 21 16.88/16.95 c 8.8s | 8 | 13094 | 5936 | 19602 0 | 3145 | 21 18.89/18.99 c 10.8s | 8 | 15300 | 6936 | 19602 0 | 3145 | 21 19.88/19.93 c 11.7s | 9 | 16247 | 7506 | 21563 0 | 3145 | 21 21.88/21.99 c 13.8s | 9 | 17632 | 8406 | 21563 0 | 3145 | 21 23.98/24.08 c 15.9s | 9 | 19525 | 9306 | 21563 0 | 3145 | 21 26.08/26.16 c 18.0s | 9 | 21003 | 10406 | 21563 0 | 3145 | 21 27.69/27.74 c 19.5s | 10 | 22087 | 11361 | 23720 0 | 3145 | 21 29.89/29.96 c 21.8s | 10 | 24732 | 12161 | 23720 0 | 3145 | 21 31.88/31.99 c 23.8s | 10 | 27116 | 13061 | 23720 0 | 3145 | 21 34.08/34.19 c 26.0s | 10 | 29004 | 14061 | 23720 0 | 3145 | 21 36.18/36.23 c 28.0s | 10 | 30809 | 14961 | 23720 0 | 3145 | 21 38.28/38.31 c 30.1s | 10 | 32919 | 15861 | 23720 0 | 3146 | 21 40.28/40.37 c 32.2s | 10 | 34309 | 16761 | 23720 0 | 3146 | 21 41.18/41.30 c 33.1s | 11 | 34778 | 17144 | 26093 0 | 3146 | 21 43.38/43.42 c 35.2s | 11 | 37096 | 18244 | 26093 0 | 3146 | 21 45.39/45.45 c 37.3s | 11 | 39443 | 19344 | 26093 0 | 3146 | 21 47.38/47.46 c 39.3s | 11 | 41452 | 20444 | 26093 0 | 3146 | 21 49.48/49.54 c 41.3s | 11 | 43949 | 21644 | 26093 0 | 3146 | 21 51.48/51.56 c 43.4s | 11 | 46354 | 22744 | 26093 0 | 3146 | 21 53.68/53.78 c 45.6s | 11 | 47547 | 23644 | 26093 0 | 3146 | 21 55.78/55.84 c 47.6s | 11 | 48590 | 24444 | 26093 0 | 3146 | 21 57.78/57.88 c 49.7s | 11 | 50522 | 25444 | 26093 0 | 3146 | 21 58.48/58.53 c 50.3s | 12 | 51270 | 25819 | 28703 0 | 3146 | 21 60.58/60.63 c 52.4s | 12 | 53210 | 26719 | 28703 0 | 3146 | 21 62.58/62.67 c 54.5s | 12 | 56345 | 27919 | 28703 0 | 3146 | 21 64.88/64.90 c 56.7s | 12 | 59893 | 29119 | 28703 0 | 3146 | 21 66.97/67.03 c 58.8s | 12 | 61935 | 30119 | 28703 0 | 3146 | 21 68.97/69.07 c 60.9s | 12 | 64779 | 31119 | 28703 0 | 3146 | 21 71.07/71.12 c 62.9s | 12 | 69233 | 32319 | 28703 0 | 3146 | 21 73.37/73.49 c 65.3s | 12 | 72506 | 33419 | 28703 1 | 3146 | 21 75.57/75.62 c 67.4s | 12 | 75548 | 34519 | 28703 1 | 3146 | 21 77.67/77.73 c 69.5s | 12 | 77572 | 35419 | 28703 1 | 3146 | 21 79.77/79.83 c 71.6s | 12 | 79463 | 36219 | 28703 1 | 3146 | 21 81.97/82.04 c 73.8s | 12 | 81435 | 37219 | 28703 1 | 3146 | 21 84.17/84.21 c 76.0s | 12 | 83900 | 38219 | 28703 1 | 3146 | 21 85.47/85.51 c 77.3s | 13 | 85441 | 38832 | 31574 1 | 3146 | 21 87.57/87.64 c 79.4s | 13 | 87179 | 39632 | 31574 1 | 3146 | 21 89.57/89.66 c 81.5s | 13 | 88951 | 40532 | 31574 1 | 3146 | 21 91.87/91.90 c 83.7s | 13 | 91376 | 41732 | 31574 1 | 3146 | 21 94.07/94.13 c 85.9s | 13 | 93004 | 42632 | 31574 1 | 3146 | 21 96.17/96.28 c 88.1s | 13 | 94574 | 43632 | 31574 1 | 3146 | 21 98.37/98.40 c 90.2s | 13 | 96226 | 44532 | 31574 1 | 3146 | 21 100.47/100.55 c 92.4s | 13 | 98235 | 45432 | 31574 1 | 3146 | 21 102.67/102.74 c 94.5s | 13 | 99705 | 46232 | 31574 1 | 3146 | 21 104.87/104.99 c 96.8s | 13 | 101156 | 47032 | 31574 1 | 3146 | 21 107.07/107.18 c 99.0s | 13 | 102530 | 47932 | 31574 1 | 3146 | 21 109.27/109.35 c 101s | 13 | 103880 | 48932 | 31574 1 | 3146 | 21 111.47/111.52 c 103s | 13 | 105518 | 49932 | 31574 1 | 3146 | 21 113.67/113.77 c 105s | 13 | 106998 | 50932 | 31574 1 | 3146 | 21 115.87/115.90 c 107s | 13 | 108089 | 51632 | 31574 1 | 3146 | 21 117.97/118.01 c 109s | 13 | 110045 | 52532 | 31574 2 | 3146 | 21 120.07/120.12 c 111s | 13 | 112314 | 53632 | 31574 2 | 3146 | 21 122.27/122.32 c 114s | 13 | 114315 | 54732 | 31574 2 | 3146 | 21 124.27/124.35 c 116s | 13 | 116555 | 55832 | 31574 2 | 3146 | 21 126.47/126.50 c 118s | 13 | 118988 | 56832 | 31574 2 | 3146 | 21 128.67/128.71 c 120s | 13 | 121804 | 57932 | 31574 2 | 3146 | 21 129.47/129.53 c 121s | 14 | 123457 | 58352 | 34732 2 | 3146 | 21 131.57/131.67 c 123s | 14 | 126376 | 59452 | 34732 2 | 3146 | 21 133.66/133.73 c 125s | 14 | 129160 | 60552 | 34732 2 | 3146 | 21 135.86/135.92 c 127s | 14 | 132876 | 61552 | 34732 2 | 3146 | 21 137.96/138.06 c 129s | 14 | 135546 | 62452 | 34732 2 | 3146 | 21 140.06/140.20 c 131s | 14 | 138337 | 63652 | 34732 2 | 3146 | 21 142.26/142.32 c 134s | 14 | 140090 | 64652 | 34732 2 | 3146 | 21 144.27/144.33 c 136s | 14 | 142038 | 65752 | 34732 2 | 3146 | 21 146.26/146.39 c 138s | 14 | 143699 | 66852 | 34732 2 | 3146 | 21 148.36/148.43 c 140s | 14 | 145932 | 68152 | 34732 2 | 3146 | 21 150.36/150.44 c 142s | 14 | 148250 | 69352 | 34732 2 | 3146 | 21 152.46/152.55 c 144s | 14 | 150280 | 70552 | 34732 2 | 3146 | 21 154.46/154.58 c 146s | 14 | 151422 | 71452 | 34732 2 | 3146 | 21 156.66/156.72 c 148s | 14 | 153042 | 72552 | 34732 2 | 3146 | 21 158.86/158.94 c 150s | 14 | 154686 | 73852 | 34732 2 | 3146 | 21 160.96/161.03 c 152s | 14 | 156362 | 74852 | 34732 3 | 3146 | 21 163.07/163.18 c 154s | 14 | 159065 | 76152 | 34732 3 | 3146 | 21 165.17/165.29 c 157s | 14 | 162726 | 77352 | 34732 3 | 3146 | 21 167.26/167.39 c 159s | 14 | 165973 | 78552 | 34732 3 | 3146 | 21 169.36/169.47 c 161s | 14 | 168665 | 79752 | 34732 3 | 3146 | 21 171.66/171.70 c 163s | 14 | 170929 | 80752 | 34732 3 | 3146 | 21 173.66/173.75 c 165s | 14 | 172838 | 82052 | 34732 3 | 3146 | 21 175.77/175.87 c 167s | 14 | 174548 | 83552 | 34732 3 | 3146 | 21 177.87/177.98 c 169s | 14 | 175894 | 84652 | 34732 3 | 3146 | 21 179.96/180.03 c 171s | 14 | 176984 | 85652 | 34732 3 | 3146 | 21 181.96/182.08 c 173s | 14 | 178214 | 86652 | 34732 3 | 3146 | 21 183.66/183.76 c 175s | 15 | 180740 | 87632 | 38206 3 | 3146 | 21 185.86/185.95 c 177s | 15 | 182811 | 88232 | 38206 3 | 3146 | 21 188.06/188.10 c 179s | 15 | 184454 | 88932 | 38206 3 | 3146 | 21 190.16/190.26 c 182s | 15 | 186204 | 89632 | 38206 3 | 3146 | 21 192.46/192.51 c 184s | 15 | 187687 | 90432 | 38206 3 | 3146 | 21 194.66/194.73 c 186s | 15 | 189713 | 91332 | 38206 3 | 3146 | 21 196.66/196.77 c 188s | 15 | 191366 | 92232 | 38206 3 | 3146 | 21 198.86/198.97 c 190s | 15 | 193667 | 93232 | 38206 3 | 3146 | 21 201.06/201.17 c 192s | 15 | 196129 | 94432 | 38206 3 | 3146 | 21 203.06/203.19 c 194s | 15 | 197827 | 95232 | 38206 3 | 3146 | 21 205.16/205.21 c 197s | 15 | 199020 | 96232 | 38206 3 | 3146 | 21 207.16/207.25 c 199s | 15 | 200161 | 97332 | 38206 3 | 3146 | 21 209.17/209.29 c 201s | 15 | 201145 | 98232 | 38206 4 | 3146 | 21 211.37/211.47 c 203s | 15 | 202385 | 99432 | 38206 4 | 3146 | 21 213.36/213.48 c 205s | 15 | 203501 | 100532 | 38206 4 | 3146 | 21 215.56/215.61 c 207s | 15 | 204719 | 101532 | 38206 4 | 3146 | 21 217.66/217.76 c 209s | 15 | 205766 | 102532 | 38206 4 | 3146 | 21 219.76/219.87 c 211s | 15 | 206829 | 103532 | 38206 4 | 3146 | 21 221.86/221.92 c 213s | 15 | 207879 | 104532 | 38206 4 | 3146 | 21 224.06/224.15 c 215s | 15 | 208975 | 105532 | 38206 4 | 3146 | 21 226.16/226.26 c 218s | 15 | 209890 | 106432 | 38206 4 | 3146 | 21 228.16/228.28 c 220s | 15 | 210895 | 107432 | 38206 4 | 3146 | 21 230.26/230.37 c 222s | 15 | 211816 | 108332 | 38206 4 | 3146 | 21 232.26/232.39 c 224s | 15 | 212691 | 109132 | 38206 4 | 3146 | 21 234.46/234.53 c 226s | 15 | 213933 | 110232 | 38206 4 | 3146 | 21 236.56/236.68 c 228s | 15 | 215089 | 111332 | 38206 4 | 3146 | 21 238.76/238.82 c 230s | 15 | 215995 | 112232 | 38206 4 | 3146 | 21 240.76/240.88 c 232s | 15 | 216899 | 113132 | 38206 4 | 3146 | 21 242.86/242.91 c 234s | 15 | 217928 | 114032 | 38206 4 | 3146 | 21 244.85/244.98 c 236s | 15 | 219103 | 115032 | 38206 4 | 3146 | 21 247.05/247.13 c 238s | 15 | 220248 | 116032 | 38206 4 | 3146 | 21 249.25/249.34 c 241s | 15 | 221197 | 116932 | 38206 4 | 3146 | 21 251.55/251.61 c 243s | 15 | 222187 | 117832 | 38206 4 | 3146 | 21 253.65/253.79 c 245s | 15 | 223314 | 118732 | 38206 4 | 3146 | 21 255.85/255.96 c 247s | 15 | 224344 | 119532 | 38206 5 | 3146 | 21 258.15/258.23 c 250s | 15 | 225565 | 120632 | 38206 5 | 3146 | 21 260.35/260.41 c 252s | 15 | 226591 | 121632 | 38206 5 | 3146 | 21 262.55/262.62 c 254s | 15 | 227501 | 122532 | 38206 5 | 3146 | 21 264.75/264.86 c 256s | 15 | 228502 | 123532 | 38206 5 | 3146 | 21 266.75/266.87 c 258s | 15 | 229471 | 124432 | 38206 5 | 3146 | 21 268.85/268.94 c 260s | 15 | 230717 | 125432 | 38206 5 | 3146 | 21 270.94/271.01 c 262s | 15 | 231904 | 126432 | 38206 5 | 3146 | 21 273.05/273.13 c 264s | 15 | 233021 | 127432 | 38206 5 | 3146 | 21 275.15/275.27 c 267s | 15 | 234098 | 128432 | 38206 5 | 3146 | 21 277.35/277.42 c 269s | 15 | 235076 | 129332 | 38206 5 | 3146 | 21 279.44/279.57 c 271s | 15 | 236386 | 130332 | 38206 5 | 3146 | 21 281.44/281.58 c 273s | 15 | 237398 | 131232 | 42027 5 | 3146 | 21 282.14/282.24 c 274s | 16 | 237757 | 131552 | 42027 5 | 3146 | 21 284.34/284.45 c 276s | 16 | 238693 | 132252 | 42027 5 | 3146 | 21 286.54/286.61 c 278s | 16 | 240663 | 133352 | 42027 5 | 3146 | 21 288.54/288.63 c 280s | 16 | 243652 | 134352 | 42027 5 | 3146 | 21 290.65/290.74 c 282s | 16 | 246119 | 135552 | 42027 5 | 3146 | 21 292.75/292.83 c 284s | 16 | 248870 | 136552 | 42027 5 | 3146 | 21 294.75/294.88 c 286s | 16 | 250996 | 137452 | 42027 5 | 3146 | 21 296.85/296.93 c 288s | 16 | 254050 | 138352 | 42027 5 | 3146 | 21 298.94/299.07 c 290s | 16 | 255909 | 139052 | 42027 5 | 3146 | 21 301.04/301.11 c 292s | 16 | 257441 | 139952 | 42027 5 | 3146 | 21 303.14/303.26 c 295s | 16 | 258503 | 140952 | 42027 5 | 3146 | 21 305.14/305.27 c 297s | 16 | 259917 | 141852 | 42027 5 | 3146 | 21 307.34/307.45 c 299s | 16 | 262567 | 142952 | 42027 5 | 3146 | 21 309.44/309.52 c 301s | 16 | 264138 | 144352 | 42027 5 | 3146 | 21 311.64/311.72 c 303s | 16 | 265225 | 145252 | 42027 6 | 3146 | 21 313.65/313.76 c 305s | 16 | 266410 | 146152 | 42027 6 | 3146 | 21 315.74/315.84 c 307s | 16 | 269393 | 147152 | 42027 6 | 3146 | 21 317.94/318.01 c 309s | 16 | 272462 | 148352 | 42027 6 | 3146 | 21 320.14/320.21 c 312s | 16 | 275870 | 149552 | 42027 6 | 3146 | 21 322.14/322.23 c 314s | 16 | 278821 | 150452 | 42027 6 | 3146 | 21 324.14/324.23 c 316s | 16 | 280039 | 151552 | 42027 6 | 3146 | 21 326.84/326.97 c 318s | 16 | 281238 | 152252 | 42027 6 | 3146 | 21 328.93/329.07 c 320s | 16 | 282440 | 153152 | 42027 6 | 3146 | 21 331.13/331.28 c 323s | 16 | 285043 | 153952 | 42027 6 | 3146 | 21 333.23/333.31 c 325s | 16 | 286850 | 154852 | 42027 6 | 3146 | 21 335.23/335.34 c 327s | 16 | 288692 | 155752 | 42027 6 | 3146 | 21 337.33/337.47 c 329s | 16 | 291084 | 156752 | 42027 6 | 3146 | 21 339.53/339.62 c 331s | 16 | 293518 | 157452 | 42027 6 | 3146 | 21 341.63/341.76 c 333s | 16 | 296149 | 158352 | 42027 6 | 3146 | 21 343.73/343.82 c 335s | 16 | 299919 | 159452 | 42027 6 | 3146 | 21 345.73/345.83 c 337s | 16 | 302528 | 160352 | 42027 6 | 3146 | 21 347.84/347.95 c 339s | 16 | 307715 | 161252 | 42027 6 | 3146 | 21 349.83/349.95 c 341s | 16 | 309987 | 162552 | 42027 6 | 3146 | 21 351.93/352.06 c 343s | 16 | 311634 | 163952 | 42027 6 | 3146 | 21 354.03/354.13 c 345s | 16 | 312899 | 165052 | 42027 6 | 3146 | 21 356.13/356.22 c 348s | 16 | 314443 | 166452 | 42027 6 | 3146 | 21 358.53/358.64 c 350s | 16 | 316166 | 167852 | 42027 7 | 3146 | 21 360.53/360.69 c 352s | 16 | 317506 | 168452 | 42027 7 | 3146 | 21 362.83/362.92 c 354s | 16 | 319607 | 169352 | 42027 7 | 3146 | 21 364.94/365.00 c 356s | 16 | 321015 | 170252 | 42027 7 | 3146 | 21 367.04/367.13 c 358s | 16 | 322649 | 171152 | 42027 7 | 3146 | 21 369.13/369.22 c 361s | 16 | 324177 | 171952 | 42027 7 | 3146 | 21 371.13/371.23 c 363s | 16 | 325774 | 173452 | 42027 7 | 3146 | 21 373.24/373.31 c 365s | 16 | 327478 | 175052 | 42027 7 | 3146 | 21 375.24/375.32 c 367s | 16 | 329150 | 176652 | 42027 7 | 3146 | 21 377.23/377.38 c 369s | 16 | 330804 | 178252 | 42027 7 | 3146 | 21 379.33/379.49 c 371s | 16 | 332158 | 179552 | 42027 7 | 3146 | 21 381.53/381.62 c 373s | 16 | 333820 | 181052 | 42027 7 | 3146 | 21 383.63/383.75 c 375s | 16 | 335142 | 182252 | 42027 7 | 3146 | 21 385.73/385.86 c 377s | 16 | 336729 | 183652 | 42027 7 | 3146 | 21 387.93/388.08 c 379s | 16 | 338870 | 184652 | 42027 7 | 3147 | 21 389.93/390.09 c 381s | 16 | 341333 | 185452 | 42027 7 | 3147 | 21 392.13/392.20 c 384s | 16 | 343795 | 186352 | 42027 7 | 3147 | 21 394.23/394.30 c 386s | 16 | 345407 | 187452 | 42027 7 | 3147 | 21 396.23/396.34 c 388s | 16 | 348394 | 188252 | 42027 7 | 3147 | 21 398.53/398.61 c 390s | 16 | 350246 | 189152 | 42027 7 | 3147 | 21 400.63/400.77 c 392s | 16 | 351578 | 189952 | 42027 7 | 3147 | 21 402.83/402.98 c 394s | 16 | 353348 | 190952 | 42027 7 | 3147 | 21 405.03/405.10 c 396s | 16 | 355345 | 191952 | 42027 8 | 3147 | 21 407.13/407.24 c 399s | 16 | 358512 | 193152 | 42027 8 | 3147 | 21 409.22/409.38 c 401s | 16 | 360691 | 194352 | 42027 8 | 3147 | 21 411.42/411.59 c 403s | 16 | 362970 | 195452 | 42027 8 | 3147 | 21 413.62/413.76 c 405s | 16 | 366023 | 196552 | 46230 8 | 3147 | 21 415.42/415.52 c 407s | 17 | 368392 | 197432 | 46230 8 | 3147 | 21 417.62/417.71 c 409s | 17 | 370724 | 198332 | 46230 8 | 3147 | 21 419.62/419.73 c 411s | 17 | 373328 | 199232 | 46230 8 | 3147 | 21 421.72/421.82 c 413s | 17 | 375406 | 200232 | 46230 8 | 3147 | 21 423.82/423.95 c 415s | 17 | 378095 | 201232 | 46230 8 | 3147 | 21 425.93/426.05 c 417s | 17 | 379840 | 202132 | 46230 8 | 3147 | 21 428.03/428.20 c 420s | 17 | 381869 | 202932 | 46230 8 | 3147 | 21 430.23/430.33 c 422s | 17 | 383321 | 204232 | 46230 8 | 3147 | 21 432.32/432.40 c 424s | 17 | 385053 | 205132 | 46230 8 | 3147 | 21 434.42/434.53 c 426s | 17 | 387899 | 206032 | 46230 8 | 3147 | 21 436.52/436.68 c 428s | 17 | 390977 | 206932 | 46230 8 | 3147 | 21 438.62/438.75 c 430s | 17 | 394165 | 207832 | 46230 8 | 3147 | 21 440.82/440.99 c 432s | 17 | 397351 | 208732 | 46230 8 | 3147 | 21 443.12/443.23 c 435s | 17 | 398260 | 209532 | 46230 8 | 3147 | 21 445.22/445.35 c 437s | 17 | 400786 | 210432 | 46230 8 | 3147 | 21 447.42/447.50 c 439s | 17 | 403279 | 211332 | 46230 8 | 3147 | 21 449.62/449.74 c 441s | 17 | 406122 | 212232 | 46230 8 | 3147 | 21 451.72/451.82 c 443s | 17 | 409099 | 213032 | 46230 8 | 3147 | 21 453.82/453.98 c 445s | 17 | 412188 | 213832 | 46230 8 | 3147 | 21 456.02/456.14 c 447s | 17 | 415294 | 214632 | 46230 8 | 3147 | 21 458.22/458.36 c 450s | 17 | 418307 | 215432 | 46230 8 | 3147 | 21 460.42/460.53 c 452s | 17 | 420148 | 216132 | 46230 8 | 3147 | 21 462.42/462.54 c 454s | 17 | 422277 | 216832 | 46230 8 | 3147 | 21 464.42/464.57 c 456s | 17 | 424906 | 217532 | 46230 8 | 3147 | 21 466.52/466.65 c 458s | 17 | 427451 | 218232 | 46230 8 | 3147 | 21 468.61/468.77 c 460s | 17 | 430046 | 218932 | 46230 8 | 3147 | 21 470.81/470.98 c 462s | 17 | 432653 | 219632 | 46230 9 | 3147 | 21 473.12/473.21 c 465s | 17 | 435259 | 220332 | 46230 9 | 3147 | 21 475.11/475.22 c 467s | 17 | 437703 | 221032 | 46230 9 | 3147 | 21 477.11/477.23 c 469s | 17 | 440188 | 221732 | 46230 9 | 3147 | 21 479.11/479.27 c 471s | 17 | 442640 | 222432 | 46230 9 | 3147 | 21 481.21/481.33 c 473s | 17 | 445116 | 223132 | 46230 9 | 3147 | 21 483.31/483.44 c 475s | 17 | 447567 | 223832 | 46230 9 | 3147 | 21 485.51/485.60 c 477s | 17 | 449777 | 224532 | 46230 9 | 3147 | 21 487.52/487.68 c 479s | 17 | 450412 | 225132 | 46230 9 | 3147 | 21 489.72/489.84 c 481s | 17 | 451154 | 225832 | 46230 9 | 3147 | 21 492.01/492.11 c 483s | 17 | 451819 | 226432 | 46230 9 | 3147 | 21 494.12/494.24 c 486s | 17 | 452345 | 226932 | 46230 9 | 3147 | 21 496.51/496.60 c 488s | 17 | 452992 | 227532 | 46230 9 | 3147 | 21 498.52/498.66 c 490s | 17 | 453545 | 228032 | 46230 9 | 3147 | 21 500.72/500.88 c 492s | 17 | 454823 | 228632 | 46230 9 | 3147 | 21 502.71/502.89 c 494s | 17 | 456615 | 229232 | 46230 9 | 3147 | 21 504.81/504.93 c 496s | 17 | 458627 | 229932 | 46230 9 | 3147 | 21 506.91/507.06 c 498s | 17 | 461009 | 230632 | 46230 9 | 3147 | 21 509.11/509.21 c 501s | 17 | 463536 | 231332 | 46230 9 | 3147 | 21 511.21/511.37 c 503s | 17 | 465154 | 231932 | 46230 9 | 3147 | 21 513.31/513.41 c 505s | 17 | 467297 | 232532 | 46230 9 | 3147 | 21 515.31/515.47 c 507s | 17 | 469496 | 233132 | 46230 9 | 3147 | 21 517.41/517.57 c 509s | 17 | 471793 | 233732 | 46230 9 | 3147 | 21 519.51/519.64 c 511s | 17 | 474103 | 234332 | 46230 9 | 3147 | 21 521.61/521.73 c 513s | 17 | 476369 | 234932 | 46230 9 | 3147 | 21 523.71/523.82 c 515s | 17 | 478653 | 235532 | 46230 9 | 3147 | 21 525.91/526.04 c 517s | 17 | 480902 | 236132 | 46230 9 | 3147 | 21 528.11/528.25 c 520s | 17 | 483107 | 236732 | 46230 9 | 3147 | 21 530.41/530.52 c 522s | 17 | 485310 | 237332 | 46230 9 | 3147 | 21 532.61/532.79 c 524s | 17 | 487578 | 237932 | 46230 9 | 3147 | 21 534.90/535.06 c 526s | 17 | 489710 | 238532 | 46230 9 | 3147 | 21 537.20/537.38 c 529s | 17 | 491958 | 239132 | 46230 9 | 3147 | 21 539.60/539.72 c 531s | 17 | 494104 | 239732 | 46230 9 | 3147 | 21 542.00/542.10 c 533s | 17 | 496143 | 240332 | 46230 9 | 3147 | 21 544.30/544.42 c 536s | 17 | 498232 | 240932 | 46230 9 | 3147 | 21 546.40/546.52 c 538s | 17 | 500011 | 241432 | 46230 9 | 3147 | 21 548.50/548.63 c 540s | 17 | 501778 | 241932 | 46230 9 | 3147 | 21 550.60/550.78 c 542s | 17 | 503506 | 242432 | 46230 9 | 3147 | 21 552.90/553.02 c 544s | 17 | 505434 | 242932 | 46230 9 | 3147 | 21 555.00/555.11 c 546s | 17 | 507115 | 243432 | 46230 9 | 3147 | 21 557.20/557.38 c 549s | 17 | 508989 | 243932 | 46230 9 | 3147 | 21 559.50/559.66 c 551s | 17 | 510895 | 244432 | 46230 9 | 3147 | 21 562.00/562.15 c 553s | 17 | 512058 | 244732 | 46230 10 | 3147 | 21 564.00/564.19 c 555s | 17 | 514320 | 245332 | 46230 10 | 3147 | 21 566.30/566.46 c 558s | 17 | 517390 | 246132 | 46230 10 | 3147 | 21 568.50/568.64 c 560s | 17 | 519036 | 246732 | 46230 10 | 3147 | 21 570.50/570.67 c 562s | 17 | 519591 | 247232 | 46230 10 | 3147 | 21 572.90/573.06 c 564s | 17 | 520318 | 247832 | 46230 10 | 3147 | 21 587.10/587.23 c 579s | 17 | 520781 | 248132 | 46230 10 | 3147 | 21 589.30/589.40 c 581s | 17 | 523042 | 248832 | 46230 10 | 3147 | 21 591.50/591.68 c 583s | 17 | 524653 | 249532 | 46230 10 | 3147 | 21 593.70/593.87 c 585s | 17 | 526127 | 250132 | 46230 10 | 3147 | 21 595.80/595.92 c 587s | 17 | 527720 | 250732 | 46230 10 | 3147 | 21 597.80/597.93 c 589s | 17 | 529434 | 251332 | 46230 10 | 3147 | 21 599.90/600.04 c 591s | 17 | 530266 | 251732 | 46230 10 | 3147 | 21 601.90/602.05 c 593s | 17 | 532230 | 252332 | 46230 10 | 3147 | 21 604.00/604.18 c 595s | 17 | 533801 | 252932 | 46230 10 | 3147 | 21 606.20/606.35 c 598s | 17 | 535449 | 253632 | 46230 10 | 3147 | 21 608.59/608.73 c 600s | 17 | 536936 | 254332 | 46230 10 | 3147 | 21 610.89/611.01 c 602s | 17 | 538758 | 255032 | 46230 10 | 3147 | 21 613.19/613.31 c 605s | 17 | 540635 | 255732 | 46230 10 | 3147 | 21 615.39/615.59 c 607s | 17 | 542593 | 256432 | 46230 10 | 3147 | 21 617.69/617.87 c 609s | 17 | 544673 | 257132 | 46230 10 | 3147 | 21 619.79/619.90 c 611s | 17 | 546494 | 257732 | 46230 10 | 3147 | 21 621.89/622.01 c 613s | 17 | 548753 | 258332 | 46230 10 | 3147 | 21 623.99/624.12 c 615s | 17 | 550915 | 258932 | 46230 10 | 3147 | 21 626.19/626.31 c 618s | 17 | 553079 | 259532 | 46230 10 | 3147 | 21 628.30/628.48 c 620s | 17 | 555332 | 260132 | 46230 10 | 3147 | 21 630.59/630.72 c 622s | 17 | 557152 | 260732 | 46230 10 | 3147 | 21 632.60/632.72 c 624s | 17 | 558458 | 261332 | 46230 10 | 3147 | 21 634.69/634.85 c 626s | 17 | 560301 | 261932 | 46230 10 | 3147 | 21 636.69/636.86 c 628s | 17 | 562006 | 262532 | 46230 10 | 3147 | 21 638.79/638.95 c 630s | 17 | 562572 | 263032 | 46230 10 | 3147 | 21 641.09/641.21 c 633s | 17 | 564256 | 263632 | 46230 10 | 3147 | 21 643.29/643.48 c 635s | 17 | 565939 | 264232 | 46230 10 | 3147 | 21 645.59/645.71 c 637s | 17 | 566676 | 264832 | 46230 10 | 3147 | 21 647.89/648.02 c 639s | 17 | 567231 | 265332 | 46230 10 | 3147 | 21 649.89/650.06 c 641s | 17 | 567769 | 265832 | 46230 10 | 3147 | 21 652.19/652.36 c 644s | 17 | 568887 | 266532 | 46230 10 | 3147 | 21 654.49/654.67 c 646s | 17 | 569750 | 267132 | 46230 10 | 3147 | 21 656.79/656.98 c 648s | 17 | 571253 | 267732 | 46230 10 | 3147 | 21 659.09/659.26 c 651s | 17 | 573123 | 268332 | 46230 10 | 3147 | 21 661.29/661.43 c 653s | 17 | 574435 | 268832 | 46230 10 | 3147 | 21 663.59/663.75 c 655s | 17 | 575503 | 269332 | 46230 10 | 3147 | 21 665.79/665.93 c 657s | 17 | 576745 | 269832 | 46230 10 | 3147 | 21 668.89/669.03 c 660s | 17 | 577939 | 270232 | 46230 11 | 3147 | 21 670.88/671.08 c 662s | 17 | 580597 | 270932 | 46230 11 | 3147 | 21 672.98/673.11 c 664s | 17 | 582229 | 271632 | 46230 11 | 3147 | 21 675.18/675.32 c 667s | 17 | 584753 | 272432 | 46230 11 | 3147 | 21 677.48/677.61 c 669s | 17 | 587399 | 273232 | 46230 11 | 3147 | 21 681.39/681.58 c 673s | 17 | 589897 | 274032 | 46230 11 | 3147 | 21 683.69/683.86 c 675s | 17 | 590754 | 274732 | 46230 11 | 3147 | 21 685.79/685.92 c 677s | 17 | 592360 | 275432 | 46230 11 | 3147 | 21 687.89/688.06 c 679s | 17 | 595237 | 276232 | 46230 11 | 3147 | 21 690.09/690.24 c 682s | 17 | 598268 | 277032 | 46230 11 | 3147 | 21 692.09/692.27 c 684s | 17 | 600819 | 277732 | 46230 11 | 3147 | 21 694.09/694.30 c 686s | 17 | 603323 | 278432 | 46230 11 | 3147 | 21 696.29/696.44 c 688s | 17 | 605656 | 279132 | 46230 11 | 3147 | 21 698.49/698.62 c 690s | 17 | 608130 | 279832 | 46230 11 | 3147 | 21 700.68/700.89 c 692s | 17 | 610631 | 280532 | 46230 11 | 3147 | 21 704.48/704.60 c 696s | 17 | 611518 | 281132 | 46230 11 | 3147 | 21 706.58/706.73 c 698s | 17 | 612973 | 281732 | 46230 11 | 3147 | 21 708.59/708.76 c 700s | 17 | 615240 | 282432 | 46230 11 | 3147 | 21 710.79/710.93 c 702s | 17 | 616894 | 283132 | 46230 11 | 3147 | 21 712.89/713.06 c 704s | 17 | 618662 | 283832 | 46230 11 | 3147 | 21 715.19/715.37 c 707s | 17 | 620148 | 284532 | 46230 11 | 3147 | 21 717.29/717.43 c 709s | 17 | 621427 | 285132 | 46230 11 | 3147 | 21 719.49/719.66 c 711s | 17 | 622146 | 285732 | 46230 11 | 3147 | 21 721.58/721.78 c 713s | 17 | 622976 | 286432 | 46230 11 | 3147 | 21 723.58/723.78 c 715s | 17 | 623996 | 287432 | 46230 11 | 3147 | 21 743.18/743.37 c 735s | 17 | 624305 | 287732 | 46230 11 | 3147 | 21 745.38/745.51 c 737s | 17 | 624819 | 288232 | 46230 11 | 3147 | 21 747.68/747.80 c 739s | 17 | 625371 | 288732 | 46230 11 | 3147 | 21 749.88/750.01 c 741s | 17 | 625893 | 289232 | 46230 11 | 3147 | 21 752.28/752.40 c 744s | 17 | 626499 | 289732 | 46230 11 | 3147 | 21 754.48/754.69 c 746s | 17 | 627017 | 290232 | 46230 11 | 3147 | 21 756.88/757.10 c 748s | 17 | 627584 | 290732 | 46230 11 | 3147 | 21 759.28/759.40 c 751s | 17 | 628107 | 291232 | 46230 11 | 3147 | 21 761.68/761.89 c 753s | 17 | 628692 | 291732 | 46230 11 | 3147 | 21 763.98/764.19 c 755s | 17 | 629263 | 292132 | 46230 11 | 3147 | 21 766.08/766.28 c 758s | 17 | 629773 | 292532 | 46230 11 | 3147 | 21 768.48/768.69 c 760s | 17 | 630356 | 293032 | 46230 11 | 3147 | 21 770.87/771.02 c 762s | 17 | 630966 | 293432 | 46230 11 | 3147 | 21 773.17/773.37 c 765s | 17 | 631689 | 293832 | 46230 11 | 3147 | 21 775.47/775.60 c 767s | 17 | 632285 | 294232 | 50854 11 | 3147 | 21 777.88/778.01 c 769s | 17 | 632922 | 294632 | 50854 11 | 3147 | 21 779.87/780.10 c 771s | 17 | 633392 | 295032 | 50854 11 | 3147 | 21 782.37/782.52 c 774s | 17 | 634439 | 295432 | 50854 11 | 3147 | 21 784.77/784.92 c 776s | 17 | 635236 | 296032 | 50854 11 | 3147 | 21 785.37/785.60 c 777s | 18 | 635487 | 296252 | 50854 11 | 3147 | 21 787.78/787.94 c 779s | 18 | 636450 | 296652 | 50854 11 | 3147 | 21 789.98/790.14 c 781s | 18 | 637528 | 297052 | 50854 11 | 3147 | 21 792.27/792.41 c 784s | 18 | 638264 | 297452 | 50854 11 | 3147 | 21 794.67/794.87 c 786s | 18 | 639209 | 297852 | 50854 11 | 3147 | 21 797.07/797.25 c 789s | 18 | 639923 | 298252 | 50854 11 | 3147 | 21 799.57/799.76 c 791s | 18 | 640692 | 298652 | 50854 11 | 3147 | 21 801.87/802.04 c 793s | 18 | 641543 | 299052 | 50854 11 | 3147 | 21 804.27/804.43 c 796s | 18 | 642066 | 299452 | 50854 11 | 3147 | 21 806.67/806.85 c 798s | 18 | 642817 | 299852 | 50854 11 | 3147 | 21 809.27/809.48 c 801s | 18 | 643756 | 300252 | 50854 11 | 3147 | 21 811.87/812.05 c 803s | 18 | 644082 | 300452 | 50854 12 | 3147 | 21 814.17/814.31 c 806s | 18 | 644999 | 301052 | 50854 12 | 3147 | 21 816.17/816.32 c 808s | 18 | 645863 | 301552 | 50854 12 | 3147 | 21 818.37/818.59 c 810s | 18 | 646957 | 302252 | 50854 12 | 3147 | 21 820.67/820.84 c 812s | 18 | 647815 | 302952 | 50854 12 | 3147 | 21 822.67/822.88 c 814s | 18 | 648620 | 303552 | 50854 12 | 3147 | 21 825.07/825.22 c 817s | 18 | 649516 | 304252 | 50854 12 | 3147 | 21 846.07/846.27 c 838s | 18 | 649812 | 304452 | 50854 12 | 3147 | 21 848.27/848.43 c 840s | 18 | 650786 | 305052 | 50854 12 | 3147 | 21 850.37/850.60 c 842s | 18 | 651932 | 305752 | 50854 12 | 3147 | 21 852.67/852.87 c 844s | 18 | 652781 | 306452 | 50854 12 | 3147 | 21 854.77/854.97 c 846s | 18 | 653700 | 307052 | 50854 12 | 3147 | 21 856.97/857.17 c 848s | 18 | 654629 | 307752 | 50854 12 | 3147 | 21 859.27/859.45 c 851s | 18 | 655568 | 308452 | 50854 12 | 3147 | 21 861.47/861.66 c 853s | 18 | 656337 | 309152 | 50854 12 | 3147 | 21 863.66/863.87 c 855s | 18 | 657060 | 309752 | 50854 12 | 3147 | 21 865.96/866.10 c 857s | 18 | 657893 | 310352 | 50854 12 | 3147 | 21 868.16/868.32 c 860s | 18 | 658717 | 311052 | 50854 12 | 3147 | 21 870.16/870.38 c 862s | 18 | 659469 | 311652 | 50854 12 | 3147 | 21 872.26/872.47 c 864s | 18 | 660483 | 312352 | 50854 12 | 3147 | 21 874.56/874.72 c 866s | 18 | 661502 | 313052 | 50854 12 | 3147 | 21 876.66/876.88 c 868s | 18 | 662263 | 313752 | 50854 12 | 3147 | 21 878.76/878.99 c 870s | 18 | 662909 | 314352 | 50854 12 | 3147 | 21 880.96/881.19 c 872s | 18 | 663716 | 315052 | 50854 12 | 3147 | 21 883.06/883.27 c 875s | 18 | 664448 | 315652 | 50854 12 | 3147 | 21 885.35/885.52 c 877s | 18 | 665215 | 316252 | 50854 12 | 3147 | 21 887.66/887.84 c 879s | 18 | 666107 | 316852 | 50854 12 | 3147 | 21 889.75/889.92 c 881s | 18 | 666908 | 317452 | 50854 12 | 3147 | 21 892.16/892.31 c 884s | 18 | 667867 | 318052 | 50854 12 | 3147 | 21 894.46/894.61 c 886s | 18 | 668785 | 318652 | 50854 12 | 3147 | 21 896.66/896.83 c 888s | 18 | 669470 | 319152 | 50854 12 | 3147 | 21 898.95/899.19 c 890s | 18 | 670330 | 319852 | 50854 12 | 3147 | 21 901.06/901.23 c 893s | 18 | 670919 | 320352 | 50854 12 | 3147 | 21 903.16/903.35 c 895s | 18 | 671574 | 320952 | 50854 12 | 3147 | 21 905.36/905.58 c 897s | 18 | 672232 | 321552 | 50854 12 | 3147 | 21 907.45/907.70 c 899s | 18 | 672847 | 322052 | 50854 12 | 3147 | 21 909.65/909.83 c 901s | 18 | 673406 | 322552 | 50854 12 | 3147 | 21 911.75/911.94 c 903s | 18 | 674000 | 323052 | 50854 12 | 3147 | 21 914.05/914.29 c 906s | 18 | 674723 | 323652 | 50854 12 | 3147 | 21 916.25/916.40 c 908s | 18 | 675305 | 324152 | 50854 12 | 3147 | 21 918.25/918.45 c 910s | 18 | 675958 | 324652 | 50854 12 | 3147 | 21 920.65/920.86 c 912s | 18 | 676720 | 325252 | 50854 12 | 3147 | 21 923.06/923.25 c 915s | 18 | 677553 | 325852 | 50854 12 | 3147 | 21 925.16/925.32 c 917s | 18 | 678166 | 326352 | 50854 12 | 3147 | 21 927.25/927.48 c 919s | 18 | 678849 | 326952 | 50854 12 | 3147 | 21 929.56/929.79 c 921s | 18 | 679528 | 327552 | 50854 12 | 3147 | 21 931.85/932.03 c 923s | 18 | 680232 | 328052 | 50854 12 | 3147 | 21 934.15/934.39 c 926s | 18 | 680569 | 328352 | 50854 13 | 3147 | 21 941.05/941.25 c 933s | 18 | 681342 | 328852 | 50854 13 | 3147 | 21 943.14/943.32 c 935s | 18 | 682257 | 329552 | 50854 13 | 3147 | 21 946.75/946.91 c 938s | 18 | 683036 | 330252 | 50854 13 | 3147 | 21 948.95/949.17 c 940s | 18 | 684060 | 331052 | 50854 13 | 3147 | 21 951.05/951.28 c 943s | 18 | 685055 | 331852 | 50854 13 | 3147 | 21 953.14/953.37 c 945s | 18 | 686020 | 332452 | 50854 13 | 3147 | 21 955.34/955.59 c 947s | 18 | 687277 | 333352 | 50854 13 | 3147 | 21 957.64/957.80 c 949s | 18 | 688723 | 334252 | 50854 13 | 3147 | 21 959.64/959.81 c 951s | 18 | 689657 | 335052 | 50854 13 | 3147 | 21 961.64/961.86 c 953s | 18 | 690659 | 335852 | 50854 13 | 3147 | 21 963.84/964.04 c 955s | 18 | 691641 | 336752 | 50854 13 | 3147 | 21 965.94/966.12 c 957s | 18 | 692527 | 337552 | 50854 13 | 3147 | 21 968.14/968.31 c 960s | 18 | 693580 | 338452 | 50854 13 | 3147 | 21 970.24/970.45 c 962s | 18 | 694553 | 339352 | 50854 13 | 3147 | 21 972.23/972.49 c 964s | 18 | 695322 | 340052 | 50854 13 | 3147 | 21 974.53/974.73 c 966s | 18 | 696249 | 340852 | 50854 13 | 3147 | 21 976.73/976.97 c 968s | 18 | 697117 | 341652 | 50854 13 | 3147 | 21 979.04/979.21 c 971s | 18 | 697971 | 342452 | 50854 13 | 3147 | 21 981.23/981.41 c 973s | 18 | 698794 | 343152 | 50854 13 | 3147 | 21 983.43/983.61 c 975s | 18 | 699597 | 343852 | 50854 13 | 3147 | 21 985.53/985.78 c 977s | 18 | 700414 | 344552 | 50854 13 | 3147 | 21 987.83/988.05 c 979s | 18 | 701187 | 345252 | 50854 13 | 3147 | 21 989.82/990.07 c 981s | 18 | 701956 | 345952 | 50854 13 | 3147 | 21 992.02/992.28 c 984s | 18 | 702697 | 346652 | 50854 13 | 3147 | 21 994.32/994.57 c 986s | 18 | 703466 | 347352 | 50854 13 | 3147 | 21 996.73/996.93 c 988s | 18 | 704287 | 348052 | 50854 13 | 3147 | 21 998.82/999.02 c 990s | 18 | 705015 | 348652 | 50854 13 | 3147 | 21 1000.91/1001.16 c 992s | 18 | 705708 | 349252 | 50854 13 | 3147 | 21 1002.91/1003.18 c 994s | 18 | 706433 | 349852 | 50854 13 | 3147 | 21 1005.11/1005.30 c 997s | 18 | 707173 | 350452 | 50854 13 | 3147 | 21 1007.21/1007.48 c 999s | 18 | 707879 | 351052 | 50854 13 | 3147 | 21 1009.41/1009.66 c 1001s | 18 | 708549 | 351652 | 50854 13 | 3147 | 21 1011.61/1011.87 c 1003s | 18 | 709241 | 352252 | 50854 13 | 3147 | 21 1013.80/1014.06 c 1005s | 18 | 709879 | 352852 | 50854 13 | 3147 | 21 1015.91/1016.14 c 1007s | 18 | 710503 | 353452 | 50854 13 | 3147 | 21 1018.00/1018.23 c 1010s | 18 | 711726 | 354252 | 50854 13 | 3147 | 21 1020.10/1020.39 c 1012s | 18 | 712671 | 354852 | 50854 13 | 3147 | 21 1022.40/1022.67 c 1014s | 18 | 713462 | 355452 | 50854 13 | 3147 | 21 1024.80/1025.05 c 1016s | 18 | 714224 | 356052 | 50854 13 | 3147 | 21 1026.80/1027.09 c 1018s | 18 | 714787 | 356452 | 50854 14 | 3147 | 21 1029.09/1029.31 c 1021s | 18 | 715525 | 357052 | 50854 14 | 3147 | 21 1031.19/1031.41 c 1023s | 18 | 716182 | 357652 | 50854 14 | 3147 | 21 1033.19/1033.49 c 1025s | 18 | 716893 | 358252 | 50854 14 | 3147 | 21 1035.29/1035.50 c 1027s | 18 | 717558 | 358852 | 50854 14 | 3147 | 21 1037.59/1037.84 c 1029s | 18 | 718337 | 359552 | 50854 14 | 3147 | 21 1039.69/1039.97 c 1031s | 18 | 719123 | 360152 | 50854 14 | 3147 | 21 1062.38/1062.69 c 1054s | 18 | 719402 | 360252 | 50854 14 | 3147 | 21 1064.58/1064.80 c 1056s | 18 | 721206 | 360952 | 50854 14 | 3147 | 21 1067.48/1067.72 c 1059s | 18 | 722792 | 361652 | 50854 14 | 3147 | 21 1069.58/1069.83 c 1061s | 18 | 724124 | 362352 | 50854 14 | 3147 | 21 1071.68/1071.98 c 1063s | 18 | 726008 | 363152 | 50854 14 | 3147 | 21 1073.88/1074.10 c 1065s | 18 | 728801 | 364052 | 50854 14 | 3147 | 21 1075.89/1076.16 c 1067s | 18 | 731977 | 364952 | 50854 14 | 3147 | 21 1078.09/1078.33 c 1070s | 18 | 735551 | 365952 | 50854 14 | 3147 | 21 1080.08/1080.37 c 1072s | 18 | 738567 | 366852 | 50854 14 | 3147 | 21 1082.28/1082.57 c 1074s | 18 | 741680 | 367752 | 50854 14 | 3147 | 21 1084.48/1084.71 c 1076s | 18 | 744831 | 368652 | 50854 14 | 3147 | 21 1086.48/1086.78 c 1078s | 18 | 748060 | 369552 | 50854 14 | 3147 | 21 1088.58/1088.89 c 1080s | 18 | 751444 | 370452 | 50854 14 | 3147 | 21 1090.78/1091.05 c 1082s | 18 | 754679 | 371352 | 50854 14 | 3147 | 21 1092.88/1093.20 c 1084s | 18 | 757169 | 372152 | 50854 14 | 3147 | 21 1095.28/1095.56 c 1087s | 18 | 758002 | 372752 | 50854 14 | 3147 | 21 1097.28/1097.57 c 1089s | 18 | 758546 | 373252 | 50854 14 | 3147 | 21 1099.67/1099.97 c 1091s | 18 | 759194 | 373852 | 50854 14 | 3147 | 21 1101.77/1102.01 c 1093s | 18 | 759783 | 374352 | 50854 14 | 3147 | 21 1103.87/1104.11 c 1095s | 18 | 760399 | 374852 | 50854 14 | 3147 | 21 1105.87/1106.17 c 1097s | 18 | 760986 | 375352 | 50854 14 | 3147 | 21 1108.17/1108.40 c 1100s | 18 | 763354 | 376152 | 50854 14 | 3147 | 21 1110.27/1110.52 c 1102s | 18 | 764646 | 376752 | 50854 14 | 3147 | 21 1112.27/1112.59 c 1104s | 18 | 766400 | 377452 | 50854 14 | 3147 | 21 1114.47/1114.77 c 1106s | 18 | 767232 | 378152 | 50854 14 | 3147 | 21 1116.87/1117.13 c 1108s | 18 | 768927 | 378952 | 50854 14 | 3147 | 21 1119.07/1119.34 c 1111s | 18 | 769657 | 379552 | 50854 14 | 3147 | 21 1121.27/1121.55 c 1113s | 18 | 770549 | 380252 | 50854 14 | 3147 | 21 1123.47/1123.77 c 1115s | 18 | 772118 | 380952 | 50854 14 | 3147 | 21 1125.57/1125.80 c 1117s | 18 | 774529 | 381752 | 50854 14 | 3147 | 21 1127.57/1127.88 c 1119s | 18 | 776250 | 382452 | 50854 14 | 3147 | 21 1129.67/1129.91 c 1121s | 18 | 778463 | 383152 | 50854 14 | 3147 | 21 1131.67/1131.98 c 1123s | 18 | 779188 | 383752 | 50854 14 | 3147 | 21 1134.27/1134.51 c 1126s | 18 | 780464 | 384252 | 50854 15 | 3147 | 21 1136.76/1137.02 c 1128s | 18 | 780789 | 384552 | 50854 15 | 3147 | 21 1138.97/1139.21 c 1131s | 18 | 781587 | 385152 | 50854 15 | 3147 | 21 1141.17/1141.44 c 1133s | 18 | 784598 | 386052 | 50854 15 | 3147 | 21 1143.17/1143.48 c 1135s | 18 | 787248 | 386852 | 50854 15 | 3147 | 21 1145.27/1145.54 c 1137s | 18 | 789903 | 387652 | 50854 15 | 3147 | 21 1147.37/1147.64 c 1139s | 18 | 792266 | 388452 | 50854 15 | 3147 | 21 1149.48/1149.72 c 1141s | 18 | 795184 | 389252 | 50854 15 | 3147 | 21 1151.57/1151.87 c 1143s | 18 | 796719 | 389952 | 50854 15 | 3147 | 21 1153.77/1154.04 c 1145s | 18 | 798950 | 390752 | 50854 15 | 3147 | 21 1155.97/1156.23 c 1148s | 18 | 800798 | 391452 | 50854 15 | 3147 | 21 1157.97/1158.28 c 1150s | 18 | 802896 | 392252 | 50854 15 | 3147 | 21 1160.06/1160.31 c 1152s | 18 | 805165 | 393052 | 50854 15 | 3147 | 21 1162.16/1162.41 c 1154s | 18 | 807257 | 393852 | 50854 15 | 3147 | 21 1164.36/1164.64 c 1156s | 18 | 809157 | 394652 | 50854 15 | 3147 | 21 1166.46/1166.77 c 1158s | 18 | 811415 | 395452 | 50854 15 | 3147 | 21 1168.66/1168.99 c 1160s | 18 | 813776 | 396252 | 50854 15 | 3147 | 21 1170.96/1171.22 c 1163s | 18 | 816055 | 397052 | 50854 15 | 3147 | 21 1172.96/1173.23 c 1165s | 18 | 818258 | 397752 | 50854 15 | 3147 | 21 1175.16/1175.44 c 1167s | 18 | 820704 | 398452 | 50854 15 | 3147 | 21 1177.46/1177.79 c 1169s | 18 | 821609 | 399052 | 50854 15 | 3147 | 21 1179.96/1180.22 c 1172s | 18 | 822291 | 399652 | 50854 15 | 3147 | 21 1182.36/1182.61 c 1174s | 18 | 822969 | 400252 | 50854 15 | 3147 | 21 1184.86/1185.17 c 1176s | 18 | 823515 | 400752 | 50854 15 | 3147 | 21 1187.36/1187.60 c 1179s | 18 | 824036 | 401252 | 50854 15 | 3147 | 21 1189.45/1189.70 c 1181s | 18 | 824493 | 401652 | 50854 15 | 3147 | 21 1191.45/1191.71 c 1183s | 18 | 824943 | 402052 | 50854 15 | 3147 | 21 1193.46/1193.80 c 1185s | 18 | 825921 | 402552 | 50854 15 | 3147 | 21 1195.76/1196.03 c 1187s | 18 | 827454 | 403152 | 50854 15 | 3147 | 21 1198.05/1198.32 c 1190s | 18 | 829195 | 403752 | 50854 15 | 3147 | 21 1200.34/1200.60 c 1192s | 18 | 830820 | 404352 | 50854 15 | 3147 | 21 1202.54/1202.81 c 1194s | 18 | 832827 | 404952 | 50854 15 | 3147 | 21 1204.74/1205.06 c 1196s | 18 | 834851 | 405552 | 50854 15 | 3147 | 21 1207.04/1207.37 c 1199s | 18 | 836861 | 406152 | 50854 15 | 3147 | 21 1209.24/1209.52 c 1201s | 18 | 838924 | 406752 | 50854 15 | 3147 | 21 1211.54/1211.86 c 1203s | 18 | 841008 | 407352 | 50854 15 | 3147 | 21 1213.64/1213.91 c 1205s | 18 | 842741 | 407852 | 50854 15 | 3147 | 21 1215.84/1216.17 c 1207s | 18 | 843772 | 408352 | 50854 15 | 3147 | 21 1217.93/1218.25 c 1210s | 18 | 845004 | 408852 | 50854 15 | 3147 | 21 1220.33/1220.60 c 1212s | 18 | 846769 | 409452 | 50854 15 | 3147 | 21 1222.53/1222.89 c 1214s | 18 | 847808 | 409952 | 50854 15 | 3147 | 21 1224.63/1224.92 c 1216s | 18 | 848733 | 410352 | 50854 15 | 3147 | 21 1226.93/1227.29 c 1219s | 18 | 849821 | 410852 | 50854 15 | 3147 | 21 1229.32/1229.67 c 1221s | 18 | 851270 | 411352 | 50854 15 | 3147 | 21 1231.62/1231.98 c 1223s | 18 | 851948 | 411752 | 50854 15 | 3147 | 21 1234.62/1234.94 c 1226s | 18 | 853351 | 412152 | 50854 16 | 3147 | 21 1236.92/1237.26 c 1229s | 18 | 855267 | 412752 | 50854 16 | 3147 | 21 1253.02/1253.39 c 1245s | 18 | 855498 | 412952 | 50854 16 | 3147 | 21 1265.51/1265.80 c 1257s | 18 | 855689 | 413052 | 50854 16 | 3147 | 21 1267.61/1267.95 c 1259s | 18 | 857045 | 413652 | 50854 16 | 3147 | 21 1269.71/1270.02 c 1261s | 18 | 858524 | 414252 | 50854 16 | 3147 | 21 1271.71/1272.08 c 1263s | 18 | 859935 | 414852 | 50854 16 | 3147 | 21 1274.01/1274.33 c 1266s | 18 | 861242 | 415452 | 50854 16 | 3147 | 21 1276.11/1276.47 c 1268s | 18 | 862619 | 416052 | 50854 16 | 3147 | 21 1278.40/1278.73 c 1270s | 18 | 864748 | 416752 | 50854 16 | 3147 | 21 1280.61/1280.99 c 1272s | 18 | 866858 | 417452 | 50854 16 | 3147 | 21 1283.01/1283.35 c 1275s | 18 | 868865 | 418152 | 50854 16 | 3147 | 21 1285.20/1285.57 c 1277s | 18 | 870796 | 418852 | 50854 16 | 3147 | 21 1287.30/1287.65 c 1279s | 18 | 872144 | 419452 | 50854 16 | 3147 | 21 1289.50/1289.88 c 1281s | 18 | 874160 | 420152 | 50854 16 | 3147 | 21 1291.90/1292.21 c 1284s | 18 | 875922 | 420852 | 50854 16 | 3147 | 21 1294.20/1294.51 c 1286s | 18 | 877872 | 421552 | 50854 16 | 3147 | 21 1296.20/1296.53 c 1288s | 18 | 879116 | 422152 | 50854 16 | 3147 | 21 1298.49/1298.84 c 1290s | 18 | 880445 | 422752 | 50854 16 | 3147 | 21 1300.69/1301.04 c 1292s | 18 | 881674 | 423352 | 50854 16 | 3147 | 21 1302.79/1303.16 c 1294s | 18 | 883210 | 423952 | 50854 16 | 3147 | 21 1305.09/1305.40 c 1297s | 18 | 884679 | 424552 | 50854 16 | 3147 | 21 1307.39/1307.74 c 1299s | 18 | 886089 | 425152 | 50854 16 | 3147 | 21 1309.39/1309.79 c 1301s | 18 | 887932 | 425852 | 50854 16 | 3147 | 21 1311.69/1312.01 c 1303s | 18 | 890451 | 426552 | 50854 16 | 3147 | 21 1313.89/1314.22 c 1306s | 18 | 891741 | 427352 | 50854 16 | 3147 | 21 1316.70/1317.06 c 1308s | 18 | 892082 | 427552 | 50854 16 | 3147 | 21 1318.80/1319.12 c 1310s | 18 | 894467 | 428652 | 50854 16 | 3147 | 21 1320.79/1321.13 c 1312s | 18 | 896323 | 429652 | 50854 16 | 3148 | 21 1322.79/1323.15 c 1314s | 18 | 898239 | 430852 | 50854 16 | 3148 | 21 1324.79/1325.19 c 1316s | 18 | 900470 | 432052 | 50854 16 | 3148 | 21 1326.89/1327.26 c 1319s | 18 | 902960 | 433352 | 50854 16 | 3148 | 21 1328.89/1329.27 c 1321s | 18 | 904258 | 434252 | 50854 16 | 3148 | 21 1330.90/1331.28 c 1323s | 18 | 906067 | 435352 | 50854 16 | 3148 | 21 1332.89/1333.29 c 1325s | 18 | 907300 | 436352 | 50854 16 | 3148 | 21 1334.99/1335.36 c 1327s | 18 | 909023 | 437852 | 50854 16 | 3148 | 21 1337.19/1337.50 c 1329s | 18 | 910627 | 439352 | 50854 16 | 3148 | 21 1339.19/1339.58 c 1331s | 18 | 912039 | 440652 | 50854 17 | 3148 | 21 1341.29/1341.65 c 1333s | 18 | 913498 | 441952 | 55940 17 | 3148 | 21 1343.39/1343.76 c 1335s | 18 | 914996 | 443052 | 55940 17 | 3148 | 21 1345.49/1345.86 c 1337s | 18 | 916313 | 444152 | 55940 17 | 3148 | 21 1346.19/1346.51 c 1338s | 19 | 916716 | 444482 | 55940 17 | 3148 | 21 1348.68/1349.06 c 1340s | 19 | 916991 | 444582 | 55940 17 | 3148 | 21 1352.99/1353.36 c 1345s | 19 | 917128 | 444682 | 55940 17 | 3148 | 21 1354.98/1355.40 c 1347s | 19 | 919129 | 445782 | 55940 17 | 3148 | 21 1357.08/1357.46 c 1349s | 19 | 921113 | 447282 | 55940 17 | 3148 | 21 1359.18/1359.59 c 1351s | 19 | 923326 | 448682 | 55940 17 | 3148 | 21 1361.28/1361.62 c 1353s | 19 | 924776 | 449882 | 55940 17 | 3148 | 21 1363.38/1363.73 c 1355s | 19 | 926365 | 451082 | 55940 17 | 3148 | 21 1365.48/1365.81 c 1357s | 19 | 927728 | 452082 | 55940 17 | 3148 | 21 1367.58/1367.92 c 1359s | 19 | 929184 | 453082 | 55940 17 | 3148 | 21 1369.77/1370.12 c 1361s | 19 | 930606 | 454082 | 55940 17 | 3148 | 21 1371.87/1372.25 c 1364s | 19 | 931824 | 454982 | 55940 17 | 3148 | 21 1373.98/1374.35 c 1366s | 19 | 933037 | 455882 | 55940 17 | 3148 | 21 1376.08/1376.49 c 1368s | 19 | 934419 | 456782 | 55940 17 | 3148 | 21 1378.18/1378.58 c 1370s | 19 | 935757 | 457682 | 55940 17 | 3148 | 21 1380.38/1380.74 c 1372s | 19 | 936980 | 458582 | 55940 17 | 3148 | 21 1382.47/1382.80 c 1374s | 19 | 938049 | 459382 | 55940 17 | 3148 | 21 1384.67/1385.04 c 1376s | 19 | 939675 | 460282 | 55940 17 | 3148 | 21 1386.77/1387.10 c 1378s | 19 | 940864 | 461082 | 55940 17 | 3148 | 21 1388.87/1389.28 c 1381s | 19 | 941958 | 461782 | 55940 17 | 3148 | 21 1390.97/1391.35 c 1383s | 19 | 943538 | 462582 | 55940 17 | 3148 | 21 1393.07/1393.49 c 1385s | 19 | 944922 | 463382 | 55940 17 | 3148 | 21 1395.17/1395.55 c 1387s | 19 | 946070 | 464182 | 55940 17 | 3148 | 21 1397.37/1397.75 c 1389s | 19 | 948165 | 465182 | 55940 17 | 3148 | 21 1399.56/1399.95 c 1391s | 19 | 949342 | 465982 | 55940 17 | 3148 | 21 1401.66/1402.06 c 1393s | 19 | 950642 | 466782 | 55940 17 | 3148 | 21 1403.76/1404.14 c 1395s | 19 | 952269 | 467582 | 55940 17 | 3148 | 21 1405.86/1406.27 c 1398s | 19 | 953764 | 468382 | 55940 17 | 3148 | 21 1407.97/1408.39 c 1400s | 19 | 955310 | 469182 | 55940 17 | 3148 | 21 1410.06/1410.50 c 1402s | 19 | 956254 | 469882 | 55940 17 | 3148 | 21 1412.16/1412.50 c 1404s | 19 | 957532 | 470582 | 55940 17 | 3148 | 21 1414.16/1414.59 c 1406s | 19 | 958482 | 471282 | 55940 17 | 3148 | 21 1416.35/1416.76 c 1408s | 19 | 960337 | 472182 | 55940 17 | 3148 | 21 1418.35/1418.80 c 1410s | 19 | 961261 | 472882 | 55940 18 | 3148 | 21 1420.55/1420.95 c 1412s | 19 | 963480 | 473882 | 55940 18 | 3148 | 21 1422.75/1423.10 c 1414s | 19 | 965757 | 474782 | 55940 18 | 3148 | 21 1424.85/1425.21 c 1417s | 19 | 967261 | 475682 | 55940 18 | 3148 | 21 1426.85/1427.26 c 1419s | 19 | 968875 | 476582 | 55940 18 | 3148 | 21 1428.95/1429.36 c 1421s | 19 | 970952 | 477482 | 55940 18 | 3148 | 21 1431.06/1431.40 c 1423s | 19 | 973188 | 478282 | 55940 18 | 3148 | 21 1433.05/1433.43 c 1425s | 19 | 974668 | 478982 | 55940 18 | 3148 | 21 1435.25/1435.64 c 1427s | 19 | 975910 | 479782 | 55940 18 | 3148 | 21 1437.45/1437.85 c 1429s | 19 | 977067 | 480582 | 55940 18 | 3148 | 21 1439.55/1439.94 c 1431s | 19 | 977855 | 481182 | 55940 18 | 3148 | 21 1441.65/1442.02 c 1433s | 19 | 979016 | 481882 | 55940 18 | 3148 | 21 1443.75/1444.14 c 1435s | 19 | 980203 | 482582 | 55940 18 | 3148 | 21 1445.85/1446.29 c 1438s | 19 | 981737 | 483382 | 55940 18 | 3148 | 21 1448.05/1448.46 c 1440s | 19 | 983150 | 484182 | 55940 18 | 3148 | 21 1450.25/1450.60 c 1442s | 19 | 984562 | 484982 | 55940 18 | 3148 | 21 1452.45/1452.82 c 1444s | 19 | 986039 | 485782 | 55940 18 | 3148 | 21 1454.55/1454.99 c 1446s | 19 | 987641 | 486482 | 55940 18 | 3148 | 21 1456.64/1457.00 c 1448s | 19 | 989310 | 487182 | 55940 18 | 3148 | 21 1458.74/1459.14 c 1450s | 19 | 990572 | 487982 | 55940 18 | 3148 | 21 1460.84/1461.23 c 1453s | 19 | 991401 | 488682 | 55940 18 | 3148 | 21 1463.04/1463.46 c 1455s | 19 | 992711 | 489582 | 55940 18 | 3148 | 21 1465.44/1465.88 c 1457s | 19 | 993486 | 490182 | 55940 18 | 3148 | 21 1467.54/1467.98 c 1459s | 19 | 993967 | 490482 | 55940 18 | 3148 | 21 1469.54/1469.99 c 1461s | 19 | 994352 | 490782 | 55940 18 | 3148 | 21 1472.13/1472.55 c 1464s | 19 | 994820 | 491182 | 55940 18 | 3148 | 21 1474.23/1474.64 c 1466s | 19 | 995240 | 491482 | 55940 18 | 3148 | 21 1476.33/1476.73 c 1468s | 19 | 995632 | 491782 | 55940 18 | 3148 | 21 1478.43/1478.84 c 1470s | 19 | 996087 | 492082 | 55940 18 | 3148 | 21 1480.74/1481.10 c 1472s | 19 | 996687 | 492382 | 55940 18 | 3148 | 21 1483.54/1483.98 c 1475s | 19 | 997331 | 492782 | 55940 18 | 3148 | 21 1486.14/1486.56 c 1478s | 19 | 997853 | 493182 | 55940 18 | 3148 | 21 1488.24/1488.65 c 1480s | 19 | 998299 | 493482 | 55940 18 | 3148 | 21 1490.44/1490.84 c 1482s | 19 | 998716 | 493782 | 55940 18 | 3148 | 21 1493.03/1493.43 c 1485s | 19 | 999181 | 494182 | 55940 18 | 3148 | 21 1495.23/1495.65 c 1487s | 19 | 999573 | 494482 | 55940 18 | 3148 | 21 1497.43/1497.88 c 1489s | 19 | 999894 | 494782 | 55940 18 | 3148 | 21 1499.73/1500.12 c 1491s | 19 | 1000250 | 495082 | 55940 18 | 3148 | 21 1501.93/1502.37 c 1494s | 19 | 1000579 | 495382 | 55940 18 | 3148 | 21 1504.23/1504.67 c 1496s | 19 | 1001034 | 495682 | 55940 18 | 3148 | 21 1506.53/1506.96 c 1498s | 19 | 1001382 | 495982 | 55940 18 | 3148 | 21 1508.83/1509.29 c 1501s | 19 | 1001802 | 496282 | 55940 18 | 3148 | 21 1511.23/1511.67 c 1503s | 19 | 1002188 | 496582 | 55940 18 | 3148 | 21 1513.63/1514.05 c 1505s | 19 | 1002535 | 496882 | 55940 18 | 3148 | 21 1515.63/1516.08 c 1507s | 19 | 1002858 | 497182 | 55940 18 | 3148 | 21 1517.93/1518.37 c 1510s | 19 | 1003209 | 497482 | 55940 18 | 3148 | 21 1520.03/1520.50 c 1512s | 19 | 1003620 | 497782 | 55940 18 | 3148 | 21 1522.42/1522.89 c 1514s | 19 | 1003958 | 498082 | 55940 18 | 3148 | 21 1524.82/1525.25 c 1517s | 19 | 1004299 | 498382 | 55940 18 | 3148 | 21 1527.12/1527.51 c 1519s | 19 | 1004850 | 498882 | 55940 18 | 3148 | 21 1529.22/1529.65 c 1521s | 19 | 1005271 | 499282 | 55940 18 | 3148 | 21 1531.42/1531.87 c 1523s | 19 | 1005785 | 499782 | 55940 18 | 3148 | 21 1533.52/1533.99 c 1525s | 19 | 1006412 | 500382 | 55940 18 | 3148 | 21 1535.82/1536.28 c 1528s | 19 | 1007016 | 500982 | 55940 18 | 3148 | 21 1538.12/1538.55 c 1530s | 19 | 1007617 | 501582 | 55940 18 | 3148 | 21 1540.82/1541.21 c 1533s | 19 | 1008133 | 502082 | 55940 18 | 3148 | 21 1543.42/1543.81 c 1535s | 19 | 1008442 | 502382 | 55940 18 | 3148 | 21 1545.62/1546.03 c 1537s | 19 | 1008941 | 502682 | 55940 18 | 3148 | 21 1547.92/1548.33 c 1540s | 19 | 1009422 | 502982 | 55940 18 | 3148 | 21 1551.52/1551.92 c 1543s | 19 | 1009786 | 503282 | 55940 19 | 3148 | 21 1553.82/1554.24 c 1546s | 19 | 1010503 | 503882 | 55940 19 | 3148 | 21 1555.92/1556.30 c 1548s | 19 | 1012559 | 504582 | 55940 19 | 3148 | 21 1558.02/1558.42 c 1550s | 19 | 1017598 | 505582 | 55940 19 | 3148 | 21 1560.11/1560.56 c 1552s | 19 | 1022666 | 506582 | 55940 19 | 3148 | 21 1562.31/1562.72 c 1554s | 19 | 1027844 | 507582 | 55940 19 | 3148 | 21 1564.31/1564.75 c 1556s | 19 | 1032380 | 508482 | 55940 19 | 3148 | 21 1566.51/1566.90 c 1558s | 19 | 1036882 | 509382 | 55940 19 | 3148 | 21 1568.61/1569.08 c 1560s | 19 | 1041518 | 510282 | 55940 19 | 3148 | 21 1570.91/1571.31 c 1563s | 19 | 1046137 | 511182 | 55940 19 | 3148 | 21 1572.91/1573.37 c 1565s | 19 | 1050153 | 511982 | 55940 19 | 3148 | 21 1575.01/1575.47 c 1567s | 19 | 1054253 | 512782 | 55940 19 | 3148 | 21 1577.21/1577.61 c 1569s | 19 | 1058343 | 513582 | 55940 19 | 3148 | 21 1579.41/1579.84 c 1571s | 19 | 1062389 | 514382 | 55940 19 | 3148 | 21 1581.61/1582.06 c 1573s | 19 | 1064102 | 514982 | 55940 19 | 3148 | 21 1583.70/1584.19 c 1575s | 19 | 1067327 | 515682 | 55940 19 | 3148 | 21 1585.80/1586.23 c 1578s | 19 | 1070892 | 516382 | 55940 19 | 3148 | 21 1587.90/1588.30 c 1580s | 19 | 1074450 | 517082 | 55940 19 | 3148 | 21 1590.10/1590.52 c 1582s | 19 | 1077744 | 517782 | 55940 19 | 3148 | 21 1592.30/1592.76 c 1584s | 19 | 1081336 | 518482 | 55940 19 | 3148 | 21 1594.40/1594.84 c 1586s | 19 | 1084083 | 519082 | 55940 19 | 3148 | 21 1596.70/1597.16 c 1588s | 19 | 1087670 | 519782 | 55940 19 | 3148 | 21 1598.79/1599.22 c 1591s | 19 | 1090679 | 520382 | 55940 19 | 3148 | 21 1600.79/1601.29 c 1593s | 19 | 1093573 | 520982 | 55940 19 | 3148 | 21 1602.99/1603.41 c 1595s | 19 | 1096554 | 521582 | 55940 19 | 3148 | 21 1605.19/1605.65 c 1597s | 19 | 1099567 | 522182 | 55940 19 | 3148 | 21 1607.49/1607.94 c 1599s | 19 | 1102559 | 522782 | 55940 19 | 3148 | 21 1609.79/1610.27 c 1602s | 19 | 1105597 | 523382 | 55940 19 | 3148 | 21 1612.09/1612.56 c 1604s | 19 | 1108619 | 523982 | 55940 19 | 3148 | 21 1614.29/1614.75 c 1606s | 19 | 1110733 | 524482 | 55940 19 | 3148 | 21 1616.29/1616.76 c 1608s | 19 | 1113338 | 524982 | 55940 19 | 3148 | 21 1618.39/1618.85 c 1610s | 19 | 1115842 | 525482 | 55940 19 | 3148 | 21 1620.49/1620.91 c 1612s | 19 | 1117513 | 525882 | 55940 19 | 3148 | 21 1622.59/1623.02 c 1614s | 19 | 1117957 | 526182 | 55940 19 | 3148 | 21 1625.09/1625.58 c 1617s | 19 | 1118396 | 526582 | 55940 19 | 3148 | 21 1627.48/1627.91 c 1619s | 19 | 1118749 | 526882 | 55940 19 | 3148 | 21 1629.48/1629.94 c 1621s | 19 | 1119155 | 527182 | 55940 19 | 3148 | 21 1631.68/1632.10 c 1623s | 19 | 1119497 | 527482 | 55940 19 | 3148 | 21 1634.08/1634.52 c 1626s | 19 | 1120077 | 527882 | 55940 19 | 3148 | 21 1636.18/1636.63 c 1628s | 19 | 1120422 | 528182 | 55940 19 | 3148 | 21 1638.18/1638.69 c 1630s | 19 | 1120764 | 528482 | 55940 19 | 3148 | 21 1641.18/1641.62 c 1633s | 19 | 1121148 | 528782 | 55940 19 | 3148 | 21 1643.38/1643.86 c 1635s | 19 | 1121678 | 529282 | 55940 19 | 3148 | 21 1645.78/1646.22 c 1638s | 19 | 1122204 | 529782 | 55940 19 | 3148 | 21 1647.88/1648.37 c 1640s | 19 | 1122566 | 530082 | 55940 19 | 3148 | 21 1650.38/1650.88 c 1642s | 19 | 1122888 | 530382 | 55940 19 | 3148 | 21 1652.68/1653.13 c 1644s | 19 | 1123212 | 530682 | 55940 19 | 3148 | 21 1654.78/1655.26 c 1647s | 19 | 1123560 | 530982 | 55940 19 | 3148 | 21 1657.08/1657.59 c 1649s | 19 | 1123924 | 531282 | 55940 19 | 3148 | 21 1659.48/1659.96 c 1651s | 19 | 1124339 | 531582 | 55940 19 | 3148 | 21 1661.78/1662.29 c 1654s | 19 | 1124811 | 531982 | 55940 19 | 3148 | 21 1664.19/1664.67 c 1656s | 19 | 1125238 | 532382 | 55940 19 | 3148 | 21 1666.68/1667.12 c 1658s | 19 | 1125754 | 532882 | 55940 19 | 3148 | 21 1668.98/1669.41 c 1661s | 19 | 1126265 | 533382 | 55940 19 | 3148 | 21 1671.58/1672.06 c 1663s | 19 | 1126578 | 533682 | 55940 20 | 3148 | 21 1673.88/1674.33 c 1666s | 19 | 1127197 | 534282 | 55940 20 | 3148 | 21 1676.08/1676.53 c 1668s | 19 | 1127805 | 534882 | 55940 20 | 3148 | 21 1678.17/1678.62 c 1670s | 19 | 1128408 | 535482 | 55940 20 | 3148 | 21 1680.17/1680.68 c 1672s | 19 | 1128941 | 535982 | 55940 20 | 3148 | 21 1682.37/1682.87 c 1674s | 19 | 1129534 | 536482 | 55940 20 | 3148 | 21 1684.57/1685.07 c 1676s | 19 | 1130049 | 536982 | 55940 20 | 3148 | 21 1686.67/1687.14 c 1678s | 19 | 1130578 | 537482 | 55940 20 | 3148 | 21 1688.97/1689.43 c 1681s | 19 | 1131207 | 538082 | 55940 20 | 3148 | 21 1691.27/1691.73 c 1683s | 19 | 1131943 | 538782 | 55940 20 | 3148 | 21 1693.37/1693.85 c 1685s | 19 | 1132494 | 539282 | 55940 20 | 3148 | 21 1695.57/1696.00 c 1687s | 19 | 1133117 | 539882 | 55940 20 | 3148 | 21 1697.87/1698.31 c 1690s | 19 | 1133653 | 540382 | 55940 20 | 3148 | 21 1699.97/1700.48 c 1692s | 19 | 1134356 | 541082 | 55940 20 | 3148 | 21 1702.27/1702.71 c 1694s | 19 | 1134973 | 541682 | 55940 20 | 3148 | 21 1704.57/1705.00 c 1696s | 19 | 1135588 | 542282 | 55940 20 | 3148 | 21 1706.87/1707.31 c 1699s | 19 | 1136227 | 542882 | 55940 20 | 3148 | 21 1708.97/1709.48 c 1701s | 19 | 1136768 | 543382 | 55940 20 | 3148 | 21 1711.27/1711.80 c 1703s | 19 | 1137440 | 543982 | 55940 20 | 3148 | 21 1713.37/1713.82 c 1705s | 19 | 1138046 | 544582 | 55940 20 | 3148 | 21 1715.87/1716.34 c 1708s | 19 | 1138569 | 545082 | 55940 20 | 3148 | 21 1718.07/1718.58 c 1710s | 19 | 1138996 | 545482 | 55940 20 | 3148 | 21 1720.37/1720.86 c 1712s | 19 | 1139437 | 545882 | 55940 20 | 3148 | 21 1722.67/1723.14 c 1714s | 19 | 1139866 | 546282 | 55940 20 | 3148 | 21 1725.06/1725.51 c 1717s | 19 | 1140310 | 546682 | 55940 20 | 3148 | 21 1727.16/1727.67 c 1719s | 19 | 1140762 | 547082 | 55940 20 | 3148 | 21 1729.47/1729.91 c 1721s | 19 | 1141276 | 547582 | 55940 20 | 3148 | 21 1731.56/1732.04 c 1723s | 19 | 1141779 | 548082 | 55940 20 | 3148 | 21 1733.76/1734.29 c 1726s | 19 | 1142288 | 548582 | 55940 20 | 3148 | 21 1736.16/1736.69 c 1728s | 19 | 1142813 | 549082 | 55940 20 | 3148 | 21 1738.66/1739.12 c 1730s | 19 | 1143364 | 549582 | 55940 20 | 3148 | 21 1741.07/1741.54 c 1733s | 19 | 1143795 | 549982 | 55940 20 | 3148 | 21 1743.46/1743.93 c 1735s | 19 | 1144215 | 550382 | 55940 20 | 3148 | 21 1745.57/1746.06 c 1737s | 19 | 1144612 | 550682 | 55940 20 | 3148 | 21 1747.96/1748.49 c 1740s | 19 | 1145129 | 551182 | 55940 20 | 3148 | 21 1750.36/1750.88 c 1742s | 19 | 1145606 | 551582 | 55940 20 | 3148 | 21 1752.86/1753.30 c 1745s | 19 | 1146120 | 552082 | 55940 20 | 3148 | 21 1754.96/1755.49 c 1747s | 19 | 1146630 | 552582 | 55940 20 | 3148 | 21 1757.67/1758.17 c 1749s | 19 | 1147088 | 552982 | 55940 20 | 3148 | 21 1760.36/1760.85 c 1752s | 19 | 1147532 | 553382 | 55940 20 | 3148 | 21 1762.56/1763.04 c 1754s | 19 | 1147946 | 553682 | 55940 20 | 3148 | 21 1764.76/1765.27 c 1757s | 19 | 1148371 | 554082 | 55940 20 | 3148 | 21 1766.96/1767.44 c 1759s | 19 | 1148780 | 554482 | 55940 20 | 3148 | 21 1769.06/1769.53 c 1761s | 19 | 1149106 | 554782 | 55940 20 | 3148 | 21 1771.16/1771.68 c 1763s | 19 | 1149515 | 555182 | 55940 20 | 3148 | 21 1773.76/1774.22 c 1766s | 19 | 1150035 | 555682 | 55940 20 | 3148 | 21 1776.26/1776.76 c 1768s | 19 | 1150487 | 556082 | 55940 20 | 3148 | 21 1778.66/1779.10 c 1770s | 19 | 1150999 | 556582 | 55940 20 | 3148 | 21 1780.86/1781.32 c 1773s | 19 | 1151502 | 557082 | 55940 20 | 3148 | 21 1782.86/1783.34 c 1775s | 19 | 1151928 | 557482 | 55940 20 | 3148 | 21 1785.16/1785.67 c 1777s | 19 | 1152395 | 557882 | 55940 20 | 3148 | 21 1787.36/1787.88 c 1779s | 19 | 1152824 | 558282 | 55940 20 | 3148 | 21 1789.76/1790.21 c 1782s | 19 | 1153331 | 558782 | 55940 20 | 3148 | 21 1792.05/1792.56 c 1784s | 19 | 1153848 | 559182 | 55940 20 | 3148 | 21 1794.05/1794.58 c 1786s | 19 | 1155422 | 559782 | 55940 20 | 3148 | 21 1796.56/1797.00 c 1788s | 19 | 1155626 | 559882 | 55940 20 | 3148 | 21 1798.76/1799.24 c 1791s | 19 | 1157596 | 560582 | 55940 20 | 3148 | 21
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-4101113-1466220691/watcher-4101113-1466220691 -o /tmp/evaluation-result-4101113-1466220691/solver-4101113-1466220691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101113-1466220691.opb pid=3593 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.01 2.05 2.04 3/179 3596 /proc/meminfo: memFree=30044120/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=685500 CPUtime=0 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 2549 0 0 0 0 0 0 0 20 0 4 0 24118360 701952000 3421 33554432000 4194304 16246674 140734119395888 140734119395312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 172143 3430 441 2943 0 169037 0 [pid=3596/tid=3597] ppid=3593 vsize=702908 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 719777792 3489 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=707004 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 723972096 3506 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=712124 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 729214976 3523 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.10012 s] /proc/loadavg: 2.01 2.05 2.04 3/179 3596 /proc/meminfo: memFree=30044120/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 28075 0 0 0 5 4 0 0 20 0 4 0 24118360 1333334016 28886 33554432000 4194304 16246674 140734119395888 140734119395064 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 325521 28900 801 2943 0 322415 0 [pid=3596/tid=3597] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1333334016 28910 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1333334016 28921 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1333334016 28933 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200498 s] /proc/loadavg: 2.01 2.05 2.04 3/179 3596 /proc/meminfo: memFree=30044120/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1313348 CPUtime=0.18 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 43640 0 0 0 13 5 0 0 20 0 4 0 24118360 1344868352 44961 33554432000 4194304 16246674 140734119395888 140734119395064 8058576 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 328337 44961 802 2943 0 325231 0 [pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 44961 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 44961 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 44965 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300499 s] /proc/loadavg: 2.01 2.05 2.04 3/179 3596 /proc/meminfo: memFree=30044120/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 54282 0 0 0 22 7 0 0 20 0 4 0 24118360 1344868352 55603 33554432000 4194304 16246674 140734119395888 140734119395200 5730678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 328337 55603 809 2943 0 325231 0 [pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 55603 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 55603 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 55603 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700421 s] /proc/loadavg: 2.01 2.05 2.04 3/179 3596 /proc/meminfo: memFree=30044120/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1313348 CPUtime=0.68 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 128283 0 0 0 52 16 0 0 20 0 4 0 24118360 1344868352 129604 33554432000 4194304 16246674 140734119395888 140734119395200 12654121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 328337 129620 833 2943 0 325231 0 [pid=3596/tid=3597] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 129629 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 129638 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1344868352 129648 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50046 s] /proc/loadavg: 2.01 2.05 2.04 3/183 3600 /proc/meminfo: memFree=29130256/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=1.49 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 271936 0 0 0 115 34 0 0 20 0 4 0 24118360 1357451264 273257 33554432000 4194304 16246674 140734119395888 140734119377792 12429882 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273257 834 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273257 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273257 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273257 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1325636 [startup+3.10037 s] /proc/loadavg: 2.01 2.05 2.04 4/183 3600 /proc/meminfo: memFree=28951324/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=3.09 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272023 0 0 0 275 34 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 140734119377792 12429121 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273344 834 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1325636 [startup+6.30041 s] /proc/loadavg: 2.01 2.05 2.04 3/183 3600 /proc/meminfo: memFree=28951372/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=6.29 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272023 0 0 0 595 34 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 140734119377792 12429797 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273344 834 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273344 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1325636 [startup+12.7004 s] /proc/loadavg: 2.01 2.05 2.04 3/183 3600 /proc/meminfo: memFree=28950924/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=12.68 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272096 0 0 0 1234 34 0 0 20 0 4 0 24118360 1357451264 273417 33554432000 4194304 16246674 140734119395888 140734119377792 12415743 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273417 901 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273417 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273417 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273417 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1325636 [startup+25.5004 s] /proc/loadavg: 2.00 2.04 2.04 3/183 3600 /proc/meminfo: memFree=28951300/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=25.49 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272098 0 0 0 2515 34 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 140734119377792 5600754 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273419 903 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1325636 [startup+51.1004 s] /proc/loadavg: 2.00 2.04 2.03 3/182 3600 /proc/meminfo: memFree=28920812/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=51.08 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272098 0 0 0 5074 34 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 140734119377792 6022520 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273419 903 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273419 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1325636 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.03 3/183 3602 /proc/meminfo: memFree=28919552/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1325636 CPUtime=102.27 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 272099 0 0 0 10193 34 0 0 20 0 4 0 24118360 1357451264 273420 33554432000 4194304 16246674 140734119395888 140734119377792 12415740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 331409 273420 904 2943 0 328303 0 [pid=3596/tid=3597] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273420 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273420 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1325636 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1357451264 273420 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1325636 ################ # More data... # ################ /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1399364 [startup+1362.3 s] /proc/loadavg: 2.32 2.18 2.08 3/183 3633 /proc/meminfo: memFree=28654892/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1361.98 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290701 0 0 0 136141 57 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 13752941 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1399364 [startup+1422.3 s] /proc/loadavg: 2.21 2.17 2.08 4/183 3634 /proc/meminfo: memFree=28655228/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1421.95 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290730 0 0 0 142138 57 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 5600436 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1399364 [startup+1482.3 s] /proc/loadavg: 2.12 2.15 2.08 4/183 3635 /proc/meminfo: memFree=28655020/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1481.94 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290753 0 0 0 148136 58 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 1399364 [startup+1542.3 s] /proc/loadavg: 2.21 2.17 2.09 4/183 3636 /proc/meminfo: memFree=28655036/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1541.92 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290773 0 0 0 154134 58 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1399364 [startup+1602.3 s] /proc/loadavg: 2.07 2.14 2.09 3/183 3638 /proc/meminfo: memFree=28655112/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1601.89 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290806 0 0 0 160131 58 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1399364 [startup+1662.3 s] /proc/loadavg: 2.07 2.12 2.08 3/183 3688 /proc/meminfo: memFree=29776872/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1399364 CPUtime=1661.89 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 290809 0 0 0 166131 58 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 140734119377792 5546243 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 349841 291855 904 2943 0 346735 0 [pid=3596/tid=3597] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1399364 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1432948736 291855 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1399364 [startup+1722.3 s] /proc/loadavg: 2.24 2.16 2.10 3/184 3692 /proc/meminfo: memFree=28883428/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1431108 CPUtime=1721.87 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 298526 0 0 0 172128 59 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 140734119377792 5677656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 357777 299572 905 2943 0 354671 0 [pid=3596/tid=3597] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1431108 [startup+1782.31 s] /proc/loadavg: 2.14 2.14 2.09 3/184 3715 /proc/meminfo: memFree=28875440/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1431108 CPUtime=1781.86 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 298526 0 0 0 178127 59 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 140734119377792 5822416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 357777 299572 905 2943 0 354671 0 [pid=3596/tid=3597] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1431108 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.14 2.09 3/184 3715 /proc/meminfo: memFree=28876716/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1431108 CPUtime=1800.06 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 298526 0 0 0 179946 60 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 140734119377792 5677810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 357777 299572 905 2943 0 354671 0 [pid=3596/tid=3597] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1431108 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 3596 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.14 2.09 3/184 3715 /proc/meminfo: memFree=28876716/32872528 swapFree=681964/737152 [pid=3596] ppid=3593 vsize=1431108 CPUtime=1800.06 cores=1,3,5,7 /proc/3596/stat : 3596 (toysat) R 3593 3596 1377 0 -1 4202496 298526 0 0 0 179946 60 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 140734119377792 5677810 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/3596/statm: 357777 299572 905 2943 0 354671 0 [pid=3596/tid=3597] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3597/stat : 3597 (toysat) S 3593 3596 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968181677296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=3596/tid=3598] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3598/stat : 3598 (toysat) S 3593 3596 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968171187440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=3596/tid=3599] ppid=3593 vsize=1431108 CPUtime=0 cores=1,3,5,7 /proc/3596/task/3599/stat : 3599 (toysat) S 3593 3596 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24118360 1465454592 299572 33554432000 4194304 16246674 140734119395888 139968085224624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1431108 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.47 CPU system time (s): 0.601908 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1431108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.601908 maximum resident set size= 1198288 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 298526 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= 293 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9712 second user time and 16.6355 second system time The end
Begin job on node112 at 2016-06-18 05:31:31 IDJOB=4101113 IDBENCH=1702 IDSOLVER=2542 FILE ID=node112/4101113-1466220691 RUNJOBID= node112-1466206100-1395 PBS_JOBID= 19918164 Free space on /tmp= 71692 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101113-1466220691/watcher-4101113-1466220691 -o /tmp/evaluation-result-4101113-1466220691/solver-4101113-1466220691 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101113-1466220691.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65e439e03cbe6c14c849336d6093c9a6 RANDOM SEED=943350443 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30044276 kB Buffers: 96788 kB Cached: 120968 kB SwapCached: 1916 kB Active: 1234652 kB Inactive: 121376 kB Active(anon): 1139188 kB Inactive(anon): 1576 kB Active(file): 95464 kB Inactive(file): 119800 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096992 kB Dirty: 17512 kB Writeback: 0 kB AnonPages: 1875096 kB Mapped: 10728 kB Shmem: 0 kB Slab: 600620 kB SReclaimable: 44636 kB SUnreclaim: 555984 kB KernelStack: 1520 kB PageTables: 7896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2021976 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 57344 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= 71676 MiB End job on node112 at 2016-06-18 06:01:32