| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.43 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-dfl001.opb |
| MD5SUM | 7b9d3fef35f44b9f29a1eccedaaa362f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 366703 |
| Total number of constraints | 6084 |
| 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 | 6084 |
| Minimum length of a constraint | 13 |
| Maximum length of a constraint | 6840 |
| Number of terms in the objective function | 187033 |
| Biggest coefficient in the objective function | 1278 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 704610 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 704610 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T05:59:52+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-4101265-1466222391.opb"] 0.00/0.01 c use --random-gen="1985424187 2955115544 2945775973 949007949 2163179542 252052207 3226414745 1114820582 2909181956 1782923842 3137426542 2691095816 1666284444 2532861666 1403271563 1960370447 2692672097 1028895674 2271540696 2404367489 3382044971 2418790740 3066062591 3672913109 2231716749 3929020120 679300402 553207430 3578728219 229310957 2594767374 2989979498 3216227449 3097084234 2863159340 1067446936 3658083214 4032726232 4260058116 67292697 4088800972 1720020208 3503533154 1135555794 4244577337 184373096 2686590392 3172542911 2972013518 4021263445 4027519025 704374490 158976746 3493734285 4027959584 4090351295 426367267 4245856169 3976972822 1013563831 2788322042 2691298287 2611337043 2999077437 832350447 1438107893 1384585187 400992247 230988210 121339120 1831801499 143259762 1502248378 4141705832 1647166649 2677654698 2067474574 4216912495 2980144550 582894324 3443324042 4251083210 550853966 3388055081 1027222220 2721413373 2502047020 758329825 1381742082 50612822 896656031 2415931868 2976866464 1401342693 1352591808 657168278 3048168710 961594980 2897425229 1874341951 3314389336 3285742366 3698505159 2241544077 380260165 104056804 672498300 4227659108 2345573964 1283238470 826249692 4082778623 3172224971 4144097054 3332681166 2362797228 1549316230 959715509 1027555549 2462499984 1056753838 1411335329 3958863840 763408667 2725105014 3687424024 1706028247 693943572 3631370633 2970281953 878403182 4217222373 2082435261 992312952 150541794 3483678425 252691129 2141650590 4090214827 432391679 865600539 2422377708 620360596 564052468 2177599631 1970629602 1287048745 2442095413 1323099346 2882718241 465862995 23531523 2604607473 342229341 1475685365 2570132832 2984135947 3725381911 3430896585 2778758174 1857089060 518051587 1294644981 1334644161 3055813810 1913881251 305085783 1686619546 662774238 4177536773 2450827448 1594583224 1943729060 2799541504 852857413 1847384208 97459616 367033696 718092255 3594277971 2343544343 3558396792 2735309654 919808802 2858713466 55340012 321562234 3508479218 1518621015 1696365128 4019792388 789152296 1568273552 3310863240 1526245171 3484278450 2132070968 3030577613 857550485 333080318 2313900898 2548841174 3749069500 625603564 3973622010 1383313572 1987799106 1207924429 831123987 458120047 4070452131 617657774 3098769522 1989720862 3428635220 220405014 3775516137 3270260986 1972029972 3743582899 2413941331 4181249732 1185578969 4270299205 3580605600 2823831059 3422834720 3719067698 2686724701 3515233630 1092338765 1730474704 3586305475 2458406462 593303782 1989080964 2880304307 1866701028 2367080742 2715026794 679642451 481880479 3365135846 1169588435 4169357472 2633149343 1690318602 4135590985 2143465311 1369373304 3219437928 2352292108 1188099741 3371888461 1824942153 11814623 255 362436" option to reproduce the execution 2.20/2.26 c #vars 366703 2.20/2.26 c #constraints 6084 13.39/13.40 c BCD2: Hardening is enabled. 13.39/13.40 c BCD2: BiasedSearch is enabled. 13.39/13.40 c Solving starts ... 13.39/13.40 c ============================[ Search Statistics ]============================ 13.39/13.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.39/13.40 c | | | | Limit GC | Var | Constra 13.39/13.40 c ============================================================================= 13.39/13.43 c 0.0s | 0 | 0 | 0 | 126286 0 | 100625 | 0 13.88/13.93 c 0.5s | 1 | 168 | 100 | 126286 0 | 100626 | 0 14.88/14.98 c 1.6s | 2 | 716 | 250 | 138915 0 | 100657 | 0 15.39/15.45 c 2.0s | 3 | 1804 | 475 | 152807 0 | 100657 | 0 15.98/16.02 c 2.6s | 4 | 2875 | 813 | 168088 0 | 100657 | 0 16.38/16.47 c 3.0s | 5 | 3628 | 1320 | 184897 0 | 100657 | 0 17.69/17.79 c 4.4s | 6 | 4780 | 2081 | 223726 0 | 100666 | 0 19.68/19.75 c 6.3s | 7 | 8656 | 3223 | 246099 0 | 100666 | 0 23.09/23.12 c 9.7s | 7 | 13036 | 4023 | 246099 0 | 100689 | 0 24.29/24.37 c 10.9s | 8 | 16550 | 4936 | 270709 0 | 100699 | 0 27.28/27.31 c 13.9s | 8 | 21853 | 7136 | 270709 0 | 100706 | 0 27.28/27.39 c 14.0s | 9 | 22242 | 7506 | 297780 0 | 100706 | 0 29.48/29.51 c 16.1s | 9 | 26619 | 7806 | 297780 0 | 100712 | 0 31.58/31.61 c 18.2s | 9 | 28628 | 9606 | 297780 0 | 100713 | 0 33.58/33.65 c 20.2s | 9 | 29737 | 10706 | 297780 0 | 100713 | 0 34.98/35.03 c 21.6s | 10 | 31017 | 11361 | 327558 0 | 100713 | 0 36.98/37.07 c 23.6s | 10 | 34217 | 14261 | 327558 0 | 100713 | 0 39.08/39.12 c 25.7s | 10 | 36654 | 16661 | 327558 0 | 100716 | 0 39.48/39.54 c 26.1s | 11 | 37143 | 17144 | 360314 0 | 100716 | 0 41.48/41.57 c 28.1s | 11 | 39338 | 18144 | 360314 0 | 100766 | 0 43.48/43.59 c 30.2s | 11 | 44392 | 22944 | 360314 0 | 100766 | 0 45.28/45.30 c 31.9s | 12 | 47375 | 25819 | 396346 0 | 100766 | 0 47.58/47.63 c 34.2s | 12 | 49605 | 26019 | 396346 0 | 100816 | 0 50.08/50.14 c 36.7s | 12 | 61082 | 27319 | 396346 0 | 100825 | 0 52.58/52.63 c 39.2s | 12 | 62605 | 27519 | 396346 0 | 100842 | 0 54.58/54.68 c 41.3s | 12 | 64901 | 29319 | 396346 0 | 100891 | 0 56.58/56.69 c 43.3s | 12 | 66894 | 31219 | 396346 0 | 100891 | 0 58.68/58.74 c 45.3s | 12 | 69721 | 33919 | 396346 0 | 100891 | 0 62.07/62.17 c 48.7s | 12 | 75550 | 34919 | 396346 0 | 100990 | 0 64.07/64.19 c 50.8s | 12 | 78090 | 36419 | 396346 0 | 100999 | 0 65.37/65.40 c 52.0s | 13 | 80854 | 38832 | 435981 0 | 100999 | 0 67.37/67.44 c 54.0s | 13 | 84494 | 42432 | 435981 0 | 100999 | 0 69.38/69.49 c 56.1s | 13 | 87702 | 45632 | 435981 0 | 100999 | 0 71.37/71.49 c 58.1s | 13 | 90609 | 48532 | 435981 0 | 100999 | 0 73.47/73.55 c 60.1s | 13 | 93320 | 51232 | 435981 0 | 100999 | 0 75.57/75.61 c 62.2s | 13 | 96338 | 54232 | 435981 0 | 100999 | 0 77.57/77.69 c 64.3s | 13 | 98958 | 56832 | 435981 0 | 100999 | 0 78.67/78.74 c 65.3s | 14 | 100476 | 58352 | 479580 0 | 100999 | 0 80.77/80.89 c 67.5s | 14 | 101658 | 59452 | 479580 0 | 100999 | 0 82.88/82.93 c 69.5s | 14 | 102760 | 60552 | 479580 0 | 100999 | 0 84.98/85.07 c 71.6s | 14 | 103868 | 61652 | 479580 0 | 100999 | 0 87.08/87.14 c 73.7s | 14 | 104868 | 62652 | 479580 0 | 100999 | 0 89.28/89.35 c 75.9s | 14 | 105864 | 63652 | 479580 0 | 100999 | 0 91.29/91.36 c 77.9s | 14 | 106771 | 64552 | 479580 0 | 100999 | 0 93.48/93.60 c 80.2s | 14 | 107770 | 65552 | 479580 0 | 100999 | 0 95.68/95.70 c 82.3s | 14 | 108789 | 66552 | 479580 0 | 100999 | 0 97.78/97.87 c 84.4s | 14 | 109886 | 67652 | 479580 0 | 100999 | 0 99.88/99.97 c 86.5s | 14 | 110898 | 68652 | 479580 0 | 100999 | 0 101.98/102.04 c 88.6s | 14 | 111897 | 69652 | 479580 0 | 100999 | 0 103.98/104.08 c 90.7s | 14 | 113004 | 70752 | 479580 0 | 100999 | 0 106.08/106.11 c 92.7s | 14 | 114010 | 71752 | 479580 0 | 100999 | 0 108.08/108.17 c 94.7s | 14 | 115014 | 72752 | 479580 0 | 100999 | 0 110.28/110.39 c 97.0s | 14 | 116014 | 73752 | 479580 0 | 100999 | 0 112.57/112.61 c 99.2s | 14 | 116916 | 74652 | 479580 0 | 100999 | 0 114.57/114.62 c 101s | 14 | 117721 | 75452 | 479580 0 | 100999 | 0 116.68/116.71 c 103s | 14 | 118618 | 76352 | 479580 0 | 100999 | 0 118.78/118.83 c 105s | 14 | 119432 | 77152 | 479580 0 | 100999 | 0 120.98/121.08 c 107s | 14 | 120334 | 78052 | 479580 0 | 100999 | 0 123.28/123.38 c 109s | 14 | 121135 | 78852 | 479580 0 | 100999 | 0 125.38/125.49 c 112s | 14 | 121837 | 79552 | 479580 0 | 100999 | 0 127.68/127.75 c 114s | 14 | 122543 | 80252 | 479580 0 | 100999 | 0 129.78/129.87 c 116s | 14 | 123240 | 80952 | 479580 0 | 100999 | 0 131.87/132.00 c 118s | 14 | 123943 | 81652 | 479580 0 | 100999 | 0 133.97/134.03 c 120s | 14 | 124653 | 82352 | 479580 0 | 100999 | 0 136.27/136.33 c 122s | 14 | 125449 | 83152 | 479580 0 | 100999 | 0 138.37/138.42 c 124s | 14 | 126259 | 83952 | 479580 0 | 100999 | 0 140.57/140.60 c 127s | 14 | 126860 | 84552 | 479580 0 | 100999 | 0 142.77/142.81 c 129s | 14 | 127465 | 85152 | 479580 0 | 100999 | 0 144.97/145.04 c 131s | 14 | 128167 | 85852 | 479580 0 | 100999 | 0 147.38/147.43 c 133s | 14 | 128873 | 86552 | 479580 0 | 100999 | 0 149.68/149.71 c 136s | 14 | 129477 | 87152 | 527538 0 | 100999 | 0 151.37/151.41 c 137s | 15 | 129955 | 87632 | 527538 0 | 100999 | 0 153.57/153.68 c 140s | 15 | 130484 | 88132 | 527538 0 | 100999 | 0 155.77/155.82 c 142s | 15 | 131095 | 88732 | 527538 0 | 100999 | 0 157.87/157.95 c 144s | 15 | 131697 | 89332 | 527538 0 | 100999 | 0 160.07/160.14 c 146s | 15 | 132294 | 89932 | 527538 0 | 100999 | 0 162.27/162.35 c 148s | 15 | 132803 | 90432 | 527538 0 | 100999 | 0 164.47/164.55 c 151s | 15 | 133299 | 90932 | 527538 0 | 100999 | 0 166.67/166.72 c 153s | 15 | 133806 | 91432 | 527538 0 | 100999 | 0 168.97/169.04 c 155s | 15 | 134308 | 91932 | 527538 0 | 100999 | 0 171.27/171.36 c 157s | 15 | 134813 | 92432 | 527538 0 | 100999 | 0 173.67/173.80 c 160s | 15 | 135301 | 92932 | 527538 0 | 100999 | 0 175.87/175.98 c 162s | 15 | 135907 | 93532 | 527538 0 | 100999 | 0 178.17/178.26 c 164s | 15 | 136610 | 94232 | 527538 0 | 100999 | 0 180.26/180.34 c 166s | 15 | 137215 | 94832 | 527538 0 | 100999 | 0 182.36/182.49 c 169s | 15 | 137929 | 95532 | 527538 0 | 100999 | 0 184.56/184.65 c 171s | 15 | 138524 | 96132 | 527538 0 | 100999 | 0 186.76/186.82 c 173s | 15 | 139134 | 96732 | 527538 0 | 100999 | 0 189.17/189.23 c 175s | 15 | 139841 | 97432 | 527538 0 | 100999 | 0 191.26/191.31 c 177s | 15 | 140441 | 98032 | 527538 0 | 100999 | 0 193.36/193.44 c 180s | 15 | 141035 | 98632 | 527538 0 | 100999 | 0 195.36/195.46 c 182s | 15 | 141640 | 99232 | 527538 0 | 100999 | 0 197.46/197.57 c 184s | 15 | 142441 | 100032 | 527538 0 | 100999 | 0 199.86/199.91 c 186s | 15 | 143142 | 100732 | 527538 0 | 100999 | 0 201.96/202.05 c 188s | 15 | 143845 | 101432 | 527538 0 | 100999 | 0 204.16/204.20 c 190s | 15 | 144549 | 102132 | 527538 0 | 100999 | 0 206.46/206.50 c 193s | 15 | 145254 | 102832 | 527538 0 | 100999 | 0 208.66/208.71 c 195s | 15 | 145849 | 103432 | 527538 0 | 100999 | 0 210.96/211.07 c 197s | 15 | 146446 | 104032 | 527538 0 | 100999 | 0 213.26/213.33 c 199s | 15 | 147055 | 104632 | 527538 0 | 100999 | 0 215.26/215.36 c 201s | 15 | 147552 | 105132 | 527538 0 | 100999 | 0 217.56/217.61 c 204s | 15 | 148059 | 105632 | 527538 0 | 100999 | 0 219.56/219.65 c 206s | 15 | 148557 | 106132 | 527538 0 | 100999 | 0 221.66/221.75 c 208s | 15 | 149057 | 106632 | 527538 0 | 100999 | 0 223.86/223.93 c 210s | 15 | 149657 | 107232 | 527538 0 | 100999 | 0 225.96/226.07 c 212s | 15 | 150366 | 107932 | 527538 0 | 100999 | 0 227.96/228.08 c 214s | 15 | 151066 | 108632 | 527538 0 | 100999 | 0 230.16/230.22 c 216s | 15 | 151667 | 109232 | 527538 0 | 100999 | 0 232.35/232.43 c 219s | 15 | 152271 | 109832 | 527538 0 | 100999 | 0 234.36/234.49 c 221s | 15 | 152872 | 110432 | 527538 0 | 100999 | 0 236.46/236.58 c 223s | 15 | 153378 | 110932 | 527538 0 | 100999 | 0 238.55/238.65 c 225s | 15 | 153879 | 111432 | 527538 0 | 100999 | 0 240.75/240.80 c 227s | 15 | 154380 | 111932 | 527538 0 | 100999 | 0 243.06/243.17 c 229s | 15 | 154978 | 112532 | 527538 0 | 100999 | 0 245.26/245.31 c 231s | 15 | 155582 | 113132 | 527538 0 | 100999 | 0 247.56/247.63 c 234s | 15 | 156280 | 113832 | 527538 0 | 100999 | 0 249.76/249.86 c 236s | 15 | 156986 | 114532 | 527538 0 | 100999 | 0 251.86/251.97 c 238s | 15 | 157586 | 115132 | 527538 0 | 100999 | 0 254.06/254.10 c 240s | 15 | 158187 | 115732 | 527538 0 | 100999 | 0 256.26/256.38 c 242s | 15 | 158786 | 116332 | 527538 0 | 100999 | 0 258.35/258.43 c 245s | 15 | 159290 | 116832 | 527538 0 | 100999 | 0 260.66/260.76 c 247s | 15 | 159792 | 117332 | 527538 0 | 100999 | 0 263.05/263.17 c 249s | 15 | 160293 | 117832 | 527538 0 | 100999 | 0 265.16/265.22 c 251s | 15 | 160792 | 118332 | 527538 0 | 100999 | 0 267.36/267.41 c 253s | 15 | 161293 | 118832 | 527538 0 | 100999 | 0 269.75/269.80 c 256s | 15 | 161796 | 119332 | 527538 0 | 100999 | 0 271.95/272.06 c 258s | 15 | 162304 | 119832 | 527538 0 | 100999 | 0 274.05/274.11 c 260s | 15 | 162804 | 120332 | 527538 0 | 100999 | 0 276.06/276.20 c 262s | 15 | 163307 | 120832 | 527538 0 | 100999 | 0 278.25/278.36 c 264s | 15 | 163806 | 121332 | 527538 0 | 100999 | 0 280.45/280.56 c 267s | 15 | 164313 | 121832 | 527538 0 | 100999 | 0 282.65/282.77 c 269s | 15 | 164815 | 122332 | 527538 0 | 100999 | 0 284.75/284.84 c 271s | 15 | 165316 | 122832 | 527538 0 | 100999 | 0 286.95/287.01 c 273s | 15 | 165717 | 123232 | 527538 0 | 100999 | 0 289.15/289.22 c 275s | 15 | 166115 | 123632 | 527538 0 | 100999 | 0 291.25/291.37 c 277s | 15 | 166518 | 124032 | 527538 0 | 100999 | 0 293.55/293.68 c 280s | 15 | 166918 | 124432 | 527538 0 | 100999 | 0 296.15/296.25 c 282s | 15 | 167316 | 124832 | 527538 0 | 100999 | 0 298.24/298.35 c 284s | 15 | 167725 | 125232 | 527538 0 | 100999 | 0 300.35/300.46 c 287s | 15 | 168124 | 125632 | 527538 0 | 100999 | 0 302.94/303.03 c 289s | 15 | 168622 | 126132 | 527538 0 | 100999 | 0 305.34/305.42 c 291s | 15 | 169030 | 126532 | 527538 0 | 100999 | 0 307.54/307.60 c 294s | 15 | 169431 | 126932 | 527538 0 | 100999 | 0 309.64/309.78 c 296s | 15 | 169831 | 127332 | 527538 0 | 100999 | 0 312.14/312.25 c 298s | 15 | 170231 | 127732 | 527538 0 | 100999 | 0 314.55/314.61 c 301s | 15 | 170629 | 128132 | 527538 0 | 100999 | 0 317.04/317.16 c 303s | 15 | 171031 | 128532 | 527538 0 | 100999 | 0 319.54/319.60 c 306s | 15 | 171440 | 128932 | 527538 0 | 100999 | 0 321.54/321.61 c 308s | 15 | 171643 | 129132 | 527538 0 | 100999 | 0 323.94/324.03 c 310s | 15 | 172045 | 129532 | 527538 0 | 100999 | 0 326.44/326.59 c 313s | 15 | 172441 | 129932 | 527538 0 | 100999 | 0 328.54/328.67 c 315s | 15 | 172744 | 130232 | 527538 0 | 100999 | 0 331.05/331.12 c 317s | 15 | 173142 | 130632 | 527538 0 | 100999 | 0 333.04/333.19 c 319s | 15 | 173446 | 130932 | 580292 0 | 100999 | 0 335.24/335.33 c 321s | 15 | 173743 | 131232 | 580292 0 | 100999 | 0 337.04/337.13 c 323s | 16 | 174071 | 131552 | 580292 0 | 100999 | 0 339.54/339.69 c 326s | 16 | 174300 | 131752 | 580292 0 | 100999 | 0 341.74/341.87 c 328s | 16 | 174603 | 132052 | 580292 0 | 100999 | 0 344.54/344.66 c 331s | 16 | 174898 | 132352 | 580292 0 | 100999 | 0 347.24/347.34 c 333s | 16 | 175201 | 132652 | 580292 0 | 100999 | 0 349.24/349.37 c 335s | 16 | 175505 | 132952 | 580292 0 | 100999 | 0 351.74/351.82 c 338s | 16 | 175899 | 133352 | 580292 0 | 100999 | 0 354.04/354.14 c 340s | 16 | 176207 | 133652 | 580292 0 | 100999 | 0 356.34/356.49 c 343s | 16 | 176511 | 133952 | 580292 0 | 100999 | 0 358.94/359.06 c 345s | 16 | 176903 | 134352 | 580292 0 | 100999 | 0 361.04/361.13 c 347s | 16 | 177210 | 134652 | 580292 0 | 100999 | 0 363.04/363.18 c 349s | 16 | 177517 | 134952 | 580292 0 | 100999 | 0 365.43/365.53 c 352s | 16 | 177816 | 135252 | 580292 0 | 100999 | 0 367.93/368.01 c 354s | 16 | 178114 | 135552 | 580292 0 | 100999 | 0 369.93/370.09 c 356s | 16 | 178421 | 135852 | 580292 0 | 100999 | 0 372.63/372.77 c 359s | 16 | 178821 | 136252 | 580292 0 | 100999 | 0 375.23/375.35 c 361s | 16 | 179120 | 136552 | 580292 0 | 100999 | 0 377.53/377.66 c 364s | 16 | 179518 | 136952 | 580292 0 | 100999 | 0 379.63/379.73 c 366s | 16 | 179819 | 137252 | 580292 0 | 100999 | 0 381.64/381.73 c 368s | 16 | 180125 | 137552 | 580292 0 | 100999 | 0 384.23/384.35 c 370s | 16 | 180525 | 137952 | 580292 0 | 100999 | 0 386.53/386.60 c 373s | 16 | 180926 | 138352 | 580292 0 | 100999 | 0 388.73/388.86 c 375s | 16 | 181321 | 138752 | 580292 0 | 100999 | 0 391.03/391.14 c 377s | 16 | 181729 | 139152 | 580292 0 | 100999 | 0 393.23/393.32 c 379s | 16 | 182125 | 139552 | 580292 0 | 100999 | 0 395.33/395.42 c 381s | 16 | 182638 | 140052 | 580292 0 | 100999 | 0 397.73/397.86 c 384s | 16 | 183028 | 140452 | 580292 0 | 100999 | 0 400.13/400.24 c 386s | 16 | 183436 | 140852 | 580292 0 | 100999 | 0 402.53/402.68 c 389s | 16 | 183838 | 141252 | 580292 0 | 100999 | 0 404.83/404.95 c 391s | 16 | 184242 | 141652 | 580292 0 | 100999 | 0 407.23/407.30 c 393s | 16 | 184645 | 142052 | 580292 0 | 100999 | 0 409.53/409.65 c 396s | 16 | 185042 | 142452 | 580292 0 | 100999 | 0 411.63/411.74 c 398s | 16 | 185441 | 142852 | 580292 0 | 100999 | 0 414.13/414.24 c 400s | 16 | 185845 | 143252 | 580292 0 | 100999 | 0 416.43/416.50 c 403s | 16 | 186148 | 143552 | 580292 0 | 100999 | 0 418.83/418.99 c 405s | 16 | 186540 | 143952 | 580292 0 | 100999 | 0 420.92/421.04 c 407s | 16 | 186781 | 144152 | 580292 0 | 101000 | 0 423.32/423.45 c 410s | 16 | 187071 | 144452 | 580292 0 | 101000 | 0 426.02/426.13 c 412s | 16 | 187486 | 144852 | 580292 0 | 101000 | 0 428.32/428.44 c 415s | 16 | 187778 | 145152 | 580292 0 | 101000 | 0 430.62/430.76 c 417s | 16 | 188076 | 145452 | 580292 0 | 101000 | 0 432.92/433.03 c 419s | 16 | 188479 | 145852 | 580292 0 | 101000 | 0 435.42/435.60 c 422s | 16 | 188887 | 146252 | 580292 0 | 101000 | 0 438.02/438.14 c 424s | 16 | 189183 | 146552 | 580292 0 | 101000 | 0 440.62/440.76 c 427s | 16 | 189589 | 146952 | 580292 0 | 101000 | 0 443.32/443.41 c 429s | 16 | 189883 | 147252 | 580292 0 | 101000 | 0 446.02/446.16 c 432s | 16 | 190282 | 147652 | 580292 0 | 101000 | 0 448.12/448.26 c 434s | 16 | 190582 | 147952 | 580292 0 | 101000 | 0 450.32/450.44 c 437s | 16 | 190901 | 148252 | 580292 0 | 101000 | 0 452.62/452.77 c 439s | 16 | 191206 | 148552 | 580292 0 | 101000 | 0 455.12/455.22 c 441s | 16 | 191504 | 148852 | 580292 0 | 101000 | 0 458.01/458.17 c 444s | 16 | 191795 | 149152 | 580292 0 | 101000 | 0 460.11/460.25 c 446s | 16 | 192100 | 149452 | 580292 0 | 101000 | 0 462.61/462.72 c 449s | 16 | 192395 | 149752 | 580292 0 | 101000 | 0 465.32/465.48 c 452s | 16 | 192696 | 150052 | 580292 0 | 101000 | 0 468.01/468.19 c 454s | 16 | 193106 | 150452 | 580292 0 | 101000 | 0 470.51/470.67 c 457s | 16 | 193408 | 150752 | 580292 0 | 101000 | 0 473.02/473.19 c 459s | 16 | 193709 | 151052 | 580292 0 | 101000 | 0 475.71/475.85 c 462s | 16 | 194103 | 151452 | 580292 0 | 101000 | 0 478.31/478.41 c 464s | 16 | 194510 | 151852 | 580292 0 | 101000 | 0 480.41/480.52 c 467s | 16 | 194815 | 152152 | 580292 0 | 101000 | 0 482.51/482.62 c 469s | 16 | 195117 | 152452 | 580292 0 | 101000 | 0 485.12/485.25 c 471s | 16 | 195509 | 152852 | 580292 0 | 101000 | 0 487.51/487.66 c 474s | 16 | 195910 | 153252 | 580292 0 | 101000 | 0 489.81/489.92 c 476s | 16 | 196220 | 153552 | 580292 0 | 101000 | 0 491.81/491.95 c 478s | 16 | 196521 | 153852 | 580292 0 | 101000 | 0 494.01/494.10 c 480s | 16 | 196819 | 154152 | 580292 0 | 101000 | 0 496.02/496.17 c 482s | 16 | 197218 | 154552 | 580292 0 | 101000 | 0 498.22/498.31 c 484s | 16 | 197522 | 154852 | 580292 0 | 101000 | 0 501.01/501.18 c 487s | 16 | 197925 | 155252 | 580292 0 | 101000 | 0 503.41/503.52 c 490s | 16 | 198223 | 155552 | 580292 0 | 101000 | 0 505.91/506.04 c 492s | 16 | 198526 | 155852 | 580292 0 | 101000 | 0 508.31/508.43 c 495s | 16 | 198829 | 156152 | 580292 0 | 101000 | 0 510.61/510.73 c 497s | 16 | 199128 | 156452 | 580292 0 | 101000 | 0 513.11/513.23 c 499s | 16 | 199424 | 156752 | 580292 0 | 101000 | 0 515.50/515.61 c 502s | 16 | 199733 | 157052 | 580292 0 | 101000 | 0 518.20/518.35 c 504s | 16 | 200031 | 157352 | 580292 0 | 101000 | 0 520.31/520.50 c 507s | 16 | 200328 | 157652 | 580292 0 | 101000 | 0 522.90/523.06 c 509s | 16 | 200631 | 157952 | 580292 0 | 101000 | 0 525.50/525.68 c 512s | 16 | 200940 | 158252 | 580292 0 | 101000 | 0 527.91/528.01 c 514s | 16 | 201134 | 158452 | 580292 0 | 101000 | 0 530.21/530.39 c 516s | 16 | 201436 | 158752 | 580292 0 | 101000 | 0 533.10/533.27 c 519s | 16 | 201736 | 159052 | 580292 0 | 101000 | 0 535.61/535.71 c 522s | 16 | 202037 | 159352 | 580292 0 | 101000 | 0 538.20/538.30 c 524s | 16 | 202348 | 159652 | 580292 0 | 101000 | 0 541.21/541.32 c 527s | 16 | 202641 | 159952 | 580292 0 | 101000 | 0 543.61/543.77 c 530s | 16 | 202845 | 160152 | 580292 0 | 101000 | 0 546.71/546.89 c 533s | 16 | 203049 | 160352 | 580292 0 | 101000 | 0 549.21/549.35 c 535s | 16 | 203348 | 160652 | 580292 0 | 101000 | 0 551.81/551.97 c 538s | 16 | 203655 | 160952 | 580292 0 | 101000 | 0 554.00/554.16 c 540s | 16 | 203954 | 161252 | 580292 0 | 101000 | 0 556.51/556.62 c 543s | 16 | 204244 | 161552 | 580292 0 | 101000 | 0 558.60/558.77 c 545s | 16 | 204551 | 161852 | 580292 0 | 101000 | 0 560.80/560.99 c 547s | 16 | 204851 | 162152 | 580292 0 | 101000 | 0 563.21/563.30 c 549s | 16 | 205150 | 162452 | 580292 0 | 101000 | 0 565.31/565.49 c 552s | 16 | 205451 | 162752 | 580292 0 | 101000 | 0 567.40/567.59 c 554s | 16 | 205755 | 163052 | 580292 0 | 101000 | 0 569.50/569.67 c 556s | 16 | 206059 | 163352 | 580292 0 | 101000 | 0 571.80/571.92 c 558s | 16 | 206365 | 163652 | 580292 0 | 101000 | 0 574.00/574.16 c 560s | 16 | 206666 | 163952 | 580292 0 | 101000 | 0 576.31/576.47 c 563s | 16 | 206962 | 164252 | 580292 0 | 101000 | 0 578.61/578.73 c 565s | 16 | 207265 | 164552 | 580292 0 | 101000 | 0 580.90/581.01 c 567s | 16 | 207567 | 164852 | 580292 0 | 101000 | 0 583.40/583.51 c 570s | 16 | 207969 | 165252 | 580292 0 | 101000 | 0 586.00/586.10 c 572s | 16 | 208371 | 165652 | 580292 0 | 101000 | 0 588.30/588.40 c 574s | 16 | 208773 | 166052 | 580292 0 | 101000 | 0 590.61/590.76 c 577s | 16 | 209167 | 166452 | 580292 0 | 101000 | 0 592.81/592.93 c 579s | 16 | 209575 | 166852 | 580292 0 | 101000 | 0 594.80/594.99 c 581s | 16 | 209973 | 167252 | 580292 0 | 101000 | 0 597.21/597.38 c 583s | 16 | 210369 | 167652 | 580292 0 | 101000 | 0 600.00/600.11 c 586s | 16 | 210779 | 168052 | 580292 0 | 101000 | 0 602.30/602.46 c 589s | 16 | 211177 | 168452 | 580292 0 | 101000 | 0 604.60/604.75 c 591s | 16 | 211577 | 168852 | 580292 0 | 101000 | 0 607.20/607.35 c 593s | 16 | 211980 | 169252 | 580292 0 | 101000 | 0 609.70/609.85 c 596s | 16 | 212278 | 169552 | 580292 0 | 101000 | 0 612.30/612.46 c 599s | 16 | 212577 | 169852 | 580292 0 | 101000 | 0 615.10/615.21 c 601s | 16 | 212878 | 170152 | 580292 0 | 101000 | 0 617.50/617.60 c 604s | 16 | 213177 | 170452 | 580292 0 | 101000 | 0 619.69/619.84 c 606s | 16 | 213481 | 170752 | 580292 0 | 101000 | 0 622.39/622.59 c 609s | 16 | 213783 | 171052 | 580292 0 | 101000 | 0 625.39/625.54 c 612s | 16 | 214077 | 171352 | 580292 0 | 101000 | 0 627.59/627.71 c 614s | 16 | 214379 | 171652 | 580292 0 | 101000 | 0 629.79/629.91 c 616s | 16 | 214680 | 171952 | 580292 0 | 101000 | 0 632.19/632.30 c 618s | 16 | 214984 | 172252 | 580292 0 | 101000 | 0 634.70/634.87 c 621s | 16 | 215388 | 172652 | 580292 0 | 101000 | 0 636.99/637.18 c 623s | 16 | 215687 | 172952 | 580292 0 | 101000 | 0 639.39/639.59 c 626s | 16 | 215983 | 173252 | 580292 0 | 101000 | 0 641.59/641.77 c 628s | 16 | 216287 | 173552 | 580292 0 | 101000 | 0 643.79/643.95 c 630s | 16 | 216585 | 173852 | 580292 0 | 101000 | 0 645.89/646.03 c 632s | 16 | 216884 | 174152 | 580292 0 | 101000 | 0 648.39/648.58 c 635s | 16 | 217291 | 174552 | 580292 0 | 101000 | 0 650.69/650.80 c 637s | 16 | 217589 | 174852 | 580292 0 | 101000 | 0 652.79/652.98 c 639s | 16 | 217890 | 175152 | 580292 0 | 101000 | 0 655.79/655.96 c 642s | 16 | 218189 | 175452 | 580292 0 | 101000 | 0 658.69/658.90 c 645s | 16 | 218500 | 175752 | 580292 0 | 101000 | 0 660.99/661.18 c 647s | 16 | 218804 | 176052 | 580292 0 | 101000 | 0 663.59/663.70 c 650s | 16 | 219101 | 176352 | 580292 0 | 101000 | 0 665.99/666.19 c 652s | 16 | 219408 | 176652 | 580292 0 | 101000 | 0 668.69/668.85 c 655s | 16 | 219703 | 176952 | 580292 0 | 101000 | 0 670.79/670.92 c 657s | 16 | 219912 | 177152 | 580292 0 | 101000 | 0 673.28/673.43 c 660s | 16 | 220206 | 177452 | 580292 0 | 101000 | 0 675.68/675.82 c 662s | 16 | 220507 | 177752 | 580292 0 | 101000 | 0 677.98/678.12 c 664s | 16 | 220807 | 178052 | 580292 0 | 101000 | 0 680.08/680.26 c 666s | 16 | 221113 | 178352 | 580292 0 | 101000 | 0 682.68/682.82 c 669s | 16 | 221406 | 178652 | 580292 0 | 101000 | 0 685.08/685.25 c 671s | 16 | 221712 | 178952 | 580292 0 | 101000 | 0 687.68/687.84 c 674s | 16 | 222109 | 179352 | 580292 0 | 101000 | 0 689.98/690.12 c 676s | 16 | 222408 | 179652 | 580292 0 | 101000 | 0 692.18/692.33 c 678s | 16 | 222711 | 179952 | 580292 0 | 101000 | 0 694.48/694.67 c 681s | 16 | 222916 | 180152 | 580292 0 | 101000 | 0 696.68/696.86 c 683s | 16 | 223116 | 180352 | 580292 0 | 101000 | 0 698.78/698.90 c 685s | 16 | 223414 | 180652 | 580292 0 | 101000 | 0 701.18/701.33 c 687s | 16 | 223714 | 180952 | 580292 0 | 101000 | 0 703.58/703.77 c 690s | 16 | 224018 | 181252 | 580292 0 | 101000 | 0 705.98/706.16 c 692s | 16 | 224319 | 181552 | 580292 0 | 101000 | 0 708.58/708.76 c 695s | 16 | 224719 | 181952 | 580292 0 | 101000 | 0 711.08/711.26 c 697s | 16 | 225017 | 182252 | 580292 0 | 101000 | 0 713.68/713.84 c 700s | 16 | 225317 | 182552 | 580292 0 | 101000 | 0 715.88/716.09 c 702s | 16 | 225614 | 182852 | 580292 0 | 101000 | 0 718.38/718.58 c 705s | 16 | 225919 | 183152 | 580292 0 | 101000 | 0 721.28/721.47 c 708s | 16 | 226216 | 183452 | 580292 0 | 101000 | 0 723.48/723.69 c 710s | 16 | 226518 | 183752 | 580292 0 | 101000 | 0 725.58/725.76 c 712s | 16 | 226826 | 184052 | 580292 0 | 101000 | 0 728.08/728.26 c 714s | 16 | 227127 | 184352 | 580292 0 | 101000 | 0 730.38/730.56 c 717s | 16 | 227428 | 184652 | 580292 0 | 101000 | 0 732.68/732.87 c 719s | 16 | 227721 | 184952 | 580292 0 | 101000 | 0 734.88/735.06 c 721s | 16 | 228024 | 185252 | 580292 0 | 101000 | 0 737.57/737.72 c 724s | 16 | 228424 | 185652 | 580292 0 | 101000 | 0 739.87/740.03 c 726s | 16 | 228728 | 185952 | 580292 0 | 101000 | 0 742.27/742.50 c 729s | 16 | 229029 | 186252 | 580292 0 | 101000 | 0 745.27/745.41 c 731s | 16 | 229340 | 186552 | 580292 0 | 101000 | 0 747.37/747.53 c 734s | 16 | 229536 | 186752 | 580292 0 | 101000 | 0 749.47/749.61 c 736s | 16 | 229732 | 186952 | 580292 0 | 101000 | 0 751.67/751.87 c 738s | 16 | 230031 | 187252 | 580292 0 | 101000 | 0 753.87/754.05 c 740s | 16 | 230337 | 187552 | 580292 0 | 101000 | 0 756.17/756.36 c 742s | 16 | 230639 | 187852 | 580292 0 | 101000 | 0 758.98/759.11 c 745s | 16 | 230936 | 188152 | 580292 0 | 101000 | 0 761.27/761.45 c 748s | 16 | 231235 | 188452 | 580292 0 | 101000 | 0 764.07/764.23 c 750s | 16 | 231638 | 188852 | 580292 0 | 101000 | 0 766.37/766.57 c 753s | 16 | 231936 | 189152 | 580292 0 | 101000 | 0 768.97/769.11 c 755s | 16 | 232240 | 189452 | 580292 0 | 101000 | 0 771.57/771.72 c 758s | 16 | 232540 | 189752 | 580292 0 | 101000 | 0 773.87/774.02 c 760s | 16 | 232848 | 190052 | 580292 0 | 101000 | 0 776.17/776.37 c 762s | 16 | 233145 | 190352 | 580292 0 | 101000 | 0 778.68/778.81 c 765s | 16 | 233447 | 190652 | 580292 0 | 101000 | 0 781.07/781.26 c 767s | 16 | 233747 | 190952 | 580292 0 | 101000 | 0 783.67/783.85 c 770s | 16 | 234050 | 191252 | 580292 0 | 101000 | 0 786.67/786.84 c 773s | 16 | 234348 | 191552 | 580292 0 | 101000 | 0 788.87/789.02 c 775s | 16 | 234551 | 191752 | 580292 0 | 101000 | 0 791.67/791.82 c 778s | 16 | 234853 | 192052 | 580292 0 | 101000 | 0 794.67/794.81 c 781s | 16 | 235149 | 192352 | 580292 0 | 101000 | 0 797.97/798.13 c 784s | 16 | 235454 | 192652 | 580292 0 | 101000 | 0 799.97/800.13 c 786s | 16 | 235652 | 192852 | 580292 0 | 101000 | 0 801.97/802.15 c 788s | 16 | 235855 | 193052 | 580292 0 | 101000 | 0 804.76/804.99 c 791s | 16 | 236158 | 193352 | 580292 0 | 101000 | 0 807.56/807.75 c 794s | 16 | 236461 | 193652 | 580292 0 | 101000 | 0 810.36/810.59 c 797s | 16 | 236757 | 193952 | 580292 0 | 101000 | 0 813.06/813.28 c 799s | 16 | 237061 | 194252 | 580292 0 | 101000 | 0 815.36/815.58 c 802s | 16 | 237367 | 194552 | 580292 0 | 101000 | 0 817.76/817.95 c 804s | 16 | 237562 | 194752 | 580292 0 | 101000 | 0 820.66/820.84 c 807s | 16 | 237862 | 195052 | 580292 0 | 101000 | 0 823.26/823.49 c 810s | 16 | 238164 | 195352 | 580292 0 | 101000 | 0 825.36/825.51 c 812s | 16 | 238363 | 195552 | 580292 0 | 101000 | 0 827.66/827.84 c 814s | 16 | 238570 | 195752 | 580292 0 | 101000 | 0 829.86/830.05 c 816s | 16 | 238766 | 195952 | 580292 0 | 101000 | 0 832.06/832.25 c 818s | 16 | 238975 | 196152 | 638322 0 | 101000 | 0 834.26/834.41 c 820s | 16 | 239169 | 196352 | 638322 0 | 101000 | 0 837.07/837.26 c 823s | 16 | 239473 | 196652 | 638322 0 | 101000 | 0 839.76/839.93 c 826s | 16 | 239666 | 196852 | 638322 0 | 101000 | 0 842.86/843.07 c 829s | 16 | 239969 | 197152 | 638322 0 | 101000 | 0 845.46/845.67 c 832s | 16 | 240174 | 197352 | 638322 0 | 101000 | 0 846.56/846.76 c 833s | 17 | 240250 | 197432 | 638322 0 | 101000 | 0 848.86/849.03 c 835s | 17 | 240371 | 197532 | 638322 0 | 101000 | 0 851.36/851.58 c 838s | 17 | 240580 | 197732 | 638322 0 | 101000 | 0 854.76/854.94 c 841s | 17 | 240773 | 197932 | 638322 0 | 101000 | 0 857.15/857.34 c 843s | 17 | 240977 | 198132 | 638322 0 | 101000 | 0 859.75/859.98 c 846s | 17 | 241176 | 198332 | 638322 0 | 101000 | 0 862.65/862.88 c 849s | 17 | 241376 | 198532 | 638322 0 | 101000 | 0 865.05/865.21 c 851s | 17 | 241585 | 198732 | 638322 0 | 101000 | 0 867.76/867.91 c 854s | 17 | 241796 | 198932 | 638322 0 | 101000 | 0 870.75/870.98 c 857s | 17 | 241996 | 199132 | 638322 0 | 101000 | 0 873.55/873.73 c 860s | 17 | 242198 | 199332 | 638322 0 | 101000 | 0 875.75/875.96 c 862s | 17 | 242398 | 199532 | 638322 0 | 101000 | 0 877.95/878.14 c 864s | 17 | 242597 | 199732 | 638322 0 | 101000 | 0 880.15/880.34 c 866s | 17 | 242797 | 199932 | 638322 0 | 101000 | 0 882.95/883.16 c 869s | 17 | 242994 | 200132 | 638322 0 | 101000 | 0 884.95/885.19 c 871s | 17 | 243201 | 200332 | 638322 0 | 101000 | 0 887.25/887.48 c 874s | 17 | 243401 | 200532 | 638322 0 | 101000 | 0 890.05/890.28 c 876s | 17 | 243702 | 200832 | 638322 0 | 101000 | 0 892.25/892.49 c 879s | 17 | 243899 | 201032 | 638322 0 | 101000 | 0 894.95/895.16 c 881s | 17 | 244097 | 201232 | 638322 0 | 101000 | 0 897.46/897.66 c 884s | 17 | 244302 | 201432 | 638322 0 | 101000 | 0 899.55/899.72 c 886s | 17 | 244500 | 201632 | 638322 0 | 101000 | 0 901.75/901.94 c 888s | 17 | 244704 | 201832 | 638322 0 | 101000 | 0 904.25/904.46 c 891s | 17 | 244908 | 202032 | 638322 0 | 101000 | 0 906.85/907.03 c 893s | 17 | 245108 | 202232 | 638322 0 | 101000 | 0 909.35/909.59 c 896s | 17 | 245307 | 202432 | 638322 0 | 101000 | 0 911.45/911.66 c 898s | 17 | 245510 | 202632 | 638322 0 | 101000 | 0 913.65/913.89 c 900s | 17 | 245706 | 202832 | 638322 0 | 101000 | 0 915.95/916.17 c 902s | 17 | 245906 | 203032 | 638322 0 | 101000 | 0 918.15/918.33 c 904s | 17 | 246105 | 203232 | 638322 0 | 101000 | 0 920.25/920.44 c 907s | 17 | 246305 | 203432 | 638322 0 | 101000 | 0 922.44/922.61 c 909s | 17 | 246509 | 203632 | 638322 0 | 101000 | 0 925.34/925.54 c 912s | 17 | 246815 | 203932 | 638322 0 | 101000 | 0 928.35/928.53 c 915s | 17 | 247111 | 204232 | 638322 0 | 101000 | 0 931.34/931.53 c 918s | 17 | 247418 | 204532 | 638322 0 | 101000 | 0 933.54/933.77 c 920s | 17 | 247613 | 204732 | 638322 0 | 101000 | 0 935.54/935.80 c 922s | 17 | 247813 | 204932 | 638322 0 | 101000 | 0 938.54/938.75 c 925s | 17 | 248116 | 205232 | 638322 0 | 101000 | 0 940.64/940.81 c 927s | 17 | 248316 | 205432 | 638322 0 | 101000 | 0 943.04/943.28 c 929s | 17 | 248513 | 205632 | 638322 0 | 101000 | 0 945.34/945.55 c 932s | 17 | 248716 | 205832 | 638322 0 | 101000 | 0 947.54/947.74 c 934s | 17 | 248913 | 206032 | 638322 0 | 101000 | 0 950.74/950.90 c 937s | 17 | 249220 | 206332 | 638322 0 | 101000 | 0 953.34/953.56 c 940s | 17 | 249419 | 206532 | 638322 0 | 101000 | 0 955.44/955.69 c 942s | 17 | 249622 | 206732 | 638322 0 | 101000 | 0 957.84/958.08 c 944s | 17 | 249825 | 206932 | 638322 0 | 101000 | 0 959.94/960.13 c 946s | 17 | 250021 | 207132 | 638322 0 | 101000 | 0 962.14/962.36 c 948s | 17 | 250225 | 207332 | 638322 0 | 101000 | 0 964.55/964.77 c 951s | 17 | 250429 | 207532 | 638322 0 | 101000 | 0 967.54/967.70 c 954s | 17 | 250628 | 207732 | 638322 0 | 101000 | 0 969.74/969.96 c 956s | 17 | 250830 | 207932 | 638322 0 | 101000 | 0 971.94/972.14 c 958s | 17 | 251029 | 208132 | 638322 0 | 101000 | 0 974.04/974.27 c 960s | 17 | 251223 | 208332 | 638322 0 | 101000 | 0 976.74/976.96 c 963s | 17 | 251428 | 208532 | 638322 0 | 101000 | 0 979.44/979.65 c 966s | 17 | 251633 | 208732 | 638322 0 | 101000 | 0 982.44/982.68 c 969s | 17 | 251827 | 208932 | 638322 0 | 101000 | 0 985.14/985.34 c 971s | 17 | 252029 | 209132 | 638322 0 | 101000 | 0 987.24/987.46 c 974s | 17 | 252228 | 209332 | 638322 0 | 101000 | 0 989.84/990.01 c 976s | 17 | 252429 | 209532 | 638322 0 | 101000 | 0 991.83/992.03 c 978s | 17 | 252629 | 209732 | 638322 0 | 101000 | 0 993.83/994.05 c 980s | 17 | 252837 | 209932 | 638322 0 | 101000 | 0 995.83/996.08 c 982s | 17 | 253032 | 210132 | 638322 0 | 101000 | 0 998.74/998.99 c 985s | 17 | 253331 | 210432 | 638322 0 | 101000 | 0 1001.43/1001.69 c 988s | 17 | 253636 | 210732 | 638322 0 | 101000 | 0 1004.24/1004.44 c 991s | 17 | 253935 | 211032 | 638322 0 | 101000 | 0 1007.03/1007.21 c 993s | 17 | 254237 | 211332 | 638322 0 | 101000 | 0 1009.53/1009.73 c 996s | 17 | 254536 | 211632 | 638322 0 | 101000 | 0 1011.63/1011.83 c 998s | 17 | 255111 | 212132 | 638322 0 | 101000 | 0 1013.73/1013.91 c 1000s | 17 | 255533 | 212532 | 638322 0 | 101000 | 0 1016.24/1016.46 c 1003s | 17 | 256065 | 213032 | 638322 0 | 101000 | 0 1018.44/1018.69 c 1005s | 17 | 256503 | 213432 | 638322 0 | 101000 | 0 1020.64/1020.89 c 1007s | 17 | 257062 | 213932 | 638322 0 | 101000 | 0 1022.73/1022.96 c 1009s | 17 | 257604 | 214432 | 638322 0 | 101000 | 0 1024.83/1025.01 c 1011s | 17 | 258043 | 214832 | 638322 0 | 101000 | 0 1027.24/1027.49 c 1014s | 17 | 258503 | 215232 | 638322 0 | 101000 | 0 1029.73/1029.94 c 1016s | 17 | 259221 | 215932 | 638322 0 | 101000 | 0 1032.23/1032.46 c 1019s | 17 | 259721 | 216432 | 638322 0 | 101000 | 0 1034.53/1034.71 c 1021s | 17 | 260134 | 216832 | 638322 0 | 101000 | 0 1036.63/1036.88 c 1023s | 17 | 260530 | 217232 | 638322 0 | 101000 | 0 1039.23/1039.49 c 1026s | 17 | 260937 | 217632 | 638322 0 | 101000 | 0 1042.13/1042.34 c 1028s | 17 | 261461 | 218132 | 638322 0 | 101000 | 0 1044.83/1045.03 c 1031s | 17 | 261901 | 218532 | 638322 0 | 101000 | 0 1046.93/1047.15 c 1033s | 17 | 262352 | 218932 | 638322 0 | 101000 | 0 1049.33/1049.55 c 1036s | 17 | 263089 | 219632 | 638322 0 | 101000 | 0 1051.53/1051.79 c 1038s | 17 | 263487 | 220032 | 638322 0 | 101000 | 0 1053.63/1053.85 c 1040s | 17 | 263789 | 220332 | 638322 0 | 101000 | 0 1055.72/1055.90 c 1042s | 17 | 264192 | 220732 | 638322 0 | 101000 | 0 1058.32/1058.56 c 1045s | 17 | 264604 | 221132 | 638322 0 | 101000 | 0 1060.72/1060.99 c 1047s | 17 | 264906 | 221432 | 638322 0 | 101000 | 0 1063.02/1063.27 c 1049s | 17 | 265335 | 221832 | 638322 0 | 101000 | 0 1065.22/1065.42 c 1051s | 17 | 265640 | 222132 | 638322 0 | 101000 | 0 1067.62/1067.89 c 1054s | 17 | 266084 | 222532 | 638322 0 | 101000 | 0 1070.02/1070.22 c 1056s | 17 | 266444 | 222832 | 638322 0 | 101000 | 0 1072.33/1072.58 c 1059s | 17 | 267158 | 223532 | 638322 0 | 101000 | 0 1074.72/1074.94 c 1061s | 17 | 267566 | 223932 | 638322 0 | 101000 | 0 1077.22/1077.44 c 1064s | 17 | 267977 | 224332 | 638322 0 | 101000 | 0 1079.62/1079.80 c 1066s | 17 | 268272 | 224632 | 638322 0 | 101000 | 0 1082.12/1082.36 c 1068s | 17 | 268585 | 224932 | 638322 0 | 101000 | 0 1084.22/1084.49 c 1071s | 17 | 269083 | 225432 | 638322 0 | 101000 | 0 1086.32/1086.56 c 1073s | 17 | 269418 | 225732 | 638322 0 | 101000 | 0 1089.12/1089.35 c 1075s | 17 | 269715 | 226032 | 638322 0 | 101000 | 0 1091.52/1091.74 c 1078s | 17 | 270044 | 226332 | 638322 0 | 101000 | 0 1093.92/1094.17 c 1080s | 17 | 270424 | 226732 | 638322 0 | 101000 | 0 1096.22/1096.40 c 1082s | 17 | 270886 | 227132 | 638322 0 | 101000 | 0 1099.22/1099.47 c 1086s | 17 | 271085 | 227332 | 638322 0 | 101000 | 0 1102.32/1102.50 c 1089s | 17 | 271286 | 227532 | 638322 0 | 101000 | 0 1105.02/1105.21 c 1091s | 17 | 271475 | 227732 | 638322 0 | 101000 | 0 1107.12/1107.32 c 1093s | 17 | 271796 | 228032 | 638322 0 | 101000 | 0 1109.12/1109.39 c 1095s | 17 | 272203 | 228432 | 638322 0 | 101000 | 0 1111.22/1111.42 c 1097s | 17 | 272612 | 228832 | 638322 0 | 101000 | 0 1113.31/1113.51 c 1100s | 17 | 273315 | 229532 | 638322 0 | 101000 | 0 1115.32/1115.51 c 1102s | 17 | 273919 | 230132 | 638322 0 | 101000 | 0 1117.52/1117.71 c 1104s | 17 | 274639 | 230832 | 638322 0 | 101000 | 0 1119.62/1119.87 c 1106s | 17 | 275065 | 231232 | 638322 0 | 101000 | 0 1122.11/1122.38 c 1108s | 17 | 275485 | 231632 | 638322 0 | 101000 | 0 1124.81/1125.05 c 1111s | 17 | 275988 | 232132 | 638322 0 | 101000 | 0 1127.71/1127.99 c 1114s | 17 | 276404 | 232532 | 638322 0 | 101000 | 0 1130.41/1130.63 c 1117s | 17 | 276701 | 232832 | 638322 0 | 101000 | 0 1132.61/1132.83 c 1119s | 17 | 277018 | 233132 | 638322 0 | 101000 | 0 1135.12/1135.38 c 1121s | 17 | 277406 | 233532 | 638322 0 | 101000 | 0 1137.32/1137.53 c 1124s | 17 | 277735 | 233832 | 638322 0 | 101000 | 0 1140.31/1140.57 c 1127s | 17 | 278033 | 234132 | 638322 0 | 101000 | 0 1142.72/1142.94 c 1129s | 17 | 278229 | 234332 | 638322 0 | 101000 | 0 1145.21/1145.47 c 1132s | 17 | 278546 | 234632 | 638322 0 | 101000 | 0 1147.41/1147.63 c 1134s | 17 | 278730 | 234832 | 638322 0 | 101000 | 0 1150.01/1150.26 c 1136s | 17 | 279030 | 235132 | 638322 0 | 101000 | 0 1152.81/1153.00 c 1139s | 17 | 279355 | 235432 | 638322 0 | 101000 | 0 1155.31/1155.55 c 1142s | 17 | 279811 | 235832 | 638322 0 | 101000 | 0 1157.51/1157.74 c 1144s | 17 | 280050 | 236032 | 638322 0 | 101000 | 0 1160.41/1160.63 c 1147s | 17 | 280450 | 236432 | 638322 0 | 101000 | 0 1162.70/1162.91 c 1149s | 17 | 280651 | 236632 | 638322 0 | 101000 | 0 1165.60/1165.86 c 1152s | 17 | 281116 | 237032 | 638322 0 | 101000 | 0 1167.80/1168.01 c 1154s | 17 | 281413 | 237332 | 638322 0 | 101000 | 0 1170.99/1171.26 c 1157s | 17 | 281746 | 237632 | 638322 0 | 101000 | 0 1173.39/1173.61 c 1160s | 17 | 282084 | 237932 | 638322 0 | 101000 | 0 1176.39/1176.63 c 1163s | 17 | 282417 | 238232 | 638322 0 | 101000 | 0 1178.89/1179.11 c 1165s | 17 | 282752 | 238532 | 638322 0 | 101000 | 0 1181.10/1181.37 c 1167s | 17 | 283368 | 239132 | 638322 0 | 101000 | 0 1183.60/1183.87 c 1170s | 17 | 283769 | 239532 | 638322 0 | 101000 | 0 1186.39/1186.62 c 1173s | 17 | 284173 | 239932 | 638322 0 | 101000 | 0 1189.29/1189.57 c 1176s | 17 | 284476 | 240232 | 638322 0 | 101000 | 0 1191.79/1192.02 c 1178s | 17 | 284880 | 240632 | 638322 0 | 101000 | 0 1193.89/1194.13 c 1180s | 17 | 285081 | 240832 | 638322 0 | 101000 | 0 1195.99/1196.29 c 1182s | 17 | 285280 | 241032 | 638322 0 | 101000 | 0 1198.29/1198.53 c 1185s | 17 | 285479 | 241232 | 638322 0 | 101000 | 0 1200.79/1201.05 c 1187s | 17 | 285806 | 241532 | 638322 0 | 101000 | 0 1203.39/1203.63 c 1190s | 17 | 286420 | 242132 | 638322 0 | 101000 | 0 1205.49/1205.79 c 1192s | 17 | 286653 | 242332 | 638322 0 | 101000 | 0 1207.59/1207.82 c 1194s | 17 | 287269 | 242932 | 638322 0 | 101000 | 0 1209.79/1210.06 c 1196s | 17 | 287761 | 243432 | 638322 0 | 101000 | 0 1211.89/1212.19 c 1198s | 17 | 288062 | 243732 | 638322 0 | 101000 | 0 1214.09/1214.34 c 1200s | 17 | 288365 | 244032 | 638322 0 | 101000 | 0 1216.29/1216.60 c 1203s | 17 | 288675 | 244332 | 638322 0 | 101000 | 0 1218.69/1218.96 c 1205s | 17 | 288974 | 244632 | 638322 0 | 101000 | 0 1221.18/1221.48 c 1208s | 17 | 289287 | 244932 | 638322 0 | 101000 | 0 1223.58/1223.84 c 1210s | 17 | 289592 | 245232 | 638322 0 | 101000 | 0 1225.88/1226.17 c 1212s | 17 | 289889 | 245532 | 638322 0 | 101000 | 0 1228.08/1228.34 c 1214s | 17 | 290223 | 245832 | 638322 0 | 101000 | 0 1230.48/1230.77 c 1217s | 17 | 290534 | 246132 | 638322 0 | 101000 | 0 1233.08/1233.39 c 1219s | 17 | 290832 | 246432 | 638322 0 | 101000 | 0 1235.28/1235.57 c 1222s | 17 | 291181 | 246732 | 638322 0 | 101000 | 0 1237.58/1237.84 c 1224s | 17 | 291500 | 247032 | 638322 0 | 101000 | 0 1240.88/1241.10 c 1227s | 17 | 291902 | 247432 | 638322 0 | 101000 | 0 1243.78/1244.03 c 1230s | 17 | 292106 | 247632 | 638322 0 | 101000 | 0 1245.98/1246.26 c 1232s | 17 | 292293 | 247832 | 638322 0 | 101000 | 0 1248.18/1248.45 c 1235s | 17 | 292495 | 248032 | 638322 0 | 101000 | 0 1251.28/1251.51 c 1238s | 17 | 292945 | 248432 | 638322 0 | 101000 | 0 1253.48/1253.79 c 1240s | 17 | 293244 | 248732 | 638322 0 | 101000 | 0 1256.18/1256.43 c 1243s | 17 | 293571 | 249032 | 638322 0 | 101000 | 0 1259.08/1259.33 c 1245s | 17 | 293877 | 249332 | 638322 0 | 101000 | 0 1261.49/1261.77 c 1248s | 17 | 294205 | 249632 | 638322 0 | 101000 | 0 1264.28/1264.59 c 1251s | 17 | 294524 | 249932 | 638322 0 | 101000 | 0 1266.38/1266.66 c 1253s | 17 | 294859 | 250232 | 638322 0 | 101000 | 0 1269.98/1270.22 c 1256s | 17 | 295062 | 250432 | 638322 0 | 101000 | 0 1272.88/1273.14 c 1259s | 17 | 295251 | 250632 | 638322 0 | 101000 | 0 1275.08/1275.30 c 1261s | 17 | 295450 | 250832 | 638322 0 | 101000 | 0 1277.88/1278.17 c 1264s | 17 | 295748 | 251132 | 638322 0 | 101000 | 0 1280.47/1280.79 c 1267s | 17 | 296057 | 251432 | 638322 0 | 101000 | 0 1282.57/1282.90 c 1269s | 17 | 296472 | 251832 | 638322 0 | 101000 | 0 1284.87/1285.10 c 1271s | 17 | 296658 | 252032 | 638322 0 | 101000 | 0 1287.37/1287.69 c 1274s | 17 | 296856 | 252232 | 638322 0 | 101000 | 0 1289.87/1290.19 c 1276s | 17 | 297276 | 252632 | 638322 0 | 101000 | 0 1292.97/1293.25 c 1279s | 17 | 297672 | 253032 | 638322 0 | 101000 | 0 1295.27/1295.52 c 1282s | 17 | 298185 | 253532 | 638322 0 | 101000 | 0 1297.67/1297.91 c 1284s | 17 | 298698 | 254032 | 638322 0 | 101000 | 0 1299.97/1300.27 c 1286s | 17 | 299098 | 254432 | 638322 0 | 101000 | 0 1302.87/1303.11 c 1289s | 17 | 299498 | 254832 | 638322 0 | 101000 | 0 1305.07/1305.38 c 1291s | 17 | 299814 | 255132 | 638322 0 | 101000 | 0 1307.17/1307.41 c 1293s | 17 | 300140 | 255432 | 638322 0 | 101000 | 0 1309.76/1310.02 c 1296s | 17 | 300532 | 255832 | 638322 0 | 101000 | 0 1312.76/1313.05 c 1299s | 17 | 300838 | 256132 | 638322 0 | 101000 | 0 1315.66/1315.94 c 1302s | 17 | 301036 | 256332 | 638322 0 | 101000 | 0 1318.36/1318.61 c 1305s | 17 | 301343 | 256632 | 638322 0 | 101000 | 0 1320.76/1321.01 c 1307s | 17 | 301758 | 257032 | 638322 0 | 101000 | 0 1323.26/1323.55 c 1310s | 17 | 302110 | 257332 | 638322 0 | 101000 | 0 1325.96/1326.25 c 1312s | 17 | 302415 | 257632 | 638322 0 | 101000 | 0 1328.96/1329.29 c 1315s | 17 | 302714 | 257932 | 638322 0 | 101000 | 0 1332.56/1332.89 c 1319s | 17 | 302911 | 258132 | 638322 0 | 101000 | 0 1335.46/1335.75 c 1322s | 17 | 303106 | 258332 | 638322 0 | 101000 | 0 1338.35/1338.69 c 1325s | 17 | 303413 | 258632 | 638322 0 | 101000 | 0 1340.66/1341.00 c 1327s | 17 | 303716 | 258932 | 638322 0 | 101000 | 0 1343.65/1343.95 c 1330s | 17 | 303997 | 259132 | 638322 0 | 101000 | 0 1345.85/1346.18 c 1332s | 17 | 304272 | 259432 | 638322 0 | 101000 | 0 1348.15/1348.42 c 1334s | 17 | 304526 | 259632 | 638322 0 | 101000 | 0 1350.25/1350.56 c 1337s | 17 | 304715 | 259832 | 638322 0 | 101000 | 0 1352.65/1352.94 c 1339s | 17 | 305253 | 260332 | 638322 0 | 101000 | 0 1355.55/1355.80 c 1342s | 17 | 305654 | 260732 | 638322 0 | 101000 | 0 1358.04/1358.33 c 1344s | 17 | 305945 | 261032 | 638322 0 | 101000 | 0 1360.45/1360.71 c 1347s | 17 | 306250 | 261332 | 638322 0 | 101000 | 0 1362.65/1362.97 c 1349s | 17 | 306451 | 261532 | 638322 0 | 101000 | 0 1365.04/1365.39 c 1351s | 17 | 306654 | 261732 | 638322 0 | 101000 | 0 1367.64/1367.95 c 1354s | 17 | 306862 | 261932 | 638322 0 | 101000 | 0 1370.74/1371.04 c 1357s | 17 | 307286 | 262332 | 638322 0 | 101000 | 0 1373.34/1373.60 c 1360s | 17 | 307494 | 262532 | 638322 0 | 101000 | 0 1376.14/1376.49 c 1363s | 17 | 307664 | 262732 | 638322 0 | 101000 | 0 1378.53/1378.81 c 1365s | 17 | 307873 | 262932 | 638322 0 | 101000 | 0 1380.63/1380.94 c 1367s | 17 | 308193 | 263232 | 638322 0 | 101000 | 0 1383.13/1383.48 c 1370s | 17 | 308393 | 263432 | 638322 0 | 101000 | 0 1385.53/1385.85 c 1372s | 17 | 308711 | 263732 | 638322 0 | 101000 | 0 1387.83/1388.20 c 1374s | 17 | 309240 | 264232 | 638322 0 | 101000 | 0 1390.33/1390.65 c 1377s | 17 | 309531 | 264532 | 638322 0 | 101000 | 0 1392.73/1393.04 c 1379s | 17 | 309834 | 264832 | 638322 0 | 101000 | 0 1395.23/1395.52 c 1382s | 17 | 310143 | 265132 | 638322 0 | 101000 | 0 1397.43/1397.74 c 1384s | 17 | 310432 | 265432 | 638322 0 | 101000 | 0 1400.14/1400.46 c 1387s | 17 | 310734 | 265732 | 638322 0 | 101000 | 0 1403.13/1403.45 c 1390s | 17 | 311042 | 266032 | 638322 0 | 101000 | 0 1405.33/1405.67 c 1392s | 17 | 311362 | 266332 | 638322 0 | 101000 | 0 1407.33/1407.69 c 1394s | 17 | 311575 | 266532 | 638322 0 | 101000 | 0 1409.72/1410.09 c 1396s | 17 | 311897 | 266832 | 638322 0 | 101000 | 0 1412.42/1412.72 c 1399s | 17 | 312208 | 267132 | 638322 0 | 101000 | 0 1414.52/1414.88 c 1401s | 17 | 312420 | 267332 | 638322 0 | 101000 | 0 1416.92/1417.29 c 1403s | 17 | 312600 | 267532 | 638322 0 | 101000 | 0 1420.02/1420.34 c 1406s | 17 | 312920 | 267832 | 638322 0 | 101000 | 0 1422.22/1422.60 c 1409s | 17 | 313247 | 268132 | 638322 0 | 101000 | 0 1424.82/1425.17 c 1411s | 17 | 313594 | 268432 | 638322 0 | 101000 | 0 1427.32/1427.66 c 1414s | 17 | 313818 | 268632 | 638322 0 | 101000 | 0 1429.92/1430.27 c 1416s | 17 | 314161 | 268932 | 638322 0 | 101000 | 0 1432.52/1432.86 c 1419s | 17 | 314469 | 269232 | 638322 0 | 101000 | 0 1434.72/1435.03 c 1421s | 17 | 314698 | 269432 | 638322 0 | 101000 | 0 1437.22/1437.54 c 1424s | 17 | 314907 | 269632 | 638322 0 | 101000 | 0 1439.92/1440.30 c 1426s | 17 | 315097 | 269832 | 638322 0 | 101000 | 0 1442.42/1442.70 c 1429s | 17 | 315411 | 270132 | 638322 0 | 101000 | 0 1445.82/1446.15 c 1432s | 17 | 315606 | 270332 | 638322 0 | 101000 | 0 1448.42/1448.76 c 1435s | 17 | 315788 | 270532 | 638322 0 | 101000 | 0 1451.01/1451.33 c 1437s | 17 | 316115 | 270832 | 638322 0 | 101000 | 0 1453.41/1453.77 c 1440s | 17 | 316402 | 271132 | 638322 0 | 101000 | 0 1456.01/1456.36 c 1442s | 17 | 316812 | 271532 | 638322 0 | 101000 | 0 1458.32/1458.65 c 1445s | 17 | 317103 | 271832 | 638322 0 | 101000 | 0 1460.52/1460.84 c 1447s | 17 | 317621 | 272332 | 638322 0 | 101000 | 0 1463.11/1463.47 c 1450s | 17 | 318128 | 272832 | 638322 0 | 101000 | 0 1465.81/1466.16 c 1452s | 17 | 318541 | 273232 | 638322 0 | 101000 | 0 1467.91/1468.29 c 1454s | 17 | 318880 | 273532 | 638322 0 | 101000 | 0 1470.01/1470.30 c 1456s | 17 | 319184 | 273832 | 638322 0 | 101000 | 0 1472.81/1473.16 c 1459s | 17 | 319474 | 274132 | 638322 0 | 101000 | 0 1475.71/1476.09 c 1462s | 17 | 319770 | 274432 | 638322 0 | 101000 | 0 1477.81/1478.15 c 1464s | 17 | 319981 | 274632 | 638322 0 | 101000 | 0 1479.91/1480.22 c 1466s | 17 | 320181 | 274832 | 638322 0 | 101000 | 0 1482.52/1482.83 c 1469s | 17 | 320556 | 275132 | 638322 0 | 101000 | 0 1484.51/1484.85 c 1471s | 17 | 320743 | 275332 | 638322 0 | 101000 | 0 1486.92/1487.24 c 1473s | 17 | 320933 | 275532 | 638322 0 | 101000 | 0 1489.61/1489.90 c 1476s | 17 | 321150 | 275732 | 638322 0 | 101000 | 0 1491.91/1492.23 c 1478s | 17 | 321335 | 275932 | 638322 0 | 101000 | 0 1493.91/1494.28 c 1480s | 17 | 321438 | 276032 | 638322 0 | 101000 | 0 1497.31/1497.67 c 1484s | 17 | 321695 | 276232 | 638322 0 | 101000 | 0 1500.51/1500.84 c 1487s | 17 | 321999 | 276532 | 638322 0 | 101000 | 0 1503.01/1503.37 c 1489s | 17 | 322332 | 276832 | 638322 0 | 101000 | 0 1505.31/1505.65 c 1492s | 17 | 322551 | 277032 | 638322 0 | 101000 | 0 1508.30/1508.61 c 1495s | 17 | 322886 | 277332 | 638322 0 | 101000 | 0 1510.80/1511.19 c 1497s | 17 | 323208 | 277632 | 638322 0 | 101000 | 0 1513.31/1513.69 c 1500s | 17 | 323457 | 277832 | 638322 0 | 101000 | 0 1516.00/1516.35 c 1502s | 17 | 323804 | 278132 | 638322 0 | 101000 | 0 1519.00/1519.32 c 1505s | 17 | 324126 | 278432 | 638322 0 | 101000 | 0 1522.21/1522.51 c 1509s | 17 | 324454 | 278732 | 638322 0 | 101000 | 0 1524.20/1524.56 c 1511s | 17 | 324641 | 278932 | 638322 0 | 101000 | 0 1526.30/1526.68 c 1513s | 17 | 324968 | 279232 | 638322 0 | 101000 | 0 1528.40/1528.73 c 1515s | 17 | 325255 | 279532 | 638322 0 | 101000 | 0 1530.60/1530.94 c 1517s | 17 | 325589 | 279832 | 638322 0 | 101000 | 0 1533.60/1533.95 c 1520s | 17 | 325774 | 280032 | 638322 0 | 101000 | 0 1536.41/1536.78 c 1523s | 17 | 325982 | 280232 | 638322 0 | 101000 | 0 1538.80/1539.15 c 1525s | 17 | 326289 | 280532 | 638322 0 | 101000 | 0 1540.90/1541.28 c 1527s | 17 | 326802 | 281032 | 638322 0 | 101000 | 0 1543.30/1543.63 c 1530s | 17 | 327440 | 281632 | 638322 0 | 101000 | 0 1545.60/1545.97 c 1532s | 17 | 327928 | 282132 | 638322 0 | 101000 | 0 1547.80/1548.15 c 1534s | 17 | 328347 | 282532 | 638322 0 | 101000 | 0 1550.20/1550.55 c 1537s | 17 | 328745 | 282932 | 638322 0 | 101000 | 0 1552.70/1553.01 c 1539s | 17 | 329048 | 283232 | 638322 0 | 101000 | 0 1555.00/1555.30 c 1541s | 17 | 329347 | 283532 | 638322 0 | 101000 | 0 1557.10/1557.46 c 1544s | 17 | 329647 | 283832 | 638322 0 | 101000 | 0 1559.79/1560.15 c 1546s | 17 | 329947 | 284132 | 638322 0 | 101000 | 0 1562.19/1562.57 c 1549s | 17 | 330255 | 284432 | 638322 0 | 101000 | 0 1564.39/1564.74 c 1551s | 17 | 330456 | 284632 | 638322 0 | 101000 | 0 1567.59/1567.92 c 1554s | 17 | 330854 | 285032 | 638322 0 | 101000 | 0 1570.39/1570.75 c 1557s | 17 | 331066 | 285232 | 638322 0 | 101000 | 0 1572.49/1572.80 c 1559s | 17 | 331253 | 285432 | 638322 0 | 101000 | 0 1574.79/1575.13 c 1561s | 17 | 331866 | 286032 | 638322 0 | 101000 | 0 1576.99/1577.31 c 1563s | 17 | 332290 | 286432 | 638322 0 | 101000 | 0 1579.09/1579.49 c 1566s | 17 | 332742 | 286832 | 638322 0 | 101000 | 0 1581.79/1582.19 c 1568s | 17 | 333143 | 287232 | 638322 0 | 101000 | 0 1583.99/1584.39 c 1570s | 17 | 333459 | 287532 | 638322 0 | 101000 | 0 1586.29/1586.65 c 1573s | 17 | 333756 | 287832 | 638322 0 | 101000 | 0 1588.79/1589.19 c 1575s | 17 | 334059 | 288132 | 638322 0 | 101000 | 0 1591.79/1592.16 c 1578s | 17 | 334470 | 288532 | 638322 0 | 101000 | 0 1594.09/1594.41 c 1580s | 17 | 334659 | 288732 | 638322 0 | 101000 | 0 1596.59/1596.99 c 1583s | 17 | 334975 | 289032 | 638322 0 | 101000 | 0 1598.99/1599.34 c 1585s | 17 | 335313 | 289332 | 638322 0 | 101000 | 0 1601.49/1601.90 c 1588s | 17 | 335767 | 289732 | 638322 0 | 101000 | 0 1604.09/1604.46 c 1591s | 17 | 336067 | 290032 | 638322 0 | 101000 | 0 1606.69/1607.02 c 1593s | 17 | 336373 | 290332 | 638322 0 | 101000 | 0 1608.89/1609.27 c 1595s | 17 | 336568 | 290532 | 638322 0 | 101000 | 0 1611.39/1611.74 c 1598s | 17 | 336763 | 290732 | 638322 0 | 101000 | 0 1613.88/1614.23 c 1600s | 17 | 336962 | 290932 | 638322 0 | 101000 | 0 1616.88/1617.25 c 1603s | 17 | 337294 | 291232 | 638322 0 | 101000 | 0 1620.38/1620.75 c 1607s | 17 | 337606 | 291532 | 638322 0 | 101000 | 0 1622.98/1623.36 c 1609s | 17 | 337795 | 291732 | 638322 0 | 101000 | 0 1625.08/1625.43 c 1612s | 17 | 338101 | 292032 | 638322 0 | 101000 | 0 1627.28/1627.67 c 1614s | 17 | 338760 | 292632 | 638322 0 | 101000 | 0 1629.58/1629.90 c 1616s | 17 | 339165 | 293032 | 638322 0 | 101000 | 0 1631.78/1632.18 c 1618s | 17 | 339558 | 293432 | 638322 0 | 101000 | 0 1634.39/1634.79 c 1621s | 17 | 339849 | 293732 | 638322 0 | 101000 | 0 1636.49/1636.90 c 1623s | 17 | 340153 | 294032 | 638322 0 | 101000 | 0 1638.58/1638.93 c 1625s | 17 | 340371 | 294232 | 702155 0 | 101000 | 0 1641.48/1641.80 c 1628s | 17 | 340665 | 294532 | 702155 0 | 101000 | 0 1644.19/1644.51 c 1631s | 17 | 340998 | 294832 | 702155 0 | 101000 | 0 1647.08/1647.40 c 1633s | 17 | 341312 | 295132 | 702155 0 | 101000 | 0 1649.08/1649.42 c 1635s | 17 | 341540 | 295332 | 702155 0 | 101000 | 0 1651.78/1652.13 c 1638s | 17 | 341882 | 295632 | 702155 0 | 101000 | 0 1654.19/1654.52 c 1641s | 17 | 342226 | 295932 | 702155 0 | 101000 | 0 1656.39/1656.72 c 1643s | 17 | 342571 | 296232 | 702155 0 | 101000 | 0 1656.48/1656.83 c 1643s | 18 | 342587 | 296252 | 702155 0 | 101000 | 0 1658.88/1659.21 c 1645s | 18 | 342718 | 296352 | 702155 0 | 101000 | 0 1662.58/1662.91 c 1649s | 18 | 342932 | 296552 | 702155 0 | 101000 | 0 1664.98/1665.35 c 1651s | 18 | 343036 | 296652 | 702155 0 | 101000 | 0 1667.78/1668.10 c 1654s | 18 | 343130 | 296752 | 702155 0 | 101000 | 0 1672.48/1672.88 c 1659s | 18 | 343385 | 296952 | 702155 0 | 101000 | 0 1675.28/1675.62 c 1662s | 18 | 343479 | 297052 | 702155 0 | 101000 | 0 1678.77/1679.12 c 1665s | 18 | 343588 | 297152 | 702155 0 | 101000 | 0 1680.87/1681.25 c 1667s | 18 | 343704 | 297252 | 702155 0 | 101000 | 0 1683.97/1684.33 c 1670s | 18 | 343900 | 297452 | 702155 0 | 101000 | 0 1686.57/1686.98 c 1673s | 18 | 344101 | 297652 | 702155 0 | 101000 | 0 1690.38/1690.74 c 1677s | 18 | 344401 | 297952 | 702155 0 | 101000 | 0 1693.47/1693.80 c 1680s | 18 | 344489 | 298052 | 702155 0 | 101000 | 0 1697.87/1698.24 c 1684s | 18 | 344737 | 298252 | 702155 0 | 101000 | 0 1700.17/1700.50 c 1687s | 18 | 344835 | 298352 | 702155 0 | 101000 | 0 1702.97/1703.37 c 1689s | 18 | 345074 | 298552 | 702155 0 | 101000 | 0 1706.07/1706.45 c 1693s | 18 | 345433 | 298852 | 702155 0 | 101000 | 0 1708.17/1708.58 c 1695s | 18 | 345576 | 298952 | 702155 0 | 101000 | 0 1710.37/1710.73 c 1697s | 18 | 345671 | 299052 | 702155 0 | 101000 | 0 1712.87/1713.27 c 1699s | 18 | 345793 | 299152 | 702155 0 | 101000 | 0 1715.07/1715.43 c 1702s | 18 | 345868 | 299252 | 702155 0 | 101000 | 0 1717.27/1717.63 c 1704s | 18 | 345973 | 299352 | 702155 0 | 101000 | 0 1719.37/1719.76 c 1706s | 18 | 346069 | 299452 | 702155 0 | 101000 | 0 1721.47/1721.81 c 1708s | 18 | 346156 | 299552 | 702155 0 | 101000 | 0 1724.67/1725.06 c 1711s | 18 | 346363 | 299752 | 702155 0 | 101000 | 0 1728.57/1728.93 c 1715s | 18 | 346679 | 300052 | 702155 0 | 101000 | 0 1731.87/1732.27 c 1718s | 18 | 346885 | 300252 | 702155 0 | 101000 | 0 1734.77/1735.14 c 1721s | 18 | 347164 | 300552 | 702155 0 | 101000 | 0 1738.06/1738.44 c 1725s | 18 | 347443 | 300752 | 702155 0 | 101000 | 0 1740.36/1740.72 c 1727s | 18 | 347649 | 300952 | 702155 0 | 101000 | 0 1742.76/1743.11 c 1729s | 18 | 347850 | 301152 | 702155 0 | 101000 | 0 1744.86/1745.25 c 1731s | 18 | 347952 | 301252 | 702155 0 | 101000 | 0 1746.96/1747.32 c 1733s | 18 | 348046 | 301352 | 702155 0 | 101000 | 0 1750.56/1750.95 c 1737s | 18 | 348250 | 301552 | 702155 0 | 101000 | 0 1753.26/1753.68 c 1740s | 18 | 348446 | 301752 | 702155 0 | 101000 | 0 1755.76/1756.13 c 1742s | 18 | 348780 | 302052 | 702155 0 | 101000 | 0 1758.67/1759.04 c 1745s | 18 | 349088 | 302352 | 702155 0 | 101000 | 0 1762.56/1762.92 c 1749s | 18 | 349274 | 302552 | 702155 0 | 101000 | 0 1766.16/1766.51 c 1753s | 18 | 349470 | 302752 | 702155 0 | 101000 | 0 1769.06/1769.46 c 1756s | 18 | 349675 | 302952 | 702155 0 | 101000 | 0 1771.06/1771.49 c 1758s | 18 | 349878 | 303152 | 702155 0 | 101000 | 0 1773.46/1773.82 c 1760s | 18 | 350415 | 303652 | 702155 0 | 101000 | 0 1775.76/1776.17 c 1762s | 18 | 350738 | 303952 | 702155 0 | 101000 | 0 1778.47/1778.82 c 1765s | 18 | 351059 | 304252 | 702155 0 | 101000 | 0 1780.96/1781.39 c 1767s | 18 | 351383 | 304552 | 702155 0 | 101000 | 0 1784.06/1784.43 c 1771s | 18 | 351754 | 304852 | 702155 0 | 101000 | 0 1787.26/1787.64 c 1774s | 18 | 352081 | 305152 | 702155 0 | 101000 | 0 1790.46/1790.85 c 1777s | 18 | 352394 | 305452 | 702155 0 | 101000 | 0 1793.26/1793.63 c 1780s | 18 | 352717 | 305752 | 702155 0 | 101000 | 0 1795.36/1795.74 c 1782s | 18 | 352920 | 305952 | 702155 0 | 101000 | 0 1798.86/1799.28 c 1785s | 18 | 353222 | 306252 | 702155 0 | 101000 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4101265-1466222391/watcher-4101265-1466222391 -o /tmp/evaluation-result-4101265-1466222391/solver-4101265-1466222391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101265-1466222391.opb pid=25976 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.94 1.99 1.99 3/179 25979 /proc/meminfo: memFree=30664048/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=742844 CPUtime=0 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 2777 0 0 0 0 0 0 0 20 0 4 0 24283997 760672256 2626 33554432000 4194304 16246674 140734061032256 140734061031680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 186223 2636 441 2943 0 183117 0 [pid=25979/tid=25980] ppid=25976 vsize=760252 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 778498048 2697 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=765372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 783740928 2714 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=769468 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24283997 787935232 2732 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 1.94 1.99 1.99 3/179 25979 /proc/meminfo: memFree=30664048/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1301060 CPUtime=0.09 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 29945 0 0 0 5 4 0 0 20 0 4 0 24283997 1332285440 29732 33554432000 4194304 16246674 140734061032256 140734061031568 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 325265 29749 799 2943 0 322159 0 [pid=25979/tid=25980] ppid=25976 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1332285440 29760 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1332285440 29772 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1332285440 29784 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1301060 [startup+0.200514 s] /proc/loadavg: 1.94 1.99 1.99 3/179 25979 /proc/meminfo: memFree=30664048/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 46283 0 0 0 12 7 0 0 20 0 4 0 24283997 1345916928 46581 33554432000 4194304 16246674 140734061032256 140734061031568 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 328593 46581 799 2943 0 325487 0 [pid=25979/tid=25980] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 46581 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 46581 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 46581 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300502 s] /proc/loadavg: 1.94 1.99 1.99 3/179 25979 /proc/meminfo: memFree=30664048/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 52693 0 0 0 21 8 0 0 20 0 4 0 24283997 1345916928 52991 33554432000 4194304 16246674 140734061032256 140734061031568 4221137 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 328593 52991 799 2943 0 325487 0 [pid=25979/tid=25980] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 52991 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 52991 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1345916928 52991 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700405 s] /proc/loadavg: 1.94 1.99 1.99 3/179 25979 /proc/meminfo: memFree=30664048/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1320516 CPUtime=0.69 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 68660 0 0 0 59 10 0 0 20 0 4 0 24283997 1352208384 70491 33554432000 4194304 16246674 140734061032256 140734061031568 7929054 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 330129 70491 801 2943 0 327023 0 [pid=25979/tid=25980] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 70491 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 70491 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 70491 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1320516 [startup+1.50041 s] /proc/loadavg: 1.94 1.99 1.99 3/183 25983 /proc/meminfo: memFree=30332804/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1320516 CPUtime=1.49 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 81165 0 0 0 136 13 0 0 20 0 4 0 24283997 1352208384 82996 33554432000 4194304 16246674 140734061032256 140734061015248 4220853 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 330129 82996 802 2943 0 327023 0 [pid=25979/tid=25980] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 82996 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 82996 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1352208384 82996 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1320516 [startup+3.1004 s] /proc/loadavg: 1.94 1.99 1.99 3/183 25983 /proc/meminfo: memFree=30178836/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1481284 CPUtime=3.08 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 215767 0 0 0 280 28 0 0 20 0 4 0 24283997 1516834816 221175 33554432000 4194304 16246674 140734061032256 140734061014144 4221129 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 370321 221175 844 2943 0 367215 0 [pid=25979/tid=25980] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 221175 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 221175 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 221175 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1481284 [startup+6.30041 s] /proc/loadavg: 1.95 1.99 1.99 3/183 25983 /proc/meminfo: memFree=29671604/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1481284 CPUtime=6.28 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 240225 0 0 0 597 31 0 0 20 0 4 0 24283997 1516834816 248188 33554432000 4194304 16246674 140734061032256 140734061014144 13774024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 370321 248188 845 2943 0 367215 0 [pid=25979/tid=25980] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 248188 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 248188 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1481284 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1516834816 248188 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1481284 [startup+12.7004 s] /proc/loadavg: 1.95 1.99 1.99 3/184 25986 /proc/meminfo: memFree=29388000/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1512004 CPUtime=12.69 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 310973 0 0 0 1227 42 0 0 20 0 4 0 24283997 1548292096 318936 33554432000 4194304 16246674 140734061032256 140734061014144 6954498 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 378001 318936 846 2943 0 374895 0 [pid=25979/tid=25980] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318936 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318936 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318936 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1512004 [startup+25.5005 s] /proc/loadavg: 1.96 1.99 1.99 3/184 25986 /proc/meminfo: memFree=29389192/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1512004 CPUtime=25.48 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 311026 0 0 0 2506 42 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 140734061014144 5598296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 378001 318989 899 2943 0 374895 0 [pid=25979/tid=25980] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1512004 [startup+51.1005 s] /proc/loadavg: 1.97 1.99 1.99 3/184 25986 /proc/meminfo: memFree=29389348/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1512004 CPUtime=51.08 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 311026 0 0 0 5066 42 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 140734061014144 13752924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 378001 318989 899 2943 0 374895 0 [pid=25979/tid=25980] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318989 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1512004 [startup+102.3 s] /proc/loadavg: 2.02 2.00 2.00 3/184 26009 /proc/meminfo: memFree=29389216/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=1512004 CPUtime=102.28 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 311028 0 0 0 10185 43 0 0 20 0 4 0 24283997 1548292096 318991 33554432000 4194304 16246674 140734061032256 140734061014144 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 378001 318991 901 2943 0 374895 0 [pid=25979/tid=25980] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318991 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318991 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=1512004 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 1548292096 318991 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1512004 ################ # More data... # ################ /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 2179652 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 2.00 3/183 26039 /proc/meminfo: memFree=28636060/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2179652 CPUtime=1302.07 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 477994 0 0 0 130141 66 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 140734061014144 5599933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 544913 486163 905 2943 0 541807 0 [pid=25979/tid=25980] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 2179652 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/183 26040 /proc/meminfo: memFree=28636092/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2179652 CPUtime=1362.04 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 478027 0 0 0 136138 66 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 140734061014144 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 544913 486163 905 2943 0 541807 0 [pid=25979/tid=25980] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 2179652 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 26041 /proc/meminfo: memFree=28635784/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2179652 CPUtime=1422.03 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 478047 0 0 0 142137 66 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 140734061014144 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 544913 486163 905 2943 0 541807 0 [pid=25979/tid=25980] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 2179652 [startup+1482.3 s] /proc/loadavg: 2.07 2.03 2.00 3/183 26042 /proc/meminfo: memFree=28635692/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2179652 CPUtime=1482.01 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 478050 0 0 0 148135 66 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 140734061014144 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 544913 486163 905 2943 0 541807 0 [pid=25979/tid=25980] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2179652 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2231963648 486163 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 2179652 [startup+1542.31 s] /proc/loadavg: 2.10 2.04 2.01 3/183 26044 /proc/meminfo: memFree=28356716/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1542 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 154124 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061031432 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 2458180 [startup+1602.3 s] /proc/loadavg: 2.08 2.05 2.00 3/183 26045 /proc/meminfo: memFree=28356740/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1601.99 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 160123 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061014144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 2458180 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/183 26046 /proc/meminfo: memFree=28356648/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1661.98 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 166122 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061014144 5600249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 2458180 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/183 26047 /proc/meminfo: memFree=28356300/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1721.97 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 172121 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061014144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 2458180 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.00 3/183 26097 /proc/meminfo: memFree=29198444/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1781.96 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 178120 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061014144 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 2458180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.04 2.03 2.00 3/183 26097 /proc/meminfo: memFree=28444420/32872528 swapFree=7780/7780 [pid=25979] ppid=25976 vsize=2458180 CPUtime=1800.06 cores=0,2,4,6 /proc/25979/stat : 25979 (toysat) R 25976 25979 23276 0 -1 4202496 547682 0 0 0 179930 76 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 140734061014144 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/25979/statm: 614545 555795 905 2943 0 611439 0 [pid=25979/tid=25980] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25980/stat : 25980 (toysat) S 25976 25979 23276 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987797388528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=25979/tid=25981] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25981/stat : 25981 (toysat) S 25976 25979 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987786898672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=25979/tid=25982] ppid=25976 vsize=2458180 CPUtime=0 cores=0,2,4,6 /proc/25979/task/25982/stat : 25982 (toysat) S 25976 25979 23276 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 24283997 2517176320 555795 33554432000 4194304 16246674 140734061032256 139987776425136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2458180 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 25979 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.43 CPU time (s): 1800.09 CPU user time (s): 1799.31 CPU system time (s): 0.78788 CPU usage (%): 99.981 Max. virtual memory (cumulated for all children) (KiB): 2458180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 0.78788 maximum resident set size= 2223180 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 547682 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= 133 involuntary context switches= 1851 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.65299 second user time and 8.92464 second system time The end
Begin job on node151 at 2016-06-18 05:59:52 IDJOB=4101265 IDBENCH=1721 IDSOLVER=2542 FILE ID=node151/4101265-1466222391 RUNJOBID= node151-1466206051-23292 PBS_JOBID= 19918135 Free space on /tmp= 71720 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-dfl001.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101265-1466222391/watcher-4101265-1466222391 -o /tmp/evaluation-result-4101265-1466222391/solver-4101265-1466222391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23292 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101265-1466222391.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7b9d3fef35f44b9f29a1eccedaaa362f RANDOM SEED=509413625 node151.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.103 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30664320 kB Buffers: 101372 kB Cached: 267192 kB SwapCached: 1996 kB Active: 1208816 kB Inactive: 254276 kB Active(anon): 1095044 kB Inactive(anon): 1788 kB Active(file): 113772 kB Inactive(file): 252488 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099228 kB Dirty: 47412 kB Writeback: 0 kB AnonPages: 1101596 kB Mapped: 11760 kB Shmem: 0 kB Slab: 604896 kB SReclaimable: 48148 kB SUnreclaim: 556748 kB KernelStack: 1472 kB PageTables: 6300 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1245156 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 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= 71700 MiB End job on node151 at 2016-06-18 06:29:52