Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-liu.opb |
| MD5SUM | d5cbc530e20e0da41254bd2567f4c2ba |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 688 |
| Best CPU time to get the best result obtained on this benchmark | 1800.61 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 34564 |
| Optimality of the best value was proved | NO |
| Number of variables | 3097 |
| Total number of constraints | 2178 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2178 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 30 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524317 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 524328 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T07:05:28+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-4101753-1466226327.opb"] 0.00/0.01 c use --random-gen="2155951989 359960094 2830114692 2821648056 1645159949 2733589144 736504437 2359097714 290477143 608310275 246442053 1531832504 1824452621 938117891 3896784987 3625040668 3971357434 3059441960 1110776996 3895444980 2199970136 621125105 802937881 2310756378 3846213626 3026230935 3019265361 3346106583 673106277 773621824 844876479 3455019236 206764242 1404430032 3576646836 3697068087 3620046146 2676451263 4229129414 3918335968 2411793940 3012463596 614442641 517370250 853098855 4034658648 3680128949 3682420065 1344132188 111203153 1636985060 1436109949 3623241632 3812595376 4004526399 1316455648 1399825817 1460243618 3311010142 3029397254 3856141331 3332081372 4182374530 1866305250 2378704179 2911133832 3757294357 2859837308 1681079790 3209473025 1220829971 1284913099 4219147034 1585051886 2419168249 2648334729 2494802570 2388713325 3299391448 3412206426 1694578691 1285622483 415518323 3729993850 3303197114 1710970604 1741763941 1148746683 1323091592 3405123751 1411283947 3340411419 2030206628 3789349296 3392840200 3641290075 2898123348 1850124051 641333961 3688459368 2638402829 3743774799 2225178400 2384583941 678353985 1277070443 3546809498 3840297361 3333016749 3298914948 1469889871 1313668960 3510305478 2212408114 2855851972 3534829349 3313685363 324247283 3761551892 1131672815 2288493083 4198160176 207289152 4209768902 4268170640 2371038853 883116573 3360116200 256988112 2957965712 1359510732 1957789893 2611412073 1345527093 1962032072 244110903 1475161086 1209562255 2216683706 1520465406 2855259808 1770936131 2846377935 3590293683 2232658165 3130034820 1777712668 8606923 4246985809 2268475347 736523170 389881259 1996500979 2446974133 2264574201 2273404813 2909880452 3954801282 3623480021 1988130857 3685430352 1436163904 2285683319 2219540349 181779758 1964046533 991359763 2830722900 3537051605 709249157 3626706911 2951170134 2105087515 2976291356 4012710382 1052758584 2282111570 3784111164 2592417120 2311911967 1625727836 2995097930 2460209810 238806317 2505574281 218586290 2163185416 2189964494 1763204613 935568232 2384338661 3810162627 1326676712 3241153267 4235689094 1128335178 3030911026 2689139570 1045337230 667694189 3237789536 899622354 1571720911 2555549540 3709226606 2899006626 2041414571 1949310632 489474532 543375853 3180936838 2651012907 254006505 1324040640 3582560915 1767151094 325365381 3953100348 2979649576 3841017777 605579522 2996829481 1247596221 3887880939 1718308227 3132294559 1853116361 2841352987 1597771725 1536640553 3385072822 3195789509 3712045991 738911437 1330072139 2895544851 2030472119 144388375 938890599 49378915 186872451 910671994 3407640814 3804995487 734477280 1423501533 2804349633 4269830264 3440616693 23635258 18320537 1066003922 3529230289 3293744072 2668764839 1578042082 255 362436" option to reproduce the execution 0.18/0.28 c #vars 3097 0.18/0.28 c #constraints 2178 3.59/3.69 c BCD2: Hardening is enabled. 3.59/3.69 c BCD2: BiasedSearch is enabled. 3.59/3.69 c Solving starts ... 3.59/3.69 c ============================[ Search Statistics ]============================ 3.59/3.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.59/3.69 c | | | | Limit GC | Var | Constra 3.59/3.69 c ============================================================================= 3.59/3.69 c 0.0s | 0 | 0 | 0 | 1758 0 | 0 | 0 3.79/3.80 c 0.1s | 1 | 1572 | 100 | 1758 0 | 0 | 0 3.79/3.86 c 0.2s | 2 | 1756 | 250 | 1934 0 | 0 | 0 3.99/4.00 c 0.3s | 3 | 2652 | 475 | 2128 0 | 0 | 0 4.09/4.16 c 0.5s | 4 | 3054 | 813 | 2341 0 | 0 | 0 4.29/4.40 c 0.7s | 5 | 4379 | 1320 | 2576 0 | 0 | 0 5.69/5.79 c 2.1s | 5 | 31838 | 1974 | 2834 0 | 0 | 0 5.69/5.79 c #cpu_time = 2.074s 5.69/5.79 c #wall_clock_time = 2.079s 5.69/5.79 c #decision = 31838 5.69/5.79 c #random_decision = 123 5.69/5.79 c #conflict = 1974 5.69/5.79 c #restart = 5 5.69/5.79 o 524317 5.69/5.79 c BCD2: updating upper bound: 524317 -> 524316 5.69/5.79 c BCD2: 0 <= obj <= 524316 5.69/5.79 c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0 5.69/5.79 c BCD2: #sat=1 #unsat=1 bias=1/2 5.69/5.79 c Solving starts ... 5.69/5.79 c ============================[ Search Statistics ]============================ 5.69/5.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.69/5.79 c | | | | Limit GC | Var | Constra 5.69/5.79 c ============================================================================= 5.69/5.79 c 0.0s | 0 | 0 | 0 | 2834 0 | 0 | 0 5.78/5.86 c 0.1s | 0 | 11 | 1 | 2834 0 | 0 | 0 5.78/5.86 c #cpu_time = 0.061s 5.78/5.86 c #wall_clock_time = 0.061s 5.78/5.86 c #decision = 11 5.78/5.86 c #random_decision = 0 5.78/5.86 c #conflict = 1 5.78/5.86 c #restart = 0 5.78/5.86 c BCD2: found a new core of size 11: cost of the new core is >=257 5.78/5.86 c lower bound updated to 257 5.78/5.86 c BCD2: 257 <= obj <= 524316 5.78/5.86 c BCD2: #cores=1, #unrelaxed=19, #relaxed=11, #hardened=0 5.78/5.86 c BCD2: #sat=1 #unsat=2 bias=2/3 5.78/5.86 c Solving starts ... 5.78/5.86 c ============================[ Search Statistics ]============================ 5.78/5.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.78/5.86 c | | | | Limit GC | Var | Constra 5.78/5.86 c ============================================================================= 5.78/5.86 c 0.0s | 0 | 0 | 0 | 2834 0 | 0 | 0 6.59/6.62 c 0.8s | 1 | 15533 | 100 | 2834 0 | 0 | 0 7.48/7.50 c 1.6s | 2 | 32563 | 250 | 3118 0 | 0 | 0 7.88/7.94 c 2.1s | 3 | 40860 | 475 | 3118 0 | 0 | 0 7.98/8.05 c 2.2s | 4 | 41246 | 813 | 3118 0 | 0 | 0 10.18/10.24 c 4.4s | 4 | 87545 | 1313 | 3430 0 | 0 | 0 10.18/10.26 c 4.4s | 5 | 87552 | 1320 | 3430 0 | 0 | 0 11.38/11.48 c 5.6s | 6 | 110052 | 2081 | 3430 0 | 0 | 0 12.38/12.48 c 6.6s | 7 | 127340 | 3223 | 3774 1 | 0 | 0 12.78/12.89 c 7.0s | 7 | 135684 | 3358 | 3774 1 | 0 | 0 12.78/12.89 c #cpu_time = 6.990s 12.78/12.89 c #wall_clock_time = 7.008s 12.78/12.89 c #decision = 135684 12.78/12.89 c #random_decision = 610 12.78/12.89 c #conflict = 3358 12.78/12.89 c #restart = 7 12.78/12.89 o 262402 12.88/12.94 c BCD2: updating upper bound: 524316 -> 262401 12.88/12.98 c BCD2: 257 <= obj <= 262401 12.88/12.98 c BCD2: #cores=1, #unrelaxed=19, #relaxed=11, #hardened=0 12.88/12.98 c BCD2: #sat=2 #unsat=2 bias=2/4 12.88/12.98 c Solving starts ... 12.88/12.98 c ============================[ Search Statistics ]============================ 12.88/12.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.88/12.98 c | | | | Limit GC | Var | Constra 12.88/12.98 c ============================================================================= 12.88/12.98 c 0.0s | 0 | 0 | 0 | 3774 0 | 0 | 0 13.08/13.10 c 0.1s | 0 | 1828 | 0 | 3774 0 | 0 | 0 13.08/13.10 c #cpu_time = 0.093s 13.08/13.10 c #wall_clock_time = 0.094s 13.08/13.10 c #decision = 1828 13.08/13.10 c #random_decision = 6 13.08/13.10 c #conflict = 0 13.08/13.10 c #restart = 0 13.08/13.10 o 65794 13.08/13.11 c BCD2: hardening fixes 2 literals 13.08/13.11 c BCD2: updating upper bound: 262401 -> 65793 13.08/13.12 c BCD2: 257 <= obj <= 65793 13.08/13.12 c BCD2: #cores=1, #unrelaxed=19, #relaxed=9, #hardened=2 13.08/13.12 c BCD2: #sat=3 #unsat=2 bias=2/5 13.08/13.12 c Solving starts ... 13.08/13.12 c ============================[ Search Statistics ]============================ 13.08/13.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.08/13.12 c | | | | Limit GC | Var | Constra 13.08/13.12 c ============================================================================= 13.08/13.12 c 0.0s | 0 | 0 | 0 | 3774 0 | 132 | 1 13.19/13.23 c 0.1s | 0 | 1802 | 0 | 3774 0 | 132 | 4 13.19/13.23 c #cpu_time = 0.094s 13.19/13.23 c #wall_clock_time = 0.095s 13.19/13.23 c #decision = 1802 13.19/13.23 c #random_decision = 3 13.19/13.23 c #conflict = 0 13.19/13.23 c #restart = 0 13.19/13.23 o 8450 13.19/13.23 c BCD2: hardening fixes 3 literals 13.19/13.24 c BCD2: updating upper bound: 65793 -> 8449 13.19/13.24 c BCD2: 257 <= obj <= 8449 13.19/13.24 c BCD2: #cores=1, #unrelaxed=19, #relaxed=6, #hardened=5 13.19/13.24 c BCD2: #sat=4 #unsat=2 bias=2/6 13.19/13.24 c Solving starts ... 13.19/13.24 c ============================[ Search Statistics ]============================ 13.19/13.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.19/13.24 c | | | | Limit GC | Var | Constra 13.19/13.24 c ============================================================================= 13.19/13.24 c 0.0s | 0 | 0 | 0 | 3774 0 | 335 | 5 13.68/13.77 c 0.5s | 1 | 11952 | 100 | 3774 0 | 335 | 6 13.88/13.90 c 0.7s | 2 | 12788 | 250 | 3774 0 | 335 | 6 14.08/14.14 c 0.9s | 3 | 15769 | 475 | 3774 0 | 335 | 6 14.58/14.68 c 1.4s | 4 | 24860 | 813 | 3774 0 | 335 | 6 15.98/16.09 c 2.9s | 4 | 56965 | 1075 | 3774 0 | 335 | 6 15.98/16.09 c #cpu_time = 2.826s 15.98/16.09 c #wall_clock_time = 2.834s 15.98/16.09 c #decision = 56965 15.98/16.09 c #random_decision = 257 15.98/16.09 c #conflict = 1075 15.98/16.09 c #restart = 4 15.98/16.09 o 2819 15.98/16.10 c BCD2: hardening fixes 2 literals 16.08/16.10 c BCD2: updating upper bound: 8449 -> 2818 16.08/16.10 c BCD2: 257 <= obj <= 2818 16.08/16.10 c BCD2: #cores=1, #unrelaxed=19, #relaxed=4, #hardened=7 16.08/16.10 c BCD2: #sat=5 #unsat=2 bias=2/7 16.08/16.10 c Solving starts ... 16.08/16.10 c ============================[ Search Statistics ]============================ 16.08/16.10 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.08/16.10 c | | | | Limit GC | Var | Constra 16.08/16.10 c ============================================================================= 16.08/16.10 c 0.0s | 0 | 0 | 0 | 3774 0 | 469 | 7 16.38/16.42 c 0.3s | 1 | 5654 | 100 | 3774 0 | 469 | 7 16.49/16.56 c 0.5s | 2 | 7188 | 250 | 3774 0 | 469 | 7 16.78/16.83 c 0.7s | 3 | 10717 | 475 | 3774 1 | 469 | 7 17.38/17.46 c 1.4s | 4 | 22093 | 813 | 3774 1 | 469 | 7 18.18/18.23 c 2.1s | 5 | 35194 | 1320 | 4152 1 | 469 | 7 19.89/19.99 c 3.9s | 6 | 74502 | 2081 | 4152 1 | 469 | 7 20.38/20.40 c 4.3s | 7 | 77446 | 3223 | 4152 1 | 469 | 7 20.89/20.92 c 4.8s | 7 | 80176 | 4061 | 4152 2 | 469 | 7 20.89/20.92 c #cpu_time = 4.788s 20.89/20.92 c #wall_clock_time = 4.800s 20.89/20.92 c #decision = 80176 20.89/20.92 c #random_decision = 366 20.89/20.92 c #conflict = 4061 20.89/20.92 c #restart = 7 20.89/20.92 o 770 20.89/20.92 c BCD2: hardening fixes 2 literals 20.89/20.93 c BCD2: updating upper bound: 2818 -> 769 20.89/20.93 c BCD2: 257 <= obj <= 769 20.89/20.93 c BCD2: #cores=1, #unrelaxed=19, #relaxed=2, #hardened=9 20.89/20.93 c BCD2: #sat=6 #unsat=2 bias=2/8 20.89/20.93 c Solving starts ... 20.89/20.93 c ============================[ Search Statistics ]============================ 20.89/20.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.89/20.93 c | | | | Limit GC | Var | Constra 20.89/20.93 c ============================================================================= 20.89/20.93 c 0.0s | 0 | 0 | 0 | 4152 0 | 603 | 8 20.89/20.96 c 0.0s | 0 | 9 | 1 | 4152 0 | 603 | 10 20.89/20.96 c #cpu_time = 0.029s 20.89/20.96 c #wall_clock_time = 0.030s 20.89/20.96 c #decision = 9 20.89/20.96 c #random_decision = 0 20.89/20.96 c #conflict = 1 20.89/20.96 c #restart = 0 20.89/20.96 c BCD2: relaxing 8 and merging with 1 cores into a new core of size 19: cost of the new core is >=259 20.89/20.96 c lower bound updated to 259 20.89/20.96 c BCD2: 259 <= obj <= 769 20.89/20.96 c BCD2: #cores=1, #unrelaxed=11, #relaxed=10, #hardened=9 20.89/20.96 c BCD2: #sat=6 #unsat=3 bias=3/9 20.89/20.96 c Solving starts ... 20.89/20.96 c ============================[ Search Statistics ]============================ 20.89/20.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.89/20.96 c | | | | Limit GC | Var | Constra 20.89/20.96 c ============================================================================= 20.89/20.96 c 0.0s | 0 | 0 | 0 | 4152 0 | 609 | 10 20.99/21.06 c 0.1s | 1 | 542 | 100 | 4152 0 | 609 | 16 21.18/21.22 c 0.3s | 2 | 2107 | 250 | 4152 0 | 609 | 16 21.48/21.50 c 0.5s | 3 | 6199 | 475 | 4152 0 | 609 | 16 21.99/22.05 c 1.1s | 4 | 14459 | 813 | 4152 0 | 609 | 16 22.48/22.53 c 1.6s | 5 | 20837 | 1320 | 4568 0 | 609 | 16 22.68/22.76 c 1.8s | 6 | 21623 | 2081 | 4568 1 | 609 | 16 23.09/23.13 c 2.2s | 7 | 23509 | 3223 | 4568 1 | 609 | 16 24.29/24.32 c 3.4s | 8 | 37509 | 4936 | 4568 1 | 609 | 16 25.39/25.41 c 4.5s | 9 | 42113 | 7506 | 5025 2 | 609 | 16 26.58/26.67 c 5.7s | 10 | 46900 | 11361 | 5025 4 | 609 | 16 28.69/28.71 c 7.7s | 10 | 64813 | 14761 | 5025 5 | 609 | 16 30.08/30.13 c 9.2s | 11 | 67771 | 17144 | 5528 5 | 609 | 16 32.08/32.18 c 11.2s | 11 | 73658 | 21044 | 5528 6 | 609 | 16 34.08/34.18 c 13.2s | 11 | 79147 | 25444 | 5528 8 | 609 | 16 34.28/34.31 c 13.4s | 12 | 79874 | 25819 | 5528 8 | 609 | 16 36.29/36.32 c 15.4s | 12 | 93762 | 28419 | 6081 9 | 609 | 16 38.29/38.35 c 17.4s | 12 | 104090 | 31519 | 6081 9 | 609 | 16 40.38/40.42 c 19.5s | 12 | 107300 | 34619 | 6081 10 | 609 | 16 42.38/42.40 c 21.4s | 13 | 111914 | 38832 | 6081 11 | 609 | 16 44.38/44.43 c 23.5s | 13 | 122987 | 42632 | 6081 12 | 609 | 16 46.38/46.44 c 25.5s | 13 | 130004 | 47832 | 6690 14 | 609 | 16 48.49/48.52 c 27.6s | 13 | 140793 | 52632 | 6690 15 | 609 | 16 50.48/50.53 c 29.6s | 13 | 152088 | 57232 | 6690 16 | 609 | 16 50.98/51.00 c 30.0s | 14 | 153211 | 58352 | 6690 16 | 609 | 16 52.98/53.01 c 32.1s | 14 | 162037 | 62652 | 6690 18 | 609 | 16 54.99/55.02 c 34.1s | 14 | 165914 | 66452 | 6690 19 | 609 | 16 56.98/57.04 c 36.1s | 14 | 170101 | 70352 | 6690 20 | 609 | 16 58.98/59.07 c 38.1s | 14 | 178766 | 76152 | 6690 21 | 609 | 16 61.08/61.11 c 40.1s | 14 | 192304 | 79852 | 7360 22 | 609 | 16 63.08/63.13 c 42.2s | 14 | 196540 | 83452 | 7360 23 | 609 | 16 64.98/65.00 c 44.0s | 15 | 205659 | 87632 | 7360 24 | 609 | 16 66.98/67.04 c 46.1s | 15 | 215824 | 93532 | 7360 25 | 609 | 16 68.98/69.04 c 48.1s | 15 | 220895 | 97632 | 7360 26 | 609 | 16 70.98/71.06 c 50.1s | 15 | 224814 | 100732 | 7360 27 | 609 | 16 73.08/73.10 c 52.1s | 15 | 228251 | 104032 | 7360 28 | 609 | 16 75.08/75.11 c 54.2s | 15 | 231494 | 107232 | 7360 28 | 609 | 16 77.08/77.15 c 56.2s | 15 | 235166 | 110832 | 7360 29 | 609 | 16 79.18/79.21 c 58.3s | 15 | 238519 | 114132 | 7360 30 | 609 | 16 81.17/81.24 c 60.3s | 15 | 241177 | 116732 | 7360 31 | 609 | 16 83.17/83.29 c 62.3s | 15 | 247691 | 120132 | 7360 32 | 609 | 16 85.27/85.31 c 64.4s | 15 | 252936 | 124132 | 8097 32 | 609 | 16 87.27/87.34 c 66.4s | 15 | 256731 | 127632 | 8097 33 | 609 | 16 89.27/89.34 c 68.4s | 15 | 259825 | 130332 | 8097 34 | 609 | 16 89.87/89.93 c 69.0s | 16 | 261062 | 131552 | 8097 34 | 609 | 16 91.87/91.94 c 71.0s | 16 | 264860 | 135152 | 8097 35 | 609 | 16 93.98/94.09 c 73.1s | 16 | 271540 | 139252 | 8097 36 | 609 | 16 96.08/96.10 c 75.1s | 16 | 279367 | 144152 | 8097 37 | 609 | 16 98.08/98.11 c 77.1s | 16 | 289931 | 149252 | 8097 38 | 609 | 16 100.08/100.11 c 79.2s | 16 | 295773 | 153552 | 8097 39 | 609 | 16 102.08/102.17 c 81.2s | 16 | 305851 | 158052 | 8097 40 | 609 | 16 104.08/104.18 c 83.2s | 16 | 311388 | 163152 | 8097 41 | 609 | 16 106.18/106.21 c 85.2s | 16 | 316729 | 167952 | 8097 42 | 609 | 16 108.17/108.23 c 87.3s | 16 | 320428 | 171552 | 8097 43 | 609 | 16 110.27/110.32 c 89.4s | 16 | 324851 | 175852 | 8097 44 | 609 | 16 112.28/112.36 c 91.4s | 16 | 332434 | 180552 | 8097 45 | 609 | 16 114.27/114.36 c 93.4s | 16 | 336543 | 184252 | 8097 45 | 609 | 16 116.27/116.39 c 95.4s | 16 | 340607 | 187552 | 8907 46 | 609 | 16 118.37/118.43 c 97.5s | 16 | 344111 | 190452 | 8907 47 | 609 | 16 120.37/120.43 c 99.5s | 16 | 351215 | 193452 | 8907 47 | 609 | 16 122.36/122.49 c 101s | 16 | 358782 | 194452 | 8907 47 | 609 | 16 123.96/124.01 c 103s | 17 | 363784 | 197432 | 8907 48 | 609 | 16 125.96/126.03 c 105s | 17 | 375076 | 201332 | 8907 49 | 609 | 16 127.96/128.04 c 107s | 17 | 380182 | 205432 | 8907 50 | 609 | 16 129.96/130.09 c 109s | 17 | 384122 | 209132 | 8907 50 | 609 | 16 132.07/132.12 c 111s | 17 | 390595 | 213732 | 8907 51 | 609 | 16 134.07/134.20 c 113s | 17 | 396072 | 218532 | 8907 52 | 609 | 16 136.17/136.22 c 115s | 17 | 400471 | 222832 | 8907 53 | 609 | 16 138.58/138.68 c 117s | 17 | 404485 | 226632 | 8907 54 | 609 | 16 140.57/140.69 c 119s | 17 | 408776 | 230532 | 8907 55 | 609 | 16 142.67/142.70 c 121s | 17 | 412550 | 233932 | 8907 55 | 609 | 16 144.67/144.76 c 123s | 17 | 416061 | 237032 | 8907 56 | 609 | 16 146.67/146.79 c 125s | 17 | 419067 | 239832 | 8907 56 | 609 | 16 148.97/149.02 c 128s | 17 | 425731 | 242732 | 8907 57 | 609 | 16 151.27/151.36 c 130s | 17 | 444466 | 244832 | 8907 58 | 609 | 16 153.27/153.37 c 132s | 17 | 454895 | 249232 | 8907 58 | 609 | 16 155.46/155.50 c 134s | 17 | 458576 | 251632 | 8907 59 | 609 | 16 157.47/157.50 c 136s | 17 | 465132 | 256332 | 8907 60 | 609 | 16 159.47/159.52 c 138s | 17 | 470176 | 261032 | 8907 61 | 609 | 16 161.47/161.58 c 140s | 17 | 473754 | 264532 | 8907 61 | 609 | 16 163.57/163.63 c 142s | 17 | 478286 | 268432 | 8907 62 | 609 | 16 165.67/165.73 c 144s | 17 | 480105 | 269832 | 8907 63 | 609 | 16 167.67/167.78 c 146s | 17 | 483447 | 272932 | 8907 63 | 609 | 16 169.97/170.02 c 149s | 17 | 487410 | 276532 | 8907 64 | 609 | 16 171.96/172.03 c 151s | 17 | 491058 | 280032 | 8907 65 | 609 | 16 173.96/174.04 c 153s | 17 | 495018 | 283632 | 8907 65 | 609 | 16 176.07/176.16 c 155s | 17 | 506178 | 287632 | 9798 66 | 609 | 16 178.17/178.25 c 157s | 17 | 519941 | 292432 | 9798 67 | 609 | 16 179.76/179.88 c 158s | 18 | 529441 | 296252 | 9798 67 | 609 | 16 181.76/181.89 c 160s | 18 | 535483 | 300952 | 9798 68 | 609 | 16 183.86/183.93 c 162s | 18 | 539950 | 305052 | 9798 69 | 609 | 16 185.87/185.95 c 164s | 18 | 544605 | 308752 | 9798 70 | 609 | 16 187.86/187.98 c 167s | 18 | 548954 | 312252 | 9798 70 | 609 | 16 189.96/190.02 c 169s | 18 | 553466 | 315552 | 9798 71 | 609 | 16 192.06/192.10 c 171s | 18 | 555151 | 317052 | 9798 71 | 609 | 16 194.06/194.10 c 173s | 18 | 557994 | 319552 | 9798 72 | 609 | 16 196.06/196.15 c 175s | 18 | 561571 | 322852 | 9798 72 | 609 | 16 198.07/198.15 c 177s | 18 | 564505 | 325652 | 9798 73 | 609 | 16 200.06/200.17 c 179s | 18 | 567762 | 328652 | 9798 73 | 609 | 16 202.16/202.21 c 181s | 18 | 570406 | 331252 | 9798 74 | 609 | 16 205.06/205.10 c 184s | 18 | 573432 | 334252 | 9798 75 | 609 | 16 207.06/207.11 c 186s | 18 | 576827 | 337452 | 9798 75 | 609 | 16 209.06/209.17 c 188s | 18 | 580008 | 340452 | 9798 76 | 609 | 16 211.16/211.22 c 190s | 18 | 583219 | 343352 | 9798 76 | 609 | 16 213.15/213.22 c 192s | 18 | 585806 | 345752 | 9798 77 | 609 | 16 215.15/215.25 c 194s | 18 | 588836 | 348452 | 9798 77 | 609 | 16 217.16/217.29 c 196s | 18 | 591470 | 350852 | 9798 78 | 609 | 16 219.25/219.33 c 198s | 18 | 595776 | 354352 | 9798 78 | 609 | 16 221.25/221.33 c 200s | 18 | 597953 | 356352 | 9798 79 | 609 | 16 223.26/223.36 c 202s | 18 | 601812 | 359852 | 9798 79 | 609 | 16 225.25/225.38 c 204s | 18 | 607791 | 363952 | 9798 80 | 609 | 16 227.35/227.45 c 206s | 18 | 611365 | 367252 | 9798 81 | 609 | 16 229.35/229.48 c 208s | 18 | 614824 | 370252 | 9798 81 | 609 | 16 231.45/231.51 c 210s | 18 | 617637 | 372852 | 9798 82 | 609 | 16 233.45/233.52 c 212s | 18 | 620109 | 375152 | 9798 82 | 609 | 16 235.46/235.56 c 214s | 18 | 623039 | 377852 | 9798 82 | 609 | 16 237.45/237.59 c 216s | 18 | 626147 | 380752 | 9798 83 | 609 | 16 239.65/239.70 c 218s | 18 | 629025 | 383452 | 9798 84 | 609 | 16 241.65/241.79 c 220s | 18 | 632376 | 386552 | 9798 84 | 609 | 16 243.75/243.88 c 222s | 18 | 637431 | 388952 | 9798 85 | 609 | 16 245.75/245.89 c 224s | 18 | 648184 | 393152 | 9798 85 | 609 | 16 247.85/247.99 c 227s | 18 | 656575 | 397452 | 9798 86 | 609 | 16 249.85/249.99 c 229s | 18 | 661648 | 401752 | 9798 87 | 609 | 16 251.85/252.00 c 231s | 18 | 665243 | 404852 | 9798 88 | 609 | 16 253.95/254.02 c 233s | 18 | 673487 | 408252 | 9798 88 | 609 | 16 255.95/256.05 c 235s | 18 | 679363 | 412752 | 9798 89 | 609 | 16 257.94/258.07 c 237s | 18 | 683188 | 415452 | 9798 90 | 609 | 16 259.95/260.08 c 239s | 18 | 686348 | 418352 | 9798 90 | 609 | 16 262.05/262.11 c 241s | 18 | 689854 | 421652 | 9798 91 | 609 | 16 264.05/264.14 c 243s | 18 | 692781 | 424552 | 9798 91 | 609 | 16 266.05/266.19 c 245s | 18 | 695145 | 426852 | 9798 92 | 609 | 16 268.15/268.23 c 247s | 18 | 698902 | 430352 | 9798 92 | 609 | 16 270.25/270.33 c 249s | 18 | 701520 | 432852 | 10778 93 | 609 | 16 272.25/272.35 c 251s | 18 | 706154 | 437152 | 10778 93 | 609 | 16 274.25/274.36 c 253s | 18 | 710292 | 440952 | 10778 94 | 609 | 16 276.35/276.41 c 255s | 18 | 712311 | 442852 | 10778 94 | 609 | 16 277.65/277.78 c 256s | 19 | 714001 | 444482 | 10778 95 | 609 | 16 280.65/280.71 c 259s | 19 | 725114 | 448482 | 10778 95 | 609 | 16 282.75/282.81 c 261s | 19 | 734468 | 451082 | 10778 96 | 609 | 16 284.74/284.85 c 263s | 19 | 740316 | 455882 | 10778 96 | 609 | 16 286.74/286.88 c 265s | 19 | 744699 | 459682 | 10778 97 | 609 | 16 289.45/289.52 c 268s | 19 | 757124 | 462482 | 10778 98 | 609 | 16 291.46/291.54 c 270s | 19 | 763454 | 466282 | 10778 98 | 609 | 16 293.66/293.79 c 272s | 19 | 768057 | 469682 | 10778 99 | 609 | 16 295.75/295.84 c 274s | 19 | 783150 | 473882 | 10778 99 | 609 | 16 297.75/297.86 c 276s | 19 | 801892 | 477382 | 10778 100 | 609 | 16 299.75/299.89 c 278s | 19 | 806228 | 480882 | 10778 101 | 609 | 16 301.85/301.92 c 280s | 19 | 809898 | 484082 | 10778 101 | 609 | 16 303.85/303.96 c 282s | 19 | 813108 | 487182 | 10778 102 | 609 | 16 305.95/306.00 c 285s | 19 | 815882 | 489882 | 10778 102 | 609 | 16 308.05/308.18 c 287s | 19 | 819989 | 492882 | 10778 103 | 609 | 16 310.15/310.22 c 289s | 19 | 824357 | 497082 | 10778 103 | 609 | 16 312.14/312.27 c 291s | 19 | 827371 | 499982 | 10778 104 | 609 | 16 314.14/314.29 c 293s | 19 | 830682 | 503182 | 10778 104 | 609 | 16 316.24/316.30 c 295s | 19 | 832832 | 505282 | 10778 105 | 609 | 16 318.24/318.31 c 297s | 19 | 836409 | 508682 | 10778 105 | 609 | 16 320.24/320.35 c 299s | 19 | 838642 | 510782 | 10778 106 | 609 | 16 322.25/322.35 c 301s | 19 | 842285 | 514182 | 10778 106 | 609 | 16 324.24/324.37 c 303s | 19 | 845209 | 516782 | 10778 107 | 609 | 16 326.24/326.39 c 305s | 19 | 848399 | 519582 | 10778 107 | 609 | 16 328.34/328.41 c 307s | 19 | 851047 | 521482 | 10778 108 | 609 | 16 330.34/330.44 c 309s | 19 | 854466 | 524382 | 10778 108 | 609 | 16 332.34/332.44 c 311s | 19 | 857243 | 526882 | 10778 108 | 609 | 16 334.44/334.52 c 313s | 19 | 860286 | 529382 | 10778 109 | 609 | 16 336.43/336.58 c 315s | 19 | 863256 | 531782 | 10778 109 | 609 | 16 338.53/338.61 c 317s | 19 | 866086 | 534082 | 10778 110 | 609 | 16 340.53/340.68 c 319s | 19 | 868928 | 536482 | 10778 110 | 609 | 16 342.53/342.69 c 321s | 19 | 871487 | 538682 | 10778 110 | 609 | 16 344.63/344.74 c 323s | 19 | 874558 | 541082 | 10778 111 | 609 | 16 346.64/346.77 c 325s | 19 | 877623 | 543782 | 10778 111 | 609 | 16 348.75/348.82 c 327s | 19 | 880701 | 546382 | 10778 112 | 609 | 16 350.74/350.88 c 329s | 19 | 883510 | 548582 | 10778 112 | 609 | 16 352.84/352.94 c 331s | 19 | 886287 | 550782 | 10778 113 | 609 | 16 354.84/354.96 c 334s | 19 | 888879 | 552882 | 10778 113 | 609 | 16 356.94/357.07 c 336s | 19 | 892303 | 555882 | 10778 113 | 609 | 16 359.04/359.15 c 338s | 19 | 895555 | 558482 | 10778 114 | 609 | 16 361.04/361.17 c 340s | 19 | 898830 | 561182 | 10778 114 | 609 | 16 363.44/363.50 c 342s | 19 | 902067 | 563682 | 10778 115 | 609 | 16 365.44/365.51 c 344s | 19 | 905464 | 566482 | 10778 115 | 609 | 16 367.44/367.53 c 346s | 19 | 908478 | 568982 | 10778 116 | 609 | 16 369.43/369.55 c 348s | 19 | 911554 | 571482 | 10778 116 | 609 | 16 371.53/371.65 c 350s | 19 | 914428 | 573882 | 10778 117 | 609 | 16 373.63/373.73 c 352s | 19 | 917724 | 576482 | 10778 117 | 609 | 16 375.63/375.73 c 354s | 19 | 921025 | 579182 | 10778 117 | 609 | 16 377.63/377.75 c 356s | 19 | 924102 | 581882 | 10778 118 | 609 | 16 379.73/379.81 c 358s | 19 | 927578 | 585082 | 10778 118 | 609 | 16 381.74/381.88 c 360s | 19 | 930171 | 587382 | 10778 119 | 609 | 16 383.73/383.89 c 362s | 19 | 933604 | 590382 | 10778 119 | 609 | 16 385.83/385.96 c 365s | 19 | 936513 | 592782 | 10778 120 | 609 | 16 387.93/388.04 c 367s | 19 | 939791 | 595382 | 10778 120 | 609 | 16 390.13/390.22 c 369s | 19 | 942421 | 597682 | 10778 121 | 609 | 16 392.13/392.29 c 371s | 19 | 945687 | 600582 | 10778 121 | 609 | 16 394.43/394.50 c 373s | 19 | 948527 | 602982 | 10778 122 | 609 | 16 396.43/396.52 c 375s | 19 | 952137 | 606182 | 10778 122 | 609 | 16 398.43/398.53 c 377s | 19 | 955227 | 608782 | 10778 122 | 609 | 16 400.43/400.58 c 379s | 19 | 958599 | 611582 | 10778 123 | 609 | 16 402.53/402.64 c 381s | 19 | 962293 | 614582 | 10778 123 | 609 | 16 404.52/404.69 c 383s | 19 | 963839 | 615882 | 10778 124 | 609 | 16 406.62/406.72 c 385s | 19 | 967524 | 618782 | 10778 124 | 609 | 16 408.72/408.80 c 387s | 19 | 970247 | 621082 | 10778 125 | 609 | 16 410.72/410.85 c 389s | 19 | 972864 | 623482 | 10778 125 | 609 | 16 412.82/412.93 c 391s | 19 | 975207 | 625382 | 10778 125 | 609 | 16 414.82/414.93 c 393s | 19 | 977697 | 627382 | 10778 126 | 609 | 16 416.93/417.00 c 396s | 19 | 980637 | 629882 | 10778 126 | 609 | 16 419.14/419.22 c 398s | 19 | 983329 | 632182 | 10778 127 | 609 | 16 421.24/421.31 c 400s | 19 | 986823 | 635282 | 10778 127 | 609 | 16 423.23/423.34 c 402s | 19 | 989563 | 637582 | 10778 127 | 609 | 16 425.23/425.37 c 404s | 19 | 991711 | 639382 | 10778 128 | 609 | 16 427.23/427.37 c 406s | 19 | 994179 | 641682 | 10778 128 | 609 | 16 429.33/429.46 c 408s | 19 | 997084 | 643882 | 10778 129 | 609 | 16 431.53/431.60 c 410s | 19 | 999628 | 645982 | 10778 129 | 609 | 16 433.53/433.61 c 412s | 19 | 1003370 | 648182 | 10778 129 | 609 | 16 435.53/435.63 c 414s | 19 | 1015997 | 650982 | 10778 130 | 609 | 16 437.52/437.64 c 416s | 19 | 1025852 | 655482 | 11856 130 | 609 | 16 439.52/439.65 c 418s | 19 | 1037866 | 659882 | 11856 131 | 609 | 16 441.52/441.66 c 420s | 19 | 1043092 | 663782 | 11856 132 | 609 | 16 443.33/443.49 c 422s | 20 | 1046574 | 666827 | 11856 132 | 609 | 16 445.43/445.54 c 424s | 20 | 1049938 | 670027 | 11856 133 | 609 | 16 447.52/447.64 c 426s | 20 | 1052555 | 672327 | 11856 133 | 609 | 16 449.52/449.67 c 428s | 20 | 1055921 | 675027 | 11856 133 | 609 | 16 451.72/451.85 c 430s | 20 | 1062189 | 676927 | 11856 134 | 609 | 16 453.72/453.86 c 432s | 20 | 1073762 | 680627 | 11856 134 | 609 | 16 455.82/455.91 c 434s | 20 | 1080941 | 683927 | 11856 135 | 609 | 16 457.81/457.92 c 436s | 20 | 1087368 | 687827 | 11856 135 | 609 | 16 459.82/459.95 c 438s | 20 | 1091397 | 690927 | 11856 136 | 609 | 16 461.81/461.96 c 441s | 20 | 1095764 | 694727 | 11856 136 | 609 | 16 463.81/463.97 c 443s | 20 | 1099238 | 698027 | 11856 137 | 609 | 16 465.81/465.99 c 445s | 20 | 1102575 | 701227 | 11856 137 | 609 | 16 467.91/468.02 c 447s | 20 | 1105246 | 703827 | 11856 138 | 609 | 16 470.21/470.34 c 449s | 20 | 1108959 | 707127 | 11856 138 | 609 | 16 472.21/472.35 c 451s | 20 | 1119475 | 711827 | 11856 139 | 609 | 16 474.52/474.64 c 453s | 20 | 1136847 | 715027 | 11856 140 | 609 | 16 476.52/476.67 c 455s | 20 | 1142956 | 718527 | 11856 140 | 609 | 16 478.62/478.70 c 457s | 20 | 1149502 | 723927 | 11856 141 | 609 | 16 480.63/480.76 c 459s | 20 | 1159629 | 726327 | 11856 141 | 609 | 16 482.72/482.81 c 461s | 20 | 1165703 | 728327 | 11856 142 | 609 | 16 484.72/484.85 c 463s | 20 | 1175367 | 731327 | 11856 142 | 609 | 16 486.72/486.87 c 465s | 20 | 1192065 | 734527 | 11856 143 | 609 | 16 488.82/488.92 c 467s | 20 | 1197907 | 739627 | 11856 143 | 609 | 16 490.82/490.95 c 469s | 20 | 1202425 | 743327 | 11856 144 | 609 | 16 492.82/492.97 c 472s | 20 | 1207564 | 747527 | 11856 145 | 609 | 16 494.92/495.01 c 474s | 20 | 1219534 | 751427 | 11856 145 | 609 | 16 496.92/497.01 c 476s | 20 | 1233211 | 756327 | 11856 146 | 609 | 16 498.92/499.02 c 478s | 20 | 1239907 | 760727 | 11856 147 | 609 | 16 500.91/501.05 c 480s | 20 | 1245058 | 765527 | 11856 147 | 609 | 16 502.91/503.09 c 482s | 20 | 1249015 | 768827 | 11856 148 | 609 | 16 505.01/505.16 c 484s | 20 | 1253004 | 771827 | 11856 148 | 609 | 16 507.02/507.18 c 486s | 20 | 1256105 | 774427 | 11856 149 | 609 | 16 509.11/509.20 c 488s | 20 | 1264569 | 777927 | 11856 149 | 609 | 16 511.11/511.24 c 490s | 20 | 1270505 | 783027 | 11856 150 | 609 | 16 513.11/513.25 c 492s | 20 | 1275104 | 786627 | 11856 151 | 609 | 16 515.11/515.25 c 494s | 20 | 1279126 | 790227 | 11856 151 | 609 | 16 517.31/517.44 c 496s | 20 | 1287277 | 792327 | 11856 151 | 609 | 16 519.31/519.45 c 498s | 20 | 1303291 | 795727 | 11856 152 | 609 | 16 521.32/521.48 c 500s | 20 | 1316500 | 799427 | 11856 153 | 609 | 16 523.41/523.54 c 502s | 20 | 1320109 | 803027 | 11856 153 | 609 | 16 525.41/525.58 c 504s | 20 | 1323557 | 806427 | 11856 154 | 609 | 16 527.51/527.60 c 506s | 20 | 1326995 | 809827 | 11856 154 | 609 | 16 530.11/530.22 c 509s | 20 | 1329500 | 812227 | 11856 155 | 609 | 16 532.11/532.26 c 511s | 20 | 1332487 | 815127 | 11856 155 | 609 | 16 534.11/534.27 c 513s | 20 | 1335097 | 817727 | 11856 155 | 609 | 16 536.21/536.31 c 515s | 20 | 1337513 | 820127 | 11856 156 | 609 | 16 538.21/538.35 c 517s | 20 | 1339554 | 822127 | 11856 156 | 609 | 16 540.21/540.38 c 519s | 20 | 1342069 | 824627 | 11856 156 | 609 | 16 542.21/542.40 c 521s | 20 | 1344192 | 826727 | 11856 157 | 609 | 16 544.31/544.40 c 523s | 20 | 1346407 | 828927 | 11856 157 | 609 | 16 546.31/546.46 c 525s | 20 | 1348520 | 831027 | 11856 157 | 609 | 16 548.30/548.48 c 527s | 20 | 1350783 | 833227 | 11856 158 | 609 | 16 550.40/550.53 c 529s | 20 | 1352422 | 834827 | 11856 158 | 609 | 16 552.40/552.58 c 531s | 20 | 1354898 | 837227 | 11856 158 | 609 | 16 554.41/554.58 c 533s | 20 | 1356732 | 839027 | 11856 159 | 609 | 16 556.51/556.66 c 535s | 20 | 1359380 | 841627 | 11856 159 | 609 | 16 558.60/558.76 c 537s | 20 | 1361821 | 844027 | 11856 159 | 609 | 16 560.60/560.77 c 539s | 20 | 1364571 | 846327 | 11856 160 | 609 | 16 562.70/562.81 c 541s | 20 | 1368298 | 849427 | 11856 160 | 609 | 16 564.70/564.81 c 543s | 20 | 1370857 | 851527 | 11856 161 | 609 | 16 566.70/566.86 c 545s | 20 | 1375662 | 855427 | 11856 161 | 609 | 16 569.51/569.64 c 548s | 20 | 1379167 | 858327 | 11856 162 | 609 | 16 571.50/571.64 c 550s | 20 | 1382420 | 861427 | 11856 162 | 609 | 16 573.50/573.65 c 552s | 20 | 1385093 | 863927 | 11856 163 | 609 | 16 575.50/575.68 c 554s | 20 | 1387282 | 865927 | 11856 163 | 609 | 16 577.60/577.74 c 556s | 20 | 1390239 | 868627 | 11856 163 | 609 | 16 579.61/579.75 c 558s | 20 | 1392435 | 870527 | 11856 164 | 609 | 16 582.00/582.11 c 561s | 20 | 1395308 | 873127 | 11856 164 | 609 | 16 584.01/584.19 c 563s | 20 | 1398396 | 876027 | 11856 164 | 609 | 16 586.10/586.20 c 565s | 20 | 1401077 | 878527 | 11856 165 | 609 | 16 588.10/588.22 c 567s | 20 | 1403339 | 880427 | 11856 165 | 609 | 16 590.10/590.28 c 569s | 20 | 1405999 | 883027 | 11856 165 | 609 | 16 592.10/592.29 c 571s | 20 | 1408586 | 885527 | 11856 166 | 609 | 16 594.20/594.32 c 573s | 20 | 1411241 | 887927 | 11856 166 | 609 | 16 596.21/596.38 c 575s | 20 | 1413570 | 890027 | 11856 167 | 609 | 16 598.31/598.43 c 577s | 20 | 1416960 | 893127 | 11856 167 | 609 | 16 600.40/600.50 c 579s | 20 | 1419599 | 895527 | 11856 167 | 609 | 16 602.40/602.55 c 581s | 20 | 1422640 | 898427 | 11856 168 | 609 | 16 604.50/604.60 c 583s | 20 | 1425467 | 901127 | 11856 168 | 609 | 16 606.80/606.94 c 585s | 20 | 1427146 | 902627 | 11856 169 | 609 | 16 608.80/608.99 c 588s | 20 | 1430496 | 905527 | 11856 169 | 609 | 16 610.90/611.06 c 590s | 20 | 1433175 | 908127 | 11856 169 | 609 | 16 613.70/613.83 c 592s | 20 | 1435362 | 910227 | 11856 170 | 609 | 16 615.69/615.88 c 594s | 20 | 1438656 | 913327 | 11856 170 | 609 | 16 618.10/618.28 c 597s | 20 | 1441195 | 915627 | 11856 171 | 609 | 16 620.19/620.31 c 599s | 20 | 1444255 | 918527 | 11856 171 | 609 | 16 622.19/622.32 c 601s | 20 | 1446997 | 921127 | 11856 171 | 609 | 16 624.20/624.37 c 603s | 20 | 1450596 | 924127 | 11856 172 | 609 | 16 626.30/626.42 c 605s | 20 | 1454054 | 927227 | 11856 172 | 609 | 16 628.30/628.44 c 607s | 20 | 1455896 | 929027 | 11856 173 | 609 | 16 630.30/630.46 c 609s | 20 | 1458041 | 931127 | 11856 173 | 609 | 16 632.40/632.51 c 611s | 20 | 1459378 | 932427 | 11856 173 | 609 | 16 634.39/634.53 c 613s | 20 | 1461841 | 934827 | 11856 174 | 609 | 16 636.39/636.56 c 615s | 20 | 1465148 | 938027 | 11856 174 | 609 | 16 638.79/638.91 c 617s | 20 | 1467702 | 940527 | 11856 174 | 609 | 16 640.89/641.05 c 620s | 20 | 1470394 | 943127 | 11856 175 | 609 | 16 642.99/643.12 c 622s | 20 | 1473274 | 945927 | 11856 175 | 609 | 16 645.39/645.56 c 624s | 20 | 1475301 | 947927 | 11856 176 | 609 | 16 647.49/647.62 c 626s | 20 | 1477955 | 950427 | 11856 176 | 609 | 16 649.49/649.67 c 628s | 20 | 1480386 | 952727 | 11856 176 | 609 | 16 651.49/651.67 c 630s | 20 | 1482300 | 954527 | 11856 177 | 609 | 16 653.59/653.72 c 632s | 20 | 1485557 | 957627 | 11856 177 | 609 | 16 655.59/655.78 c 634s | 20 | 1488781 | 960627 | 11856 178 | 609 | 16 657.59/657.79 c 636s | 20 | 1491803 | 963527 | 11856 178 | 609 | 16 659.69/659.80 c 638s | 20 | 1494438 | 966127 | 11856 178 | 609 | 16 661.69/661.82 c 640s | 20 | 1496755 | 968427 | 11856 179 | 609 | 16 663.69/663.86 c 642s | 20 | 1499264 | 970727 | 11856 179 | 609 | 16 665.98/666.15 c 645s | 20 | 1502487 | 973627 | 11856 180 | 609 | 16 668.38/668.51 c 647s | 20 | 1505620 | 976527 | 11856 180 | 609 | 16 670.38/670.51 c 649s | 20 | 1509523 | 979927 | 11856 180 | 609 | 16 672.58/672.75 c 651s | 20 | 1512013 | 982227 | 11856 181 | 609 | 16 674.58/674.75 c 653s | 20 | 1515861 | 985727 | 13042 181 | 609 | 16 676.58/676.79 c 655s | 20 | 1519385 | 989027 | 13042 182 | 609 | 16 678.69/678.85 c 657s | 20 | 1521346 | 990827 | 13042 182 | 609 | 16 680.68/680.89 c 659s | 20 | 1525193 | 994327 | 13042 182 | 609 | 16 682.78/682.93 c 661s | 20 | 1528947 | 997827 | 13042 183 | 609 | 16 684.19/684.37 c 663s | 21 | 1531641 | 1000345 | 13042 183 | 609 | 16 686.18/686.40 c 665s | 21 | 1540366 | 1003145 | 13042 184 | 609 | 16 688.28/688.45 c 667s | 21 | 1545372 | 1007045 | 13042 184 | 609 | 16 690.28/690.47 c 669s | 21 | 1549422 | 1010045 | 13042 185 | 609 | 16 692.38/692.52 c 671s | 21 | 1552838 | 1012745 | 13042 185 | 609 | 16 694.38/694.57 c 673s | 21 | 1556317 | 1015545 | 13042 185 | 609 | 16 696.48/696.60 c 675s | 21 | 1559729 | 1018345 | 13042 186 | 609 | 16 698.48/698.63 c 677s | 21 | 1562811 | 1021045 | 13042 186 | 609 | 16 700.78/700.98 c 680s | 21 | 1564941 | 1022945 | 13042 187 | 609 | 16 702.78/703.00 c 682s | 21 | 1567963 | 1025645 | 13042 187 | 609 | 16 704.88/705.03 c 684s | 21 | 1571355 | 1028545 | 13042 187 | 609 | 16 706.88/707.08 c 686s | 21 | 1574967 | 1031545 | 13042 188 | 609 | 16 708.98/709.15 c 688s | 21 | 1578668 | 1034645 | 13042 188 | 609 | 16 711.08/711.27 c 690s | 21 | 1581564 | 1037145 | 13042 189 | 609 | 16 714.38/714.57 c 693s | 21 | 1583031 | 1038445 | 13042 189 | 609 | 16 716.48/716.65 c 695s | 21 | 1586654 | 1040945 | 13042 189 | 609 | 16 718.48/718.65 c 697s | 21 | 1590387 | 1043745 | 13042 189 | 609 | 16 720.49/720.65 c 699s | 21 | 1592741 | 1045345 | 13042 190 | 609 | 16 722.48/722.66 c 701s | 21 | 1594729 | 1047145 | 13042 190 | 609 | 16 724.58/724.71 c 703s | 21 | 1597202 | 1049445 | 13042 190 | 609 | 16 726.57/726.79 c 705s | 21 | 1599636 | 1051545 | 13042 191 | 609 | 16 728.57/728.79 c 707s | 21 | 1601509 | 1053145 | 13042 191 | 609 | 16 730.67/730.88 c 709s | 21 | 1604821 | 1055645 | 13042 191 | 609 | 16 732.77/732.92 c 711s | 21 | 1608143 | 1058145 | 13042 191 | 609 | 16 734.78/734.98 c 714s | 21 | 1611479 | 1060745 | 13042 192 | 609 | 16 736.87/737.08 c 716s | 21 | 1612866 | 1061745 | 13042 192 | 609 | 16 738.97/739.16 c 718s | 21 | 1614611 | 1063245 | 13042 192 | 609 | 16 741.06/741.21 c 720s | 21 | 1618378 | 1066445 | 13042 193 | 609 | 16 743.07/743.23 c 722s | 21 | 1623110 | 1071045 | 13042 193 | 609 | 16 745.06/745.25 c 724s | 21 | 1629611 | 1074545 | 13042 194 | 609 | 16 747.16/747.31 c 726s | 21 | 1634672 | 1079145 | 13042 195 | 609 | 16 749.16/749.34 c 728s | 21 | 1637815 | 1082145 | 13042 195 | 609 | 16 751.17/751.40 c 730s | 21 | 1640298 | 1084545 | 13042 195 | 609 | 16 753.26/753.45 c 732s | 21 | 1642573 | 1086745 | 13042 196 | 609 | 16 755.26/755.49 c 734s | 21 | 1644802 | 1088845 | 13042 196 | 609 | 16 757.36/757.53 c 736s | 21 | 1646817 | 1090745 | 13042 196 | 609 | 16 759.46/759.61 c 738s | 21 | 1649320 | 1093145 | 13042 196 | 609 | 16 761.56/761.72 c 740s | 21 | 1650944 | 1094645 | 13042 197 | 609 | 16 763.66/763.80 c 742s | 21 | 1653968 | 1097545 | 13042 197 | 609 | 16 765.66/765.81 c 744s | 21 | 1656337 | 1099745 | 13042 197 | 609 | 16 767.66/767.86 c 746s | 21 | 1658598 | 1101945 | 13042 198 | 609 | 16 769.76/769.95 c 748s | 21 | 1660997 | 1104245 | 13042 198 | 609 | 16 771.75/771.98 c 751s | 21 | 1662937 | 1106145 | 13042 198 | 609 | 16 774.46/774.65 c 753s | 21 | 1664166 | 1107345 | 13042 199 | 609 | 16 776.56/776.72 c 755s | 21 | 1666829 | 1109745 | 13042 199 | 609 | 16 778.56/778.73 c 757s | 21 | 1669176 | 1111845 | 13042 199 | 609 | 16 780.66/780.81 c 759s | 21 | 1671358 | 1113845 | 13042 199 | 609 | 16 782.66/782.82 c 761s | 21 | 1678712 | 1115545 | 13042 200 | 609 | 16 784.65/784.84 c 763s | 21 | 1681303 | 1117545 | 13042 200 | 609 | 16 786.75/786.90 c 765s | 21 | 1692497 | 1121645 | 13042 201 | 609 | 16 789.35/789.50 c 768s | 21 | 1708822 | 1123845 | 13042 201 | 609 | 16 791.35/791.51 c 770s | 21 | 1714214 | 1128745 | 13042 202 | 609 | 16 793.35/793.53 c 772s | 21 | 1718960 | 1132645 | 13042 202 | 609 | 16 795.44/795.64 c 774s | 21 | 1722661 | 1135845 | 13042 203 | 609 | 16 797.54/797.71 c 776s | 21 | 1726235 | 1139145 | 13042 203 | 609 | 16 799.55/799.73 c 778s | 21 | 1732257 | 1143945 | 13042 204 | 609 | 16 801.54/801.77 c 780s | 21 | 1738712 | 1148345 | 13042 204 | 609 | 16 803.64/803.80 c 782s | 21 | 1743216 | 1151445 | 13042 205 | 609 | 16 805.64/805.81 c 784s | 21 | 1750239 | 1155045 | 13042 205 | 609 | 16 807.64/807.84 c 786s | 21 | 1754050 | 1158045 | 13042 206 | 609 | 16 809.74/809.90 c 788s | 21 | 1757359 | 1160645 | 13042 206 | 609 | 16 811.65/811.90 c 790s | 21 | 1759487 | 1162445 | 13042 206 | 609 | 16 813.74/813.94 c 792s | 21 | 1762399 | 1164845 | 13042 207 | 609 | 16 815.74/815.98 c 795s | 21 | 1766210 | 1167645 | 13042 207 | 609 | 16 817.74/817.99 c 797s | 21 | 1769853 | 1170345 | 13042 207 | 609 | 16 819.84/820.01 c 799s | 21 | 1772521 | 1172745 | 13042 208 | 609 | 16 821.84/822.05 c 801s | 21 | 1776075 | 1175445 | 13042 208 | 609 | 16 823.84/824.08 c 803s | 21 | 1780036 | 1177945 | 13042 208 | 609 | 16 825.94/826.11 c 805s | 21 | 1785211 | 1182745 | 13042 209 | 609 | 16 827.93/828.12 c 807s | 21 | 1788180 | 1185545 | 13042 210 | 609 | 16 829.93/830.15 c 809s | 21 | 1791329 | 1188545 | 13042 210 | 609 | 16 832.03/832.21 c 811s | 21 | 1794064 | 1191145 | 13042 210 | 609 | 16 834.03/834.22 c 813s | 21 | 1796324 | 1193245 | 13042 211 | 609 | 16 836.03/836.25 c 815s | 21 | 1804747 | 1195945 | 13042 211 | 609 | 16 838.42/838.60 c 817s | 21 | 1816393 | 1199345 | 13042 212 | 609 | 16 840.42/840.65 c 819s | 21 | 1823100 | 1203545 | 13042 212 | 609 | 16 842.43/842.66 c 821s | 21 | 1827663 | 1207945 | 13042 213 | 609 | 16 844.42/844.66 c 823s | 21 | 1830624 | 1210745 | 13042 213 | 609 | 16 847.93/848.15 c 827s | 21 | 1833418 | 1213445 | 13042 214 | 609 | 16 849.92/850.18 c 829s | 21 | 1837260 | 1217045 | 13042 214 | 609 | 16 851.92/852.19 c 831s | 21 | 1840992 | 1220645 | 13042 215 | 609 | 16 854.12/854.39 c 833s | 21 | 1841938 | 1221545 | 13042 215 | 609 | 16 856.21/856.41 c 835s | 21 | 1845967 | 1225445 | 13042 215 | 609 | 16 859.31/859.55 c 838s | 21 | 1847948 | 1227345 | 13042 216 | 609 | 16 861.31/861.57 c 840s | 21 | 1851961 | 1231145 | 13042 216 | 609 | 16 863.32/863.57 c 842s | 21 | 1854797 | 1233745 | 13042 216 | 609 | 16 866.12/866.35 c 845s | 21 | 1855741 | 1234645 | 13042 217 | 609 | 16 868.12/868.37 c 847s | 21 | 1860491 | 1238645 | 13042 217 | 609 | 16 870.21/870.44 c 849s | 21 | 1863918 | 1241945 | 13042 218 | 609 | 16 872.22/872.47 c 851s | 21 | 1867550 | 1245245 | 13042 218 | 609 | 16 874.21/874.47 c 853s | 21 | 1870735 | 1248045 | 13042 218 | 609 | 16 876.51/876.74 c 855s | 21 | 1873710 | 1250845 | 13042 219 | 609 | 16 878.61/878.82 c 857s | 21 | 1878039 | 1254945 | 13042 219 | 609 | 16 880.81/881.01 c 860s | 21 | 1881309 | 1258045 | 13042 220 | 609 | 16 882.80/883.03 c 862s | 21 | 1884364 | 1260945 | 13042 220 | 609 | 16 884.80/885.05 c 864s | 21 | 1887226 | 1263745 | 13042 221 | 609 | 16 886.91/887.11 c 866s | 21 | 1889855 | 1266245 | 13042 221 | 609 | 16 889.82/890.07 c 869s | 21 | 1893165 | 1269345 | 13042 222 | 609 | 16 891.81/892.10 c 871s | 21 | 1896916 | 1272845 | 13042 222 | 609 | 16 893.91/894.11 c 873s | 21 | 1900276 | 1276145 | 13042 222 | 609 | 16 895.91/896.13 c 875s | 21 | 1905030 | 1280145 | 13042 223 | 609 | 16 897.91/898.15 c 877s | 21 | 1911791 | 1285545 | 13042 224 | 609 | 16 899.91/900.18 c 879s | 21 | 1920165 | 1291045 | 13042 225 | 609 | 16 901.91/902.20 c 881s | 21 | 1928579 | 1296045 | 13042 225 | 609 | 16 906.90/907.18 c 886s | 21 | 1929450 | 1296145 | 13042 225 | 609 | 16 910.00/910.22 c 889s | 21 | 1942507 | 1301445 | 13042 226 | 609 | 16 912.00/912.23 c 891s | 21 | 1953030 | 1305545 | 13042 227 | 609 | 16 914.01/914.28 c 893s | 21 | 1957285 | 1309745 | 13042 227 | 609 | 16 915.99/916.30 c 895s | 21 | 1960660 | 1313045 | 13042 228 | 609 | 16 918.09/918.35 c 897s | 21 | 1963559 | 1315845 | 13042 228 | 609 | 16 920.09/920.38 c 899s | 21 | 1966929 | 1319045 | 13042 229 | 609 | 16 923.20/923.44 c 902s | 21 | 1968062 | 1320045 | 13042 229 | 609 | 16 925.30/925.50 c 904s | 21 | 1971219 | 1323145 | 13042 229 | 609 | 16 927.50/927.71 c 906s | 21 | 1974057 | 1325745 | 13042 230 | 609 | 16 930.50/930.72 c 909s | 21 | 1976354 | 1327945 | 13042 230 | 609 | 16 932.49/932.75 c 911s | 21 | 1979602 | 1330945 | 13042 230 | 609 | 16 934.59/934.84 c 913s | 21 | 1982527 | 1333545 | 13042 231 | 609 | 16 936.59/936.88 c 915s | 21 | 1985081 | 1335745 | 13042 231 | 609 | 16 938.59/938.88 c 917s | 21 | 1988600 | 1338845 | 13042 231 | 609 | 16 940.69/940.91 c 919s | 21 | 1991936 | 1341845 | 13042 232 | 609 | 16 942.69/942.94 c 921s | 21 | 1994980 | 1344545 | 13042 232 | 609 | 16 944.69/944.94 c 923s | 21 | 1998232 | 1347445 | 13042 233 | 609 | 16 947.58/947.88 c 926s | 21 | 2000901 | 1349945 | 13042 233 | 609 | 16 949.68/949.95 c 928s | 21 | 2003896 | 1352745 | 13042 233 | 609 | 16 951.68/951.99 c 931s | 21 | 2006139 | 1354845 | 13042 234 | 609 | 16 953.69/953.99 c 933s | 21 | 2010195 | 1358145 | 13042 234 | 609 | 16 955.88/956.13 c 935s | 21 | 2018756 | 1363245 | 13042 235 | 609 | 16 957.89/958.13 c 937s | 21 | 2025626 | 1368645 | 13042 236 | 609 | 16 959.88/960.17 c 939s | 21 | 2030276 | 1373245 | 13042 236 | 609 | 16 961.98/962.28 c 941s | 21 | 2035319 | 1377045 | 13042 237 | 609 | 16 963.98/964.29 c 943s | 21 | 2040131 | 1381245 | 13042 237 | 609 | 16 966.08/966.32 c 945s | 21 | 2044560 | 1385245 | 13042 238 | 609 | 16 968.08/968.35 c 947s | 21 | 2048546 | 1388845 | 13042 238 | 609 | 16 970.08/970.37 c 949s | 21 | 2051920 | 1391945 | 13042 239 | 609 | 16 972.08/972.39 c 951s | 21 | 2055254 | 1394945 | 13042 239 | 609 | 16 974.38/974.69 c 953s | 21 | 2058107 | 1397445 | 13042 240 | 609 | 16 976.47/976.71 c 955s | 21 | 2061543 | 1400645 | 13042 240 | 609 | 16 978.47/978.74 c 957s | 21 | 2064222 | 1403145 | 13042 241 | 609 | 16 980.47/980.77 c 959s | 21 | 2067374 | 1406045 | 13042 241 | 609 | 16 982.57/982.82 c 961s | 21 | 2069488 | 1408045 | 13042 241 | 609 | 16 984.77/985.00 c 964s | 21 | 2071846 | 1410145 | 13042 242 | 609 | 16 986.77/987.03 c 966s | 21 | 2074722 | 1412745 | 13042 242 | 609 | 16 988.77/989.04 c 968s | 21 | 2077641 | 1415445 | 13042 242 | 609 | 16 990.77/991.06 c 970s | 21 | 2079723 | 1417345 | 13042 243 | 609 | 16 992.87/993.12 c 972s | 21 | 2083123 | 1420345 | 13042 243 | 609 | 16 994.96/995.21 c 974s | 21 | 2085949 | 1423045 | 13042 243 | 609 | 16 997.26/997.57 c 976s | 21 | 2087619 | 1424645 | 13042 244 | 609 | 16 999.36/999.60 c 978s | 21 | 2090923 | 1427545 | 13042 244 | 609 | 16 1001.36/1001.63 c 980s | 21 | 2093571 | 1430045 | 13042 244 | 609 | 16 1003.36/1003.68 c 982s | 21 | 2096232 | 1432545 | 13042 245 | 609 | 16 1005.46/1005.76 c 984s | 21 | 2098754 | 1434945 | 13042 245 | 609 | 16 1008.06/1008.38 c 987s | 21 | 2100604 | 1436745 | 13042 245 | 609 | 16 1010.46/1010.77 c 989s | 21 | 2102607 | 1438045 | 13042 246 | 609 | 16 1012.46/1012.79 c 991s | 21 | 2106238 | 1441445 | 13042 246 | 609 | 16 1014.55/1014.85 c 993s | 21 | 2109340 | 1444345 | 13042 246 | 609 | 16 1016.55/1016.88 c 995s | 21 | 2112484 | 1447245 | 13042 247 | 609 | 16 1018.65/1018.99 c 998s | 21 | 2115365 | 1450045 | 13042 247 | 609 | 16 1020.85/1021.12 c 1000s | 21 | 2117506 | 1452045 | 13042 248 | 609 | 16 1022.86/1023.16 c 1002s | 21 | 2119329 | 1453845 | 13042 248 | 609 | 16 1024.95/1025.21 c 1004s | 21 | 2122209 | 1456645 | 13042 248 | 609 | 16 1026.95/1027.28 c 1006s | 21 | 2124351 | 1458545 | 13042 248 | 609 | 16 1029.05/1029.38 c 1008s | 21 | 2126384 | 1460445 | 13042 249 | 609 | 16 1031.15/1031.41 c 1010s | 21 | 2129227 | 1463245 | 13042 249 | 609 | 16 1033.15/1033.44 c 1012s | 21 | 2131896 | 1465845 | 13042 249 | 609 | 16 1035.15/1035.44 c 1014s | 21 | 2134007 | 1467945 | 13042 250 | 609 | 16 1037.15/1037.47 c 1016s | 21 | 2136913 | 1470745 | 13042 250 | 609 | 16 1040.04/1040.31 c 1019s | 21 | 2139448 | 1473145 | 13042 251 | 609 | 16 1042.05/1042.35 c 1021s | 21 | 2142062 | 1475745 | 13042 251 | 609 | 16 1044.15/1044.43 c 1023s | 21 | 2144024 | 1477645 | 13042 251 | 609 | 16 1046.14/1046.44 c 1025s | 21 | 2146144 | 1479745 | 14347 251 | 609 | 16 1048.15/1048.47 c 1027s | 21 | 2147978 | 1481545 | 14347 252 | 609 | 16 1050.14/1050.50 c 1029s | 21 | 2150484 | 1484045 | 14347 252 | 609 | 16 1052.24/1052.52 c 1031s | 21 | 2153001 | 1486545 | 14347 252 | 609 | 16 1054.24/1054.58 c 1033s | 21 | 2154412 | 1487945 | 14347 252 | 609 | 16 1056.33/1056.62 c 1035s | 21 | 2157115 | 1490645 | 14347 253 | 609 | 16 1058.64/1058.91 c 1037s | 21 | 2157620 | 1491145 | 14347 253 | 609 | 16 1060.64/1060.97 c 1040s | 21 | 2159945 | 1493445 | 14347 253 | 609 | 16 1062.74/1063.00 c 1042s | 21 | 2162284 | 1495745 | 14347 253 | 609 | 16 1064.74/1065.01 c 1044s | 21 | 2164585 | 1497945 | 14347 254 | 609 | 16 1066.74/1067.06 c 1046s | 21 | 2167251 | 1500545 | 14347 254 | 609 | 16 1066.84/1067.11 c 1046s | 22 | 2167324 | 1500622 | 14347 254 | 609 | 16 1068.93/1069.23 c 1048s | 22 | 2167475 | 1500722 | 14347 254 | 609 | 16 1070.93/1071.24 c 1050s | 22 | 2173875 | 1504322 | 14347 254 | 609 | 16 1072.93/1073.27 c 1052s | 22 | 2178237 | 1508122 | 14347 255 | 609 | 16 1074.93/1075.28 c 1054s | 22 | 2182524 | 1511922 | 14347 255 | 609 | 16 1077.03/1077.32 c 1056s | 22 | 2185985 | 1514522 | 14347 256 | 609 | 16 1079.03/1079.36 c 1058s | 22 | 2189519 | 1517422 | 14347 256 | 609 | 16 1081.03/1081.36 c 1060s | 22 | 2192216 | 1519822 | 14347 257 | 609 | 16 1083.13/1083.42 c 1062s | 22 | 2195439 | 1522522 | 14347 257 | 609 | 16 1085.12/1085.44 c 1064s | 22 | 2198313 | 1524822 | 14347 257 | 609 | 16 1087.12/1087.49 c 1066s | 22 | 2201246 | 1527422 | 14347 257 | 609 | 16 1089.12/1089.49 c 1068s | 22 | 2204389 | 1529922 | 14347 258 | 609 | 16 1091.22/1091.56 c 1070s | 22 | 2207231 | 1532422 | 14347 258 | 609 | 16 1093.23/1093.58 c 1072s | 22 | 2209910 | 1534822 | 14347 258 | 609 | 16 1096.02/1096.39 c 1075s | 22 | 2211006 | 1535822 | 14347 259 | 609 | 16 1098.12/1098.43 c 1077s | 22 | 2214310 | 1538522 | 14347 259 | 609 | 16 1100.12/1100.44 c 1079s | 22 | 2217650 | 1541522 | 14347 259 | 609 | 16 1102.12/1102.44 c 1081s | 22 | 2220293 | 1543922 | 14347 260 | 609 | 16 1104.12/1104.48 c 1083s | 22 | 2223486 | 1546822 | 14347 260 | 609 | 16 1106.21/1106.53 c 1085s | 22 | 2226262 | 1549322 | 14347 260 | 609 | 16 1108.21/1108.59 c 1087s | 22 | 2228913 | 1551722 | 14347 261 | 609 | 16 1110.31/1110.65 c 1089s | 22 | 2231880 | 1554522 | 14347 261 | 609 | 16 1112.31/1112.69 c 1091s | 22 | 2233751 | 1556022 | 14347 261 | 609 | 16 1114.51/1114.81 c 1093s | 22 | 2236232 | 1558222 | 14347 262 | 609 | 16 1116.51/1116.87 c 1095s | 22 | 2238660 | 1560322 | 14347 262 | 609 | 16 1118.62/1118.90 c 1097s | 22 | 2241576 | 1562722 | 14347 262 | 609 | 16 1120.73/1121.06 c 1100s | 22 | 2244327 | 1565122 | 14347 262 | 609 | 16 1122.72/1123.09 c 1102s | 22 | 2246975 | 1567622 | 14347 263 | 609 | 16 1124.82/1125.13 c 1104s | 22 | 2249936 | 1570222 | 14347 263 | 609 | 16 1126.81/1127.19 c 1106s | 22 | 2251159 | 1571322 | 14347 263 | 609 | 16 1128.91/1129.21 c 1108s | 22 | 2254088 | 1573822 | 14347 264 | 609 | 16 1130.91/1131.24 c 1110s | 22 | 2256850 | 1576222 | 14347 264 | 609 | 16 1132.91/1133.29 c 1112s | 22 | 2259944 | 1579022 | 14347 264 | 609 | 16 1135.10/1135.49 c 1114s | 22 | 2262711 | 1581222 | 14347 265 | 609 | 16 1137.21/1137.52 c 1116s | 22 | 2265895 | 1583922 | 14347 265 | 609 | 16 1139.20/1139.60 c 1118s | 22 | 2269371 | 1586822 | 14347 265 | 609 | 16 1141.90/1142.20 c 1121s | 22 | 2272471 | 1589522 | 14347 266 | 609 | 16 1143.90/1144.20 c 1123s | 22 | 2275927 | 1592322 | 14347 266 | 609 | 16 1145.91/1146.23 c 1125s | 22 | 2278860 | 1594922 | 14347 266 | 609 | 16 1148.00/1148.32 c 1127s | 22 | 2281559 | 1597422 | 14347 267 | 609 | 16 1150.30/1150.70 c 1129s | 22 | 2284250 | 1599822 | 14347 267 | 609 | 16 1152.50/1152.81 c 1131s | 22 | 2287395 | 1602722 | 14347 267 | 609 | 16 1154.50/1154.87 c 1133s | 22 | 2289823 | 1605022 | 14347 268 | 609 | 16 1156.59/1156.93 c 1135s | 22 | 2292863 | 1607922 | 14347 268 | 609 | 16 1158.59/1158.97 c 1138s | 22 | 2295534 | 1610422 | 14347 268 | 609 | 16 1161.19/1161.57 c 1140s | 22 | 2297206 | 1612022 | 14347 269 | 609 | 16 1163.29/1163.62 c 1142s | 22 | 2299856 | 1614522 | 14347 269 | 609 | 16 1165.29/1165.66 c 1144s | 22 | 2302557 | 1616922 | 14347 269 | 609 | 16 1167.39/1167.72 c 1146s | 22 | 2304972 | 1619022 | 14347 269 | 609 | 16 1170.09/1170.45 c 1149s | 22 | 2307742 | 1621422 | 14347 270 | 609 | 16 1172.19/1172.52 c 1151s | 22 | 2311083 | 1624222 | 14347 270 | 609 | 16 1174.19/1174.54 c 1153s | 22 | 2314071 | 1626922 | 14347 270 | 609 | 16 1176.69/1177.02 c 1156s | 22 | 2315966 | 1628622 | 14347 271 | 609 | 16 1178.69/1179.06 c 1158s | 22 | 2318856 | 1630822 | 14347 271 | 609 | 16 1180.69/1181.09 c 1160s | 22 | 2322106 | 1633522 | 14347 271 | 609 | 16 1182.79/1183.12 c 1162s | 22 | 2324813 | 1635622 | 14347 272 | 609 | 16 1184.79/1185.14 c 1164s | 22 | 2328437 | 1638722 | 14347 272 | 609 | 16 1187.09/1187.49 c 1166s | 22 | 2330748 | 1640622 | 14347 272 | 609 | 16 1189.49/1189.90 c 1168s | 22 | 2332961 | 1642722 | 14347 273 | 609 | 16 1191.59/1191.92 c 1170s | 22 | 2336117 | 1645522 | 14347 273 | 609 | 16 1193.59/1193.98 c 1173s | 22 | 2338827 | 1647922 | 14347 273 | 609 | 16 1195.68/1196.04 c 1175s | 22 | 2340905 | 1649822 | 14347 273 | 609 | 16 1197.78/1198.13 c 1177s | 22 | 2343378 | 1652122 | 14347 274 | 609 | 16 1199.79/1200.15 c 1179s | 22 | 2346007 | 1654622 | 14347 274 | 609 | 16 1201.88/1202.24 c 1181s | 22 | 2348305 | 1656822 | 14347 274 | 609 | 16 1204.08/1204.46 c 1183s | 22 | 2349645 | 1658122 | 14347 275 | 609 | 16 1206.07/1206.47 c 1185s | 22 | 2352458 | 1660622 | 14347 275 | 609 | 16 1208.18/1208.55 c 1187s | 22 | 2355164 | 1663122 | 14347 275 | 609 | 16 1210.28/1210.61 c 1189s | 22 | 2357570 | 1665422 | 14347 275 | 609 | 16 1212.27/1212.64 c 1191s | 22 | 2359303 | 1666922 | 14347 276 | 609 | 16 1214.67/1215.03 c 1194s | 22 | 2361493 | 1669022 | 14347 276 | 609 | 16 1216.67/1217.08 c 1196s | 22 | 2364256 | 1671522 | 14347 276 | 609 | 16 1218.77/1219.12 c 1198s | 22 | 2366630 | 1673722 | 14347 277 | 609 | 16 1220.78/1221.14 c 1200s | 22 | 2369524 | 1676422 | 14347 277 | 609 | 16 1222.77/1223.16 c 1202s | 22 | 2372078 | 1678822 | 14347 277 | 609 | 16 1224.77/1225.17 c 1204s | 22 | 2374478 | 1681022 | 14347 277 | 609 | 16 1226.97/1227.36 c 1206s | 22 | 2375755 | 1682222 | 14347 278 | 609 | 16 1228.97/1229.39 c 1208s | 22 | 2378509 | 1684722 | 14347 278 | 609 | 16 1231.06/1231.45 c 1210s | 22 | 2381257 | 1687322 | 14347 278 | 609 | 16 1233.16/1233.50 c 1212s | 22 | 2383951 | 1689922 | 14347 279 | 609 | 16 1235.16/1235.54 c 1214s | 22 | 2386855 | 1692722 | 14347 279 | 609 | 16 1237.77/1238.18 c 1217s | 22 | 2387880 | 1693722 | 14347 279 | 609 | 16 1239.87/1240.25 c 1219s | 22 | 2390263 | 1696022 | 14347 279 | 609 | 16 1241.97/1242.32 c 1221s | 22 | 2392705 | 1698422 | 14347 280 | 609 | 16 1243.97/1244.36 c 1223s | 22 | 2395227 | 1700822 | 14347 280 | 609 | 16 1245.97/1246.36 c 1225s | 22 | 2397781 | 1703222 | 14347 280 | 609 | 16 1248.27/1248.63 c 1227s | 22 | 2399583 | 1704922 | 14347 281 | 609 | 16 1250.27/1250.66 c 1229s | 22 | 2401895 | 1707022 | 14347 281 | 609 | 16 1252.27/1252.67 c 1231s | 22 | 2404421 | 1709422 | 14347 281 | 609 | 16 1254.37/1254.77 c 1233s | 22 | 2406721 | 1711622 | 14347 281 | 609 | 16 1257.26/1257.61 c 1236s | 22 | 2408780 | 1713622 | 14347 282 | 609 | 16 1259.27/1259.62 c 1238s | 22 | 2411494 | 1716122 | 14347 282 | 609 | 16 1261.26/1261.67 c 1240s | 22 | 2414303 | 1718622 | 14347 282 | 609 | 16 1263.36/1263.72 c 1242s | 22 | 2416533 | 1720722 | 14347 283 | 609 | 16 1265.36/1265.78 c 1244s | 22 | 2419542 | 1723522 | 14347 283 | 609 | 16 1267.46/1267.80 c 1246s | 22 | 2422256 | 1726022 | 14347 283 | 609 | 16 1269.46/1269.86 c 1248s | 22 | 2424323 | 1727922 | 14347 284 | 609 | 16 1271.45/1271.90 c 1250s | 22 | 2427159 | 1730622 | 14347 284 | 609 | 16 1273.56/1273.95 c 1252s | 22 | 2429561 | 1732922 | 14347 284 | 609 | 16 1275.55/1275.95 c 1254s | 22 | 2431959 | 1735222 | 14347 285 | 609 | 16 1277.66/1278.04 c 1257s | 22 | 2434668 | 1737722 | 14347 285 | 609 | 16 1279.66/1280.09 c 1259s | 22 | 2436067 | 1739022 | 14347 285 | 609 | 16 1281.66/1282.09 c 1261s | 22 | 2438658 | 1741322 | 14347 285 | 609 | 16 1283.66/1284.09 c 1263s | 22 | 2440912 | 1743422 | 14347 286 | 609 | 16 1285.76/1286.12 c 1265s | 22 | 2443558 | 1745922 | 14347 286 | 609 | 16 1287.76/1288.19 c 1267s | 22 | 2446097 | 1748322 | 14347 286 | 609 | 16 1289.85/1290.24 c 1269s | 22 | 2448301 | 1750422 | 14347 287 | 609 | 16 1291.95/1292.31 c 1271s | 22 | 2450196 | 1752222 | 14347 287 | 609 | 16 1293.95/1294.33 c 1273s | 22 | 2452686 | 1754622 | 14347 287 | 609 | 16 1295.95/1296.36 c 1275s | 22 | 2455078 | 1756922 | 14347 287 | 609 | 16 1297.95/1298.37 c 1277s | 22 | 2457439 | 1759222 | 14347 288 | 609 | 16 1301.75/1302.11 c 1281s | 22 | 2458471 | 1760222 | 14347 288 | 609 | 16 1303.75/1304.13 c 1283s | 22 | 2461042 | 1762622 | 14347 288 | 609 | 16 1305.75/1306.17 c 1285s | 22 | 2463649 | 1765022 | 14347 288 | 609 | 16 1307.85/1308.25 c 1287s | 22 | 2465564 | 1766822 | 14347 289 | 609 | 16 1309.95/1310.32 c 1289s | 22 | 2468556 | 1769622 | 14347 289 | 609 | 16 1311.95/1312.34 c 1291s | 22 | 2471075 | 1772022 | 14347 289 | 609 | 16 1315.15/1315.52 c 1294s | 22 | 2473306 | 1774122 | 14347 290 | 609 | 16 1317.15/1317.57 c 1296s | 22 | 2476295 | 1777022 | 14347 290 | 609 | 16 1319.15/1319.58 c 1298s | 22 | 2479015 | 1779622 | 14347 290 | 609 | 16 1321.15/1321.59 c 1300s | 22 | 2481398 | 1781822 | 14347 291 | 609 | 16 1323.15/1323.59 c 1302s | 22 | 2484004 | 1784322 | 14347 291 | 609 | 16 1325.25/1325.65 c 1304s | 22 | 2484828 | 1785022 | 14347 291 | 609 | 16 1327.35/1327.71 c 1306s | 22 | 2486599 | 1786622 | 14347 291 | 609 | 16 1329.34/1329.76 c 1308s | 22 | 2489420 | 1789122 | 14347 292 | 609 | 16 1331.44/1331.83 c 1310s | 22 | 2492269 | 1791622 | 14347 292 | 609 | 16 1333.44/1333.89 c 1312s | 22 | 2495322 | 1794322 | 14347 292 | 609 | 16 1335.54/1335.92 c 1314s | 22 | 2497826 | 1796622 | 14347 293 | 609 | 16 1337.54/1337.97 c 1317s | 22 | 2500797 | 1799322 | 14347 293 | 609 | 16 1339.63/1340.06 c 1319s | 22 | 2503241 | 1801622 | 14347 293 | 609 | 16 1341.74/1342.12 c 1321s | 22 | 2504916 | 1803122 | 14347 293 | 609 | 16 1343.73/1344.16 c 1323s | 22 | 2507602 | 1805622 | 14347 294 | 609 | 16 1345.83/1346.20 c 1325s | 22 | 2510557 | 1808322 | 14347 294 | 609 | 16 1347.83/1348.24 c 1327s | 22 | 2513116 | 1810622 | 14347 294 | 609 | 16 1349.93/1350.30 c 1329s | 22 | 2515752 | 1813022 | 14347 295 | 609 | 16 1351.93/1352.34 c 1331s | 22 | 2517991 | 1815022 | 14347 295 | 609 | 16 1354.03/1354.40 c 1333s | 22 | 2520474 | 1817322 | 14347 295 | 609 | 16 1356.03/1356.44 c 1335s | 22 | 2522723 | 1819422 | 14347 296 | 609 | 16 1358.02/1358.47 c 1337s | 22 | 2525388 | 1821922 | 14347 296 | 609 | 16 1360.02/1360.48 c 1339s | 22 | 2528147 | 1824422 | 14347 296 | 609 | 16 1362.12/1362.52 c 1341s | 22 | 2530665 | 1826722 | 14347 296 | 609 | 16 1364.22/1364.60 c 1343s | 22 | 2533273 | 1829222 | 14347 297 | 609 | 16 1366.43/1366.89 c 1345s | 22 | 2535408 | 1831222 | 14347 297 | 609 | 16 1368.53/1368.92 c 1347s | 22 | 2538096 | 1833722 | 14347 297 | 609 | 16 1370.53/1370.96 c 1350s | 22 | 2540463 | 1835922 | 14347 298 | 609 | 16 1372.63/1373.01 c 1352s | 22 | 2543074 | 1838422 | 14347 298 | 609 | 16 1374.64/1375.06 c 1354s | 22 | 2545432 | 1840622 | 14347 298 | 609 | 16 1376.63/1377.09 c 1356s | 22 | 2547621 | 1842722 | 14347 299 | 609 | 16 1379.73/1380.12 c 1359s | 22 | 2548950 | 1844022 | 14347 299 | 609 | 16 1381.73/1382.14 c 1361s | 22 | 2551856 | 1846822 | 14347 299 | 609 | 16 1383.72/1384.16 c 1363s | 22 | 2554529 | 1849422 | 14347 299 | 609 | 16 1385.82/1386.22 c 1365s | 22 | 2557242 | 1852022 | 14347 300 | 609 | 16 1387.83/1388.25 c 1367s | 22 | 2559830 | 1854522 | 14347 300 | 609 | 16 1390.13/1390.51 c 1369s | 22 | 2561230 | 1855822 | 14347 300 | 609 | 16 1392.12/1392.56 c 1371s | 22 | 2563385 | 1857822 | 14347 301 | 609 | 16 1394.12/1394.56 c 1373s | 22 | 2566079 | 1860322 | 14347 301 | 609 | 16 1396.12/1396.58 c 1375s | 22 | 2568897 | 1863022 | 14347 301 | 609 | 16 1398.22/1398.62 c 1377s | 22 | 2571250 | 1865122 | 14347 301 | 609 | 16 1400.22/1400.66 c 1379s | 22 | 2573392 | 1867122 | 14347 302 | 609 | 16 1403.02/1403.41 c 1382s | 22 | 2576067 | 1869722 | 14347 302 | 609 | 16 1405.02/1405.48 c 1384s | 22 | 2579013 | 1872422 | 14347 302 | 609 | 16 1407.02/1407.49 c 1386s | 22 | 2580980 | 1874322 | 14347 303 | 609 | 16 1409.12/1409.53 c 1388s | 22 | 2583291 | 1876522 | 14347 303 | 609 | 16 1411.12/1411.53 c 1390s | 22 | 2586225 | 1879222 | 14347 303 | 609 | 16 1413.12/1413.57 c 1392s | 22 | 2588918 | 1881822 | 14347 304 | 609 | 16 1415.11/1415.58 c 1394s | 22 | 2590342 | 1883222 | 14347 304 | 609 | 16 1417.21/1417.64 c 1396s | 22 | 2593468 | 1886122 | 14347 304 | 609 | 16 1419.72/1420.16 c 1399s | 22 | 2596083 | 1888522 | 14347 305 | 609 | 16 1421.71/1422.19 c 1401s | 22 | 2598467 | 1890722 | 14347 305 | 609 | 16 1423.81/1424.23 c 1403s | 22 | 2601316 | 1893222 | 14347 305 | 609 | 16 1425.81/1426.27 c 1405s | 22 | 2603926 | 1895522 | 14347 305 | 609 | 16 1427.91/1428.31 c 1407s | 22 | 2606166 | 1897522 | 14347 306 | 609 | 16 1429.91/1430.36 c 1409s | 22 | 2609128 | 1900022 | 14347 306 | 609 | 16 1432.01/1432.49 c 1411s | 22 | 2612271 | 1902722 | 14347 306 | 609 | 16 1434.12/1434.53 c 1413s | 22 | 2614473 | 1904722 | 14347 307 | 609 | 16 1436.22/1436.61 c 1415s | 22 | 2617161 | 1907322 | 14347 307 | 609 | 16 1438.21/1438.67 c 1417s | 22 | 2619871 | 1909922 | 14347 307 | 609 | 16 1440.21/1440.69 c 1419s | 22 | 2622003 | 1911922 | 14347 308 | 609 | 16 1442.31/1442.70 c 1421s | 22 | 2625191 | 1914822 | 14347 308 | 609 | 16 1444.31/1444.75 c 1423s | 22 | 2627527 | 1917022 | 14347 308 | 609 | 16 1446.41/1446.80 c 1425s | 22 | 2629407 | 1918722 | 14347 308 | 609 | 16 1448.42/1448.85 c 1427s | 22 | 2631856 | 1920922 | 14347 309 | 609 | 16 1450.52/1450.93 c 1429s | 22 | 2635162 | 1923922 | 14347 309 | 609 | 16 1452.52/1452.93 c 1431s | 22 | 2637441 | 1926122 | 14347 309 | 609 | 16 1454.72/1455.15 c 1434s | 22 | 2639365 | 1928022 | 14347 310 | 609 | 16 1456.72/1457.18 c 1436s | 22 | 2642650 | 1931122 | 14347 310 | 609 | 16 1458.82/1459.21 c 1438s | 22 | 2645451 | 1933722 | 14347 310 | 609 | 16 1460.82/1461.27 c 1440s | 22 | 2647983 | 1936022 | 14347 311 | 609 | 16 1462.91/1463.32 c 1442s | 22 | 2650823 | 1938722 | 14347 311 | 609 | 16 1465.51/1465.90 c 1444s | 22 | 2652985 | 1940722 | 14347 311 | 609 | 16 1467.51/1467.97 c 1447s | 22 | 2654936 | 1942622 | 14347 312 | 609 | 16 1469.61/1470.00 c 1449s | 22 | 2657759 | 1945122 | 14347 312 | 609 | 16 1471.61/1472.02 c 1451s | 22 | 2659985 | 1947222 | 14347 312 | 609 | 16 1473.81/1474.21 c 1453s | 22 | 2662776 | 1949822 | 14347 313 | 609 | 16 1475.82/1476.22 c 1455s | 22 | 2665100 | 1951922 | 14347 313 | 609 | 16 1477.81/1478.27 c 1457s | 22 | 2667597 | 1954122 | 14347 313 | 609 | 16 1479.91/1480.30 c 1459s | 22 | 2669724 | 1956122 | 14347 313 | 609 | 16 1481.91/1482.34 c 1461s | 22 | 2672028 | 1958222 | 14347 314 | 609 | 16 1483.91/1484.38 c 1463s | 22 | 2674470 | 1960522 | 14347 314 | 609 | 16 1486.01/1486.42 c 1465s | 22 | 2677037 | 1963022 | 14347 314 | 609 | 16 1488.01/1488.43 c 1467s | 22 | 2679290 | 1965222 | 14347 315 | 609 | 16 1490.01/1490.46 c 1469s | 22 | 2682473 | 1967822 | 14347 315 | 609 | 16 1492.01/1492.49 c 1471s | 22 | 2685544 | 1970422 | 14347 315 | 609 | 16 1494.10/1494.50 c 1473s | 22 | 2687318 | 1972022 | 14347 315 | 609 | 16 1496.10/1496.52 c 1475s | 22 | 2689510 | 1974022 | 14347 316 | 609 | 16 1498.10/1498.56 c 1477s | 22 | 2692297 | 1976622 | 14347 316 | 609 | 16 1500.11/1500.58 c 1479s | 22 | 2694992 | 1979222 | 14347 316 | 609 | 16 1502.10/1502.59 c 1481s | 22 | 2697532 | 1981422 | 14347 317 | 609 | 16 1504.21/1504.63 c 1483s | 22 | 2699735 | 1983422 | 14347 317 | 609 | 16 1506.31/1506.70 c 1485s | 22 | 2702462 | 1985822 | 14347 317 | 609 | 16 1508.30/1508.75 c 1487s | 22 | 2704811 | 1988122 | 14347 317 | 609 | 16 1510.30/1510.77 c 1489s | 22 | 2707022 | 1990222 | 14347 318 | 609 | 16 1512.40/1512.82 c 1491s | 22 | 2709883 | 1992922 | 14347 318 | 609 | 16 1514.41/1514.85 c 1493s | 22 | 2712357 | 1995322 | 14347 318 | 609 | 16 1516.70/1517.19 c 1496s | 22 | 2713515 | 1996422 | 14347 319 | 609 | 16 1518.81/1519.21 c 1498s | 22 | 2716180 | 1998922 | 14347 319 | 609 | 16 1520.80/1521.22 c 1500s | 22 | 2719013 | 2001422 | 14347 319 | 609 | 16 1522.80/1523.22 c 1502s | 22 | 2721476 | 2003522 | 14347 320 | 609 | 16 1524.80/1525.24 c 1504s | 22 | 2723928 | 2005922 | 14347 320 | 609 | 16 1526.90/1527.30 c 1506s | 22 | 2726300 | 2008122 | 14347 320 | 609 | 16 1528.90/1529.32 c 1508s | 22 | 2728927 | 2010522 | 14347 320 | 609 | 16 1530.90/1531.36 c 1510s | 22 | 2730792 | 2012222 | 14347 321 | 609 | 16 1533.00/1533.42 c 1512s | 22 | 2733422 | 2014722 | 14347 321 | 609 | 16 1535.00/1535.47 c 1514s | 22 | 2735300 | 2016422 | 14347 321 | 609 | 16 1537.00/1537.48 c 1516s | 22 | 2738153 | 2018622 | 14347 321 | 609 | 16 1539.10/1539.53 c 1518s | 22 | 2740794 | 2021122 | 14347 322 | 609 | 16 1541.09/1541.59 c 1520s | 22 | 2743525 | 2023722 | 14347 322 | 609 | 16 1543.19/1543.61 c 1522s | 22 | 2745944 | 2026022 | 14347 322 | 609 | 16 1545.20/1545.64 c 1524s | 22 | 2747888 | 2027822 | 14347 323 | 609 | 16 1547.19/1547.70 c 1526s | 22 | 2750672 | 2030422 | 14347 323 | 609 | 16 1549.29/1549.70 c 1528s | 22 | 2753418 | 2032822 | 14347 323 | 609 | 16 1551.29/1551.71 c 1530s | 22 | 2755489 | 2034822 | 14347 324 | 609 | 16 1553.29/1553.76 c 1532s | 22 | 2758068 | 2037322 | 14347 324 | 609 | 16 1555.29/1555.77 c 1534s | 22 | 2760442 | 2039622 | 14347 324 | 609 | 16 1557.39/1557.82 c 1536s | 22 | 2761552 | 2040522 | 14347 324 | 609 | 16 1559.40/1559.83 c 1538s | 22 | 2764028 | 2042722 | 14347 325 | 609 | 16 1561.40/1561.87 c 1540s | 22 | 2766965 | 2045222 | 14347 325 | 609 | 16 1563.40/1563.88 c 1542s | 22 | 2770492 | 2048222 | 14347 325 | 609 | 16 1565.50/1565.90 c 1544s | 22 | 2772153 | 2049822 | 14347 326 | 609 | 16 1567.50/1567.92 c 1546s | 22 | 2774550 | 2052122 | 14347 326 | 609 | 16 1569.50/1569.92 c 1548s | 22 | 2777039 | 2054522 | 14347 326 | 609 | 16 1571.50/1571.95 c 1550s | 22 | 2779295 | 2056722 | 14347 326 | 609 | 16 1573.50/1573.99 c 1553s | 22 | 2781825 | 2059122 | 14347 327 | 609 | 16 1575.60/1576.03 c 1555s | 22 | 2783395 | 2060622 | 14347 327 | 609 | 16 1577.60/1578.08 c 1557s | 22 | 2786058 | 2063122 | 14347 327 | 609 | 16 1580.00/1580.43 c 1559s | 22 | 2788339 | 2065222 | 14347 328 | 609 | 16 1582.00/1582.48 c 1561s | 22 | 2791543 | 2068222 | 14347 328 | 609 | 16 1584.00/1584.49 c 1563s | 22 | 2794073 | 2070622 | 14347 328 | 609 | 16 1586.09/1586.53 c 1565s | 22 | 2796249 | 2072722 | 14347 329 | 609 | 16 1588.19/1588.60 c 1567s | 22 | 2798811 | 2075222 | 14347 329 | 609 | 16 1590.20/1590.68 c 1569s | 22 | 2801403 | 2077722 | 14347 329 | 609 | 16 1592.29/1592.72 c 1571s | 22 | 2803179 | 2079422 | 14347 329 | 609 | 16 1594.29/1594.73 c 1573s | 22 | 2806475 | 2082022 | 14347 330 | 609 | 16 1596.29/1596.76 c 1575s | 22 | 2809632 | 2084422 | 14347 330 | 609 | 16 1598.39/1598.83 c 1577s | 22 | 2811802 | 2086222 | 14347 330 | 609 | 16 1600.39/1600.85 c 1579s | 22 | 2814026 | 2088322 | 14347 331 | 609 | 16 1602.40/1602.89 c 1581s | 22 | 2816574 | 2090822 | 14347 331 | 609 | 16 1604.60/1605.02 c 1584s | 22 | 2818887 | 2093122 | 14347 331 | 609 | 16 1606.59/1607.06 c 1586s | 22 | 2821604 | 2095522 | 14347 331 | 609 | 16 1608.69/1609.17 c 1588s | 22 | 2823902 | 2097722 | 14347 332 | 609 | 16 1610.79/1611.22 c 1590s | 22 | 2826259 | 2100022 | 14347 332 | 609 | 16 1612.89/1613.32 c 1592s | 22 | 2828555 | 2102222 | 14347 332 | 609 | 16 1614.99/1615.48 c 1594s | 22 | 2830339 | 2103922 | 14347 333 | 609 | 16 1616.99/1617.48 c 1596s | 22 | 2832791 | 2106322 | 14347 333 | 609 | 16 1619.38/1619.83 c 1598s | 22 | 2833197 | 2106722 | 14347 333 | 609 | 16 1621.38/1621.85 c 1600s | 22 | 2834976 | 2108422 | 14347 333 | 609 | 16 1623.58/1624.03 c 1603s | 22 | 2837711 | 2111022 | 14347 334 | 609 | 16 1625.58/1626.04 c 1605s | 22 | 2842104 | 2115222 | 14347 334 | 609 | 16 1627.59/1628.06 c 1607s | 22 | 2845373 | 2118422 | 14347 334 | 609 | 16 1629.58/1630.07 c 1609s | 22 | 2848032 | 2121022 | 14347 335 | 609 | 16 1631.68/1632.14 c 1611s | 22 | 2852101 | 2124922 | 14347 335 | 609 | 16 1633.78/1634.27 c 1613s | 22 | 2853588 | 2126322 | 14347 336 | 609 | 16 1636.09/1636.57 c 1615s | 22 | 2854324 | 2127022 | 14347 336 | 609 | 16 1638.19/1638.65 c 1617s | 22 | 2857261 | 2129822 | 14347 336 | 609 | 16 1640.29/1640.70 c 1619s | 22 | 2859632 | 2132122 | 14347 336 | 609 | 16 1642.39/1642.83 c 1621s | 22 | 2861633 | 2134022 | 14347 337 | 609 | 16 1646.19/1646.67 c 1625s | 22 | 2864512 | 2136722 | 14347 337 | 609 | 16 1648.29/1648.71 c 1627s | 22 | 2867861 | 2139922 | 14347 337 | 609 | 16 1650.29/1650.72 c 1629s | 22 | 2870674 | 2142622 | 14347 338 | 609 | 16 1653.68/1654.14 c 1633s | 22 | 2873296 | 2145022 | 14347 338 | 609 | 16 1655.68/1656.18 c 1635s | 22 | 2877076 | 2148522 | 14347 338 | 609 | 16 1657.78/1658.22 c 1637s | 22 | 2880207 | 2151522 | 14347 339 | 609 | 16 1659.78/1660.26 c 1639s | 22 | 2883500 | 2154722 | 14347 339 | 609 | 16 1661.88/1662.33 c 1641s | 22 | 2884668 | 2155722 | 14347 339 | 609 | 16 1663.89/1664.35 c 1643s | 22 | 2886751 | 2157722 | 14347 340 | 609 | 16 1665.98/1666.40 c 1645s | 22 | 2890718 | 2161422 | 14347 340 | 609 | 16 1668.08/1668.56 c 1647s | 22 | 2894223 | 2164822 | 14347 341 | 609 | 16 1670.08/1670.57 c 1649s | 22 | 2896917 | 2167422 | 14347 341 | 609 | 16 1672.18/1672.66 c 1651s | 22 | 2897828 | 2168322 | 14347 341 | 609 | 16 1674.28/1674.72 c 1653s | 22 | 2901759 | 2172022 | 14347 341 | 609 | 16 1676.28/1676.73 c 1655s | 22 | 2904957 | 2174922 | 14347 342 | 609 | 16 1678.77/1679.25 c 1658s | 22 | 2907467 | 2177222 | 14347 342 | 609 | 16 1680.77/1681.29 c 1660s | 22 | 2910123 | 2179622 | 14347 342 | 609 | 16 1682.87/1683.36 c 1662s | 22 | 2912735 | 2182122 | 14347 343 | 609 | 16 1684.97/1685.41 c 1664s | 22 | 2915857 | 2185022 | 14347 343 | 609 | 16 1687.08/1687.50 c 1666s | 22 | 2918627 | 2187522 | 14347 343 | 609 | 16 1690.98/1691.46 c 1670s | 22 | 2920995 | 2189722 | 14347 344 | 609 | 16 1693.08/1693.52 c 1672s | 22 | 2924195 | 2192622 | 14347 344 | 609 | 16 1695.18/1695.61 c 1674s | 22 | 2927052 | 2195322 | 14347 344 | 609 | 16 1697.18/1697.69 c 1676s | 22 | 2929926 | 2198022 | 14347 345 | 609 | 16 1699.28/1699.75 c 1678s | 22 | 2932706 | 2200622 | 14347 345 | 609 | 16 1701.28/1701.79 c 1680s | 22 | 2934944 | 2202722 | 14347 345 | 609 | 16 1703.38/1703.80 c 1682s | 22 | 2937549 | 2205022 | 14347 346 | 609 | 16 1705.38/1705.83 c 1684s | 22 | 2940371 | 2207722 | 14347 346 | 609 | 16 1707.48/1707.91 c 1686s | 22 | 2942767 | 2210022 | 14347 346 | 609 | 16 1709.48/1709.92 c 1688s | 22 | 2945379 | 2212522 | 14347 347 | 609 | 16 1713.27/1713.78 c 1692s | 22 | 2947857 | 2214822 | 14347 347 | 609 | 16 1715.37/1715.86 c 1694s | 22 | 2950789 | 2217522 | 14347 347 | 609 | 16 1717.37/1717.88 c 1696s | 22 | 2953398 | 2219922 | 14347 348 | 609 | 16 1719.37/1719.89 c 1698s | 22 | 2956060 | 2222522 | 14347 348 | 609 | 16 1721.47/1721.92 c 1700s | 22 | 2958555 | 2224922 | 15782 348 | 609 | 16 1723.47/1723.97 c 1703s | 22 | 2960790 | 2227022 | 15782 348 | 609 | 16 1725.58/1726.03 c 1705s | 22 | 2962953 | 2229022 | 15782 349 | 609 | 16 1727.57/1728.09 c 1707s | 22 | 2965988 | 2231822 | 15782 349 | 609 | 16 1729.67/1730.17 c 1709s | 22 | 2968961 | 2234622 | 15782 349 | 609 | 16 1731.77/1732.24 c 1711s | 22 | 2970823 | 2236422 | 15782 350 | 609 | 16 1733.77/1734.25 c 1713s | 22 | 2973278 | 2238822 | 15782 350 | 609 | 16 1735.87/1736.30 c 1715s | 22 | 2975792 | 2241222 | 15782 350 | 609 | 16 1737.87/1738.38 c 1717s | 22 | 2978269 | 2243622 | 15782 350 | 609 | 16 1739.97/1740.42 c 1719s | 22 | 2980345 | 2245622 | 15782 351 | 609 | 16 1742.27/1742.79 c 1721s | 22 | 2982388 | 2247622 | 15782 351 | 609 | 16 1744.37/1744.85 c 1723s | 22 | 2985016 | 2250122 | 15782 351 | 609 | 16 1745.27/1745.73 c 1724s | 23 | 2985960 | 2251038 | 15782 351 | 609 | 16 1747.27/1747.77 c 1726s | 23 | 2996091 | 2255038 | 15782 352 | 609 | 16 1749.27/1749.79 c 1728s | 23 | 3001207 | 2259038 | 15782 352 | 609 | 16 1751.37/1751.82 c 1730s | 23 | 3006476 | 2263138 | 15782 353 | 609 | 16 1753.36/1753.87 c 1732s | 23 | 3010679 | 2267138 | 15782 353 | 609 | 16 1755.47/1755.96 c 1735s | 23 | 3013884 | 2269938 | 15782 354 | 609 | 16 1757.47/1757.99 c 1737s | 23 | 3018902 | 2274038 | 15782 354 | 609 | 16 1759.57/1760.04 c 1739s | 23 | 3023019 | 2277438 | 15782 354 | 609 | 16 1761.56/1762.05 c 1741s | 23 | 3030752 | 2280638 | 15782 355 | 609 | 16 1763.66/1764.15 c 1743s | 23 | 3037802 | 2286538 | 15782 356 | 609 | 16 1765.66/1766.15 c 1745s | 23 | 3042878 | 2290738 | 15782 356 | 609 | 16 1767.76/1768.23 c 1747s | 23 | 3045511 | 2292938 | 15782 356 | 609 | 16 1769.76/1770.28 c 1749s | 23 | 3048170 | 2295138 | 15782 357 | 609 | 16 1771.86/1772.33 c 1751s | 23 | 3051935 | 2298438 | 15782 357 | 609 | 16 1773.87/1774.39 c 1753s | 23 | 3055815 | 2301538 | 15782 357 | 609 | 16 1776.07/1776.53 c 1755s | 23 | 3058353 | 2303638 | 15782 358 | 609 | 16 1778.07/1778.55 c 1757s | 23 | 3061735 | 2306638 | 15782 358 | 609 | 16 1780.17/1780.63 c 1759s | 23 | 3065381 | 2309838 | 15782 358 | 609 | 16 1782.17/1782.68 c 1761s | 23 | 3067932 | 2312138 | 15782 359 | 609 | 16 1784.67/1785.16 c 1764s | 23 | 3070279 | 2314338 | 15782 359 | 609 | 16 1786.77/1787.23 c 1766s | 23 | 3073321 | 2317138 | 15782 359 | 609 | 16 1788.77/1789.26 c 1768s | 23 | 3075794 | 2319338 | 15782 359 | 609 | 16 1790.77/1791.27 c 1770s | 23 | 3078579 | 2321738 | 15782 360 | 609 | 16 1792.76/1793.28 c 1772s | 23 | 3082635 | 2324938 | 15782 360 | 609 | 16 1794.87/1795.37 c 1774s | 23 | 3086481 | 2328338 | 15782 361 | 609 | 16 1796.86/1797.40 c 1776s | 23 | 3090310 | 2331238 | 15782 361 | 609 | 16 1799.96/1800.42 c 1779s | 23 | 3093088 | 2333538 | 15782 361 | 609 | 16
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-4101753-1466226327/watcher-4101753-1466226327 -o /tmp/evaluation-result-4101753-1466226327/solver-4101753-1466226327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101753-1466226327.opb pid=17904 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.15 2.10 3/179 17907 /proc/meminfo: memFree=30017996/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=702908 CPUtime=0 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 2618 0 0 0 0 0 0 0 20 0 4 0 24679375 719777792 2979 33554432000 4194304 16246674 140735683478608 140735683478032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 176239 2989 441 2943 0 173133 0 [pid=17907/tid=17908] ppid=17904 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 736555008 3046 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=724412 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 741797888 3065 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=728508 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 745992192 3081 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 2.18 2.15 2.10 3/179 17907 /proc/meminfo: memFree=30017996/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 27503 0 0 0 6 3 0 0 20 0 4 0 24679375 1333334016 27803 33554432000 4194304 16246674 140735683478608 140735683477920 7377589 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 325521 27818 799 2943 0 322415 0 [pid=17907/tid=17908] ppid=17904 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1333334016 27828 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1333334016 27840 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1333334016 27851 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200579 s] /proc/loadavg: 2.18 2.15 2.10 3/179 17907 /proc/meminfo: memFree=30017996/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=0.18 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 43252 0 0 0 13 5 0 0 20 0 4 0 24679375 1344868352 44062 33554432000 4194304 16246674 140735683478608 140735683477920 7440051 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 44062 800 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 44062 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 44062 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 44062 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1313348 [startup+0.300548 s] /proc/loadavg: 2.18 2.15 2.10 3/179 17907 /proc/meminfo: memFree=30017996/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=0.28 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 59085 0 0 0 21 7 0 0 20 0 4 0 24679375 1344868352 59895 33554432000 4194304 16246674 140735683478608 140735683477920 13008976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 59895 833 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 59895 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 59895 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 59895 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1313348 [startup+0.700402 s] /proc/loadavg: 2.18 2.15 2.10 3/179 17907 /proc/meminfo: memFree=30017996/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 171963 0 0 0 46 23 0 0 20 0 4 0 24679375 1344868352 172774 33554432000 4194304 16246674 140735683478608 140735683477920 12654533 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 172791 833 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 172801 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 172812 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 172822 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.17 2.15 2.10 3/183 17911 /proc/meminfo: memFree=28940392/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 268950 0 0 0 113 36 0 0 20 0 4 0 24679375 1344868352 269760 33554432000 4194304 16246674 140735683478608 140735683477920 12429162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 269760 833 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269760 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269760 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269760 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.17 2.15 2.10 3/183 17911 /proc/meminfo: memFree=28939772/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=3.09 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 268953 0 0 0 273 36 0 0 20 0 4 0 24679375 1344868352 269763 33554432000 4194304 16246674 140735683478608 140735683476416 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 269763 833 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269763 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269763 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269763 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1313348 [startup+6.30044 s] /proc/loadavg: 2.17 2.15 2.10 3/183 17911 /proc/meminfo: memFree=28939372/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=6.28 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 269031 0 0 0 592 36 0 0 20 0 4 0 24679375 1344868352 269841 33554432000 4194304 16246674 140735683478608 140735683460480 5600072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 269841 908 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269841 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269841 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269841 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1313348 [startup+12.7004 s] /proc/loadavg: 2.14 2.14 2.10 3/183 17911 /proc/meminfo: memFree=28939396/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=12.68 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 269038 0 0 0 1232 36 0 0 20 0 4 0 24679375 1344868352 269848 33554432000 4194304 16246674 140735683478608 140735683460480 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 269848 913 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269848 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269848 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269848 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.12 2.14 2.09 3/183 17911 /proc/meminfo: memFree=28931544/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1313348 CPUtime=25.48 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 269039 0 0 0 2512 36 0 0 20 0 4 0 24679375 1344868352 269849 33554432000 4194304 16246674 140735683478608 140735683460480 5600492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 328337 269849 914 2943 0 325231 0 [pid=17907/tid=17908] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269849 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269849 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1344868352 269849 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1313348 [startup+51.1005 s] /proc/loadavg: 2.22 2.16 2.10 4/183 17911 /proc/meminfo: memFree=28882668/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1330756 CPUtime=51.08 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 273395 0 0 0 5071 37 0 0 20 0 4 0 24679375 1362694144 274205 33554432000 4194304 16246674 140735683478608 140735683460480 5823765 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 332689 274205 918 2943 0 329583 0 [pid=17907/tid=17908] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274205 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274205 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274205 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1330756 [startup+102.301 s] /proc/loadavg: 2.38 2.21 2.12 3/183 17913 /proc/meminfo: memFree=28801812/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1330756 CPUtime=102.28 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 273396 0 0 0 10190 38 0 0 20 0 4 0 24679375 1362694144 274206 33554432000 4194304 16246674 140735683478608 140735683460480 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 332689 274206 919 2943 0 329583 0 [pid=17907/tid=17908] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274206 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274206 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1362694144 274206 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1330756 ################ # More data... # ################ /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1389124 [startup+1362.3 s] /proc/loadavg: 2.02 2.09 2.10 3/183 17944 /proc/meminfo: memFree=28333236/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1389124 CPUtime=1361.92 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 288277 0 0 0 136130 62 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 140735683460480 5823146 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 347281 289055 920 2943 0 344175 0 [pid=17907/tid=17908] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1389124 [startup+1422.3 s] /proc/loadavg: 2.01 2.07 2.09 3/183 17945 /proc/meminfo: memFree=28333128/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1389124 CPUtime=1421.92 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 288280 0 0 0 142129 63 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 140735683476416 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 347281 289055 920 2943 0 344175 0 [pid=17907/tid=17908] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1389124 [startup+1482.3 s] /proc/loadavg: 2.00 2.06 2.08 3/184 17998 /proc/meminfo: memFree=29118376/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1389124 CPUtime=1481.91 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 288280 0 0 0 148127 64 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 140735683476416 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 347281 289055 920 2943 0 344175 0 [pid=17907/tid=17908] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1389124 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1422462976 289055 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1389124 [startup+1542.31 s] /proc/loadavg: 2.20 2.09 2.09 3/183 17999 /proc/meminfo: memFree=28291604/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1541.9 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 154125 65 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683460480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1402436 [startup+1602.3 s] /proc/loadavg: 2.25 2.12 2.10 3/183 18000 /proc/meminfo: memFree=28291608/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1601.89 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 160123 66 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683460480 5600476 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1402436 [startup+1662.3 s] /proc/loadavg: 2.09 2.10 2.09 3/183 18002 /proc/meminfo: memFree=28291112/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1661.88 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 166121 67 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683476480 5823631 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1402436 [startup+1722.3 s] /proc/loadavg: 2.11 2.09 2.09 3/183 18003 /proc/meminfo: memFree=28291248/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1721.87 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 172119 68 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683460480 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1402436 [startup+1782.3 s] /proc/loadavg: 2.09 2.09 2.09 3/183 18004 /proc/meminfo: memFree=27917272/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1781.87 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 178118 69 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683460480 5677392 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1402436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.09 3/183 18004 /proc/meminfo: memFree=27917656/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1800.06 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 179937 69 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683477784 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1402436 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 17907 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.07 2.08 2.09 3/183 18004 /proc/meminfo: memFree=27917656/32872528 swapFree=1191052/1305516 [pid=17907] ppid=17904 vsize=1402436 CPUtime=1800.06 cores=0,2,4,6 /proc/17907/stat : 17907 (toysat) R 17904 17907 14522 0 -1 4202496 291608 0 0 0 179937 69 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 140735683477784 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/17907/statm: 350609 292383 920 2943 0 347503 0 [pid=17907/tid=17908] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17908/stat : 17908 (toysat) S 17904 17907 14522 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763559410928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=17907/tid=17909] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17909/stat : 17909 (toysat) S 17904 17907 14522 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763548921072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=17907/tid=17910] ppid=17904 vsize=1402436 CPUtime=0 cores=0,2,4,6 /proc/17907/task/17910/stat : 17910 (toysat) S 17904 17907 14522 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24679375 1436094464 292383 33554432000 4194304 16246674 140735683478608 139763470298288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1402436 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.38 CPU system time (s): 0.691894 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1402436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.38 system time used= 0.691894 maximum resident set size= 1169532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 291608 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= 306 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.31158 second user time and 19.0971 second system time The end
Begin job on node127 at 2016-06-18 07:05:27 IDJOB=4101753 IDBENCH=1790 IDSOLVER=2542 FILE ID=node127/4101753-1466226327 RUNJOBID= node127-1466206072-14538 PBS_JOBID= 19918150 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-liu.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101753-1466226327/watcher-4101753-1466226327 -o /tmp/evaluation-result-4101753-1466226327/solver-4101753-1466226327 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466206072-14538 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101753-1466226327.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d5cbc530e20e0da41254bd2567f4c2ba RANDOM SEED=1966720963 node127.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.769 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.53 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.769 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.769 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.56 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.769 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.56 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.769 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.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 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: 30018392 kB Buffers: 119292 kB Cached: 135272 kB SwapCached: 528 kB Active: 655792 kB Inactive: 155188 kB Active(anon): 557928 kB Inactive(anon): 864 kB Active(file): 97864 kB Inactive(file): 154324 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 17768 kB Writeback: 0 kB AnonPages: 2062356 kB Mapped: 11004 kB Shmem: 0 kB Slab: 603660 kB SReclaimable: 47652 kB SUnreclaim: 556008 kB KernelStack: 1488 kB PageTables: 8576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2531404 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 315392 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= 71696 MiB End job on node127 at 2016-06-18 07:35:28