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.11 | 1800.48 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
| MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 3190784 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3208192 |
| Optimality of the best value was proved | NO |
| Number of variables | 3720 |
| Total number of constraints | 142 |
| 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 | 142 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 3720 |
| Biggest coefficient in the objective function | 5368709120 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 679702048135 |
| Number of bits of the sum of numbers in the objective function | 40 |
| Biggest number in a constraint | 5368709120 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 679702048135 |
| Number of bits of the biggest sum of numbers | 40 |
| 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-18T09:07:20+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-4103197-1466233640.opb"] 0.00/0.01 c use --random-gen="157109283 1562561952 202624195 2413298681 865230354 3088206714 597424120 3778048072 3341457586 4114450553 1371915033 1553633231 3147652521 486340302 139115668 1281667150 480705608 350967726 1278637139 1012889889 989365275 1896451620 3586019049 696073329 2556949055 1377799186 2139432915 3515308223 3715811994 1380346640 1604387791 902186053 3337355316 1575818298 1366691773 2676597005 3817852264 3046875438 621051508 397976800 3102595986 2765708779 3734574608 290671517 4191472578 2234601143 4211143688 1396387948 1479862147 1228495168 3501190847 1992049561 4056463531 637410132 3402321437 1000554809 774619932 3233020154 2834411124 2884314395 95135784 2485200401 753648346 1560735192 1158377386 2420507069 4076645803 1726575610 2002392808 2493901151 2887524726 3145173769 2329576595 3095746805 170306710 3075099612 1825959663 1173330090 2844050625 4268313394 172301652 4270904751 724176805 1675474883 2473912418 3221270311 3801399329 607653695 3699418676 3442811458 1455775859 2933350678 976465606 2243672980 2832335150 1783099017 1184779532 2512923432 1676751054 3591525278 868768843 3988686373 954995313 401960299 1523053029 4293980703 2977230269 3508961131 1002398639 3424504127 3367943215 2957944557 4188241277 426803821 399542763 2999594220 2577087771 642074714 3066744499 3545624414 3833933788 2620177211 1494251843 2948930727 139097089 2057752452 949440613 622501181 2994366793 1434782598 894847125 794985012 2687271267 1774218487 2642442717 3093366622 921232516 3852817787 415573392 384760695 2147256200 2242151947 4291790855 167570164 665550207 4160788533 1880129431 1230268105 1170125919 1466490379 3517931093 2616616451 1497650575 3173761070 1806256735 2641255020 2895185761 104119996 182898073 272035826 155557558 1105430473 3603724309 3695684303 1617787491 3380692429 492035985 3802248156 3828068854 4018778441 2745794925 1333480516 3129077137 4224930319 3194500779 3288187117 537704272 3230428873 1113358977 33002099 1641797415 548569313 2063626668 3860282915 2433219297 3919563576 1529750951 3804090772 172626421 961088781 3672672187 484361538 1105922426 2186378263 1138310951 3383392341 3828206690 556514996 3254651698 511605693 4161755647 3007915096 2756192783 3435341424 2665909599 2356493729 35981708 952639252 2494540924 368459473 645528221 2385463174 2194185305 2887782809 2618459905 2582706147 1466751733 4070630386 1845599445 4038164083 1330943590 2814675488 2579236163 2313382275 307609017 4194063720 1712240035 2659865146 2685337307 2325945820 1926394902 2504950326 4130086556 918155734 591679939 379155273 217082564 809298544 3208785639 1713363389 3886445068 3098465687 914927906 2905921828 2561153343 84148296 2868335728 3233832182 2608372553 1537700316 4181590618 359994879 3221628030 3828993992 2253741274 11474219 255 362436" option to reproduce the execution 0.00/0.04 c #vars 3720 0.00/0.04 c #constraints 142 0.09/0.18 c BCD2: Hardening is enabled. 0.09/0.18 c BCD2: BiasedSearch is enabled. 0.09/0.18 c Solving starts ... 0.09/0.18 c ============================[ Search Statistics ]============================ 0.09/0.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.18 c | | | | Limit GC | Var | Constra 0.09/0.18 c ============================================================================= 0.09/0.18 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 0.19/0.20 c 0.0s | 0 | 198 | 0 | 1294 0 | 2034 | 0 0.19/0.20 c #cpu_time = 0.018s 0.19/0.20 c #wall_clock_time = 0.018s 0.19/0.20 c #decision = 198 0.19/0.20 c #random_decision = 0 0.19/0.20 c #conflict = 0 0.19/0.20 c #restart = 0 0.19/0.20 o 24214539 12.10/12.13 c BCD2: hardening fixes 864 literals 12.10/12.13 c BCD2: updating upper bound: 679702048135 -> 24214538 12.10/12.14 c BCD2: 0 <= obj <= 24214538 12.10/12.14 c BCD2: #cores=0, #unrelaxed=2856, #relaxed=0, #hardened=864 12.10/12.14 c BCD2: #sat=1 #unsat=1 bias=1/2 12.10/12.14 c Solving starts ... 12.10/12.14 c ============================[ Search Statistics ]============================ 12.10/12.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.10/12.14 c | | | | Limit GC | Var | Constra 12.10/12.14 c ============================================================================= 12.10/12.14 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 12.10/12.14 c 0.0s | 0 | 16 | 1 | 1294 0 | 2034 | 0 12.10/12.14 c #cpu_time = 0.002s 12.10/12.14 c #wall_clock_time = 0.002s 12.10/12.14 c #decision = 16 12.10/12.14 c #random_decision = 0 12.10/12.14 c #conflict = 1 12.10/12.14 c #restart = 0 12.10/12.14 c BCD2: found a new core of size 11: cost of the new core is >=87040 12.10/12.14 c lower bound updated to 87040 23.99/24.01 c BCD2: 87040 <= obj <= 24214538 23.99/24.01 c BCD2: #cores=1, #unrelaxed=2845, #relaxed=11, #hardened=864 23.99/24.01 c BCD2: #sat=1 #unsat=2 bias=2/3 23.99/24.01 c Solving starts ... 23.99/24.01 c ============================[ Search Statistics ]============================ 23.99/24.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 23.99/24.01 c | | | | Limit GC | Var | Constra 23.99/24.01 c ============================================================================= 23.99/24.01 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 23.99/24.01 c 0.0s | 0 | 16 | 1 | 1294 0 | 2034 | 0 23.99/24.01 c #cpu_time = 0.003s 23.99/24.01 c #wall_clock_time = 0.003s 23.99/24.01 c #decision = 16 23.99/24.01 c #random_decision = 0 23.99/24.01 c #conflict = 1 23.99/24.01 c #restart = 0 23.99/24.01 c BCD2: found a new core of size 8: cost of the new core is >=89088 23.99/24.01 c lower bound updated to 176128 35.69/35.75 c BCD2: 176128 <= obj <= 24214538 35.69/35.75 c BCD2: #cores=2, #unrelaxed=2837, #relaxed=19, #hardened=864 35.69/35.75 c BCD2: #sat=1 #unsat=3 bias=3/4 35.69/35.75 c Solving starts ... 35.69/35.75 c ============================[ Search Statistics ]============================ 35.69/35.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 35.69/35.75 c | | | | Limit GC | Var | Constra 35.69/35.75 c ============================================================================= 35.69/35.75 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 35.69/35.75 c 0.0s | 0 | 24 | 1 | 1294 0 | 2034 | 0 35.69/35.75 c #cpu_time = 0.003s 35.69/35.75 c #wall_clock_time = 0.003s 35.69/35.75 c #decision = 24 35.69/35.75 c #random_decision = 0 35.69/35.75 c #conflict = 1 35.69/35.75 c #restart = 0 35.69/35.75 c BCD2: found a new core of size 10: cost of the new core is >=94208 35.69/35.75 c lower bound updated to 270336 47.48/47.55 c BCD2: 270336 <= obj <= 24214538 47.48/47.55 c BCD2: #cores=3, #unrelaxed=2827, #relaxed=29, #hardened=864 47.48/47.55 c BCD2: #sat=1 #unsat=4 bias=4/5 47.48/47.55 c Solving starts ... 47.48/47.55 c ============================[ Search Statistics ]============================ 47.48/47.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 47.48/47.55 c | | | | Limit GC | Var | Constra 47.48/47.55 c ============================================================================= 47.48/47.55 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 47.48/47.55 c 0.0s | 0 | 29 | 0 | 1294 0 | 2034 | 0 47.48/47.55 c #cpu_time = 0.003s 47.48/47.55 c #wall_clock_time = 0.003s 47.48/47.55 c #decision = 29 47.48/47.55 c #random_decision = 0 47.48/47.55 c #conflict = 0 47.48/47.55 c #restart = 0 47.48/47.55 c BCD2: found a new core of size 11: cost of the new core is >=84992 47.48/47.55 c lower bound updated to 355328 58.77/58.89 c BCD2: 355328 <= obj <= 24214538 58.77/58.89 c BCD2: #cores=4, #unrelaxed=2816, #relaxed=40, #hardened=864 58.77/58.89 c BCD2: #sat=1 #unsat=5 bias=5/6 58.77/58.89 c Solving starts ... 58.77/58.89 c ============================[ Search Statistics ]============================ 58.77/58.89 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 58.77/58.89 c | | | | Limit GC | Var | Constra 58.77/58.89 c ============================================================================= 58.77/58.89 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 58.77/58.89 c 0.0s | 0 | 32 | 1 | 1294 0 | 2034 | 0 58.77/58.89 c #cpu_time = 0.003s 58.77/58.89 c #wall_clock_time = 0.003s 58.77/58.89 c #decision = 32 58.77/58.89 c #random_decision = 0 58.77/58.89 c #conflict = 1 58.77/58.89 c #restart = 0 58.77/58.89 c BCD2: found a new core of size 10: cost of the new core is >=117760 58.77/58.89 c lower bound updated to 473088 70.18/70.20 c BCD2: 473088 <= obj <= 24214538 70.18/70.20 c BCD2: #cores=5, #unrelaxed=2806, #relaxed=50, #hardened=864 70.18/70.20 c BCD2: #sat=1 #unsat=6 bias=6/7 70.18/70.20 c Solving starts ... 70.18/70.20 c ============================[ Search Statistics ]============================ 70.18/70.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 70.18/70.20 c | | | | Limit GC | Var | Constra 70.18/70.20 c ============================================================================= 70.18/70.20 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 70.18/70.21 c 0.0s | 0 | 34 | 1 | 1294 0 | 2034 | 0 70.18/70.21 c #cpu_time = 0.003s 70.18/70.21 c #wall_clock_time = 0.003s 70.18/70.21 c #decision = 34 70.18/70.21 c #random_decision = 0 70.18/70.21 c #conflict = 1 70.18/70.21 c #restart = 0 70.18/70.21 c BCD2: found a new core of size 8: cost of the new core is >=102400 70.18/70.21 c lower bound updated to 575488 81.48/81.53 c BCD2: 575488 <= obj <= 24214538 81.48/81.53 c BCD2: #cores=6, #unrelaxed=2798, #relaxed=58, #hardened=864 81.48/81.53 c BCD2: #sat=1 #unsat=7 bias=7/8 81.48/81.53 c Solving starts ... 81.48/81.53 c ============================[ Search Statistics ]============================ 81.48/81.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 81.48/81.53 c | | | | Limit GC | Var | Constra 81.48/81.53 c ============================================================================= 81.48/81.53 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 81.48/81.53 c 0.0s | 0 | 41 | 0 | 1294 0 | 2034 | 0 81.48/81.53 c #cpu_time = 0.003s 81.48/81.53 c #wall_clock_time = 0.003s 81.48/81.53 c #decision = 41 81.48/81.53 c #random_decision = 0 81.48/81.53 c #conflict = 0 81.48/81.53 c #restart = 0 81.48/81.53 c BCD2: found a new core of size 10: cost of the new core is >=132096 81.48/81.53 c lower bound updated to 707584 92.88/92.94 c BCD2: 707584 <= obj <= 24214538 92.88/92.94 c BCD2: #cores=7, #unrelaxed=2788, #relaxed=68, #hardened=864 92.88/92.94 c BCD2: #sat=1 #unsat=8 bias=8/9 92.88/92.94 c Solving starts ... 92.88/92.94 c ============================[ Search Statistics ]============================ 92.88/92.94 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 92.88/92.94 c | | | | Limit GC | Var | Constra 92.88/92.94 c ============================================================================= 92.88/92.94 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 92.88/92.94 c 0.0s | 0 | 45 | 1 | 1294 0 | 2034 | 0 92.88/92.94 c #cpu_time = 0.003s 92.88/92.94 c #wall_clock_time = 0.003s 92.88/92.94 c #decision = 45 92.88/92.94 c #random_decision = 0 92.88/92.94 c #conflict = 1 92.88/92.94 c #restart = 0 92.88/92.94 c BCD2: found a new core of size 10: cost of the new core is >=109568 92.88/92.94 c lower bound updated to 817152 104.27/104.31 c BCD2: 817152 <= obj <= 24214538 104.27/104.31 c BCD2: #cores=8, #unrelaxed=2778, #relaxed=78, #hardened=864 104.27/104.31 c BCD2: #sat=1 #unsat=9 bias=9/10 104.27/104.31 c Solving starts ... 104.27/104.31 c ============================[ Search Statistics ]============================ 104.27/104.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 104.27/104.31 c | | | | Limit GC | Var | Constra 104.27/104.31 c ============================================================================= 104.27/104.31 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 104.27/104.31 c 0.0s | 0 | 46 | 0 | 1294 0 | 2034 | 0 104.27/104.31 c #cpu_time = 0.003s 104.27/104.31 c #wall_clock_time = 0.003s 104.27/104.31 c #decision = 46 104.27/104.31 c #random_decision = 0 104.27/104.31 c #conflict = 0 104.27/104.31 c #restart = 0 104.27/104.31 c BCD2: found a new core of size 29: cost of the new core is >=84992 104.27/104.31 c lower bound updated to 902144 115.57/115.65 c BCD2: 902144 <= obj <= 24214538 115.57/115.65 c BCD2: #cores=9, #unrelaxed=2749, #relaxed=107, #hardened=864 115.57/115.65 c BCD2: #sat=1 #unsat=10 bias=10/11 115.57/115.65 c Solving starts ... 115.57/115.65 c ============================[ Search Statistics ]============================ 115.57/115.65 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 115.57/115.65 c | | | | Limit GC | Var | Constra 115.57/115.65 c ============================================================================= 115.57/115.65 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 115.57/115.66 c 0.0s | 0 | 212 | 1 | 1294 0 | 2034 | 0 115.57/115.66 c #cpu_time = 0.003s 115.57/115.66 c #wall_clock_time = 0.003s 115.57/115.66 c #decision = 212 115.57/115.66 c #random_decision = 0 115.57/115.66 c #conflict = 1 115.57/115.66 c #restart = 0 115.57/115.66 c BCD2: found a new core of size 127: cost of the new core is >=2 115.57/115.66 c lower bound updated to 902146 126.96/127.04 c BCD2: 902146 <= obj <= 24214538 126.96/127.04 c BCD2: #cores=10, #unrelaxed=2622, #relaxed=234, #hardened=864 126.96/127.04 c BCD2: #sat=1 #unsat=11 bias=11/12 126.96/127.05 c Solving starts ... 126.96/127.05 c ============================[ Search Statistics ]============================ 126.96/127.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 126.96/127.05 c | | | | Limit GC | Var | Constra 126.96/127.05 c ============================================================================= 126.96/127.05 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 126.96/127.06 c 0.0s | 0 | 217 | 0 | 1294 0 | 2034 | 0 126.96/127.06 c #cpu_time = 0.003s 126.96/127.06 c #wall_clock_time = 0.003s 126.96/127.06 c #decision = 217 126.96/127.06 c #random_decision = 0 126.96/127.06 c #conflict = 0 126.96/127.06 c #restart = 0 126.96/127.06 c BCD2: found a new core of size 85: cost of the new core is >=3 126.96/127.06 c lower bound updated to 902149 138.37/138.41 c BCD2: 902149 <= obj <= 24214538 138.37/138.41 c BCD2: #cores=11, #unrelaxed=2537, #relaxed=319, #hardened=864 138.37/138.41 c BCD2: #sat=1 #unsat=12 bias=12/13 138.37/138.45 c Solving starts ... 138.37/138.45 c ============================[ Search Statistics ]============================ 138.37/138.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 138.37/138.45 c | | | | Limit GC | Var | Constra 138.37/138.45 c ============================================================================= 138.37/138.45 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 138.37/138.46 c 0.0s | 0 | 329 | 1 | 1294 0 | 2034 | 0 138.37/138.46 c #cpu_time = 0.004s 138.37/138.46 c #wall_clock_time = 0.004s 138.37/138.46 c #decision = 329 138.37/138.46 c #random_decision = 0 138.37/138.46 c #conflict = 1 138.37/138.46 c #restart = 0 138.37/138.46 c BCD2: found a new core of size 119: cost of the new core is >=2 138.37/138.46 c lower bound updated to 902151 149.77/149.81 c BCD2: 902151 <= obj <= 24214538 149.77/149.81 c BCD2: #cores=12, #unrelaxed=2418, #relaxed=438, #hardened=864 149.77/149.81 c BCD2: #sat=1 #unsat=13 bias=13/14 153.17/153.21 c Solving starts ... 153.17/153.21 c ============================[ Search Statistics ]============================ 153.17/153.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 153.17/153.21 c | | | | Limit GC | Var | Constra 153.17/153.21 c ============================================================================= 153.17/153.21 c 0.0s | 0 | 0 | 0 | 1294 0 | 2034 | 0 153.17/153.21 c 0.0s | 0 | 401 | 0 | 1294 0 | 2034 | 0 153.17/153.21 c #cpu_time = 0.003s 153.17/153.21 c #wall_clock_time = 0.003s 153.17/153.21 c #decision = 401 153.17/153.21 c #random_decision = 0 153.17/153.21 c #conflict = 0 153.17/153.21 c #restart = 0 153.17/153.21 c BCD2: relaxing 46 and merging with 1 cores into a new core of size 173: cost of the new core is >=4 153.17/153.21 c lower bound updated to 902153 164.96/165.08 c BCD2: 902153 <= obj <= 24214538 164.96/165.08 c BCD2: #cores=12, #unrelaxed=2372, #relaxed=484, #hardened=864 164.96/165.08 c BCD2: #sat=1 #unsat=14 bias=14/15 165.86/165.99 c Solving starts ... 165.86/165.99 c ============================[ Search Statistics ]============================ 165.86/165.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 165.86/165.99 c | | | | Limit GC | Var | Constra 165.86/165.99 c ============================================================================= 165.86/165.99 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 0 165.96/166.00 c 0.0s | 0 | 376 | 1 | 1294 0 | 2037 | 5 165.96/166.00 c #cpu_time = 0.004s 165.96/166.00 c #wall_clock_time = 0.004s 165.96/166.00 c #decision = 376 165.96/166.00 c #random_decision = 0 165.96/166.00 c #conflict = 1 165.96/166.00 c #restart = 0 165.96/166.00 c BCD2: found a new core of size 132: cost of the new core is >=2 165.96/166.00 c lower bound updated to 902155 177.25/177.38 c BCD2: 902155 <= obj <= 24214538 177.25/177.38 c BCD2: #cores=13, #unrelaxed=2240, #relaxed=616, #hardened=864 177.25/177.38 c BCD2: #sat=1 #unsat=15 bias=15/16 178.66/178.77 c Solving starts ... 178.66/178.77 c ============================[ Search Statistics ]============================ 178.66/178.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 178.66/178.77 c | | | | Limit GC | Var | Constra 178.66/178.77 c ============================================================================= 178.66/178.77 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 178.66/178.78 c 0.0s | 0 | 390 | 0 | 1294 0 | 2037 | 5 178.66/178.78 c #cpu_time = 0.003s 178.66/178.78 c #wall_clock_time = 0.003s 178.66/178.78 c #decision = 390 178.66/178.78 c #random_decision = 0 178.66/178.78 c #conflict = 0 178.66/178.78 c #restart = 0 178.66/178.78 c BCD2: found a new core of size 62: cost of the new core is >=128 178.66/178.78 c lower bound updated to 902283 189.75/189.86 c BCD2: 902283 <= obj <= 24214538 189.75/189.86 c BCD2: #cores=14, #unrelaxed=2178, #relaxed=678, #hardened=864 189.75/189.86 c BCD2: #sat=1 #unsat=16 bias=16/17 191.16/191.29 c Solving starts ... 191.16/191.29 c ============================[ Search Statistics ]============================ 191.16/191.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 191.16/191.29 c | | | | Limit GC | Var | Constra 191.16/191.29 c ============================================================================= 191.16/191.29 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 191.16/191.29 c 0.0s | 0 | 473 | 0 | 1294 0 | 2037 | 5 191.16/191.29 c #cpu_time = 0.003s 191.16/191.29 c #wall_clock_time = 0.003s 191.16/191.29 c #decision = 473 191.16/191.29 c #random_decision = 0 191.16/191.29 c #conflict = 0 191.16/191.29 c #restart = 0 191.16/191.29 c BCD2: found a new core of size 85: cost of the new core is >=2 191.16/191.29 c lower bound updated to 902285 202.36/202.44 c BCD2: 902285 <= obj <= 24214538 202.36/202.44 c BCD2: #cores=15, #unrelaxed=2093, #relaxed=763, #hardened=864 202.36/202.44 c BCD2: #sat=1 #unsat=17 bias=17/18 203.75/203.81 c Solving starts ... 203.75/203.81 c ============================[ Search Statistics ]============================ 203.75/203.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 203.75/203.81 c | | | | Limit GC | Var | Constra 203.75/203.81 c ============================================================================= 203.75/203.81 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 203.75/203.82 c 0.0s | 0 | 590 | 0 | 1294 0 | 2037 | 5 203.75/203.82 c #cpu_time = 0.003s 203.75/203.82 c #wall_clock_time = 0.003s 203.75/203.82 c #decision = 590 203.75/203.82 c #random_decision = 0 203.75/203.82 c #conflict = 0 203.75/203.82 c #restart = 0 203.75/203.82 c BCD2: found a new core of size 109: cost of the new core is >=1 203.75/203.82 c lower bound updated to 902286 214.76/214.89 c BCD2: 902286 <= obj <= 24214538 214.76/214.89 c BCD2: #cores=16, #unrelaxed=1984, #relaxed=872, #hardened=864 214.76/214.89 c BCD2: #sat=1 #unsat=18 bias=18/19 217.46/217.55 c Solving starts ... 217.46/217.55 c ============================[ Search Statistics ]============================ 217.46/217.55 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 217.46/217.55 c | | | | Limit GC | Var | Constra 217.46/217.55 c ============================================================================= 217.46/217.55 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 217.46/217.55 c 0.0s | 0 | 640 | 0 | 1294 0 | 2037 | 5 217.46/217.55 c #cpu_time = 0.004s 217.46/217.55 c #wall_clock_time = 0.004s 217.46/217.55 c #decision = 640 217.46/217.55 c #random_decision = 0 217.46/217.55 c #conflict = 0 217.46/217.55 c #restart = 0 217.46/217.55 c BCD2: found a new core of size 217: cost of the new core is >=1 217.46/217.55 c lower bound updated to 902287 228.95/229.05 c BCD2: 902287 <= obj <= 24214538 228.95/229.05 c BCD2: #cores=17, #unrelaxed=1767, #relaxed=1089, #hardened=864 228.95/229.05 c BCD2: #sat=1 #unsat=19 bias=19/20 234.75/234.84 c Solving starts ... 234.75/234.84 c ============================[ Search Statistics ]============================ 234.75/234.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 234.75/234.84 c | | | | Limit GC | Var | Constra 234.75/234.84 c ============================================================================= 234.75/234.84 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 234.75/234.84 c 0.0s | 0 | 438 | 1 | 1294 0 | 2037 | 5 234.75/234.84 c #cpu_time = 0.004s 234.75/234.84 c #wall_clock_time = 0.004s 234.75/234.84 c #decision = 438 234.75/234.84 c #random_decision = 0 234.75/234.84 c #conflict = 1 234.75/234.84 c #restart = 0 234.75/234.84 c BCD2: found a new core of size 107: cost of the new core is >=2 234.75/234.84 c lower bound updated to 902289 246.45/246.55 c BCD2: 902289 <= obj <= 24214538 246.45/246.55 c BCD2: #cores=18, #unrelaxed=1660, #relaxed=1196, #hardened=864 246.45/246.55 c BCD2: #sat=1 #unsat=20 bias=20/21 251.65/251.79 c Solving starts ... 251.65/251.79 c ============================[ Search Statistics ]============================ 251.65/251.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 251.65/251.79 c | | | | Limit GC | Var | Constra 251.65/251.79 c ============================================================================= 251.65/251.79 c 0.0s | 0 | 0 | 0 | 1294 0 | 2037 | 5 251.86/251.94 c 0.1s | 1 | 904 | 100 | 1424 0 | 2037 | 5 251.96/252.04 c 0.3s | 2 | 1926 | 250 | 1567 0 | 2037 | 5 252.05/252.10 c 0.3s | 3 | 2674 | 475 | 1724 0 | 2037 | 5 252.15/252.20 c 0.4s | 4 | 3542 | 813 | 1897 0 | 2037 | 5 252.35/252.42 c 0.6s | 5 | 4885 | 1320 | 2087 0 | 2037 | 5 252.85/252.97 c 1.2s | 5 | 6426 | 1740 | 2087 0 | 2037 | 5 252.85/252.97 c #cpu_time = 1.170s 252.85/252.97 c #wall_clock_time = 1.173s 252.85/252.97 c #decision = 6426 252.85/252.97 c #random_decision = 15 252.85/252.97 c #conflict = 1740 252.85/252.97 c #restart = 5 252.85/252.97 o 15047877 255.45/255.53 c BCD2: hardening fixes 94 literals 255.45/255.53 c BCD2: updating upper bound: 24214538 -> 15047876 256.95/257.03 c BCD2: 902289 <= obj <= 15047876 256.95/257.03 c BCD2: #cores=18, #unrelaxed=1566, #relaxed=1196, #hardened=958 256.95/257.03 c BCD2: #sat=2 #unsat=20 bias=20/22 260.85/260.90 c Solving starts ... 260.85/260.90 c ============================[ Search Statistics ]============================ 260.85/260.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 260.85/260.90 c | | | | Limit GC | Var | Constra 260.85/260.90 c ============================================================================= 260.85/260.90 c 0.0s | 0 | 0 | 0 | 2087 0 | 2037 | 6 260.85/260.95 c 0.1s | 1 | 872 | 100 | 2087 0 | 2037 | 6 260.95/261.03 c 0.1s | 2 | 1593 | 250 | 2087 0 | 2037 | 6 261.05/261.16 c 0.3s | 3 | 2357 | 475 | 2296 0 | 2037 | 6 261.25/261.37 c 0.5s | 4 | 3211 | 813 | 2296 0 | 2037 | 6 261.55/261.67 c 0.8s | 5 | 4252 | 1320 | 2296 0 | 2037 | 6 262.05/262.15 c 1.3s | 6 | 5569 | 2081 | 2526 0 | 2037 | 6 262.86/262.90 c 2.0s | 7 | 7269 | 3223 | 2779 0 | 2037 | 6 263.96/264.08 c 3.2s | 8 | 9765 | 4936 | 2779 1 | 2037 | 6 265.35/265.45 c 4.6s | 9 | 12959 | 7506 | 3057 2 | 2037 | 6 267.26/267.34 c 6.4s | 10 | 17425 | 11361 | 3363 3 | 2037 | 6 269.25/269.37 c 8.5s | 10 | 22641 | 16061 | 3700 4 | 2037 | 6 269.85/269.96 c 9.1s | 11 | 23727 | 17144 | 3700 5 | 2037 | 6 271.95/272.00 c 11.1s | 11 | 29051 | 21944 | 3700 6 | 2037 | 6 273.65/273.76 c 12.9s | 12 | 32954 | 25819 | 4071 7 | 2037 | 6 275.75/275.86 c 15.0s | 12 | 37573 | 29919 | 4071 8 | 2037 | 6 277.75/277.88 c 17.0s | 12 | 41804 | 34119 | 4071 10 | 2037 | 6 279.85/279.91 c 19.0s | 12 | 46046 | 38319 | 4479 11 | 2037 | 6 280.05/280.14 c 19.2s | 13 | 46562 | 38832 | 4479 11 | 2037 | 6 282.25/282.34 c 21.4s | 13 | 51291 | 43032 | 4479 12 | 2037 | 6 284.25/284.34 c 23.4s | 13 | 56121 | 47832 | 4479 13 | 2037 | 6 286.25/286.38 c 25.5s | 13 | 60551 | 52232 | 4479 14 | 2037 | 6 288.26/288.38 c 27.5s | 13 | 64381 | 56032 | 4479 16 | 2037 | 6 289.36/289.43 c 28.5s | 14 | 66724 | 58352 | 4927 16 | 2037 | 6 291.35/291.45 c 30.6s | 14 | 71625 | 62252 | 4927 17 | 2037 | 6 293.45/293.51 c 32.6s | 14 | 75613 | 66152 | 4927 18 | 2037 | 6 295.45/295.56 c 34.7s | 14 | 78569 | 69052 | 4927 19 | 2037 | 6 297.45/297.56 c 36.7s | 14 | 82080 | 72352 | 4927 20 | 2037 | 6 299.55/299.63 c 38.7s | 14 | 85163 | 75352 | 4927 20 | 2037 | 6 301.55/301.67 c 40.8s | 14 | 88216 | 78352 | 4927 21 | 2037 | 6 303.55/303.70 c 42.8s | 14 | 91380 | 81452 | 4927 22 | 2037 | 6 305.65/305.71 c 44.8s | 14 | 94908 | 84752 | 4927 23 | 2037 | 6 307.65/307.72 c 46.8s | 15 | 97945 | 87632 | 5420 23 | 2037 | 6 309.64/309.77 c 48.9s | 15 | 103192 | 92332 | 5420 24 | 2037 | 6 311.74/311.80 c 50.9s | 15 | 107037 | 96132 | 5420 25 | 2037 | 6 313.74/313.82 c 52.9s | 15 | 110454 | 99532 | 5420 26 | 2037 | 6 315.75/315.83 c 54.9s | 15 | 113677 | 102732 | 5420 27 | 2037 | 6 317.74/317.87 c 57.0s | 15 | 116595 | 105632 | 5420 28 | 2037 | 6 319.74/319.87 c 59.0s | 15 | 119928 | 108932 | 5420 28 | 2037 | 6 321.74/321.88 c 61.0s | 15 | 123258 | 112232 | 5420 29 | 2037 | 6 323.84/323.90 c 63.0s | 15 | 126737 | 115232 | 5420 30 | 2037 | 6 325.84/325.90 c 65.0s | 15 | 128903 | 117332 | 5420 30 | 2037 | 6 327.85/327.93 c 67.0s | 15 | 132269 | 120632 | 5420 31 | 2037 | 6 329.84/329.95 c 69.1s | 15 | 135477 | 123732 | 5420 32 | 2037 | 6 331.84/331.97 c 71.1s | 15 | 138308 | 126532 | 5420 32 | 2037 | 6 333.84/333.97 c 73.1s | 15 | 141024 | 129232 | 5963 33 | 2037 | 6 335.84/335.91 c 75.0s | 16 | 143366 | 131552 | 5963 33 | 2037 | 6 337.84/337.96 c 77.1s | 16 | 147783 | 135452 | 5963 34 | 2037 | 6 339.85/340.00 c 79.1s | 16 | 151717 | 139352 | 5963 35 | 2037 | 6 341.94/342.01 c 81.1s | 16 | 155740 | 143352 | 5963 36 | 2037 | 6 343.94/344.02 c 83.1s | 16 | 159055 | 146652 | 5963 37 | 2037 | 6 345.94/346.06 c 85.2s | 16 | 162882 | 150452 | 5963 38 | 2037 | 6 348.04/348.10 c 87.2s | 16 | 166607 | 154152 | 5963 39 | 2037 | 6 350.04/350.12 c 89.2s | 16 | 171222 | 157952 | 5963 39 | 2037 | 6 352.04/352.14 c 91.2s | 16 | 174877 | 161452 | 5963 40 | 2037 | 6 354.04/354.18 c 93.3s | 16 | 177908 | 164352 | 5963 41 | 2037 | 6 356.13/356.23 c 95.3s | 16 | 180496 | 166852 | 5963 41 | 2037 | 6 358.13/358.29 c 97.4s | 16 | 183295 | 169552 | 5963 42 | 2037 | 6 360.23/360.33 c 99.4s | 16 | 186020 | 172252 | 5963 43 | 2037 | 6 362.23/362.33 c 101s | 16 | 188635 | 174852 | 5963 43 | 2037 | 6 364.53/364.64 c 103s | 16 | 191172 | 177352 | 5963 44 | 2037 | 6 366.53/366.65 c 105s | 16 | 193790 | 179852 | 5963 44 | 2037 | 6 368.63/368.71 c 107s | 16 | 195959 | 181952 | 5963 45 | 2037 | 6 370.64/370.73 c 109s | 16 | 198293 | 184252 | 5963 45 | 2037 | 6 372.63/372.76 c 111s | 16 | 200723 | 186652 | 5963 46 | 2037 | 6 374.73/374.82 c 113s | 16 | 203299 | 189152 | 5963 46 | 2037 | 6 376.73/376.87 c 115s | 16 | 205782 | 191552 | 5963 47 | 2037 | 6 378.73/378.87 c 117s | 16 | 208439 | 194052 | 5963 47 | 2037 | 6 380.73/380.89 c 119s | 16 | 210707 | 196252 | 6560 48 | 2037 | 6 381.73/381.82 c 120s | 17 | 211972 | 197432 | 6560 48 | 2037 | 6 383.73/383.82 c 122s | 17 | 216031 | 200832 | 6560 49 | 2037 | 6 385.73/385.88 c 124s | 17 | 219478 | 204132 | 6560 49 | 2037 | 6 387.83/387.91 c 127s | 17 | 223312 | 207332 | 6560 50 | 2037 | 6 388.63/388.75 c 127s | 17 | 224348 | 208012 | 6560 50 | 2037 | 6 388.63/388.75 c #cpu_time = 127.517s 388.63/388.75 c #wall_clock_time = 127.844s 388.63/388.75 c #decision = 224348 388.63/388.75 c #random_decision = 698 388.63/388.75 c #conflict = 208012 388.63/388.75 c #restart = 17 388.63/388.75 o 12747227 394.43/394.57 c BCD2: hardening fixes 26 literals 394.43/394.57 c BCD2: updating upper bound: 15047876 -> 12747226 398.93/399.04 c BCD2: 902289 <= obj <= 12747226 398.93/399.04 c BCD2: #cores=18, #unrelaxed=1540, #relaxed=1196, #hardened=984 398.93/399.04 c BCD2: #sat=3 #unsat=20 bias=20/23 404.32/404.40 c Solving starts ... 404.32/404.40 c ============================[ Search Statistics ]============================ 404.32/404.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 404.32/404.40 c | | | | Limit GC | Var | Constra 404.32/404.40 c ============================================================================= 404.32/404.40 c 0.0s | 0 | 0 | 0 | 6560 0 | 2037 | 7 404.42/404.50 c 0.1s | 1 | 739 | 100 | 6560 0 | 2037 | 7 404.52/404.60 c 0.2s | 2 | 1399 | 250 | 6560 0 | 2037 | 7 404.62/404.78 c 0.4s | 3 | 2334 | 475 | 6560 0 | 2037 | 7 404.83/404.98 c 0.6s | 4 | 3163 | 813 | 6560 0 | 2037 | 7 405.12/405.23 c 0.8s | 5 | 4155 | 1320 | 6560 0 | 2037 | 7 405.52/405.69 c 1.3s | 6 | 5421 | 2081 | 6560 1 | 2037 | 7 406.22/406.30 c 1.9s | 7 | 7360 | 3223 | 6560 1 | 2037 | 7 407.03/407.13 c 2.7s | 8 | 9642 | 4936 | 6560 1 | 2037 | 7 408.32/408.44 c 4.0s | 9 | 12858 | 7506 | 6560 2 | 2037 | 7 410.33/410.46 c 6.1s | 9 | 17506 | 11306 | 6560 3 | 2037 | 7 410.33/410.49 c 6.1s | 10 | 17565 | 11361 | 6560 3 | 2037 | 7 412.43/412.55 c 8.1s | 10 | 21819 | 14961 | 6560 3 | 2037 | 7 414.22/414.34 c 9.9s | 11 | 24113 | 17144 | 6560 4 | 2037 | 7 416.22/416.36 c 12.0s | 11 | 28991 | 21344 | 6560 5 | 2037 | 7 418.22/418.37 c 14.0s | 11 | 32302 | 24544 | 6560 5 | 2037 | 7 419.42/419.56 c 15.2s | 12 | 33592 | 25819 | 6560 6 | 2037 | 7 421.52/421.61 c 17.2s | 12 | 37641 | 29019 | 6560 6 | 2037 | 7 423.53/423.67 c 19.3s | 12 | 40858 | 31719 | 6560 7 | 2037 | 7 425.52/425.69 c 21.3s | 12 | 43613 | 34019 | 6560 7 | 2037 | 7 427.62/427.73 c 23.3s | 12 | 46003 | 36219 | 6560 8 | 2037 | 7 429.72/429.83 c 25.4s | 12 | 48122 | 38219 | 6560 8 | 2037 | 7 430.52/430.61 c 26.2s | 13 | 48799 | 38832 | 6560 8 | 2037 | 7 432.52/432.69 c 28.3s | 13 | 51014 | 40232 | 6560 9 | 2037 | 7 434.52/434.69 c 30.3s | 13 | 52739 | 41732 | 6560 9 | 2037 | 7 436.62/436.71 c 32.3s | 13 | 54318 | 43132 | 6560 9 | 2037 | 7 438.62/438.76 c 34.4s | 13 | 56040 | 44632 | 6560 9 | 2037 | 7 440.62/440.79 c 36.4s | 13 | 57935 | 46332 | 6560 10 | 2037 | 7 442.72/442.80 c 38.4s | 13 | 59841 | 48032 | 6560 10 | 2037 | 7 444.82/444.95 c 40.6s | 13 | 61675 | 49732 | 6560 11 | 2037 | 7 446.92/447.06 c 42.7s | 13 | 63245 | 51132 | 6560 11 | 2037 | 7 448.92/449.08 c 44.7s | 13 | 64548 | 52332 | 6560 11 | 2037 | 7 451.12/451.23 c 46.8s | 13 | 65992 | 53632 | 6560 11 | 2037 | 7 453.12/453.24 c 48.8s | 13 | 67322 | 54832 | 6560 12 | 2037 | 7 455.11/455.28 c 50.9s | 13 | 68714 | 56132 | 6560 12 | 2037 | 7 457.21/457.31 c 52.9s | 13 | 70067 | 57332 | 6560 12 | 2037 | 7 458.81/458.90 c 54.5s | 14 | 71158 | 58352 | 6560 12 | 2037 | 7 460.82/460.93 c 56.5s | 14 | 74400 | 60952 | 6560 13 | 2037 | 7 462.81/462.98 c 58.6s | 14 | 78782 | 65252 | 6560 14 | 2037 | 7 464.81/464.98 c 60.6s | 14 | 82437 | 68852 | 6560 15 | 2037 | 7 466.91/467.03 c 62.6s | 14 | 85757 | 72152 | 6560 15 | 2037 | 7 468.91/469.05 c 64.6s | 14 | 88520 | 74852 | 6560 16 | 2037 | 7 471.01/471.17 c 66.8s | 14 | 91892 | 78152 | 6560 17 | 2037 | 7 473.11/473.22 c 68.8s | 14 | 96679 | 82152 | 6560 17 | 2037 | 7 475.12/475.23 c 70.8s | 14 | 100106 | 85552 | 7217 18 | 2037 | 7 476.41/476.52 c 72.1s | 15 | 102202 | 87632 | 7217 18 | 2037 | 7 478.42/478.52 c 74.1s | 15 | 106922 | 91832 | 7217 19 | 2037 | 7 480.41/480.57 c 76.2s | 15 | 111130 | 96032 | 7217 20 | 2037 | 7 482.51/482.60 c 78.2s | 15 | 114649 | 99532 | 7217 21 | 2037 | 7 484.51/484.65 c 80.2s | 15 | 118066 | 102932 | 7217 21 | 2037 | 7 486.51/486.68 c 82.3s | 15 | 121477 | 106332 | 7217 22 | 2037 | 7 488.61/488.72 c 84.3s | 15 | 125291 | 110132 | 7217 23 | 2037 | 7 490.61/490.74 c 86.3s | 15 | 128207 | 113032 | 7217 23 | 2037 | 7 492.62/492.79 c 88.4s | 15 | 131321 | 116132 | 7217 24 | 2037 | 7 494.72/494.82 c 90.4s | 15 | 134042 | 118832 | 7217 25 | 2037 | 7 496.72/496.87 c 92.5s | 15 | 137757 | 122532 | 7217 25 | 2037 | 7 498.72/498.87 c 94.5s | 15 | 141296 | 126032 | 7217 26 | 2037 | 7 500.81/500.90 c 96.5s | 15 | 144015 | 128732 | 7217 27 | 2037 | 7 502.31/502.40 c 98.0s | 16 | 146850 | 131552 | 7217 27 | 2037 | 7 504.31/504.40 c 100.0s | 16 | 151073 | 135252 | 7217 28 | 2037 | 7 506.31/506.44 c 102s | 16 | 154701 | 138852 | 7217 29 | 2037 | 7 508.31/508.45 c 104s | 16 | 158533 | 142652 | 7217 29 | 2037 | 7 510.32/510.46 c 106s | 16 | 161688 | 145752 | 7217 30 | 2037 | 7 512.41/512.52 c 108s | 16 | 165719 | 149752 | 7217 31 | 2037 | 7 514.41/514.53 c 110s | 16 | 169139 | 153152 | 7217 31 | 2037 | 7 516.41/516.54 c 112s | 16 | 172358 | 156352 | 7217 32 | 2037 | 7 518.41/518.56 c 114s | 16 | 175183 | 159152 | 7217 33 | 2037 | 7 520.51/520.61 c 116s | 16 | 178316 | 162252 | 7217 33 | 2037 | 7 522.51/522.66 c 118s | 16 | 180236 | 164152 | 7217 34 | 2037 | 7 524.51/524.67 c 120s | 16 | 183357 | 167252 | 7217 34 | 2037 | 7 526.60/526.70 c 122s | 16 | 186284 | 170152 | 7217 35 | 2037 | 7 528.60/528.75 c 124s | 16 | 189319 | 173152 | 7217 35 | 2037 | 7 531.00/531.12 c 126s | 16 | 191233 | 175052 | 7217 36 | 2037 | 7 533.00/533.18 c 128s | 16 | 194361 | 178152 | 7217 36 | 2037 | 7 535.10/535.20 c 130s | 16 | 197587 | 181352 | 7217 37 | 2037 | 7 537.10/537.22 c 132s | 16 | 200512 | 184252 | 7217 38 | 2037 | 7 539.20/539.30 c 134s | 16 | 203629 | 187352 | 7217 38 | 2037 | 7 541.21/541.33 c 136s | 16 | 206044 | 189752 | 7217 39 | 2037 | 7 543.20/543.37 c 138s | 16 | 209372 | 193052 | 7217 39 | 2037 | 7 545.20/545.39 c 140s | 16 | 212494 | 196152 | 7217 40 | 2037 | 7 546.10/546.24 c 141s | 17 | 213778 | 197432 | 7217 40 | 2037 | 7 548.10/548.27 c 143s | 17 | 218299 | 201432 | 7217 41 | 2037 | 7 550.20/550.30 c 145s | 17 | 222126 | 205232 | 7217 42 | 2037 | 7 552.21/552.35 c 147s | 17 | 226055 | 209132 | 7217 42 | 2037 | 7 554.21/554.38 c 149s | 17 | 229176 | 212232 | 7217 43 | 2037 | 7 556.21/556.38 c 151s | 17 | 232684 | 215732 | 7217 44 | 2037 | 7 558.41/558.51 c 154s | 17 | 236301 | 219332 | 7217 45 | 2037 | 7 560.40/560.53 c 156s | 17 | 239615 | 222632 | 7217 45 | 2037 | 7 562.50/562.64 c 158s | 17 | 242929 | 225932 | 7217 46 | 2037 | 7 564.50/564.67 c 160s | 17 | 245953 | 228932 | 7217 46 | 2037 | 7 566.60/566.72 c 162s | 17 | 248667 | 231632 | 7939 47 | 2037 | 7 568.61/568.73 c 164s | 17 | 252290 | 235232 | 7939 48 | 2037 | 7 570.60/570.77 c 166s | 17 | 255009 | 237932 | 7939 48 | 2037 | 7 572.70/572.85 c 168s | 17 | 257825 | 240732 | 7939 49 | 2037 | 7 574.70/574.88 c 170s | 17 | 260549 | 243432 | 7939 49 | 2037 | 7 576.80/576.91 c 172s | 17 | 262965 | 245832 | 7939 49 | 2037 | 7 578.80/578.96 c 174s | 17 | 265605 | 248432 | 7939 50 | 2037 | 7 580.90/581.00 c 176s | 17 | 268140 | 250932 | 7939 50 | 2037 | 7 582.91/583.04 c 178s | 17 | 271219 | 253232 | 7939 51 | 2037 | 7 584.90/585.04 c 180s | 17 | 275414 | 257332 | 7939 52 | 2037 | 7 586.90/587.09 c 182s | 17 | 279140 | 260932 | 7939 52 | 2037 | 7 589.00/589.11 c 184s | 17 | 283985 | 265632 | 7939 53 | 2037 | 7 591.00/591.14 c 186s | 17 | 288683 | 270132 | 7939 54 | 2037 | 7 593.00/593.17 c 188s | 17 | 292747 | 274132 | 7939 55 | 2037 | 7 595.00/595.17 c 190s | 17 | 296488 | 277732 | 7939 55 | 2037 | 7 597.10/597.20 c 192s | 17 | 299431 | 280532 | 7939 56 | 2037 | 7 599.10/599.24 c 194s | 17 | 301601 | 282632 | 7939 56 | 2037 | 7 601.20/601.31 c 196s | 17 | 304184 | 285132 | 7939 57 | 2037 | 7 603.20/603.31 c 198s | 17 | 306542 | 287432 | 7939 57 | 2037 | 7 605.20/605.32 c 200s | 17 | 308489 | 289332 | 7939 57 | 2037 | 7 607.20/607.36 c 202s | 17 | 310625 | 291432 | 7939 58 | 2037 | 7 609.30/609.45 c 205s | 17 | 313591 | 294332 | 7939 58 | 2037 | 7 611.20/611.31 c 206s | 18 | 315577 | 296252 | 7939 59 | 2037 | 7 613.19/613.40 c 208s | 18 | 319923 | 299852 | 7939 59 | 2037 | 7 615.29/615.46 c 211s | 18 | 322875 | 302652 | 7939 60 | 2037 | 7 617.29/617.49 c 213s | 18 | 325771 | 305352 | 7939 60 | 2037 | 7 619.59/619.70 c 215s | 18 | 328225 | 307452 | 7939 61 | 2037 | 7 621.59/621.75 c 217s | 18 | 331884 | 310852 | 7939 61 | 2037 | 7 623.60/623.75 c 219s | 18 | 335636 | 314052 | 7939 62 | 2037 | 7 625.59/625.76 c 221s | 18 | 339256 | 317552 | 7939 63 | 2037 | 7 627.59/627.78 c 223s | 18 | 342238 | 320452 | 7939 63 | 2037 | 7 629.69/629.83 c 225s | 18 | 344964 | 323152 | 7939 64 | 2037 | 7 631.69/631.88 c 227s | 18 | 347373 | 325452 | 7939 64 | 2037 | 7 633.79/633.95 c 229s | 18 | 349854 | 327752 | 7939 64 | 2037 | 7 635.89/636.05 c 231s | 18 | 351886 | 329652 | 7939 65 | 2037 | 7 637.90/638.05 c 233s | 18 | 354048 | 331752 | 7939 65 | 2037 | 7 639.99/640.14 c 235s | 18 | 355928 | 333552 | 7939 65 | 2037 | 7 641.99/642.15 c 237s | 18 | 357342 | 334952 | 7939 66 | 2037 | 7 644.09/644.26 c 239s | 18 | 359040 | 336552 | 7939 66 | 2037 | 7 646.19/646.34 c 241s | 18 | 360693 | 338052 | 7939 66 | 2037 | 7 648.29/648.44 c 244s | 18 | 362229 | 339452 | 7939 67 | 2037 | 7 650.39/650.54 c 246s | 18 | 363839 | 340952 | 7939 67 | 2037 | 7 652.39/652.58 c 248s | 18 | 366870 | 343752 | 7939 67 | 2037 | 7 654.49/654.69 c 250s | 18 | 368958 | 345752 | 7939 68 | 2037 | 7 656.49/656.69 c 252s | 18 | 369988 | 346752 | 7939 68 | 2037 | 7 658.69/658.80 c 254s | 18 | 371020 | 347752 | 7939 68 | 2037 | 7 660.88/661.00 c 256s | 18 | 372416 | 349052 | 7939 68 | 2037 | 7 662.88/663.02 c 258s | 18 | 374112 | 350652 | 7939 69 | 2037 | 7 664.88/665.04 c 260s | 18 | 375585 | 351952 | 7939 69 | 2037 | 7 666.88/667.08 c 262s | 18 | 378213 | 354352 | 7939 69 | 2037 | 7 668.98/669.14 c 264s | 18 | 380737 | 356452 | 7939 70 | 2037 | 7 670.99/671.15 c 266s | 18 | 382954 | 358252 | 7939 70 | 2037 | 7 672.98/673.15 c 268s | 18 | 385326 | 360452 | 7939 70 | 2037 | 7 675.08/675.23 c 270s | 18 | 386994 | 362052 | 7939 71 | 2037 | 7 677.08/677.24 c 272s | 18 | 388671 | 363652 | 7939 71 | 2037 | 7 679.18/679.37 c 274s | 18 | 390116 | 365052 | 7939 71 | 2037 | 7 681.18/681.38 c 276s | 18 | 391688 | 366552 | 7939 72 | 2037 | 7 683.28/683.43 c 279s | 18 | 393342 | 368152 | 7939 72 | 2037 | 7 685.29/685.46 c 281s | 18 | 394917 | 369652 | 7939 72 | 2037 | 7 687.28/687.48 c 283s | 18 | 396842 | 371352 | 7939 72 | 2037 | 7 689.38/689.56 c 285s | 18 | 399482 | 373552 | 7939 73 | 2037 | 7 691.48/691.61 c 287s | 18 | 401862 | 375652 | 7939 73 | 2037 | 7 693.48/693.67 c 289s | 18 | 404134 | 377552 | 7939 74 | 2037 | 7 695.58/695.75 c 291s | 18 | 406033 | 379352 | 7939 74 | 2037 | 7 697.68/697.83 c 293s | 18 | 408647 | 381752 | 7939 74 | 2037 | 7 699.68/699.86 c 295s | 18 | 410612 | 383452 | 7939 75 | 2037 | 7 701.78/701.94 c 297s | 18 | 412245 | 384952 | 7939 75 | 2037 | 7 703.78/703.94 c 299s | 18 | 414243 | 386852 | 7939 75 | 2037 | 7 705.78/705.98 c 301s | 18 | 416839 | 389052 | 7939 76 | 2037 | 7 707.88/708.04 c 303s | 18 | 418708 | 390652 | 7939 76 | 2037 | 7 709.98/710.10 c 305s | 18 | 420472 | 392252 | 7939 76 | 2037 | 7 711.98/712.11 c 307s | 18 | 422984 | 394352 | 7939 77 | 2037 | 7 713.98/714.19 c 309s | 18 | 424537 | 395852 | 7939 77 | 2037 | 7 716.08/716.25 c 311s | 18 | 426089 | 397352 | 7939 77 | 2037 | 7 718.07/718.28 c 313s | 18 | 427593 | 398752 | 7939 77 | 2037 | 7 720.17/720.31 c 315s | 18 | 429765 | 400652 | 7939 78 | 2037 | 7 722.17/722.33 c 317s | 18 | 432673 | 403052 | 7939 78 | 2037 | 7 724.17/724.35 c 319s | 18 | 435096 | 405352 | 7939 79 | 2037 | 7 726.17/726.36 c 321s | 18 | 437104 | 407252 | 7939 79 | 2037 | 7 728.37/728.50 c 324s | 18 | 438547 | 408452 | 7939 79 | 2037 | 7 730.38/730.51 c 326s | 18 | 440174 | 409752 | 7939 79 | 2037 | 7 732.37/732.57 c 328s | 18 | 442756 | 412152 | 7939 80 | 2037 | 7 734.47/734.60 c 330s | 18 | 444926 | 414052 | 7939 80 | 2037 | 7 736.47/736.65 c 332s | 18 | 447607 | 416552 | 7939 81 | 2037 | 7 738.47/738.66 c 334s | 18 | 449944 | 418752 | 7939 81 | 2037 | 7 740.57/740.72 c 336s | 18 | 452510 | 420852 | 7939 81 | 2037 | 7 742.57/742.72 c 338s | 18 | 455102 | 423052 | 7939 82 | 2037 | 7 744.68/744.80 c 340s | 18 | 458050 | 425552 | 7939 82 | 2037 | 7 746.67/746.82 c 342s | 18 | 460799 | 427752 | 7939 83 | 2037 | 7 748.67/748.83 c 344s | 18 | 462693 | 429552 | 7939 83 | 2037 | 7 750.67/750.88 c 346s | 18 | 464623 | 431452 | 7939 83 | 2037 | 7 752.77/752.94 c 348s | 18 | 466875 | 433552 | 7939 84 | 2037 | 7 754.87/755.02 c 350s | 18 | 469985 | 436152 | 7939 84 | 2037 | 7 756.87/757.04 c 352s | 18 | 471232 | 437352 | 7939 84 | 2037 | 7 758.87/759.06 c 354s | 18 | 473351 | 439152 | 7939 85 | 2037 | 7 760.87/761.07 c 356s | 18 | 475472 | 440952 | 7939 85 | 2037 | 7 763.07/763.22 c 358s | 18 | 477999 | 443152 | 7939 86 | 2037 | 7 764.47/764.65 c 360s | 19 | 479398 | 444482 | 7939 86 | 2037 | 7 766.57/766.71 c 362s | 19 | 482455 | 446982 | 7939 86 | 2037 | 7 768.67/768.81 c 364s | 19 | 484522 | 448982 | 7939 87 | 2037 | 7 770.77/770.91 c 366s | 19 | 486254 | 450682 | 7939 87 | 2037 | 7 772.77/772.98 c 368s | 19 | 488169 | 452582 | 8733 87 | 2037 | 7 774.87/775.00 c 370s | 19 | 489968 | 454382 | 8733 87 | 2037 | 7 776.86/777.02 c 372s | 19 | 491693 | 456082 | 8733 88 | 2037 | 7 778.86/779.07 c 374s | 19 | 494013 | 458282 | 8733 88 | 2037 | 7 780.87/781.10 c 376s | 19 | 496710 | 460582 | 8733 88 | 2037 | 7 782.96/783.13 c 378s | 19 | 499625 | 462982 | 8733 89 | 2037 | 7 784.97/785.13 c 380s | 19 | 502467 | 465682 | 8733 89 | 2037 | 7 786.97/787.13 c 382s | 19 | 505638 | 468682 | 8733 90 | 2037 | 7 789.07/789.22 c 384s | 19 | 508220 | 471082 | 8733 90 | 2037 | 7 791.07/791.27 c 386s | 19 | 510164 | 472982 | 8733 91 | 2037 | 7 793.17/793.31 c 388s | 19 | 511962 | 474682 | 8733 91 | 2037 | 7 795.18/795.34 c 390s | 19 | 513743 | 476382 | 8733 91 | 2037 | 7 797.27/797.47 c 393s | 19 | 515577 | 478082 | 8733 91 | 2037 | 7 799.27/799.48 c 395s | 19 | 517471 | 479882 | 8733 92 | 2037 | 7 801.37/801.51 c 397s | 19 | 519617 | 481882 | 8733 92 | 2037 | 7 803.37/803.53 c 399s | 19 | 522175 | 483982 | 8733 92 | 2037 | 7 805.47/805.65 c 401s | 19 | 524112 | 485782 | 8733 93 | 2037 | 7 807.47/807.68 c 403s | 19 | 526151 | 487782 | 8733 93 | 2037 | 7 809.57/809.78 c 405s | 19 | 527835 | 489382 | 8733 93 | 2037 | 7 811.57/811.78 c 407s | 19 | 529128 | 490582 | 8733 94 | 2037 | 7 813.67/813.89 c 409s | 19 | 531139 | 492482 | 8733 94 | 2037 | 7 815.77/815.95 c 411s | 19 | 533477 | 494582 | 8733 94 | 2037 | 7 817.77/817.96 c 413s | 19 | 536771 | 496982 | 8733 95 | 2037 | 7 819.87/820.00 c 415s | 19 | 539786 | 499682 | 8733 95 | 2037 | 7 821.87/822.06 c 417s | 19 | 542555 | 502382 | 8733 96 | 2037 | 7 823.87/824.06 c 419s | 19 | 545229 | 504882 | 8733 96 | 2037 | 7 825.87/826.09 c 421s | 19 | 548457 | 507982 | 8733 96 | 2037 | 7 827.97/828.11 c 423s | 19 | 550583 | 509982 | 8733 97 | 2037 | 7 829.96/830.18 c 425s | 19 | 553393 | 512482 | 8733 97 | 2037 | 7 832.06/832.20 c 427s | 19 | 555677 | 514582 | 8733 98 | 2037 | 7 834.06/834.25 c 429s | 19 | 558148 | 516682 | 8733 98 | 2037 | 7 836.06/836.26 c 431s | 19 | 560166 | 518582 | 8733 98 | 2037 | 7 838.17/838.38 c 433s | 19 | 562661 | 520482 | 8733 99 | 2037 | 7 840.27/840.42 c 436s | 19 | 564531 | 522282 | 8733 99 | 2037 | 7 842.36/842.50 c 438s | 19 | 566507 | 524182 | 8733 99 | 2037 | 7 844.36/844.53 c 440s | 19 | 569317 | 526682 | 8733 100 | 2037 | 7 846.36/846.53 c 442s | 19 | 571104 | 528382 | 8733 100 | 2037 | 7 848.46/848.60 c 444s | 19 | 572990 | 530182 | 8733 100 | 2037 | 7 850.46/850.64 c 446s | 19 | 574754 | 531882 | 8733 101 | 2037 | 7 852.47/852.65 c 448s | 19 | 577622 | 534682 | 8733 101 | 2037 | 7 854.46/854.67 c 450s | 19 | 580467 | 537482 | 8733 102 | 2037 | 7 856.56/856.71 c 452s | 19 | 583901 | 540682 | 8733 102 | 2037 | 7 858.76/858.90 c 454s | 19 | 586482 | 542982 | 8733 102 | 2037 | 7 860.76/860.90 c 456s | 19 | 588492 | 544882 | 8733 103 | 2037 | 7 862.76/862.94 c 458s | 19 | 591071 | 547282 | 8733 103 | 2037 | 7 864.76/864.98 c 460s | 19 | 593710 | 549882 | 8733 104 | 2037 | 7 866.76/866.99 c 462s | 19 | 596422 | 552482 | 8733 104 | 2037 | 7 868.86/869.06 c 464s | 19 | 599045 | 554982 | 8733 105 | 2037 | 7 870.96/871.11 c 466s | 19 | 602759 | 558582 | 8733 105 | 2037 | 7 872.96/873.16 c 468s | 19 | 605710 | 561482 | 8733 106 | 2037 | 7 875.06/875.24 c 470s | 19 | 609751 | 565382 | 8733 106 | 2037 | 7 877.16/877.30 c 472s | 19 | 613261 | 568582 | 8733 107 | 2037 | 7 879.16/879.34 c 474s | 19 | 617264 | 572282 | 8733 107 | 2037 | 7 881.16/881.34 c 476s | 19 | 620210 | 574982 | 8733 108 | 2037 | 7 883.26/883.42 c 479s | 19 | 623339 | 577782 | 8733 108 | 2037 | 7 885.25/885.43 c 481s | 19 | 626695 | 580982 | 8733 109 | 2037 | 7 887.25/887.48 c 483s | 19 | 629560 | 583282 | 8733 109 | 2037 | 7 889.35/889.52 c 485s | 19 | 631654 | 585182 | 8733 110 | 2037 | 7 891.35/891.57 c 487s | 19 | 633362 | 586682 | 8733 110 | 2037 | 7 893.45/893.62 c 489s | 19 | 635680 | 588682 | 8733 110 | 2037 | 7 895.45/895.65 c 491s | 19 | 637769 | 590582 | 8733 111 | 2037 | 7 897.46/897.66 c 493s | 19 | 640643 | 593282 | 8733 111 | 2037 | 7 899.45/899.67 c 495s | 19 | 643490 | 595882 | 8733 111 | 2037 | 7 901.55/901.75 c 497s | 19 | 645366 | 597682 | 8733 112 | 2037 | 7 903.55/903.79 c 499s | 19 | 647489 | 599582 | 8733 112 | 2037 | 7 905.65/905.88 c 501s | 19 | 649647 | 601382 | 8733 112 | 2037 | 7 907.65/907.89 c 503s | 19 | 652335 | 603882 | 8733 113 | 2037 | 7 909.75/909.94 c 505s | 19 | 655832 | 606882 | 8733 113 | 2037 | 7 911.76/911.96 c 507s | 19 | 658636 | 609182 | 8733 114 | 2037 | 7 913.85/914.06 c 509s | 19 | 661173 | 611482 | 8733 114 | 2037 | 7 915.95/916.11 c 511s | 19 | 663366 | 613582 | 8733 115 | 2037 | 7 917.95/918.19 c 513s | 19 | 665814 | 615982 | 8733 115 | 2037 | 7 920.05/920.21 c 515s | 19 | 667777 | 617882 | 8733 115 | 2037 | 7 922.05/922.22 c 517s | 19 | 670051 | 620082 | 8733 116 | 2037 | 7 924.15/924.31 c 519s | 19 | 671950 | 621982 | 8733 116 | 2037 | 7 926.15/926.31 c 521s | 19 | 673776 | 623782 | 8733 116 | 2037 | 7 928.15/928.38 c 523s | 19 | 677068 | 626882 | 8733 117 | 2037 | 7 930.25/930.43 c 526s | 19 | 680288 | 629682 | 8733 117 | 2037 | 7 932.25/932.48 c 528s | 19 | 683365 | 632682 | 8733 118 | 2037 | 7 934.24/934.48 c 530s | 19 | 686476 | 635182 | 8733 118 | 2037 | 7 936.34/936.53 c 532s | 19 | 689054 | 637482 | 8733 119 | 2037 | 7 938.44/938.63 c 534s | 19 | 691780 | 639982 | 8733 119 | 2037 | 7 940.45/940.64 c 536s | 19 | 694468 | 642182 | 8733 119 | 2037 | 7 942.55/942.75 c 538s | 19 | 697080 | 644482 | 8733 120 | 2037 | 7 944.64/944.87 c 540s | 19 | 698742 | 646082 | 8733 120 | 2037 | 7 946.74/946.94 c 542s | 19 | 700310 | 647582 | 8733 120 | 2037 | 7 948.84/949.07 c 544s | 19 | 701887 | 649082 | 8733 121 | 2037 | 7 950.84/951.09 c 546s | 19 | 704148 | 651082 | 8733 121 | 2037 | 7 952.84/953.09 c 548s | 19 | 706390 | 653182 | 8733 121 | 2037 | 7 954.94/955.12 c 550s | 19 | 708198 | 654982 | 8733 122 | 2037 | 7 956.95/957.15 c 552s | 19 | 710460 | 657182 | 8733 122 | 2037 | 7 958.94/959.15 c 554s | 19 | 713486 | 660082 | 8733 122 | 2037 | 7 960.94/961.17 c 556s | 19 | 716383 | 662882 | 8733 123 | 2037 | 7 962.94/963.17 c 558s | 19 | 719106 | 665482 | 8733 123 | 2037 | 7 964.04/964.22 c 559s | 20 | 720512 | 666827 | 8733 124 | 2037 | 7 966.04/966.28 c 561s | 20 | 724225 | 669927 | 8733 124 | 2037 | 7 968.14/968.33 c 563s | 20 | 726987 | 672627 | 8733 125 | 2037 | 7 970.15/970.36 c 565s | 20 | 729523 | 675127 | 8733 125 | 2037 | 7 972.14/972.37 c 567s | 20 | 732057 | 677627 | 8733 125 | 2037 | 7 974.24/974.42 c 570s | 20 | 735849 | 680727 | 8733 126 | 2037 | 7 976.24/976.45 c 572s | 20 | 739525 | 684127 | 8733 127 | 2037 | 7 978.24/978.48 c 574s | 20 | 743264 | 687527 | 8733 127 | 2037 | 7 980.34/980.58 c 576s | 20 | 746187 | 690127 | 8733 128 | 2037 | 7 982.44/982.65 c 578s | 20 | 748299 | 692127 | 8733 128 | 2037 | 7 984.54/984.71 c 580s | 20 | 750056 | 693827 | 8733 128 | 2037 | 7 986.64/986.83 c 582s | 20 | 751628 | 695327 | 8733 128 | 2037 | 7 988.64/988.85 c 584s | 20 | 753050 | 696727 | 8733 129 | 2037 | 7 990.74/990.98 c 586s | 20 | 754487 | 698127 | 8733 129 | 2037 | 7 992.83/993.09 c 588s | 20 | 756029 | 699627 | 8733 129 | 2037 | 7 994.93/995.12 c 590s | 20 | 757449 | 700927 | 8733 129 | 2037 | 7 996.93/997.14 c 592s | 20 | 758930 | 702327 | 8733 130 | 2037 | 7 999.03/999.22 c 594s | 20 | 761107 | 704327 | 8733 130 | 2037 | 7 1001.03/1001.29 c 596s | 20 | 763154 | 706227 | 8733 130 | 2037 | 7 1003.14/1003.33 c 598s | 20 | 765014 | 707927 | 8733 131 | 2037 | 7 1005.13/1005.39 c 600s | 20 | 767705 | 710427 | 8733 131 | 2037 | 7 1007.23/1007.40 c 602s | 20 | 770470 | 712827 | 8733 131 | 2037 | 7 1009.23/1009.41 c 605s | 20 | 772599 | 714627 | 8733 132 | 2037 | 7 1011.23/1011.47 c 607s | 20 | 775325 | 716627 | 8733 132 | 2037 | 7 1013.23/1013.48 c 609s | 20 | 777871 | 718627 | 8733 132 | 2037 | 7 1015.24/1015.48 c 611s | 20 | 780483 | 720627 | 8733 133 | 2037 | 7 1017.23/1017.49 c 613s | 20 | 783518 | 723027 | 8733 133 | 2037 | 7 1019.33/1019.55 c 615s | 20 | 786332 | 725527 | 8733 134 | 2037 | 7 1021.33/1021.55 c 617s | 20 | 788944 | 727527 | 8733 134 | 2037 | 7 1023.33/1023.59 c 619s | 20 | 791619 | 729627 | 8733 134 | 2037 | 7 1025.53/1025.74 c 621s | 20 | 794013 | 731427 | 8733 135 | 2037 | 7 1027.53/1027.78 c 623s | 20 | 797010 | 733827 | 8733 135 | 2037 | 7 1029.63/1029.85 c 625s | 20 | 799184 | 735927 | 8733 135 | 2037 | 7 1031.63/1031.90 c 627s | 20 | 801749 | 738127 | 8733 136 | 2037 | 7 1033.72/1033.94 c 629s | 20 | 803819 | 740027 | 8733 136 | 2037 | 7 1035.72/1035.98 c 631s | 20 | 805829 | 741927 | 8733 136 | 2037 | 7 1037.72/1038.00 c 633s | 20 | 807595 | 743627 | 8733 137 | 2037 | 7 1039.82/1040.01 c 635s | 20 | 809343 | 745227 | 8733 137 | 2037 | 7 1041.92/1042.15 c 637s | 20 | 811070 | 746827 | 8733 137 | 2037 | 7 1043.92/1044.16 c 639s | 20 | 812700 | 748327 | 8733 137 | 2037 | 7 1045.93/1046.20 c 641s | 20 | 814171 | 749727 | 8733 138 | 2037 | 7 1048.02/1048.29 c 643s | 20 | 815839 | 751327 | 8733 138 | 2037 | 7 1050.12/1050.34 c 645s | 20 | 817421 | 752827 | 8733 138 | 2037 | 7 1052.22/1052.45 c 648s | 20 | 818891 | 754227 | 8733 138 | 2037 | 7 1054.32/1054.51 c 650s | 20 | 820357 | 755627 | 8733 139 | 2037 | 7 1056.32/1056.55 c 652s | 20 | 823417 | 758527 | 8733 139 | 2037 | 7 1058.32/1058.59 c 654s | 20 | 826490 | 761227 | 8733 140 | 2037 | 7 1060.42/1060.65 c 656s | 20 | 829625 | 763727 | 8733 140 | 2037 | 7 1062.43/1062.70 c 658s | 20 | 832255 | 765627 | 8733 140 | 2037 | 7 1064.52/1064.73 c 660s | 20 | 835221 | 768427 | 8733 141 | 2037 | 7 1066.63/1066.87 c 662s | 20 | 837495 | 770527 | 8733 141 | 2037 | 7 1068.63/1068.89 c 664s | 20 | 839271 | 772227 | 8733 142 | 2037 | 7 1070.73/1070.94 c 666s | 20 | 841296 | 774127 | 8733 142 | 2037 | 7 1072.83/1073.03 c 668s | 20 | 843194 | 775927 | 8733 142 | 2037 | 7 1074.93/1075.10 c 670s | 20 | 844725 | 777427 | 8733 142 | 2037 | 7 1076.93/1077.18 c 672s | 20 | 846462 | 779127 | 8733 143 | 2037 | 7 1079.13/1079.30 c 674s | 20 | 848524 | 781127 | 8733 143 | 2037 | 7 1081.13/1081.38 c 676s | 20 | 851328 | 783327 | 8733 143 | 2037 | 7 1083.23/1083.42 c 679s | 20 | 853333 | 785027 | 9607 143 | 2037 | 7 1085.23/1085.42 c 681s | 20 | 855819 | 787127 | 9607 144 | 2037 | 7 1087.23/1087.47 c 683s | 20 | 858107 | 789327 | 9607 144 | 2037 | 7 1089.33/1089.58 c 685s | 20 | 859935 | 791027 | 9607 144 | 2037 | 7 1091.42/1091.61 c 687s | 20 | 861560 | 792627 | 9607 145 | 2037 | 7 1093.42/1093.63 c 689s | 20 | 863238 | 794227 | 9607 145 | 2037 | 7 1095.53/1095.74 c 691s | 20 | 864884 | 795827 | 9607 145 | 2037 | 7 1097.63/1097.87 c 693s | 20 | 866417 | 797327 | 9607 145 | 2037 | 7 1099.62/1099.87 c 695s | 20 | 867753 | 798627 | 9607 146 | 2037 | 7 1101.82/1102.02 c 697s | 20 | 869303 | 800127 | 9607 146 | 2037 | 7 1103.92/1104.13 c 699s | 20 | 870858 | 801627 | 9607 146 | 2037 | 7 1106.02/1106.23 c 701s | 20 | 872316 | 803027 | 9607 146 | 2037 | 7 1108.22/1108.46 c 704s | 20 | 873546 | 804227 | 9607 147 | 2037 | 7 1110.32/1110.50 c 706s | 20 | 874968 | 805627 | 9607 147 | 2037 | 7 1112.32/1112.50 c 708s | 20 | 876494 | 807127 | 9607 147 | 2037 | 7 1114.42/1114.64 c 710s | 20 | 877921 | 808527 | 9607 147 | 2037 | 7 1116.52/1116.72 c 712s | 20 | 879274 | 809827 | 9607 147 | 2037 | 7 1118.63/1118.84 c 714s | 20 | 881292 | 811627 | 9607 148 | 2037 | 7 1120.62/1120.87 c 716s | 20 | 882928 | 813227 | 9607 148 | 2037 | 7 1122.72/1122.94 c 718s | 20 | 884645 | 814927 | 9607 148 | 2037 | 7 1124.72/1124.98 c 720s | 20 | 887410 | 817527 | 9607 149 | 2037 | 7 1126.82/1127.02 c 722s | 20 | 890257 | 820227 | 9607 149 | 2037 | 7 1128.92/1129.11 c 724s | 20 | 892743 | 822327 | 9607 149 | 2037 | 7 1131.02/1131.20 c 726s | 20 | 895612 | 824527 | 9607 150 | 2037 | 7 1133.02/1133.24 c 728s | 20 | 897530 | 826327 | 9607 150 | 2037 | 7 1135.02/1135.26 c 730s | 20 | 899075 | 827827 | 9607 150 | 2037 | 7 1137.02/1137.29 c 732s | 20 | 900521 | 829227 | 9607 150 | 2037 | 7 1139.02/1139.29 c 734s | 20 | 901881 | 830527 | 9607 151 | 2037 | 7 1141.11/1141.34 c 736s | 20 | 903828 | 832327 | 9607 151 | 2037 | 7 1143.11/1143.36 c 738s | 20 | 905808 | 834027 | 9607 151 | 2037 | 7 1145.21/1145.42 c 741s | 20 | 907913 | 835927 | 9607 152 | 2037 | 7 1147.41/1147.61 c 743s | 20 | 911279 | 838627 | 9607 152 | 2037 | 7 1149.42/1149.69 c 745s | 20 | 912475 | 839727 | 9607 152 | 2037 | 7 1151.62/1151.85 c 747s | 20 | 913499 | 840727 | 9607 152 | 2037 | 7 1153.61/1153.87 c 749s | 20 | 914535 | 841727 | 9607 152 | 2037 | 7 1155.81/1156.03 c 751s | 20 | 915444 | 842627 | 9607 153 | 2037 | 7 1157.81/1158.06 c 753s | 20 | 916977 | 844027 | 9607 153 | 2037 | 7 1159.91/1160.11 c 755s | 20 | 920321 | 846927 | 9607 153 | 2037 | 7 1161.91/1162.13 c 757s | 20 | 922486 | 848927 | 9607 154 | 2037 | 7 1163.91/1164.15 c 759s | 20 | 924919 | 850927 | 9607 154 | 2037 | 7 1165.92/1166.17 c 761s | 20 | 927450 | 853127 | 9607 154 | 2037 | 7 1167.91/1168.18 c 763s | 20 | 929660 | 855127 | 9607 155 | 2037 | 7 1169.91/1170.18 c 765s | 20 | 932258 | 857127 | 9607 155 | 2037 | 7 1172.01/1172.23 c 767s | 20 | 935190 | 859227 | 9607 155 | 2037 | 7 1174.01/1174.27 c 769s | 20 | 938064 | 861627 | 9607 156 | 2037 | 7 1176.11/1176.33 c 771s | 20 | 940256 | 863427 | 9607 156 | 2037 | 7 1178.11/1178.36 c 773s | 20 | 943096 | 865727 | 9607 156 | 2037 | 7 1180.21/1180.43 c 776s | 20 | 945217 | 867727 | 9607 157 | 2037 | 7 1182.21/1182.47 c 778s | 20 | 947324 | 869727 | 9607 157 | 2037 | 7 1184.31/1184.52 c 780s | 20 | 949517 | 871727 | 9607 157 | 2037 | 7 1186.41/1186.63 c 782s | 20 | 951456 | 873527 | 9607 157 | 2037 | 7 1188.41/1188.69 c 784s | 20 | 953384 | 875327 | 9607 158 | 2037 | 7 1190.51/1190.72 c 786s | 20 | 955300 | 877127 | 9607 158 | 2037 | 7 1192.51/1192.77 c 788s | 20 | 957106 | 878827 | 9607 158 | 2037 | 7 1194.61/1194.86 c 790s | 20 | 958779 | 880427 | 9607 159 | 2037 | 7 1196.71/1196.90 c 792s | 20 | 960701 | 882227 | 9607 159 | 2037 | 7 1198.70/1198.99 c 794s | 20 | 963452 | 884327 | 9607 159 | 2037 | 7 1200.80/1201.03 c 796s | 20 | 965856 | 886527 | 9607 160 | 2037 | 7 1202.90/1203.11 c 798s | 20 | 968099 | 888727 | 9607 160 | 2037 | 7 1204.90/1205.12 c 800s | 20 | 970417 | 890827 | 9607 160 | 2037 | 7 1206.90/1207.15 c 802s | 20 | 973039 | 893127 | 9607 161 | 2037 | 7 1208.90/1209.16 c 804s | 20 | 975858 | 895727 | 9607 161 | 2037 | 7 1211.01/1211.26 c 806s | 20 | 978170 | 897627 | 9607 161 | 2037 | 7 1213.11/1213.34 c 808s | 20 | 980399 | 899627 | 9607 162 | 2037 | 7 1215.20/1215.48 c 811s | 20 | 983009 | 901727 | 9607 162 | 2037 | 7 1217.30/1217.59 c 813s | 20 | 985260 | 903827 | 9607 162 | 2037 | 7 1219.40/1219.62 c 815s | 20 | 986935 | 905427 | 9607 163 | 2037 | 7 1221.40/1221.65 c 817s | 20 | 988520 | 906927 | 9607 163 | 2037 | 7 1223.50/1223.78 c 819s | 20 | 990090 | 908427 | 9607 163 | 2037 | 7 1225.70/1225.92 c 821s | 20 | 991763 | 910027 | 9607 163 | 2037 | 7 1227.70/1227.96 c 823s | 20 | 993485 | 911527 | 9607 163 | 2037 | 7 1229.80/1230.06 c 825s | 20 | 995680 | 913427 | 9607 164 | 2037 | 7 1231.80/1232.07 c 827s | 20 | 997280 | 914927 | 9607 164 | 2037 | 7 1233.90/1234.18 c 829s | 20 | 998848 | 916427 | 9607 164 | 2037 | 7 1236.00/1236.23 c 831s | 20 | 1000550 | 917927 | 9607 165 | 2037 | 7 1238.10/1238.30 c 833s | 20 | 1002216 | 919527 | 9607 165 | 2037 | 7 1240.20/1240.40 c 835s | 20 | 1003806 | 921027 | 9607 165 | 2037 | 7 1242.20/1242.43 c 838s | 20 | 1005291 | 922427 | 9607 165 | 2037 | 7 1244.19/1244.47 c 840s | 20 | 1006651 | 923727 | 9607 165 | 2037 | 7 1246.29/1246.52 c 842s | 20 | 1008019 | 925027 | 9607 166 | 2037 | 7 1248.40/1248.62 c 844s | 20 | 1009671 | 926627 | 9607 166 | 2037 | 7 1250.39/1250.64 c 846s | 20 | 1011175 | 928027 | 9607 166 | 2037 | 7 1252.39/1252.69 c 848s | 20 | 1013379 | 930127 | 9607 166 | 2037 | 7 1254.49/1254.77 c 850s | 20 | 1016682 | 933127 | 9607 167 | 2037 | 7 1256.49/1256.78 c 852s | 20 | 1018926 | 935127 | 9607 167 | 2037 | 7 1258.49/1258.78 c 854s | 20 | 1020642 | 936727 | 9607 167 | 2037 | 7 1260.59/1260.82 c 856s | 20 | 1022501 | 938427 | 9607 168 | 2037 | 7 1262.60/1262.86 c 858s | 20 | 1024467 | 940227 | 9607 168 | 2037 | 7 1264.69/1264.93 c 860s | 20 | 1026457 | 942027 | 9607 168 | 2037 | 7 1266.79/1267.01 c 862s | 20 | 1028186 | 943527 | 9607 169 | 2037 | 7 1268.79/1269.03 c 864s | 20 | 1030136 | 945227 | 9607 169 | 2037 | 7 1270.79/1271.09 c 866s | 20 | 1031924 | 946827 | 9607 169 | 2037 | 7 1272.89/1273.15 c 868s | 20 | 1033624 | 948427 | 9607 169 | 2037 | 7 1275.09/1275.39 c 870s | 20 | 1035129 | 949827 | 9607 170 | 2037 | 7 1277.19/1277.46 c 873s | 20 | 1037063 | 951627 | 9607 170 | 2037 | 7 1279.29/1279.53 c 875s | 20 | 1039105 | 953627 | 9607 170 | 2037 | 7 1281.29/1281.54 c 877s | 20 | 1040940 | 955427 | 9607 170 | 2037 | 7 1283.29/1283.59 c 879s | 20 | 1042753 | 957227 | 9607 171 | 2037 | 7 1285.39/1285.65 c 881s | 20 | 1045071 | 959127 | 9607 171 | 2037 | 7 1287.49/1287.73 c 883s | 20 | 1047357 | 961327 | 9607 171 | 2037 | 7 1289.49/1289.77 c 885s | 20 | 1050105 | 963827 | 9607 172 | 2037 | 7 1291.49/1291.79 c 887s | 20 | 1052892 | 966227 | 9607 172 | 2037 | 7 1293.59/1293.84 c 889s | 20 | 1055774 | 968627 | 9607 173 | 2037 | 7 1295.70/1295.93 c 891s | 20 | 1058487 | 971127 | 9607 173 | 2037 | 7 1297.69/1297.94 c 893s | 20 | 1060517 | 973027 | 9607 173 | 2037 | 7 1299.69/1299.97 c 895s | 20 | 1062609 | 974927 | 9607 174 | 2037 | 7 1301.79/1302.04 c 897s | 20 | 1064778 | 977027 | 9607 174 | 2037 | 7 1303.79/1304.06 c 899s | 20 | 1066919 | 979027 | 9607 174 | 2037 | 7 1305.79/1306.06 c 901s | 20 | 1068816 | 980827 | 9607 175 | 2037 | 7 1307.89/1308.16 c 903s | 20 | 1070954 | 982927 | 9607 175 | 2037 | 7 1310.00/1310.27 c 905s | 20 | 1072885 | 984727 | 9607 175 | 2037 | 7 1311.99/1312.30 c 907s | 20 | 1075490 | 986927 | 9607 175 | 2037 | 7 1314.19/1314.42 c 910s | 20 | 1077172 | 988527 | 9607 176 | 2037 | 7 1316.19/1316.46 c 912s | 20 | 1078914 | 990227 | 9607 176 | 2037 | 7 1318.19/1318.47 c 914s | 20 | 1080574 | 991827 | 9607 176 | 2037 | 7 1320.19/1320.49 c 916s | 20 | 1082107 | 993327 | 9607 176 | 2037 | 7 1322.29/1322.53 c 918s | 20 | 1083629 | 994827 | 9607 177 | 2037 | 7 1324.39/1324.60 c 920s | 20 | 1085354 | 996527 | 9607 177 | 2037 | 7 1326.39/1326.66 c 922s | 20 | 1087186 | 998327 | 9607 177 | 2037 | 7 1328.49/1328.70 c 924s | 20 | 1089141 | 1000227 | 9607 178 | 2037 | 7 1328.49/1328.79 c 924s | 21 | 1089262 | 1000345 | 9607 178 | 2037 | 7 1330.59/1330.82 c 926s | 21 | 1092930 | 1003045 | 9607 178 | 2037 | 7 1332.59/1332.84 c 928s | 21 | 1095959 | 1005845 | 9607 178 | 2037 | 7 1334.69/1334.96 c 930s | 21 | 1097699 | 1007545 | 9607 179 | 2037 | 7 1336.69/1336.99 c 932s | 21 | 1099262 | 1009045 | 9607 179 | 2037 | 7 1338.79/1339.06 c 934s | 21 | 1100797 | 1010545 | 9607 179 | 2037 | 7 1340.79/1341.06 c 936s | 21 | 1102567 | 1012245 | 9607 179 | 2037 | 7 1342.78/1343.08 c 938s | 21 | 1104342 | 1013945 | 9607 180 | 2037 | 7 1344.88/1345.11 c 940s | 21 | 1106833 | 1016245 | 9607 180 | 2037 | 7 1346.88/1347.17 c 942s | 21 | 1110368 | 1019545 | 9607 181 | 2037 | 7 1348.98/1349.20 c 944s | 21 | 1113540 | 1022545 | 9607 181 | 2037 | 7 1350.98/1351.23 c 946s | 21 | 1115868 | 1024645 | 9607 181 | 2037 | 7 1353.08/1353.30 c 948s | 21 | 1118540 | 1026745 | 9607 182 | 2037 | 7 1355.09/1355.37 c 950s | 21 | 1121195 | 1029145 | 9607 182 | 2037 | 7 1357.19/1357.45 c 953s | 21 | 1124251 | 1032045 | 9607 183 | 2037 | 7 1359.28/1359.55 c 955s | 21 | 1126170 | 1033845 | 9607 183 | 2037 | 7 1361.38/1361.60 c 957s | 21 | 1128197 | 1035745 | 9607 183 | 2037 | 7 1363.38/1363.69 c 959s | 21 | 1130205 | 1037645 | 9607 183 | 2037 | 7 1365.48/1365.70 c 961s | 21 | 1132000 | 1039345 | 9607 184 | 2037 | 7 1367.48/1367.72 c 963s | 21 | 1133950 | 1041245 | 9607 184 | 2037 | 7 1369.58/1369.83 c 965s | 21 | 1135598 | 1042845 | 9607 184 | 2037 | 7 1371.68/1371.94 c 967s | 21 | 1137190 | 1044345 | 9607 185 | 2037 | 7 1373.79/1374.02 c 969s | 21 | 1139075 | 1046145 | 9607 185 | 2037 | 7 1375.89/1376.13 c 971s | 21 | 1140854 | 1047845 | 9607 185 | 2037 | 7 1377.88/1378.15 c 973s | 21 | 1142442 | 1049345 | 9607 185 | 2037 | 7 1379.88/1380.16 c 975s | 21 | 1143772 | 1050645 | 9607 186 | 2037 | 7 1381.98/1382.25 c 977s | 21 | 1145579 | 1052445 | 9607 186 | 2037 | 7 1384.08/1384.33 c 979s | 21 | 1147116 | 1053945 | 9607 186 | 2037 | 7 1386.08/1386.33 c 981s | 21 | 1148825 | 1055545 | 9607 186 | 2037 | 7 1388.08/1388.35 c 983s | 21 | 1150409 | 1057045 | 9607 187 | 2037 | 7 1390.18/1390.41 c 986s | 21 | 1152304 | 1058845 | 9607 187 | 2037 | 7 1392.18/1392.43 c 988s | 21 | 1153752 | 1060245 | 9607 187 | 2037 | 7 1394.28/1394.52 c 990s | 21 | 1155570 | 1061945 | 9607 187 | 2037 | 7 1396.28/1396.54 c 992s | 21 | 1157027 | 1063345 | 9607 188 | 2037 | 7 1398.37/1398.66 c 994s | 21 | 1159214 | 1065045 | 9607 188 | 2037 | 7 1400.37/1400.67 c 996s | 21 | 1161979 | 1067345 | 9607 188 | 2037 | 7 1402.38/1402.68 c 998s | 21 | 1164777 | 1069945 | 9607 189 | 2037 | 7 1404.48/1404.74 c 1000s | 21 | 1167176 | 1072145 | 9607 189 | 2037 | 7 1406.47/1406.78 c 1002s | 21 | 1169395 | 1074145 | 9607 189 | 2037 | 7 1408.57/1408.81 c 1004s | 21 | 1171550 | 1076245 | 9607 190 | 2037 | 7 1410.57/1410.87 c 1006s | 21 | 1173873 | 1078245 | 9607 190 | 2037 | 7 1412.57/1412.88 c 1008s | 21 | 1175782 | 1079945 | 9607 190 | 2037 | 7 1414.57/1414.89 c 1010s | 21 | 1177670 | 1081745 | 9607 190 | 2037 | 7 1416.58/1416.90 c 1012s | 21 | 1179841 | 1083745 | 9607 191 | 2037 | 7 1418.67/1418.98 c 1014s | 21 | 1181907 | 1085645 | 9607 191 | 2037 | 7 1420.77/1421.03 c 1016s | 21 | 1184628 | 1087945 | 9607 191 | 2037 | 7 1422.77/1423.05 c 1018s | 21 | 1188169 | 1090845 | 9607 192 | 2037 | 7 1424.87/1425.12 c 1020s | 21 | 1191328 | 1093945 | 9607 192 | 2037 | 7 1426.87/1427.19 c 1022s | 21 | 1193971 | 1096545 | 9607 193 | 2037 | 7 1428.97/1429.22 c 1024s | 21 | 1196496 | 1099045 | 9607 193 | 2037 | 7 1431.07/1431.33 c 1026s | 21 | 1198711 | 1101245 | 9607 194 | 2037 | 7 1433.07/1433.35 c 1028s | 21 | 1200928 | 1103445 | 9607 194 | 2037 | 7 1435.07/1435.36 c 1030s | 21 | 1202944 | 1105445 | 9607 194 | 2037 | 7 1437.17/1437.42 c 1033s | 21 | 1204961 | 1107445 | 9607 194 | 2037 | 7 1439.27/1439.51 c 1035s | 21 | 1207071 | 1109545 | 9607 195 | 2037 | 7 1441.27/1441.58 c 1037s | 21 | 1209085 | 1111545 | 9607 195 | 2037 | 7 1443.37/1443.61 c 1039s | 21 | 1211102 | 1113545 | 9607 195 | 2037 | 7 1445.37/1445.63 c 1041s | 21 | 1213126 | 1115545 | 9607 196 | 2037 | 7 1447.37/1447.69 c 1043s | 21 | 1215056 | 1117445 | 9607 196 | 2037 | 7 1449.47/1449.77 c 1045s | 21 | 1216961 | 1119345 | 9607 196 | 2037 | 7 1451.57/1451.81 c 1047s | 21 | 1218571 | 1120945 | 9607 197 | 2037 | 7 1453.57/1453.84 c 1049s | 21 | 1220800 | 1123145 | 9607 197 | 2037 | 7 1455.56/1455.88 c 1051s | 21 | 1224622 | 1126345 | 9607 197 | 2037 | 7 1457.66/1457.91 c 1053s | 21 | 1227356 | 1129045 | 9607 198 | 2037 | 7 1459.66/1459.93 c 1055s | 21 | 1230170 | 1131745 | 9607 198 | 2037 | 7 1461.67/1461.96 c 1057s | 21 | 1233376 | 1134545 | 9607 199 | 2037 | 7 1463.66/1463.99 c 1059s | 21 | 1235441 | 1136545 | 9607 199 | 2037 | 7 1465.76/1466.04 c 1061s | 21 | 1237376 | 1138445 | 9607 199 | 2037 | 7 1467.86/1468.13 c 1063s | 21 | 1239098 | 1140145 | 9607 200 | 2037 | 7 1469.86/1470.18 c 1065s | 21 | 1240726 | 1141745 | 9607 200 | 2037 | 7 1472.06/1472.30 c 1067s | 21 | 1242363 | 1143345 | 9607 200 | 2037 | 7 1474.06/1474.38 c 1069s | 21 | 1244865 | 1145645 | 9607 201 | 2037 | 7 1476.16/1476.42 c 1072s | 21 | 1247276 | 1147745 | 9607 201 | 2037 | 7 1478.17/1478.44 c 1074s | 21 | 1249062 | 1149445 | 9607 201 | 2037 | 7 1480.16/1480.48 c 1076s | 21 | 1250639 | 1150945 | 9607 201 | 2037 | 7 1482.16/1482.49 c 1078s | 21 | 1252101 | 1152345 | 9607 202 | 2037 | 7 1484.36/1484.62 c 1080s | 21 | 1253871 | 1153845 | 9607 202 | 2037 | 7 1486.46/1486.73 c 1082s | 21 | 1255450 | 1155345 | 9607 202 | 2037 | 7 1488.56/1488.80 c 1084s | 21 | 1257036 | 1156845 | 9607 202 | 2037 | 7 1490.56/1490.83 c 1086s | 21 | 1258320 | 1158045 | 9607 202 | 2037 | 7 1492.56/1492.87 c 1088s | 21 | 1261340 | 1160845 | 9607 203 | 2037 | 7 1494.66/1494.91 c 1090s | 21 | 1264589 | 1163845 | 9607 203 | 2037 | 7 1496.65/1496.95 c 1092s | 21 | 1266676 | 1165845 | 9607 204 | 2037 | 7 1498.75/1499.06 c 1094s | 21 | 1269645 | 1168645 | 9607 204 | 2037 | 7 1500.75/1501.09 c 1096s | 21 | 1272033 | 1170645 | 9607 204 | 2037 | 7 1502.85/1503.11 c 1098s | 21 | 1275029 | 1173145 | 9607 205 | 2037 | 7 1504.85/1505.19 c 1100s | 21 | 1277416 | 1175245 | 9607 205 | 2037 | 7 1506.95/1507.28 c 1102s | 21 | 1278843 | 1176645 | 9607 205 | 2037 | 7 1509.15/1509.40 c 1104s | 21 | 1280061 | 1177845 | 9607 206 | 2037 | 7 1511.26/1511.56 c 1107s | 21 | 1281288 | 1179045 | 9607 206 | 2037 | 7 1513.36/1513.69 c 1109s | 21 | 1282519 | 1180245 | 9607 206 | 2037 | 7 1515.45/1515.70 c 1111s | 21 | 1284394 | 1182045 | 9607 206 | 2037 | 7 1517.45/1517.74 c 1113s | 21 | 1288027 | 1185145 | 9607 207 | 2037 | 7 1519.55/1519.81 c 1115s | 21 | 1290613 | 1187545 | 9607 207 | 2037 | 7 1521.65/1521.90 c 1117s | 21 | 1292925 | 1189245 | 9607 207 | 2037 | 7 1523.65/1523.93 c 1119s | 21 | 1294805 | 1190845 | 9607 208 | 2037 | 7 1525.75/1526.01 c 1121s | 21 | 1297165 | 1192945 | 9607 208 | 2037 | 7 1527.76/1528.04 c 1123s | 21 | 1300410 | 1195745 | 9607 208 | 2037 | 7 1529.74/1530.04 c 1125s | 21 | 1302776 | 1197945 | 9607 209 | 2037 | 7 1531.84/1532.15 c 1127s | 21 | 1305014 | 1200045 | 9607 209 | 2037 | 7 1533.84/1534.19 c 1129s | 21 | 1306985 | 1201945 | 9607 209 | 2037 | 7 1535.95/1536.20 c 1131s | 21 | 1308815 | 1203645 | 9607 210 | 2037 | 7 1537.95/1538.21 c 1133s | 21 | 1310648 | 1205345 | 9607 210 | 2037 | 7 1539.95/1540.25 c 1135s | 21 | 1312407 | 1207045 | 9607 210 | 2037 | 7 1542.05/1542.32 c 1137s | 21 | 1314251 | 1208845 | 9607 211 | 2037 | 7 1544.05/1544.38 c 1139s | 21 | 1316078 | 1210645 | 9607 211 | 2037 | 7 1546.25/1546.51 c 1142s | 21 | 1317651 | 1212145 | 9607 211 | 2037 | 7 1548.25/1548.53 c 1144s | 21 | 1319165 | 1213545 | 9607 211 | 2037 | 7 1550.35/1550.69 c 1146s | 21 | 1320626 | 1214945 | 9607 212 | 2037 | 7 1552.44/1552.70 c 1148s | 21 | 1323166 | 1217045 | 9607 212 | 2037 | 7 1554.44/1554.75 c 1150s | 21 | 1326339 | 1219745 | 9607 212 | 2037 | 7 1556.44/1556.76 c 1152s | 21 | 1328173 | 1221445 | 9607 213 | 2037 | 7 1558.55/1558.83 c 1154s | 21 | 1330127 | 1223345 | 9607 213 | 2037 | 7 1560.54/1560.89 c 1156s | 21 | 1331893 | 1224945 | 9607 213 | 2037 | 7 1562.64/1562.96 c 1158s | 21 | 1333412 | 1226345 | 9607 213 | 2037 | 7 1564.84/1565.10 c 1160s | 21 | 1334810 | 1227645 | 9607 214 | 2037 | 7 1566.84/1567.11 c 1162s | 21 | 1336358 | 1229045 | 9607 214 | 2037 | 7 1568.93/1569.25 c 1164s | 21 | 1337845 | 1230445 | 9607 214 | 2037 | 7 1571.03/1571.30 c 1166s | 21 | 1339152 | 1231645 | 9607 214 | 2037 | 7 1573.03/1573.36 c 1168s | 21 | 1340531 | 1232945 | 9607 214 | 2037 | 7 1575.13/1575.42 c 1171s | 21 | 1341718 | 1234045 | 9607 215 | 2037 | 7 1577.14/1577.44 c 1173s | 21 | 1343086 | 1235345 | 9607 215 | 2037 | 7 1579.23/1579.57 c 1175s | 21 | 1344455 | 1236645 | 9607 215 | 2037 | 7 1581.43/1581.72 c 1177s | 21 | 1345856 | 1237945 | 9607 215 | 2037 | 7 1583.53/1583.81 c 1179s | 21 | 1347140 | 1239145 | 9607 215 | 2037 | 7 1585.52/1585.86 c 1181s | 21 | 1349842 | 1241245 | 9607 216 | 2037 | 7 1587.62/1587.92 c 1183s | 21 | 1353489 | 1244245 | 9607 216 | 2037 | 7 1589.72/1590.01 c 1185s | 21 | 1356307 | 1246645 | 9607 217 | 2037 | 7 1591.72/1592.04 c 1187s | 21 | 1358911 | 1249045 | 9607 217 | 2037 | 7 1593.72/1594.06 c 1189s | 21 | 1361926 | 1251645 | 9607 217 | 2037 | 7 1595.82/1596.12 c 1191s | 21 | 1364621 | 1253945 | 9607 218 | 2037 | 7 1597.82/1598.17 c 1193s | 21 | 1368685 | 1257745 | 9607 218 | 2037 | 7 1599.81/1600.19 c 1195s | 21 | 1370242 | 1259145 | 9607 219 | 2037 | 7 1601.91/1602.25 c 1197s | 21 | 1372307 | 1261145 | 9607 219 | 2037 | 7 1603.91/1604.25 c 1199s | 21 | 1374843 | 1263345 | 9607 219 | 2037 | 7 1605.91/1606.28 c 1201s | 21 | 1376183 | 1264545 | 9607 219 | 2037 | 7 1608.02/1608.33 c 1203s | 21 | 1378112 | 1266345 | 9607 220 | 2037 | 7 1610.01/1610.40 c 1205s | 21 | 1380617 | 1268545 | 9607 220 | 2037 | 7 1612.21/1612.50 c 1208s | 21 | 1382032 | 1269745 | 9607 220 | 2037 | 7 1614.41/1614.78 c 1210s | 21 | 1382853 | 1270545 | 9607 220 | 2037 | 7 1616.51/1616.80 c 1212s | 21 | 1383577 | 1271245 | 9607 220 | 2037 | 7 1618.71/1619.00 c 1214s | 21 | 1384462 | 1272045 | 9607 221 | 2037 | 7 1620.71/1621.02 c 1216s | 21 | 1385292 | 1272845 | 9607 221 | 2037 | 7 1622.71/1623.06 c 1218s | 21 | 1387067 | 1274345 | 9607 221 | 2037 | 7 1624.71/1625.06 c 1220s | 21 | 1389237 | 1276345 | 9607 221 | 2037 | 7 1626.72/1627.10 c 1222s | 21 | 1391208 | 1278245 | 9607 222 | 2037 | 7 1628.81/1629.15 c 1224s | 21 | 1393617 | 1280345 | 10568 222 | 2037 | 7 1631.01/1631.31 c 1226s | 21 | 1396331 | 1282445 | 10568 222 | 2037 | 7 1633.10/1633.40 c 1228s | 21 | 1398630 | 1284345 | 10568 222 | 2037 | 7 1635.10/1635.45 c 1231s | 21 | 1401017 | 1286345 | 10568 223 | 2037 | 7 1637.10/1637.45 c 1233s | 21 | 1402979 | 1288145 | 10568 223 | 2037 | 7 1639.30/1639.60 c 1235s | 21 | 1404081 | 1289145 | 10568 223 | 2037 | 7 1641.50/1641.81 c 1237s | 21 | 1405157 | 1290045 | 10568 223 | 2037 | 7 1643.50/1643.84 c 1239s | 21 | 1406483 | 1291245 | 10568 223 | 2037 | 7 1645.60/1645.98 c 1241s | 21 | 1408469 | 1293045 | 10568 224 | 2037 | 7 1647.70/1648.08 c 1243s | 21 | 1410403 | 1294845 | 10568 224 | 2037 | 7 1649.80/1650.11 c 1245s | 21 | 1412265 | 1296645 | 10568 224 | 2037 | 7 1651.79/1652.17 c 1247s | 21 | 1414058 | 1298345 | 10568 224 | 2037 | 7 1653.79/1654.19 c 1249s | 21 | 1415937 | 1300145 | 10568 225 | 2037 | 7 1655.89/1656.26 c 1251s | 21 | 1418411 | 1302245 | 10568 225 | 2037 | 7 1657.89/1658.27 c 1253s | 21 | 1421521 | 1304745 | 10568 225 | 2037 | 7 1659.99/1660.31 c 1255s | 21 | 1424399 | 1306945 | 10568 226 | 2037 | 7 1662.09/1662.40 c 1257s | 21 | 1426501 | 1308945 | 10568 226 | 2037 | 7 1664.10/1664.41 c 1260s | 21 | 1428463 | 1310845 | 10568 226 | 2037 | 7 1666.09/1666.46 c 1262s | 21 | 1430225 | 1312545 | 10568 227 | 2037 | 7 1668.19/1668.54 c 1264s | 21 | 1432444 | 1314445 | 10568 227 | 2037 | 7 1670.29/1670.68 c 1266s | 21 | 1433865 | 1315745 | 10568 227 | 2037 | 7 1672.38/1672.75 c 1268s | 21 | 1435877 | 1317445 | 10568 227 | 2037 | 7 1674.48/1674.83 c 1270s | 21 | 1438092 | 1319445 | 10568 228 | 2037 | 7 1676.58/1676.91 c 1272s | 21 | 1440171 | 1321345 | 10568 228 | 2037 | 7 1678.68/1679.02 c 1274s | 21 | 1442269 | 1323345 | 10568 228 | 2037 | 7 1680.68/1681.06 c 1276s | 21 | 1444318 | 1325245 | 10568 228 | 2037 | 7 1682.68/1683.08 c 1278s | 21 | 1446232 | 1327045 | 10568 229 | 2037 | 7 1684.78/1685.11 c 1280s | 21 | 1448141 | 1328745 | 10568 229 | 2037 | 7 1686.78/1687.13 c 1282s | 21 | 1450352 | 1330545 | 10568 229 | 2037 | 7 1688.77/1689.17 c 1284s | 21 | 1452059 | 1332045 | 10568 229 | 2037 | 7 1690.87/1691.29 c 1286s | 21 | 1453747 | 1333545 | 10568 230 | 2037 | 7 1692.97/1693.36 c 1288s | 21 | 1457328 | 1336545 | 10568 230 | 2037 | 7 1695.07/1695.40 c 1291s | 21 | 1459935 | 1338945 | 10568 230 | 2037 | 7 1697.08/1697.43 c 1293s | 21 | 1462075 | 1340945 | 10568 231 | 2037 | 7 1699.17/1699.51 c 1295s | 21 | 1464100 | 1342845 | 10568 231 | 2037 | 7 1701.17/1701.58 c 1297s | 21 | 1465942 | 1344545 | 10568 231 | 2037 | 7 1703.27/1703.70 c 1299s | 21 | 1467652 | 1346145 | 10568 231 | 2037 | 7 1705.37/1705.73 c 1301s | 21 | 1470334 | 1348545 | 10568 232 | 2037 | 7 1707.47/1707.81 c 1303s | 21 | 1473027 | 1351045 | 10568 232 | 2037 | 7 1709.46/1709.82 c 1305s | 21 | 1475318 | 1353145 | 10568 232 | 2037 | 7 1711.46/1711.86 c 1307s | 21 | 1477567 | 1355245 | 10568 233 | 2037 | 7 1713.66/1714.01 c 1309s | 21 | 1479641 | 1357145 | 10568 233 | 2037 | 7 1715.67/1716.05 c 1311s | 21 | 1481251 | 1358545 | 10568 233 | 2037 | 7 1717.87/1718.25 c 1313s | 21 | 1483174 | 1360145 | 10568 234 | 2037 | 7 1719.86/1720.29 c 1315s | 21 | 1485691 | 1362445 | 10568 234 | 2037 | 7 1721.96/1722.35 c 1317s | 21 | 1488809 | 1365345 | 10568 234 | 2037 | 7 1723.95/1724.39 c 1319s | 21 | 1490586 | 1366845 | 10568 234 | 2037 | 7 1726.05/1726.45 c 1322s | 21 | 1492588 | 1368645 | 10568 235 | 2037 | 7 1728.05/1728.49 c 1324s | 21 | 1494599 | 1370445 | 10568 235 | 2037 | 7 1730.15/1730.57 c 1326s | 21 | 1496248 | 1371945 | 10568 235 | 2037 | 7 1732.25/1732.66 c 1328s | 21 | 1497825 | 1373445 | 10568 235 | 2037 | 7 1734.35/1734.74 c 1330s | 21 | 1499169 | 1374745 | 10568 236 | 2037 | 7 1736.35/1736.76 c 1332s | 21 | 1500585 | 1376045 | 10568 236 | 2037 | 7 1738.44/1738.88 c 1334s | 21 | 1501989 | 1377345 | 10568 236 | 2037 | 7 1740.54/1740.97 c 1336s | 21 | 1503266 | 1378545 | 10568 236 | 2037 | 7 1742.64/1743.06 c 1338s | 21 | 1505492 | 1380445 | 10568 236 | 2037 | 7 1744.74/1745.19 c 1340s | 21 | 1507090 | 1381945 | 10568 237 | 2037 | 7 1746.84/1747.23 c 1342s | 21 | 1508431 | 1383245 | 10568 237 | 2037 | 7 1748.84/1749.27 c 1344s | 21 | 1510374 | 1384845 | 10568 237 | 2037 | 7 1750.95/1751.32 c 1346s | 21 | 1512419 | 1386445 | 10568 237 | 2037 | 7 1752.94/1753.37 c 1348s | 21 | 1515027 | 1388945 | 10568 238 | 2037 | 7 1754.94/1755.39 c 1350s | 21 | 1518684 | 1392145 | 10568 238 | 2037 | 7 1757.04/1757.41 c 1353s | 21 | 1521878 | 1395145 | 10568 239 | 2037 | 7 1759.04/1759.48 c 1355s | 21 | 1525574 | 1398445 | 10568 239 | 2037 | 7 1761.14/1761.51 c 1357s | 21 | 1528690 | 1401245 | 10568 240 | 2037 | 7 1763.14/1763.55 c 1359s | 21 | 1531880 | 1404145 | 10568 240 | 2037 | 7 1765.25/1765.60 c 1361s | 21 | 1534945 | 1406945 | 10568 240 | 2037 | 7 1767.24/1767.64 c 1363s | 21 | 1537269 | 1409145 | 10568 241 | 2037 | 7 1769.34/1769.72 c 1365s | 21 | 1540009 | 1411545 | 10568 241 | 2037 | 7 1771.44/1771.82 c 1367s | 21 | 1542696 | 1413945 | 10568 241 | 2037 | 7 1773.54/1773.92 c 1369s | 21 | 1544724 | 1415845 | 10568 242 | 2037 | 7 1775.54/1775.95 c 1371s | 21 | 1546837 | 1417845 | 10568 242 | 2037 | 7 1777.54/1777.97 c 1373s | 21 | 1548995 | 1419945 | 10568 242 | 2037 | 7 1779.64/1780.01 c 1375s | 21 | 1551761 | 1422545 | 10568 243 | 2037 | 7 1781.64/1782.07 c 1377s | 21 | 1555050 | 1425645 | 10568 243 | 2037 | 7 1783.74/1784.10 c 1379s | 21 | 1557690 | 1428145 | 10568 243 | 2037 | 7 1785.84/1786.21 c 1381s | 21 | 1559820 | 1430045 | 10568 244 | 2037 | 7 1787.84/1788.27 c 1383s | 21 | 1562109 | 1432145 | 10568 244 | 2037 | 7 1789.93/1790.30 c 1385s | 21 | 1564186 | 1433945 | 10568 244 | 2037 | 7 1792.03/1792.46 c 1388s | 21 | 1566521 | 1435945 | 10568 245 | 2037 | 7 1794.03/1794.47 c 1390s | 21 | 1568655 | 1438045 | 10568 245 | 2037 | 7 1796.13/1796.52 c 1392s | 21 | 1571311 | 1440445 | 10568 245 | 2037 | 7 1798.24/1798.60 c 1394s | 21 | 1573327 | 1442245 | 10568 246 | 2037 | 7
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-4103197-1466233640/watcher-4103197-1466233640 -o /tmp/evaluation-result-4103197-1466233640/solver-4103197-1466233640 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103197-1466233640.opb pid=2870 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.12 2.18 2.17 3/179 2873 /proc/meminfo: memFree=26767628/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 2789 0 0 0 0 0 0 0 20 0 4 0 25410512 763817984 2639 33554432000 4194304 16246674 140735165247600 140735165247024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 187247 2647 441 2943 0 184141 0 [pid=2873/tid=2874] ppid=2870 vsize=789948 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 808906752 2811 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=795068 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 814149632 2830 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=799164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25410512 818343936 2848 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100209 s] /proc/loadavg: 2.12 2.18 2.17 3/179 2873 /proc/meminfo: memFree=26767628/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1220164 CPUtime=0.09 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 27783 0 0 0 5 4 0 0 20 0 4 0 25410512 1249447936 27572 33554432000 4194304 16246674 140735165247600 140735165246912 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 305041 27585 832 2943 0 301935 0 [pid=2873/tid=2874] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 27594 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 27604 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 27615 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200499 s] /proc/loadavg: 2.12 2.18 2.17 3/179 2873 /proc/meminfo: memFree=26767628/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1220164 CPUtime=0.19 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 52962 0 0 0 11 8 0 0 20 0 4 0 25410512 1249447936 52750 33554432000 4194304 16246674 140735165247600 140735165246912 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 305041 52752 866 2943 0 301935 0 [pid=2873/tid=2874] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 52753 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 52754 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1220164 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25410512 1249447936 52754 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1220164 [startup+0.300463 s] /proc/loadavg: 2.12 2.18 2.17 3/179 2873 /proc/meminfo: memFree=26767628/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1301060 CPUtime=0.28 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 74162 0 0 0 18 10 0 0 20 0 4 0 25410512 1332285440 73950 33554432000 4194304 16246674 140735165247600 140735165246912 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 325265 73950 869 2943 0 322159 0 [pid=2873/tid=2874] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 73950 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 73950 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 73950 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1301060 [startup+0.700394 s] /proc/loadavg: 2.12 2.18 2.17 3/179 2873 /proc/meminfo: memFree=26767628/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1301060 CPUtime=0.68 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 134796 0 0 0 51 17 0 0 20 0 4 0 25410512 1332285440 134584 33554432000 4194304 16246674 140735165247600 140735165229504 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 325265 134598 869 2943 0 322159 0 [pid=2873/tid=2874] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 134606 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 134615 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 1332285440 134624 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1301060 [startup+1.5004 s] /proc/loadavg: 2.11 2.18 2.17 3/183 2877 /proc/meminfo: memFree=25893916/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1440324 CPUtime=1.49 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 301125 0 0 0 112 37 0 0 20 0 4 0 25410512 1474891776 300914 33554432000 4194304 16246674 140735165247600 140735165229504 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 360081 300918 871 2943 0 356975 0 [pid=2873/tid=2874] ppid=2870 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1474891776 300923 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1474891776 300927 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 1474891776 300929 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1440324 [startup+3.1004 s] /proc/loadavg: 2.11 2.18 2.17 3/183 2877 /proc/meminfo: memFree=25432516/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1571396 CPUtime=3.09 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 334022 0 0 0 268 41 0 0 20 0 4 0 25410512 1609109504 333810 33554432000 4194304 16246674 140735165247600 140735165246912 4206688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 392849 333810 871 2943 0 389743 0 [pid=2873/tid=2874] ppid=2870 vsize=1571396 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1609109504 333810 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1571396 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1609109504 333810 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1571396 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 1609109504 333810 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1571396 [startup+6.30039 s] /proc/loadavg: 2.11 2.18 2.17 4/183 2877 /proc/meminfo: memFree=25086008/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1846852 CPUtime=6.28 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 402886 0 0 0 579 49 0 0 20 0 4 0 25410512 1891176448 402674 33554432000 4194304 16246674 140735165247600 140735165246912 6958611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 461713 402674 871 2943 0 458607 0 [pid=2873/tid=2874] ppid=2870 vsize=1846852 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 1891176448 402674 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1846852 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 1891176448 402674 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1846852 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 1891176448 402674 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1846852 [startup+12.7004 s] /proc/loadavg: 2.17 2.19 2.18 3/183 2877 /proc/meminfo: memFree=22199136/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=3413572 CPUtime=12.69 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 794604 0 0 0 1167 102 0 0 20 0 4 0 25410512 3495497728 794392 33554432000 4194304 16246674 140735165247600 140735165246696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 853393 794392 909 2943 0 850287 0 [pid=2873/tid=2874] ppid=2870 vsize=3413572 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 3495497728 794392 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=3413572 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 3495497728 794392 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=3413572 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 3495497728 794392 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 3413572 [startup+25.5005 s] /proc/loadavg: 2.14 2.18 2.17 3/183 2877 /proc/meminfo: memFree=24902680/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=2837060 CPUtime=25.49 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 1032172 0 0 0 2407 142 0 0 20 0 4 0 25410512 2905149440 650264 33554432000 4194304 16246674 140735165247600 140735165246696 4206942 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 709265 650264 909 2943 0 706159 0 [pid=2873/tid=2874] ppid=2870 vsize=2837060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2905149440 650264 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=2837060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2905149440 650264 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=2837060 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2905149440 650264 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 2837060 [startup+51.1005 s] /proc/loadavg: 2.17 2.18 2.17 4/183 2877 /proc/meminfo: memFree=24472132/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=2972228 CPUtime=51.08 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 1467118 0 0 0 4899 209 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 140735165246912 4206597 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 743057 684058 909 2943 0 739951 0 [pid=2873/tid=2874] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 2972228 [startup+102.3 s] /proc/loadavg: 2.33 2.22 2.19 3/183 2878 /proc/meminfo: memFree=24036000/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=2972228 CPUtime=102.27 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 1782766 0 0 0 9965 262 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 140735165246696 4220894 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 743057 684058 909 2943 0 739951 0 [pid=2873/tid=2874] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641056369680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=2972228 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 3043561472 684058 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 2972228 ################ # More data... # ################ /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.1 Current children cumulated vsize (KiB) 1995332 [startup+1302.3 s] /proc/loadavg: 2.32 2.24 2.19 3/183 2908 /proc/meminfo: memFree=23612976/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1302.09 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214270 0 0 0 129545 664 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 140735165229504 5599912 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 439850 923 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 1995332 [startup+1362.3 s] /proc/loadavg: 2.26 2.24 2.19 3/184 2913 /proc/meminfo: memFree=25159652/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1362.08 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214270 0 0 0 135544 664 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 140735165229504 5711439 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 439850 923 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 1995332 [startup+1422.3 s] /proc/loadavg: 2.31 2.25 2.19 3/183 2914 /proc/meminfo: memFree=25007292/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1422.08 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214270 0 0 0 141544 664 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 140735165229504 5600856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 439850 923 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.08 Current children cumulated vsize (KiB) 1995332 [startup+1482.3 s] /proc/loadavg: 2.23 2.23 2.18 3/183 2915 /proc/meminfo: memFree=25740788/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1482.06 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214270 0 0 0 147542 664 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 140735165246696 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 439850 923 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 439850 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 1995332 [startup+1542.31 s] /proc/loadavg: 2.26 2.24 2.18 3/183 2964 /proc/meminfo: memFree=20322340/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1542.05 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214286 0 0 0 153540 665 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165229504 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 1995332 [startup+1602.3 s] /proc/loadavg: 2.39 2.28 2.20 3/183 2965 /proc/meminfo: memFree=16225652/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1602.01 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214323 0 0 0 159536 665 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165229504 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 1995332 [startup+1662.3 s] /proc/loadavg: 2.35 2.29 2.20 4/183 2967 /proc/meminfo: memFree=16225428/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1661.99 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214360 0 0 0 165533 666 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165246696 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.99 Current children cumulated vsize (KiB) 1995332 [startup+1722.3 s] /proc/loadavg: 2.28 2.28 2.20 3/183 2968 /proc/meminfo: memFree=16225192/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1721.96 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214400 0 0 0 171530 666 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165229504 13759456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.96 Current children cumulated vsize (KiB) 1995332 [startup+1782.3 s] /proc/loadavg: 2.24 2.26 2.20 3/183 2969 /proc/meminfo: memFree=16224588/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1781.94 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214411 0 0 0 177528 666 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165229504 5711956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 1995332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.18 2.24 2.19 4/183 2970 /proc/meminfo: memFree=16224556/32872528 swapFree=1200228/1314692 [pid=2873] ppid=2870 vsize=1995332 CPUtime=1800.03 cores=0,2,4,6 /proc/2873/stat : 2873 (toysat) R 2870 2873 31224 0 -1 4202496 4214411 0 0 0 179337 666 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 140735165229504 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/2873/statm: 498833 440107 924 2943 0 495727 0 [pid=2873/tid=2874] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2874/stat : 2874 (toysat) S 2870 2873 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641066859760 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=2873/tid=2875] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2875/stat : 2875 (toysat) S 2870 2873 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641056369904 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=2873/tid=2876] ppid=2870 vsize=1995332 CPUtime=0 cores=0,2,4,6 /proc/2873/task/2876/stat : 2876 (toysat) S 2870 2873 31224 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 25410512 2043219968 440107 33554432000 4194304 16246674 140735165247600 139641045896368 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1995332 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 2873 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.48 CPU time (s): 1800.11 CPU user time (s): 1793.38 CPU system time (s): 6.73498 CPU usage (%): 99.9795 Max. virtual memory (cumulated for all children) (KiB): 3413572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.38 system time used= 6.73498 maximum resident set size= 3177568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4214411 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= 607 involuntary context switches= 1930 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.39733 second user time and 7.11692 second system time The end
Begin job on node131 at 2016-06-18 09:07:20 IDJOB=4103197 IDBENCH=2295 IDSOLVER=2542 FILE ID=node131/4103197-1466233640 RUNJOBID= node131-1466206062-31240 PBS_JOBID= 19918146 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103197-1466233640/watcher-4103197-1466233640 -o /tmp/evaluation-result-4103197-1466233640/solver-4103197-1466233640 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103197-1466233640.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED=71847461 node131.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.752 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.50 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.752 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.752 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.57 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.752 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.752 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.752 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.56 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.752 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.57 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.752 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: 26768048 kB Buffers: 127756 kB Cached: 158580 kB SwapCached: 1508 kB Active: 3855784 kB Inactive: 189456 kB Active(anon): 3758888 kB Inactive(anon): 2684 kB Active(file): 96896 kB Inactive(file): 186772 kB Unevictable: 1314692 kB Mlocked: 1200228 kB SwapTotal: 67108856 kB SwapFree: 67099856 kB Dirty: 16336 kB Writeback: 0 kB AnonPages: 5073476 kB Mapped: 10768 kB Shmem: 0 kB Slab: 602112 kB SReclaimable: 46096 kB SUnreclaim: 556016 kB KernelStack: 1480 kB PageTables: 14120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5213856 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 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= 71672 MiB End job on node131 at 2016-06-18 09:37:20