Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb |
MD5SUM | 8f571153d6467ee7e7ad42bf78d06f61 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 200 |
Best CPU time to get the best result obtained on this benchmark | 0.002999 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 520 |
Number of constraints which are clauses | 519 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 400 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461397-1307085198.opb. 0.00/0.00 c Instance file HOME/instance-3461397-1307085198.opb 0.00/0.00 c File size is 17634 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 400 | 0.00/0.00 c | Number Clauses: 520 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 400 520 1359 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #8 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #9 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #10 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #11 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #12 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #13 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #14 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #15 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #16 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #17 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #18 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #19 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #20 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #21 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #22 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #23 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #24 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #25 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #26 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #27 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #28 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #29 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #30 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #31 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #32 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #33 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #34 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #35 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #36 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #37 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #38 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #39 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #40 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #41 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c core #42 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c core #43 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 43 0.02/0.02 c Current CPU time: 0.013997 s 0.02/0.02 c 0.02/0.02 c core #44 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 44 0.02/0.02 c Current CPU time: 0.014997 s 0.02/0.02 c 0.02/0.02 c core #45 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 45 0.02/0.02 c Current CPU time: 0.014997 s 0.02/0.02 c 0.02/0.02 c core #46 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 46 0.02/0.02 c Current CPU time: 0.014997 s 0.02/0.02 c 0.02/0.02 c core #47 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 47 0.02/0.02 c Current CPU time: 0.015997 s 0.02/0.02 c 0.02/0.02 c core #48 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 48 0.02/0.02 c Current CPU time: 0.015997 s 0.02/0.02 c 0.02/0.02 c core #49 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 49 0.02/0.02 c Current CPU time: 0.015997 s 0.02/0.02 c 0.02/0.02 c core #50 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 50 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #51 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 51 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #52 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 52 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #53 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 53 0.02/0.02 c Current CPU time: 0.016997 s 0.02/0.02 c 0.02/0.02 c core #54 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 54 0.02/0.02 c Current CPU time: 0.017997 s 0.02/0.02 c 0.02/0.02 c core #55 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 55 0.02/0.02 c Current CPU time: 0.017997 s 0.02/0.02 c 0.02/0.02 c core #56 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 56 0.02/0.02 c Current CPU time: 0.017997 s 0.02/0.02 c 0.02/0.02 c core #57 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 57 0.02/0.02 c Current CPU time: 0.018997 s 0.02/0.02 c 0.02/0.02 c core #58 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 58 0.02/0.02 c Current CPU time: 0.018997 s 0.02/0.02 c 0.02/0.02 c core #59 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 59 0.02/0.02 c Current CPU time: 0.018997 s 0.02/0.02 c 0.02/0.02 c core #60 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 60 0.02/0.02 c Current CPU time: 0.019996 s 0.02/0.02 c 0.02/0.02 c core #61 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 61 0.02/0.02 c Current CPU time: 0.019996 s 0.02/0.02 c 0.02/0.02 c core #62 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 62 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #63 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 63 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #64 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 64 0.02/0.02 c Current CPU time: 0.020996 s 0.02/0.02 c 0.02/0.02 c core #65 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 65 0.02/0.02 c Current CPU time: 0.021996 s 0.02/0.02 c 0.02/0.02 c core #66 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 66 0.02/0.02 c Current CPU time: 0.021996 s 0.02/0.02 c 0.02/0.02 c core #67 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 67 0.02/0.02 c Current CPU time: 0.021996 s 0.02/0.02 c 0.02/0.02 c core #68 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 68 0.02/0.02 c Current CPU time: 0.022996 s 0.02/0.02 c 0.02/0.02 c core #69 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 69 0.02/0.02 c Current CPU time: 0.022996 s 0.02/0.02 c 0.02/0.02 c core #70 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 70 0.02/0.02 c Current CPU time: 0.022996 s 0.02/0.02 c 0.02/0.02 c core #71 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 71 0.02/0.02 c Current CPU time: 0.023996 s 0.02/0.02 c 0.02/0.02 c core #72 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 72 0.02/0.02 c Current CPU time: 0.023996 s 0.02/0.02 c 0.02/0.02 c core #73 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 73 0.02/0.02 c Current CPU time: 0.023996 s 0.02/0.02 c 0.02/0.02 c core #74 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 74 0.02/0.02 c Current CPU time: 0.024996 s 0.02/0.02 c 0.02/0.02 c core #75 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 75 0.02/0.02 c Current CPU time: 0.024996 s 0.02/0.02 c 0.02/0.02 c core #76 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 76 0.02/0.02 c Current CPU time: 0.025996 s 0.02/0.02 c 0.02/0.02 c core #77 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 77 0.02/0.02 c Current CPU time: 0.025996 s 0.02/0.02 c 0.02/0.02 c core #78 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 78 0.02/0.02 c Current CPU time: 0.025996 s 0.02/0.02 c 0.02/0.02 c core #79 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 79 0.02/0.02 c Current CPU time: 0.026995 s 0.02/0.02 c 0.02/0.02 c core #80 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 80 0.02/0.02 c Current CPU time: 0.026995 s 0.02/0.02 c 0.02/0.02 c core #81 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 81 0.02/0.02 c Current CPU time: 0.026995 s 0.02/0.02 c 0.02/0.02 c core #82 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 82 0.02/0.02 c Current CPU time: 0.027995 s 0.02/0.02 c 0.02/0.02 c core #83 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 83 0.02/0.02 c Current CPU time: 0.027995 s 0.02/0.02 c 0.02/0.02 c core #84 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 84 0.02/0.02 c Current CPU time: 0.027995 s 0.02/0.02 c 0.02/0.02 c core #85 0.02/0.02 c 0.02/0.02 c 0.02/0.02 c Core size: 4 Core Weight: 1 Total Weight: 85 0.02/0.04 c Current CPU time: 0.028995 s 0.02/0.04 c 0.02/0.04 c core #86 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 86 0.02/0.04 c Current CPU time: 0.028995 s 0.02/0.04 c 0.02/0.04 c core #87 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 87 0.02/0.04 c Current CPU time: 0.029995 s 0.02/0.04 c 0.02/0.04 c core #88 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 88 0.02/0.04 c Current CPU time: 0.029995 s 0.02/0.04 c 0.02/0.04 c core #89 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 89 0.02/0.04 c Current CPU time: 0.029995 s 0.02/0.04 c 0.02/0.04 c core #90 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 90 0.02/0.04 c Current CPU time: 0.030995 s 0.02/0.04 c 0.02/0.04 c core #91 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 91 0.02/0.04 c Current CPU time: 0.030995 s 0.02/0.04 c 0.02/0.04 c core #92 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 92 0.02/0.04 c Current CPU time: 0.031995 s 0.02/0.04 c 0.02/0.04 c core #93 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 93 0.02/0.04 c Current CPU time: 0.031995 s 0.02/0.04 c 0.02/0.04 c core #94 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 94 0.02/0.04 c Current CPU time: 0.031995 s 0.02/0.04 c 0.02/0.04 c core #95 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 95 0.02/0.04 c Current CPU time: 0.032994 s 0.02/0.04 c 0.02/0.04 c core #96 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 96 0.02/0.04 c Current CPU time: 0.032994 s 0.02/0.04 c 0.02/0.04 c core #97 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 97 0.02/0.04 c Current CPU time: 0.033994 s 0.02/0.04 c 0.02/0.04 c core #98 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 98 0.02/0.04 c Current CPU time: 0.033994 s 0.02/0.04 c 0.02/0.04 c core #99 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 99 0.02/0.04 c Current CPU time: 0.033994 s 0.02/0.04 c 0.02/0.04 c core #100 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 100 0.02/0.04 c Current CPU time: 0.034994 s 0.02/0.04 c 0.02/0.04 c core #101 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 101 0.02/0.04 c Current CPU time: 0.034994 s 0.02/0.04 c 0.02/0.04 c core #102 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 102 0.02/0.04 c Current CPU time: 0.035994 s 0.02/0.04 c 0.02/0.04 c core #103 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 3 Core Weight: 1 Total Weight: 103 0.02/0.04 c Current CPU time: 0.035994 s 0.02/0.04 c 0.02/0.04 c core #104 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 4 Core Weight: 1 Total Weight: 104 0.02/0.04 c Current CPU time: 0.035994 s 0.02/0.04 c 0.02/0.04 c core #105 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 105 0.02/0.04 c Current CPU time: 0.036994 s 0.02/0.04 c 0.02/0.04 c core #106 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 106 0.02/0.04 c Current CPU time: 0.036994 s 0.02/0.04 c 0.02/0.04 c core #107 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 10 Core Weight: 1 Total Weight: 107 0.02/0.04 c Current CPU time: 0.037994 s 0.02/0.04 c 0.02/0.04 c core #108 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 20 Core Weight: 1 Total Weight: 108 0.02/0.04 c Current CPU time: 0.037994 s 0.02/0.04 c 0.02/0.04 c core #109 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 9 Core Weight: 1 Total Weight: 109 0.02/0.04 c Current CPU time: 0.038994 s 0.02/0.04 c 0.02/0.04 c core #110 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 110 0.02/0.04 c Current CPU time: 0.038994 s 0.02/0.04 c 0.02/0.04 c core #111 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 9 Core Weight: 1 Total Weight: 111 0.02/0.04 c Current CPU time: 0.039993 s 0.02/0.04 c 0.02/0.04 c core #112 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 15 Core Weight: 1 Total Weight: 112 0.02/0.04 c Current CPU time: 0.039993 s 0.02/0.04 c 0.02/0.04 c core #113 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 32 Core Weight: 1 Total Weight: 113 0.02/0.04 c Current CPU time: 0.039993 s 0.02/0.04 c 0.02/0.04 c core #114 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 15 Core Weight: 1 Total Weight: 114 0.02/0.04 c Current CPU time: 0.040993 s 0.02/0.04 c 0.02/0.04 c core #115 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 18 Core Weight: 1 Total Weight: 115 0.02/0.04 c Current CPU time: 0.040993 s 0.02/0.04 c 0.02/0.04 c core #116 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 20 Core Weight: 1 Total Weight: 116 0.02/0.04 c Current CPU time: 0.041993 s 0.02/0.04 c 0.02/0.04 c core #117 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 9 Core Weight: 1 Total Weight: 117 0.02/0.04 c Current CPU time: 0.041993 s 0.02/0.04 c 0.02/0.04 c core #118 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 23 Core Weight: 1 Total Weight: 118 0.02/0.04 c Current CPU time: 0.042993 s 0.02/0.04 c 0.02/0.04 c core #119 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 40 Core Weight: 1 Total Weight: 119 0.02/0.04 c Current CPU time: 0.042993 s 0.02/0.04 c 0.02/0.04 c core #120 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 32 Core Weight: 1 Total Weight: 120 0.02/0.04 c Current CPU time: 0.042993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 820 1040 2584 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #121 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 23 Core Weight: 1 Total Weight: 121 0.02/0.04 c Current CPU time: 0.043993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 836 1042 2622 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #122 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 47 Core Weight: 1 Total Weight: 122 0.02/0.04 c Current CPU time: 0.043993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 866 1044 2688 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #123 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 123 0.02/0.04 c Current CPU time: 0.044993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 872 1048 2709 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #124 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 64 Core Weight: 1 Total Weight: 124 0.02/0.04 c Current CPU time: 0.045993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 932 1050 2833 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #125 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 63 Core Weight: 1 Total Weight: 125 0.02/0.04 c Current CPU time: 0.046992 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 962 1057 2912 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.05 c core #126 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 74 Core Weight: 1 Total Weight: 126 0.02/0.05 c Current CPU time: 0.048992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 999 1060 2994 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #127 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 57 Core Weight: 1 Total Weight: 127 0.02/0.05 c Current CPU time: 0.050992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 1018 1066 3091 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #128 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 91 Core Weight: 1 Total Weight: 128 0.02/0.05 c Current CPU time: 0.052991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 1086 1075 3251 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #129 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 20 Core Weight: 1 Total Weight: 129 0.02/0.05 c Current CPU time: 0.053991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 1083 1077 3259 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #130 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 29 Core Weight: 1 Total Weight: 130 0.02/0.05 c Current CPU time: 0.053991 s 0.02/0.05 c 0.02/0.05 c core #131 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 87 Core Weight: 1 Total Weight: 131 0.02/0.05 c Current CPU time: 0.054991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 995 1080 3279 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #132 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 83 Core Weight: 1 Total Weight: 132 0.02/0.05 c Current CPU time: 0.055991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 986 1084 3306 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #133 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 69 Core Weight: 1 Total Weight: 133 0.02/0.05 c Current CPU time: 0.056991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 1025 1086 3338 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.06 c core #134 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 93 Core Weight: 1 Total Weight: 134 0.02/0.06 c Current CPU time: 0.058991 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1054 1091 3396 | 5000 0 -nan | 0.000 % | 0.02/0.06 c | 101 | 1054 1091 3396 | 5500 101 16 | 10.374 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #135 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 134 Core Weight: 1 Total Weight: 135 0.02/0.06 c Current CPU time: 0.06299 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1019 1095 3448 | 5000 0 -nan | 0.000 % | 0.02/0.06 c | 101 | 1012 1095 3448 | 5500 101 16 | 19.266 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #136 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 176 Core Weight: 1 Total Weight: 136 0.02/0.06 c Current CPU time: 0.065989 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1002 1101 3514 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.08 c core #137 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 178 Core Weight: 1 Total Weight: 137 0.02/0.08 c Current CPU time: 0.066989 s 0.02/0.08 c 0.02/0.08 c core #138 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 82 Core Weight: 1 Total Weight: 138 0.02/0.08 c Current CPU time: 0.067989 s 0.02/0.08 c 0.02/0.08 c core #139 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 180 Core Weight: 1 Total Weight: 139 0.02/0.08 c Current CPU time: 0.068989 s 0.02/0.08 c 0.02/0.08 c core #140 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 242 Core Weight: 1 Total Weight: 140 0.02/0.08 c Current CPU time: 0.069989 s 0.02/0.08 c 0.02/0.08 c core #141 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 244 Core Weight: 1 Total Weight: 141 0.02/0.08 c Current CPU time: 0.070989 s 0.02/0.08 c 0.02/0.08 c core #142 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 274 Core Weight: 1 Total Weight: 142 0.02/0.08 c Current CPU time: 0.071989 s 0.02/0.08 c 0.02/0.08 c core #143 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 283 Core Weight: 1 Total Weight: 143 0.02/0.08 c Current CPU time: 0.072988 s 0.02/0.08 c 0.02/0.08 c core #144 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 328 Core Weight: 1 Total Weight: 144 0.02/0.08 c Current CPU time: 0.073988 s 0.02/0.08 c 0.02/0.08 c core #145 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 327 Core Weight: 1 Total Weight: 145 0.02/0.08 c Current CPU time: 0.074988 s 0.02/0.08 c 0.02/0.08 c core #146 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 340 Core Weight: 1 Total Weight: 146 0.02/0.08 c Current CPU time: 0.075988 s 0.02/0.08 c 0.02/0.08 c core #147 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 344 Core Weight: 1 Total Weight: 147 0.02/0.08 c Current CPU time: 0.076988 s 0.02/0.08 c 0.02/0.08 c core #148 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 360 Core Weight: 1 Total Weight: 148 0.02/0.08 c Current CPU time: 0.077988 s 0.02/0.08 c 0.02/0.08 c core #149 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 102 Core Weight: 1 Total Weight: 149 0.02/0.08 c Current CPU time: 0.078987 s 0.02/0.08 c 0.02/0.08 c core #150 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 343 Core Weight: 1 Total Weight: 150 0.02/0.08 c Current CPU time: 0.079987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 767 1116 3638 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #151 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 364 Core Weight: 1 Total Weight: 151 0.02/0.08 c Current CPU time: 0.080987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 772 1117 3648 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #152 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 380 Core Weight: 1 Total Weight: 152 0.02/0.08 c Current CPU time: 0.082987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 781 1118 3666 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #153 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 356 Core Weight: 1 Total Weight: 153 0.02/0.08 c Current CPU time: 0.083987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 791 1119 3686 | 5000 0 -nan | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #154 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 381 Core Weight: 1 Total Weight: 154 0.02/0.08 c Current CPU time: 0.086986 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 803 1120 3710 | 5000 0 -nan | 0.000 % | 0.02/0.09 c | 100 | 803 1120 3710 | 5500 100 22 | 39.442 % | 0.02/0.09 c | 251 | 803 1120 3710 | 6050 251 24 | 39.442 % | 0.02/0.09 c =============================================================================== 0.02/0.09 c core #155 0.02/0.09 c 0.02/0.09 c 0.02/0.09 c Core size: 382 Core Weight: 1 Total Weight: 155 0.02/0.09 c Current CPU time: 0.095985 s 0.02/0.09 c 0.02/0.09 c ============================[ Search Statistics ]============================== 0.02/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.09 c =============================================================================== 0.02/0.09 c | 0 | 816 1121 3736 | 5000 0 -nan | 0.000 % | 0.02/0.09 c | 100 | 816 1121 3736 | 5500 100 29 | 39.059 % | 0.09/0.10 c | 251 | 816 1121 3736 | 6050 251 31 | 39.059 % | 0.09/0.10 c | 476 | 816 1121 3736 | 6655 476 34 | 39.059 % | 0.09/0.11 c | 815 | 810 1121 3736 | 7320 815 36 | 39.507 % | 0.09/0.14 c | 1326 | 810 1121 3736 | 8052 1326 37 | 39.507 % | 0.09/0.19 c | 2087 | 792 1121 3736 | 8857 2087 37 | 42.046 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #156 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 402 Core Weight: 1 Total Weight: 156 0.09/0.19 c Current CPU time: 0.188971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 849 1122 3796 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 849 1122 3796 | 5500 100 36 | 37.984 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #157 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 357 Core Weight: 1 Total Weight: 157 0.19/0.20 c Current CPU time: 0.19397 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 856 1123 3810 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 102 | 854 1123 3810 | 5500 102 21 | 40.480 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #158 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 379 Core Weight: 1 Total Weight: 158 0.19/0.20 c Current CPU time: 0.19697 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 871 1124 3840 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 100 | 871 1124 3840 | 5500 100 36 | 37.383 % | 0.19/0.21 c | 253 | 871 1124 3840 | 6050 253 41 | 37.383 % | 0.19/0.21 c | 482 | 871 1124 3840 | 6655 482 40 | 37.383 % | 0.19/0.22 c | 820 | 871 1124 3840 | 7320 820 43 | 37.383 % | 0.19/0.24 c | 1326 | 871 1124 3840 | 8052 1326 44 | 37.383 % | 0.19/0.28 c | 2087 | 871 1124 3840 | 8857 2087 45 | 37.383 % | 0.29/0.37 c | 3228 | 871 1124 3840 | 9743 3228 46 | 37.383 % | 0.49/0.52 c | 4940 | 871 1124 3840 | 10717 4940 47 | 37.383 % | 0.69/0.79 c | 7505 | 871 1124 3840 | 11789 7505 47 | 37.383 % | 0.79/0.83 c =============================================================================== 0.79/0.86 c core #159 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 394 Core Weight: 1 Total Weight: 159 0.79/0.86 c Current CPU time: 0.840872 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 895 1125 3888 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #160 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 358 Core Weight: 1 Total Weight: 160 0.79/0.86 c Current CPU time: 0.843871 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 904 1126 3906 | 5000 0 -nan | 0.000 % | 0.79/0.86 c | 100 | 904 1126 3906 | 5500 100 44 | 36.517 % | 0.79/0.86 c | 251 | 904 1126 3906 | 6050 251 48 | 36.517 % | 0.79/0.87 c | 476 | 904 1126 3906 | 6655 476 46 | 36.517 % | 0.79/0.88 c | 815 | 904 1126 3906 | 7320 815 43 | 36.517 % | 0.79/0.90 c | 1322 | 904 1126 3906 | 8052 1322 49 | 36.517 % | 0.89/0.93 c | 2082 | 904 1126 3906 | 8857 2082 55 | 36.517 % | 0.89/0.99 c | 3221 | 904 1126 3906 | 9743 3221 56 | 36.517 % | 1.11/1.16 c | 4929 | 904 1126 3906 | 10717 4929 58 | 36.517 % | 1.39/1.40 c | 7494 | 886 1126 3906 | 11789 7494 55 | 38.062 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #161 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 403 Core Weight: 1 Total Weight: 161 1.39/1.42 c Current CPU time: 1.38479 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 936 1127 3970 | 5000 0 -nan | 0.000 % | 1.39/1.42 c | 100 | 936 1127 3970 | 5500 100 51 | 35.714 % | 1.39/1.42 c | 251 | 936 1127 3970 | 6050 251 48 | 35.714 % | 1.39/1.43 c | 479 | 936 1127 3970 | 6655 479 52 | 35.714 % | 1.39/1.44 c | 816 | 936 1127 3970 | 7320 816 61 | 35.714 % | 1.39/1.47 c | 1324 | 936 1127 3970 | 8052 1324 65 | 35.715 % | 1.49/1.50 c | 2084 | 936 1127 3970 | 8857 2084 67 | 35.714 % | 1.59/1.60 c | 3226 | 936 1127 3970 | 9743 3226 72 | 35.714 % | 1.79/1.81 c | 4934 | 936 1127 3970 | 10717 4934 75 | 35.714 % | 2.21/2.26 c | 7496 | 936 1127 3970 | 11789 7496 76 | 35.714 % | 3.09/3.21 c | 11341 | 936 1127 3970 | 12968 11341 76 | 35.714 % | 4.59/4.68 c | 17111 | 936 1127 3970 | 14265 10311 74 | 35.714 % | 6.39/6.42 c | 25761 | 935 1127 3970 | 15692 11529 71 | 35.783 % | 8.99/9.00 c | 38738 | 935 1127 3970 | 17261 16352 71 | 35.783 % | 13.21/13.29 c | 58199 | 935 1127 3970 | 18987 8985 71 | 35.783 % | 19.09/19.10 c =============================================================================== 19.59/19.64 c core #162 19.59/19.64 c 19.59/19.64 c 19.59/19.64 c Core size: 413 Core Weight: 1 Total Weight: 162 19.59/19.64 c Current CPU time: 19.437 s 19.59/19.64 c 19.59/19.64 c ============================[ Search Statistics ]============================== 19.59/19.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.64 c =============================================================================== 19.59/19.64 c | 0 | 973 1128 4044 | 5000 0 -nan | 0.000 % | 19.59/19.64 c =============================================================================== 19.59/19.64 c core #163 19.59/19.64 c 19.59/19.64 c 19.59/19.64 c Core size: 259 Core Weight: 1 Total Weight: 163 19.59/19.64 c Current CPU time: 19.473 s 19.59/19.64 c 19.59/19.64 c ============================[ Search Statistics ]============================== 19.59/19.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.64 c =============================================================================== 19.59/19.64 c | 0 | 980 1129 4058 | 5000 0 -nan | 0.000 % | 19.59/19.64 c =============================================================================== 19.59/19.64 c core #164 19.59/19.64 c 19.59/19.64 c 19.59/19.64 c Core size: 286 Core Weight: 1 Total Weight: 164 19.59/19.64 c Current CPU time: 19.476 s 19.59/19.64 c 19.59/19.64 c ============================[ Search Statistics ]============================== 19.59/19.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.59/19.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.59/19.64 c =============================================================================== 19.59/19.64 c | 0 | 988 1130 4074 | 5000 0 -nan | 0.000 % | 19.59/19.64 c | 100 | 988 1130 4074 | 5500 100 58 | 34.483 % | 19.59/19.65 c | 252 | 988 1130 4074 | 6050 252 59 | 34.483 % | 19.59/19.65 c | 481 | 988 1130 4074 | 6655 481 73 | 34.483 % | 19.59/19.67 c | 818 | 988 1130 4074 | 7320 818 80 | 34.483 % | 19.59/19.70 c | 1324 | 988 1130 4074 | 8052 1324 83 | 34.483 % | 19.70/19.77 c | 2083 | 988 1130 4074 | 8857 2083 87 | 34.483 % | 19.81/19.87 c | 3224 | 988 1130 4074 | 9743 3224 88 | 34.483 % | 19.99/20.07 c | 4932 | 988 1130 4074 | 10717 4932 88 | 34.483 % | 20.49/20.50 c | 7496 | 988 1130 4074 | 11789 7496 93 | 34.483 % | 21.29/21.36 c | 11340 | 988 1130 4074 | 12968 11340 93 | 34.483 % | 22.40/22.40 c | 17110 | 988 1130 4074 | 14265 10303 89 | 34.483 % | 24.29/24.39 c | 25762 | 986 1130 4074 | 15692 11529 85 | 34.615 % | 27.19/27.25 c | 38737 | 978 1130 4074 | 17261 16338 84 | 35.146 % | 31.49/31.52 c | 58200 | 978 1130 4074 | 18987 17928 89 | 35.146 % | 36.79/36.83 c | 87393 | 978 1130 4074 | 20886 17686 84 | 35.146 % | 47.99/48.08 c | 131185 | 978 1130 4074 | 22974 18433 89 | 35.146 % | 64.80/64.84 c | 196871 | 978 1130 4074 | 25272 13396 88 | 35.146 % | 81.00/81.01 c =============================================================================== 82.19/82.29 c core #165 82.19/82.29 c 82.19/82.29 c 82.19/82.29 c Core size: 416 Core Weight: 1 Total Weight: 165 82.19/82.29 c Current CPU time: 81.7036 s 82.19/82.29 c 82.19/82.29 c ============================[ Search Statistics ]============================== 82.19/82.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.19/82.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.19/82.29 c =============================================================================== 82.19/82.29 c | 0 | 1031 1131 4160 | 5000 0 -nan | 0.000 % | 82.29/82.30 c | 100 | 1031 1131 4160 | 5500 100 55 | 33.527 % | 82.29/82.30 c =============================================================================== 82.29/82.30 c core #166 82.29/82.30 c 82.29/82.30 c 82.29/82.30 c Core size: 287 Core Weight: 1 Total Weight: 166 82.29/82.30 c Current CPU time: 81.8226 s 82.29/82.30 c 82.29/82.30 c ============================[ Search Statistics ]============================== 82.29/82.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.29/82.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.29/82.30 c =============================================================================== 82.29/82.30 c | 0 | 1045 1132 4188 | 5000 0 -nan | 0.000 % | 82.29/82.30 c | 101 | 1045 1132 4188 | 5500 101 66 | 33.227 % | 82.29/82.31 c | 251 | 1045 1132 4188 | 6050 251 43 | 33.227 % | 82.29/82.31 c | 477 | 1045 1132 4188 | 6655 477 38 | 33.227 % | 82.29/82.32 c | 814 | 1045 1132 4188 | 7320 814 32 | 33.227 % | 82.29/82.33 c =============================================================================== 82.29/82.33 c core #167 82.29/82.33 c 82.29/82.33 c 82.29/82.33 c Core size: 387 Core Weight: 1 Total Weight: 167 82.29/82.33 c Current CPU time: 81.8506 s 82.29/82.33 c 82.29/82.33 c ============================[ Search Statistics ]============================== 82.29/82.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.29/82.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.29/82.33 c =============================================================================== 82.29/82.33 c | 0 | 1065 1133 4228 | 5000 0 -nan | 0.000 % | 82.29/82.33 c | 100 | 1065 1133 4228 | 5500 100 65 | 32.808 % | 82.29/82.34 c | 251 | 1065 1133 4228 | 6050 251 57 | 32.808 % | 82.29/82.34 c | 476 | 1065 1133 4228 | 6655 476 58 | 32.808 % | 82.29/82.36 c | 814 | 1065 1133 4228 | 7320 814 69 | 32.808 % | 82.29/82.37 c | 1324 | 1065 1133 4228 | 8052 1324 74 | 32.808 % | 82.29/82.41 c | 2084 | 1065 1133 4228 | 8857 2084 79 | 32.808 % | 82.39/82.51 c | 3223 | 1065 1133 4228 | 9743 3223 85 | 32.808 % | 82.59/82.68 c | 4933 | 1065 1133 4228 | 10717 4933 90 | 32.808 % | 82.99/83.00 c | 7496 | 1065 1133 4228 | 11789 7496 92 | 32.808 % | 83.61/83.62 c | 11343 | 1065 1133 4228 | 12968 11343 98 | 32.808 % | 84.79/84.80 c | 17109 | 1065 1133 4228 | 14265 10321 104 | 32.808 % | 87.49/87.51 c | 25759 | 1065 1133 4228 | 15692 11530 106 | 32.808 % | 89.39/89.40 c | 38734 | 1065 1133 4228 | 17261 16335 93 | 32.808 % | 94.39/94.45 c | 58196 | 1065 1133 4228 | 18987 17904 113 | 32.808 % | 101.29/101.38 c | 87389 | 1065 1133 4228 | 20886 17621 97 | 32.808 % | 101.59/101.63 c =============================================================================== 101.59/101.67 c core #168 101.59/101.67 c 101.59/101.67 c 101.59/101.67 c Core size: 366 Core Weight: 1 Total Weight: 168 101.59/101.67 c Current CPU time: 101.025 s 101.59/101.67 c 101.59/101.67 c ============================[ Search Statistics ]============================== 101.59/101.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.59/101.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.59/101.67 c =============================================================================== 101.59/101.67 c | 0 | 1077 1134 4252 | 5000 0 -nan | 0.000 % | 101.59/101.67 c | 101 | 1077 1134 4252 | 5500 101 47 | 32.561 % | 101.59/101.67 c | 251 | 1077 1134 4252 | 6050 251 41 | 32.561 % | 101.59/101.67 c | 476 | 1077 1134 4252 | 6655 476 54 | 32.561 % | 101.59/101.69 c | 815 | 1077 1134 4252 | 7320 815 70 | 32.561 % | 101.69/101.71 c | 1322 | 1077 1134 4252 | 8052 1322 81 | 32.561 % | 101.69/101.73 c | 2081 | 1077 1134 4252 | 8857 2081 79 | 32.561 % | 101.69/101.77 c | 3220 | 1077 1134 4252 | 9743 3220 74 | 32.561 % | 101.69/101.78 c =============================================================================== 101.69/101.78 c core #169 101.69/101.78 c 101.69/101.78 c 101.69/101.78 c Core size: 297 Core Weight: 1 Total Weight: 169 101.69/101.78 c Current CPU time: 101.167 s 101.69/101.78 c 101.69/101.78 c ============================[ Search Statistics ]============================== 101.69/101.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.69/101.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.69/101.78 c =============================================================================== 101.69/101.78 c | 0 | 1092 1135 4282 | 5000 0 -nan | 0.000 % | 101.69/101.78 c | 100 | 1092 1135 4282 | 5500 100 65 | 32.258 % | 101.69/101.79 c =============================================================================== 101.69/101.79 c core #170 101.69/101.79 c 101.69/101.79 c 101.69/101.79 c Core size: 358 Core Weight: 1 Total Weight: 170 101.69/101.79 c Current CPU time: 101.172 s 101.69/101.79 c 101.69/101.79 c ============================[ Search Statistics ]============================== 101.69/101.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.69/101.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.69/101.79 c =============================================================================== 101.69/101.79 c | 0 | 1101 1136 4300 | 5000 0 -nan | 0.000 % | 101.69/101.79 c | 100 | 1101 1136 4300 | 5500 100 65 | 32.079 % | 101.69/101.79 c | 253 | 1101 1136 4300 | 6050 253 63 | 32.079 % | 101.79/101.80 c | 478 | 1101 1136 4300 | 6655 478 81 | 32.079 % | 101.79/101.82 c | 815 | 1101 1136 4300 | 7320 815 92 | 32.079 % | 101.79/101.84 c | 1324 | 1101 1136 4300 | 8052 1324 95 | 32.079 % | 101.89/101.90 c | 2083 | 1101 1136 4300 | 8857 2083 102 | 32.079 % | 101.99/102.03 c | 3225 | 1101 1136 4300 | 9743 3225 106 | 32.079 % | 102.19/102.25 c | 4933 | 1101 1136 4300 | 10717 4933 110 | 32.079 % | 102.69/102.74 c | 7495 | 1101 1136 4300 | 11789 7495 116 | 32.079 % | 103.30/103.40 c | 11341 | 1101 1136 4300 | 12968 11341 119 | 32.079 % | 104.89/104.97 c | 17115 | 1101 1136 4300 | 14265 10288 119 | 32.079 % | 106.99/107.01 c | 25766 | 1101 1136 4300 | 15692 11456 120 | 32.079 % | 110.89/111.01 c | 38740 | 1101 1136 4300 | 17261 16251 118 | 32.079 % | 115.19/115.26 c | 58203 | 1101 1136 4300 | 18987 17777 116 | 32.079 % | 121.70/121.74 c | 87395 | 1101 1136 4300 | 20886 17451 109 | 32.079 % | 132.49/132.58 c | 131194 | 1101 1136 4300 | 22974 18086 106 | 32.079 % | 150.05/150.12 c | 196880 | 1101 1136 4300 | 25272 12814 106 | 32.079 % | 164.25/164.37 c =============================================================================== 164.35/164.48 c core #171 164.35/164.48 c 164.35/164.48 c 164.35/164.48 c Core size: 391 Core Weight: 1 Total Weight: 171 164.35/164.48 c Current CPU time: 163.365 s 164.35/164.48 c 164.35/164.48 c ============================[ Search Statistics ]============================== 164.35/164.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.35/164.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.35/164.48 c =============================================================================== 164.35/164.48 c | 0 | 1129 1137 4356 | 5000 0 -nan | 0.000 % | 164.35/164.48 c | 102 | 1129 1137 4356 | 5500 102 23 | 31.534 % | 164.35/164.49 c | 253 | 1129 1137 4356 | 6050 253 22 | 31.534 % | 164.35/164.49 c =============================================================================== 164.35/164.49 c core #172 164.35/164.49 c 164.35/164.49 c 164.35/164.49 c Core size: 365 Core Weight: 1 Total Weight: 172 164.35/164.49 c Current CPU time: 163.477 s 164.35/164.49 c 164.35/164.49 c ============================[ Search Statistics ]============================== 164.35/164.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.35/164.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.35/164.49 c =============================================================================== 164.35/164.49 c | 0 | 1143 1138 4384 | 5000 0 -nan | 0.000 % | 164.35/164.49 c | 100 | 1143 1138 4384 | 5500 100 37 | 31.269 % | 164.35/164.49 c | 250 | 1143 1138 4384 | 6050 250 33 | 31.269 % | 164.45/164.50 c | 476 | 1143 1138 4384 | 6655 476 36 | 31.269 % | 164.45/164.51 c | 813 | 1143 1138 4384 | 7320 813 44 | 31.269 % | 164.45/164.52 c | 1322 | 1143 1138 4384 | 8052 1322 46 | 31.269 % | 164.45/164.56 c | 2083 | 1143 1138 4384 | 8857 2083 53 | 31.269 % | 164.56/164.63 c | 3224 | 1143 1138 4384 | 9743 3224 55 | 31.269 % | 164.66/164.77 c | 4933 | 1143 1138 4384 | 10717 4933 57 | 31.269 % | 165.05/165.15 c | 7498 | 1143 1138 4384 | 11789 7498 60 | 31.269 % | 165.66/165.76 c | 11343 | 1143 1138 4384 | 12968 11343 60 | 31.269 % | 166.75/166.80 c | 17109 | 1143 1138 4384 | 14265 10314 62 | 31.269 % | 168.36/168.43 c | 25766 | 1120 1138 4384 | 15692 11513 66 | 36.741 % | 168.36/168.43 c =============================================================================== 168.46/168.55 c core #173 168.46/168.55 c 168.46/168.55 c 168.46/168.55 c Core size: 392 Core Weight: 1 Total Weight: 173 168.46/168.55 c Current CPU time: 167.497 s 168.46/168.55 c 168.46/168.55 c ============================[ Search Statistics ]============================== 168.46/168.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 168.46/168.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 168.46/168.55 c =============================================================================== 168.46/168.55 c | 0 | 1171 1139 4440 | 5000 0 -nan | 0.000 % | 168.46/168.55 c | 104 | 1171 1139 4440 | 5500 104 46 | 30.751 % | 168.46/168.55 c | 258 | 1171 1139 4440 | 6050 258 46 | 30.751 % | 168.46/168.56 c | 484 | 1171 1139 4440 | 6655 484 51 | 30.751 % | 168.46/168.56 c | 822 | 1171 1139 4440 | 7320 822 53 | 30.751 % | 168.46/168.58 c | 1328 | 1171 1139 4440 | 8052 1328 57 | 30.751 % | 168.55/168.60 c | 2094 | 1171 1139 4440 | 8857 2094 62 | 30.751 % | 168.55/168.66 c | 3235 | 1171 1139 4440 | 9743 3235 74 | 30.751 % | 168.65/168.79 c | 4946 | 1171 1139 4440 | 10717 4946 88 | 30.751 % | 168.96/169.03 c | 7508 | 1171 1139 4440 | 11789 7508 99 | 30.751 % | 169.55/169.62 c | 11354 | 1171 1139 4440 | 12968 11354 106 | 30.751 % | 170.75/170.82 c | 17128 | 1171 1139 4440 | 14265 10340 115 | 30.751 % | 173.05/173.13 c | 25777 | 1171 1139 4440 | 15692 11545 125 | 30.751 % | 176.55/176.66 c | 38757 | 1171 1139 4440 | 17261 16349 131 | 30.751 % | 184.15/184.25 c | 58220 | 1171 1139 4440 | 18987 17884 134 | 30.751 % | 196.06/196.16 c | 87412 | 1171 1139 4440 | 20886 17547 126 | 30.751 % | 210.36/210.41 c | 131201 | 1171 1139 4440 | 22974 18197 116 | 30.751 % | 226.85/226.93 c | 196889 | 1171 1139 4440 | 25272 12938 116 | 30.751 % | 254.26/254.34 c | 295418 | 1171 1139 4440 | 27799 18729 115 | 30.751 % | 297.96/298.05 c | 443218 | 1171 1139 4440 | 30579 14436 113 | 30.751 % | 380.85/380.95 c | 664901 | 1171 1139 4440 | 33637 22569 101 | 30.751 % | 495.15/495.28 c | 997429 | 1171 1139 4440 | 37001 19232 122 | 30.751 % | 684.85/684.91 c | 1496220 | 1171 1139 4440 | 40701 17443 111 | 30.751 % | 1019.95/1020.02 c | 2244402 | 1128 1139 4440 | 44771 39630 125 | 33.294 % | 1148.84/1148.90 c =============================================================================== 1176.64/1176.71 c core #174 1176.64/1176.71 c 1176.64/1176.71 c 1176.64/1176.71 c Core size: 423 Core Weight: 1 Total Weight: 174 1176.64/1176.71 c Current CPU time: 1170.73 s 1176.64/1176.71 c 1176.64/1176.71 c ============================[ Search Statistics ]============================== 1176.64/1176.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1176.64/1176.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1176.64/1176.71 c =============================================================================== 1176.64/1176.71 c | 0 | 1222 1140 4542 | 5000 0 -nan | 0.000 % | 1176.64/1176.71 c | 100 | 1222 1140 4542 | 5500 100 73 | 29.851 % | 1176.64/1176.72 c | 252 | 1222 1140 4542 | 6050 252 52 | 29.851 % | 1176.64/1176.72 c | 477 | 1222 1140 4542 | 6655 477 66 | 29.851 % | 1176.64/1176.73 c | 814 | 1222 1140 4542 | 7320 814 65 | 29.851 % | 1176.64/1176.75 c | 1320 | 1222 1140 4542 | 8052 1320 70 | 29.851 % | 1176.64/1176.77 c | 2082 | 1222 1140 4542 | 8857 2082 68 | 29.851 % | 1176.74/1176.87 c | 3222 | 1222 1140 4542 | 9743 3222 87 | 29.851 % | 1177.04/1177.12 c | 4930 | 1222 1140 4542 | 10717 4930 115 | 29.851 % | 1177.64/1177.72 c | 7494 | 1222 1140 4542 | 11789 7494 127 | 29.851 % | 1178.44/1178.50 c | 11338 | 1222 1140 4542 | 12968 11338 133 | 29.851 % | 1179.94/1180.01 c | 17104 | 1222 1140 4542 | 14265 10306 144 | 29.851 % | 1182.94/1183.04 c | 25753 | 1222 1140 4542 | 15692 11508 146 | 29.851 % | 1185.15/1185.20 c | 38728 | 1222 1140 4542 | 17261 16282 133 | 29.851 % | 1190.05/1190.20 c | 58190 | 1222 1140 4542 | 18987 17774 149 | 29.851 % | 1196.55/1196.70 c | 87384 | 1222 1140 4542 | 20886 17413 136 | 29.851 % | 1204.14/1204.29 c | 131173 | 1222 1140 4542 | 22974 18159 66 | 29.851 % | 1215.64/1215.74 c =============================================================================== 1216.24/1216.38 c core #175 1216.24/1216.38 c 1216.24/1216.38 c 1216.24/1216.38 c Core size: 396 Core Weight: 1 Total Weight: 175 1216.24/1216.38 c Current CPU time: 1211.44 s 1216.24/1216.38 c 1216.24/1216.38 c ============================[ Search Statistics ]============================== 1216.24/1216.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1216.24/1216.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1216.24/1216.38 c =============================================================================== 1216.24/1216.38 c | 0 | 1250 1141 4598 | 5000 0 -nan | 0.000 % | 1216.24/1216.38 c | 100 | 1250 1141 4598 | 5500 100 73 | 29.379 % | 1216.24/1216.38 c | 255 | 1250 1141 4598 | 6050 255 48 | 29.379 % | 1216.24/1216.39 c | 482 | 1250 1141 4598 | 6655 482 65 | 29.379 % | 1216.34/1216.40 c | 821 | 1250 1141 4598 | 7320 821 72 | 29.379 % | 1216.34/1216.41 c | 1336 | 1250 1141 4598 | 8052 1336 65 | 29.379 % | 1216.34/1216.45 c | 2097 | 1250 1141 4598 | 8857 2097 71 | 29.379 % | 1216.34/1216.50 c | 3241 | 1250 1141 4598 | 9743 3241 80 | 29.379 % | 1216.56/1216.68 c | 4949 | 1250 1141 4598 | 10717 4949 111 | 29.379 % | 1217.14/1217.24 c | 7513 | 1250 1141 4598 | 11789 7513 138 | 29.379 % | 1218.44/1218.55 c | 11357 | 1250 1141 4598 | 12968 11357 155 | 29.379 % | 1220.44/1220.51 c | 17123 | 1250 1141 4598 | 14265 10312 165 | 29.379 % | 1222.44/1222.52 c | 25773 | 1250 1141 4598 | 15692 11471 141 | 29.379 % | 1225.64/1225.70 c | 38748 | 1250 1141 4598 | 17261 16246 141 | 29.379 % | 1232.24/1232.40 c | 58213 | 1250 1141 4598 | 18987 17773 150 | 29.379 % | 1235.94/1236.08 c | 87406 | 1250 1141 4598 | 20886 17478 84 | 29.379 % | 1242.64/1242.79 c | 131198 | 1250 1141 4598 | 22974 17962 75 | 29.379 % | 1257.54/1257.69 c | 196882 | 1250 1141 4598 | 25272 12162 88 | 29.379 % | 1283.04/1283.17 c | 295410 | 1250 1141 4598 | 27799 18229 102 | 29.379 % | 1324.84/1324.99 c | 443203 | 1250 1141 4598 | 30579 28260 109 | 29.379 % | 1410.54/1410.67 c | 664886 | 1250 1141 4598 | 33637 19139 114 | 29.379 % | 1522.24/1522.37 c | 997411 | 1250 1141 4598 | 37001 15650 102 | 29.379 % | 1542.43/1542.55 c =============================================================================== 1549.23/1549.39 c core #176 1549.23/1549.39 c 1549.23/1549.39 c 1549.23/1549.39 c Core size: 415 Core Weight: 1 Total Weight: 176 1549.23/1549.39 c Current CPU time: 1542.51 s 1549.23/1549.39 c 1549.23/1549.39 c ============================[ Search Statistics ]============================== 1549.23/1549.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1549.23/1549.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1549.23/1549.39 c =============================================================================== 1549.23/1549.39 c | 0 | 1298 1142 4694 | 5000 0 -nan | 0.000 % | 1549.23/1549.39 c | 100 | 1298 1142 4694 | 5500 100 32 | 28.603 % | 1549.33/1549.40 c | 250 | 1298 1142 4694 | 6050 250 44 | 28.603 % | 1549.33/1549.40 c | 475 | 1298 1142 4694 | 6655 475 38 | 28.603 % | 1549.33/1549.41 c | 812 | 1298 1142 4694 | 7320 812 48 | 28.603 % | 1549.33/1549.42 c | 1319 | 1298 1142 4694 | 8052 1319 59 | 28.603 % | 1549.33/1549.45 c | 2079 | 1298 1142 4694 | 8857 2079 65 | 28.603 % | 1549.43/1549.51 c | 3220 | 1298 1142 4694 | 9743 3220 83 | 28.603 % | 1549.53/1549.61 c | 4928 | 1298 1142 4694 | 10717 4928 96 | 28.603 % | 1549.85/1549.95 c | 7494 | 1298 1142 4694 | 11789 7494 109 | 28.603 % | 1550.53/1550.64 c | 11339 | 1298 1142 4694 | 12968 11339 115 | 28.603 % | 1551.74/1551.89 c | 17106 | 1298 1142 4694 | 14265 10308 125 | 28.603 % | 1553.73/1553.80 c | 25757 | 1298 1142 4694 | 15692 11521 126 | 28.603 % | 1558.33/1558.40 c | 38731 | 1298 1142 4694 | 17261 16329 129 | 28.603 % | 1562.94/1563.07 c | 58197 | 1298 1142 4694 | 18987 17908 128 | 28.603 % | 1572.34/1572.41 c | 87392 | 1298 1142 4694 | 20886 17717 116 | 28.603 % | 1581.76/1581.83 c | 131181 | 1298 1142 4694 | 22974 18309 115 | 28.603 % | 1603.83/1603.96 c | 196866 | 1298 1142 4694 | 25272 13118 139 | 28.603 % | 1641.16/1641.23 c | 295392 | 1298 1142 4694 | 27799 19134 138 | 28.603 % | 1688.93/1689.05 c | 443184 | 1298 1142 4694 | 30579 19105 101 | 28.603 % | 1756.03/1756.12 c | 664867 | 1298 1142 4694 | 33637 24910 113 | 28.603 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3461397-1307085198/watcher-3461397-1307085198 -o /tmp/evaluation-result-3461397-1307085198/solver-3461397-1307085198 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461397-1307085198.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.05 2.00 1/533 8876 /proc/meminfo: memFree=25289600/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=2252 CPUtime=0 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 367 0 0 0 0 0 0 0 25 0 1 0 800936091 2306048 315 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 563 315 175 372 0 188 0 [startup+0.024465 s] /proc/loadavg: 2.03 2.05 2.00 1/533 8876 /proc/meminfo: memFree=25289600/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=2508 CPUtime=0.02 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 423 0 0 0 2 0 0 0 25 0 1 0 800936091 2568192 371 33554432000 4194304 5714214 140737020688880 18446744073709551615 4355865 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 627 371 175 372 0 252 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2508 [startup+0.100471 s] /proc/loadavg: 2.03 2.05 2.00 1/533 8876 /proc/meminfo: memFree=25289600/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=3416 CPUtime=0.09 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 650 0 0 0 9 0 0 0 18 0 1 0 800936091 3497984 594 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 854 594 180 372 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3416 [startup+0.300414 s] /proc/loadavg: 2.03 2.05 2.00 1/533 8876 /proc/meminfo: memFree=25289600/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=4224 CPUtime=0.29 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 851 0 0 0 28 1 0 0 18 0 1 0 800936091 4325376 795 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 1056 795 180 372 0 681 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4224 [startup+0.700341 s] /proc/loadavg: 2.03 2.05 2.00 1/533 8876 /proc/meminfo: memFree=25289600/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=5844 CPUtime=0.69 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 1253 0 0 0 68 1 0 0 18 0 1 0 800936091 5984256 1197 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 1461 1197 180 372 0 1086 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5844 [startup+1.5002 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25283476/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=7168 CPUtime=1.49 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 1608 0 0 0 145 4 0 0 18 0 1 0 800936091 7340032 1552 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 1792 1552 180 372 0 1417 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7168 [startup+3.10091 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25279784/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=8956 CPUtime=3.09 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 2045 0 0 0 304 5 0 0 20 0 1 0 800936091 9170944 1989 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 2239 1989 180 372 0 1864 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8956 [startup+6.30034 s] /proc/loadavg: 2.03 2.05 2.00 3/536 8904 /proc/meminfo: memFree=25269748/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=13088 CPUtime=6.29 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 3029 0 0 0 621 8 0 0 20 0 1 0 800936091 13402112 2973 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 3272 2973 180 372 0 2897 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13088 [startup+12.7002 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8904 /proc/meminfo: memFree=25257532/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=19488 CPUtime=12.69 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 4576 0 0 0 1257 12 0 0 25 0 1 0 800936091 19955712 4520 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 4872 4520 180 372 0 4497 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19488 [startup+25.5009 s] /proc/loadavg: 2.09 2.06 2.01 3/536 8905 /proc/meminfo: memFree=25241344/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=28032 CPUtime=25.49 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 6730 0 0 0 2529 20 0 0 25 0 1 0 800936091 28704768 6635 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 7008 6635 180 372 0 6633 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28032 [startup+51.1003 s] /proc/loadavg: 2.06 2.05 2.00 3/536 8905 /proc/meminfo: memFree=25229276/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=36896 CPUtime=51.09 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 8959 0 0 0 5076 33 0 0 25 0 1 0 800936091 37781504 8864 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 9224 8864 180 372 0 8849 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 36896 [startup+102.32 s] /proc/loadavg: 2.09 2.07 2.01 3/536 8907 /proc/meminfo: memFree=25177644/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=58080 CPUtime=102.31 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 14225 0 0 0 10168 63 0 0 18 0 1 0 800936091 59473920 14130 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 14520 14130 180 372 0 14145 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 58080 [startup+162.3 s] /proc/loadavg: 2.06 2.07 2.01 3/536 8908 /proc/meminfo: memFree=25137180/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=58928 CPUtime=162.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 14546 0 0 0 16129 96 0 0 25 0 1 0 800936091 60342272 14451 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 14732 14451 180 372 0 14357 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 58928 [startup+222.301 s] /proc/loadavg: 2.02 2.05 2.00 3/536 8910 /proc/meminfo: memFree=25112812/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=58304 CPUtime=222.26 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 14663 0 0 0 22103 123 0 0 25 0 1 0 800936091 59703296 14343 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 14576 14343 180 372 0 14201 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 58304 [startup+282.301 s] /proc/loadavg: 2.01 2.04 2.00 3/536 8911 /proc/meminfo: memFree=25058964/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=80864 CPUtime=282.26 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 20161 0 0 0 28073 153 0 0 25 0 1 0 800936091 82804736 19841 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 20216 19841 180 372 0 19841 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 80864 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8913 /proc/meminfo: memFree=25031752/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=108500 CPUtime=342.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 26883 0 0 0 34052 173 0 0 25 0 1 0 800936091 111104000 26563 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 27125 26563 180 372 0 26750 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 108500 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8915 /proc/meminfo: memFree=25008880/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=132828 CPUtime=402.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 32864 0 0 0 40034 191 0 0 25 0 1 0 800936091 136015872 32544 33554432000 4194304 5714214 140737020688880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 33207 32544 180 372 0 32832 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 132828 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8916 /proc/meminfo: memFree=24984172/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=158084 CPUtime=462.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 39102 0 0 0 46008 217 0 0 25 0 1 0 800936091 161878016 38782 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 39521 38782 180 372 0 39146 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 158084 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8918 /proc/meminfo: memFree=24954232/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=186860 CPUtime=522.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 46234 0 0 0 51980 245 0 0 25 0 1 0 800936091 191344640 45914 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 46715 45914 180 372 0 46340 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 186860 [startup+582.3 s] /proc/loadavg: 2.10 2.04 2.00 3/536 8919 /proc/meminfo: memFree=24935204/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=206212 CPUtime=582.24 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 51043 0 0 0 57961 263 0 0 25 0 1 0 800936091 211161088 50723 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 51553 50723 180 372 0 51178 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 206212 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8930 /proc/meminfo: memFree=24702704/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=320644 CPUtime=882.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 79317 0 0 0 87854 371 0 0 25 0 1 0 800936091 328339456 78997 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 80161 78997 180 372 0 79786 0 Current children cumulated CPU time (s) 882.25 Current children cumulated vsize (KiB) 320644 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8932 /proc/meminfo: memFree=24660372/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=343420 CPUtime=942.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 84980 0 0 0 93836 389 0 0 25 0 1 0 800936091 351662080 84660 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 85855 84660 180 372 0 85480 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 343420 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8934 /proc/meminfo: memFree=24620012/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=361648 CPUtime=1002.24 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 89532 0 0 0 99817 407 0 0 25 0 1 0 800936091 370327552 89212 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 90412 89212 180 372 0 90037 0 Current children cumulated CPU time (s) 1002.24 Current children cumulated vsize (KiB) 361648 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8935 /proc/meminfo: memFree=24571956/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=388888 CPUtime=1062.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 96307 0 0 0 105792 433 0 0 25 0 1 0 800936091 398221312 95987 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 97222 95987 180 372 0 96847 0 Current children cumulated CPU time (s) 1062.25 Current children cumulated vsize (KiB) 388888 [startup+1122.3 s] /proc/loadavg: 2.08 2.03 2.01 3/536 8937 /proc/meminfo: memFree=24539932/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=406704 CPUtime=1122.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 100615 0 0 0 111777 448 0 0 25 0 1 0 800936091 416464896 100295 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 101676 100295 180 372 0 101301 0 Current children cumulated CPU time (s) 1122.25 Current children cumulated vsize (KiB) 406704 [startup+1182.3 s] /proc/loadavg: 2.22 2.07 2.02 3/536 8938 /proc/meminfo: memFree=24403100/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1182.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127583 0 0 0 117763 462 0 0 21 0 1 0 800936091 524824576 126890 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 126890 180 372 0 127756 0 Current children cumulated CPU time (s) 1182.25 Current children cumulated vsize (KiB) 512524 [startup+1242.3 s] /proc/loadavg: 2.13 2.07 2.02 3/536 8940 /proc/meminfo: memFree=24373152/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1242.24 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127585 0 0 0 123725 499 0 0 25 0 1 0 800936091 524824576 126892 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 126892 180 372 0 127756 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 512524 [startup+1302.3 s] /proc/loadavg: 2.05 2.05 2.01 3/536 8942 /proc/meminfo: memFree=24347204/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1302.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127626 0 0 0 129694 531 0 0 25 0 1 0 800936091 524824576 126933 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 126933 180 372 0 127756 0 Current children cumulated CPU time (s) 1302.25 Current children cumulated vsize (KiB) 512524 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/536 8943 /proc/meminfo: memFree=24337364/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1362.25 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127723 0 0 0 135668 557 0 0 25 0 1 0 800936091 524824576 127030 33554432000 4194304 5714214 140737020688880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127030 180 372 0 127756 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 512524 [startup+1422.32 s] /proc/loadavg: 2.00 2.03 2.00 3/536 8945 /proc/meminfo: memFree=24307300/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1422.26 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127797 0 0 0 141648 578 0 0 25 0 1 0 800936091 524824576 127104 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127104 180 372 0 127756 0 Current children cumulated CPU time (s) 1422.26 Current children cumulated vsize (KiB) 512524 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8946 /proc/meminfo: memFree=24298460/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1482.23 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127879 0 0 0 147621 602 0 0 25 0 1 0 800936091 524824576 127186 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127186 180 372 0 127756 0 Current children cumulated CPU time (s) 1482.23 Current children cumulated vsize (KiB) 512524 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/536 8948 /proc/meminfo: memFree=24265412/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1542.23 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 127966 0 0 0 153593 630 0 0 25 0 1 0 800936091 524824576 127273 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127273 180 372 0 127756 0 Current children cumulated CPU time (s) 1542.23 Current children cumulated vsize (KiB) 512524 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/536 8950 /proc/meminfo: memFree=24245144/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1602.24 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128033 0 0 0 159568 656 0 0 25 0 1 0 800936091 524824576 127340 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127340 180 372 0 127756 0 Current children cumulated CPU time (s) 1602.24 Current children cumulated vsize (KiB) 512524 [startup+1662.3 s] /proc/loadavg: 2.11 2.04 2.01 3/536 8951 /proc/meminfo: memFree=24207884/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1662.23 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128033 0 0 0 165544 679 0 0 25 0 1 0 800936091 524824576 127340 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127340 180 372 0 127756 0 Current children cumulated CPU time (s) 1662.23 Current children cumulated vsize (KiB) 512524 [startup+1722.3 s] /proc/loadavg: 2.09 2.04 2.01 3/536 8953 /proc/meminfo: memFree=24197052/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1722.23 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128036 0 0 0 171519 704 0 0 25 0 1 0 800936091 524824576 127343 33554432000 4194304 5714214 140737020688880 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127343 180 372 0 127756 0 Current children cumulated CPU time (s) 1722.23 Current children cumulated vsize (KiB) 512524 [startup+1782.3 s] /proc/loadavg: 2.10 2.06 2.01 3/536 8954 /proc/meminfo: memFree=24158072/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1782.23 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128036 0 0 0 177488 735 0 0 25 0 1 0 800936091 524824576 127343 33554432000 4194304 5714214 140737020688880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127343 180 372 0 127756 0 Current children cumulated CPU time (s) 1782.23 Current children cumulated vsize (KiB) 512524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.15 2.07 2.02 3/536 8955 /proc/meminfo: memFree=24154068/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1800.04 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128036 0 0 0 179259 745 0 0 25 0 1 0 800936091 524824576 127343 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127343 180 372 0 127756 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 512524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.15 2.07 2.02 3/536 8955 /proc/meminfo: memFree=24154068/32951124 swapFree=46970528/67111528 [pid=8876] ppid=8874 vsize=512524 CPUtime=1800.04 cores=1,3,5,7 /proc/8876/stat : 8876 (wbo1.6) R 8874 8876 6615 0 -1 4202496 128036 0 0 0 179259 745 0 0 25 0 1 0 800936091 524824576 127343 33554432000 4194304 5714214 140737020688880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8876/statm: 128131 127343 180 372 0 127756 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 512524 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.08 CPU user time (s): 1792.6 CPU system time (s): 7.47786 CPU usage (%): 99.9967 Max. virtual memory (cumulated for all children) (KiB): 514628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.6 system time used= 7.47786 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128036 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= 44 involuntary context switches= 2630 runsolver used 9.43456 second user time and 21.6897 second system time The end
Begin job on node146 at 2011-06-03 09:13:18 IDJOB=3461397 IDBENCH=2101 IDSOLVER=1953 FILE ID=node146/3461397-1307085198 RUNJOBID= node146-1307081594-8637 PBS_JOBID= 13497840 Free space on /tmp= 73724 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461397-1307085198/watcher-3461397-1307085198 -o /tmp/evaluation-result-3461397-1307085198/solver-3461397-1307085198 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461397-1307085198.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8f571153d6467ee7e7ad42bf78d06f61 RANDOM SEED=1521901409 node146.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25289756 kB Buffers: 83316 kB Cached: 201436 kB SwapCached: 60080 kB Active: 181520 kB Inactive: 7240136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25289756 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 4324 kB Writeback: 0 kB AnonPages: 7088892 kB Mapped: 16556 kB Slab: 72488 kB PageTables: 97320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160708544 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73720 MiB End job on node146 at 2011-06-03 09:43:20