| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow15.opb |
| MD5SUM | 85af08260bc54f31465e48eb0563bdd8 |
| 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 | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | NO |
| Number of variables | 17130 |
| Total number of constraints | 900 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 900 |
| Minimum length of a constraint | 22 |
| Maximum length of a constraint | 491 |
| Number of terms in the objective function | 1335 |
| Biggest coefficient in the objective function | 12744 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 525285 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 256781 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 525285 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T04:39:00+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-4100809-1466217539.opb"] 0.00/0.01 c use --random-gen="1933362728 153531325 1949289881 2228760494 2523811908 3888445799 1245972952 751857928 543819480 1039660209 3318807297 1828173032 2619385772 938527468 3772950852 3474847328 1655742648 1084677839 1679911970 3640284878 3885070677 3566669526 3858951725 1961269505 2119930430 3192139815 2309646666 1270136650 2824213136 548544416 4272008390 2094038188 1365103339 3462970264 1716498909 219393145 2109230361 2535203851 1466200006 780806997 4032574753 4055085243 1344678035 3470820375 1678153198 3988841468 2436290127 2171488370 3287010868 2599332877 2927160675 4214417619 3512749843 1917429672 72237111 343366736 1969877043 995583406 1252190841 3311066541 3972605061 637757585 725451595 433133998 3962338149 1830916295 3503496039 757722311 360100665 365336571 3003351191 195360698 3990168295 3365878634 772730838 3296568242 1788218263 275605920 3319722002 1417492895 3440375211 3698505205 2584920696 786405731 347990581 3446735631 3316595081 1082324203 3690431874 2431434706 2088975913 4104956826 3507822518 986692926 3106882477 400920770 1982914288 3297964830 3122866642 1172783787 1218672199 3408528347 1778254756 2876153831 455714634 2415671230 3649676193 1528396505 2356574016 4269952882 3007259562 3760435788 3980633780 4171997497 4123943820 1226679883 2801371812 2525806649 2668244133 3842577806 1259068065 2604326778 2540434563 1559668260 832418132 847738186 1857590298 4186459392 3749378584 3748626568 3396227422 2877796536 127017110 342021859 2286300817 715451797 3965735225 169981851 1318318370 523871364 182445827 1075225623 2291515351 788778320 2241418556 947399366 4176691214 3424050295 693493840 518692595 2820178746 727386462 822783084 648522218 573531123 210544726 2104597858 1642115209 2806869105 3605380887 2630949705 910219799 41346867 3624260631 1731341328 1912112259 3192600237 454478195 1216333728 1706390999 93249222 3351602316 3002426846 722066828 78257454 2962605124 2853050712 3364425897 1800452567 4112226515 3223500080 3728015164 859389134 4037730614 2374144398 653290825 1954296293 1857049128 2474855293 3281085418 2652221673 1136656816 1997219990 4109078596 2538525593 3360239566 1361295461 4002877517 2063710637 1485845288 1741233069 3487494793 2438284561 89441449 601282648 691505143 3154903897 656964376 519075162 1020705036 1625655589 3033781396 1758043550 2360986875 1993137573 1443576714 3339858723 543939448 1040407849 2453943247 186582125 2336971299 4223806449 1122089412 2795692259 2146186281 4158704768 4139940145 2876064900 2476001093 3129908660 615162117 4272050677 3052544674 1307096032 667352604 3450779797 4177550 3878836867 2684761383 1916383864 1156671102 4113132059 4233331502 2628538170 4194067135 4017163194 2507590249 2037234239 3886305617 1678606796 2751372858 2938734292 1195562871 637502186 3225399023 255 362436" option to reproduce the execution 0.19/0.21 c #vars 17130 0.19/0.21 c #constraints 900 25.98/26.04 c BCD2: Hardening is enabled. 25.98/26.04 c BCD2: BiasedSearch is enabled. 25.98/26.04 c Solving starts ... 25.98/26.04 c ============================[ Search Statistics ]============================ 25.98/26.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 25.98/26.04 c | | | | Limit GC | Var | Constra 25.98/26.04 c ============================================================================= 25.98/26.04 c 0.0s | 0 | 0 | 0 | 6110 0 | 0 | 0 26.08/26.14 c 0.1s | 1 | 1262 | 100 | 6110 0 | 2 | 2 26.28/26.32 c 0.3s | 2 | 2063 | 250 | 6722 0 | 8 | 8 26.48/26.52 c 0.5s | 3 | 3476 | 475 | 7395 0 | 11 | 11 26.78/26.87 c 0.8s | 4 | 4161 | 813 | 8135 0 | 11 | 11 27.28/27.35 c 1.3s | 5 | 7469 | 1320 | 8949 0 | 19 | 19 27.69/27.76 c 1.7s | 6 | 9135 | 2081 | 10829 0 | 21 | 21 29.08/29.14 c 3.1s | 7 | 12362 | 3223 | 11912 0 | 21 | 21 31.09/31.12 c 5.1s | 8 | 16768 | 4936 | 13104 0 | 21 | 21 33.08/33.17 c 7.1s | 8 | 20083 | 6836 | 13104 0 | 21 | 21 33.98/34.09 c 8.0s | 9 | 21898 | 7506 | 14415 0 | 21 | 21 36.08/36.11 c 10.1s | 9 | 26158 | 9606 | 14415 0 | 21 | 21 38.18/38.25 c 12.2s | 9 | 28323 | 11106 | 14415 0 | 21 | 21 38.58/38.66 c 12.6s | 10 | 28852 | 11361 | 15857 0 | 21 | 21 40.68/40.76 c 14.7s | 10 | 33013 | 12961 | 15857 0 | 21 | 21 42.78/42.86 c 16.8s | 10 | 34441 | 14261 | 15857 0 | 21 | 21 44.88/44.91 c 18.9s | 10 | 36136 | 15861 | 15857 0 | 21 | 21 46.78/46.89 c 20.9s | 11 | 37536 | 17144 | 17443 0 | 21 | 21 48.88/48.90 c 22.9s | 11 | 39969 | 18344 | 17443 0 | 22 | 22 50.89/50.98 c 24.9s | 11 | 41177 | 19544 | 17443 1 | 22 | 22 53.09/53.11 c 27.1s | 11 | 42690 | 21044 | 17443 1 | 22 | 22 55.08/55.13 c 29.1s | 11 | 44095 | 22444 | 17443 1 | 22 | 22 57.08/57.14 c 31.1s | 11 | 45403 | 23744 | 17443 1 | 22 | 22 59.08/59.16 c 33.1s | 11 | 46612 | 24944 | 17443 1 | 22 | 22 60.48/60.58 c 34.5s | 12 | 47490 | 25819 | 19188 1 | 22 | 22 62.58/62.65 c 36.6s | 12 | 51184 | 27919 | 19188 1 | 22 | 22 64.68/64.70 c 38.7s | 12 | 53762 | 29919 | 19188 1 | 22 | 22 66.68/66.73 c 40.7s | 12 | 55924 | 31719 | 19188 2 | 22 | 22 68.78/68.85 c 42.8s | 12 | 58061 | 33519 | 19188 2 | 22 | 22 70.88/70.95 c 44.9s | 12 | 59836 | 35119 | 19188 2 | 22 | 22 72.97/73.02 c 47.0s | 12 | 65667 | 36819 | 19188 2 | 22 | 22 75.17/75.21 c 49.2s | 12 | 67975 | 38019 | 19188 2 | 22 | 22 76.37/76.49 c 50.5s | 13 | 69858 | 38832 | 21107 2 | 22 | 22 78.47/78.50 c 52.5s | 13 | 72931 | 40732 | 21107 2 | 22 | 22 80.48/80.57 c 54.5s | 13 | 75361 | 42032 | 21107 2 | 22 | 22 82.57/82.63 c 56.6s | 13 | 76464 | 43132 | 21107 3 | 22 | 22 84.57/84.66 c 58.6s | 13 | 77677 | 44332 | 21107 3 | 22 | 22 86.67/86.76 c 60.7s | 13 | 78880 | 45532 | 21107 3 | 22 | 22 88.67/88.78 c 62.7s | 13 | 79991 | 46632 | 21107 3 | 22 | 22 90.77/90.83 c 64.8s | 13 | 81093 | 47732 | 21107 3 | 22 | 22 92.87/92.93 c 66.9s | 13 | 82199 | 48832 | 21107 3 | 22 | 22 94.97/95.02 c 69.0s | 13 | 83302 | 49932 | 21107 3 | 22 | 22 97.09/97.13 c 71.1s | 13 | 84413 | 51032 | 21107 3 | 22 | 22 99.18/99.26 c 73.2s | 13 | 85517 | 52132 | 21107 3 | 22 | 22 101.38/101.41 c 75.4s | 13 | 86621 | 53232 | 21107 3 | 22 | 22 103.58/103.61 c 77.6s | 13 | 87627 | 54232 | 21107 4 | 22 | 22 105.58/105.67 c 79.6s | 13 | 88634 | 55232 | 21107 4 | 22 | 22 107.68/107.72 c 81.7s | 13 | 89641 | 56232 | 21107 4 | 22 | 22 109.88/109.94 c 83.9s | 13 | 90547 | 57132 | 21107 4 | 22 | 22 111.88/111.94 c 85.9s | 13 | 91451 | 58032 | 23218 4 | 22 | 22 112.58/112.62 c 86.6s | 14 | 91770 | 58352 | 23218 4 | 22 | 22 114.58/114.68 c 88.6s | 14 | 99500 | 59952 | 23218 4 | 28 | 28 116.68/116.79 c 90.8s | 14 | 101119 | 61052 | 23218 4 | 28 | 28 118.77/118.84 c 92.8s | 14 | 102357 | 62052 | 23218 4 | 28 | 28 120.77/120.87 c 94.8s | 14 | 103511 | 63052 | 23218 4 | 28 | 28 122.97/123.04 c 97.0s | 14 | 104650 | 64052 | 23218 4 | 28 | 28 125.17/125.21 c 99.2s | 14 | 105616 | 64952 | 23218 4 | 28 | 28 127.37/127.41 c 101s | 14 | 106539 | 65852 | 23218 4 | 28 | 28 129.47/129.54 c 103s | 14 | 107608 | 66852 | 23218 5 | 28 | 28 131.67/131.78 c 105s | 14 | 108756 | 67952 | 23218 5 | 28 | 28 133.87/133.97 c 107s | 14 | 109602 | 68752 | 23218 5 | 28 | 28 135.97/136.09 c 110s | 14 | 110472 | 69552 | 23218 5 | 28 | 28 138.17/138.29 c 112s | 14 | 111289 | 70352 | 23218 5 | 28 | 28 140.47/140.52 c 114s | 14 | 112095 | 71152 | 23218 5 | 28 | 28 142.47/142.54 c 116s | 14 | 112803 | 71852 | 23218 5 | 28 | 28 144.67/144.78 c 118s | 14 | 113640 | 72652 | 23218 5 | 28 | 28 146.77/146.89 c 120s | 14 | 114386 | 73352 | 23218 5 | 28 | 28 149.07/149.14 c 123s | 14 | 115238 | 74152 | 23218 5 | 28 | 28 151.07/151.16 c 125s | 14 | 115851 | 74752 | 23218 5 | 28 | 28 153.27/153.32 c 127s | 14 | 116579 | 75452 | 23218 5 | 28 | 28 155.28/155.35 c 129s | 14 | 117325 | 76152 | 23218 5 | 28 | 28 157.37/157.48 c 131s | 14 | 118069 | 76852 | 23218 5 | 28 | 28 159.68/159.73 c 133s | 14 | 118824 | 77552 | 23218 5 | 28 | 28 161.88/161.97 c 135s | 14 | 119572 | 78252 | 23218 5 | 28 | 28 164.18/164.23 c 138s | 14 | 120468 | 79052 | 23218 6 | 28 | 28 166.37/166.48 c 140s | 14 | 121411 | 79952 | 23218 6 | 28 | 28 168.67/168.71 c 142s | 14 | 122341 | 80852 | 23218 6 | 28 | 28 170.67/170.75 c 144s | 14 | 123062 | 81552 | 23218 6 | 28 | 28 172.76/172.80 c 146s | 14 | 123908 | 82352 | 23218 6 | 28 | 28 174.96/175.06 c 149s | 14 | 124733 | 83152 | 23218 6 | 28 | 28 177.16/177.24 c 151s | 14 | 125604 | 83952 | 23218 6 | 28 | 28 179.16/179.24 c 153s | 14 | 126395 | 84652 | 23218 6 | 28 | 28 181.16/181.27 c 155s | 14 | 127024 | 85252 | 23218 6 | 28 | 28 183.36/183.46 c 157s | 14 | 127688 | 85852 | 23218 6 | 28 | 28 185.46/185.51 c 159s | 14 | 128189 | 86352 | 23218 6 | 28 | 28 187.46/187.56 c 161s | 14 | 129090 | 87152 | 25540 6 | 28 | 28 188.96/189.02 c 162s | 15 | 129576 | 87632 | 25540 6 | 28 | 28 191.06/191.12 c 165s | 15 | 135422 | 88932 | 25540 6 | 34 | 34 193.06/193.17 c 167s | 15 | 137648 | 90432 | 25540 6 | 34 | 34 195.06/195.19 c 169s | 15 | 140250 | 91932 | 25540 6 | 34 | 34 197.17/197.23 c 171s | 15 | 142600 | 93132 | 25540 7 | 34 | 34 199.16/199.27 c 173s | 15 | 145587 | 95132 | 25540 7 | 34 | 34 201.26/201.40 c 175s | 15 | 151062 | 96632 | 25540 7 | 35 | 35 203.46/203.50 c 177s | 15 | 153024 | 98132 | 25540 7 | 35 | 35 205.56/205.66 c 179s | 15 | 154213 | 99132 | 25540 7 | 35 | 35 207.76/207.80 c 181s | 15 | 155784 | 100232 | 25540 7 | 35 | 35 209.76/209.82 c 183s | 15 | 157635 | 101332 | 25540 7 | 35 | 35 211.86/211.96 c 185s | 15 | 159303 | 102532 | 25540 7 | 35 | 35 214.06/214.10 c 188s | 15 | 160670 | 103532 | 25540 7 | 35 | 35 216.16/216.26 c 190s | 15 | 162287 | 104732 | 25540 7 | 35 | 35 218.26/218.32 c 192s | 15 | 164130 | 105832 | 25540 8 | 35 | 35 220.36/220.47 c 194s | 15 | 165776 | 107032 | 25540 8 | 35 | 35 222.36/222.49 c 196s | 15 | 167205 | 108032 | 25540 8 | 35 | 35 224.56/224.63 c 198s | 15 | 169047 | 109432 | 25540 8 | 35 | 35 226.66/226.71 c 200s | 15 | 170520 | 110732 | 25540 8 | 35 | 35 228.76/228.85 c 202s | 15 | 172063 | 112132 | 25540 8 | 35 | 35 230.85/230.96 c 204s | 15 | 174002 | 113532 | 25540 8 | 35 | 35 232.95/233.02 c 206s | 15 | 180853 | 114832 | 25540 8 | 40 | 40 234.95/235.03 c 208s | 15 | 183617 | 116232 | 25540 8 | 40 | 40 236.95/237.05 c 211s | 15 | 184869 | 117432 | 25540 8 | 40 | 40 239.05/239.18 c 213s | 15 | 186035 | 118532 | 25540 9 | 40 | 40 241.25/241.30 c 215s | 15 | 187563 | 120032 | 25540 9 | 40 | 40 243.26/243.39 c 217s | 15 | 188869 | 121332 | 25540 9 | 40 | 40 245.35/245.44 c 219s | 15 | 190499 | 122832 | 25540 9 | 40 | 40 247.45/247.56 c 221s | 15 | 192078 | 124332 | 25540 9 | 40 | 40 249.45/249.59 c 223s | 15 | 193495 | 125732 | 25540 9 | 40 | 40 251.55/251.63 c 225s | 15 | 194815 | 127032 | 25540 9 | 40 | 40 253.65/253.70 c 227s | 15 | 196133 | 128332 | 25540 9 | 40 | 40 255.65/255.80 c 229s | 15 | 197448 | 129632 | 25540 9 | 40 | 40 257.75/257.80 c 231s | 15 | 198756 | 130932 | 28095 9 | 40 | 40 258.76/258.87 c 232s | 16 | 199382 | 131552 | 28095 9 | 40 | 40 260.86/260.94 c 234s | 16 | 218345 | 133852 | 28095 9 | 42 | 42 262.95/263.05 c 237s | 16 | 220543 | 135452 | 28095 10 | 42 | 42 265.05/265.15 c 239s | 16 | 222684 | 136752 | 28095 10 | 42 | 42 267.05/267.16 c 241s | 16 | 224152 | 137852 | 28095 10 | 42 | 42 269.05/269.17 c 243s | 16 | 225880 | 138952 | 28095 10 | 42 | 42 271.25/271.33 c 245s | 16 | 228173 | 140652 | 28095 10 | 42 | 42 273.35/273.45 c 247s | 16 | 230200 | 141952 | 28095 10 | 42 | 42 275.45/275.55 c 249s | 16 | 232305 | 143652 | 28095 10 | 42 | 42 277.55/277.62 c 251s | 16 | 234722 | 145452 | 28095 10 | 42 | 42 279.55/279.66 c 253s | 16 | 237201 | 147152 | 28095 10 | 42 | 42 281.65/281.79 c 255s | 16 | 239213 | 148752 | 28095 11 | 42 | 42 283.85/283.90 c 257s | 16 | 241117 | 150352 | 28095 11 | 42 | 42 285.95/286.04 c 260s | 16 | 243005 | 151952 | 28095 11 | 42 | 42 287.95/288.07 c 262s | 16 | 244468 | 153152 | 28095 11 | 42 | 42 290.14/290.27 c 264s | 16 | 245970 | 154152 | 28095 11 | 42 | 42 292.34/292.42 c 266s | 16 | 247312 | 155352 | 28095 11 | 42 | 42 294.34/294.48 c 268s | 16 | 248676 | 156452 | 28095 11 | 42 | 42 296.54/296.69 c 270s | 16 | 250579 | 157452 | 28095 11 | 42 | 42 298.74/298.84 c 272s | 16 | 253081 | 158452 | 28095 11 | 42 | 42 300.74/300.89 c 274s | 16 | 254503 | 159652 | 28095 11 | 42 | 42 302.84/302.98 c 276s | 16 | 255788 | 160852 | 28095 11 | 42 | 42 305.04/305.17 c 279s | 16 | 258086 | 161752 | 28095 11 | 42 | 42 307.15/307.23 c 281s | 16 | 259473 | 162552 | 28095 12 | 42 | 42 309.25/309.38 c 283s | 16 | 260349 | 163352 | 28095 12 | 42 | 42 311.34/311.40 c 285s | 16 | 262980 | 164452 | 28095 12 | 42 | 42 313.44/313.53 c 287s | 16 | 266048 | 165352 | 28095 12 | 42 | 42 315.44/315.56 c 289s | 16 | 268278 | 166352 | 28095 12 | 42 | 42 317.54/317.66 c 291s | 16 | 270653 | 167352 | 28095 12 | 42 | 42 319.74/319.80 c 293s | 16 | 272961 | 168352 | 28095 12 | 42 | 42 321.84/321.95 c 295s | 16 | 275087 | 169352 | 28095 12 | 42 | 42 323.84/323.96 c 297s | 16 | 277050 | 170352 | 28095 12 | 42 | 42 325.85/325.96 c 299s | 16 | 278951 | 171452 | 28095 12 | 42 | 42 327.84/327.98 c 301s | 16 | 280541 | 172252 | 28095 12 | 42 | 42 329.94/330.06 c 304s | 16 | 282410 | 173052 | 28095 12 | 42 | 42 332.14/332.20 c 306s | 16 | 284622 | 173852 | 28095 12 | 42 | 42 334.24/334.37 c 308s | 16 | 285927 | 174652 | 28095 12 | 42 | 42 336.44/336.53 c 310s | 16 | 286842 | 175452 | 28095 12 | 42 | 42 338.44/338.55 c 312s | 16 | 287696 | 176152 | 28095 12 | 42 | 42 340.74/340.80 c 314s | 16 | 290195 | 176852 | 28095 13 | 42 | 42 342.83/342.93 c 316s | 16 | 293332 | 177852 | 28095 13 | 42 | 42 344.83/344.94 c 318s | 16 | 294414 | 178652 | 28095 13 | 42 | 42 346.93/347.07 c 321s | 16 | 295377 | 179552 | 28095 13 | 42 | 42 349.13/349.24 c 323s | 16 | 298277 | 180552 | 28095 13 | 42 | 42 351.43/351.54 c 325s | 16 | 299339 | 181252 | 28095 13 | 42 | 42 353.63/353.74 c 327s | 16 | 302597 | 182152 | 28095 13 | 42 | 42 356.23/356.36 c 330s | 16 | 304322 | 182952 | 28095 13 | 42 | 42 358.43/358.50 c 332s | 16 | 307782 | 183952 | 28095 13 | 42 | 42 360.53/360.67 c 334s | 16 | 312383 | 184852 | 28095 13 | 42 | 42 362.73/362.84 c 336s | 16 | 315374 | 185752 | 28095 13 | 42 | 42 364.83/364.97 c 338s | 16 | 316176 | 186552 | 28095 13 | 42 | 42 367.03/367.12 c 341s | 16 | 316890 | 187252 | 28095 13 | 42 | 42 369.13/369.24 c 343s | 16 | 319972 | 188052 | 28095 13 | 42 | 42 371.23/371.34 c 345s | 16 | 321111 | 188752 | 28095 13 | 42 | 42 373.43/373.54 c 347s | 16 | 323850 | 189552 | 28095 13 | 42 | 42 375.63/375.71 c 349s | 16 | 325505 | 190352 | 28095 13 | 42 | 42 377.63/377.71 c 351s | 16 | 326700 | 190852 | 28095 14 | 42 | 42 379.64/379.71 c 353s | 16 | 327680 | 191552 | 28095 14 | 42 | 42 381.73/381.88 c 355s | 16 | 329232 | 192852 | 28095 14 | 42 | 42 383.93/384.07 c 358s | 16 | 330876 | 194052 | 28095 14 | 42 | 42 386.03/386.17 c 360s | 16 | 332059 | 194952 | 28095 14 | 42 | 42 388.23/388.34 c 362s | 16 | 333237 | 195952 | 28095 14 | 42 | 42 390.23/390.39 c 364s | 16 | 334274 | 196852 | 30905 14 | 42 | 42 391.53/391.64 c 365s | 17 | 335280 | 197432 | 30905 14 | 42 | 42 393.53/393.66 c 367s | 17 | 342043 | 198332 | 30905 14 | 43 | 43 395.63/395.70 c 369s | 17 | 343281 | 199432 | 30905 14 | 43 | 43 397.83/397.94 c 371s | 17 | 348389 | 200532 | 30905 14 | 43 | 43 400.23/400.32 c 374s | 17 | 355100 | 202632 | 30905 14 | 43 | 43 402.62/402.73 c 376s | 17 | 355583 | 203132 | 30905 14 | 43 | 43 404.93/405.10 c 379s | 17 | 356098 | 203632 | 30905 14 | 43 | 43 407.13/407.28 c 381s | 17 | 356596 | 204132 | 30905 14 | 43 | 43 409.43/409.59 c 383s | 17 | 357097 | 204632 | 30905 14 | 43 | 43 411.82/411.99 c 385s | 17 | 357592 | 205132 | 30905 14 | 43 | 43 414.32/414.42 c 388s | 17 | 358093 | 205632 | 30905 14 | 43 | 43 416.72/416.89 c 390s | 17 | 358593 | 206132 | 30905 14 | 43 | 43 419.23/419.37 c 393s | 17 | 359089 | 206632 | 30905 14 | 43 | 43 421.22/421.38 c 395s | 17 | 360767 | 207232 | 30905 14 | 43 | 43 423.52/423.62 c 397s | 17 | 361904 | 207932 | 30905 14 | 43 | 43 425.72/425.81 c 399s | 17 | 363425 | 208532 | 30905 14 | 43 | 43 428.22/428.37 c 402s | 17 | 364187 | 209132 | 30905 15 | 43 | 43 430.33/430.46 c 404s | 17 | 364719 | 209632 | 30905 15 | 43 | 43 432.53/432.63 c 406s | 17 | 365434 | 210132 | 30905 15 | 43 | 43 434.92/435.08 c 409s | 17 | 366113 | 210632 | 30905 15 | 43 | 43 437.02/437.15 c 411s | 17 | 366533 | 211032 | 30905 15 | 43 | 43 439.22/439.32 c 413s | 17 | 366927 | 211432 | 30905 15 | 43 | 43 441.33/441.43 c 415s | 17 | 367335 | 211832 | 30905 15 | 43 | 43 443.32/443.47 c 417s | 17 | 368310 | 212432 | 30905 15 | 43 | 43 445.63/445.70 c 419s | 17 | 369419 | 213132 | 30905 15 | 43 | 43 447.62/447.71 c 421s | 17 | 370119 | 213632 | 30905 15 | 43 | 43 449.62/449.73 c 423s | 17 | 370680 | 214132 | 30905 15 | 43 | 43 451.92/452.01 c 425s | 17 | 371388 | 214632 | 30905 15 | 43 | 43 454.12/454.25 c 428s | 17 | 371785 | 215032 | 30905 15 | 43 | 43 456.42/456.56 c 430s | 17 | 372179 | 215432 | 30905 15 | 43 | 43 458.72/458.87 c 432s | 17 | 372587 | 215832 | 30905 15 | 43 | 43 460.92/461.03 c 434s | 17 | 373233 | 216232 | 30905 15 | 43 | 43 463.12/463.30 c 437s | 17 | 373656 | 216632 | 30905 15 | 43 | 43 465.72/465.84 c 439s | 17 | 374227 | 217132 | 30905 15 | 43 | 43 467.91/468.09 c 442s | 17 | 374647 | 217532 | 30905 15 | 43 | 43 470.01/470.17 c 444s | 17 | 375151 | 218032 | 30905 15 | 43 | 43 472.41/472.59 c 446s | 17 | 375792 | 218632 | 30905 15 | 43 | 43 474.51/474.66 c 448s | 17 | 376264 | 219032 | 30905 15 | 43 | 43 476.81/476.94 c 450s | 17 | 376746 | 219432 | 30905 15 | 43 | 43 479.21/479.32 c 453s | 17 | 377159 | 219832 | 30905 15 | 43 | 43 481.21/481.33 c 455s | 17 | 377464 | 220132 | 30905 15 | 43 | 43 483.21/483.39 c 457s | 17 | 377981 | 220632 | 30905 15 | 43 | 43 485.41/485.55 c 459s | 17 | 378590 | 221232 | 30905 15 | 43 | 43 487.61/487.70 c 461s | 17 | 379133 | 221732 | 30905 15 | 43 | 43 490.31/490.43 c 464s | 17 | 379938 | 222232 | 30905 15 | 43 | 43 492.81/492.91 c 466s | 17 | 380968 | 222632 | 30905 15 | 43 | 43 494.91/495.07 c 469s | 17 | 381323 | 222932 | 30905 15 | 43 | 43 497.11/497.27 c 471s | 17 | 381651 | 223232 | 30905 15 | 43 | 43 499.71/499.86 c 473s | 17 | 382384 | 223632 | 30905 15 | 43 | 43 502.21/502.30 c 476s | 17 | 383242 | 224032 | 30905 15 | 43 | 43 504.51/504.63 c 478s | 17 | 383744 | 224432 | 30905 15 | 43 | 43 507.11/507.22 c 481s | 17 | 384165 | 224832 | 30905 15 | 43 | 43 509.71/509.81 c 483s | 17 | 384577 | 225232 | 30905 15 | 43 | 43 511.81/511.94 c 485s | 17 | 384889 | 225532 | 30905 16 | 43 | 43 514.31/514.45 c 488s | 17 | 385411 | 226032 | 30905 16 | 43 | 43 517.01/517.10 c 491s | 17 | 385818 | 226432 | 30905 16 | 43 | 43 519.21/519.38 c 493s | 17 | 386628 | 227032 | 30905 16 | 43 | 43 521.41/521.59 c 495s | 17 | 387254 | 227532 | 30905 16 | 43 | 43 523.51/523.60 c 497s | 17 | 387566 | 227832 | 30905 16 | 43 | 43 525.51/525.67 c 499s | 17 | 387869 | 228132 | 30905 16 | 43 | 43 527.61/527.77 c 501s | 17 | 388174 | 228432 | 30905 16 | 43 | 43 529.81/529.94 c 503s | 17 | 388473 | 228732 | 30905 16 | 43 | 43 531.91/532.05 c 506s | 17 | 388781 | 229032 | 30905 16 | 43 | 43 534.10/534.24 c 508s | 17 | 389246 | 229432 | 30905 16 | 43 | 43 536.30/536.47 c 510s | 17 | 389658 | 229832 | 30905 16 | 43 | 43 538.90/539.07 c 513s | 17 | 390056 | 230232 | 30905 16 | 43 | 43 541.50/541.65 c 515s | 17 | 390466 | 230632 | 30905 16 | 43 | 43 543.61/543.73 c 517s | 17 | 390774 | 230932 | 30905 16 | 43 | 43 545.71/545.86 c 519s | 17 | 391086 | 231232 | 30905 16 | 43 | 43 547.91/548.05 c 522s | 17 | 391389 | 231532 | 30905 16 | 43 | 43 550.30/550.46 c 524s | 17 | 391802 | 231932 | 30905 16 | 43 | 43 552.90/553.06 c 527s | 17 | 392213 | 232332 | 30905 16 | 43 | 43 555.50/555.67 c 529s | 17 | 392616 | 232732 | 30905 16 | 43 | 43 557.60/557.76 c 531s | 17 | 392930 | 233032 | 30905 16 | 43 | 43 560.01/560.13 c 534s | 17 | 393327 | 233432 | 30905 16 | 43 | 43 562.10/562.21 c 536s | 17 | 393631 | 233732 | 30905 16 | 43 | 43 564.10/564.23 c 538s | 17 | 393955 | 234032 | 30905 16 | 43 | 43 566.20/566.39 c 540s | 17 | 394303 | 234332 | 30905 16 | 43 | 43 568.30/568.47 c 542s | 17 | 394608 | 234632 | 30905 16 | 43 | 43 570.70/570.84 c 544s | 17 | 394915 | 234932 | 30905 16 | 43 | 43 573.40/573.57 c 547s | 17 | 395340 | 235332 | 30905 16 | 43 | 43 575.70/575.82 c 549s | 17 | 395664 | 235632 | 30905 16 | 43 | 43 578.20/578.37 c 552s | 17 | 396088 | 236032 | 30905 16 | 43 | 43 580.50/580.61 c 554s | 17 | 396385 | 236332 | 30905 16 | 43 | 43 582.70/582.88 c 556s | 17 | 396685 | 236632 | 30905 16 | 43 | 43 585.00/585.19 c 559s | 17 | 396988 | 236932 | 30905 16 | 43 | 43 587.50/587.64 c 561s | 17 | 397291 | 237232 | 30905 16 | 43 | 43 589.50/589.64 c 563s | 17 | 397600 | 237532 | 30905 16 | 43 | 43 591.60/591.72 c 565s | 17 | 397925 | 237832 | 30905 16 | 43 | 43 594.30/594.42 c 568s | 17 | 398325 | 238232 | 30905 16 | 43 | 43 596.50/596.66 c 570s | 17 | 398664 | 238532 | 30905 16 | 43 | 43 598.80/598.94 c 572s | 17 | 398982 | 238832 | 30905 16 | 43 | 43 600.80/600.99 c 574s | 17 | 399274 | 239132 | 30905 16 | 43 | 43 603.19/603.36 c 577s | 17 | 399602 | 239432 | 30905 16 | 43 | 43 605.29/605.49 c 579s | 17 | 399908 | 239732 | 30905 16 | 43 | 43 607.49/607.63 c 581s | 17 | 400214 | 240032 | 30905 16 | 43 | 43 609.50/609.68 c 583s | 17 | 400530 | 240332 | 30905 16 | 43 | 43 611.70/611.88 c 585s | 17 | 400832 | 240632 | 30905 16 | 43 | 43 613.90/614.05 c 588s | 17 | 401142 | 240932 | 30905 16 | 43 | 43 615.99/616.16 c 590s | 17 | 401449 | 241232 | 30905 16 | 43 | 43 618.59/618.74 c 592s | 17 | 401744 | 241532 | 30905 17 | 43 | 43 620.89/621.00 c 594s | 17 | 402148 | 241932 | 30905 17 | 43 | 43 622.99/623.19 c 597s | 17 | 402577 | 242332 | 30905 17 | 43 | 43 625.69/625.88 c 599s | 17 | 402975 | 242732 | 30905 17 | 43 | 43 628.20/628.32 c 602s | 17 | 403278 | 243032 | 30905 17 | 43 | 43 630.79/630.93 c 604s | 17 | 403727 | 243432 | 30905 17 | 43 | 43 632.89/633.00 c 606s | 17 | 404071 | 243732 | 30905 17 | 43 | 43 634.89/635.03 c 608s | 17 | 404444 | 244032 | 30905 17 | 43 | 43 637.19/637.30 c 611s | 17 | 404767 | 244332 | 30905 17 | 43 | 43 639.49/639.68 c 613s | 17 | 405066 | 244632 | 30905 17 | 43 | 43 641.69/641.86 c 615s | 17 | 405431 | 244932 | 30905 17 | 43 | 43 643.99/644.17 c 618s | 17 | 405724 | 245232 | 30905 17 | 43 | 43 646.29/646.47 c 620s | 17 | 406075 | 245532 | 30905 17 | 43 | 43 648.39/648.55 c 622s | 17 | 406395 | 245832 | 30905 17 | 43 | 43 650.59/650.79 c 624s | 17 | 406679 | 246132 | 30905 17 | 43 | 43 652.78/652.94 c 626s | 17 | 406986 | 246432 | 30905 17 | 43 | 43 655.38/655.52 c 629s | 17 | 407397 | 246832 | 30905 17 | 43 | 43 657.99/658.10 c 632s | 17 | 407797 | 247232 | 30905 17 | 43 | 43 660.09/660.21 c 634s | 17 | 408087 | 247532 | 30905 17 | 43 | 43 662.18/662.38 c 636s | 17 | 408404 | 247832 | 30905 17 | 43 | 43 664.49/664.68 c 638s | 17 | 408689 | 248132 | 30905 17 | 43 | 43 666.79/666.92 c 640s | 17 | 408991 | 248432 | 30905 17 | 43 | 43 669.08/669.22 c 643s | 17 | 409301 | 248732 | 30905 17 | 43 | 43 671.38/671.55 c 645s | 17 | 409610 | 249032 | 30905 17 | 43 | 43 673.78/673.98 c 647s | 17 | 409914 | 249332 | 30905 17 | 43 | 43 676.28/676.47 c 650s | 17 | 410231 | 249632 | 30905 17 | 43 | 43 678.48/678.68 c 652s | 17 | 410577 | 249932 | 30905 17 | 43 | 43 680.78/680.99 c 654s | 17 | 410901 | 250232 | 30905 17 | 43 | 43 683.38/683.58 c 657s | 17 | 411292 | 250632 | 30905 17 | 43 | 43 685.49/685.66 c 659s | 17 | 411591 | 250932 | 30905 17 | 43 | 43 687.69/687.86 c 661s | 17 | 411891 | 251232 | 30905 17 | 43 | 43 689.98/690.11 c 664s | 17 | 412207 | 251532 | 30905 17 | 43 | 43 692.38/692.55 c 666s | 17 | 412492 | 251832 | 30905 17 | 43 | 43 694.98/695.12 c 669s | 17 | 412789 | 252132 | 30905 17 | 43 | 43 697.08/697.23 c 671s | 17 | 413110 | 252432 | 30905 17 | 43 | 43 699.48/699.61 c 673s | 17 | 413512 | 252832 | 30905 17 | 43 | 43 701.98/702.16 c 676s | 17 | 413919 | 253232 | 30905 17 | 43 | 43 703.98/704.16 c 678s | 17 | 414220 | 253532 | 30905 17 | 43 | 43 705.98/706.18 c 680s | 17 | 414521 | 253832 | 30905 17 | 43 | 43 708.08/708.21 c 682s | 17 | 414818 | 254132 | 30905 17 | 43 | 43 710.08/710.26 c 684s | 17 | 415123 | 254432 | 30905 17 | 43 | 43 712.18/712.32 c 686s | 17 | 415421 | 254732 | 30905 17 | 43 | 43 714.28/714.46 c 688s | 17 | 415723 | 255032 | 30905 17 | 43 | 43 716.38/716.53 c 690s | 17 | 416021 | 255332 | 30905 17 | 43 | 43 718.67/718.83 c 692s | 17 | 416325 | 255632 | 30905 17 | 43 | 43 720.97/721.11 c 695s | 17 | 416634 | 255932 | 30905 17 | 43 | 43 722.97/723.15 c 697s | 17 | 416929 | 256232 | 30905 17 | 43 | 43 725.27/725.45 c 699s | 17 | 417230 | 256532 | 30905 17 | 43 | 43 727.67/727.80 c 701s | 17 | 417540 | 256832 | 30905 17 | 43 | 43 729.87/730.06 c 704s | 17 | 417838 | 257132 | 30905 17 | 43 | 43 732.17/732.34 c 706s | 17 | 418139 | 257432 | 30905 17 | 43 | 43 734.27/734.43 c 708s | 17 | 418335 | 257632 | 30905 18 | 43 | 43 736.47/736.66 c 710s | 17 | 418746 | 258032 | 30905 18 | 43 | 43 738.47/738.68 c 712s | 17 | 419155 | 258432 | 30905 18 | 43 | 43 740.77/740.91 c 714s | 17 | 419559 | 258832 | 30905 18 | 43 | 43 742.77/742.98 c 716s | 17 | 419966 | 259232 | 30905 18 | 43 | 43 744.97/745.16 c 719s | 17 | 420359 | 259632 | 30905 18 | 43 | 43 747.27/747.47 c 721s | 17 | 420764 | 260032 | 30905 18 | 43 | 43 749.37/749.55 c 723s | 17 | 421170 | 260432 | 30905 18 | 43 | 43 751.57/751.72 c 725s | 17 | 421563 | 260832 | 30905 18 | 43 | 43 753.87/754.06 c 728s | 17 | 421963 | 261232 | 30905 18 | 43 | 43 756.17/756.38 c 730s | 17 | 422377 | 261632 | 30905 18 | 43 | 43 758.47/758.64 c 732s | 17 | 422779 | 262032 | 30905 18 | 43 | 43 760.57/760.75 c 734s | 17 | 423186 | 262432 | 30905 18 | 43 | 43 762.87/763.00 c 736s | 17 | 423587 | 262832 | 30905 18 | 43 | 43 765.17/765.39 c 739s | 17 | 423987 | 263232 | 30905 18 | 43 | 43 767.27/767.48 c 741s | 17 | 424325 | 263532 | 30905 18 | 43 | 43 769.27/769.49 c 743s | 17 | 424610 | 263832 | 30905 18 | 43 | 43 771.56/771.77 c 745s | 17 | 425023 | 264232 | 30905 18 | 43 | 43 773.96/774.14 c 748s | 17 | 425422 | 264632 | 30905 18 | 43 | 43 776.56/776.71 c 750s | 17 | 425823 | 265032 | 30905 18 | 43 | 43 778.66/778.82 c 752s | 17 | 426134 | 265332 | 30905 18 | 43 | 43 781.07/781.23 c 755s | 17 | 426432 | 265632 | 30905 18 | 43 | 43 783.27/783.49 c 757s | 17 | 426734 | 265932 | 30905 18 | 43 | 43 785.76/785.94 c 759s | 17 | 427134 | 266332 | 30905 18 | 43 | 43 788.46/788.60 c 762s | 17 | 427533 | 266732 | 30905 18 | 43 | 43 790.46/790.65 c 764s | 17 | 427829 | 267032 | 30905 18 | 43 | 43 792.76/792.95 c 766s | 17 | 428133 | 267332 | 30905 18 | 43 | 43 795.06/795.22 c 769s | 17 | 428428 | 267632 | 30905 18 | 43 | 43 797.57/797.77 c 771s | 17 | 428730 | 267932 | 30905 18 | 43 | 43 800.26/800.42 c 774s | 17 | 429142 | 268332 | 30905 18 | 43 | 43 802.57/802.73 c 776s | 17 | 429446 | 268632 | 30905 18 | 43 | 43 804.96/805.15 c 779s | 17 | 429743 | 268932 | 30905 18 | 43 | 43 807.47/807.67 c 781s | 17 | 430050 | 269232 | 30905 18 | 43 | 43 810.06/810.21 c 784s | 17 | 430351 | 269532 | 30905 18 | 43 | 43 812.76/812.96 c 786s | 17 | 430643 | 269832 | 30905 18 | 43 | 43 815.46/815.65 c 789s | 17 | 430951 | 270132 | 30905 18 | 43 | 43 818.16/818.31 c 792s | 17 | 431281 | 270432 | 30905 18 | 43 | 43 820.96/821.10 c 795s | 17 | 431578 | 270732 | 30905 18 | 43 | 43 823.75/823.92 c 797s | 17 | 431879 | 271032 | 30905 18 | 43 | 43 826.16/826.32 c 800s | 17 | 432187 | 271332 | 30905 18 | 43 | 43 828.55/828.70 c 802s | 17 | 432488 | 271632 | 30905 18 | 43 | 43 831.05/831.29 c 805s | 17 | 432790 | 271932 | 30905 18 | 43 | 43 833.75/834.00 c 807s | 17 | 433085 | 272232 | 30905 18 | 43 | 43 836.75/836.91 c 810s | 17 | 433382 | 272532 | 30905 18 | 43 | 43 838.75/838.91 c 812s | 17 | 433586 | 272732 | 30905 18 | 43 | 43 840.75/840.96 c 814s | 17 | 433784 | 272932 | 30905 18 | 43 | 43 843.64/843.88 c 817s | 17 | 434084 | 273232 | 30905 18 | 43 | 43 845.84/846.05 c 820s | 17 | 434297 | 273432 | 30905 18 | 43 | 43 848.25/848.46 c 822s | 17 | 434604 | 273732 | 30905 18 | 43 | 43 850.84/851.04 c 825s | 17 | 434799 | 273932 | 30905 19 | 43 | 43 852.84/853.08 c 827s | 17 | 435097 | 274232 | 30905 19 | 43 | 43 855.14/855.30 c 829s | 17 | 435395 | 274532 | 30905 19 | 43 | 43 857.44/857.61 c 831s | 17 | 435700 | 274832 | 30905 19 | 43 | 43 859.64/859.90 c 833s | 17 | 436011 | 275132 | 30905 19 | 43 | 43 862.04/862.26 c 836s | 17 | 436304 | 275432 | 30905 19 | 43 | 43 864.43/864.69 c 838s | 17 | 436600 | 275732 | 30905 19 | 43 | 43 868.53/868.71 c 842s | 17 | 436816 | 275932 | 30905 19 | 43 | 43 871.13/871.31 c 845s | 17 | 437212 | 276332 | 30905 19 | 43 | 43 873.33/873.51 c 847s | 17 | 437507 | 276632 | 30905 19 | 43 | 43 875.53/875.78 c 849s | 17 | 437822 | 276932 | 30905 19 | 43 | 43 877.84/878.02 c 851s | 17 | 438128 | 277232 | 30905 19 | 43 | 43 880.33/880.55 c 854s | 17 | 438417 | 277532 | 30905 19 | 43 | 43 882.82/883.01 c 856s | 17 | 438724 | 277832 | 30905 19 | 43 | 43 885.22/885.45 c 859s | 17 | 439029 | 278132 | 30905 19 | 43 | 43 887.92/888.14 c 862s | 17 | 439332 | 278432 | 30905 19 | 43 | 43 890.52/890.72 c 864s | 17 | 439644 | 278732 | 30905 19 | 43 | 43 892.62/892.88 c 866s | 17 | 439939 | 279032 | 30905 19 | 43 | 43 895.12/895.30 c 869s | 17 | 440246 | 279332 | 30905 19 | 43 | 43 897.63/897.81 c 871s | 17 | 440547 | 279632 | 30905 19 | 43 | 43 900.22/900.41 c 874s | 17 | 440846 | 279932 | 30905 19 | 43 | 43 902.91/903.18 c 877s | 17 | 441139 | 280232 | 30905 19 | 43 | 43 905.61/905.87 c 879s | 17 | 441457 | 280532 | 30905 19 | 43 | 43 908.21/908.41 c 882s | 17 | 441751 | 280832 | 30905 19 | 43 | 43 910.41/910.60 c 884s | 17 | 442051 | 281132 | 30905 19 | 43 | 43 912.81/913.07 c 887s | 17 | 442350 | 281432 | 30905 19 | 43 | 43 915.51/915.72 c 889s | 17 | 442658 | 281732 | 30905 19 | 43 | 43 918.21/918.48 c 892s | 17 | 442953 | 282032 | 30905 19 | 43 | 43 920.82/921.10 c 895s | 17 | 443259 | 282332 | 30905 19 | 43 | 43 923.10/923.33 c 897s | 17 | 443560 | 282632 | 30905 19 | 43 | 43 925.50/925.73 c 899s | 17 | 443860 | 282932 | 30905 19 | 43 | 43 928.10/928.31 c 902s | 17 | 444161 | 283232 | 30905 19 | 43 | 43 930.61/930.85 c 904s | 17 | 444463 | 283532 | 30905 19 | 43 | 43 933.10/933.39 c 907s | 17 | 444770 | 283832 | 30905 19 | 43 | 43 935.70/935.93 c 909s | 17 | 445066 | 284132 | 30905 19 | 43 | 43 938.30/938.53 c 912s | 17 | 445374 | 284432 | 30905 19 | 43 | 43 940.40/940.66 c 914s | 17 | 445669 | 284732 | 30905 19 | 43 | 43 942.80/943.09 c 917s | 17 | 445975 | 285032 | 30905 19 | 43 | 43 945.29/945.54 c 919s | 17 | 446278 | 285332 | 30905 19 | 43 | 43 947.79/948.03 c 921s | 17 | 446572 | 285632 | 30905 19 | 43 | 43 950.50/950.79 c 924s | 17 | 446875 | 285932 | 30905 19 | 43 | 43 953.38/953.62 c 927s | 17 | 447183 | 286232 | 30905 19 | 43 | 43 955.89/956.14 c 930s | 17 | 447482 | 286532 | 30905 19 | 43 | 43 958.38/958.63 c 932s | 17 | 447788 | 286832 | 30905 19 | 43 | 43 961.08/961.31 c 935s | 17 | 448079 | 287132 | 30905 19 | 43 | 43 963.59/963.82 c 937s | 17 | 448388 | 287432 | 30905 19 | 43 | 43 966.08/966.38 c 940s | 17 | 448681 | 287732 | 30905 19 | 43 | 43 968.98/969.23 c 943s | 17 | 448984 | 288032 | 30905 19 | 43 | 43 971.58/971.85 c 945s | 17 | 449285 | 288332 | 30905 19 | 43 | 43 974.08/974.37 c 948s | 17 | 449586 | 288632 | 30905 19 | 43 | 43 976.68/976.94 c 950s | 17 | 449887 | 288932 | 30905 19 | 43 | 43 979.28/979.51 c 953s | 17 | 450183 | 289232 | 30905 19 | 43 | 43 981.67/981.97 c 955s | 17 | 450486 | 289532 | 30905 19 | 43 | 43 984.37/984.68 c 958s | 17 | 450792 | 289832 | 30905 19 | 43 | 43 988.47/988.74 c 962s | 17 | 450989 | 290032 | 30905 20 | 43 | 43 990.67/990.97 c 964s | 17 | 451394 | 290432 | 30905 20 | 43 | 43 992.86/993.11 c 967s | 17 | 451794 | 290832 | 30905 20 | 43 | 43 996.76/997.07 c 971s | 17 | 452206 | 291232 | 30905 20 | 43 | 43 999.26/999.55 c 973s | 17 | 452507 | 291532 | 30905 20 | 43 | 43 1001.95/1002.26 c 976s | 17 | 452901 | 291932 | 30905 20 | 43 | 43 1004.05/1004.39 c 978s | 17 | 453305 | 292332 | 30905 20 | 43 | 43 1006.65/1006.94 c 980s | 17 | 453710 | 292732 | 30905 20 | 43 | 43 1008.66/1008.96 c 982s | 17 | 454007 | 293032 | 30905 20 | 43 | 43 1010.75/1011.08 c 985s | 17 | 454316 | 293332 | 30905 20 | 43 | 43 1012.85/1013.19 c 987s | 17 | 454614 | 293632 | 30905 20 | 43 | 43 1015.45/1015.79 c 989s | 17 | 455017 | 294032 | 30905 20 | 43 | 43 1017.65/1017.94 c 991s | 17 | 455316 | 294332 | 33996 20 | 43 | 43 1020.25/1020.53 c 994s | 17 | 455728 | 294732 | 33996 20 | 43 | 43 1022.55/1022.89 c 996s | 17 | 456130 | 295132 | 33996 20 | 43 | 43 1024.95/1025.22 c 999s | 17 | 456531 | 295532 | 33996 20 | 43 | 43 1026.94/1027.29 c 1001s | 17 | 456830 | 295832 | 33996 20 | 43 | 43 1029.14/1029.42 c 1003s | 17 | 457131 | 296132 | 33996 20 | 43 | 43 1029.94/1030.25 c 1004s | 18 | 457249 | 296252 | 33996 20 | 43 | 43 1031.95/1032.26 c 1006s | 18 | 460559 | 296952 | 33996 20 | 43 | 43 1034.75/1035.07 c 1009s | 18 | 461211 | 297552 | 33996 20 | 43 | 43 1036.75/1037.07 c 1011s | 18 | 462557 | 298752 | 33996 20 | 43 | 43 1038.85/1039.15 c 1013s | 18 | 463878 | 299952 | 33996 20 | 43 | 43 1040.84/1041.19 c 1015s | 18 | 465026 | 300952 | 33996 20 | 43 | 43 1042.94/1043.22 c 1017s | 18 | 466382 | 301952 | 33996 20 | 43 | 43 1045.14/1045.48 c 1019s | 18 | 467582 | 302952 | 33996 20 | 43 | 43 1047.15/1047.48 c 1021s | 18 | 468536 | 303752 | 33996 20 | 43 | 43 1049.14/1049.49 c 1023s | 18 | 469589 | 304652 | 33996 20 | 43 | 43 1051.14/1051.49 c 1025s | 18 | 470617 | 305552 | 33996 20 | 43 | 43 1053.24/1053.57 c 1027s | 18 | 471981 | 306752 | 33996 20 | 43 | 43 1055.44/1055.78 c 1029s | 18 | 473242 | 307752 | 33996 20 | 43 | 43 1057.64/1057.95 c 1031s | 18 | 474472 | 308752 | 33996 20 | 43 | 43 1059.64/1059.98 c 1033s | 18 | 475126 | 309352 | 33996 21 | 43 | 43 1061.93/1062.20 c 1036s | 18 | 476333 | 310352 | 33996 21 | 43 | 43 1064.03/1064.37 c 1038s | 18 | 477779 | 311452 | 33996 21 | 43 | 43 1066.23/1066.55 c 1040s | 18 | 478961 | 312452 | 33996 21 | 43 | 43 1068.43/1068.71 c 1042s | 18 | 480158 | 313452 | 33996 21 | 43 | 43 1070.53/1070.86 c 1044s | 18 | 480896 | 314152 | 33996 21 | 43 | 43 1072.73/1073.02 c 1046s | 18 | 481837 | 314952 | 33996 21 | 43 | 43 1074.83/1075.15 c 1049s | 18 | 482754 | 315652 | 33996 21 | 43 | 43 1077.13/1077.42 c 1051s | 18 | 483765 | 316452 | 33996 21 | 43 | 43 1079.42/1079.73 c 1053s | 18 | 484671 | 317252 | 33996 21 | 43 | 43 1081.62/1081.90 c 1055s | 18 | 485547 | 317952 | 33996 21 | 43 | 43 1083.72/1084.03 c 1057s | 18 | 486446 | 318652 | 33996 21 | 43 | 43 1085.92/1086.22 c 1060s | 18 | 487489 | 319452 | 33996 21 | 43 | 43 1087.93/1088.26 c 1062s | 18 | 488316 | 320152 | 33996 21 | 43 | 43 1090.22/1090.52 c 1064s | 18 | 489361 | 320952 | 33996 21 | 43 | 43 1092.23/1092.56 c 1066s | 18 | 490136 | 321652 | 33996 21 | 43 | 43 1094.53/1094.84 c 1068s | 18 | 490927 | 322352 | 33996 21 | 43 | 43 1096.52/1096.86 c 1070s | 18 | 491858 | 323052 | 33996 21 | 43 | 43 1098.72/1099.06 c 1073s | 18 | 492646 | 323752 | 33996 21 | 43 | 43 1100.82/1101.16 c 1075s | 18 | 493366 | 324352 | 33996 21 | 43 | 43 1102.81/1103.19 c 1077s | 18 | 494043 | 324952 | 33996 21 | 43 | 43 1105.11/1105.41 c 1079s | 18 | 494855 | 325652 | 33996 21 | 43 | 43 1107.31/1107.61 c 1081s | 18 | 495702 | 326352 | 33996 21 | 43 | 43 1109.41/1109.70 c 1083s | 18 | 496154 | 326752 | 33996 22 | 43 | 43 1111.41/1111.78 c 1085s | 18 | 496843 | 327352 | 33996 22 | 43 | 43 1113.71/1114.05 c 1088s | 18 | 497759 | 328052 | 33996 22 | 43 | 43 1115.71/1116.06 c 1090s | 18 | 498554 | 328752 | 33996 22 | 43 | 43 1117.91/1118.27 c 1092s | 18 | 499385 | 329452 | 33996 22 | 43 | 43 1120.01/1120.34 c 1094s | 18 | 500251 | 330152 | 33996 22 | 43 | 43 1122.30/1122.61 c 1096s | 18 | 501234 | 330952 | 33996 22 | 43 | 43 1124.30/1124.66 c 1098s | 18 | 501976 | 331552 | 33996 22 | 43 | 43 1126.50/1126.89 c 1100s | 18 | 502913 | 332352 | 33996 22 | 43 | 43 1128.70/1129.00 c 1102s | 18 | 503738 | 333052 | 33996 22 | 43 | 43 1130.90/1131.25 c 1105s | 18 | 504433 | 333652 | 33996 22 | 43 | 43 1133.10/1133.40 c 1107s | 18 | 505228 | 334352 | 33996 22 | 43 | 43 1135.20/1135.57 c 1109s | 18 | 506103 | 335152 | 33996 22 | 43 | 43 1137.40/1137.71 c 1111s | 18 | 507161 | 336052 | 33996 22 | 43 | 43 1139.40/1139.71 c 1113s | 18 | 507710 | 336552 | 33996 22 | 43 | 43 1141.59/1141.94 c 1115s | 18 | 508351 | 337152 | 33996 22 | 43 | 43 1143.79/1144.11 c 1118s | 18 | 508969 | 337752 | 33996 22 | 43 | 43 1145.79/1146.17 c 1120s | 18 | 509608 | 338352 | 33996 22 | 43 | 43 1147.89/1148.27 c 1122s | 18 | 510440 | 339052 | 33996 22 | 43 | 43 1149.99/1150.39 c 1124s | 18 | 511248 | 339752 | 33996 22 | 43 | 43 1152.29/1152.67 c 1126s | 18 | 512205 | 340552 | 33996 22 | 43 | 43 1154.39/1154.78 c 1128s | 18 | 512853 | 341152 | 33996 22 | 43 | 43 1156.59/1156.98 c 1130s | 18 | 513493 | 341752 | 33996 22 | 43 | 43 1158.68/1159.02 c 1132s | 18 | 514146 | 342352 | 33996 22 | 43 | 43 1160.68/1161.08 c 1135s | 18 | 514863 | 342952 | 33996 22 | 43 | 43 1162.98/1163.39 c 1137s | 18 | 515541 | 343552 | 33996 22 | 43 | 43 1165.38/1165.70 c 1139s | 18 | 516142 | 344052 | 33996 23 | 43 | 43 1167.58/1167.92 c 1141s | 18 | 516856 | 344652 | 33996 23 | 43 | 43 1169.68/1170.01 c 1143s | 18 | 517638 | 345352 | 33996 23 | 43 | 43 1171.77/1172.12 c 1146s | 18 | 518449 | 346052 | 33996 23 | 43 | 43 1174.18/1174.57 c 1148s | 18 | 519306 | 346752 | 33996 23 | 43 | 43 1178.27/1178.61 c 1152s | 18 | 519735 | 347152 | 33996 23 | 43 | 43 1180.47/1180.80 c 1154s | 18 | 520608 | 347952 | 33996 23 | 43 | 43 1182.67/1183.06 c 1157s | 18 | 521547 | 348752 | 33996 23 | 43 | 43 1184.86/1185.29 c 1159s | 18 | 522304 | 349452 | 33996 23 | 43 | 43 1187.26/1187.60 c 1161s | 18 | 523133 | 350252 | 33996 23 | 43 | 43 1189.46/1189.85 c 1163s | 18 | 523867 | 350952 | 33996 23 | 43 | 43 1191.56/1191.90 c 1165s | 18 | 524619 | 351652 | 33996 23 | 43 | 43 1193.66/1194.09 c 1168s | 18 | 525431 | 352452 | 33996 23 | 43 | 43 1195.76/1196.12 c 1170s | 18 | 526144 | 353152 | 33996 23 | 43 | 43 1197.96/1198.31 c 1172s | 18 | 526885 | 353852 | 33996 23 | 43 | 43 1200.16/1200.53 c 1174s | 18 | 527641 | 354552 | 33996 23 | 43 | 43 1202.35/1202.77 c 1176s | 18 | 528395 | 355252 | 33996 23 | 43 | 43 1204.65/1205.02 c 1178s | 18 | 529274 | 355952 | 33996 23 | 43 | 43 1206.75/1207.19 c 1181s | 18 | 529949 | 356552 | 33996 23 | 43 | 43 1208.95/1209.35 c 1183s | 18 | 530592 | 357152 | 33996 23 | 43 | 43 1211.25/1211.60 c 1185s | 18 | 531232 | 357752 | 33996 23 | 43 | 43 1213.26/1213.69 c 1187s | 18 | 531881 | 358352 | 33996 23 | 43 | 43 1215.65/1216.07 c 1190s | 18 | 532629 | 359052 | 33996 23 | 43 | 43 1217.75/1218.12 c 1192s | 18 | 533132 | 359552 | 33996 23 | 43 | 43 1220.05/1220.42 c 1194s | 18 | 533787 | 360152 | 33996 23 | 43 | 43 1222.34/1222.75 c 1196s | 18 | 534473 | 360752 | 33996 23 | 43 | 43 1224.64/1225.01 c 1198s | 18 | 535237 | 361352 | 33996 23 | 43 | 43 1226.74/1227.19 c 1201s | 18 | 535688 | 361752 | 33996 24 | 43 | 43 1229.24/1229.68 c 1203s | 18 | 536293 | 362252 | 33996 24 | 43 | 43 1231.34/1231.72 c 1205s | 18 | 536972 | 362852 | 33996 24 | 43 | 43 1233.54/1233.99 c 1207s | 18 | 537802 | 363552 | 33996 24 | 43 | 43 1235.74/1236.19 c 1210s | 18 | 538611 | 364352 | 33996 24 | 43 | 43 1238.04/1238.46 c 1212s | 18 | 539390 | 365052 | 33996 24 | 43 | 43 1240.34/1240.75 c 1214s | 18 | 540248 | 365752 | 33996 24 | 43 | 43 1242.53/1242.96 c 1216s | 18 | 541166 | 366552 | 33996 24 | 43 | 43 1244.63/1245.05 c 1219s | 18 | 542162 | 367352 | 33996 24 | 43 | 43 1246.73/1247.15 c 1221s | 18 | 542952 | 368052 | 33996 24 | 43 | 43 1248.83/1249.26 c 1223s | 18 | 543749 | 368752 | 33996 24 | 43 | 43 1250.83/1251.29 c 1225s | 18 | 544568 | 369452 | 33996 24 | 43 | 43 1252.93/1253.30 c 1227s | 18 | 545232 | 370052 | 33996 24 | 43 | 43 1254.94/1255.31 c 1229s | 18 | 545899 | 370652 | 33996 24 | 43 | 43 1257.03/1257.42 c 1231s | 18 | 546694 | 371352 | 33996 24 | 43 | 43 1259.03/1259.43 c 1233s | 18 | 547332 | 371952 | 33996 24 | 43 | 43 1261.13/1261.55 c 1235s | 18 | 548114 | 372652 | 33996 24 | 43 | 43 1263.42/1263.85 c 1237s | 18 | 549010 | 373452 | 33996 24 | 43 | 43 1265.72/1266.11 c 1240s | 18 | 549855 | 374152 | 33996 24 | 43 | 43 1267.72/1268.19 c 1242s | 18 | 550535 | 374752 | 33996 24 | 43 | 43 1270.02/1270.44 c 1244s | 18 | 551095 | 375252 | 33996 24 | 43 | 43 1272.42/1272.83 c 1246s | 18 | 551650 | 375752 | 33996 24 | 43 | 43 1274.52/1274.96 c 1248s | 18 | 552318 | 376352 | 33996 24 | 43 | 43 1276.72/1277.11 c 1251s | 18 | 552967 | 376952 | 33996 24 | 43 | 43 1278.82/1279.26 c 1253s | 18 | 553569 | 377452 | 33996 24 | 43 | 43 1280.82/1281.26 c 1255s | 18 | 554217 | 377952 | 33996 24 | 43 | 43 1282.91/1283.32 c 1257s | 18 | 554909 | 378552 | 33996 24 | 43 | 43 1285.11/1285.56 c 1259s | 18 | 555686 | 379152 | 33996 24 | 43 | 43 1287.21/1287.68 c 1261s | 18 | 556062 | 379452 | 33996 25 | 43 | 43 1289.52/1289.95 c 1263s | 18 | 556602 | 379952 | 33996 25 | 43 | 43 1291.62/1292.03 c 1265s | 18 | 557056 | 380352 | 33996 25 | 43 | 43 1293.62/1294.03 c 1267s | 18 | 557798 | 380952 | 33996 25 | 43 | 43 1295.82/1296.22 c 1270s | 18 | 558628 | 381652 | 33996 25 | 43 | 43 1298.02/1298.44 c 1272s | 18 | 559272 | 382252 | 33996 25 | 43 | 43 1300.02/1300.49 c 1274s | 18 | 560049 | 382952 | 33996 25 | 43 | 43 1302.22/1302.69 c 1276s | 18 | 560882 | 383652 | 33996 25 | 43 | 43 1304.31/1304.80 c 1278s | 18 | 561621 | 384252 | 33996 25 | 43 | 43 1306.51/1306.96 c 1280s | 18 | 562234 | 384852 | 33996 25 | 43 | 43 1308.61/1309.06 c 1283s | 18 | 562887 | 385452 | 33996 25 | 43 | 43 1310.71/1311.16 c 1285s | 18 | 563516 | 386052 | 33996 25 | 43 | 43 1312.81/1313.28 c 1287s | 18 | 564274 | 386752 | 33996 25 | 43 | 43 1314.91/1315.38 c 1289s | 18 | 564932 | 387352 | 33996 25 | 43 | 43 1317.30/1317.78 c 1291s | 18 | 565475 | 387852 | 33996 25 | 43 | 43 1319.40/1319.88 c 1293s | 18 | 566047 | 388352 | 33996 25 | 43 | 43 1321.70/1322.19 c 1296s | 18 | 566618 | 388852 | 33996 25 | 43 | 43 1324.10/1324.57 c 1298s | 18 | 567197 | 389352 | 33996 25 | 43 | 43 1326.20/1326.65 c 1300s | 18 | 567904 | 389952 | 33996 25 | 43 | 43 1328.61/1329.01 c 1302s | 18 | 568552 | 390552 | 33996 25 | 43 | 43 1330.70/1331.18 c 1305s | 18 | 569205 | 391152 | 33996 25 | 43 | 43 1333.10/1333.55 c 1307s | 18 | 569921 | 391752 | 33996 25 | 43 | 43 1335.50/1335.96 c 1309s | 18 | 570606 | 392352 | 33996 25 | 43 | 43 1337.90/1338.32 c 1312s | 18 | 571324 | 392952 | 33996 25 | 43 | 43 1340.20/1340.67 c 1314s | 18 | 571922 | 393452 | 33996 25 | 43 | 43 1342.59/1343.03 c 1316s | 18 | 572532 | 393952 | 33996 25 | 43 | 43 1344.69/1345.10 c 1319s | 18 | 573225 | 394552 | 33996 25 | 43 | 43 1346.89/1347.30 c 1321s | 18 | 573927 | 395152 | 33996 25 | 43 | 43 1348.99/1349.49 c 1323s | 18 | 574720 | 395752 | 33996 25 | 43 | 43 1351.29/1351.72 c 1325s | 18 | 575389 | 396352 | 33996 25 | 43 | 43 1353.69/1354.13 c 1328s | 18 | 575925 | 396852 | 33996 26 | 43 | 43 1355.79/1356.26 c 1330s | 18 | 576528 | 397352 | 33996 26 | 43 | 43 1357.89/1358.33 c 1332s | 18 | 577202 | 397952 | 33996 26 | 43 | 43 1360.19/1360.63 c 1334s | 18 | 577872 | 398552 | 33996 26 | 43 | 43 1362.28/1362.77 c 1336s | 18 | 578482 | 399052 | 33996 26 | 43 | 43 1364.48/1364.96 c 1338s | 18 | 579139 | 399652 | 33996 26 | 43 | 43 1366.48/1366.97 c 1340s | 18 | 579350 | 399852 | 33996 26 | 43 | 43 1368.68/1369.18 c 1343s | 18 | 579918 | 400352 | 33996 26 | 43 | 43 1370.88/1371.30 c 1345s | 18 | 580453 | 400852 | 33996 26 | 43 | 43 1373.08/1373.50 c 1347s | 18 | 581157 | 401452 | 33996 26 | 43 | 43 1375.28/1375.76 c 1349s | 18 | 581864 | 402052 | 33996 26 | 43 | 43 1377.38/1377.86 c 1351s | 18 | 582523 | 402652 | 33996 26 | 43 | 43 1379.58/1380.08 c 1354s | 18 | 583198 | 403252 | 33996 26 | 43 | 43 1381.68/1382.19 c 1356s | 18 | 583938 | 403852 | 33996 26 | 43 | 43 1383.98/1384.48 c 1358s | 18 | 584709 | 404452 | 33996 26 | 43 | 43 1386.28/1386.80 c 1360s | 18 | 585341 | 404952 | 33996 26 | 43 | 43 1388.38/1388.84 c 1362s | 18 | 585818 | 405352 | 33996 26 | 43 | 43 1390.57/1391.08 c 1365s | 18 | 586265 | 405752 | 33996 26 | 43 | 43 1392.87/1393.38 c 1367s | 18 | 586907 | 406352 | 33996 26 | 43 | 43 1395.07/1395.57 c 1369s | 18 | 587538 | 406952 | 33996 26 | 43 | 43 1397.27/1397.75 c 1371s | 18 | 588212 | 407552 | 33996 26 | 43 | 43 1399.37/1399.80 c 1373s | 18 | 588885 | 408152 | 33996 26 | 43 | 43 1401.57/1402.00 c 1375s | 18 | 589549 | 408752 | 33996 26 | 43 | 43 1403.77/1404.27 c 1378s | 18 | 590189 | 409352 | 33996 26 | 43 | 43 1405.97/1406.44 c 1380s | 18 | 590821 | 409952 | 33996 26 | 43 | 43 1408.07/1408.52 c 1382s | 18 | 591402 | 410452 | 33996 26 | 43 | 43 1410.47/1410.90 c 1384s | 18 | 592044 | 411052 | 33996 26 | 43 | 43 1412.87/1413.32 c 1387s | 18 | 592805 | 411652 | 33996 26 | 43 | 43 1414.97/1415.40 c 1389s | 18 | 593419 | 412152 | 33996 26 | 43 | 43 1417.27/1417.75 c 1391s | 18 | 593972 | 412652 | 33996 26 | 43 | 43 1419.67/1420.11 c 1394s | 18 | 594638 | 413152 | 33996 26 | 43 | 43 1421.67/1422.17 c 1396s | 18 | 595248 | 413652 | 33996 26 | 43 | 43 1423.87/1424.32 c 1398s | 18 | 595977 | 414252 | 33996 26 | 43 | 43 1426.57/1427.07 c 1401s | 18 | 596303 | 414552 | 33996 27 | 43 | 43 1429.37/1429.84 c 1403s | 18 | 596547 | 414752 | 33996 27 | 43 | 43 1431.57/1432.03 c 1405s | 18 | 597495 | 415552 | 33996 27 | 43 | 43 1433.77/1434.28 c 1408s | 18 | 598488 | 416352 | 33996 27 | 43 | 43 1435.97/1436.49 c 1410s | 18 | 599496 | 417252 | 33996 27 | 43 | 43 1438.17/1438.66 c 1412s | 18 | 600292 | 417952 | 33996 27 | 43 | 43 1440.27/1440.77 c 1414s | 18 | 601158 | 418652 | 33996 27 | 43 | 43 1442.46/1442.90 c 1416s | 18 | 601946 | 419352 | 33996 27 | 43 | 43 1444.56/1445.07 c 1419s | 18 | 602725 | 420052 | 33996 27 | 43 | 43 1446.76/1447.24 c 1421s | 18 | 603659 | 420852 | 33996 27 | 43 | 43 1448.96/1449.40 c 1423s | 18 | 604388 | 421452 | 33996 27 | 43 | 43 1451.16/1451.65 c 1425s | 18 | 605177 | 422152 | 33996 27 | 43 | 43 1453.16/1453.68 c 1427s | 18 | 606010 | 422852 | 33996 27 | 43 | 43 1455.56/1456.01 c 1429s | 18 | 606820 | 423552 | 33996 27 | 43 | 43 1457.66/1458.13 c 1432s | 18 | 607605 | 424252 | 33996 27 | 43 | 43 1459.86/1460.34 c 1434s | 18 | 608591 | 425052 | 33996 27 | 43 | 43 1462.15/1462.63 c 1436s | 18 | 609405 | 425752 | 33996 27 | 43 | 43 1464.25/1464.78 c 1438s | 18 | 610187 | 426452 | 33996 27 | 43 | 43 1466.45/1466.93 c 1440s | 18 | 611099 | 427152 | 33996 27 | 43 | 43 1468.55/1469.07 c 1443s | 18 | 611899 | 427852 | 33996 27 | 43 | 43 1470.65/1471.15 c 1445s | 18 | 612694 | 428552 | 33996 27 | 43 | 43 1472.85/1473.30 c 1447s | 18 | 613457 | 429152 | 33996 27 | 43 | 43 1475.15/1475.60 c 1449s | 18 | 614401 | 429852 | 33996 27 | 43 | 43 1477.45/1477.93 c 1451s | 18 | 615236 | 430552 | 33996 27 | 43 | 43 1479.75/1480.20 c 1454s | 18 | 615935 | 431152 | 33996 27 | 43 | 43 1481.85/1482.36 c 1456s | 18 | 616629 | 431752 | 33996 27 | 43 | 43 1484.15/1484.67 c 1458s | 18 | 617125 | 432152 | 33996 28 | 43 | 43 1486.25/1486.73 c 1460s | 18 | 617591 | 432552 | 33996 28 | 43 | 43 1488.25/1488.79 c 1462s | 18 | 618459 | 433252 | 33996 28 | 43 | 43 1490.45/1490.99 c 1464s | 18 | 619274 | 433952 | 33996 28 | 43 | 43 1492.85/1493.33 c 1467s | 18 | 619973 | 434552 | 33996 28 | 43 | 43 1494.85/1495.39 c 1469s | 18 | 620685 | 435152 | 33996 28 | 43 | 43 1497.05/1497.51 c 1471s | 18 | 621369 | 435752 | 33996 28 | 43 | 43 1499.25/1499.71 c 1473s | 18 | 622014 | 436352 | 33996 28 | 43 | 43 1501.25/1501.75 c 1475s | 18 | 622577 | 436852 | 33996 28 | 43 | 43 1503.45/1503.93 c 1477s | 18 | 623236 | 437452 | 33996 28 | 43 | 43 1505.84/1506.36 c 1480s | 18 | 623710 | 437852 | 33996 28 | 43 | 43 1508.04/1508.59 c 1482s | 18 | 624383 | 438452 | 33996 28 | 43 | 43 1510.15/1510.64 c 1484s | 18 | 624823 | 438852 | 33996 28 | 43 | 43 1512.14/1512.70 c 1486s | 18 | 625391 | 439352 | 33996 28 | 43 | 43 1514.55/1515.01 c 1488s | 18 | 626169 | 440052 | 33996 28 | 43 | 43 1516.65/1517.19 c 1491s | 18 | 626885 | 440652 | 33996 28 | 43 | 43 1518.74/1519.24 c 1493s | 18 | 627615 | 441252 | 33996 28 | 43 | 43 1520.84/1521.36 c 1495s | 18 | 628352 | 441852 | 37396 28 | 43 | 43 1523.14/1523.66 c 1497s | 18 | 629137 | 442552 | 37396 28 | 43 | 43 1525.44/1525.93 c 1499s | 18 | 629815 | 443152 | 37396 28 | 43 | 43 1527.64/1528.16 c 1502s | 18 | 630489 | 443752 | 37396 28 | 43 | 43 1529.73/1530.26 c 1504s | 18 | 631062 | 444252 | 37396 28 | 43 | 43 1530.73/1531.22 c 1505s | 19 | 631341 | 444482 | 37396 28 | 43 | 43 1532.73/1533.27 c 1507s | 19 | 633881 | 445482 | 37396 28 | 43 | 43 1534.73/1535.27 c 1509s | 19 | 635818 | 447082 | 37396 28 | 43 | 43 1536.83/1537.31 c 1511s | 19 | 637491 | 448382 | 37396 28 | 43 | 43 1538.83/1539.34 c 1513s | 19 | 639103 | 449282 | 37396 28 | 43 | 43 1541.03/1541.57 c 1515s | 19 | 640716 | 450782 | 37396 28 | 43 | 43 1543.14/1543.62 c 1517s | 19 | 642168 | 451882 | 37396 28 | 43 | 43 1545.83/1546.31 c 1520s | 19 | 643214 | 452782 | 37396 29 | 43 | 43 1547.83/1548.32 c 1522s | 19 | 644291 | 453782 | 37396 29 | 43 | 43 1549.83/1550.34 c 1524s | 19 | 645389 | 454782 | 37396 29 | 43 | 43 1551.94/1552.44 c 1526s | 19 | 646786 | 455882 | 37396 29 | 43 | 43 1554.03/1554.56 c 1528s | 19 | 648124 | 456782 | 37396 29 | 43 | 43 1556.03/1556.58 c 1530s | 19 | 649120 | 457682 | 37396 29 | 43 | 43 1558.23/1558.71 c 1532s | 19 | 649989 | 458482 | 37396 29 | 43 | 43 1560.23/1560.76 c 1534s | 19 | 650718 | 459182 | 37396 29 | 43 | 43 1562.53/1563.02 c 1536s | 19 | 651569 | 459982 | 37396 29 | 43 | 43 1564.63/1565.18 c 1539s | 19 | 652296 | 460682 | 37396 29 | 43 | 43 1566.83/1567.31 c 1541s | 19 | 653155 | 461482 | 37396 29 | 43 | 43 1569.03/1569.59 c 1543s | 19 | 654000 | 462282 | 37396 29 | 43 | 43 1571.33/1571.81 c 1545s | 19 | 654854 | 463082 | 37396 29 | 43 | 43 1573.42/1573.99 c 1547s | 19 | 655852 | 463982 | 37396 29 | 43 | 43 1575.62/1576.11 c 1550s | 19 | 656714 | 464782 | 37396 29 | 43 | 43 1577.72/1578.28 c 1552s | 19 | 657441 | 465482 | 37396 29 | 43 | 43 1579.72/1580.28 c 1554s | 19 | 658187 | 466182 | 37396 29 | 43 | 43 1581.92/1582.41 c 1556s | 19 | 658928 | 466882 | 37396 29 | 43 | 43 1583.92/1584.44 c 1558s | 19 | 659918 | 467682 | 37396 29 | 43 | 43 1585.93/1586.46 c 1560s | 19 | 660554 | 468282 | 37396 29 | 43 | 43 1588.02/1588.54 c 1562s | 19 | 661185 | 468882 | 37396 29 | 43 | 43 1590.22/1590.73 c 1564s | 19 | 661797 | 469482 | 37396 29 | 43 | 43 1592.42/1592.93 c 1566s | 19 | 662419 | 470082 | 37396 29 | 43 | 43 1594.52/1595.09 c 1569s | 19 | 663040 | 470682 | 37396 29 | 43 | 43 1596.62/1597.14 c 1571s | 19 | 663688 | 471282 | 37396 29 | 43 | 43 1599.32/1599.83 c 1573s | 19 | 664336 | 471882 | 37396 30 | 43 | 43 1601.43/1601.94 c 1575s | 19 | 664975 | 472482 | 37396 30 | 43 | 43 1603.63/1604.14 c 1578s | 19 | 665610 | 473082 | 37396 30 | 43 | 43 1605.92/1606.46 c 1580s | 19 | 666229 | 473682 | 37396 30 | 43 | 43 1608.22/1608.70 c 1582s | 19 | 666866 | 474282 | 37396 30 | 43 | 43 1610.32/1610.82 c 1584s | 19 | 667533 | 474882 | 37396 30 | 43 | 43 1612.52/1613.06 c 1587s | 19 | 668174 | 475482 | 37396 30 | 43 | 43 1614.72/1615.29 c 1589s | 19 | 668806 | 476082 | 37396 30 | 43 | 43 1617.12/1617.65 c 1591s | 19 | 669427 | 476682 | 37396 30 | 43 | 43 1619.42/1619.97 c 1593s | 19 | 670058 | 477282 | 37396 30 | 43 | 43 1621.52/1622.00 c 1595s | 19 | 670577 | 477782 | 37396 30 | 43 | 43 1623.82/1624.37 c 1598s | 19 | 671214 | 478382 | 37396 30 | 43 | 43 1626.02/1626.55 c 1600s | 19 | 671874 | 478982 | 37396 30 | 43 | 43 1628.22/1628.80 c 1602s | 19 | 672514 | 479582 | 37396 30 | 43 | 43 1630.32/1630.81 c 1604s | 19 | 673038 | 480082 | 37396 30 | 43 | 43 1632.71/1633.20 c 1607s | 19 | 673673 | 480682 | 37396 30 | 43 | 43 1634.71/1635.24 c 1609s | 19 | 674192 | 481182 | 37396 30 | 43 | 43 1636.91/1637.45 c 1611s | 19 | 674860 | 481782 | 37396 30 | 43 | 43 1639.31/1639.83 c 1613s | 19 | 675498 | 482382 | 37396 30 | 43 | 43 1641.31/1641.84 c 1615s | 19 | 676029 | 482882 | 37396 30 | 43 | 43 1643.31/1643.87 c 1617s | 19 | 676562 | 483382 | 37396 30 | 43 | 43 1645.61/1646.19 c 1620s | 19 | 677226 | 483982 | 37396 30 | 43 | 43 1647.71/1648.28 c 1622s | 19 | 677757 | 484482 | 37396 30 | 43 | 43 1650.11/1650.64 c 1624s | 19 | 678429 | 485082 | 37396 30 | 43 | 43 1652.11/1652.67 c 1626s | 19 | 678985 | 485582 | 37396 30 | 43 | 43 1654.22/1654.76 c 1628s | 19 | 679534 | 486082 | 37396 30 | 43 | 43 1656.21/1656.79 c 1630s | 19 | 680252 | 486682 | 37396 30 | 43 | 43 1658.31/1658.88 c 1632s | 19 | 682056 | 488382 | 37396 30 | 43 | 43 1660.41/1660.98 c 1634s | 19 | 694898 | 489482 | 37396 30 | 44 | 44 1662.92/1663.42 c 1637s | 19 | 696165 | 490682 | 37396 31 | 44 | 44 1664.91/1665.44 c 1639s | 19 | 697492 | 491982 | 37396 31 | 44 | 44 1667.02/1667.50 c 1641s | 19 | 698806 | 493282 | 37396 31 | 44 | 44 1669.02/1669.57 c 1643s | 19 | 700211 | 494682 | 37396 31 | 44 | 44 1671.01/1671.59 c 1645s | 19 | 701216 | 495682 | 37396 31 | 44 | 44 1673.11/1673.67 c 1647s | 19 | 702619 | 497082 | 37396 31 | 44 | 44 1675.31/1675.80 c 1649s | 19 | 703931 | 498382 | 37396 31 | 44 | 44 1677.41/1677.93 c 1651s | 19 | 704953 | 499382 | 37396 31 | 44 | 44 1679.51/1680.09 c 1654s | 19 | 705866 | 500282 | 37396 31 | 44 | 44 1681.71/1682.25 c 1656s | 19 | 706897 | 501282 | 37396 31 | 44 | 44 1683.71/1684.27 c 1658s | 19 | 707723 | 502082 | 37396 31 | 44 | 44 1685.81/1686.34 c 1660s | 19 | 708546 | 502882 | 37396 31 | 44 | 44 1687.91/1688.40 c 1662s | 19 | 709759 | 504082 | 37396 31 | 44 | 44 1690.01/1690.53 c 1664s | 19 | 711077 | 505382 | 37396 31 | 44 | 44 1692.11/1692.65 c 1666s | 19 | 712286 | 506582 | 37396 31 | 44 | 44 1694.11/1694.66 c 1668s | 19 | 713488 | 507782 | 37396 31 | 44 | 44 1696.11/1696.67 c 1670s | 19 | 714694 | 508982 | 37396 31 | 44 | 44 1698.11/1698.68 c 1672s | 19 | 715496 | 509782 | 37396 32 | 44 | 44 1700.31/1700.86 c 1674s | 19 | 716701 | 510982 | 37396 32 | 44 | 44 1702.40/1702.97 c 1676s | 19 | 717811 | 512082 | 37396 32 | 44 | 44 1704.40/1704.98 c 1678s | 19 | 718816 | 513082 | 37396 32 | 44 | 44 1706.50/1707.04 c 1680s | 19 | 719712 | 513982 | 37396 32 | 44 | 44 1708.60/1709.14 c 1683s | 19 | 720618 | 514882 | 37396 32 | 44 | 44 1710.80/1711.35 c 1685s | 19 | 721521 | 515782 | 37396 32 | 44 | 44 1712.80/1713.39 c 1687s | 19 | 722321 | 516582 | 37396 32 | 44 | 44 1714.90/1715.44 c 1689s | 19 | 723124 | 517382 | 37396 32 | 44 | 44 1716.91/1717.48 c 1691s | 19 | 723928 | 518182 | 37396 32 | 44 | 44 1719.11/1719.65 c 1693s | 19 | 724731 | 518982 | 37396 32 | 44 | 44 1721.21/1721.78 c 1695s | 19 | 725538 | 519782 | 37396 32 | 44 | 44 1723.51/1724.03 c 1697s | 19 | 726348 | 520582 | 37396 32 | 44 | 44 1725.61/1726.14 c 1700s | 19 | 727048 | 521282 | 37396 32 | 44 | 44 1727.70/1728.20 c 1702s | 19 | 727745 | 521982 | 37396 32 | 44 | 44 1729.80/1730.39 c 1704s | 19 | 728448 | 522682 | 37396 32 | 44 | 44 1732.10/1732.62 c 1706s | 19 | 729148 | 523382 | 37396 32 | 44 | 44 1734.30/1734.90 c 1708s | 19 | 729948 | 524182 | 37396 32 | 44 | 44 1736.50/1737.05 c 1711s | 19 | 730650 | 524882 | 37396 32 | 44 | 44 1738.70/1739.21 c 1713s | 19 | 731356 | 525582 | 37396 32 | 44 | 44 1740.90/1741.44 c 1715s | 19 | 732062 | 526282 | 37396 32 | 44 | 44 1743.00/1743.51 c 1717s | 19 | 732765 | 526982 | 37396 32 | 44 | 44 1745.30/1745.82 c 1719s | 19 | 733466 | 527682 | 37396 32 | 44 | 44 1747.50/1748.07 c 1722s | 19 | 734180 | 528382 | 37396 32 | 44 | 44 1749.70/1750.23 c 1724s | 19 | 734578 | 528782 | 37396 33 | 44 | 44 1751.80/1752.33 c 1726s | 19 | 735483 | 529682 | 37396 33 | 44 | 44 1754.00/1754.53 c 1728s | 19 | 736484 | 530682 | 37396 33 | 44 | 44 1756.20/1756.71 c 1730s | 19 | 737492 | 531682 | 37396 33 | 44 | 44 1758.30/1758.80 c 1732s | 19 | 738494 | 532682 | 37396 33 | 44 | 44 1760.90/1761.48 c 1735s | 19 | 739402 | 533582 | 37396 33 | 44 | 44 1763.00/1763.54 c 1737s | 19 | 740299 | 534482 | 37396 33 | 44 | 44 1765.00/1765.57 c 1739s | 19 | 741207 | 535382 | 37396 33 | 44 | 44 1767.00/1767.59 c 1741s | 19 | 742111 | 536282 | 37396 33 | 44 | 44 1769.10/1769.60 c 1743s | 19 | 742911 | 537082 | 37396 33 | 44 | 44 1771.30/1771.80 c 1745s | 19 | 743718 | 537882 | 37396 33 | 44 | 44 1773.40/1773.97 c 1747s | 19 | 744518 | 538682 | 37396 33 | 44 | 44 1775.50/1776.00 c 1749s | 19 | 745026 | 539182 | 37396 33 | 44 | 44 1777.50/1778.01 c 1751s | 19 | 745830 | 539982 | 37396 33 | 44 | 44 1779.51/1780.09 c 1754s | 19 | 746533 | 540682 | 37396 33 | 44 | 44 1781.71/1782.21 c 1756s | 19 | 747338 | 541482 | 37396 33 | 44 | 44 1783.70/1784.29 c 1758s | 19 | 748040 | 542182 | 37396 33 | 44 | 44 1786.00/1786.52 c 1760s | 19 | 748843 | 542982 | 37396 33 | 44 | 44 1788.00/1788.58 c 1762s | 19 | 749163 | 543182 | 37396 33 | 44 | 44 1790.10/1790.65 c 1764s | 19 | 749761 | 543782 | 37396 33 | 44 | 44 1792.30/1792.81 c 1766s | 19 | 750366 | 544382 | 37396 33 | 44 | 44 1794.50/1795.07 c 1769s | 19 | 751070 | 545082 | 37396 33 | 44 | 44 1796.80/1797.36 c 1771s | 19 | 751770 | 545782 | 37396 33 | 44 | 44 1798.90/1799.49 c 1773s | 19 | 752378 | 546382 | 37396 33 | 44 | 44
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-4100809-1466217539/watcher-4100809-1466217539 -o /tmp/evaluation-result-4100809-1466217539/solver-4100809-1466217539 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100809-1466217539.opb pid=17393 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.27 2.23 2.19 3/179 17396 /proc/meminfo: memFree=29245360/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=647612 CPUtime=0 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 2400 0 0 0 0 0 0 0 20 0 4 0 23802682 663154688 3272 33554432000 4194304 16246674 140734337741456 140734337740880 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 162415 3281 441 2943 0 159309 0 [pid=17396/tid=17397] ppid=17393 vsize=665020 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 680980480 3342 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=669116 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 685174784 3359 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=673212 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 689369088 3375 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100177 s] /proc/loadavg: 2.27 2.23 2.19 3/179 17396 /proc/meminfo: memFree=29245360/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1302084 CPUtime=0.08 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 29524 0 0 0 5 3 0 0 20 0 4 0 23802682 1333334016 30335 33554432000 4194304 16246674 140734337741456 140734337740768 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 325521 30352 802 2943 0 322415 0 [pid=17396/tid=17397] ppid=17393 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1333334016 30363 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1333334016 30375 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1333334016 30386 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.20052 s] /proc/loadavg: 2.27 2.23 2.19 3/179 17396 /proc/meminfo: memFree=29245360/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 46078 0 0 0 13 6 0 0 20 0 4 0 23802682 1344868352 47399 33554432000 4194304 16246674 140734337741456 140734337740768 13784952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 328337 47399 802 2943 0 325231 0 [pid=17396/tid=17397] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47399 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47399 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47399 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1313348 [startup+0.300516 s] /proc/loadavg: 2.27 2.23 2.19 3/179 17396 /proc/meminfo: memFree=29245360/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 46153 0 0 0 23 6 0 0 20 0 4 0 23802682 1344868352 47474 33554432000 4194304 16246674 140734337741456 140734337740768 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 328337 47474 822 2943 0 325231 0 [pid=17396/tid=17397] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47474 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47474 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 47474 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1313348 [startup+0.700424 s] /proc/loadavg: 2.27 2.23 2.19 3/179 17396 /proc/meminfo: memFree=29245360/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 142493 0 0 0 52 17 0 0 20 0 4 0 23802682 1344868352 143814 33554432000 4194304 16246674 140734337741456 140734337740768 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 328337 143820 833 2943 0 325231 0 [pid=17396/tid=17397] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 143823 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 143827 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1344868352 143830 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1313348 [startup+1.50043 s] /proc/loadavg: 2.24 2.22 2.19 3/183 17400 /proc/meminfo: memFree=28292816/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1319492 CPUtime=1.48 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 270438 0 0 0 114 34 0 0 20 0 4 0 23802682 1351159808 271759 33554432000 4194304 16246674 140734337741456 140734337740768 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 329873 271759 834 2943 0 326767 0 [pid=17396/tid=17397] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271759 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271759 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271759 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1319492 [startup+3.10042 s] /proc/loadavg: 2.24 2.22 2.19 3/183 17400 /proc/meminfo: memFree=28158624/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1319492 CPUtime=3.08 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 270487 0 0 0 274 34 0 0 20 0 4 0 23802682 1351159808 271808 33554432000 4194304 16246674 140734337741456 140734337723328 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 329873 271808 834 2943 0 326767 0 [pid=17396/tid=17397] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271808 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271808 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1319492 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1351159808 271808 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1319492 [startup+6.30042 s] /proc/loadavg: 2.24 2.22 2.19 3/183 17400 /proc/meminfo: memFree=28150656/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1327684 CPUtime=6.29 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 272535 0 0 0 594 35 0 0 20 0 4 0 23802682 1359548416 273856 33554432000 4194304 16246674 140734337741456 140734337723328 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 331921 273856 834 2943 0 328815 0 [pid=17396/tid=17397] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1327684 [startup+12.7004 s] /proc/loadavg: 2.21 2.22 2.18 3/183 17400 /proc/meminfo: memFree=28150696/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1327684 CPUtime=12.69 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 272535 0 0 0 1234 35 0 0 20 0 4 0 23802682 1359548416 273856 33554432000 4194304 16246674 140734337741456 140734337723328 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 331921 273856 834 2943 0 328815 0 [pid=17396/tid=17397] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273856 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1327684 [startup+25.5004 s] /proc/loadavg: 2.17 2.21 2.18 3/183 17400 /proc/meminfo: memFree=28153188/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1327684 CPUtime=25.49 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 272544 0 0 0 2514 35 0 0 20 0 4 0 23802682 1359548416 273865 33554432000 4194304 16246674 140734337741456 140734337723328 13007928 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 331921 273865 837 2943 0 328815 0 [pid=17396/tid=17397] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273865 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273865 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273865 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1327684 [startup+51.1004 s] /proc/loadavg: 2.16 2.20 2.18 3/183 17400 /proc/meminfo: memFree=28153036/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1327684 CPUtime=51.08 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 272609 0 0 0 5073 35 0 0 20 0 4 0 23802682 1359548416 273930 33554432000 4194304 16246674 140734337741456 140734337723328 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 331921 273930 901 2943 0 328815 0 [pid=17396/tid=17397] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1327684 [startup+102.3 s] /proc/loadavg: 2.17 2.20 2.18 3/184 17404 /proc/meminfo: memFree=28152316/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1327684 CPUtime=102.28 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 272609 0 0 0 10192 36 0 0 20 0 4 0 23802682 1359548416 273930 33554432000 4194304 16246674 140734337741456 140734337723328 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 331921 273930 901 2943 0 328815 0 [pid=17396/tid=17397] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1359548416 273930 33554432000 4194304 16246674 140734337741456 140530323287216 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) 1327684 ################ # More data... # ################ /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1437143040 292877 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1403460 [startup+1362.3 s] /proc/loadavg: 2.25 2.30 2.26 3/184 17507 /proc/meminfo: memFree=28081196/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1403460 CPUtime=1361.88 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 291895 0 0 0 136146 42 0 0 20 0 4 0 23802682 1437143040 292877 33554432000 4194304 16246674 140734337741456 140734337740632 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 350865 292877 901 2943 0 347759 0 [pid=17396/tid=17397] ppid=17393 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1437143040 292877 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1437143040 292877 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1403460 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1437143040 292877 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1403460 [startup+1422.3 s] /proc/loadavg: 2.19 2.27 2.26 3/183 17509 /proc/meminfo: memFree=28001348/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1483332 CPUtime=1421.87 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 311882 0 0 0 142142 45 0 0 20 0 4 0 23802682 1518931968 312845 33554432000 4194304 16246674 140734337741456 140734337723328 12474536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 370833 312845 901 2943 0 367727 0 [pid=17396/tid=17397] ppid=17393 vsize=1483332 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1518931968 312845 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1483332 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1518931968 312845 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1483332 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1518931968 312845 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1483332 [startup+1482.3 s] /proc/loadavg: 2.29 2.28 2.26 3/183 17510 /proc/meminfo: memFree=27916440/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1568324 CPUtime=1481.85 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 333143 0 0 0 148136 49 0 0 20 0 4 0 23802682 1605963776 334093 33554432000 4194304 16246674 140734337741456 140734337723328 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 392081 334093 901 2943 0 388975 0 [pid=17396/tid=17397] ppid=17393 vsize=1568324 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1605963776 334093 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1568324 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1605963776 334093 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1568324 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1605963776 334093 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1568324 [startup+1542.3 s] /proc/loadavg: 2.21 2.26 2.25 3/183 17511 /proc/meminfo: memFree=27895640/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1578564 CPUtime=1541.83 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 335712 0 0 0 154134 49 0 0 20 0 4 0 23802682 1616449536 336653 33554432000 4194304 16246674 140734337741456 140734337723328 13781188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 394641 336653 901 2943 0 391535 0 [pid=17396/tid=17397] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1578564 [startup+1602.3 s] /proc/loadavg: 2.16 2.24 2.25 3/183 17512 /proc/meminfo: memFree=27894860/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1578564 CPUtime=1601.82 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 335712 0 0 0 160133 49 0 0 20 0 4 0 23802682 1616449536 336653 33554432000 4194304 16246674 140734337741456 140734337723328 13759456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 394641 336653 901 2943 0 391535 0 [pid=17396/tid=17397] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1578564 [startup+1662.3 s] /proc/loadavg: 2.27 2.25 2.25 3/183 17513 /proc/meminfo: memFree=27894160/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1578564 CPUtime=1661.82 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 335712 0 0 0 166133 49 0 0 20 0 4 0 23802682 1616449536 336653 33554432000 4194304 16246674 140734337741456 140734337723328 5711346 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 394641 336653 901 2943 0 391535 0 [pid=17396/tid=17397] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1578564 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1616449536 336653 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1578564 [startup+1722.3 s] /proc/loadavg: 2.15 2.22 2.24 3/183 17515 /proc/meminfo: memFree=27834564/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1637956 CPUtime=1721.8 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 350560 0 0 0 172129 51 0 0 20 0 4 0 23802682 1677266944 351501 33554432000 4194304 16246674 140734337741456 140734337723328 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 409489 351501 901 2943 0 406383 0 [pid=17396/tid=17397] ppid=17393 vsize=1637956 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1677266944 351501 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1637956 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1677266944 351501 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1637956 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1677266944 351501 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1637956 [startup+1782.31 s] /proc/loadavg: 2.20 2.22 2.24 3/183 17516 /proc/meminfo: memFree=27540396/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1898052 CPUtime=1781.81 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 415393 0 0 0 178121 60 0 0 20 0 4 0 23802682 1943605248 416334 33554432000 4194304 16246674 140734337741456 140734337723328 12461024 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 474513 416334 901 2943 0 471407 0 [pid=17396/tid=17397] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1898052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.23 2.23 2.24 3/183 17516 /proc/meminfo: memFree=27541432/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1898052 CPUtime=1800 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 415393 0 0 0 179940 60 0 0 20 0 4 0 23802682 1943605248 416334 33554432000 4194304 16246674 140734337741456 140734337723328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 474513 416334 901 2943 0 471407 0 [pid=17396/tid=17397] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1898052 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 17396 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.23 2.23 2.24 3/183 17516 /proc/meminfo: memFree=27541432/32872528 swapFree=1431120/1543540 [pid=17396] ppid=17393 vsize=1898052 CPUtime=1800 cores=1,3,5,7 /proc/17396/stat : 17396 (toysat) R 17393 17396 15180 0 -1 4202496 415393 0 0 0 179940 60 0 0 20 0 4 0 23802682 1943605248 416334 33554432000 4194304 16246674 140734337741456 140734337723328 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17396/statm: 474513 416334 901 2943 0 471407 0 [pid=17396/tid=17397] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 15180 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530421837040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17396/tid=17398] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 15180 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530411347184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=17396/tid=17399] ppid=17393 vsize=1898052 CPUtime=0 cores=1,3,5,7 /proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 15180 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23802683 1943605248 416334 33554432000 4194304 16246674 140734337741456 140530323287216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1898052 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.53 CPU time (s): 1800.03 CPU user time (s): 1799.41 CPU system time (s): 0.620905 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 1898052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.620905 maximum resident set size= 1665336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 415393 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= 433 involuntary context switches= 1884 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.32619 second user time and 7.76482 second system time The end
Begin job on node116 at 2016-06-18 04:39:00 IDJOB=4100809 IDBENCH=1664 IDSOLVER=2542 FILE ID=node116/4100809-1466217539 RUNJOBID= node116-1466206094-15197 PBS_JOBID= 19918160 Free space on /tmp= 71708 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow15.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100809-1466217539/watcher-4100809-1466217539 -o /tmp/evaluation-result-4100809-1466217539/solver-4100809-1466217539 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466206094-15197 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100809-1466217539.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85af08260bc54f31465e48eb0563bdd8 RANDOM SEED=1143202316 node116.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.781 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.56 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.781 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.781 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.781 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.781 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.781 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.54 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.781 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.781 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: 29245888 kB Buffers: 107472 kB Cached: 121040 kB SwapCached: 2160 kB Active: 1208908 kB Inactive: 133764 kB Active(anon): 1114756 kB Inactive(anon): 1544 kB Active(file): 94152 kB Inactive(file): 132220 kB Unevictable: 1543540 kB Mlocked: 1431120 kB SwapTotal: 67108856 kB SwapFree: 67099604 kB Dirty: 17448 kB Writeback: 0 kB AnonPages: 2756796 kB Mapped: 10916 kB Shmem: 0 kB Slab: 603080 kB SReclaimable: 47140 kB SUnreclaim: 555940 kB KernelStack: 1456 kB PageTables: 9452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2796744 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node116 at 2016-06-18 05:09:00