Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb |
MD5SUM | d83135464cb632376e759a94bebcd02c |
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.004999 |
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 | 1400 |
Number of constraints which are clauses | 1392 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
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-3461454-1307091377.opb. 0.00/0.00 c Instance file HOME/instance-3461454-1307091377.opb 0.00/0.00 c File size is 44151 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: 1400 | 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 1400 3988 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 2 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.002999 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.02 c Current CPU time: 0.002999 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.04 c Current CPU time: 0.022996 s 0.00/0.04 c 0.00/0.04 c core #44 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.04 c Current CPU time: 0.022996 s 0.00/0.04 c 0.00/0.04 c core #45 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.04 c Current CPU time: 0.023996 s 0.00/0.04 c 0.00/0.04 c core #46 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.04 c Current CPU time: 0.023996 s 0.00/0.04 c 0.00/0.04 c core #47 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.04 c Current CPU time: 0.024996 s 0.00/0.04 c 0.00/0.04 c core #48 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.04 c Current CPU time: 0.024996 s 0.00/0.04 c 0.00/0.04 c core #49 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.04 c Current CPU time: 0.025996 s 0.00/0.04 c 0.00/0.04 c core #50 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.04 c Current CPU time: 0.026995 s 0.00/0.04 c 0.00/0.04 c core #51 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.04 c Current CPU time: 0.026995 s 0.00/0.04 c 0.00/0.04 c core #52 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #53 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #54 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #55 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #56 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #57 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 57 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #58 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 58 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #59 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #60 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 60 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #61 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 61 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #62 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #63 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 63 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #64 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 64 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #65 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.04 c Current CPU time: 0.034994 s 0.00/0.04 c 0.00/0.04 c core #66 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 66 0.00/0.04 c Current CPU time: 0.034994 s 0.00/0.04 c 0.00/0.04 c core #67 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 67 0.00/0.04 c Current CPU time: 0.035994 s 0.00/0.04 c 0.00/0.04 c core #68 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #69 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 69 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #70 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 70 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #71 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #72 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 72 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c core #73 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 73 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c core #74 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.04 c Current CPU time: 0.039993 s 0.00/0.04 c 0.00/0.04 c core #75 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c core #76 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 76 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c core #77 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c core #78 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 78 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c core #79 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 79 0.00/0.04 c Current CPU time: 0.042993 s 0.00/0.04 c 0.00/0.04 c core #80 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.04 c Current CPU time: 0.043993 s 0.00/0.04 c 0.00/0.04 c core #81 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 81 0.00/0.04 c Current CPU time: 0.043993 s 0.00/0.04 c 0.00/0.04 c core #82 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.04 c Current CPU time: 0.044993 s 0.00/0.04 c 0.00/0.04 c core #83 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.04 c Current CPU time: 0.045993 s 0.00/0.04 c 0.00/0.04 c core #84 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.04 c Current CPU time: 0.045993 s 0.00/0.04 c 0.00/0.04 c core #85 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 85 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #86 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 86 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #87 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 87 0.00/0.07 c Current CPU time: 0.047992 s 0.00/0.07 c 0.00/0.07 c core #88 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 88 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #89 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 89 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #90 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 90 0.00/0.07 c Current CPU time: 0.049992 s 0.00/0.07 c 0.00/0.07 c core #91 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 91 0.00/0.07 c Current CPU time: 0.050992 s 0.00/0.07 c 0.00/0.07 c core #92 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 92 0.00/0.07 c Current CPU time: 0.050992 s 0.00/0.07 c 0.00/0.07 c core #93 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 93 0.00/0.07 c Current CPU time: 0.051992 s 0.00/0.07 c 0.00/0.07 c core #94 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 94 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #95 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 95 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #96 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 96 0.00/0.07 c Current CPU time: 0.053991 s 0.00/0.07 c 0.00/0.07 c core #97 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 97 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #98 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 98 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #99 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 99 0.00/0.07 c Current CPU time: 0.055991 s 0.00/0.07 c 0.00/0.07 c core #100 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 100 0.00/0.07 c Current CPU time: 0.056991 s 0.00/0.07 c 0.00/0.07 c core #101 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 101 0.00/0.07 c Current CPU time: 0.056991 s 0.00/0.07 c 0.00/0.07 c core #102 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 102 0.00/0.07 c Current CPU time: 0.057991 s 0.00/0.07 c 0.00/0.07 c core #103 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 103 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #104 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 104 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #105 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 105 0.00/0.07 c Current CPU time: 0.05999 s 0.00/0.07 c 0.00/0.07 c core #106 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 106 0.00/0.07 c Current CPU time: 0.06099 s 0.00/0.07 c 0.00/0.07 c core #107 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 107 0.00/0.07 c Current CPU time: 0.06099 s 0.00/0.07 c 0.00/0.07 c core #108 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 108 0.00/0.07 c Current CPU time: 0.06199 s 0.00/0.07 c 0.00/0.07 c core #109 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 4 Core Weight: 1 Total Weight: 109 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #110 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: 110 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c core #111 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 7 Core Weight: 1 Total Weight: 111 0.00/0.07 c Current CPU time: 0.06399 s 0.00/0.07 c 0.00/0.07 c core #112 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 10 Core Weight: 1 Total Weight: 112 0.00/0.07 c Current CPU time: 0.06499 s 0.00/0.07 c 0.00/0.07 c core #113 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 12 Core Weight: 1 Total Weight: 113 0.00/0.07 c Current CPU time: 0.065989 s 0.00/0.07 c 0.00/0.07 c core #114 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 25 Core Weight: 1 Total Weight: 114 0.00/0.07 c Current CPU time: 0.065989 s 0.00/0.07 c 0.00/0.07 c core #115 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 45 Core Weight: 1 Total Weight: 115 0.00/0.07 c Current CPU time: 0.066989 s 0.00/0.07 c 0.00/0.07 c core #116 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 45 Core Weight: 1 Total Weight: 116 0.00/0.07 c Current CPU time: 0.067989 s 0.00/0.07 c 0.00/0.07 c core #117 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 57 Core Weight: 1 Total Weight: 117 0.00/0.07 c Current CPU time: 0.068989 s 0.00/0.07 c 0.00/0.07 c core #118 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 42 Core Weight: 1 Total Weight: 118 0.00/0.07 c Current CPU time: 0.069989 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 804 1916 5194 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #119 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 36 Core Weight: 1 Total Weight: 119 0.00/0.07 c Current CPU time: 0.070989 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 828 1917 5242 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #120 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 87 Core Weight: 1 Total Weight: 120 0.00/0.07 c Current CPU time: 0.070989 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 913 1918 5413 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #121 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 31 Core Weight: 1 Total Weight: 121 0.00/0.07 c Current CPU time: 0.072988 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 932 1919 5452 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #122 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 13 Core Weight: 1 Total Weight: 122 0.00/0.07 c Current CPU time: 0.073988 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 940 1920 5468 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #123 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 49 Core Weight: 1 Total Weight: 123 0.00/0.07 c Current CPU time: 0.074988 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 964 1922 5518 | 5000 0 -nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #124 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 87 Core Weight: 1 Total Weight: 124 0.00/0.07 c Current CPU time: 0.075988 s 0.00/0.07 c 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 1029 1923 5648 | 5000 0 -nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #125 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 149 Core Weight: 1 Total Weight: 125 0.00/0.08 c Current CPU time: 0.078987 s 0.00/0.08 c 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 1149 1926 5894 | 5000 0 -nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #126 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 202 Core Weight: 1 Total Weight: 126 0.00/0.08 c Current CPU time: 0.081987 s 0.00/0.08 c 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 1309 1929 6219 | 5000 0 -nan | 0.000 % | 0.08/0.08 c | 101 | 1309 1929 6219 | 5500 101 15 | 0.000 % | 0.08/0.09 c | 251 | 1309 1929 6219 | 6050 251 11 | 0.000 % | 0.08/0.09 c =============================================================================== 0.08/0.09 c core #127 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 76 Core Weight: 1 Total Weight: 127 0.08/0.09 c Current CPU time: 0.087986 s 0.08/0.09 c 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 1335 1954 6357 | 5000 0 -nan | 0.000 % | 0.08/0.09 c =============================================================================== 0.09/0.10 c core #128 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 130 Core Weight: 1 Total Weight: 128 0.09/0.10 c Current CPU time: 0.089986 s 0.09/0.10 c 0.09/0.10 c core #129 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 125 Core Weight: 1 Total Weight: 129 0.09/0.10 c Current CPU time: 0.090986 s 0.09/0.10 c 0.09/0.10 c core #130 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 129 Core Weight: 1 Total Weight: 130 0.09/0.10 c Current CPU time: 0.091986 s 0.09/0.10 c 0.09/0.10 c core #131 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 157 Core Weight: 1 Total Weight: 131 0.09/0.10 c Current CPU time: 0.092985 s 0.09/0.10 c 0.09/0.10 c core #132 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 166 Core Weight: 1 Total Weight: 132 0.09/0.10 c Current CPU time: 0.094985 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 942 1971 6415 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #133 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 194 Core Weight: 1 Total Weight: 133 0.09/0.10 c Current CPU time: 0.095985 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 957 1972 6439 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #134 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 155 Core Weight: 1 Total Weight: 134 0.09/0.10 c Current CPU time: 0.096985 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 965 1973 6455 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #135 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 213 Core Weight: 1 Total Weight: 135 0.09/0.10 c Current CPU time: 0.098984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 983 1974 6491 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #136 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 241 Core Weight: 1 Total Weight: 136 0.09/0.10 c Current CPU time: 0.100984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1010 1975 6545 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #137 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 213 Core Weight: 1 Total Weight: 137 0.09/0.11 c Current CPU time: 0.102984 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1025 1976 6575 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #138 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 186 Core Weight: 1 Total Weight: 138 0.09/0.11 c Current CPU time: 0.105983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1044 1977 6613 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #139 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 225 Core Weight: 1 Total Weight: 139 0.09/0.11 c Current CPU time: 0.108983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1068 1978 6661 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #140 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 147 Core Weight: 1 Total Weight: 140 0.09/0.11 c Current CPU time: 0.110983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1073 1979 6671 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 100 | 1073 1979 6671 | 5500 100 23 | 28.323 % | 0.09/0.12 c | 252 | 1071 1979 6671 | 6050 252 28 | 28.457 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #141 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 261 Core Weight: 1 Total Weight: 141 0.09/0.12 c Current CPU time: 0.118981 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1100 1980 6725 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 100 | 1100 1980 6725 | 5500 100 30 | 27.822 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #142 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 194 Core Weight: 1 Total Weight: 142 0.09/0.13 c Current CPU time: 0.123981 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1106 1981 6737 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 104 | 1106 1981 6737 | 5500 104 32 | 27.712 % | 0.09/0.13 c | 256 | 1106 1981 6737 | 6050 256 33 | 27.712 % | 0.09/0.14 c | 485 | 1102 1981 6737 | 6655 485 39 | 27.974 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #143 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 189 Core Weight: 1 Total Weight: 143 0.09/0.16 c Current CPU time: 0.149977 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1115 1982 6755 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #144 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 207 Core Weight: 1 Total Weight: 144 0.09/0.16 c Current CPU time: 0.150977 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1123 1983 6771 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 100 | 1123 1983 6771 | 5500 100 30 | 27.408 % | 0.09/0.16 c | 250 | 1123 1983 6771 | 6050 250 31 | 27.408 % | 0.09/0.17 c | 476 | 1123 1983 6771 | 6655 476 36 | 27.408 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #145 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 273 Core Weight: 1 Total Weight: 145 0.09/0.18 c Current CPU time: 0.170974 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1161 1984 6847 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #146 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 211 Core Weight: 1 Total Weight: 146 0.09/0.18 c Current CPU time: 0.173973 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1171 1985 6867 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #147 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 223 Core Weight: 1 Total Weight: 147 0.09/0.18 c Current CPU time: 0.175973 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1188 1986 6901 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 1188 1986 6901 | 5500 100 44 | 26.303 % | 0.09/0.19 c | 256 | 1188 1986 6901 | 6050 256 37 | 26.303 % | 0.18/0.20 c | 481 | 1188 1986 6901 | 6655 481 38 | 26.303 % | 0.18/0.20 c | 821 | 1188 1986 6901 | 7320 821 37 | 26.303 % | 0.18/0.23 c | 1327 | 1188 1986 6901 | 8052 1327 39 | 26.303 % | 0.18/0.27 c | 2090 | 1188 1986 6901 | 8857 2090 40 | 26.303 % | 0.29/0.36 c | 3229 | 1188 1986 6901 | 9743 3229 41 | 26.303 % | 0.49/0.56 c | 4937 | 1188 1986 6901 | 10717 4937 43 | 26.303 % | 0.89/0.93 c | 7501 | 1188 1986 6901 | 11789 7501 45 | 26.303 % | 1.19/1.26 c =============================================================================== 1.19/1.29 c core #148 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 227 Core Weight: 1 Total Weight: 148 1.19/1.29 c Current CPU time: 1.27581 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 1213 1987 6951 | 5000 0 -nan | 0.000 % | 1.19/1.29 c | 103 | 1213 1987 6951 | 5500 103 49 | 25.901 % | 1.29/1.30 c | 254 | 1213 1987 6951 | 6050 254 46 | 25.901 % | 1.29/1.30 c | 480 | 1213 1987 6951 | 6655 480 46 | 25.901 % | 1.29/1.31 c | 820 | 1213 1987 6951 | 7320 820 51 | 25.901 % | 1.29/1.34 c | 1326 | 1213 1987 6951 | 8052 1326 53 | 25.901 % | 1.29/1.39 c | 2087 | 1213 1987 6951 | 8857 2087 54 | 25.901 % | 1.39/1.47 c | 3227 | 1213 1987 6951 | 9743 3227 53 | 25.901 % | 1.59/1.64 c | 4937 | 1213 1987 6951 | 10717 4937 55 | 25.901 % | 1.89/1.93 c | 7501 | 1213 1987 6951 | 11789 7501 55 | 25.901 % | 2.29/2.35 c | 11346 | 1213 1987 6951 | 12968 11346 56 | 25.901 % | 3.20/3.25 c | 17112 | 1213 1987 6951 | 14265 10388 56 | 25.901 % | 3.59/3.67 c =============================================================================== 3.69/3.75 c core #149 3.69/3.75 c 3.69/3.75 c 3.69/3.75 c Core size: 276 Core Weight: 1 Total Weight: 149 3.69/3.75 c Current CPU time: 3.71843 s 3.69/3.75 c 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 1251 1988 7027 | 5000 0 -nan | 0.000 % | 3.69/3.76 c | 100 | 1251 1988 7027 | 5500 100 43 | 25.313 % | 3.69/3.76 c | 253 | 1251 1988 7027 | 6050 253 41 | 25.313 % | 3.69/3.76 c | 479 | 1251 1988 7027 | 6655 479 53 | 25.313 % | 3.69/3.78 c | 818 | 1251 1988 7027 | 7320 818 64 | 25.313 % | 3.79/3.81 c | 1324 | 1251 1988 7027 | 8052 1324 74 | 25.313 % | 3.79/3.85 c | 2083 | 1251 1988 7027 | 8857 2083 68 | 25.313 % | 3.89/3.91 c | 3223 | 1251 1988 7027 | 9743 3223 65 | 25.313 % | 3.99/4.02 c | 4932 | 1248 1988 7027 | 10717 4932 59 | 25.493 % | 4.09/4.14 c =============================================================================== 4.09/4.16 c core #150 4.09/4.16 c 4.09/4.16 c 4.09/4.16 c Core size: 262 Core Weight: 1 Total Weight: 150 4.09/4.16 c Current CPU time: 4.12437 s 4.09/4.16 c 4.09/4.16 c ============================[ Search Statistics ]============================== 4.09/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.16 c =============================================================================== 4.09/4.16 c | 0 | 1285 1989 7095 | 5000 0 -nan | 0.000 % | 4.09/4.16 c | 100 | 1285 1989 7095 | 5500 100 23 | 24.810 % | 4.09/4.16 c | 250 | 1284 1989 7095 | 6050 250 25 | 24.868 % | 4.09/4.17 c | 476 | 1284 1989 7095 | 6655 476 30 | 24.868 % | 4.09/4.18 c | 814 | 1283 1989 7095 | 7320 814 31 | 24.927 % | 4.09/4.20 c | 1322 | 1283 1989 7095 | 8052 1322 34 | 24.927 % | 4.19/4.23 c | 2082 | 1283 1989 7095 | 8857 2082 36 | 24.927 % | 4.19/4.25 c =============================================================================== 4.19/4.25 c core #151 4.19/4.25 c 4.19/4.25 c 4.19/4.25 c Core size: 233 Core Weight: 1 Total Weight: 151 4.19/4.25 c Current CPU time: 4.22136 s 4.19/4.25 c 4.19/4.25 c ============================[ Search Statistics ]============================== 4.19/4.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.25 c =============================================================================== 4.19/4.25 c | 0 | 1311 1990 7147 | 5000 0 -nan | 0.000 % | 4.19/4.26 c =============================================================================== 4.19/4.26 c core #152 4.19/4.26 c 4.19/4.26 c 4.19/4.26 c Core size: 218 Core Weight: 1 Total Weight: 152 4.19/4.26 c Current CPU time: 4.22336 s 4.19/4.26 c 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 1325 1991 7175 | 5000 0 -nan | 0.000 % | 4.19/4.26 c | 102 | 1325 1991 7175 | 5500 102 22 | 24.242 % | 4.19/4.26 c | 256 | 1325 1991 7175 | 6050 256 32 | 24.242 % | 4.19/4.27 c | 481 | 1323 1991 7175 | 6655 481 27 | 24.357 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c core #153 4.19/4.27 c 4.19/4.27 c 4.19/4.27 c Core size: 240 Core Weight: 1 Total Weight: 153 4.19/4.27 c Current CPU time: 4.23836 s 4.19/4.27 c 4.19/4.27 c ============================[ Search Statistics ]============================== 4.19/4.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.27 c =============================================================================== 4.19/4.27 c | 0 | 1348 1992 7221 | 5000 0 -nan | 0.000 % | 4.19/4.28 c | 102 | 1348 1992 7221 | 5500 102 22 | 23.928 % | 4.19/4.28 c | 255 | 1348 1992 7221 | 6050 255 34 | 23.928 % | 4.19/4.28 c | 481 | 1348 1992 7221 | 6655 481 37 | 23.928 % | 4.19/4.29 c | 820 | 1348 1992 7221 | 7320 820 36 | 23.928 % | 4.19/4.30 c =============================================================================== 4.19/4.31 c core #154 4.19/4.31 c 4.19/4.31 c 4.19/4.31 c Core size: 253 Core Weight: 1 Total Weight: 154 4.19/4.31 c Current CPU time: 4.26935 s 4.19/4.31 c 4.19/4.31 c ============================[ Search Statistics ]============================== 4.19/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.31 c =============================================================================== 4.19/4.31 c | 0 | 1372 1993 7269 | 5000 0 -nan | 0.000 % | 4.19/4.31 c | 103 | 1372 1993 7269 | 5500 103 46 | 23.608 % | 4.29/4.31 c | 256 | 1372 1993 7269 | 6050 256 60 | 23.608 % | 4.29/4.32 c | 483 | 1372 1993 7269 | 6655 483 49 | 23.608 % | 4.29/4.33 c | 820 | 1372 1993 7269 | 7320 820 64 | 23.608 % | 4.29/4.35 c | 1326 | 1372 1993 7269 | 8052 1326 75 | 23.608 % | 4.29/4.40 c | 2087 | 1372 1993 7269 | 8857 2087 85 | 23.608 % | 4.49/4.53 c | 3226 | 1372 1993 7269 | 9743 3226 94 | 23.608 % | 4.69/4.78 c | 4934 | 1372 1993 7269 | 10717 4934 100 | 23.608 % | 5.29/5.31 c | 7496 | 1372 1993 7269 | 11789 7496 104 | 23.608 % | 6.19/6.29 c | 11342 | 1372 1993 7269 | 12968 11342 101 | 23.608 % | 8.29/8.30 c | 17111 | 1372 1993 7269 | 14265 10347 95 | 23.608 % | 10.79/10.89 c | 25762 | 1372 1993 7269 | 15692 11598 92 | 23.608 % | 14.20/14.24 c | 38736 | 1372 1993 7269 | 17261 8343 87 | 23.608 % | 18.19/18.23 c | 58198 | 1372 1993 7269 | 18987 9961 88 | 23.608 % | 27.29/27.38 c | 87390 | 1372 1993 7269 | 20886 9817 88 | 23.608 % | 38.40/38.45 c | 131181 | 1372 1993 7269 | 22974 21402 88 | 23.608 % | 56.59/56.64 c | 196866 | 1372 1993 7269 | 25272 16413 86 | 23.608 % | 79.49/79.59 c | 295392 | 1372 1993 7269 | 27799 22380 75 | 23.608 % | 87.90/88.00 c =============================================================================== 90.39/90.47 c core #155 90.39/90.47 c 90.39/90.47 c 90.39/90.47 c Core size: 239 Core Weight: 1 Total Weight: 155 90.39/90.47 c Current CPU time: 89.9793 s 90.39/90.47 c 90.39/90.47 c ============================[ Search Statistics ]============================== 90.39/90.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.39/90.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.39/90.47 c =============================================================================== 90.39/90.47 c | 0 | 1407 1994 7339 | 5000 0 -nan | 0.000 % | 90.39/90.48 c | 100 | 1407 1994 7339 | 5500 100 61 | 23.157 % | 90.39/90.48 c | 251 | 1407 1994 7339 | 6050 251 58 | 23.157 % | 90.39/90.49 c | 481 | 1407 1994 7339 | 6655 481 71 | 23.157 % | 90.49/90.50 c | 819 | 1407 1994 7339 | 7320 819 81 | 23.157 % | 90.49/90.52 c | 1325 | 1407 1994 7339 | 8052 1325 87 | 23.157 % | 90.49/90.57 c | 2085 | 1407 1994 7339 | 8857 2085 94 | 23.157 % | 90.59/90.67 c | 3224 | 1407 1994 7339 | 9743 3224 103 | 23.157 % | 90.90/90.92 c | 4935 | 1407 1994 7339 | 10717 4935 111 | 23.157 % | 91.09/91.15 c | 7500 | 1407 1994 7339 | 11789 7500 111 | 23.157 % | 91.59/91.68 c | 11344 | 1407 1994 7339 | 12968 11344 113 | 23.157 % | 92.30/92.38 c | 17111 | 1407 1994 7339 | 14265 10355 108 | 23.157 % | 94.29/94.39 c | 25760 | 1407 1994 7339 | 15692 11565 111 | 23.157 % | 98.30/98.39 c | 38735 | 1407 1994 7339 | 17261 8245 119 | 23.157 % | 105.69/105.75 c | 58197 | 1407 1994 7339 | 18987 9642 111 | 23.157 % | 111.50/111.58 c | 87392 | 1407 1994 7339 | 20886 19174 105 | 23.157 % | 121.79/121.80 c | 131185 | 1407 1994 7339 | 22974 19960 106 | 23.157 % | 136.90/136.96 c | 196869 | 1407 1994 7339 | 25272 14900 101 | 23.157 % | 169.00/169.05 c | 295396 | 1407 1994 7339 | 27799 22299 103 | 23.157 % | 189.00/189.07 c =============================================================================== 189.30/189.34 c core #156 189.30/189.34 c 189.30/189.34 c 189.30/189.34 c Core size: 218 Core Weight: 1 Total Weight: 156 189.30/189.34 c Current CPU time: 188.511 s 189.30/189.34 c 189.30/189.34 c ============================[ Search Statistics ]============================== 189.30/189.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.30/189.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.30/189.34 c =============================================================================== 189.30/189.34 c | 0 | 1434 1995 7393 | 5000 0 -nan | 0.000 % | 189.30/189.34 c | 104 | 1434 1995 7393 | 5500 104 67 | 22.820 % | 189.30/189.35 c | 254 | 1434 1995 7393 | 6050 254 61 | 22.820 % | 189.30/189.35 c | 479 | 1434 1995 7393 | 6655 479 69 | 22.820 % | 189.30/189.37 c | 817 | 1434 1995 7393 | 7320 817 97 | 22.820 % | 189.40/189.40 c | 1326 | 1434 1995 7393 | 8052 1326 113 | 22.820 % | 189.40/189.47 c | 2085 | 1434 1995 7393 | 8857 2085 121 | 22.820 % | 189.50/189.59 c | 3225 | 1434 1995 7393 | 9743 3225 127 | 22.820 % | 189.79/189.86 c | 4935 | 1434 1995 7393 | 10717 4935 132 | 22.820 % | 190.31/190.35 c | 7500 | 1434 1995 7393 | 11789 7500 137 | 22.820 % | 191.10/191.15 c | 11347 | 1434 1995 7393 | 12968 11347 137 | 22.820 % | 192.59/192.68 c | 17115 | 1434 1995 7393 | 14265 10377 141 | 22.820 % | 195.81/195.82 c | 25765 | 1434 1995 7393 | 15692 11538 147 | 22.820 % | 200.29/200.31 c | 38739 | 1434 1995 7393 | 17261 8268 131 | 22.820 % | 205.00/205.09 c | 58202 | 1434 1995 7393 | 18987 9928 151 | 22.820 % | 213.90/213.99 c | 87395 | 1434 1995 7393 | 20886 9843 151 | 22.820 % | 228.20/228.21 c | 131189 | 1434 1995 7393 | 22974 21381 145 | 22.820 % | 245.70/245.75 c | 196873 | 1434 1995 7393 | 25272 15605 119 | 22.820 % | 245.80/245.80 c =============================================================================== 245.80/245.88 c core #157 245.80/245.88 c 245.80/245.88 c 245.80/245.88 c Core size: 198 Core Weight: 1 Total Weight: 157 245.80/245.88 c Current CPU time: 244.978 s 245.80/245.88 c 245.80/245.88 c ============================[ Search Statistics ]============================== 245.80/245.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.80/245.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.80/245.88 c =============================================================================== 245.80/245.88 c | 0 | 1448 1996 7421 | 5000 0 -nan | 0.000 % | 245.80/245.88 c | 102 | 1448 1996 7421 | 5500 102 46 | 22.650 % | 245.80/245.88 c | 253 | 1448 1996 7421 | 6050 253 40 | 22.650 % | 245.80/245.89 c | 481 | 1448 1996 7421 | 6655 481 39 | 22.650 % | 245.90/245.90 c | 818 | 1448 1996 7421 | 7320 818 36 | 22.650 % | 245.90/245.91 c | 1329 | 1448 1996 7421 | 8052 1329 36 | 22.650 % | 245.90/245.93 c =============================================================================== 245.90/245.93 c core #158 245.90/245.93 c 245.90/245.93 c 245.90/245.93 c Core size: 232 Core Weight: 1 Total Weight: 158 245.90/245.93 c Current CPU time: 245.109 s 245.90/245.93 c 245.90/245.93 c ============================[ Search Statistics ]============================== 245.90/245.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.90/245.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.90/245.93 c =============================================================================== 245.90/245.93 c | 0 | 1468 1997 7461 | 5000 0 -nan | 0.000 % | 245.90/245.94 c | 101 | 1468 1997 7461 | 5500 101 47 | 22.410 % | 245.90/245.94 c | 253 | 1468 1997 7461 | 6050 253 53 | 22.410 % | 245.90/245.95 c | 487 | 1468 1997 7461 | 6655 487 65 | 22.410 % | 245.90/245.96 c | 828 | 1468 1997 7461 | 7320 828 89 | 22.410 % | 246.00/246.00 c | 1336 | 1468 1997 7461 | 8052 1336 107 | 22.410 % | 246.00/246.09 c | 2096 | 1468 1997 7461 | 8857 2096 117 | 22.410 % | 246.20/246.27 c | 3238 | 1468 1997 7461 | 9743 3238 127 | 22.410 % | 246.50/246.59 c | 4951 | 1468 1997 7461 | 10717 4951 138 | 22.410 % | 247.51/247.57 c | 7514 | 1468 1997 7461 | 11789 7514 144 | 22.410 % | 249.40/249.49 c | 11358 | 1468 1997 7461 | 12968 11358 149 | 22.410 % | 252.30/252.35 c | 17128 | 1468 1997 7461 | 14265 10372 152 | 22.410 % | 256.80/256.81 c | 25778 | 1468 1997 7461 | 15692 11597 155 | 22.410 % | 260.89/260.95 c | 38754 | 1468 1997 7461 | 17261 8294 116 | 22.410 % | 263.91/263.94 c | 58216 | 1468 1997 7461 | 18987 9911 115 | 22.410 % | 270.30/270.36 c | 87409 | 1468 1997 7461 | 20886 19421 125 | 22.410 % | 281.70/281.71 c | 131198 | 1468 1997 7461 | 22974 20259 129 | 22.410 % | 302.52/302.52 c | 196884 | 1468 1997 7461 | 25272 15030 98 | 22.410 % | 321.30/321.33 c | 295414 | 1468 1997 7461 | 27799 20362 122 | 22.410 % | 365.22/365.24 c | 443203 | 1248 1997 7461 | 30579 24299 111 | 34.249 % | 428.51/428.55 c | 664887 | 1244 1997 7461 | 33637 29851 110 | 34.249 % | 515.11/515.12 c =============================================================================== 518.80/518.84 c core #159 518.80/518.84 c 518.80/518.84 c 518.80/518.84 c Core size: 281 Core Weight: 1 Total Weight: 159 518.80/518.84 c Current CPU time: 516.726 s 518.80/518.84 c 518.80/518.84 c ============================[ Search Statistics ]============================== 518.80/518.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 518.80/518.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 518.80/518.84 c =============================================================================== 518.80/518.84 c | 0 | 1516 1998 7557 | 5000 0 -nan | 0.000 % | 518.80/518.85 c | 106 | 1516 1998 7557 | 5500 106 52 | 21.856 % | 518.80/518.85 c | 256 | 1516 1998 7557 | 6050 256 59 | 21.856 % | 518.80/518.86 c | 481 | 1516 1998 7557 | 6655 481 83 | 21.856 % | 518.80/518.88 c | 818 | 1516 1998 7557 | 7320 818 106 | 21.856 % | 518.91/518.91 c | 1324 | 1516 1998 7557 | 8052 1324 122 | 21.856 % | 518.91/518.98 c | 2084 | 1516 1998 7557 | 8857 2084 136 | 21.856 % | 519.01/519.07 c | 3226 | 1516 1998 7557 | 9743 3226 139 | 21.856 % | 519.23/519.26 c | 4935 | 1516 1998 7557 | 10717 4935 145 | 21.856 % | 519.61/519.63 c | 7498 | 1516 1998 7557 | 11789 7498 147 | 21.856 % | 520.33/520.38 c | 11343 | 1516 1998 7557 | 12968 11343 154 | 21.856 % | 521.51/521.50 c | 17110 | 1516 1998 7557 | 14265 10306 157 | 21.856 % | 524.62/524.62 c | 25762 | 1516 1998 7557 | 15692 11456 164 | 21.856 % | 529.81/529.87 c | 38736 | 1516 1998 7557 | 17261 16262 174 | 21.856 % | 538.81/538.80 c | 58200 | 1516 1998 7557 | 18987 17887 175 | 21.856 % | 548.82/548.83 c | 87392 | 1516 1998 7557 | 20886 17692 165 | 21.856 % | 561.81/561.82 c | 131182 | 1516 1998 7557 | 22974 18432 155 | 21.856 % | 584.81/584.84 c | 196866 | 1516 1998 7557 | 25272 12871 141 | 21.856 % | 621.72/621.75 c | 295393 | 1516 1998 7557 | 27799 16007 134 | 21.856 % | 665.32/665.36 c | 443182 | 1516 1998 7557 | 30579 22419 128 | 21.856 % | 732.92/732.98 c | 664865 | 1516 1998 7557 | 33637 29561 131 | 21.856 % | 871.63/871.66 c | 997390 | 1516 1998 7557 | 37001 34107 152 | 21.856 % | 967.03/967.01 c =============================================================================== 967.63/967.65 c core #160 967.63/967.65 c 967.63/967.65 c 967.63/967.65 c Core size: 263 Core Weight: 1 Total Weight: 160 967.63/967.65 c Current CPU time: 964.44 s 967.63/967.65 c 967.63/967.65 c ============================[ Search Statistics ]============================== 967.63/967.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 967.63/967.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 967.63/967.65 c =============================================================================== 967.63/967.65 c | 0 | 1549 1999 7623 | 5000 0 -nan | 0.000 % | 967.63/967.65 c | 100 | 1549 1999 7623 | 5500 100 20 | 21.490 % | 967.63/967.66 c | 252 | 1549 1999 7623 | 6050 252 22 | 21.490 % | 967.63/967.66 c =============================================================================== 967.63/967.66 c core #161 967.63/967.66 c 967.63/967.66 c 967.63/967.66 c Core size: 219 Core Weight: 1 Total Weight: 161 967.63/967.66 c Current CPU time: 964.979 s 967.63/967.66 c 967.63/967.66 c ============================[ Search Statistics ]============================== 967.63/967.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 967.63/967.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 967.63/967.66 c =============================================================================== 967.63/967.66 c | 0 | 1563 2000 7651 | 5000 0 -nan | 0.000 % | 967.63/967.66 c | 103 | 1563 2000 7651 | 5500 103 79 | 21.339 % | 967.63/967.67 c | 257 | 1563 2000 7651 | 6050 257 54 | 21.339 % | 967.63/967.67 c | 482 | 1563 2000 7651 | 6655 482 50 | 21.339 % | 967.63/967.68 c | 819 | 1563 2000 7651 | 7320 819 60 | 21.339 % | 967.73/967.70 c | 1332 | 1563 2000 7651 | 8052 1332 71 | 21.339 % | 967.73/967.75 c | 2093 | 1563 2000 7651 | 8857 2093 78 | 21.339 % | 967.83/967.84 c | 3234 | 1563 2000 7651 | 9743 3234 83 | 21.339 % | 967.94/968.01 c | 4942 | 1563 2000 7651 | 10717 4942 85 | 21.339 % | 968.33/968.38 c | 7506 | 1563 2000 7651 | 11789 7506 87 | 21.339 % | 968.92/968.97 c | 11350 | 1563 2000 7651 | 12968 11350 85 | 21.339 % | 970.43/970.44 c | 17117 | 1563 2000 7651 | 14265 10378 84 | 21.339 % | 972.12/972.17 c | 25767 | 1563 2000 7651 | 15692 11551 88 | 21.339 % | 974.43/974.44 c | 38748 | 1563 2000 7651 | 17261 8316 80 | 21.339 % | 978.12/978.18 c | 58211 | 1563 2000 7651 | 18987 9817 66 | 21.339 % | 985.12/985.15 c | 87403 | 1563 2000 7651 | 20886 19478 96 | 21.339 % | 994.73/994.70 c | 131192 | 1563 2000 7651 | 22974 20408 80 | 21.339 % | 1009.13/1009.12 c =============================================================================== 1010.52/1010.58 c core #162 1010.52/1010.58 c 1010.52/1010.58 c 1010.52/1010.58 c Core size: 262 Core Weight: 1 Total Weight: 162 1010.52/1010.58 c Current CPU time: 1007.63 s 1010.52/1010.58 c 1010.52/1010.58 c ============================[ Search Statistics ]============================== 1010.52/1010.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1010.52/1010.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1010.52/1010.58 c =============================================================================== 1010.52/1010.58 c | 0 | 1596 2001 7717 | 5000 0 -nan | 0.000 % | 1010.52/1010.59 c | 100 | 1596 2001 7717 | 5500 100 67 | 20.990 % | 1010.52/1010.59 c | 253 | 1596 2001 7717 | 6050 253 66 | 20.990 % | 1010.62/1010.60 c | 479 | 1596 2001 7717 | 6655 479 70 | 20.990 % | 1010.62/1010.61 c | 819 | 1596 2001 7717 | 7320 819 77 | 20.990 % | 1010.62/1010.63 c | 1326 | 1596 2001 7717 | 8052 1326 99 | 20.990 % | 1010.62/1010.67 c | 2086 | 1596 2001 7717 | 8857 2086 111 | 20.990 % | 1010.73/1010.74 c | 3225 | 1596 2001 7717 | 9743 3225 114 | 20.990 % | 1010.83/1010.82 c | 4936 | 1596 2001 7717 | 10717 4936 107 | 20.990 % | 1011.03/1011.06 c | 7498 | 1596 2001 7717 | 11789 7498 122 | 20.990 % | 1011.43/1011.44 c | 11345 | 1596 2001 7717 | 12968 11345 122 | 20.990 % | 1012.13/1012.12 c | 17115 | 1596 2001 7717 | 14265 10324 125 | 20.990 % | 1014.14/1014.15 c | 25766 | 1596 2001 7717 | 15692 11515 152 | 20.990 % | 1017.33/1017.36 c | 38740 | 1596 2001 7717 | 17261 16318 160 | 20.990 % | 1021.23/1021.27 c | 58202 | 1596 2001 7717 | 18987 17714 137 | 20.990 % | 1029.13/1029.15 c | 87395 | 1596 2001 7717 | 20886 17619 130 | 20.990 % | 1041.64/1041.67 c | 131188 | 1596 2001 7717 | 22974 18388 139 | 20.990 % | 1063.03/1063.09 c | 196875 | 1596 2001 7717 | 25272 13005 155 | 20.990 % | 1102.53/1102.57 c | 295402 | 1596 2001 7717 | 27799 15651 134 | 20.990 % | 1152.14/1152.14 c | 443196 | 1596 2001 7717 | 30579 21241 139 | 20.990 % | 1219.34/1219.36 c | 664879 | 1596 2001 7717 | 33637 27683 153 | 20.990 % | 1329.04/1329.06 c | 997407 | 1596 2001 7717 | 37001 28784 135 | 20.990 % | 1485.94/1485.99 c | 1496195 | 1596 2001 7717 | 40701 29245 143 | 20.990 % | 1598.65/1598.65 c =============================================================================== 1599.47/1599.47 c core #163 1599.47/1599.47 c 1599.47/1599.47 c 1599.47/1599.47 c Core size: 222 Core Weight: 1 Total Weight: 163 1599.47/1599.47 c Current CPU time: 1594.11 s 1599.47/1599.47 c 1599.47/1599.47 c ============================[ Search Statistics ]============================== 1599.47/1599.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1599.47/1599.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1599.47/1599.47 c =============================================================================== 1599.47/1599.47 c | 0 | 1610 2002 7745 | 5000 0 -nan | 0.000 % | 1599.47/1599.47 c | 101 | 1610 2002 7745 | 5500 101 28 | 20.846 % | 1599.47/1599.48 c | 252 | 1610 2002 7745 | 6050 252 39 | 20.846 % | 1599.47/1599.48 c | 478 | 1610 2002 7745 | 6655 478 49 | 20.846 % | 1599.47/1599.49 c | 815 | 1610 2002 7745 | 7320 815 49 | 20.846 % | 1599.55/1599.51 c | 1322 | 1610 2002 7745 | 8052 1322 49 | 20.846 % | 1599.55/1599.54 c | 2084 | 1610 2002 7745 | 8857 2084 49 | 20.846 % | 1599.65/1599.62 c | 3224 | 1610 2002 7745 | 9743 3224 51 | 20.846 % | 1599.75/1599.73 c | 4933 | 1610 2002 7745 | 10717 4933 54 | 20.846 % | 1599.95/1599.95 c | 7498 | 1610 2002 7745 | 11789 7498 55 | 20.846 % | 1600.46/1600.42 c | 11345 | 1610 2002 7745 | 12968 11345 56 | 20.846 % | 1601.15/1601.17 c | 17116 | 1610 2002 7745 | 14265 10378 57 | 20.846 % | 1602.25/1602.29 c | 25770 | 1596 2002 7745 | 15692 11651 59 | 21.534 % | 1602.35/1602.35 c =============================================================================== 1602.45/1602.48 c core #164 1602.45/1602.48 c 1602.45/1602.48 c 1602.45/1602.48 c Core size: 233 Core Weight: 1 Total Weight: 164 1602.45/1602.48 c Current CPU time: 1597.9 s 1602.45/1602.48 c 1602.45/1602.48 c ============================[ Search Statistics ]============================== 1602.45/1602.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1602.45/1602.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1602.45/1602.48 c =============================================================================== 1602.45/1602.48 c | 0 | 1630 2003 7785 | 5000 0 -nan | 0.000 % | 1602.45/1602.49 c | 101 | 1630 2003 7785 | 5500 101 70 | 20.643 % | 1602.45/1602.49 c | 251 | 1630 2003 7785 | 6050 251 53 | 20.643 % | 1602.45/1602.49 c | 476 | 1630 2003 7785 | 6655 476 60 | 20.643 % | 1602.55/1602.51 c | 813 | 1630 2003 7785 | 7320 813 70 | 20.643 % | 1602.55/1602.53 c | 1321 | 1630 2003 7785 | 8052 1321 83 | 20.643 % | 1602.55/1602.59 c | 2080 | 1630 2003 7785 | 8857 2080 91 | 20.643 % | 1602.66/1602.71 c | 3222 | 1630 2003 7785 | 9743 3222 97 | 20.643 % | 1602.85/1602.86 c | 4931 | 1630 2003 7785 | 10717 4931 97 | 20.643 % | 1603.25/1603.23 c | 7494 | 1630 2003 7785 | 11789 7494 97 | 20.643 % | 1603.95/1603.92 c | 11341 | 1630 2003 7785 | 12968 11341 97 | 20.643 % | 1605.05/1605.02 c | 17108 | 1630 2003 7785 | 14265 10334 95 | 20.643 % | 1606.95/1606.92 c | 25759 | 1630 2003 7785 | 15692 11597 93 | 20.643 % | 1609.65/1609.65 c | 38733 | 1630 2003 7785 | 17261 8350 82 | 20.643 % | 1612.85/1612.81 c | 58194 | 1630 2003 7785 | 18987 10005 88 | 20.643 % | 1618.86/1618.86 c | 87386 | 1630 2003 7785 | 20886 9922 98 | 20.643 % | 1629.25/1629.20 c | 131176 | 1630 2003 7785 | 22974 10882 99 | 20.643 % | 1650.16/1650.10 c | 196863 | 1630 2003 7785 | 25272 17751 95 | 20.643 % | 1678.95/1678.98 c | 295393 | 1630 2003 7785 | 27799 23779 79 | 20.643 % | 1720.86/1720.83 c | 443183 | 1630 2003 7785 | 30579 17703 89 | 20.643 % | 1797.06/1797.06 c | 664870 | 1629 2003 7785 | 33637 22927 91 | 20.691 % |
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-3461454-1307091377/watcher-3461454-1307091377 -o /tmp/evaluation-result-3461454-1307091377/solver-3461454-1307091377 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461454-1307091377.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.03 2.00 2/481 6923 /proc/meminfo: memFree=27454432/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=2368 CPUtime=0 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 396 0 0 0 0 0 0 0 25 0 1 0 820737380 2424832 339 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 592 339 175 372 0 217 0 [startup+0.087189 s] /proc/loadavg: 2.02 2.03 2.00 2/481 6923 /proc/meminfo: memFree=27454432/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=3132 CPUtime=0.08 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 597 0 0 0 8 0 0 0 25 0 1 0 820737380 3207168 540 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 783 540 179 372 0 408 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3132 [startup+0.100186 s] /proc/loadavg: 2.02 2.03 2.00 2/481 6923 /proc/meminfo: memFree=27454432/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=3396 CPUtime=0.09 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 638 0 0 0 9 0 0 0 25 0 1 0 820737380 3477504 575 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 849 575 180 372 0 474 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3396 [startup+0.300148 s] /proc/loadavg: 2.02 2.03 2.00 2/481 6923 /proc/meminfo: memFree=27454432/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=3988 CPUtime=0.29 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 824 0 0 0 28 1 0 0 25 0 1 0 820737380 4083712 752 33554432000 4194304 5714214 140737073470048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 997 752 180 372 0 622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3988 [startup+0.700125 s] /proc/loadavg: 2.02 2.03 2.00 2/481 6923 /proc/meminfo: memFree=27454432/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=5476 CPUtime=0.69 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 1202 0 0 0 68 1 0 0 25 0 1 0 820737380 5607424 1130 33554432000 4194304 5714214 140737073470048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 1369 1130 180 372 0 994 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5476 [startup+1.50103 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6924 /proc/meminfo: memFree=27444256/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=8244 CPUtime=1.49 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 1880 0 0 0 148 1 0 0 25 0 1 0 820737380 8441856 1808 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 2061 1808 180 372 0 1686 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8244 [startup+3.10073 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6924 /proc/meminfo: memFree=27438424/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=9584 CPUtime=3.09 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 2189 0 0 0 307 2 0 0 25 0 1 0 820737380 9814016 2117 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 2396 2117 180 372 0 2021 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9584 [startup+6.30111 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6924 /proc/meminfo: memFree=27430612/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=11752 CPUtime=6.29 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 2796 0 0 0 625 4 0 0 25 0 1 0 820737380 12034048 2697 33554432000 4194304 5714214 140737073470048 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 2938 2697 180 372 0 2563 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11752 [startup+12.7009 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6924 /proc/meminfo: memFree=27416624/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=16552 CPUtime=12.69 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 3977 0 0 0 1263 6 0 0 25 0 1 0 820737380 16949248 3878 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 4138 3878 180 372 0 3763 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16552 [startup+25.5005 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6925 /proc/meminfo: memFree=27403228/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=25440 CPUtime=25.49 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 6097 0 0 0 2539 10 0 0 25 0 1 0 820737380 26050560 5998 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 6360 5998 180 372 0 5985 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25440 [startup+51.1006 s] /proc/loadavg: 2.07 2.04 2.00 3/482 6925 /proc/meminfo: memFree=27365992/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=41956 CPUtime=51.09 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 10152 0 0 0 5091 18 0 0 25 0 1 0 820737380 42962944 10053 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 10489 10053 180 372 0 10114 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 41956 [startup+102.319 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6927 /proc/meminfo: memFree=27285480/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=82460 CPUtime=102.31 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 20123 0 0 0 10195 36 0 0 25 0 1 0 820737380 84439040 19968 33554432000 4194304 5714214 140737073470048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 20615 19968 180 372 0 20240 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 82460 [startup+162.3 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6928 /proc/meminfo: memFree=27279356/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=82460 CPUtime=162.29 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 20316 0 0 0 16174 55 0 0 25 0 1 0 820737380 84439040 20161 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 20615 20161 180 372 0 20240 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 82460 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6930 /proc/meminfo: memFree=27260096/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=82460 CPUtime=222.3 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 20472 0 0 0 22154 76 0 0 25 0 1 0 820737380 84439040 20317 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 20615 20317 180 372 0 20240 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 82460 [startup+282.3 s] /proc/loadavg: 2.15 2.04 2.01 3/482 6932 /proc/meminfo: memFree=27222860/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=82460 CPUtime=282.3 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 20495 0 0 0 28135 95 0 0 25 0 1 0 820737380 84439040 20340 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 20615 20340 180 372 0 20240 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 82460 [startup+342.301 s] /proc/loadavg: 2.12 2.05 2.01 3/482 6942 /proc/meminfo: memFree=27186060/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=82460 CPUtime=342.31 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 20499 0 0 0 34117 114 0 0 25 0 1 0 820737380 84439040 20344 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 20615 20344 180 372 0 20240 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 82460 [startup+402.301 s] /proc/loadavg: 2.04 2.04 2.00 3/482 6944 /proc/meminfo: memFree=27130100/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=108976 CPUtime=402.3 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 26962 0 0 0 40098 132 0 0 25 0 1 0 820737380 111591424 26807 33554432000 4194304 5714214 140737073470048 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 27244 26807 180 372 0 26869 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 108976 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/482 6947 /proc/meminfo: memFree=27067688/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=143356 CPUtime=462.3 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 35324 0 0 0 46078 152 0 0 25 0 1 0 820737380 146796544 35169 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 35839 35169 180 372 0 35464 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 143356 [startup+522.301 s] /proc/loadavg: 2.08 2.05 2.01 3/482 6950 /proc/meminfo: memFree=27000948/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=182672 CPUtime=522.31 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 44961 0 0 0 52059 172 0 0 25 0 1 0 820737380 187056128 44806 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 45668 44806 180 372 0 45293 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 182672 [startup+582.3 s] /proc/loadavg: 2.07 2.05 2.01 3/482 6952 /proc/meminfo: memFree=26969056/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=182672 CPUtime=582.31 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 45009 0 0 0 58046 185 0 0 25 0 1 0 820737380 187056128 44854 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 45668 44854 180 372 0 45293 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 182672 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.04 2.03 2.00 3/482 6958 /proc/meminfo: memFree=26870096/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=182976 CPUtime=822.32 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 45633 0 0 0 81989 243 0 0 25 0 1 0 820737380 187367424 45478 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 45744 45478 180 372 0 45369 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 182976 [startup+882.301 s] /proc/loadavg: 2.05 2.04 2.00 3/482 6960 /proc/meminfo: memFree=26841040/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=191540 CPUtime=882.32 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 47668 0 0 0 87976 256 0 0 25 0 1 0 820737380 196136960 47513 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 47885 47513 180 372 0 47510 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 191540 [startup+942.301 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6961 /proc/meminfo: memFree=26795632/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=207240 CPUtime=942.33 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 51538 0 0 0 93967 266 0 0 25 0 1 0 820737380 212213760 51383 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 51810 51383 180 372 0 51435 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 207240 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6963 /proc/meminfo: memFree=26759012/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1002.33 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53263 0 0 0 99947 286 0 0 25 0 1 0 820737380 217710592 52717 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52717 180 372 0 52777 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 212608 [startup+1062.3 s] /proc/loadavg: 2.06 2.03 2.00 3/482 6964 /proc/meminfo: memFree=26736168/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1062.33 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53285 0 0 0 105926 307 0 0 25 0 1 0 820737380 217710592 52739 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52739 180 372 0 52777 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 212608 [startup+1122.3 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6966 /proc/meminfo: memFree=26708228/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1122.33 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53307 0 0 0 111914 319 0 0 25 0 1 0 820737380 217710592 52761 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52761 180 372 0 52777 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 212608 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6968 /proc/meminfo: memFree=26674296/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1182.34 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53322 0 0 0 117896 338 0 0 25 0 1 0 820737380 217710592 52776 33554432000 4194304 5714214 140737073470048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52776 180 372 0 52777 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 212608 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6969 /proc/meminfo: memFree=26648596/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1242.34 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53433 0 0 0 123878 356 0 0 25 0 1 0 820737380 217710592 52887 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52887 180 372 0 52777 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 212608 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6971 /proc/meminfo: memFree=26629716/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1302.35 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53447 0 0 0 129864 371 0 0 25 0 1 0 820737380 217710592 52901 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52901 180 372 0 52777 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 212608 [startup+1362.3 s] /proc/loadavg: 2.06 2.02 2.00 3/482 6972 /proc/meminfo: memFree=26608368/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=212608 CPUtime=1362.34 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 53463 0 0 0 135843 391 0 0 25 0 1 0 820737380 217710592 52917 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 53152 52917 180 372 0 52777 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 212608 [startup+1422.32 s] /proc/loadavg: 2.02 2.01 2.00 3/482 6974 /proc/meminfo: memFree=26562452/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=242252 CPUtime=1422.36 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 60728 0 0 0 141827 409 0 0 25 0 1 0 820737380 248066048 60182 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 60563 60182 180 372 0 60188 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 242252 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6976 /proc/meminfo: memFree=26511592/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=266132 CPUtime=1482.34 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 66611 0 0 0 147809 425 0 0 25 0 1 0 820737380 272519168 66065 33554432000 4194304 5714214 140737073470048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 66533 66065 180 372 0 66158 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 266132 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6977 /proc/meminfo: memFree=26452540/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=298972 CPUtime=1542.35 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 74718 0 0 0 153787 448 0 0 25 0 1 0 820737380 306147328 74172 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 74743 74172 180 372 0 74368 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 298972 [startup+1602.3 s] /proc/loadavg: 2.14 2.04 2.01 3/482 6979 /proc/meminfo: memFree=26403908/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=328288 CPUtime=1602.35 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 82061 0 0 0 159771 464 0 0 24 0 1 0 820737380 336166912 81433 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 82072 81433 180 372 0 81697 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 328288 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.00 3/482 6980 /proc/meminfo: memFree=26388488/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=321460 CPUtime=1662.35 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 82062 0 0 0 165752 483 0 0 25 0 1 0 820737380 329175040 79752 33554432000 4194304 5714214 140737073470048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 80365 79752 180 372 0 79990 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 321460 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6982 /proc/meminfo: memFree=26366264/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=321460 CPUtime=1722.36 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 82075 0 0 0 171736 500 0 0 25 0 1 0 820737380 329175040 79765 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 80365 79765 180 372 0 79990 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 321460 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6984 /proc/meminfo: memFree=26343776/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=321460 CPUtime=1782.36 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 82093 0 0 0 177723 513 0 0 25 0 1 0 820737380 329175040 79783 33554432000 4194304 5714214 140737073470048 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 80365 79783 180 372 0 79990 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 321460 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 2/480 6985 /proc/meminfo: memFree=27131664/32950928 swapFree=39617324/67111528 [pid=6923] ppid=6921 vsize=321460 CPUtime=1800.07 cores=0,2,4,6 /proc/6923/stat : 6923 (wbo1.6) R 6921 6923 4028 0 -1 4202496 82108 0 0 0 179490 517 0 0 25 0 1 0 820737380 329175040 79798 33554432000 4194304 5714214 140737073470048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/6923/statm: 80365 79798 180 372 0 79990 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 321460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.1 CPU user time (s): 1794.91 CPU system time (s): 5.19221 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 328772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.91 system time used= 5.19221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82108 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= 19 involuntary context switches= 2349 runsolver used 8.86965 second user time and 19.0301 second system time The end
Begin job on node127 at 2011-06-03 10:56:17 IDJOB=3461454 IDBENCH=2197 IDSOLVER=1953 FILE ID=node127/3461454-1307091377 RUNJOBID= node127-1307084168-6463 PBS_JOBID= 13497859 Free space on /tmp= 73940 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-2.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461454-1307091377/watcher-3461454-1307091377 -o /tmp/evaluation-result-3461454-1307091377/solver-3461454-1307091377 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461454-1307091377.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d83135464cb632376e759a94bebcd02c RANDOM SEED=1615171874 node127.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.823 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.64 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.823 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.83 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.823 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.74 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.823 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.823 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.823 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.823 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.60 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.823 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27454712 kB Buffers: 314448 kB Cached: 883372 kB SwapCached: 59160 kB Active: 3208704 kB Inactive: 2000372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27454712 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 3959096 kB Mapped: 22872 kB Slab: 122204 kB PageTables: 94748 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119745312 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= 73936 MiB End job on node127 at 2011-06-03 11:26:19