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.1 | 1800.62 |
| Name | OPT-BIGINT-LIN/graca/ normalized-ped3.F.recomb10-0.10-9.opb |
| MD5SUM | 4729c8a3829810469c3b8c83b3528a30 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5488 |
| Best CPU time to get the best result obtained on this benchmark | 17.0854 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 70131 |
| Total number of constraints | 607545 |
| Number of constraints which are clauses | 607545 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 339 |
| Number of terms in the objective function | 4960 |
| Biggest coefficient in the objective function | 341 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1575760 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 341 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1575760 |
| Number of bits of the biggest sum of numbers | 21 |
| 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-30T00:42:23+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-4079035-1467240143.opb"] 0.00/0.01 c use --random-gen="2165458201 235458149 2240419542 3303126312 662710782 3946987046 2320503073 3259655318 3437888600 2507782095 4149104380 2246459089 1044254098 4276753701 3174733859 619816456 749722787 1751042779 1259146553 1949724909 945079606 193609723 3742192169 2849477960 161760791 3011775072 4271154409 1838279267 850178715 4027256282 2698638998 137589506 2599219969 601688806 2459073130 2483821357 3537733489 2973595704 5841743 1169961661 3875721323 3439582991 3353332290 467618360 4029498292 2058137741 1062145254 3512063033 1882831324 4152442820 2262955974 1916589196 1793474424 4112805254 2809354884 1313219822 2504384670 3617522436 534953875 2593971918 1111227784 1125754607 3775727509 54898173 28452832 439006631 1839119239 2779117675 2656759752 573064341 1740404526 3094556168 2587519781 3973261123 2454972543 2030994374 1438525898 107447698 1779759055 2519833639 694378756 3427374522 811535029 2901455284 2362935075 1641046736 2894227174 3416987736 694469203 2689861457 2245915130 1708722003 3561802413 2679299294 3399948298 761916991 2456450739 2326821235 3041209276 568511776 959098316 458235833 3694492839 3060825994 1620071558 3124481972 3637259280 2685389366 2851786060 726055991 4225586977 3880555880 1164263732 1843645410 4117997609 1541039789 659473078 3047757292 2054677513 3086835209 4109447479 3465074362 2302805188 3480547472 343458756 2921361242 3371440481 559786549 497469502 2119495145 2400123672 1994109517 4060695710 3455872033 2354181182 1455103162 2320273966 1604031482 442397333 332150102 583134556 3918342045 3811196534 280740243 683386594 3569746712 3147046735 2968034811 2104952843 4038721582 1574985647 3760649429 2427659574 3224058581 1808830985 2491625839 499021861 1287527463 2142523957 2848752331 937740781 2196881653 2226810921 1320010832 1345011826 3362551906 1951104898 2365279602 2040431726 2008507195 1780078174 2926810194 72753353 2045756733 1795672133 1255919173 2425441296 3504016275 1020146731 1357322022 1691246009 2050444583 2554697383 2048627988 2436898153 1495024113 2597905356 982682036 1579393793 196522216 4149038868 196157917 566379475 1834741609 2558354362 1332383508 601452 4027779214 1544098754 1338920733 2907268301 4035094510 3013941463 3565132663 1534059647 3917829503 2198493166 3197734 3939203006 1865963652 3886671654 2546857981 3489924397 2349542244 2429198463 4101828738 1855511635 193116382 2260722482 2548287337 483663752 1630050558 39462895 3553138 1782674652 3023537811 3514320326 2792861208 1523307693 3243237081 1368881315 3197721853 4158562589 2540421500 3581569949 4292241201 128751299 1165664925 2235400479 2624491091 3441057457 1593144459 3344194677 3794343617 3473889651 2060857274 2617088250 1648301899 717128642 1548608594 1150696217 1351499276 3681165573 1283155845 868695256 2099306888 255 362436" option to reproduce the execution 3.30/3.32 c #vars 70131 3.30/3.32 c #constraints 607545 7.49/7.53 c BCD2: Hardening is enabled. 7.49/7.53 c BCD2: BiasedSearch is enabled. 7.49/7.53 c Solving starts ... 7.49/7.53 c ============================[ Search Statistics ]============================ 7.49/7.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.49/7.53 c | | | | Limit GC | Var | Constra 7.49/7.53 c ============================================================================= 7.49/7.59 c 0.0s | 0 | 0 | 0 | 101313 0 | 36490 | 0 8.69/8.73 c 1.1s | 0 | 152624 | 5 | 101313 0 | 36564 | 32943 8.69/8.73 c #cpu_time = 1.122s 8.69/8.73 c #wall_clock_time = 1.122s 8.69/8.73 c #decision = 152624 8.69/8.73 c #random_decision = 715 8.69/8.73 c #conflict = 5 8.69/8.73 c #restart = 0 8.69/8.73 o 1575759 8.69/8.74 c BCD2: updating upper bound: 1575760 -> 1575758 8.69/8.78 c BCD2: 0 <= obj <= 1575758 8.69/8.78 c BCD2: #cores=0, #unrelaxed=4960, #relaxed=0, #hardened=0 8.69/8.78 c BCD2: #sat=1 #unsat=1 bias=1/2 8.69/8.78 c Solving starts ... 8.69/8.78 c ============================[ Search Statistics ]============================ 8.69/8.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.69/8.78 c | | | | Limit GC | Var | Constra 8.69/8.78 c ============================================================================= 8.69/8.78 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 8.79/8.86 c 0.1s | 0 | 168 | 0 | 101313 0 | 36564 | 32943 8.79/8.86 c #cpu_time = 0.076s 8.79/8.86 c #wall_clock_time = 0.076s 8.79/8.86 c #decision = 168 8.79/8.86 c #random_decision = 0 8.79/8.86 c #conflict = 0 8.79/8.86 c #restart = 0 8.79/8.86 c BCD2: found a new core of size 1: cost of the new core is >=1 8.79/8.86 c lower bound updated to 1 8.79/8.88 c BCD2: 1 <= obj <= 1575758 8.79/8.88 c BCD2: #cores=1, #unrelaxed=4959, #relaxed=1, #hardened=0 8.79/8.88 c BCD2: #sat=1 #unsat=2 bias=2/3 8.79/8.88 c Solving starts ... 8.79/8.88 c ============================[ Search Statistics ]============================ 8.79/8.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.79/8.88 c | | | | Limit GC | Var | Constra 8.79/8.88 c ============================================================================= 8.79/8.88 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 8.89/8.96 c 0.1s | 0 | 338 | 0 | 101313 0 | 36564 | 32943 8.89/8.96 c #cpu_time = 0.075s 8.89/8.96 c #wall_clock_time = 0.075s 8.89/8.96 c #decision = 338 8.89/8.96 c #random_decision = 0 8.89/8.96 c #conflict = 0 8.89/8.96 c #restart = 0 8.89/8.96 c BCD2: found a new core of size 1: cost of the new core is >=1 8.89/8.96 c lower bound updated to 2 8.89/8.96 c BCD2: 2 <= obj <= 1575758 8.89/8.96 c BCD2: #cores=2, #unrelaxed=4958, #relaxed=2, #hardened=0 8.89/8.96 c BCD2: #sat=1 #unsat=3 bias=3/4 8.89/8.96 c Solving starts ... 8.89/8.96 c ============================[ Search Statistics ]============================ 8.89/8.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.89/8.96 c | | | | Limit GC | Var | Constra 8.89/8.96 c ============================================================================= 8.89/8.97 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 8.98/9.06 c 0.1s | 0 | 1659 | 0 | 101313 0 | 36564 | 32943 8.98/9.06 c #cpu_time = 0.080s 8.98/9.06 c #wall_clock_time = 0.080s 8.98/9.06 c #decision = 1659 8.98/9.06 c #random_decision = 0 8.98/9.06 c #conflict = 0 8.98/9.06 c #restart = 0 8.98/9.06 c BCD2: found a new core of size 7: cost of the new core is >=341 8.98/9.06 c lower bound updated to 343 8.98/9.06 c BCD2: 343 <= obj <= 1575758 8.98/9.06 c BCD2: #cores=3, #unrelaxed=4951, #relaxed=9, #hardened=0 8.98/9.06 c BCD2: #sat=1 #unsat=4 bias=4/5 8.98/9.06 c Solving starts ... 8.98/9.06 c ============================[ Search Statistics ]============================ 8.98/9.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.98/9.06 c | | | | Limit GC | Var | Constra 8.98/9.06 c ============================================================================= 8.98/9.07 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.08/9.15 c 0.1s | 0 | 2729 | 0 | 101313 0 | 36564 | 32943 9.08/9.15 c #cpu_time = 0.080s 9.08/9.15 c #wall_clock_time = 0.080s 9.08/9.15 c #decision = 2729 9.08/9.15 c #random_decision = 0 9.08/9.15 c #conflict = 0 9.08/9.15 c #restart = 0 9.08/9.15 c BCD2: found a new core of size 3: cost of the new core is >=341 9.08/9.15 c lower bound updated to 684 9.08/9.16 c BCD2: 684 <= obj <= 1575758 9.08/9.16 c BCD2: #cores=4, #unrelaxed=4948, #relaxed=12, #hardened=0 9.08/9.16 c BCD2: #sat=1 #unsat=5 bias=5/6 9.08/9.16 c Solving starts ... 9.08/9.16 c ============================[ Search Statistics ]============================ 9.08/9.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.08/9.16 c | | | | Limit GC | Var | Constra 9.08/9.16 c ============================================================================= 9.08/9.17 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.18/9.25 c 0.1s | 0 | 2955 | 0 | 101313 0 | 36564 | 32943 9.18/9.25 c #cpu_time = 0.081s 9.18/9.25 c #wall_clock_time = 0.081s 9.18/9.25 c #decision = 2955 9.18/9.25 c #random_decision = 0 9.18/9.25 c #conflict = 0 9.18/9.25 c #restart = 0 9.18/9.25 c BCD2: found a new core of size 34: cost of the new core is >=341 9.18/9.25 c lower bound updated to 1025 9.18/9.26 c BCD2: 1025 <= obj <= 1575758 9.18/9.26 c BCD2: #cores=5, #unrelaxed=4914, #relaxed=46, #hardened=0 9.18/9.26 c BCD2: #sat=1 #unsat=6 bias=6/7 9.18/9.26 c Solving starts ... 9.18/9.26 c ============================[ Search Statistics ]============================ 9.18/9.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.18/9.26 c | | | | Limit GC | Var | Constra 9.18/9.26 c ============================================================================= 9.18/9.27 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.28/9.35 c 0.1s | 0 | 2925 | 0 | 101313 0 | 36564 | 32943 9.28/9.35 c #cpu_time = 0.078s 9.28/9.35 c #wall_clock_time = 0.078s 9.28/9.35 c #decision = 2925 9.28/9.35 c #random_decision = 0 9.28/9.35 c #conflict = 0 9.28/9.35 c #restart = 0 9.28/9.35 c BCD2: found a new core of size 36: cost of the new core is >=341 9.28/9.35 c lower bound updated to 1366 9.28/9.35 c BCD2: 1366 <= obj <= 1575758 9.28/9.35 c BCD2: #cores=6, #unrelaxed=4878, #relaxed=82, #hardened=0 9.28/9.35 c BCD2: #sat=1 #unsat=7 bias=7/8 9.28/9.35 c Solving starts ... 9.28/9.35 c ============================[ Search Statistics ]============================ 9.28/9.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.28/9.35 c | | | | Limit GC | Var | Constra 9.28/9.35 c ============================================================================= 9.28/9.37 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.38/9.45 c 0.1s | 0 | 3445 | 0 | 101313 0 | 36564 | 32943 9.38/9.45 c #cpu_time = 0.084s 9.38/9.45 c #wall_clock_time = 0.084s 9.38/9.45 c #decision = 3445 9.38/9.45 c #random_decision = 0 9.38/9.45 c #conflict = 0 9.38/9.45 c #restart = 0 9.38/9.45 c BCD2: found a new core of size 1: cost of the new core is >=341 9.38/9.45 c lower bound updated to 1707 9.38/9.46 c BCD2: 1707 <= obj <= 1575758 9.38/9.46 c BCD2: #cores=7, #unrelaxed=4877, #relaxed=83, #hardened=0 9.38/9.46 c BCD2: #sat=1 #unsat=8 bias=8/9 9.38/9.46 c Solving starts ... 9.38/9.46 c ============================[ Search Statistics ]============================ 9.38/9.46 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.38/9.46 c | | | | Limit GC | Var | Constra 9.38/9.46 c ============================================================================= 9.38/9.47 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.48/9.56 c 0.1s | 0 | 3654 | 0 | 101313 0 | 36564 | 32943 9.48/9.56 c #cpu_time = 0.080s 9.48/9.56 c #wall_clock_time = 0.080s 9.48/9.56 c #decision = 3654 9.48/9.56 c #random_decision = 0 9.48/9.56 c #conflict = 0 9.48/9.56 c #restart = 0 9.48/9.56 c BCD2: found a new core of size 8: cost of the new core is >=341 9.48/9.56 c lower bound updated to 2048 9.48/9.56 c BCD2: 2048 <= obj <= 1575758 9.48/9.56 c BCD2: #cores=8, #unrelaxed=4869, #relaxed=91, #hardened=0 9.48/9.56 c BCD2: #sat=1 #unsat=9 bias=9/10 9.48/9.56 c Solving starts ... 9.48/9.56 c ============================[ Search Statistics ]============================ 9.48/9.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.48/9.56 c | | | | Limit GC | Var | Constra 9.48/9.56 c ============================================================================= 9.48/9.57 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.58/9.66 c 0.1s | 0 | 3951 | 0 | 101313 0 | 36564 | 32943 9.58/9.66 c #cpu_time = 0.082s 9.58/9.66 c #wall_clock_time = 0.082s 9.58/9.66 c #decision = 3951 9.58/9.66 c #random_decision = 0 9.58/9.66 c #conflict = 0 9.58/9.66 c #restart = 0 9.58/9.66 c BCD2: found a new core of size 14: cost of the new core is >=341 9.58/9.66 c lower bound updated to 2389 9.58/9.66 c BCD2: 2389 <= obj <= 1575758 9.58/9.66 c BCD2: #cores=9, #unrelaxed=4855, #relaxed=105, #hardened=0 9.58/9.66 c BCD2: #sat=1 #unsat=10 bias=10/11 9.58/9.66 c Solving starts ... 9.58/9.66 c ============================[ Search Statistics ]============================ 9.58/9.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.58/9.66 c | | | | Limit GC | Var | Constra 9.58/9.66 c ============================================================================= 9.58/9.68 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.68/9.76 c 0.1s | 0 | 4115 | 0 | 101313 0 | 36564 | 32943 9.68/9.76 c #cpu_time = 0.083s 9.68/9.76 c #wall_clock_time = 0.083s 9.68/9.76 c #decision = 4115 9.68/9.76 c #random_decision = 0 9.68/9.76 c #conflict = 0 9.68/9.76 c #restart = 0 9.68/9.76 c BCD2: found a new core of size 7: cost of the new core is >=341 9.68/9.76 c lower bound updated to 2730 9.68/9.76 c BCD2: 2730 <= obj <= 1575758 9.68/9.76 c BCD2: #cores=10, #unrelaxed=4848, #relaxed=112, #hardened=0 9.68/9.76 c BCD2: #sat=1 #unsat=11 bias=11/12 9.68/9.76 c Solving starts ... 9.68/9.77 c ============================[ Search Statistics ]============================ 9.68/9.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.68/9.77 c | | | | Limit GC | Var | Constra 9.68/9.77 c ============================================================================= 9.68/9.78 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.78/9.87 c 0.1s | 0 | 4212 | 0 | 101313 0 | 36564 | 32943 9.78/9.87 c #cpu_time = 0.084s 9.78/9.87 c #wall_clock_time = 0.084s 9.78/9.87 c #decision = 4212 9.78/9.87 c #random_decision = 0 9.78/9.87 c #conflict = 0 9.78/9.87 c #restart = 0 9.78/9.87 c BCD2: found a new core of size 4: cost of the new core is >=341 9.78/9.87 c lower bound updated to 3071 9.78/9.87 c BCD2: 3071 <= obj <= 1575758 9.78/9.87 c BCD2: #cores=11, #unrelaxed=4844, #relaxed=116, #hardened=0 9.78/9.87 c BCD2: #sat=1 #unsat=12 bias=12/13 9.78/9.87 c Solving starts ... 9.78/9.87 c ============================[ Search Statistics ]============================ 9.78/9.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.78/9.87 c | | | | Limit GC | Var | Constra 9.78/9.87 c ============================================================================= 9.78/9.89 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.89/9.97 c 0.1s | 0 | 4218 | 0 | 101313 0 | 36564 | 32943 9.89/9.97 c #cpu_time = 0.081s 9.89/9.97 c #wall_clock_time = 0.081s 9.89/9.97 c #decision = 4218 9.89/9.97 c #random_decision = 0 9.89/9.97 c #conflict = 0 9.89/9.97 c #restart = 0 9.89/9.97 c BCD2: found a new core of size 4: cost of the new core is >=341 9.89/9.97 c lower bound updated to 3412 9.89/9.97 c BCD2: 3412 <= obj <= 1575758 9.89/9.97 c BCD2: #cores=12, #unrelaxed=4840, #relaxed=120, #hardened=0 9.89/9.97 c BCD2: #sat=1 #unsat=13 bias=13/14 9.89/9.97 c Solving starts ... 9.89/9.97 c ============================[ Search Statistics ]============================ 9.89/9.97 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.89/9.97 c | | | | Limit GC | Var | Constra 9.89/9.97 c ============================================================================= 9.89/9.99 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 9.99/10.07 c 0.1s | 0 | 4283 | 0 | 101313 0 | 36564 | 32943 9.99/10.07 c #cpu_time = 0.083s 9.99/10.07 c #wall_clock_time = 0.083s 9.99/10.07 c #decision = 4283 9.99/10.07 c #random_decision = 0 9.99/10.07 c #conflict = 0 9.99/10.07 c #restart = 0 9.99/10.07 c BCD2: found a new core of size 36: cost of the new core is >=341 9.99/10.07 c lower bound updated to 3753 9.99/10.08 c BCD2: 3753 <= obj <= 1575758 9.99/10.08 c BCD2: #cores=13, #unrelaxed=4804, #relaxed=156, #hardened=0 9.99/10.08 c BCD2: #sat=1 #unsat=14 bias=14/15 9.99/10.08 c Solving starts ... 9.99/10.08 c ============================[ Search Statistics ]============================ 9.99/10.08 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.99/10.08 c | | | | Limit GC | Var | Constra 9.99/10.08 c ============================================================================= 9.99/10.09 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.08/10.18 c 0.1s | 0 | 4297 | 0 | 101313 0 | 36564 | 32943 10.08/10.18 c #cpu_time = 0.081s 10.08/10.18 c #wall_clock_time = 0.081s 10.08/10.18 c #decision = 4297 10.08/10.18 c #random_decision = 0 10.08/10.18 c #conflict = 0 10.08/10.18 c #restart = 0 10.08/10.18 c BCD2: found a new core of size 2: cost of the new core is >=341 10.08/10.18 c lower bound updated to 4094 10.08/10.18 c BCD2: 4094 <= obj <= 1575758 10.08/10.18 c BCD2: #cores=14, #unrelaxed=4802, #relaxed=158, #hardened=0 10.08/10.18 c BCD2: #sat=1 #unsat=15 bias=15/16 10.08/10.18 c Solving starts ... 10.08/10.18 c ============================[ Search Statistics ]============================ 10.08/10.18 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.08/10.18 c | | | | Limit GC | Var | Constra 10.08/10.18 c ============================================================================= 10.08/10.19 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.18/10.28 c 0.1s | 0 | 4613 | 0 | 101313 0 | 36564 | 32943 10.18/10.28 c #cpu_time = 0.084s 10.18/10.28 c #wall_clock_time = 0.084s 10.18/10.28 c #decision = 4613 10.18/10.28 c #random_decision = 0 10.18/10.28 c #conflict = 0 10.18/10.28 c #restart = 0 10.18/10.28 c BCD2: found a new core of size 9: cost of the new core is >=341 10.18/10.28 c lower bound updated to 4435 10.18/10.28 c BCD2: 4435 <= obj <= 1575758 10.18/10.28 c BCD2: #cores=15, #unrelaxed=4793, #relaxed=167, #hardened=0 10.18/10.28 c BCD2: #sat=1 #unsat=16 bias=16/17 10.18/10.28 c Solving starts ... 10.18/10.28 c ============================[ Search Statistics ]============================ 10.18/10.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.18/10.28 c | | | | Limit GC | Var | Constra 10.18/10.28 c ============================================================================= 10.28/10.30 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.38/10.40 c 0.1s | 0 | 7846 | 3 | 101313 0 | 36564 | 32943 10.38/10.40 c #cpu_time = 0.094s 10.38/10.40 c #wall_clock_time = 0.094s 10.38/10.40 c #decision = 7846 10.38/10.40 c #random_decision = 4 10.38/10.40 c #conflict = 3 10.38/10.40 c #restart = 0 10.38/10.40 c BCD2: found a new core of size 27: cost of the new core is >=1 10.38/10.40 c lower bound updated to 4436 10.38/10.40 c BCD2: 4436 <= obj <= 1575758 10.38/10.40 c BCD2: #cores=16, #unrelaxed=4766, #relaxed=194, #hardened=0 10.38/10.40 c BCD2: #sat=1 #unsat=17 bias=17/18 10.38/10.40 c Solving starts ... 10.38/10.40 c ============================[ Search Statistics ]============================ 10.38/10.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.38/10.40 c | | | | Limit GC | Var | Constra 10.38/10.40 c ============================================================================= 10.38/10.42 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.48/10.51 c 0.1s | 0 | 5094 | 3 | 101313 0 | 36564 | 32943 10.48/10.51 c #cpu_time = 0.091s 10.48/10.51 c #wall_clock_time = 0.091s 10.48/10.51 c #decision = 5094 10.48/10.51 c #random_decision = 0 10.48/10.51 c #conflict = 3 10.48/10.51 c #restart = 0 10.48/10.51 c BCD2: found a new core of size 42: cost of the new core is >=341 10.48/10.51 c lower bound updated to 4777 10.48/10.51 c BCD2: 4777 <= obj <= 1575758 10.48/10.51 c BCD2: #cores=17, #unrelaxed=4724, #relaxed=236, #hardened=0 10.48/10.51 c BCD2: #sat=1 #unsat=18 bias=18/19 10.48/10.51 c Solving starts ... 10.48/10.51 c ============================[ Search Statistics ]============================ 10.48/10.51 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.48/10.51 c | | | | Limit GC | Var | Constra 10.48/10.51 c ============================================================================= 10.48/10.53 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.58/10.65 c 0.1s | 0 | 17950 | 8 | 101313 0 | 36564 | 32943 10.58/10.65 c #cpu_time = 0.120s 10.58/10.65 c #wall_clock_time = 0.120s 10.58/10.65 c #decision = 17950 10.58/10.65 c #random_decision = 0 10.58/10.65 c #conflict = 8 10.58/10.65 c #restart = 0 10.58/10.65 c BCD2: found a new core of size 13: cost of the new core is >=1 10.58/10.65 c lower bound updated to 4778 10.58/10.66 c BCD2: 4778 <= obj <= 1575758 10.58/10.66 c BCD2: #cores=18, #unrelaxed=4711, #relaxed=249, #hardened=0 10.58/10.66 c BCD2: #sat=1 #unsat=19 bias=19/20 10.58/10.66 c Solving starts ... 10.58/10.66 c ============================[ Search Statistics ]============================ 10.58/10.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.58/10.66 c | | | | Limit GC | Var | Constra 10.58/10.66 c ============================================================================= 10.58/10.67 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.68/10.77 c 0.1s | 0 | 4786 | 4 | 101313 0 | 36564 | 32943 10.68/10.77 c #cpu_time = 0.091s 10.68/10.77 c #wall_clock_time = 0.091s 10.68/10.77 c #decision = 4786 10.68/10.77 c #random_decision = 0 10.68/10.77 c #conflict = 4 10.68/10.77 c #restart = 0 10.68/10.77 c BCD2: found a new core of size 41: cost of the new core is >=1 10.68/10.77 c lower bound updated to 4779 10.68/10.77 c BCD2: 4779 <= obj <= 1575758 10.68/10.77 c BCD2: #cores=19, #unrelaxed=4670, #relaxed=290, #hardened=0 10.68/10.77 c BCD2: #sat=1 #unsat=20 bias=20/21 10.68/10.77 c Solving starts ... 10.68/10.77 c ============================[ Search Statistics ]============================ 10.68/10.77 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.68/10.77 c | | | | Limit GC | Var | Constra 10.68/10.77 c ============================================================================= 10.68/10.79 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.88/10.91 c 0.1s | 0 | 13847 | 16 | 101313 0 | 36564 | 32943 10.88/10.91 c #cpu_time = 0.120s 10.88/10.91 c #wall_clock_time = 0.120s 10.88/10.91 c #decision = 13847 10.88/10.91 c #random_decision = 1 10.88/10.91 c #conflict = 16 10.88/10.91 c #restart = 0 10.88/10.91 c BCD2: found a new core of size 10: cost of the new core is >=1 10.88/10.91 c lower bound updated to 4780 10.88/10.91 c BCD2: 4780 <= obj <= 1575758 10.88/10.91 c BCD2: #cores=20, #unrelaxed=4660, #relaxed=300, #hardened=0 10.88/10.91 c BCD2: #sat=1 #unsat=21 bias=21/22 10.88/10.91 c Solving starts ... 10.88/10.91 c ============================[ Search Statistics ]============================ 10.88/10.91 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.88/10.91 c | | | | Limit GC | Var | Constra 10.88/10.91 c ============================================================================= 10.88/10.93 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 10.99/11.04 c 0.1s | 0 | 9640 | 15 | 101313 0 | 36564 | 32943 10.99/11.04 c #cpu_time = 0.110s 10.99/11.04 c #wall_clock_time = 0.111s 10.99/11.04 c #decision = 9640 10.99/11.04 c #random_decision = 5 10.99/11.04 c #conflict = 15 10.99/11.04 c #restart = 0 10.99/11.04 c BCD2: found a new core of size 58: cost of the new core is >=1 10.99/11.04 c lower bound updated to 4781 10.99/11.05 c BCD2: 4781 <= obj <= 1575758 10.99/11.05 c BCD2: #cores=21, #unrelaxed=4602, #relaxed=358, #hardened=0 10.99/11.05 c BCD2: #sat=1 #unsat=22 bias=22/23 10.99/11.05 c Solving starts ... 10.99/11.05 c ============================[ Search Statistics ]============================ 10.99/11.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.99/11.05 c | | | | Limit GC | Var | Constra 10.99/11.05 c ============================================================================= 10.99/11.07 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 11.09/11.19 c 0.1s | 0 | 12959 | 25 | 101313 0 | 36564 | 32943 11.09/11.19 c #cpu_time = 0.125s 11.09/11.19 c #wall_clock_time = 0.125s 11.09/11.19 c #decision = 12959 11.09/11.19 c #random_decision = 14 11.09/11.19 c #conflict = 25 11.09/11.19 c #restart = 0 11.09/11.19 c BCD2: found a new core of size 4: cost of the new core is >=1 11.09/11.19 c lower bound updated to 4782 11.18/11.20 c BCD2: 4782 <= obj <= 1575758 11.18/11.20 c BCD2: #cores=22, #unrelaxed=4598, #relaxed=362, #hardened=0 11.18/11.20 c BCD2: #sat=1 #unsat=23 bias=23/24 11.18/11.20 c Solving starts ... 11.18/11.20 c ============================[ Search Statistics ]============================ 11.18/11.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.18/11.20 c | | | | Limit GC | Var | Constra 11.18/11.20 c ============================================================================= 11.18/11.22 c 0.0s | 0 | 0 | 0 | 101313 0 | 36564 | 32943 11.38/11.41 c 0.2s | 0 | 14332 | 44 | 111445 0 | 36564 | 32943 11.38/11.41 c #cpu_time = 0.183s 11.38/11.41 c #wall_clock_time = 0.183s 11.38/11.41 c #decision = 14332 11.38/11.41 c #random_decision = 25 11.38/11.41 c #conflict = 44 11.38/11.41 c #restart = 0 11.38/11.41 c BCD2: found a new core of size 61: cost of the new core is >=1 11.38/11.41 c lower bound updated to 4783 11.38/11.41 c BCD2: 4783 <= obj <= 1575758 11.38/11.41 c BCD2: #cores=23, #unrelaxed=4537, #relaxed=423, #hardened=0 11.38/11.41 c BCD2: #sat=1 #unsat=24 bias=24/25 11.38/11.41 c Solving starts ... 11.38/11.41 c ============================[ Search Statistics ]============================ 11.38/11.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.38/11.41 c | | | | Limit GC | Var | Constra 11.38/11.41 c ============================================================================= 11.38/11.44 c 0.0s | 0 | 0 | 0 | 111445 0 | 36564 | 32943 11.58/11.61 c 0.2s | 0 | 13026 | 38 | 111445 0 | 36564 | 32943 11.58/11.61 c #cpu_time = 0.170s 11.58/11.61 c #wall_clock_time = 0.170s 11.58/11.61 c #decision = 13026 11.58/11.61 c #random_decision = 2 11.58/11.61 c #conflict = 38 11.58/11.61 c #restart = 0 11.58/11.61 c BCD2: found a new core of size 84: cost of the new core is >=1 11.58/11.61 c lower bound updated to 4784 11.58/11.61 c BCD2: 4784 <= obj <= 1575758 11.58/11.61 c BCD2: #cores=24, #unrelaxed=4453, #relaxed=507, #hardened=0 11.58/11.61 c BCD2: #sat=1 #unsat=25 bias=25/26 11.58/11.61 c Solving starts ... 11.58/11.61 c ============================[ Search Statistics ]============================ 11.58/11.61 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.58/11.61 c | | | | Limit GC | Var | Constra 11.58/11.61 c ============================================================================= 11.58/11.64 c 0.0s | 0 | 0 | 0 | 111445 0 | 36564 | 32943 11.89/11.90 c 0.3s | 1 | 9446 | 100 | 122590 0 | 36564 | 32943 12.10/12.15 c 0.5s | 1 | 19771 | 191 | 122590 0 | 36564 | 32943 12.10/12.15 c #cpu_time = 0.514s 12.10/12.15 c #wall_clock_time = 0.514s 12.10/12.15 c #decision = 19771 12.10/12.15 c #random_decision = 15 12.10/12.15 c #conflict = 191 12.10/12.15 c #restart = 1 12.10/12.15 c BCD2: found a new core of size 64: cost of the new core is >=1 12.10/12.15 c lower bound updated to 4785 12.10/12.16 c BCD2: 4785 <= obj <= 1575758 12.10/12.16 c BCD2: #cores=25, #unrelaxed=4389, #relaxed=571, #hardened=0 12.10/12.16 c BCD2: #sat=1 #unsat=26 bias=26/27 12.10/12.16 c Solving starts ... 12.10/12.16 c ============================[ Search Statistics ]============================ 12.10/12.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.10/12.16 c | | | | Limit GC | Var | Constra 12.10/12.16 c ============================================================================= 12.10/12.18 c 0.0s | 0 | 0 | 0 | 122590 0 | 36564 | 32943 12.39/12.44 c 0.3s | 0 | 28245 | 98 | 122590 0 | 36564 | 32943 12.39/12.44 c #cpu_time = 0.257s 12.39/12.44 c #wall_clock_time = 0.257s 12.39/12.44 c #decision = 28245 12.39/12.44 c #random_decision = 13 12.39/12.44 c #conflict = 98 12.39/12.44 c #restart = 0 12.39/12.44 c BCD2: found a new core of size 43: cost of the new core is >=1 12.39/12.44 c lower bound updated to 4786 12.39/12.44 c BCD2: 4786 <= obj <= 1575758 12.39/12.44 c BCD2: #cores=26, #unrelaxed=4346, #relaxed=614, #hardened=0 12.39/12.44 c BCD2: #sat=1 #unsat=27 bias=27/28 12.39/12.45 c Solving starts ... 12.39/12.45 c ============================[ Search Statistics ]============================ 12.39/12.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.39/12.45 c | | | | Limit GC | Var | Constra 12.39/12.45 c ============================================================================= 12.39/12.47 c 0.0s | 0 | 0 | 0 | 122590 0 | 36564 | 32943 12.69/12.75 c 0.3s | 0 | 13360 | 83 | 134849 0 | 36564 | 32943 12.69/12.75 c #cpu_time = 0.278s 12.69/12.75 c #wall_clock_time = 0.278s 12.69/12.75 c #decision = 13360 12.69/12.75 c #random_decision = 6 12.69/12.75 c #conflict = 83 12.69/12.75 c #restart = 0 12.69/12.75 c BCD2: found a new core of size 52: cost of the new core is >=341 12.69/12.75 c lower bound updated to 5127 12.69/12.76 c BCD2: 5127 <= obj <= 1575758 12.69/12.76 c BCD2: #cores=27, #unrelaxed=4294, #relaxed=666, #hardened=0 12.69/12.76 c BCD2: #sat=1 #unsat=28 bias=28/29 12.69/12.76 c Solving starts ... 12.69/12.76 c ============================[ Search Statistics ]============================ 12.69/12.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.69/12.76 c | | | | Limit GC | Var | Constra 12.69/12.76 c ============================================================================= 12.69/12.78 c 0.0s | 0 | 0 | 0 | 134849 0 | 36564 | 32943 12.89/12.93 c 0.1s | 0 | 9172 | 8 | 134849 0 | 36564 | 32943 12.89/12.93 c #cpu_time = 0.142s 12.89/12.93 c #wall_clock_time = 0.142s 12.89/12.93 c #decision = 9172 12.89/12.93 c #random_decision = 11 12.89/12.93 c #conflict = 8 12.89/12.93 c #restart = 0 12.89/12.93 c BCD2: found a new core of size 57: cost of the new core is >=341 12.89/12.93 c lower bound updated to 5468 12.89/12.93 c BCD2: 5468 <= obj <= 1575758 12.89/12.93 c BCD2: #cores=28, #unrelaxed=4237, #relaxed=723, #hardened=0 12.89/12.93 c BCD2: #sat=1 #unsat=29 bias=29/30 12.89/12.93 c Solving starts ... 12.89/12.93 c ============================[ Search Statistics ]============================ 12.89/12.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.89/12.93 c | | | | Limit GC | Var | Constra 12.89/12.93 c ============================================================================= 12.89/12.96 c 0.0s | 0 | 0 | 0 | 134849 0 | 36564 | 32943 13.20/13.22 c 0.3s | 1 | 8244 | 100 | 134849 0 | 36564 | 32943 13.59/13.60 c 0.6s | 2 | 25540 | 250 | 134849 0 | 36564 | 32943 14.09/14.11 c 1.2s | 3 | 43310 | 475 | 148334 0 | 36564 | 32943 14.19/14.22 c 1.3s | 3 | 48366 | 485 | 148334 0 | 36564 | 32943 14.19/14.22 c #cpu_time = 1.258s 14.19/14.22 c #wall_clock_time = 1.258s 14.19/14.22 c #decision = 48366 14.19/14.22 c #random_decision = 7 14.19/14.22 c #conflict = 485 14.19/14.22 c #restart = 3 14.19/14.22 c BCD2: found a new core of size 136: cost of the new core is >=1 14.19/14.22 c lower bound updated to 5469 14.19/14.22 c BCD2: 5469 <= obj <= 1575758 14.19/14.22 c BCD2: #cores=29, #unrelaxed=4101, #relaxed=859, #hardened=0 14.19/14.22 c BCD2: #sat=1 #unsat=30 bias=30/31 14.19/14.22 c Solving starts ... 14.19/14.22 c ============================[ Search Statistics ]============================ 14.19/14.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.19/14.22 c | | | | Limit GC | Var | Constra 14.19/14.22 c ============================================================================= 14.19/14.25 c 0.0s | 0 | 0 | 0 | 148334 0 | 36564 | 32943 14.40/14.49 c 0.2s | 1 | 5538 | 100 | 148334 0 | 36564 | 32943 14.89/14.97 c 0.7s | 1 | 22241 | 240 | 148334 0 | 36567 | 33124 14.89/14.97 c #cpu_time = 0.725s 14.89/14.97 c #wall_clock_time = 0.725s 14.89/14.97 c #decision = 22241 14.89/14.97 c #random_decision = 21 14.89/14.97 c #conflict = 240 14.89/14.97 c #restart = 1 14.89/14.97 c BCD2: found a new core of size 33: cost of the new core is >=1 14.89/14.97 c lower bound updated to 5470 14.89/14.98 c BCD2: 5470 <= obj <= 1575758 14.89/14.98 c BCD2: #cores=30, #unrelaxed=4068, #relaxed=892, #hardened=0 14.89/14.98 c BCD2: #sat=1 #unsat=31 bias=31/32 14.89/14.98 c Solving starts ... 14.89/14.98 c ============================[ Search Statistics ]============================ 14.89/14.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.89/14.98 c | | | | Limit GC | Var | Constra 14.89/14.98 c ============================================================================= 14.99/15.01 c 0.0s | 0 | 0 | 0 | 148334 0 | 36567 | 33124 15.19/15.24 c 0.2s | 1 | 7170 | 100 | 163168 0 | 36567 | 33124 15.79/15.81 c 0.8s | 2 | 30092 | 250 | 163168 0 | 36567 | 33124 16.50/16.54 c 1.5s | 3 | 59993 | 475 | 163168 0 | 36567 | 33124 17.39/17.48 c 2.5s | 3 | 100203 | 704 | 163168 0 | 36567 | 33124 17.39/17.48 c #cpu_time = 2.440s 17.39/17.48 c #wall_clock_time = 2.440s 17.39/17.48 c #decision = 100203 17.39/17.48 c #random_decision = 150 17.39/17.48 c #conflict = 704 17.39/17.48 c #restart = 3 17.39/17.48 o 55294 19.49/19.59 c BCD2: updating upper bound: 1575758 -> 55293 21.59/21.66 c BCD2: 5470 <= obj <= 55293 21.59/21.66 c BCD2: #cores=30, #unrelaxed=4068, #relaxed=892, #hardened=0 21.59/21.66 c BCD2: #sat=2 #unsat=31 bias=31/33 21.59/21.66 c Solving starts ... 21.59/21.66 c ============================[ Search Statistics ]============================ 21.59/21.66 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.59/21.66 c | | | | Limit GC | Var | Constra 21.59/21.66 c ============================================================================= 21.59/21.67 c 0.0s | 0 | 0 | 0 | 163168 0 | 36567 | 33124 22.39/22.41 c 0.7s | 1 | 30809 | 100 | 163168 0 | 36567 | 33124 22.79/22.85 c 1.2s | 2 | 35317 | 250 | 179485 0 | 36567 | 33124 23.69/23.78 c 2.1s | 3 | 63145 | 475 | 179485 0 | 36567 | 33124 24.59/24.64 c 3.0s | 4 | 76320 | 813 | 179485 0 | 36567 | 33124 25.89/25.90 c 4.2s | 4 | 112541 | 1244 | 179485 0 | 36567 | 33124 25.89/25.90 c #cpu_time = 4.198s 25.89/25.90 c #wall_clock_time = 4.198s 25.89/25.90 c #decision = 112541 25.89/25.90 c #random_decision = 113 25.89/25.90 c #conflict = 1244 25.89/25.90 c #restart = 4 25.89/25.90 o 48133 27.69/27.71 c BCD2: updating upper bound: 55293 -> 48132 29.39/29.49 c BCD2: 5470 <= obj <= 48132 29.39/29.49 c BCD2: #cores=30, #unrelaxed=4068, #relaxed=892, #hardened=0 29.39/29.49 c BCD2: #sat=3 #unsat=31 bias=31/34 29.49/29.50 c Solving starts ... 29.49/29.50 c ============================[ Search Statistics ]============================ 29.49/29.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 29.49/29.50 c | | | | Limit GC | Var | Constra 29.49/29.50 c ============================================================================= 29.49/29.51 c 0.0s | 0 | 0 | 0 | 179485 0 | 36567 | 33125 29.89/29.95 c 0.4s | 1 | 7329 | 100 | 197434 0 | 36567 | 33125 30.39/30.42 c 0.9s | 2 | 15858 | 250 | 197434 0 | 36567 | 33125 31.09/31.10 c 1.6s | 3 | 24524 | 475 | 197434 0 | 36567 | 33125 31.49/31.59 c 2.1s | 3 | 47806 | 785 | 197434 0 | 36567 | 33125 31.49/31.59 c #cpu_time = 2.044s 31.49/31.59 c #wall_clock_time = 2.044s 31.49/31.59 c #decision = 47806 31.49/31.59 c #random_decision = 61 31.49/31.59 c #conflict = 785 31.49/31.59 c #restart = 3 31.49/31.59 o 41310 33.09/33.15 c BCD2: updating upper bound: 48132 -> 41309 34.59/34.69 c BCD2: 5470 <= obj <= 41309 34.59/34.69 c BCD2: #cores=30, #unrelaxed=4068, #relaxed=892, #hardened=0 34.59/34.69 c BCD2: #sat=4 #unsat=31 bias=31/35 34.59/34.69 c Solving starts ... 34.59/34.69 c ============================[ Search Statistics ]============================ 34.59/34.69 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 34.59/34.69 c | | | | Limit GC | Var | Constra 34.59/34.69 c ============================================================================= 34.69/34.70 c 0.0s | 0 | 0 | 0 | 197434 0 | 36567 | 33126 34.79/34.87 c 0.2s | 1 | 4467 | 100 | 197434 0 | 36567 | 33126 35.39/35.46 c 0.8s | 2 | 10779 | 250 | 197434 0 | 36567 | 33126 35.99/36.04 c 1.3s | 3 | 21623 | 475 | 197434 0 | 36567 | 33126 37.39/37.41 c 2.7s | 4 | 27207 | 813 | 197434 0 | 36567 | 33126 38.59/38.64 c 3.9s | 5 | 38742 | 1320 | 217178 0 | 36567 | 33126 39.79/39.87 c 5.2s | 6 | 45775 | 2081 | 217178 0 | 36567 | 33126 41.98/42.02 c 7.3s | 6 | 64037 | 2881 | 217178 0 | 36567 | 33126 42.99/43.08 c 8.4s | 7 | 64487 | 3223 | 217178 0 | 36567 | 33126 45.09/45.15 c 10.5s | 7 | 74929 | 3823 | 238896 0 | 36567 | 33126 47.18/47.21 c 12.5s | 7 | 76826 | 4523 | 238896 0 | 36567 | 33126 48.49/48.52 c 13.8s | 8 | 77532 | 4936 | 238896 0 | 36567 | 33126 50.78/50.85 c 16.1s | 8 | 86825 | 5536 | 238896 0 | 36567 | 33126 53.08/53.19 c 18.5s | 8 | 87907 | 6236 | 238896 0 | 36567 | 33126 55.18/55.26 c 20.6s | 8 | 88899 | 6836 | 238896 0 | 36567 | 33126 57.48/57.53 c 22.8s | 9 | 89898 | 7506 | 262786 0 | 36567 | 33126 58.39/58.44 c 23.7s | 9 | 95262 | 7685 | 262786 0 | 36567 | 33126 58.39/58.44 c #cpu_time = 23.733s 58.39/58.44 c #wall_clock_time = 23.733s 58.39/58.44 c #decision = 95262 58.39/58.44 c #random_decision = 68 58.39/58.44 c #conflict = 7685 58.39/58.44 c #restart = 9 58.39/58.44 c BCD2: relaxing 481 and merging with 6 cores into a new core of size 585: cost of the new core is >=687 58.39/58.44 c lower bound updated to 5471 59.98/60.03 c BCD2: 5471 <= obj <= 41309 59.98/60.03 c BCD2: #cores=25, #unrelaxed=3587, #relaxed=1373, #hardened=0 59.98/60.03 c BCD2: #sat=4 #unsat=32 bias=32/36 59.98/60.04 c Solving starts ... 59.98/60.04 c ============================[ Search Statistics ]============================ 59.98/60.04 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 59.98/60.04 c | | | | Limit GC | Var | Constra 59.98/60.04 c ============================================================================= 59.98/60.04 c 0.0s | 0 | 0 | 0 | 262786 0 | 36669 | 33126 60.59/60.66 c 0.6s | 1 | 10137 | 100 | 262786 0 | 36669 | 33324 61.28/61.36 c 1.3s | 2 | 26117 | 250 | 262786 0 | 36669 | 33324 62.28/62.38 c 2.3s | 3 | 39131 | 475 | 262786 0 | 36669 | 33324 62.98/63.03 c 3.0s | 4 | 44406 | 813 | 262786 0 | 36669 | 33324 64.78/64.89 c 4.8s | 5 | 54133 | 1320 | 262786 0 | 36669 | 33324 66.78/66.80 c 6.8s | 6 | 61279 | 2081 | 262786 0 | 36669 | 33324 69.18/69.25 c 9.2s | 6 | 66108 | 2781 | 262786 0 | 36669 | 33324 70.98/71.05 c 11.0s | 7 | 66784 | 3223 | 262786 0 | 36669 | 33324 73.18/73.21 c 13.2s | 7 | 71186 | 3723 | 262786 0 | 36669 | 33324 75.68/75.76 c 15.7s | 7 | 71713 | 4223 | 262786 0 | 36669 | 33324 77.88/77.99 c 17.9s | 7 | 75692 | 4723 | 262786 0 | 36669 | 33324 78.68/78.78 c 18.7s | 8 | 76033 | 4936 | 262786 0 | 36669 | 33324 80.98/81.00 c 21.0s | 8 | 80384 | 5336 | 262786 0 | 36669 | 33324 83.38/83.43 c 23.4s | 8 | 81275 | 5836 | 289065 0 | 36669 | 33324 85.48/85.51 c 25.5s | 8 | 81753 | 6236 | 289065 0 | 36669 | 33324 88.18/88.23 c 28.2s | 8 | 82490 | 6736 | 289065 0 | 36669 | 33324 90.28/90.35 c 30.3s | 8 | 83664 | 7136 | 289065 0 | 36669 | 33324 91.88/91.97 c 31.9s | 9 | 86434 | 7506 | 289065 0 | 36669 | 33324 93.88/93.97 c 33.9s | 9 | 94863 | 8906 | 289065 0 | 36669 | 33324 96.18/96.29 c 36.3s | 9 | 98293 | 10006 | 289065 0 | 36669 | 33324 98.28/98.33 c 38.3s | 9 | 102139 | 10406 | 289065 0 | 36669 | 33324 100.47/100.54 c 40.5s | 9 | 103259 | 10906 | 289065 0 | 36669 | 33324 102.17/102.23 c 42.2s | 10 | 105592 | 11361 | 289065 0 | 36669 | 33324 104.48/104.53 c 44.5s | 10 | 112051 | 11761 | 289065 0 | 36669 | 33324 106.87/106.93 c 46.9s | 10 | 113435 | 12161 | 289065 0 | 36669 | 33324 109.67/109.72 c 49.7s | 10 | 114160 | 12561 | 289065 0 | 36669 | 33324 111.87/111.90 c 51.9s | 10 | 114541 | 12861 | 289065 0 | 36669 | 33324 114.27/114.31 c 54.3s | 10 | 115463 | 13261 | 289065 0 | 36669 | 33324 116.68/116.73 c 56.7s | 10 | 116900 | 13661 | 289065 0 | 36669 | 33324 118.78/118.88 c 58.8s | 10 | 117311 | 13961 | 289065 0 | 36669 | 33324 120.87/120.97 c 60.9s | 10 | 117664 | 14261 | 317972 0 | 36669 | 33324 123.37/123.41 c 63.4s | 10 | 118426 | 14661 | 317972 0 | 36669 | 33324 125.67/125.77 c 65.7s | 10 | 118818 | 14961 | 317972 0 | 36669 | 33324 128.07/128.15 c 68.1s | 10 | 119382 | 15261 | 317972 0 | 36669 | 33324 130.27/130.32 c 70.3s | 10 | 119823 | 15561 | 317972 0 | 36669 | 33324 132.27/132.39 c 72.3s | 10 | 120361 | 15861 | 317972 0 | 36669 | 33324 134.97/135.03 c 75.0s | 10 | 120805 | 16161 | 317972 0 | 36669 | 33324 137.66/137.79 c 77.7s | 10 | 121701 | 16461 | 317972 0 | 36669 | 33324 139.77/139.82 c 79.8s | 10 | 121943 | 16661 | 317972 0 | 36669 | 33324 142.46/142.56 c 82.5s | 10 | 122380 | 16961 | 317972 0 | 36669 | 33324 144.46/144.53 c 84.5s | 11 | 122643 | 17144 | 317972 0 | 36669 | 33324 146.67/146.75 c 86.7s | 11 | 126715 | 17444 | 317972 0 | 36669 | 33324 148.77/148.89 c 88.8s | 11 | 127270 | 17744 | 317972 0 | 36669 | 33324 150.97/151.04 c 91.0s | 11 | 127953 | 18044 | 317972 0 | 36669 | 33324 153.17/153.23 c 93.2s | 11 | 128223 | 18244 | 317972 0 | 36669 | 33324 155.18/155.29 c 95.2s | 11 | 128551 | 18444 | 317972 0 | 36669 | 33324 157.57/157.65 c 97.6s | 11 | 129295 | 18744 | 317972 0 | 36669 | 33324 159.87/159.94 c 99.9s | 11 | 129778 | 19044 | 317972 0 | 36669 | 33324 162.47/162.55 c 102s | 11 | 133392 | 19344 | 317972 0 | 36669 | 33324 164.87/164.96 c 104s | 11 | 134092 | 19744 | 317972 0 | 36669 | 33324 167.27/167.31 c 107s | 11 | 134392 | 19944 | 317972 0 | 36669 | 33324 169.37/169.40 c 109s | 11 | 134987 | 20244 | 317972 0 | 36669 | 33324 171.77/171.88 c 111s | 11 | 135393 | 20544 | 317972 0 | 36669 | 33324 173.87/173.96 c 113s | 11 | 135613 | 20744 | 317972 0 | 36669 | 33324 175.97/176.02 c 115s | 11 | 135839 | 20944 | 317972 0 | 36669 | 33324 178.46/178.58 c 118s | 11 | 136176 | 21244 | 317972 0 | 36669 | 33324 180.66/180.76 c 120s | 11 | 136570 | 21544 | 317972 0 | 36669 | 33324 182.76/182.82 c 122s | 11 | 136839 | 21744 | 317972 0 | 36669 | 33324 185.56/185.69 c 125s | 11 | 137168 | 22044 | 317972 0 | 36669 | 33324 188.36/188.49 c 128s | 11 | 137821 | 22344 | 317972 0 | 36669 | 33324 191.06/191.12 c 131s | 11 | 138304 | 22644 | 317972 0 | 36669 | 33324 194.16/194.21 c 134s | 11 | 138769 | 22944 | 317972 0 | 36669 | 33324 196.46/196.55 c 136s | 11 | 139005 | 23144 | 317972 0 | 36669 | 33324 198.66/198.75 c 138s | 11 | 139227 | 23344 | 317972 0 | 36669 | 33324 200.86/200.95 c 140s | 11 | 139454 | 23544 | 317972 0 | 36669 | 33324 203.76/203.83 c 143s | 11 | 139654 | 23744 | 317972 0 | 36669 | 33324 206.06/206.15 c 146s | 11 | 140006 | 23944 | 317972 0 | 36669 | 33324 208.46/208.57 c 148s | 11 | 140206 | 24144 | 317972 0 | 36669 | 33324 210.76/210.86 c 150s | 11 | 140430 | 24344 | 317972 0 | 36669 | 33324 213.06/213.10 c 153s | 11 | 140672 | 24544 | 317972 0 | 36669 | 33324 215.16/215.28 c 155s | 11 | 140898 | 24744 | 317972 0 | 36669 | 33324 217.36/217.49 c 157s | 11 | 141123 | 24944 | 317972 0 | 36669 | 33324 219.46/219.56 c 159s | 11 | 141333 | 25144 | 317972 0 | 36669 | 33324 222.46/222.52 c 162s | 11 | 141675 | 25444 | 317972 0 | 36669 | 33324 225.36/225.40 c 165s | 11 | 142093 | 25744 | 317972 0 | 36669 | 33324 226.36/226.49 c 166s | 12 | 142167 | 25819 | 317972 0 | 36669 | 33324 228.46/228.56 c 168s | 12 | 149246 | 26519 | 317972 0 | 36669 | 33324 230.96/231.02 c 170s | 12 | 151133 | 27019 | 349770 0 | 36669 | 33324 233.26/233.35 c 173s | 12 | 155586 | 27619 | 349770 0 | 36669 | 33324 235.75/235.83 c 175s | 12 | 169091 | 28319 | 349770 0 | 36669 | 33324 237.95/238.06 c 178s | 12 | 170725 | 28619 | 349770 0 | 36669 | 33324 240.15/240.20 c 180s | 12 | 172245 | 29019 | 349770 0 | 36669 | 33324 242.25/242.37 c 182s | 12 | 175653 | 29719 | 349770 0 | 36669 | 33324 244.26/244.37 c 184s | 12 | 177918 | 30419 | 349770 0 | 36669 | 33324 246.46/246.53 c 186s | 12 | 180644 | 31319 | 349770 0 | 36669 | 33324 248.95/249.01 c 188s | 12 | 183524 | 32119 | 349770 0 | 36669 | 33324 251.25/251.31 c 191s | 12 | 187889 | 32419 | 349770 0 | 36669 | 33324 253.55/253.62 c 193s | 12 | 189131 | 32719 | 349770 0 | 36669 | 33324 256.05/256.16 c 196s | 12 | 190362 | 33019 | 349770 0 | 36669 | 33324 258.65/258.71 c 198s | 12 | 191486 | 33419 | 349770 0 | 36669 | 33324 260.65/260.78 c 200s | 12 | 192137 | 33719 | 349770 0 | 36669 | 33324 262.75/262.86 c 202s | 12 | 192833 | 34119 | 349770 0 | 36669 | 33324 264.85/264.92 c 204s | 12 | 193445 | 34519 | 349770 0 | 36669 | 33324 266.95/267.06 c 207s | 12 | 194028 | 34919 | 349770 0 | 36669 | 33324 269.35/269.46 c 209s | 12 | 194956 | 35319 | 349770 0 | 36669 | 33324 271.75/271.82 c 211s | 12 | 195519 | 35619 | 349770 0 | 36669 | 33324 274.05/274.10 c 214s | 12 | 195927 | 35919 | 349770 0 | 36669 | 33324 276.25/276.34 c 216s | 12 | 196291 | 36219 | 349770 0 | 36669 | 33324 279.04/279.15 c 219s | 12 | 196640 | 36519 | 349770 0 | 36669 | 33324 281.65/281.79 c 221s | 12 | 199509 | 37019 | 349770 0 | 36669 | 33324 283.85/283.93 c 223s | 12 | 200069 | 37319 | 349770 0 | 36669 | 33324 286.34/286.44 c 226s | 12 | 200707 | 37719 | 349770 0 | 36669 | 33324 289.04/289.11 c 229s | 12 | 201229 | 38119 | 349770 0 | 36669 | 33324 291.04/291.12 c 231s | 12 | 201603 | 38419 | 349770 0 | 36669 | 33324 293.24/293.31 c 233s | 12 | 201948 | 38719 | 349770 0 | 36669 | 33324 293.94/294.04 c 234s | 13 | 202098 | 38832 | 349770 0 | 36669 | 33324 296.54/296.63 c 236s | 13 | 206259 | 39132 | 349770 0 | 36669 | 33324 298.54/298.65 c 238s | 13 | 207172 | 39432 | 349770 0 | 36669 | 33324 300.64/300.74 c 240s | 13 | 207508 | 39732 | 349770 0 | 36669 | 33324 303.14/303.25 c 243s | 13 | 207825 | 40032 | 349770 0 | 36669 | 33324 305.64/305.76 c 245s | 13 | 208154 | 40332 | 349770 0 | 36669 | 33324 308.14/308.21 c 248s | 13 | 209064 | 40732 | 349770 0 | 36669 | 33324 310.44/310.53 c 250s | 13 | 209508 | 41032 | 349770 0 | 36669 | 33324 312.54/312.64 c 252s | 13 | 229396 | 41432 | 349770 0 | 36669 | 33324 312.64/312.70 c 252s | 13 | 233523 | 41579 | 349770 0 | 36669 | 33324 312.64/312.70 c #cpu_time = 252.627s 312.64/312.70 c #wall_clock_time = 252.629s 312.64/312.70 c #decision = 233523 312.64/312.70 c #random_decision = 492 312.64/312.70 c #conflict = 41579 312.64/312.70 c #restart = 13 312.64/312.70 o 35171 313.94/314.09 c BCD2: updating upper bound: 41309 -> 35170 315.34/315.45 c BCD2: 5471 <= obj <= 35170 315.34/315.45 c BCD2: #cores=25, #unrelaxed=3587, #relaxed=1373, #hardened=0 315.34/315.45 c BCD2: #sat=5 #unsat=32 bias=32/37 315.34/315.47 c Solving starts ... 315.34/315.47 c ============================[ Search Statistics ]============================ 315.34/315.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 315.34/315.47 c | | | | Limit GC | Var | Constra 315.34/315.47 c ============================================================================= 315.34/315.48 c 0.0s | 0 | 0 | 0 | 349770 0 | 36669 | 33325 316.14/316.28 c 0.8s | 1 | 5654 | 100 | 349770 0 | 36669 | 33325 317.14/317.29 c 1.8s | 2 | 9462 | 250 | 349770 0 | 36669 | 33325 318.24/318.33 c 2.9s | 3 | 13782 | 475 | 349770 0 | 36669 | 33325 319.84/319.98 c 4.5s | 4 | 18179 | 813 | 349770 0 | 36669 | 33325 322.04/322.12 c 6.6s | 4 | 22192 | 1113 | 349770 0 | 36669 | 33325 323.04/323.14 c 7.7s | 5 | 22571 | 1320 | 349770 0 | 36669 | 33325 325.14/325.27 c 9.8s | 5 | 26730 | 1620 | 349770 0 | 36669 | 33325 327.24/327.35 c 11.9s | 5 | 27398 | 2020 | 349770 0 | 36669 | 33325 327.54/327.68 c 12.2s | 6 | 27491 | 2081 | 349770 0 | 36669 | 33325 329.94/330.09 c 14.6s | 6 | 31570 | 2381 | 349770 0 | 36669 | 33325 332.04/332.14 c 16.7s | 6 | 32274 | 2781 | 349770 0 | 36669 | 33325 334.14/334.25 c 18.8s | 6 | 32842 | 3181 | 349770 0 | 36669 | 33325 334.34/334.47 c 19.0s | 7 | 32894 | 3223 | 349770 0 | 36669 | 33325 336.54/336.65 c 21.2s | 7 | 36962 | 3523 | 349770 0 | 36669 | 33325 338.63/338.80 c 23.3s | 7 | 37490 | 3923 | 349770 0 | 36669 | 33325 340.73/340.82 c 25.3s | 7 | 38065 | 4323 | 349770 0 | 36669 | 33325 343.03/343.14 c 27.7s | 7 | 38630 | 4723 | 384748 0 | 36669 | 33325 344.13/344.26 c 28.8s | 8 | 38957 | 4936 | 384748 0 | 36669 | 33325 346.73/346.82 c 31.3s | 8 | 42963 | 5236 | 384748 0 | 36669 | 33325 349.23/349.37 c 33.9s | 8 | 43495 | 5636 | 384748 0 | 36669 | 33325 351.73/351.87 c 36.4s | 8 | 44046 | 6036 | 384748 0 | 36669 | 33325 353.93/354.08 c 38.6s | 8 | 44647 | 6436 | 384748 0 | 36669 | 33325 356.34/356.45 c 41.0s | 8 | 45177 | 6836 | 384748 0 | 36669 | 33325 358.64/358.75 c 43.3s | 8 | 45729 | 7236 | 384748 0 | 36669 | 33325 360.33/360.43 c 45.0s | 9 | 46094 | 7506 | 384748 0 | 36669 | 33325 362.63/362.71 c 47.2s | 9 | 50142 | 7806 | 384748 0 | 36669 | 33325 364.73/364.81 c 49.3s | 9 | 50759 | 8206 | 384748 0 | 36669 | 33325 366.93/367.00 c 51.5s | 9 | 51254 | 8606 | 384748 0 | 36669 | 33325 369.13/369.25 c 53.8s | 9 | 51783 | 9006 | 384748 0 | 36669 | 33325 371.33/371.49 c 56.0s | 9 | 52306 | 9406 | 384748 0 | 36669 | 33325 373.64/373.79 c 58.3s | 9 | 52816 | 9806 | 384748 0 | 36669 | 33325 376.04/376.20 c 60.7s | 9 | 53319 | 10206 | 384748 0 | 36669 | 33325 378.34/378.46 c 63.0s | 9 | 53833 | 10606 | 384748 0 | 36669 | 33325 380.94/381.08 c 65.6s | 9 | 54305 | 11006 | 384748 0 | 36669 | 33325 383.13/383.26 c 67.8s | 10 | 54793 | 11361 | 384748 0 | 36669 | 33325 385.23/385.37 c 69.9s | 10 | 58728 | 11561 | 384748 0 | 36669 | 33325 387.53/387.68 c 72.2s | 10 | 59850 | 11961 | 384748 0 | 36669 | 33325 389.83/389.93 c 74.5s | 10 | 61343 | 12261 | 384748 0 | 36669 | 33325 392.03/392.15 c 76.7s | 10 | 61765 | 12561 | 384748 0 | 36669 | 33325 394.63/394.75 c 79.3s | 10 | 62293 | 12961 | 384748 0 | 36669 | 33325 397.23/397.39 c 81.9s | 10 | 62853 | 13361 | 384748 0 | 36669 | 33325 400.03/400.13 c 84.6s | 10 | 63218 | 13661 | 384748 0 | 36669 | 33325 402.33/402.45 c 87.0s | 10 | 63598 | 13961 | 384748 0 | 36669 | 33325 405.13/405.21 c 89.7s | 10 | 63935 | 14261 | 384748 0 | 36669 | 33325 407.33/407.40 c 91.9s | 10 | 64308 | 14561 | 384748 0 | 36669 | 33325 409.53/409.69 c 94.2s | 10 | 64657 | 14861 | 384748 0 | 36669 | 33325 412.13/412.22 c 96.7s | 10 | 65001 | 15161 | 384748 0 | 36669 | 33325 414.33/414.45 c 99.0s | 10 | 65759 | 15461 | 384748 0 | 36669 | 33325 416.43/416.55 c 101s | 10 | 66576 | 15861 | 384748 0 | 36669 | 33325 418.43/418.57 c 103s | 10 | 67180 | 16261 | 384748 0 | 36669 | 33325 420.73/420.80 c 105s | 10 | 67769 | 16661 | 384748 0 | 36669 | 33325 423.13/423.30 c 107s | 10 | 68319 | 17061 | 384748 0 | 36669 | 33325 423.63/423.76 c 108s | 11 | 68436 | 17144 | 384748 0 | 36669 | 33325 426.13/426.27 c 110s | 11 | 72470 | 17444 | 384748 0 | 36669 | 33325 428.62/428.72 c 113s | 11 | 73043 | 17844 | 384748 0 | 36669 | 33325 430.72/430.88 c 115s | 11 | 73710 | 18244 | 384748 0 | 36669 | 33325 433.33/433.43 c 117s | 11 | 74239 | 18644 | 384748 0 | 36669 | 33325 435.72/435.82 c 120s | 11 | 74904 | 19044 | 384748 0 | 36669 | 33325 438.02/438.17 c 122s | 11 | 75668 | 19444 | 384748 0 | 36669 | 33325 440.32/440.48 c 125s | 11 | 76693 | 19844 | 384748 0 | 36669 | 33325 442.32/442.49 c 127s | 11 | 77134 | 20144 | 384748 0 | 36669 | 33325 444.62/444.78 c 129s | 11 | 77670 | 20444 | 384748 0 | 36669 | 33325 447.02/447.10 c 131s | 11 | 78093 | 20744 | 384748 0 | 36669 | 33325 449.02/449.17 c 133s | 11 | 78495 | 21044 | 384748 0 | 36669 | 33325 451.52/451.68 c 136s | 11 | 79047 | 21444 | 384748 0 | 36669 | 33325 454.23/454.38 c 138s | 11 | 79605 | 21844 | 384748 0 | 36669 | 33325 456.32/456.42 c 140s | 11 | 80014 | 22144 | 384748 0 | 36669 | 33325 458.82/458.90 c 143s | 11 | 80516 | 22544 | 384748 0 | 36669 | 33325 460.92/461.07 c 145s | 11 | 81125 | 22944 | 384748 0 | 36669 | 33325 463.62/463.76 c 148s | 11 | 81720 | 23344 | 384748 0 | 36669 | 33325 465.72/465.85 c 150s | 11 | 82099 | 23644 | 384748 0 | 36669 | 33325 467.92/468.00 c 152s | 11 | 82491 | 23944 | 384748 0 | 36669 | 33325 470.42/470.51 c 155s | 11 | 83045 | 24344 | 384748 0 | 36669 | 33325 472.72/472.81 c 157s | 11 | 83661 | 24744 | 384748 0 | 36669 | 33325 475.22/475.36 c 159s | 11 | 84232 | 25144 | 384748 0 | 36669 | 33325 477.21/477.39 c 161s | 11 | 84611 | 25444 | 384748 0 | 36669 | 33325 479.41/479.50 c 164s | 11 | 85031 | 25744 | 384748 0 | 36669 | 33325 479.81/479.96 c 164s | 12 | 85149 | 25819 | 384748 0 | 36669 | 33325 482.11/482.25 c 166s | 12 | 89024 | 26019 | 384748 0 | 36669 | 33325 484.31/484.44 c 168s | 12 | 89449 | 26319 | 384748 0 | 36669 | 33325 486.81/486.90 c 171s | 12 | 89828 | 26619 | 384748 0 | 36669 | 33325 488.91/489.04 c 173s | 12 | 90203 | 26919 | 384748 0 | 36669 | 33325 491.11/491.21 c 175s | 12 | 90625 | 27219 | 384748 0 | 36669 | 33325 493.21/493.33 c 177s | 12 | 91060 | 27519 | 384748 0 | 36669 | 33325 495.41/495.55 c 180s | 12 | 91601 | 27819 | 384748 0 | 36669 | 33325 497.81/497.96 c 182s | 12 | 92123 | 28219 | 384748 0 | 36669 | 33325 500.31/500.45 c 184s | 12 | 92642 | 28619 | 384748 0 | 36669 | 33325 502.81/502.98 c 187s | 12 | 93217 | 29019 | 384748 0 | 36669 | 33325 505.11/505.26 c 189s | 12 | 93752 | 29419 | 384748 0 | 36669 | 33325 507.61/507.73 c 192s | 12 | 94337 | 29819 | 384748 0 | 36669 | 33325 509.91/510.02 c 194s | 12 | 94786 | 30119 | 384748 0 | 36669 | 33325 511.91/512.07 c 196s | 12 | 95466 | 30419 | 384748 0 | 36669 | 33325 514.41/514.50 c 199s | 12 | 96151 | 30819 | 384748 0 | 36669 | 33325 516.81/516.99 c 201s | 12 | 96706 | 31219 | 384748 0 | 36669 | 33325 519.11/519.28 c 203s | 12 | 97215 | 31619 | 384748 0 | 36669 | 33325 521.21/521.33 c 205s | 12 | 97708 | 31919 | 384748 0 | 36669 | 33325 523.31/523.47 c 207s | 12 | 98116 | 32219 | 384748 0 | 36669 | 33325 525.51/525.63 c 210s | 12 | 98559 | 32519 | 384748 0 | 36669 | 33325 527.71/527.87 c 212s | 12 | 99110 | 32819 | 384748 0 | 36669 | 33325 530.30/530.47 c 214s | 12 | 99717 | 33219 | 384748 0 | 36669 | 33325 532.80/532.90 c 217s | 12 | 100193 | 33519 | 384748 0 | 36669 | 33325 535.30/535.49 c 220s | 12 | 100725 | 33819 | 423223 0 | 36669 | 33325 537.50/537.66 c 222s | 12 | 101185 | 34119 | 423223 0 | 36669 | 33325 539.90/540.09 c 224s | 12 | 101816 | 34519 | 423223 0 | 36669 | 33325 542.21/542.36 c 226s | 12 | 102188 | 34819 | 423223 0 | 36669 | 33325 544.41/544.58 c 229s | 12 | 102570 | 35119 | 423223 0 | 36669 | 33325 546.50/546.60 c 231s | 12 | 103031 | 35419 | 423223 0 | 36669 | 33325 548.50/548.62 c 233s | 12 | 103455 | 35719 | 423223 0 | 36669 | 33325 550.50/550.66 c 235s | 12 | 103899 | 36019 | 423223 0 | 36669 | 33325 552.70/552.80 c 237s | 12 | 104340 | 36319 | 423223 0 | 36669 | 33325 554.90/555.04 c 239s | 12 | 104782 | 36619 | 423223 0 | 36669 | 33325 557.00/557.18 c 241s | 12 | 105273 | 36919 | 423223 0 | 36669 | 33325 559.60/559.75 c 244s | 12 | 105869 | 37319 | 423223 0 | 36669 | 33325 561.90/562.03 c 246s | 12 | 106516 | 37719 | 423223 0 | 36669 | 33325 564.21/564.35 c 248s | 12 | 107119 | 38119 | 423223 0 | 36669 | 33325 566.70/566.80 c 251s | 12 | 107629 | 38519 | 423223 0 | 36669 | 33325 568.70/568.86 c 253s | 13 | 108097 | 38832 | 423223 0 | 36669 | 33325 571.00/571.11 c 255s | 13 | 111982 | 39032 | 423223 0 | 36669 | 33325 573.50/573.69 c 258s | 13 | 112575 | 39432 | 423223 0 | 36669 | 33325 576.20/576.31 c 260s | 13 | 113140 | 39832 | 423223 0 | 36669 | 33325 578.20/578.32 c 262s | 13 | 113538 | 40132 | 423223 0 | 36669 | 33325 580.40/580.55 c 265s | 13 | 113974 | 40432 | 423223 0 | 36669 | 33325 583.20/583.31 c 267s | 13 | 114716 | 40832 | 423223 0 | 36669 | 33325 585.30/585.42 c 269s | 13 | 115318 | 41132 | 423223 0 | 36669 | 33325 587.79/587.96 c 272s | 13 | 115942 | 41532 | 423223 0 | 36669 | 33325 590.39/590.59 c 275s | 13 | 116592 | 41932 | 423223 0 | 36669 | 33325 592.99/593.17 c 277s | 13 | 117140 | 42332 | 423223 0 | 36669 | 33325 595.49/595.69 c 280s | 13 | 117693 | 42732 | 423223 0 | 36669 | 33325 597.89/598.06 c 282s | 13 | 118302 | 43132 | 423223 0 | 36669 | 33325 600.39/600.50 c 285s | 13 | 118881 | 43532 | 423223 0 | 36669 | 33325 602.39/602.51 c 287s | 13 | 119431 | 43832 | 423223 0 | 36669 | 33325 604.49/604.68 c 289s | 13 | 121120 | 44232 | 423223 0 | 36669 | 33325 606.69/606.87 c 291s | 13 | 123582 | 44632 | 423223 0 | 36669 | 33325 609.09/609.24 c 293s | 13 | 125249 | 44932 | 423223 0 | 36669 | 33325 611.09/611.28 c 295s | 13 | 126496 | 45232 | 423223 0 | 36669 | 33325 614.39/614.50 c 299s | 13 | 127539 | 45532 | 423223 0 | 36669 | 33325 616.79/616.96 c 301s | 13 | 129587 | 46032 | 423223 0 | 36669 | 33325 619.09/619.28 c 303s | 13 | 131262 | 46632 | 423223 0 | 36669 | 33325 621.79/621.94 c 306s | 13 | 132616 | 47132 | 423223 0 | 36669 | 33325 624.49/624.60 c 309s | 13 | 133615 | 47632 | 423223 0 | 36669 | 33325 626.90/627.08 c 311s | 13 | 135839 | 48032 | 423223 0 | 36669 | 33325 629.10/629.22 c 313s | 13 | 137375 | 48432 | 423223 0 | 36669 | 33325 631.49/631.66 c 316s | 13 | 137919 | 48832 | 423223 0 | 36669 | 33325 633.99/634.18 c 318s | 13 | 138467 | 49232 | 423223 0 | 36669 | 33325 636.29/636.43 c 320s | 13 | 138997 | 49632 | 423223 0 | 36669 | 33325 638.39/638.53 c 323s | 13 | 139351 | 49932 | 423223 0 | 36669 | 33325 640.79/640.97 c 325s | 13 | 139978 | 50332 | 423223 0 | 36669 | 33325 643.19/643.39 c 327s | 13 | 140493 | 50732 | 423223 0 | 36669 | 33325 645.59/645.75 c 330s | 13 | 141036 | 51132 | 423223 0 | 36669 | 33325 647.99/648.19 c 332s | 13 | 141879 | 51532 | 423223 0 | 36669 | 33325 650.09/650.25 c 334s | 13 | 142255 | 51832 | 423223 0 | 36669 | 33325 652.68/652.80 c 337s | 13 | 142738 | 52232 | 423223 0 | 36669 | 33325 654.78/654.97 c 339s | 13 | 143354 | 52632 | 423223 0 | 36669 | 33325 657.18/657.31 c 341s | 13 | 143921 | 53032 | 423223 0 | 36669 | 33325 659.48/659.62 c 344s | 13 | 144498 | 53432 | 423223 0 | 36669 | 33325 661.58/661.76 c 346s | 13 | 145146 | 53832 | 423223 0 | 36669 | 33325 663.98/664.12 c 348s | 13 | 145828 | 54232 | 423223 0 | 36669 | 33325 666.49/666.61 c 351s | 13 | 146404 | 54632 | 423223 0 | 36669 | 33325 668.98/669.13 c 353s | 13 | 146959 | 55032 | 423223 0 | 36669 | 33325 671.08/671.22 c 355s | 13 | 147369 | 55332 | 423223 0 | 36669 | 33325 673.48/673.65 c 358s | 13 | 147971 | 55732 | 423223 0 | 36669 | 33325 676.08/676.22 c 360s | 13 | 148553 | 56132 | 423223 0 | 36669 | 33325 678.78/678.93 c 363s | 13 | 149135 | 56532 | 423223 0 | 36669 | 33325 681.28/681.49 c 366s | 13 | 149684 | 56932 | 423223 0 | 36669 | 33325 683.68/683.86 c 368s | 13 | 150282 | 57332 | 423223 0 | 36669 | 33325 685.88/686.00 c 370s | 13 | 150684 | 57632 | 423223 0 | 36669 | 33325 688.08/688.29 c 372s | 13 | 151229 | 58032 | 423223 0 | 36669 | 33325 689.98/690.18 c 374s | 14 | 151732 | 58352 | 423223 0 | 36669 | 33325 692.78/692.90 c 377s | 14 | 155628 | 58552 | 423223 0 | 36669 | 33325 695.38/695.56 c 380s | 14 | 156175 | 58952 | 423223 0 | 36669 | 33325 697.68/697.89 c 382s | 14 | 156641 | 59252 | 423223 0 | 36669 | 33325 699.88/700.07 c 384s | 14 | 157141 | 59552 | 423223 0 | 36669 | 33325 701.98/702.19 c 386s | 14 | 157553 | 59852 | 423223 0 | 36669 | 33325 704.18/704.35 c 388s | 14 | 157928 | 60152 | 423223 0 | 36669 | 33325 706.88/707.03 c 391s | 14 | 158522 | 60552 | 423223 0 | 36669 | 33325 708.88/709.08 c 393s | 14 | 159083 | 60852 | 423223 0 | 36669 | 33325 710.97/711.18 c 395s | 14 | 159608 | 61152 | 423223 0 | 36669 | 33325 713.18/713.33 c 397s | 14 | 159982 | 61452 | 423223 0 | 36669 | 33325 715.18/715.38 c 399s | 14 | 160338 | 61752 | 423223 0 | 36669 | 33325 717.48/717.64 c 402s | 14 | 160725 | 62052 | 423223 0 | 36669 | 33325 719.68/719.85 c 404s | 14 | 161147 | 62352 | 423223 0 | 36669 | 33325 722.18/722.39 c 406s | 14 | 161736 | 62752 | 423223 0 | 36669 | 33325 724.58/724.78 c 409s | 14 | 162321 | 63152 | 423223 0 | 36669 | 33325 726.78/726.96 c 411s | 14 | 162698 | 63452 | 423223 0 | 36669 | 33325 729.08/729.25 c 413s | 14 | 163045 | 63752 | 423223 0 | 36669 | 33325 731.18/731.32 c 415s | 14 | 163437 | 64052 | 423223 0 | 36669 | 33325 733.88/734.01 c 418s | 14 | 164024 | 64452 | 423223 0 | 36669 | 33325 735.89/736.07 c 420s | 14 | 164530 | 64752 | 423223 0 | 36669 | 33325 738.48/738.68 c 423s | 14 | 165236 | 65152 | 423223 0 | 36669 | 33325 740.58/740.74 c 425s | 14 | 165743 | 65452 | 423223 0 | 36669 | 33325 743.18/743.30 c 427s | 14 | 166524 | 65852 | 423223 0 | 36669 | 33325 745.18/745.36 c 429s | 14 | 166960 | 66152 | 423223 0 | 36669 | 33325 747.68/747.88 c 432s | 14 | 167500 | 66552 | 423223 0 | 36669 | 33325 750.09/750.21 c 434s | 14 | 167989 | 66852 | 423223 0 | 36669 | 33325 752.58/752.74 c 437s | 14 | 168564 | 67252 | 423223 0 | 36669 | 33325 754.78/754.96 c 439s | 14 | 168962 | 67552 | 423223 0 | 36669 | 33325 756.98/757.14 c 441s | 14 | 169352 | 67852 | 423223 0 | 36669 | 33325 759.18/759.34 c 443s | 14 | 169725 | 68152 | 423223 0 | 36669 | 33325 761.78/761.99 c 446s | 14 | 170328 | 68552 | 423223 0 | 36669 | 33325 763.98/764.18 c 448s | 14 | 170753 | 68852 | 423223 0 | 36669 | 33325 766.08/766.26 c 450s | 14 | 171134 | 69152 | 423223 0 | 36669 | 33325 768.38/768.52 c 453s | 14 | 171642 | 69552 | 423223 0 | 36669 | 33325 770.67/770.83 c 455s | 14 | 172333 | 69952 | 423223 0 | 36669 | 33325 773.28/773.44 c 457s | 14 | 172874 | 70352 | 423223 0 | 36669 | 33325 775.67/775.88 c 460s | 14 | 173532 | 70752 | 423223 0 | 36669 | 33325 777.77/777.94 c 462s | 14 | 174088 | 71052 | 423223 0 | 36669 | 33325 780.07/780.26 c 464s | 14 | 174496 | 71352 | 423223 0 | 36669 | 33325 782.17/782.34 c 466s | 14 | 174905 | 71652 | 423223 0 | 36669 | 33325 784.37/784.52 c 469s | 14 | 175284 | 71952 | 423223 0 | 36669 | 33325 786.48/786.64 c 471s | 14 | 175712 | 72252 | 423223 0 | 36669 | 33325 788.68/788.81 c 473s | 14 | 176195 | 72552 | 423223 0 | 36669 | 33325 790.67/790.89 c 475s | 14 | 176702 | 72852 | 423223 0 | 36669 | 33325 792.77/792.98 c 477s | 14 | 177107 | 73152 | 423223 0 | 36669 | 33325 794.87/795.09 c 479s | 14 | 177625 | 73452 | 423223 0 | 36669 | 33325 797.17/797.35 c 481s | 14 | 177983 | 73752 | 423223 0 | 36669 | 33325 799.87/800.03 c 484s | 14 | 178572 | 74152 | 423223 0 | 36669 | 33325 802.07/802.22 c 486s | 14 | 179005 | 74452 | 423223 0 | 36669 | 33325 804.67/804.82 c 489s | 14 | 179761 | 74852 | 423223 0 | 36669 | 33325 807.28/807.43 c 491s | 14 | 180565 | 75252 | 423223 0 | 36669 | 33325 809.67/809.80 c 494s | 14 | 181228 | 75652 | 423223 0 | 36669 | 33325 811.77/811.98 c 496s | 14 | 181595 | 75952 | 423223 0 | 36669 | 33325 814.17/814.34 c 498s | 14 | 185753 | 76252 | 423223 0 | 36669 | 33325 816.37/816.50 c 501s | 14 | 187527 | 76752 | 423223 0 | 36669 | 33325 819.07/819.26 c 503s | 14 | 189469 | 77252 | 423223 0 | 36669 | 33325 821.47/821.61 c 506s | 14 | 190912 | 77752 | 465546 0 | 36669 | 33325 823.77/823.92 c 508s | 14 | 194824 | 78252 | 465546 0 | 36669 | 33325 826.17/826.35 c 510s | 14 | 195814 | 78652 | 465546 0 | 36669 | 33325 828.57/828.76 c 513s | 14 | 199200 | 79152 | 465546 0 | 36669 | 33325 830.56/830.79 c 515s | 14 | 200677 | 79852 | 465546 0 | 36669 | 33325 832.67/832.82 c 517s | 14 | 201046 | 80152 | 465546 0 | 36669 | 33325 834.66/834.88 c 519s | 14 | 201468 | 80452 | 465546 0 | 36669 | 33325 837.36/837.52 c 522s | 14 | 206842 | 80852 | 465546 0 | 36669 | 33325 839.76/839.94 c 524s | 14 | 209005 | 81452 | 465546 0 | 36669 | 33325 842.16/842.35 c 526s | 14 | 209761 | 81952 | 465546 0 | 36669 | 33325 844.67/844.86 c 529s | 14 | 212014 | 82452 | 465546 0 | 36669 | 33325 847.26/847.42 c 531s | 14 | 213887 | 83352 | 465546 0 | 36669 | 33325 849.46/849.62 c 534s | 14 | 215361 | 83952 | 465546 0 | 36669 | 33325 851.56/851.74 c 536s | 14 | 216918 | 84652 | 465546 0 | 36669 | 33325 853.66/853.83 c 538s | 14 | 218871 | 85452 | 465546 0 | 36669 | 33325 855.86/856.05 c 540s | 14 | 220895 | 85952 | 465546 0 | 36669 | 33325 857.87/858.09 c 542s | 14 | 222143 | 86452 | 465546 0 | 36669 | 33325 860.17/860.40 c 544s | 14 | 223463 | 87152 | 465546 0 | 36669 | 33325 861.86/862.04 c 546s | 15 | 224451 | 87632 | 465546 0 | 36669 | 33325 864.06/864.23 c 548s | 15 | 228348 | 87832 | 465546 0 | 36669 | 33325 866.16/866.37 c 550s | 15 | 230977 | 88232 | 465546 0 | 36669 | 33325 868.46/868.62 c 553s | 15 | 232631 | 89032 | 465546 0 | 36669 | 33325 870.56/870.71 c 555s | 15 | 233018 | 89332 | 465546 0 | 36669 | 33325 872.66/872.86 c 557s | 15 | 233423 | 89632 | 465546 0 | 36669 | 33325 875.16/875.40 c 559s | 15 | 236329 | 90232 | 465546 0 | 36669 | 33325 877.36/877.53 c 562s | 15 | 239019 | 90832 | 465546 0 | 36669 | 33325 879.56/879.75 c 564s | 15 | 241209 | 91732 | 465546 0 | 36669 | 33325 881.66/881.86 c 566s | 15 | 242395 | 92232 | 465546 0 | 36669 | 33325 883.75/883.98 c 568s | 15 | 244162 | 92932 | 465546 0 | 36669 | 33325 885.85/886.03 c 570s | 15 | 246077 | 93732 | 465546 0 | 36669 | 33325 888.15/888.33 c 572s | 15 | 247920 | 94532 | 465546 0 | 36669 | 33325 890.25/890.43 c 574s | 15 | 249091 | 95132 | 465546 0 | 36669 | 33325 892.75/892.93 c 577s | 15 | 250539 | 95932 | 465546 0 | 36669 | 33325 895.36/895.57 c 580s | 15 | 251266 | 96332 | 465546 0 | 36669 | 33325 897.65/897.80 c 582s | 15 | 252875 | 96632 | 465546 0 | 36669 | 33325 899.85/900.07 c 584s | 15 | 256372 | 97032 | 465546 0 | 36669 | 33325 901.96/902.15 c 586s | 15 | 258416 | 97632 | 465546 0 | 36669 | 33325 904.35/904.56 c 589s | 15 | 259713 | 98032 | 465546 0 | 36669 | 33325 906.45/906.64 c 591s | 15 | 260576 | 98432 | 465546 0 | 36669 | 33325 908.65/908.88 c 593s | 15 | 262596 | 98932 | 465546 0 | 36669 | 33325 910.85/911.00 c 595s | 15 | 263502 | 99432 | 465546 0 | 36669 | 33325 913.45/913.64 c 598s | 15 | 264330 | 99832 | 465546 0 | 36669 | 33325 915.55/915.78 c 600s | 15 | 265915 | 100432 | 465546 0 | 36669 | 33325 917.75/917.98 c 602s | 15 | 267183 | 100932 | 465546 0 | 36669 | 33325 919.95/920.18 c 604s | 15 | 268834 | 101632 | 465546 0 | 36669 | 33325 921.95/922.18 c 606s | 15 | 270130 | 102232 | 465546 0 | 36669 | 33325 923.96/924.19 c 608s | 15 | 270776 | 102632 | 465546 0 | 36669 | 33325 926.16/926.36 c 610s | 15 | 272241 | 103332 | 465546 0 | 36669 | 33325 928.65/928.89 c 613s | 15 | 273973 | 103832 | 465546 0 | 36669 | 33325 930.75/930.90 c 615s | 15 | 275485 | 104532 | 465546 0 | 36669 | 33325 932.85/933.01 c 617s | 15 | 277772 | 105432 | 465546 0 | 36669 | 33325 934.85/935.07 c 619s | 15 | 279617 | 106332 | 465546 0 | 36669 | 33325 936.95/937.19 c 621s | 15 | 280950 | 107032 | 465546 0 | 36669 | 33325 939.25/939.49 c 624s | 15 | 282686 | 107732 | 465546 0 | 36669 | 33325 941.64/941.81 c 626s | 15 | 284880 | 108332 | 465546 0 | 36669 | 33325 943.65/943.88 c 628s | 15 | 286211 | 108732 | 465546 0 | 36669 | 33325 945.85/946.03 c 630s | 15 | 288250 | 109632 | 465546 0 | 36669 | 33325 948.44/948.61 c 633s | 15 | 290350 | 110532 | 465546 0 | 36669 | 33325 951.24/951.49 c 636s | 15 | 291007 | 110932 | 465546 0 | 36669 | 33325 953.84/954.07 c 638s | 15 | 291624 | 111332 | 465546 0 | 36669 | 33325 956.54/956.72 c 641s | 15 | 292159 | 111732 | 465546 0 | 36669 | 33325 958.54/958.74 c 643s | 15 | 292576 | 112032 | 465546 0 | 36669 | 33325 960.54/960.76 c 645s | 15 | 293761 | 112532 | 465546 0 | 36669 | 33325 962.74/962.90 c 647s | 15 | 295270 | 113132 | 465546 0 | 36669 | 33325 964.74/964.95 c 649s | 15 | 295836 | 113432 | 465546 0 | 36669 | 33325 966.85/967.01 c 651s | 15 | 297131 | 114032 | 465546 0 | 36669 | 33325 968.84/969.08 c 653s | 15 | 298255 | 114532 | 465546 0 | 36669 | 33325 971.25/971.42 c 655s | 15 | 300486 | 115232 | 465546 0 | 36669 | 33325 973.45/973.65 c 658s | 15 | 302395 | 115932 | 465546 0 | 36669 | 33325 975.44/975.68 c 660s | 15 | 304230 | 116732 | 465546 0 | 36669 | 33325 977.54/977.72 c 662s | 15 | 306284 | 117432 | 465546 0 | 36669 | 33325 979.53/979.77 c 664s | 15 | 307449 | 117932 | 465546 0 | 36669 | 33325 981.93/982.15 c 666s | 15 | 308737 | 118532 | 465546 0 | 36669 | 33325 984.03/984.22 c 668s | 15 | 310119 | 119132 | 465546 0 | 36669 | 33325 986.23/986.42 c 670s | 15 | 311389 | 119632 | 465546 0 | 36669 | 33325 988.63/988.81 c 673s | 15 | 312615 | 120232 | 465546 0 | 36669 | 33325 990.83/991.06 c 675s | 15 | 314267 | 120832 | 465546 0 | 36669 | 33325 992.83/993.10 c 677s | 15 | 315335 | 121332 | 465546 0 | 36669 | 33325 994.93/995.14 c 679s | 15 | 316889 | 121932 | 465546 0 | 36669 | 33325 997.53/997.76 c 682s | 15 | 320974 | 122532 | 465546 0 | 36669 | 33325 999.73/999.96 c 684s | 15 | 321471 | 122832 | 465546 0 | 36669 | 33325 1001.93/1002.13 c 686s | 15 | 322854 | 123432 | 465546 0 | 36669 | 33325 1004.32/1004.55 c 689s | 15 | 323459 | 123832 | 465546 0 | 36669 | 33325 1006.62/1006.80 c 691s | 15 | 323943 | 124132 | 465546 0 | 36669 | 33325 1008.82/1009.09 c 693s | 15 | 324521 | 124432 | 465546 0 | 36669 | 33325 1011.02/1011.30 c 695s | 15 | 325059 | 124732 | 465546 0 | 36669 | 33325 1013.12/1013.38 c 697s | 15 | 325687 | 125032 | 465546 0 | 36669 | 33325 1015.22/1015.46 c 699s | 15 | 326331 | 125332 | 465546 0 | 36669 | 33325 1017.71/1017.93 c 702s | 15 | 326853 | 125632 | 465546 0 | 36669 | 33325 1019.81/1020.09 c 704s | 15 | 327343 | 125932 | 465546 0 | 36669 | 33325 1022.11/1022.34 c 706s | 15 | 327919 | 126232 | 465546 0 | 36669 | 33325 1024.51/1024.71 c 709s | 15 | 328353 | 126532 | 465546 0 | 36669 | 33325 1026.51/1026.72 c 711s | 15 | 328815 | 126832 | 465546 0 | 36669 | 33325 1028.51/1028.78 c 713s | 15 | 329352 | 127132 | 465546 0 | 36669 | 33325 1030.70/1030.94 c 715s | 15 | 329807 | 127432 | 465546 0 | 36669 | 33325 1032.71/1032.99 c 717s | 15 | 330431 | 127732 | 465546 0 | 36669 | 33325 1035.01/1035.22 c 719s | 15 | 332092 | 128232 | 465546 0 | 36669 | 33325 1037.21/1037.42 c 721s | 15 | 333229 | 128732 | 465546 0 | 36669 | 33325 1039.31/1039.55 c 724s | 15 | 334049 | 129132 | 465546 0 | 36669 | 33325 1041.40/1041.63 c 726s | 15 | 335336 | 129632 | 465546 0 | 36669 | 33325 1043.70/1043.98 c 728s | 15 | 336505 | 130232 | 465546 0 | 36669 | 33325 1045.80/1046.06 c 730s | 15 | 338227 | 130932 | 465546 0 | 36669 | 33325 1048.00/1048.25 c 732s | 15 | 339660 | 131532 | 465546 0 | 36669 | 33325 1048.00/1048.29 c 732s | 16 | 339712 | 131552 | 465546 0 | 36669 | 33325 1050.09/1050.31 c 734s | 16 | 343676 | 131752 | 465546 0 | 36669 | 33325 1052.39/1052.66 c 737s | 16 | 345771 | 132452 | 465546 0 | 36669 | 33325 1054.49/1054.72 c 739s | 16 | 346954 | 133052 | 465546 0 | 36669 | 33325 1056.69/1056.96 c 741s | 16 | 348394 | 133752 | 465546 0 | 36669 | 33325 1059.19/1059.47 c 743s | 16 | 350458 | 134352 | 465546 0 | 36669 | 33325 1061.29/1061.53 c 746s | 16 | 352183 | 134952 | 465546 0 | 36669 | 33325 1063.38/1063.63 c 748s | 16 | 353759 | 135652 | 465546 0 | 36669 | 33325 1065.58/1065.81 c 750s | 16 | 354945 | 136252 | 465546 0 | 36669 | 33325 1067.58/1067.86 c 752s | 16 | 356219 | 136852 | 465546 0 | 36669 | 33325 1069.78/1070.03 c 754s | 16 | 358156 | 137652 | 465546 0 | 36669 | 33325 1071.98/1072.26 c 756s | 16 | 359462 | 138052 | 465546 0 | 36669 | 33325 1074.08/1074.38 c 758s | 16 | 360672 | 138652 | 465546 0 | 36669 | 33325 1076.28/1076.55 c 761s | 16 | 361831 | 139252 | 465546 0 | 36669 | 33325 1079.07/1079.39 c 763s | 16 | 363003 | 139952 | 465546 0 | 36669 | 33325 1081.18/1081.45 c 765s | 16 | 363890 | 140252 | 465546 0 | 36669 | 33325 1083.57/1083.90 c 768s | 16 | 364997 | 140652 | 465546 0 | 36669 | 33325 1085.87/1086.13 c 770s | 16 | 365869 | 140952 | 465546 0 | 36669 | 33325 1088.17/1088.45 c 772s | 16 | 366731 | 141352 | 465546 0 | 36669 | 33325 1090.27/1090.56 c 775s | 16 | 367254 | 141652 | 465546 0 | 36669 | 33325 1092.87/1093.17 c 777s | 16 | 367982 | 141952 | 465546 0 | 36669 | 33325 1095.27/1095.60 c 780s | 16 | 369129 | 142352 | 465546 0 | 36669 | 33325 1097.87/1098.15 c 782s | 16 | 370245 | 142852 | 512101 0 | 36669 | 33325 1100.16/1100.41 c 784s | 16 | 371604 | 143152 | 512101 0 | 36669 | 33325 1102.16/1102.48 c 787s | 16 | 372389 | 143552 | 512101 0 | 36669 | 33325 1104.46/1104.79 c 789s | 16 | 373308 | 143852 | 512101 0 | 36669 | 33325 1106.76/1107.06 c 791s | 16 | 374277 | 144252 | 512101 0 | 36669 | 33325 1108.85/1109.16 c 793s | 16 | 374928 | 144652 | 512101 0 | 36669 | 33325 1111.05/1111.30 c 795s | 16 | 375756 | 145052 | 512101 0 | 36669 | 33325 1113.15/1113.49 c 798s | 16 | 376993 | 145552 | 512101 0 | 36669 | 33325 1115.45/1115.75 c 800s | 16 | 377802 | 145952 | 512101 0 | 36669 | 33325 1117.55/1117.86 c 802s | 16 | 378407 | 146252 | 512101 0 | 36669 | 33325 1119.85/1120.16 c 804s | 16 | 379857 | 146952 | 512101 0 | 36669 | 33325 1122.05/1122.30 c 806s | 16 | 380670 | 147352 | 512101 0 | 36669 | 33325 1124.35/1124.69 c 809s | 16 | 382129 | 147952 | 512101 0 | 36669 | 33325 1126.45/1126.73 c 811s | 16 | 383749 | 148452 | 512101 0 | 36669 | 33325 1128.46/1128.79 c 813s | 16 | 386287 | 149252 | 512101 0 | 36669 | 33325 1130.55/1130.89 c 815s | 16 | 388781 | 150052 | 512101 0 | 36669 | 33325 1132.75/1133.05 c 817s | 16 | 390344 | 150652 | 512101 0 | 36669 | 33325 1135.05/1135.36 c 819s | 16 | 391610 | 151252 | 512101 0 | 36669 | 33325 1137.55/1137.87 c 822s | 16 | 392451 | 151652 | 512101 0 | 36669 | 33325 1139.74/1140.03 c 824s | 16 | 394280 | 152152 | 512101 0 | 36669 | 33325 1142.14/1142.44 c 826s | 16 | 395676 | 152652 | 512101 0 | 36669 | 33325 1144.34/1144.65 c 829s | 16 | 397720 | 153352 | 512101 0 | 36669 | 33325 1146.44/1146.71 c 831s | 16 | 399295 | 153952 | 512101 0 | 36669 | 33325 1148.94/1149.28 c 833s | 16 | 400160 | 154452 | 512101 0 | 36669 | 33325 1151.34/1151.69 c 836s | 16 | 401075 | 154852 | 512101 0 | 36669 | 33325 1153.64/1153.94 c 838s | 16 | 402846 | 155652 | 512101 0 | 36669 | 33325 1155.74/1156.07 c 840s | 16 | 404829 | 156252 | 512101 0 | 36669 | 33325 1158.04/1158.33 c 842s | 16 | 406475 | 156752 | 512101 0 | 36669 | 33325 1160.24/1160.52 c 845s | 16 | 408476 | 157452 | 512101 0 | 36669 | 33325 1162.83/1163.10 c 847s | 16 | 409526 | 157952 | 512101 0 | 36669 | 33325 1165.03/1165.32 c 849s | 16 | 411005 | 158452 | 512101 0 | 36669 | 33325 1167.03/1167.36 c 851s | 16 | 412443 | 158952 | 512101 0 | 36669 | 33325 1169.23/1169.55 c 854s | 16 | 414567 | 159552 | 512101 0 | 36669 | 33325 1171.42/1171.78 c 856s | 16 | 416384 | 160252 | 512101 0 | 36669 | 33325 1173.62/1173.98 c 858s | 16 | 418250 | 160752 | 512101 0 | 36669 | 33325 1175.92/1176.30 c 860s | 16 | 420955 | 161552 | 512101 0 | 36669 | 33325 1178.02/1178.38 c 862s | 16 | 422327 | 162052 | 512101 0 | 36669 | 33325 1180.13/1180.42 c 864s | 16 | 423410 | 162552 | 512101 0 | 36669 | 33325 1182.23/1182.55 c 867s | 16 | 425147 | 163252 | 512101 0 | 36669 | 33325 1184.52/1184.85 c 869s | 16 | 427117 | 163952 | 512101 0 | 36669 | 33325 1187.12/1187.45 c 871s | 16 | 428620 | 164552 | 512101 0 | 36669 | 33325 1189.32/1189.66 c 874s | 16 | 430685 | 165252 | 512101 0 | 36669 | 33325 1191.51/1191.82 c 876s | 16 | 432235 | 165852 | 512101 0 | 36669 | 33325 1193.71/1194.06 c 878s | 16 | 433550 | 166452 | 512101 0 | 36669 | 33325 1195.71/1196.06 c 880s | 16 | 435227 | 167052 | 512101 0 | 36669 | 33325 1197.91/1198.22 c 882s | 16 | 436820 | 167752 | 512101 0 | 36669 | 33325 1200.11/1200.41 c 884s | 16 | 438880 | 168452 | 512101 0 | 36669 | 33325 1202.21/1202.51 c 887s | 16 | 441064 | 169152 | 512101 0 | 36669 | 33325 1204.51/1204.83 c 889s | 16 | 443123 | 169852 | 512101 0 | 36669 | 33325 1207.01/1207.40 c 891s | 16 | 445404 | 170652 | 512101 0 | 36669 | 33325 1209.41/1209.70 c 894s | 16 | 446871 | 171252 | 512101 0 | 36669 | 33325 1211.40/1211.80 c 896s | 16 | 448882 | 171952 | 512101 0 | 36669 | 33325 1213.60/1213.99 c 898s | 16 | 451097 | 172652 | 512101 0 | 36669 | 33325 1216.00/1216.39 c 900s | 16 | 452773 | 173352 | 512101 0 | 36669 | 33325 1218.51/1218.89 c 903s | 16 | 453810 | 173852 | 512101 0 | 36669 | 33325 1220.90/1221.27 c 905s | 16 | 455250 | 174452 | 512101 0 | 36669 | 33325 1223.10/1223.47 c 907s | 16 | 457360 | 175052 | 512101 0 | 36669 | 33325 1225.30/1225.66 c 910s | 16 | 458852 | 175552 | 512101 0 | 36669 | 33325 1227.50/1227.89 c 912s | 16 | 460760 | 176252 | 512101 0 | 36669 | 33325 1229.69/1230.00 c 914s | 16 | 462307 | 176952 | 512101 0 | 36669 | 33325 1231.80/1232.11 c 916s | 16 | 463651 | 177452 | 512101 0 | 36669 | 33325 1234.00/1234.38 c 918s | 16 | 465696 | 178252 | 512101 0 | 36669 | 33325 1235.99/1236.39 c 920s | 16 | 467721 | 178952 | 512101 0 | 36669 | 33325 1238.30/1238.69 c 923s | 16 | 469182 | 179552 | 512101 0 | 36669 | 33325 1240.59/1240.98 c 925s | 16 | 471207 | 180352 | 512101 0 | 36669 | 33325 1242.69/1243.00 c 927s | 16 | 472878 | 181052 | 512101 0 | 36669 | 33325 1244.99/1245.37 c 929s | 16 | 474042 | 181552 | 512101 0 | 36669 | 33325 1247.88/1248.29 c 932s | 16 | 474524 | 181852 | 512101 0 | 36669 | 33325 1250.08/1250.44 c 934s | 16 | 474781 | 182052 | 512101 0 | 36669 | 33325 1252.59/1252.93 c 937s | 16 | 475164 | 182252 | 512101 0 | 36669 | 33325 1254.89/1255.27 c 939s | 16 | 475547 | 182452 | 512101 0 | 36669 | 33325 1258.08/1258.48 c 943s | 16 | 475948 | 182752 | 512101 0 | 36669 | 33325 1260.28/1260.61 c 945s | 16 | 476281 | 182952 | 512101 0 | 36669 | 33325 1262.37/1262.78 c 947s | 16 | 476612 | 183152 | 512101 0 | 36669 | 33325 1265.47/1265.84 c 950s | 16 | 477452 | 183452 | 512101 0 | 36669 | 33325 1267.98/1268.36 c 952s | 16 | 478632 | 183952 | 512101 0 | 36669 | 33325 1270.07/1270.43 c 954s | 16 | 479275 | 184252 | 512101 0 | 36669 | 33325 1272.37/1272.73 c 957s | 16 | 483048 | 184652 | 512101 0 | 36669 | 33325 1274.57/1274.98 c 959s | 16 | 483761 | 184952 | 512101 0 | 36669 | 33325 1276.66/1277.10 c 961s | 16 | 486954 | 185152 | 512101 0 | 36669 | 33325 1278.76/1279.13 c 963s | 16 | 488841 | 185652 | 512101 0 | 36669 | 33325 1281.27/1281.69 c 966s | 16 | 489371 | 185952 | 512101 0 | 36669 | 33325 1283.86/1284.20 c 968s | 16 | 492131 | 186252 | 512101 0 | 36669 | 33325 1286.06/1286.46 c 970s | 16 | 493845 | 186752 | 512101 0 | 36669 | 33325 1288.56/1288.92 c 973s | 16 | 494828 | 187152 | 512101 0 | 36669 | 33325 1291.26/1291.60 c 976s | 16 | 495923 | 187452 | 512101 0 | 36669 | 33325 1293.56/1293.90 c 978s | 16 | 497043 | 187852 | 512101 0 | 36669 | 33325 1295.96/1296.35 c 980s | 16 | 497283 | 188052 | 512101 0 | 36669 | 33325 1298.16/1298.50 c 983s | 16 | 498598 | 188352 | 512101 0 | 36669 | 33325 1300.46/1300.80 c 985s | 16 | 500158 | 188852 | 512101 0 | 36669 | 33325 1302.66/1303.06 c 987s | 16 | 501503 | 189352 | 512101 0 | 36669 | 33325 1304.76/1305.10 c 989s | 16 | 502496 | 189752 | 512101 0 | 36669 | 33325 1306.86/1307.26 c 991s | 16 | 503410 | 190252 | 512101 0 | 36669 | 33325 1309.05/1309.40 c 993s | 16 | 504952 | 190652 | 512101 0 | 36669 | 33325 1311.25/1311.61 c 996s | 16 | 508372 | 191052 | 512101 0 | 36669 | 33325 1313.45/1313.82 c 998s | 16 | 509577 | 191552 | 512101 0 | 36669 | 33325 1315.55/1315.90 c 1000s | 16 | 510213 | 191852 | 512101 0 | 36669 | 33325 1317.46/1317.90 c 1002s | 16 | 511286 | 192252 | 512101 0 | 36669 | 33325 1320.05/1320.49 c 1005s | 16 | 513001 | 192652 | 512101 0 | 36669 | 33325 1322.35/1322.73 c 1007s | 16 | 514018 | 193052 | 512101 0 | 36669 | 33325 1324.55/1324.92 c 1009s | 16 | 515343 | 193652 | 512101 0 | 36669 | 33325 1326.75/1327.13 c 1011s | 16 | 516322 | 194052 | 512101 0 | 36669 | 33325 1328.95/1329.32 c 1013s | 16 | 517225 | 194452 | 512101 0 | 36669 | 33325 1331.45/1331.81 c 1016s | 16 | 518377 | 194852 | 512101 0 | 36669 | 33325 1334.35/1334.77 c 1019s | 16 | 520830 | 195552 | 512101 0 | 36669 | 33325 1336.44/1336.87 c 1021s | 16 | 522554 | 196052 | 512101 0 | 36669 | 33325 1338.94/1339.36 c 1023s | 16 | 523306 | 196452 | 512101 0 | 36669 | 33325 1341.04/1341.50 c 1026s | 16 | 524348 | 196852 | 512101 0 | 36669 | 33325 1343.54/1343.94 c 1028s | 17 | 525864 | 197432 | 512101 0 | 36669 | 33325 1346.44/1346.81 c 1031s | 17 | 529949 | 197532 | 512101 0 | 36669 | 33325 1348.54/1348.90 c 1033s | 17 | 530652 | 197832 | 512101 0 | 36669 | 33325 1350.84/1351.28 c 1035s | 17 | 532277 | 198432 | 512101 0 | 36669 | 33325 1352.94/1353.33 c 1037s | 17 | 533243 | 198832 | 512101 0 | 36669 | 33325 1355.14/1355.52 c 1040s | 17 | 534575 | 199332 | 512101 0 | 36669 | 33325 1357.24/1357.62 c 1042s | 17 | 535455 | 199732 | 512101 0 | 36669 | 33325 1359.24/1359.65 c 1044s | 17 | 536795 | 200232 | 512101 0 | 36669 | 33325 1361.54/1361.91 c 1046s | 17 | 538623 | 200732 | 512101 0 | 36669 | 33325 1364.33/1364.72 c 1049s | 17 | 540035 | 201332 | 512101 0 | 36669 | 33325 1366.73/1367.16 c 1051s | 17 | 541232 | 201732 | 512101 0 | 36669 | 33325 1369.43/1369.86 c 1054s | 17 | 542496 | 202232 | 512101 0 | 36669 | 33325 1372.03/1372.43 c 1056s | 17 | 543868 | 202732 | 512101 0 | 36669 | 33325 1374.23/1374.62 c 1059s | 17 | 544943 | 203132 | 512101 0 | 36669 | 33325 1376.33/1376.78 c 1061s | 17 | 545997 | 203532 | 512101 0 | 36669 | 33325 1378.83/1379.23 c 1063s | 17 | 547074 | 204032 | 512101 0 | 36669 | 33325 1380.83/1381.26 c 1065s | 17 | 547990 | 204432 | 512101 0 | 36669 | 33325 1383.53/1383.97 c 1068s | 17 | 549130 | 204932 | 512101 0 | 36669 | 33325 1385.82/1386.25 c 1070s | 17 | 550273 | 205332 | 512101 0 | 36669 | 33325 1388.02/1388.48 c 1073s | 17 | 551779 | 205932 | 512101 0 | 36669 | 33325 1390.13/1390.56 c 1075s | 17 | 553365 | 206632 | 512101 0 | 36669 | 33325 1392.52/1392.96 c 1077s | 17 | 554549 | 207132 | 512101 0 | 36669 | 33325 1394.92/1395.33 c 1079s | 17 | 555689 | 207632 | 512101 0 | 36669 | 33325 1397.12/1397.59 c 1082s | 17 | 557175 | 208232 | 512101 0 | 36669 | 33325 1399.12/1399.59 c 1084s | 17 | 558653 | 208732 | 512101 0 | 36669 | 33325 1401.22/1401.69 c 1086s | 17 | 559624 | 209132 | 512101 0 | 36669 | 33325 1403.81/1404.28 c 1088s | 17 | 560851 | 209732 | 512101 0 | 36669 | 33325 1406.21/1406.61 c 1091s | 17 | 561438 | 210032 | 512101 0 | 36669 | 33325 1409.11/1409.55 c 1094s | 17 | 561954 | 210332 | 512101 0 | 36669 | 33325 1412.12/1412.51 c 1097s | 17 | 562443 | 210632 | 512101 0 | 36669 | 33325 1414.71/1415.17 c 1099s | 17 | 562869 | 210932 | 512101 0 | 36669 | 33325 1416.91/1417.39 c 1101s | 17 | 563353 | 211232 | 512101 0 | 36669 | 33325 1419.11/1419.51 c 1104s | 17 | 563671 | 211432 | 512101 0 | 36669 | 33325 1421.30/1421.78 c 1106s | 17 | 564621 | 211732 | 512101 0 | 36669 | 33325 1423.70/1424.18 c 1108s | 17 | 565544 | 212132 | 512101 0 | 36669 | 33325 1426.10/1426.51 c 1111s | 17 | 566561 | 212532 | 512101 0 | 36669 | 33325 1428.10/1428.54 c 1113s | 17 | 567416 | 212932 | 512101 0 | 36669 | 33325 1430.60/1431.05 c 1115s | 17 | 568677 | 213332 | 512101 0 | 36669 | 33325 1433.10/1433.51 c 1118s | 17 | 569885 | 213832 | 512101 0 | 36669 | 33325 1435.10/1435.58 c 1120s | 17 | 570951 | 214332 | 512101 0 | 36669 | 33325 1437.20/1437.67 c 1122s | 17 | 572324 | 214832 | 512101 0 | 36669 | 33325 1439.60/1440.08 c 1124s | 17 | 573320 | 215332 | 512101 0 | 36669 | 33325 1442.09/1442.54 c 1127s | 17 | 573953 | 215632 | 512101 0 | 36669 | 33325 1444.59/1445.03 c 1129s | 17 | 574618 | 215932 | 512101 0 | 36669 | 33325 1447.10/1447.51 c 1132s | 17 | 575710 | 216432 | 512101 0 | 36669 | 33325 1449.40/1449.86 c 1134s | 17 | 576677 | 216932 | 512101 0 | 36669 | 33325 1451.80/1452.20 c 1136s | 17 | 577688 | 217332 | 512101 0 | 36669 | 33325 1453.80/1454.29 c 1138s | 17 | 578371 | 217632 | 512101 0 | 36669 | 33325 1456.59/1457.01 c 1141s | 17 | 579127 | 218032 | 512101 0 | 36669 | 33325 1459.19/1459.70 c 1144s | 17 | 580113 | 218532 | 512101 0 | 36669 | 33325 1461.60/1462.03 c 1146s | 17 | 581137 | 219032 | 512101 0 | 36669 | 33325 1463.70/1464.11 c 1148s | 17 | 581847 | 219232 | 512101 0 | 36669 | 33325 1465.69/1466.17 c 1150s | 17 | 582829 | 219632 | 512101 0 | 36669 | 33325 1467.89/1468.32 c 1152s | 17 | 583529 | 219932 | 512101 0 | 36669 | 33325 1469.89/1470.39 c 1154s | 17 | 584513 | 220332 | 512101 0 | 36669 | 33325 1472.09/1472.57 c 1157s | 17 | 585314 | 220632 | 512101 0 | 36669 | 33325 1474.59/1475.04 c 1159s | 17 | 586384 | 221032 | 512101 0 | 36669 | 33325 1477.29/1477.74 c 1162s | 17 | 587793 | 221532 | 512101 0 | 36669 | 33325 1479.98/1480.44 c 1164s | 17 | 588672 | 221932 | 512101 0 | 36669 | 33325 1482.39/1482.85 c 1167s | 17 | 589707 | 222232 | 512101 0 | 36669 | 33325 1484.78/1485.22 c 1169s | 17 | 591215 | 222832 | 512101 0 | 36669 | 33325 1487.08/1487.54 c 1172s | 17 | 592503 | 223332 | 512101 0 | 36669 | 33325 1489.28/1489.77 c 1174s | 17 | 593932 | 223832 | 512101 0 | 36669 | 33325 1491.48/1491.99 c 1176s | 17 | 594851 | 224232 | 512101 0 | 36669 | 33325 1493.88/1494.35 c 1178s | 17 | 595865 | 224632 | 512101 0 | 36669 | 33325 1495.98/1496.47 c 1180s | 17 | 596972 | 225132 | 512101 0 | 36669 | 33325 1498.68/1499.12 c 1183s | 17 | 598218 | 225632 | 512101 0 | 36669 | 33325 1500.67/1501.12 c 1185s | 17 | 599365 | 226032 | 512101 0 | 36669 | 33325 1502.77/1503.24 c 1187s | 17 | 600546 | 226532 | 512101 0 | 36669 | 33325 1504.87/1505.31 c 1189s | 17 | 601889 | 227032 | 512101 0 | 36669 | 33325 1506.97/1507.41 c 1191s | 17 | 603448 | 227532 | 512101 0 | 36669 | 33325 1509.17/1509.68 c 1194s | 17 | 604311 | 227932 | 512101 0 | 36669 | 33325 1511.67/1512.11 c 1196s | 17 | 605676 | 228632 | 512101 0 | 36669 | 33325 1514.17/1514.69 c 1199s | 17 | 606776 | 229132 | 512101 0 | 36669 | 33325 1516.37/1516.83 c 1201s | 17 | 607804 | 229532 | 512101 0 | 36669 | 33325 1518.47/1518.98 c 1203s | 17 | 608710 | 229932 | 512101 0 | 36669 | 33325 1520.66/1521.12 c 1205s | 17 | 609527 | 230332 | 512101 0 | 36669 | 33325 1523.07/1523.53 c 1208s | 17 | 610757 | 230832 | 512101 0 | 36669 | 33325 1525.16/1525.69 c 1210s | 17 | 611843 | 231332 | 512101 0 | 36669 | 33325 1527.26/1527.72 c 1212s | 17 | 612986 | 231832 | 512101 0 | 36669 | 33325 1529.36/1529.85 c 1214s | 17 | 614115 | 232232 | 512101 0 | 36669 | 33325 1531.46/1531.90 c 1216s | 17 | 614986 | 232632 | 512101 0 | 36669 | 33325 1533.76/1534.20 c 1218s | 17 | 616369 | 233132 | 512101 0 | 36669 | 33325 1536.06/1536.51 c 1221s | 17 | 617617 | 233632 | 512101 0 | 36669 | 33325 1538.36/1538.81 c 1223s | 17 | 618419 | 234032 | 512101 0 | 36669 | 33325 1540.55/1541.06 c 1225s | 17 | 619639 | 234532 | 512101 0 | 36669 | 33325 1542.65/1543.18 c 1227s | 17 | 620621 | 235032 | 512101 0 | 36669 | 33325 1545.45/1545.94 c 1230s | 17 | 621647 | 235432 | 512101 0 | 36669 | 33325 1547.45/1547.95 c 1232s | 17 | 622421 | 235832 | 512101 0 | 36669 | 33325 1549.45/1549.99 c 1234s | 17 | 623557 | 236332 | 512101 0 | 36669 | 33325 1551.94/1552.41 c 1236s | 17 | 625016 | 236932 | 512101 0 | 36669 | 33325 1554.04/1554.55 c 1239s | 17 | 626273 | 237432 | 512101 0 | 36669 | 33325 1556.34/1556.80 c 1241s | 17 | 627341 | 237932 | 512101 0 | 36669 | 33325 1558.74/1559.23 c 1243s | 17 | 628482 | 238332 | 512101 0 | 36669 | 33325 1560.94/1561.47 c 1245s | 17 | 629719 | 238832 | 512101 0 | 36669 | 33325 1563.24/1563.74 c 1248s | 17 | 630606 | 239232 | 512101 0 | 36669 | 33325 1565.84/1566.38 c 1250s | 17 | 631206 | 239532 | 512101 0 | 36669 | 33325 1567.94/1568.47 c 1252s | 17 | 632016 | 239932 | 512101 0 | 36669 | 33325 1570.13/1570.62 c 1255s | 17 | 632997 | 240332 | 512101 0 | 36669 | 33325 1572.83/1573.30 c 1257s | 17 | 633819 | 240732 | 512101 0 | 36669 | 33325 1574.84/1575.33 c 1259s | 17 | 634818 | 241232 | 563312 0 | 36669 | 33325 1576.94/1577.48 c 1262s | 17 | 635614 | 241632 | 563312 0 | 36669 | 33325 1579.53/1580.01 c 1264s | 17 | 636633 | 242132 | 563312 0 | 36669 | 33325 1581.92/1582.49 c 1267s | 17 | 637644 | 242632 | 563312 0 | 36669 | 33325 1584.02/1584.50 c 1269s | 17 | 638504 | 243032 | 563312 0 | 36669 | 33325 1586.02/1586.58 c 1271s | 17 | 639396 | 243432 | 563312 0 | 36669 | 33325 1588.03/1588.59 c 1273s | 17 | 640405 | 243832 | 563312 0 | 36669 | 33325 1590.13/1590.64 c 1275s | 17 | 641263 | 244232 | 563312 0 | 36669 | 33325 1592.52/1593.08 c 1277s | 17 | 642307 | 244732 | 563312 0 | 36669 | 33325 1595.32/1595.82 c 1280s | 17 | 643646 | 245232 | 563312 0 | 36669 | 33325 1597.42/1597.99 c 1282s | 17 | 644723 | 245732 | 563312 0 | 36669 | 33325 1600.02/1600.52 c 1285s | 17 | 645699 | 246132 | 563312 0 | 36669 | 33325 1602.22/1602.70 c 1287s | 17 | 646262 | 246432 | 563312 0 | 36669 | 33325 1604.52/1605.08 c 1289s | 17 | 647404 | 246932 | 563312 0 | 36669 | 33325 1606.62/1607.20 c 1291s | 17 | 648391 | 247332 | 563312 0 | 36669 | 33325 1609.71/1610.28 c 1294s | 17 | 648845 | 247532 | 563312 0 | 36669 | 33325 1612.31/1612.85 c 1297s | 17 | 649119 | 247732 | 563312 0 | 36669 | 33325 1614.71/1615.29 c 1299s | 17 | 649472 | 247932 | 563312 0 | 36669 | 33325 1617.11/1617.60 c 1302s | 17 | 649805 | 248132 | 563312 0 | 36669 | 33325 1619.30/1619.84 c 1304s | 17 | 650337 | 248332 | 563312 0 | 36669 | 33325 1621.40/1621.98 c 1306s | 17 | 650862 | 248532 | 563312 0 | 36669 | 33325 1624.21/1624.73 c 1309s | 17 | 651534 | 248832 | 563312 0 | 36669 | 33325 1626.70/1627.21 c 1311s | 17 | 652035 | 249032 | 563312 0 | 36669 | 33325 1629.10/1629.68 c 1314s | 17 | 654695 | 249232 | 563312 0 | 36669 | 33325 1631.80/1632.33 c 1316s | 17 | 655976 | 249432 | 563312 0 | 36669 | 33325 1633.80/1634.37 c 1318s | 17 | 657136 | 249632 | 563312 0 | 36669 | 33325 1636.31/1636.87 c 1321s | 17 | 657878 | 249832 | 563312 0 | 36669 | 33325 1638.80/1639.33 c 1323s | 17 | 660263 | 250032 | 563312 0 | 36669 | 33325 1641.10/1641.60 c 1326s | 17 | 660563 | 250232 | 563312 0 | 36669 | 33325 1643.40/1643.95 c 1328s | 17 | 664065 | 250432 | 563312 0 | 36669 | 33325 1646.70/1647.28 c 1331s | 17 | 665064 | 250732 | 563312 0 | 36669 | 33325 1649.20/1649.79 c 1334s | 17 | 667538 | 250932 | 563312 0 | 36669 | 33325 1651.90/1652.48 c 1337s | 17 | 667835 | 251132 | 563312 0 | 36669 | 33325 1654.50/1655.04 c 1339s | 17 | 669101 | 251332 | 563312 0 | 36669 | 33325 1656.80/1657.35 c 1341s | 17 | 669910 | 251532 | 563312 0 | 36669 | 33325 1659.40/1659.93 c 1344s | 17 | 670753 | 251832 | 563312 0 | 36669 | 33325 1661.60/1662.13 c 1346s | 17 | 671399 | 252032 | 563312 0 | 36669 | 33325 1663.60/1664.15 c 1348s | 17 | 673857 | 252232 | 563312 0 | 36669 | 33325 1666.49/1667.01 c 1351s | 17 | 674429 | 252532 | 563312 0 | 36669 | 33325 1669.49/1670.07 c 1354s | 17 | 676254 | 252832 | 563312 0 | 36669 | 33325 1672.19/1672.71 c 1357s | 17 | 677101 | 253132 | 563312 0 | 36669 | 33325 1674.59/1675.14 c 1359s | 17 | 678681 | 253432 | 563312 0 | 36669 | 33325 1677.10/1677.66 c 1362s | 17 | 679359 | 253732 | 563312 0 | 36669 | 33325 1680.09/1680.61 c 1365s | 17 | 679780 | 254032 | 563312 0 | 36669 | 33325 1682.79/1683.40 c 1367s | 17 | 681838 | 254332 | 563312 0 | 36669 | 33325 1685.69/1686.20 c 1370s | 17 | 682953 | 254532 | 563312 0 | 36669 | 33325 1688.69/1689.29 c 1373s | 17 | 683631 | 254832 | 563312 0 | 36669 | 33325 1690.99/1691.53 c 1376s | 17 | 684024 | 255132 | 563312 0 | 36669 | 33325 1693.60/1694.11 c 1378s | 17 | 686253 | 255432 | 563312 0 | 36669 | 33325 1695.59/1696.19 c 1380s | 17 | 689675 | 255632 | 563312 0 | 36669 | 33325 1698.59/1699.17 c 1383s | 17 | 690346 | 255932 | 563312 0 | 36669 | 33325 1701.20/1701.72 c 1386s | 17 | 690822 | 256232 | 563312 0 | 36669 | 33325 1703.99/1704.52 c 1389s | 17 | 691239 | 256532 | 563312 0 | 36669 | 33325 1706.19/1706.79 c 1391s | 17 | 691669 | 256832 | 563312 0 | 36669 | 33325 1708.29/1708.83 c 1393s | 17 | 692191 | 257132 | 563312 0 | 36669 | 33325 1710.69/1711.22 c 1395s | 17 | 692730 | 257432 | 563312 0 | 36669 | 33325 1713.19/1713.73 c 1398s | 17 | 693365 | 257732 | 563312 0 | 36669 | 33325 1715.60/1716.17 c 1400s | 17 | 693976 | 258032 | 563312 0 | 36669 | 33325 1718.19/1718.77 c 1403s | 17 | 694371 | 258332 | 563312 0 | 36669 | 33325 1720.79/1721.32 c 1405s | 17 | 694782 | 258632 | 563312 0 | 36669 | 33325 1723.09/1723.68 c 1408s | 17 | 695201 | 258932 | 563312 0 | 36669 | 33325 1725.79/1726.32 c 1410s | 17 | 695615 | 259232 | 563312 0 | 36669 | 33325 1728.39/1728.94 c 1413s | 17 | 696070 | 259532 | 563312 0 | 36669 | 33325 1730.49/1731.03 c 1415s | 17 | 696419 | 259732 | 563312 0 | 36669 | 33325 1732.89/1733.46 c 1417s | 17 | 697043 | 260032 | 563312 0 | 36669 | 33325 1735.29/1735.82 c 1420s | 17 | 697619 | 260332 | 563312 0 | 36669 | 33325 1738.09/1738.67 c 1423s | 17 | 698050 | 260632 | 563312 0 | 36669 | 33325 1741.19/1741.79 c 1426s | 17 | 698470 | 260932 | 563312 0 | 36669 | 33325 1743.39/1743.90 c 1428s | 17 | 698748 | 261132 | 563312 0 | 36669 | 33325 1745.48/1746.00 c 1430s | 17 | 699075 | 261332 | 563312 0 | 36669 | 33325 1747.58/1748.16 c 1432s | 17 | 699629 | 261632 | 563312 0 | 36669 | 33325 1750.69/1751.21 c 1435s | 17 | 700130 | 261932 | 563312 0 | 36669 | 33325 1753.18/1753.72 c 1438s | 17 | 700569 | 262232 | 563312 0 | 36669 | 33325 1755.88/1756.43 c 1440s | 17 | 701060 | 262532 | 563312 0 | 36669 | 33325 1758.58/1759.10 c 1443s | 17 | 701416 | 262832 | 563312 0 | 36669 | 33325 1761.38/1761.94 c 1446s | 17 | 701905 | 263132 | 563312 0 | 36669 | 33325 1764.58/1765.14 c 1449s | 17 | 702419 | 263432 | 563312 0 | 36669 | 33325 1766.58/1767.15 c 1451s | 17 | 702704 | 263632 | 563312 0 | 36669 | 33325 1769.49/1770.04 c 1454s | 17 | 703236 | 263932 | 563312 0 | 36669 | 33325 1772.18/1772.75 c 1457s | 17 | 703738 | 264232 | 563312 0 | 36669 | 33325 1774.78/1775.35 c 1459s | 17 | 704264 | 264532 | 563312 0 | 36669 | 33325 1777.38/1777.98 c 1462s | 17 | 704711 | 264832 | 563312 0 | 36669 | 33325 1779.68/1780.29 c 1464s | 17 | 705168 | 265132 | 563312 0 | 36669 | 33325 1782.69/1783.22 c 1467s | 17 | 705622 | 265432 | 563312 0 | 36669 | 33325 1784.79/1785.40 c 1469s | 17 | 705877 | 265632 | 563312 0 | 36669 | 33325 1787.18/1787.79 c 1472s | 17 | 706421 | 265932 | 563312 0 | 36669 | 33325 1789.68/1790.26 c 1474s | 17 | 706782 | 266132 | 563312 0 | 36669 | 33325 1791.88/1792.40 c 1476s | 17 | 707047 | 266332 | 563312 0 | 36669 | 33325 1794.08/1794.62 c 1479s | 17 | 707356 | 266532 | 563312 0 | 36669 | 33325 1796.37/1796.90 c 1481s | 17 | 707595 | 266732 | 563312 0 | 36669 | 33325 1798.87/1799.44 c 1483s | 17 | 707833 | 266932 | 563312 0 | 36669 | 33325
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-4079035-1467240143/watcher-4079035-1467240143 -o /tmp/evaluation-result-4079035-1467240143/solver-4079035-1467240143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079035-1467240143.opb pid=8464 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.13 2.07 2.02 3/179 8467 /proc/meminfo: memFree=29288892/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=721340 CPUtime=0 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 2691 0 0 0 0 0 0 0 20 0 4 0 4910465 738652160 3051 33554432000 4194304 16246674 140735368501104 140735368500528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 180847 3060 441 2943 0 177741 0 [pid=8467/tid=8468] ppid=8464 vsize=738748 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 756477952 3121 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=743868 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 761720832 3139 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=747964 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4910466 765915136 3155 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100171 s] /proc/loadavg: 2.13 2.07 2.02 3/179 8467 /proc/meminfo: memFree=29288892/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 27659 0 0 0 5 4 0 0 20 0 4 0 4910465 1333334016 27958 33554432000 4194304 16246674 140735368501104 140735368500416 7367789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 325521 27973 799 2943 0 322415 0 [pid=8467/tid=8468] ppid=8464 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1333334016 27984 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1333334016 27995 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1333334016 28005 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200537 s] /proc/loadavg: 2.13 2.07 2.02 3/179 8467 /proc/meminfo: memFree=29288892/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 46989 0 0 0 13 6 0 0 20 0 4 0 4910465 1344868352 47798 33554432000 4194304 16246674 140735368501104 140735368500416 7371600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 328337 47798 799 2943 0 325231 0 [pid=8467/tid=8468] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 47798 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 47798 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 47798 33554432000 4194304 16246674 140735368501104 140308916456624 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) 1313348 [startup+0.300502 s] /proc/loadavg: 2.13 2.07 2.02 3/179 8467 /proc/meminfo: memFree=29288892/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 53454 0 0 0 22 7 0 0 20 0 4 0 4910465 1344868352 54263 33554432000 4194304 16246674 140735368501104 140735368500416 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 328337 54263 799 2943 0 325231 0 [pid=8467/tid=8468] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 54263 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 54263 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 54263 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700412 s] /proc/loadavg: 2.13 2.07 2.02 3/179 8467 /proc/meminfo: memFree=29288892/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 65637 0 0 0 61 8 0 0 20 0 4 0 4910465 1344868352 66446 33554432000 4194304 16246674 140735368501104 140735368500416 7378454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 328337 66446 801 2943 0 325231 0 [pid=8467/tid=8468] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 66446 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 66446 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 66446 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50041 s] /proc/loadavg: 2.12 2.07 2.02 3/183 8471 /proc/meminfo: memFree=28991132/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1313348 CPUtime=1.49 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 84526 0 0 0 138 11 0 0 20 0 4 0 4910465 1344868352 85335 33554432000 4194304 16246674 140735368501104 140735368484096 14795248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 328337 85335 801 2943 0 325231 0 [pid=8467/tid=8468] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 85335 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 85335 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1344868352 85335 33554432000 4194304 16246674 140735368501104 140308916456624 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) 1313348 [startup+3.10041 s] /proc/loadavg: 2.12 2.07 2.02 3/183 8471 /proc/meminfo: memFree=28789756/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=3.08 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 124093 0 0 0 292 16 0 0 20 0 4 0 4910465 1370034176 129501 33554432000 4194304 16246674 140735368501104 140735368484096 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 129501 801 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 129501 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 129501 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 129501 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1337924 [startup+6.30041 s] /proc/loadavg: 2.11 2.07 2.01 3/183 8471 /proc/meminfo: memFree=28185628/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=6.29 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 268971 0 0 0 589 40 0 0 20 0 4 0 4910465 1370034176 275912 33554432000 4194304 16246674 140735368501104 140735368483008 12479418 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 275912 840 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275912 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275912 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275912 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1337924 [startup+12.7004 s] /proc/loadavg: 2.10 2.07 2.01 3/183 8471 /proc/meminfo: memFree=28185800/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=12.69 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269053 0 0 0 1228 41 0 0 20 0 4 0 4910465 1370034176 275994 33554432000 4194304 16246674 140735368501104 140735368483008 13198546 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 275994 916 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308916456624 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) 1337924 [startup+25.5005 s] /proc/loadavg: 2.08 2.06 2.01 3/183 8471 /proc/meminfo: memFree=28186748/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=25.49 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269053 0 0 0 2508 41 0 0 20 0 4 0 4910465 1370034176 275994 33554432000 4194304 16246674 140735368501104 140735368483008 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 275994 916 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275994 33554432000 4194304 16246674 140735368501104 140308916456624 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) 1337924 [startup+51.1005 s] /proc/loadavg: 2.05 2.06 2.01 3/183 8471 /proc/meminfo: memFree=28185600/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=51.08 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269056 0 0 0 5067 41 0 0 20 0 4 0 4910465 1370034176 275997 33554432000 4194304 16246674 140735368501104 140735368483008 6845877 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 275997 919 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275997 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275997 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275997 33554432000 4194304 16246674 140735368501104 140308916456624 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) 1337924 [startup+102.3 s] /proc/loadavg: 2.02 2.05 2.01 3/183 8472 /proc/meminfo: memFree=28185272/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=102.28 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269057 0 0 0 10187 41 0 0 20 0 4 0 4910465 1370034176 275998 33554432000 4194304 16246674 140735368501104 140735368483008 13927412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 275998 919 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275998 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275998 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 275998 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1337924 ################ # More data... # ################ /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1337924 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/183 8525 /proc/meminfo: memFree=28182436/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1301.96 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269284 0 0 0 130152 44 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1337924 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/184 8527 /proc/meminfo: memFree=28141276/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1361.93 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269319 0 0 0 136149 44 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1337924 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8528 /proc/meminfo: memFree=28141556/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1421.91 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269355 0 0 0 142147 44 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1337924 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/183 8530 /proc/meminfo: memFree=28141576/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1481.88 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269394 0 0 0 148143 45 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1337924 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.00 3/183 8531 /proc/meminfo: memFree=28141348/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1541.86 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269437 0 0 0 154141 45 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5677320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1337924 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/183 8532 /proc/meminfo: memFree=28141308/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1601.82 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269478 0 0 0 160137 45 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5673965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1337924 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 8585 /proc/meminfo: memFree=28635944/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1337924 CPUtime=1661.8 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 269496 0 0 0 166135 45 0 0 20 0 4 0 4910465 1370034176 276003 33554432000 4194304 16246674 140735368501104 140735368483008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 334481 276003 921 2943 0 331375 0 [pid=8467/tid=8468] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1337924 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1370034176 276003 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1337924 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8586 /proc/meminfo: memFree=28530416/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1440324 CPUtime=1721.79 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 294850 0 0 0 172130 49 0 0 20 0 4 0 4910465 1474891776 301357 33554432000 4194304 16246674 140735368501104 140735368483008 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 360081 301357 921 2943 0 356975 0 [pid=8467/tid=8468] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1440324 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8588 /proc/meminfo: memFree=28530192/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1440324 CPUtime=1781.78 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 294850 0 0 0 178129 49 0 0 20 0 4 0 4910465 1474891776 301357 33554432000 4194304 16246674 140735368501104 140735368483008 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 360081 301357 921 2943 0 356975 0 [pid=8467/tid=8468] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1440324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.00 2.00 3/183 8588 /proc/meminfo: memFree=28530164/32872528 swapFree=7620/7620 [pid=8467] ppid=8464 vsize=1440324 CPUtime=1800.07 cores=0,2,4,6 /proc/8467/stat : 8467 (toysat) R 8464 8467 5453 0 -1 4202496 294850 0 0 0 179958 49 0 0 20 0 4 0 4910465 1474891776 301357 33554432000 4194304 16246674 140735368501104 140735368483008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/8467/statm: 360081 301357 921 2943 0 356975 0 [pid=8467/tid=8468] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8468/stat : 8468 (toysat) S 8464 8467 5453 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308937420016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=8467/tid=8469] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8469/stat : 8469 (toysat) S 8464 8467 5453 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308926930160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=8467/tid=8470] ppid=8464 vsize=1440324 CPUtime=0 cores=0,2,4,6 /proc/8467/task/8470/stat : 8470 (toysat) S 8464 8467 5453 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4910466 1474891776 301357 33554432000 4194304 16246674 140735368501104 140308916456624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1440324 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 8467 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.62 CPU time (s): 1800.1 CPU user time (s): 1799.59 CPU system time (s): 0.503923 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 1440324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.503923 maximum resident set size= 1205428 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 294850 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= 470 involuntary context switches= 1957 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.51231 second user time and 7.01793 second system time The end
Begin job on node106 at 2016-06-30 00:42:23 IDJOB=4079035 IDBENCH=92848 IDSOLVER=2542 FILE ID=node106/4079035-1467240143 RUNJOBID= node106-1467209087-5469 PBS_JOBID= 19997588 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/graca/normalized-ped3.F.recomb10-0.10-9.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079035-1467240143/watcher-4079035-1467240143 -o /tmp/evaluation-result-4079035-1467240143/solver-4079035-1467240143 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467209087-5469 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079035-1467240143.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4729c8a3829810469c3b8c83b3528a30 RANDOM SEED=2146909730 node106.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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.99 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.495 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.56 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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.56 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.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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: 29289164 kB Buffers: 50108 kB Cached: 1251900 kB SwapCached: 0 kB Active: 2312240 kB Inactive: 511524 kB Active(anon): 1514720 kB Inactive(anon): 9632 kB Active(file): 797520 kB Inactive(file): 501892 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 34972 kB Writeback: 16 kB AnonPages: 1528980 kB Mapped: 18840 kB Shmem: 204 kB Slab: 619892 kB SReclaimable: 63000 kB SUnreclaim: 556892 kB KernelStack: 1472 kB PageTables: 6592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1662556 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node106 at 2016-06-30 01:12:24