| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.6 | 1800.92 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-mspp16.opb |
| MD5SUM | 141454b66937b2c93528081cb91f0e55 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 33 |
| Best CPU time to get the best result obtained on this benchmark | 131.081 |
| 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 | 29280 |
| Total number of constraints | 561657 |
| Number of constraints which are clauses | 1695 |
| Number of constraints which are cardinality constraints (but not clauses) | 559482 |
| Number of constraints which are nor clauses,nor cardinality constraints | 480 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 960 |
| Number of terms in the objective function | 4065 |
| 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 | 4065 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 4065 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-07T07:30:35+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-4079997-1465277428.opb"] 0.00/0.01 c use --random-gen="1092180992 1480662831 328835447 2187841804 4252927014 3456592183 611806374 2629784826 614543970 1087878187 3875774980 1380508985 3762871252 3289378874 1984740430 4131181068 3371704268 1415405753 555724691 1659516776 2410016744 1259957727 943202898 1884659635 4169396938 79687725 857781643 45116012 2459527503 1665636155 1146564235 1451004880 1254084149 2430155998 2665399828 3607445511 2973408564 854957020 1036095351 165085740 21918145 3166544334 3363954105 1538449165 1562316739 141955998 3878419937 954932737 69958967 457958794 227091754 622069582 3752144882 4261069495 1440495415 3875897869 3513836710 749402816 3024239007 1589048075 1286119063 4261557901 4099015417 984442871 2286020086 1622763362 2195253898 110204836 817541643 1100345864 1986359241 353834933 3913197331 4208314819 1895484010 791487063 4085968326 3246611214 1386257144 157108022 1922534720 3343997503 3749773251 701043743 1987995046 4194251935 379655821 1233076533 794957057 163194650 3423217870 1280603706 2749759655 2481999674 46057694 539919488 1127270488 391980320 623772974 805318229 1592590876 1968087538 1854540018 2657241571 2788725656 3989777846 1458150812 623643599 1196292970 3233695903 2550350068 2771360011 2591029414 902833992 2789280652 52204849 2159587924 3869973912 3240662249 3890777809 476167696 2753487247 1832578916 2013483841 3380770998 4024711281 1300594535 473476416 411005811 4245313939 2336221988 3323093032 1514699504 1115903366 2763806176 2089329696 1733265548 1938502348 983035096 3576365694 598355999 4059801008 821236307 3482190353 1438003645 1892148529 3706035453 2104844635 4001271926 534998142 3716821755 2699534 1715011076 2641934450 2722389340 3034753207 1109003643 1805314518 1675574555 630227751 2648427539 3476752207 1109572858 3768606364 1038040643 2556781960 29909826 1298850591 3476791187 2346013655 788931831 3289404883 3322608012 2652851618 2315257851 1648221354 3615739876 2059546807 1294926321 1922203929 3841415804 515126702 4099981857 830876857 1780062060 678803977 1948619023 1021467380 2532973934 2440408217 1613619738 2640070547 1971589750 2412120563 265336560 2594247375 3990020788 1305028574 336681235 876308663 2237321037 3911691529 2628760396 2901870474 924148511 4202936322 512227899 3571616925 4201866148 1229396244 354323596 3591026268 1313277208 487193945 2282360343 371085482 179937447 1746940068 1327264953 2828480546 3158151651 4280337534 3576184485 1323118592 2190399605 1131315906 2498085815 1809537039 1781961937 2155415316 3759319483 2461327471 3101873194 3328162743 1663066232 3436244882 3858957377 2855342740 4012637442 745677686 1124328173 1947447745 1235548941 3225528740 233551521 4264791377 3540333595 231219883 1971204963 2224460664 3210019095 3524070765 1814623120 917796241 1784328709 3232101907 255 362436" option to reproduce the execution 47.88/47.99 c #vars 29280 47.88/47.99 c #constraints 561657 216.95/217.01 c BCD2: Hardening is enabled. 216.95/217.01 c BCD2: BiasedSearch is enabled. 216.95/217.01 c Solving starts ... 216.95/217.01 c ============================[ Search Statistics ]============================ 216.95/217.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 216.95/217.01 c | | | | Limit GC | Var | Constra 216.95/217.01 c ============================================================================= 216.95/217.02 c 0.0s | 0 | 0 | 0 | 184729 0 | 25215 | 0 220.35/220.48 c 3.5s | 0 | 148 | 100 | 184729 0 | 25215 | 0 220.35/220.48 c 3.5s | 1 | 148 | 100 | 184729 0 | 25215 | 0 223.95/224.00 c 7.0s | 1 | 345 | 200 | 203202 0 | 25215 | 0 224.15/224.24 c 7.2s | 2 | 407 | 250 | 203202 0 | 25215 | 0 227.15/227.24 c 10.2s | 2 | 583 | 253 | 223523 0 | 25215 | 0 227.15/227.24 c #cpu_time = 10.198s 227.15/227.24 c #wall_clock_time = 10.224s 227.15/227.24 c #decision = 583 227.15/227.24 c #random_decision = 1 227.15/227.24 c #conflict = 253 227.15/227.24 c #restart = 2 227.15/227.24 o 43 227.15/227.24 c BCD2: updating upper bound: 4065 -> 42 227.15/227.26 c BCD2: 0 <= obj <= 42 227.15/227.26 c BCD2: #cores=0, #unrelaxed=4065, #relaxed=0, #hardened=0 227.15/227.26 c BCD2: #sat=1 #unsat=1 bias=1/2 227.15/227.26 c Solving starts ... 227.15/227.26 c ============================[ Search Statistics ]============================ 227.15/227.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 227.15/227.26 c | | | | Limit GC | Var | Constra 227.15/227.26 c ============================================================================= 227.15/227.26 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 0 230.16/230.25 c 3.0s | 0 | 3110 | 2 | 223523 0 | 25215 | 0 230.16/230.25 c #cpu_time = 2.978s 230.16/230.25 c #wall_clock_time = 2.986s 230.16/230.25 c #decision = 3110 230.16/230.25 c #random_decision = 0 230.16/230.25 c #conflict = 2 230.16/230.25 c #restart = 0 230.16/230.25 c BCD2: found a new core of size 111: cost of the new core is >=1 230.16/230.25 c lower bound updated to 1 230.16/230.25 c BCD2: 1 <= obj <= 42 230.16/230.25 c BCD2: #cores=1, #unrelaxed=3954, #relaxed=111, #hardened=0 230.16/230.25 c BCD2: #sat=1 #unsat=2 bias=2/3 230.16/230.25 c Solving starts ... 230.16/230.25 c ============================[ Search Statistics ]============================ 230.16/230.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 230.16/230.25 c | | | | Limit GC | Var | Constra 230.16/230.25 c ============================================================================= 230.16/230.25 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 0 233.15/233.23 c 3.0s | 0 | 3013 | 1 | 223523 0 | 25215 | 0 233.15/233.23 c #cpu_time = 2.976s 233.15/233.23 c #wall_clock_time = 2.983s 233.15/233.23 c #decision = 3013 233.15/233.23 c #random_decision = 0 233.15/233.23 c #conflict = 1 233.15/233.23 c #restart = 0 233.15/233.23 c BCD2: found a new core of size 181: cost of the new core is >=1 233.15/233.23 c lower bound updated to 2 233.15/233.25 c BCD2: 2 <= obj <= 42 233.15/233.25 c BCD2: #cores=2, #unrelaxed=3773, #relaxed=292, #hardened=0 233.15/233.25 c BCD2: #sat=1 #unsat=3 bias=3/4 233.15/233.25 c Solving starts ... 233.15/233.25 c ============================[ Search Statistics ]============================ 233.15/233.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 233.15/233.25 c | | | | Limit GC | Var | Constra 233.15/233.25 c ============================================================================= 233.15/233.25 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 0 236.15/236.22 c 3.0s | 0 | 2844 | 0 | 223523 0 | 25215 | 0 236.15/236.22 c #cpu_time = 2.969s 236.15/236.22 c #wall_clock_time = 2.977s 236.15/236.22 c #decision = 2844 236.15/236.22 c #random_decision = 0 236.15/236.22 c #conflict = 0 236.15/236.22 c #restart = 0 236.15/236.22 c BCD2: found a new core of size 100: cost of the new core is >=1 236.15/236.22 c lower bound updated to 3 236.15/236.22 c BCD2: 3 <= obj <= 42 236.15/236.22 c BCD2: #cores=3, #unrelaxed=3673, #relaxed=392, #hardened=0 236.15/236.22 c BCD2: #sat=1 #unsat=4 bias=4/5 236.15/236.22 c Solving starts ... 236.15/236.22 c ============================[ Search Statistics ]============================ 236.15/236.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 236.15/236.22 c | | | | Limit GC | Var | Constra 236.15/236.22 c ============================================================================= 236.15/236.22 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 0 239.16/239.21 c 3.0s | 0 | 3209 | 0 | 223523 0 | 25215 | 0 239.16/239.21 c #cpu_time = 2.978s 239.16/239.21 c #wall_clock_time = 2.986s 239.16/239.21 c #decision = 3209 239.16/239.21 c #random_decision = 0 239.16/239.21 c #conflict = 0 239.16/239.21 c #restart = 0 239.16/239.21 c BCD2: found a new core of size 15: cost of the new core is >=1 239.16/239.21 c lower bound updated to 4 239.26/239.30 c BCD2: 4 <= obj <= 42 239.26/239.30 c BCD2: #cores=4, #unrelaxed=3658, #relaxed=407, #hardened=0 239.26/239.30 c BCD2: #sat=1 #unsat=5 bias=5/6 239.26/239.30 c Solving starts ... 239.26/239.30 c ============================[ Search Statistics ]============================ 239.26/239.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 239.26/239.30 c | | | | Limit GC | Var | Constra 239.26/239.30 c ============================================================================= 239.26/239.30 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 1 242.15/242.29 c 3.0s | 0 | 3207 | 0 | 223523 0 | 25215 | 1 242.15/242.29 c #cpu_time = 2.981s 242.15/242.29 c #wall_clock_time = 2.988s 242.15/242.29 c #decision = 3207 242.15/242.29 c #random_decision = 0 242.15/242.29 c #conflict = 0 242.15/242.29 c #restart = 0 242.15/242.29 c BCD2: found a new core of size 15: cost of the new core is >=1 242.15/242.29 c lower bound updated to 5 242.25/242.37 c BCD2: 5 <= obj <= 42 242.25/242.37 c BCD2: #cores=5, #unrelaxed=3643, #relaxed=422, #hardened=0 242.25/242.37 c BCD2: #sat=1 #unsat=6 bias=6/7 242.25/242.37 c Solving starts ... 242.25/242.37 c ============================[ Search Statistics ]============================ 242.25/242.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 242.25/242.37 c | | | | Limit GC | Var | Constra 242.25/242.37 c ============================================================================= 242.25/242.37 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 2 245.25/245.37 c 3.0s | 0 | 3199 | 0 | 223523 0 | 25215 | 2 245.25/245.37 c #cpu_time = 2.992s 245.25/245.37 c #wall_clock_time = 2.999s 245.25/245.37 c #decision = 3199 245.25/245.37 c #random_decision = 0 245.25/245.37 c #conflict = 0 245.25/245.37 c #restart = 0 245.25/245.38 c BCD2: found a new core of size 15: cost of the new core is >=1 245.25/245.38 c lower bound updated to 6 245.36/245.46 c BCD2: 6 <= obj <= 42 245.36/245.46 c BCD2: #cores=6, #unrelaxed=3628, #relaxed=437, #hardened=0 245.36/245.46 c BCD2: #sat=1 #unsat=7 bias=7/8 245.36/245.46 c Solving starts ... 245.36/245.46 c ============================[ Search Statistics ]============================ 245.36/245.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 245.36/245.46 c | | | | Limit GC | Var | Constra 245.36/245.46 c ============================================================================= 245.36/245.46 c 0.0s | 0 | 0 | 0 | 223523 0 | 25215 | 3 248.55/248.65 c 3.2s | 0 | 4069 | 100 | 223523 0 | 25215 | 3 248.55/248.65 c 3.2s | 1 | 4069 | 100 | 223523 0 | 25215 | 3 251.85/251.93 c 6.5s | 1 | 7834 | 177 | 223523 0 | 25215 | 3 251.85/251.93 c #cpu_time = 6.449s 251.85/251.93 c #wall_clock_time = 6.465s 251.85/251.93 c #decision = 7834 251.85/251.93 c #random_decision = 0 251.85/251.93 c #conflict = 177 251.85/251.93 c #restart = 1 251.85/251.93 c BCD2: relaxing 2374 and merging with 2 cores into a new core of size 2666: cost of the new core is >=3 251.85/251.93 c lower bound updated to 7 251.85/251.94 c BCD2: 7 <= obj <= 42 251.85/251.94 c BCD2: #cores=5, #unrelaxed=1254, #relaxed=2811, #hardened=0 251.85/251.94 c BCD2: #sat=1 #unsat=8 bias=8/9 251.85/251.95 c Solving starts ... 251.85/251.95 c ============================[ Search Statistics ]============================ 251.85/251.95 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 251.85/251.95 c | | | | Limit GC | Var | Constra 251.85/251.95 c ============================================================================= 251.85/251.95 c 0.0s | 0 | 0 | 0 | 223523 0 | 25220 | 3 255.26/255.36 c 3.4s | 0 | 3401 | 100 | 245876 0 | 25220 | 11 255.26/255.37 c 3.4s | 1 | 3401 | 100 | 245876 0 | 25220 | 11 258.95/259.03 c 7.1s | 1 | 5857 | 200 | 245876 0 | 25220 | 11 259.25/259.38 c 7.4s | 2 | 6215 | 250 | 245876 0 | 25220 | 11 262.75/262.85 c 10.9s | 2 | 8732 | 350 | 245876 0 | 25220 | 11 263.35/263.48 c 11.5s | 3 | 9411 | 475 | 270464 0 | 25220 | 11 267.15/267.22 c 15.3s | 3 | 12834 | 575 | 270464 0 | 25220 | 11 268.45/268.60 c 16.6s | 4 | 16086 | 813 | 270464 0 | 25220 | 11 272.15/272.22 c 20.3s | 4 | 18541 | 913 | 297511 0 | 25220 | 11 274.75/274.80 c 22.8s | 4 | 22108 | 1213 | 297511 0 | 25220 | 11 275.34/275.47 c 23.5s | 5 | 25124 | 1320 | 297511 0 | 25220 | 11 279.35/279.40 c 27.5s | 5 | 28435 | 1420 | 297511 0 | 25220 | 11 281.75/281.87 c 29.9s | 5 | 34787 | 1720 | 327263 0 | 25220 | 11 284.24/284.32 c 32.4s | 5 | 40395 | 2020 | 327263 0 | 25220 | 11 284.54/284.69 c 32.7s | 6 | 43438 | 2081 | 327263 0 | 25220 | 11 288.25/288.39 c 36.4s | 6 | 47342 | 2181 | 327263 0 | 25220 | 11 291.15/291.27 c 39.3s | 6 | 49930 | 2481 | 327263 0 | 25220 | 11 293.65/293.77 c 41.8s | 6 | 51500 | 2781 | 327263 0 | 25220 | 11 296.74/296.82 c 44.9s | 6 | 54236 | 3081 | 359990 0 | 25220 | 11 298.64/298.73 c 46.8s | 7 | 54958 | 3223 | 359990 0 | 25220 | 11 302.24/302.40 c 50.4s | 7 | 56877 | 3323 | 359990 0 | 25220 | 11 305.14/305.25 c 53.3s | 7 | 58612 | 3523 | 359990 0 | 25220 | 11 306.34/306.46 c 54.5s | 7 | 59467 | 3698 | 359990 0 | 25220 | 11 306.34/306.46 c #cpu_time = 54.368s 306.34/306.46 c #wall_clock_time = 54.508s 306.34/306.46 c #decision = 59467 306.34/306.46 c #random_decision = 159 306.34/306.46 c #conflict = 3698 306.34/306.46 c #restart = 7 306.34/306.46 c BCD2: relaxing 646 and merging with 1 cores into a new core of size 746: cost of the new core is >=2 306.34/306.46 c lower bound updated to 8 306.34/306.47 c BCD2: 8 <= obj <= 42 306.34/306.47 c BCD2: #cores=5, #unrelaxed=608, #relaxed=3457, #hardened=0 306.34/306.47 c BCD2: #sat=1 #unsat=9 bias=9/10 306.34/306.47 c Solving starts ... 306.34/306.47 c ============================[ Search Statistics ]============================ 306.34/306.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 306.34/306.47 c | | | | Limit GC | Var | Constra 306.34/306.47 c ============================================================================= 306.34/306.47 c 0.0s | 0 | 0 | 0 | 359990 0 | 25222 | 11 309.64/309.71 c 3.2s | 0 | 1327 | 100 | 359990 0 | 25222 | 14 309.64/309.72 c 3.2s | 1 | 1327 | 100 | 359990 0 | 25222 | 14 313.24/313.37 c 6.9s | 1 | 3684 | 200 | 359990 0 | 25222 | 14 313.44/313.60 c 7.1s | 2 | 4385 | 250 | 359990 0 | 25222 | 14 317.54/317.65 c 11.2s | 2 | 6551 | 350 | 359990 0 | 25222 | 14 318.34/318.41 c 11.9s | 3 | 8183 | 475 | 359990 0 | 25222 | 14 322.04/322.18 c 15.7s | 3 | 9394 | 575 | 359990 0 | 25222 | 14 323.54/323.68 c 17.2s | 4 | 11702 | 813 | 395990 0 | 25222 | 14 326.94/327.09 c 20.6s | 4 | 12995 | 913 | 395990 0 | 25222 | 14 329.23/329.37 c 22.9s | 4 | 17059 | 1113 | 395990 0 | 25222 | 14 331.44/331.54 c 25.1s | 4 | 20371 | 1313 | 395990 0 | 25222 | 14 331.44/331.58 c 25.1s | 5 | 20617 | 1320 | 395990 0 | 25222 | 14 335.04/335.15 c 28.7s | 5 | 22624 | 1420 | 395990 0 | 25222 | 14 337.14/337.25 c 30.8s | 5 | 25591 | 1820 | 395990 0 | 25222 | 14 338.04/338.19 c 31.7s | 6 | 26455 | 2081 | 395990 0 | 25222 | 14 341.94/342.08 c 35.6s | 6 | 29631 | 2181 | 395990 0 | 25222 | 14 344.23/344.33 c 37.9s | 6 | 34959 | 2781 | 395990 0 | 25222 | 14 346.54/346.67 c 40.2s | 6 | 42407 | 3181 | 395990 0 | 25222 | 14 346.64/346.74 c 40.3s | 7 | 42531 | 3223 | 395990 0 | 25222 | 14 350.14/350.26 c 43.8s | 7 | 43418 | 3323 | 395990 0 | 25222 | 14 352.44/352.55 c 46.1s | 7 | 47014 | 3623 | 435590 0 | 25222 | 14 354.43/354.57 c 48.1s | 7 | 51509 | 4023 | 435590 0 | 25222 | 14 356.83/356.94 c 50.5s | 7 | 56451 | 4423 | 435590 0 | 25222 | 14 359.64/359.77 c 53.3s | 7 | 62325 | 4923 | 435590 0 | 25222 | 14 359.84/359.91 c 53.4s | 8 | 62576 | 4936 | 435590 0 | 25222 | 14 363.53/363.69 c 57.2s | 8 | 65474 | 5036 | 435590 0 | 25222 | 14 365.84/365.98 c 59.5s | 8 | 71751 | 5336 | 435590 0 | 25222 | 14 368.03/368.19 c 61.7s | 8 | 74616 | 5636 | 435590 0 | 25222 | 14 370.23/370.34 c 63.9s | 8 | 75838 | 5836 | 435590 0 | 25222 | 14 372.33/372.45 c 66.0s | 8 | 79790 | 6036 | 435590 0 | 25222 | 14 374.93/375.03 c 68.6s | 8 | 83434 | 6336 | 435590 0 | 25222 | 14 377.53/377.60 c 71.1s | 8 | 85287 | 6636 | 435590 0 | 25222 | 14 379.93/380.01 c 73.5s | 8 | 88204 | 6936 | 435590 0 | 25222 | 14 382.03/382.14 c 75.7s | 8 | 90357 | 7236 | 479150 0 | 25222 | 14 384.53/384.61 c 78.1s | 8 | 92317 | 7436 | 479150 0 | 25222 | 14 385.04/385.18 c 78.7s | 9 | 93426 | 7506 | 479150 0 | 25222 | 14 388.93/389.04 c 82.6s | 9 | 96553 | 7606 | 479150 0 | 25222 | 14 391.33/391.45 c 85.0s | 9 | 101303 | 7906 | 479150 0 | 25222 | 14 393.84/394.00 c 87.5s | 9 | 105002 | 8306 | 479150 0 | 25222 | 14 395.93/396.06 c 89.6s | 9 | 106903 | 8606 | 479150 0 | 25222 | 14 398.13/398.24 c 91.8s | 9 | 110366 | 9006 | 479150 0 | 25222 | 14 400.44/400.58 c 94.1s | 9 | 112348 | 9706 | 479150 0 | 25222 | 14 402.52/402.70 c 96.2s | 9 | 114842 | 10506 | 479150 0 | 25222 | 14 405.33/405.45 c 99.0s | 9 | 119652 | 11106 | 479150 0 | 25222 | 14 407.43/407.51 c 101s | 10 | 123884 | 11361 | 479150 0 | 25222 | 14 411.33/411.47 c 104s | 10 | 127450 | 11461 | 479150 0 | 25222 | 14 414.03/414.11 c 107s | 10 | 130599 | 11861 | 479150 0 | 25222 | 14 416.33/416.49 c 110s | 10 | 135029 | 12161 | 479150 0 | 25222 | 14 419.13/419.29 c 112s | 10 | 138013 | 12561 | 479150 0 | 25222 | 14 421.43/421.57 c 115s | 10 | 140368 | 12961 | 527065 0 | 25222 | 14 423.82/423.91 c 117s | 10 | 143689 | 13261 | 527065 0 | 25222 | 14 425.93/426.01 c 119s | 10 | 146210 | 13561 | 527065 0 | 25222 | 14 427.93/428.03 c 121s | 10 | 150265 | 13861 | 527065 0 | 25222 | 14 430.42/430.59 c 124s | 10 | 151799 | 14261 | 527065 0 | 25222 | 14 433.02/433.12 c 126s | 10 | 153747 | 14561 | 527065 0 | 25222 | 14 435.02/435.13 c 128s | 10 | 155877 | 14861 | 527065 0 | 25222 | 14 437.63/437.77 c 131s | 10 | 157963 | 15261 | 527065 0 | 25222 | 14 439.92/440.07 c 133s | 10 | 161273 | 15561 | 527065 0 | 25222 | 14 442.23/442.33 c 135s | 10 | 163961 | 15961 | 527065 0 | 25222 | 14 444.82/444.98 c 138s | 10 | 166536 | 16461 | 527065 0 | 25222 | 14 447.32/447.47 c 140s | 10 | 170928 | 16761 | 527065 0 | 25222 | 14 450.12/450.26 c 143s | 10 | 176736 | 17061 | 527065 0 | 25222 | 14 450.72/450.80 c 144s | 11 | 177098 | 17144 | 527065 0 | 25222 | 14 454.62/454.76 c 148s | 11 | 178475 | 17244 | 527065 0 | 25222 | 14 456.72/456.84 c 150s | 11 | 183253 | 17544 | 527065 0 | 25222 | 14 459.22/459.31 c 152s | 11 | 186218 | 17944 | 527065 0 | 25222 | 14 461.32/461.44 c 154s | 11 | 189789 | 18244 | 527065 0 | 25222 | 14 464.02/464.19 c 157s | 11 | 192297 | 18544 | 527065 0 | 25222 | 14 466.42/466.57 c 160s | 11 | 194555 | 18944 | 527065 0 | 25222 | 14 468.52/468.65 c 162s | 11 | 197445 | 19444 | 527065 0 | 25222 | 14 470.82/470.97 c 164s | 11 | 200490 | 19844 | 527065 0 | 25222 | 14 472.92/473.09 c 166s | 11 | 203001 | 20444 | 527065 0 | 25222 | 14 475.52/475.68 c 169s | 11 | 205684 | 20944 | 527065 0 | 25222 | 14 478.21/478.30 c 171s | 11 | 208452 | 21344 | 527065 0 | 25222 | 14 480.92/481.07 c 174s | 11 | 210284 | 21544 | 579772 0 | 25222 | 14 483.42/483.51 c 177s | 11 | 212756 | 21944 | 579772 0 | 25222 | 14 485.71/485.89 c 179s | 11 | 217841 | 22244 | 579772 0 | 25222 | 14 488.53/488.67 c 182s | 11 | 221952 | 22644 | 579772 0 | 25222 | 14 490.72/490.88 c 184s | 11 | 224367 | 23044 | 579772 0 | 25222 | 14 492.82/492.96 c 186s | 11 | 225739 | 23344 | 579772 0 | 25222 | 14 494.91/495.00 c 188s | 11 | 227704 | 23744 | 579772 0 | 25222 | 14 497.12/497.27 c 190s | 11 | 230020 | 24344 | 579772 0 | 25222 | 14 499.12/499.29 c 192s | 11 | 232723 | 24744 | 579772 0 | 25222 | 14 501.21/501.34 c 194s | 11 | 235749 | 25244 | 579772 0 | 25222 | 14 503.61/503.71 c 197s | 11 | 237709 | 25644 | 579772 0 | 25222 | 14 503.92/504.01 c 197s | 12 | 238198 | 25819 | 579772 0 | 25222 | 14 507.32/507.41 c 200s | 12 | 239443 | 25919 | 579772 0 | 25222 | 14 509.82/509.91 c 203s | 12 | 244069 | 26719 | 579772 0 | 25222 | 14 511.91/512.07 c 205s | 12 | 247063 | 27019 | 579772 0 | 25222 | 14 514.01/514.11 c 207s | 12 | 249352 | 27419 | 579772 0 | 25222 | 14 516.21/516.33 c 209s | 12 | 253561 | 27819 | 579772 0 | 25222 | 14 518.61/518.70 c 212s | 12 | 255847 | 28119 | 579772 0 | 25222 | 14 520.91/521.05 c 214s | 12 | 256998 | 28419 | 579772 0 | 25222 | 14 523.01/523.18 c 216s | 12 | 258780 | 28719 | 579772 0 | 25222 | 14 525.31/525.43 c 218s | 12 | 261138 | 29419 | 579772 0 | 25222 | 14 527.71/527.83 c 221s | 12 | 264690 | 29919 | 579772 0 | 25222 | 14 529.81/529.93 c 223s | 12 | 269279 | 30219 | 579772 0 | 25222 | 14 532.00/532.18 c 225s | 12 | 271696 | 30719 | 579772 0 | 25222 | 14 534.51/534.70 c 228s | 12 | 274889 | 31019 | 579772 0 | 25222 | 14 536.82/536.94 c 230s | 12 | 278540 | 31319 | 579772 0 | 25222 | 14 539.21/539.32 c 232s | 12 | 281715 | 31719 | 579772 0 | 25222 | 14 541.71/541.86 c 235s | 12 | 284820 | 32019 | 579772 0 | 25222 | 14 543.70/543.87 c 237s | 12 | 286442 | 32419 | 579772 0 | 25222 | 14 546.11/546.20 c 239s | 12 | 288505 | 33019 | 579772 0 | 25222 | 14 548.31/548.44 c 241s | 12 | 290034 | 33419 | 579772 0 | 25222 | 14 550.41/550.54 c 244s | 12 | 293053 | 33819 | 579772 0 | 25222 | 14 552.61/552.71 c 246s | 12 | 294542 | 34319 | 579772 0 | 25222 | 14 554.90/555.05 c 248s | 12 | 295719 | 34919 | 637750 0 | 25222 | 14 557.11/557.26 c 250s | 12 | 297840 | 35519 | 637750 0 | 25222 | 14 559.71/559.89 c 253s | 12 | 300018 | 36119 | 637750 0 | 25222 | 14 561.80/561.95 c 255s | 12 | 301574 | 36619 | 637750 0 | 25222 | 14 564.10/564.24 c 257s | 12 | 303847 | 37119 | 637750 0 | 25222 | 14 566.20/566.30 c 259s | 12 | 306306 | 37519 | 637750 0 | 25222 | 14 568.30/568.48 c 262s | 12 | 308497 | 37919 | 637750 0 | 25222 | 14 570.70/570.86 c 264s | 12 | 311685 | 38219 | 637750 0 | 25222 | 14 573.31/573.48 c 267s | 12 | 316207 | 38619 | 637750 0 | 25222 | 14 574.41/574.59 c 268s | 13 | 317672 | 38832 | 637750 0 | 25222 | 14 578.20/578.30 c 271s | 13 | 319257 | 38932 | 637750 0 | 25222 | 14 580.70/580.86 c 274s | 13 | 323610 | 39332 | 637750 0 | 25222 | 14 582.90/583.03 c 276s | 13 | 326726 | 39632 | 637750 0 | 25222 | 14 585.60/585.79 c 279s | 13 | 330899 | 40032 | 637750 0 | 25222 | 14 587.69/587.83 c 281s | 13 | 332064 | 40332 | 637750 0 | 25222 | 14 589.80/589.98 c 283s | 13 | 333295 | 40732 | 637750 0 | 25222 | 14 592.00/592.13 c 285s | 13 | 335094 | 41232 | 637750 0 | 25222 | 14 594.10/594.27 c 287s | 13 | 338236 | 42032 | 637750 0 | 25222 | 14 596.21/596.40 c 289s | 13 | 340536 | 42832 | 637750 0 | 25222 | 14 598.41/598.56 c 292s | 13 | 343832 | 43432 | 637750 0 | 25222 | 14 600.70/600.82 c 294s | 13 | 347287 | 44332 | 637750 0 | 25222 | 14 603.09/603.29 c 296s | 13 | 350621 | 44632 | 637750 0 | 25222 | 14 605.20/605.34 c 298s | 13 | 351977 | 44832 | 637750 0 | 25222 | 14 608.00/608.14 c 301s | 13 | 355307 | 45132 | 637750 0 | 25222 | 14 634.09/634.29 c 327s | 13 | 358796 | 45432 | 637750 0 | 25222 | 14 636.49/636.60 c 330s | 13 | 361611 | 45732 | 637750 0 | 25222 | 14 638.60/638.71 c 332s | 13 | 363999 | 46232 | 637750 0 | 25222 | 14 640.79/640.91 c 334s | 13 | 367810 | 46732 | 637750 0 | 25222 | 14 643.40/643.51 c 337s | 13 | 370658 | 47132 | 637750 0 | 25222 | 14 645.99/646.10 c 339s | 13 | 374307 | 47432 | 637750 0 | 25222 | 14 648.09/648.30 c 341s | 13 | 378502 | 47732 | 637750 0 | 25222 | 14 650.59/650.77 c 344s | 13 | 379338 | 48032 | 637750 0 | 25222 | 14 652.79/652.93 c 346s | 13 | 382769 | 48532 | 637750 0 | 25222 | 14 654.79/654.99 c 348s | 13 | 386687 | 49132 | 637750 0 | 25222 | 14 656.99/657.16 c 350s | 13 | 391120 | 49632 | 637750 0 | 25222 | 14 659.19/659.36 c 352s | 13 | 397438 | 50032 | 637750 0 | 25222 | 14 661.69/661.85 c 355s | 13 | 401680 | 50632 | 637750 0 | 25222 | 14 664.18/664.34 c 357s | 13 | 404923 | 51132 | 637750 0 | 25222 | 14 666.49/666.69 c 360s | 13 | 407497 | 51832 | 637750 0 | 25222 | 14 668.79/669.00 c 362s | 13 | 411581 | 52332 | 637750 0 | 25222 | 14 671.38/671.54 c 365s | 13 | 416998 | 53032 | 637750 0 | 25222 | 14 673.98/674.13 c 367s | 13 | 422093 | 53532 | 637750 0 | 25222 | 14 676.29/676.49 c 370s | 13 | 427515 | 54032 | 701525 0 | 25222 | 14 678.58/678.80 c 372s | 13 | 431911 | 54332 | 701525 0 | 25222 | 14 681.09/681.23 c 374s | 13 | 435912 | 54832 | 701525 0 | 25222 | 14 683.19/683.31 c 376s | 13 | 439135 | 55132 | 701525 0 | 25222 | 14 685.29/685.45 c 378s | 13 | 443502 | 55832 | 701525 0 | 25222 | 14 687.88/688.01 c 381s | 13 | 448296 | 56232 | 701525 0 | 25222 | 14 690.29/690.43 c 383s | 13 | 451890 | 56632 | 701525 0 | 25222 | 14 692.59/692.74 c 386s | 13 | 456326 | 57132 | 701525 0 | 25222 | 14 694.98/695.10 c 388s | 13 | 459890 | 57632 | 701525 0 | 25222 | 14 697.08/697.28 c 390s | 13 | 463293 | 58032 | 701525 0 | 25222 | 14 699.18/699.34 c 392s | 13 | 464462 | 58332 | 701525 0 | 25222 | 14 699.28/699.48 c 393s | 14 | 464592 | 58352 | 701525 0 | 25222 | 14 702.89/703.04 c 396s | 14 | 465601 | 58452 | 701525 0 | 25222 | 14 704.88/705.04 c 398s | 14 | 468181 | 59452 | 701525 0 | 25222 | 14 707.68/707.85 c 401s | 14 | 472061 | 60152 | 701525 0 | 25222 | 14 709.78/709.92 c 403s | 14 | 475282 | 60352 | 701525 0 | 25222 | 14 712.28/712.43 c 405s | 14 | 478112 | 60552 | 701525 0 | 25222 | 14 714.38/714.59 c 408s | 14 | 481215 | 60852 | 701525 0 | 25222 | 14 716.48/716.64 c 410s | 14 | 482121 | 61052 | 701525 0 | 25222 | 14 718.98/719.10 c 412s | 14 | 487146 | 61652 | 701525 0 | 25222 | 14 720.98/721.11 c 414s | 14 | 488675 | 61952 | 701525 0 | 25222 | 14 723.18/723.34 c 416s | 14 | 490776 | 62252 | 701525 0 | 25222 | 14 725.67/725.88 c 419s | 14 | 493844 | 62552 | 701525 0 | 25222 | 14 727.87/728.00 c 421s | 14 | 495650 | 62852 | 701525 0 | 25222 | 14 730.08/730.24 c 423s | 14 | 497707 | 63152 | 701525 0 | 25222 | 14 732.59/732.71 c 426s | 14 | 499394 | 63352 | 701525 0 | 25222 | 14 734.68/734.89 c 428s | 14 | 500719 | 63652 | 701525 0 | 25222 | 14 736.77/736.90 c 430s | 14 | 503189 | 64052 | 701525 0 | 25222 | 14 738.87/739.04 c 432s | 14 | 506538 | 64652 | 701525 0 | 25222 | 14 741.17/741.30 c 434s | 14 | 508807 | 65052 | 701525 0 | 25222 | 14 743.38/743.55 c 437s | 14 | 513056 | 65552 | 701525 0 | 25222 | 14 745.48/745.60 c 439s | 14 | 516629 | 66152 | 701525 0 | 25222 | 14 747.47/747.64 c 441s | 14 | 520316 | 66452 | 701525 0 | 25222 | 14 750.07/750.29 c 443s | 14 | 524398 | 66752 | 701525 0 | 25222 | 14 752.37/752.58 c 446s | 14 | 527917 | 67152 | 701525 0 | 25222 | 14 754.48/754.67 c 448s | 14 | 532017 | 67452 | 701525 0 | 25222 | 14 756.88/757.03 c 450s | 14 | 536436 | 67752 | 701525 0 | 25222 | 14 759.08/759.23 c 452s | 14 | 539588 | 68052 | 701525 0 | 25222 | 14 761.68/761.84 c 455s | 14 | 543009 | 68452 | 701525 0 | 25222 | 14 763.67/763.88 c 457s | 14 | 545867 | 68852 | 701525 0 | 25222 | 14 766.07/766.24 c 459s | 14 | 550516 | 69552 | 701525 0 | 25222 | 14 768.77/768.92 c 462s | 14 | 553553 | 69852 | 701525 0 | 25222 | 14 770.97/771.19 c 464s | 14 | 556850 | 70152 | 701525 0 | 25222 | 14 773.07/773.27 c 466s | 14 | 559822 | 70452 | 701525 0 | 25222 | 14 775.17/775.31 c 468s | 14 | 562790 | 71052 | 701525 0 | 25222 | 14 777.97/778.16 c 471s | 14 | 565044 | 71552 | 701525 0 | 25222 | 14 780.17/780.30 c 473s | 14 | 567509 | 71952 | 701525 0 | 25222 | 14 782.27/782.44 c 475s | 14 | 568774 | 72252 | 701525 0 | 25222 | 14 784.67/784.88 c 478s | 14 | 572193 | 72652 | 701525 0 | 25222 | 14 786.96/787.11 c 480s | 14 | 574439 | 73052 | 701525 0 | 25222 | 14 788.96/789.15 c 482s | 14 | 575857 | 73452 | 701525 0 | 25222 | 14 791.07/791.23 c 484s | 14 | 577324 | 73952 | 701525 0 | 25222 | 14 793.37/793.50 c 487s | 14 | 579647 | 74552 | 701525 0 | 25222 | 14 795.37/795.56 c 489s | 14 | 582049 | 74952 | 701525 0 | 25222 | 14 797.57/797.72 c 491s | 14 | 583708 | 75452 | 701525 0 | 25222 | 14 799.87/800.08 c 493s | 14 | 585166 | 75852 | 701525 0 | 25222 | 14 801.97/802.19 c 495s | 14 | 587249 | 76452 | 701525 0 | 25222 | 14 804.27/804.48 c 498s | 14 | 588677 | 76952 | 701525 0 | 25222 | 14 806.47/806.66 c 500s | 14 | 593003 | 77252 | 701525 0 | 25222 | 14 808.96/809.18 c 502s | 14 | 596556 | 77652 | 701525 0 | 25222 | 14 811.57/811.79 c 505s | 14 | 598714 | 78052 | 701525 0 | 25222 | 14 814.07/814.21 c 507s | 14 | 601088 | 78652 | 701525 0 | 25222 | 14 816.27/816.42 c 509s | 14 | 603830 | 79052 | 701525 0 | 25222 | 14 818.76/818.95 c 512s | 14 | 605952 | 79452 | 701525 0 | 25222 | 14 828.96/829.10 c 522s | 14 | 606300 | 79652 | 701525 0 | 25222 | 14 830.96/831.18 c 524s | 14 | 612096 | 80052 | 701525 0 | 25222 | 14 833.36/833.54 c 527s | 14 | 614450 | 80452 | 701525 0 | 25222 | 14 835.46/835.62 c 529s | 14 | 616045 | 80752 | 701525 0 | 25222 | 14 837.56/837.74 c 531s | 14 | 618267 | 81352 | 701525 0 | 25222 | 14 839.96/840.13 c 533s | 14 | 619922 | 81952 | 701525 0 | 25222 | 14 842.15/842.31 c 535s | 14 | 622812 | 82552 | 701525 0 | 25222 | 14 844.26/844.48 c 538s | 14 | 624828 | 83252 | 771678 0 | 25222 | 14 846.56/846.72 c 540s | 14 | 626916 | 83952 | 771678 0 | 25222 | 14 848.55/848.77 c 542s | 14 | 628643 | 84552 | 771678 0 | 25222 | 14 851.06/851.20 c 544s | 14 | 630615 | 85052 | 771678 0 | 25222 | 14 853.46/853.70 c 547s | 14 | 634494 | 85652 | 771678 0 | 25222 | 14 855.65/855.82 c 549s | 14 | 635857 | 86252 | 771678 0 | 25222 | 14 858.26/858.43 c 551s | 14 | 640403 | 86652 | 771678 0 | 25222 | 14 860.46/860.63 c 554s | 14 | 642427 | 87052 | 771678 0 | 25222 | 14 862.95/863.16 c 556s | 14 | 645216 | 87552 | 771678 0 | 25222 | 14 863.46/863.64 c 557s | 15 | 646713 | 87632 | 771678 0 | 25222 | 14 867.36/867.57 c 561s | 15 | 648206 | 87732 | 771678 0 | 25222 | 14 869.95/870.17 c 563s | 15 | 651943 | 88132 | 771678 0 | 25222 | 14 872.26/872.43 c 565s | 15 | 653799 | 88532 | 771678 0 | 25222 | 14 874.66/874.86 c 568s | 15 | 656560 | 89132 | 771678 0 | 25222 | 14 876.85/877.08 c 570s | 15 | 658907 | 89432 | 771678 0 | 25222 | 14 879.75/879.92 c 573s | 15 | 659886 | 89732 | 771678 0 | 25222 | 14 881.95/882.14 c 575s | 15 | 663804 | 90132 | 771678 0 | 25222 | 14 884.55/884.72 c 578s | 15 | 667634 | 90532 | 771678 0 | 25222 | 14 886.56/886.79 c 580s | 15 | 670007 | 90832 | 771678 0 | 25222 | 14 888.76/888.95 c 582s | 15 | 672277 | 91332 | 771678 0 | 25222 | 14 891.55/891.70 c 585s | 15 | 674389 | 91732 | 771678 0 | 25222 | 14 893.95/894.18 c 587s | 15 | 676627 | 92332 | 771678 0 | 25222 | 14 896.05/896.22 c 589s | 15 | 678323 | 92532 | 771678 0 | 25222 | 14 898.45/898.70 c 592s | 15 | 682700 | 93132 | 771678 0 | 25222 | 14 900.95/901.13 c 594s | 15 | 685225 | 93532 | 771678 0 | 25222 | 14 903.05/903.22 c 596s | 15 | 687882 | 93932 | 771678 0 | 25222 | 14 905.35/905.51 c 599s | 15 | 688657 | 94332 | 771678 0 | 25222 | 14 907.55/907.76 c 601s | 15 | 690162 | 94632 | 771678 0 | 25222 | 14 910.04/910.23 c 603s | 15 | 693631 | 95032 | 771678 0 | 25222 | 14 912.35/912.56 c 606s | 15 | 695322 | 95532 | 771678 0 | 25222 | 14 914.84/915.09 c 608s | 15 | 699309 | 96032 | 771678 0 | 25222 | 14 917.14/917.30 c 610s | 15 | 702754 | 96432 | 771678 0 | 25222 | 14 919.75/919.95 c 613s | 15 | 704633 | 97032 | 771678 0 | 25222 | 14 922.15/922.35 c 615s | 15 | 706157 | 97432 | 771678 0 | 25222 | 14 924.45/924.61 c 618s | 15 | 708046 | 97832 | 771678 0 | 25222 | 14 926.65/926.85 c 620s | 15 | 710202 | 98332 | 771678 0 | 25222 | 14 928.74/928.96 c 622s | 15 | 714201 | 98832 | 771678 0 | 25222 | 14 931.14/931.36 c 624s | 15 | 717509 | 99332 | 771678 0 | 25222 | 14 933.45/933.66 c 627s | 15 | 719644 | 99732 | 771678 0 | 25222 | 14 935.65/935.83 c 629s | 15 | 722860 | 100132 | 771678 0 | 25222 | 14 938.25/938.47 c 631s | 15 | 724939 | 100632 | 771678 0 | 25222 | 14 940.65/940.81 c 634s | 15 | 726391 | 101032 | 771678 0 | 25222 | 14 942.85/943.06 c 636s | 15 | 728090 | 101532 | 771678 0 | 25222 | 14 944.95/945.17 c 638s | 15 | 729773 | 102132 | 771678 0 | 25222 | 14 947.15/947.37 c 640s | 15 | 732629 | 102632 | 771678 0 | 25222 | 14 949.24/949.43 c 642s | 15 | 734717 | 103132 | 771678 0 | 25222 | 14 951.74/951.92 c 645s | 15 | 737730 | 103832 | 771678 0 | 25222 | 14 953.84/954.05 c 647s | 15 | 741717 | 104232 | 771678 0 | 25222 | 14 955.85/956.05 c 649s | 15 | 743426 | 104832 | 771678 0 | 25222 | 14 962.74/962.92 c 656s | 15 | 744656 | 105032 | 771678 0 | 25222 | 14 964.84/965.09 c 658s | 15 | 746632 | 105432 | 771678 0 | 25222 | 14 967.04/967.25 c 660s | 15 | 748062 | 105932 | 771678 0 | 25222 | 14 969.24/969.48 c 663s | 15 | 751804 | 106432 | 771678 0 | 25222 | 14 971.35/971.53 c 665s | 15 | 755802 | 106832 | 771678 0 | 25222 | 14 973.34/973.54 c 667s | 15 | 758257 | 107632 | 771678 0 | 25222 | 14 975.74/975.95 c 669s | 15 | 763834 | 108132 | 771678 0 | 25222 | 14 977.94/978.12 c 671s | 15 | 768239 | 108532 | 771678 0 | 25222 | 14 980.54/980.70 c 674s | 15 | 771316 | 108932 | 771678 0 | 25222 | 14 982.94/983.17 c 676s | 15 | 775687 | 109332 | 771678 0 | 25222 | 14 985.04/985.22 c 678s | 15 | 778823 | 109832 | 771678 0 | 25222 | 14 987.54/987.72 c 681s | 15 | 784788 | 110232 | 771678 0 | 25222 | 14 989.94/990.11 c 683s | 15 | 789028 | 110632 | 771678 0 | 25222 | 14 991.94/992.15 c 685s | 15 | 792604 | 111232 | 771678 0 | 25222 | 14 994.04/994.20 c 687s | 15 | 796674 | 111732 | 771678 0 | 25222 | 14 996.24/996.43 c 689s | 15 | 799104 | 112332 | 771678 0 | 25222 | 14 998.33/998.57 c 692s | 15 | 803766 | 112832 | 771678 0 | 25222 | 14 1000.73/1000.92 c 694s | 15 | 806787 | 113332 | 771678 0 | 25222 | 14 1002.93/1003.20 c 696s | 15 | 808992 | 113732 | 771678 0 | 25222 | 14 1005.03/1005.30 c 698s | 15 | 810922 | 114132 | 771678 0 | 25222 | 14 1007.33/1007.55 c 701s | 15 | 813255 | 114632 | 771678 0 | 25222 | 14 1009.53/1009.74 c 703s | 15 | 815116 | 115132 | 771678 0 | 25222 | 14 1011.73/1011.95 c 705s | 15 | 818174 | 115932 | 771678 0 | 25222 | 14 1013.83/1014.01 c 707s | 15 | 820105 | 116332 | 771678 0 | 25222 | 14 1015.93/1016.11 c 709s | 15 | 825576 | 116832 | 771678 0 | 25222 | 14 1018.43/1018.60 c 712s | 15 | 827884 | 117532 | 771678 0 | 25222 | 14 1020.43/1020.62 c 714s | 15 | 829798 | 118132 | 771678 0 | 25222 | 14 1022.63/1022.85 c 716s | 15 | 833471 | 118632 | 771678 0 | 25222 | 14 1024.83/1025.08 c 718s | 15 | 840645 | 119032 | 771678 0 | 25222 | 14 1026.93/1027.18 c 720s | 15 | 842851 | 119332 | 771678 0 | 25222 | 14 1029.33/1029.50 c 723s | 15 | 846352 | 119732 | 771678 0 | 25222 | 14 1031.33/1031.54 c 725s | 15 | 850033 | 120132 | 771678 0 | 25222 | 14 1033.33/1033.56 c 727s | 15 | 852639 | 120532 | 771678 0 | 25222 | 14 1035.62/1035.84 c 729s | 15 | 856341 | 121132 | 771678 0 | 25222 | 14 1037.83/1038.06 c 731s | 15 | 858768 | 121532 | 771678 0 | 25222 | 14 1040.13/1040.33 c 733s | 15 | 863365 | 121932 | 771678 0 | 25222 | 14 1042.53/1042.77 c 736s | 15 | 865124 | 122532 | 771678 0 | 25222 | 14 1044.63/1044.87 c 738s | 15 | 869325 | 122932 | 771678 0 | 25222 | 14 1046.92/1047.14 c 740s | 15 | 871615 | 123332 | 771678 0 | 25222 | 14 1049.13/1049.32 c 742s | 15 | 873103 | 123732 | 771678 0 | 25222 | 14 1051.33/1051.53 c 745s | 15 | 875242 | 124432 | 771678 0 | 25222 | 14 1053.33/1053.55 c 747s | 15 | 876618 | 125032 | 771678 0 | 25222 | 14 1055.52/1055.76 c 749s | 15 | 878259 | 125432 | 771678 0 | 25222 | 14 1058.02/1058.21 c 751s | 15 | 879886 | 125832 | 771678 0 | 25222 | 14 1060.12/1060.37 c 753s | 15 | 882977 | 126232 | 771678 0 | 25222 | 14 1062.53/1062.72 c 756s | 15 | 884690 | 126732 | 848846 0 | 25222 | 14 1064.84/1065.08 c 758s | 15 | 886649 | 127232 | 848846 0 | 25222 | 14 1067.03/1067.27 c 760s | 15 | 889983 | 127632 | 848846 0 | 25222 | 14 1069.13/1069.39 c 762s | 15 | 892508 | 128132 | 848846 0 | 25222 | 14 1071.62/1071.88 c 765s | 15 | 894822 | 128532 | 848846 0 | 25222 | 14 1074.13/1074.31 c 767s | 15 | 896287 | 129032 | 848846 0 | 25222 | 14 1076.43/1076.61 c 770s | 15 | 897958 | 129532 | 848846 0 | 25222 | 14 1078.52/1078.75 c 772s | 15 | 899496 | 130132 | 848846 0 | 25222 | 14 1080.72/1080.91 c 774s | 15 | 902178 | 130532 | 848846 0 | 25222 | 14 1082.82/1083.03 c 776s | 15 | 904875 | 130932 | 848846 0 | 25222 | 14 1084.92/1085.11 c 778s | 15 | 906312 | 131532 | 848846 0 | 25222 | 14 1084.92/1085.16 c 778s | 16 | 906393 | 131552 | 848846 0 | 25222 | 14 1088.82/1089.10 c 782s | 16 | 907499 | 131652 | 848846 0 | 25222 | 14 1091.23/1091.43 c 784s | 16 | 909997 | 132252 | 848846 0 | 25222 | 14 1093.62/1093.83 c 787s | 16 | 913025 | 132652 | 848846 0 | 25222 | 14 1095.72/1095.92 c 789s | 16 | 915702 | 132952 | 848846 0 | 25222 | 14 1103.22/1103.42 c 796s | 16 | 918774 | 133152 | 848846 0 | 25222 | 14 1105.53/1105.74 c 799s | 16 | 922663 | 133452 | 848846 0 | 25222 | 14 1108.01/1108.26 c 801s | 16 | 926423 | 133852 | 848846 0 | 25222 | 14 1110.02/1110.29 c 803s | 16 | 930359 | 134152 | 848846 0 | 25222 | 14 1112.32/1112.59 c 806s | 16 | 934950 | 134452 | 848846 0 | 25222 | 14 1114.51/1114.75 c 808s | 16 | 937215 | 134752 | 848846 0 | 25222 | 14 1116.71/1116.94 c 810s | 16 | 939381 | 135152 | 848846 0 | 25222 | 14 1119.01/1119.29 c 812s | 16 | 943906 | 135552 | 848846 0 | 25222 | 14 1121.51/1121.70 c 815s | 16 | 948260 | 136052 | 848846 0 | 25222 | 14 1123.62/1123.82 c 817s | 16 | 951972 | 136452 | 848846 0 | 25222 | 14 1126.02/1126.21 c 819s | 16 | 956531 | 136852 | 848846 0 | 25222 | 14 1128.31/1128.59 c 822s | 16 | 961252 | 137252 | 848846 0 | 25222 | 14 1130.71/1130.98 c 824s | 16 | 965915 | 137752 | 848846 0 | 25222 | 14 1132.81/1133.03 c 826s | 16 | 970024 | 138052 | 848846 0 | 25222 | 14 1135.31/1135.50 c 829s | 16 | 974152 | 138452 | 848846 0 | 25222 | 14 1137.41/1137.66 c 831s | 16 | 980331 | 138852 | 848846 0 | 25222 | 14 1140.11/1140.37 c 833s | 16 | 984856 | 139252 | 848846 0 | 25222 | 14 1142.71/1142.91 c 836s | 16 | 990223 | 139652 | 848846 0 | 25222 | 14 1145.21/1145.41 c 838s | 16 | 995208 | 140052 | 848846 0 | 25222 | 14 1147.50/1147.75 c 841s | 16 | 998776 | 140452 | 848846 0 | 25222 | 14 1150.11/1150.35 c 843s | 16 | 1000473 | 140852 | 848846 0 | 25222 | 14 1152.50/1152.73 c 846s | 16 | 1003318 | 141352 | 848846 0 | 25222 | 14 1155.10/1155.35 c 848s | 16 | 1007298 | 142052 | 848846 0 | 25222 | 14 1157.50/1157.76 c 851s | 16 | 1011060 | 142452 | 848846 0 | 25222 | 14 1159.81/1160.06 c 853s | 16 | 1015215 | 142852 | 848846 0 | 25222 | 14 1162.01/1162.25 c 855s | 16 | 1018016 | 143152 | 848846 0 | 25222 | 14 1164.20/1164.46 c 857s | 16 | 1021695 | 143452 | 848846 0 | 25222 | 14 1166.40/1166.63 c 860s | 16 | 1024419 | 143752 | 848846 0 | 25222 | 14 1168.80/1169.08 c 862s | 16 | 1029039 | 144152 | 848846 0 | 25222 | 14 1171.41/1171.62 c 865s | 16 | 1032781 | 144552 | 848846 0 | 25222 | 14 1173.70/1173.96 c 867s | 16 | 1035255 | 145052 | 848846 0 | 25222 | 14 1175.81/1176.09 c 869s | 16 | 1036776 | 145452 | 848846 0 | 25222 | 14 1178.20/1178.41 c 871s | 16 | 1041385 | 145852 | 848846 0 | 25222 | 14 1180.39/1180.61 c 874s | 16 | 1043850 | 146252 | 848846 0 | 25222 | 14 1183.10/1183.38 c 876s | 16 | 1045507 | 146652 | 848846 0 | 25222 | 14 1185.59/1185.82 c 879s | 16 | 1048733 | 147152 | 848846 0 | 25222 | 14 1187.59/1187.85 c 881s | 16 | 1050997 | 147552 | 848846 0 | 25222 | 14 1190.10/1190.36 c 883s | 16 | 1052856 | 147952 | 848846 0 | 25222 | 14 1192.40/1192.64 c 886s | 16 | 1055612 | 148352 | 848846 0 | 25222 | 14 1194.79/1195.02 c 888s | 16 | 1059096 | 148852 | 848846 0 | 25222 | 14 1196.89/1197.14 c 890s | 16 | 1062382 | 149352 | 848846 0 | 25222 | 14 1199.00/1199.24 c 892s | 16 | 1065661 | 149852 | 848846 0 | 25222 | 14 1201.09/1201.31 c 894s | 16 | 1068213 | 150452 | 848846 0 | 25222 | 14 1203.19/1203.43 c 896s | 16 | 1070057 | 151052 | 848846 0 | 25222 | 14 1205.29/1205.57 c 899s | 16 | 1072494 | 151552 | 848846 0 | 25222 | 14 1207.59/1207.83 c 901s | 16 | 1076615 | 152052 | 848846 0 | 25222 | 14 1210.09/1210.30 c 903s | 16 | 1079593 | 152452 | 848846 0 | 25222 | 14 1212.49/1212.72 c 906s | 16 | 1082313 | 152952 | 848846 0 | 25222 | 14 1214.78/1215.04 c 908s | 16 | 1086896 | 153452 | 848846 0 | 25222 | 14 1217.39/1217.66 c 911s | 16 | 1091039 | 153852 | 848846 0 | 25222 | 14 1219.58/1219.84 c 913s | 16 | 1095201 | 154252 | 848846 0 | 25222 | 14 1222.09/1222.37 c 915s | 16 | 1099029 | 154652 | 848846 0 | 25222 | 14 1224.48/1224.76 c 918s | 16 | 1101475 | 155152 | 848846 0 | 25222 | 14 1226.88/1227.11 c 920s | 16 | 1105733 | 155552 | 848846 0 | 25222 | 14 1228.99/1229.25 c 922s | 16 | 1107480 | 155852 | 848846 0 | 25222 | 14 1236.98/1237.29 c 930s | 16 | 1108937 | 156152 | 848846 0 | 25222 | 14 1239.28/1239.53 c 933s | 16 | 1110420 | 156552 | 848846 0 | 25222 | 14 1241.48/1241.75 c 935s | 16 | 1111874 | 156952 | 848846 0 | 25222 | 14 1243.58/1243.83 c 937s | 16 | 1113360 | 157352 | 848846 0 | 25222 | 14 1245.68/1245.98 c 939s | 16 | 1115709 | 157652 | 848846 0 | 25222 | 14 1247.98/1248.27 c 941s | 16 | 1117828 | 158052 | 848846 0 | 25222 | 14 1250.58/1250.88 c 944s | 16 | 1121082 | 158452 | 848846 0 | 25222 | 14 1252.79/1253.09 c 946s | 16 | 1123729 | 158852 | 848846 0 | 25222 | 14 1255.18/1255.42 c 948s | 16 | 1125074 | 159252 | 848846 0 | 25222 | 14 1257.88/1258.12 c 951s | 16 | 1126525 | 159552 | 848846 0 | 25222 | 14 1259.88/1260.15 c 953s | 16 | 1129700 | 159952 | 848846 0 | 25222 | 14 1262.18/1262.48 c 956s | 16 | 1132206 | 160452 | 848846 0 | 25222 | 14 1264.48/1264.79 c 958s | 16 | 1135397 | 160852 | 848846 0 | 25222 | 14 1266.78/1267.04 c 960s | 16 | 1137021 | 161252 | 848846 0 | 25222 | 14 1268.87/1269.13 c 962s | 16 | 1140178 | 161652 | 848846 0 | 25222 | 14 1271.38/1271.60 c 965s | 16 | 1143522 | 162152 | 848846 0 | 25222 | 14 1273.48/1273.74 c 967s | 16 | 1145442 | 162652 | 848846 0 | 25222 | 14 1276.08/1276.30 c 969s | 16 | 1147161 | 163252 | 848846 0 | 25222 | 14 1278.27/1278.59 c 972s | 16 | 1148109 | 163652 | 848846 0 | 25222 | 14 1280.38/1280.69 c 974s | 16 | 1150653 | 164052 | 848846 0 | 25222 | 14 1282.78/1283.06 c 976s | 16 | 1152693 | 164552 | 848846 0 | 25222 | 14 1284.87/1285.14 c 978s | 16 | 1154259 | 164952 | 848846 0 | 25222 | 14 1287.38/1287.68 c 981s | 16 | 1156234 | 165452 | 848846 0 | 25222 | 14 1289.57/1289.81 c 983s | 16 | 1158088 | 165952 | 848846 0 | 25222 | 14 1291.68/1291.91 c 985s | 16 | 1159729 | 166352 | 848846 0 | 25222 | 14 1294.08/1294.37 c 987s | 16 | 1163138 | 166752 | 848846 0 | 25222 | 14 1296.17/1296.46 c 989s | 16 | 1164893 | 167052 | 848846 0 | 25222 | 14 1298.68/1298.95 c 992s | 16 | 1167482 | 167452 | 848846 0 | 25222 | 14 1300.88/1301.16 c 994s | 16 | 1168159 | 167752 | 848846 0 | 25222 | 14 1302.97/1303.23 c 996s | 16 | 1168943 | 168052 | 848846 0 | 25222 | 14 1305.18/1305.49 c 999s | 16 | 1170942 | 168452 | 848846 0 | 25222 | 14 1307.47/1307.73 c 1001s | 16 | 1172726 | 168852 | 848846 0 | 25222 | 14 1309.77/1310.08 c 1003s | 16 | 1175468 | 169252 | 848846 0 | 25222 | 14 1311.97/1312.24 c 1005s | 16 | 1179078 | 169652 | 848846 0 | 25222 | 14 1314.07/1314.33 c 1007s | 16 | 1181540 | 170052 | 848846 0 | 25222 | 14 1316.07/1316.35 c 1009s | 16 | 1183274 | 170452 | 848846 0 | 25222 | 14 1318.17/1318.49 c 1012s | 16 | 1184093 | 170752 | 848846 0 | 25222 | 14 1320.37/1320.65 c 1014s | 16 | 1185737 | 171152 | 848846 0 | 25222 | 14 1322.46/1322.77 c 1016s | 16 | 1186866 | 171452 | 848846 0 | 25222 | 14 1325.17/1325.45 c 1018s | 16 | 1188624 | 171852 | 848846 0 | 25222 | 14 1327.37/1327.69 c 1021s | 16 | 1190157 | 172152 | 848846 0 | 25222 | 14 1329.47/1329.74 c 1023s | 16 | 1191581 | 172452 | 848846 0 | 25222 | 14 1331.86/1332.15 c 1025s | 16 | 1194305 | 172852 | 848846 0 | 25222 | 14 1333.97/1334.27 c 1027s | 16 | 1195517 | 173252 | 848846 0 | 25222 | 14 1336.86/1337.13 c 1030s | 16 | 1196556 | 173552 | 848846 0 | 25222 | 14 1339.07/1339.37 c 1032s | 16 | 1198422 | 173852 | 848846 0 | 25222 | 14 1341.17/1341.44 c 1034s | 16 | 1198998 | 174152 | 848846 0 | 25222 | 14 1343.17/1343.48 c 1037s | 16 | 1199995 | 174452 | 848846 0 | 25222 | 14 1345.57/1345.81 c 1039s | 16 | 1202032 | 174852 | 848846 0 | 25222 | 14 1347.67/1347.99 c 1041s | 16 | 1204944 | 175252 | 848846 0 | 25222 | 14 1349.97/1350.28 c 1043s | 16 | 1207362 | 175652 | 848846 0 | 25222 | 14 1352.76/1353.07 c 1046s | 16 | 1208845 | 176052 | 848846 0 | 25222 | 14 1355.37/1355.61 c 1049s | 16 | 1210834 | 176352 | 848846 0 | 25222 | 14 1357.87/1358.16 c 1051s | 16 | 1212672 | 176652 | 848846 0 | 25222 | 14 1359.96/1360.25 c 1053s | 16 | 1214529 | 176952 | 848846 0 | 25222 | 14 1362.47/1362.71 c 1056s | 16 | 1215854 | 177352 | 848846 0 | 25222 | 14 1370.16/1370.43 c 1063s | 16 | 1217213 | 177652 | 848846 0 | 25222 | 14 1372.26/1372.54 c 1066s | 16 | 1219189 | 178052 | 848846 0 | 25222 | 14 1374.47/1374.70 c 1068s | 16 | 1220371 | 178352 | 848846 0 | 25222 | 14 1376.66/1376.99 c 1070s | 16 | 1221956 | 178752 | 848846 0 | 25222 | 14 1379.17/1379.46 c 1072s | 16 | 1226400 | 179152 | 848846 0 | 25222 | 14 1381.36/1381.67 c 1075s | 16 | 1228117 | 179452 | 848846 0 | 25222 | 14 1383.76/1384.08 c 1077s | 16 | 1231907 | 179952 | 848846 0 | 25222 | 14 1385.97/1386.26 c 1079s | 16 | 1234506 | 180352 | 848846 0 | 25222 | 14 1387.96/1388.30 c 1081s | 16 | 1236398 | 180652 | 848846 0 | 25222 | 14 1390.06/1390.33 c 1083s | 16 | 1239048 | 181052 | 848846 0 | 25222 | 14 1392.26/1392.58 c 1086s | 16 | 1241716 | 181552 | 848846 0 | 25222 | 14 1394.36/1394.66 c 1088s | 16 | 1245196 | 182052 | 848846 0 | 25222 | 14 1396.56/1396.81 c 1090s | 16 | 1247501 | 182452 | 848846 0 | 25222 | 14 1398.56/1398.86 c 1092s | 16 | 1249770 | 182952 | 848846 0 | 25222 | 14 1400.86/1401.19 c 1094s | 16 | 1252591 | 183452 | 848846 0 | 25222 | 14 1403.06/1403.39 c 1096s | 16 | 1254656 | 183852 | 848846 0 | 25222 | 14 1405.35/1405.69 c 1099s | 16 | 1259345 | 184252 | 848846 0 | 25222 | 14 1407.76/1408.04 c 1101s | 16 | 1261802 | 184652 | 848846 0 | 25222 | 14 1409.86/1410.12 c 1103s | 16 | 1264953 | 185052 | 848846 0 | 25222 | 14 1411.86/1412.14 c 1105s | 16 | 1266022 | 185352 | 848846 0 | 25222 | 14 1414.06/1414.32 c 1107s | 16 | 1269478 | 185752 | 848846 0 | 25222 | 14 1416.26/1416.59 c 1110s | 16 | 1273005 | 186352 | 848846 0 | 25222 | 14 1418.75/1419.05 c 1112s | 16 | 1274529 | 186852 | 848846 0 | 25222 | 14 1421.07/1421.37 c 1114s | 16 | 1277448 | 187252 | 848846 0 | 25222 | 14 1423.45/1423.79 c 1117s | 16 | 1281004 | 187652 | 848846 0 | 25222 | 14 1425.85/1426.16 c 1119s | 16 | 1283773 | 188052 | 848846 0 | 25222 | 14 1428.05/1428.37 c 1121s | 16 | 1286495 | 188552 | 848846 0 | 25222 | 14 1430.35/1430.61 c 1124s | 16 | 1288978 | 189052 | 848846 0 | 25222 | 14 1432.35/1432.62 c 1126s | 16 | 1289953 | 189352 | 848846 0 | 25222 | 14 1434.66/1434.91 c 1128s | 16 | 1292897 | 189752 | 848846 0 | 25222 | 14 1436.96/1437.29 c 1130s | 16 | 1295024 | 190252 | 848846 0 | 25222 | 14 1439.65/1439.97 c 1133s | 16 | 1298170 | 190652 | 848846 0 | 25222 | 14 1442.45/1442.71 c 1136s | 16 | 1301449 | 191152 | 848846 0 | 25222 | 14 1444.86/1445.17 c 1138s | 16 | 1304121 | 191552 | 848846 0 | 25222 | 14 1447.15/1447.44 c 1140s | 16 | 1306709 | 191952 | 933731 0 | 25222 | 14 1449.25/1449.53 c 1143s | 16 | 1307662 | 192252 | 933731 0 | 25222 | 14 1451.35/1451.65 c 1145s | 16 | 1311002 | 192552 | 933731 0 | 25222 | 14 1454.15/1454.45 c 1147s | 16 | 1315231 | 192952 | 933731 0 | 25222 | 14 1456.15/1456.47 c 1149s | 16 | 1317644 | 193252 | 933731 0 | 25222 | 14 1458.25/1458.54 c 1152s | 16 | 1319119 | 193552 | 933731 0 | 25222 | 14 1460.54/1460.86 c 1154s | 16 | 1322265 | 193952 | 933731 0 | 25222 | 14 1462.96/1463.28 c 1156s | 16 | 1325857 | 194352 | 933731 0 | 25222 | 14 1465.16/1465.49 c 1159s | 16 | 1328004 | 194652 | 933731 0 | 25222 | 14 1467.65/1467.90 c 1161s | 16 | 1331160 | 195152 | 933731 0 | 25222 | 14 1469.84/1470.12 c 1163s | 16 | 1332962 | 195552 | 933731 0 | 25222 | 14 1472.14/1472.47 c 1166s | 16 | 1334554 | 195952 | 933731 0 | 25222 | 14 1474.74/1475.00 c 1168s | 16 | 1338276 | 196452 | 933731 0 | 25222 | 14 1477.26/1477.57 c 1171s | 16 | 1342351 | 196852 | 933731 0 | 25222 | 14 1479.25/1479.58 c 1173s | 16 | 1345853 | 197252 | 933731 0 | 25222 | 14 1479.95/1480.21 c 1173s | 17 | 1346560 | 197432 | 933731 0 | 25222 | 14 1484.24/1484.55 c 1178s | 17 | 1347803 | 197532 | 933731 0 | 25222 | 14 1486.35/1486.68 c 1180s | 17 | 1350615 | 197932 | 933731 0 | 25222 | 14 1488.94/1489.20 c 1182s | 17 | 1353248 | 198432 | 933731 0 | 25222 | 14 1491.34/1491.68 c 1185s | 17 | 1356436 | 198832 | 933731 0 | 25222 | 14 1493.54/1493.88 c 1187s | 17 | 1358425 | 199132 | 933731 0 | 25222 | 14 1495.85/1496.13 c 1189s | 17 | 1360968 | 199432 | 933731 0 | 25222 | 14 1498.45/1498.78 c 1192s | 17 | 1362484 | 199832 | 933731 0 | 25222 | 14 1506.85/1507.14 c 1200s | 17 | 1364446 | 200232 | 933731 0 | 25222 | 14 1509.44/1509.77 c 1203s | 17 | 1366022 | 200632 | 933731 0 | 25222 | 14 1512.04/1512.36 c 1205s | 17 | 1368105 | 201132 | 933731 0 | 25222 | 14 1514.55/1514.82 c 1208s | 17 | 1370522 | 201632 | 933731 0 | 25222 | 14 1516.54/1516.88 c 1210s | 17 | 1373180 | 201932 | 933731 0 | 25222 | 14 1519.24/1519.51 c 1213s | 17 | 1375599 | 202432 | 933731 0 | 25222 | 14 1521.53/1521.87 c 1215s | 17 | 1379343 | 202832 | 933731 0 | 25222 | 14 1523.84/1524.13 c 1217s | 17 | 1383970 | 203132 | 933731 0 | 25222 | 14 1526.44/1526.75 c 1220s | 17 | 1385416 | 203432 | 933731 0 | 25222 | 14 1529.04/1529.35 c 1222s | 17 | 1388095 | 203832 | 933731 0 | 25222 | 14 1531.15/1531.41 c 1224s | 17 | 1390176 | 204132 | 933731 0 | 25222 | 14 1533.24/1533.52 c 1227s | 17 | 1391749 | 204432 | 933731 0 | 25222 | 14 1535.83/1536.11 c 1229s | 17 | 1395169 | 204932 | 933731 0 | 25222 | 14 1537.84/1538.16 c 1231s | 17 | 1396333 | 205232 | 933731 0 | 25222 | 14 1540.44/1540.76 c 1234s | 17 | 1398836 | 205632 | 933731 0 | 25222 | 14 1542.84/1543.10 c 1236s | 17 | 1400138 | 205932 | 933731 0 | 25222 | 14 1545.44/1545.74 c 1239s | 17 | 1402263 | 206332 | 933731 0 | 25222 | 14 1547.64/1547.96 c 1241s | 17 | 1403873 | 206632 | 933731 0 | 25222 | 14 1549.84/1550.16 c 1243s | 17 | 1407146 | 206932 | 933731 0 | 25222 | 14 1552.13/1552.43 c 1245s | 17 | 1409948 | 207332 | 933731 0 | 25222 | 14 1554.33/1554.67 c 1248s | 17 | 1413173 | 207732 | 933731 0 | 25222 | 14 1557.14/1557.50 c 1251s | 17 | 1416492 | 208132 | 933731 0 | 25222 | 14 1559.74/1560.01 c 1253s | 17 | 1419255 | 208732 | 933731 0 | 25222 | 14 1562.04/1562.30 c 1255s | 17 | 1422128 | 209232 | 933731 0 | 25222 | 14 1564.14/1564.42 c 1257s | 17 | 1424524 | 209532 | 933731 0 | 25222 | 14 1566.24/1566.53 c 1260s | 17 | 1425056 | 209732 | 933731 0 | 25222 | 14 1568.44/1568.79 c 1262s | 17 | 1426943 | 210132 | 933731 0 | 25222 | 14 1570.94/1571.24 c 1264s | 17 | 1431226 | 210532 | 933731 0 | 25222 | 14 1573.23/1573.51 c 1267s | 17 | 1433225 | 210932 | 933731 0 | 25222 | 14 1575.23/1575.57 c 1269s | 17 | 1435722 | 211332 | 933731 0 | 25222 | 14 1578.13/1578.44 c 1271s | 17 | 1439338 | 211732 | 933731 0 | 25222 | 14 1580.93/1581.25 c 1274s | 17 | 1442088 | 212132 | 933731 0 | 25222 | 14 1583.13/1583.44 c 1276s | 17 | 1442505 | 212332 | 933731 0 | 25222 | 14 1585.53/1585.85 c 1279s | 17 | 1442884 | 212532 | 933731 0 | 25222 | 14 1588.62/1588.90 c 1282s | 17 | 1444457 | 212832 | 933731 0 | 25222 | 14 1590.83/1591.18 c 1284s | 17 | 1447738 | 213232 | 933731 0 | 25222 | 14 1593.43/1593.76 c 1287s | 17 | 1449594 | 213732 | 933731 0 | 25222 | 14 1595.73/1596.06 c 1289s | 17 | 1450664 | 214032 | 933731 0 | 25222 | 14 1597.72/1598.08 c 1291s | 17 | 1452879 | 214432 | 933731 0 | 25222 | 14 1600.13/1600.43 c 1293s | 17 | 1454429 | 214832 | 933731 0 | 25222 | 14 1602.33/1602.60 c 1296s | 17 | 1456615 | 215432 | 933731 0 | 25222 | 14 1604.52/1604.83 c 1298s | 17 | 1457981 | 215832 | 933731 0 | 25222 | 14 1606.82/1607.17 c 1300s | 17 | 1459952 | 216232 | 933731 0 | 25222 | 14 1608.93/1609.23 c 1302s | 17 | 1461366 | 216532 | 933731 0 | 25222 | 14 1611.03/1611.39 c 1304s | 17 | 1462997 | 216932 | 933731 0 | 25222 | 14 1613.32/1613.61 c 1307s | 17 | 1464457 | 217332 | 933731 0 | 25222 | 14 1615.73/1616.07 c 1309s | 17 | 1467603 | 217632 | 933731 0 | 25222 | 14 1618.43/1618.78 c 1312s | 17 | 1473351 | 217932 | 933731 0 | 25222 | 14 1621.13/1621.46 c 1314s | 17 | 1477642 | 218332 | 933731 0 | 25222 | 14 1623.43/1623.80 c 1317s | 17 | 1482212 | 218632 | 933731 0 | 25222 | 14 1625.63/1625.97 c 1319s | 17 | 1484384 | 218932 | 933731 0 | 25222 | 14 1627.82/1628.13 c 1321s | 17 | 1487438 | 219232 | 933731 0 | 25222 | 14 1630.43/1630.75 c 1324s | 17 | 1492324 | 219532 | 933731 0 | 25222 | 14 1632.83/1633.11 c 1326s | 17 | 1495869 | 219832 | 933731 0 | 25222 | 14 1635.22/1635.57 c 1329s | 17 | 1499658 | 220132 | 933731 0 | 25222 | 14 1637.83/1638.11 c 1331s | 17 | 1503456 | 220532 | 933731 0 | 25222 | 14 1640.12/1640.40 c 1333s | 17 | 1507143 | 220832 | 933731 0 | 25222 | 14 1642.13/1642.41 c 1335s | 17 | 1510757 | 221132 | 933731 0 | 25222 | 14 1651.42/1651.73 c 1345s | 17 | 1514843 | 221432 | 933731 0 | 25222 | 14 1653.52/1653.85 c 1347s | 17 | 1517769 | 221732 | 933731 0 | 25222 | 14 1656.02/1656.38 c 1349s | 17 | 1521235 | 222232 | 933731 0 | 25222 | 14 1658.32/1658.63 c 1352s | 17 | 1524488 | 222632 | 933731 0 | 25222 | 14 1660.72/1661.01 c 1354s | 17 | 1526883 | 223032 | 933731 0 | 25222 | 14 1663.12/1663.48 c 1357s | 17 | 1529301 | 223332 | 933731 0 | 25222 | 14 1665.51/1665.88 c 1359s | 17 | 1531665 | 223832 | 933731 0 | 25222 | 14 1667.82/1668.19 c 1361s | 17 | 1534077 | 224232 | 933731 0 | 25222 | 14 1670.31/1670.68 c 1364s | 17 | 1536923 | 224632 | 933731 0 | 25222 | 14 1672.51/1672.84 c 1366s | 17 | 1539066 | 225032 | 933731 0 | 25222 | 14 1674.62/1674.91 c 1368s | 17 | 1541128 | 225532 | 933731 0 | 25222 | 14 1677.01/1677.33 c 1370s | 17 | 1544607 | 225932 | 933731 0 | 25222 | 14 1679.31/1679.64 c 1373s | 17 | 1546306 | 226432 | 933731 0 | 25222 | 14 1681.71/1682.08 c 1375s | 17 | 1549180 | 226932 | 933731 0 | 25222 | 14 1684.11/1684.42 c 1377s | 17 | 1553922 | 227332 | 933731 0 | 25222 | 14 1686.21/1686.52 c 1380s | 17 | 1556884 | 227732 | 933731 0 | 25222 | 14 1688.71/1689.08 c 1382s | 17 | 1559332 | 228332 | 933731 0 | 25222 | 14 1690.91/1691.20 c 1384s | 17 | 1561366 | 228832 | 933731 0 | 25222 | 14 1693.00/1693.30 c 1386s | 17 | 1562278 | 229132 | 933731 0 | 25222 | 14 1695.51/1695.86 c 1389s | 17 | 1566675 | 229532 | 933731 0 | 25222 | 14 1697.51/1697.87 c 1391s | 17 | 1569593 | 229832 | 933731 0 | 25222 | 14 1699.61/1699.97 c 1393s | 17 | 1573080 | 230232 | 933731 0 | 25222 | 14 1701.80/1702.14 c 1395s | 17 | 1575594 | 230632 | 933731 0 | 25222 | 14 1704.51/1704.84 c 1398s | 17 | 1577965 | 231132 | 933731 0 | 25222 | 14 1706.91/1707.27 c 1400s | 17 | 1581541 | 231532 | 933731 0 | 25222 | 14 1708.90/1709.27 c 1402s | 17 | 1583540 | 232032 | 933731 0 | 25222 | 14 1711.31/1711.62 c 1405s | 17 | 1587897 | 232632 | 933731 0 | 25222 | 14 1713.80/1714.18 c 1407s | 17 | 1591406 | 233232 | 933731 0 | 25222 | 14 1716.00/1716.32 c 1409s | 17 | 1595845 | 233632 | 933731 0 | 25222 | 14 1718.20/1718.54 c 1412s | 17 | 1598804 | 234032 | 933731 0 | 25222 | 14 1720.50/1720.87 c 1414s | 17 | 1602486 | 234432 | 933731 0 | 25222 | 14 1722.80/1723.15 c 1416s | 17 | 1603600 | 234732 | 933731 0 | 25222 | 14 1725.00/1725.32 c 1418s | 17 | 1605900 | 235132 | 933731 0 | 25222 | 14 1727.00/1727.39 c 1420s | 17 | 1606894 | 235532 | 933731 0 | 25222 | 14 1729.49/1729.84 c 1423s | 17 | 1608671 | 236032 | 933731 0 | 25222 | 14 1731.60/1731.94 c 1425s | 17 | 1611468 | 236532 | 933731 0 | 25222 | 14 1733.60/1733.97 c 1427s | 17 | 1614647 | 236932 | 933731 0 | 25222 | 14 1735.70/1736.03 c 1429s | 17 | 1616160 | 237432 | 933731 0 | 25222 | 14 1737.99/1738.34 c 1431s | 17 | 1621319 | 237832 | 933731 0 | 25222 | 14 1740.20/1740.53 c 1434s | 17 | 1625538 | 238132 | 933731 0 | 25222 | 14 1742.79/1743.10 c 1436s | 17 | 1627870 | 238532 | 933731 0 | 25222 | 14 1745.00/1745.35 c 1438s | 17 | 1630226 | 238932 | 933731 0 | 25222 | 14 1747.29/1747.63 c 1441s | 17 | 1633305 | 239232 | 933731 0 | 25222 | 14 1749.49/1749.83 c 1443s | 17 | 1636990 | 239532 | 933731 0 | 25222 | 14 1751.50/1751.85 c 1445s | 17 | 1638797 | 239932 | 933731 0 | 25222 | 14 1753.69/1754.00 c 1447s | 17 | 1641826 | 240232 | 933731 0 | 25222 | 14 1755.89/1756.29 c 1449s | 17 | 1645315 | 240632 | 933731 0 | 25222 | 14 1758.19/1758.58 c 1452s | 17 | 1647663 | 240932 | 933731 0 | 25222 | 14 1760.79/1761.11 c 1454s | 17 | 1651373 | 241432 | 933731 0 | 25222 | 14 1762.79/1763.13 c 1456s | 17 | 1654773 | 241732 | 933731 0 | 25222 | 14 1764.99/1765.34 c 1458s | 17 | 1655996 | 242232 | 933731 0 | 25222 | 14 1767.89/1768.25 c 1461s | 17 | 1657620 | 242632 | 933731 0 | 25222 | 14 1769.89/1770.27 c 1463s | 17 | 1660440 | 242932 | 933731 0 | 25222 | 14 1772.08/1772.43 c 1465s | 17 | 1662623 | 243332 | 933731 0 | 25222 | 14 1774.79/1775.19 c 1468s | 17 | 1664010 | 243632 | 933731 0 | 25222 | 14 1777.79/1778.16 c 1471s | 17 | 1666320 | 243932 | 933731 0 | 25222 | 14 1780.38/1780.78 c 1474s | 17 | 1667603 | 244232 | 933731 0 | 25222 | 14 1782.58/1782.96 c 1476s | 17 | 1670192 | 244532 | 933731 0 | 25222 | 14 1789.79/1790.18 c 1483s | 17 | 1670775 | 244632 | 933731 0 | 25222 | 14 1792.09/1792.45 c 1485s | 17 | 1673772 | 244932 | 933731 0 | 25222 | 14 1794.68/1795.04 c 1488s | 17 | 1675713 | 245432 | 933731 0 | 25222 | 14 1797.29/1797.66 c 1491s | 17 | 1676988 | 245832 | 933731 0 | 25222 | 14 1799.28/1799.66 c 1493s | 17 | 1678431 | 246132 | 933731 0 | 25222 | 14
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-4079997-1465277428/watcher-4079997-1465277428 -o /tmp/evaluation-result-4079997-1465277428/solver-4079997-1465277428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079997-1465277428.opb pid=12648 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.42 2.28 2.23 3/180 12651 /proc/meminfo: memFree=28927272/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=734788 CPUtime=0 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 2741 0 0 0 0 0 0 0 20 0 4 0 109676810 752422912 3103 33554432000 4194304 16246674 140736292432160 140736292415152 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 184209 3112 442 2943 0 181103 0 [pid=12651/tid=12652] ppid=12648 vsize=752196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 770248704 3174 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=757316 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 775491584 3192 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=761412 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109676811 779685888 3209 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.42 2.28 2.23 3/180 12651 /proc/meminfo: memFree=28927272/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1302084 CPUtime=0.09 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 26798 0 0 0 5 4 0 0 20 0 4 0 109676810 1333334016 27098 33554432000 4194304 16246674 140736292432160 140736292431472 7853005 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 325521 27114 801 2943 0 322415 0 [pid=12651/tid=12652] ppid=12648 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1333334016 27125 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1333334016 27137 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1333334016 27147 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200593 s] /proc/loadavg: 2.42 2.28 2.23 3/180 12651 /proc/meminfo: memFree=28927272/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1313348 CPUtime=0.19 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 47337 0 0 0 12 7 0 0 20 0 4 0 109676810 1344868352 48147 33554432000 4194304 16246674 140736292432160 140736292431472 7439528 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 328337 48147 802 2943 0 325231 0 [pid=12651/tid=12652] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 48147 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 48147 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 48147 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.300547 s] /proc/loadavg: 2.42 2.28 2.23 3/180 12651 /proc/meminfo: memFree=28927272/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1313348 CPUtime=0.29 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 58202 0 0 0 20 9 0 0 20 0 4 0 109676810 1344868352 59012 33554432000 4194304 16246674 140736292432160 140736292431472 8058600 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 328337 59012 802 2943 0 325231 0 [pid=12651/tid=12652] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 59012 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 59012 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 59012 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700489 s] /proc/loadavg: 2.42 2.28 2.23 3/180 12651 /proc/meminfo: memFree=28927272/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1313348 CPUtime=0.69 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 72984 0 0 0 58 11 0 0 20 0 4 0 109676810 1344868352 73794 33554432000 4194304 16246674 140736292432160 140736292429952 7371468 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 328337 73813 802 2943 0 325231 0 [pid=12651/tid=12652] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 73825 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 73835 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 73847 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50044 s] /proc/loadavg: 2.42 2.28 2.23 3/184 12655 /proc/meminfo: memFree=28596524/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1313348 CPUtime=1.49 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 90519 0 0 0 136 13 0 0 20 0 4 0 109676810 1344868352 91329 33554432000 4194304 16246674 140736292432160 140736292429952 4206604 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/12651/statm: 328337 91329 803 2943 0 325231 0 [pid=12651/tid=12652] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 91329 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 91329 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1344868352 91329 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1313348 [startup+3.10043 s] /proc/loadavg: 2.39 2.28 2.23 3/184 12655 /proc/meminfo: memFree=28342216/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1337924 CPUtime=3.09 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 144619 0 0 0 282 27 0 0 20 0 4 0 109676810 1370034176 149517 33554432000 4194304 16246674 140736292432160 140736292415152 7371511 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 334481 149517 803 2943 0 331375 0 [pid=12651/tid=12652] ppid=12648 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1370034176 149517 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1370034176 149517 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1337924 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1370034176 149517 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1337924 [startup+6.30043 s] /proc/loadavg: 2.39 2.28 2.23 3/184 12655 /proc/meminfo: memFree=27966332/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1387076 CPUtime=6.28 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 226978 0 0 0 587 41 0 0 20 0 4 0 109676810 1420365824 242096 33554432000 4194304 16246674 140736292432160 140736292415152 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 346769 242096 803 2943 0 343663 0 [pid=12651/tid=12652] ppid=12648 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1420365824 242096 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1420365824 242096 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1387076 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1420365824 242096 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1387076 [startup+12.7004 s] /proc/loadavg: 2.33 2.27 2.23 4/184 12655 /proc/meminfo: memFree=27632392/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=1532484 CPUtime=12.69 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 305307 0 0 0 1214 55 0 0 20 0 4 0 109676810 1569263616 324513 33554432000 4194304 16246674 140736292432160 140736292431336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 383121 324513 803 2943 0 380015 0 [pid=12651/tid=12652] ppid=12648 vsize=1532484 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 1569263616 324513 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=1532484 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 1569263616 324513 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=1532484 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 1569263616 324513 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1532484 [startup+25.5075 s] /proc/loadavg: 2.27 2.26 2.23 3/184 12655 /proc/meminfo: memFree=25632140/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=3604036 CPUtime=25.49 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 823016 0 0 0 2414 135 0 0 20 0 4 0 109676810 3690532864 842222 33554432000 4194304 16246674 140736292432160 140736292430824 4223718 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 901009 842231 803 2943 0 897903 0 [pid=12651/tid=12652] ppid=12648 vsize=3604036 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 3690532864 842236 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=3604036 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 3690532864 842241 33554432000 4194304 16246674 140736292432160 139745187306512 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=3604036 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 3690532864 842246 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 3604036 [startup+51.1004 s] /proc/loadavg: 2.32 2.27 2.23 3/183 12655 /proc/meminfo: memFree=21034676/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=8117828 CPUtime=51.08 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 1951695 0 0 0 4802 306 0 0 20 0 4 0 109676810 8312655872 1970901 33554432000 4194304 16246674 140736292432160 140736292431336 7204266 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2029457 1970901 850 2943 0 2026351 0 [pid=12651/tid=12652] ppid=12648 vsize=8117828 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 8312655872 1970901 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=8117828 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 8312655872 1970901 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=8117828 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 8312655872 1970901 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8117828 [startup+102.3 s] /proc/loadavg: 2.18 2.24 2.22 3/183 12656 /proc/meminfo: memFree=16967304/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=12176964 CPUtime=102.27 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 2966484 0 0 0 9768 459 0 0 20 0 4 0 109676810 12469211136 2985690 33554432000 4194304 16246674 140736292432160 140736292431256 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 3044241 2985690 850 2943 0 3041135 0 [pid=12651/tid=12652] ppid=12648 vsize=12176964 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 12469211136 2985690 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=12176964 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 12469211136 2985690 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=12176964 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 12469211136 2985690 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12176964 ################ # More data... # ################ [pid=12651] ppid=12648 vsize=11504196 CPUtime=1362.06 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208769 0 0 0 135518 688 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 11504196 [startup+1422.3 s] /proc/loadavg: 2.30 2.20 2.18 4/183 12785 /proc/meminfo: memFree=17631952/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1422.06 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208769 0 0 0 141510 696 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 13780660 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 11504196 [startup+1482.3 s] /proc/loadavg: 2.32 2.22 2.19 3/182 12786 /proc/meminfo: memFree=17631764/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1482.04 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208769 0 0 0 147502 702 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 11504196 [startup+1542.3 s] /proc/loadavg: 2.17 2.19 2.18 3/183 12788 /proc/meminfo: memFree=17631968/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1542.04 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208769 0 0 0 153495 709 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 11504196 [startup+1602.3 s] /proc/loadavg: 2.14 2.18 2.18 3/183 12789 /proc/meminfo: memFree=17613292/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1602.03 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208769 0 0 0 159487 716 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 5664125 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 11504196 [startup+1662.31 s] /proc/loadavg: 2.16 2.18 2.17 3/183 12790 /proc/meminfo: memFree=17613396/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1662.03 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208770 0 0 0 165481 722 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 11504196 [startup+1722.3 s] /proc/loadavg: 2.15 2.17 2.17 3/182 12791 /proc/meminfo: memFree=17613812/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1722 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208783 0 0 0 171470 730 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1722 Current children cumulated vsize (KiB) 11504196 [startup+1782.3 s] /proc/loadavg: 2.16 2.17 2.17 3/184 12796 /proc/meminfo: memFree=17611424/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1781.98 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208791 0 0 0 177459 739 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 5666992 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 11504196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.19 2.18 2.18 3/184 12798 /proc/meminfo: memFree=17611144/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=11504196 CPUtime=1800.08 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) R 12648 12651 9894 0 -1 4202496 3208791 0 0 0 179267 741 0 0 20 0 4 0 109676810 11780296704 2817581 33554432000 4194304 16246674 140736292432160 140736292431336 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 2876049 2817581 930 2943 0 2872943 0 [pid=12651/tid=12652] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) S 12648 12651 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745197796592 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0 [pid=12651/tid=12653] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12653/stat : 12653 (toysat) S 12648 12651 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745187306736 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0 [pid=12651/tid=12654] ppid=12648 vsize=11504196 CPUtime=0 cores=1,3,5,7 /proc/12651/task/12654/stat : 12654 (toysat) S 12648 12651 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109676811 11780296704 2817581 33554432000 4194304 16246674 140736292432160 139745176833200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 11504196 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 12651 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.19 2.18 2.18 3/184 12798 /proc/meminfo: memFree=17611144/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=0 CPUtime=1800.19 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) Z 12648 12651 9894 0 -1 4203532 3208791 0 0 0 179268 751 0 0 20 0 2 0 109676810 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 0 0 0 0 0 0 0 [pid=12651/tid=12652] ppid=12648 vsize=0 CPUtime=0.08 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) R 12648 12651 9894 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 109676811 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 [startup+1800.91 s] /proc/loadavg: 2.19 2.18 2.18 3/182 12798 /proc/meminfo: memFree=26747096/32872528 swapFree=15272/1656604 [pid=12651] ppid=12648 vsize=0 CPUtime=1800.59 cores=1,3,5,7 /proc/12651/stat : 12651 (toysat) Z 12648 12651 9894 0 -1 4203532 3208791 0 0 0 179268 791 0 0 20 0 2 0 109676810 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/12651/statm: 0 0 0 0 0 0 0 [pid=12651/tid=12652] ppid=12648 vsize=0 CPUtime=0.48 cores=1,3,5,7 /proc/12651/task/12652/stat : 12652 (toysat) R 12648 12651 9894 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 109676811 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.92 CPU time (s): 1800.6 CPU user time (s): 1792.68 CPU system time (s): 7.9158 CPU usage (%): 99.9823 Max. virtual memory (cumulated for all children) (KiB): 13145668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.68 system time used= 7.9158 maximum resident set size= 12911788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3208791 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= 135 involuntary context switches= 2354 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1075 second user time and 18.2522 second system time The end
Begin job on node136 at 2016-06-07 07:30:35 IDJOB=4079997 IDBENCH=89824 IDSOLVER=2542 FILE ID=node136/4079997-1465277428 RUNJOBID= node136-1465261284-9911 PBS_JOBID= 19843291 Free space on /tmp= 71480 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-mspp16.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079997-1465277428/watcher-4079997-1465277428 -o /tmp/evaluation-result-4079997-1465277428/solver-4079997-1465277428 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079997-1465277428.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 141454b66937b2c93528081cb91f0e55 RANDOM SEED=148095478 node136.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.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.91 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.959 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.959 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.959 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.959 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.959 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.59 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.959 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.959 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: 28928064 kB Buffers: 40904 kB Cached: 383204 kB SwapCached: 592 kB Active: 1434236 kB Inactive: 106996 kB Active(anon): 1115608 kB Inactive(anon): 4084 kB Active(file): 318628 kB Inactive(file): 102912 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099384 kB Dirty: 256152 kB Writeback: 0 kB AnonPages: 2775688 kB Mapped: 10688 kB Shmem: 0 kB Slab: 608436 kB SReclaimable: 51968 kB SUnreclaim: 556468 kB KernelStack: 1464 kB PageTables: 9520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2918224 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1685504 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= 71468 MiB End job on node136 at 2016-06-07 08:00:36