| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.61 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12046_2-sat.opb |
| MD5SUM | 8df6acf86997549eac6f2a4fde05a479 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 48158 |
| Total number of constraints | 168360 |
| Number of constraints which are clauses | 167568 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 792 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 15 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 432 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-07T06:12:46+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-4078831-1465272766.opb"] 0.00/0.01 c use --random-gen="1540309476 580586071 2088259816 1698383281 594580006 565935354 2373548848 2198212348 2071833043 1189099067 2894682024 520492862 1876790029 120711757 4136488964 1433523867 190907666 190344397 2296235474 3842361092 2768377263 3590379473 1987156006 2970112299 125200994 1082171497 1048722002 2334849392 759842774 2352418771 3792699480 2817303253 323718752 504714285 1076617644 3540512857 573044247 1892155918 966050517 965231727 2539637853 1475770024 3459761019 3133457283 4242626322 3594807398 2050536280 2432113935 116739608 434972758 3440265522 3374561510 3584597028 3060050765 580975091 3719178469 3868391205 750204218 1596659624 1937958092 842493357 2115282720 3620288805 2926384245 1417330596 2647207490 185702904 2708988580 419140097 289369707 2208474551 758358497 52957046 1430904177 3017602316 1931901796 2743018859 980852743 278941609 3478319140 3852163373 2532352598 650843871 3073694316 1670032501 392375923 2226258714 183167603 1677943605 3768012920 2862047159 3324527461 924349511 4166267250 459440539 1131073104 3262433677 3444095974 3801890827 988415839 2283959212 3514876757 2087649037 1871660545 2362931416 948826811 1183193488 2778830238 1810557468 254753720 3322421986 1801137070 814789138 1958518727 66816868 1259698786 3295121207 631647888 120558776 980784071 1693065939 2523258856 1279936098 3849199308 1939501951 618640337 165515291 4182778594 4089990029 1020135119 2961703328 1440799152 2083417132 3323940247 197861138 4260909864 1446059770 728938012 2765487393 1274713273 4255099719 2892453523 2507915667 2091779992 4191334726 3118550235 2201384690 222525837 2430132907 2691237397 628475848 4183011137 2606472114 2960530461 2166412331 4228657544 96076272 24884814 1926580607 2765615802 671703938 4207748618 1733454925 3611564489 3663540587 3425118013 3626910805 2667721216 1302907795 2223131240 3847041700 113716318 1575555731 882464840 534705057 3019849334 487947360 1895883945 1057041932 3947559960 2214693600 2790193157 1483778734 4205697184 4279985194 1033255268 840630723 3975381785 3620323475 2484155911 807865626 4209921485 2978229730 2525263574 3013477555 1752790545 190887252 2617009754 2413393284 3843575911 1431034658 2095721136 2271301 3907493876 1351399723 1264841511 3691268286 2530370117 1414684873 2261637372 1723234887 3855783776 1119651703 3794828994 3415407948 1078860286 30195875 794626765 3806470226 3093371706 1884192049 3514517295 2534069528 3016831287 2875693009 1465907919 4027159313 2666526851 537849096 3651111699 3733169214 1876520154 2753775261 3509839362 3013060767 1951003632 1759254225 1837417028 2652969740 3370723338 1653982334 715868081 3129097098 2614404388 1452013948 955214981 68905996 1415671136 500108083 1628062360 306545590 1437079576 1323335653 541254889 1165635307 2802055160 255 362436" option to reproduce the execution 0.89/0.95 c #vars 48158 0.89/0.95 c #constraints 168360 2.78/2.85 c Solving starts ... 2.78/2.85 c ============================[ Search Statistics ]============================ 2.78/2.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.78/2.85 c | | | | Limit GC | Var | Constra 2.78/2.85 c ============================================================================= 2.78/2.85 c 0.0s | 0 | 0 | 0 | 52745 0 | 21863 | 0 3.18/3.25 c 0.4s | 1 | 231 | 100 | 52745 0 | 21959 | 29005 3.78/3.80 c 1.0s | 2 | 593 | 250 | 58020 0 | 21961 | 29011 4.49/4.53 c 1.7s | 3 | 1002 | 475 | 63823 0 | 22009 | 29179 5.38/5.48 c 2.6s | 4 | 1607 | 813 | 70206 0 | 22227 | 30008 6.59/6.63 c 3.8s | 5 | 2358 | 1320 | 77227 0 | 22227 | 30008 8.38/8.43 c 5.6s | 6 | 3552 | 2081 | 93446 0 | 22227 | 30008 10.38/10.46 c 7.6s | 6 | 4489 | 2681 | 93446 0 | 22227 | 30008 11.98/12.06 c 9.2s | 7 | 5218 | 3223 | 102791 0 | 22227 | 30008 13.98/14.09 c 11.2s | 7 | 6524 | 4123 | 102791 0 | 22721 | 31863 16.28/16.31 c 13.5s | 7 | 7707 | 4923 | 113071 0 | 22721 | 31863 16.28/16.35 c 13.5s | 8 | 7721 | 4936 | 113071 0 | 22721 | 31863 18.38/18.41 c 15.6s | 8 | 8312 | 5336 | 113071 0 | 22721 | 31863 20.58/20.65 c 17.8s | 8 | 8996 | 5836 | 113071 0 | 22721 | 31863 22.58/22.68 c 19.8s | 8 | 9660 | 6336 | 113071 0 | 22721 | 31863 25.08/25.10 c 22.2s | 8 | 10374 | 6836 | 113071 0 | 22721 | 31863 27.49/27.58 c 24.7s | 8 | 10967 | 7336 | 113071 0 | 22721 | 31863 28.48/28.53 c 25.7s | 9 | 11173 | 7506 | 124379 0 | 22721 | 31863 30.58/30.65 c 27.8s | 9 | 12109 | 8106 | 124379 0 | 22721 | 31863 32.88/32.94 c 30.1s | 9 | 13001 | 8706 | 124379 0 | 22721 | 31863 35.08/35.11 c 32.3s | 9 | 13824 | 9306 | 124379 0 | 22721 | 31863 37.18/37.20 c 34.3s | 9 | 14962 | 10006 | 124379 0 | 22721 | 31863 39.18/39.27 c 36.4s | 9 | 15973 | 10706 | 124379 0 | 22721 | 31863 40.88/40.95 c 38.1s | 10 | 16925 | 11361 | 136817 0 | 22721 | 31863 43.08/43.18 c 40.3s | 10 | 18041 | 12161 | 136817 0 | 22769 | 32031 45.18/45.21 c 42.4s | 10 | 19010 | 12761 | 136817 0 | 22769 | 32031 47.28/47.33 c 44.5s | 10 | 20093 | 13461 | 136817 0 | 22771 | 32037 49.48/49.57 c 46.7s | 10 | 21119 | 14161 | 136817 0 | 22771 | 32037 51.58/51.60 c 48.7s | 10 | 22058 | 14861 | 136817 0 | 22771 | 32037 53.58/53.64 c 50.8s | 10 | 22741 | 15361 | 136817 0 | 22771 | 32037 55.58/55.65 c 52.8s | 10 | 23626 | 15961 | 136817 0 | 22771 | 32037 57.88/57.90 c 55.1s | 10 | 24419 | 16561 | 136817 0 | 22771 | 32037 59.87/59.94 c 57.1s | 10 | 25041 | 17061 | 150499 0 | 22771 | 32037 60.07/60.19 c 57.3s | 11 | 25165 | 17144 | 150499 0 | 22771 | 32037 62.37/62.40 c 59.6s | 11 | 26202 | 17844 | 150499 0 | 22771 | 32037 64.37/64.48 c 61.6s | 11 | 27177 | 18544 | 150499 0 | 22771 | 32037 66.57/66.62 c 63.8s | 11 | 28034 | 19144 | 150499 0 | 22771 | 32037 68.77/68.89 c 66.0s | 11 | 29366 | 19844 | 150499 0 | 22793 | 32106 70.97/71.00 c 68.2s | 11 | 30491 | 20544 | 150499 0 | 22793 | 32106 73.17/73.22 c 70.4s | 11 | 31863 | 21244 | 150499 0 | 22833 | 32253 75.27/75.31 c 72.5s | 11 | 32840 | 21944 | 150499 0 | 22833 | 32253 77.47/77.59 c 74.7s | 11 | 33978 | 22744 | 150499 0 | 22833 | 32253 79.57/79.67 c 76.8s | 11 | 34721 | 23344 | 150499 0 | 22833 | 32253 81.77/81.82 c 79.0s | 11 | 35668 | 24044 | 150499 0 | 22833 | 32253 83.97/84.00 c 81.1s | 11 | 36560 | 24744 | 150499 0 | 22833 | 32253 85.97/86.04 c 83.2s | 11 | 37302 | 25344 | 150499 0 | 22833 | 32253 87.57/87.64 c 84.8s | 12 | 37948 | 25819 | 165549 0 | 22833 | 32253 89.67/89.71 c 86.9s | 12 | 39010 | 26419 | 165549 0 | 22833 | 32253 91.67/91.77 c 88.9s | 12 | 39953 | 27019 | 165549 0 | 22833 | 32253 93.77/93.86 c 91.0s | 12 | 40900 | 27619 | 165549 0 | 22833 | 32253 96.07/96.17 c 93.3s | 12 | 41816 | 28219 | 165549 0 | 22833 | 32253 98.27/98.30 c 95.5s | 12 | 42598 | 28719 | 165549 0 | 22833 | 32253 100.27/100.32 c 97.5s | 12 | 43202 | 29119 | 165549 0 | 22833 | 32253 102.28/102.36 c 99.5s | 12 | 43707 | 29519 | 165549 0 | 22833 | 32253 104.77/104.89 c 102s | 12 | 44558 | 30019 | 165549 0 | 22833 | 32253 107.07/107.16 c 104s | 12 | 45494 | 30619 | 165549 0 | 22833 | 32253 109.47/109.57 c 106s | 12 | 46449 | 31219 | 165549 0 | 22833 | 32253 111.77/111.82 c 108s | 12 | 47286 | 31719 | 165549 0 | 22833 | 32253 114.27/114.31 c 111s | 12 | 48025 | 32219 | 165549 0 | 22833 | 32253 116.37/116.43 c 113s | 12 | 48560 | 32619 | 165549 0 | 22833 | 32253 118.67/118.78 c 115s | 12 | 49142 | 33019 | 165549 0 | 22833 | 32253 121.07/121.16 c 118s | 12 | 49712 | 33419 | 165549 0 | 22833 | 32253 123.36/123.49 c 120s | 12 | 50224 | 33819 | 165549 0 | 22833 | 32253 125.76/125.89 c 123s | 12 | 50915 | 34319 | 165549 0 | 22833 | 32253 128.06/128.15 c 125s | 12 | 51518 | 34719 | 165549 0 | 22833 | 32253 130.16/130.29 c 127s | 12 | 52099 | 35119 | 165549 0 | 22833 | 32253 132.26/132.33 c 129s | 12 | 52822 | 35619 | 165549 0 | 22833 | 32253 134.46/134.58 c 131s | 12 | 53799 | 36319 | 165549 0 | 22833 | 32253 136.76/136.82 c 133s | 12 | 54511 | 36819 | 165549 0 | 22833 | 32253 138.76/138.85 c 135s | 12 | 55047 | 37219 | 165549 0 | 22833 | 32253 140.77/140.86 c 138s | 12 | 55700 | 37719 | 165549 0 | 22833 | 32253 142.76/142.88 c 140s | 12 | 56331 | 38119 | 165549 0 | 22833 | 32253 145.06/145.19 c 142s | 12 | 57131 | 38619 | 182104 0 | 22833 | 32253 146.27/146.33 c 143s | 13 | 57445 | 38832 | 182104 0 | 22833 | 32253 148.57/148.64 c 145s | 13 | 58088 | 39232 | 182104 0 | 22833 | 32253 150.67/150.77 c 147s | 13 | 58661 | 39632 | 182104 0 | 22833 | 32253 152.76/152.88 c 150s | 13 | 59136 | 40032 | 182104 0 | 22833 | 32253 155.26/155.40 c 152s | 13 | 59890 | 40532 | 182104 0 | 22833 | 32253 157.46/157.51 c 154s | 13 | 60751 | 41032 | 182104 0 | 22833 | 32253 159.66/159.75 c 156s | 13 | 61625 | 41632 | 182104 0 | 22833 | 32253 161.66/161.78 c 158s | 13 | 62271 | 42132 | 182104 0 | 22833 | 32253 164.06/164.18 c 161s | 13 | 63083 | 42732 | 182104 0 | 22833 | 32253 166.56/166.66 c 163s | 13 | 63739 | 43232 | 182104 0 | 22833 | 32253 168.86/168.90 c 166s | 13 | 64381 | 43732 | 182104 0 | 22833 | 32253 171.26/171.37 c 168s | 13 | 65114 | 44232 | 182104 0 | 22833 | 32253 173.66/173.77 c 170s | 13 | 65848 | 44732 | 182104 0 | 22833 | 32253 175.96/176.01 c 173s | 13 | 66437 | 45132 | 182104 0 | 22833 | 32253 178.45/178.58 c 175s | 13 | 66928 | 45532 | 182104 0 | 22833 | 32253 181.05/181.13 c 178s | 13 | 67437 | 45932 | 182104 0 | 22833 | 32253 183.25/183.35 c 180s | 13 | 67977 | 46332 | 182104 0 | 22833 | 32253 185.45/185.59 c 182s | 13 | 68568 | 46732 | 182104 0 | 22833 | 32253 187.95/188.08 c 185s | 13 | 69108 | 47132 | 182104 0 | 22833 | 32253 190.36/190.44 c 187s | 13 | 69681 | 47532 | 182104 0 | 22833 | 32253 192.65/192.70 c 189s | 13 | 70402 | 48032 | 182104 0 | 22833 | 32253 194.76/194.86 c 192s | 13 | 70955 | 48432 | 182104 0 | 22833 | 32253 196.86/196.91 c 194s | 13 | 71521 | 48832 | 182104 0 | 22833 | 32253 199.16/199.24 c 196s | 13 | 72045 | 49232 | 182104 0 | 22833 | 32253 201.45/201.53 c 198s | 13 | 72585 | 49632 | 182104 0 | 22833 | 32253 203.65/203.72 c 200s | 13 | 73221 | 50032 | 182104 0 | 22833 | 32253 205.95/206.09 c 203s | 13 | 73779 | 50432 | 182104 0 | 22833 | 32253 208.45/208.50 c 205s | 13 | 74424 | 50832 | 182104 0 | 22835 | 32258 210.75/210.81 c 207s | 13 | 75152 | 51332 | 182104 0 | 22835 | 32258 213.15/213.26 c 210s | 13 | 75895 | 51832 | 182104 0 | 22835 | 32258 215.35/215.40 c 212s | 13 | 76410 | 52232 | 182104 0 | 22835 | 32258 217.45/217.59 c 214s | 13 | 76984 | 52632 | 182104 0 | 22835 | 32258 219.85/220.00 c 217s | 13 | 77628 | 53132 | 182104 0 | 22835 | 32258 222.26/222.33 c 219s | 13 | 78276 | 53632 | 182104 0 | 22835 | 32258 224.45/224.59 c 221s | 13 | 79140 | 54232 | 182104 0 | 22835 | 32258 226.65/226.79 c 223s | 13 | 79940 | 54832 | 182104 0 | 22835 | 32258 228.75/228.87 c 226s | 13 | 80931 | 55532 | 182104 0 | 22835 | 32258 231.15/231.28 c 228s | 13 | 81706 | 56132 | 182104 0 | 22835 | 32258 233.45/233.56 c 230s | 13 | 82437 | 56732 | 182104 0 | 22835 | 32258 235.55/235.60 c 232s | 13 | 83079 | 57232 | 182104 0 | 22835 | 32258 237.55/237.62 c 234s | 13 | 83763 | 57732 | 182104 0 | 22835 | 32258 239.85/239.94 c 237s | 13 | 84645 | 58332 | 200315 0 | 22835 | 32258 239.94/240.02 c 237s | 14 | 84681 | 58352 | 200315 0 | 22835 | 32258 242.34/242.43 c 239s | 14 | 85548 | 58852 | 200315 0 | 22835 | 32258 244.44/244.53 c 241s | 14 | 86086 | 59252 | 200315 0 | 22835 | 32258 246.45/246.54 c 243s | 14 | 86608 | 59652 | 200315 0 | 22835 | 32258 248.55/248.60 c 245s | 14 | 87155 | 60052 | 200315 0 | 22835 | 32258 250.54/250.65 c 247s | 14 | 87734 | 60452 | 200315 0 | 22835 | 32258 252.84/252.98 c 250s | 14 | 88595 | 60952 | 200315 0 | 22835 | 32258 255.15/255.23 c 252s | 14 | 89270 | 61452 | 200315 0 | 22835 | 32258 257.14/257.28 c 254s | 14 | 89802 | 61852 | 200315 0 | 22835 | 32258 259.24/259.37 c 256s | 14 | 90434 | 62252 | 200315 0 | 22835 | 32258 261.44/261.57 c 258s | 14 | 91189 | 62752 | 200315 0 | 22835 | 32258 263.64/263.74 c 260s | 14 | 91784 | 63152 | 200315 0 | 22835 | 32258 265.64/265.74 c 262s | 14 | 92491 | 63652 | 200315 0 | 22835 | 32258 267.84/267.99 c 265s | 14 | 93179 | 64152 | 200315 0 | 22835 | 32258 269.94/270.08 c 267s | 14 | 93883 | 64652 | 200315 0 | 22835 | 32258 272.04/272.19 c 269s | 14 | 94604 | 65152 | 200315 0 | 22835 | 32258 274.44/274.58 c 271s | 14 | 95415 | 65752 | 200315 0 | 22835 | 32258 276.54/276.69 c 273s | 14 | 96234 | 66352 | 200315 0 | 22835 | 32258 278.94/279.04 c 276s | 14 | 96979 | 66952 | 200315 0 | 22835 | 32258 281.34/281.42 c 278s | 14 | 97661 | 67452 | 200315 0 | 22835 | 32258 283.64/283.74 c 280s | 14 | 98353 | 67952 | 200315 0 | 22835 | 32258 286.04/286.19 c 283s | 14 | 98973 | 68452 | 200315 0 | 22835 | 32258 288.14/288.25 c 285s | 14 | 99470 | 68852 | 200315 0 | 22835 | 32258 290.14/290.27 c 287s | 14 | 100008 | 69252 | 200315 0 | 22835 | 32258 292.74/292.80 c 289s | 14 | 100589 | 69652 | 200315 0 | 22835 | 32258 295.04/295.15 c 292s | 14 | 101198 | 70052 | 200315 0 | 22835 | 32258 297.24/297.30 c 294s | 14 | 101999 | 70552 | 200315 0 | 22835 | 32258 299.74/299.85 c 296s | 14 | 102739 | 71052 | 200315 0 | 22835 | 32258 302.03/302.12 c 299s | 14 | 103256 | 71452 | 200315 0 | 22835 | 32258 304.13/304.25 c 301s | 14 | 103751 | 71752 | 200315 0 | 22835 | 32258 306.43/306.58 c 303s | 14 | 104306 | 72152 | 200315 0 | 22835 | 32258 308.43/308.58 c 305s | 14 | 104735 | 72452 | 200315 0 | 22835 | 32258 310.73/310.86 c 308s | 14 | 105306 | 72852 | 200315 0 | 22835 | 32258 313.44/313.54 c 310s | 14 | 105890 | 73252 | 200315 0 | 22835 | 32258 315.53/315.66 c 312s | 14 | 106501 | 73652 | 200315 0 | 22835 | 32258 318.23/318.36 c 315s | 14 | 107109 | 74052 | 200315 0 | 22835 | 32258 320.43/320.55 c 317s | 14 | 107684 | 74352 | 200315 0 | 22835 | 32258 322.53/322.62 c 319s | 14 | 108343 | 74752 | 200315 0 | 22835 | 32258 324.83/324.92 c 322s | 14 | 109158 | 75252 | 200315 0 | 22835 | 32258 327.33/327.45 c 324s | 14 | 109754 | 75652 | 200315 0 | 22835 | 32258 329.63/329.73 c 326s | 14 | 110413 | 76052 | 200315 0 | 22835 | 32258 332.14/332.22 c 329s | 14 | 110991 | 76452 | 200315 0 | 22835 | 32258 334.13/334.28 c 331s | 14 | 111462 | 76752 | 200315 0 | 22835 | 32258 336.13/336.29 c 333s | 14 | 111945 | 77052 | 200315 0 | 22835 | 32258 338.23/338.31 c 335s | 14 | 112333 | 77352 | 200315 0 | 22835 | 32258 340.23/340.39 c 337s | 14 | 112777 | 77652 | 200315 0 | 22835 | 32258 342.73/342.83 c 339s | 14 | 113388 | 78052 | 200315 0 | 22835 | 32258 345.13/345.28 c 342s | 14 | 113908 | 78452 | 200315 0 | 22835 | 32258 347.43/347.51 c 344s | 14 | 114406 | 78852 | 200315 0 | 22835 | 32258 349.63/349.72 c 346s | 14 | 114829 | 79152 | 200315 0 | 22835 | 32258 352.13/352.25 c 349s | 14 | 115398 | 79552 | 200315 0 | 22835 | 32258 354.63/354.74 c 351s | 14 | 115949 | 79952 | 200315 0 | 22835 | 32258 357.13/357.28 c 354s | 14 | 116303 | 80252 | 200315 0 | 22835 | 32258 359.63/359.72 c 356s | 14 | 116727 | 80552 | 200315 0 | 22835 | 32258 361.94/362.05 c 359s | 14 | 117140 | 80852 | 200315 0 | 22835 | 32258 364.23/364.31 c 361s | 14 | 117719 | 81252 | 200315 0 | 22835 | 32258 366.24/366.40 c 363s | 14 | 118160 | 81552 | 200315 0 | 22835 | 32258 368.44/368.53 c 365s | 14 | 118626 | 81852 | 200315 0 | 22835 | 32258 370.43/370.59 c 367s | 14 | 119111 | 82152 | 200315 0 | 22835 | 32258 373.03/373.13 c 370s | 14 | 119681 | 82552 | 200315 0 | 22835 | 32258 375.23/375.33 c 372s | 14 | 120298 | 82952 | 200315 0 | 22835 | 32258 377.93/378.00 c 375s | 14 | 120814 | 83352 | 200315 0 | 22835 | 32258 380.43/380.55 c 377s | 14 | 121314 | 83752 | 200315 0 | 22835 | 32258 382.53/382.60 c 379s | 14 | 121798 | 84052 | 200315 0 | 22835 | 32258 384.73/384.88 c 382s | 14 | 122199 | 84352 | 200315 0 | 22835 | 32258 387.14/387.25 c 384s | 14 | 122609 | 84652 | 200315 0 | 22835 | 32258 389.63/389.74 c 386s | 14 | 123099 | 85052 | 200315 0 | 22835 | 32258 392.03/392.15 c 389s | 14 | 123488 | 85352 | 200315 0 | 22835 | 32258 394.13/394.27 c 391s | 14 | 123866 | 85652 | 200315 0 | 22835 | 32258 396.43/396.58 c 393s | 14 | 124273 | 85952 | 200315 0 | 22835 | 32258 398.43/398.59 c 395s | 14 | 124802 | 86352 | 200315 0 | 22835 | 32258 400.73/400.88 c 398s | 14 | 125512 | 86852 | 200315 0 | 22835 | 32258 402.83/402.96 c 400s | 14 | 125983 | 87152 | 220347 0 | 22835 | 32258 405.13/405.29 c 402s | 14 | 126507 | 87552 | 220347 0 | 22835 | 32258 405.83/405.98 c 403s | 15 | 126611 | 87632 | 220347 0 | 22835 | 32258 408.13/408.28 c 405s | 15 | 127109 | 87932 | 220347 0 | 22835 | 32258 410.23/410.37 c 407s | 15 | 127723 | 88332 | 220347 0 | 22835 | 32258 412.33/412.43 c 409s | 15 | 128219 | 88732 | 220347 0 | 22835 | 32258 414.43/414.58 c 411s | 15 | 128740 | 89132 | 220347 0 | 22835 | 32258 417.12/417.23 c 414s | 15 | 129388 | 89532 | 220347 0 | 22835 | 32258 419.72/419.83 c 416s | 15 | 129980 | 89932 | 220347 0 | 22835 | 32258 422.33/422.43 c 419s | 15 | 130519 | 90332 | 220347 0 | 22835 | 32258 424.82/424.95 c 422s | 15 | 131115 | 90732 | 220347 0 | 22835 | 32258 427.22/427.34 c 424s | 15 | 131522 | 91032 | 220347 0 | 22835 | 32258 429.82/429.92 c 427s | 15 | 131876 | 91332 | 220347 0 | 22835 | 32258 432.33/432.42 c 429s | 15 | 132229 | 91632 | 220347 0 | 22835 | 32258 434.53/434.65 c 431s | 15 | 132623 | 91932 | 220347 0 | 22835 | 32258 436.73/436.84 c 433s | 15 | 133039 | 92232 | 220347 0 | 22835 | 32258 438.83/438.91 c 436s | 15 | 133473 | 92532 | 220347 0 | 22835 | 32258 441.22/441.38 c 438s | 15 | 133856 | 92832 | 220347 0 | 22835 | 32258 443.62/443.74 c 440s | 15 | 134223 | 93132 | 220347 0 | 22835 | 32258 445.62/445.74 c 442s | 15 | 134663 | 93432 | 220347 0 | 22835 | 32258 448.02/448.14 c 445s | 15 | 135013 | 93732 | 220347 0 | 22835 | 32258 450.52/450.60 c 447s | 15 | 135438 | 94032 | 220347 0 | 22835 | 32258 452.52/452.62 c 449s | 15 | 135862 | 94332 | 220347 0 | 22835 | 32258 455.22/455.34 c 452s | 15 | 136351 | 94732 | 220347 0 | 22835 | 32258 457.72/457.86 c 455s | 15 | 136908 | 95132 | 220347 0 | 22835 | 32258 460.02/460.13 c 457s | 15 | 137470 | 95532 | 220347 0 | 22835 | 32258 462.42/462.57 c 459s | 15 | 138082 | 95932 | 220347 0 | 22835 | 32258 464.82/464.94 c 462s | 15 | 138586 | 96332 | 220347 0 | 22835 | 32258 466.82/466.94 c 464s | 15 | 138945 | 96632 | 220347 0 | 22835 | 32258 469.22/469.35 c 466s | 15 | 139499 | 97032 | 220347 0 | 22835 | 32258 472.02/472.12 c 469s | 15 | 140044 | 97432 | 220347 0 | 22835 | 32258 474.12/474.25 c 471s | 15 | 140489 | 97732 | 220347 0 | 22835 | 32258 476.22/476.35 c 473s | 15 | 141017 | 98032 | 220347 0 | 22835 | 32258 478.42/478.51 c 475s | 15 | 141427 | 98332 | 220347 0 | 22835 | 32258 480.52/480.60 c 477s | 15 | 141798 | 98632 | 220347 0 | 22835 | 32258 482.71/482.90 c 480s | 15 | 142405 | 99032 | 220347 0 | 22835 | 32258 485.12/485.29 c 482s | 15 | 143056 | 99432 | 220347 0 | 22835 | 32258 487.61/487.78 c 484s | 15 | 143653 | 99832 | 220347 0 | 22835 | 32258 489.91/490.03 c 487s | 15 | 144081 | 100132 | 220347 0 | 22835 | 32258 492.51/492.66 c 489s | 15 | 144647 | 100532 | 220347 0 | 22835 | 32258 494.71/494.80 c 491s | 15 | 145385 | 100932 | 220347 0 | 22835 | 32258 496.91/497.00 c 494s | 15 | 145962 | 101332 | 220347 0 | 22835 | 32258 498.91/499.09 c 496s | 15 | 146589 | 101732 | 220347 0 | 22835 | 32258 501.21/501.30 c 498s | 15 | 147099 | 102132 | 220347 0 | 22835 | 32258 503.21/503.33 c 500s | 15 | 147757 | 102532 | 220347 0 | 22835 | 32258 505.31/505.49 c 502s | 15 | 148420 | 102932 | 220347 0 | 22835 | 32258 507.51/507.68 c 504s | 15 | 148984 | 103332 | 220347 0 | 22835 | 32258 509.71/509.84 c 506s | 15 | 149507 | 103732 | 220347 0 | 22835 | 32258 512.21/512.37 c 509s | 15 | 150069 | 104132 | 220347 0 | 22835 | 32258 514.61/514.76 c 511s | 15 | 150667 | 104532 | 220347 0 | 22835 | 32258 517.11/517.20 c 514s | 15 | 151269 | 104932 | 220347 0 | 22835 | 32258 519.12/519.27 c 516s | 15 | 151675 | 105232 | 220347 0 | 22835 | 32258 521.71/521.87 c 519s | 15 | 152157 | 105632 | 220347 0 | 22835 | 32258 523.91/524.03 c 521s | 15 | 152545 | 105932 | 220347 0 | 22835 | 32258 526.21/526.30 c 523s | 15 | 152955 | 106232 | 220347 0 | 22835 | 32258 528.61/528.73 c 525s | 15 | 153558 | 106632 | 220347 0 | 22835 | 32258 531.01/531.14 c 528s | 15 | 154072 | 107032 | 220347 0 | 22835 | 32258 533.31/533.44 c 530s | 15 | 154464 | 107332 | 220347 0 | 22835 | 32258 535.61/535.71 c 532s | 15 | 154844 | 107632 | 220347 0 | 22835 | 32258 537.81/537.91 c 535s | 15 | 155220 | 107932 | 220347 0 | 22835 | 32258 540.31/540.47 c 537s | 15 | 155572 | 108232 | 220347 0 | 22835 | 32258 542.61/542.79 c 539s | 15 | 155969 | 108532 | 220347 0 | 22835 | 32258 544.91/545.05 c 542s | 15 | 156350 | 108832 | 220347 0 | 22835 | 32258 547.20/547.37 c 544s | 15 | 156723 | 109132 | 220347 0 | 22835 | 32258 549.40/549.59 c 546s | 15 | 157101 | 109432 | 220347 0 | 22835 | 32258 551.50/551.64 c 548s | 15 | 157494 | 109732 | 220347 0 | 22835 | 32258 554.00/554.16 c 551s | 15 | 158019 | 110132 | 220347 0 | 22835 | 32258 556.20/556.35 c 553s | 15 | 158429 | 110432 | 220347 0 | 22835 | 32258 558.30/558.42 c 555s | 15 | 158812 | 110732 | 220347 0 | 22835 | 32258 560.40/560.55 c 557s | 15 | 159192 | 111032 | 220347 0 | 22835 | 32258 563.00/563.11 c 560s | 15 | 159741 | 111432 | 220347 0 | 22835 | 32258 565.41/565.58 c 562s | 15 | 160266 | 111832 | 220347 0 | 22835 | 32258 567.80/567.99 c 565s | 15 | 160868 | 112232 | 220347 0 | 22835 | 32258 569.90/570.06 c 567s | 15 | 161268 | 112532 | 220347 0 | 22835 | 32258 572.01/572.15 c 569s | 15 | 161641 | 112832 | 220347 0 | 22835 | 32258 574.11/574.23 c 571s | 15 | 162008 | 113132 | 220347 0 | 22835 | 32258 576.41/576.58 c 573s | 15 | 162429 | 113432 | 220347 0 | 22835 | 32258 578.40/578.58 c 575s | 15 | 162835 | 113732 | 220347 0 | 22835 | 32258 580.50/580.61 c 577s | 15 | 163207 | 114032 | 220347 0 | 22835 | 32258 582.91/583.09 c 580s | 15 | 163568 | 114332 | 220347 0 | 22835 | 32258 585.21/585.33 c 582s | 15 | 164013 | 114632 | 220347 0 | 22835 | 32258 587.50/587.61 c 584s | 15 | 164357 | 114932 | 220347 0 | 22835 | 32258 589.80/589.91 c 587s | 15 | 164751 | 115232 | 220347 0 | 22835 | 32258 591.90/592.08 c 589s | 15 | 165101 | 115532 | 220347 0 | 22835 | 32258 594.00/594.17 c 591s | 15 | 165466 | 115832 | 220347 0 | 22835 | 32258 596.10/596.23 c 593s | 15 | 165865 | 116132 | 220347 0 | 22835 | 32258 598.30/598.43 c 595s | 15 | 166237 | 116432 | 220347 0 | 22835 | 32258 600.70/600.80 c 597s | 15 | 166580 | 116732 | 220347 0 | 22835 | 32258 603.10/603.21 c 600s | 15 | 166954 | 117032 | 220347 0 | 22835 | 32258 605.70/605.80 c 602s | 15 | 167312 | 117332 | 220347 0 | 22835 | 32258 608.10/608.20 c 605s | 15 | 167679 | 117632 | 220347 0 | 22835 | 32258 610.80/610.97 c 608s | 15 | 168027 | 117932 | 220347 0 | 22835 | 32258 613.09/613.25 c 610s | 15 | 168386 | 118232 | 220347 0 | 22835 | 32258 615.19/615.33 c 612s | 15 | 168725 | 118532 | 220347 0 | 22835 | 32258 617.79/617.98 c 615s | 15 | 169220 | 118932 | 220347 0 | 22835 | 32258 620.09/620.24 c 617s | 15 | 169541 | 119232 | 220347 0 | 22835 | 32258 622.99/623.16 c 620s | 15 | 170050 | 119632 | 220347 0 | 22835 | 32258 625.29/625.40 c 622s | 15 | 170429 | 119932 | 220347 0 | 22835 | 32258 627.89/628.03 c 625s | 15 | 170827 | 120232 | 220347 0 | 22835 | 32258 630.20/630.37 c 627s | 15 | 171234 | 120532 | 220347 0 | 22835 | 32258 632.40/632.60 c 629s | 15 | 171633 | 120832 | 220347 0 | 22835 | 32258 635.09/635.24 c 632s | 15 | 172019 | 121132 | 220347 0 | 22835 | 32258 637.69/637.84 c 634s | 15 | 172393 | 121432 | 220347 0 | 22835 | 32258 640.10/640.28 c 637s | 15 | 172786 | 121732 | 220347 0 | 22835 | 32258 642.40/642.54 c 639s | 15 | 173179 | 122032 | 220347 0 | 22835 | 32258 644.69/644.80 c 641s | 15 | 173534 | 122332 | 220347 0 | 22835 | 32258 646.80/646.96 c 644s | 15 | 173924 | 122632 | 220347 0 | 22835 | 32258 649.49/649.68 c 646s | 15 | 174265 | 122932 | 220347 0 | 22835 | 32258 651.99/652.12 c 649s | 15 | 174644 | 123232 | 220347 0 | 22835 | 32258 654.89/655.08 c 652s | 15 | 174975 | 123532 | 220347 0 | 22835 | 32258 657.59/657.72 c 654s | 15 | 175337 | 123832 | 220347 0 | 22835 | 32258 659.69/659.83 c 656s | 15 | 175726 | 124132 | 220347 0 | 22835 | 32258 662.19/662.38 c 659s | 15 | 176203 | 124532 | 220347 0 | 22835 | 32258 664.69/664.83 c 661s | 15 | 176742 | 124932 | 220347 0 | 22835 | 32258 667.19/667.30 c 664s | 15 | 177098 | 125232 | 220347 0 | 22835 | 32258 669.59/669.73 c 666s | 15 | 177475 | 125532 | 220347 0 | 22835 | 32258 671.99/672.17 c 669s | 15 | 177881 | 125832 | 220347 0 | 22835 | 32258 674.48/674.63 c 671s | 15 | 178247 | 126132 | 220347 0 | 22835 | 32258 676.98/677.16 c 674s | 15 | 178624 | 126432 | 220347 0 | 22835 | 32258 679.58/679.78 c 676s | 15 | 178978 | 126732 | 220347 0 | 22835 | 32258 682.18/682.38 c 679s | 15 | 179318 | 127032 | 220347 0 | 22835 | 32258 684.88/685.01 c 682s | 15 | 179692 | 127332 | 220347 0 | 22835 | 32258 687.17/687.35 c 684s | 15 | 180034 | 127632 | 220347 0 | 22835 | 32258 689.38/689.51 c 686s | 15 | 180416 | 127932 | 220347 0 | 22835 | 32258 691.98/692.10 c 689s | 15 | 180969 | 128332 | 220347 0 | 22835 | 32258 694.18/694.31 c 691s | 15 | 181328 | 128632 | 220347 0 | 22835 | 32258 696.48/696.69 c 693s | 15 | 181719 | 128932 | 220347 0 | 22835 | 32258 698.77/698.93 c 696s | 15 | 182091 | 129232 | 220347 0 | 22835 | 32258 700.97/701.16 c 698s | 15 | 182469 | 129532 | 220347 0 | 22835 | 32258 703.67/703.89 c 701s | 15 | 182951 | 129932 | 220347 0 | 22835 | 32258 705.97/706.20 c 703s | 15 | 183294 | 130232 | 220347 0 | 22835 | 32258 708.37/708.54 c 705s | 15 | 183676 | 130532 | 220347 0 | 22835 | 32258 710.37/710.59 c 707s | 15 | 184055 | 130832 | 242382 0 | 22835 | 32258 712.77/712.94 c 710s | 15 | 184438 | 131132 | 242382 0 | 22835 | 32258 715.07/715.22 c 712s | 15 | 184773 | 131432 | 242382 0 | 22835 | 32258 716.07/716.21 c 713s | 16 | 184926 | 131552 | 242382 0 | 22835 | 32258 718.66/718.90 c 716s | 16 | 185255 | 131752 | 242382 0 | 22835 | 32258 721.36/721.50 c 718s | 16 | 185619 | 132052 | 242382 0 | 22835 | 32258 723.36/723.55 c 720s | 16 | 186020 | 132352 | 242382 0 | 22835 | 32258 725.56/725.71 c 722s | 16 | 186397 | 132652 | 242382 0 | 22835 | 32258 727.96/728.16 c 725s | 16 | 186788 | 132952 | 242382 0 | 22835 | 32258 730.27/730.49 c 727s | 16 | 187186 | 133252 | 242382 0 | 22835 | 32258 732.86/733.01 c 730s | 16 | 187556 | 133552 | 242382 0 | 22835 | 32258 735.06/735.22 c 732s | 16 | 187954 | 133852 | 242382 0 | 22835 | 32258 737.16/737.38 c 734s | 16 | 188298 | 134152 | 242382 0 | 22835 | 32258 739.95/740.10 c 737s | 16 | 188670 | 134452 | 242382 0 | 22835 | 32258 742.15/742.38 c 739s | 16 | 189045 | 134752 | 242382 0 | 22835 | 32258 744.35/744.50 c 741s | 16 | 189446 | 135052 | 242382 0 | 22835 | 32258 746.86/747.03 c 744s | 16 | 189814 | 135352 | 242382 0 | 22835 | 32258 749.15/749.33 c 746s | 16 | 190188 | 135652 | 242382 0 | 22835 | 32258 751.26/751.49 c 748s | 16 | 190535 | 135952 | 242382 0 | 22835 | 32258 753.65/753.81 c 750s | 16 | 190895 | 136252 | 242382 0 | 22835 | 32258 756.05/756.29 c 753s | 16 | 191414 | 136652 | 242382 0 | 22835 | 32258 758.14/758.30 c 755s | 16 | 191792 | 136952 | 242382 0 | 22835 | 32258 760.34/760.50 c 757s | 16 | 192132 | 137252 | 242382 0 | 22835 | 32258 762.94/763.17 c 760s | 16 | 192622 | 137652 | 242382 0 | 22835 | 32258 765.24/765.47 c 762s | 16 | 192967 | 137952 | 242382 0 | 22835 | 32258 767.44/767.64 c 764s | 16 | 193351 | 138252 | 242382 0 | 22835 | 32258 770.14/770.38 c 767s | 16 | 193725 | 138552 | 242382 0 | 22835 | 32258 772.74/772.97 c 770s | 16 | 194097 | 138852 | 242382 0 | 22835 | 32258 775.64/775.82 c 772s | 16 | 194662 | 139252 | 242382 0 | 22835 | 32258 778.14/778.32 c 775s | 16 | 195090 | 139552 | 242382 0 | 22835 | 32258 780.74/780.93 c 778s | 16 | 195491 | 139852 | 242382 0 | 22835 | 32258 783.14/783.33 c 780s | 16 | 195858 | 140152 | 242382 0 | 22835 | 32258 785.94/786.14 c 783s | 16 | 196359 | 140452 | 242382 0 | 22835 | 32258 788.04/788.28 c 785s | 16 | 196627 | 140652 | 242382 0 | 22835 | 32258 790.93/791.10 c 788s | 16 | 197104 | 140952 | 242382 0 | 22835 | 32258 793.93/794.10 c 791s | 16 | 197526 | 141252 | 242382 0 | 22835 | 32258 796.53/796.76 c 793s | 16 | 197941 | 141552 | 242382 0 | 22835 | 32258 799.53/799.74 c 796s | 16 | 198396 | 141852 | 242382 0 | 22835 | 32258 802.53/802.79 c 799s | 16 | 198884 | 142152 | 242382 0 | 22835 | 32258 805.52/805.72 c 802s | 16 | 199351 | 142452 | 242382 0 | 22835 | 32258 808.12/808.38 c 805s | 16 | 199743 | 142752 | 242382 0 | 22835 | 32258 810.53/810.75 c 807s | 16 | 200164 | 143052 | 242382 0 | 22835 | 32258 813.32/813.54 c 810s | 16 | 200623 | 143352 | 242382 0 | 22835 | 32258 815.62/815.86 c 813s | 16 | 201058 | 143652 | 242382 0 | 22835 | 32258 817.82/818.01 c 815s | 16 | 201318 | 143852 | 242382 0 | 22835 | 32258 820.71/820.91 c 818s | 16 | 201682 | 144152 | 242382 0 | 22835 | 32258 823.31/823.57 c 820s | 16 | 202088 | 144452 | 242382 0 | 22835 | 32258 825.92/826.15 c 823s | 16 | 202509 | 144752 | 242382 0 | 22835 | 32258 828.71/828.90 c 826s | 16 | 202908 | 145052 | 242382 0 | 22835 | 32258 831.52/831.72 c 828s | 16 | 203266 | 145352 | 242382 0 | 22835 | 32258 833.51/833.78 c 830s | 16 | 203563 | 145552 | 242382 0 | 22835 | 32258 836.01/836.29 c 833s | 16 | 203924 | 145852 | 242382 0 | 22835 | 32258 838.81/839.01 c 836s | 16 | 204295 | 146152 | 242382 0 | 22835 | 32258 841.71/841.94 c 839s | 16 | 204660 | 146452 | 242382 0 | 22835 | 32258 844.01/844.23 c 841s | 16 | 205019 | 146752 | 242382 0 | 22835 | 32258 846.21/846.49 c 843s | 16 | 205420 | 147052 | 242382 0 | 22835 | 32258 848.51/848.75 c 845s | 16 | 205764 | 147352 | 242382 0 | 22835 | 32258 851.00/851.28 c 848s | 16 | 206125 | 147652 | 242382 0 | 22835 | 32258 853.90/854.18 c 851s | 16 | 206497 | 147952 | 242382 0 | 22835 | 32258 856.90/857.13 c 854s | 16 | 206882 | 148252 | 242382 0 | 22835 | 32258 859.30/859.56 c 856s | 16 | 207260 | 148552 | 242382 0 | 22835 | 32258 861.51/861.71 c 858s | 16 | 207504 | 148752 | 242382 0 | 22835 | 32258 864.41/864.61 c 861s | 16 | 207897 | 149052 | 242382 0 | 22835 | 32258 866.61/866.86 c 864s | 16 | 208149 | 149252 | 242382 0 | 22835 | 32258 869.40/869.64 c 866s | 16 | 208638 | 149552 | 242382 0 | 22835 | 32258 872.60/872.84 c 869s | 16 | 209021 | 149852 | 242382 0 | 22835 | 32258 875.40/875.68 c 872s | 16 | 209435 | 150152 | 242382 0 | 22835 | 32258 877.50/877.80 c 874s | 16 | 209672 | 150352 | 242382 0 | 22835 | 32258 880.59/880.81 c 877s | 16 | 210051 | 150652 | 242382 0 | 22835 | 32258 883.29/883.53 c 880s | 16 | 210439 | 150952 | 242382 0 | 22835 | 32258 885.40/885.62 c 882s | 16 | 210694 | 151152 | 242382 0 | 22835 | 32258 887.60/887.84 c 884s | 16 | 210943 | 151352 | 242382 0 | 22835 | 32258 890.19/890.46 c 887s | 16 | 211293 | 151652 | 242382 0 | 22835 | 32258 893.09/893.31 c 890s | 16 | 211706 | 151952 | 242382 0 | 22835 | 32258 895.69/895.90 c 893s | 16 | 212069 | 152252 | 242382 0 | 22835 | 32258 898.59/898.82 c 895s | 16 | 212449 | 152552 | 242382 0 | 22835 | 32258 901.48/901.70 c 898s | 16 | 212820 | 152852 | 242382 0 | 22835 | 32258 904.68/904.91 c 902s | 16 | 213168 | 153152 | 242382 0 | 22835 | 32258 906.78/907.02 c 904s | 16 | 213416 | 153352 | 242382 0 | 22835 | 32258 908.87/909.16 c 906s | 16 | 213695 | 153552 | 242382 0 | 22835 | 32258 911.68/911.99 c 909s | 16 | 214074 | 153852 | 242382 0 | 22835 | 32258 914.27/914.56 c 911s | 16 | 214505 | 154152 | 242382 0 | 22835 | 32258 916.97/917.23 c 914s | 16 | 214884 | 154452 | 242382 0 | 22835 | 32258 919.17/919.47 c 916s | 16 | 215362 | 154752 | 242382 0 | 22835 | 32258 922.17/922.44 c 919s | 16 | 215704 | 155052 | 242382 0 | 22835 | 32258 924.97/925.29 c 922s | 16 | 216114 | 155352 | 242382 0 | 22835 | 32258 927.07/927.34 c 924s | 16 | 216374 | 155552 | 242382 0 | 22835 | 32258 929.76/930.08 c 927s | 16 | 216741 | 155852 | 242382 0 | 22835 | 32258 932.36/932.67 c 929s | 16 | 217153 | 156152 | 242382 0 | 22835 | 32258 934.46/934.73 c 931s | 16 | 217393 | 156352 | 242382 0 | 22835 | 32258 937.36/937.62 c 934s | 16 | 217777 | 156652 | 242382 0 | 22835 | 32258 940.05/940.33 c 937s | 16 | 218222 | 156952 | 242382 0 | 22835 | 32258 942.85/943.10 c 940s | 16 | 218604 | 157252 | 242382 0 | 22835 | 32258 945.45/945.71 c 942s | 16 | 219046 | 157552 | 242382 0 | 22835 | 32258 947.45/947.78 c 944s | 16 | 219319 | 157752 | 242382 0 | 22835 | 32258 949.55/949.87 c 947s | 16 | 219586 | 157952 | 242382 0 | 22835 | 32258 951.75/952.00 c 949s | 16 | 219842 | 158152 | 242382 0 | 22835 | 32258 954.65/954.99 c 952s | 16 | 220292 | 158452 | 242382 0 | 22835 | 32258 957.65/957.90 c 955s | 16 | 220697 | 158752 | 242382 0 | 22835 | 32258 960.05/960.37 c 957s | 16 | 221093 | 159052 | 242382 0 | 22835 | 32258 962.54/962.83 c 959s | 16 | 221560 | 159352 | 242382 0 | 22835 | 32258 965.34/965.61 c 962s | 16 | 221956 | 159652 | 242382 0 | 22835 | 32258 967.94/968.25 c 965s | 16 | 222367 | 159952 | 242382 0 | 22835 | 32258 970.74/971.02 c 968s | 16 | 222760 | 160252 | 242382 0 | 22835 | 32258 973.74/974.02 c 971s | 16 | 223156 | 160552 | 242382 0 | 22835 | 32258 975.74/976.07 c 973s | 16 | 223429 | 160752 | 242382 0 | 22835 | 32258 977.84/978.16 c 975s | 16 | 223701 | 160952 | 242382 0 | 22835 | 32258 980.43/980.76 c 977s | 16 | 224086 | 161252 | 242382 0 | 22835 | 32258 982.53/982.89 c 980s | 16 | 224354 | 161452 | 242382 0 | 22835 | 32258 984.63/984.90 c 982s | 16 | 224612 | 161652 | 242382 0 | 22835 | 32258 986.73/987.00 c 984s | 16 | 224858 | 161852 | 242382 0 | 22835 | 32258 989.63/990.00 c 987s | 16 | 225267 | 162152 | 242382 0 | 22835 | 32258 991.94/992.26 c 989s | 16 | 225521 | 162352 | 242382 0 | 22835 | 32258 994.03/994.38 c 991s | 16 | 225766 | 162552 | 242382 0 | 22835 | 32258 996.34/996.64 c 993s | 16 | 226025 | 162752 | 242382 0 | 22835 | 32258 998.32/998.69 c 995s | 16 | 226250 | 162952 | 242382 0 | 22835 | 32258 1001.02/1001.37 c 998s | 16 | 226656 | 163252 | 242382 0 | 22835 | 32258 1003.42/1003.77 c 1000s | 16 | 227051 | 163552 | 242382 0 | 22835 | 32258 1006.12/1006.40 c 1003s | 16 | 227425 | 163852 | 242382 0 | 22835 | 32258 1008.62/1008.97 c 1006s | 16 | 227777 | 164152 | 242382 0 | 22835 | 32258 1010.63/1010.98 c 1008s | 16 | 228016 | 164352 | 242382 0 | 22835 | 32258 1013.52/1013.86 c 1011s | 16 | 228380 | 164652 | 242382 0 | 22835 | 32258 1015.82/1016.10 c 1013s | 16 | 228624 | 164852 | 242382 0 | 22835 | 32258 1018.61/1018.93 c 1016s | 16 | 229022 | 165152 | 242382 0 | 22835 | 32258 1021.01/1021.31 c 1018s | 16 | 229433 | 165452 | 242382 0 | 22835 | 32258 1023.01/1023.35 c 1020s | 16 | 229688 | 165652 | 242382 0 | 22835 | 32258 1025.71/1026.04 c 1023s | 16 | 230060 | 165952 | 242382 0 | 22835 | 32258 1028.41/1028.79 c 1025s | 16 | 230423 | 166252 | 242382 0 | 22835 | 32258 1031.41/1031.71 c 1028s | 16 | 230863 | 166552 | 242382 0 | 22835 | 32258 1034.11/1034.44 c 1031s | 16 | 231254 | 166852 | 242382 0 | 22835 | 32258 1036.81/1037.13 c 1034s | 16 | 231682 | 167152 | 242382 0 | 22835 | 32258 1039.31/1039.63 c 1036s | 16 | 232098 | 167452 | 242382 0 | 22835 | 32258 1041.41/1041.77 c 1038s | 16 | 232358 | 167652 | 242382 0 | 22835 | 32258 1043.50/1043.85 c 1040s | 16 | 232602 | 167852 | 242382 0 | 22835 | 32258 1046.60/1046.91 c 1044s | 16 | 233013 | 168152 | 242382 0 | 22835 | 32258 1049.30/1049.60 c 1046s | 16 | 233432 | 168452 | 242382 0 | 22835 | 32258 1051.80/1052.17 c 1049s | 16 | 233803 | 168752 | 242382 0 | 22835 | 32258 1054.90/1055.24 c 1052s | 16 | 234158 | 169052 | 242382 0 | 22835 | 32258 1057.50/1057.80 c 1054s | 16 | 234405 | 169252 | 242382 0 | 22835 | 32258 1059.79/1060.18 c 1057s | 16 | 234642 | 169452 | 242382 0 | 22835 | 32258 1061.99/1062.35 c 1059s | 16 | 234888 | 169652 | 242382 0 | 22835 | 32258 1064.19/1064.57 c 1061s | 16 | 235143 | 169852 | 242382 0 | 22835 | 32258 1066.49/1066.81 c 1063s | 16 | 235402 | 170052 | 242382 0 | 22835 | 32258 1068.48/1068.83 c 1065s | 16 | 235678 | 170252 | 242382 0 | 22835 | 32258 1071.28/1071.68 c 1068s | 16 | 236057 | 170552 | 242382 0 | 22835 | 32258 1074.08/1074.49 c 1071s | 16 | 236432 | 170852 | 242382 0 | 22835 | 32258 1076.78/1077.12 c 1074s | 16 | 236809 | 171152 | 242382 0 | 22835 | 32258 1079.68/1080.06 c 1077s | 16 | 237155 | 171452 | 242382 0 | 22835 | 32258 1081.98/1082.30 c 1079s | 16 | 237399 | 171652 | 242382 0 | 22835 | 32258 1084.08/1084.41 c 1081s | 16 | 237696 | 171852 | 242382 0 | 22835 | 32258 1086.08/1086.44 c 1083s | 16 | 237975 | 172052 | 242382 0 | 22835 | 32258 1088.27/1088.64 c 1085s | 16 | 238225 | 172252 | 242382 0 | 22835 | 32258 1090.37/1090.76 c 1087s | 16 | 238467 | 172452 | 242382 0 | 22835 | 32258 1092.47/1092.81 c 1089s | 16 | 238711 | 172652 | 242382 0 | 22835 | 32258 1095.57/1095.96 c 1093s | 16 | 239078 | 172952 | 242382 0 | 22835 | 32258 1097.87/1098.21 c 1095s | 16 | 239325 | 173152 | 242382 0 | 22835 | 32258 1099.86/1100.24 c 1097s | 16 | 239553 | 173352 | 242382 0 | 22835 | 32258 1102.66/1103.00 c 1100s | 16 | 239912 | 173652 | 242382 0 | 22835 | 32258 1105.36/1105.76 c 1102s | 16 | 240278 | 173952 | 242382 0 | 22835 | 32258 1107.66/1108.08 c 1105s | 16 | 240526 | 174152 | 242382 0 | 22835 | 32258 1110.66/1111.05 c 1108s | 16 | 240932 | 174452 | 242382 0 | 22835 | 32258 1113.46/1113.89 c 1111s | 16 | 241337 | 174752 | 242382 0 | 22835 | 32258 1115.76/1116.11 c 1113s | 16 | 241598 | 174952 | 242382 0 | 22835 | 32258 1118.06/1118.49 c 1115s | 16 | 241865 | 175152 | 242382 0 | 22835 | 32258 1121.05/1121.49 c 1118s | 16 | 242269 | 175452 | 242382 0 | 22835 | 32258 1123.15/1123.53 c 1120s | 16 | 242548 | 175652 | 242382 0 | 22835 | 32258 1126.16/1126.54 c 1123s | 16 | 242940 | 175952 | 242382 0 | 22835 | 32258 1128.74/1129.18 c 1126s | 16 | 243191 | 176152 | 242382 0 | 22835 | 32258 1131.65/1132.09 c 1129s | 16 | 243597 | 176452 | 242382 0 | 22835 | 32258 1134.64/1135.08 c 1132s | 16 | 244013 | 176752 | 242382 0 | 22835 | 32258 1137.64/1138.04 c 1135s | 16 | 244428 | 177052 | 242382 0 | 22835 | 32258 1140.64/1141.09 c 1138s | 16 | 244802 | 177352 | 242382 0 | 22835 | 32258 1142.74/1143.19 c 1140s | 16 | 245096 | 177552 | 242382 0 | 22835 | 32258 1145.14/1145.52 c 1142s | 16 | 245333 | 177752 | 242382 0 | 22835 | 32258 1147.24/1147.68 c 1144s | 16 | 245583 | 177952 | 242382 0 | 22835 | 32258 1149.43/1149.83 c 1146s | 16 | 245822 | 178152 | 242382 0 | 22835 | 32258 1151.63/1152.09 c 1149s | 16 | 246055 | 178352 | 242382 0 | 22835 | 32258 1154.33/1154.78 c 1151s | 16 | 246408 | 178652 | 242382 0 | 22835 | 32258 1156.43/1156.81 c 1153s | 16 | 246639 | 178852 | 242382 0 | 22835 | 32258 1158.43/1158.82 c 1155s | 16 | 246918 | 179052 | 242382 0 | 22835 | 32258 1160.63/1161.06 c 1158s | 16 | 247181 | 179252 | 242382 0 | 22835 | 32258 1162.73/1163.15 c 1160s | 16 | 247419 | 179452 | 242382 0 | 22835 | 32258 1165.53/1165.95 c 1163s | 16 | 247829 | 179752 | 242382 0 | 22835 | 32258 1168.82/1169.23 c 1166s | 16 | 248199 | 180052 | 242382 0 | 22835 | 32258 1171.23/1171.69 c 1168s | 16 | 248437 | 180252 | 242382 0 | 22835 | 32258 1174.12/1174.59 c 1171s | 16 | 248795 | 180552 | 242382 0 | 22835 | 32258 1176.92/1177.30 c 1174s | 16 | 249139 | 180852 | 242382 0 | 22835 | 32258 1179.42/1179.89 c 1177s | 16 | 249496 | 181152 | 242382 0 | 22835 | 32258 1182.22/1182.67 c 1179s | 16 | 249852 | 181452 | 242382 0 | 22835 | 32258 1184.81/1185.20 c 1182s | 16 | 250204 | 181752 | 242382 0 | 22835 | 32258 1187.91/1188.32 c 1185s | 16 | 250568 | 182052 | 242382 0 | 22835 | 32258 1190.81/1191.27 c 1188s | 16 | 250911 | 182352 | 242382 0 | 22835 | 32258 1193.01/1193.45 c 1190s | 16 | 251168 | 182552 | 242382 0 | 22835 | 32258 1195.01/1195.45 c 1192s | 16 | 251417 | 182752 | 242382 0 | 22835 | 32258 1197.71/1198.19 c 1195s | 16 | 251773 | 183052 | 242382 0 | 22835 | 32258 1199.81/1200.25 c 1197s | 16 | 252011 | 183252 | 242382 0 | 22835 | 32258 1202.81/1203.22 c 1200s | 16 | 252382 | 183552 | 242382 0 | 22835 | 32258 1205.70/1206.12 c 1203s | 16 | 252741 | 183852 | 242382 0 | 22835 | 32258 1207.90/1208.35 c 1205s | 16 | 252974 | 184052 | 242382 0 | 22835 | 32258 1209.90/1210.38 c 1207s | 16 | 253221 | 184252 | 242382 0 | 22835 | 32258 1212.80/1213.24 c 1210s | 16 | 253571 | 184552 | 242382 0 | 22835 | 32258 1215.70/1216.17 c 1213s | 16 | 253918 | 184852 | 242382 0 | 22835 | 32258 1218.59/1219.00 c 1216s | 16 | 254261 | 185152 | 242382 0 | 22835 | 32258 1221.39/1221.89 c 1219s | 16 | 254605 | 185452 | 242382 0 | 22835 | 32258 1224.29/1224.78 c 1221s | 16 | 254964 | 185752 | 242382 0 | 22835 | 32258 1227.09/1227.51 c 1224s | 16 | 255307 | 186052 | 242382 0 | 22835 | 32258 1229.89/1230.40 c 1227s | 16 | 255648 | 186352 | 242382 0 | 22835 | 32258 1232.79/1233.24 c 1230s | 16 | 256015 | 186652 | 242382 0 | 22835 | 32258 1235.79/1236.27 c 1233s | 16 | 256379 | 186952 | 242382 0 | 22835 | 32258 1237.79/1238.28 c 1235s | 16 | 256603 | 187152 | 242382 0 | 22835 | 32258 1239.88/1240.31 c 1237s | 16 | 256847 | 187352 | 242382 0 | 22835 | 32258 1242.78/1243.23 c 1240s | 16 | 257205 | 187652 | 242382 0 | 22835 | 32258 1245.58/1246.04 c 1243s | 16 | 257540 | 187952 | 242382 0 | 22835 | 32258 1247.88/1248.32 c 1245s | 16 | 257756 | 188152 | 242382 0 | 22835 | 32258 1250.58/1251.06 c 1248s | 16 | 258139 | 188452 | 242382 0 | 22835 | 32258 1253.18/1253.68 c 1250s | 16 | 258539 | 188752 | 242382 0 | 22835 | 32258 1255.98/1256.48 c 1253s | 16 | 258914 | 189052 | 242382 0 | 22835 | 32258 1258.77/1259.29 c 1256s | 16 | 259291 | 189352 | 242382 0 | 22835 | 32258 1261.67/1262.13 c 1259s | 16 | 259717 | 189652 | 242382 0 | 22835 | 32258 1264.47/1265.00 c 1262s | 16 | 260112 | 189952 | 242382 0 | 22835 | 32258 1266.67/1267.13 c 1264s | 16 | 260379 | 190152 | 242382 0 | 22835 | 32258 1268.77/1269.21 c 1266s | 16 | 260654 | 190352 | 242382 0 | 22835 | 32258 1271.66/1272.17 c 1269s | 16 | 261018 | 190652 | 242382 0 | 22835 | 32258 1274.66/1275.15 c 1272s | 16 | 261369 | 190952 | 242382 0 | 22835 | 32258 1276.86/1277.30 c 1274s | 16 | 261603 | 191152 | 242382 0 | 22835 | 32258 1278.87/1279.39 c 1276s | 16 | 261842 | 191352 | 242382 0 | 22835 | 32258 1280.96/1281.46 c 1278s | 16 | 262260 | 191652 | 242382 0 | 22835 | 32258 1283.76/1284.23 c 1281s | 16 | 262641 | 191952 | 242382 0 | 22835 | 32258 1286.16/1286.62 c 1283s | 16 | 262897 | 192152 | 242382 0 | 22835 | 32258 1288.46/1288.99 c 1286s | 16 | 263147 | 192352 | 242382 0 | 22835 | 32258 1290.75/1291.20 c 1288s | 16 | 263401 | 192552 | 242382 0 | 22835 | 32258 1293.45/1293.99 c 1291s | 16 | 263727 | 192852 | 242382 0 | 22835 | 32258 1296.25/1296.70 c 1293s | 16 | 264101 | 193152 | 242382 0 | 22835 | 32258 1298.85/1299.33 c 1296s | 16 | 264465 | 193452 | 242382 0 | 22835 | 32258 1300.96/1301.48 c 1298s | 16 | 264712 | 193652 | 242382 0 | 22835 | 32258 1303.06/1303.51 c 1300s | 16 | 264976 | 193852 | 242382 0 | 22835 | 32258 1305.05/1305.57 c 1302s | 16 | 265239 | 194052 | 242382 0 | 22835 | 32258 1308.15/1308.63 c 1305s | 16 | 265616 | 194352 | 242382 0 | 22835 | 32258 1310.25/1310.76 c 1307s | 16 | 265998 | 194652 | 242382 0 | 22835 | 32258 1313.05/1313.54 c 1310s | 16 | 266350 | 194952 | 242382 0 | 22835 | 32258 1315.85/1316.32 c 1313s | 16 | 266740 | 195252 | 242382 0 | 22835 | 32258 1318.65/1319.10 c 1316s | 16 | 267147 | 195552 | 242382 0 | 22835 | 32258 1321.14/1321.65 c 1318s | 16 | 267515 | 195852 | 242382 0 | 22835 | 32258 1323.64/1324.18 c 1321s | 16 | 267884 | 196152 | 266621 0 | 22835 | 32258 1326.64/1327.12 c 1324s | 16 | 268232 | 196452 | 266621 0 | 22835 | 32258 1328.94/1329.43 c 1326s | 16 | 268472 | 196652 | 266621 0 | 22835 | 32258 1330.94/1331.47 c 1328s | 16 | 268734 | 196852 | 266621 0 | 22835 | 32258 1333.74/1334.21 c 1331s | 16 | 269095 | 197152 | 266621 0 | 22835 | 32258 1336.24/1336.73 c 1333s | 17 | 269439 | 197432 | 266621 0 | 22835 | 32258 1338.24/1338.76 c 1335s | 17 | 269603 | 197532 | 266621 0 | 22835 | 32258 1341.14/1341.61 c 1338s | 17 | 270003 | 197832 | 266621 0 | 22835 | 32258 1344.23/1344.70 c 1341s | 17 | 270371 | 198132 | 266621 0 | 22835 | 32258 1346.93/1347.42 c 1344s | 17 | 270743 | 198432 | 266621 0 | 22835 | 32258 1350.03/1350.56 c 1347s | 17 | 271105 | 198732 | 266621 0 | 22835 | 32258 1352.33/1352.90 c 1350s | 17 | 271367 | 198932 | 266621 0 | 22835 | 32258 1355.03/1355.58 c 1352s | 17 | 271788 | 199232 | 266621 0 | 22835 | 32258 1357.63/1358.18 c 1355s | 17 | 272177 | 199532 | 266621 0 | 22835 | 32258 1360.33/1360.81 c 1357s | 17 | 272582 | 199832 | 266621 0 | 22835 | 32258 1362.62/1363.15 c 1360s | 17 | 272965 | 200132 | 266621 0 | 22835 | 32258 1364.82/1365.33 c 1362s | 17 | 273331 | 200432 | 266621 0 | 22835 | 32258 1367.02/1367.53 c 1364s | 17 | 273776 | 200732 | 266621 0 | 22835 | 32258 1369.62/1370.18 c 1367s | 17 | 274126 | 201032 | 266621 0 | 22835 | 32258 1371.72/1372.21 c 1369s | 17 | 274362 | 201232 | 266621 0 | 22835 | 32258 1374.42/1374.97 c 1372s | 17 | 274697 | 201532 | 266621 0 | 22835 | 32258 1377.52/1378.01 c 1375s | 17 | 275092 | 201832 | 266621 0 | 22835 | 32258 1380.52/1381.02 c 1378s | 17 | 275438 | 202132 | 266621 0 | 22835 | 32258 1383.22/1383.74 c 1380s | 17 | 275794 | 202432 | 266621 0 | 22835 | 32258 1385.22/1385.75 c 1382s | 17 | 276024 | 202632 | 266621 0 | 22835 | 32258 1387.92/1388.43 c 1385s | 17 | 276448 | 202932 | 266621 0 | 22835 | 32258 1390.21/1390.73 c 1387s | 17 | 276833 | 203232 | 266621 0 | 22835 | 32258 1393.01/1393.59 c 1390s | 17 | 277238 | 203532 | 266621 0 | 22835 | 32258 1395.81/1396.39 c 1393s | 17 | 277606 | 203832 | 266621 0 | 22835 | 32258 1398.61/1399.15 c 1396s | 17 | 277965 | 204132 | 266621 0 | 22835 | 32258 1401.02/1401.57 c 1398s | 17 | 278214 | 204332 | 266621 0 | 22835 | 32258 1403.12/1403.64 c 1400s | 17 | 278484 | 204532 | 266621 0 | 22835 | 32258 1405.51/1406.05 c 1403s | 17 | 278850 | 204832 | 266621 0 | 22835 | 32258 1407.91/1408.47 c 1405s | 17 | 279377 | 205232 | 266621 0 | 22835 | 32258 1410.61/1411.15 c 1408s | 17 | 279914 | 205632 | 266621 0 | 22835 | 32258 1413.71/1414.25 c 1411s | 17 | 280294 | 205932 | 266621 0 | 22835 | 32258 1415.81/1416.30 c 1413s | 17 | 280557 | 206132 | 266621 0 | 22835 | 32258 1418.01/1418.54 c 1415s | 17 | 280794 | 206332 | 266621 0 | 22835 | 32258 1420.21/1420.77 c 1417s | 17 | 281037 | 206532 | 266621 0 | 22835 | 32258 1422.71/1423.20 c 1420s | 17 | 281378 | 206832 | 266621 0 | 22835 | 32258 1425.61/1426.19 c 1423s | 17 | 281759 | 207132 | 266621 0 | 22835 | 32258 1428.11/1428.60 c 1425s | 17 | 282002 | 207332 | 266621 0 | 22835 | 32258 1430.31/1430.83 c 1427s | 17 | 282250 | 207532 | 266621 0 | 22835 | 32258 1432.71/1433.25 c 1430s | 17 | 282606 | 207832 | 266621 0 | 22835 | 32258 1435.11/1435.63 c 1432s | 17 | 283103 | 208232 | 266621 0 | 22835 | 32258 1437.11/1437.67 c 1434s | 17 | 283466 | 208532 | 266621 0 | 22835 | 32258 1439.21/1439.73 c 1436s | 17 | 283856 | 208832 | 266621 0 | 22835 | 32258 1441.61/1442.16 c 1439s | 17 | 284319 | 209232 | 266621 0 | 22835 | 32258 1443.71/1444.20 c 1441s | 17 | 284674 | 209532 | 266621 0 | 22835 | 32258 1446.31/1446.88 c 1444s | 17 | 285052 | 209832 | 266621 0 | 22835 | 32258 1448.41/1448.98 c 1446s | 17 | 285300 | 210032 | 266621 0 | 22835 | 32258 1450.61/1451.18 c 1448s | 17 | 285535 | 210232 | 266621 0 | 22835 | 32258 1453.51/1454.09 c 1451s | 17 | 285914 | 210532 | 266621 0 | 22835 | 32258 1456.40/1456.92 c 1454s | 17 | 286286 | 210832 | 266621 0 | 22835 | 32258 1459.00/1459.50 c 1456s | 17 | 286705 | 211132 | 266621 0 | 22835 | 32258 1461.10/1461.60 c 1458s | 17 | 286928 | 211332 | 266621 0 | 22835 | 32258 1463.80/1464.37 c 1461s | 17 | 287343 | 211632 | 266621 0 | 22835 | 32258 1466.10/1466.62 c 1463s | 17 | 287747 | 211932 | 266621 0 | 22835 | 32258 1468.80/1469.40 c 1466s | 17 | 288177 | 212232 | 266621 0 | 22835 | 32258 1471.00/1471.51 c 1468s | 17 | 288401 | 212432 | 266621 0 | 22835 | 32258 1473.80/1474.33 c 1471s | 17 | 288769 | 212732 | 266621 0 | 22835 | 32258 1476.91/1477.44 c 1474s | 17 | 289116 | 213032 | 266621 0 | 22835 | 32258 1479.70/1480.21 c 1477s | 17 | 289497 | 213332 | 266621 0 | 22835 | 32258 1482.60/1483.15 c 1480s | 17 | 289869 | 213632 | 266621 0 | 22835 | 32258 1485.50/1486.03 c 1483s | 17 | 290235 | 213932 | 266621 0 | 22835 | 32258 1487.70/1488.25 c 1485s | 17 | 290490 | 214132 | 266621 0 | 22835 | 32258 1490.80/1491.35 c 1488s | 17 | 290882 | 214432 | 266621 0 | 22835 | 32258 1493.00/1493.53 c 1490s | 17 | 291170 | 214632 | 266621 0 | 22835 | 32258 1495.10/1495.62 c 1492s | 17 | 291471 | 214832 | 266621 0 | 22835 | 32258 1497.30/1497.85 c 1494s | 17 | 291709 | 215032 | 266621 0 | 22835 | 32258 1499.40/1499.90 c 1497s | 17 | 291957 | 215232 | 266621 0 | 22835 | 32258 1501.50/1502.03 c 1499s | 17 | 292205 | 215432 | 266621 0 | 22835 | 32258 1504.50/1505.04 c 1502s | 17 | 292585 | 215732 | 266621 0 | 22835 | 32258 1506.60/1507.14 c 1504s | 17 | 292857 | 215932 | 266621 0 | 22835 | 32258 1508.80/1509.37 c 1506s | 17 | 293113 | 216132 | 266621 0 | 22835 | 32258 1510.90/1511.48 c 1508s | 17 | 293346 | 216332 | 266621 0 | 22835 | 32258 1514.09/1514.62 c 1511s | 17 | 293736 | 216632 | 266621 0 | 22835 | 32258 1516.89/1517.41 c 1514s | 17 | 294147 | 216932 | 266621 0 | 22835 | 32258 1519.89/1520.44 c 1517s | 17 | 294532 | 217232 | 266621 0 | 22835 | 32258 1522.29/1522.84 c 1519s | 17 | 294785 | 217432 | 266621 0 | 22835 | 32258 1524.49/1525.07 c 1522s | 17 | 295024 | 217632 | 266621 0 | 22835 | 32258 1526.59/1527.11 c 1524s | 17 | 295296 | 217832 | 266621 0 | 22835 | 32258 1528.69/1529.27 c 1526s | 17 | 295555 | 218032 | 266621 0 | 22835 | 32258 1531.49/1532.09 c 1529s | 17 | 295932 | 218332 | 266621 0 | 22835 | 32258 1534.49/1535.04 c 1532s | 17 | 296381 | 218632 | 266621 0 | 22835 | 32258 1536.49/1537.05 c 1534s | 17 | 296642 | 218832 | 266621 0 | 22835 | 32258 1539.09/1539.63 c 1536s | 17 | 297065 | 219132 | 266621 0 | 22835 | 32258 1541.19/1541.75 c 1538s | 17 | 297296 | 219332 | 266621 0 | 22835 | 32258 1543.90/1544.48 c 1541s | 17 | 297661 | 219632 | 266621 0 | 22835 | 32258 1546.29/1546.80 c 1543s | 17 | 298041 | 219932 | 266621 0 | 22835 | 32258 1548.49/1549.06 c 1546s | 17 | 298294 | 220132 | 266621 0 | 22835 | 32258 1550.50/1551.09 c 1548s | 17 | 298539 | 220332 | 266621 0 | 22835 | 32258 1552.70/1553.29 c 1550s | 17 | 298799 | 220532 | 266621 0 | 22835 | 32258 1555.00/1555.51 c 1552s | 17 | 299052 | 220732 | 266621 0 | 22835 | 32258 1556.99/1557.56 c 1554s | 17 | 299301 | 220932 | 266621 0 | 22835 | 32258 1559.19/1559.72 c 1556s | 17 | 299532 | 221132 | 266621 0 | 22835 | 32258 1561.59/1562.11 c 1559s | 17 | 299757 | 221332 | 266621 0 | 22835 | 32258 1563.79/1564.35 c 1561s | 17 | 300003 | 221532 | 266621 0 | 22835 | 32258 1565.99/1566.51 c 1563s | 17 | 300212 | 221732 | 266621 0 | 22835 | 32258 1567.99/1568.53 c 1565s | 17 | 300478 | 221932 | 266621 0 | 22835 | 32258 1570.19/1570.72 c 1567s | 17 | 300713 | 222132 | 266621 0 | 22835 | 32258 1572.39/1572.97 c 1570s | 17 | 300963 | 222332 | 266621 0 | 22835 | 32258 1574.59/1575.17 c 1572s | 17 | 301207 | 222532 | 266621 0 | 22835 | 32258 1577.49/1578.09 c 1575s | 17 | 301580 | 222832 | 266621 0 | 22835 | 32258 1579.78/1580.37 c 1577s | 17 | 301827 | 223032 | 266621 0 | 22835 | 32258 1582.08/1582.62 c 1579s | 17 | 302097 | 223232 | 266621 0 | 22835 | 32258 1584.08/1584.69 c 1581s | 17 | 302347 | 223432 | 266621 0 | 22835 | 32258 1586.58/1587.17 c 1584s | 17 | 302565 | 223632 | 266621 0 | 22835 | 32258 1589.58/1590.18 c 1587s | 17 | 302978 | 223932 | 266621 0 | 22835 | 32258 1592.48/1593.05 c 1590s | 17 | 303371 | 224232 | 266621 0 | 22835 | 32258 1594.59/1595.15 c 1592s | 17 | 303610 | 224432 | 266621 0 | 22835 | 32258 1597.28/1597.88 c 1595s | 17 | 304015 | 224732 | 266621 0 | 22835 | 32258 1599.58/1600.19 c 1597s | 17 | 304257 | 224932 | 266621 0 | 22835 | 32258 1601.78/1602.33 c 1599s | 17 | 304518 | 225132 | 266621 0 | 22835 | 32258 1603.88/1604.40 c 1601s | 17 | 304769 | 225332 | 266621 0 | 22835 | 32258 1606.08/1606.64 c 1603s | 17 | 305007 | 225532 | 266621 0 | 22835 | 32258 1608.38/1608.93 c 1606s | 17 | 305239 | 225732 | 266621 0 | 22835 | 32258 1611.18/1611.71 c 1608s | 17 | 305478 | 225932 | 266621 0 | 22835 | 32258 1613.29/1613.86 c 1611s | 17 | 305704 | 226132 | 266621 0 | 22835 | 32258 1615.49/1616.05 c 1613s | 17 | 305922 | 226332 | 266621 0 | 22835 | 32258 1617.59/1618.16 c 1615s | 17 | 306187 | 226532 | 266621 0 | 22835 | 32258 1619.58/1620.17 c 1617s | 17 | 306451 | 226732 | 266621 0 | 22835 | 32258 1622.09/1622.62 c 1619s | 17 | 306828 | 227032 | 266621 0 | 22835 | 32258 1624.29/1624.84 c 1621s | 17 | 307215 | 227332 | 266621 0 | 22835 | 32258 1627.08/1627.62 c 1624s | 17 | 307602 | 227632 | 266621 0 | 22835 | 32258 1629.88/1630.41 c 1627s | 17 | 307975 | 227932 | 266621 0 | 22835 | 32258 1632.58/1633.17 c 1630s | 17 | 308342 | 228232 | 266621 0 | 22835 | 32258 1635.48/1636.01 c 1633s | 17 | 308703 | 228532 | 266621 0 | 22835 | 32258 1638.08/1638.66 c 1635s | 17 | 309077 | 228832 | 266621 0 | 22835 | 32258 1640.58/1641.11 c 1638s | 17 | 309432 | 229132 | 266621 0 | 22835 | 32258 1643.08/1643.61 c 1640s | 17 | 309841 | 229432 | 266621 0 | 22835 | 32258 1646.07/1646.62 c 1643s | 17 | 310173 | 229732 | 266621 0 | 22835 | 32258 1648.67/1649.24 c 1646s | 17 | 310561 | 230032 | 266621 0 | 22835 | 32258 1650.87/1651.42 c 1648s | 17 | 310769 | 230232 | 266621 0 | 22835 | 32258 1653.07/1653.61 c 1650s | 17 | 311016 | 230432 | 266621 0 | 22835 | 32258 1655.08/1655.67 c 1652s | 17 | 311270 | 230632 | 266621 0 | 22835 | 32258 1658.17/1658.71 c 1655s | 17 | 311637 | 230932 | 266621 0 | 22835 | 32258 1660.48/1661.10 c 1658s | 17 | 311877 | 231132 | 266621 0 | 22835 | 32258 1663.17/1663.71 c 1660s | 17 | 312284 | 231432 | 266621 0 | 22835 | 32258 1666.08/1666.69 c 1663s | 17 | 312660 | 231732 | 266621 0 | 22835 | 32258 1669.17/1669.75 c 1666s | 17 | 313031 | 232032 | 266621 0 | 22835 | 32258 1671.27/1671.80 c 1668s | 17 | 313295 | 232232 | 266621 0 | 22835 | 32258 1673.47/1674.05 c 1671s | 17 | 313530 | 232432 | 266621 0 | 22835 | 32258 1675.67/1676.24 c 1673s | 17 | 313763 | 232632 | 266621 0 | 22835 | 32258 1678.77/1679.35 c 1676s | 17 | 314123 | 232932 | 266621 0 | 22835 | 32258 1681.27/1681.90 c 1679s | 17 | 314507 | 233232 | 266621 0 | 22835 | 32258 1683.47/1684.06 c 1681s | 17 | 314867 | 233532 | 266621 0 | 22835 | 32258 1685.97/1686.58 c 1683s | 17 | 315275 | 233832 | 266621 0 | 22835 | 32258 1688.97/1689.50 c 1686s | 17 | 315636 | 234132 | 266621 0 | 22835 | 32258 1691.87/1692.47 c 1689s | 17 | 315998 | 234432 | 266621 0 | 22835 | 32258 1694.87/1695.41 c 1692s | 17 | 316359 | 234732 | 266621 0 | 22835 | 32258 1697.97/1698.57 c 1695s | 17 | 316750 | 235032 | 266621 0 | 22835 | 32258 1700.07/1700.67 c 1697s | 17 | 317000 | 235232 | 266621 0 | 22835 | 32258 1702.47/1703.04 c 1700s | 17 | 317230 | 235432 | 266621 0 | 22835 | 32258 1705.47/1706.02 c 1703s | 17 | 317596 | 235732 | 266621 0 | 22835 | 32258 1707.67/1708.20 c 1705s | 17 | 317845 | 235932 | 266621 0 | 22835 | 32258 1709.77/1710.32 c 1707s | 17 | 318074 | 236132 | 266621 0 | 22835 | 32258 1712.36/1712.93 c 1710s | 17 | 318302 | 236332 | 266621 0 | 22835 | 32258 1714.47/1715.01 c 1712s | 17 | 318562 | 236532 | 266621 0 | 22835 | 32258 1716.67/1717.27 c 1714s | 17 | 318803 | 236732 | 266621 0 | 22835 | 32258 1718.96/1719.51 c 1716s | 17 | 319063 | 236932 | 266621 0 | 22835 | 32258 1720.97/1721.57 c 1718s | 17 | 319336 | 237132 | 266621 0 | 22835 | 32258 1723.17/1723.78 c 1720s | 17 | 319576 | 237332 | 266621 0 | 22835 | 32258 1725.26/1725.82 c 1722s | 17 | 319833 | 237532 | 266621 0 | 22835 | 32258 1727.76/1728.38 c 1725s | 17 | 320062 | 237732 | 266621 0 | 22835 | 32258 1730.36/1731.00 c 1728s | 17 | 320310 | 237932 | 266621 0 | 22835 | 32258 1732.76/1733.33 c 1730s | 17 | 320567 | 238132 | 266621 0 | 22835 | 32258 1734.86/1735.46 c 1732s | 17 | 320798 | 238332 | 266621 0 | 22835 | 32258 1736.96/1737.57 c 1734s | 17 | 321037 | 238532 | 266621 0 | 22835 | 32258 1739.67/1740.23 c 1737s | 17 | 321305 | 238732 | 266621 0 | 22835 | 32258 1741.87/1742.41 c 1739s | 17 | 321534 | 238932 | 266621 0 | 22835 | 32258 1744.76/1745.33 c 1742s | 17 | 321919 | 239232 | 266621 0 | 22835 | 32258 1747.26/1747.81 c 1744s | 17 | 322161 | 239432 | 266621 0 | 22835 | 32258 1749.46/1750.00 c 1747s | 17 | 322420 | 239632 | 266621 0 | 22835 | 32258 1751.46/1752.04 c 1749s | 17 | 322655 | 239832 | 266621 0 | 22835 | 32258 1753.56/1754.16 c 1751s | 17 | 322915 | 240032 | 266621 0 | 22835 | 32258 1755.66/1756.24 c 1753s | 17 | 323156 | 240232 | 266621 0 | 22835 | 32258 1758.26/1758.86 c 1756s | 17 | 323383 | 240432 | 266621 0 | 22835 | 32258 1760.96/1761.50 c 1758s | 17 | 323606 | 240632 | 266621 0 | 22835 | 32258 1763.06/1763.65 c 1760s | 17 | 323829 | 240832 | 266621 0 | 22835 | 32258 1765.66/1766.28 c 1763s | 17 | 324047 | 241032 | 266621 0 | 22835 | 32258 1768.56/1769.14 c 1766s | 17 | 324430 | 241332 | 266621 0 | 22835 | 32258 1770.86/1771.43 c 1768s | 17 | 324670 | 241532 | 266621 0 | 22835 | 32258 1773.36/1773.92 c 1771s | 17 | 324922 | 241732 | 266621 0 | 22835 | 32258 1775.76/1776.39 c 1773s | 17 | 325165 | 241932 | 266621 0 | 22835 | 32258 1778.75/1779.34 c 1776s | 17 | 325549 | 242232 | 266621 0 | 22835 | 32258 1781.56/1782.11 c 1779s | 17 | 325928 | 242532 | 266621 0 | 22835 | 32258 1783.95/1784.54 c 1781s | 17 | 326153 | 242732 | 266621 0 | 22835 | 32258 1786.05/1786.69 c 1783s | 17 | 326391 | 242932 | 266621 0 | 22835 | 32258 1789.26/1789.80 c 1786s | 17 | 326764 | 243232 | 266621 0 | 22835 | 32258 1791.36/1791.95 c 1789s | 17 | 327001 | 243432 | 266621 0 | 22835 | 32258 1794.15/1794.79 c 1791s | 17 | 327368 | 243732 | 266621 0 | 22835 | 32258 1796.25/1796.85 c 1794s | 17 | 327603 | 243932 | 266621 0 | 22835 | 32258 1799.16/1799.77 c 1796s | 17 | 327966 | 244232 | 266621 0 | 22835 | 32258
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-4078831-1465272766/watcher-4078831-1465272766 -o /tmp/evaluation-result-4078831-1465272766/solver-4078831-1465272766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078831-1465272766.opb pid=16853 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.19 2.18 3/178 16856 /proc/meminfo: memFree=29177384/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=404924 CPUtime=0 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 1452 0 0 0 0 0 0 0 20 0 4 0 109208532 414642176 2324 33554432000 4194304 16246674 140736477338560 140736477337984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16856/statm: 101999 2334 441 2943 0 98893 0 [pid=16856/tid=16857] ppid=16853 vsize=417212 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 427225088 2372 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=419260 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 429322240 2379 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=422332 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109208532 432467968 2389 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100125 s] /proc/loadavg: 2.19 2.19 2.18 3/178 16856 /proc/meminfo: memFree=29177384/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 23691 0 0 0 6 2 0 0 20 0 4 0 109208532 1333334016 24501 33554432000 4194304 16246674 140736477338560 140736477337872 12752373 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16856/statm: 325521 24517 800 2943 0 322415 0 [pid=16856/tid=16857] ppid=16853 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1333334016 24526 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1333334016 24538 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1333334016 24549 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200474 s] /proc/loadavg: 2.19 2.19 2.18 3/178 16856 /proc/meminfo: memFree=29177384/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1313348 CPUtime=0.18 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 46273 0 0 0 13 5 0 0 20 0 4 0 109208532 1344868352 47594 33554432000 4194304 16246674 140736477338560 140736477337872 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16856/statm: 328337 47601 800 2943 0 325231 0 [pid=16856/tid=16857] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 47605 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 47609 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 47614 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300433 s] /proc/loadavg: 2.19 2.19 2.18 3/178 16856 /proc/meminfo: memFree=29177384/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 57510 0 0 0 21 7 0 0 20 0 4 0 109208532 1344868352 58831 33554432000 4194304 16246674 140736477338560 140736477337872 8058700 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/16856/statm: 328337 58831 800 2943 0 325231 0 [pid=16856/tid=16857] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 58831 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 58831 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 58831 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700405 s] /proc/loadavg: 2.19 2.19 2.18 3/178 16856 /proc/meminfo: memFree=29177384/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 66323 0 0 0 60 8 0 0 20 0 4 0 109208532 1344868352 67644 33554432000 4194304 16246674 140736477338560 140736477321552 4220517 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 328337 67644 802 2943 0 325231 0 [pid=16856/tid=16857] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 67644 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 67644 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 67644 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.50039 s] /proc/loadavg: 2.19 2.19 2.18 3/182 16860 /proc/meminfo: memFree=28882784/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 142230 0 0 0 128 21 0 0 20 0 4 0 109208532 1344868352 143551 33554432000 4194304 16246674 140736477338560 140736477320448 5886100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 328337 143560 838 2943 0 325231 0 [pid=16856/tid=16857] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 143566 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 143571 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1344868352 143576 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.19 2.19 2.18 3/182 16860 /proc/meminfo: memFree=28351072/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=3.08 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275656 0 0 0 268 40 0 0 20 0 4 0 109208532 1372131328 276977 33554432000 4194304 16246674 140736477338560 140736477337776 5827653 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276977 885 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276977 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276977 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276977 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1339972 [startup+6.30041 s] /proc/loadavg: 2.17 2.19 2.18 3/182 16860 /proc/meminfo: memFree=28071608/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=6.28 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275660 0 0 0 588 40 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 140736477320448 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276981 888 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1339972 [startup+12.7004 s] /proc/loadavg: 2.16 2.18 2.18 3/182 16860 /proc/meminfo: memFree=28072060/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=12.68 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275660 0 0 0 1228 40 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 140736477320448 5674537 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276981 888 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1339972 [startup+25.5005 s] /proc/loadavg: 2.27 2.21 2.18 4/182 16860 /proc/meminfo: memFree=28073312/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=25.48 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275660 0 0 0 2508 40 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 140736477320448 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276981 888 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276981 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1339972 [startup+51.1005 s] /proc/loadavg: 2.18 2.19 2.18 3/183 16861 /proc/meminfo: memFree=28070560/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=51.08 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275663 0 0 0 5068 40 0 0 20 0 4 0 109208532 1372131328 276984 33554432000 4194304 16246674 140736477338560 140736477320448 12483326 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276984 888 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276984 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276984 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276984 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1339972 [startup+102.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 16863 /proc/meminfo: memFree=28070416/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=102.28 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 275668 0 0 0 10188 40 0 0 20 0 4 0 109208532 1372131328 276989 33554432000 4194304 16246674 140736477338560 140736477320448 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276989 892 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276989 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276989 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276989 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1339972 ################ # More data... # ################ /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1339972 [startup+1302.3 s] /proc/loadavg: 2.17 2.20 2.18 3/183 17627 /proc/meminfo: memFree=28160960/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1301.85 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276070 0 0 0 130142 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5677802 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1339972 [startup+1362.3 s] /proc/loadavg: 2.11 2.18 2.17 3/183 17629 /proc/meminfo: memFree=28160928/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1361.82 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276099 0 0 0 136139 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1339972 [startup+1422.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 17630 /proc/meminfo: memFree=28158520/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1421.82 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 142139 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1339972 [startup+1482.3 s] /proc/loadavg: 2.21 2.20 2.18 3/183 17631 /proc/meminfo: memFree=28158284/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1481.8 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 148137 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 13820919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1339972 [startup+1542.31 s] /proc/loadavg: 2.27 2.20 2.18 3/183 17632 /proc/meminfo: memFree=28143148/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1541.8 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 154137 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477336384 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1339972 [startup+1602.3 s] /proc/loadavg: 2.26 2.21 2.18 3/183 17633 /proc/meminfo: memFree=28143368/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1601.78 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 160135 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1339972 [startup+1662.3 s] /proc/loadavg: 2.25 2.21 2.18 3/184 17638 /proc/meminfo: memFree=28143052/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1661.77 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 166134 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1339972 [startup+1722.3 s] /proc/loadavg: 2.25 2.22 2.18 3/183 17638 /proc/meminfo: memFree=28143096/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1721.76 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 172133 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477337656 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1339972 [startup+1782.3 s] /proc/loadavg: 2.25 2.22 2.18 3/183 17640 /proc/meminfo: memFree=28143024/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1781.75 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 178132 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1339972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.18 2.20 2.18 3/183 17640 /proc/meminfo: memFree=28142824/32872528 swapFree=17452/1581112 [pid=16856] ppid=16853 vsize=1339972 CPUtime=1800.05 cores=0,2,4,6 /proc/16856/stat : 16856 (toysat) R 16853 16856 13546 0 -1 4202496 276105 0 0 0 179962 43 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 140736477320448 5675958 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16856/statm: 334993 276994 893 2943 0 331887 0 [pid=16856/tid=16857] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16857/stat : 16857 (toysat) S 16853 16856 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139716043189488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=16856/tid=16858] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16858/stat : 16858 (toysat) S 16853 16856 13546 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715957206256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=16856/tid=16859] ppid=16853 vsize=1339972 CPUtime=0 cores=0,2,4,6 /proc/16856/task/16859/stat : 16859 (toysat) S 16853 16856 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109208532 1372131328 276994 33554432000 4194304 16246674 140736477338560 139715946732720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1339972 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 16856 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.63 CPU system time (s): 0.439933 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1339972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.439933 maximum resident set size= 1107976 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276105 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= 453 involuntary context switches= 2602 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6273 second user time and 6.89295 second system time The end
Begin job on node139 at 2016-06-07 06:12:46 IDJOB=4078831 IDBENCH=73459 IDSOLVER=2542 FILE ID=node139/4078831-1465272766 RUNJOBID= node139-1465254943-13562 PBS_JOBID= 19843273 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12046_2-sat.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078831-1465272766/watcher-4078831-1465272766 -o /tmp/evaluation-result-4078831-1465272766/solver-4078831-1465272766 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465254943-13562 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078831-1465272766.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8df6acf86997549eac6f2a4fde05a479 RANDOM SEED=1205333885 node139.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.868 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.73 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.868 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.868 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.868 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.868 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.868 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.868 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.868 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29177648 kB Buffers: 59792 kB Cached: 105944 kB SwapCached: 948 kB Active: 1292240 kB Inactive: 84788 kB Active(anon): 1210160 kB Inactive(anon): 3220 kB Active(file): 82080 kB Inactive(file): 81568 kB Unevictable: 1581112 kB Mlocked: 17452 kB SwapTotal: 67108856 kB SwapFree: 67099808 kB Dirty: 21776 kB Writeback: 0 kB AnonPages: 2794096 kB Mapped: 10076 kB Shmem: 0 kB Slab: 599536 kB SReclaimable: 42372 kB SUnreclaim: 557164 kB KernelStack: 1504 kB PageTables: 9204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2932836 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1601536 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= 71692 MiB End job on node139 at 2016-06-07 06:42:47