| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.41 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
| MD5SUM | 5a9e4c8983ff8fc3ce01109a5c224dd2 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6352 |
| Total number of constraints | 13453 |
| Number of constraints which are clauses | 13453 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 6352 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 6352 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 6352 |
| Number of bits of the biggest sum of numbers | 13 |
| 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-06T19:14:31+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4079519-1465233271.opb"] 0.00/0.01 c use --random-gen="1734607633 4087221521 4075465999 2072479176 4201334071 2481316390 2501458711 3395795451 2145308850 1747327841 2806518261 3372493256 3596327350 3208950795 1992379299 2706169470 1006773821 2470662534 1790732008 1702859751 2488338167 3160107505 99782644 1127243814 2660137509 1880740662 1553722887 998630224 3192110224 1978005235 608552866 1596848643 3707862511 3140000835 3218825191 617153390 2771728552 2819468724 1585911254 110042605 2811113277 1209420297 1843755072 4021999808 215786027 3099377305 1483320625 911923553 777454798 3684220539 3623992383 4084580129 2363132371 2759664801 996999849 3072449411 3196345456 3479091940 458961283 2624489200 2545464279 2754831122 1339010642 1689342126 4215364014 756640495 1279046842 2670569724 593557868 947009188 3927567618 3635714512 737842350 2014607690 1936729752 3372590815 2962411472 3089921869 3775784055 857068121 1522247653 4053716136 3898884678 397362447 982738525 3510055516 501949275 102145810 2860700148 1364955362 1066434105 350871020 1150159586 3046549268 1741521290 911371544 155179848 592590462 1758328600 3127577314 1827609898 913398719 1780640466 1803316391 733616488 862871880 871136830 985713970 1231762271 89640087 2831552188 903263932 1089520595 3644098499 2913877975 3525604902 2304508430 1626141340 1134226227 2774812537 3534071987 2007290209 1744876710 2145318289 2597099157 841720212 3134860601 3957113603 3052332352 273929849 3341281135 860915454 3951756251 2467873761 114283922 2326868104 1572728580 3709022571 60763310 3889516193 1701002417 2877587130 2349773211 421112 1266456649 2833560202 770316091 3944836696 3761166520 946724642 540228660 3459708135 1375013377 1197384897 1554158144 420930683 1438379608 2213957608 1549147694 843081229 1929384245 3599795888 1343712067 3709037700 2502836225 2042543993 1769207065 1099832529 540025415 398282099 4264617775 566961398 1433587624 3453726856 3838383528 846558075 577283191 2918190883 239775574 3997050666 2819900769 3175589936 1025175947 127452936 386506786 2479438242 3155863622 2108849526 1986436398 1998494885 1794124942 921870341 1191314519 797008798 4006487477 1286483872 4241207133 3911496234 4187394245 2222628134 539124741 2718107558 467834137 3207466315 2611701287 2607655446 864897464 2380593764 1403610989 3310559713 3946701027 2380719468 894160503 1403256594 1798425559 1471184946 834009918 2109157709 1522666724 3599414986 3611930028 1154114447 2105367542 1016495328 1342037562 3270926562 1029272798 215343343 191845839 2339976157 2491484225 3217295695 1595717805 2903289316 3853839715 3406971156 2791953469 3228497574 2332249220 4124643872 4192896607 1032099451 203412123 168170059 3734636538 2315162805 3090871699 1611572688 1623456256 2369443977 2509284718 3173770512 767116450 141559931 475426038 1782041257 255 362436" option to reproduce the execution 0.09/0.12 c #vars 6352 0.09/0.12 c #constraints 13453 0.19/0.26 c BCD2: Hardening is enabled. 0.19/0.26 c BCD2: BiasedSearch is enabled. 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.27 c 0.0s | 0 | 0 | 0 | 6443 0 | 1516 | 0 0.29/0.39 c 0.1s | 1 | 311 | 100 | 6443 0 | 1516 | 3100 0.69/0.75 c 0.5s | 2 | 498 | 250 | 7088 0 | 1516 | 3100 1.29/1.32 c 1.1s | 3 | 767 | 475 | 7797 0 | 1516 | 3100 2.58/2.69 c 2.4s | 4 | 1134 | 813 | 8577 0 | 1516 | 3100 5.08/5.12 c 4.9s | 4 | 1664 | 1313 | 9435 0 | 1516 | 3100 5.08/5.15 c 4.9s | 5 | 1668 | 1320 | 9435 0 | 1516 | 3100 7.38/7.46 c 7.2s | 5 | 2299 | 1920 | 10379 0 | 1516 | 3100 7.98/8.05 c 7.8s | 6 | 2460 | 2081 | 11417 0 | 1516 | 3100 10.08/10.17 c 9.9s | 6 | 3090 | 2681 | 11417 0 | 1516 | 3100 12.19/12.26 c 12.0s | 7 | 3644 | 3223 | 12559 0 | 1516 | 3100 14.39/14.41 c 14.1s | 7 | 4168 | 3723 | 12559 0 | 1516 | 3100 16.59/16.65 c 16.4s | 7 | 4671 | 4223 | 12559 0 | 1516 | 3100 18.88/18.94 c 18.7s | 7 | 5177 | 4723 | 12559 0 | 1516 | 3100 19.89/19.97 c 19.7s | 8 | 5391 | 4936 | 13815 0 | 1516 | 3100 22.18/22.25 c 22.0s | 8 | 5917 | 5436 | 13815 0 | 1516 | 3100 24.29/24.39 c 24.1s | 8 | 6424 | 5936 | 13815 0 | 1516 | 3100 26.49/26.56 c 26.3s | 8 | 6929 | 6436 | 13815 0 | 1516 | 3100 28.88/28.92 c 28.7s | 8 | 7428 | 6936 | 13815 0 | 1516 | 3100 30.98/31.07 c 30.8s | 8 | 7827 | 7336 | 13815 0 | 1516 | 3100 31.89/31.92 c 31.7s | 9 | 8002 | 7506 | 15197 0 | 1516 | 3100 34.19/34.27 c 34.0s | 9 | 8532 | 8006 | 15197 0 | 1516 | 3100 36.58/36.63 c 36.4s | 9 | 9033 | 8506 | 15197 0 | 1516 | 3100 38.68/38.75 c 38.5s | 9 | 9433 | 8906 | 15197 0 | 1516 | 3100 40.68/40.79 c 40.5s | 9 | 9836 | 9306 | 15197 0 | 1516 | 3100 42.88/43.00 c 42.7s | 9 | 10238 | 9706 | 15197 0 | 1516 | 3100 45.28/45.32 c 45.1s | 9 | 10643 | 10106 | 15197 0 | 1516 | 3100 47.28/47.34 c 47.1s | 9 | 11044 | 10506 | 15197 0 | 1516 | 3100 49.39/49.46 c 49.2s | 9 | 11445 | 10906 | 15197 0 | 1516 | 3100 51.49/51.59 c 51.3s | 9 | 11848 | 11306 | 16717 0 | 1516 | 3100 51.89/51.92 c 51.7s | 10 | 11903 | 11361 | 16717 0 | 1516 | 3100 54.28/54.32 c 54.1s | 10 | 12328 | 11761 | 16717 0 | 1516 | 3100 56.48/56.50 c 56.2s | 10 | 12729 | 12161 | 16717 0 | 1516 | 3100 58.58/58.68 c 58.4s | 10 | 13134 | 12561 | 16717 0 | 1516 | 3100 61.08/61.16 c 60.9s | 10 | 13534 | 12961 | 16717 0 | 1516 | 3100 63.58/63.62 c 63.4s | 10 | 13930 | 13361 | 16717 0 | 1516 | 3100 65.99/66.03 c 65.8s | 10 | 14340 | 13761 | 16717 0 | 1516 | 3100 68.29/68.39 c 68.1s | 10 | 14739 | 14161 | 16717 0 | 1516 | 3100 70.68/70.70 c 70.4s | 10 | 15147 | 14561 | 16717 0 | 1516 | 3100 73.18/73.23 c 73.0s | 10 | 15542 | 14961 | 16717 0 | 1516 | 3100 75.78/75.81 c 75.5s | 10 | 15945 | 15361 | 16717 0 | 1516 | 3100 78.28/78.38 c 78.1s | 10 | 16348 | 15761 | 16717 0 | 1516 | 3100 80.88/80.95 c 80.7s | 10 | 16751 | 16161 | 16717 0 | 1516 | 3100 83.48/83.50 c 83.2s | 10 | 17154 | 16561 | 16717 0 | 1516 | 3100 85.98/86.04 c 85.8s | 10 | 17558 | 16961 | 16717 0 | 1516 | 3100 87.18/87.27 c 87.0s | 11 | 17746 | 17144 | 18389 0 | 1516 | 3100 89.18/89.27 c 89.0s | 11 | 18073 | 17444 | 18389 0 | 1516 | 3100 91.78/91.89 c 91.6s | 11 | 18471 | 17844 | 18389 0 | 1516 | 3100 94.68/94.70 c 94.4s | 11 | 18874 | 18244 | 18389 0 | 1516 | 3100 96.67/96.74 c 96.5s | 11 | 19174 | 18544 | 18389 0 | 1516 | 3100 98.77/98.85 c 98.6s | 11 | 19472 | 18844 | 18389 0 | 1516 | 3100 101.28/101.32 c 101s | 11 | 19877 | 19244 | 18389 0 | 1516 | 3100 103.27/103.39 c 103s | 11 | 20178 | 19544 | 18389 0 | 1516 | 3100 105.97/106.04 c 105s | 11 | 20582 | 19944 | 18389 0 | 1516 | 3100 107.97/108.05 c 107s | 11 | 20884 | 20244 | 18389 1 | 1516 | 3100 110.27/110.34 c 110s | 11 | 21287 | 20644 | 18389 1 | 1516 | 3100 112.47/112.56 c 112s | 11 | 21691 | 21044 | 18389 1 | 1516 | 3100 114.97/115.04 c 114s | 11 | 22092 | 21444 | 18389 1 | 1516 | 3100 117.57/117.60 c 117s | 11 | 22491 | 21844 | 18389 1 | 1516 | 3100 119.77/119.88 c 119s | 11 | 22894 | 22244 | 18389 1 | 1516 | 3100 122.17/122.20 c 121s | 11 | 23298 | 22644 | 18389 1 | 1516 | 3100 124.47/124.56 c 124s | 11 | 23698 | 23044 | 18389 1 | 1516 | 3100 126.97/127.09 c 126s | 11 | 24098 | 23444 | 18389 1 | 1516 | 3100 129.56/129.69 c 129s | 11 | 24508 | 23844 | 18389 1 | 1516 | 3100 131.97/132.07 c 131s | 11 | 24907 | 24244 | 18389 1 | 1516 | 3100 134.46/134.59 c 134s | 11 | 25305 | 24644 | 18389 1 | 1516 | 3100 136.96/137.02 c 136s | 11 | 25710 | 25044 | 18389 1 | 1516 | 3100 139.56/139.66 c 139s | 11 | 26114 | 25444 | 18389 1 | 1516 | 3100 141.87/141.92 c 141s | 11 | 26415 | 25744 | 20228 1 | 1516 | 3100 142.36/142.40 c 142s | 12 | 26488 | 25819 | 20228 1 | 1516 | 3100 144.86/144.98 c 144s | 12 | 26918 | 26219 | 20228 1 | 1516 | 3100 147.47/147.51 c 147s | 12 | 27315 | 26619 | 20228 1 | 1516 | 3100 149.86/149.98 c 149s | 12 | 27724 | 27019 | 20228 1 | 1516 | 3100 152.46/152.56 c 152s | 12 | 28124 | 27419 | 20228 1 | 1516 | 3100 155.08/155.19 c 154s | 12 | 28531 | 27819 | 20228 1 | 1516 | 3100 157.17/157.22 c 156s | 12 | 28831 | 28119 | 20228 1 | 1516 | 3100 159.17/159.25 c 158s | 12 | 29130 | 28419 | 20228 1 | 1516 | 3100 161.17/161.28 c 161s | 12 | 29430 | 28719 | 20228 1 | 1516 | 3100 163.27/163.38 c 163s | 12 | 29727 | 29019 | 20228 1 | 1516 | 3100 165.57/165.69 c 165s | 12 | 30032 | 29319 | 20228 1 | 1516 | 3100 167.77/167.80 c 167s | 12 | 30335 | 29619 | 20228 1 | 1516 | 3100 169.87/169.96 c 169s | 12 | 30630 | 29919 | 20228 1 | 1516 | 3100 171.96/172.08 c 171s | 12 | 30932 | 30219 | 20228 1 | 1516 | 3100 173.96/174.09 c 173s | 12 | 31233 | 30519 | 20228 1 | 1516 | 3100 176.46/176.50 c 176s | 12 | 31532 | 30819 | 20228 1 | 1516 | 3100 178.66/178.75 c 178s | 12 | 31832 | 31119 | 20228 1 | 1516 | 3100 180.86/180.91 c 180s | 12 | 32138 | 31419 | 20228 1 | 1516 | 3100 183.46/183.57 c 183s | 12 | 32536 | 31819 | 20228 1 | 1516 | 3100 185.97/186.05 c 185s | 12 | 32938 | 32219 | 20228 2 | 1516 | 3100 188.17/188.28 c 188s | 12 | 33340 | 32619 | 20228 2 | 1516 | 3100 190.56/190.69 c 190s | 12 | 33738 | 33019 | 20228 2 | 1516 | 3100 192.96/193.04 c 192s | 12 | 34143 | 33419 | 20228 2 | 1516 | 3100 195.46/195.55 c 195s | 12 | 34542 | 33819 | 20228 2 | 1516 | 3100 198.06/198.12 c 197s | 12 | 34947 | 34219 | 20228 2 | 1516 | 3100 200.26/200.31 c 200s | 12 | 35253 | 34519 | 20228 2 | 1516 | 3100 202.85/202.91 c 202s | 12 | 35654 | 34919 | 20228 2 | 1516 | 3100 205.35/205.46 c 205s | 12 | 36056 | 35319 | 20228 2 | 1516 | 3100 207.86/207.95 c 207s | 12 | 36458 | 35719 | 20228 2 | 1516 | 3100 210.45/210.59 c 210s | 12 | 36856 | 36119 | 20228 2 | 1516 | 3100 213.25/213.31 c 213s | 12 | 37255 | 36519 | 20228 2 | 1516 | 3100 215.85/215.99 c 215s | 12 | 37658 | 36919 | 20228 2 | 1516 | 3100 217.95/218.05 c 217s | 12 | 37960 | 37219 | 20228 2 | 1516 | 3100 220.05/220.16 c 219s | 12 | 38264 | 37519 | 20228 2 | 1516 | 3100 222.15/222.24 c 221s | 12 | 38564 | 37819 | 20228 2 | 1516 | 3100 224.24/224.31 c 224s | 12 | 38866 | 38119 | 20228 2 | 1516 | 3100 226.34/226.40 c 226s | 12 | 39168 | 38419 | 20228 2 | 1516 | 3100 229.04/229.17 c 228s | 12 | 39570 | 38819 | 22251 2 | 1516 | 3100 229.24/229.31 c 229s | 13 | 39584 | 38832 | 22251 2 | 1516 | 3100 231.34/231.44 c 231s | 13 | 39909 | 39132 | 22251 2 | 1516 | 3100 233.34/233.45 c 233s | 13 | 40211 | 39432 | 22251 2 | 1516 | 3100 235.45/235.53 c 235s | 13 | 40510 | 39732 | 22251 2 | 1516 | 3100 237.55/237.70 c 237s | 13 | 40811 | 40032 | 22251 2 | 1516 | 3100 239.75/239.82 c 239s | 13 | 41112 | 40332 | 22251 2 | 1516 | 3100 241.84/241.95 c 241s | 13 | 41420 | 40632 | 22251 2 | 1516 | 3100 243.94/244.09 c 243s | 13 | 41723 | 40932 | 22251 2 | 1516 | 3100 246.45/246.59 c 246s | 13 | 42020 | 41232 | 22251 2 | 1516 | 3100 248.94/249.02 c 248s | 13 | 42321 | 41532 | 22251 2 | 1516 | 3100 251.14/251.22 c 250s | 13 | 42620 | 41832 | 22251 2 | 1516 | 3100 253.34/253.44 c 253s | 13 | 42924 | 42132 | 22251 2 | 1516 | 3100 255.34/255.47 c 255s | 13 | 43223 | 42432 | 22251 2 | 1516 | 3100 257.53/257.60 c 257s | 13 | 43523 | 42732 | 22251 2 | 1516 | 3100 259.83/259.90 c 259s | 13 | 43821 | 43032 | 22251 2 | 1516 | 3100 262.13/262.21 c 261s | 13 | 44125 | 43332 | 22251 2 | 1516 | 3100 264.33/264.48 c 264s | 13 | 44426 | 43632 | 22251 2 | 1516 | 3100 266.64/266.72 c 266s | 13 | 44723 | 43932 | 22251 2 | 1516 | 3100 269.14/269.24 c 268s | 13 | 45040 | 44232 | 22251 2 | 1516 | 3100 271.44/271.53 c 271s | 13 | 45341 | 44532 | 22251 2 | 1516 | 3100 273.85/273.96 c 273s | 13 | 45642 | 44832 | 22251 2 | 1516 | 3100 275.84/275.99 c 275s | 13 | 45943 | 45132 | 22251 3 | 1516 | 3100 278.25/278.36 c 278s | 13 | 46339 | 45532 | 22251 3 | 1516 | 3100 280.64/280.79 c 280s | 13 | 46743 | 45932 | 22251 3 | 1516 | 3100 283.14/283.22 c 282s | 13 | 47148 | 46332 | 22251 3 | 1516 | 3100 285.53/285.61 c 285s | 13 | 47448 | 46632 | 22251 3 | 1516 | 3100 288.14/288.24 c 287s | 13 | 47851 | 47032 | 22251 3 | 1516 | 3100 290.63/290.76 c 290s | 13 | 48255 | 47432 | 22251 3 | 1516 | 3100 292.73/292.86 c 292s | 13 | 48550 | 47732 | 22251 3 | 1516 | 3100 294.83/294.93 c 294s | 13 | 48852 | 48032 | 22251 3 | 1516 | 3100 297.33/297.47 c 297s | 13 | 49258 | 48432 | 22251 3 | 1516 | 3100 299.33/299.48 c 299s | 13 | 49556 | 48732 | 22251 3 | 1516 | 3100 301.93/302.01 c 301s | 13 | 49954 | 49132 | 22251 3 | 1516 | 3100 304.02/304.13 c 303s | 13 | 50254 | 49432 | 22251 3 | 1516 | 3100 306.12/306.23 c 305s | 13 | 50557 | 49732 | 22251 3 | 1516 | 3100 308.32/308.40 c 308s | 13 | 50854 | 50032 | 22251 3 | 1516 | 3100 310.32/310.45 c 310s | 13 | 51161 | 50332 | 22251 3 | 1516 | 3100 312.52/312.60 c 312s | 13 | 51455 | 50632 | 22251 3 | 1516 | 3100 314.63/314.75 c 314s | 13 | 51758 | 50932 | 22251 3 | 1516 | 3100 316.92/317.03 c 316s | 13 | 52059 | 51232 | 22251 3 | 1516 | 3100 319.12/319.21 c 318s | 13 | 52357 | 51532 | 22251 3 | 1516 | 3100 321.22/321.38 c 321s | 13 | 52661 | 51832 | 22251 3 | 1516 | 3100 323.62/323.76 c 323s | 13 | 52966 | 52132 | 22251 3 | 1516 | 3100 325.91/326.03 c 325s | 13 | 53264 | 52432 | 22251 3 | 1516 | 3100 328.21/328.31 c 328s | 13 | 53563 | 52732 | 22251 3 | 1516 | 3100 330.51/330.66 c 330s | 13 | 53866 | 53032 | 22251 3 | 1516 | 3100 332.91/333.08 c 332s | 13 | 54169 | 53332 | 22251 3 | 1516 | 3100 335.41/335.52 c 335s | 13 | 54466 | 53632 | 22251 3 | 1516 | 3100 337.80/337.91 c 337s | 13 | 54770 | 53932 | 22251 3 | 1516 | 3100 340.00/340.12 c 339s | 13 | 55070 | 54232 | 22251 3 | 1516 | 3100 342.40/342.53 c 342s | 13 | 55377 | 54532 | 22251 3 | 1516 | 3100 344.80/344.91 c 344s | 13 | 55677 | 54832 | 22251 3 | 1516 | 3100 347.10/347.26 c 346s | 13 | 55974 | 55132 | 22251 3 | 1516 | 3100 349.60/349.76 c 349s | 13 | 56277 | 55432 | 22251 3 | 1516 | 3100 352.10/352.25 c 351s | 13 | 56577 | 55732 | 22251 3 | 1516 | 3100 354.50/354.66 c 354s | 13 | 56885 | 56032 | 22251 3 | 1516 | 3100 356.79/356.97 c 356s | 13 | 57181 | 56332 | 22251 3 | 1516 | 3100 359.29/359.40 c 359s | 13 | 57484 | 56632 | 22251 3 | 1516 | 3100 361.80/361.92 c 361s | 13 | 57783 | 56932 | 22251 4 | 1516 | 3100 364.30/364.47 c 364s | 13 | 58183 | 57332 | 22251 4 | 1516 | 3100 366.89/367.06 c 366s | 13 | 58588 | 57732 | 22251 4 | 1516 | 3100 369.50/369.66 c 369s | 13 | 58983 | 58132 | 24477 4 | 1516 | 3100 371.19/371.38 c 371s | 14 | 59208 | 58352 | 24477 4 | 1516 | 3100 373.90/374.04 c 373s | 14 | 59634 | 58752 | 24477 4 | 1516 | 3100 376.49/376.62 c 376s | 14 | 60035 | 59152 | 24477 4 | 1516 | 3100 378.99/379.15 c 378s | 14 | 60436 | 59552 | 24477 4 | 1516 | 3100 381.60/381.75 c 381s | 14 | 60838 | 59952 | 24477 4 | 1516 | 3100 384.19/384.36 c 384s | 14 | 61241 | 60352 | 24477 4 | 1516 | 3100 386.90/387.01 c 386s | 14 | 61646 | 60752 | 24477 4 | 1516 | 3100 389.20/389.31 c 389s | 14 | 62045 | 61152 | 24477 4 | 1516 | 3100 391.30/391.40 c 391s | 14 | 62348 | 61452 | 24477 4 | 1516 | 3100 393.30/393.43 c 393s | 14 | 62648 | 61752 | 24477 4 | 1516 | 3100 395.90/396.04 c 395s | 14 | 63051 | 62152 | 24477 4 | 1516 | 3100 398.00/398.12 c 397s | 14 | 63349 | 62452 | 24477 4 | 1516 | 3100 400.00/400.17 c 399s | 14 | 63649 | 62752 | 24477 4 | 1516 | 3100 402.10/402.25 c 401s | 14 | 63948 | 63052 | 24477 4 | 1516 | 3100 404.19/404.32 c 404s | 14 | 64255 | 63352 | 24477 4 | 1516 | 3100 406.19/406.39 c 406s | 14 | 64558 | 63652 | 24477 4 | 1516 | 3100 408.89/409.06 c 408s | 14 | 64956 | 64052 | 24477 4 | 1516 | 3100 410.99/411.17 c 410s | 14 | 65257 | 64352 | 24477 4 | 1516 | 3100 413.09/413.27 c 413s | 14 | 65552 | 64652 | 24477 4 | 1516 | 3100 415.29/415.42 c 415s | 14 | 65854 | 64952 | 24477 4 | 1516 | 3100 417.39/417.53 c 417s | 14 | 66154 | 65252 | 24477 4 | 1516 | 3100 419.59/419.76 c 419s | 14 | 66463 | 65552 | 24477 4 | 1516 | 3100 421.89/422.00 c 421s | 14 | 66763 | 65852 | 24477 4 | 1516 | 3100 424.19/424.33 c 424s | 14 | 67061 | 66152 | 24477 4 | 1516 | 3100 426.49/426.68 c 426s | 14 | 67363 | 66452 | 24477 4 | 1516 | 3100 428.79/428.96 c 428s | 14 | 67661 | 66752 | 24477 4 | 1516 | 3100 431.10/431.28 c 431s | 14 | 67964 | 67052 | 24477 4 | 1516 | 3100 433.40/433.54 c 433s | 14 | 68267 | 67352 | 24477 4 | 1516 | 3100 435.69/435.80 c 435s | 14 | 68566 | 67652 | 24477 4 | 1516 | 3100 437.99/438.17 c 437s | 14 | 68864 | 67952 | 24477 4 | 1516 | 3100 440.39/440.50 c 440s | 14 | 69167 | 68252 | 24477 4 | 1516 | 3100 442.69/442.87 c 442s | 14 | 69465 | 68552 | 24477 4 | 1516 | 3100 444.99/445.15 c 444s | 14 | 69767 | 68852 | 24477 4 | 1516 | 3100 447.29/447.46 c 447s | 14 | 70065 | 69152 | 24477 4 | 1516 | 3100 449.58/449.71 c 449s | 14 | 70368 | 69452 | 24477 4 | 1516 | 3100 451.88/452.08 c 451s | 14 | 70667 | 69752 | 24477 4 | 1516 | 3100 454.19/454.32 c 454s | 14 | 70968 | 70052 | 24477 4 | 1516 | 3100 456.28/456.41 c 456s | 14 | 71266 | 70352 | 24477 4 | 1516 | 3100 458.69/458.84 c 458s | 14 | 71569 | 70652 | 24477 4 | 1516 | 3100 461.08/461.23 c 460s | 14 | 71864 | 70952 | 24477 4 | 1516 | 3100 463.48/463.64 c 463s | 14 | 72173 | 71252 | 24477 5 | 1516 | 3100 466.08/466.26 c 465s | 14 | 72573 | 71652 | 24477 5 | 1516 | 3100 468.48/468.62 c 468s | 14 | 72968 | 72052 | 24477 5 | 1516 | 3100 470.98/471.11 c 470s | 14 | 73368 | 72452 | 24477 5 | 1516 | 3100 473.38/473.55 c 473s | 14 | 73772 | 72852 | 24477 5 | 1516 | 3100 475.97/476.19 c 475s | 14 | 74178 | 73252 | 24477 5 | 1516 | 3100 478.57/478.79 c 478s | 14 | 74577 | 73652 | 24477 5 | 1516 | 3100 481.27/481.43 c 481s | 14 | 74978 | 74052 | 24477 5 | 1516 | 3100 483.89/484.05 c 483s | 14 | 75376 | 74452 | 24477 5 | 1516 | 3100 486.48/486.63 c 486s | 14 | 75780 | 74852 | 24477 5 | 1516 | 3100 488.48/488.63 c 488s | 14 | 76080 | 75152 | 24477 5 | 1516 | 3100 490.59/490.71 c 490s | 14 | 76382 | 75452 | 24477 5 | 1516 | 3100 492.58/492.73 c 492s | 14 | 76684 | 75752 | 24477 5 | 1516 | 3100 494.58/494.75 c 494s | 14 | 76980 | 76052 | 24477 5 | 1516 | 3100 496.98/497.19 c 496s | 14 | 77382 | 76452 | 24477 5 | 1516 | 3100 499.18/499.33 c 499s | 14 | 77685 | 76752 | 24477 5 | 1516 | 3100 501.28/501.43 c 501s | 14 | 77984 | 77052 | 24477 5 | 1516 | 3100 503.98/504.13 c 503s | 14 | 78384 | 77452 | 24477 5 | 1516 | 3100 506.38/506.52 c 506s | 14 | 78685 | 77752 | 24477 5 | 1516 | 3100 508.68/508.80 c 508s | 14 | 78986 | 78052 | 24477 5 | 1516 | 3100 510.87/511.09 c 510s | 14 | 79283 | 78352 | 24477 5 | 1516 | 3100 513.27/513.45 c 513s | 14 | 79493 | 78552 | 24477 5 | 1516 | 3100 516.07/516.20 c 515s | 14 | 79792 | 78852 | 24477 5 | 1516 | 3100 518.37/518.57 c 518s | 14 | 80093 | 79152 | 24477 5 | 1516 | 3100 520.67/520.81 c 520s | 14 | 80394 | 79452 | 24477 5 | 1516 | 3100 522.87/523.07 c 522s | 14 | 80692 | 79752 | 24477 5 | 1516 | 3100 525.17/525.36 c 525s | 14 | 80990 | 80052 | 24477 5 | 1516 | 3100 527.57/527.75 c 527s | 14 | 81295 | 80352 | 24477 5 | 1516 | 3100 529.97/530.16 c 529s | 14 | 81602 | 80652 | 24477 5 | 1516 | 3100 532.38/532.54 c 532s | 14 | 81904 | 80952 | 24477 5 | 1516 | 3100 534.87/535.07 c 534s | 14 | 82208 | 81252 | 24477 5 | 1516 | 3100 537.27/537.47 c 537s | 14 | 82507 | 81552 | 24477 5 | 1516 | 3100 539.77/539.90 c 539s | 14 | 82810 | 81852 | 24477 5 | 1516 | 3100 542.17/542.37 c 542s | 14 | 83115 | 82152 | 24477 5 | 1516 | 3100 544.67/544.85 c 544s | 14 | 83411 | 82452 | 24477 5 | 1516 | 3100 547.16/547.31 c 547s | 14 | 83714 | 82752 | 24477 5 | 1516 | 3100 549.76/549.91 c 549s | 14 | 84013 | 83052 | 24477 5 | 1516 | 3100 552.26/552.41 c 552s | 14 | 84312 | 83352 | 24477 5 | 1516 | 3100 554.76/554.93 c 554s | 14 | 84613 | 83652 | 24477 5 | 1516 | 3100 557.67/557.84 c 557s | 14 | 84914 | 83952 | 24477 5 | 1516 | 3100 560.46/560.63 c 560s | 14 | 85217 | 84252 | 24477 6 | 1516 | 3100 562.46/562.67 c 562s | 14 | 85516 | 84552 | 24477 6 | 1516 | 3100 564.96/565.10 c 564s | 14 | 85926 | 84952 | 24477 6 | 1516 | 3100 566.96/567.12 c 566s | 14 | 86225 | 85252 | 24477 6 | 1516 | 3100 569.06/569.24 c 568s | 14 | 86531 | 85552 | 24477 6 | 1516 | 3100 571.06/571.29 c 571s | 14 | 86831 | 85852 | 24477 6 | 1516 | 3100 573.66/573.86 c 573s | 14 | 87231 | 86252 | 24477 6 | 1516 | 3100 575.76/575.93 c 575s | 14 | 87532 | 86552 | 24477 6 | 1516 | 3100 577.96/578.14 c 577s | 14 | 87832 | 86852 | 24477 6 | 1516 | 3100 580.06/580.24 c 579s | 14 | 88129 | 87152 | 26925 6 | 1516 | 3100 582.16/582.33 c 582s | 14 | 88432 | 87452 | 26925 6 | 1516 | 3100 583.36/583.60 c 583s | 15 | 88611 | 87632 | 26925 6 | 1516 | 3100 585.65/585.86 c 585s | 15 | 88937 | 87932 | 26925 6 | 1516 | 3100 587.95/588.13 c 587s | 15 | 89234 | 88232 | 26925 6 | 1516 | 3100 590.15/590.38 c 590s | 15 | 89535 | 88532 | 26925 6 | 1516 | 3100 592.35/592.51 c 592s | 15 | 89836 | 88832 | 26925 6 | 1516 | 3100 594.65/594.88 c 594s | 15 | 90134 | 89132 | 26925 6 | 1516 | 3100 597.05/597.27 c 597s | 15 | 90432 | 89432 | 26925 6 | 1516 | 3100 599.46/599.68 c 599s | 15 | 90733 | 89732 | 26925 6 | 1516 | 3100 601.75/601.95 c 601s | 15 | 91040 | 90032 | 26925 6 | 1516 | 3100 603.95/604.11 c 603s | 15 | 91339 | 90332 | 26925 6 | 1516 | 3100 606.64/606.83 c 606s | 15 | 91740 | 90732 | 26925 6 | 1516 | 3100 608.64/608.86 c 608s | 15 | 92041 | 91032 | 26925 6 | 1516 | 3100 610.94/611.17 c 610s | 15 | 92337 | 91332 | 26925 6 | 1516 | 3100 613.14/613.38 c 613s | 15 | 92639 | 91632 | 26925 6 | 1516 | 3100 615.35/615.56 c 615s | 15 | 92946 | 91932 | 26925 6 | 1516 | 3100 617.65/617.80 c 617s | 15 | 93247 | 92232 | 26925 6 | 1516 | 3100 619.75/619.97 c 619s | 15 | 93548 | 92532 | 26925 6 | 1516 | 3100 622.05/622.24 c 621s | 15 | 93844 | 92832 | 26925 6 | 1516 | 3100 624.55/624.76 c 624s | 15 | 94148 | 93132 | 26925 6 | 1516 | 3100 626.86/627.09 c 626s | 15 | 94449 | 93432 | 26925 6 | 1516 | 3100 629.16/629.35 c 629s | 15 | 94754 | 93732 | 26925 6 | 1516 | 3100 631.45/631.63 c 631s | 15 | 95049 | 94032 | 26925 6 | 1516 | 3100 633.85/634.05 c 633s | 15 | 95355 | 94332 | 26925 6 | 1516 | 3100 636.25/636.47 c 636s | 15 | 95658 | 94632 | 26925 6 | 1516 | 3100 638.75/638.98 c 638s | 15 | 95959 | 94932 | 26925 6 | 1516 | 3100 641.35/641.57 c 641s | 15 | 96257 | 95232 | 26925 6 | 1516 | 3100 643.75/643.99 c 643s | 15 | 96561 | 95532 | 26925 6 | 1516 | 3100 646.15/646.39 c 646s | 15 | 96858 | 95832 | 26925 6 | 1516 | 3100 648.65/648.83 c 648s | 15 | 97160 | 96132 | 26925 6 | 1516 | 3100 651.05/651.28 c 651s | 15 | 97464 | 96432 | 26925 6 | 1516 | 3100 653.54/653.77 c 653s | 15 | 97759 | 96732 | 26925 6 | 1516 | 3100 656.04/656.23 c 655s | 15 | 97964 | 96932 | 26925 6 | 1516 | 3100 658.34/658.59 c 658s | 15 | 98267 | 97232 | 26925 6 | 1516 | 3100 660.95/661.14 c 660s | 15 | 98565 | 97532 | 26925 6 | 1516 | 3100 663.44/663.67 c 663s | 15 | 98866 | 97832 | 26925 6 | 1516 | 3100 666.04/666.28 c 666s | 15 | 99165 | 98132 | 26925 6 | 1516 | 3100 669.04/669.22 c 668s | 15 | 99468 | 98432 | 26925 6 | 1516 | 3100 671.64/671.85 c 671s | 15 | 99769 | 98732 | 26925 6 | 1516 | 3100 674.44/674.60 c 674s | 15 | 100068 | 99032 | 26925 6 | 1516 | 3100 677.24/677.40 c 677s | 15 | 100367 | 99332 | 26925 6 | 1516 | 3100 679.94/680.13 c 679s | 15 | 100667 | 99632 | 26925 7 | 1516 | 3100 682.04/682.21 c 681s | 15 | 100967 | 99932 | 26925 7 | 1516 | 3100 684.23/684.40 c 684s | 15 | 101268 | 100232 | 26925 7 | 1516 | 3100 686.34/686.57 c 686s | 15 | 101571 | 100532 | 26925 7 | 1516 | 3100 688.54/688.73 c 688s | 15 | 101870 | 100832 | 26925 7 | 1516 | 3100 690.63/690.84 c 690s | 15 | 102173 | 101132 | 26925 7 | 1516 | 3100 692.73/692.98 c 692s | 15 | 102473 | 101432 | 26925 7 | 1516 | 3100 694.82/695.08 c 694s | 15 | 102776 | 101732 | 26925 7 | 1516 | 3100 697.12/697.35 c 697s | 15 | 103075 | 102032 | 26925 7 | 1516 | 3100 699.12/699.37 c 699s | 15 | 103377 | 102332 | 26925 7 | 1516 | 3100 701.63/701.81 c 701s | 15 | 103676 | 102632 | 26925 7 | 1516 | 3100 703.93/704.16 c 703s | 15 | 103978 | 102932 | 26925 7 | 1516 | 3100 706.22/706.41 c 706s | 15 | 104274 | 103232 | 26925 7 | 1516 | 3100 708.42/708.69 c 708s | 15 | 104574 | 103532 | 26925 7 | 1516 | 3100 710.82/711.04 c 710s | 15 | 104875 | 103832 | 26925 7 | 1516 | 3100 713.22/713.43 c 713s | 15 | 105182 | 104132 | 26925 7 | 1516 | 3100 715.51/715.74 c 715s | 15 | 105482 | 104432 | 26925 7 | 1516 | 3100 717.81/718.09 c 717s | 15 | 105783 | 104732 | 26925 7 | 1516 | 3100 720.42/720.70 c 720s | 15 | 106082 | 105032 | 26925 7 | 1516 | 3100 722.91/723.14 c 722s | 15 | 106390 | 105332 | 26925 7 | 1516 | 3100 725.40/725.69 c 725s | 15 | 106692 | 105632 | 26925 7 | 1516 | 3100 728.01/728.27 c 728s | 15 | 106998 | 105932 | 26925 7 | 1516 | 3100 730.60/730.84 c 730s | 15 | 107296 | 106232 | 26925 7 | 1516 | 3100 733.00/733.23 c 732s | 15 | 107595 | 106532 | 26925 7 | 1516 | 3100 735.61/735.84 c 735s | 15 | 107898 | 106832 | 26925 7 | 1516 | 3100 738.21/738.40 c 738s | 15 | 108198 | 107132 | 26925 7 | 1516 | 3100 741.31/741.53 c 741s | 15 | 108501 | 107432 | 26925 7 | 1516 | 3100 743.41/743.65 c 743s | 15 | 108701 | 107632 | 26925 7 | 1516 | 3100 745.39/745.66 c 745s | 15 | 108901 | 107832 | 26925 7 | 1516 | 3100 748.39/748.63 c 748s | 15 | 109203 | 108132 | 26925 7 | 1516 | 3100 750.39/750.68 c 750s | 15 | 109401 | 108332 | 26925 7 | 1516 | 3100 752.49/752.71 c 752s | 15 | 109601 | 108532 | 26925 7 | 1516 | 3100 754.69/754.92 c 754s | 15 | 109798 | 108732 | 26925 7 | 1516 | 3100 756.99/757.25 c 756s | 15 | 109998 | 108932 | 26925 7 | 1516 | 3100 759.19/759.40 c 759s | 15 | 110199 | 109132 | 26925 7 | 1516 | 3100 761.29/761.54 c 761s | 15 | 110399 | 109332 | 26925 7 | 1516 | 3100 763.39/763.67 c 763s | 15 | 110596 | 109532 | 26925 7 | 1516 | 3100 765.59/765.86 c 765s | 15 | 110799 | 109732 | 26925 7 | 1516 | 3100 767.79/768.07 c 767s | 15 | 110998 | 109932 | 26925 7 | 1516 | 3100 769.90/770.15 c 769s | 15 | 111199 | 110132 | 26925 7 | 1516 | 3100 772.10/772.31 c 772s | 15 | 111402 | 110332 | 26925 7 | 1516 | 3100 774.20/774.48 c 774s | 15 | 111601 | 110532 | 26925 7 | 1516 | 3100 776.50/776.72 c 776s | 15 | 111804 | 110732 | 26925 7 | 1516 | 3100 778.79/779.00 c 778s | 15 | 112002 | 110932 | 26925 7 | 1516 | 3100 780.99/781.27 c 781s | 15 | 112205 | 111132 | 26925 7 | 1516 | 3100 783.10/783.38 c 783s | 15 | 112406 | 111332 | 26925 7 | 1516 | 3100 785.29/785.58 c 785s | 15 | 112608 | 111532 | 26925 7 | 1516 | 3100 787.58/787.83 c 787s | 15 | 112807 | 111732 | 26925 7 | 1516 | 3100 789.78/790.04 c 789s | 15 | 113007 | 111932 | 26925 7 | 1516 | 3100 791.98/792.24 c 791s | 15 | 113207 | 112132 | 26925 7 | 1516 | 3100 794.18/794.48 c 794s | 15 | 113407 | 112332 | 26925 7 | 1516 | 3100 796.38/796.63 c 796s | 15 | 113608 | 112532 | 26925 7 | 1516 | 3100 798.58/798.82 c 798s | 15 | 113807 | 112732 | 26925 7 | 1516 | 3100 800.78/801.00 c 800s | 15 | 114007 | 112932 | 26925 7 | 1516 | 3100 802.98/803.27 c 803s | 15 | 114207 | 113132 | 26925 7 | 1516 | 3100 805.09/805.32 c 805s | 15 | 114410 | 113332 | 26925 7 | 1516 | 3100 807.29/807.52 c 807s | 15 | 114612 | 113532 | 26925 7 | 1516 | 3100 809.58/809.81 c 809s | 15 | 114811 | 113732 | 26925 7 | 1516 | 3100 811.68/811.98 c 811s | 15 | 115010 | 113932 | 26925 8 | 1516 | 3100 814.08/814.38 c 814s | 15 | 115312 | 114232 | 26925 8 | 1516 | 3100 816.67/816.95 c 816s | 15 | 115613 | 114532 | 26925 8 | 1516 | 3100 819.17/819.45 c 819s | 15 | 115917 | 114832 | 26925 8 | 1516 | 3100 821.67/821.92 c 821s | 15 | 116214 | 115132 | 26925 8 | 1516 | 3100 824.07/824.39 c 824s | 15 | 116517 | 115432 | 26925 8 | 1516 | 3100 826.67/826.92 c 826s | 15 | 116843 | 115732 | 26925 8 | 1520 | 3110 829.18/829.49 c 829s | 15 | 117146 | 116032 | 26925 8 | 1520 | 3110 831.87/832.17 c 831s | 15 | 117445 | 116332 | 26925 8 | 1520 | 3110 834.37/834.64 c 834s | 15 | 117746 | 116632 | 26925 8 | 1520 | 3110 836.88/837.16 c 836s | 15 | 118045 | 116932 | 26925 8 | 1520 | 3110 839.37/839.60 c 839s | 15 | 118344 | 117232 | 26925 8 | 1520 | 3110 842.48/842.71 c 842s | 15 | 118648 | 117532 | 26925 8 | 1520 | 3110 845.17/845.47 c 845s | 15 | 118944 | 117832 | 26925 8 | 1520 | 3110 847.88/848.17 c 847s | 15 | 119246 | 118132 | 26925 8 | 1520 | 3110 850.67/850.92 c 850s | 15 | 119546 | 118432 | 26925 8 | 1520 | 3110 853.27/853.56 c 853s | 15 | 119845 | 118732 | 26925 8 | 1520 | 3110 855.97/856.22 c 855s | 15 | 120149 | 119032 | 26925 8 | 1520 | 3110 858.67/858.99 c 858s | 15 | 120449 | 119332 | 26925 8 | 1520 | 3110 861.77/862.00 c 861s | 15 | 120748 | 119632 | 26925 8 | 1520 | 3110 863.76/864.09 c 863s | 15 | 120947 | 119832 | 26925 8 | 1520 | 3110 865.86/866.19 c 865s | 15 | 121148 | 120032 | 26925 8 | 1520 | 3110 867.96/868.20 c 867s | 15 | 121346 | 120232 | 26925 8 | 1520 | 3110 870.66/870.95 c 870s | 15 | 121652 | 120532 | 26925 8 | 1520 | 3110 873.56/873.85 c 873s | 15 | 121947 | 120832 | 26925 8 | 1520 | 3110 876.57/876.84 c 876s | 15 | 122247 | 121132 | 26925 8 | 1520 | 3110 879.46/879.79 c 879s | 15 | 122550 | 121432 | 26925 8 | 1520 | 3110 882.27/882.58 c 882s | 15 | 122848 | 121732 | 26925 8 | 1520 | 3110 885.17/885.46 c 885s | 15 | 123153 | 122032 | 26925 8 | 1520 | 3110 888.07/888.32 c 888s | 15 | 123450 | 122332 | 26925 8 | 1520 | 3110 890.07/890.34 c 890s | 15 | 123650 | 122532 | 26925 8 | 1520 | 3110 892.17/892.46 c 892s | 15 | 123849 | 122732 | 26925 8 | 1520 | 3110 895.07/895.33 c 895s | 15 | 124159 | 123032 | 26925 8 | 1520 | 3110 897.06/897.38 c 897s | 15 | 124359 | 123232 | 26925 8 | 1520 | 3110 899.16/899.44 c 899s | 15 | 124557 | 123432 | 26925 8 | 1520 | 3110 901.16/901.50 c 901s | 15 | 124761 | 123632 | 26925 8 | 1520 | 3110 903.46/903.70 c 903s | 15 | 124960 | 123832 | 26925 8 | 1520 | 3110 906.27/906.55 c 906s | 15 | 125260 | 124132 | 26925 8 | 1520 | 3110 908.56/908.83 c 908s | 15 | 125463 | 124332 | 26925 8 | 1520 | 3110 910.67/910.99 c 910s | 15 | 125659 | 124532 | 26925 8 | 1520 | 3110 912.77/913.08 c 912s | 15 | 125861 | 124732 | 26925 8 | 1520 | 3110 914.97/915.24 c 914s | 15 | 126062 | 124932 | 26925 8 | 1520 | 3110 917.46/917.79 c 917s | 15 | 126266 | 125132 | 26925 8 | 1520 | 3110 920.16/920.47 c 920s | 15 | 126468 | 125332 | 26925 8 | 1520 | 3110 922.86/923.13 c 922s | 15 | 126666 | 125532 | 26925 8 | 1520 | 3110 925.56/925.81 c 925s | 15 | 126866 | 125732 | 26925 8 | 1520 | 3110 928.26/928.59 c 928s | 15 | 127062 | 125932 | 26925 8 | 1520 | 3110 930.66/930.96 c 930s | 15 | 127270 | 126132 | 26925 8 | 1520 | 3110 933.36/933.61 c 933s | 15 | 127470 | 126332 | 26925 8 | 1520 | 3110 936.15/936.43 c 936s | 15 | 127669 | 126532 | 26925 8 | 1520 | 3110 938.85/939.12 c 938s | 15 | 127870 | 126732 | 26925 8 | 1520 | 3110 941.46/941.76 c 941s | 15 | 128065 | 126932 | 26925 8 | 1520 | 3110 943.75/944.06 c 943s | 15 | 128268 | 127132 | 26925 8 | 1520 | 3110 946.15/946.43 c 946s | 15 | 128473 | 127332 | 26925 8 | 1520 | 3110 948.35/948.64 c 948s | 15 | 128668 | 127532 | 26925 8 | 1520 | 3110 950.75/951.08 c 950s | 15 | 128870 | 127732 | 26925 8 | 1520 | 3110 953.15/953.47 c 953s | 15 | 129069 | 127932 | 26925 8 | 1520 | 3110 955.85/956.14 c 955s | 15 | 129269 | 128132 | 26925 9 | 1520 | 3110 957.86/958.15 c 957s | 15 | 129469 | 128332 | 26925 9 | 1520 | 3110 960.46/960.72 c 960s | 15 | 129777 | 128632 | 26925 9 | 1520 | 3110 962.95/963.24 c 962s | 15 | 130075 | 128932 | 26925 9 | 1520 | 3110 965.35/965.62 c 965s | 15 | 130377 | 129232 | 26925 9 | 1520 | 3110 967.86/968.11 c 967s | 15 | 130677 | 129532 | 26925 9 | 1520 | 3110 970.25/970.59 c 970s | 15 | 130979 | 129832 | 26925 9 | 1520 | 3110 972.85/973.16 c 972s | 15 | 131279 | 130132 | 26925 9 | 1520 | 3110 975.35/975.67 c 975s | 15 | 131577 | 130432 | 26925 9 | 1520 | 3110 977.95/978.24 c 977s | 15 | 131880 | 130732 | 29618 9 | 1520 | 3110 980.55/980.84 c 980s | 15 | 132182 | 131032 | 29618 9 | 1520 | 3110 983.16/983.43 c 983s | 15 | 132483 | 131332 | 29618 9 | 1520 | 3110 985.25/985.59 c 985s | 16 | 132708 | 131552 | 29618 9 | 1520 | 3110 988.05/988.38 c 988s | 16 | 133035 | 131852 | 29618 9 | 1520 | 3110 990.75/991.06 c 990s | 16 | 133331 | 132152 | 29618 9 | 1520 | 3110 993.65/993.90 c 993s | 16 | 133631 | 132452 | 29618 9 | 1520 | 3110 996.25/996.58 c 996s | 16 | 133935 | 132752 | 29618 9 | 1520 | 3110 998.95/999.20 c 998s | 16 | 134238 | 133052 | 29618 9 | 1520 | 3110 1001.35/1001.62 c 1001s | 16 | 134539 | 133352 | 29618 9 | 1520 | 3110 1003.95/1004.26 c 1003s | 16 | 134840 | 133652 | 29618 9 | 1520 | 3110 1006.75/1007.04 c 1006s | 16 | 135142 | 133952 | 29618 9 | 1520 | 3110 1009.45/1009.71 c 1009s | 16 | 135441 | 134252 | 29618 9 | 1520 | 3110 1012.05/1012.37 c 1012s | 16 | 135748 | 134552 | 29618 9 | 1520 | 3110 1014.85/1015.12 c 1014s | 16 | 136049 | 134852 | 29618 9 | 1520 | 3110 1016.95/1017.20 c 1016s | 16 | 136248 | 135052 | 29618 9 | 1520 | 3110 1019.75/1020.05 c 1019s | 16 | 136548 | 135352 | 29618 9 | 1520 | 3110 1022.54/1022.88 c 1022s | 16 | 136850 | 135652 | 29618 9 | 1520 | 3110 1025.34/1025.68 c 1025s | 16 | 137152 | 135952 | 29618 9 | 1520 | 3110 1028.25/1028.52 c 1028s | 16 | 137449 | 136252 | 29618 9 | 1520 | 3110 1031.04/1031.36 c 1031s | 16 | 137751 | 136552 | 29618 9 | 1520 | 3110 1034.14/1034.43 c 1034s | 16 | 138052 | 136852 | 29618 9 | 1520 | 3110 1036.34/1036.61 c 1036s | 16 | 138253 | 137052 | 29618 9 | 1520 | 3110 1038.34/1038.62 c 1038s | 16 | 138449 | 137252 | 29618 9 | 1520 | 3110 1040.34/1040.66 c 1040s | 16 | 138653 | 137452 | 29618 9 | 1520 | 3110 1042.34/1042.69 c 1042s | 16 | 138854 | 137652 | 29618 9 | 1520 | 3110 1045.34/1045.68 c 1045s | 16 | 139154 | 137952 | 29618 9 | 1520 | 3110 1048.04/1048.33 c 1048s | 16 | 139455 | 138252 | 29618 9 | 1520 | 3110 1051.04/1051.32 c 1051s | 16 | 139760 | 138552 | 29618 9 | 1520 | 3110 1053.94/1054.23 c 1053s | 16 | 140061 | 138852 | 29618 9 | 1520 | 3110 1056.14/1056.40 c 1056s | 16 | 140261 | 139052 | 29618 9 | 1520 | 3110 1058.14/1058.42 c 1058s | 16 | 140462 | 139252 | 29618 9 | 1520 | 3110 1061.13/1061.46 c 1061s | 16 | 140758 | 139552 | 29618 9 | 1520 | 3110 1064.13/1064.45 c 1064s | 16 | 141063 | 139852 | 29618 9 | 1520 | 3110 1066.23/1066.56 c 1066s | 16 | 141265 | 140052 | 29618 9 | 1520 | 3110 1068.33/1068.61 c 1068s | 16 | 141461 | 140252 | 29618 9 | 1520 | 3110 1070.43/1070.77 c 1070s | 16 | 141669 | 140452 | 29618 9 | 1520 | 3110 1072.54/1072.89 c 1072s | 16 | 141871 | 140652 | 29618 9 | 1520 | 3110 1074.84/1075.16 c 1074s | 16 | 142070 | 140852 | 29618 9 | 1520 | 3110 1077.04/1077.33 c 1077s | 16 | 142270 | 141052 | 29618 9 | 1520 | 3110 1079.14/1079.43 c 1079s | 16 | 142466 | 141252 | 29618 9 | 1520 | 3110 1081.24/1081.54 c 1081s | 16 | 142670 | 141452 | 29618 9 | 1520 | 3110 1083.35/1083.63 c 1083s | 16 | 142869 | 141652 | 29618 9 | 1520 | 3110 1085.55/1085.84 c 1085s | 16 | 143074 | 141852 | 29618 9 | 1520 | 3110 1087.75/1088.08 c 1087s | 16 | 143274 | 142052 | 29618 9 | 1520 | 3110 1089.95/1090.25 c 1089s | 16 | 143471 | 142252 | 29618 9 | 1520 | 3110 1092.34/1092.63 c 1092s | 16 | 143676 | 142452 | 29618 9 | 1520 | 3110 1094.74/1095.05 c 1094s | 16 | 143873 | 142652 | 29618 9 | 1520 | 3110 1097.04/1097.37 c 1097s | 16 | 144073 | 142852 | 29618 9 | 1520 | 3110 1099.24/1099.55 c 1099s | 16 | 144276 | 143052 | 29618 9 | 1520 | 3110 1101.44/1101.71 c 1101s | 16 | 144474 | 143252 | 29618 9 | 1520 | 3110 1103.84/1104.11 c 1103s | 16 | 144675 | 143452 | 29618 9 | 1520 | 3110 1106.14/1106.45 c 1106s | 16 | 144874 | 143652 | 29618 9 | 1520 | 3110 1108.34/1108.66 c 1108s | 16 | 145074 | 143852 | 29618 9 | 1520 | 3110 1110.64/1110.94 c 1110s | 16 | 145275 | 144052 | 29618 9 | 1520 | 3110 1112.83/1113.17 c 1112s | 16 | 145474 | 144252 | 29618 9 | 1520 | 3110 1115.14/1115.45 c 1115s | 16 | 145676 | 144452 | 29618 9 | 1520 | 3110 1117.44/1117.72 c 1117s | 16 | 145874 | 144652 | 29618 9 | 1520 | 3110 1119.73/1120.01 c 1119s | 16 | 146077 | 144852 | 29618 9 | 1520 | 3110 1122.13/1122.43 c 1122s | 16 | 146278 | 145052 | 29618 9 | 1520 | 3110 1124.73/1125.00 c 1124s | 16 | 146480 | 145252 | 29618 10 | 1520 | 3110 1127.43/1127.77 c 1127s | 16 | 146777 | 145552 | 29618 10 | 1520 | 3110 1130.93/1131.28 c 1131s | 16 | 147082 | 145852 | 29618 10 | 1520 | 3110 1133.53/1133.85 c 1133s | 16 | 147383 | 146152 | 29618 10 | 1520 | 3110 1136.14/1136.45 c 1136s | 16 | 147684 | 146452 | 29618 10 | 1520 | 3110 1138.83/1139.18 c 1138s | 16 | 147981 | 146752 | 29618 10 | 1520 | 3110 1141.43/1141.73 c 1141s | 16 | 148282 | 147052 | 29618 10 | 1520 | 3110 1144.23/1144.50 c 1144s | 16 | 148584 | 147352 | 29618 10 | 1520 | 3110 1146.93/1147.26 c 1146s | 16 | 148887 | 147652 | 29618 10 | 1520 | 3110 1149.63/1149.95 c 1149s | 16 | 149187 | 147952 | 29618 10 | 1520 | 3110 1152.22/1152.50 c 1152s | 16 | 149488 | 148252 | 29618 10 | 1520 | 3110 1154.73/1155.10 c 1154s | 16 | 149793 | 148552 | 29618 10 | 1520 | 3110 1157.32/1157.70 c 1157s | 16 | 150096 | 148852 | 29618 10 | 1520 | 3110 1159.92/1160.22 c 1159s | 16 | 150392 | 149152 | 29618 10 | 1520 | 3110 1162.82/1163.10 c 1162s | 16 | 150695 | 149452 | 29618 10 | 1520 | 3110 1165.52/1165.83 c 1165s | 16 | 150993 | 149752 | 29618 10 | 1520 | 3110 1168.32/1168.62 c 1168s | 16 | 151295 | 150052 | 29618 10 | 1520 | 3110 1171.23/1171.55 c 1171s | 16 | 151594 | 150352 | 29618 10 | 1520 | 3110 1173.22/1173.57 c 1173s | 16 | 151796 | 150552 | 29618 10 | 1520 | 3110 1175.22/1175.59 c 1175s | 16 | 151995 | 150752 | 29618 10 | 1520 | 3110 1178.02/1178.31 c 1178s | 16 | 152294 | 151052 | 29618 10 | 1520 | 3110 1180.03/1180.32 c 1180s | 16 | 152500 | 151252 | 29618 10 | 1520 | 3110 1183.02/1183.38 c 1183s | 16 | 152802 | 151552 | 29618 10 | 1520 | 3110 1186.02/1186.31 c 1186s | 16 | 153106 | 151852 | 29618 10 | 1520 | 3110 1189.02/1189.31 c 1189s | 16 | 153405 | 152152 | 29618 10 | 1520 | 3110 1191.03/1191.31 c 1191s | 16 | 153602 | 152352 | 29618 10 | 1520 | 3110 1193.02/1193.35 c 1193s | 16 | 153804 | 152552 | 29618 10 | 1520 | 3110 1195.02/1195.39 c 1195s | 16 | 154006 | 152752 | 29618 10 | 1520 | 3110 1197.82/1198.14 c 1197s | 16 | 154302 | 153052 | 29618 10 | 1520 | 3110 1200.72/1201.01 c 1200s | 16 | 154613 | 153352 | 29618 10 | 1520 | 3110 1203.62/1203.97 c 1203s | 16 | 154914 | 153652 | 29618 10 | 1520 | 3110 1205.72/1206.00 c 1205s | 16 | 155116 | 153852 | 29618 10 | 1520 | 3110 1208.62/1208.94 c 1208s | 16 | 155416 | 154152 | 29618 10 | 1520 | 3110 1211.61/1211.93 c 1211s | 16 | 155716 | 154452 | 29618 10 | 1520 | 3110 1213.71/1214.05 c 1213s | 16 | 155915 | 154652 | 29618 10 | 1520 | 3110 1215.71/1216.07 c 1215s | 16 | 156114 | 154852 | 29618 10 | 1520 | 3110 1217.91/1218.23 c 1217s | 16 | 156313 | 155052 | 29618 10 | 1520 | 3110 1220.21/1220.52 c 1220s | 16 | 156518 | 155252 | 29618 10 | 1520 | 3110 1222.21/1222.53 c 1222s | 16 | 156716 | 155452 | 29618 10 | 1520 | 3110 1224.31/1224.66 c 1224s | 16 | 156916 | 155652 | 29618 10 | 1520 | 3110 1226.61/1226.93 c 1226s | 16 | 157117 | 155852 | 29618 10 | 1520 | 3110 1228.81/1229.14 c 1228s | 16 | 157318 | 156052 | 29618 10 | 1520 | 3110 1230.91/1231.28 c 1231s | 16 | 157517 | 156252 | 29618 10 | 1520 | 3110 1233.21/1233.54 c 1233s | 16 | 157721 | 156452 | 29618 10 | 1520 | 3110 1235.41/1235.71 c 1235s | 16 | 157924 | 156652 | 29618 10 | 1520 | 3110 1237.51/1237.88 c 1237s | 16 | 158121 | 156852 | 29618 10 | 1520 | 3110 1239.81/1240.15 c 1239s | 16 | 158326 | 157052 | 29618 10 | 1520 | 3110 1242.21/1242.53 c 1242s | 16 | 158524 | 157252 | 29618 10 | 1520 | 3110 1244.51/1244.83 c 1244s | 16 | 158725 | 157452 | 29618 10 | 1520 | 3110 1246.81/1247.16 c 1246s | 16 | 158925 | 157652 | 29618 10 | 1520 | 3110 1249.11/1249.46 c 1249s | 16 | 159125 | 157852 | 29618 10 | 1520 | 3110 1251.41/1251.76 c 1251s | 16 | 159328 | 158052 | 29618 10 | 1520 | 3110 1253.71/1254.06 c 1253s | 16 | 159526 | 158252 | 29618 10 | 1520 | 3110 1255.91/1256.21 c 1255s | 16 | 159725 | 158452 | 29618 10 | 1520 | 3110 1258.21/1258.51 c 1258s | 16 | 159926 | 158652 | 29618 10 | 1520 | 3110 1260.70/1261.05 c 1260s | 16 | 160130 | 158852 | 29618 10 | 1520 | 3110 1263.00/1263.37 c 1263s | 16 | 160327 | 159052 | 29618 10 | 1520 | 3110 1265.40/1265.73 c 1265s | 16 | 160528 | 159252 | 29618 10 | 1520 | 3110 1267.50/1267.89 c 1267s | 16 | 160731 | 159452 | 29618 10 | 1520 | 3110 1270.00/1270.34 c 1270s | 16 | 160928 | 159652 | 29618 10 | 1520 | 3110 1272.41/1272.70 c 1272s | 16 | 161126 | 159852 | 29618 10 | 1520 | 3110 1274.80/1275.15 c 1274s | 16 | 161330 | 160052 | 29618 10 | 1520 | 3110 1277.50/1277.81 c 1277s | 16 | 161529 | 160252 | 29618 10 | 1520 | 3110 1280.00/1280.31 c 1280s | 16 | 161728 | 160452 | 29618 10 | 1520 | 3110 1282.71/1283.09 c 1282s | 16 | 161932 | 160652 | 29618 11 | 1520 | 3110 1285.00/1285.34 c 1285s | 16 | 162129 | 160852 | 29618 11 | 1520 | 3110 1287.81/1288.20 c 1287s | 16 | 162429 | 161152 | 29618 11 | 1520 | 3110 1290.31/1290.64 c 1290s | 16 | 162642 | 161352 | 29618 11 | 1520 | 3110 1293.01/1293.39 c 1293s | 16 | 162944 | 161652 | 29618 11 | 1520 | 3110 1296.01/1296.31 c 1296s | 16 | 163242 | 161952 | 29618 11 | 1520 | 3110 1298.61/1298.97 c 1298s | 16 | 163544 | 162252 | 29618 11 | 1520 | 3110 1301.21/1301.58 c 1301s | 16 | 163844 | 162552 | 29618 11 | 1520 | 3110 1304.01/1304.32 c 1304s | 16 | 164146 | 162852 | 29618 11 | 1520 | 3110 1306.81/1307.10 c 1306s | 16 | 164448 | 163152 | 29618 11 | 1520 | 3110 1309.11/1309.49 c 1309s | 16 | 164748 | 163452 | 29618 11 | 1520 | 3110 1311.70/1312.04 c 1311s | 16 | 165043 | 163752 | 29618 11 | 1520 | 3110 1314.31/1314.62 c 1314s | 16 | 165345 | 164052 | 29618 11 | 1520 | 3110 1317.00/1317.35 c 1317s | 16 | 165648 | 164352 | 29618 11 | 1520 | 3110 1319.71/1320.07 c 1319s | 16 | 165947 | 164652 | 29618 11 | 1520 | 3110 1322.50/1322.82 c 1322s | 16 | 166246 | 164952 | 29618 11 | 1520 | 3110 1325.31/1325.66 c 1325s | 16 | 166551 | 165252 | 29618 11 | 1520 | 3110 1328.30/1328.66 c 1328s | 16 | 166850 | 165552 | 29618 11 | 1520 | 3110 1331.20/1331.55 c 1331s | 16 | 167149 | 165852 | 29618 11 | 1520 | 3110 1334.11/1334.49 c 1334s | 16 | 167448 | 166152 | 29618 11 | 1520 | 3110 1336.21/1336.59 c 1336s | 16 | 167650 | 166352 | 29618 11 | 1520 | 3110 1339.20/1339.53 c 1339s | 16 | 167953 | 166652 | 29618 11 | 1520 | 3110 1342.10/1342.42 c 1342s | 16 | 168252 | 166952 | 29618 11 | 1520 | 3110 1345.01/1345.36 c 1345s | 16 | 168553 | 167252 | 29618 11 | 1520 | 3110 1347.00/1347.39 c 1347s | 16 | 168750 | 167452 | 29618 11 | 1520 | 3110 1350.20/1350.50 c 1350s | 16 | 169052 | 167752 | 29618 11 | 1520 | 3110 1353.30/1353.62 c 1353s | 16 | 169352 | 168052 | 29618 11 | 1520 | 3110 1355.40/1355.72 c 1355s | 16 | 169554 | 168252 | 29618 11 | 1520 | 3110 1358.30/1358.61 c 1358s | 16 | 169852 | 168552 | 29618 11 | 1520 | 3110 1360.30/1360.68 c 1360s | 16 | 170058 | 168752 | 29618 11 | 1520 | 3110 1363.39/1363.76 c 1363s | 16 | 170354 | 169052 | 29618 11 | 1520 | 3110 1365.69/1366.00 c 1365s | 16 | 170554 | 169252 | 29618 11 | 1520 | 3110 1367.69/1368.07 c 1367s | 16 | 170757 | 169452 | 29618 11 | 1520 | 3110 1370.79/1371.12 c 1370s | 16 | 171054 | 169752 | 29618 11 | 1520 | 3110 1372.79/1373.15 c 1372s | 16 | 171256 | 169952 | 29618 11 | 1520 | 3110 1375.80/1376.14 c 1375s | 16 | 171556 | 170252 | 29618 11 | 1520 | 3110 1377.89/1378.21 c 1377s | 16 | 171756 | 170452 | 29618 11 | 1520 | 3110 1380.09/1380.42 c 1380s | 16 | 171956 | 170652 | 29618 11 | 1520 | 3110 1382.29/1382.63 c 1382s | 16 | 172156 | 170852 | 29618 11 | 1520 | 3110 1384.60/1384.99 c 1384s | 16 | 172353 | 171052 | 29618 11 | 1520 | 3110 1386.99/1387.31 c 1387s | 16 | 172560 | 171252 | 29618 11 | 1520 | 3110 1389.39/1389.78 c 1389s | 16 | 172756 | 171452 | 29618 11 | 1520 | 3110 1391.89/1392.23 c 1391s | 16 | 172958 | 171652 | 29618 11 | 1520 | 3110 1393.99/1394.39 c 1394s | 16 | 173159 | 171852 | 29618 11 | 1520 | 3110 1396.19/1396.54 c 1396s | 16 | 173357 | 172052 | 29618 11 | 1520 | 3110 1398.29/1398.67 c 1398s | 16 | 173563 | 172252 | 29618 11 | 1520 | 3110 1400.59/1400.95 c 1400s | 16 | 173764 | 172452 | 29618 11 | 1520 | 3110 1402.79/1403.18 c 1402s | 16 | 173960 | 172652 | 29618 11 | 1520 | 3110 1405.19/1405.56 c 1405s | 16 | 174162 | 172852 | 29618 11 | 1520 | 3110 1407.49/1407.80 c 1407s | 16 | 174364 | 173052 | 29618 11 | 1520 | 3110 1409.69/1410.05 c 1409s | 16 | 174566 | 173252 | 29618 11 | 1520 | 3110 1412.09/1412.40 c 1412s | 16 | 174763 | 173452 | 29618 11 | 1520 | 3110 1414.39/1414.72 c 1414s | 16 | 174966 | 173652 | 29618 11 | 1520 | 3110 1416.78/1417.17 c 1416s | 16 | 175167 | 173852 | 29618 11 | 1520 | 3110 1419.08/1419.47 c 1419s | 16 | 175365 | 174052 | 29618 11 | 1520 | 3110 1421.48/1421.84 c 1421s | 16 | 175568 | 174252 | 29618 11 | 1520 | 3110 1423.98/1424.33 c 1424s | 16 | 175772 | 174452 | 29618 11 | 1520 | 3110 1426.49/1426.82 c 1426s | 16 | 175970 | 174652 | 29618 11 | 1520 | 3110 1428.98/1429.33 c 1429s | 16 | 176173 | 174852 | 29618 11 | 1520 | 3110 1431.38/1431.77 c 1431s | 16 | 176373 | 175052 | 29618 11 | 1520 | 3110 1433.78/1434.14 c 1433s | 16 | 176572 | 175252 | 29618 11 | 1520 | 3110 1436.08/1436.48 c 1436s | 16 | 176775 | 175452 | 29618 11 | 1520 | 3110 1438.68/1439.06 c 1438s | 16 | 176971 | 175652 | 29618 11 | 1520 | 3110 1441.28/1441.70 c 1441s | 16 | 177173 | 175852 | 29618 11 | 1520 | 3110 1443.78/1444.16 c 1443s | 16 | 177375 | 176052 | 29618 11 | 1520 | 3110 1446.29/1446.61 c 1446s | 16 | 177578 | 176252 | 29618 11 | 1520 | 3110 1448.88/1449.20 c 1448s | 16 | 177775 | 176452 | 29618 12 | 1520 | 3110 1450.88/1451.27 c 1451s | 16 | 177976 | 176652 | 29618 12 | 1520 | 3110 1453.58/1453.96 c 1453s | 16 | 178279 | 176952 | 29618 12 | 1520 | 3110 1456.08/1456.48 c 1456s | 16 | 178579 | 177252 | 29618 12 | 1520 | 3110 1458.48/1458.87 c 1458s | 16 | 178879 | 177552 | 29618 12 | 1520 | 3110 1461.07/1461.40 c 1461s | 16 | 179181 | 177852 | 29618 12 | 1520 | 3110 1463.67/1464.07 c 1463s | 16 | 179482 | 178152 | 29618 12 | 1520 | 3110 1466.47/1466.80 c 1466s | 16 | 179783 | 178452 | 29618 12 | 1520 | 3110 1469.17/1469.55 c 1469s | 16 | 180085 | 178752 | 29618 12 | 1520 | 3110 1471.87/1472.27 c 1472s | 16 | 180385 | 179052 | 29618 12 | 1520 | 3110 1474.67/1475.01 c 1474s | 16 | 180685 | 179352 | 29618 12 | 1520 | 3110 1477.37/1477.77 c 1477s | 16 | 180984 | 179652 | 29618 12 | 1520 | 3110 1480.47/1480.85 c 1480s | 16 | 181283 | 179952 | 29618 12 | 1520 | 3110 1482.58/1482.97 c 1482s | 16 | 181486 | 180152 | 29618 12 | 1520 | 3110 1485.47/1485.80 c 1485s | 16 | 181782 | 180452 | 29618 12 | 1520 | 3110 1487.98/1488.34 c 1488s | 16 | 181990 | 180652 | 29618 12 | 1520 | 3110 1490.87/1491.21 c 1490s | 16 | 182289 | 180952 | 29618 12 | 1520 | 3110 1493.77/1494.15 c 1493s | 16 | 182591 | 181252 | 29618 12 | 1520 | 3110 1496.57/1496.97 c 1496s | 16 | 182892 | 181552 | 29618 12 | 1520 | 3110 1498.77/1499.18 c 1498s | 16 | 183091 | 181752 | 29618 12 | 1520 | 3110 1501.57/1501.98 c 1501s | 16 | 183395 | 182052 | 29618 12 | 1520 | 3110 1503.87/1504.22 c 1503s | 16 | 183597 | 182252 | 29618 12 | 1520 | 3110 1505.87/1506.27 c 1506s | 16 | 183798 | 182452 | 29618 12 | 1520 | 3110 1508.87/1509.28 c 1509s | 16 | 184097 | 182752 | 29618 12 | 1520 | 3110 1511.17/1511.58 c 1511s | 16 | 184302 | 182952 | 29618 12 | 1520 | 3110 1513.37/1513.76 c 1513s | 16 | 184501 | 183152 | 29618 12 | 1520 | 3110 1515.67/1516.03 c 1515s | 16 | 184700 | 183352 | 29618 12 | 1520 | 3110 1517.77/1518.15 c 1517s | 16 | 184901 | 183552 | 29618 12 | 1520 | 3110 1519.77/1520.20 c 1519s | 16 | 185098 | 183752 | 29618 12 | 1520 | 3110 1521.96/1522.30 c 1522s | 16 | 185298 | 183952 | 29618 12 | 1520 | 3110 1524.06/1524.45 c 1524s | 16 | 185501 | 184152 | 29618 12 | 1520 | 3110 1526.26/1526.63 c 1526s | 16 | 185697 | 184352 | 29618 12 | 1520 | 3110 1528.36/1528.72 c 1528s | 16 | 185898 | 184552 | 29618 12 | 1520 | 3110 1530.57/1530.93 c 1530s | 16 | 186098 | 184752 | 29618 12 | 1520 | 3110 1532.77/1533.15 c 1532s | 16 | 186300 | 184952 | 29618 12 | 1520 | 3110 1534.87/1535.29 c 1535s | 16 | 186497 | 185152 | 29618 12 | 1520 | 3110 1537.17/1537.57 c 1537s | 16 | 186702 | 185352 | 29618 12 | 1520 | 3110 1539.47/1539.85 c 1539s | 16 | 186900 | 185552 | 29618 12 | 1520 | 3110 1541.57/1541.92 c 1541s | 16 | 187101 | 185752 | 29618 12 | 1520 | 3110 1543.57/1543.97 c 1543s | 16 | 187299 | 185952 | 29618 12 | 1520 | 3110 1545.87/1546.24 c 1545s | 16 | 187499 | 186152 | 29618 12 | 1520 | 3110 1548.07/1548.43 c 1548s | 16 | 187702 | 186352 | 29618 12 | 1520 | 3110 1550.47/1550.84 c 1550s | 16 | 187900 | 186552 | 29618 12 | 1520 | 3110 1552.87/1553.21 c 1552s | 16 | 188100 | 186752 | 29618 12 | 1520 | 3110 1555.27/1555.67 c 1555s | 16 | 188304 | 186952 | 29618 12 | 1520 | 3110 1557.77/1558.14 c 1557s | 16 | 188501 | 187152 | 29618 12 | 1520 | 3110 1559.96/1560.37 c 1560s | 16 | 188702 | 187352 | 29618 12 | 1520 | 3110 1562.16/1562.58 c 1562s | 16 | 188901 | 187552 | 29618 12 | 1520 | 3110 1564.26/1564.66 c 1564s | 16 | 189102 | 187752 | 29618 12 | 1520 | 3110 1566.56/1566.99 c 1566s | 16 | 189303 | 187952 | 29618 12 | 1520 | 3110 1568.76/1569.17 c 1568s | 16 | 189502 | 188152 | 29618 12 | 1520 | 3110 1570.96/1571.37 c 1571s | 16 | 189703 | 188352 | 29618 12 | 1520 | 3110 1573.26/1573.69 c 1573s | 16 | 189903 | 188552 | 29618 12 | 1520 | 3110 1575.56/1575.98 c 1575s | 16 | 190103 | 188752 | 29618 12 | 1520 | 3110 1577.96/1578.36 c 1578s | 16 | 190309 | 188952 | 29618 12 | 1520 | 3110 1580.47/1580.81 c 1580s | 16 | 190510 | 189152 | 29618 12 | 1520 | 3110 1582.86/1583.24 c 1582s | 16 | 190711 | 189352 | 29618 12 | 1520 | 3110 1585.26/1585.61 c 1585s | 16 | 190910 | 189552 | 29618 12 | 1520 | 3110 1587.66/1588.04 c 1587s | 16 | 191116 | 189752 | 29618 12 | 1520 | 3110 1589.76/1590.19 c 1589s | 16 | 191313 | 189952 | 29618 12 | 1520 | 3110 1592.06/1592.50 c 1592s | 16 | 191515 | 190152 | 29618 12 | 1520 | 3110 1594.36/1594.77 c 1594s | 16 | 191714 | 190352 | 29618 12 | 1520 | 3110 1596.56/1596.91 c 1596s | 16 | 191913 | 190552 | 29618 12 | 1520 | 3110 1599.07/1599.47 c 1599s | 16 | 192115 | 190752 | 29618 12 | 1520 | 3110 1601.46/1601.85 c 1601s | 16 | 192316 | 190952 | 29618 12 | 1520 | 3110 1603.76/1604.13 c 1603s | 16 | 192516 | 191152 | 29618 12 | 1520 | 3110 1605.96/1606.34 c 1606s | 16 | 192715 | 191352 | 29618 12 | 1520 | 3110 1608.46/1608.82 c 1608s | 16 | 192913 | 191552 | 29618 12 | 1520 | 3110 1610.76/1611.11 c 1610s | 16 | 193113 | 191752 | 29618 12 | 1520 | 3110 1613.16/1613.58 c 1613s | 16 | 193314 | 191952 | 29618 12 | 1520 | 3110 1615.56/1616.00 c 1615s | 16 | 193518 | 192152 | 29618 13 | 1520 | 3110 1618.26/1618.60 c 1618s | 16 | 193816 | 192452 | 29618 13 | 1520 | 3110 1620.76/1621.12 c 1620s | 16 | 194117 | 192752 | 29618 13 | 1520 | 3110 1623.26/1623.66 c 1623s | 16 | 194416 | 193052 | 29618 13 | 1520 | 3110 1625.95/1626.35 c 1626s | 16 | 194718 | 193352 | 29618 13 | 1520 | 3110 1628.55/1628.97 c 1628s | 16 | 195019 | 193652 | 29618 13 | 1520 | 3110 1631.15/1631.56 c 1631s | 16 | 195318 | 193952 | 29618 13 | 1520 | 3110 1634.05/1634.40 c 1634s | 16 | 195623 | 194252 | 29618 13 | 1520 | 3110 1636.75/1637.14 c 1636s | 16 | 195922 | 194552 | 29618 13 | 1520 | 3110 1639.45/1639.84 c 1639s | 16 | 196223 | 194852 | 29618 13 | 1520 | 3110 1642.35/1642.75 c 1642s | 16 | 196523 | 195152 | 29618 13 | 1520 | 3110 1645.05/1645.48 c 1645s | 16 | 196824 | 195452 | 29618 13 | 1520 | 3110 1647.75/1648.19 c 1647s | 16 | 197124 | 195752 | 29618 13 | 1520 | 3110 1650.55/1650.96 c 1650s | 16 | 197427 | 196052 | 29618 13 | 1520 | 3110 1653.35/1653.74 c 1653s | 16 | 197729 | 196352 | 32580 13 | 1520 | 3110 1655.45/1655.83 c 1655s | 16 | 197928 | 196552 | 32580 13 | 1520 | 3110 1658.35/1658.72 c 1658s | 16 | 198227 | 196852 | 32580 13 | 1520 | 3110 1660.45/1660.84 c 1660s | 16 | 198428 | 197052 | 32580 13 | 1520 | 3110 1663.35/1663.79 c 1663s | 16 | 198731 | 197352 | 32580 13 | 1520 | 3110 1664.25/1664.63 c 1664s | 17 | 198810 | 197432 | 32580 13 | 1520 | 3110 1666.35/1666.78 c 1666s | 17 | 199037 | 197632 | 32580 13 | 1520 | 3110 1669.35/1669.75 c 1669s | 17 | 199333 | 197932 | 32580 13 | 1520 | 3110 1672.25/1672.63 c 1672s | 17 | 199634 | 198232 | 32580 13 | 1520 | 3110 1675.35/1675.70 c 1675s | 17 | 199936 | 198532 | 32580 13 | 1520 | 3110 1678.25/1678.63 c 1678s | 17 | 200236 | 198832 | 32580 13 | 1520 | 3110 1681.24/1681.60 c 1681s | 17 | 200537 | 199132 | 32580 13 | 1520 | 3110 1683.24/1683.63 c 1683s | 17 | 200739 | 199332 | 32580 13 | 1520 | 3110 1685.24/1685.65 c 1685s | 17 | 200942 | 199532 | 32580 13 | 1520 | 3110 1687.34/1687.78 c 1687s | 17 | 201139 | 199732 | 32580 13 | 1520 | 3110 1689.54/1689.95 c 1689s | 17 | 201340 | 199932 | 32580 13 | 1520 | 3110 1692.65/1693.05 c 1692s | 17 | 201640 | 200232 | 32580 13 | 1520 | 3110 1694.85/1695.23 c 1694s | 17 | 201839 | 200432 | 32580 13 | 1520 | 3110 1697.05/1697.42 c 1697s | 17 | 202042 | 200632 | 32580 13 | 1520 | 3110 1699.25/1699.68 c 1699s | 17 | 202242 | 200832 | 32580 13 | 1520 | 3110 1701.45/1701.80 c 1701s | 17 | 202439 | 201032 | 32580 13 | 1520 | 3110 1703.55/1703.95 c 1703s | 17 | 202641 | 201232 | 32580 13 | 1520 | 3110 1705.64/1706.04 c 1705s | 17 | 202840 | 201432 | 32580 13 | 1520 | 3110 1707.84/1708.30 c 1708s | 17 | 203043 | 201632 | 32580 13 | 1520 | 3110 1710.34/1710.70 c 1710s | 17 | 203243 | 201832 | 32580 13 | 1520 | 3110 1712.64/1713.06 c 1712s | 17 | 203443 | 202032 | 32580 13 | 1520 | 3110 1715.04/1715.43 c 1715s | 17 | 203642 | 202232 | 32580 13 | 1520 | 3110 1717.34/1717.76 c 1717s | 17 | 203843 | 202432 | 32580 13 | 1520 | 3110 1719.74/1720.10 c 1719s | 17 | 204040 | 202632 | 32580 13 | 1520 | 3110 1721.94/1722.34 c 1722s | 17 | 204243 | 202832 | 32580 13 | 1520 | 3110 1724.23/1724.64 c 1724s | 17 | 204442 | 203032 | 32580 13 | 1520 | 3110 1726.64/1727.05 c 1726s | 17 | 204641 | 203232 | 32580 13 | 1520 | 3110 1729.03/1729.41 c 1729s | 17 | 204839 | 203432 | 32580 13 | 1520 | 3110 1731.53/1731.97 c 1731s | 17 | 205040 | 203632 | 32580 13 | 1520 | 3110 1733.93/1734.37 c 1734s | 17 | 205241 | 203832 | 32580 13 | 1520 | 3110 1736.23/1736.65 c 1736s | 17 | 205444 | 204032 | 32580 13 | 1520 | 3110 1738.43/1738.85 c 1738s | 17 | 205643 | 204232 | 32580 13 | 1520 | 3110 1740.63/1741.02 c 1740s | 17 | 205846 | 204432 | 32580 13 | 1520 | 3110 1742.83/1743.26 c 1742s | 17 | 206044 | 204632 | 32580 13 | 1520 | 3110 1745.23/1745.64 c 1745s | 17 | 206247 | 204832 | 32580 13 | 1520 | 3110 1747.64/1748.07 c 1747s | 17 | 206445 | 205032 | 32580 13 | 1520 | 3110 1749.93/1750.38 c 1750s | 17 | 206647 | 205232 | 32580 13 | 1520 | 3110 1752.33/1752.77 c 1752s | 17 | 206848 | 205432 | 32580 13 | 1520 | 3110 1754.53/1754.99 c 1754s | 17 | 207047 | 205632 | 32580 13 | 1520 | 3110 1756.73/1757.18 c 1756s | 17 | 207244 | 205832 | 32580 13 | 1520 | 3110 1759.43/1759.80 c 1759s | 17 | 207351 | 205932 | 32580 13 | 1520 | 3110 1761.73/1762.12 c 1761s | 17 | 207551 | 206132 | 32580 13 | 1520 | 3110 1764.04/1764.40 c 1764s | 17 | 207749 | 206332 | 32580 13 | 1520 | 3110 1766.43/1766.82 c 1766s | 17 | 207949 | 206532 | 32580 13 | 1520 | 3110 1768.63/1769.09 c 1768s | 17 | 208149 | 206732 | 32580 13 | 1520 | 3110 1771.13/1771.57 c 1771s | 17 | 208354 | 206932 | 32580 13 | 1520 | 3110 1773.83/1774.29 c 1774s | 17 | 208551 | 207132 | 32580 13 | 1520 | 3110 1776.53/1776.94 c 1776s | 17 | 208751 | 207332 | 32580 13 | 1520 | 3110 1779.13/1779.58 c 1779s | 17 | 208952 | 207532 | 32580 13 | 1520 | 3110 1781.73/1782.14 c 1781s | 17 | 209152 | 207732 | 32580 13 | 1520 | 3110 1784.12/1784.55 c 1784s | 17 | 209348 | 207932 | 32580 13 | 1520 | 3110 1786.72/1787.13 c 1786s | 17 | 209554 | 208132 | 32580 13 | 1520 | 3110 1789.34/1789.72 c 1789s | 17 | 209753 | 208332 | 32580 13 | 1520 | 3110 1791.93/1792.38 c 1792s | 17 | 209953 | 208532 | 32580 13 | 1520 | 3110 1794.53/1794.91 c 1794s | 17 | 210152 | 208732 | 32580 13 | 1520 | 3110 1797.23/1797.67 c 1797s | 17 | 210354 | 208932 | 32580 13 | 1520 | 3110
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-4079519-1465233271/watcher-4079519-1465233271 -o /tmp/evaluation-result-4079519-1465233271/solver-4079519-1465233271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079519-1465233271.opb pid=5968 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.00 3/179 5971 /proc/meminfo: memFree=30744116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=743868 CPUtime=0 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 2778 0 0 0 0 0 0 0 20 0 4 0 105261760 761720832 3138 33554432000 4194304 16246674 140735505460320 140735505459744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 186735 3147 441 2943 0 183629 0 [pid=5971/tid=5972] ppid=5968 vsize=761276 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 779546624 3207 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=766396 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 784789504 3224 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=770492 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105261760 788983808 3240 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.04 2.04 2.00 3/179 5971 /proc/meminfo: memFree=30744116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 28078 0 0 0 5 4 0 0 20 0 4 0 105261760 1333334016 28376 33554432000 4194304 16246674 140735505460320 140735505459416 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 325521 28390 800 2943 0 322415 0 [pid=5971/tid=5972] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 28401 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 28414 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 28425 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200501 s] /proc/loadavg: 2.04 2.04 2.00 3/179 5971 /proc/meminfo: memFree=30744116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1302084 CPUtime=0.19 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 44922 0 0 0 13 6 0 0 20 0 4 0 105261760 1333334016 45220 33554432000 4194304 16246674 140735505460320 140735505459416 5740464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 325521 45220 833 2943 0 322415 0 [pid=5971/tid=5972] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 45220 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 45220 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 45220 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1302084 [startup+0.300491 s] /proc/loadavg: 2.04 2.04 2.00 3/179 5971 /proc/meminfo: memFree=30744116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1302084 CPUtime=0.29 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 57313 0 0 0 21 8 0 0 20 0 4 0 105261760 1333334016 57612 33554432000 4194304 16246674 140735505460320 140735505459416 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 325521 57617 884 2943 0 322415 0 [pid=5971/tid=5972] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 57621 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 57626 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 57631 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1302084 [startup+0.70046 s] /proc/loadavg: 2.04 2.04 2.00 3/179 5971 /proc/meminfo: memFree=30744116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1302084 CPUtime=0.69 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 131471 0 0 0 50 19 0 0 20 0 4 0 105261760 1333334016 131770 33554432000 4194304 16246674 140735505460320 140735505459416 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 325521 131778 884 2943 0 322415 0 [pid=5971/tid=5972] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 131783 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 131788 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1333334016 131794 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1302084 [startup+1.50045 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5975 /proc/meminfo: memFree=29919916/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=1.48 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269126 0 0 0 108 40 0 0 20 0 4 0 105261760 1343819776 269424 33554432000 4194304 16246674 140735505460320 140735505459632 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269424 891 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269424 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269424 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269424 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1312324 [startup+3.10048 s] /proc/loadavg: 2.04 2.04 2.00 3/183 5975 /proc/meminfo: memFree=29667196/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=3.08 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269269 0 0 0 268 40 0 0 20 0 4 0 105261760 1343819776 269567 33554432000 4194304 16246674 140735505460320 140735505442240 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269567 891 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269567 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269567 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269567 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1312324 [startup+6.30047 s] /proc/loadavg: 2.04 2.04 2.00 4/183 5975 /proc/meminfo: memFree=29666540/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=6.28 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269270 0 0 0 588 40 0 0 20 0 4 0 105261760 1343819776 269568 33554432000 4194304 16246674 140735505460320 140735505442240 6023556 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269568 891 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269568 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269568 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269568 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1312324 [startup+12.7005 s] /proc/loadavg: 2.03 2.04 2.00 3/183 5975 /proc/meminfo: memFree=29666888/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=12.68 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269272 0 0 0 1228 40 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140735505442240 6861625 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269570 893 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.02 2.04 2.00 3/183 5975 /proc/meminfo: memFree=29666748/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=25.48 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269272 0 0 0 2508 40 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140735505442240 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269570 893 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.02 2.03 2.00 3/183 5975 /proc/meminfo: memFree=29666968/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=51.09 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269272 0 0 0 5068 41 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140735505442240 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269570 893 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1312324 [startup+102.301 s] /proc/loadavg: 2.21 2.07 2.01 3/183 5976 /proc/meminfo: memFree=29666736/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1312324 CPUtime=102.28 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 269272 0 0 0 10187 41 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140735505442240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 328081 269570 893 2943 0 324975 0 [pid=5971/tid=5972] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1343819776 269570 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1312324 ################ # More data... # ################ /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 1390148 [startup+1302.3 s] /proc/loadavg: 2.10 2.05 2.01 3/183 6055 /proc/meminfo: memFree=29525380/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1302.01 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 130131 70 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 1390148 [startup+1362.3 s] /proc/loadavg: 2.15 2.08 2.02 3/183 6056 /proc/meminfo: memFree=29525140/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1362 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 136130 70 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 1390148 [startup+1422.3 s] /proc/loadavg: 2.10 2.08 2.02 3/182 6057 /proc/meminfo: memFree=29524900/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1421.99 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 142129 70 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1390148 [startup+1482.3 s] /proc/loadavg: 2.10 2.08 2.01 3/183 6059 /proc/meminfo: memFree=29485344/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1481.97 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 148127 70 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5674844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 1390148 [startup+1542.31 s] /proc/loadavg: 2.07 2.07 2.01 3/184 6063 /proc/meminfo: memFree=29485800/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1541.98 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 154124 74 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 1390148 [startup+1602.3 s] /proc/loadavg: 2.14 2.09 2.02 3/183 6064 /proc/meminfo: memFree=29485664/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1601.96 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 160122 74 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5522925 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 1390148 [startup+1662.3 s] /proc/loadavg: 2.15 2.10 2.02 3/183 6065 /proc/meminfo: memFree=29485756/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1661.95 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 166121 74 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.95 Current children cumulated vsize (KiB) 1390148 [startup+1722.3 s] /proc/loadavg: 2.10 2.09 2.02 3/183 6066 /proc/meminfo: memFree=29486116/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1721.94 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 172120 74 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.94 Current children cumulated vsize (KiB) 1390148 [startup+1782.3 s] /proc/loadavg: 2.16 2.10 2.03 3/183 6068 /proc/meminfo: memFree=29484964/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1781.93 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 178116 77 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1390148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.12 2.10 2.03 3/183 6068 /proc/meminfo: memFree=29485268/32872528 swapFree=11372/178980 [pid=5971] ppid=5968 vsize=1390148 CPUtime=1800.03 cores=1,3,5,7 /proc/5971/stat : 5971 (toysat) R 5968 5971 4590 0 -1 4202496 288895 0 0 0 179925 78 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140735505442240 12483562 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/5971/statm: 347537 289283 894 2943 0 344431 0 [pid=5971/tid=5972] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5972/stat : 5972 (toysat) S 5968 5971 4590 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237274590448 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=5971/tid=5973] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5973/stat : 5973 (toysat) S 5968 5971 4590 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237191752944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=5971/tid=5974] ppid=5968 vsize=1390148 CPUtime=0 cores=1,3,5,7 /proc/5971/task/5974/stat : 5974 (toysat) S 5968 5971 4590 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 105261760 1423511552 289283 33554432000 4194304 16246674 140735505460320 140237181279408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1390148 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 5971 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.04 CPU user time (s): 1799.26 CPU system time (s): 0.779881 CPU usage (%): 99.9793 Max. virtual memory (cumulated for all children) (KiB): 1390148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 0.779881 maximum resident set size= 1157132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288895 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= 181 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.11622 second user time and 7.59185 second system time The end
Begin job on node105 at 2016-06-06 19:14:31 IDJOB=4079519 IDBENCH=2208 IDSOLVER=2542 FILE ID=node105/4079519-1465233271 RUNJOBID= node105-1465220657-4607 PBS_JOBID= 19843223 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079519-1465233271/watcher-4079519-1465233271 -o /tmp/evaluation-result-4079519-1465233271/solver-4079519-1465233271 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465220657-4607 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079519-1465233271.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a9e4c8983ff8fc3ce01109a5c224dd2 RANDOM SEED=1110297214 node105.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.813 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.62 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.813 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.813 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.56 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.813 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.813 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30744652 kB Buffers: 29628 kB Cached: 119572 kB SwapCached: 1756 kB Active: 1194432 kB Inactive: 53160 kB Active(anon): 1099372 kB Inactive(anon): 1504 kB Active(file): 95060 kB Inactive(file): 51656 kB Unevictable: 178980 kB Mlocked: 11372 kB SwapTotal: 67108856 kB SwapFree: 67098460 kB Dirty: 16556 kB Writeback: 0 kB AnonPages: 1277100 kB Mapped: 10500 kB Shmem: 0 kB Slab: 568712 kB SReclaimable: 12084 kB SUnreclaim: 556628 kB KernelStack: 1512 kB PageTables: 6744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1420496 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1079296 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= 71716 MiB End job on node105 at 2016-06-06 19:44:32