Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb |
| MD5SUM | 518b30e9adc24b91e46eee343811eb71 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 88571 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | NO |
| Number of variables | 24250 |
| Total number of constraints | 51198 |
| Number of constraints which are clauses | 51198 |
| 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 | 423 |
| Number of terms in the objective function | 12053 |
| Biggest coefficient in the objective function | 2252 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 21122166 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 2252 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 21122166 |
| Number of bits of the biggest sum of numbers | 25 |
| 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-07T00:53:40+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-4079107-1465253620.opb"] 0.00/0.01 c use --random-gen="808438340 1406913527 3606090791 522633272 4218242397 2460608229 1420502784 909485484 1962878588 1097506919 763679037 3311338707 1042872950 3853195705 3317906746 2859905372 719388925 1097897108 244186916 760638586 2479622977 4254508900 909269313 3069689206 1926493175 2233102952 2367822752 400562456 275379842 3406637334 4024917565 3419005651 1412188250 2476502188 4065190683 886657472 2730435844 1386066831 553757167 2611373587 1565790035 434841892 2119879318 3616497349 2380550686 2322428356 1822122828 2780135516 3712180365 1371515052 3316148950 1317745287 254225268 3521044325 3253727546 2764405862 3529955453 3311214542 589801209 958786660 1032707613 738402373 3459094245 297248937 2914082509 3264381078 1587169498 1975481201 1948389076 3110966052 1542528408 821616225 2842262780 3826972491 781831002 843369600 631018135 2553421110 3702799215 2260197951 1637736269 3165344328 2744858436 785221563 1197197886 2331717874 338070383 3744687864 2236567422 2714562792 2706729304 2270005754 2053407266 2203753099 808335913 899946880 673291090 3144394199 4250030426 93796280 2736261804 1747059554 1338599948 1488865080 1096642468 4138158600 2091094812 2848989695 171824728 1759976331 3705119165 2524580802 41758054 2798725007 2446423805 946999523 4175082111 1111231078 1817359682 1906692821 3297540492 911694353 48072333 3875828239 3131823183 3814862870 3510984256 2035847929 393908399 593414027 3459911136 1839198460 1309051160 850190455 3121347016 818081837 2269168415 1103991874 2989473147 351905891 189344322 1251178382 1256254601 2895050225 2221151354 2221328325 1304501044 2819614899 498125840 4286952645 1329064293 1812450168 2966996870 2447217411 318571153 1985099996 1078703686 4247647757 1694275580 2047471720 3639150512 43780668 2794775635 2486258118 1439240861 2326121444 2456071758 408457573 703888570 1087271324 3174882590 796557792 2188580359 1060716431 2789238834 2274029120 767872478 1522791928 2799248257 1268029725 3374970601 1716112284 2297330750 3071071034 731877360 591756138 319189411 2613511325 555605102 1054026998 3645766642 2705529534 2327252162 2629961391 1662479392 2878954529 769412043 1288531437 539980086 3654968848 513344018 2704487053 3166150552 2220719895 3656077253 2071522109 160819015 1019703636 3154261545 3426294170 2844687671 2917356012 3174105292 865488775 3592153937 2973182024 3973911464 2890434237 2415967061 388704165 973665660 1668417480 2093338784 2057698163 173880913 1930599164 145438897 2964392639 1415179902 2559787192 3728851678 1800890894 3421410857 3709822523 2054721125 2709579345 3670317166 3916356024 3295043329 3837876658 1691667006 964849534 952115886 1279382390 1895864289 1991169057 3888781017 3657921942 3941728923 273918346 1874571867 2915642582 2620401270 1911164553 732909790 49543840 255 362436" option to reproduce the execution 0.29/0.37 c #vars 24250 0.29/0.37 c #constraints 51198 0.98/1.03 c BCD2: Hardening is enabled. 0.98/1.03 c BCD2: BiasedSearch is enabled. 0.98/1.03 c Solving starts ... 0.98/1.03 c ============================[ Search Statistics ]============================ 0.98/1.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.98/1.03 c | | | | Limit GC | Var | Constra 0.98/1.03 c ============================================================================= 0.98/1.03 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 0 1.19/1.27 c 0.2s | 0 | 12468 | 0 | 25148 0 | 3 | 0 1.19/1.27 c #cpu_time = 0.231s 1.19/1.27 c #wall_clock_time = 0.231s 1.19/1.27 c #decision = 12468 1.19/1.27 c #random_decision = 78 1.19/1.27 c #conflict = 0 1.19/1.27 c #restart = 0 1.19/1.27 o 21122166 1.89/1.98 c BCD2: refineUB: 21122165 -> 21121164 1.89/1.99 c BCD2: updating upper bound: 21122166 -> 21121164 1.99/2.02 c BCD2: 0 <= obj <= 21121164 1.99/2.02 c BCD2: #cores=0, #unrelaxed=12053, #relaxed=0, #hardened=0 1.99/2.02 c BCD2: #sat=1 #unsat=1 bias=1/2 1.99/2.02 c Solving starts ... 1.99/2.02 c ============================[ Search Statistics ]============================ 1.99/2.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.99/2.02 c | | | | Limit GC | Var | Constra 1.99/2.02 c ============================================================================= 1.99/2.02 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 0 1.99/2.04 c 0.0s | 0 | 1 | 0 | 25148 0 | 3 | 0 1.99/2.04 c #cpu_time = 0.021s 1.99/2.04 c #wall_clock_time = 0.021s 1.99/2.04 c #decision = 1 1.99/2.04 c #random_decision = 0 1.99/2.04 c #conflict = 0 1.99/2.04 c #restart = 0 1.99/2.04 c BCD2: found a new core of size 2: cost of the new core is >=1340 1.99/2.04 c lower bound updated to 1340 2.49/2.50 c BCD2: refineUB: 21122165 -> 21121164 2.49/2.50 c BCD2: 1340 <= obj <= 21121164 2.49/2.50 c BCD2: #cores=1, #unrelaxed=12051, #relaxed=2, #hardened=0 2.49/2.50 c BCD2: #sat=1 #unsat=2 bias=2/3 2.49/2.50 c Solving starts ... 2.49/2.50 c ============================[ Search Statistics ]============================ 2.49/2.50 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.49/2.50 c | | | | Limit GC | Var | Constra 2.49/2.50 c ============================================================================= 2.49/2.50 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 2.49/2.52 c 0.0s | 0 | 1 | 0 | 25148 0 | 3 | 1 2.49/2.52 c #cpu_time = 0.018s 2.49/2.52 c #wall_clock_time = 0.018s 2.49/2.52 c #decision = 1 2.49/2.52 c #random_decision = 0 2.49/2.52 c #conflict = 0 2.49/2.52 c #restart = 0 2.49/2.52 c BCD2: found a new core of size 1: cost of the new core is >=1314 2.49/2.52 c lower bound updated to 2654 2.89/2.99 c BCD2: refineUB: 21122165 -> 21121164 2.89/2.99 c BCD2: 2654 <= obj <= 21121164 2.89/2.99 c BCD2: #cores=2, #unrelaxed=12050, #relaxed=3, #hardened=0 2.89/2.99 c BCD2: #sat=1 #unsat=3 bias=3/4 2.89/2.99 c Solving starts ... 2.89/2.99 c ============================[ Search Statistics ]============================ 2.89/2.99 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 2.89/2.99 c | | | | Limit GC | Var | Constra 2.89/2.99 c ============================================================================= 2.89/2.99 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 2.99/3.01 c 0.0s | 0 | 10 | 0 | 25148 0 | 3 | 1 2.99/3.01 c #cpu_time = 0.019s 2.99/3.01 c #wall_clock_time = 0.019s 2.99/3.01 c #decision = 10 2.99/3.01 c #random_decision = 0 2.99/3.01 c #conflict = 0 2.99/3.01 c #restart = 0 2.99/3.01 c BCD2: found a new core of size 7: cost of the new core is >=1288 2.99/3.01 c lower bound updated to 3942 3.39/3.47 c BCD2: refineUB: 21122165 -> 21121164 3.39/3.47 c BCD2: 3942 <= obj <= 21121164 3.39/3.47 c BCD2: #cores=3, #unrelaxed=12043, #relaxed=10, #hardened=0 3.39/3.47 c BCD2: #sat=1 #unsat=4 bias=4/5 3.39/3.48 c Solving starts ... 3.39/3.48 c ============================[ Search Statistics ]============================ 3.39/3.48 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.39/3.48 c | | | | Limit GC | Var | Constra 3.39/3.48 c ============================================================================= 3.39/3.48 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 3.39/3.49 c 0.0s | 0 | 12 | 0 | 25148 0 | 3 | 1 3.39/3.49 c #cpu_time = 0.018s 3.39/3.49 c #wall_clock_time = 0.018s 3.39/3.49 c #decision = 12 3.39/3.49 c #random_decision = 0 3.39/3.49 c #conflict = 0 3.39/3.49 c #restart = 0 3.39/3.49 c BCD2: found a new core of size 1: cost of the new core is >=1540 3.39/3.49 c lower bound updated to 5482 3.89/3.96 c BCD2: refineUB: 21122165 -> 21121164 3.89/3.96 c BCD2: 5482 <= obj <= 21121164 3.89/3.96 c BCD2: #cores=4, #unrelaxed=12042, #relaxed=11, #hardened=0 3.89/3.96 c BCD2: #sat=1 #unsat=5 bias=5/6 3.89/3.96 c Solving starts ... 3.89/3.96 c ============================[ Search Statistics ]============================ 3.89/3.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.89/3.96 c | | | | Limit GC | Var | Constra 3.89/3.96 c ============================================================================= 3.89/3.96 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 3.89/3.98 c 0.0s | 0 | 19 | 0 | 25148 0 | 3 | 1 3.89/3.98 c #cpu_time = 0.023s 3.89/3.98 c #wall_clock_time = 0.023s 3.89/3.98 c #decision = 19 3.89/3.98 c #random_decision = 0 3.89/3.98 c #conflict = 0 3.89/3.98 c #restart = 0 3.89/3.98 c BCD2: found a new core of size 2: cost of the new core is >=1262 3.89/3.98 c lower bound updated to 6744 4.39/4.44 c BCD2: refineUB: 21122165 -> 21121164 4.39/4.45 c BCD2: 6744 <= obj <= 21121164 4.39/4.45 c BCD2: #cores=5, #unrelaxed=12040, #relaxed=13, #hardened=0 4.39/4.45 c BCD2: #sat=1 #unsat=6 bias=6/7 4.39/4.45 c Solving starts ... 4.39/4.45 c ============================[ Search Statistics ]============================ 4.39/4.45 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 4.39/4.45 c | | | | Limit GC | Var | Constra 4.39/4.45 c ============================================================================= 4.39/4.45 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 4.39/4.47 c 0.0s | 0 | 24 | 0 | 25148 0 | 3 | 1 4.39/4.47 c #cpu_time = 0.019s 4.39/4.47 c #wall_clock_time = 0.019s 4.39/4.47 c #decision = 24 4.39/4.47 c #random_decision = 0 4.39/4.47 c #conflict = 0 4.39/4.47 c #restart = 0 4.39/4.47 c BCD2: found a new core of size 5: cost of the new core is >=1340 4.39/4.47 c lower bound updated to 8084 4.89/4.93 c BCD2: refineUB: 21122165 -> 21121164 4.89/4.93 c BCD2: 8084 <= obj <= 21121164 4.89/4.93 c BCD2: #cores=6, #unrelaxed=12035, #relaxed=18, #hardened=0 4.89/4.93 c BCD2: #sat=1 #unsat=7 bias=7/8 5.09/5.12 c Solving starts ... 5.09/5.12 c ============================[ Search Statistics ]============================ 5.09/5.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.09/5.12 c | | | | Limit GC | Var | Constra 5.09/5.12 c ============================================================================= 5.09/5.12 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 5.09/5.12 c 0.0s | 0 | 35 | 0 | 25148 0 | 3 | 1 5.09/5.12 c #cpu_time = 0.017s 5.09/5.12 c #wall_clock_time = 0.017s 5.09/5.12 c #decision = 35 5.09/5.12 c #random_decision = 0 5.09/5.12 c #conflict = 0 5.09/5.12 c #restart = 0 5.09/5.12 c BCD2: found a new core of size 1: cost of the new core is >=1236 5.09/5.12 c lower bound updated to 9320 5.39/5.41 c BCD2: refineUB: 21122165 -> 21121164 5.39/5.41 c BCD2: 9320 <= obj <= 21121164 5.39/5.41 c BCD2: #cores=7, #unrelaxed=12034, #relaxed=19, #hardened=0 5.39/5.41 c BCD2: #sat=1 #unsat=8 bias=8/9 5.39/5.41 c Solving starts ... 5.39/5.41 c ============================[ Search Statistics ]============================ 5.39/5.41 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.39/5.41 c | | | | Limit GC | Var | Constra 5.39/5.41 c ============================================================================= 5.39/5.41 c 0.0s | 0 | 0 | 0 | 25148 0 | 3 | 1 5.39/5.43 c 0.0s | 0 | 40 | 0 | 25148 0 | 3 | 1 5.39/5.43 c #cpu_time = 0.022s 5.39/5.43 c #wall_clock_time = 0.022s 5.39/5.43 c #decision = 40 5.39/5.43 c #random_decision = 0 5.39/5.43 c #conflict = 0 5.39/5.43 c #restart = 0 5.39/5.43 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 7: cost of the new core is >=2550 5.39/5.43 c BCD2: refineLB: 2454 -> 2550 5.39/5.43 c lower bound updated to 10608 5.79/5.89 c BCD2: refineUB: 21122165 -> 21121164 5.89/5.90 c BCD2: 10608 <= obj <= 21121164 5.89/5.90 c BCD2: #cores=7, #unrelaxed=12029, #relaxed=24, #hardened=0 5.89/5.90 c BCD2: #sat=1 #unsat=9 bias=9/10 5.89/5.90 c Solving starts ... 5.89/5.90 c ============================[ Search Statistics ]============================ 5.89/5.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 5.89/5.90 c | | | | Limit GC | Var | Constra 5.89/5.90 c ============================================================================= 5.89/5.90 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 1 5.89/5.92 c 0.0s | 0 | 41 | 0 | 25148 0 | 6 | 6 5.89/5.92 c #cpu_time = 0.018s 5.89/5.92 c #wall_clock_time = 0.018s 5.89/5.92 c #decision = 41 5.89/5.92 c #random_decision = 0 5.89/5.92 c #conflict = 0 5.89/5.92 c #restart = 0 5.89/5.92 c BCD2: found a new core of size 3: cost of the new core is >=1314 5.89/5.92 c lower bound updated to 11922 6.29/6.38 c BCD2: refineUB: 21122165 -> 21121164 6.29/6.38 c BCD2: 11922 <= obj <= 21121164 6.29/6.38 c BCD2: #cores=8, #unrelaxed=12026, #relaxed=27, #hardened=0 6.29/6.38 c BCD2: #sat=1 #unsat=10 bias=10/11 6.29/6.38 c Solving starts ... 6.29/6.38 c ============================[ Search Statistics ]============================ 6.29/6.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.29/6.38 c | | | | Limit GC | Var | Constra 6.29/6.38 c ============================================================================= 6.29/6.38 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 6.39/6.40 c 0.0s | 0 | 61 | 0 | 25148 0 | 6 | 6 6.39/6.40 c #cpu_time = 0.019s 6.39/6.40 c #wall_clock_time = 0.019s 6.39/6.40 c #decision = 61 6.39/6.40 c #random_decision = 0 6.39/6.40 c #conflict = 0 6.39/6.40 c #restart = 0 6.39/6.40 c BCD2: found a new core of size 23: cost of the new core is >=1340 6.39/6.40 c lower bound updated to 13262 6.79/6.87 c BCD2: refineUB: 21122165 -> 21121164 6.79/6.87 c BCD2: 13262 <= obj <= 21121164 6.79/6.87 c BCD2: #cores=9, #unrelaxed=12003, #relaxed=50, #hardened=0 6.79/6.87 c BCD2: #sat=1 #unsat=11 bias=11/12 6.79/6.87 c Solving starts ... 6.79/6.87 c ============================[ Search Statistics ]============================ 6.79/6.87 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 6.79/6.87 c | | | | Limit GC | Var | Constra 6.79/6.87 c ============================================================================= 6.79/6.87 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 6.79/6.89 c 0.0s | 0 | 91 | 0 | 25148 0 | 6 | 6 6.79/6.89 c #cpu_time = 0.023s 6.79/6.89 c #wall_clock_time = 0.023s 6.79/6.89 c #decision = 91 6.79/6.89 c #random_decision = 0 6.79/6.89 c #conflict = 0 6.79/6.89 c #restart = 0 6.79/6.89 c BCD2: found a new core of size 42: cost of the new core is >=1314 6.79/6.89 c lower bound updated to 14576 7.28/7.35 c BCD2: refineUB: 21122165 -> 21121164 7.28/7.36 c BCD2: 14576 <= obj <= 21121164 7.28/7.36 c BCD2: #cores=10, #unrelaxed=11961, #relaxed=92, #hardened=0 7.28/7.36 c BCD2: #sat=1 #unsat=12 bias=12/13 7.28/7.36 c Solving starts ... 7.28/7.36 c ============================[ Search Statistics ]============================ 7.28/7.36 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.28/7.36 c | | | | Limit GC | Var | Constra 7.28/7.36 c ============================================================================= 7.28/7.36 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 7.28/7.38 c 0.0s | 0 | 93 | 0 | 25148 0 | 6 | 6 7.28/7.38 c #cpu_time = 0.021s 7.28/7.38 c #wall_clock_time = 0.021s 7.28/7.38 c #decision = 93 7.28/7.38 c #random_decision = 0 7.28/7.38 c #conflict = 0 7.28/7.38 c #restart = 0 7.28/7.38 c BCD2: found a new core of size 3: cost of the new core is >=1210 7.28/7.38 c lower bound updated to 15786 7.79/7.84 c BCD2: refineUB: 21122165 -> 21121164 7.79/7.84 c BCD2: 15786 <= obj <= 21121164 7.79/7.84 c BCD2: #cores=11, #unrelaxed=11958, #relaxed=95, #hardened=0 7.79/7.84 c BCD2: #sat=1 #unsat=13 bias=13/14 7.79/7.84 c Solving starts ... 7.79/7.84 c ============================[ Search Statistics ]============================ 7.79/7.84 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.79/7.84 c | | | | Limit GC | Var | Constra 7.79/7.84 c ============================================================================= 7.79/7.85 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 7.79/7.86 c 0.0s | 0 | 111 | 0 | 25148 0 | 6 | 6 7.79/7.86 c #cpu_time = 0.018s 7.79/7.86 c #wall_clock_time = 0.018s 7.79/7.86 c #decision = 111 7.79/7.86 c #random_decision = 0 7.79/7.86 c #conflict = 0 7.79/7.86 c #restart = 0 7.79/7.87 c BCD2: found a new core of size 24: cost of the new core is >=1262 7.79/7.87 c lower bound updated to 17048 8.28/8.33 c BCD2: refineUB: 21122165 -> 21121164 8.28/8.33 c BCD2: 17048 <= obj <= 21121164 8.28/8.33 c BCD2: #cores=12, #unrelaxed=11934, #relaxed=119, #hardened=0 8.28/8.33 c BCD2: #sat=1 #unsat=14 bias=14/15 8.28/8.33 c Solving starts ... 8.28/8.33 c ============================[ Search Statistics ]============================ 8.28/8.33 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.28/8.33 c | | | | Limit GC | Var | Constra 8.28/8.33 c ============================================================================= 8.28/8.33 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 8.28/8.35 c 0.0s | 0 | 120 | 0 | 25148 0 | 6 | 6 8.28/8.35 c #cpu_time = 0.021s 8.28/8.35 c #wall_clock_time = 0.021s 8.28/8.35 c #decision = 120 8.28/8.35 c #random_decision = 0 8.28/8.35 c #conflict = 0 8.28/8.35 c #restart = 0 8.28/8.35 c BCD2: found a new core of size 15: cost of the new core is >=1314 8.28/8.35 c lower bound updated to 18362 8.79/8.82 c BCD2: refineUB: 21122165 -> 21121164 8.79/8.82 c BCD2: 18362 <= obj <= 21121164 8.79/8.82 c BCD2: #cores=13, #unrelaxed=11919, #relaxed=134, #hardened=0 8.79/8.82 c BCD2: #sat=1 #unsat=15 bias=15/16 8.79/8.82 c Solving starts ... 8.79/8.82 c ============================[ Search Statistics ]============================ 8.79/8.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 8.79/8.82 c | | | | Limit GC | Var | Constra 8.79/8.82 c ============================================================================= 8.79/8.82 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 8.79/8.84 c 0.0s | 0 | 205 | 0 | 25148 0 | 6 | 6 8.79/8.84 c #cpu_time = 0.018s 8.79/8.84 c #wall_clock_time = 0.018s 8.79/8.84 c #decision = 205 8.79/8.84 c #random_decision = 0 8.79/8.84 c #conflict = 0 8.79/8.84 c #restart = 0 8.79/8.84 c BCD2: found a new core of size 3: cost of the new core is >=1618 8.79/8.84 c lower bound updated to 19980 9.28/9.31 c BCD2: refineUB: 21122165 -> 21121164 9.28/9.31 c BCD2: 19980 <= obj <= 21121164 9.28/9.31 c BCD2: #cores=14, #unrelaxed=11916, #relaxed=137, #hardened=0 9.28/9.31 c BCD2: #sat=1 #unsat=16 bias=16/17 9.28/9.31 c Solving starts ... 9.28/9.31 c ============================[ Search Statistics ]============================ 9.28/9.31 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.28/9.31 c | | | | Limit GC | Var | Constra 9.28/9.31 c ============================================================================= 9.28/9.31 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 9.28/9.33 c 0.0s | 0 | 326 | 0 | 25148 0 | 6 | 6 9.28/9.33 c #cpu_time = 0.022s 9.28/9.33 c #wall_clock_time = 0.022s 9.28/9.33 c #decision = 326 9.28/9.33 c #random_decision = 0 9.28/9.33 c #conflict = 0 9.28/9.33 c #restart = 0 9.28/9.33 c BCD2: found a new core of size 3: cost of the new core is >=1314 9.28/9.33 c lower bound updated to 21294 9.78/9.80 c BCD2: refineUB: 21122165 -> 21121164 9.78/9.80 c BCD2: 21294 <= obj <= 21121164 9.78/9.80 c BCD2: #cores=15, #unrelaxed=11913, #relaxed=140, #hardened=0 9.78/9.80 c BCD2: #sat=1 #unsat=17 bias=17/18 9.78/9.81 c Solving starts ... 9.78/9.81 c ============================[ Search Statistics ]============================ 9.78/9.81 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 9.78/9.81 c | | | | Limit GC | Var | Constra 9.78/9.81 c ============================================================================= 9.78/9.81 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 9.78/9.83 c 0.0s | 0 | 359 | 0 | 25148 0 | 6 | 6 9.78/9.83 c #cpu_time = 0.027s 9.78/9.83 c #wall_clock_time = 0.027s 9.78/9.83 c #decision = 359 9.78/9.83 c #random_decision = 0 9.78/9.83 c #conflict = 0 9.78/9.83 c #restart = 0 9.78/9.83 c BCD2: found a new core of size 9: cost of the new core is >=1184 9.78/9.83 c lower bound updated to 22478 10.18/10.29 c BCD2: refineUB: 21122165 -> 21121164 10.18/10.30 c BCD2: 22478 <= obj <= 21121164 10.18/10.30 c BCD2: #cores=16, #unrelaxed=11904, #relaxed=149, #hardened=0 10.18/10.30 c BCD2: #sat=1 #unsat=18 bias=18/19 10.28/10.30 c Solving starts ... 10.28/10.30 c ============================[ Search Statistics ]============================ 10.28/10.30 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.28/10.30 c | | | | Limit GC | Var | Constra 10.28/10.30 c ============================================================================= 10.28/10.30 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 10.28/10.32 c 0.0s | 0 | 397 | 0 | 25148 0 | 6 | 6 10.28/10.32 c #cpu_time = 0.020s 10.28/10.32 c #wall_clock_time = 0.020s 10.28/10.32 c #decision = 397 10.28/10.32 c #random_decision = 0 10.28/10.32 c #conflict = 0 10.28/10.32 c #restart = 0 10.28/10.32 c BCD2: found a new core of size 97: cost of the new core is >=1236 10.28/10.32 c lower bound updated to 23714 10.68/10.78 c BCD2: refineUB: 21122165 -> 21121164 10.68/10.78 c BCD2: 23714 <= obj <= 21121164 10.68/10.78 c BCD2: #cores=17, #unrelaxed=11807, #relaxed=246, #hardened=0 10.68/10.78 c BCD2: #sat=1 #unsat=19 bias=19/20 10.68/10.79 c Solving starts ... 10.68/10.79 c ============================[ Search Statistics ]============================ 10.68/10.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 10.68/10.79 c | | | | Limit GC | Var | Constra 10.68/10.79 c ============================================================================= 10.68/10.79 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 10.78/10.81 c 0.0s | 0 | 564 | 0 | 25148 0 | 6 | 6 10.78/10.81 c #cpu_time = 0.020s 10.78/10.81 c #wall_clock_time = 0.020s 10.78/10.81 c #decision = 564 10.78/10.81 c #random_decision = 0 10.78/10.81 c #conflict = 0 10.78/10.81 c #restart = 0 10.78/10.81 c BCD2: found a new core of size 21: cost of the new core is >=1274 10.78/10.81 c lower bound updated to 24988 11.18/11.27 c BCD2: refineUB: 21122165 -> 21121164 11.18/11.27 c BCD2: 24988 <= obj <= 21121164 11.18/11.27 c BCD2: #cores=18, #unrelaxed=11786, #relaxed=267, #hardened=0 11.18/11.27 c BCD2: #sat=1 #unsat=20 bias=20/21 11.18/11.29 c Solving starts ... 11.18/11.29 c ============================[ Search Statistics ]============================ 11.18/11.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.18/11.29 c | | | | Limit GC | Var | Constra 11.18/11.29 c ============================================================================= 11.18/11.29 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 11.28/11.31 c 0.0s | 0 | 599 | 0 | 25148 0 | 6 | 6 11.28/11.31 c #cpu_time = 0.021s 11.28/11.31 c #wall_clock_time = 0.021s 11.28/11.31 c #decision = 599 11.28/11.31 c #random_decision = 0 11.28/11.31 c #conflict = 0 11.28/11.31 c #restart = 0 11.28/11.31 c BCD2: found a new core of size 164: cost of the new core is >=1300 11.28/11.31 c lower bound updated to 26288 11.69/11.77 c BCD2: refineUB: 21122165 -> 21121164 11.69/11.78 c BCD2: 26288 <= obj <= 21121164 11.69/11.78 c BCD2: #cores=19, #unrelaxed=11622, #relaxed=431, #hardened=0 11.69/11.78 c BCD2: #sat=1 #unsat=21 bias=21/22 11.69/11.78 c Solving starts ... 11.69/11.78 c ============================[ Search Statistics ]============================ 11.69/11.78 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 11.69/11.78 c | | | | Limit GC | Var | Constra 11.69/11.78 c ============================================================================= 11.69/11.78 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 11.79/11.80 c 0.0s | 0 | 467 | 0 | 25148 0 | 6 | 6 11.79/11.80 c #cpu_time = 0.018s 11.79/11.80 c #wall_clock_time = 0.018s 11.79/11.80 c #decision = 467 11.79/11.80 c #random_decision = 0 11.79/11.80 c #conflict = 0 11.79/11.80 c #restart = 0 11.79/11.80 c BCD2: found a new core of size 15: cost of the new core is >=1332 11.79/11.80 c lower bound updated to 27620 12.19/12.26 c BCD2: refineUB: 21122165 -> 21121164 12.19/12.27 c BCD2: 27620 <= obj <= 21121164 12.19/12.27 c BCD2: #cores=20, #unrelaxed=11607, #relaxed=446, #hardened=0 12.19/12.27 c BCD2: #sat=1 #unsat=22 bias=22/23 12.19/12.27 c Solving starts ... 12.19/12.27 c ============================[ Search Statistics ]============================ 12.19/12.27 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.19/12.27 c | | | | Limit GC | Var | Constra 12.19/12.27 c ============================================================================= 12.19/12.27 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 12.19/12.29 c 0.0s | 0 | 503 | 0 | 25148 0 | 6 | 6 12.19/12.29 c #cpu_time = 0.022s 12.19/12.29 c #wall_clock_time = 0.022s 12.19/12.29 c #decision = 503 12.19/12.29 c #random_decision = 0 12.19/12.29 c #conflict = 0 12.19/12.29 c #restart = 0 12.19/12.29 c BCD2: found a new core of size 19: cost of the new core is >=1390 12.19/12.29 c lower bound updated to 29010 12.69/12.75 c BCD2: refineUB: 21122165 -> 21121164 12.69/12.75 c BCD2: 29010 <= obj <= 21121164 12.69/12.75 c BCD2: #cores=21, #unrelaxed=11588, #relaxed=465, #hardened=0 12.69/12.75 c BCD2: #sat=1 #unsat=23 bias=23/24 12.69/12.76 c Solving starts ... 12.69/12.76 c ============================[ Search Statistics ]============================ 12.69/12.76 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 12.69/12.76 c | | | | Limit GC | Var | Constra 12.69/12.76 c ============================================================================= 12.69/12.76 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 12.69/12.78 c 0.0s | 0 | 764 | 0 | 25148 0 | 6 | 6 12.69/12.78 c #cpu_time = 0.021s 12.69/12.78 c #wall_clock_time = 0.021s 12.69/12.78 c #decision = 764 12.69/12.78 c #random_decision = 0 12.69/12.78 c #conflict = 0 12.69/12.78 c #restart = 0 12.69/12.78 c BCD2: found a new core of size 3: cost of the new core is >=1314 12.69/12.78 c lower bound updated to 30324 13.19/13.24 c BCD2: refineUB: 21122165 -> 21121164 13.19/13.24 c BCD2: 30324 <= obj <= 21121164 13.19/13.24 c BCD2: #cores=22, #unrelaxed=11585, #relaxed=468, #hardened=0 13.19/13.24 c BCD2: #sat=1 #unsat=24 bias=24/25 13.19/13.25 c Solving starts ... 13.19/13.25 c ============================[ Search Statistics ]============================ 13.19/13.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.19/13.25 c | | | | Limit GC | Var | Constra 13.19/13.25 c ============================================================================= 13.19/13.25 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 13.19/13.27 c 0.0s | 0 | 858 | 0 | 25148 0 | 6 | 6 13.19/13.27 c #cpu_time = 0.022s 13.19/13.27 c #wall_clock_time = 0.022s 13.19/13.27 c #decision = 858 13.19/13.27 c #random_decision = 0 13.19/13.27 c #conflict = 0 13.19/13.27 c #restart = 0 13.19/13.27 c BCD2: found a new core of size 50: cost of the new core is >=1158 13.19/13.27 c lower bound updated to 31482 13.68/13.74 c BCD2: refineUB: 21122165 -> 21121164 13.68/13.74 c BCD2: 31482 <= obj <= 21121164 13.68/13.74 c BCD2: #cores=23, #unrelaxed=11535, #relaxed=518, #hardened=0 13.68/13.74 c BCD2: #sat=1 #unsat=25 bias=25/26 13.68/13.75 c Solving starts ... 13.68/13.75 c ============================[ Search Statistics ]============================ 13.68/13.75 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 13.68/13.75 c | | | | Limit GC | Var | Constra 13.68/13.75 c ============================================================================= 13.68/13.75 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 13.68/13.77 c 0.0s | 0 | 1254 | 0 | 25148 0 | 6 | 6 13.68/13.77 c #cpu_time = 0.021s 13.68/13.77 c #wall_clock_time = 0.021s 13.68/13.77 c #decision = 1254 13.68/13.77 c #random_decision = 0 13.68/13.77 c #conflict = 0 13.68/13.77 c #restart = 0 13.68/13.77 c BCD2: found a new core of size 3: cost of the new core is >=1701 13.68/13.77 c lower bound updated to 33183 14.18/14.24 c BCD2: refineUB: 21122165 -> 21121164 14.18/14.24 c BCD2: 33183 <= obj <= 21121164 14.18/14.24 c BCD2: #cores=24, #unrelaxed=11532, #relaxed=521, #hardened=0 14.18/14.24 c BCD2: #sat=1 #unsat=26 bias=26/27 14.18/14.25 c Solving starts ... 14.18/14.25 c ============================[ Search Statistics ]============================ 14.18/14.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.18/14.25 c | | | | Limit GC | Var | Constra 14.18/14.25 c ============================================================================= 14.18/14.25 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 14.18/14.28 c 0.0s | 0 | 1399 | 0 | 25148 0 | 6 | 6 14.18/14.28 c #cpu_time = 0.025s 14.18/14.28 c #wall_clock_time = 0.025s 14.18/14.28 c #decision = 1399 14.18/14.28 c #random_decision = 0 14.18/14.28 c #conflict = 0 14.18/14.28 c #restart = 0 14.18/14.28 c BCD2: found a new core of size 17: cost of the new core is >=1132 14.18/14.28 c lower bound updated to 34315 14.78/14.81 c BCD2: refineUB: 21122165 -> 21121164 14.78/14.81 c BCD2: 34315 <= obj <= 21121164 14.78/14.81 c BCD2: #cores=25, #unrelaxed=11515, #relaxed=538, #hardened=0 14.78/14.81 c BCD2: #sat=1 #unsat=27 bias=27/28 14.78/14.82 c Solving starts ... 14.78/14.82 c ============================[ Search Statistics ]============================ 14.78/14.82 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 14.78/14.82 c | | | | Limit GC | Var | Constra 14.78/14.82 c ============================================================================= 14.78/14.83 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 14.78/14.86 c 0.0s | 0 | 1434 | 0 | 25148 0 | 6 | 6 14.78/14.86 c #cpu_time = 0.030s 14.78/14.86 c #wall_clock_time = 0.030s 14.78/14.86 c #decision = 1434 14.78/14.86 c #random_decision = 0 14.78/14.86 c #conflict = 0 14.78/14.86 c #restart = 0 14.78/14.86 c BCD2: found a new core of size 9: cost of the new core is >=1236 14.78/14.86 c lower bound updated to 35551 15.28/15.32 c BCD2: refineUB: 21122165 -> 21121164 15.28/15.32 c BCD2: 35551 <= obj <= 21121164 15.28/15.32 c BCD2: #cores=26, #unrelaxed=11506, #relaxed=547, #hardened=0 15.28/15.32 c BCD2: #sat=1 #unsat=28 bias=28/29 15.28/15.34 c Solving starts ... 15.28/15.34 c ============================[ Search Statistics ]============================ 15.28/15.34 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.28/15.34 c | | | | Limit GC | Var | Constra 15.28/15.34 c ============================================================================= 15.28/15.34 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 15.28/15.38 c 0.0s | 0 | 1554 | 0 | 25148 0 | 6 | 6 15.28/15.38 c #cpu_time = 0.033s 15.28/15.38 c #wall_clock_time = 0.033s 15.28/15.38 c #decision = 1554 15.28/15.38 c #random_decision = 0 15.28/15.38 c #conflict = 0 15.28/15.38 c #restart = 0 15.28/15.38 c BCD2: found a new core of size 19: cost of the new core is >=1474 15.28/15.38 c lower bound updated to 37025 15.78/15.84 c BCD2: refineUB: 21122165 -> 21121164 15.78/15.84 c BCD2: 37025 <= obj <= 21121164 15.78/15.84 c BCD2: #cores=27, #unrelaxed=11487, #relaxed=566, #hardened=0 15.78/15.84 c BCD2: #sat=1 #unsat=29 bias=29/30 15.78/15.85 c Solving starts ... 15.78/15.85 c ============================[ Search Statistics ]============================ 15.78/15.85 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 15.78/15.85 c | | | | Limit GC | Var | Constra 15.78/15.85 c ============================================================================= 15.78/15.85 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 15.78/15.88 c 0.0s | 0 | 2780 | 0 | 25148 0 | 6 | 6 15.78/15.88 c #cpu_time = 0.034s 15.78/15.88 c #wall_clock_time = 0.034s 15.78/15.88 c #decision = 2780 15.78/15.88 c #random_decision = 0 15.78/15.88 c #conflict = 0 15.78/15.88 c #restart = 0 15.78/15.88 c BCD2: found a new core of size 9: cost of the new core is >=1358 15.78/15.88 c lower bound updated to 38383 16.28/16.35 c BCD2: refineUB: 21122165 -> 21121164 16.28/16.35 c BCD2: 38383 <= obj <= 21121164 16.28/16.35 c BCD2: #cores=28, #unrelaxed=11478, #relaxed=575, #hardened=0 16.28/16.35 c BCD2: #sat=1 #unsat=30 bias=30/31 16.28/16.35 c Solving starts ... 16.28/16.35 c ============================[ Search Statistics ]============================ 16.28/16.35 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.28/16.35 c | | | | Limit GC | Var | Constra 16.28/16.35 c ============================================================================= 16.28/16.35 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 16.28/16.39 c 0.0s | 0 | 2836 | 0 | 25148 0 | 6 | 6 16.28/16.39 c #cpu_time = 0.033s 16.28/16.39 c #wall_clock_time = 0.033s 16.28/16.39 c #decision = 2836 16.28/16.39 c #random_decision = 0 16.28/16.39 c #conflict = 0 16.28/16.39 c #restart = 0 16.28/16.39 c BCD2: found a new core of size 11: cost of the new core is >=1410 16.28/16.39 c lower bound updated to 39793 16.78/16.85 c BCD2: refineUB: 21122165 -> 21121164 16.78/16.85 c BCD2: 39793 <= obj <= 21121164 16.78/16.85 c BCD2: #cores=29, #unrelaxed=11467, #relaxed=586, #hardened=0 16.78/16.85 c BCD2: #sat=1 #unsat=31 bias=31/32 16.78/16.86 c Solving starts ... 16.78/16.86 c ============================[ Search Statistics ]============================ 16.78/16.86 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 16.78/16.86 c | | | | Limit GC | Var | Constra 16.78/16.86 c ============================================================================= 16.78/16.86 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 16.88/16.90 c 0.0s | 0 | 3112 | 0 | 25148 0 | 6 | 6 16.88/16.90 c #cpu_time = 0.042s 16.88/16.90 c #wall_clock_time = 0.042s 16.88/16.90 c #decision = 3112 16.88/16.90 c #random_decision = 0 16.88/16.90 c #conflict = 0 16.88/16.90 c #restart = 0 16.88/16.90 c BCD2: found a new core of size 89: cost of the new core is >=1236 16.88/16.90 c lower bound updated to 41029 17.28/17.36 c BCD2: refineUB: 21122165 -> 21121164 17.28/17.37 c BCD2: 41029 <= obj <= 21121164 17.28/17.37 c BCD2: #cores=30, #unrelaxed=11378, #relaxed=675, #hardened=0 17.28/17.37 c BCD2: #sat=1 #unsat=32 bias=32/33 17.28/17.37 c Solving starts ... 17.28/17.37 c ============================[ Search Statistics ]============================ 17.28/17.37 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.28/17.37 c | | | | Limit GC | Var | Constra 17.28/17.37 c ============================================================================= 17.28/17.37 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 17.38/17.42 c 0.0s | 0 | 4118 | 0 | 25148 0 | 6 | 6 17.38/17.42 c #cpu_time = 0.040s 17.38/17.42 c #wall_clock_time = 0.040s 17.38/17.42 c #decision = 4118 17.38/17.42 c #random_decision = 0 17.38/17.42 c #conflict = 0 17.38/17.42 c #restart = 0 17.38/17.42 c BCD2: found a new core of size 504: cost of the new core is >=1106 17.38/17.42 c lower bound updated to 42135 17.78/17.89 c BCD2: refineUB: 21122165 -> 21121164 17.78/17.89 c BCD2: 42135 <= obj <= 21121164 17.78/17.89 c BCD2: #cores=31, #unrelaxed=10874, #relaxed=1179, #hardened=0 17.78/17.89 c BCD2: #sat=1 #unsat=33 bias=33/34 17.88/17.90 c Solving starts ... 17.88/17.90 c ============================[ Search Statistics ]============================ 17.88/17.90 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 17.88/17.90 c | | | | Limit GC | Var | Constra 17.88/17.90 c ============================================================================= 17.88/17.90 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 17.88/17.95 c 0.0s | 0 | 4331 | 0 | 25148 0 | 6 | 6 17.88/17.95 c #cpu_time = 0.038s 17.88/17.95 c #wall_clock_time = 0.038s 17.88/17.95 c #decision = 4331 17.88/17.95 c #random_decision = 0 17.88/17.95 c #conflict = 0 17.88/17.95 c #restart = 0 17.88/17.95 c BCD2: found a new core of size 82: cost of the new core is >=1196 17.88/17.95 c lower bound updated to 43331 18.38/18.41 c BCD2: refineUB: 21122165 -> 21121164 18.38/18.41 c BCD2: 43331 <= obj <= 21121164 18.38/18.41 c BCD2: #cores=32, #unrelaxed=10792, #relaxed=1261, #hardened=0 18.38/18.41 c BCD2: #sat=1 #unsat=34 bias=34/35 18.38/18.43 c Solving starts ... 18.38/18.43 c ============================[ Search Statistics ]============================ 18.38/18.43 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.38/18.43 c | | | | Limit GC | Var | Constra 18.38/18.43 c ============================================================================= 18.38/18.43 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 18.38/18.49 c 0.1s | 0 | 6852 | 0 | 25148 0 | 6 | 6 18.38/18.49 c #cpu_time = 0.053s 18.38/18.49 c #wall_clock_time = 0.053s 18.38/18.49 c #decision = 6852 18.38/18.49 c #random_decision = 0 18.38/18.49 c #conflict = 0 18.38/18.49 c #restart = 0 18.48/18.50 c BCD2: found a new core of size 4044: cost of the new core is >=1080 18.48/18.50 c lower bound updated to 44411 18.88/18.98 c BCD2: refineUB: 21122165 -> 21121164 18.88/18.98 c BCD2: 44411 <= obj <= 21121164 18.88/18.98 c BCD2: #cores=33, #unrelaxed=6748, #relaxed=5305, #hardened=0 18.88/18.98 c BCD2: #sat=1 #unsat=35 bias=35/36 18.98/19.02 c Solving starts ... 18.98/19.02 c ============================[ Search Statistics ]============================ 18.98/19.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 18.98/19.02 c | | | | Limit GC | Var | Constra 18.98/19.02 c ============================================================================= 18.98/19.03 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 18.98/19.07 c 0.0s | 0 | 4488 | 0 | 25148 0 | 6 | 6 18.98/19.07 c #cpu_time = 0.037s 18.98/19.07 c #wall_clock_time = 0.037s 18.98/19.07 c #decision = 4488 18.98/19.07 c #random_decision = 0 18.98/19.07 c #conflict = 0 18.98/19.07 c #restart = 0 18.98/19.07 c BCD2: found a new core of size 486: cost of the new core is >=1170 18.98/19.07 c lower bound updated to 45581 19.48/19.54 c BCD2: refineUB: 21122165 -> 21121164 19.48/19.54 c BCD2: 45581 <= obj <= 21121164 19.48/19.54 c BCD2: #cores=34, #unrelaxed=6262, #relaxed=5791, #hardened=0 19.48/19.54 c BCD2: #sat=1 #unsat=36 bias=36/37 19.48/19.59 c Solving starts ... 19.48/19.59 c ============================[ Search Statistics ]============================ 19.48/19.59 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 19.48/19.59 c | | | | Limit GC | Var | Constra 19.48/19.59 c ============================================================================= 19.48/19.59 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 19.58/19.63 c 0.0s | 0 | 4079 | 0 | 25148 0 | 6 | 6 19.58/19.63 c #cpu_time = 0.041s 19.58/19.63 c #wall_clock_time = 0.041s 19.58/19.63 c #decision = 4079 19.58/19.63 c #random_decision = 0 19.58/19.63 c #conflict = 0 19.58/19.63 c #restart = 0 19.58/19.63 c BCD2: found a new core of size 7: cost of the new core is >=1618 19.58/19.63 c lower bound updated to 47199 19.98/20.09 c BCD2: refineUB: 21122165 -> 21121164 19.98/20.10 c BCD2: 47199 <= obj <= 21121164 20.08/20.10 c BCD2: #cores=35, #unrelaxed=6255, #relaxed=5798, #hardened=0 20.08/20.10 c BCD2: #sat=1 #unsat=37 bias=37/38 20.08/20.14 c Solving starts ... 20.08/20.14 c ============================[ Search Statistics ]============================ 20.08/20.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.08/20.14 c | | | | Limit GC | Var | Constra 20.08/20.14 c ============================================================================= 20.08/20.14 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 20.08/20.19 c 0.1s | 0 | 5031 | 0 | 25148 0 | 6 | 6 20.08/20.19 c #cpu_time = 0.047s 20.08/20.19 c #wall_clock_time = 0.047s 20.08/20.19 c #decision = 5031 20.08/20.19 c #random_decision = 0 20.08/20.19 c #conflict = 0 20.08/20.19 c #restart = 0 20.08/20.19 c BCD2: found a new core of size 9: cost of the new core is >=1288 20.08/20.19 c lower bound updated to 48487 20.58/20.66 c BCD2: refineUB: 21122165 -> 21121164 20.58/20.66 c BCD2: 48487 <= obj <= 21121164 20.58/20.66 c BCD2: #cores=36, #unrelaxed=6246, #relaxed=5807, #hardened=0 20.58/20.66 c BCD2: #sat=1 #unsat=38 bias=38/39 20.68/20.71 c Solving starts ... 20.68/20.71 c ============================[ Search Statistics ]============================ 20.68/20.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 20.68/20.71 c | | | | Limit GC | Var | Constra 20.68/20.71 c ============================================================================= 20.68/20.71 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 20.68/20.76 c 0.0s | 0 | 5056 | 0 | 25148 0 | 6 | 6 20.68/20.76 c #cpu_time = 0.045s 20.68/20.76 c #wall_clock_time = 0.045s 20.68/20.76 c #decision = 5056 20.68/20.76 c #random_decision = 0 20.68/20.76 c #conflict = 0 20.68/20.76 c #restart = 0 20.68/20.76 c BCD2: found a new core of size 39: cost of the new core is >=1132 20.68/20.76 c lower bound updated to 49619 21.18/21.22 c BCD2: refineUB: 21122165 -> 21121164 21.18/21.22 c BCD2: 49619 <= obj <= 21121164 21.18/21.22 c BCD2: #cores=37, #unrelaxed=6207, #relaxed=5846, #hardened=0 21.18/21.22 c BCD2: #sat=1 #unsat=39 bias=39/40 21.18/21.26 c Solving starts ... 21.18/21.26 c ============================[ Search Statistics ]============================ 21.18/21.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.18/21.26 c | | | | Limit GC | Var | Constra 21.18/21.26 c ============================================================================= 21.18/21.26 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 21.28/21.32 c 0.1s | 0 | 5283 | 0 | 25148 0 | 6 | 6 21.28/21.32 c #cpu_time = 0.057s 21.28/21.32 c #wall_clock_time = 0.057s 21.28/21.32 c #decision = 5283 21.28/21.32 c #random_decision = 0 21.28/21.32 c #conflict = 0 21.28/21.32 c #restart = 0 21.28/21.32 c BCD2: found a new core of size 7: cost of the new core is >=1653 21.28/21.32 c lower bound updated to 51272 21.68/21.78 c BCD2: refineUB: 21122165 -> 21121164 21.68/21.78 c BCD2: 51272 <= obj <= 21121164 21.68/21.78 c BCD2: #cores=38, #unrelaxed=6200, #relaxed=5853, #hardened=0 21.68/21.78 c BCD2: #sat=1 #unsat=40 bias=40/41 21.78/21.83 c Solving starts ... 21.78/21.83 c ============================[ Search Statistics ]============================ 21.78/21.83 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 21.78/21.83 c | | | | Limit GC | Var | Constra 21.78/21.83 c ============================================================================= 21.78/21.83 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 21.78/21.88 c 0.1s | 0 | 5346 | 0 | 25148 0 | 6 | 6 21.78/21.88 c #cpu_time = 0.049s 21.78/21.88 c #wall_clock_time = 0.049s 21.78/21.88 c #decision = 5346 21.78/21.88 c #random_decision = 0 21.78/21.88 c #conflict = 0 21.78/21.88 c #restart = 0 21.78/21.88 c BCD2: found a new core of size 39: cost of the new core is >=1184 21.78/21.88 c lower bound updated to 52456 22.28/22.35 c BCD2: refineUB: 21122165 -> 21121164 22.28/22.35 c BCD2: 52456 <= obj <= 21121164 22.28/22.35 c BCD2: #cores=39, #unrelaxed=6161, #relaxed=5892, #hardened=0 22.28/22.35 c BCD2: #sat=1 #unsat=41 bias=41/42 22.28/22.39 c Solving starts ... 22.28/22.39 c ============================[ Search Statistics ]============================ 22.28/22.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 22.28/22.39 c | | | | Limit GC | Var | Constra 22.28/22.39 c ============================================================================= 22.38/22.40 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 22.38/22.46 c 0.1s | 0 | 6193 | 0 | 25148 0 | 6 | 6 22.38/22.46 c #cpu_time = 0.056s 22.38/22.46 c #wall_clock_time = 0.056s 22.38/22.46 c #decision = 6193 22.38/22.46 c #random_decision = 0 22.38/22.46 c #conflict = 0 22.38/22.46 c #restart = 0 22.38/22.46 c BCD2: found a new core of size 537: cost of the new core is >=1002 22.38/22.46 c lower bound updated to 53458 22.98/23.01 c BCD2: refineUB: 21122165 -> 21121164 22.98/23.01 c BCD2: 53458 <= obj <= 21121164 22.98/23.01 c BCD2: #cores=40, #unrelaxed=5624, #relaxed=6429, #hardened=0 22.98/23.01 c BCD2: #sat=1 #unsat=42 bias=42/43 22.98/23.05 c Solving starts ... 22.98/23.05 c ============================[ Search Statistics ]============================ 22.98/23.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 22.98/23.05 c | | | | Limit GC | Var | Constra 22.98/23.05 c ============================================================================= 22.98/23.06 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 23.09/23.16 c 0.1s | 0 | 11846 | 0 | 25148 0 | 6 | 6 23.09/23.16 c #cpu_time = 0.086s 23.09/23.16 c #wall_clock_time = 0.086s 23.09/23.16 c #decision = 11846 23.09/23.16 c #random_decision = 10 23.09/23.16 c #conflict = 0 23.09/23.16 c #restart = 0 23.09/23.17 o 107516 23.09/23.18 c BCD2: updating upper bound: 21121164 -> 107515 23.19/23.24 c BCD2: 53458 <= obj <= 107515 23.19/23.24 c BCD2: #cores=40, #unrelaxed=5624, #relaxed=6429, #hardened=0 23.19/23.24 c BCD2: #sat=2 #unsat=42 bias=42/44 68.27/68.39 c Solving starts ... 68.27/68.39 c ============================[ Search Statistics ]============================ 68.27/68.39 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 68.27/68.39 c | | | | Limit GC | Var | Constra 68.27/68.39 c ============================================================================= 68.27/68.39 c 0.0s | 0 | 0 | 0 | 25148 0 | 6 | 6 68.46/68.53 c 0.1s | 0 | 54 | 0 | 25148 0 | 6 | 6 68.46/68.53 c #cpu_time = 0.140s 68.46/68.53 c #wall_clock_time = 0.140s 68.46/68.53 c #decision = 54 68.46/68.53 c #random_decision = 0 68.46/68.53 c #conflict = 0 68.46/68.53 c #restart = 0 68.46/68.53 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=1288 68.46/68.53 c BCD2: refineLB: 1285 -> 1288 68.46/68.53 c lower bound updated to 53536 68.46/68.54 c BCD2: 53536 <= obj <= 107515 68.46/68.54 c BCD2: #cores=40, #unrelaxed=5623, #relaxed=6430, #hardened=0 68.46/68.54 c BCD2: #sat=2 #unsat=43 bias=43/45 152.63/152.71 c Solving starts ... 152.63/152.71 c ============================[ Search Statistics ]============================ 152.63/152.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 152.63/152.71 c | | | | Limit GC | Var | Constra 152.63/152.71 c ============================================================================= 152.63/152.71 c 0.0s | 0 | 0 | 0 | 25148 0 | 37 | 6 152.63/152.75 c 0.0s | 0 | 71 | 0 | 25148 0 | 37 | 67 152.63/152.75 c #cpu_time = 0.047s 152.63/152.75 c #wall_clock_time = 0.047s 152.63/152.75 c #decision = 71 152.63/152.75 c #random_decision = 0 152.63/152.75 c #conflict = 0 152.63/152.75 c #restart = 0 152.63/152.75 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 7: cost of the new core is >=2959 152.63/152.75 c BCD2: refineLB: 2933 -> 2959 152.63/152.75 c lower bound updated to 53563 152.63/152.76 c BCD2: 53563 <= obj <= 107515 152.63/152.76 c BCD2: #cores=39, #unrelaxed=5622, #relaxed=6431, #hardened=0 152.63/152.76 c BCD2: #sat=2 #unsat=44 bias=44/46 227.51/227.60 c Solving starts ... 227.51/227.60 c ============================[ Search Statistics ]============================ 227.51/227.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 227.51/227.60 c | | | | Limit GC | Var | Constra 227.51/227.60 c ============================================================================= 227.51/227.60 c 0.0s | 0 | 0 | 0 | 25148 0 | 93 | 67 227.51/227.65 c 0.0s | 0 | 121 | 0 | 25148 0 | 93 | 178 227.51/227.65 c #cpu_time = 0.048s 227.51/227.65 c #wall_clock_time = 0.048s 227.51/227.65 c #decision = 121 227.51/227.65 c #random_decision = 0 227.51/227.65 c #conflict = 0 227.51/227.65 c #restart = 0 227.51/227.65 c BCD2: relaxing 1 and merging with 1 cores into a new core of size 16: cost of the new core is >=1384 227.51/227.65 c BCD2: refineLB: 1382 -> 1384 227.51/227.65 c lower bound updated to 53615 227.51/227.65 c BCD2: 53615 <= obj <= 107515 227.51/227.65 c BCD2: #cores=39, #unrelaxed=5621, #relaxed=6432, #hardened=0 227.51/227.65 c BCD2: #sat=2 #unsat=45 bias=45/47 238.81/238.96 c Solving starts ... 238.81/238.96 c ============================[ Search Statistics ]============================ 238.81/238.96 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 238.81/238.96 c | | | | Limit GC | Var | Constra 238.81/238.96 c ============================================================================= 238.81/238.96 c 0.0s | 0 | 0 | 0 | 25148 0 | 115 | 178 238.91/239.09 c 0.1s | 0 | 17974 | 57 | 25148 0 | 115 | 221 238.91/239.09 c #cpu_time = 0.127s 238.91/239.09 c #wall_clock_time = 0.127s 238.91/239.09 c #decision = 17974 238.91/239.09 c #random_decision = 1 238.91/239.09 c #conflict = 57 238.91/239.09 c #restart = 0 239.01/239.11 c BCD2: relaxing 118 and merging with 7 cores into a new core of size 831: cost of the new core is >=8523 239.01/239.11 c lower bound updated to 53616 239.01/239.14 c BCD2: 53616 <= obj <= 107515 239.01/239.14 c BCD2: #cores=33, #unrelaxed=5503, #relaxed=6550, #hardened=0 239.01/239.14 c BCD2: #sat=2 #unsat=46 bias=46/48 261.40/261.56 c Solving starts ... 261.40/261.56 c ============================[ Search Statistics ]============================ 261.40/261.56 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 261.40/261.56 c | | | | Limit GC | Var | Constra 261.40/261.56 c ============================================================================= 261.40/261.56 c 0.0s | 0 | 0 | 0 | 25148 0 | 215 | 221 262.00/262.13 c 0.6s | 1 | 37854 | 100 | 27663 0 | 215 | 425 262.70/262.81 c 1.2s | 2 | 45417 | 250 | 30430 0 | 215 | 425 264.01/264.17 c 2.6s | 3 | 65135 | 475 | 33473 0 | 215 | 425 265.70/265.86 c 4.3s | 4 | 82638 | 813 | 36821 0 | 215 | 425 267.90/268.05 c 6.5s | 4 | 98473 | 1213 | 36821 0 | 215 | 425 268.20/268.31 c 6.7s | 5 | 99871 | 1320 | 40504 0 | 215 | 425 270.20/270.38 c 8.8s | 5 | 113448 | 1720 | 40504 0 | 215 | 425 272.10/272.27 c 10.7s | 6 | 120084 | 2081 | 44555 0 | 215 | 425 274.20/274.32 c 12.8s | 6 | 133230 | 2481 | 44555 0 | 215 | 425 276.60/276.75 c 15.2s | 6 | 162052 | 3081 | 44555 0 | 215 | 425 277.50/277.64 c 16.1s | 7 | 175486 | 3223 | 49011 0 | 215 | 425 279.70/279.85 c 18.3s | 7 | 201055 | 3623 | 49011 0 | 215 | 425 282.20/282.37 c 20.8s | 7 | 216338 | 4123 | 49011 0 | 215 | 425 284.70/284.81 c 23.2s | 7 | 227851 | 4623 | 49011 0 | 215 | 425 286.40/286.55 c 25.0s | 8 | 232942 | 4936 | 53913 0 | 215 | 425 288.80/288.98 c 27.4s | 8 | 260716 | 5336 | 53913 0 | 215 | 425 291.00/291.11 c 29.6s | 8 | 276609 | 5736 | 53913 0 | 215 | 425 293.39/293.54 c 32.0s | 8 | 283842 | 6136 | 53913 0 | 215 | 425 295.69/295.90 c 34.3s | 8 | 291818 | 6536 | 53913 0 | 215 | 425 298.19/298.34 c 36.8s | 8 | 303379 | 7036 | 53913 0 | 215 | 425 300.20/300.40 c 38.8s | 8 | 308696 | 7436 | 59305 0 | 215 | 425 300.49/300.65 c 39.1s | 9 | 308940 | 7506 | 59305 0 | 215 | 425 302.59/302.78 c 41.2s | 9 | 317661 | 8006 | 59305 0 | 215 | 425 304.89/305.09 c 43.5s | 9 | 325053 | 8406 | 59305 0 | 215 | 425 307.19/307.32 c 45.8s | 9 | 334375 | 8806 | 59305 0 | 215 | 425 309.59/309.79 c 48.2s | 9 | 344132 | 9306 | 59305 0 | 215 | 425 312.09/312.23 c 50.7s | 9 | 352798 | 9806 | 59305 0 | 215 | 425 314.38/314.59 c 53.0s | 9 | 366314 | 10306 | 59305 0 | 215 | 425 316.58/316.77 c 55.2s | 9 | 384362 | 10806 | 59305 0 | 215 | 425 318.99/319.13 c 57.6s | 9 | 388859 | 11306 | 65236 0 | 215 | 425 319.28/319.40 c 57.8s | 10 | 391494 | 11361 | 65236 0 | 215 | 425 321.68/321.80 c 60.2s | 10 | 402615 | 11761 | 65236 0 | 215 | 425 323.68/323.86 c 62.3s | 10 | 409379 | 12161 | 65236 0 | 215 | 425 325.78/325.94 c 64.4s | 10 | 417552 | 12561 | 65236 0 | 215 | 425 328.08/328.27 c 66.7s | 10 | 424326 | 13061 | 65236 0 | 215 | 425 330.08/330.28 c 68.7s | 10 | 430950 | 13361 | 65236 0 | 215 | 425 332.48/332.60 c 71.0s | 10 | 443619 | 13761 | 65236 0 | 215 | 425 334.48/334.69 c 73.1s | 10 | 450717 | 14161 | 65236 0 | 215 | 425 336.68/336.84 c 75.3s | 10 | 465884 | 14661 | 65236 0 | 215 | 425 339.08/339.20 c 77.6s | 10 | 481486 | 15061 | 65236 0 | 215 | 425 341.68/341.82 c 80.3s | 10 | 488715 | 15561 | 65236 0 | 215 | 425 344.18/344.33 c 82.8s | 10 | 496040 | 15961 | 65236 0 | 215 | 425 346.48/346.61 c 85.1s | 10 | 502468 | 16461 | 65236 0 | 215 | 425 348.48/348.69 c 87.1s | 10 | 510697 | 16861 | 65236 0 | 215 | 425 349.87/350.03 c 88.5s | 11 | 514548 | 17144 | 71760 0 | 215 | 425 352.07/352.25 c 90.7s | 11 | 527668 | 17544 | 71760 0 | 215 | 425 354.37/354.58 c 93.0s | 11 | 535607 | 18044 | 71760 0 | 215 | 425 356.47/356.68 c 95.1s | 11 | 548248 | 18444 | 71760 0 | 215 | 425 358.58/358.75 c 97.2s | 11 | 552767 | 18944 | 71760 0 | 215 | 425 360.57/360.79 c 99.2s | 11 | 556204 | 19344 | 71760 0 | 215 | 425 362.98/363.12 c 101s | 11 | 562739 | 19844 | 71760 0 | 215 | 425 365.08/365.29 c 103s | 11 | 569113 | 20244 | 71760 0 | 215 | 425 367.47/367.69 c 106s | 11 | 584424 | 20744 | 71760 0 | 215 | 425 369.58/369.75 c 108s | 11 | 600186 | 21144 | 71760 0 | 215 | 425 371.78/371.94 c 110s | 11 | 607259 | 21544 | 71760 0 | 215 | 425 374.07/374.22 c 112s | 11 | 612504 | 21944 | 71760 0 | 215 | 425 376.57/376.71 c 115s | 11 | 623172 | 22444 | 71760 0 | 215 | 425 378.67/378.81 c 117s | 11 | 630212 | 22844 | 71760 0 | 215 | 425 380.67/380.84 c 119s | 11 | 638962 | 23244 | 71760 0 | 215 | 425 382.97/383.18 c 121s | 11 | 647106 | 23744 | 71760 0 | 215 | 425 385.48/385.62 c 124s | 11 | 655665 | 24144 | 71760 0 | 215 | 425 387.78/387.92 c 126s | 11 | 665351 | 24544 | 71760 0 | 215 | 425 390.08/390.20 c 128s | 11 | 675146 | 24944 | 71760 0 | 215 | 425 392.48/392.60 c 131s | 11 | 681587 | 25344 | 71760 0 | 215 | 425 394.78/394.93 c 133s | 11 | 688364 | 25744 | 78936 0 | 215 | 425 395.17/395.39 c 133s | 12 | 690623 | 25819 | 78936 0 | 215 | 425 397.47/397.62 c 136s | 12 | 701731 | 26219 | 78936 0 | 215 | 425 399.57/399.70 c 138s | 12 | 711295 | 26619 | 78936 0 | 215 | 425 402.07/402.26 c 140s | 12 | 722110 | 27119 | 78936 0 | 215 | 425 404.78/404.92 c 143s | 12 | 731089 | 27519 | 78936 0 | 215 | 425 406.98/407.13 c 145s | 12 | 743183 | 27819 | 78936 0 | 215 | 425 409.18/409.34 c 147s | 12 | 758066 | 28319 | 78936 0 | 215 | 425 411.17/411.40 c 149s | 12 | 768879 | 28619 | 78936 0 | 215 | 425 413.77/413.90 c 152s | 12 | 785389 | 29019 | 78936 0 | 215 | 425 416.07/416.22 c 154s | 12 | 792258 | 29419 | 78936 0 | 215 | 425 418.17/418.38 c 156s | 12 | 800271 | 29819 | 78936 0 | 215 | 425 420.27/420.44 c 158s | 12 | 813820 | 30219 | 78936 0 | 215 | 425 422.38/422.56 c 161s | 12 | 820735 | 30619 | 78936 0 | 215 | 425 425.07/425.20 c 163s | 12 | 833379 | 31119 | 78936 0 | 215 | 425 427.37/427.52 c 165s | 12 | 839388 | 31519 | 78936 0 | 215 | 425 429.37/429.59 c 168s | 12 | 844782 | 32019 | 78936 0 | 215 | 425 431.67/431.89 c 170s | 12 | 855063 | 32319 | 78936 0 | 215 | 425 434.07/434.29 c 172s | 12 | 867154 | 32719 | 78936 0 | 215 | 425 436.47/436.63 c 175s | 12 | 872172 | 33119 | 78936 0 | 215 | 425 439.07/439.21 c 177s | 12 | 876938 | 33519 | 78936 0 | 215 | 425 441.36/441.50 c 179s | 12 | 884534 | 33819 | 78936 0 | 215 | 425 443.66/443.84 c 182s | 12 | 889298 | 34419 | 78936 0 | 215 | 425 445.96/446.10 c 184s | 12 | 897602 | 34819 | 78936 0 | 215 | 425 448.16/448.39 c 186s | 12 | 906050 | 35219 | 78936 0 | 215 | 425 450.46/450.68 c 189s | 12 | 911146 | 35619 | 78936 0 | 215 | 425 452.56/452.76 c 191s | 12 | 915516 | 36019 | 78936 0 | 215 | 425 454.86/455.06 c 193s | 12 | 923724 | 36419 | 78936 0 | 215 | 425 457.06/457.23 c 195s | 12 | 929728 | 36819 | 78936 0 | 215 | 425 459.36/459.59 c 198s | 12 | 934377 | 37219 | 78936 0 | 215 | 425 462.06/462.26 c 200s | 12 | 945916 | 37619 | 78936 0 | 215 | 425 464.17/464.36 c 202s | 12 | 951742 | 38019 | 78936 0 | 215 | 425 466.46/466.64 c 205s | 12 | 958061 | 38419 | 78936 0 | 215 | 425 468.86/469.06 c 207s | 12 | 962326 | 38819 | 86830 0 | 215 | 425 468.96/469.10 c 207s | 13 | 962399 | 38832 | 86830 0 | 215 | 425 471.06/471.23 c 209s | 13 | 974473 | 39132 | 86830 0 | 215 | 425 473.06/473.24 c 211s | 13 | 981134 | 39532 | 86830 0 | 215 | 425 475.36/475.58 c 214s | 13 | 986479 | 39932 | 86830 0 | 215 | 425 477.46/477.68 c 216s | 13 | 990741 | 40332 | 86830 0 | 215 | 425 479.66/479.86 c 218s | 13 | 994524 | 40732 | 86830 0 | 215 | 425 481.76/481.94 c 220s | 13 | 996239 | 41132 | 86830 0 | 215 | 425 483.96/484.19 c 222s | 13 | 1000216 | 41532 | 86830 0 | 215 | 425 485.95/486.20 c 224s | 13 | 1002945 | 41832 | 86830 0 | 215 | 425 488.26/488.45 c 226s | 13 | 1012229 | 42332 | 86830 0 | 215 | 425 490.35/490.59 c 229s | 13 | 1018175 | 42732 | 86830 0 | 215 | 425 492.95/493.12 c 231s | 13 | 1026330 | 43132 | 86830 0 | 215 | 425 495.55/495.76 c 234s | 13 | 1035046 | 43632 | 86830 0 | 215 | 425 497.75/497.91 c 236s | 13 | 1037774 | 44032 | 86830 0 | 215 | 425 500.15/500.31 c 238s | 13 | 1040829 | 44532 | 86830 0 | 215 | 425 502.56/502.71 c 241s | 13 | 1047048 | 44932 | 86830 0 | 215 | 425 504.55/504.72 c 243s | 13 | 1056837 | 45232 | 86830 0 | 215 | 425 507.15/507.39 c 245s | 13 | 1061864 | 45632 | 86830 0 | 215 | 425 509.75/509.90 c 248s | 13 | 1067947 | 46132 | 86830 0 | 215 | 425 511.85/512.04 c 250s | 13 | 1079223 | 46532 | 86830 0 | 215 | 425 514.05/514.27 c 252s | 13 | 1084528 | 46932 | 86830 0 | 215 | 425 516.25/516.41 c 254s | 13 | 1087987 | 47432 | 86830 0 | 215 | 425 518.65/518.88 c 257s | 13 | 1094656 | 47832 | 86830 0 | 215 | 425 521.05/521.20 c 259s | 13 | 1100403 | 48232 | 86830 0 | 215 | 425 523.35/523.56 c 261s | 13 | 1107545 | 48732 | 86830 0 | 215 | 425 525.65/525.83 c 264s | 13 | 1112738 | 49032 | 86830 0 | 215 | 425 527.95/528.11 c 266s | 13 | 1116696 | 49432 | 86830 0 | 215 | 425 529.94/530.13 c 268s | 13 | 1126353 | 49732 | 86830 0 | 215 | 425 531.94/532.13 c 270s | 13 | 1131023 | 50032 | 86830 0 | 215 | 425 533.94/534.18 c 272s | 13 | 1136943 | 50332 | 86830 0 | 215 | 425 536.04/536.29 c 274s | 13 | 1142516 | 50632 | 86830 0 | 215 | 425 538.34/538.54 c 276s | 13 | 1155058 | 50932 | 86830 0 | 215 | 425 540.44/540.69 c 279s | 13 | 1168669 | 51232 | 86830 0 | 215 | 425 541.34/541.56 c 280s | 13 | 1170199 | 51492 | 86830 0 | 215 | 425 541.34/541.56 c #cpu_time = 279.973s 541.34/541.56 c #wall_clock_time = 279.983s 541.34/541.56 c #decision = 1170199 541.34/541.56 c #random_decision = 2459 541.34/541.56 c #conflict = 51492 541.34/541.56 c #restart = 13 541.34/541.56 o 95207 541.34/541.57 c BCD2: updating upper bound: 107515 -> 95206 541.44/541.66 c BCD2: 53616 <= obj <= 95206 541.44/541.66 c BCD2: #cores=33, #unrelaxed=5503, #relaxed=6550, #hardened=0 541.44/541.66 c BCD2: #sat=3 #unsat=46 bias=46/49 552.74/552.98 c Solving starts ... 552.74/552.98 c ============================[ Search Statistics ]============================ 552.74/552.98 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 552.74/552.98 c | | | | Limit GC | Var | Constra 552.74/552.98 c ============================================================================= 552.74/552.98 c 0.0s | 0 | 0 | 0 | 86830 0 | 215 | 426 553.25/553.45 c 0.5s | 0 | 34 | 0 | 86830 0 | 215 | 426 553.25/553.45 c #cpu_time = 0.472s 553.25/553.45 c #wall_clock_time = 0.472s 553.25/553.45 c #decision = 34 553.25/553.45 c #random_decision = 0 553.25/553.45 c #conflict = 0 553.25/553.45 c #restart = 0 553.25/553.45 c BCD2: relaxing 2 and merging with 3 cores into a new core of size 21: cost of the new core is >=4348 553.25/553.45 c lower bound updated to 53617 553.25/553.46 c BCD2: 53617 <= obj <= 95206 553.25/553.46 c BCD2: #cores=31, #unrelaxed=5501, #relaxed=6552, #hardened=0 553.25/553.46 c BCD2: #sat=3 #unsat=47 bias=47/50 563.34/563.60 c Solving starts ... 563.34/563.60 c ============================[ Search Statistics ]============================ 563.34/563.60 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 563.34/563.60 c | | | | Limit GC | Var | Constra 563.34/563.60 c ============================================================================= 563.34/563.60 c 0.0s | 0 | 0 | 0 | 86830 0 | 293 | 426 563.84/564.07 c 0.5s | 0 | 60 | 0 | 86830 0 | 293 | 583 563.84/564.07 c #cpu_time = 0.472s 563.84/564.07 c #wall_clock_time = 0.472s 563.84/564.07 c #decision = 60 563.84/564.07 c #random_decision = 0 563.84/564.07 c #conflict = 0 563.84/564.07 c #restart = 0 563.84/564.07 c BCD2: relaxing 4 and merging with 2 cores into a new core of size 36: cost of the new core is >=2620 563.84/564.07 c BCD2: refineLB: 2615 -> 2620 563.84/564.07 c lower bound updated to 53713 563.84/564.07 c BCD2: 53713 <= obj <= 95206 563.84/564.07 c BCD2: #cores=30, #unrelaxed=5497, #relaxed=6556, #hardened=0 563.84/564.07 c BCD2: #sat=3 #unsat=48 bias=48/51 597.03/597.25 c Solving starts ... 597.03/597.25 c ============================[ Search Statistics ]============================ 597.03/597.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 597.03/597.25 c | | | | Limit GC | Var | Constra 597.03/597.25 c ============================================================================= 597.03/597.25 c 0.0s | 0 | 0 | 0 | 86830 0 | 358 | 583 597.53/597.73 c 0.5s | 0 | 232 | 0 | 86830 0 | 358 | 715 597.53/597.73 c #cpu_time = 0.476s 597.53/597.73 c #wall_clock_time = 0.476s 597.53/597.73 c #decision = 232 597.53/597.73 c #random_decision = 0 597.53/597.73 c #conflict = 0 597.53/597.73 c #restart = 0 597.53/597.73 c BCD2: relaxing 1 and merging with 2 cores into a new core of size 27: cost of the new core is >=4442 597.53/597.73 c BCD2: refineLB: 4434 -> 4442 597.53/597.73 c lower bound updated to 53722 597.53/597.73 c BCD2: 53722 <= obj <= 95206 597.53/597.73 c BCD2: #cores=29, #unrelaxed=5496, #relaxed=6557, #hardened=0 597.53/597.73 c BCD2: #sat=3 #unsat=49 bias=49/52 597.63/597.80 c Solving starts ... 597.63/597.80 c ============================[ Search Statistics ]============================ 597.63/597.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 597.63/597.80 c | | | | Limit GC | Var | Constra 597.63/597.80 c ============================================================================= 597.63/597.81 c 0.0s | 0 | 0 | 0 | 86830 0 | 379 | 715 598.03/598.29 c 0.5s | 0 | 526 | 0 | 86830 0 | 379 | 756 598.03/598.29 c #cpu_time = 0.476s 598.03/598.29 c #wall_clock_time = 0.476s 598.03/598.29 c #decision = 526 598.03/598.29 c #random_decision = 0 598.03/598.29 c #conflict = 0 598.03/598.29 c #restart = 0 598.03/598.29 c BCD2: relaxing 5 and merging with 1 cores into a new core of size 94: cost of the new core is >=1468 598.03/598.29 c BCD2: refineLB: 1455 -> 1468 598.03/598.29 c lower bound updated to 53954 598.03/598.29 c BCD2: 53954 <= obj <= 95206 598.03/598.29 c BCD2: #cores=29, #unrelaxed=5491, #relaxed=6562, #hardened=0 598.03/598.29 c BCD2: #sat=3 #unsat=50 bias=50/53 605.03/605.29 c Solving starts ... 605.03/605.29 c ============================[ Search Statistics ]============================ 605.03/605.29 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 605.03/605.29 c | | | | Limit GC | Var | Constra 605.03/605.29 c ============================================================================= 605.03/605.29 c 0.0s | 0 | 0 | 0 | 86830 0 | 396 | 756 605.53/605.78 c 0.5s | 0 | 4900 | 0 | 86830 0 | 396 | 793 605.53/605.78 c #cpu_time = 0.492s 605.53/605.78 c #wall_clock_time = 0.492s 605.53/605.78 c #decision = 4900 605.53/605.78 c #random_decision = 0 605.53/605.78 c #conflict = 0 605.53/605.78 c #restart = 0 605.53/605.79 c BCD2: relaxing 4 and merging with 3 cores into a new core of size 132: cost of the new core is >=4277 605.53/605.79 c lower bound updated to 54198 605.64/605.80 c BCD2: 54198 <= obj <= 95206 605.64/605.80 c BCD2: #cores=27, #unrelaxed=5487, #relaxed=6566, #hardened=0 605.64/605.80 c BCD2: #sat=3 #unsat=51 bias=51/54 619.04/619.25 c Solving starts ... 619.04/619.25 c ============================[ Search Statistics ]============================ 619.04/619.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 619.04/619.25 c | | | | Limit GC | Var | Constra 619.04/619.25 c ============================================================================= 619.04/619.25 c 0.0s | 0 | 0 | 0 | 86830 0 | 427 | 793 620.14/620.32 c 1.1s | 1 | 8567 | 100 | 86830 0 | 427 | 863 621.54/621.74 c 2.5s | 2 | 16201 | 250 | 86830 0 | 427 | 863 623.14/623.34 c 4.1s | 3 | 26848 | 475 | 86830 0 | 427 | 863 625.33/625.58 c 6.3s | 3 | 39155 | 775 | 86830 0 | 427 | 863 625.63/625.88 c 6.6s | 4 | 39243 | 813 | 86830 0 | 427 | 863 627.83/628.10 c 8.8s | 4 | 48466 | 1213 | 86830 0 | 427 | 863 628.53/628.73 c 9.5s | 5 | 52121 | 1320 | 86830 0 | 427 | 863 630.83/631.07 c 11.8s | 5 | 61947 | 1620 | 86830 0 | 427 | 863 632.93/633.13 c 13.9s | 6 | 69771 | 2081 | 86830 0 | 427 | 863 634.93/635.15 c 15.9s | 6 | 78539 | 2381 | 86830 0 | 427 | 863 637.33/637.55 c 18.3s | 6 | 85928 | 2781 | 86830 0 | 427 | 863 639.23/639.44 c 20.2s | 7 | 90037 | 3223 | 86830 0 | 427 | 863 641.73/641.98 c 22.7s | 7 | 99991 | 3623 | 86830 0 | 427 | 863 644.13/644.36 c 25.1s | 7 | 105633 | 4123 | 86830 0 | 427 | 863 646.43/646.66 c 27.4s | 7 | 115631 | 4623 | 86830 0 | 427 | 863 648.63/648.89 c 29.6s | 7 | 116917 | 4923 | 86830 0 | 427 | 863 648.73/648.91 c 29.7s | 7 | 121799 | 4930 | 86830 0 | 427 | 863 648.73/648.91 c #cpu_time = 29.660s 648.73/648.91 c #wall_clock_time = 29.659s 648.73/648.91 c #decision = 121799 648.73/648.91 c #random_decision = 151 648.73/648.91 c #conflict = 4930 648.73/648.91 c #restart = 7 648.73/648.91 c BCD2: relaxing 224 and merging with 6 cores into a new core of size 1143: cost of the new core is >=10772 648.73/648.91 c lower bound updated to 54199 648.73/648.93 c BCD2: 54199 <= obj <= 95206 648.73/648.93 c BCD2: #cores=22, #unrelaxed=5263, #relaxed=6790, #hardened=0 648.73/648.93 c BCD2: #sat=3 #unsat=52 bias=52/55 648.84/649.09 c Solving starts ... 648.84/649.09 c ============================[ Search Statistics ]============================ 648.84/649.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 648.84/649.09 c | | | | Limit GC | Var | Constra 648.84/649.09 c ============================================================================= 648.84/649.09 c 0.0s | 0 | 0 | 0 | 86830 0 | 503 | 863 649.83/650.01 c 0.9s | 1 | 9885 | 100 | 86830 0 | 503 | 1029 650.93/651.12 c 2.0s | 2 | 18064 | 250 | 86830 0 | 503 | 1029 652.03/652.21 c 3.1s | 3 | 25100 | 475 | 86830 0 | 503 | 1029 653.33/653.58 c 4.5s | 4 | 33301 | 813 | 86830 0 | 503 | 1029 655.33/655.60 c 6.5s | 4 | 45776 | 1313 | 86830 0 | 503 | 1029 655.43/655.62 c 6.5s | 5 | 45794 | 1320 | 86830 0 | 503 | 1029 657.43/657.62 c 8.5s | 5 | 59757 | 1820 | 95514 0 | 503 | 1029 658.13/658.36 c 9.3s | 6 | 64177 | 2081 | 95514 0 | 503 | 1029 660.43/660.63 c 11.5s | 6 | 77553 | 2681 | 95514 0 | 503 | 1029 662.23/662.40 c 13.3s | 7 | 85126 | 3223 | 95514 0 | 503 | 1029 664.33/664.57 c 15.5s | 7 | 101576 | 3723 | 95514 0 | 503 | 1029 666.43/666.62 c 17.5s | 7 | 114678 | 4423 | 95514 0 | 503 | 1029 667.92/668.11 c 19.0s | 8 | 123239 | 4936 | 95514 0 | 503 | 1029 670.12/670.38 c 21.3s | 8 | 138690 | 5536 | 95514 0 | 503 | 1029 672.62/672.86 c 23.8s | 8 | 150232 | 6136 | 95514 0 | 503 | 1029 674.92/675.17 c 26.1s | 8 | 174727 | 6436 | 95514 0 | 503 | 1029 677.12/677.32 c 28.2s | 8 | 210935 | 6636 | 95514 0 | 503 | 1029 679.12/679.35 c 30.3s | 8 | 232548 | 7036 | 95514 0 | 503 | 1029 681.22/681.41 c 32.3s | 8 | 258228 | 7236 | 95514 0 | 503 | 1029 683.62/683.85 c 34.8s | 8 | 271794 | 7336 | 95514 0 | 503 | 1029 685.72/685.94 c 36.8s | 8 | 280014 | 7436 | 95514 0 | 503 | 1029 686.12/686.37 c 37.3s | 9 | 280894 | 7506 | 95514 0 | 503 | 1029 688.12/688.38 c 39.3s | 9 | 287112 | 7706 | 95514 0 | 503 | 1029 690.52/690.70 c 41.6s | 9 | 292998 | 8106 | 95514 0 | 503 | 1029 692.72/692.94 c 43.9s | 9 | 305105 | 8706 | 95514 0 | 503 | 1029 694.82/695.05 c 46.0s | 9 | 318055 | 9406 | 95514 0 | 503 | 1029 697.03/697.27 c 48.2s | 9 | 331982 | 10106 | 95514 0 | 503 | 1029 699.12/699.34 c 50.3s | 9 | 343415 | 10806 | 95514 0 | 503 | 1029 700.53/700.80 c 51.7s | 10 | 350099 | 11361 | 95514 0 | 503 | 1029 702.73/702.94 c 53.9s | 10 | 365002 | 11861 | 95514 0 | 503 | 1029 704.82/705.00 c 55.9s | 10 | 373362 | 12561 | 95514 0 | 503 | 1029 706.92/707.15 c 58.1s | 10 | 391488 | 13061 | 95514 0 | 503 | 1029 709.33/709.58 c 60.5s | 10 | 405205 | 13461 | 95514 0 | 503 | 1029 711.53/711.78 c 62.7s | 10 | 421500 | 13961 | 95514 0 | 503 | 1029 713.72/713.94 c 64.9s | 10 | 432019 | 14661 | 95514 0 | 503 | 1029 715.72/715.96 c 66.9s | 10 | 440287 | 15361 | 95514 0 | 503 | 1029 717.92/718.12 c 69.0s | 10 | 450617 | 16161 | 95514 0 | 503 | 1029 720.02/720.21 c 71.1s | 10 | 466176 | 16861 | 95514 0 | 503 | 1029 721.92/722.18 c 73.1s | 11 | 494769 | 17144 | 95514 0 | 503 | 1029 724.32/724.56 c 75.5s | 11 | 520835 | 17444 | 95514 0 | 503 | 1029 726.62/726.80 c 77.7s | 11 | 541028 | 17944 | 95514 0 | 503 | 1029 729.02/729.26 c 80.2s | 11 | 572484 | 18244 | 95514 0 | 503 | 1029 731.42/731.63 c 82.5s | 11 | 582028 | 18944 | 95514 0 | 503 | 1029 733.62/733.86 c 84.8s | 11 | 588700 | 19744 | 95514 0 | 503 | 1029 735.91/736.11 c 87.0s | 11 | 601316 | 20444 | 95514 0 | 503 | 1029 738.21/738.44 c 89.4s | 11 | 610921 | 21144 | 95514 0 | 503 | 1029 740.41/740.60 c 91.5s | 11 | 621606 | 21844 | 95514 0 | 503 | 1029 742.42/742.64 c 93.6s | 11 | 633949 | 22444 | 95514 0 | 503 | 1029 744.71/744.92 c 95.8s | 11 | 643731 | 23144 | 95514 0 | 503 | 1029 747.31/747.50 c 98.4s | 11 | 662266 | 23744 | 95514 0 | 503 | 1029 749.51/749.76 c 100s | 11 | 696575 | 24044 | 95514 0 | 503 | 1029 751.91/752.12 c 103s | 11 | 722277 | 24444 | 95514 0 | 503 | 1029 754.42/754.65 c 105s | 11 | 743676 | 24844 | 95514 0 | 503 | 1029 756.62/756.88 c 107s | 11 | 747157 | 25244 | 95514 0 | 503 | 1029 759.51/759.70 c 110s | 11 | 766977 | 25644 | 95514 0 | 503 | 1029 761.51/761.70 c 112s | 12 | 769000 | 25819 | 95514 0 | 503 | 1029 764.61/764.82 c 115s | 12 | 778148 | 26019 | 95514 0 | 503 | 1029 766.71/766.90 c 117s | 12 | 787007 | 26419 | 95514 0 | 503 | 1029 768.71/768.93 c 119s | 12 | 797555 | 26819 | 95514 0 | 503 | 1029 770.81/771.09 c 122s | 12 | 804355 | 27419 | 95514 0 | 503 | 1029 772.91/773.10 c 124s | 12 | 810630 | 28119 | 95514 0 | 503 | 1029 774.91/775.19 c 126s | 12 | 818862 | 28719 | 95514 0 | 503 | 1029 777.30/777.50 c 128s | 12 | 826861 | 29319 | 95514 0 | 503 | 1029 779.30/779.50 c 130s | 12 | 834394 | 29819 | 95514 0 | 503 | 1029 781.30/781.55 c 132s | 12 | 841903 | 30319 | 95514 0 | 503 | 1029 783.70/783.96 c 134s | 12 | 846744 | 31019 | 105066 0 | 503 | 1029 786.10/786.32 c 137s | 12 | 856376 | 31519 | 105066 0 | 503 | 1029 788.10/788.33 c 139s | 12 | 860210 | 32119 | 105066 0 | 503 | 1029 790.30/790.58 c 141s | 12 | 863749 | 32919 | 105066 0 | 503 | 1029 792.70/792.90 c 143s | 12 | 867528 | 33719 | 105066 0 | 503 | 1029 794.90/795.18 c 146s | 12 | 876401 | 34319 | 105066 0 | 503 | 1029 797.20/797.43 c 148s | 12 | 883421 | 34919 | 105066 0 | 503 | 1029 799.40/799.68 c 150s | 12 | 888826 | 35419 | 105066 0 | 503 | 1029 801.60/801.86 c 152s | 12 | 896926 | 36019 | 105066 0 | 503 | 1029 803.70/803.90 c 154s | 12 | 901017 | 36619 | 105066 0 | 503 | 1029 806.11/806.38 c 157s | 12 | 904174 | 37019 | 105066 0 | 503 | 1029 808.60/808.87 c 159s | 12 | 907742 | 37419 | 105066 0 | 503 | 1029 811.00/811.22 c 162s | 12 | 915331 | 38019 | 105066 0 | 503 | 1029 813.20/813.41 c 164s | 12 | 920653 | 38519 | 105066 0 | 503 | 1029 814.30/814.59 c 165s | 13 | 923327 | 38832 | 105066 0 | 503 | 1029 816.30/816.60 c 167s | 13 | 931417 | 39232 | 105066 0 | 503 | 1029 818.60/818.83 c 169s | 13 | 941853 | 39832 | 105066 0 | 503 | 1029 820.80/821.05 c 171s | 13 | 947549 | 40432 | 105066 0 | 503 | 1029 822.90/823.19 c 174s | 13 | 952961 | 41032 | 105066 0 | 503 | 1029 825.10/825.35 c 176s | 13 | 961097 | 41632 | 105066 0 | 503 | 1029 827.20/827.49 c 178s | 13 | 968372 | 42132 | 105066 0 | 503 | 1029 829.50/829.73 c 180s | 13 | 974320 | 42632 | 105066 0 | 503 | 1029 831.80/832.03 c 182s | 13 | 980141 | 43332 | 105066 0 | 503 | 1029 833.90/834.11 c 185s | 13 | 982896 | 43932 | 105066 0 | 503 | 1029 836.10/836.38 c 187s | 13 | 989249 | 44532 | 105066 0 | 503 | 1029 838.40/838.69 c 189s | 13 | 996509 | 45232 | 105066 0 | 503 | 1029 840.50/840.78 c 191s | 13 | 1004874 | 45732 | 105066 0 | 503 | 1029 842.59/842.83 c 193s | 13 | 1011032 | 46332 | 105066 0 | 503 | 1029 844.70/844.94 c 195s | 13 | 1019782 | 46732 | 105066 0 | 503 | 1029 846.99/847.21 c 198s | 13 | 1027066 | 47332 | 105066 0 | 503 | 1029 849.00/849.22 c 200s | 13 | 1033732 | 47832 | 105066 0 | 503 | 1029 850.99/851.28 c 202s | 13 | 1041218 | 48532 | 105066 0 | 503 | 1029 853.29/853.57 c 204s | 13 | 1048420 | 49132 | 105066 0 | 503 | 1029 855.49/855.76 c 206s | 13 | 1056741 | 49732 | 105066 0 | 503 | 1029 857.69/857.94 c 208s | 13 | 1063765 | 50332 | 105066 0 | 503 | 1029 860.10/860.38 c 211s | 13 | 1067231 | 51032 | 105066 0 | 503 | 1029 862.20/862.41 c 213s | 13 | 1075128 | 51532 | 105066 0 | 503 | 1029 864.19/864.45 c 215s | 13 | 1080895 | 52132 | 105066 0 | 503 | 1029 866.29/866.55 c 217s | 13 | 1086102 | 52632 | 105066 0 | 503 | 1029 868.69/868.95 c 219s | 13 | 1095437 | 53232 | 105066 0 | 503 | 1029 870.89/871.13 c 222s | 13 | 1103071 | 53732 | 105066 0 | 503 | 1029 873.30/873.51 c 224s | 13 | 1108246 | 54332 | 105066 0 | 503 | 1029 875.40/875.67 c 226s | 13 | 1112691 | 54832 | 105066 0 | 503 | 1029 877.70/877.96 c 228s | 13 | 1119718 | 55432 | 105066 0 | 503 | 1029 879.80/880.05 c 230s | 13 | 1129415 | 55932 | 105066 0 | 503 | 1029 881.99/882.26 c 233s | 13 | 1136985 | 56432 | 105066 0 | 503 | 1029 884.10/884.38 c 235s | 13 | 1144363 | 57032 | 105066 0 | 503 | 1029 886.20/886.44 c 237s | 13 | 1149891 | 57532 | 105066 0 | 503 | 1029 888.50/888.75 c 239s | 13 | 1156929 | 58032 | 105066 0 | 503 | 1029 889.70/890.00 c 240s | 14 | 1159575 | 58352 | 105066 0 | 503 | 1029 892.09/892.33 c 243s | 14 | 1165636 | 58452 | 105066 1 | 503 | 1029 894.29/894.53 c 245s | 14 | 1174818 | 59052 | 105066 1 | 503 | 1029 896.69/896.93 c 247s | 14 | 1185971 | 59552 | 105066 1 | 503 | 1029 898.69/898.93 c 249s | 14 | 1192035 | 59952 | 105066 1 | 503 | 1029 900.70/900.98 c 251s | 14 | 1197520 | 60452 | 105066 1 | 503 | 1029 903.00/903.29 c 254s | 14 | 1205931 | 60952 | 105066 1 | 503 | 1029 905.10/905.38 c 256s | 14 | 1209965 | 61552 | 105066 1 | 503 | 1029 907.69/907.94 c 258s | 14 | 1218359 | 62052 | 105066 1 | 503 | 1029 909.79/910.00 c 260s | 14 | 1224701 | 62552 | 105066 1 | 503 | 1029 911.99/912.27 c 263s | 14 | 1230203 | 63052 | 105066 1 | 503 | 1029 914.19/914.40 c 265s | 14 | 1235040 | 63552 | 105066 1 | 503 | 1029 916.69/916.90 c 267s | 14 | 1239637 | 64052 | 105066 1 | 503 | 1029 918.79/919.08 c 269s | 14 | 1243775 | 64452 | 105066 1 | 503 | 1029 921.09/921.34 c 272s | 14 | 1248298 | 64952 | 105066 1 | 503 | 1029 923.19/923.46 c 274s | 14 | 1251333 | 65452 | 105066 1 | 503 | 1029 925.99/926.25 c 277s | 14 | 1274187 | 65852 | 105066 1 | 503 | 1029 929.08/929.32 c 280s | 14 | 1285504 | 66152 | 105066 1 | 503 | 1029 931.08/931.38 c 282s | 14 | 1286186 | 66352 | 105066 1 | 503 | 1029 933.18/933.49 c 284s | 14 | 1287197 | 66552 | 105066 1 | 503 | 1029 935.99/936.27 c 287s | 14 | 1309284 | 66852 | 105066 1 | 503 | 1029 938.28/938.51 c 289s | 14 | 1316163 | 67252 | 105066 1 | 503 | 1029 940.29/940.57 c 291s | 14 | 1329933 | 67552 | 105066 1 | 503 | 1029 942.68/942.95 c 293s | 14 | 1333535 | 67852 | 105066 1 | 503 | 1029 944.88/945.13 c 296s | 14 | 1336633 | 68152 | 105066 1 | 503 | 1029 947.08/947.34 c 298s | 14 | 1349640 | 68452 | 105066 1 | 503 | 1029 949.19/949.49 c 300s | 14 | 1353997 | 68652 | 105066 1 | 503 | 1029 951.98/952.25 c 303s | 14 | 1364017 | 69052 | 105066 1 | 503 | 1029 954.38/954.69 c 305s | 14 | 1367195 | 69552 | 105066 1 | 503 | 1029 956.58/956.88 c 307s | 14 | 1375215 | 69852 | 105066 1 | 503 | 1029 959.18/959.41 c 310s | 14 | 1390625 | 70152 | 105066 1 | 503 | 1029 961.58/961.81 c 312s | 14 | 1395506 | 70452 | 105066 1 | 503 | 1029 963.78/964.06 c 314s | 14 | 1416455 | 70752 | 105066 1 | 503 | 1029 966.18/966.43 c 317s | 14 | 1419027 | 71152 | 105066 1 | 503 | 1029 968.17/968.44 c 319s | 14 | 1433260 | 71352 | 105066 1 | 503 | 1029 970.67/970.99 c 321s | 14 | 1437657 | 71652 | 105066 1 | 503 | 1029 973.77/974.04 c 324s | 14 | 1439499 | 71952 | 105066 1 | 503 | 1029 976.17/976.43 c 327s | 14 | 1450637 | 72252 | 105066 1 | 503 | 1029 978.27/978.55 c 329s | 14 | 1454901 | 72452 | 105066 1 | 503 | 1029 980.77/981.05 c 331s | 14 | 1466644 | 72852 | 105066 1 | 503 | 1029 983.28/983.54 c 334s | 14 | 1470161 | 73352 | 105066 1 | 503 | 1029 986.17/986.47 c 337s | 14 | 1485944 | 73652 | 105066 1 | 503 | 1029 988.68/988.92 c 339s | 14 | 1500866 | 74052 | 105066 1 | 503 | 1029 990.77/991.10 c 342s | 14 | 1515968 | 74352 | 115573 1 | 503 | 1029 993.37/993.65 c 344s | 14 | 1518941 | 74752 | 115573 1 | 503 | 1029 996.07/996.38 c 347s | 14 | 1524135 | 75152 | 115573 1 | 503 | 1029 998.07/998.39 c 349s | 14 | 1533049 | 75352 | 115573 1 | 503 | 1029 1000.46/1000.71 c 351s | 14 | 1545271 | 75752 | 115573 1 | 503 | 1029 1002.66/1002.96 c 353s | 14 | 1553273 | 76052 | 115573 1 | 503 | 1029 1005.46/1005.78 c 356s | 14 | 1571027 | 76352 | 115573 1 | 503 | 1029 1008.36/1008.60 c 359s | 14 | 1581584 | 76652 | 115573 1 | 503 | 1029 1011.16/1011.47 c 362s | 14 | 1584862 | 76952 | 115573 1 | 503 | 1029 1013.56/1013.87 c 364s | 14 | 1590298 | 77252 | 115573 1 | 503 | 1029 1015.76/1016.02 c 366s | 14 | 1603433 | 77452 | 115573 1 | 503 | 1029 1018.06/1018.33 c 369s | 14 | 1623087 | 77652 | 115573 1 | 503 | 1029 1020.06/1020.38 c 371s | 14 | 1629351 | 77852 | 115573 1 | 503 | 1029 1022.66/1022.93 c 373s | 14 | 1630909 | 78052 | 115573 1 | 503 | 1029 1025.26/1025.57 c 376s | 14 | 1643868 | 78352 | 115573 1 | 503 | 1029 1027.66/1027.94 c 378s | 14 | 1653370 | 78652 | 115573 1 | 503 | 1029 1029.76/1030.08 c 380s | 14 | 1658355 | 78952 | 115573 1 | 503 | 1029 1032.26/1032.50 c 383s | 14 | 1662375 | 79452 | 115573 1 | 503 | 1029 1034.45/1034.76 c 385s | 14 | 1663326 | 79652 | 115573 1 | 503 | 1029 1036.65/1036.95 c 387s | 14 | 1673711 | 79952 | 115573 1 | 503 | 1029 1039.06/1039.39 c 390s | 14 | 1678195 | 80252 | 115573 1 | 503 | 1029 1041.86/1042.12 c 393s | 14 | 1692312 | 80552 | 115573 1 | 503 | 1029 1044.26/1044.50 c 395s | 14 | 1693981 | 80852 | 115573 1 | 503 | 1029 1046.86/1047.16 c 398s | 14 | 1716614 | 81252 | 115573 1 | 503 | 1029 1049.56/1049.88 c 400s | 14 | 1725165 | 81652 | 115573 1 | 503 | 1029 1052.16/1052.43 c 403s | 14 | 1744301 | 81852 | 115573 1 | 503 | 1029 1054.76/1055.03 c 405s | 14 | 1753212 | 82152 | 115573 1 | 503 | 1029 1057.26/1057.56 c 408s | 14 | 1756952 | 82552 | 115573 1 | 503 | 1029 1059.86/1060.15 c 411s | 14 | 1771580 | 82852 | 115573 1 | 503 | 1029 1061.86/1062.18 c 413s | 14 | 1786620 | 83052 | 115573 1 | 503 | 1029 1064.06/1064.32 c 415s | 14 | 1808163 | 83252 | 115573 1 | 503 | 1029 1066.35/1066.61 c 417s | 14 | 1817112 | 83552 | 115573 1 | 503 | 1029 1068.65/1068.91 c 419s | 14 | 1820091 | 83852 | 115573 1 | 503 | 1029 1071.26/1071.53 c 422s | 14 | 1824309 | 84252 | 115573 1 | 503 | 1029 1073.36/1073.66 c 424s | 14 | 1830575 | 84652 | 115573 1 | 503 | 1029 1075.35/1075.66 c 426s | 14 | 1843007 | 84952 | 115573 1 | 503 | 1029 1077.76/1078.05 c 428s | 14 | 1849682 | 85152 | 115573 1 | 503 | 1029 1080.35/1080.68 c 431s | 14 | 1884077 | 85452 | 115573 1 | 503 | 1029 1083.25/1083.55 c 434s | 14 | 1886643 | 85752 | 115573 1 | 503 | 1029 1085.95/1086.25 c 437s | 14 | 1896630 | 86152 | 115573 1 | 503 | 1029 1088.05/1088.38 c 439s | 14 | 1908446 | 86452 | 115573 1 | 503 | 1029 1090.75/1091.04 c 441s | 14 | 1936734 | 86852 | 115573 1 | 503 | 1029 1093.35/1093.61 c 444s | 14 | 1954006 | 87252 | 115573 1 | 503 | 1029 1095.75/1096.03 c 446s | 15 | 1958839 | 87632 | 115573 1 | 503 | 1029 1098.54/1098.87 c 449s | 15 | 1967924 | 87832 | 115573 1 | 503 | 1029 1100.64/1100.94 c 451s | 15 | 1980153 | 88132 | 115573 1 | 503 | 1029 1102.84/1103.17 c 454s | 15 | 1999091 | 88332 | 115573 1 | 503 | 1029 1105.04/1105.34 c 456s | 15 | 2007362 | 88632 | 115573 1 | 503 | 1029 1107.14/1107.46 c 458s | 15 | 2008100 | 88832 | 115573 1 | 503 | 1029 1109.75/1110.03 c 460s | 15 | 2015841 | 89132 | 115573 1 | 503 | 1029 1111.74/1112.10 c 463s | 15 | 2021039 | 89432 | 115573 1 | 503 | 1029 1114.24/1114.56 c 465s | 15 | 2028744 | 89932 | 115573 1 | 503 | 1029 1116.54/1116.80 c 467s | 15 | 2048026 | 90132 | 115573 1 | 503 | 1029 1119.04/1119.38 c 470s | 15 | 2059018 | 90332 | 115573 1 | 503 | 1029 1121.43/1121.71 c 472s | 15 | 2061989 | 90932 | 115573 1 | 503 | 1029 1124.04/1124.31 c 475s | 15 | 2066473 | 91332 | 115573 1 | 503 | 1029 1126.33/1126.69 c 477s | 15 | 2080275 | 91632 | 115573 1 | 503 | 1029 1128.63/1128.97 c 479s | 15 | 2092747 | 91832 | 115573 1 | 503 | 1029 1131.64/1131.94 c 482s | 15 | 2095438 | 92132 | 115573 1 | 503 | 1029 1133.84/1134.11 c 485s | 15 | 2098234 | 92432 | 115573 1 | 503 | 1029 1136.14/1136.41 c 487s | 15 | 2108309 | 92732 | 115573 1 | 503 | 1029 1138.13/1138.48 c 489s | 15 | 2119504 | 92932 | 115573 1 | 503 | 1029 1140.33/1140.62 c 491s | 15 | 2125416 | 93232 | 115573 1 | 503 | 1029 1142.53/1142.80 c 493s | 15 | 2127223 | 93532 | 115573 1 | 503 | 1029 1145.03/1145.32 c 496s | 15 | 2130177 | 93832 | 115573 1 | 503 | 1029 1147.53/1147.85 c 498s | 15 | 2131313 | 94232 | 115573 1 | 503 | 1029 1149.83/1150.19 c 501s | 15 | 2142882 | 94532 | 115573 1 | 503 | 1029 1152.53/1152.85 c 503s | 15 | 2154598 | 94832 | 115573 1 | 503 | 1029 1154.83/1155.16 c 506s | 15 | 2173775 | 95132 | 115573 1 | 503 | 1029 1157.23/1157.53 c 508s | 15 | 2176164 | 95432 | 115573 1 | 503 | 1029 1159.52/1159.80 c 510s | 15 | 2178251 | 95632 | 115573 1 | 503 | 1029 1162.12/1162.43 c 513s | 15 | 2180986 | 96032 | 115573 1 | 503 | 1029 1164.73/1165.05 c 515s | 15 | 2186566 | 96432 | 115573 1 | 503 | 1029 1167.62/1167.95 c 518s | 15 | 2202937 | 96732 | 115573 1 | 503 | 1029 1170.13/1170.43 c 521s | 15 | 2217564 | 96932 | 115573 1 | 503 | 1029 1172.33/1172.67 c 523s | 15 | 2225084 | 97132 | 115573 1 | 503 | 1029 1174.82/1175.10 c 526s | 15 | 2227087 | 97332 | 115573 1 | 503 | 1029 1176.83/1177.14 c 528s | 15 | 2232700 | 97632 | 115573 1 | 503 | 1029 1179.62/1179.90 c 530s | 15 | 2243627 | 98032 | 115573 1 | 503 | 1029 1182.42/1182.78 c 533s | 15 | 2269373 | 98332 | 115573 1 | 503 | 1029 1184.82/1185.19 c 536s | 15 | 2282320 | 98632 | 115573 1 | 503 | 1029 1187.22/1187.56 c 538s | 15 | 2287105 | 98932 | 115573 1 | 503 | 1029 1189.81/1190.14 c 541s | 15 | 2292820 | 99332 | 115573 1 | 503 | 1029 1192.12/1192.43 c 543s | 15 | 2303926 | 99632 | 115573 1 | 503 | 1029 1195.11/1195.41 c 546s | 15 | 2321636 | 99932 | 115573 1 | 503 | 1029 1197.31/1197.67 c 548s | 15 | 2332847 | 100232 | 115573 1 | 503 | 1029 1199.51/1199.82 c 550s | 15 | 2333891 | 100432 | 115573 1 | 503 | 1029 1202.71/1203.09 c 554s | 15 | 2337589 | 100732 | 115573 1 | 503 | 1029 1205.51/1205.83 c 556s | 15 | 2339458 | 100932 | 115573 1 | 503 | 1029 1208.11/1208.41 c 559s | 15 | 2345104 | 101232 | 115573 1 | 503 | 1029 1210.71/1211.04 c 561s | 15 | 2355007 | 101632 | 115573 1 | 503 | 1029 1213.31/1213.66 c 564s | 15 | 2357513 | 101932 | 115573 1 | 503 | 1029 1216.01/1216.34 c 567s | 15 | 2373112 | 102232 | 115573 1 | 503 | 1029 1218.61/1218.92 c 569s | 15 | 2391986 | 102432 | 115573 1 | 503 | 1029 1220.71/1221.01 c 571s | 15 | 2394908 | 102632 | 115573 1 | 503 | 1029 1223.10/1223.48 c 574s | 15 | 2396404 | 102932 | 115573 1 | 503 | 1029 1225.50/1225.80 c 576s | 15 | 2402755 | 103332 | 115573 1 | 503 | 1029 1227.70/1228.04 c 578s | 15 | 2405276 | 103832 | 115573 1 | 503 | 1029 1230.70/1231.02 c 581s | 15 | 2415462 | 104132 | 115573 1 | 503 | 1029 1233.30/1233.65 c 584s | 15 | 2448476 | 104332 | 115573 1 | 503 | 1029 1235.30/1235.68 c 586s | 15 | 2460562 | 104632 | 115573 1 | 503 | 1029 1238.09/1238.43 c 589s | 15 | 2463505 | 105032 | 115573 1 | 503 | 1029 1240.79/1241.12 c 592s | 15 | 2468990 | 105332 | 115573 1 | 503 | 1029 1243.59/1243.98 c 594s | 15 | 2479248 | 105632 | 115573 1 | 503 | 1029 1245.79/1246.15 c 597s | 15 | 2490418 | 105932 | 115573 1 | 503 | 1029 1248.49/1248.83 c 599s | 15 | 2493617 | 106332 | 115573 1 | 503 | 1029 1250.59/1250.96 c 601s | 15 | 2495804 | 106632 | 115573 1 | 503 | 1029 1254.19/1254.58 c 605s | 15 | 2506853 | 107032 | 115573 1 | 503 | 1029 1256.69/1257.08 c 607s | 15 | 2518679 | 107332 | 115573 1 | 503 | 1029 1259.38/1259.73 c 610s | 15 | 2520415 | 107632 | 115573 1 | 503 | 1029 1262.08/1262.42 c 613s | 15 | 2531618 | 107932 | 115573 1 | 503 | 1029 1264.38/1264.75 c 615s | 15 | 2534068 | 108232 | 115573 1 | 503 | 1029 1266.78/1267.19 c 618s | 15 | 2548720 | 108532 | 115573 1 | 503 | 1029 1269.28/1269.63 c 620s | 15 | 2554488 | 108832 | 115573 1 | 503 | 1029 1271.88/1272.29 c 623s | 15 | 2565940 | 109132 | 115573 1 | 503 | 1029 1273.98/1274.33 c 625s | 15 | 2570459 | 109432 | 115573 1 | 503 | 1029 1276.28/1276.67 c 627s | 15 | 2572340 | 109732 | 115573 1 | 503 | 1029 1279.18/1279.58 c 630s | 15 | 2594132 | 110132 | 115573 1 | 503 | 1029 1281.28/1281.65 c 632s | 15 | 2598418 | 110332 | 115573 1 | 503 | 1029 1283.57/1283.93 c 634s | 15 | 2611044 | 110732 | 115573 1 | 503 | 1029 1285.78/1286.19 c 637s | 15 | 2625642 | 110932 | 115573 1 | 503 | 1029 1287.98/1288.36 c 639s | 15 | 2633314 | 111232 | 115573 1 | 503 | 1029 1290.28/1290.65 c 641s | 15 | 2645142 | 111532 | 115573 1 | 503 | 1029 1292.29/1292.68 c 643s | 15 | 2651518 | 111732 | 115573 1 | 503 | 1029 1294.98/1295.36 c 646s | 15 | 2658706 | 112032 | 115573 1 | 503 | 1029 1297.88/1298.25 c 649s | 15 | 2669465 | 112332 | 115573 1 | 503 | 1029 1300.17/1300.54 c 651s | 15 | 2674978 | 112632 | 115573 1 | 503 | 1029 1302.47/1302.86 c 653s | 15 | 2677613 | 113032 | 115573 1 | 503 | 1029 1304.77/1305.15 c 656s | 15 | 2681715 | 113332 | 115573 1 | 503 | 1029 1307.58/1307.94 c 658s | 15 | 2695642 | 113732 | 115573 1 | 503 | 1029 1309.77/1310.16 c 661s | 15 | 2718629 | 113932 | 115573 1 | 503 | 1029 1311.87/1312.28 c 663s | 15 | 2720795 | 114232 | 115573 1 | 503 | 1029 1314.27/1314.63 c 665s | 15 | 2724236 | 114532 | 115573 1 | 503 | 1029 1316.26/1316.66 c 667s | 15 | 2734155 | 114732 | 115573 1 | 503 | 1029 1319.06/1319.43 c 670s | 15 | 2743325 | 115132 | 115573 1 | 503 | 1029 1321.76/1322.12 c 673s | 15 | 2763879 | 115432 | 115573 1 | 503 | 1029 1323.96/1324.30 c 675s | 15 | 2779986 | 115732 | 115573 1 | 503 | 1029 1326.76/1327.12 c 678s | 15 | 2792918 | 116032 | 115573 1 | 503 | 1029 1329.56/1329.96 c 680s | 15 | 2800673 | 116432 | 115573 1 | 503 | 1029 1331.65/1332.03 c 682s | 15 | 2813550 | 116632 | 115573 1 | 503 | 1029 1333.85/1334.23 c 685s | 15 | 2815729 | 116932 | 115573 1 | 503 | 1029 1336.35/1336.75 c 687s | 15 | 2828623 | 117232 | 115573 1 | 503 | 1029 1338.55/1338.93 c 689s | 15 | 2835418 | 117532 | 115573 1 | 503 | 1029 1340.85/1341.29 c 692s | 15 | 2845454 | 117832 | 115573 1 | 503 | 1029 1343.15/1343.58 c 694s | 15 | 2851806 | 118132 | 115573 1 | 503 | 1029 1346.05/1346.48 c 697s | 15 | 2856472 | 118432 | 115573 1 | 503 | 1029 1348.04/1348.49 c 699s | 15 | 2867058 | 118732 | 115573 1 | 503 | 1029 1350.34/1350.79 c 701s | 15 | 2876058 | 119032 | 115573 1 | 503 | 1029 1353.04/1353.41 c 704s | 15 | 2889221 | 119332 | 115573 1 | 503 | 1029 1356.34/1356.71 c 707s | 15 | 2894124 | 119732 | 115573 1 | 503 | 1029 1358.34/1358.79 c 709s | 15 | 2898134 | 119932 | 115573 1 | 503 | 1029 1361.24/1361.67 c 712s | 15 | 2905885 | 120232 | 115573 1 | 503 | 1029 1363.74/1364.19 c 715s | 15 | 2913003 | 120632 | 115573 1 | 503 | 1029 1365.94/1366.40 c 717s | 15 | 2921583 | 120932 | 115573 1 | 503 | 1029 1368.14/1368.50 c 719s | 15 | 2925080 | 121232 | 115573 1 | 503 | 1029 1370.34/1370.77 c 721s | 15 | 2926212 | 121532 | 115573 1 | 503 | 1029 1372.54/1372.98 c 723s | 15 | 2935764 | 121832 | 115573 1 | 503 | 1029 1375.03/1375.46 c 726s | 15 | 2936741 | 122032 | 115573 1 | 503 | 1029 1377.43/1377.82 c 728s | 15 | 2946681 | 122332 | 115573 1 | 503 | 1029 1379.73/1380.19 c 731s | 15 | 2949894 | 122632 | 115573 1 | 503 | 1029 1382.43/1382.84 c 733s | 15 | 2955376 | 122932 | 115573 1 | 503 | 1029 1385.22/1385.62 c 736s | 15 | 2959304 | 123232 | 115573 1 | 503 | 1029 1388.62/1389.01 c 739s | 15 | 2966610 | 123632 | 115573 1 | 503 | 1029 1391.02/1391.42 c 742s | 15 | 2970343 | 123932 | 115573 1 | 503 | 1029 1393.72/1394.19 c 745s | 15 | 2973208 | 124332 | 115573 1 | 503 | 1029 1396.02/1396.40 c 747s | 15 | 2979765 | 124632 | 115573 1 | 503 | 1029 1398.42/1398.84 c 749s | 15 | 2983593 | 124932 | 115573 1 | 503 | 1029 1400.72/1401.11 c 752s | 15 | 2990782 | 125232 | 115573 1 | 503 | 1029 1403.61/1404.02 c 754s | 15 | 2992126 | 125432 | 115573 1 | 503 | 1029 1405.91/1406.39 c 757s | 15 | 2997692 | 125632 | 115573 1 | 503 | 1029 1408.31/1408.76 c 759s | 15 | 2998887 | 125832 | 115573 1 | 503 | 1029 1410.41/1410.89 c 761s | 15 | 3009634 | 126032 | 115573 1 | 503 | 1029 1413.22/1413.62 c 764s | 15 | 3023281 | 126332 | 115573 1 | 503 | 1029 1415.81/1416.20 c 767s | 15 | 3031396 | 126632 | 115573 1 | 503 | 1029 1418.21/1418.67 c 769s | 15 | 3035911 | 126932 | 115573 1 | 503 | 1029 1420.41/1420.89 c 771s | 15 | 3040352 | 127232 | 115573 1 | 503 | 1029 1422.80/1423.24 c 774s | 15 | 3041362 | 127432 | 115573 1 | 503 | 1029 1424.90/1425.32 c 776s | 15 | 3044209 | 127532 | 115573 1 | 503 | 1029 1427.20/1427.66 c 778s | 15 | 3053178 | 127832 | 115573 1 | 503 | 1029 1429.30/1429.74 c 780s | 15 | 3060470 | 128032 | 115573 1 | 503 | 1029 1431.60/1432.09 c 782s | 15 | 3071405 | 128232 | 115573 1 | 503 | 1029 1433.80/1434.24 c 785s | 15 | 3077403 | 128432 | 115573 1 | 503 | 1029 1436.21/1436.68 c 787s | 15 | 3092518 | 128632 | 115573 1 | 503 | 1029 1438.60/1439.04 c 789s | 15 | 3116385 | 128832 | 115573 1 | 503 | 1029 1441.39/1441.84 c 792s | 15 | 3119757 | 129132 | 115573 2 | 503 | 1029 1443.59/1444.06 c 794s | 15 | 3132047 | 129432 | 115573 2 | 503 | 1029 1447.90/1448.39 c 799s | 15 | 3148860 | 129632 | 115573 2 | 503 | 1029 1450.00/1450.49 c 801s | 15 | 3154156 | 130032 | 115573 2 | 503 | 1029 1452.60/1453.02 c 803s | 15 | 3158918 | 130432 | 115573 2 | 503 | 1029 1455.19/1455.64 c 806s | 15 | 3175116 | 130632 | 115573 2 | 503 | 1029 1457.79/1458.23 c 809s | 15 | 3180779 | 131032 | 115573 2 | 503 | 1029 1460.19/1460.60 c 811s | 15 | 3183802 | 131532 | 115573 2 | 503 | 1029 1460.29/1460.71 c 811s | 16 | 3183840 | 131552 | 115573 2 | 503 | 1029 1463.70/1464.14 c 815s | 16 | 3190280 | 131852 | 115573 2 | 503 | 1029 1476.99/1477.47 c 828s | 16 | 3192144 | 131952 | 115573 2 | 503 | 1029 1479.47/1479.97 c 830s | 16 | 3206400 | 132252 | 115573 2 | 503 | 1029 1481.57/1482.07 c 832s | 16 | 3222528 | 132552 | 115573 2 | 503 | 1029 1484.68/1485.13 c 836s | 16 | 3227633 | 132852 | 115573 2 | 503 | 1029 1487.17/1487.62 c 838s | 16 | 3230138 | 133152 | 115573 2 | 503 | 1029 1489.67/1490.18 c 841s | 16 | 3239860 | 133552 | 115573 2 | 503 | 1029 1492.47/1492.95 c 843s | 16 | 3248844 | 133852 | 115573 2 | 503 | 1029 1494.67/1495.17 c 846s | 16 | 3256533 | 134152 | 115573 2 | 503 | 1029 1497.17/1497.66 c 848s | 16 | 3263492 | 134452 | 115573 2 | 503 | 1029 1499.87/1500.30 c 851s | 16 | 3278551 | 134752 | 115573 2 | 503 | 1029 1502.07/1502.53 c 853s | 16 | 3286052 | 135052 | 115573 2 | 503 | 1029 1504.17/1504.62 c 855s | 16 | 3289313 | 135252 | 115573 2 | 503 | 1029 1506.57/1507.10 c 858s | 16 | 3292827 | 135552 | 115573 2 | 503 | 1029 1508.87/1509.33 c 860s | 16 | 3300270 | 135852 | 115573 2 | 503 | 1029 1511.16/1511.60 c 862s | 16 | 3303949 | 136252 | 115573 2 | 503 | 1029 1513.36/1513.89 c 864s | 16 | 3310035 | 136652 | 115573 2 | 503 | 1029 1515.96/1516.47 c 867s | 16 | 3315640 | 137052 | 115573 2 | 503 | 1029 1518.26/1518.75 c 869s | 16 | 3322142 | 137452 | 115573 2 | 503 | 1029 1520.36/1520.81 c 871s | 16 | 3326332 | 137752 | 115573 2 | 503 | 1029 1522.36/1522.88 c 873s | 16 | 3329773 | 138052 | 115573 2 | 503 | 1029 1525.45/1525.96 c 876s | 16 | 3348012 | 138352 | 115573 2 | 503 | 1029 1527.65/1528.14 c 879s | 16 | 3356086 | 138652 | 115573 2 | 503 | 1029 1529.76/1530.22 c 881s | 16 | 3368215 | 138952 | 115573 2 | 503 | 1029 1532.15/1532.65 c 883s | 16 | 3375217 | 139352 | 115573 2 | 503 | 1029 1534.65/1535.15 c 886s | 16 | 3379959 | 139752 | 127131 2 | 503 | 1029 1537.15/1537.68 c 888s | 16 | 3392488 | 140052 | 127131 2 | 503 | 1029 1539.94/1540.46 c 891s | 16 | 3416390 | 140352 | 127131 2 | 503 | 1029 1542.54/1543.00 c 893s | 16 | 3423366 | 140652 | 127131 2 | 503 | 1029 1544.94/1545.48 c 896s | 16 | 3430242 | 140952 | 127131 2 | 503 | 1029 1547.74/1548.28 c 899s | 16 | 3438292 | 141252 | 127131 2 | 503 | 1029 1550.04/1550.50 c 901s | 16 | 3450791 | 141552 | 127131 2 | 503 | 1029 1553.43/1553.91 c 904s | 16 | 3462305 | 141952 | 127131 2 | 503 | 1029 1555.74/1556.22 c 907s | 16 | 3474712 | 142252 | 127131 2 | 503 | 1029 1558.04/1558.60 c 909s | 16 | 3490915 | 142652 | 127131 2 | 503 | 1029 1560.14/1560.69 c 911s | 16 | 3496492 | 142952 | 127131 2 | 503 | 1029 1562.54/1563.09 c 914s | 16 | 3504135 | 143352 | 127131 2 | 503 | 1029 1565.24/1565.71 c 916s | 16 | 3517828 | 143652 | 127131 2 | 503 | 1029 1567.74/1568.22 c 919s | 16 | 3520395 | 144052 | 127131 2 | 503 | 1029 1570.34/1570.83 c 921s | 16 | 3536732 | 144452 | 127131 2 | 503 | 1029 1572.43/1572.92 c 923s | 16 | 3544882 | 144752 | 127131 2 | 503 | 1029 1575.84/1576.39 c 927s | 16 | 3548378 | 145152 | 127131 2 | 503 | 1029 1578.33/1578.81 c 929s | 16 | 3558071 | 145452 | 127131 2 | 503 | 1029 1580.43/1580.98 c 931s | 16 | 3561944 | 145752 | 127131 2 | 503 | 1029 1582.73/1583.29 c 934s | 16 | 3566486 | 146052 | 127131 2 | 503 | 1029 1585.03/1585.57 c 936s | 16 | 3575154 | 146452 | 127131 2 | 503 | 1029 1587.42/1587.97 c 938s | 16 | 3581930 | 146752 | 127131 2 | 503 | 1029 1589.82/1590.34 c 941s | 16 | 3583967 | 147052 | 127131 2 | 503 | 1029 1592.62/1593.15 c 944s | 16 | 3594549 | 147352 | 127131 2 | 503 | 1029 1595.52/1596.00 c 946s | 16 | 3597871 | 147752 | 127131 2 | 503 | 1029 1597.52/1598.06 c 948s | 16 | 3600581 | 148152 | 127131 2 | 503 | 1029 1600.52/1601.07 c 951s | 16 | 3603246 | 148652 | 127131 2 | 503 | 1029 1602.92/1603.45 c 954s | 16 | 3609751 | 149052 | 127131 2 | 503 | 1029 1605.22/1605.70 c 956s | 16 | 3612030 | 149352 | 127131 2 | 503 | 1029 1607.62/1608.17 c 959s | 16 | 3613731 | 149652 | 127131 2 | 503 | 1029 1610.32/1610.83 c 961s | 16 | 3626219 | 149952 | 127131 2 | 503 | 1029 1612.61/1613.14 c 964s | 16 | 3647918 | 150152 | 127131 2 | 503 | 1029 1614.81/1615.32 c 966s | 16 | 3660619 | 150452 | 127131 2 | 503 | 1029 1616.91/1617.46 c 968s | 16 | 3671647 | 150752 | 127131 2 | 503 | 1029 1619.31/1619.84 c 970s | 16 | 3673109 | 151152 | 127131 2 | 503 | 1029 1621.91/1622.42 c 973s | 16 | 3680959 | 151352 | 127131 2 | 503 | 1029 1624.91/1625.46 c 976s | 16 | 3689341 | 151652 | 127131 2 | 503 | 1029 1627.81/1628.33 c 979s | 16 | 3697687 | 151952 | 127131 2 | 503 | 1029 1629.91/1630.46 c 981s | 16 | 3711757 | 152152 | 127131 2 | 503 | 1029 1632.02/1632.54 c 983s | 16 | 3716706 | 152452 | 127131 2 | 503 | 1029 1634.31/1634.84 c 985s | 16 | 3718908 | 152852 | 127131 2 | 503 | 1029 1636.81/1637.36 c 988s | 16 | 3722562 | 153352 | 127131 2 | 503 | 1029 1639.11/1639.66 c 990s | 16 | 3723720 | 153552 | 127131 2 | 503 | 1029 1642.31/1642.80 c 993s | 16 | 3736956 | 153752 | 127131 2 | 503 | 1029 1644.41/1644.92 c 995s | 16 | 3739413 | 154052 | 127131 2 | 503 | 1029 1646.81/1647.38 c 998s | 16 | 3740839 | 154452 | 127131 2 | 503 | 1029 1649.11/1649.64 c 1000s | 16 | 3751219 | 154752 | 127131 2 | 503 | 1029 1652.31/1652.85 c 1003s | 16 | 3755325 | 155052 | 127131 2 | 503 | 1029 1655.02/1655.52 c 1006s | 16 | 3760118 | 155252 | 127131 2 | 503 | 1029 1657.11/1657.64 c 1008s | 16 | 3767558 | 155552 | 127131 2 | 503 | 1029 1659.71/1660.20 c 1011s | 16 | 3772764 | 155952 | 127131 2 | 503 | 1029 1663.00/1663.58 c 1014s | 16 | 3791145 | 156252 | 127131 2 | 503 | 1029 1665.40/1665.94 c 1016s | 16 | 3804150 | 156452 | 127131 2 | 503 | 1029 1667.80/1668.35 c 1019s | 16 | 3811557 | 156752 | 127131 2 | 503 | 1029 1669.90/1670.44 c 1021s | 16 | 3814013 | 157152 | 127131 2 | 503 | 1029 1672.10/1672.67 c 1023s | 16 | 3824739 | 157452 | 127131 2 | 503 | 1029 1674.50/1675.01 c 1025s | 16 | 3831883 | 157752 | 127131 2 | 503 | 1029 1677.50/1678.03 c 1028s | 16 | 3833492 | 158152 | 127131 2 | 503 | 1029 1679.90/1680.46 c 1031s | 16 | 3847575 | 158552 | 127131 2 | 503 | 1029 1682.71/1683.27 c 1034s | 16 | 3863630 | 158852 | 127131 2 | 503 | 1029 1685.31/1685.88 c 1036s | 16 | 3868552 | 159152 | 127131 2 | 503 | 1029 1687.51/1688.04 c 1038s | 16 | 3873958 | 159352 | 127131 2 | 503 | 1029 1690.11/1690.66 c 1041s | 16 | 3878222 | 159652 | 127131 2 | 503 | 1029 1692.41/1692.98 c 1043s | 16 | 3885780 | 159852 | 127131 2 | 503 | 1029 1695.21/1695.79 c 1046s | 16 | 3891193 | 160252 | 127131 2 | 503 | 1029 1697.71/1698.22 c 1049s | 16 | 3892865 | 160552 | 127131 2 | 503 | 1029 1700.11/1700.64 c 1051s | 16 | 3904244 | 160852 | 127131 2 | 503 | 1029 1702.90/1703.42 c 1054s | 16 | 3909408 | 161252 | 127131 2 | 503 | 1029 1705.30/1705.83 c 1056s | 16 | 3915811 | 161452 | 127131 2 | 503 | 1029 1707.81/1708.34 c 1059s | 16 | 3917687 | 161852 | 127131 2 | 503 | 1029 1710.70/1711.24 c 1062s | 16 | 3926153 | 162252 | 127131 2 | 503 | 1029 1713.31/1713.83 c 1064s | 16 | 3938830 | 162552 | 127131 2 | 503 | 1029 1716.30/1716.87 c 1067s | 16 | 3957133 | 162852 | 127131 2 | 503 | 1029 1719.30/1719.82 c 1070s | 16 | 3959837 | 163252 | 127131 2 | 503 | 1029 1722.00/1722.57 c 1073s | 16 | 3968342 | 163552 | 127131 2 | 503 | 1029 1724.20/1724.77 c 1075s | 16 | 3970314 | 163852 | 127131 2 | 503 | 1029 1726.70/1727.23 c 1078s | 16 | 3978088 | 164152 | 127131 2 | 503 | 1029 1729.30/1729.87 c 1080s | 16 | 3991253 | 164452 | 127131 2 | 503 | 1029 1731.70/1732.27 c 1083s | 16 | 4004464 | 164752 | 127131 2 | 503 | 1029 1733.90/1734.48 c 1085s | 16 | 4007089 | 165152 | 127131 2 | 503 | 1029 1736.20/1736.75 c 1087s | 16 | 4018840 | 165452 | 127131 2 | 503 | 1029 1738.40/1738.99 c 1089s | 16 | 4027473 | 165752 | 127131 2 | 503 | 1029 1741.20/1741.79 c 1092s | 16 | 4030263 | 166152 | 127131 2 | 503 | 1029 1744.29/1744.85 c 1095s | 16 | 4060604 | 166452 | 127131 2 | 503 | 1029 1746.49/1747.06 c 1097s | 16 | 4066743 | 166752 | 127131 2 | 503 | 1029 1748.79/1749.31 c 1100s | 16 | 4069920 | 167152 | 127131 2 | 503 | 1029 1751.09/1751.68 c 1102s | 16 | 4071671 | 167452 | 127131 2 | 503 | 1029 1753.19/1753.78 c 1104s | 16 | 4075830 | 167852 | 127131 2 | 503 | 1029 1755.89/1756.44 c 1107s | 16 | 4093445 | 168152 | 127131 2 | 503 | 1029 1758.09/1758.64 c 1109s | 16 | 4100498 | 168552 | 127131 2 | 503 | 1029 1760.70/1761.25 c 1112s | 16 | 4104911 | 168852 | 127131 2 | 503 | 1029 1763.19/1763.70 c 1114s | 16 | 4111099 | 169152 | 127131 2 | 503 | 1029 1765.89/1766.49 c 1117s | 16 | 4123879 | 169452 | 127131 2 | 503 | 1029 1768.69/1769.26 c 1120s | 16 | 4133867 | 169852 | 127131 2 | 503 | 1029 1771.29/1771.89 c 1122s | 16 | 4138928 | 170152 | 127131 2 | 503 | 1029 1773.49/1774.07 c 1124s | 16 | 4146239 | 170352 | 127131 2 | 503 | 1029 1775.59/1776.13 c 1127s | 16 | 4150812 | 170552 | 127131 2 | 503 | 1029 1777.69/1778.27 c 1129s | 16 | 4166935 | 170752 | 127131 2 | 503 | 1029 1780.69/1781.23 c 1132s | 16 | 4172841 | 171052 | 127131 2 | 503 | 1029 1782.79/1783.33 c 1134s | 16 | 4173661 | 171252 | 127131 2 | 503 | 1029 1785.19/1785.78 c 1136s | 16 | 4176231 | 171552 | 127131 2 | 503 | 1029 1787.79/1788.38 c 1139s | 16 | 4189444 | 171952 | 127131 2 | 503 | 1029 1789.99/1790.53 c 1141s | 16 | 4199740 | 172252 | 127131 2 | 503 | 1029 1792.18/1792.73 c 1143s | 16 | 4212223 | 172552 | 127131 2 | 503 | 1029 1794.88/1795.45 c 1146s | 16 | 4221818 | 173052 | 127131 2 | 503 | 1029 1797.49/1798.03 c 1148s | 16 | 4233676 | 173352 | 127131 2 | 503 | 1029 1799.99/1800.56 c 1151s | 16 | 4238388 | 173652 | 127131 2 | 503 | 1029
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-4079107-1465253620/watcher-4079107-1465253620 -o /tmp/evaluation-result-4079107-1465253620/solver-4079107-1465253620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079107-1465253620.opb pid=12883 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: 1.60 1.97 2.03 3/179 12886 /proc/meminfo: memFree=31522720/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=741956 CPUtime=0 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 2773 0 0 0 0 0 0 0 20 0 4 0 107295442 759762944 3135 33554432000 4194304 16246674 140736592888928 140736592888352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 186001 3143 442 2943 0 182895 0 [pid=12886/tid=12887] ppid=12883 vsize=758340 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 776540160 3199 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=763460 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 781783040 3217 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=767556 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107295442 785977344 3232 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100185 s] /proc/loadavg: 1.60 1.97 2.03 3/179 12886 /proc/meminfo: memFree=31522720/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1302084 CPUtime=0.08 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 29230 0 0 0 5 3 0 0 20 0 4 0 107295442 1333334016 29529 33554432000 4194304 16246674 140736592888928 140736592888240 7889302 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 325521 29543 800 2943 0 322415 0 [pid=12886/tid=12887] ppid=12883 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1333334016 29554 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1333334016 29565 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1333334016 29575 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1302084 [startup+0.200535 s] /proc/loadavg: 1.60 1.97 2.03 3/179 12886 /proc/meminfo: memFree=31522720/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1313348 CPUtime=0.19 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 47320 0 0 0 13 6 0 0 20 0 4 0 107295442 1344868352 48130 33554432000 4194304 16246674 140736592888928 140736592888240 8058827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 328337 48130 801 2943 0 325231 0 [pid=12886/tid=12887] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 48130 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 48130 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 48130 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1313348 [startup+0.30052 s] /proc/loadavg: 1.60 1.97 2.03 3/179 12886 /proc/meminfo: memFree=31522720/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1313348 CPUtime=0.29 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 62379 0 0 0 20 9 0 0 20 0 4 0 107295442 1344868352 63189 33554432000 4194304 16246674 140736592888928 140736592886720 8057109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 328337 63189 801 2943 0 325231 0 [pid=12886/tid=12887] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 63189 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 63189 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 63189 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1313348 [startup+0.700352 s] /proc/loadavg: 1.60 1.97 2.03 3/179 12886 /proc/meminfo: memFree=31522720/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1313348 CPUtime=0.69 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 90786 0 0 0 55 14 0 0 20 0 4 0 107295442 1344868352 91596 33554432000 4194304 16246674 140736592888928 140736592870848 5889452 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 328337 91604 834 2943 0 325231 0 [pid=12886/tid=12887] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 91609 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 91615 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1313348 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1344868352 91620 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1313348 [startup+1.50036 s] /proc/loadavg: 1.63 1.97 2.03 3/183 12890 /proc/meminfo: memFree=30559856/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1.49 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 165890 0 0 0 124 25 0 0 20 0 4 0 107295442 1375277056 166700 33554432000 4194304 16246674 140736592888928 140736592888240 12654409 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 166700 883 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 166700 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 166700 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 166700 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1343044 [startup+3.10037 s] /proc/loadavg: 1.63 1.97 2.03 3/183 12890 /proc/meminfo: memFree=29439360/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=3.09 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 272500 0 0 0 269 40 0 0 20 0 4 0 107295442 1375277056 273310 33554432000 4194304 16246674 140736592888928 140736592870848 12449395 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 273310 905 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 273310 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 273310 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 273310 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1343044 [startup+6.30037 s] /proc/loadavg: 1.74 1.98 2.04 3/182 12890 /proc/meminfo: memFree=29431312/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=6.29 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 273682 0 0 0 589 40 0 0 20 0 4 0 107295442 1375277056 274492 33554432000 4194304 16246674 140736592888928 140736592870848 13009032 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 274492 907 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 274492 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 274492 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 274492 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1343044 [startup+12.7004 s] /proc/loadavg: 1.76 1.98 2.04 3/183 12891 /proc/meminfo: memFree=29416232/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=12.69 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276456 0 0 0 1228 41 0 0 20 0 4 0 107295442 1375277056 277266 33554432000 4194304 16246674 140736592888928 140736592888104 13008980 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 277266 907 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277266 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277266 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277266 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1343044 [startup+25.5004 s] /proc/loadavg: 1.81 1.98 2.03 3/183 12891 /proc/meminfo: memFree=29418504/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=25.48 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276457 0 0 0 2507 41 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140736592886720 13007928 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 277267 907 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1343044 [startup+51.1004 s] /proc/loadavg: 1.95 2.00 2.04 3/183 12891 /proc/meminfo: memFree=29418552/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=51.08 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276457 0 0 0 5067 41 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140736592886720 6955741 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 277267 907 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277267 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1343044 [startup+102.3 s] /proc/loadavg: 2.10 2.03 2.04 3/183 12892 /proc/meminfo: memFree=29414704/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=102.25 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276460 0 0 0 10184 41 0 0 20 0 4 0 107295442 1375277056 277270 33554432000 4194304 16246674 140736592888928 140736592886720 4220543 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/12886/statm: 335761 277270 910 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277270 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277270 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277270 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1343044 ################ # More data... # ################ /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1343044 [startup+1302.3 s] /proc/loadavg: 2.05 2.08 2.08 3/183 12945 /proc/meminfo: memFree=29369808/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1301.97 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276578 0 0 0 130149 48 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 13780664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1343044 [startup+1362.3 s] /proc/loadavg: 2.07 2.08 2.08 3/183 12946 /proc/meminfo: memFree=29370088/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1361.94 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276611 0 0 0 136146 48 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5712536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1343044 [startup+1422.3 s] /proc/loadavg: 2.02 2.06 2.07 3/183 12947 /proc/meminfo: memFree=29369504/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1421.91 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276645 0 0 0 142143 48 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1343044 [startup+1482.3 s] /proc/loadavg: 2.01 2.05 2.07 3/183 12948 /proc/meminfo: memFree=29369536/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1481.87 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276674 0 0 0 148112 75 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1343044 [startup+1542.31 s] /proc/loadavg: 2.06 2.06 2.07 3/182 12949 /proc/meminfo: memFree=29369320/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1541.85 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276713 0 0 0 154109 76 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5600331 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1343044 [startup+1602.3 s] /proc/loadavg: 2.02 2.04 2.06 3/184 12954 /proc/meminfo: memFree=29369388/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1601.82 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276741 0 0 0 160105 77 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1343044 [startup+1662.3 s] /proc/loadavg: 2.05 2.05 2.06 3/183 12955 /proc/meminfo: memFree=29369772/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1661.8 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276741 0 0 0 166102 78 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1343044 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.05 3/183 12956 /proc/meminfo: memFree=29369772/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1721.8 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276741 0 0 0 172101 79 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1343044 [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/183 12957 /proc/meminfo: memFree=29369656/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1781.79 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276741 0 0 0 178100 79 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1343044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.00 2.03 2.05 4/183 12957 /proc/meminfo: memFree=29369656/32872528 swapFree=11196/354588 [pid=12886] ppid=12883 vsize=1343044 CPUtime=1800.09 cores=0,2,4,6 /proc/12886/stat : 12886 (toysat) R 12883 12886 12837 0 -1 4202496 276741 0 0 0 179929 80 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140736592870848 12483481 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/12886/statm: 335761 277285 922 2943 0 332655 0 [pid=12886/tid=12887] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12887/stat : 12887 (toysat) S 12883 12886 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221874154736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=12886/tid=12888] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12888/stat : 12888 (toysat) S 12883 12886 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221863664880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=12886/tid=12889] ppid=12883 vsize=1343044 CPUtime=0 cores=0,2,4,6 /proc/12886/task/12889/stat : 12889 (toysat) S 12883 12886 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107295442 1375277056 277285 33554432000 4194304 16246674 140736592888928 140221853191344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1343044 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 12886 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.3 CPU system time (s): 0.801878 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1343044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.3 system time used= 0.801878 maximum resident set size= 1109140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276741 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= 284 involuntary context switches= 2263 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.44217 second user time and 7.76082 second system time The end
Begin job on node126 at 2016-06-07 00:53:40 IDJOB=4079107 IDBENCH=25046 IDSOLVER=2542 FILE ID=node126/4079107-1465253620 RUNJOBID= node126-1465253620-12853 PBS_JOBID= 19843265 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir08_trarea_ac.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079107-1465253620/watcher-4079107-1465253620 -o /tmp/evaluation-result-4079107-1465253620/solver-4079107-1465253620 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079107-1465253620.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 518b30e9adc24b91e46eee343811eb71 RANDOM SEED=392882061 node126.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.500 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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.500 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.500 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.500 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.500 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: 31537872 kB Buffers: 60552 kB Cached: 140392 kB SwapCached: 2244 kB Active: 158232 kB Inactive: 117208 kB Active(anon): 74556 kB Inactive(anon): 2384 kB Active(file): 83676 kB Inactive(file): 114824 kB Unevictable: 354588 kB Mlocked: 11196 kB SwapTotal: 67108856 kB SwapFree: 67098552 kB Dirty: 34672 kB Writeback: 0 kB AnonPages: 425728 kB Mapped: 9480 kB Shmem: 0 kB Slab: 568696 kB SReclaimable: 13020 kB SUnreclaim: 555676 kB KernelStack: 1336 kB PageTables: 6656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1485380 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 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 node126 at 2016-06-07 01:23:41