Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | 7d701b956113b6fc93a1922e71200e27 |
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 | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 4250 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 2016-06-18T08:35:07+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-4102849-1466231706.opb"] 0.00/0.01 c use --random-gen="2020216123 2389133310 497518382 4135214698 2219162921 3920778445 2055420572 2076163263 1255744431 1438712288 1007758807 1593860716 952163501 4057882486 1377684628 3257661085 2075760711 3856386352 3173374155 3351143216 672344426 2815700271 381949504 915975531 2089828449 1633832676 3027227950 349954675 2784724090 2204041748 3596915542 4266749427 1658358546 3070158433 1657663131 1322891343 2210274977 2854957822 2702551288 3223705088 3588724480 893973209 1903584944 871333500 2897781310 171995478 2128635815 2639258820 534829798 2218568795 3663905542 4185166676 3156235754 163810031 3403512847 2124396320 520196097 893757278 3599134174 3099376549 1264548225 2783842745 318250492 2251538 492814336 2700678130 988680125 896533898 840750478 3984854421 295954420 785204927 1194587094 4197177381 1009729701 4271424056 2321471407 397056828 2986800179 1291344993 1899875481 1953240483 2072868451 4117654538 1388209307 4104239815 374285441 4188444003 380920563 670423230 497180552 3948623140 2327924251 3352178471 1855004244 1495833258 2101252628 1344138915 3528816228 628559718 4174292622 1743759880 3163951676 2135545698 3785047057 651999265 3479642161 1016659838 1641021452 1215011617 3125734906 760137952 804158302 3267387157 1168656117 4207804410 2614434358 4191954353 852635679 1764872572 1830849784 2412917442 2027178678 1808363926 1328907968 1438795592 3622801977 448309740 1815080060 2632694711 1164692784 2059314452 1254963194 2536547611 894255242 542255043 3237861196 4266428135 4064515387 3736558326 3276217783 2294623526 3083732003 330207932 1528083795 130547317 2627604557 613006424 1316189496 1557398906 535745858 155772179 4006849947 3029311026 2658481515 759730167 1819514208 3183617333 1211330113 1567195509 3594682701 609224270 2440152212 3450179707 1614503865 3870506412 1262695121 2992663211 3325264816 913910725 3318566292 1876648301 3415469084 3340578579 1344985517 412711022 756244133 322310460 2220888651 4258579121 593133733 2712066047 2866155265 3294174238 2102808890 2119527033 671886233 1919969641 25983701 3646099800 3438749803 1400092922 1023923592 2861062919 2219825020 3029062064 3118519584 3692656002 3215723650 761322863 4014508110 3742562415 624102272 2404434888 846357554 1370966765 1198787880 4031222204 1481064379 23499017 3005681248 2102954135 2159321708 1327839843 3382270154 262445867 2811608231 1582996580 2630229805 1103798019 831608128 231454275 2853921392 617533132 1375776199 763822245 4208735068 1616500797 4058375621 2385831971 1836665786 2957510623 3537152331 1593443924 2905207931 1089152143 427936316 2166190809 1676022149 3264104005 2406556892 2565460126 448378437 2497944006 1841945949 1925350070 3937017843 1505146404 3802751289 4027661647 3586196595 1588133843 2509653002 4193833718 2723512503 4256787666 255 362436" option to reproduce the execution 0.29/0.37 c #vars 4250 0.29/0.37 c #constraints 68397 1.09/1.18 c BCD2: Hardening is enabled. 1.09/1.18 c BCD2: BiasedSearch is enabled. 1.09/1.18 c Solving starts ... 1.09/1.18 c ============================[ Search Statistics ]============================ 1.09/1.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.09/1.18 c | | | | Limit GC | Var | Constra 1.09/1.18 c ============================================================================= 1.09/1.18 c 0.0s | 0 | 0 | 0 | 24215 0 | 0 | 0 1.48/1.52 c 0.2s | 1 | 661 | 100 | 24215 0 | 0 | 0 1.69/1.75 c 0.6s | 2 | 1229 | 250 | 26637 0 | 0 | 0 2.29/2.34 c 1.2s | 3 | 1930 | 475 | 29301 0 | 0 | 0 3.09/3.16 c 2.0s | 4 | 2851 | 813 | 32232 0 | 0 | 0 4.79/4.82 c 3.6s | 5 | 4172 | 1320 | 35456 0 | 0 | 0 6.48/6.54 c 5.4s | 6 | 5635 | 2081 | 42903 0 | 0 | 0 8.58/8.64 c 7.5s | 6 | 7705 | 2981 | 42903 0 | 0 | 0 9.58/9.61 c 8.4s | 7 | 8056 | 3223 | 47194 0 | 0 | 0 11.68/11.74 c 10.6s | 7 | 9838 | 3923 | 47194 0 | 0 | 0 13.79/13.83 c 12.7s | 7 | 10675 | 4523 | 47194 0 | 0 | 0 15.69/15.78 c 14.6s | 8 | 11195 | 4936 | 51914 0 | 0 | 0 17.79/17.82 c 16.6s | 8 | 12579 | 5636 | 51914 0 | 0 | 0 19.98/20.03 c 18.8s | 8 | 13599 | 6336 | 51914 0 | 0 | 0 22.38/22.40 c 21.2s | 8 | 14558 | 7036 | 51914 0 | 0 | 0 23.88/23.97 c 22.8s | 9 | 15201 | 7506 | 57106 0 | 0 | 0 25.98/26.03 c 24.9s | 9 | 16944 | 8206 | 57106 0 | 0 | 0 28.08/28.19 c 27.0s | 9 | 17965 | 8806 | 57106 0 | 0 | 0 30.28/30.35 c 29.2s | 9 | 18996 | 9506 | 57106 0 | 0 | 0 32.38/32.49 c 31.3s | 9 | 19934 | 10206 | 57106 0 | 0 | 0 34.68/34.74 c 33.6s | 9 | 20806 | 10906 | 57106 0 | 0 | 0 36.09/36.16 c 35.0s | 10 | 21396 | 11361 | 62817 0 | 0 | 0 38.19/38.27 c 37.1s | 10 | 22685 | 12061 | 62817 0 | 0 | 0 40.59/40.66 c 39.5s | 10 | 23617 | 12761 | 62817 0 | 0 | 0 42.79/42.83 c 41.7s | 10 | 24453 | 13361 | 62817 0 | 0 | 0 44.89/44.97 c 43.8s | 10 | 25388 | 14061 | 62817 0 | 0 | 0 46.98/47.08 c 45.9s | 10 | 26188 | 14661 | 62817 0 | 0 | 0 49.38/49.43 c 48.3s | 10 | 27170 | 15361 | 62817 0 | 0 | 0 51.69/51.76 c 50.6s | 10 | 27971 | 15961 | 62817 0 | 0 | 0 54.08/54.14 c 53.0s | 10 | 28927 | 16661 | 62817 0 | 0 | 0 56.09/56.12 c 54.9s | 11 | 29548 | 17144 | 69099 0 | 0 | 0 58.18/58.29 c 57.1s | 11 | 30828 | 17744 | 69099 0 | 0 | 0 60.28/60.33 c 59.1s | 11 | 31457 | 18244 | 69099 0 | 0 | 0 62.48/62.50 c 61.3s | 11 | 32429 | 18844 | 69099 0 | 0 | 0 64.48/64.59 c 63.4s | 11 | 33482 | 19444 | 69099 0 | 0 | 0 66.68/66.75 c 65.6s | 11 | 34249 | 20044 | 69099 0 | 0 | 0 68.88/68.93 c 67.8s | 11 | 34894 | 20544 | 69099 0 | 0 | 0 71.07/71.16 c 70.0s | 11 | 35727 | 21144 | 69099 0 | 0 | 0 73.47/73.50 c 72.3s | 11 | 36551 | 21744 | 69099 0 | 0 | 0 75.67/75.78 c 74.6s | 11 | 37253 | 22244 | 69099 0 | 0 | 0 78.09/78.16 c 77.0s | 11 | 37796 | 22644 | 69099 0 | 0 | 0 80.68/80.70 c 79.5s | 11 | 38299 | 23044 | 69099 0 | 0 | 0 82.98/83.01 c 81.8s | 11 | 39168 | 23544 | 69099 0 | 0 | 0 85.38/85.43 c 84.3s | 11 | 39809 | 24044 | 69099 0 | 0 | 0 87.58/87.68 c 86.5s | 11 | 40464 | 24544 | 69099 0 | 0 | 0 89.98/90.02 c 88.8s | 11 | 41794 | 25244 | 69099 0 | 0 | 0 92.08/92.19 c 91.0s | 11 | 42512 | 25744 | 76009 0 | 0 | 0 92.58/92.60 c 91.4s | 12 | 42612 | 25819 | 76009 0 | 0 | 0 94.88/94.93 c 93.8s | 12 | 43694 | 26219 | 76009 0 | 0 | 0 97.18/97.29 c 96.1s | 12 | 44487 | 26819 | 76009 0 | 0 | 0 99.27/99.37 c 98.2s | 12 | 44972 | 27219 | 76009 0 | 0 | 0 101.67/101.73 c 100s | 12 | 45608 | 27719 | 76009 0 | 0 | 0 103.77/103.82 c 102s | 12 | 46099 | 28119 | 76009 0 | 0 | 0 105.97/106.06 c 104s | 12 | 46756 | 28619 | 76009 0 | 0 | 0 108.47/108.54 c 107s | 12 | 47343 | 29119 | 76009 0 | 0 | 0 110.47/110.55 c 109s | 12 | 47863 | 29519 | 76009 0 | 0 | 0 112.88/112.96 c 111s | 12 | 48347 | 29919 | 76009 0 | 0 | 0 115.27/115.31 c 114s | 12 | 48869 | 30319 | 76009 0 | 0 | 0 117.57/117.62 c 116s | 12 | 49369 | 30719 | 76009 0 | 0 | 0 119.88/119.96 c 118s | 12 | 49833 | 31119 | 76009 0 | 0 | 0 122.37/122.42 c 121s | 12 | 50354 | 31519 | 76009 0 | 0 | 0 124.47/124.52 c 123s | 12 | 50861 | 31919 | 76009 0 | 0 | 0 126.67/126.75 c 125s | 12 | 51351 | 32319 | 76009 0 | 0 | 0 128.87/128.92 c 127s | 12 | 51887 | 32719 | 76009 0 | 0 | 0 130.98/131.08 c 129s | 12 | 52363 | 33119 | 76009 0 | 0 | 0 133.46/133.53 c 132s | 12 | 52854 | 33519 | 76009 0 | 0 | 0 135.76/135.83 c 134s | 12 | 53347 | 33919 | 76009 0 | 0 | 0 137.76/137.84 c 136s | 12 | 53703 | 34219 | 76009 0 | 0 | 0 139.86/139.96 c 138s | 12 | 54240 | 34619 | 76009 0 | 0 | 0 142.17/142.25 c 141s | 12 | 54745 | 35019 | 76009 0 | 0 | 0 144.27/144.33 c 143s | 12 | 55233 | 35419 | 76009 0 | 0 | 0 146.57/146.65 c 145s | 12 | 55703 | 35819 | 76009 0 | 0 | 0 148.97/149.01 c 147s | 12 | 56228 | 36219 | 76009 0 | 0 | 0 151.47/151.58 c 150s | 12 | 56696 | 36619 | 76009 0 | 0 | 0 154.17/154.28 c 153s | 12 | 57171 | 37019 | 76009 0 | 0 | 0 156.66/156.76 c 155s | 12 | 57643 | 37419 | 76009 0 | 0 | 0 158.86/158.91 c 157s | 12 | 57988 | 37719 | 76009 0 | 0 | 0 160.86/160.93 c 159s | 12 | 58348 | 38019 | 76009 0 | 0 | 0 163.36/163.48 c 162s | 12 | 58847 | 38419 | 76009 0 | 0 | 0 165.56/165.65 c 164s | 12 | 59196 | 38719 | 83610 0 | 0 | 0 166.26/166.34 c 165s | 13 | 59372 | 38832 | 83610 0 | 0 | 0 168.46/168.53 c 167s | 13 | 60302 | 39132 | 83610 0 | 0 | 0 170.47/170.56 c 169s | 13 | 60823 | 39532 | 83610 0 | 0 | 0 172.67/172.77 c 171s | 13 | 61311 | 39932 | 83610 0 | 0 | 0 174.97/175.02 c 173s | 13 | 62015 | 40432 | 83610 0 | 0 | 0 177.36/177.43 c 176s | 13 | 62661 | 40932 | 83610 0 | 0 | 0 179.37/179.45 c 178s | 13 | 63186 | 41332 | 83610 0 | 0 | 0 181.87/181.99 c 180s | 13 | 63828 | 41832 | 83610 0 | 0 | 0 184.16/184.25 c 183s | 13 | 64348 | 42232 | 83610 0 | 0 | 0 186.46/186.53 c 185s | 13 | 64866 | 42632 | 83610 0 | 0 | 0 188.76/188.87 c 187s | 13 | 65397 | 43032 | 83610 0 | 0 | 0 190.96/191.01 c 189s | 13 | 65743 | 43332 | 83610 0 | 0 | 0 192.96/193.02 c 191s | 13 | 66151 | 43632 | 83610 0 | 0 | 0 195.36/195.48 c 194s | 13 | 66627 | 44032 | 83610 0 | 0 | 0 197.36/197.49 c 196s | 13 | 66989 | 44332 | 83610 0 | 0 | 0 199.46/199.55 c 198s | 13 | 67500 | 44732 | 83610 0 | 0 | 0 201.56/201.65 c 200s | 13 | 68024 | 45132 | 83610 0 | 0 | 0 203.66/203.77 c 202s | 13 | 68543 | 45532 | 83610 0 | 0 | 0 206.15/206.25 c 205s | 13 | 69172 | 46032 | 83610 0 | 0 | 0 208.55/208.66 c 207s | 13 | 69819 | 46532 | 83610 0 | 0 | 0 210.75/210.82 c 209s | 13 | 70324 | 46932 | 83610 0 | 0 | 0 212.95/213.03 c 211s | 13 | 70817 | 47332 | 83610 0 | 0 | 0 215.15/215.21 c 214s | 13 | 71350 | 47732 | 83610 0 | 0 | 0 217.35/217.42 c 216s | 13 | 71856 | 48132 | 83610 0 | 0 | 0 219.75/219.84 c 218s | 13 | 72380 | 48532 | 83610 0 | 0 | 0 222.16/222.27 c 221s | 13 | 72925 | 48932 | 83610 0 | 0 | 0 224.75/224.85 c 223s | 13 | 73467 | 49332 | 83610 0 | 0 | 0 227.45/227.56 c 226s | 13 | 74000 | 49732 | 83610 0 | 0 | 0 230.05/230.14 c 228s | 13 | 74549 | 50132 | 83610 0 | 0 | 0 232.55/232.65 c 231s | 13 | 75117 | 50532 | 83610 0 | 0 | 0 234.95/235.05 c 233s | 13 | 75694 | 50932 | 83610 0 | 0 | 0 237.46/237.54 c 236s | 13 | 76217 | 51332 | 83610 0 | 0 | 0 239.76/239.88 c 238s | 13 | 76754 | 51732 | 83610 0 | 0 | 0 242.26/242.36 c 241s | 13 | 77315 | 52132 | 83610 0 | 0 | 0 244.76/244.89 c 243s | 13 | 77839 | 52532 | 83610 0 | 0 | 0 247.36/247.50 c 246s | 13 | 78352 | 52932 | 83610 0 | 0 | 0 249.46/249.54 c 248s | 13 | 78776 | 53232 | 83610 0 | 0 | 0 251.55/251.64 c 250s | 13 | 79127 | 53532 | 83610 0 | 0 | 0 254.25/254.37 c 253s | 13 | 79656 | 53932 | 83610 0 | 0 | 0 256.75/256.88 c 255s | 13 | 80241 | 54332 | 83610 0 | 0 | 0 259.45/259.55 c 258s | 13 | 80716 | 54732 | 83610 0 | 0 | 0 261.45/261.55 c 260s | 13 | 81116 | 55032 | 83610 0 | 0 | 0 263.55/263.64 c 262s | 13 | 81498 | 55332 | 83610 0 | 0 | 0 265.75/265.85 c 264s | 13 | 81889 | 55632 | 83610 0 | 0 | 0 267.75/267.87 c 266s | 13 | 82300 | 55932 | 83610 0 | 0 | 0 270.35/270.49 c 269s | 13 | 82808 | 56332 | 83610 0 | 0 | 0 272.45/272.53 c 271s | 13 | 83154 | 56632 | 83610 0 | 0 | 0 274.75/274.81 c 273s | 13 | 83531 | 56932 | 83610 0 | 0 | 0 276.84/276.93 c 275s | 13 | 83919 | 57232 | 83610 0 | 0 | 0 279.04/279.16 c 277s | 13 | 84279 | 57532 | 83610 0 | 0 | 0 281.24/281.39 c 280s | 13 | 84675 | 57832 | 83610 0 | 0 | 0 283.65/283.72 c 282s | 13 | 85039 | 58132 | 91972 0 | 0 | 0 285.25/285.34 c 284s | 14 | 85315 | 58352 | 91972 0 | 0 | 0 287.75/287.81 c 286s | 14 | 86106 | 58552 | 91972 0 | 0 | 0 289.95/290.00 c 288s | 14 | 86615 | 58952 | 91972 0 | 0 | 0 292.25/292.39 c 291s | 14 | 87157 | 59352 | 91972 0 | 0 | 0 294.85/294.97 c 293s | 14 | 87741 | 59752 | 91972 0 | 0 | 0 296.85/296.99 c 295s | 14 | 88118 | 60052 | 91972 0 | 0 | 0 299.15/299.27 c 298s | 14 | 88506 | 60352 | 91972 0 | 0 | 0 301.55/301.62 c 300s | 14 | 89182 | 60852 | 91972 0 | 0 | 0 304.05/304.10 c 302s | 14 | 89830 | 61352 | 91972 0 | 0 | 0 306.44/306.51 c 305s | 14 | 90344 | 61752 | 91972 0 | 0 | 0 308.94/309.02 c 307s | 14 | 90946 | 62252 | 91972 0 | 0 | 0 311.04/311.16 c 309s | 14 | 91453 | 62652 | 91972 0 | 0 | 0 313.34/313.46 c 312s | 14 | 92037 | 63052 | 91972 0 | 0 | 0 315.84/315.94 c 314s | 14 | 92554 | 63452 | 91972 0 | 0 | 0 318.14/318.26 c 317s | 14 | 93077 | 63852 | 91972 0 | 0 | 0 320.34/320.47 c 319s | 14 | 93644 | 64252 | 91972 0 | 0 | 0 322.44/322.58 c 321s | 14 | 94162 | 64652 | 91972 0 | 0 | 0 324.64/324.75 c 323s | 14 | 94654 | 65052 | 91972 0 | 0 | 0 326.74/326.82 c 325s | 14 | 95160 | 65452 | 91972 0 | 0 | 0 328.74/328.85 c 327s | 14 | 95657 | 65852 | 91972 0 | 0 | 0 330.94/331.01 c 329s | 14 | 96178 | 66252 | 91972 0 | 0 | 0 333.44/333.54 c 332s | 14 | 96666 | 66652 | 91972 0 | 0 | 0 335.54/335.67 c 334s | 14 | 97047 | 66952 | 91972 0 | 0 | 0 338.14/338.25 c 337s | 14 | 97585 | 67352 | 91972 0 | 0 | 0 340.24/340.34 c 339s | 14 | 97949 | 67652 | 91972 0 | 0 | 0 342.34/342.42 c 341s | 14 | 98309 | 67952 | 91972 0 | 0 | 0 344.73/344.89 c 343s | 14 | 98950 | 68352 | 91972 0 | 0 | 0 347.43/347.55 c 346s | 14 | 99582 | 68752 | 91972 0 | 0 | 0 349.74/349.90 c 348s | 14 | 100133 | 69152 | 91972 0 | 0 | 0 352.04/352.16 c 350s | 14 | 100682 | 69552 | 91972 0 | 0 | 0 354.33/354.46 c 353s | 14 | 101223 | 69952 | 91972 0 | 0 | 0 356.53/356.69 c 355s | 14 | 101788 | 70352 | 91972 0 | 0 | 0 359.13/359.28 c 358s | 14 | 102286 | 70752 | 91972 0 | 0 | 0 361.53/361.62 c 360s | 14 | 102786 | 71152 | 91972 0 | 0 | 0 363.83/363.98 c 362s | 14 | 103302 | 71552 | 91972 0 | 0 | 0 366.24/366.35 c 365s | 14 | 103880 | 71952 | 91972 0 | 0 | 0 368.73/368.86 c 367s | 14 | 104387 | 72352 | 91972 0 | 0 | 0 370.84/370.90 c 369s | 14 | 104770 | 72652 | 91972 0 | 0 | 0 373.34/373.41 c 372s | 14 | 105246 | 73052 | 91972 0 | 0 | 0 375.34/375.49 c 374s | 14 | 105589 | 73352 | 91972 0 | 0 | 0 377.63/377.70 c 376s | 14 | 105933 | 73652 | 91972 0 | 0 | 0 379.83/379.93 c 378s | 14 | 106326 | 73952 | 91972 0 | 0 | 0 381.93/382.00 c 380s | 14 | 106717 | 74252 | 91972 0 | 0 | 0 383.94/384.08 c 382s | 14 | 107100 | 74552 | 91972 0 | 0 | 0 386.23/386.36 c 385s | 14 | 107466 | 74852 | 91972 0 | 0 | 0 388.73/388.85 c 387s | 14 | 107825 | 75152 | 91972 0 | 0 | 0 391.43/391.50 c 390s | 14 | 108174 | 75452 | 91972 0 | 0 | 0 393.63/393.76 c 392s | 14 | 108531 | 75752 | 91972 0 | 0 | 0 396.23/396.36 c 395s | 14 | 108894 | 76052 | 91972 0 | 0 | 0 398.43/398.50 c 397s | 14 | 109253 | 76352 | 91972 0 | 0 | 0 400.63/400.78 c 399s | 14 | 109648 | 76652 | 91972 0 | 0 | 0 402.73/402.89 c 401s | 14 | 110079 | 76952 | 91972 0 | 0 | 0 404.83/404.91 c 403s | 14 | 110481 | 77252 | 91972 0 | 0 | 0 406.82/406.93 c 405s | 14 | 110937 | 77552 | 91972 0 | 0 | 0 408.92/409.01 c 407s | 14 | 111385 | 77852 | 91972 0 | 0 | 0 410.92/411.05 c 409s | 14 | 111776 | 78152 | 91972 0 | 0 | 0 413.22/413.33 c 412s | 14 | 112185 | 78452 | 91972 0 | 0 | 0 415.42/415.55 c 414s | 14 | 112569 | 78752 | 91972 0 | 0 | 0 417.62/417.75 c 416s | 14 | 112990 | 79052 | 91972 0 | 0 | 0 419.72/419.86 c 418s | 14 | 113407 | 79352 | 91972 0 | 0 | 0 421.82/421.96 c 420s | 14 | 113846 | 79652 | 91972 0 | 0 | 0 423.93/424.04 c 422s | 14 | 114237 | 79952 | 91972 0 | 0 | 0 426.13/426.22 c 425s | 14 | 114611 | 80252 | 91972 0 | 0 | 0 428.33/428.40 c 427s | 14 | 114997 | 80552 | 91972 0 | 0 | 0 430.83/430.90 c 429s | 14 | 115406 | 80852 | 91972 0 | 0 | 0 433.13/433.24 c 432s | 14 | 115801 | 81152 | 91972 0 | 0 | 0 435.33/435.44 c 434s | 14 | 116222 | 81452 | 91972 0 | 0 | 0 437.53/437.61 c 436s | 14 | 116671 | 81752 | 91972 0 | 0 | 0 439.93/440.03 c 438s | 14 | 117285 | 82152 | 91972 0 | 0 | 0 442.13/442.21 c 441s | 14 | 117680 | 82452 | 91972 0 | 0 | 0 444.12/444.30 c 443s | 14 | 118035 | 82752 | 91972 0 | 0 | 0 446.22/446.37 c 445s | 14 | 118420 | 83052 | 91972 0 | 0 | 0 448.32/448.46 c 447s | 14 | 118799 | 83352 | 91972 0 | 0 | 0 450.62/450.70 c 449s | 14 | 119193 | 83652 | 91972 0 | 0 | 0 453.23/453.31 c 452s | 14 | 119706 | 84052 | 91972 0 | 0 | 0 455.72/455.84 c 454s | 14 | 120232 | 84452 | 91972 0 | 0 | 0 458.32/458.47 c 457s | 14 | 120768 | 84852 | 91972 0 | 0 | 0 460.92/461.05 c 459s | 14 | 121156 | 85152 | 91972 0 | 0 | 0 463.42/463.55 c 462s | 14 | 121509 | 85452 | 91972 0 | 0 | 0 465.62/465.75 c 464s | 14 | 121881 | 85752 | 91972 0 | 0 | 0 467.71/467.85 c 466s | 14 | 122271 | 86052 | 91972 0 | 0 | 0 470.01/470.18 c 469s | 14 | 122656 | 86352 | 91972 0 | 0 | 0 472.21/472.38 c 471s | 14 | 123062 | 86652 | 91972 0 | 0 | 0 474.41/474.53 c 473s | 14 | 123472 | 86952 | 91972 0 | 0 | 0 476.81/476.94 c 475s | 14 | 123861 | 87252 | 101170 0 | 0 | 0 478.91/479.00 c 477s | 14 | 124247 | 87552 | 101170 0 | 0 | 0 479.51/479.63 c 478s | 15 | 124351 | 87632 | 101170 0 | 0 | 0 482.20/482.31 c 481s | 15 | 124897 | 87732 | 101170 0 | 0 | 0 484.50/484.66 c 483s | 15 | 125269 | 88032 | 101170 0 | 0 | 0 486.60/486.75 c 485s | 15 | 125746 | 88332 | 101170 0 | 0 | 0 488.60/488.78 c 487s | 15 | 126145 | 88632 | 101170 0 | 0 | 0 490.90/491.07 c 489s | 15 | 126591 | 88932 | 101170 0 | 0 | 0 493.00/493.18 c 491s | 15 | 127013 | 89232 | 101170 0 | 0 | 0 495.50/495.69 c 494s | 15 | 127523 | 89632 | 101170 0 | 0 | 0 497.60/497.70 c 496s | 15 | 127945 | 89932 | 101170 0 | 0 | 0 499.70/499.82 c 498s | 15 | 128322 | 90232 | 101170 0 | 0 | 0 501.90/502.03 c 500s | 15 | 128776 | 90532 | 101170 0 | 0 | 0 503.90/504.04 c 502s | 15 | 129154 | 90832 | 101170 0 | 0 | 0 506.30/506.49 c 505s | 15 | 129530 | 91132 | 101170 0 | 0 | 0 508.69/508.84 c 507s | 15 | 129916 | 91432 | 101170 0 | 0 | 0 510.79/510.98 c 509s | 15 | 130331 | 91732 | 101170 0 | 0 | 0 513.49/513.60 c 512s | 15 | 130702 | 92032 | 101170 0 | 0 | 0 515.90/516.01 c 514s | 15 | 131069 | 92332 | 101170 0 | 0 | 0 518.28/518.49 c 517s | 15 | 131514 | 92632 | 101170 0 | 0 | 0 521.18/521.32 c 520s | 15 | 131957 | 92932 | 101170 0 | 0 | 0 523.28/523.45 c 522s | 15 | 132379 | 93232 | 101170 0 | 0 | 0 526.08/526.24 c 525s | 15 | 132785 | 93532 | 101170 0 | 0 | 0 528.18/528.36 c 527s | 15 | 133196 | 93832 | 101170 0 | 0 | 0 530.28/530.48 c 529s | 15 | 133618 | 94132 | 101170 0 | 0 | 0 532.78/532.96 c 531s | 15 | 134010 | 94432 | 101170 0 | 0 | 0 534.98/535.19 c 534s | 15 | 134421 | 94732 | 101170 0 | 0 | 0 537.27/537.47 c 536s | 15 | 134849 | 95032 | 101170 0 | 0 | 0 539.37/539.51 c 538s | 15 | 135075 | 95232 | 101170 0 | 0 | 0 541.87/542.01 c 540s | 15 | 135547 | 95532 | 101170 0 | 0 | 0 544.48/544.63 c 543s | 15 | 135925 | 95832 | 101170 0 | 0 | 0 546.67/546.80 c 545s | 15 | 136485 | 96132 | 101170 0 | 0 | 0 548.77/548.97 c 547s | 15 | 136903 | 96432 | 101170 0 | 0 | 0 551.37/551.52 c 550s | 15 | 137438 | 96832 | 101170 0 | 0 | 0 553.67/553.80 c 552s | 15 | 137971 | 97232 | 101170 0 | 0 | 0 555.67/555.85 c 554s | 15 | 138445 | 97532 | 101170 0 | 0 | 0 557.87/558.05 c 556s | 15 | 138841 | 97832 | 101170 0 | 0 | 0 560.47/560.64 c 559s | 15 | 139353 | 98232 | 101170 0 | 0 | 0 563.08/563.29 c 562s | 15 | 139851 | 98632 | 101170 0 | 0 | 0 565.87/566.03 c 564s | 15 | 140398 | 99032 | 101170 0 | 0 | 0 568.26/568.46 c 567s | 15 | 140775 | 99332 | 101170 0 | 0 | 0 570.87/571.03 c 569s | 15 | 141144 | 99632 | 101170 0 | 0 | 0 572.86/573.06 c 571s | 15 | 141587 | 99932 | 101170 0 | 0 | 0 575.06/575.25 c 574s | 15 | 141990 | 100232 | 101170 0 | 0 | 0 577.16/577.37 c 576s | 15 | 142361 | 100532 | 101170 0 | 0 | 0 579.46/579.69 c 578s | 15 | 142757 | 100832 | 101170 0 | 0 | 0 581.76/581.93 c 580s | 15 | 143125 | 101132 | 101170 0 | 0 | 0 584.46/584.61 c 583s | 15 | 143636 | 101532 | 101170 0 | 0 | 0 586.65/586.80 c 585s | 15 | 144005 | 101832 | 101170 0 | 0 | 0 588.65/588.81 c 587s | 15 | 144414 | 102132 | 101170 0 | 0 | 0 590.75/590.97 c 589s | 15 | 144856 | 102432 | 101170 0 | 0 | 0 593.05/593.26 c 592s | 15 | 145297 | 102732 | 101170 0 | 0 | 0 595.45/595.65 c 594s | 15 | 145722 | 103032 | 101170 0 | 0 | 0 597.94/598.12 c 596s | 15 | 146151 | 103332 | 101170 0 | 0 | 0 600.04/600.22 c 599s | 15 | 146530 | 103632 | 101170 0 | 0 | 0 602.14/602.32 c 601s | 15 | 146907 | 103932 | 101170 0 | 0 | 0 605.95/606.19 c 605s | 15 | 147170 | 104132 | 101170 1 | 0 | 0 608.25/608.48 c 607s | 15 | 147705 | 104532 | 101170 1 | 0 | 0 610.74/610.94 c 609s | 15 | 148262 | 104932 | 101170 1 | 0 | 0 613.35/613.53 c 612s | 15 | 148772 | 105332 | 101170 1 | 0 | 0 615.35/615.58 c 614s | 15 | 149147 | 105632 | 101170 1 | 0 | 0 617.54/617.79 c 616s | 15 | 149644 | 106032 | 101170 1 | 0 | 0 619.94/620.10 c 618s | 15 | 150197 | 106432 | 101170 1 | 0 | 0 622.24/622.49 c 621s | 15 | 150701 | 106832 | 101170 1 | 0 | 0 624.75/624.92 c 623s | 15 | 151248 | 107232 | 101170 1 | 0 | 0 626.84/627.00 c 625s | 15 | 151671 | 107532 | 101170 1 | 0 | 0 628.84/629.04 c 627s | 15 | 152072 | 107832 | 101170 1 | 0 | 0 630.94/631.14 c 629s | 15 | 152470 | 108132 | 101170 1 | 0 | 0 633.64/633.86 c 632s | 15 | 152964 | 108532 | 101170 1 | 0 | 0 635.84/636.05 c 634s | 15 | 153349 | 108832 | 101170 1 | 0 | 0 638.23/638.44 c 637s | 15 | 153726 | 109132 | 101170 1 | 0 | 0 640.23/640.48 c 639s | 15 | 154095 | 109432 | 101170 1 | 0 | 0 642.83/643.03 c 641s | 15 | 154587 | 109832 | 101170 1 | 0 | 0 645.63/645.81 c 644s | 15 | 155084 | 110232 | 101170 1 | 0 | 0 647.73/647.92 c 646s | 15 | 155463 | 110532 | 101170 1 | 0 | 0 650.03/650.29 c 649s | 15 | 155896 | 110832 | 101170 1 | 0 | 0 652.52/652.71 c 651s | 15 | 156251 | 111132 | 101170 1 | 0 | 0 654.62/654.82 c 653s | 15 | 156813 | 111532 | 101170 1 | 0 | 0 657.12/657.33 c 656s | 15 | 157355 | 111932 | 101170 1 | 0 | 0 659.32/659.54 c 658s | 15 | 157906 | 112332 | 101170 1 | 0 | 0 661.52/661.75 c 660s | 15 | 158402 | 112732 | 101170 1 | 0 | 0 664.12/664.30 c 663s | 15 | 158934 | 113132 | 101170 1 | 0 | 0 666.42/666.67 c 665s | 15 | 159471 | 113532 | 101170 1 | 0 | 0 668.91/669.15 c 667s | 15 | 159995 | 113932 | 101170 1 | 0 | 0 671.51/671.74 c 670s | 15 | 160504 | 114332 | 101170 1 | 0 | 0 673.91/674.18 c 672s | 15 | 161043 | 114732 | 101170 1 | 0 | 0 676.11/676.39 c 675s | 15 | 161459 | 115032 | 101170 1 | 0 | 0 678.30/678.50 c 677s | 15 | 161817 | 115332 | 101170 1 | 0 | 0 680.81/681.07 c 679s | 15 | 162334 | 115732 | 101170 1 | 0 | 0 682.91/683.17 c 681s | 15 | 162721 | 116032 | 101170 1 | 0 | 0 685.50/685.71 c 684s | 15 | 163278 | 116432 | 101170 1 | 0 | 0 687.91/688.14 c 686s | 15 | 163773 | 116832 | 101170 1 | 0 | 0 690.21/690.42 c 689s | 15 | 164293 | 117232 | 101170 1 | 0 | 0 692.31/692.54 c 691s | 15 | 164645 | 117532 | 101170 1 | 0 | 0 694.90/695.16 c 693s | 15 | 165169 | 117932 | 101170 1 | 0 | 0 697.00/697.26 c 696s | 15 | 165534 | 118232 | 101170 1 | 0 | 0 699.51/699.79 c 698s | 15 | 166058 | 118632 | 101170 1 | 0 | 0 702.20/702.43 c 701s | 15 | 166605 | 119032 | 101170 1 | 0 | 0 704.30/704.56 c 703s | 15 | 167009 | 119332 | 101170 1 | 0 | 0 706.50/706.75 c 705s | 15 | 167397 | 119632 | 101170 1 | 0 | 0 708.80/709.01 c 707s | 15 | 167783 | 119932 | 101170 1 | 0 | 0 711.20/711.44 c 710s | 15 | 168142 | 120232 | 101170 1 | 0 | 0 713.49/713.71 c 712s | 15 | 168506 | 120532 | 101170 1 | 0 | 0 715.79/716.02 c 714s | 15 | 168906 | 120832 | 101170 1 | 0 | 0 717.79/718.08 c 716s | 15 | 169282 | 121132 | 101170 1 | 0 | 0 719.99/720.22 c 719s | 15 | 169657 | 121432 | 101170 1 | 0 | 0 722.60/722.87 c 721s | 15 | 170186 | 121832 | 101170 1 | 0 | 0 724.80/725.04 c 723s | 15 | 170560 | 122132 | 101170 1 | 0 | 0 727.09/727.34 c 726s | 15 | 170911 | 122432 | 101170 1 | 0 | 0 729.20/729.47 c 728s | 15 | 171293 | 122732 | 101170 1 | 0 | 0 731.30/731.51 c 730s | 15 | 171670 | 123032 | 101170 1 | 0 | 0 733.89/734.15 c 732s | 15 | 172058 | 123332 | 101170 1 | 0 | 0 736.19/736.45 c 735s | 15 | 172413 | 123632 | 101170 1 | 0 | 0 738.59/738.85 c 737s | 15 | 172790 | 123932 | 101170 1 | 0 | 0 740.99/741.22 c 740s | 15 | 173200 | 124232 | 101170 1 | 0 | 0 743.29/743.60 c 742s | 15 | 173544 | 124532 | 101170 1 | 0 | 0 745.88/746.12 c 744s | 15 | 173956 | 124832 | 101170 1 | 0 | 0 748.38/748.68 c 747s | 15 | 174327 | 125132 | 101170 1 | 0 | 0 751.08/751.31 c 750s | 15 | 174684 | 125432 | 101170 1 | 0 | 0 753.68/753.93 c 752s | 15 | 175113 | 125732 | 101170 1 | 0 | 0 756.28/756.51 c 755s | 15 | 175467 | 126032 | 101170 1 | 0 | 0 758.27/758.57 c 757s | 15 | 175874 | 126332 | 101170 1 | 0 | 0 760.37/760.69 c 759s | 15 | 176253 | 126632 | 101170 1 | 0 | 0 762.77/763.02 c 761s | 15 | 176613 | 126932 | 101170 1 | 0 | 0 765.17/765.40 c 764s | 15 | 176983 | 127232 | 101170 1 | 0 | 0 767.27/767.59 c 766s | 15 | 177336 | 127532 | 101170 1 | 0 | 0 769.97/770.25 c 769s | 15 | 177718 | 127832 | 101170 1 | 0 | 0 772.26/772.53 c 771s | 15 | 178123 | 128132 | 101170 1 | 0 | 0 774.56/774.83 c 773s | 15 | 178544 | 128432 | 101170 1 | 0 | 0 777.26/777.53 c 776s | 15 | 178957 | 128732 | 101170 1 | 0 | 0 779.66/779.97 c 778s | 15 | 179324 | 129032 | 101170 1 | 0 | 0 782.27/782.56 c 781s | 15 | 179708 | 129332 | 101170 1 | 0 | 0 784.67/784.99 c 783s | 15 | 180139 | 129632 | 101170 1 | 0 | 0 787.37/787.64 c 786s | 15 | 180498 | 129932 | 101170 1 | 0 | 0 789.86/790.10 c 788s | 15 | 180893 | 130232 | 101170 1 | 0 | 0 792.46/792.74 c 791s | 15 | 181260 | 130532 | 101170 1 | 0 | 0 794.96/795.25 c 794s | 15 | 181633 | 130832 | 111288 1 | 0 | 0 797.26/797.56 c 796s | 15 | 182017 | 131132 | 111288 1 | 0 | 0 799.75/800.08 c 798s | 15 | 182405 | 131432 | 111288 1 | 0 | 0 800.75/801.09 c 799s | 16 | 182568 | 131552 | 111288 1 | 0 | 0 803.75/804.00 c 802s | 16 | 183117 | 131652 | 111288 1 | 0 | 0 806.16/806.48 c 805s | 16 | 183634 | 132052 | 111288 1 | 0 | 0 808.45/808.76 c 807s | 16 | 184191 | 132452 | 111288 1 | 0 | 0 810.85/811.14 c 809s | 16 | 184689 | 132852 | 111288 1 | 0 | 0 813.35/813.67 c 812s | 16 | 185242 | 133252 | 111288 1 | 0 | 0 815.75/816.03 c 814s | 16 | 185717 | 133652 | 111288 1 | 0 | 0 818.15/818.45 c 817s | 16 | 186258 | 134052 | 111288 1 | 0 | 0 820.45/820.78 c 819s | 16 | 186849 | 134452 | 111288 1 | 0 | 0 822.74/823.03 c 821s | 16 | 187363 | 134852 | 111288 1 | 0 | 0 825.14/825.49 c 824s | 16 | 187869 | 135252 | 111288 1 | 0 | 0 827.64/827.96 c 826s | 16 | 188447 | 135652 | 111288 1 | 0 | 0 830.24/830.57 c 829s | 16 | 188947 | 136052 | 111288 1 | 0 | 0 832.84/833.18 c 832s | 16 | 189412 | 136452 | 111288 1 | 0 | 0 834.93/835.25 c 834s | 16 | 189777 | 136752 | 111288 1 | 0 | 0 837.53/837.83 c 836s | 16 | 190263 | 137152 | 111288 1 | 0 | 0 839.63/839.92 c 838s | 16 | 190658 | 137452 | 111288 1 | 0 | 0 842.13/842.43 c 841s | 16 | 191164 | 137852 | 111288 1 | 0 | 0 844.13/844.46 c 843s | 16 | 191522 | 138152 | 111288 1 | 0 | 0 846.13/846.46 c 845s | 16 | 191907 | 138452 | 111288 1 | 0 | 0 848.22/848.57 c 847s | 16 | 192285 | 138752 | 111288 1 | 0 | 0 850.32/850.68 c 849s | 16 | 192665 | 139052 | 111288 1 | 0 | 0 852.52/852.88 c 851s | 16 | 193025 | 139352 | 111288 1 | 0 | 0 855.32/855.60 c 854s | 16 | 193525 | 139752 | 111288 1 | 0 | 0 857.31/857.65 c 856s | 16 | 193886 | 140052 | 111288 1 | 0 | 0 859.41/859.76 c 858s | 16 | 194268 | 140352 | 111288 1 | 0 | 0 861.91/862.20 c 861s | 16 | 194828 | 140752 | 111288 1 | 0 | 0 864.32/864.69 c 863s | 16 | 195179 | 141052 | 111288 1 | 0 | 0 866.51/866.88 c 865s | 16 | 195548 | 141352 | 111288 1 | 0 | 0 868.82/869.10 c 867s | 16 | 195946 | 141652 | 111288 1 | 0 | 0 871.02/871.36 c 870s | 16 | 196312 | 141952 | 111288 1 | 0 | 0 873.22/873.55 c 872s | 16 | 196715 | 142252 | 111288 1 | 0 | 0 875.51/875.87 c 874s | 16 | 197069 | 142552 | 111288 1 | 0 | 0 877.71/878.04 c 876s | 16 | 197491 | 142852 | 111288 1 | 0 | 0 880.31/880.65 c 879s | 16 | 198108 | 143252 | 111288 1 | 0 | 0 882.91/883.30 c 882s | 16 | 198643 | 143652 | 111288 1 | 0 | 0 885.51/885.90 c 884s | 16 | 199184 | 144052 | 111288 1 | 0 | 0 888.20/888.56 c 887s | 16 | 199702 | 144452 | 111288 1 | 0 | 0 890.30/890.68 c 889s | 16 | 200055 | 144752 | 111288 1 | 0 | 0 892.91/893.27 c 892s | 16 | 200594 | 145152 | 111288 1 | 0 | 0 895.50/895.82 c 894s | 16 | 201106 | 145552 | 111288 1 | 0 | 0 898.09/898.49 c 897s | 16 | 201585 | 145952 | 111288 1 | 0 | 0 900.29/900.68 c 899s | 16 | 201960 | 146252 | 111288 1 | 0 | 0 902.90/903.26 c 902s | 16 | 202477 | 146652 | 111288 1 | 0 | 0 905.49/905.86 c 904s | 16 | 202991 | 147052 | 111288 1 | 0 | 0 907.68/908.02 c 906s | 16 | 203380 | 147352 | 111288 1 | 0 | 0 909.78/910.17 c 908s | 16 | 203767 | 147652 | 111288 1 | 0 | 0 912.18/912.58 c 911s | 16 | 204118 | 147952 | 111288 1 | 0 | 0 914.38/914.74 c 913s | 16 | 204480 | 148252 | 111288 1 | 0 | 0 916.58/916.90 c 915s | 16 | 204879 | 148552 | 111288 1 | 0 | 0 918.68/919.08 c 917s | 16 | 205284 | 148852 | 111288 1 | 0 | 0 921.18/921.58 c 920s | 16 | 205769 | 149252 | 111288 1 | 0 | 0 923.28/923.62 c 922s | 16 | 206187 | 149552 | 111288 1 | 0 | 0 925.58/925.96 c 924s | 16 | 206546 | 149852 | 111288 1 | 0 | 0 927.87/928.25 c 927s | 16 | 207043 | 150152 | 111288 1 | 0 | 0 929.87/930.25 c 929s | 16 | 207516 | 150452 | 111288 1 | 0 | 0 931.97/932.35 c 931s | 16 | 207941 | 150752 | 111288 1 | 0 | 0 934.17/934.52 c 933s | 16 | 208389 | 151052 | 111288 1 | 0 | 0 936.37/936.74 c 935s | 16 | 208779 | 151352 | 111288 1 | 0 | 0 938.97/939.38 c 938s | 16 | 209168 | 151652 | 111288 1 | 0 | 0 941.47/941.89 c 940s | 16 | 209567 | 151952 | 111288 1 | 0 | 0 943.67/944.09 c 942s | 16 | 209980 | 152252 | 111288 1 | 0 | 0 945.97/946.40 c 945s | 16 | 210384 | 152552 | 111288 1 | 0 | 0 948.66/949.00 c 947s | 16 | 210738 | 152852 | 111288 1 | 0 | 0 951.06/951.40 c 950s | 16 | 211128 | 153152 | 111288 1 | 0 | 0 953.46/953.84 c 952s | 16 | 211510 | 153452 | 111288 1 | 0 | 0 955.96/956.35 c 955s | 16 | 211889 | 153752 | 111288 1 | 0 | 0 958.76/959.12 c 957s | 16 | 212303 | 154052 | 111288 1 | 0 | 0 961.26/961.69 c 960s | 16 | 212710 | 154352 | 111288 1 | 0 | 0 963.76/964.10 c 962s | 16 | 213105 | 154652 | 111288 1 | 0 | 0 966.36/966.72 c 965s | 16 | 213520 | 154952 | 111288 1 | 0 | 0 968.95/969.32 c 968s | 16 | 213884 | 155252 | 111288 1 | 0 | 0 971.45/971.88 c 970s | 16 | 214277 | 155552 | 111288 1 | 0 | 0 974.05/974.43 c 973s | 16 | 214683 | 155852 | 111288 1 | 0 | 0 976.64/977.04 c 975s | 16 | 215054 | 156152 | 111288 1 | 0 | 0 979.14/979.57 c 978s | 16 | 215424 | 156452 | 111288 1 | 0 | 0 981.54/981.98 c 980s | 16 | 215880 | 156752 | 111288 1 | 0 | 0 984.05/984.49 c 983s | 16 | 216284 | 157052 | 111288 1 | 0 | 0 986.35/986.75 c 985s | 16 | 216676 | 157352 | 111288 1 | 0 | 0 988.84/989.29 c 988s | 16 | 217121 | 157652 | 111288 1 | 0 | 0 991.44/991.87 c 990s | 16 | 217491 | 157952 | 111288 1 | 0 | 0 993.94/994.36 c 993s | 16 | 217888 | 158252 | 111288 1 | 0 | 0 996.35/996.75 c 995s | 16 | 218316 | 158552 | 111288 1 | 0 | 0 998.73/999.13 c 997s | 16 | 218735 | 158852 | 111288 1 | 0 | 0 1001.33/1001.71 c 1000s | 16 | 219118 | 159152 | 111288 1 | 0 | 0 1004.23/1004.67 c 1003s | 16 | 219501 | 159452 | 111288 1 | 0 | 0 1006.83/1007.29 c 1006s | 16 | 219877 | 159752 | 111288 1 | 0 | 0 1009.13/1009.51 c 1008s | 16 | 220277 | 160052 | 111288 1 | 0 | 0 1011.33/1011.76 c 1010s | 16 | 220656 | 160352 | 111288 1 | 0 | 0 1014.02/1014.42 c 1013s | 16 | 221056 | 160652 | 111288 1 | 0 | 0 1016.03/1016.45 c 1015s | 16 | 221303 | 160852 | 111288 1 | 0 | 0 1018.82/1019.23 c 1018s | 16 | 221725 | 161152 | 111288 1 | 0 | 0 1021.53/1021.95 c 1020s | 16 | 222094 | 161452 | 111288 1 | 0 | 0 1024.52/1024.98 c 1023s | 16 | 222463 | 161752 | 111288 1 | 0 | 0 1027.42/1027.85 c 1026s | 16 | 222820 | 162052 | 111288 1 | 0 | 0 1029.92/1030.36 c 1029s | 16 | 223208 | 162352 | 111288 1 | 0 | 0 1032.92/1033.30 c 1032s | 16 | 223607 | 162652 | 111288 1 | 0 | 0 1035.82/1036.21 c 1035s | 16 | 223995 | 162952 | 111288 1 | 0 | 0 1038.71/1039.12 c 1037s | 16 | 224386 | 163252 | 111288 1 | 0 | 0 1041.61/1042.06 c 1040s | 16 | 224755 | 163552 | 111288 1 | 0 | 0 1044.62/1045.07 c 1043s | 16 | 225114 | 163852 | 111288 1 | 0 | 0 1047.30/1047.78 c 1046s | 16 | 225508 | 164152 | 111288 1 | 0 | 0 1050.11/1050.58 c 1049s | 16 | 225870 | 164452 | 111288 1 | 0 | 0 1052.60/1053.09 c 1051s | 16 | 226268 | 164752 | 111288 1 | 0 | 0 1054.70/1055.11 c 1053s | 16 | 226527 | 164952 | 111288 1 | 0 | 0 1056.70/1057.19 c 1056s | 16 | 226762 | 165152 | 111288 1 | 0 | 0 1058.90/1059.36 c 1058s | 16 | 227006 | 165352 | 111288 1 | 0 | 0 1060.90/1061.37 c 1060s | 16 | 227274 | 165552 | 111288 1 | 0 | 0 1063.10/1063.50 c 1062s | 16 | 227530 | 165752 | 111288 1 | 0 | 0 1065.20/1065.69 c 1064s | 16 | 227780 | 165952 | 111288 1 | 0 | 0 1070.19/1070.69 c 1069s | 16 | 228028 | 166152 | 111288 2 | 0 | 0 1072.69/1073.13 c 1071s | 16 | 228421 | 166452 | 111288 2 | 0 | 0 1074.89/1075.33 c 1074s | 16 | 228845 | 166752 | 111288 2 | 0 | 0 1077.10/1077.53 c 1076s | 16 | 229243 | 167052 | 111288 2 | 0 | 0 1079.40/1079.81 c 1078s | 16 | 229625 | 167352 | 111288 2 | 0 | 0 1081.70/1082.12 c 1080s | 16 | 230041 | 167652 | 111288 2 | 0 | 0 1083.79/1084.22 c 1083s | 16 | 230333 | 167852 | 111288 2 | 0 | 0 1086.09/1086.59 c 1085s | 16 | 231127 | 168152 | 111288 2 | 0 | 0 1088.49/1088.97 c 1087s | 16 | 231520 | 168452 | 111288 2 | 0 | 0 1090.90/1091.31 c 1090s | 16 | 231874 | 168752 | 111288 2 | 0 | 0 1093.39/1093.83 c 1092s | 16 | 232412 | 169152 | 111288 2 | 0 | 0 1095.89/1096.32 c 1095s | 16 | 232992 | 169552 | 111288 2 | 0 | 0 1098.39/1098.84 c 1097s | 16 | 233557 | 169952 | 111288 2 | 0 | 0 1100.38/1100.88 c 1099s | 16 | 233961 | 170252 | 111288 2 | 0 | 0 1102.58/1103.00 c 1101s | 16 | 234587 | 170552 | 111288 2 | 0 | 0 1104.78/1105.23 c 1104s | 16 | 235576 | 170952 | 111288 2 | 0 | 0 1106.78/1107.29 c 1106s | 16 | 236023 | 171252 | 111288 2 | 0 | 0 1109.38/1109.83 c 1108s | 16 | 236749 | 171752 | 111288 2 | 0 | 0 1111.58/1112.06 c 1110s | 16 | 237345 | 172152 | 111288 2 | 0 | 0 1113.68/1114.17 c 1112s | 16 | 237924 | 172552 | 111288 2 | 0 | 0 1116.08/1116.50 c 1115s | 16 | 238590 | 172952 | 111288 2 | 0 | 0 1118.17/1118.68 c 1117s | 16 | 239135 | 173352 | 111288 2 | 0 | 0 1120.38/1120.85 c 1119s | 16 | 239659 | 173752 | 111288 2 | 0 | 0 1122.88/1123.34 c 1122s | 16 | 240190 | 174152 | 111288 2 | 0 | 0 1125.08/1125.59 c 1124s | 16 | 240709 | 174552 | 111288 2 | 0 | 0 1127.48/1127.96 c 1126s | 16 | 241246 | 174952 | 111288 2 | 0 | 0 1129.98/1130.40 c 1129s | 16 | 241757 | 175352 | 111288 2 | 0 | 0 1132.28/1132.77 c 1131s | 16 | 242354 | 175752 | 111288 2 | 0 | 0 1135.18/1135.60 c 1134s | 16 | 242874 | 176152 | 111288 2 | 0 | 0 1137.28/1137.73 c 1136s | 16 | 243300 | 176452 | 111288 2 | 0 | 0 1139.67/1140.16 c 1138s | 16 | 243810 | 176852 | 111288 2 | 0 | 0 1141.97/1142.48 c 1141s | 16 | 244352 | 177252 | 111288 2 | 0 | 0 1144.57/1145.07 c 1143s | 16 | 244917 | 177652 | 111288 2 | 0 | 0 1146.67/1147.13 c 1145s | 16 | 245286 | 177952 | 111288 2 | 0 | 0 1149.18/1149.70 c 1148s | 16 | 245806 | 178352 | 111288 2 | 0 | 0 1151.57/1152.06 c 1150s | 16 | 246347 | 178752 | 111288 2 | 0 | 0 1154.07/1154.57 c 1153s | 16 | 246888 | 179152 | 111288 2 | 0 | 0 1156.57/1157.03 c 1155s | 16 | 247454 | 179552 | 111288 2 | 0 | 0 1159.08/1159.53 c 1158s | 16 | 247992 | 179952 | 111288 2 | 0 | 0 1161.57/1162.01 c 1160s | 16 | 248504 | 180352 | 111288 2 | 0 | 0 1164.07/1164.51 c 1163s | 16 | 249075 | 180752 | 111288 2 | 0 | 0 1166.57/1167.08 c 1165s | 16 | 249617 | 181152 | 111288 2 | 0 | 0 1169.17/1169.63 c 1168s | 16 | 250171 | 181552 | 111288 2 | 0 | 0 1171.66/1172.18 c 1170s | 16 | 250713 | 181952 | 111288 2 | 0 | 0 1173.76/1174.22 c 1173s | 16 | 251135 | 182252 | 111288 2 | 0 | 0 1176.16/1176.63 c 1175s | 16 | 251720 | 182652 | 111288 2 | 0 | 0 1178.26/1178.74 c 1177s | 16 | 252083 | 182952 | 111288 2 | 0 | 0 1180.26/1180.76 c 1179s | 16 | 252496 | 183252 | 111288 2 | 0 | 0 1182.36/1182.82 c 1181s | 16 | 252896 | 183552 | 111288 2 | 0 | 0 1184.56/1185.00 c 1183s | 16 | 253230 | 183852 | 111288 2 | 0 | 0 1186.57/1187.09 c 1185s | 16 | 253593 | 184152 | 111288 2 | 0 | 0 1189.46/1189.94 c 1188s | 16 | 254098 | 184552 | 111288 2 | 0 | 0 1191.46/1191.97 c 1190s | 16 | 254486 | 184852 | 111288 2 | 0 | 0 1193.66/1194.11 c 1192s | 16 | 254864 | 185152 | 111288 2 | 0 | 0 1196.27/1196.73 c 1195s | 16 | 255379 | 185552 | 111288 2 | 0 | 0 1198.87/1199.34 c 1198s | 16 | 255892 | 185952 | 111288 2 | 0 | 0 1200.97/1201.41 c 1200s | 16 | 256276 | 186252 | 111288 2 | 0 | 0 1203.17/1203.62 c 1202s | 16 | 256662 | 186552 | 111288 2 | 0 | 0 1205.27/1205.71 c 1204s | 16 | 257053 | 186852 | 111288 2 | 0 | 0 1207.47/1207.94 c 1206s | 16 | 257473 | 187152 | 111288 2 | 0 | 0 1209.67/1210.15 c 1208s | 16 | 257845 | 187452 | 111288 2 | 0 | 0 1212.36/1212.87 c 1211s | 16 | 258397 | 187852 | 111288 2 | 0 | 0 1214.66/1215.12 c 1213s | 16 | 258805 | 188152 | 111288 2 | 0 | 0 1216.96/1217.44 c 1216s | 16 | 259198 | 188452 | 111288 2 | 0 | 0 1219.36/1219.81 c 1218s | 16 | 259560 | 188752 | 111288 2 | 0 | 0 1221.46/1221.97 c 1220s | 16 | 259969 | 189052 | 111288 2 | 0 | 0 1223.97/1224.46 c 1223s | 16 | 260343 | 189352 | 111288 2 | 0 | 0 1226.26/1226.72 c 1225s | 16 | 260697 | 189652 | 111288 2 | 0 | 0 1228.56/1229.04 c 1227s | 16 | 261067 | 189952 | 111288 2 | 0 | 0 1230.76/1231.24 c 1230s | 16 | 261502 | 190252 | 111288 2 | 0 | 0 1233.36/1233.82 c 1232s | 16 | 261889 | 190552 | 111288 2 | 0 | 0 1235.86/1236.34 c 1235s | 16 | 262273 | 190852 | 111288 2 | 0 | 0 1237.96/1238.47 c 1237s | 16 | 262671 | 191152 | 111288 2 | 0 | 0 1240.46/1240.92 c 1239s | 16 | 263071 | 191452 | 111288 2 | 0 | 0 1242.56/1243.03 c 1241s | 16 | 263462 | 191752 | 111288 2 | 0 | 0 1245.05/1245.55 c 1244s | 16 | 263829 | 192052 | 111288 2 | 0 | 0 1247.35/1247.81 c 1246s | 16 | 264218 | 192352 | 111288 2 | 0 | 0 1249.75/1250.23 c 1249s | 16 | 264575 | 192652 | 111288 2 | 0 | 0 1251.85/1252.30 c 1251s | 16 | 264822 | 192852 | 111288 2 | 0 | 0 1254.25/1254.75 c 1253s | 16 | 265179 | 193152 | 111288 2 | 0 | 0 1256.65/1257.12 c 1255s | 16 | 265553 | 193452 | 111288 2 | 0 | 0 1259.06/1259.52 c 1258s | 16 | 265954 | 193752 | 111288 2 | 0 | 0 1261.55/1262.02 c 1260s | 16 | 266333 | 194052 | 111288 2 | 0 | 0 1263.85/1264.31 c 1263s | 16 | 266719 | 194352 | 111288 2 | 0 | 0 1266.25/1266.71 c 1265s | 16 | 267071 | 194652 | 111288 2 | 0 | 0 1268.75/1269.22 c 1268s | 16 | 267435 | 194952 | 111288 2 | 0 | 0 1270.95/1271.44 c 1270s | 16 | 267848 | 195252 | 111288 2 | 0 | 0 1273.45/1273.94 c 1272s | 16 | 268215 | 195552 | 111288 2 | 0 | 0 1275.95/1276.46 c 1275s | 16 | 268575 | 195852 | 111288 2 | 0 | 0 1278.25/1278.78 c 1277s | 16 | 268946 | 196152 | 122417 2 | 0 | 0 1280.85/1281.38 c 1280s | 16 | 269302 | 196452 | 122417 2 | 0 | 0 1283.35/1283.85 c 1282s | 16 | 269685 | 196752 | 122417 2 | 0 | 0 1285.84/1286.38 c 1285s | 16 | 270039 | 197052 | 122417 2 | 0 | 0 1288.24/1288.72 c 1287s | 16 | 270424 | 197352 | 122417 2 | 0 | 0 1288.85/1289.34 c 1288s | 17 | 270517 | 197432 | 122417 2 | 0 | 0 1291.75/1292.24 c 1291s | 17 | 271054 | 197532 | 122417 2 | 0 | 0 1294.26/1294.73 c 1293s | 17 | 271588 | 197932 | 122417 2 | 0 | 0 1297.05/1297.52 c 1296s | 17 | 272116 | 198332 | 122417 2 | 0 | 0 1299.65/1300.16 c 1298s | 17 | 272618 | 198732 | 122417 2 | 0 | 0 1302.06/1302.57 c 1301s | 17 | 273148 | 199132 | 122417 2 | 0 | 0 1304.15/1304.69 c 1303s | 17 | 273522 | 199432 | 122417 2 | 0 | 0 1306.94/1307.42 c 1306s | 17 | 274074 | 199832 | 122417 2 | 0 | 0 1309.04/1309.51 c 1308s | 17 | 274468 | 200132 | 122417 2 | 0 | 0 1311.04/1311.57 c 1310s | 17 | 274841 | 200432 | 122417 2 | 0 | 0 1313.14/1313.61 c 1312s | 17 | 275219 | 200732 | 122417 2 | 0 | 0 1315.15/1315.69 c 1314s | 17 | 275641 | 201032 | 122417 2 | 0 | 0 1317.45/1317.99 c 1316s | 17 | 276009 | 201332 | 122417 2 | 0 | 0 1319.84/1320.34 c 1319s | 17 | 276394 | 201632 | 122417 2 | 0 | 0 1322.44/1322.95 c 1321s | 17 | 276958 | 202032 | 122417 2 | 0 | 0 1324.64/1325.10 c 1323s | 17 | 277403 | 202332 | 122417 2 | 0 | 0 1326.94/1327.47 c 1326s | 17 | 277808 | 202632 | 122417 2 | 0 | 0 1329.24/1329.73 c 1328s | 17 | 278238 | 202932 | 122417 2 | 0 | 0 1331.65/1332.19 c 1331s | 17 | 278616 | 203232 | 122417 2 | 0 | 0 1334.14/1334.69 c 1333s | 17 | 279098 | 203532 | 122417 2 | 0 | 0 1336.85/1337.36 c 1336s | 17 | 279739 | 203932 | 122417 2 | 0 | 0 1339.15/1339.66 c 1338s | 17 | 280202 | 204232 | 122417 2 | 0 | 0 1341.34/1341.83 c 1340s | 17 | 280613 | 204532 | 122417 2 | 0 | 0 1343.34/1343.88 c 1342s | 17 | 281017 | 204832 | 122417 2 | 0 | 0 1345.54/1346.05 c 1344s | 17 | 281434 | 205132 | 122417 2 | 0 | 0 1347.94/1348.41 c 1347s | 17 | 281831 | 205432 | 122417 2 | 0 | 0 1350.14/1350.63 c 1349s | 17 | 282407 | 205732 | 122417 2 | 0 | 0 1352.44/1352.97 c 1351s | 17 | 282794 | 206032 | 122417 2 | 0 | 0 1354.64/1355.19 c 1354s | 17 | 283196 | 206332 | 122417 2 | 0 | 0 1357.34/1357.80 c 1356s | 17 | 283631 | 206632 | 122417 2 | 0 | 0 1359.74/1360.27 c 1359s | 17 | 284030 | 206932 | 122417 2 | 0 | 0 1361.94/1362.46 c 1361s | 17 | 284408 | 207232 | 122417 2 | 0 | 0 1364.34/1364.82 c 1363s | 17 | 284766 | 207532 | 122417 2 | 0 | 0 1366.85/1367.40 c 1366s | 17 | 285162 | 207832 | 122417 2 | 0 | 0 1368.94/1369.43 c 1368s | 17 | 285557 | 208132 | 122417 2 | 0 | 0 1371.44/1371.90 c 1370s | 17 | 286069 | 208532 | 122417 2 | 0 | 0 1373.84/1374.37 c 1373s | 17 | 286592 | 208932 | 122417 2 | 0 | 0 1376.04/1376.50 c 1375s | 17 | 286973 | 209232 | 122417 2 | 0 | 0 1378.14/1378.60 c 1377s | 17 | 287384 | 209532 | 122417 2 | 0 | 0 1380.14/1380.70 c 1379s | 17 | 287822 | 209832 | 122417 2 | 0 | 0 1382.44/1382.94 c 1381s | 17 | 288199 | 210132 | 122417 2 | 0 | 0 1384.74/1385.21 c 1384s | 17 | 288603 | 210432 | 122417 2 | 0 | 0 1386.74/1387.26 c 1386s | 17 | 288970 | 210732 | 122417 2 | 0 | 0 1389.13/1389.67 c 1388s | 17 | 289387 | 211032 | 122417 2 | 0 | 0 1391.53/1392.03 c 1390s | 17 | 289747 | 211332 | 122417 2 | 0 | 0 1393.83/1394.36 c 1393s | 17 | 290143 | 211632 | 122417 2 | 0 | 0 1396.13/1396.62 c 1395s | 17 | 290533 | 211932 | 122417 2 | 0 | 0 1398.43/1398.90 c 1397s | 17 | 290919 | 212232 | 122417 2 | 0 | 0 1400.53/1401.01 c 1399s | 17 | 291300 | 212532 | 122417 2 | 0 | 0 1402.73/1403.29 c 1402s | 17 | 291699 | 212832 | 122417 2 | 0 | 0 1405.23/1405.78 c 1404s | 17 | 292111 | 213132 | 122417 2 | 0 | 0 1407.73/1408.23 c 1407s | 17 | 292517 | 213432 | 122417 2 | 0 | 0 1409.93/1410.43 c 1409s | 17 | 292920 | 213732 | 122417 2 | 0 | 0 1412.33/1412.86 c 1411s | 17 | 293346 | 214032 | 122417 2 | 0 | 0 1414.63/1415.18 c 1413s | 17 | 293772 | 214332 | 122417 2 | 0 | 0 1416.93/1417.40 c 1416s | 17 | 294141 | 214632 | 122417 2 | 0 | 0 1419.23/1419.79 c 1418s | 17 | 294546 | 214932 | 122417 2 | 0 | 0 1421.62/1422.14 c 1420s | 17 | 294972 | 215232 | 122417 2 | 0 | 0 1424.03/1424.52 c 1423s | 17 | 295351 | 215532 | 122417 2 | 0 | 0 1426.53/1427.05 c 1425s | 17 | 295770 | 215832 | 122417 2 | 0 | 0 1428.93/1429.42 c 1428s | 17 | 296189 | 216132 | 122417 2 | 0 | 0 1430.93/1431.48 c 1430s | 17 | 296635 | 216432 | 122417 2 | 0 | 0 1433.43/1433.90 c 1432s | 17 | 297011 | 216732 | 122417 2 | 0 | 0 1435.93/1436.41 c 1435s | 17 | 297365 | 217032 | 122417 2 | 0 | 0 1438.23/1438.75 c 1437s | 17 | 297763 | 217332 | 122417 2 | 0 | 0 1440.93/1441.47 c 1440s | 17 | 298216 | 217632 | 122417 2 | 0 | 0 1443.83/1444.35 c 1443s | 17 | 298592 | 217932 | 122417 2 | 0 | 0 1446.63/1447.12 c 1445s | 17 | 299016 | 218232 | 122417 2 | 0 | 0 1448.83/1449.39 c 1448s | 17 | 299435 | 218532 | 122417 2 | 0 | 0 1451.13/1451.64 c 1450s | 17 | 299859 | 218832 | 122417 2 | 0 | 0 1453.73/1454.29 c 1453s | 17 | 300298 | 219132 | 122417 2 | 0 | 0 1456.32/1456.87 c 1455s | 17 | 300680 | 219432 | 122417 2 | 0 | 0 1458.42/1458.95 c 1457s | 17 | 301047 | 219732 | 122417 2 | 0 | 0 1460.72/1461.25 c 1460s | 17 | 301438 | 220032 | 122417 2 | 0 | 0 1463.12/1463.67 c 1462s | 17 | 301797 | 220332 | 122417 2 | 0 | 0 1465.42/1465.94 c 1464s | 17 | 302171 | 220632 | 122417 2 | 0 | 0 1467.72/1468.26 c 1467s | 17 | 302556 | 220932 | 122417 2 | 0 | 0 1470.33/1470.88 c 1469s | 17 | 302921 | 221232 | 122417 2 | 0 | 0 1472.82/1473.39 c 1472s | 17 | 303340 | 221532 | 122417 2 | 0 | 0 1475.22/1475.77 c 1474s | 17 | 303732 | 221832 | 122417 2 | 0 | 0 1478.02/1478.57 c 1477s | 17 | 304121 | 222132 | 122417 2 | 0 | 0 1480.82/1481.37 c 1480s | 17 | 304498 | 222432 | 122417 2 | 0 | 0 1483.53/1484.08 c 1482s | 17 | 304876 | 222732 | 122417 2 | 0 | 0 1485.63/1486.11 c 1484s | 17 | 305119 | 222932 | 122417 2 | 0 | 0 1488.52/1489.05 c 1487s | 17 | 305525 | 223232 | 122417 2 | 0 | 0 1490.52/1491.05 c 1489s | 17 | 305794 | 223432 | 122417 2 | 0 | 0 1492.71/1493.26 c 1492s | 17 | 306192 | 223732 | 122417 2 | 0 | 0 1495.52/1496.09 c 1494s | 17 | 306579 | 224032 | 122417 2 | 0 | 0 1498.31/1498.81 c 1497s | 17 | 306928 | 224332 | 122417 2 | 0 | 0 1500.61/1501.12 c 1499s | 17 | 307315 | 224632 | 122417 2 | 0 | 0 1503.33/1503.81 c 1502s | 17 | 307715 | 224932 | 122417 2 | 0 | 0 1505.92/1506.43 c 1505s | 17 | 308115 | 225232 | 122417 2 | 0 | 0 1508.52/1509.08 c 1507s | 17 | 308484 | 225532 | 122417 2 | 0 | 0 1511.32/1511.84 c 1510s | 17 | 308846 | 225832 | 122417 2 | 0 | 0 1514.12/1514.61 c 1513s | 17 | 309236 | 226132 | 122417 2 | 0 | 0 1516.72/1517.29 c 1516s | 17 | 309674 | 226432 | 122417 2 | 0 | 0 1519.62/1520.14 c 1518s | 17 | 310042 | 226732 | 122417 2 | 0 | 0 1522.51/1523.09 c 1521s | 17 | 310436 | 227032 | 122417 2 | 0 | 0 1524.61/1525.10 c 1523s | 17 | 310706 | 227232 | 122417 2 | 0 | 0 1526.61/1527.10 c 1525s | 17 | 310943 | 227432 | 122417 2 | 0 | 0 1529.51/1530.07 c 1528s | 17 | 311334 | 227732 | 122417 2 | 0 | 0 1531.61/1532.19 c 1531s | 17 | 311583 | 227932 | 122417 2 | 0 | 0 1534.61/1535.12 c 1533s | 17 | 311977 | 228232 | 122417 2 | 0 | 0 1537.51/1538.02 c 1536s | 17 | 312409 | 228532 | 122417 2 | 0 | 0 1540.41/1540.92 c 1539s | 17 | 312784 | 228832 | 122417 2 | 0 | 0 1543.11/1543.67 c 1542s | 17 | 313150 | 229132 | 122417 2 | 0 | 0 1545.91/1546.43 c 1545s | 17 | 313544 | 229432 | 122417 2 | 0 | 0 1548.61/1549.18 c 1548s | 17 | 313930 | 229732 | 122417 2 | 0 | 0 1551.40/1551.93 c 1550s | 17 | 314303 | 230032 | 122417 2 | 0 | 0 1553.92/1554.41 c 1553s | 17 | 314683 | 230332 | 122417 2 | 0 | 0 1555.91/1556.42 c 1555s | 17 | 314943 | 230532 | 122417 2 | 0 | 0 1558.41/1558.90 c 1557s | 17 | 315337 | 230832 | 122417 2 | 0 | 0 1561.31/1561.81 c 1560s | 17 | 315714 | 231132 | 122417 2 | 0 | 0 1563.41/1563.97 c 1562s | 17 | 315961 | 231332 | 122417 2 | 0 | 0 1565.81/1566.32 c 1565s | 17 | 316203 | 231532 | 122417 2 | 0 | 0 1568.71/1569.25 c 1568s | 17 | 316585 | 231832 | 122417 2 | 0 | 0 1571.41/1571.98 c 1570s | 17 | 316982 | 232132 | 122417 2 | 0 | 0 1573.50/1574.03 c 1572s | 17 | 317245 | 232332 | 122417 2 | 0 | 0 1576.20/1576.74 c 1575s | 17 | 317663 | 232632 | 122417 2 | 0 | 0 1578.90/1579.47 c 1578s | 17 | 318018 | 232932 | 122417 2 | 0 | 0 1581.70/1582.23 c 1581s | 17 | 318398 | 233232 | 122417 2 | 0 | 0 1584.40/1584.98 c 1583s | 17 | 318814 | 233532 | 122417 2 | 0 | 0 1587.21/1587.77 c 1586s | 17 | 319212 | 233832 | 122417 2 | 0 | 0 1590.21/1590.76 c 1589s | 17 | 319570 | 234132 | 122417 2 | 0 | 0 1595.01/1595.55 c 1594s | 17 | 319817 | 234332 | 122417 3 | 0 | 0 1597.50/1598.05 c 1596s | 17 | 320196 | 234632 | 122417 3 | 0 | 0 1599.70/1600.25 c 1599s | 17 | 320585 | 234932 | 122417 3 | 0 | 0 1602.10/1602.65 c 1601s | 17 | 320951 | 235232 | 122417 3 | 0 | 0 1604.51/1605.09 c 1603s | 17 | 321345 | 235532 | 122417 3 | 0 | 0 1607.10/1607.62 c 1606s | 17 | 321869 | 235932 | 122417 3 | 0 | 0 1609.40/1609.92 c 1608s | 17 | 322235 | 236232 | 122417 3 | 0 | 0 1611.60/1612.15 c 1610s | 17 | 322616 | 236532 | 122417 3 | 0 | 0 1614.20/1614.72 c 1613s | 17 | 323013 | 236832 | 122417 3 | 0 | 0 1616.40/1616.96 c 1615s | 17 | 323450 | 237132 | 122417 3 | 0 | 0 1618.70/1619.23 c 1618s | 17 | 323813 | 237432 | 122417 3 | 0 | 0 1621.19/1621.78 c 1620s | 17 | 324203 | 237732 | 122417 3 | 0 | 0 1623.60/1624.15 c 1622s | 17 | 324601 | 238032 | 122417 3 | 0 | 0 1626.00/1626.52 c 1625s | 17 | 325031 | 238332 | 122417 3 | 0 | 0 1628.50/1629.04 c 1627s | 17 | 325431 | 238632 | 122417 3 | 0 | 0 1631.20/1631.78 c 1630s | 17 | 325816 | 238932 | 122417 3 | 0 | 0 1633.90/1634.46 c 1633s | 17 | 326169 | 239232 | 122417 3 | 0 | 0 1636.50/1637.06 c 1635s | 17 | 326510 | 239532 | 122417 3 | 0 | 0 1639.29/1639.88 c 1638s | 17 | 326873 | 239832 | 122417 3 | 0 | 0 1641.69/1642.27 c 1641s | 17 | 327244 | 240132 | 122417 3 | 0 | 0 1644.19/1644.76 c 1643s | 17 | 327656 | 240432 | 122417 3 | 0 | 0 1646.99/1647.51 c 1646s | 17 | 328104 | 240732 | 122417 3 | 0 | 0 1649.69/1650.20 c 1649s | 17 | 328485 | 241032 | 122417 3 | 0 | 0 1652.19/1652.78 c 1651s | 17 | 328851 | 241332 | 122417 3 | 0 | 0 1654.89/1655.47 c 1654s | 17 | 329224 | 241632 | 122417 3 | 0 | 0 1657.59/1658.10 c 1656s | 17 | 329629 | 241932 | 122417 3 | 0 | 0 1660.39/1660.90 c 1659s | 17 | 330047 | 242232 | 122417 3 | 0 | 0 1662.89/1663.44 c 1662s | 17 | 330430 | 242532 | 122417 3 | 0 | 0 1665.59/1666.11 c 1664s | 17 | 330849 | 242832 | 122417 3 | 0 | 0 1668.19/1668.72 c 1667s | 17 | 331227 | 243132 | 122417 3 | 0 | 0 1670.59/1671.11 c 1669s | 17 | 331658 | 243432 | 122417 3 | 0 | 0 1672.89/1673.49 c 1672s | 17 | 332040 | 243732 | 122417 3 | 0 | 0 1675.29/1675.80 c 1674s | 17 | 332427 | 244032 | 122417 3 | 0 | 0 1677.59/1678.16 c 1676s | 17 | 332833 | 244332 | 122417 3 | 0 | 0 1679.99/1680.56 c 1679s | 17 | 333205 | 244632 | 122417 3 | 0 | 0 1682.39/1682.91 c 1681s | 17 | 333596 | 244932 | 122417 3 | 0 | 0 1685.19/1685.70 c 1684s | 17 | 333969 | 245232 | 122417 3 | 0 | 0 1687.19/1687.77 c 1686s | 17 | 334208 | 245432 | 122417 3 | 0 | 0 1690.09/1690.62 c 1689s | 17 | 334567 | 245732 | 122417 3 | 0 | 0 1692.39/1692.92 c 1691s | 17 | 334970 | 246032 | 122417 3 | 0 | 0 1694.99/1695.56 c 1694s | 17 | 335330 | 246332 | 122417 3 | 0 | 0 1697.59/1698.12 c 1696s | 17 | 335685 | 246632 | 122417 3 | 0 | 0 1699.69/1700.27 c 1699s | 17 | 336066 | 246932 | 122417 3 | 0 | 0 1701.89/1702.41 c 1701s | 17 | 336463 | 247232 | 122417 3 | 0 | 0 1703.99/1704.59 c 1703s | 17 | 336817 | 247532 | 122417 3 | 0 | 0 1706.38/1707.00 c 1705s | 17 | 337197 | 247832 | 122417 3 | 0 | 0 1708.48/1709.06 c 1707s | 17 | 337605 | 248132 | 122417 3 | 0 | 0 1710.98/1711.50 c 1710s | 17 | 338058 | 248432 | 122417 3 | 0 | 0 1713.18/1713.77 c 1712s | 17 | 338480 | 248732 | 122417 3 | 0 | 0 1715.68/1716.28 c 1715s | 17 | 338898 | 249032 | 122417 3 | 0 | 0 1718.38/1718.92 c 1717s | 17 | 339303 | 249332 | 122417 3 | 0 | 0 1721.09/1721.67 c 1720s | 17 | 339649 | 249632 | 122417 3 | 0 | 0 1723.78/1724.38 c 1723s | 17 | 340044 | 249932 | 122417 3 | 0 | 0 1726.18/1726.71 c 1725s | 17 | 340456 | 250232 | 122417 3 | 0 | 0 1728.48/1729.09 c 1727s | 17 | 340832 | 250532 | 122417 3 | 0 | 0 1731.08/1731.60 c 1730s | 17 | 341207 | 250832 | 122417 3 | 0 | 0 1733.79/1734.30 c 1733s | 17 | 341609 | 251132 | 122417 3 | 0 | 0 1736.59/1737.17 c 1735s | 17 | 341954 | 251432 | 122417 3 | 0 | 0 1739.38/1739.93 c 1738s | 17 | 342365 | 251732 | 122417 3 | 0 | 0 1742.18/1742.77 c 1741s | 17 | 342747 | 252032 | 122417 3 | 0 | 0 1745.08/1745.60 c 1744s | 17 | 343110 | 252332 | 122417 3 | 0 | 0 1747.67/1748.21 c 1747s | 17 | 343502 | 252632 | 122417 3 | 0 | 0 1750.47/1751.00 c 1749s | 17 | 343911 | 252932 | 122417 3 | 0 | 0 1753.28/1753.89 c 1752s | 17 | 344316 | 253232 | 122417 3 | 0 | 0 1755.38/1755.90 c 1754s | 17 | 344554 | 253432 | 122417 3 | 0 | 0 1757.39/1757.97 c 1756s | 17 | 344822 | 253632 | 122417 3 | 0 | 0 1760.08/1760.63 c 1759s | 17 | 345215 | 253932 | 122417 3 | 0 | 0 1762.68/1763.29 c 1762s | 17 | 345601 | 254232 | 122417 3 | 0 | 0 1765.09/1765.64 c 1764s | 17 | 345980 | 254532 | 122417 3 | 0 | 0 1767.88/1768.47 c 1767s | 17 | 346381 | 254832 | 122417 3 | 0 | 0 1770.48/1771.09 c 1769s | 17 | 346742 | 255132 | 122417 3 | 0 | 0 1772.88/1773.40 c 1772s | 17 | 347123 | 255432 | 122417 3 | 0 | 0 1775.08/1775.67 c 1774s | 17 | 347513 | 255732 | 122417 3 | 0 | 0 1777.48/1778.08 c 1776s | 17 | 347879 | 256032 | 122417 3 | 0 | 0 1780.07/1780.61 c 1779s | 17 | 348257 | 256332 | 122417 3 | 0 | 0 1782.77/1783.38 c 1782s | 17 | 348655 | 256632 | 122417 3 | 0 | 0 1785.28/1785.84 c 1784s | 17 | 349013 | 256932 | 122417 3 | 0 | 0 1787.67/1788.23 c 1787s | 17 | 349372 | 257232 | 122417 3 | 0 | 0 1789.77/1790.30 c 1789s | 17 | 349637 | 257432 | 122417 3 | 0 | 0 1792.37/1792.90 c 1791s | 17 | 350012 | 257732 | 122417 3 | 0 | 0 1794.78/1795.39 c 1794s | 17 | 350393 | 258032 | 122417 3 | 0 | 0 1796.88/1797.41 c 1796s | 17 | 350654 | 258232 | 122417 3 | 0 | 0 1798.87/1799.41 c 1798s | 17 | 350916 | 258432 | 122417 3 | 0 | 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-4102849-1466231706/watcher-4102849-1466231706 -o /tmp/evaluation-result-4102849-1466231706/solver-4102849-1466231706 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102849-1466231706.opb pid=16716 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.25 2.26 3/179 16719 /proc/meminfo: memFree=29366592/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=670140 CPUtime=0 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 2489 0 0 0 0 0 0 0 20 0 4 0 25217422 686223360 2851 33554432000 4194304 16246674 140734491418816 140734491418240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 168047 2859 441 2943 0 164941 0 [pid=16719/tid=16720] ppid=16716 vsize=687548 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 704049152 2917 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=691644 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 708243456 2936 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=696764 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 713486336 2953 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.19 2.25 2.26 3/179 16719 /proc/meminfo: memFree=29366592/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 25722 0 0 0 6 3 0 0 20 0 4 0 25217422 1333334016 26022 33554432000 4194304 16246674 140734491418816 140734491418128 7382286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 325521 26036 800 2943 0 322415 0 [pid=16719/tid=16720] ppid=16716 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1333334016 26047 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1333334016 26057 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1333334016 26068 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1302084 [startup+0.200517 s] /proc/loadavg: 2.19 2.25 2.26 3/179 16719 /proc/meminfo: memFree=29366592/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1313348 CPUtime=0.18 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 49088 0 0 0 12 6 0 0 20 0 4 0 25217422 1344868352 49898 33554432000 4194304 16246674 140734491418816 140734491418128 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 328337 49898 800 2943 0 325231 0 [pid=16719/tid=16720] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 49898 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 49898 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 49898 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300452 s] /proc/loadavg: 2.19 2.25 2.26 3/179 16719 /proc/meminfo: memFree=29366592/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 58548 0 0 0 21 8 0 0 20 0 4 0 25217422 1344868352 59358 33554432000 4194304 16246674 140734491418816 140734491418128 7369753 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 328337 59358 800 2943 0 325231 0 [pid=16719/tid=16720] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 59358 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 59358 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 59358 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1313348 [startup+0.700406 s] /proc/loadavg: 2.19 2.25 2.26 3/179 16719 /proc/meminfo: memFree=29366592/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1313348 CPUtime=0.68 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 101983 0 0 0 53 15 0 0 20 0 4 0 25217422 1344868352 102793 33554432000 4194304 16246674 140734491418816 140734491400704 12369833 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 328337 102801 835 2943 0 325231 0 [pid=16719/tid=16720] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 102806 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 102811 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 102816 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1313348 [startup+1.5004 s] /proc/loadavg: 2.19 2.25 2.26 3/183 16723 /proc/meminfo: memFree=28675792/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1313348 CPUtime=1.48 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 247562 0 0 0 112 36 0 0 20 0 4 0 25217422 1344868352 248372 33554432000 4194304 16246674 140734491418816 140734491400704 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 328337 248391 883 2943 0 325231 0 [pid=16719/tid=16720] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 248401 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 248410 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1344868352 248420 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1313348 [startup+3.10041 s] /proc/loadavg: 2.33 2.28 2.27 3/183 16723 /proc/meminfo: memFree=28271676/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=3.09 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273366 0 0 0 270 39 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140734491400704 13927412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274176 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1330756 [startup+6.30041 s] /proc/loadavg: 2.33 2.28 2.27 3/183 16723 /proc/meminfo: memFree=28271056/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=6.28 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273366 0 0 0 589 39 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140734491400704 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274176 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274176 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1330756 [startup+12.7004 s] /proc/loadavg: 2.28 2.27 2.27 3/182 16723 /proc/meminfo: memFree=28270956/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=12.69 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273367 0 0 0 1229 40 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140734491400704 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274177 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1330756 [startup+25.5005 s] /proc/loadavg: 2.24 2.26 2.26 4/183 16724 /proc/meminfo: memFree=28271416/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=25.48 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273367 0 0 0 2508 40 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140734491400704 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274177 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1330756 [startup+51.1005 s] /proc/loadavg: 2.22 2.25 2.26 4/183 16724 /proc/meminfo: memFree=28271420/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=51.08 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273367 0 0 0 5067 41 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140734491417912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274177 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1330756 [startup+102.3 s] /proc/loadavg: 2.18 2.24 2.26 3/183 16725 /proc/meminfo: memFree=28271064/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1330756 CPUtime=102.28 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 273367 0 0 0 10186 42 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140734491417992 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 332689 274177 890 2943 0 329583 0 [pid=16719/tid=16720] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1362694144 274177 33554432000 4194304 16246674 140734491418816 140672191425712 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) 1330756 ################ # More data... # ################ /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1537604 [startup+1302.3 s] /proc/loadavg: 2.19 2.22 2.23 3/183 16998 /proc/meminfo: memFree=27992888/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1537604 CPUtime=1301.85 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 325546 0 0 0 130115 70 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140734491400704 5545704 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 384401 326150 895 2943 0 381295 0 [pid=16719/tid=16720] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1537604 [startup+1362.3 s] /proc/loadavg: 2.09 2.19 2.21 3/183 16999 /proc/meminfo: memFree=27993156/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1537604 CPUtime=1361.84 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 325546 0 0 0 136113 71 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140734491400704 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 384401 326150 895 2943 0 381295 0 [pid=16719/tid=16720] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1537604 [startup+1422.3 s] /proc/loadavg: 2.25 2.22 2.22 3/183 17000 /proc/meminfo: memFree=27993072/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1537604 CPUtime=1421.83 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 325546 0 0 0 142112 71 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140734491400704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 384401 326150 895 2943 0 381295 0 [pid=16719/tid=16720] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1537604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1574506496 326150 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1537604 [startup+1482.3 s] /proc/loadavg: 2.33 2.24 2.23 3/183 17001 /proc/meminfo: memFree=27980952/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1549892 CPUtime=1481.82 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 328463 0 0 0 148109 73 0 0 20 0 4 0 25217422 1587089408 329067 33554432000 4194304 16246674 140734491418816 140734491400704 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 387473 329067 895 2943 0 384367 0 [pid=16719/tid=16720] ppid=16716 vsize=1549892 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1587089408 329067 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1549892 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1587089408 329067 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1549892 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1587089408 329067 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1549892 [startup+1542.31 s] /proc/loadavg: 2.28 2.24 2.23 4/184 17006 /proc/meminfo: memFree=27923104/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1607236 CPUtime=1541.81 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 342934 0 0 0 154106 75 0 0 20 0 4 0 25217422 1645809664 343538 33554432000 4194304 16246674 140734491418816 140734491400704 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 401809 343538 895 2943 0 398703 0 [pid=16719/tid=16720] ppid=16716 vsize=1607236 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1645809664 343538 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1607236 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1645809664 343538 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1607236 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1645809664 343538 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1607236 [startup+1602.3 s] /proc/loadavg: 2.27 2.24 2.22 3/184 17030 /proc/meminfo: memFree=27808828/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1721924 CPUtime=1601.8 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 371436 0 0 0 160099 81 0 0 20 0 4 0 25217422 1763250176 372040 33554432000 4194304 16246674 140734491418816 140734491400704 5823615 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 430481 372040 895 2943 0 427375 0 [pid=16719/tid=16720] ppid=16716 vsize=1721924 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1763250176 372040 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1721924 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1763250176 372040 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1721924 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1763250176 372040 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1721924 [startup+1662.3 s] /proc/loadavg: 2.25 2.24 2.22 3/183 17031 /proc/meminfo: memFree=27787476/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1742404 CPUtime=1661.79 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 376681 0 0 0 166096 83 0 0 20 0 4 0 25217422 1784221696 377285 33554432000 4194304 16246674 140734491418816 140734491400704 5721504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 435601 377285 895 2943 0 432495 0 [pid=16719/tid=16720] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377285 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377285 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377285 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1742404 [startup+1722.3 s] /proc/loadavg: 2.17 2.21 2.21 3/183 17032 /proc/meminfo: memFree=27787148/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1742404 CPUtime=1721.78 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 376746 0 0 0 172093 85 0 0 20 0 4 0 25217422 1784221696 377350 33554432000 4194304 16246674 140734491418816 140734491400704 12875485 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 435601 377350 895 2943 0 432495 0 [pid=16719/tid=16720] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377350 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377350 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1742404 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1784221696 377350 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1742404 [startup+1782.3 s] /proc/loadavg: 2.22 2.21 2.21 3/183 17033 /proc/meminfo: memFree=27778352/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1751620 CPUtime=1781.77 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 378820 0 0 0 178089 88 0 0 20 0 4 0 25217422 1793658880 379424 33554432000 4194304 16246674 140734491418816 140734491400704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 437905 379424 895 2943 0 434799 0 [pid=16719/tid=16720] ppid=16716 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1793658880 379424 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1793658880 379424 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1751620 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1793658880 379424 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1751620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.33 2.23 2.22 3/183 17033 /proc/meminfo: memFree=27736408/32872528 swapFree=1286400/1433568 [pid=16719] ppid=16716 vsize=1793604 CPUtime=1800.07 cores=0,2,4,6 /proc/16719/stat : 16719 (toysat) R 16716 16719 12983 0 -1 4202496 389311 0 0 0 179916 91 0 0 20 0 4 0 25217422 1836650496 389915 33554432000 4194304 16246674 140734491418816 140734491400704 5516151 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16719/statm: 448401 389915 895 2943 0 445295 0 [pid=16719/tid=16720] ppid=16716 vsize=1793604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16720/stat : 16720 (toysat) S 16716 16719 12983 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25217422 1836650496 389915 33554432000 4194304 16246674 140734491418816 140672286829808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=16719/tid=16721] ppid=16716 vsize=1793604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16721/stat : 16721 (toysat) S 16716 16719 12983 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25217422 1836650496 389915 33554432000 4194304 16246674 140734491418816 140672276339952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=16719/tid=16722] ppid=16716 vsize=1793604 CPUtime=0 cores=0,2,4,6 /proc/16719/task/16722/stat : 16722 (toysat) S 16716 16719 12983 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25217422 1836650496 389915 33554432000 4194304 16246674 140734491418816 140672191425712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1793604 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 16719 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.63 CPU time (s): 1800.1 CPU user time (s): 1799.17 CPU system time (s): 0.926859 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 1793604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.17 system time used= 0.926859 maximum resident set size= 1559660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389311 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= 476 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.91825 second user time and 6.62099 second system time The end
Begin job on node130 at 2016-06-18 08:35:06 IDJOB=4102849 IDBENCH=2183 IDSOLVER=2542 FILE ID=node130/4102849-1466231706 RUNJOBID= node130-1466206066-12999 PBS_JOBID= 19918147 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102849-1466231706/watcher-4102849-1466231706 -o /tmp/evaluation-result-4102849-1466231706/solver-4102849-1466231706 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466206066-12999 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102849-1466231706.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27 RANDOM SEED=1286970882 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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 : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.365 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 : 2666.365 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: 29367648 kB Buffers: 115704 kB Cached: 127364 kB SwapCached: 1804 kB Active: 1188280 kB Inactive: 145164 kB Active(anon): 1091388 kB Inactive(anon): 1604 kB Active(file): 96892 kB Inactive(file): 143560 kB Unevictable: 1433568 kB Mlocked: 1286400 kB SwapTotal: 67108856 kB SwapFree: 67099028 kB Dirty: 17884 kB Writeback: 0 kB AnonPages: 2523228 kB Mapped: 11072 kB Shmem: 0 kB Slab: 603264 kB SReclaimable: 46972 kB SUnreclaim: 556292 kB KernelStack: 1496 kB PageTables: 9036 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2666828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1226752 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= 71712 MiB End job on node130 at 2016-06-18 09:05:07