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.03 | 1800.41 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_028_area_delay.opb |
| MD5SUM | 90e87da5616dfecdb140ca6fb2adc54e |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 23 |
| Best CPU time to get the best result obtained on this benchmark | 0.71189 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 16435 |
| Total number of constraints | 118985 |
| Number of constraints which are clauses | 118985 |
| 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 | 254 |
| Number of terms in the objective function | 8074 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 8074 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8074 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-06T23:22:46+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-4079855-1465248165.opb"] 0.00/0.01 c use --random-gen="1157203991 3597971552 2176714563 361440919 2998172621 2056813626 2219021552 4212403476 904556745 2580953435 154015373 1518526305 1144508686 756806406 2234805016 72441883 4254154252 1106862418 127361298 2941319350 3515930535 1421820396 1252851130 1460203031 2870833665 3922194940 1301359657 1892569482 1023080785 2890323959 1455882425 51958681 428086740 2753441615 3454046064 2218398458 2723837729 2727432032 1431689418 3028506149 3274968367 989147243 3885714350 3769485628 2750727198 4275362603 478921928 2730624953 1593785209 3644824869 2614191532 2783799825 829288297 1190921785 2592550321 1641645951 4015718392 4130935640 3926273150 3385049110 628922790 3124040712 3508380867 248960619 857522241 3762896396 2821608984 636335798 4020826845 397116804 3392622482 3774430321 3771483881 3011714876 877145981 929084307 1504483126 1531943851 17853475 4290068589 3899467439 1851363291 3814066023 3727497420 3066653147 2502683748 1157960633 3934277307 108973753 1929679815 1074986851 932658802 3576249702 4002506825 90164977 1556744100 3914898636 3792707231 3673707693 2672920820 2907112267 1520054539 2316980091 2658310820 2584388463 3155311426 2646726396 339767384 168654377 1869712014 1337512204 962546789 713992424 2703165872 3049539967 3611363168 1830526551 2641623243 1591860864 3660849644 1174184952 1977338655 323889410 1483251635 4203724606 1656413235 414379104 1579189966 2973136379 319967568 3110903128 3816681383 1725310923 1293691625 3540290725 1311619449 1394887178 3341129206 1445739800 110077183 1577041135 557251303 3260359829 3232372041 2718177683 3289620077 2353638813 1196613394 4039340833 2618416638 4282368028 1773830386 4286193161 3711780286 3484721112 412651190 866500855 2131821576 996151678 3283459272 3434730611 762457747 874020133 1987358555 3518738813 3241218349 3189037968 282659611 2537828744 2149506597 1209020360 3488556269 2340338848 1081681082 4063218830 2099894276 17596908 4211878132 4266733859 1854176788 2889206994 3813458746 4013841732 164321796 3444892387 2397610948 2602155700 1122254985 2972591905 1311958758 1792210596 1909078519 35752179 3342507560 2915458770 2837963930 1265847294 928245945 2406097911 501724926 3135399529 3876234275 762225647 2373350451 3073616495 1866432156 2702889734 1905268337 2968238189 306953297 563747466 1966015295 1357109701 2007976835 2647821998 4145061139 3290282007 2134925767 1648407194 3507426296 1601396718 2009438492 3996341327 53299025 2371165948 1171414016 3276791920 383426086 3503954755 3729567938 3855998734 3698988093 1101139044 2126705982 136077553 203907173 578464642 106199579 3512261790 691748616 246620625 1454511034 1440193007 2189821582 1723016881 3909985237 3957274215 719724881 2994516969 2332374443 426702233 3345025178 2007141977 1800914911 3196517494 2092494505 255 362436" option to reproduce the execution 0.69/0.77 c #vars 16435 0.69/0.77 c #constraints 118985 2.50/2.53 c BCD2: Hardening is enabled. 2.50/2.53 c BCD2: BiasedSearch is enabled. 2.50/2.53 c Solving starts ... 2.50/2.53 c ============================[ Search Statistics ]============================ 2.50/2.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.50/2.53 c | | | | Limit GC | Var | Constra 2.50/2.53 c ============================================================================= 2.50/2.53 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 0 2.60/2.70 c 0.2s | 0 | 5672 | 1 | 45134 0 | 3 | 1675 2.60/2.70 c #cpu_time = 0.158s 2.60/2.70 c #wall_clock_time = 0.158s 2.60/2.70 c #decision = 5672 2.60/2.70 c #random_decision = 15 2.60/2.70 c #conflict = 1 2.60/2.70 c #restart = 0 2.69/2.70 o 5594 2.79/2.88 c BCD2: updating upper bound: 8074 -> 5593 2.99/3.03 c BCD2: 0 <= obj <= 5593 2.99/3.03 c BCD2: #cores=0, #unrelaxed=8074, #relaxed=0, #hardened=0 2.99/3.03 c BCD2: #sat=1 #unsat=1 bias=1/2 2.99/3.03 c Solving starts ... 2.99/3.03 c ============================[ Search Statistics ]============================ 2.99/3.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.03 c | | | | Limit GC | Var | Constra 2.99/3.03 c ============================================================================= 2.99/3.03 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 2.99/3.08 c 0.1s | 0 | 7 | 1 | 45134 0 | 3 | 1675 2.99/3.08 c #cpu_time = 0.054s 2.99/3.08 c #wall_clock_time = 0.054s 2.99/3.08 c #decision = 7 2.99/3.08 c #random_decision = 0 2.99/3.08 c #conflict = 1 2.99/3.08 c #restart = 0 2.99/3.08 c BCD2: found a new core of size 3: cost of the new core is >=1 2.99/3.08 c lower bound updated to 1 2.99/3.08 c BCD2: 1 <= obj <= 5593 2.99/3.08 c BCD2: #cores=1, #unrelaxed=8071, #relaxed=3, #hardened=0 2.99/3.08 c BCD2: #sat=1 #unsat=2 bias=2/3 2.99/3.09 c Solving starts ... 2.99/3.09 c ============================[ Search Statistics ]============================ 2.99/3.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.99/3.09 c | | | | Limit GC | Var | Constra 2.99/3.09 c ============================================================================= 2.99/3.09 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.09/3.13 c 0.0s | 0 | 13 | 0 | 45134 0 | 3 | 1675 3.09/3.13 c #cpu_time = 0.039s 3.09/3.13 c #wall_clock_time = 0.039s 3.09/3.13 c #decision = 13 3.09/3.13 c #random_decision = 0 3.09/3.13 c #conflict = 0 3.09/3.13 c #restart = 0 3.09/3.13 c BCD2: found a new core of size 11: cost of the new core is >=1 3.09/3.13 c lower bound updated to 2 3.09/3.14 c BCD2: 2 <= obj <= 5593 3.09/3.14 c BCD2: #cores=2, #unrelaxed=8060, #relaxed=14, #hardened=0 3.09/3.14 c BCD2: #sat=1 #unsat=3 bias=3/4 3.09/3.14 c Solving starts ... 3.09/3.14 c ============================[ Search Statistics ]============================ 3.09/3.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.14 c | | | | Limit GC | Var | Constra 3.09/3.14 c ============================================================================= 3.09/3.14 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.09/3.18 c 0.0s | 0 | 5 | 0 | 45134 0 | 3 | 1675 3.09/3.18 c #cpu_time = 0.037s 3.09/3.18 c #wall_clock_time = 0.037s 3.09/3.18 c #decision = 5 3.09/3.18 c #random_decision = 0 3.09/3.18 c #conflict = 0 3.09/3.18 c #restart = 0 3.09/3.18 c BCD2: found a new core of size 1: cost of the new core is >=1 3.09/3.18 c lower bound updated to 3 3.09/3.19 c BCD2: 3 <= obj <= 5593 3.09/3.19 c BCD2: #cores=3, #unrelaxed=8059, #relaxed=15, #hardened=0 3.09/3.19 c BCD2: #sat=1 #unsat=4 bias=4/5 3.09/3.19 c Solving starts ... 3.09/3.19 c ============================[ Search Statistics ]============================ 3.09/3.19 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.19 c | | | | Limit GC | Var | Constra 3.09/3.19 c ============================================================================= 3.09/3.19 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.19/3.23 c 0.0s | 0 | 34 | 0 | 45134 0 | 3 | 1675 3.19/3.23 c #cpu_time = 0.045s 3.19/3.23 c #wall_clock_time = 0.045s 3.19/3.23 c #decision = 34 3.19/3.23 c #random_decision = 0 3.19/3.23 c #conflict = 0 3.19/3.23 c #restart = 0 3.19/3.23 c BCD2: found a new core of size 10: cost of the new core is >=1 3.19/3.23 c lower bound updated to 4 3.19/3.24 c BCD2: 4 <= obj <= 5593 3.19/3.24 c BCD2: #cores=4, #unrelaxed=8049, #relaxed=25, #hardened=0 3.19/3.24 c BCD2: #sat=1 #unsat=5 bias=5/6 3.19/3.24 c Solving starts ... 3.19/3.24 c ============================[ Search Statistics ]============================ 3.19/3.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.24 c | | | | Limit GC | Var | Constra 3.19/3.24 c ============================================================================= 3.19/3.24 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.19/3.28 c 0.0s | 0 | 41 | 0 | 45134 0 | 3 | 1675 3.19/3.28 c #cpu_time = 0.042s 3.19/3.28 c #wall_clock_time = 0.042s 3.19/3.28 c #decision = 41 3.19/3.28 c #random_decision = 0 3.19/3.28 c #conflict = 0 3.19/3.28 c #restart = 0 3.19/3.28 c BCD2: found a new core of size 3: cost of the new core is >=1 3.19/3.28 c lower bound updated to 5 3.19/3.28 c BCD2: 5 <= obj <= 5593 3.19/3.28 c BCD2: #cores=5, #unrelaxed=8046, #relaxed=28, #hardened=0 3.19/3.28 c BCD2: #sat=1 #unsat=6 bias=6/7 3.19/3.28 c Solving starts ... 3.19/3.28 c ============================[ Search Statistics ]============================ 3.19/3.28 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.28 c | | | | Limit GC | Var | Constra 3.19/3.28 c ============================================================================= 3.19/3.28 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.29/3.34 c 0.1s | 0 | 260 | 0 | 45134 0 | 3 | 1675 3.29/3.34 c #cpu_time = 0.060s 3.29/3.34 c #wall_clock_time = 0.060s 3.29/3.34 c #decision = 260 3.29/3.34 c #random_decision = 0 3.29/3.34 c #conflict = 0 3.29/3.34 c #restart = 0 3.29/3.34 c BCD2: found a new core of size 38: cost of the new core is >=1 3.29/3.34 c lower bound updated to 6 3.29/3.34 c BCD2: 6 <= obj <= 5593 3.29/3.34 c BCD2: #cores=6, #unrelaxed=8008, #relaxed=66, #hardened=0 3.29/3.34 c BCD2: #sat=1 #unsat=7 bias=7/8 3.29/3.34 c Solving starts ... 3.29/3.34 c ============================[ Search Statistics ]============================ 3.29/3.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.29/3.34 c | | | | Limit GC | Var | Constra 3.29/3.34 c ============================================================================= 3.29/3.35 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.29/3.39 c 0.0s | 0 | 552 | 0 | 45134 0 | 3 | 1675 3.29/3.39 c #cpu_time = 0.047s 3.29/3.39 c #wall_clock_time = 0.047s 3.29/3.39 c #decision = 552 3.29/3.39 c #random_decision = 0 3.29/3.39 c #conflict = 0 3.29/3.39 c #restart = 0 3.29/3.39 c BCD2: found a new core of size 33: cost of the new core is >=1 3.29/3.39 c lower bound updated to 7 3.29/3.40 c BCD2: 7 <= obj <= 5593 3.29/3.40 c BCD2: #cores=7, #unrelaxed=7975, #relaxed=99, #hardened=0 3.29/3.40 c BCD2: #sat=1 #unsat=8 bias=8/9 3.29/3.40 c Solving starts ... 3.29/3.40 c ============================[ Search Statistics ]============================ 3.29/3.40 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.29/3.40 c | | | | Limit GC | Var | Constra 3.29/3.40 c ============================================================================= 3.39/3.40 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.39/3.47 c 0.1s | 0 | 1403 | 0 | 45134 0 | 3 | 1675 3.39/3.47 c #cpu_time = 0.069s 3.39/3.47 c #wall_clock_time = 0.069s 3.39/3.47 c #decision = 1403 3.39/3.47 c #random_decision = 0 3.39/3.47 c #conflict = 0 3.39/3.47 c #restart = 0 3.39/3.47 c BCD2: found a new core of size 3: cost of the new core is >=1 3.39/3.47 c lower bound updated to 8 3.39/3.47 c BCD2: 8 <= obj <= 5593 3.39/3.47 c BCD2: #cores=8, #unrelaxed=7972, #relaxed=102, #hardened=0 3.39/3.47 c BCD2: #sat=1 #unsat=9 bias=9/10 3.39/3.47 c Solving starts ... 3.39/3.47 c ============================[ Search Statistics ]============================ 3.39/3.47 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.39/3.47 c | | | | Limit GC | Var | Constra 3.39/3.47 c ============================================================================= 3.39/3.47 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.49/3.52 c 0.1s | 0 | 1706 | 0 | 45134 0 | 3 | 1675 3.49/3.52 c #cpu_time = 0.052s 3.49/3.52 c #wall_clock_time = 0.052s 3.49/3.52 c #decision = 1706 3.49/3.52 c #random_decision = 0 3.49/3.52 c #conflict = 0 3.49/3.52 c #restart = 0 3.49/3.52 c BCD2: found a new core of size 39: cost of the new core is >=1 3.49/3.52 c lower bound updated to 9 3.49/3.53 c BCD2: 9 <= obj <= 5593 3.49/3.53 c BCD2: #cores=9, #unrelaxed=7933, #relaxed=141, #hardened=0 3.49/3.53 c BCD2: #sat=1 #unsat=10 bias=10/11 3.49/3.53 c Solving starts ... 3.49/3.53 c ============================[ Search Statistics ]============================ 3.49/3.53 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.53 c | | | | Limit GC | Var | Constra 3.49/3.53 c ============================================================================= 3.49/3.54 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.49/3.58 c 0.0s | 0 | 1785 | 0 | 45134 0 | 3 | 1675 3.49/3.58 c #cpu_time = 0.045s 3.49/3.58 c #wall_clock_time = 0.045s 3.49/3.58 c #decision = 1785 3.49/3.58 c #random_decision = 0 3.49/3.58 c #conflict = 0 3.49/3.58 c #restart = 0 3.49/3.58 c BCD2: found a new core of size 11: cost of the new core is >=1 3.49/3.58 c lower bound updated to 10 3.49/3.58 c BCD2: 10 <= obj <= 5593 3.49/3.58 c BCD2: #cores=10, #unrelaxed=7922, #relaxed=152, #hardened=0 3.49/3.58 c BCD2: #sat=1 #unsat=11 bias=11/12 3.49/3.58 c Solving starts ... 3.49/3.58 c ============================[ Search Statistics ]============================ 3.49/3.58 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.49/3.58 c | | | | Limit GC | Var | Constra 3.49/3.58 c ============================================================================= 3.49/3.59 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.60/3.64 c 0.0s | 0 | 1807 | 0 | 45134 0 | 3 | 1675 3.60/3.64 c #cpu_time = 0.045s 3.60/3.64 c #wall_clock_time = 0.045s 3.60/3.64 c #decision = 1807 3.60/3.64 c #random_decision = 0 3.60/3.64 c #conflict = 0 3.60/3.64 c #restart = 0 3.60/3.64 c BCD2: found a new core of size 27: cost of the new core is >=1 3.60/3.64 c lower bound updated to 11 3.60/3.64 c BCD2: 11 <= obj <= 5593 3.60/3.64 c BCD2: #cores=11, #unrelaxed=7895, #relaxed=179, #hardened=0 3.60/3.64 c BCD2: #sat=1 #unsat=12 bias=12/13 3.60/3.64 c Solving starts ... 3.60/3.64 c ============================[ Search Statistics ]============================ 3.60/3.64 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.60/3.64 c | | | | Limit GC | Var | Constra 3.60/3.64 c ============================================================================= 3.60/3.65 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.60/3.70 c 0.0s | 0 | 1827 | 0 | 45134 0 | 3 | 1675 3.60/3.70 c #cpu_time = 0.045s 3.60/3.70 c #wall_clock_time = 0.045s 3.60/3.70 c #decision = 1827 3.60/3.70 c #random_decision = 0 3.60/3.70 c #conflict = 0 3.60/3.70 c #restart = 0 3.60/3.70 c BCD2: found a new core of size 27: cost of the new core is >=1 3.60/3.70 c lower bound updated to 12 3.60/3.70 c BCD2: 12 <= obj <= 5593 3.60/3.70 c BCD2: #cores=12, #unrelaxed=7868, #relaxed=206, #hardened=0 3.60/3.70 c BCD2: #sat=1 #unsat=13 bias=13/14 3.60/3.70 c Solving starts ... 3.60/3.70 c ============================[ Search Statistics ]============================ 3.60/3.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.60/3.70 c | | | | Limit GC | Var | Constra 3.60/3.70 c ============================================================================= 3.70/3.71 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.70/3.76 c 0.0s | 0 | 1969 | 0 | 45134 0 | 3 | 1675 3.70/3.76 c #cpu_time = 0.046s 3.70/3.76 c #wall_clock_time = 0.046s 3.70/3.76 c #decision = 1969 3.70/3.76 c #random_decision = 0 3.70/3.76 c #conflict = 0 3.70/3.76 c #restart = 0 3.70/3.76 c BCD2: found a new core of size 422: cost of the new core is >=1 3.70/3.76 c lower bound updated to 13 3.70/3.76 c BCD2: 13 <= obj <= 5593 3.70/3.76 c BCD2: #cores=13, #unrelaxed=7446, #relaxed=628, #hardened=0 3.70/3.76 c BCD2: #sat=1 #unsat=14 bias=14/15 3.70/3.76 c Solving starts ... 3.70/3.76 c ============================[ Search Statistics ]============================ 3.70/3.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.70/3.76 c | | | | Limit GC | Var | Constra 3.70/3.76 c ============================================================================= 3.70/3.77 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.79/3.82 c 0.0s | 0 | 1706 | 0 | 45134 0 | 3 | 1675 3.79/3.82 c #cpu_time = 0.042s 3.79/3.82 c #wall_clock_time = 0.042s 3.79/3.82 c #decision = 1706 3.79/3.82 c #random_decision = 0 3.79/3.82 c #conflict = 0 3.79/3.82 c #restart = 0 3.79/3.82 c BCD2: found a new core of size 9: cost of the new core is >=1 3.79/3.82 c lower bound updated to 14 3.79/3.82 c BCD2: 14 <= obj <= 5593 3.79/3.82 c BCD2: #cores=14, #unrelaxed=7437, #relaxed=637, #hardened=0 3.79/3.82 c BCD2: #sat=1 #unsat=15 bias=15/16 3.79/3.82 c Solving starts ... 3.79/3.82 c ============================[ Search Statistics ]============================ 3.79/3.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.82 c | | | | Limit GC | Var | Constra 3.79/3.82 c ============================================================================= 3.79/3.83 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.79/3.87 c 0.0s | 0 | 1759 | 0 | 45134 0 | 3 | 1675 3.79/3.87 c #cpu_time = 0.042s 3.79/3.87 c #wall_clock_time = 0.042s 3.79/3.87 c #decision = 1759 3.79/3.87 c #random_decision = 0 3.79/3.87 c #conflict = 0 3.79/3.87 c #restart = 0 3.79/3.87 c BCD2: found a new core of size 117: cost of the new core is >=1 3.79/3.87 c lower bound updated to 15 3.79/3.87 c BCD2: 15 <= obj <= 5593 3.79/3.87 c BCD2: #cores=15, #unrelaxed=7320, #relaxed=754, #hardened=0 3.79/3.87 c BCD2: #sat=1 #unsat=16 bias=16/17 3.79/3.88 c Solving starts ... 3.79/3.88 c ============================[ Search Statistics ]============================ 3.79/3.88 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.79/3.88 c | | | | Limit GC | Var | Constra 3.79/3.88 c ============================================================================= 3.79/3.89 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.89/3.93 c 0.0s | 0 | 2165 | 0 | 45134 0 | 3 | 1675 3.89/3.93 c #cpu_time = 0.042s 3.89/3.93 c #wall_clock_time = 0.042s 3.89/3.93 c #decision = 2165 3.89/3.93 c #random_decision = 0 3.89/3.93 c #conflict = 0 3.89/3.93 c #restart = 0 3.89/3.93 c BCD2: found a new core of size 27: cost of the new core is >=1 3.89/3.93 c lower bound updated to 16 3.89/3.93 c BCD2: 16 <= obj <= 5593 3.89/3.93 c BCD2: #cores=16, #unrelaxed=7293, #relaxed=781, #hardened=0 3.89/3.93 c BCD2: #sat=1 #unsat=17 bias=17/18 3.89/3.93 c Solving starts ... 3.89/3.93 c ============================[ Search Statistics ]============================ 3.89/3.93 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.93 c | | | | Limit GC | Var | Constra 3.89/3.93 c ============================================================================= 3.89/3.94 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.89/3.99 c 0.0s | 0 | 2295 | 0 | 45134 0 | 3 | 1675 3.89/3.99 c #cpu_time = 0.043s 3.89/3.99 c #wall_clock_time = 0.043s 3.89/3.99 c #decision = 2295 3.89/3.99 c #random_decision = 0 3.89/3.99 c #conflict = 0 3.89/3.99 c #restart = 0 3.89/3.99 c BCD2: found a new core of size 95: cost of the new core is >=1 3.89/3.99 c lower bound updated to 17 3.89/3.99 c BCD2: 17 <= obj <= 5593 3.89/3.99 c BCD2: #cores=17, #unrelaxed=7198, #relaxed=876, #hardened=0 3.89/3.99 c BCD2: #sat=1 #unsat=18 bias=18/19 3.89/3.99 c Solving starts ... 3.89/3.99 c ============================[ Search Statistics ]============================ 3.89/3.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.99 c | | | | Limit GC | Var | Constra 3.89/3.99 c ============================================================================= 3.99/4.00 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 3.99/4.05 c 0.0s | 0 | 3442 | 0 | 45134 0 | 3 | 1675 3.99/4.05 c #cpu_time = 0.047s 3.99/4.05 c #wall_clock_time = 0.047s 3.99/4.05 c #decision = 3442 3.99/4.05 c #random_decision = 0 3.99/4.05 c #conflict = 0 3.99/4.05 c #restart = 0 3.99/4.05 c BCD2: found a new core of size 9: cost of the new core is >=1 3.99/4.05 c lower bound updated to 18 3.99/4.05 c BCD2: 18 <= obj <= 5593 3.99/4.05 c BCD2: #cores=18, #unrelaxed=7189, #relaxed=885, #hardened=0 3.99/4.05 c BCD2: #sat=1 #unsat=19 bias=19/20 3.99/4.05 c Solving starts ... 3.99/4.05 c ============================[ Search Statistics ]============================ 3.99/4.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.99/4.05 c | | | | Limit GC | Var | Constra 3.99/4.05 c ============================================================================= 3.99/4.06 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 4.09/4.12 c 0.1s | 0 | 6697 | 0 | 45134 0 | 3 | 1675 4.09/4.12 c #cpu_time = 0.054s 4.09/4.12 c #wall_clock_time = 0.054s 4.09/4.12 c #decision = 6697 4.09/4.12 c #random_decision = 0 4.09/4.12 c #conflict = 0 4.09/4.12 c #restart = 0 4.09/4.12 c BCD2: found a new core of size 410: cost of the new core is >=1 4.09/4.12 c lower bound updated to 19 4.09/4.13 c BCD2: 19 <= obj <= 5593 4.09/4.13 c BCD2: #cores=19, #unrelaxed=6779, #relaxed=1295, #hardened=0 4.09/4.13 c BCD2: #sat=1 #unsat=20 bias=20/21 4.09/4.14 c Solving starts ... 4.09/4.14 c ============================[ Search Statistics ]============================ 4.09/4.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.09/4.14 c | | | | Limit GC | Var | Constra 4.09/4.14 c ============================================================================= 4.09/4.14 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 4.19/4.20 c 0.1s | 0 | 6796 | 0 | 45134 0 | 3 | 1675 4.19/4.20 c #cpu_time = 0.057s 4.19/4.20 c #wall_clock_time = 0.057s 4.19/4.20 c #decision = 6796 4.19/4.20 c #random_decision = 0 4.19/4.20 c #conflict = 0 4.19/4.20 c #restart = 0 4.19/4.20 c BCD2: found a new core of size 4230: cost of the new core is >=1 4.19/4.22 c lower bound updated to 20 4.19/4.23 c BCD2: 20 <= obj <= 5593 4.19/4.23 c BCD2: #cores=20, #unrelaxed=2549, #relaxed=5525, #hardened=0 4.19/4.23 c BCD2: #sat=1 #unsat=21 bias=21/22 4.19/4.25 c Solving starts ... 4.19/4.25 c ============================[ Search Statistics ]============================ 4.19/4.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.19/4.25 c | | | | Limit GC | Var | Constra 4.19/4.25 c ============================================================================= 4.19/4.25 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1675 4.29/4.33 c 0.1s | 0 | 7784 | 0 | 45134 0 | 3 | 1675 4.29/4.33 c #cpu_time = 0.069s 4.29/4.33 c #wall_clock_time = 0.069s 4.29/4.33 c #decision = 7784 4.29/4.33 c #random_decision = 16 4.29/4.33 c #conflict = 0 4.29/4.33 c #restart = 0 4.29/4.33 o 39 4.29/4.35 c BCD2: updating upper bound: 5593 -> 38 4.29/4.39 c BCD2: 20 <= obj <= 38 4.29/4.39 c BCD2: #cores=20, #unrelaxed=2549, #relaxed=5525, #hardened=0 4.29/4.39 c BCD2: #sat=2 #unsat=21 bias=21/23 4.39/4.42 c Solving starts ... 4.39/4.42 c ============================[ Search Statistics ]============================ 4.39/4.42 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.42 c | | | | Limit GC | Var | Constra 4.39/4.42 c ============================================================================= 4.39/4.42 c 0.0s | 0 | 0 | 0 | 45134 0 | 3 | 1676 4.39/4.47 c 0.0s | 0 | 3097 | 2 | 45134 0 | 3 | 1676 4.39/4.47 c #cpu_time = 0.049s 4.39/4.47 c #wall_clock_time = 0.049s 4.39/4.47 c #decision = 3097 4.39/4.47 c #random_decision = 0 4.39/4.47 c #conflict = 2 4.39/4.47 c #restart = 0 4.39/4.47 c BCD2: relaxing 5 and merging with 2 cores into a new core of size 11: cost of the new core is >=3 4.39/4.47 c lower bound updated to 21 4.39/4.49 c BCD2: 21 <= obj <= 38 4.39/4.49 c BCD2: #cores=19, #unrelaxed=2544, #relaxed=5530, #hardened=0 4.39/4.49 c BCD2: #sat=2 #unsat=22 bias=22/24 4.39/4.49 c Solving starts ... 4.39/4.49 c ============================[ Search Statistics ]============================ 4.39/4.49 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.49 c | | | | Limit GC | Var | Constra 4.39/4.49 c ============================================================================= 4.39/4.49 c 0.0s | 0 | 0 | 0 | 45134 0 | 7 | 1676 4.49/4.59 c 0.1s | 0 | 15052 | 22 | 45134 0 | 7 | 1682 4.49/4.59 c #cpu_time = 0.099s 4.49/4.59 c #wall_clock_time = 0.099s 4.49/4.59 c #decision = 15052 4.49/4.59 c #random_decision = 0 4.49/4.59 c #conflict = 22 4.49/4.59 c #restart = 0 4.49/4.59 c BCD2: relaxing 14 and merging with 3 cores into a new core of size 46: cost of the new core is >=6 4.49/4.59 c lower bound updated to 22 4.49/4.59 c BCD2: 22 <= obj <= 38 4.49/4.59 c BCD2: #cores=17, #unrelaxed=2530, #relaxed=5544, #hardened=0 4.49/4.59 c BCD2: #sat=2 #unsat=23 bias=23/25 4.49/4.59 c Solving starts ... 4.49/4.59 c ============================[ Search Statistics ]============================ 4.49/4.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.49/4.59 c | | | | Limit GC | Var | Constra 4.49/4.59 c ============================================================================= 4.49/4.59 c 0.0s | 0 | 0 | 0 | 45134 0 | 15 | 1682 4.59/4.69 c 0.1s | 0 | 5444 | 29 | 45134 0 | 15 | 1695 4.59/4.69 c #cpu_time = 0.091s 4.59/4.69 c #wall_clock_time = 0.091s 4.59/4.69 c #decision = 5444 4.59/4.69 c #random_decision = 8 4.59/4.69 c #conflict = 29 4.59/4.69 c #restart = 0 4.59/4.69 o 31 4.59/4.70 c BCD2: updating upper bound: 38 -> 30 4.70/4.75 c BCD2: 22 <= obj <= 30 4.70/4.75 c BCD2: #cores=17, #unrelaxed=2530, #relaxed=5544, #hardened=0 4.70/4.75 c BCD2: #sat=3 #unsat=23 bias=23/26 4.70/4.76 c Solving starts ... 4.70/4.76 c ============================[ Search Statistics ]============================ 4.70/4.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.70/4.76 c | | | | Limit GC | Var | Constra 4.70/4.76 c ============================================================================= 4.70/4.76 c 0.0s | 0 | 0 | 0 | 45134 0 | 15 | 1696 4.80/4.83 c 0.1s | 1 | 2773 | 100 | 49648 0 | 15 | 1696 4.99/5.04 c 0.3s | 1 | 6133 | 202 | 54613 0 | 15 | 1696 4.99/5.04 c #cpu_time = 0.273s 4.99/5.04 c #wall_clock_time = 0.273s 4.99/5.04 c #decision = 6133 4.99/5.04 c #random_decision = 0 4.99/5.04 c #conflict = 202 4.99/5.04 c #restart = 1 4.99/5.04 o 26 4.99/5.05 c BCD2: updating upper bound: 30 -> 25 4.99/5.09 c BCD2: 22 <= obj <= 25 4.99/5.09 c BCD2: #cores=17, #unrelaxed=2530, #relaxed=5544, #hardened=0 4.99/5.09 c BCD2: #sat=4 #unsat=23 bias=23/27 4.99/5.09 c Solving starts ... 4.99/5.09 c ============================[ Search Statistics ]============================ 4.99/5.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.99/5.09 c | | | | Limit GC | Var | Constra 4.99/5.09 c ============================================================================= 4.99/5.09 c 0.0s | 0 | 0 | 0 | 54613 0 | 15 | 1697 5.19/5.21 c 0.1s | 1 | 2816 | 100 | 54613 0 | 15 | 1697 5.80/5.83 c 0.7s | 2 | 5746 | 250 | 60075 0 | 15 | 1697 5.90/5.98 c 0.9s | 3 | 8720 | 475 | 60075 0 | 15 | 1697 6.39/6.48 c 1.4s | 4 | 11998 | 813 | 66083 0 | 15 | 1697 6.90/6.97 c 1.9s | 5 | 15607 | 1320 | 72692 0 | 15 | 1697 7.00/7.08 c 2.0s | 5 | 19770 | 1354 | 72692 0 | 15 | 1697 7.00/7.08 c #cpu_time = 1.987s 7.00/7.08 c #wall_clock_time = 1.987s 7.00/7.08 c #decision = 19770 7.00/7.08 c #random_decision = 9 7.00/7.08 c #conflict = 1354 7.00/7.08 c #restart = 5 7.00/7.08 c BCD2: relaxing 670 and merging with 14 cores into a new core of size 1956: cost of the new core is >=20 7.00/7.08 c lower bound updated to 23 7.09/7.10 c BCD2: 23 <= obj <= 25 7.09/7.10 c BCD2: #cores=4, #unrelaxed=1860, #relaxed=6214, #hardened=0 7.09/7.10 c BCD2: #sat=4 #unsat=24 bias=24/28 7.09/7.11 c Solving starts ... 7.09/7.11 c ============================[ Search Statistics ]============================ 7.09/7.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.09/7.11 c | | | | Limit GC | Var | Constra 7.09/7.11 c ============================================================================= 7.09/7.11 c 0.0s | 0 | 0 | 0 | 72692 0 | 63 | 1697 7.29/7.36 c 0.3s | 1 | 2646 | 100 | 72692 0 | 63 | 1779 7.59/7.69 c 0.6s | 2 | 5861 | 250 | 72692 0 | 63 | 1779 8.00/8.09 c 1.0s | 3 | 8891 | 475 | 79962 0 | 63 | 1779 8.69/8.75 c 1.6s | 4 | 12763 | 813 | 79962 0 | 63 | 1779 9.59/9.68 c 2.6s | 5 | 17064 | 1320 | 79962 0 | 63 | 1779 11.19/11.21 c 4.1s | 6 | 22749 | 2081 | 87959 0 | 63 | 1779 13.19/13.28 c 6.2s | 6 | 30997 | 2581 | 87959 0 | 63 | 1779 15.09/15.14 c 8.0s | 7 | 38264 | 3223 | 87959 0 | 63 | 1779 17.19/17.24 c 10.1s | 7 | 50238 | 3823 | 96755 0 | 63 | 1779 19.39/19.45 c 12.3s | 7 | 60181 | 4523 | 96755 0 | 63 | 1779 20.59/20.64 c 13.5s | 8 | 64198 | 4936 | 96755 0 | 63 | 1779 22.59/22.69 c 15.6s | 8 | 76743 | 5436 | 96755 0 | 63 | 1779 24.69/24.77 c 17.7s | 8 | 84817 | 6036 | 106431 0 | 63 | 1779 26.99/27.06 c 20.0s | 8 | 95108 | 6636 | 106431 0 | 63 | 1779 29.29/29.32 c 22.2s | 8 | 100488 | 7336 | 106431 0 | 63 | 1779 29.79/29.84 c 22.7s | 9 | 101260 | 7506 | 106431 0 | 63 | 1779 31.89/31.91 c 24.8s | 9 | 105486 | 8106 | 106431 0 | 63 | 1779 34.08/34.18 c 27.1s | 9 | 109812 | 8706 | 106431 0 | 63 | 1779 36.48/36.50 c 29.4s | 9 | 119618 | 9306 | 106431 0 | 63 | 1779 38.68/38.75 c 31.6s | 9 | 126044 | 9906 | 117075 0 | 63 | 1779 40.99/41.06 c 34.0s | 9 | 131772 | 10506 | 117075 0 | 63 | 1779 43.29/43.37 c 36.3s | 9 | 138826 | 11106 | 117075 0 | 63 | 1779 44.48/44.53 c 37.4s | 10 | 145870 | 11361 | 117075 0 | 63 | 1779 46.68/46.74 c 39.6s | 10 | 155981 | 11961 | 117075 0 | 63 | 1779 48.88/48.97 c 41.9s | 10 | 166055 | 12561 | 117075 0 | 63 | 1779 51.28/51.30 c 44.2s | 10 | 177400 | 13261 | 117075 0 | 63 | 1779 53.38/53.43 c 46.3s | 10 | 184682 | 13761 | 117075 0 | 63 | 1779 55.48/55.59 c 48.5s | 10 | 190894 | 14361 | 117075 0 | 63 | 1779 57.88/57.92 c 50.8s | 10 | 198032 | 14961 | 117075 0 | 63 | 1779 59.98/60.08 c 53.0s | 10 | 203339 | 15561 | 128783 0 | 63 | 1779 62.18/62.22 c 55.1s | 10 | 212504 | 16161 | 128783 0 | 63 | 1779 64.48/64.51 c 57.4s | 10 | 224063 | 16961 | 128783 0 | 63 | 1779 64.98/65.05 c 57.9s | 11 | 226920 | 17144 | 128783 0 | 63 | 1779 67.08/67.16 c 60.1s | 11 | 235232 | 17744 | 128783 0 | 63 | 1779 69.28/69.34 c 62.2s | 11 | 245405 | 18444 | 128783 0 | 63 | 1779 71.28/71.36 c 64.3s | 11 | 257975 | 19044 | 128783 0 | 63 | 1779 73.38/73.41 c 66.3s | 11 | 267626 | 19644 | 128783 0 | 63 | 1779 75.58/75.69 c 68.6s | 11 | 278617 | 20244 | 128783 0 | 63 | 1779 77.88/77.94 c 70.8s | 11 | 287908 | 20844 | 128783 0 | 63 | 1779 79.88/79.95 c 72.8s | 11 | 296568 | 21444 | 128783 0 | 63 | 1779 81.98/82.04 c 74.9s | 11 | 303322 | 22044 | 128783 0 | 63 | 1779 84.08/84.15 c 77.0s | 11 | 308474 | 22744 | 128783 0 | 63 | 1779 86.38/86.40 c 79.3s | 11 | 317392 | 23444 | 128783 0 | 63 | 1779 88.48/88.58 c 81.5s | 11 | 323228 | 24144 | 141662 0 | 63 | 1779 90.78/90.85 c 83.7s | 11 | 330633 | 24944 | 141662 0 | 63 | 1779 92.98/93.09 c 86.0s | 11 | 343025 | 25444 | 141662 0 | 63 | 1779 94.48/94.52 c 87.4s | 12 | 349118 | 25819 | 141662 0 | 63 | 1779 96.48/96.57 c 89.5s | 12 | 358304 | 26319 | 141662 0 | 63 | 1779 98.58/98.65 c 91.5s | 12 | 365606 | 26819 | 141662 0 | 63 | 1779 100.97/101.06 c 94.0s | 12 | 372933 | 27419 | 141662 0 | 63 | 1779 102.97/103.09 c 96.0s | 12 | 379562 | 27919 | 141662 0 | 63 | 1779 105.17/105.21 c 98.1s | 12 | 388153 | 28319 | 141662 0 | 63 | 1779 107.37/107.46 c 100s | 12 | 394475 | 28819 | 141662 0 | 63 | 1779 109.57/109.65 c 102s | 12 | 399302 | 29319 | 141662 0 | 63 | 1779 111.77/111.89 c 104s | 12 | 404638 | 29819 | 141662 0 | 63 | 1779 113.87/113.97 c 106s | 12 | 409190 | 30219 | 141662 0 | 63 | 1779 115.88/115.97 c 108s | 12 | 415426 | 30619 | 141662 0 | 63 | 1779 118.37/118.42 c 111s | 12 | 420616 | 31119 | 141662 0 | 63 | 1779 120.87/120.98 c 113s | 12 | 427032 | 31619 | 141662 0 | 63 | 1779 123.37/123.41 c 116s | 12 | 431913 | 32119 | 141662 0 | 63 | 1779 125.67/125.74 c 118s | 12 | 435338 | 32619 | 141662 0 | 63 | 1779 127.67/127.74 c 120s | 12 | 438172 | 32919 | 141662 0 | 63 | 1779 129.87/129.91 c 122s | 12 | 442789 | 33319 | 141662 0 | 63 | 1779 132.06/132.16 c 125s | 12 | 447091 | 33719 | 141662 0 | 63 | 1779 134.06/134.19 c 127s | 12 | 449162 | 34119 | 141662 0 | 63 | 1779 136.36/136.48 c 129s | 12 | 453637 | 34519 | 141662 0 | 63 | 1779 138.36/138.49 c 131s | 12 | 458071 | 34919 | 141662 0 | 63 | 1779 140.56/140.60 c 133s | 12 | 462295 | 35319 | 141662 0 | 63 | 1779 142.96/143.05 c 135s | 12 | 464947 | 35819 | 141662 0 | 63 | 1779 144.96/145.08 c 137s | 12 | 468827 | 36219 | 141662 0 | 63 | 1779 147.36/147.45 c 140s | 12 | 473870 | 36719 | 141662 0 | 63 | 1779 149.46/149.57 c 142s | 12 | 476750 | 37119 | 155829 0 | 63 | 1779 151.86/151.95 c 144s | 12 | 480035 | 37619 | 155829 0 | 63 | 1779 153.86/153.99 c 146s | 12 | 482696 | 38019 | 155829 0 | 63 | 1779 156.06/156.12 c 149s | 12 | 486893 | 38519 | 155829 0 | 63 | 1779 157.46/157.51 c 150s | 13 | 490459 | 38832 | 155829 0 | 63 | 1779 159.56/159.62 c 152s | 13 | 501963 | 39232 | 155829 0 | 63 | 1779 161.66/161.75 c 154s | 13 | 508527 | 39732 | 155829 0 | 63 | 1779 163.96/164.01 c 156s | 13 | 517736 | 40232 | 155829 0 | 63 | 1779 166.16/166.29 c 159s | 13 | 524022 | 40832 | 155829 0 | 63 | 1779 168.36/168.49 c 161s | 13 | 532975 | 41332 | 155829 0 | 63 | 1779 170.87/170.92 c 163s | 13 | 539659 | 41932 | 155829 0 | 63 | 1779 173.26/173.31 c 166s | 13 | 545422 | 42532 | 155829 0 | 63 | 1779 175.56/175.69 c 168s | 13 | 557119 | 43032 | 155829 0 | 63 | 1779 177.76/177.85 c 170s | 13 | 561965 | 43532 | 155829 0 | 63 | 1779 180.06/180.10 c 172s | 13 | 567580 | 44032 | 155829 0 | 63 | 1779 182.26/182.35 c 175s | 13 | 573550 | 44532 | 155829 0 | 63 | 1779 184.56/184.60 c 177s | 13 | 579111 | 45032 | 155829 0 | 63 | 1779 187.16/187.21 c 180s | 13 | 586078 | 45532 | 155829 0 | 63 | 1779 189.66/189.74 c 182s | 13 | 594508 | 46032 | 155829 0 | 63 | 1779 191.76/191.88 c 184s | 13 | 599830 | 46532 | 155829 0 | 63 | 1779 194.15/194.21 c 187s | 13 | 608961 | 47032 | 155829 0 | 63 | 1779 196.25/196.33 c 189s | 13 | 617417 | 47532 | 155829 0 | 63 | 1779 198.65/198.76 c 191s | 13 | 626457 | 48032 | 155829 0 | 63 | 1779 201.15/201.22 c 194s | 13 | 635327 | 48532 | 155829 0 | 63 | 1779 203.15/203.28 c 196s | 13 | 644067 | 48832 | 155829 0 | 63 | 1779 205.35/205.43 c 198s | 13 | 649895 | 49232 | 155829 0 | 63 | 1779 207.45/207.50 c 200s | 13 | 656829 | 49732 | 155829 0 | 63 | 1779 209.85/209.92 c 202s | 13 | 664147 | 50232 | 155829 0 | 63 | 1779 212.05/212.16 c 205s | 13 | 667843 | 50632 | 155829 0 | 63 | 1779 214.55/214.68 c 207s | 13 | 674564 | 51132 | 155829 0 | 63 | 1779 216.75/216.90 c 209s | 13 | 680619 | 51532 | 155829 0 | 63 | 1779 219.05/219.17 c 212s | 13 | 685605 | 51932 | 155829 0 | 63 | 1779 221.25/221.37 c 214s | 13 | 694561 | 52332 | 155829 0 | 63 | 1779 223.66/223.72 c 216s | 13 | 700411 | 52832 | 155829 0 | 63 | 1779 226.05/226.15 c 219s | 13 | 705435 | 53332 | 155829 0 | 63 | 1779 228.15/228.28 c 221s | 13 | 711227 | 53732 | 155829 0 | 63 | 1779 230.65/230.79 c 223s | 13 | 717253 | 54132 | 155829 0 | 63 | 1779 233.25/233.30 c 226s | 13 | 720949 | 54532 | 155829 0 | 63 | 1779 235.75/235.81 c 228s | 13 | 725218 | 54832 | 155829 0 | 63 | 1779 237.75/237.85 c 230s | 13 | 732555 | 55132 | 155829 0 | 63 | 1779 240.15/240.24 c 233s | 13 | 741293 | 55632 | 155829 0 | 63 | 1779 242.25/242.39 c 235s | 13 | 745619 | 56032 | 155829 0 | 63 | 1779 244.74/244.80 c 237s | 13 | 752481 | 56532 | 171412 0 | 63 | 1779 247.14/247.28 c 240s | 13 | 757835 | 56932 | 171412 0 | 63 | 1779 249.54/249.66 c 242s | 13 | 763370 | 57432 | 171412 0 | 63 | 1779 251.64/251.72 c 244s | 13 | 767535 | 57832 | 171412 0 | 63 | 1779 253.84/253.97 c 246s | 13 | 773926 | 58332 | 171412 0 | 63 | 1779 253.94/254.09 c 246s | 14 | 774055 | 58352 | 171412 0 | 63 | 1779 256.14/256.21 c 249s | 14 | 781705 | 58652 | 171412 0 | 63 | 1779 258.34/258.42 c 251s | 14 | 787984 | 59052 | 171412 0 | 63 | 1779 260.84/260.96 c 253s | 14 | 793729 | 59452 | 171412 0 | 63 | 1779 263.15/263.24 c 256s | 14 | 798603 | 59852 | 171412 0 | 63 | 1779 265.24/265.38 c 258s | 14 | 800673 | 60252 | 171412 0 | 63 | 1779 267.65/267.76 c 260s | 14 | 803779 | 60552 | 171412 0 | 63 | 1779 270.04/270.14 c 263s | 14 | 809341 | 60952 | 171412 0 | 63 | 1779 272.54/272.61 c 265s | 14 | 815661 | 61352 | 171412 0 | 63 | 1779 274.74/274.86 c 267s | 14 | 819519 | 61752 | 171412 0 | 63 | 1779 277.64/277.70 c 270s | 14 | 823823 | 62152 | 171412 0 | 63 | 1779 279.84/279.96 c 272s | 14 | 825679 | 62452 | 171412 0 | 63 | 1779 282.33/282.46 c 275s | 14 | 832865 | 62852 | 171412 0 | 63 | 1779 284.63/284.75 c 277s | 14 | 837416 | 63252 | 171412 0 | 63 | 1779 287.23/287.34 c 280s | 14 | 844280 | 63652 | 171412 0 | 63 | 1779 289.83/289.97 c 282s | 14 | 849210 | 64052 | 171412 0 | 63 | 1779 291.93/292.05 c 284s | 14 | 854384 | 64352 | 171412 0 | 63 | 1779 294.13/294.27 c 287s | 14 | 857400 | 64652 | 171412 0 | 63 | 1779 296.43/296.54 c 289s | 14 | 862568 | 65052 | 171412 0 | 63 | 1779 298.73/298.83 c 291s | 14 | 867342 | 65452 | 171412 0 | 63 | 1779 301.13/301.24 c 294s | 14 | 870739 | 65852 | 171412 0 | 63 | 1779 303.13/303.26 c 296s | 14 | 874179 | 66152 | 171412 0 | 63 | 1779 305.53/305.61 c 298s | 14 | 878734 | 66552 | 171412 0 | 63 | 1779 307.63/307.70 c 300s | 14 | 881873 | 66952 | 171412 0 | 63 | 1779 310.03/310.11 c 303s | 14 | 885797 | 67352 | 171412 0 | 63 | 1779 312.13/312.23 c 305s | 14 | 888235 | 67752 | 171412 0 | 63 | 1779 314.33/314.43 c 307s | 14 | 893092 | 68052 | 171412 0 | 63 | 1779 316.32/316.43 c 309s | 14 | 895886 | 68352 | 171412 0 | 63 | 1779 318.82/318.93 c 311s | 14 | 900191 | 68752 | 171412 0 | 63 | 1779 320.82/320.94 c 313s | 14 | 902851 | 69052 | 171412 0 | 63 | 1779 323.02/323.11 c 316s | 14 | 906524 | 69352 | 171412 0 | 63 | 1779 325.42/325.50 c 318s | 14 | 909743 | 69752 | 171412 0 | 63 | 1779 327.52/327.61 c 320s | 14 | 911102 | 70052 | 171412 0 | 63 | 1779 329.62/329.78 c 322s | 14 | 916756 | 70352 | 171412 0 | 63 | 1779 331.72/331.85 c 324s | 14 | 922051 | 70652 | 171412 0 | 63 | 1779 334.42/334.55 c 327s | 14 | 926284 | 71052 | 171412 0 | 63 | 1779 336.62/336.76 c 329s | 14 | 929309 | 71352 | 171412 0 | 63 | 1779 339.03/339.18 c 332s | 14 | 932635 | 71752 | 171412 0 | 63 | 1779 341.12/341.27 c 334s | 14 | 936377 | 72052 | 171412 0 | 63 | 1779 343.42/343.55 c 336s | 14 | 938835 | 72352 | 171412 0 | 63 | 1779 345.52/345.68 c 338s | 14 | 941738 | 72652 | 171412 0 | 63 | 1779 348.02/348.17 c 341s | 14 | 942304 | 72952 | 171412 0 | 63 | 1779 350.32/350.46 c 343s | 14 | 945777 | 73252 | 171412 0 | 63 | 1779 353.01/353.14 c 346s | 14 | 952477 | 73652 | 171412 0 | 63 | 1779 355.21/355.32 c 348s | 14 | 957868 | 73952 | 171412 0 | 63 | 1779 357.31/357.47 c 350s | 14 | 961417 | 74252 | 171412 0 | 63 | 1779 359.41/359.56 c 352s | 14 | 962959 | 74652 | 171412 0 | 63 | 1779 361.51/361.67 c 354s | 14 | 965291 | 75052 | 171412 0 | 63 | 1779 363.61/363.80 c 356s | 14 | 967354 | 75452 | 171412 0 | 63 | 1779 365.81/365.94 c 358s | 14 | 968987 | 75752 | 171412 0 | 63 | 1779 367.91/368.09 c 360s | 14 | 970896 | 76052 | 171412 0 | 63 | 1779 370.21/370.31 c 363s | 14 | 973894 | 76452 | 171412 0 | 63 | 1779 372.20/372.32 c 365s | 14 | 976022 | 76752 | 171412 0 | 63 | 1779 374.21/374.36 c 367s | 14 | 977363 | 77152 | 171412 0 | 63 | 1779 376.41/376.51 c 369s | 14 | 978456 | 77452 | 171412 0 | 63 | 1779 378.61/378.71 c 371s | 14 | 980552 | 77852 | 171412 0 | 63 | 1779 381.30/381.42 c 374s | 14 | 983830 | 78252 | 171412 0 | 63 | 1779 383.70/383.89 c 376s | 14 | 988835 | 78652 | 171412 0 | 63 | 1779 385.90/386.04 c 378s | 14 | 993148 | 79052 | 171412 0 | 63 | 1779 388.40/388.58 c 381s | 14 | 997183 | 79452 | 171412 0 | 63 | 1779 390.81/390.96 c 383s | 14 | 1001185 | 79852 | 171412 0 | 63 | 1779 393.10/393.21 c 386s | 14 | 1004169 | 80252 | 171412 0 | 63 | 1779 395.70/395.80 c 388s | 14 | 1007399 | 80652 | 171412 0 | 63 | 1779 398.30/398.43 c 391s | 14 | 1010045 | 81052 | 171412 0 | 63 | 1779 400.90/401.06 c 393s | 14 | 1012306 | 81452 | 171412 0 | 63 | 1779 403.10/403.23 c 396s | 14 | 1015521 | 81752 | 171412 0 | 63 | 1779 405.11/405.24 c 398s | 14 | 1018331 | 82052 | 171412 0 | 63 | 1779 407.50/407.65 c 400s | 14 | 1020966 | 82452 | 171412 0 | 63 | 1779 409.90/410.02 c 402s | 14 | 1022586 | 82752 | 171412 0 | 63 | 1779 412.00/412.10 c 404s | 14 | 1025808 | 83052 | 171412 0 | 63 | 1779 414.10/414.29 c 407s | 14 | 1029783 | 83352 | 171412 0 | 63 | 1779 416.30/416.44 c 409s | 14 | 1032667 | 83652 | 171412 0 | 63 | 1779 418.50/418.69 c 411s | 14 | 1036064 | 83952 | 171412 0 | 63 | 1779 420.60/420.72 c 413s | 14 | 1038120 | 84252 | 171412 0 | 63 | 1779 423.00/423.16 c 416s | 14 | 1042273 | 84652 | 171412 0 | 63 | 1779 425.40/425.58 c 418s | 14 | 1048338 | 85052 | 171412 0 | 63 | 1779 427.80/427.94 c 420s | 14 | 1054023 | 85452 | 188554 0 | 63 | 1779 429.89/430.08 c 422s | 14 | 1056694 | 85752 | 188554 0 | 63 | 1779 432.39/432.54 c 425s | 14 | 1059539 | 86052 | 188554 0 | 63 | 1779 434.70/434.84 c 427s | 14 | 1064673 | 86452 | 188554 0 | 63 | 1779 437.19/437.36 c 430s | 14 | 1077131 | 86952 | 188554 0 | 63 | 1779 439.39/439.56 c 432s | 14 | 1082845 | 87452 | 188554 0 | 63 | 1779 440.39/440.52 c 433s | 15 | 1084503 | 87632 | 188554 0 | 63 | 1779 442.50/442.64 c 435s | 15 | 1090630 | 88032 | 188554 0 | 63 | 1779 444.49/444.64 c 437s | 15 | 1094238 | 88432 | 188554 0 | 63 | 1779 446.69/446.83 c 439s | 15 | 1098908 | 88832 | 188554 0 | 63 | 1779 448.89/449.08 c 441s | 15 | 1105684 | 89232 | 188554 0 | 63 | 1779 451.29/451.41 c 444s | 15 | 1109721 | 89632 | 188554 0 | 63 | 1779 453.39/453.57 c 446s | 15 | 1114392 | 90132 | 188554 0 | 63 | 1779 455.59/455.72 c 448s | 15 | 1118202 | 90532 | 188554 0 | 63 | 1779 457.68/457.90 c 450s | 15 | 1124983 | 90932 | 188554 0 | 63 | 1779 459.78/459.92 c 452s | 15 | 1129832 | 91332 | 188554 0 | 63 | 1779 462.08/462.25 c 455s | 15 | 1134079 | 91832 | 188554 0 | 63 | 1779 464.18/464.39 c 457s | 15 | 1138258 | 92332 | 188554 0 | 63 | 1779 466.78/467.00 c 459s | 15 | 1146582 | 92932 | 188554 0 | 63 | 1779 468.88/469.00 c 461s | 15 | 1153246 | 93332 | 188554 0 | 63 | 1779 470.98/471.18 c 464s | 15 | 1157865 | 93832 | 188554 0 | 63 | 1779 472.97/473.19 c 466s | 15 | 1161693 | 94232 | 188554 0 | 63 | 1779 475.17/475.39 c 468s | 15 | 1166550 | 94732 | 188554 0 | 63 | 1779 477.58/477.79 c 470s | 15 | 1173857 | 95232 | 188554 0 | 63 | 1779 479.88/480.08 c 472s | 15 | 1178994 | 95732 | 188554 0 | 63 | 1779 482.17/482.39 c 475s | 15 | 1183396 | 96232 | 188554 0 | 63 | 1779 484.28/484.47 c 477s | 15 | 1189250 | 96732 | 188554 0 | 63 | 1779 486.48/486.67 c 479s | 15 | 1191868 | 97232 | 188554 0 | 63 | 1779 488.58/488.75 c 481s | 15 | 1198148 | 97632 | 188554 0 | 63 | 1779 491.07/491.23 c 484s | 15 | 1203241 | 98132 | 188554 0 | 63 | 1779 493.17/493.34 c 486s | 15 | 1207554 | 98532 | 188554 0 | 63 | 1779 495.17/495.36 c 488s | 15 | 1214013 | 98932 | 188554 0 | 63 | 1779 497.37/497.58 c 490s | 15 | 1220197 | 99332 | 188554 0 | 63 | 1779 499.37/499.58 c 492s | 15 | 1224526 | 99732 | 188554 0 | 63 | 1779 501.46/501.65 c 494s | 15 | 1228397 | 100132 | 188554 0 | 63 | 1779 503.46/503.68 c 496s | 15 | 1233039 | 100532 | 188554 0 | 63 | 1779 505.76/505.95 c 498s | 15 | 1238516 | 100932 | 188554 0 | 63 | 1779 508.06/508.22 c 501s | 15 | 1243733 | 101332 | 188554 0 | 63 | 1779 510.36/510.54 c 503s | 15 | 1252039 | 101832 | 188554 0 | 63 | 1779 512.77/512.99 c 505s | 15 | 1256897 | 102232 | 188554 0 | 63 | 1779 514.86/515.06 c 507s | 15 | 1259655 | 102532 | 188554 0 | 63 | 1779 517.17/517.33 c 510s | 15 | 1266608 | 102932 | 188554 0 | 63 | 1779 519.26/519.48 c 512s | 15 | 1272125 | 103332 | 188554 0 | 63 | 1779 521.36/521.50 c 514s | 15 | 1275560 | 103632 | 188554 0 | 63 | 1779 523.77/524.00 c 516s | 15 | 1282929 | 103932 | 188554 0 | 63 | 1779 526.07/526.22 c 519s | 15 | 1287490 | 104432 | 188554 0 | 63 | 1779 528.46/528.64 c 521s | 15 | 1291586 | 104932 | 188554 0 | 63 | 1779 530.96/531.13 c 524s | 15 | 1298216 | 105332 | 188554 0 | 63 | 1779 533.16/533.30 c 526s | 15 | 1303268 | 105732 | 188554 0 | 63 | 1779 535.46/535.67 c 528s | 15 | 1310736 | 106032 | 188554 0 | 63 | 1779 537.86/538.01 c 530s | 15 | 1317226 | 106432 | 188554 0 | 63 | 1779 539.96/540.13 c 533s | 15 | 1323379 | 106732 | 188554 0 | 63 | 1779 542.46/542.69 c 535s | 15 | 1329942 | 107132 | 188554 0 | 63 | 1779 544.76/544.91 c 537s | 15 | 1333816 | 107432 | 188554 0 | 63 | 1779 546.86/547.07 c 539s | 15 | 1337957 | 107832 | 188554 0 | 63 | 1779 549.06/549.24 c 542s | 15 | 1340336 | 108132 | 188554 0 | 63 | 1779 551.05/551.26 c 544s | 15 | 1342803 | 108432 | 188554 0 | 63 | 1779 553.45/553.68 c 546s | 15 | 1345815 | 108732 | 188554 0 | 63 | 1779 555.75/555.95 c 548s | 15 | 1348613 | 109032 | 188554 0 | 63 | 1779 557.85/558.06 c 550s | 15 | 1350479 | 109332 | 188554 0 | 63 | 1779 559.85/560.09 c 552s | 15 | 1352211 | 109532 | 188554 0 | 63 | 1779 562.14/562.32 c 555s | 15 | 1355300 | 109832 | 188554 0 | 63 | 1779 564.34/564.58 c 557s | 15 | 1361490 | 110232 | 188554 0 | 63 | 1779 566.54/566.78 c 559s | 15 | 1366430 | 110532 | 188554 0 | 63 | 1779 568.74/568.95 c 561s | 15 | 1374499 | 110832 | 188554 0 | 63 | 1779 571.34/571.53 c 564s | 15 | 1378664 | 111332 | 188554 0 | 63 | 1779 573.74/573.96 c 566s | 15 | 1382806 | 111732 | 188554 0 | 63 | 1779 576.14/576.32 c 569s | 15 | 1385961 | 112132 | 188554 0 | 63 | 1779 578.64/578.86 c 571s | 15 | 1389273 | 112532 | 188554 0 | 63 | 1779 580.74/580.98 c 573s | 15 | 1393006 | 112932 | 188554 0 | 63 | 1779 582.83/583.06 c 575s | 15 | 1396876 | 113232 | 188554 0 | 63 | 1779 584.93/585.19 c 578s | 15 | 1399921 | 113632 | 188554 0 | 63 | 1779 587.13/587.39 c 580s | 15 | 1402075 | 114032 | 188554 0 | 63 | 1779 589.33/589.59 c 582s | 15 | 1405477 | 114432 | 188554 0 | 63 | 1779 591.73/591.93 c 584s | 15 | 1408041 | 114832 | 188554 0 | 63 | 1779 593.93/594.16 c 587s | 15 | 1411594 | 115232 | 188554 0 | 63 | 1779 596.44/596.62 c 589s | 15 | 1414910 | 115632 | 188554 0 | 63 | 1779 599.23/599.42 c 592s | 15 | 1416713 | 115932 | 188554 0 | 63 | 1779 601.63/601.82 c 594s | 15 | 1418957 | 116132 | 188554 0 | 63 | 1779 605.03/605.22 c 598s | 15 | 1422088 | 116432 | 188554 0 | 63 | 1779 607.34/607.51 c 600s | 15 | 1423509 | 116632 | 188554 0 | 63 | 1779 609.54/609.78 c 602s | 15 | 1432268 | 116932 | 188554 0 | 63 | 1779 611.53/611.79 c 604s | 15 | 1433948 | 117232 | 188554 0 | 63 | 1779 613.62/613.85 c 606s | 15 | 1438729 | 117532 | 188554 0 | 63 | 1779 615.72/615.94 c 608s | 15 | 1442008 | 117932 | 188554 0 | 63 | 1779 618.02/618.22 c 611s | 15 | 1446230 | 118332 | 188554 0 | 63 | 1779 620.42/620.66 c 613s | 15 | 1450108 | 118832 | 188554 0 | 63 | 1779 622.52/622.70 c 615s | 15 | 1451892 | 119132 | 188554 0 | 63 | 1779 624.62/624.81 c 617s | 15 | 1459731 | 119432 | 188554 0 | 63 | 1779 627.92/628.16 c 621s | 15 | 1467712 | 119832 | 188554 0 | 63 | 1779 630.12/630.33 c 623s | 15 | 1476889 | 120132 | 188554 0 | 63 | 1779 632.22/632.44 c 625s | 15 | 1481144 | 120532 | 188554 0 | 63 | 1779 634.62/634.82 c 627s | 15 | 1487526 | 120932 | 188554 0 | 63 | 1779 637.32/637.51 c 630s | 15 | 1493473 | 121332 | 188554 0 | 63 | 1779 639.42/639.61 c 632s | 15 | 1497033 | 121632 | 188554 0 | 63 | 1779 641.71/641.94 c 634s | 15 | 1499509 | 122032 | 188554 0 | 63 | 1779 644.21/644.48 c 637s | 15 | 1502900 | 122432 | 188554 0 | 63 | 1779 646.21/646.49 c 639s | 15 | 1506202 | 122732 | 188554 0 | 63 | 1779 648.31/648.55 c 641s | 15 | 1510908 | 123132 | 188554 0 | 63 | 1779 650.51/650.76 c 643s | 15 | 1513633 | 123432 | 188554 0 | 63 | 1779 653.01/653.25 c 646s | 15 | 1517765 | 123832 | 188554 0 | 63 | 1779 655.21/655.49 c 648s | 15 | 1525306 | 124132 | 188554 0 | 63 | 1779 657.21/657.49 c 650s | 15 | 1530629 | 124532 | 188554 0 | 63 | 1779 659.80/660.03 c 652s | 15 | 1534847 | 124932 | 188554 0 | 63 | 1779 662.41/662.64 c 655s | 15 | 1539081 | 125432 | 188554 0 | 63 | 1779 664.90/665.16 c 658s | 15 | 1544749 | 125832 | 188554 0 | 63 | 1779 667.50/667.73 c 660s | 15 | 1551598 | 126232 | 188554 0 | 63 | 1779 670.30/670.51 c 663s | 15 | 1554658 | 126632 | 188554 0 | 63 | 1779 672.40/672.68 c 665s | 15 | 1556885 | 126932 | 188554 0 | 63 | 1779 674.90/675.11 c 668s | 15 | 1561069 | 127332 | 188554 0 | 63 | 1779 677.10/677.35 c 670s | 15 | 1565178 | 127732 | 188554 0 | 63 | 1779 679.49/679.76 c 672s | 15 | 1573158 | 128032 | 188554 0 | 63 | 1779 681.59/681.82 c 674s | 15 | 1580028 | 128332 | 188554 0 | 63 | 1779 683.79/684.02 c 676s | 15 | 1584981 | 128632 | 188554 0 | 63 | 1779 686.60/686.89 c 679s | 15 | 1589999 | 129032 | 188554 0 | 63 | 1779 688.70/688.93 c 681s | 15 | 1593177 | 129332 | 207410 0 | 63 | 1779 690.69/690.94 c 683s | 15 | 1595185 | 129632 | 207410 0 | 63 | 1779 692.89/693.12 c 686s | 15 | 1599678 | 129932 | 207410 0 | 63 | 1779 695.39/695.66 c 688s | 15 | 1603534 | 130332 | 207410 0 | 63 | 1779 697.89/698.16 c 691s | 15 | 1607127 | 130732 | 207410 0 | 63 | 1779 700.39/700.61 c 693s | 15 | 1609587 | 131032 | 207410 0 | 63 | 1779 702.49/702.75 c 695s | 15 | 1610698 | 131232 | 207410 0 | 63 | 1779 704.58/704.85 c 697s | 15 | 1615763 | 131432 | 207410 0 | 63 | 1779 705.48/705.76 c 698s | 16 | 1617303 | 131552 | 207410 0 | 63 | 1779 708.28/708.51 c 701s | 16 | 1624834 | 131852 | 207410 0 | 63 | 1779 711.08/711.33 c 704s | 16 | 1629630 | 132252 | 207410 0 | 63 | 1779 713.08/713.34 c 706s | 16 | 1633588 | 132552 | 207410 0 | 63 | 1779 715.48/715.73 c 708s | 16 | 1637267 | 132952 | 207410 0 | 63 | 1779 717.68/717.90 c 710s | 16 | 1640548 | 133252 | 207410 0 | 63 | 1779 720.18/720.42 c 713s | 16 | 1644254 | 133652 | 207410 0 | 63 | 1779 722.28/722.56 c 715s | 16 | 1648022 | 134052 | 207410 0 | 63 | 1779 724.99/725.27 c 718s | 16 | 1652109 | 134452 | 207410 0 | 63 | 1779 727.58/727.83 c 720s | 16 | 1654126 | 134752 | 207410 0 | 63 | 1779 730.08/730.37 c 723s | 16 | 1661264 | 135052 | 207410 0 | 63 | 1779 732.28/732.56 c 725s | 16 | 1665223 | 135352 | 207410 0 | 63 | 1779 734.48/734.78 c 727s | 16 | 1670567 | 135652 | 207410 0 | 63 | 1779 736.58/736.84 c 729s | 16 | 1674211 | 135952 | 207410 0 | 63 | 1779 739.08/739.36 c 732s | 16 | 1678297 | 136352 | 207410 0 | 63 | 1779 741.38/741.61 c 734s | 16 | 1682566 | 136752 | 207410 0 | 63 | 1779 743.48/743.73 c 736s | 16 | 1684964 | 137052 | 207410 0 | 63 | 1779 746.18/746.41 c 739s | 16 | 1688211 | 137452 | 207410 0 | 63 | 1779 748.28/748.56 c 741s | 16 | 1692266 | 137752 | 207410 0 | 63 | 1779 750.38/750.67 c 743s | 16 | 1696003 | 138052 | 207410 0 | 63 | 1779 752.58/752.82 c 745s | 16 | 1699853 | 138352 | 207410 0 | 63 | 1779 754.98/755.25 c 748s | 16 | 1703479 | 138752 | 207410 0 | 63 | 1779 757.58/757.80 c 750s | 16 | 1705550 | 139152 | 207410 0 | 63 | 1779 759.68/759.92 c 752s | 16 | 1708450 | 139452 | 207410 0 | 63 | 1779 761.78/762.01 c 754s | 16 | 1712458 | 139752 | 207410 0 | 63 | 1779 764.18/764.45 c 757s | 16 | 1715429 | 140052 | 207410 0 | 63 | 1779 766.78/767.09 c 759s | 16 | 1717812 | 140352 | 207410 0 | 63 | 1779 768.88/769.16 c 762s | 16 | 1721725 | 140652 | 207410 0 | 63 | 1779 770.97/771.24 c 764s | 16 | 1723156 | 140952 | 207410 0 | 63 | 1779 773.57/773.83 c 766s | 16 | 1727047 | 141252 | 207410 0 | 63 | 1779 775.87/776.13 c 769s | 16 | 1729709 | 141652 | 207410 0 | 63 | 1779 778.47/778.73 c 771s | 16 | 1733750 | 142052 | 207410 0 | 63 | 1779 780.97/781.29 c 774s | 16 | 1737147 | 142452 | 207410 0 | 63 | 1779 783.38/783.69 c 776s | 16 | 1740878 | 142852 | 207410 0 | 63 | 1779 785.97/786.20 c 779s | 16 | 1744409 | 143252 | 207410 0 | 63 | 1779 788.07/788.39 c 781s | 16 | 1747175 | 143552 | 207410 0 | 63 | 1779 790.57/790.84 c 783s | 16 | 1749240 | 143952 | 207410 0 | 63 | 1779 792.97/793.26 c 786s | 16 | 1752045 | 144252 | 207410 0 | 63 | 1779 795.38/795.66 c 788s | 16 | 1754172 | 144552 | 207410 0 | 63 | 1779 797.77/798.00 c 790s | 16 | 1757318 | 144752 | 207410 0 | 63 | 1779 800.17/800.49 c 793s | 16 | 1758927 | 144952 | 207410 0 | 63 | 1779 802.97/803.27 c 796s | 16 | 1762441 | 145152 | 207410 0 | 63 | 1779 805.28/805.51 c 798s | 16 | 1767217 | 145452 | 207410 0 | 63 | 1779 808.07/808.30 c 801s | 16 | 1771173 | 145852 | 207410 0 | 63 | 1779 810.67/810.98 c 803s | 16 | 1774022 | 146252 | 207410 0 | 63 | 1779 812.87/813.11 c 806s | 16 | 1776173 | 146552 | 207410 0 | 63 | 1779 815.27/815.53 c 808s | 16 | 1778006 | 146952 | 207410 0 | 63 | 1779 817.57/817.87 c 810s | 16 | 1779598 | 147252 | 207410 0 | 63 | 1779 819.87/820.10 c 812s | 16 | 1781439 | 147552 | 207410 0 | 63 | 1779 821.87/822.12 c 815s | 16 | 1782821 | 147752 | 207410 0 | 63 | 1779 824.46/824.72 c 817s | 16 | 1786029 | 148052 | 207410 0 | 63 | 1779 827.37/827.69 c 820s | 16 | 1788233 | 148352 | 207410 0 | 63 | 1779 829.66/829.95 c 822s | 16 | 1789929 | 148552 | 207410 0 | 63 | 1779 832.06/832.35 c 825s | 16 | 1791467 | 148752 | 207410 0 | 63 | 1779 834.56/834.84 c 827s | 16 | 1792689 | 148952 | 207410 0 | 63 | 1779 837.17/837.43 c 830s | 16 | 1794335 | 149152 | 207410 0 | 63 | 1779 839.26/839.60 c 832s | 16 | 1795547 | 149352 | 207410 0 | 63 | 1779 841.57/841.83 c 834s | 16 | 1796621 | 149552 | 207410 0 | 63 | 1779 844.56/844.85 c 837s | 16 | 1798864 | 149852 | 207410 0 | 63 | 1779 847.26/847.52 c 840s | 16 | 1801368 | 150152 | 207410 0 | 63 | 1779 849.37/849.63 c 842s | 16 | 1802433 | 150452 | 207410 0 | 63 | 1779 851.86/852.18 c 845s | 16 | 1803926 | 150752 | 207410 0 | 63 | 1779 854.36/854.62 c 847s | 16 | 1805811 | 151052 | 207410 0 | 63 | 1779 856.46/856.72 c 849s | 16 | 1806807 | 151252 | 207410 0 | 63 | 1779 858.66/858.90 c 851s | 16 | 1809507 | 151452 | 207410 0 | 63 | 1779 860.76/861.03 c 853s | 16 | 1811394 | 151652 | 207410 0 | 63 | 1779 862.86/863.18 c 856s | 16 | 1812634 | 151852 | 207410 0 | 63 | 1779 865.16/865.40 c 858s | 16 | 1814434 | 152152 | 207410 0 | 63 | 1779 867.26/867.52 c 860s | 16 | 1816316 | 152352 | 207410 0 | 63 | 1779 869.46/869.70 c 862s | 16 | 1817949 | 152552 | 207410 0 | 63 | 1779 872.06/872.34 c 865s | 16 | 1819993 | 152752 | 207410 0 | 63 | 1779 874.56/874.86 c 867s | 16 | 1821595 | 153052 | 207410 0 | 63 | 1779 876.96/877.26 c 870s | 16 | 1823417 | 153252 | 207410 0 | 63 | 1779 879.76/880.07 c 872s | 16 | 1824983 | 153452 | 207410 0 | 63 | 1779 882.66/882.92 c 875s | 16 | 1825734 | 153652 | 207410 0 | 63 | 1779 885.26/885.57 c 878s | 16 | 1827533 | 153852 | 207410 0 | 63 | 1779 887.36/887.64 c 880s | 16 | 1828003 | 154052 | 207410 0 | 63 | 1779 889.75/890.04 c 882s | 16 | 1829368 | 154352 | 207410 0 | 63 | 1779 892.35/892.68 c 885s | 16 | 1830766 | 154652 | 207410 0 | 63 | 1779 895.25/895.55 c 888s | 16 | 1833050 | 154952 | 207410 0 | 63 | 1779 897.35/897.69 c 890s | 16 | 1834856 | 155152 | 207410 0 | 63 | 1779 899.45/899.73 c 892s | 16 | 1836421 | 155452 | 207410 0 | 63 | 1779 901.85/902.14 c 895s | 16 | 1841716 | 155752 | 207410 0 | 63 | 1779 904.15/904.48 c 897s | 16 | 1846233 | 156052 | 207410 0 | 63 | 1779 906.25/906.59 c 899s | 16 | 1851376 | 156352 | 207410 0 | 63 | 1779 908.45/908.77 c 901s | 16 | 1855503 | 156652 | 207410 0 | 63 | 1779 910.96/911.21 c 904s | 16 | 1859200 | 156952 | 207410 0 | 63 | 1779 913.06/913.36 c 906s | 16 | 1862342 | 157252 | 207410 0 | 63 | 1779 915.75/916.08 c 908s | 16 | 1865562 | 157652 | 207410 0 | 63 | 1779 917.85/918.17 c 911s | 16 | 1867487 | 157952 | 207410 0 | 63 | 1779 920.45/920.79 c 913s | 16 | 1872235 | 158352 | 207410 0 | 63 | 1779 922.85/923.17 c 916s | 16 | 1878317 | 158652 | 207410 0 | 63 | 1779 925.05/925.32 c 918s | 16 | 1884016 | 159052 | 207410 0 | 63 | 1779 927.65/927.91 c 920s | 16 | 1888172 | 159352 | 207410 0 | 63 | 1779 930.25/930.52 c 923s | 16 | 1892074 | 159652 | 207410 0 | 63 | 1779 933.25/933.50 c 926s | 16 | 1895592 | 159952 | 207410 0 | 63 | 1779 935.85/936.11 c 929s | 16 | 1897859 | 160252 | 207410 0 | 63 | 1779 938.55/938.89 c 931s | 16 | 1901699 | 160552 | 207410 0 | 63 | 1779 940.95/941.26 c 934s | 16 | 1904037 | 160852 | 207410 0 | 63 | 1779 943.35/943.67 c 936s | 16 | 1906594 | 161152 | 207410 0 | 63 | 1779 946.25/946.54 c 939s | 16 | 1907694 | 161452 | 207410 0 | 63 | 1779 948.65/948.96 c 941s | 16 | 1910000 | 161652 | 207410 0 | 63 | 1779 951.65/951.97 c 944s | 16 | 1912844 | 161952 | 207410 0 | 63 | 1779 954.54/954.87 c 947s | 16 | 1915330 | 162252 | 207410 0 | 63 | 1779 957.34/957.66 c 950s | 16 | 1917244 | 162452 | 207410 0 | 63 | 1779 960.45/960.71 c 953s | 16 | 1918053 | 162652 | 207410 0 | 63 | 1779 962.84/963.12 c 956s | 16 | 1925746 | 162852 | 207410 0 | 63 | 1779 965.04/965.39 c 958s | 16 | 1931062 | 163152 | 207410 0 | 63 | 1779 967.14/967.42 c 960s | 16 | 1934268 | 163452 | 207410 0 | 63 | 1779 969.54/969.84 c 962s | 16 | 1941385 | 163752 | 207410 0 | 63 | 1779 971.84/972.14 c 965s | 16 | 1945007 | 164152 | 207410 0 | 63 | 1779 974.75/975.03 c 967s | 16 | 1951632 | 164552 | 207410 0 | 63 | 1779 976.85/977.19 c 970s | 16 | 1955540 | 164852 | 207410 0 | 63 | 1779 979.15/979.46 c 972s | 16 | 1960952 | 165152 | 207410 0 | 63 | 1779 981.44/981.75 c 974s | 16 | 1964176 | 165552 | 207410 0 | 63 | 1779 984.14/984.40 c 977s | 16 | 1968588 | 165852 | 207410 0 | 63 | 1779 986.44/986.76 c 979s | 16 | 1972410 | 166152 | 207410 0 | 63 | 1779 989.05/989.33 c 982s | 16 | 1976286 | 166452 | 207410 0 | 63 | 1779 991.15/991.41 c 984s | 16 | 1979070 | 166752 | 207410 0 | 63 | 1779 993.45/993.74 c 986s | 16 | 1982106 | 167052 | 207410 0 | 63 | 1779 995.74/996.07 c 988s | 16 | 1985790 | 167352 | 207410 0 | 63 | 1779 998.34/998.65 c 991s | 16 | 1989896 | 167652 | 207410 0 | 63 | 1779 1000.54/1000.89 c 993s | 16 | 1994935 | 167952 | 207410 0 | 63 | 1779 1002.94/1003.25 c 996s | 16 | 2000040 | 168252 | 207410 0 | 63 | 1779 1005.44/1005.72 c 998s | 16 | 2005459 | 168552 | 207410 0 | 63 | 1779 1007.54/1007.81 c 1000s | 16 | 2011300 | 168852 | 207410 0 | 63 | 1779 1009.84/1010.12 c 1003s | 16 | 2016002 | 169052 | 207410 0 | 63 | 1779 1012.24/1012.58 c 1005s | 16 | 2022028 | 169352 | 207410 0 | 63 | 1779 1014.64/1014.98 c 1007s | 16 | 2026935 | 169652 | 207410 0 | 63 | 1779 1016.74/1017.03 c 1009s | 16 | 2030468 | 170052 | 207410 0 | 63 | 1779 1018.94/1019.23 c 1012s | 16 | 2035461 | 170352 | 207410 0 | 63 | 1779 1020.94/1021.29 c 1014s | 16 | 2038201 | 170652 | 207410 0 | 63 | 1779 1023.63/1023.91 c 1016s | 16 | 2043846 | 171052 | 207410 0 | 63 | 1779 1025.93/1026.25 c 1019s | 16 | 2046015 | 171452 | 207410 0 | 63 | 1779 1028.43/1028.72 c 1021s | 16 | 2050257 | 171752 | 207410 0 | 63 | 1779 1030.74/1031.00 c 1023s | 16 | 2053030 | 172052 | 207410 0 | 63 | 1779 1033.13/1033.46 c 1026s | 16 | 2057371 | 172352 | 207410 0 | 63 | 1779 1035.83/1036.14 c 1029s | 16 | 2063626 | 172752 | 207410 0 | 63 | 1779 1038.33/1038.68 c 1031s | 16 | 2067789 | 173052 | 207410 0 | 63 | 1779 1040.74/1041.03 c 1033s | 16 | 2075528 | 173352 | 207410 0 | 63 | 1779 1043.23/1043.58 c 1036s | 16 | 2079188 | 173652 | 207410 0 | 63 | 1779 1045.63/1045.91 c 1038s | 16 | 2084566 | 173952 | 207410 0 | 63 | 1779 1048.44/1048.73 c 1041s | 16 | 2089839 | 174252 | 207410 0 | 63 | 1779 1050.43/1050.76 c 1043s | 16 | 2092981 | 174452 | 207410 0 | 63 | 1779 1053.43/1053.75 c 1046s | 16 | 2096007 | 174752 | 207410 0 | 63 | 1779 1056.14/1056.42 c 1049s | 16 | 2102577 | 175152 | 207410 0 | 63 | 1779 1058.53/1058.85 c 1051s | 16 | 2106451 | 175552 | 207410 0 | 63 | 1779 1061.13/1061.49 c 1054s | 16 | 2108636 | 175852 | 207410 0 | 63 | 1779 1063.23/1063.57 c 1056s | 16 | 2110706 | 176052 | 207410 0 | 63 | 1779 1065.94/1066.23 c 1059s | 16 | 2117066 | 176452 | 207410 0 | 63 | 1779 1068.13/1068.45 c 1061s | 16 | 2123354 | 176852 | 207410 0 | 63 | 1779 1070.63/1070.90 c 1063s | 16 | 2131865 | 177152 | 207410 0 | 63 | 1779 1072.73/1073.03 c 1065s | 16 | 2139968 | 177552 | 207410 0 | 63 | 1779 1075.03/1075.30 c 1068s | 16 | 2146223 | 177952 | 207410 0 | 63 | 1779 1077.03/1077.35 c 1070s | 16 | 2151236 | 178252 | 207410 0 | 63 | 1779 1079.23/1079.51 c 1072s | 16 | 2156609 | 178652 | 207410 0 | 63 | 1779 1081.53/1081.86 c 1074s | 16 | 2161565 | 178952 | 207410 0 | 63 | 1779 1084.33/1084.64 c 1077s | 16 | 2165056 | 179252 | 207410 0 | 63 | 1779 1086.42/1086.78 c 1079s | 16 | 2168323 | 179552 | 207410 0 | 63 | 1779 1088.82/1089.14 c 1082s | 16 | 2171058 | 179852 | 207410 0 | 63 | 1779 1091.33/1091.65 c 1084s | 16 | 2173573 | 180252 | 207410 0 | 63 | 1779 1093.82/1094.16 c 1087s | 16 | 2175848 | 180552 | 207410 0 | 63 | 1779 1096.73/1097.09 c 1089s | 16 | 2178505 | 180952 | 207410 0 | 63 | 1779 1099.72/1100.03 c 1092s | 16 | 2182579 | 181252 | 207410 0 | 63 | 1779 1101.82/1102.17 c 1095s | 16 | 2184835 | 181452 | 207410 0 | 63 | 1779 1103.92/1104.29 c 1097s | 16 | 2186215 | 181652 | 207410 0 | 63 | 1779 1106.52/1106.81 c 1099s | 16 | 2187590 | 181852 | 207410 0 | 63 | 1779 1109.02/1109.35 c 1102s | 16 | 2188914 | 182052 | 207410 0 | 63 | 1779 1111.82/1112.16 c 1105s | 16 | 2190087 | 182252 | 207410 0 | 63 | 1779 1114.33/1114.62 c 1107s | 16 | 2190811 | 182552 | 207410 0 | 63 | 1779 1116.42/1116.70 c 1109s | 16 | 2191656 | 182752 | 207410 0 | 63 | 1779 1119.52/1119.83 c 1112s | 16 | 2196692 | 182952 | 207410 0 | 63 | 1779 1121.92/1122.27 c 1115s | 16 | 2201605 | 183352 | 207410 0 | 63 | 1779 1124.42/1124.75 c 1117s | 16 | 2207140 | 183752 | 207410 0 | 63 | 1779 1126.82/1127.10 c 1119s | 16 | 2212464 | 184152 | 207410 0 | 63 | 1779 1128.92/1129.21 c 1122s | 16 | 2218878 | 184452 | 207410 0 | 63 | 1779 1131.22/1131.57 c 1124s | 16 | 2222711 | 184852 | 207410 0 | 63 | 1779 1133.32/1133.65 c 1126s | 16 | 2226408 | 185252 | 207410 0 | 63 | 1779 1135.92/1136.20 c 1129s | 16 | 2229385 | 185652 | 207410 0 | 63 | 1779 1138.12/1138.45 c 1131s | 16 | 2232422 | 185952 | 207410 0 | 63 | 1779 1141.32/1141.62 c 1134s | 16 | 2236331 | 186252 | 207410 0 | 63 | 1779 1143.32/1143.69 c 1136s | 16 | 2239249 | 186552 | 207410 0 | 63 | 1779 1145.71/1146.03 c 1138s | 16 | 2244238 | 186852 | 207410 0 | 63 | 1779 1147.81/1148.11 c 1140s | 16 | 2248119 | 187052 | 207410 0 | 63 | 1779 1150.31/1150.68 c 1143s | 16 | 2254258 | 187352 | 207410 0 | 63 | 1779 1153.31/1153.63 c 1146s | 16 | 2260558 | 187652 | 207410 0 | 63 | 1779 1155.41/1155.74 c 1148s | 16 | 2266547 | 187952 | 207410 0 | 63 | 1779 1158.21/1158.54 c 1151s | 16 | 2270183 | 188252 | 207410 0 | 63 | 1779 1160.71/1161.08 c 1153s | 16 | 2275246 | 188552 | 207410 0 | 63 | 1779 1163.21/1163.50 c 1156s | 16 | 2279295 | 188852 | 207410 0 | 63 | 1779 1165.81/1166.13 c 1159s | 16 | 2281032 | 189152 | 207410 0 | 63 | 1779 1168.41/1168.73 c 1161s | 16 | 2284243 | 189552 | 207410 0 | 63 | 1779 1171.11/1171.49 c 1164s | 16 | 2288496 | 189852 | 207410 0 | 63 | 1779 1174.01/1174.30 c 1167s | 16 | 2290395 | 190152 | 207410 0 | 63 | 1779 1176.21/1176.58 c 1169s | 16 | 2297708 | 190452 | 207410 0 | 63 | 1779 1178.31/1178.65 c 1171s | 16 | 2301477 | 190752 | 207410 0 | 63 | 1779 1180.61/1180.95 c 1173s | 16 | 2305836 | 191052 | 207410 0 | 63 | 1779 1182.71/1183.01 c 1175s | 16 | 2312279 | 191252 | 207410 0 | 63 | 1779 1185.11/1185.46 c 1178s | 16 | 2317128 | 191552 | 207410 0 | 63 | 1779 1187.61/1187.90 c 1180s | 16 | 2320663 | 191952 | 207410 0 | 63 | 1779 1190.21/1190.57 c 1183s | 16 | 2323691 | 192352 | 207410 0 | 63 | 1779 1192.41/1192.75 c 1185s | 16 | 2325818 | 192652 | 207410 0 | 63 | 1779 1194.91/1195.29 c 1188s | 16 | 2330159 | 192952 | 207410 0 | 63 | 1779 1197.21/1197.57 c 1190s | 16 | 2332675 | 193252 | 207410 0 | 63 | 1779 1199.61/1199.95 c 1192s | 16 | 2334952 | 193552 | 207410 0 | 63 | 1779 1202.21/1202.51 c 1195s | 16 | 2337404 | 193852 | 207410 0 | 63 | 1779 1204.80/1205.10 c 1197s | 16 | 2344539 | 194152 | 207410 0 | 63 | 1779 1207.10/1207.47 c 1200s | 16 | 2348979 | 194452 | 228152 0 | 63 | 1779 1209.20/1209.58 c 1202s | 16 | 2352214 | 194752 | 228152 0 | 63 | 1779 1211.70/1212.07 c 1204s | 16 | 2354552 | 195052 | 228152 0 | 63 | 1779 1213.90/1214.28 c 1207s | 16 | 2357381 | 195352 | 228152 0 | 63 | 1779 1216.20/1216.53 c 1209s | 16 | 2359215 | 195652 | 228152 0 | 63 | 1779 1218.70/1219.08 c 1211s | 16 | 2361896 | 195952 | 228152 0 | 63 | 1779 1221.80/1222.10 c 1214s | 16 | 2365471 | 196252 | 228152 0 | 63 | 1779 1224.90/1225.28 c 1218s | 16 | 2369267 | 196552 | 228152 0 | 63 | 1779 1227.80/1228.19 c 1221s | 16 | 2371583 | 196852 | 228152 0 | 63 | 1779 1230.50/1230.85 c 1223s | 16 | 2376992 | 197152 | 228152 0 | 63 | 1779 1232.60/1232.91 c 1225s | 17 | 2382352 | 197432 | 228152 0 | 63 | 1779 1234.90/1235.26 c 1228s | 17 | 2387961 | 197632 | 228152 0 | 63 | 1779 1237.00/1237.38 c 1230s | 17 | 2392705 | 197932 | 228152 0 | 63 | 1779 1239.20/1239.58 c 1232s | 17 | 2395963 | 198232 | 228152 0 | 63 | 1779 1241.70/1242.01 c 1234s | 17 | 2401522 | 198532 | 228152 0 | 63 | 1779 1244.11/1244.47 c 1237s | 17 | 2403876 | 198832 | 228152 0 | 63 | 1779 1247.20/1247.53 c 1240s | 17 | 2406188 | 199132 | 228152 0 | 63 | 1779 1249.61/1249.94 c 1242s | 17 | 2408658 | 199332 | 228152 0 | 63 | 1779 1252.20/1252.54 c 1245s | 17 | 2410632 | 199532 | 228152 0 | 63 | 1779 1254.50/1254.88 c 1247s | 17 | 2417255 | 199832 | 228152 0 | 63 | 1779 1257.00/1257.35 c 1250s | 17 | 2420744 | 200132 | 228152 0 | 63 | 1779 1259.10/1259.46 c 1252s | 17 | 2424933 | 200432 | 228152 0 | 63 | 1779 1261.30/1261.65 c 1254s | 17 | 2428892 | 200732 | 228152 0 | 63 | 1779 1264.20/1264.58 c 1257s | 17 | 2435475 | 201032 | 228152 0 | 63 | 1779 1266.60/1266.99 c 1259s | 17 | 2438804 | 201332 | 228152 0 | 63 | 1779 1268.80/1269.14 c 1262s | 17 | 2441829 | 201632 | 228152 0 | 63 | 1779 1271.39/1271.79 c 1264s | 17 | 2446879 | 201932 | 228152 0 | 63 | 1779 1273.49/1273.88 c 1266s | 17 | 2449793 | 202132 | 228152 0 | 63 | 1779 1275.89/1276.23 c 1269s | 17 | 2452295 | 202332 | 228152 0 | 63 | 1779 1278.49/1278.83 c 1271s | 17 | 2456932 | 202632 | 228152 0 | 63 | 1779 1281.09/1281.48 c 1274s | 17 | 2458463 | 202932 | 228152 0 | 63 | 1779 1283.49/1283.80 c 1276s | 17 | 2464618 | 203132 | 228152 0 | 63 | 1779 1286.49/1286.84 c 1279s | 17 | 2467356 | 203432 | 228152 0 | 63 | 1779 1288.49/1288.88 c 1281s | 17 | 2469084 | 203632 | 228152 0 | 63 | 1779 1290.89/1291.26 c 1284s | 17 | 2470327 | 203832 | 228152 0 | 63 | 1779 1293.29/1293.63 c 1286s | 17 | 2474695 | 204132 | 228152 0 | 63 | 1779 1295.90/1296.28 c 1289s | 17 | 2480075 | 204432 | 228152 0 | 63 | 1779 1298.39/1298.75 c 1291s | 17 | 2483277 | 204732 | 228152 0 | 63 | 1779 1300.59/1300.91 c 1293s | 17 | 2485421 | 205032 | 228152 0 | 63 | 1779 1302.79/1303.10 c 1295s | 17 | 2489084 | 205332 | 228152 0 | 63 | 1779 1305.19/1305.51 c 1298s | 17 | 2492061 | 205632 | 228152 0 | 63 | 1779 1307.19/1307.55 c 1300s | 17 | 2495019 | 205932 | 228152 0 | 63 | 1779 1309.79/1310.10 c 1302s | 17 | 2499484 | 206232 | 228152 0 | 63 | 1779 1312.09/1312.49 c 1305s | 17 | 2502842 | 206532 | 228152 0 | 63 | 1779 1314.79/1315.15 c 1308s | 17 | 2506449 | 206832 | 228152 0 | 63 | 1779 1316.79/1317.17 c 1310s | 17 | 2509413 | 207032 | 228152 0 | 63 | 1779 1319.49/1319.87 c 1312s | 17 | 2512311 | 207332 | 228152 0 | 63 | 1779 1321.79/1322.18 c 1315s | 17 | 2516137 | 207532 | 228152 0 | 63 | 1779 1324.09/1324.41 c 1317s | 17 | 2519832 | 207732 | 228152 0 | 63 | 1779 1326.09/1326.44 c 1319s | 17 | 2524000 | 208032 | 228152 0 | 63 | 1779 1328.49/1328.88 c 1321s | 17 | 2527629 | 208332 | 228152 0 | 63 | 1779 1330.99/1331.39 c 1324s | 17 | 2532396 | 208632 | 228152 0 | 63 | 1779 1333.49/1333.89 c 1326s | 17 | 2535276 | 208932 | 228152 0 | 63 | 1779 1335.69/1336.05 c 1328s | 17 | 2537363 | 209132 | 228152 0 | 63 | 1779 1337.78/1338.11 c 1331s | 17 | 2541750 | 209332 | 228152 0 | 63 | 1779 1339.79/1340.12 c 1333s | 17 | 2544072 | 209532 | 228152 0 | 63 | 1779 1342.38/1342.75 c 1335s | 17 | 2547519 | 209832 | 228152 0 | 63 | 1779 1344.78/1345.14 c 1338s | 17 | 2551068 | 210132 | 228152 0 | 63 | 1779 1347.08/1347.47 c 1340s | 17 | 2552991 | 210432 | 228152 0 | 63 | 1779 1349.69/1350.03 c 1342s | 17 | 2555104 | 210732 | 228152 0 | 63 | 1779 1352.58/1352.96 c 1345s | 17 | 2558504 | 211032 | 228152 0 | 63 | 1779 1355.38/1355.75 c 1348s | 17 | 2563085 | 211332 | 228152 0 | 63 | 1779 1357.49/1357.89 c 1350s | 17 | 2566214 | 211532 | 228152 0 | 63 | 1779 1360.48/1360.89 c 1353s | 17 | 2570403 | 211832 | 228152 0 | 63 | 1779 1362.58/1362.96 c 1355s | 17 | 2574281 | 212032 | 228152 0 | 63 | 1779 1365.48/1365.88 c 1358s | 17 | 2576108 | 212332 | 228152 0 | 63 | 1779 1368.28/1368.66 c 1361s | 17 | 2579185 | 212632 | 228152 0 | 63 | 1779 1370.88/1371.23 c 1364s | 17 | 2581405 | 212932 | 228152 0 | 63 | 1779 1373.58/1373.91 c 1366s | 17 | 2584773 | 213232 | 228152 0 | 63 | 1779 1376.28/1376.62 c 1369s | 17 | 2588186 | 213532 | 228152 0 | 63 | 1779 1379.08/1379.49 c 1372s | 17 | 2591303 | 213832 | 228152 0 | 63 | 1779 1381.78/1382.15 c 1375s | 17 | 2592884 | 214132 | 228152 0 | 63 | 1779 1384.48/1384.88 c 1377s | 17 | 2597706 | 214332 | 228152 0 | 63 | 1779 1386.68/1387.09 c 1379s | 17 | 2602587 | 214532 | 228152 0 | 63 | 1779 1389.78/1390.11 c 1383s | 17 | 2606342 | 214832 | 228152 0 | 63 | 1779 1392.68/1393.06 c 1385s | 17 | 2609522 | 215132 | 228152 0 | 63 | 1779 1395.98/1396.35 c 1389s | 17 | 2614813 | 215432 | 228152 0 | 63 | 1779 1398.08/1398.49 c 1391s | 17 | 2616808 | 215632 | 228152 0 | 63 | 1779 1400.97/1401.38 c 1394s | 17 | 2620380 | 215932 | 228152 0 | 63 | 1779 1403.97/1404.39 c 1397s | 17 | 2625144 | 216232 | 228152 0 | 63 | 1779 1407.17/1407.54 c 1400s | 17 | 2632750 | 216432 | 228152 0 | 63 | 1779 1409.37/1409.72 c 1402s | 17 | 2638102 | 216632 | 228152 0 | 63 | 1779 1411.97/1412.30 c 1405s | 17 | 2642790 | 216832 | 228152 0 | 63 | 1779 1414.37/1414.78 c 1407s | 17 | 2644666 | 217132 | 228152 0 | 63 | 1779 1416.57/1416.91 c 1409s | 17 | 2646919 | 217332 | 228152 0 | 63 | 1779 1419.08/1419.44 c 1412s | 17 | 2649847 | 217632 | 228152 0 | 63 | 1779 1421.18/1421.56 c 1414s | 17 | 2650952 | 217832 | 228152 0 | 63 | 1779 1423.67/1424.00 c 1416s | 17 | 2653596 | 218032 | 228152 0 | 63 | 1779 1425.77/1426.10 c 1418s | 17 | 2654407 | 218232 | 228152 0 | 63 | 1779 1427.97/1428.31 c 1421s | 17 | 2658015 | 218432 | 228152 0 | 63 | 1779 1429.98/1430.32 c 1423s | 17 | 2659760 | 218632 | 228152 0 | 63 | 1779 1432.97/1433.30 c 1426s | 17 | 2663125 | 218932 | 228152 0 | 63 | 1779 1435.58/1435.94 c 1428s | 17 | 2668208 | 219132 | 228152 0 | 63 | 1779 1437.87/1438.29 c 1431s | 17 | 2669842 | 219332 | 228152 0 | 63 | 1779 1440.17/1440.56 c 1433s | 17 | 2672348 | 219532 | 228152 0 | 63 | 1779 1442.37/1442.75 c 1435s | 17 | 2674624 | 219732 | 228152 0 | 63 | 1779 1444.77/1445.11 c 1438s | 17 | 2676454 | 219932 | 228152 0 | 63 | 1779 1446.87/1447.29 c 1440s | 17 | 2678540 | 220132 | 228152 0 | 63 | 1779 1449.37/1449.71 c 1442s | 17 | 2682553 | 220332 | 228152 0 | 63 | 1779 1452.17/1452.58 c 1445s | 17 | 2685496 | 220632 | 228152 0 | 63 | 1779 1454.37/1454.74 c 1447s | 17 | 2686986 | 220832 | 228152 0 | 63 | 1779 1456.67/1457.07 c 1449s | 17 | 2690120 | 221032 | 228152 0 | 63 | 1779 1459.17/1459.58 c 1452s | 17 | 2692982 | 221332 | 228152 0 | 63 | 1779 1461.66/1462.00 c 1454s | 17 | 2695124 | 221632 | 228152 0 | 63 | 1779 1464.26/1464.68 c 1457s | 17 | 2697226 | 221932 | 228152 0 | 63 | 1779 1466.46/1466.85 c 1459s | 17 | 2699538 | 222132 | 228152 0 | 63 | 1779 1469.57/1469.92 c 1462s | 17 | 2701922 | 222432 | 228152 0 | 63 | 1779 1471.66/1472.08 c 1464s | 17 | 2703145 | 222632 | 228152 0 | 63 | 1779 1473.97/1474.33 c 1467s | 17 | 2706713 | 222832 | 228152 0 | 63 | 1779 1476.46/1476.88 c 1469s | 17 | 2709320 | 223132 | 228152 0 | 63 | 1779 1479.36/1479.71 c 1472s | 17 | 2712815 | 223432 | 228152 0 | 63 | 1779 1481.96/1482.33 c 1475s | 17 | 2714690 | 223732 | 228152 0 | 63 | 1779 1484.67/1485.08 c 1477s | 17 | 2715901 | 224032 | 228152 0 | 63 | 1779 1486.77/1487.14 c 1480s | 17 | 2718548 | 224232 | 228152 0 | 63 | 1779 1489.67/1490.00 c 1482s | 17 | 2722536 | 224532 | 228152 0 | 63 | 1779 1492.57/1492.91 c 1485s | 17 | 2725030 | 224832 | 228152 0 | 63 | 1779 1495.17/1495.56 c 1488s | 17 | 2727779 | 225132 | 228152 0 | 63 | 1779 1497.18/1497.59 c 1490s | 17 | 2731403 | 225332 | 228152 0 | 63 | 1779 1500.27/1500.61 c 1493s | 17 | 2733968 | 225632 | 228152 0 | 63 | 1779 1502.27/1502.67 c 1495s | 17 | 2737008 | 225832 | 228152 0 | 63 | 1779 1504.47/1504.81 c 1497s | 17 | 2739446 | 226032 | 228152 0 | 63 | 1779 1506.57/1506.99 c 1499s | 17 | 2740810 | 226232 | 228152 0 | 63 | 1779 1509.37/1509.71 c 1502s | 17 | 2742988 | 226532 | 228152 0 | 63 | 1779 1511.97/1512.32 c 1505s | 17 | 2744868 | 226832 | 228152 0 | 63 | 1779 1514.67/1515.10 c 1507s | 17 | 2748600 | 227132 | 228152 0 | 63 | 1779 1516.77/1517.18 c 1510s | 17 | 2749503 | 227332 | 228152 0 | 63 | 1779 1519.57/1519.95 c 1512s | 17 | 2752574 | 227532 | 228152 0 | 63 | 1779 1522.26/1522.67 c 1515s | 17 | 2755466 | 227732 | 228152 0 | 63 | 1779 1524.96/1525.39 c 1518s | 17 | 2756949 | 227932 | 228152 0 | 63 | 1779 1527.87/1528.29 c 1521s | 17 | 2761459 | 228132 | 228152 0 | 63 | 1779 1531.36/1531.70 c 1524s | 17 | 2764082 | 228432 | 228152 0 | 63 | 1779 1534.06/1534.48 c 1527s | 17 | 2766037 | 228632 | 228152 0 | 63 | 1779 1537.26/1537.66 c 1530s | 17 | 2766942 | 228832 | 228152 0 | 63 | 1779 1540.86/1541.26 c 1534s | 17 | 2768096 | 229032 | 228152 0 | 63 | 1779 1544.47/1544.88 c 1537s | 17 | 2771004 | 229232 | 228152 0 | 63 | 1779 1548.46/1548.87 c 1541s | 17 | 2772428 | 229432 | 228152 0 | 63 | 1779 1550.86/1551.20 c 1544s | 17 | 2773583 | 229532 | 228152 0 | 63 | 1779 1553.06/1553.46 c 1546s | 17 | 2774361 | 229632 | 228152 0 | 63 | 1779 1555.16/1555.54 c 1548s | 17 | 2776966 | 229732 | 228152 0 | 63 | 1779 1557.57/1557.91 c 1550s | 17 | 2779683 | 229932 | 228152 0 | 63 | 1779 1559.87/1560.24 c 1553s | 17 | 2785017 | 230132 | 228152 0 | 63 | 1779 1562.16/1562.50 c 1555s | 17 | 2785788 | 230332 | 228152 0 | 63 | 1779 1564.56/1564.92 c 1557s | 17 | 2788637 | 230532 | 228152 0 | 63 | 1779 1566.86/1567.29 c 1560s | 17 | 2790418 | 230732 | 228152 0 | 63 | 1779 1569.66/1570.08 c 1562s | 17 | 2792224 | 230932 | 228152 0 | 63 | 1779 1572.56/1572.93 c 1565s | 17 | 2794922 | 231132 | 228152 0 | 63 | 1779 1575.06/1575.45 c 1568s | 17 | 2797845 | 231332 | 228152 0 | 63 | 1779 1577.66/1578.07 c 1570s | 17 | 2799118 | 231532 | 228152 0 | 63 | 1779 1580.26/1580.61 c 1573s | 17 | 2801739 | 231732 | 228152 0 | 63 | 1779 1582.66/1583.05 c 1575s | 17 | 2803039 | 231932 | 228152 0 | 63 | 1779 1586.55/1586.98 c 1579s | 17 | 2804979 | 232132 | 228152 1 | 63 | 1779 1588.85/1589.21 c 1582s | 17 | 2806988 | 232232 | 228152 1 | 63 | 1779 1591.55/1591.90 c 1584s | 17 | 2809821 | 232532 | 228152 1 | 63 | 1779 1593.75/1594.16 c 1587s | 17 | 2812427 | 232832 | 228152 1 | 63 | 1779 1597.55/1597.93 c 1590s | 17 | 2814026 | 233032 | 228152 1 | 63 | 1779 1599.75/1600.10 c 1592s | 17 | 2815058 | 233232 | 228152 1 | 63 | 1779 1602.15/1602.58 c 1595s | 17 | 2818138 | 233432 | 228152 1 | 63 | 1779 1604.85/1605.22 c 1598s | 17 | 2820497 | 233632 | 228152 1 | 63 | 1779 1621.65/1622.01 c 1614s | 17 | 2823666 | 233832 | 228152 1 | 63 | 1779 1623.65/1624.08 c 1616s | 17 | 2831610 | 234132 | 228152 1 | 63 | 1779 1626.04/1626.42 c 1619s | 17 | 2837341 | 234432 | 228152 1 | 63 | 1779 1628.84/1629.21 c 1622s | 17 | 2843938 | 234732 | 228152 1 | 63 | 1779 1631.14/1631.58 c 1624s | 17 | 2846657 | 235032 | 228152 1 | 63 | 1779 1633.64/1634.07 c 1626s | 17 | 2848446 | 235332 | 228152 1 | 63 | 1779 1636.14/1636.53 c 1629s | 17 | 2850824 | 235632 | 228152 1 | 63 | 1779 1638.64/1639.06 c 1631s | 17 | 2852846 | 235932 | 228152 1 | 63 | 1779 1641.04/1641.43 c 1634s | 17 | 2854792 | 236232 | 228152 1 | 63 | 1779 1643.94/1644.30 c 1637s | 17 | 2856209 | 236532 | 228152 1 | 63 | 1779 1646.65/1647.05 c 1639s | 17 | 2857681 | 236732 | 228152 1 | 63 | 1779 1648.95/1649.38 c 1642s | 17 | 2866230 | 237032 | 228152 1 | 63 | 1779 1651.74/1652.17 c 1645s | 17 | 2874259 | 237432 | 228152 1 | 63 | 1779 1654.24/1654.67 c 1647s | 17 | 2878028 | 237832 | 228152 1 | 63 | 1779 1656.65/1657.03 c 1649s | 17 | 2884195 | 238232 | 228152 1 | 63 | 1779 1658.64/1659.06 c 1651s | 17 | 2890631 | 238532 | 228152 1 | 63 | 1779 1660.95/1661.37 c 1654s | 17 | 2895951 | 238932 | 228152 1 | 63 | 1779 1663.25/1663.62 c 1656s | 17 | 2898547 | 239332 | 228152 1 | 63 | 1779 1665.84/1666.24 c 1659s | 17 | 2903447 | 239832 | 228152 1 | 63 | 1779 1667.94/1668.37 c 1661s | 17 | 2906623 | 240132 | 228152 1 | 63 | 1779 1670.54/1670.96 c 1663s | 17 | 2912027 | 240532 | 228152 1 | 63 | 1779 1673.04/1673.45 c 1666s | 17 | 2915757 | 240832 | 228152 1 | 63 | 1779 1675.54/1675.95 c 1668s | 17 | 2923513 | 241332 | 228152 1 | 63 | 1779 1677.84/1678.29 c 1671s | 17 | 2927021 | 241732 | 228152 1 | 63 | 1779 1679.94/1680.34 c 1673s | 17 | 2930967 | 242032 | 228152 1 | 63 | 1779 1682.54/1682.91 c 1675s | 17 | 2935308 | 242332 | 228152 1 | 63 | 1779 1684.94/1685.36 c 1678s | 17 | 2940149 | 242632 | 228152 1 | 63 | 1779 1687.04/1687.46 c 1680s | 17 | 2942133 | 242832 | 228152 1 | 63 | 1779 1689.34/1689.70 c 1682s | 17 | 2944655 | 243132 | 228152 1 | 63 | 1779 1691.63/1692.07 c 1684s | 17 | 2947619 | 243432 | 228152 1 | 63 | 1779 1694.43/1694.84 c 1687s | 17 | 2950706 | 243732 | 228152 1 | 63 | 1779 1696.93/1697.34 c 1690s | 17 | 2952668 | 244032 | 228152 1 | 63 | 1779 1698.93/1699.35 c 1692s | 17 | 2953644 | 244232 | 228152 1 | 63 | 1779 1701.23/1701.64 c 1694s | 17 | 2958431 | 244532 | 228152 1 | 63 | 1779 1724.63/1725.04 c 1717s | 17 | 2959367 | 244632 | 228152 1 | 63 | 1779 1727.73/1728.11 c 1720s | 17 | 2960109 | 244732 | 228152 1 | 63 | 1779 1730.23/1730.61 c 1723s | 17 | 2966535 | 245032 | 228152 1 | 63 | 1779 1732.43/1732.89 c 1725s | 17 | 2970503 | 245432 | 228152 1 | 63 | 1779 1735.03/1735.44 c 1728s | 17 | 2979287 | 245832 | 228152 1 | 63 | 1779 1737.22/1737.65 c 1730s | 17 | 2983110 | 246232 | 228152 1 | 63 | 1779 1739.42/1739.82 c 1732s | 17 | 2988499 | 246632 | 228152 1 | 63 | 1779 1741.82/1742.26 c 1735s | 17 | 2994848 | 247132 | 228152 1 | 63 | 1779 1744.02/1744.44 c 1737s | 17 | 3002459 | 247532 | 228152 1 | 63 | 1779 1746.12/1746.57 c 1739s | 17 | 3005657 | 247932 | 228152 1 | 63 | 1779 1748.42/1748.84 c 1741s | 17 | 3010528 | 248332 | 228152 1 | 63 | 1779 1750.72/1751.18 c 1744s | 17 | 3013475 | 248732 | 228152 1 | 63 | 1779 1753.02/1753.44 c 1746s | 17 | 3019094 | 249132 | 228152 1 | 63 | 1779 1755.63/1756.09 c 1748s | 17 | 3024951 | 249532 | 228152 1 | 63 | 1779 1757.62/1758.10 c 1750s | 17 | 3028151 | 249832 | 228152 1 | 63 | 1779 1759.72/1760.19 c 1753s | 17 | 3037143 | 250132 | 228152 1 | 63 | 1779 1761.92/1762.30 c 1755s | 17 | 3044647 | 250532 | 228152 1 | 63 | 1779 1764.22/1764.65 c 1757s | 17 | 3051482 | 250932 | 228152 1 | 63 | 1779 1766.42/1766.90 c 1759s | 17 | 3056175 | 251332 | 228152 1 | 63 | 1779 1768.62/1769.08 c 1761s | 17 | 3061124 | 251732 | 228152 1 | 63 | 1779 1771.03/1771.43 c 1764s | 17 | 3065311 | 252132 | 228152 1 | 63 | 1779 1773.13/1773.59 c 1766s | 17 | 3068767 | 252432 | 228152 1 | 63 | 1779 1776.02/1776.48 c 1769s | 17 | 3071018 | 252832 | 228152 1 | 63 | 1779 1778.12/1778.51 c 1771s | 17 | 3075628 | 253132 | 228152 1 | 63 | 1779 1780.22/1780.62 c 1773s | 17 | 3077152 | 253432 | 228152 1 | 63 | 1779 1783.03/1783.47 c 1776s | 17 | 3082199 | 253732 | 228152 1 | 63 | 1779 1785.92/1786.39 c 1779s | 17 | 3084299 | 254032 | 228152 1 | 63 | 1779 1788.02/1788.48 c 1781s | 17 | 3087031 | 254332 | 228152 1 | 63 | 1779 1790.52/1790.91 c 1783s | 17 | 3096622 | 254632 | 228152 1 | 63 | 1779 1792.82/1793.20 c 1786s | 17 | 3102371 | 255132 | 228152 1 | 63 | 1779 1795.12/1795.53 c 1788s | 17 | 3106153 | 255632 | 228152 1 | 63 | 1779 1797.12/1797.58 c 1790s | 17 | 3108584 | 256032 | 228152 1 | 63 | 1779 1799.22/1799.61 c 1792s | 17 | 3112566 | 256432 | 228152 1 | 63 | 1779
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-4079855-1465248165/watcher-4079855-1465248165 -o /tmp/evaluation-result-4079855-1465248165/solver-4079855-1465248165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079855-1465248165.opb pid=4553 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.22 2.19 2.18 3/179 4556 /proc/meminfo: memFree=29172860/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=711236 CPUtime=0 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 2654 0 0 0 0 0 0 0 20 0 4 0 106749629 728305664 3014 33554432000 4194304 16246674 140737084796640 140737084796064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 178577 3023 442 2943 0 175471 0 [pid=4556/tid=4557] ppid=4553 vsize=729668 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 747180032 3084 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=733764 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 751374336 3100 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=737860 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106749629 755568640 3118 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100129 s] /proc/loadavg: 2.22 2.19 2.18 3/179 4556 /proc/meminfo: memFree=29172860/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1302084 CPUtime=0.09 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 27181 0 0 0 5 4 0 0 20 0 4 0 106749629 1333334016 27480 33554432000 4194304 16246674 140737084796640 140737084795952 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 325521 27496 800 2943 0 322415 0 [pid=4556/tid=4557] ppid=4553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1333334016 27506 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1333334016 27517 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1333334016 27528 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1302084 [startup+0.200518 s] /proc/loadavg: 2.22 2.19 2.18 3/179 4556 /proc/meminfo: memFree=29172860/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1314372 CPUtime=0.19 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 49889 0 0 0 12 7 0 0 20 0 4 0 106749629 1345916928 50698 33554432000 4194304 16246674 140737084796640 140737084795952 7364400 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 328593 50698 800 2943 0 325487 0 [pid=4556/tid=4557] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 50698 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 50698 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 50698 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1314372 [startup+0.300506 s] /proc/loadavg: 2.22 2.19 2.18 3/179 4556 /proc/meminfo: memFree=29172860/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1314372 CPUtime=0.29 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 56517 0 0 0 21 8 0 0 20 0 4 0 106749629 1345916928 57326 33554432000 4194304 16246674 140737084796640 140737084795952 8057105 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 328593 57326 800 2943 0 325487 0 [pid=4556/tid=4557] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 57326 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 57326 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 57326 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1314372 [startup+0.700398 s] /proc/loadavg: 2.22 2.19 2.18 3/179 4556 /proc/meminfo: memFree=29172860/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1314372 CPUtime=0.69 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 66149 0 0 0 59 10 0 0 20 0 4 0 106749629 1345916928 66958 33554432000 4194304 16246674 140737084796640 140737084779632 7439694 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 328593 66958 801 2943 0 325487 0 [pid=4556/tid=4557] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 66958 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 66958 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 66958 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1314372 [startup+1.5004 s] /proc/loadavg: 2.22 2.19 2.18 3/183 4560 /proc/meminfo: memFree=28774776/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1314372 CPUtime=1.49 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 171752 0 0 0 124 25 0 0 20 0 4 0 106749629 1345916928 172562 33554432000 4194304 16246674 140737084796640 140737084778560 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 328593 172571 838 2943 0 325487 0 [pid=4556/tid=4557] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 172577 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 172581 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1345916928 172586 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1314372 [startup+3.10042 s] /proc/loadavg: 2.28 2.21 2.19 3/183 4560 /proc/meminfo: memFree=28057932/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=3.09 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278247 0 0 0 269 40 0 0 20 0 4 0 106749629 1382617088 279056 33554432000 4194304 16246674 140737084796640 140737084795952 5813189 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279056 908 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279056 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279056 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279056 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1350212 [startup+6.3004 s] /proc/loadavg: 2.28 2.21 2.19 3/183 4560 /proc/meminfo: memFree=28057508/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=6.29 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278252 0 0 0 589 40 0 0 20 0 4 0 106749629 1382617088 279061 33554432000 4194304 16246674 140737084796640 140737084778496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279061 913 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279061 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279061 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279061 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1350212 [startup+12.7004 s] /proc/loadavg: 2.31 2.21 2.19 3/183 4560 /proc/meminfo: memFree=28057456/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=12.69 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278255 0 0 0 1229 40 0 0 20 0 4 0 106749629 1382617088 279064 33554432000 4194304 16246674 140737084796640 140737084778560 13906976 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279064 913 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279064 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279064 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279064 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1350212 [startup+25.5004 s] /proc/loadavg: 2.26 2.21 2.19 3/183 4560 /proc/meminfo: memFree=28057532/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=25.49 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278256 0 0 0 2509 40 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140737084778560 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279067 913 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1350212 [startup+51.1004 s] /proc/loadavg: 2.25 2.21 2.18 3/183 4560 /proc/meminfo: memFree=28057628/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=51.08 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278256 0 0 0 5068 40 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140737084778560 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279067 913 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1350212 [startup+102.3 s] /proc/loadavg: 2.27 2.22 2.19 3/183 4561 /proc/meminfo: memFree=28056788/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=102.27 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278262 0 0 0 10187 40 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140737084778560 5523184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279067 913 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279067 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1350212 ################ # More data... # ################ /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1350212 [startup+1362.3 s] /proc/loadavg: 2.29 2.29 2.21 4/183 4641 /proc/meminfo: memFree=28024048/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=1361.98 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278447 0 0 0 136157 41 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140737084778560 12483532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279070 916 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 1350212 [startup+1422.3 s] /proc/loadavg: 2.34 2.30 2.22 3/183 4643 /proc/meminfo: memFree=28024868/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=1421.97 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278447 0 0 0 142156 41 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140737084778560 5677537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279070 916 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 1350212 [startup+1482.3 s] /proc/loadavg: 2.41 2.33 2.23 3/183 4644 /proc/meminfo: memFree=28025164/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=1481.96 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278447 0 0 0 148155 41 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140737084778560 5712004 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279070 916 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1350212 [startup+1542.3 s] /proc/loadavg: 2.27 2.30 2.22 3/183 4645 /proc/meminfo: memFree=28025044/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1350212 CPUtime=1541.96 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 278447 0 0 0 154154 42 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140737084778560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 337553 279070 916 2943 0 334447 0 [pid=4556/tid=4557] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1350212 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1382617088 279070 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 1350212 [startup+1602.3 s] /proc/loadavg: 2.17 2.26 2.21 3/183 4646 /proc/meminfo: memFree=27982384/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1601.95 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 160151 44 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084778560 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 1393220 [startup+1662.3 s] /proc/loadavg: 2.25 2.25 2.21 3/184 4650 /proc/meminfo: memFree=27982108/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1661.94 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 166148 46 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084778560 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 1393220 [startup+1722.3 s] /proc/loadavg: 2.20 2.24 2.20 4/183 4652 /proc/meminfo: memFree=27981872/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1721.93 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 172145 48 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084794432 4206916 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 1393220 [startup+1782.3 s] /proc/loadavg: 2.33 2.27 2.21 3/183 4653 /proc/meminfo: memFree=27981752/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1781.93 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 178145 48 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084778560 5711697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 1393220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.38 2.28 2.22 3/183 4653 /proc/meminfo: memFree=27981636/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1800.02 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 179954 48 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084778560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1393220 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 4556 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.4 s] /proc/loadavg: 2.38 2.28 2.22 3/183 4653 /proc/meminfo: memFree=27981636/32872528 swapFree=16384/1696552 [pid=4556] ppid=4553 vsize=1393220 CPUtime=1800.02 cores=0,2,4,6 /proc/4556/stat : 4556 (toysat) R 4553 4556 1166 0 -1 4202496 288985 0 0 0 179954 48 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140737084778560 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/4556/statm: 348305 289608 916 2943 0 345199 0 [pid=4556/tid=4557] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4557/stat : 4557 (toysat) S 4553 4556 1166 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617141169392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=4556/tid=4558] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4558/stat : 4558 (toysat) S 4553 4556 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617130679536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=4556/tid=4559] ppid=4553 vsize=1393220 CPUtime=0 cores=0,2,4,6 /proc/4556/task/4559/stat : 4559 (toysat) S 4553 4556 1166 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106749629 1426657280 289608 33554432000 4194304 16246674 140737084796640 140617120206000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1393220 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.41 CPU time (s): 1800.03 CPU user time (s): 1799.55 CPU system time (s): 0.487925 CPU usage (%): 99.979 Max. virtual memory (cumulated for all children) (KiB): 1393220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.487925 maximum resident set size= 1158432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288985 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= 225 involuntary context switches= 1834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.85826 second user time and 6.65499 second system time The end
Begin job on node125 at 2016-06-06 23:22:46 IDJOB=4079855 IDBENCH=24972 IDSOLVER=2542 FILE ID=node125/4079855-1465248165 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_028_area_delay.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079855-1465248165/watcher-4079855-1465248165 -o /tmp/evaluation-result-4079855-1465248165/solver-4079855-1465248165 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079855-1465248165.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 90e87da5616dfecdb140ca6fb2adc54e RANDOM SEED=1031260553 node125.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.456 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.456 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: 29172380 kB Buffers: 52108 kB Cached: 135716 kB SwapCached: 2016 kB Active: 1213136 kB Inactive: 84588 kB Active(anon): 1110764 kB Inactive(anon): 1380 kB Active(file): 102372 kB Inactive(file): 83208 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 20176 kB Writeback: 0 kB AnonPages: 2807520 kB Mapped: 10676 kB Shmem: 0 kB Slab: 569028 kB SReclaimable: 12944 kB SUnreclaim: 556084 kB KernelStack: 1520 kB PageTables: 9940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2947996 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2781184 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= 71708 MiB End job on node125 at 2016-06-06 23:52:46