Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.05 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb |
MD5SUM | 4516c2b2a07b4de9da3fc3a8a0c3a78c |
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.005998 |
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.02 c wbo 1.6 beta - 20110321 0.00/0.02 c Parsing opb file format. File HOME/instance-3461422-1307087654.opb. 0.00/0.02 c Instance file HOME/instance-3461422-1307087654.opb 0.00/0.02 c File size is 44154 bytes. 0.00/0.02 c Highest Coefficient sum: 4 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.00 s | 0.00/0.02 c | Number Variables: 400 | 0.00/0.02 c | Number Clauses: 1400 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 400 1400 3992 | 5000 0 -nan | 0.000 % | 0.00/0.03 c core #1 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.03 c Current CPU time: 0.003999 s 0.00/0.03 c 0.00/0.03 c core #2 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #3 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #4 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #5 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #6 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #7 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #8 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #9 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #10 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #11 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #12 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #13 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #14 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #15 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #16 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #17 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #18 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #19 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #20 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #21 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #22 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #23 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #24 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #25 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #26 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #27 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #28 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #29 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #30 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #31 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #32 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #33 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #34 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.03 c Current CPU time: 0.020996 s 0.00/0.03 c 0.00/0.03 c core #35 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #36 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #37 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #38 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #39 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #40 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #41 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #42 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #43 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 43 0.03/0.05 c Current CPU time: 0.025996 s 0.03/0.05 c 0.03/0.05 c core #44 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 44 0.03/0.05 c Current CPU time: 0.026995 s 0.03/0.05 c 0.03/0.05 c core #45 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 45 0.03/0.05 c Current CPU time: 0.026995 s 0.03/0.05 c 0.03/0.05 c core #46 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 46 0.03/0.05 c Current CPU time: 0.027995 s 0.03/0.05 c 0.03/0.05 c core #47 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 47 0.03/0.05 c Current CPU time: 0.027995 s 0.03/0.05 c 0.03/0.05 c core #48 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 48 0.03/0.05 c Current CPU time: 0.028995 s 0.03/0.05 c 0.03/0.05 c core #49 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 49 0.03/0.05 c Current CPU time: 0.029995 s 0.03/0.05 c 0.03/0.05 c core #50 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 50 0.03/0.05 c Current CPU time: 0.029995 s 0.03/0.05 c 0.03/0.05 c core #51 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 51 0.03/0.05 c Current CPU time: 0.030995 s 0.03/0.05 c 0.03/0.05 c core #52 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 52 0.03/0.05 c Current CPU time: 0.030995 s 0.03/0.05 c 0.03/0.05 c core #53 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 53 0.03/0.05 c Current CPU time: 0.031995 s 0.03/0.05 c 0.03/0.05 c core #54 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 54 0.03/0.05 c Current CPU time: 0.032994 s 0.03/0.05 c 0.03/0.05 c core #55 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 55 0.03/0.05 c Current CPU time: 0.032994 s 0.03/0.05 c 0.03/0.05 c core #56 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 56 0.03/0.05 c Current CPU time: 0.033994 s 0.03/0.05 c 0.03/0.05 c core #57 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 57 0.03/0.05 c Current CPU time: 0.034994 s 0.03/0.05 c 0.03/0.05 c core #58 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 58 0.03/0.05 c Current CPU time: 0.034994 s 0.03/0.05 c 0.03/0.05 c core #59 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 59 0.03/0.05 c Current CPU time: 0.035994 s 0.03/0.05 c 0.03/0.05 c core #60 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 60 0.03/0.05 c Current CPU time: 0.035994 s 0.03/0.05 c 0.03/0.05 c core #61 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 61 0.03/0.05 c Current CPU time: 0.036994 s 0.03/0.05 c 0.03/0.05 c core #62 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 62 0.03/0.05 c Current CPU time: 0.037994 s 0.03/0.05 c 0.03/0.05 c core #63 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 63 0.03/0.05 c Current CPU time: 0.037994 s 0.03/0.05 c 0.03/0.05 c core #64 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 64 0.03/0.05 c Current CPU time: 0.038994 s 0.03/0.05 c 0.03/0.05 c core #65 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 65 0.03/0.05 c Current CPU time: 0.039993 s 0.03/0.05 c 0.03/0.05 c core #66 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 66 0.03/0.05 c Current CPU time: 0.039993 s 0.03/0.05 c 0.03/0.05 c core #67 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 67 0.03/0.05 c Current CPU time: 0.040993 s 0.03/0.05 c 0.03/0.05 c core #68 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 68 0.03/0.05 c Current CPU time: 0.041993 s 0.03/0.05 c 0.03/0.05 c core #69 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 69 0.03/0.05 c Current CPU time: 0.041993 s 0.03/0.05 c 0.03/0.05 c core #70 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 70 0.03/0.05 c Current CPU time: 0.042993 s 0.03/0.05 c 0.03/0.05 c core #71 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 71 0.03/0.05 c Current CPU time: 0.043993 s 0.03/0.05 c 0.03/0.05 c core #72 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 72 0.03/0.05 c Current CPU time: 0.043993 s 0.03/0.05 c 0.03/0.05 c core #73 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 73 0.03/0.05 c Current CPU time: 0.044993 s 0.03/0.05 c 0.03/0.05 c core #74 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 74 0.03/0.05 c Current CPU time: 0.045993 s 0.03/0.05 c 0.03/0.05 c core #75 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 75 0.03/0.05 c Current CPU time: 0.045993 s 0.03/0.05 c 0.03/0.05 c core #76 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 76 0.03/0.05 c Current CPU time: 0.046992 s 0.03/0.05 c 0.03/0.05 c core #77 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 77 0.03/0.05 c Current CPU time: 0.047992 s 0.03/0.05 c 0.03/0.05 c core #78 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 78 0.03/0.05 c Current CPU time: 0.047992 s 0.03/0.05 c 0.03/0.05 c core #79 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 79 0.03/0.05 c Current CPU time: 0.048992 s 0.03/0.05 c 0.03/0.05 c core #80 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 80 0.03/0.05 c Current CPU time: 0.049992 s 0.03/0.05 c 0.03/0.05 c core #81 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 81 0.03/0.05 c Current CPU time: 0.049992 s 0.03/0.05 c 0.03/0.05 c core #82 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 82 0.03/0.05 c Current CPU time: 0.050992 s 0.03/0.05 c 0.03/0.05 c core #83 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 83 0.03/0.05 c Current CPU time: 0.051992 s 0.03/0.05 c 0.03/0.05 c core #84 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 84 0.03/0.05 c Current CPU time: 0.052991 s 0.03/0.05 c 0.03/0.05 c core #85 0.03/0.05 c 0.03/0.05 c 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: 85 0.03/0.08 c Current CPU time: 0.052991 s 0.03/0.08 c 0.03/0.08 c core #86 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 86 0.03/0.08 c Current CPU time: 0.053991 s 0.03/0.08 c 0.03/0.08 c core #87 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 87 0.03/0.08 c Current CPU time: 0.054991 s 0.03/0.08 c 0.03/0.08 c core #88 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 88 0.03/0.08 c Current CPU time: 0.055991 s 0.03/0.08 c 0.03/0.08 c core #89 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 89 0.03/0.08 c Current CPU time: 0.055991 s 0.03/0.08 c 0.03/0.08 c core #90 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 90 0.03/0.08 c Current CPU time: 0.056991 s 0.03/0.08 c 0.03/0.08 c core #91 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 91 0.03/0.08 c Current CPU time: 0.057991 s 0.03/0.08 c 0.03/0.08 c core #92 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 92 0.03/0.08 c Current CPU time: 0.057991 s 0.03/0.08 c 0.03/0.08 c core #93 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 93 0.03/0.08 c Current CPU time: 0.058991 s 0.03/0.08 c 0.03/0.08 c core #94 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 94 0.03/0.08 c Current CPU time: 0.05999 s 0.03/0.08 c 0.03/0.08 c core #95 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 95 0.03/0.08 c Current CPU time: 0.06099 s 0.03/0.08 c 0.03/0.08 c core #96 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 96 0.03/0.08 c Current CPU time: 0.06099 s 0.03/0.08 c 0.03/0.08 c core #97 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 97 0.03/0.08 c Current CPU time: 0.06199 s 0.03/0.08 c 0.03/0.08 c core #98 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 98 0.03/0.08 c Current CPU time: 0.06299 s 0.03/0.08 c 0.03/0.08 c core #99 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 99 0.03/0.08 c Current CPU time: 0.06399 s 0.03/0.08 c 0.03/0.08 c core #100 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 100 0.03/0.08 c Current CPU time: 0.06399 s 0.03/0.08 c 0.03/0.08 c core #101 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 101 0.03/0.08 c Current CPU time: 0.06499 s 0.03/0.08 c 0.03/0.08 c core #102 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 102 0.03/0.08 c Current CPU time: 0.065989 s 0.03/0.08 c 0.03/0.08 c core #103 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 103 0.03/0.08 c Current CPU time: 0.066989 s 0.03/0.08 c 0.03/0.08 c core #104 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 104 0.03/0.08 c Current CPU time: 0.067989 s 0.03/0.08 c 0.03/0.08 c core #105 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 105 0.03/0.08 c Current CPU time: 0.067989 s 0.03/0.08 c 0.03/0.08 c core #106 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 106 0.03/0.08 c Current CPU time: 0.068989 s 0.03/0.08 c 0.03/0.08 c core #107 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 107 0.03/0.08 c Current CPU time: 0.069989 s 0.03/0.08 c 0.03/0.08 c core #108 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 108 0.03/0.08 c Current CPU time: 0.070989 s 0.03/0.08 c 0.03/0.08 c core #109 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 109 0.03/0.08 c Current CPU time: 0.071989 s 0.03/0.08 c 0.03/0.08 c core #110 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: 110 0.03/0.08 c Current CPU time: 0.071989 s 0.03/0.08 c 0.03/0.08 c core #111 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 7 Core Weight: 1 Total Weight: 111 0.03/0.08 c Current CPU time: 0.072988 s 0.03/0.08 c 0.03/0.08 c core #112 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 6 Core Weight: 1 Total Weight: 112 0.03/0.08 c Current CPU time: 0.073988 s 0.03/0.08 c 0.03/0.08 c core #113 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 7 Core Weight: 1 Total Weight: 113 0.03/0.08 c Current CPU time: 0.074988 s 0.03/0.08 c 0.03/0.08 c core #114 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 7 Core Weight: 1 Total Weight: 114 0.03/0.08 c Current CPU time: 0.075988 s 0.03/0.08 c 0.03/0.08 c core #115 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 16 Core Weight: 1 Total Weight: 115 0.03/0.08 c Current CPU time: 0.075988 s 0.03/0.08 c 0.03/0.08 c core #116 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 13 Core Weight: 1 Total Weight: 116 0.03/0.08 c Current CPU time: 0.075988 s 0.03/0.08 c 0.03/0.08 c core #117 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 36 Core Weight: 1 Total Weight: 117 0.03/0.08 c Current CPU time: 0.076988 s 0.03/0.08 c 0.03/0.08 c core #118 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 42 Core Weight: 1 Total Weight: 118 0.03/0.08 c Current CPU time: 0.077988 s 0.03/0.08 c 0.03/0.08 c core #119 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 22 Core Weight: 1 Total Weight: 119 0.03/0.08 c Current CPU time: 0.078987 s 0.03/0.08 c 0.03/0.08 c core #120 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 40 Core Weight: 1 Total Weight: 120 0.03/0.08 c Current CPU time: 0.079987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 798 1920 5182 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #121 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 44 Core Weight: 1 Total Weight: 121 0.03/0.08 c Current CPU time: 0.080987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 828 1921 5247 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #122 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 52 Core Weight: 1 Total Weight: 122 0.03/0.08 c Current CPU time: 0.081987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 870 1922 5332 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.09 c core #123 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 94 Core Weight: 1 Total Weight: 123 0.03/0.09 c Current CPU time: 0.083987 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 960 1923 5512 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #124 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 86 Core Weight: 1 Total Weight: 124 0.03/0.09 c Current CPU time: 0.085986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 1023 1924 5638 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #125 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 134 Core Weight: 1 Total Weight: 125 0.03/0.09 c Current CPU time: 0.088986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 1133 1925 5858 | 5000 0 -nan | 0.000 % | 0.03/0.09 c | 102 | 1132 1925 5858 | 5500 102 18 | 0.088 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #126 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 106 Core Weight: 1 Total Weight: 126 0.03/0.09 c Current CPU time: 0.092985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 1209 1931 6021 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #127 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 56 Core Weight: 1 Total Weight: 127 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 | 1257 1937 6131 | 5000 0 -nan | 0.000 % | 0.09/0.10 c | 100 | 1257 1937 6131 | 5500 100 27 | 0.159 % | 0.09/0.10 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: 104 Core Weight: 1 Total Weight: 128 0.09/0.10 c Current CPU time: 0.102984 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 | 1229 1945 6172 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.12 c core #129 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 50 Core Weight: 1 Total Weight: 129 0.09/0.12 c Current CPU time: 0.103984 s 0.09/0.12 c 0.09/0.12 c core #130 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 100 Core Weight: 1 Total Weight: 130 0.09/0.12 c Current CPU time: 0.104984 s 0.09/0.12 c 0.09/0.12 c core #131 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 111 Core Weight: 1 Total Weight: 131 0.09/0.12 c Current CPU time: 0.106983 s 0.09/0.12 c 0.09/0.12 c core #132 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 106 Core Weight: 1 Total Weight: 132 0.09/0.12 c Current CPU time: 0.107983 s 0.09/0.12 c 0.09/0.12 c core #133 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 92 Core Weight: 1 Total Weight: 133 0.09/0.12 c Current CPU time: 0.108983 s 0.09/0.12 c 0.09/0.12 c core #134 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 118 Core Weight: 1 Total Weight: 134 0.09/0.12 c Current CPU time: 0.110983 s 0.09/0.12 c 0.09/0.12 c core #135 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 158 Core Weight: 1 Total Weight: 135 0.09/0.12 c Current CPU time: 0.111982 s 0.09/0.12 c 0.09/0.12 c core #136 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 144 Core Weight: 1 Total Weight: 136 0.09/0.12 c Current CPU time: 0.112982 s 0.09/0.12 c 0.09/0.12 c core #137 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 152 Core Weight: 1 Total Weight: 137 0.09/0.12 c Current CPU time: 0.114982 s 0.09/0.12 c 0.09/0.12 c core #138 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 118 Core Weight: 1 Total Weight: 138 0.09/0.12 c Current CPU time: 0.115982 s 0.09/0.12 c 0.09/0.12 c core #139 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 172 Core Weight: 1 Total Weight: 139 0.09/0.12 c Current CPU time: 0.116982 s 0.09/0.12 c 0.09/0.12 c core #140 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 145 Core Weight: 1 Total Weight: 140 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 | 898 1958 6270 | 5000 0 -nan | 0.000 % | 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: 124 Core Weight: 1 Total Weight: 141 0.09/0.12 c Current CPU time: 0.119981 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 | 902 1959 6278 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #142 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 97 Core Weight: 1 Total Weight: 142 0.09/0.12 c Current CPU time: 0.121981 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 | 906 1960 6286 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #143 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 154 Core Weight: 1 Total Weight: 143 0.09/0.12 c Current CPU time: 0.122981 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 | 912 1961 6298 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.13 c core #144 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 152 Core Weight: 1 Total Weight: 144 0.09/0.13 c Current CPU time: 0.124981 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 | 918 1962 6310 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #145 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 176 Core Weight: 1 Total Weight: 145 0.09/0.13 c Current CPU time: 0.12698 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 | 927 1963 6328 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #146 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 177 Core Weight: 1 Total Weight: 146 0.09/0.13 c Current CPU time: 0.12798 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 | 934 1964 6342 | 5000 0 -nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #147 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 189 Core Weight: 1 Total Weight: 147 0.09/0.13 c Current CPU time: 0.12998 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 | 944 1965 6362 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 101 | 941 1965 6362 | 5500 101 15 | 31.214 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #148 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 207 Core Weight: 1 Total Weight: 148 0.09/0.14 c Current CPU time: 0.133979 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 956 1966 6386 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 100 | 956 1966 6386 | 5500 100 21 | 30.725 % | 0.09/0.14 c | 253 | 956 1966 6386 | 6050 253 22 | 30.725 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #149 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 227 Core Weight: 1 Total Weight: 149 0.09/0.15 c Current CPU time: 0.146977 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 970 1967 6414 | 5000 0 -nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #150 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 121 Core Weight: 1 Total Weight: 150 0.09/0.15 c Current CPU time: 0.149977 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 974 1968 6422 | 5000 0 -nan | 0.000 % | 0.09/0.15 c | 100 | 974 1968 6422 | 5500 100 28 | 30.329 % | 0.09/0.16 c | 251 | 974 1968 6422 | 6050 251 26 | 30.329 % | 0.09/0.16 c | 476 | 974 1968 6422 | 6655 476 27 | 30.329 % | 0.09/0.17 c | 816 | 974 1968 6422 | 7320 816 28 | 30.329 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #151 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 241 Core Weight: 1 Total Weight: 151 0.09/0.19 c Current CPU time: 0.19197 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 993 1969 6460 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 102 | 993 1969 6460 | 5500 102 31 | 29.922 % | 0.19/0.20 c | 256 | 989 1969 6460 | 6050 256 32 | 30.205 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #152 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 77 Core Weight: 1 Total Weight: 152 0.19/0.20 c Current CPU time: 0.198969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 996 1970 6466 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 100 | 996 1970 6466 | 5500 100 35 | 29.859 % | 0.19/0.21 c | 251 | 995 1970 6466 | 6050 251 28 | 29.930 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #153 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 215 Core Weight: 1 Total Weight: 153 0.19/0.21 c Current CPU time: 0.207968 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1011 1971 6496 | 5000 0 -nan | 0.000 % | 0.19/0.21 c | 100 | 1011 1971 6496 | 5500 100 37 | 29.547 % | 0.19/0.22 c | 250 | 1007 1971 6496 | 6050 250 34 | 29.826 % | 0.19/0.22 c | 475 | 1002 1971 6496 | 6655 475 42 | 30.174 % | 0.19/0.23 c | 815 | 1002 1971 6496 | 7320 815 43 | 30.174 % | 0.19/0.25 c | 1321 | 1001 1971 6496 | 8052 1321 46 | 30.523 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #154 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 146 Core Weight: 1 Total Weight: 154 0.19/0.28 c Current CPU time: 0.270958 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1014 1972 6502 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 101 | 1014 1972 6502 | 5500 101 38 | 29.485 % | 0.19/0.28 c | 251 | 1012 1972 6502 | 6050 251 39 | 29.625 % | 0.19/0.29 c | 476 | 1011 1972 6502 | 6655 476 45 | 29.694 % | 0.29/0.30 c | 814 | 1007 1972 6502 | 7320 814 44 | 29.972 % | 0.29/0.33 c | 1321 | 1003 1972 6502 | 8052 1321 45 | 32.406 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #155 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 167 Core Weight: 1 Total Weight: 155 0.29/0.33 c Current CPU time: 0.328949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1023 1973 6520 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 1023 1973 6520 | 5500 100 37 | 29.302 % | 0.29/0.34 c | 251 | 1023 1973 6520 | 6050 251 34 | 29.302 % | 0.29/0.34 c | 476 | 1021 1973 6520 | 6655 476 34 | 29.440 % | 0.29/0.36 c | 813 | 1014 1973 6520 | 7320 813 41 | 29.924 % | 0.29/0.38 c | 1319 | 999 1973 6520 | 8052 1319 41 | 30.961 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #156 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 266 Core Weight: 1 Total Weight: 156 0.29/0.39 c Current CPU time: 0.379942 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1052 1974 6578 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #157 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 180 Core Weight: 1 Total Weight: 157 0.29/0.39 c Current CPU time: 0.381941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1064 1975 6602 | 5000 0 -nan | 0.000 % | 0.29/0.39 c | 100 | 1064 1975 6602 | 5500 100 43 | 28.495 % | 0.29/0.39 c | 250 | 1064 1975 6602 | 6050 250 38 | 28.495 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #158 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 188 Core Weight: 1 Total Weight: 158 0.39/0.40 c Current CPU time: 0.39094 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1074 1976 6622 | 5000 0 -nan | 0.000 % | 0.39/0.40 c | 100 | 1074 1976 6622 | 5500 100 43 | 28.304 % | 0.39/0.40 c | 251 | 1074 1976 6622 | 6050 251 40 | 28.304 % | 0.39/0.41 c | 476 | 1074 1976 6622 | 6655 476 43 | 28.304 % | 0.39/0.42 c | 813 | 1074 1976 6622 | 7320 813 45 | 28.304 % | 0.39/0.44 c | 1320 | 1070 1976 6622 | 8052 1320 48 | 28.571 % | 0.39/0.48 c | 2081 | 1070 1976 6622 | 8857 2081 50 | 28.571 % | 0.48/0.53 c =============================================================================== 0.48/0.54 c core #159 0.48/0.54 c 0.48/0.54 c 0.48/0.54 c Core size: 267 Core Weight: 1 Total Weight: 159 0.48/0.54 c Current CPU time: 0.527919 s 0.48/0.54 c 0.48/0.54 c ============================[ Search Statistics ]============================== 0.48/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.54 c =============================================================================== 0.48/0.54 c | 0 | 1103 1977 6680 | 5000 0 -nan | 0.000 % | 0.48/0.54 c =============================================================================== 0.48/0.54 c core #160 0.48/0.54 c 0.48/0.54 c 0.48/0.54 c Core size: 221 Core Weight: 1 Total Weight: 160 0.48/0.54 c Current CPU time: 0.531919 s 0.48/0.54 c 0.48/0.54 c ============================[ Search Statistics ]============================== 0.48/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.54 c =============================================================================== 0.48/0.54 c | 0 | 1120 1978 6714 | 5000 0 -nan | 0.000 % | 0.48/0.54 c | 100 | 1120 1978 6714 | 5500 100 37 | 27.461 % | 0.48/0.55 c | 250 | 1120 1978 6714 | 6050 250 51 | 27.461 % | 0.48/0.55 c | 476 | 1120 1978 6714 | 6655 476 53 | 27.461 % | 0.48/0.57 c | 814 | 1120 1978 6714 | 7320 814 55 | 27.461 % | 0.48/0.58 c | 1321 | 1111 1978 6714 | 8052 1321 55 | 28.562 % | 0.59/0.62 c | 2081 | 1108 1978 6714 | 8857 2081 57 | 28.757 % | 0.59/0.69 c | 3221 | 1108 1978 6714 | 9743 3221 58 | 28.757 % | 0.79/0.83 c | 4929 | 1100 1978 6714 | 10717 4929 58 | 28.757 % | 1.10/1.16 c | 7492 | 1100 1978 6714 | 11789 7492 59 | 28.757 % | 1.69/1.76 c | 11340 | 1098 1978 6714 | 12968 11340 61 | 28.886 % | 1.89/1.93 c =============================================================================== 1.89/1.97 c core #161 1.89/1.97 c 1.89/1.97 c 1.89/1.97 c Core size: 286 Core Weight: 1 Total Weight: 161 1.89/1.97 c Current CPU time: 1.9487 s 1.89/1.97 c 1.89/1.97 c ============================[ Search Statistics ]============================== 1.89/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.97 c =============================================================================== 1.89/1.97 c | 0 | 1155 1979 6784 | 5000 0 -nan | 0.000 % | 1.89/1.98 c | 102 | 1155 1979 6784 | 5500 102 54 | 26.852 % | 1.89/1.98 c | 252 | 1155 1979 6784 | 6050 252 47 | 26.852 % | 1.89/1.99 c | 477 | 1149 1979 6784 | 6655 477 44 | 27.232 % | 1.99/2.00 c | 814 | 1149 1979 6784 | 7320 814 55 | 27.232 % | 1.99/2.02 c | 1323 | 1149 1979 6784 | 8052 1323 56 | 27.232 % | 1.99/2.05 c | 2082 | 1123 1979 6784 | 8857 2082 55 | 29.133 % | 1.99/2.11 c | 3222 | 1101 1979 6784 | 9743 3222 58 | 30.526 % | 2.21/2.22 c =============================================================================== 2.21/2.23 c core #162 2.21/2.23 c 2.21/2.23 c 2.21/2.23 c Core size: 247 Core Weight: 1 Total Weight: 162 2.21/2.23 c Current CPU time: 2.20766 s 2.21/2.23 c 2.21/2.23 c ============================[ Search Statistics ]============================== 2.21/2.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.23 c =============================================================================== 2.21/2.23 c | 0 | 1186 1980 6846 | 5000 0 -nan | 0.000 % | 2.21/2.24 c | 102 | 1186 1980 6846 | 5500 102 58 | 26.335 % | 2.21/2.24 c | 252 | 1186 1980 6846 | 6050 252 41 | 26.335 % | 2.21/2.24 c | 478 | 1186 1980 6846 | 6655 478 47 | 26.335 % | 2.21/2.25 c | 815 | 1185 1980 6846 | 7320 815 59 | 26.398 % | 2.21/2.27 c | 1321 | 1185 1980 6846 | 8052 1321 63 | 26.398 % | 2.29/2.31 c | 2082 | 1184 1980 6846 | 8857 2082 66 | 26.460 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c core #163 2.29/2.38 c 2.29/2.38 c 2.29/2.38 c Core size: 267 Core Weight: 1 Total Weight: 163 2.29/2.38 c Current CPU time: 2.35364 s 2.29/2.38 c 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 1221 1981 6916 | 5000 0 -nan | 0.000 % | 2.29/2.39 c | 100 | 1221 1981 6916 | 5500 100 62 | 25.775 % | 2.29/2.39 c | 252 | 1221 1981 6916 | 6050 252 48 | 25.775 % | 2.29/2.40 c | 479 | 1220 1981 6916 | 6655 479 51 | 25.836 % | 2.38/2.41 c | 817 | 1201 1981 6916 | 7320 817 59 | 27.234 % | 2.38/2.44 c | 1323 | 1182 1981 6916 | 8052 1323 78 | 28.146 % | 2.49/2.50 c | 2084 | 1182 1981 6916 | 8857 2084 97 | 28.146 % | 2.59/2.66 c | 3223 | 1181 1981 6916 | 9743 3223 106 | 28.207 % | 2.99/3.02 c | 4932 | 1181 1981 6916 | 10717 4932 115 | 28.450 % | 3.49/3.58 c | 7494 | 1166 1981 6916 | 11789 7494 118 | 29.119 % | 4.58/4.67 c | 11339 | 1165 1981 6916 | 12968 11339 119 | 29.666 % | 5.99/6.02 c | 17107 | 1164 1981 6916 | 14265 10422 112 | 30.213 % | 7.88/7.95 c | 25757 | 1139 1981 6916 | 15692 11693 104 | 30.881 % | 9.49/9.52 c =============================================================================== 9.49/9.53 c core #164 9.49/9.53 c 9.49/9.53 c 9.49/9.53 c Core size: 175 Core Weight: 1 Total Weight: 164 9.49/9.53 c Current CPU time: 9.46356 s 9.49/9.53 c 9.49/9.53 c ============================[ Search Statistics ]============================== 9.49/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.53 c =============================================================================== 9.49/9.53 c | 0 | 1230 1982 6934 | 5000 0 -nan | 0.000 % | 9.49/9.53 c | 100 | 1230 1982 6934 | 5500 100 62 | 25.635 % | 9.49/9.53 c =============================================================================== 9.49/9.53 c core #165 9.49/9.53 c 9.49/9.53 c 9.49/9.53 c Core size: 155 Core Weight: 1 Total Weight: 165 9.49/9.53 c Current CPU time: 9.47756 s 9.49/9.53 c 9.49/9.53 c ============================[ Search Statistics ]============================== 9.49/9.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.53 c =============================================================================== 9.49/9.53 c | 0 | 1236 1983 6946 | 5000 0 -nan | 0.000 % | 9.49/9.53 c | 100 | 1236 1983 6946 | 5500 100 15 | 26.084 % | 9.49/9.53 c =============================================================================== 9.49/9.54 c core #166 9.49/9.54 c 9.49/9.54 c 9.49/9.54 c Core size: 176 Core Weight: 1 Total Weight: 166 9.49/9.54 c Current CPU time: 9.48156 s 9.49/9.54 c 9.49/9.54 c ============================[ Search Statistics ]============================== 9.49/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.54 c =============================================================================== 9.49/9.54 c | 0 | 1245 1984 6964 | 5000 0 -nan | 0.000 % | 9.49/9.54 c | 101 | 1245 1984 6964 | 5500 101 61 | 25.404 % | 9.49/9.54 c =============================================================================== 9.49/9.54 c core #167 9.49/9.54 c 9.49/9.54 c 9.49/9.54 c Core size: 163 Core Weight: 1 Total Weight: 167 9.49/9.54 c Current CPU time: 9.48856 s 9.49/9.54 c 9.49/9.54 c ============================[ Search Statistics ]============================== 9.49/9.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.49/9.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.49/9.54 c =============================================================================== 9.49/9.54 c | 0 | 1258 1985 6990 | 5000 0 -nan | 0.000 % | 9.49/9.55 c | 102 | 1258 1985 6990 | 5500 102 60 | 25.208 % | 9.49/9.55 c | 253 | 1258 1985 6990 | 6050 253 40 | 25.208 % | 9.49/9.55 c | 478 | 1258 1985 6990 | 6655 478 41 | 25.208 % | 9.49/9.56 c | 815 | 1258 1985 6990 | 7320 815 49 | 25.208 % | 9.49/9.58 c | 1322 | 1258 1985 6990 | 8052 1322 62 | 25.208 % | 9.59/9.61 c | 2081 | 1258 1985 6990 | 8857 2081 70 | 25.208 % | 9.59/9.69 c | 3224 | 1258 1985 6990 | 9743 3224 81 | 25.208 % | 9.80/9.83 c | 4932 | 1258 1985 6990 | 10717 4932 91 | 25.208 % | 10.18/10.20 c | 7497 | 1258 1985 6990 | 11789 7497 100 | 25.208 % | 10.69/10.79 c | 11343 | 1258 1985 6990 | 12968 11343 107 | 25.208 % | 11.78/11.82 c | 17112 | 1258 1985 6990 | 14265 10353 112 | 25.208 % | 12.98/13.06 c | 25762 | 1258 1985 6990 | 15692 11564 107 | 25.208 % | 14.89/14.94 c | 38736 | 1258 1985 6990 | 17261 8322 81 | 25.208 % | 15.49/15.60 c =============================================================================== 15.69/15.71 c core #168 15.69/15.71 c 15.69/15.71 c 15.69/15.71 c Core size: 276 Core Weight: 1 Total Weight: 168 15.69/15.71 c Current CPU time: 15.6106 s 15.69/15.71 c 15.69/15.71 c ============================[ Search Statistics ]============================== 15.69/15.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.71 c =============================================================================== 15.69/15.71 c | 0 | 1295 1986 7064 | 5000 0 -nan | 0.000 % | 15.69/15.71 c | 101 | 1295 1986 7064 | 5500 101 19 | 24.666 % | 15.69/15.72 c | 252 | 1295 1986 7064 | 6050 252 21 | 24.666 % | 15.69/15.72 c | 477 | 1295 1986 7064 | 6655 477 22 | 24.666 % | 15.69/15.72 c =============================================================================== 15.69/15.73 c core #169 15.69/15.73 c 15.69/15.73 c 15.69/15.73 c Core size: 173 Core Weight: 1 Total Weight: 169 15.69/15.73 c Current CPU time: 15.6406 s 15.69/15.73 c 15.69/15.73 c ============================[ Search Statistics ]============================== 15.69/15.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.73 c =============================================================================== 15.69/15.73 c | 0 | 1304 1987 7082 | 5000 0 -nan | 0.000 % | 15.69/15.73 c =============================================================================== 15.69/15.73 c core #170 15.69/15.73 c 15.69/15.73 c 15.69/15.73 c Core size: 182 Core Weight: 1 Total Weight: 170 15.69/15.73 c Current CPU time: 15.6446 s 15.69/15.73 c 15.69/15.73 c ============================[ Search Statistics ]============================== 15.69/15.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.73 c =============================================================================== 15.69/15.73 c | 0 | 1316 1988 7106 | 5000 0 -nan | 0.000 % | 15.69/15.73 c | 103 | 1316 1988 7106 | 5500 103 13 | 24.368 % | 15.69/15.73 c =============================================================================== 15.69/15.74 c core #171 15.69/15.74 c 15.69/15.74 c 15.69/15.74 c Core size: 168 Core Weight: 1 Total Weight: 171 15.69/15.74 c Current CPU time: 15.6486 s 15.69/15.74 c 15.69/15.74 c ============================[ Search Statistics ]============================== 15.69/15.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.74 c =============================================================================== 15.69/15.74 c | 0 | 1325 1989 7124 | 5000 0 -nan | 0.000 % | 15.69/15.74 c | 101 | 1325 1989 7124 | 5500 101 64 | 24.242 % | 15.69/15.74 c | 251 | 1325 1989 7124 | 6050 251 55 | 24.242 % | 15.69/15.75 c | 479 | 1325 1989 7124 | 6655 479 60 | 24.242 % | 15.69/15.75 c | 818 | 1325 1989 7124 | 7320 818 61 | 24.242 % | 15.69/15.77 c | 1324 | 1325 1989 7124 | 8052 1324 69 | 24.242 % | 15.78/15.81 c | 2084 | 1325 1989 7124 | 8857 2084 94 | 24.242 % | 15.88/15.90 c | 3223 | 1325 1989 7124 | 9743 3223 114 | 24.242 % | 15.88/15.98 c | 4931 | 1325 1989 7124 | 10717 4931 105 | 24.242 % | 16.08/16.17 c | 7496 | 1321 1989 7124 | 11789 7496 106 | 24.471 % | 16.59/16.63 c | 11341 | 1295 1989 7124 | 12968 11341 110 | 26.015 % | 17.79/17.87 c | 17113 | 1285 1989 7124 | 14265 10320 118 | 26.758 % | 19.70/19.72 c | 25762 | 1283 1989 7124 | 15692 11595 107 | 26.987 % | 23.39/23.40 c =============================================================================== 23.59/23.63 c core #172 23.59/23.63 c 23.59/23.63 c 23.59/23.63 c Core size: 303 Core Weight: 1 Total Weight: 172 23.59/23.63 c Current CPU time: 23.5124 s 23.59/23.63 c 23.59/23.63 c ============================[ Search Statistics ]============================== 23.59/23.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.59/23.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.59/23.63 c =============================================================================== 23.59/23.63 c | 0 | 1366 1990 7206 | 5000 0 -nan | 0.000 % | 23.59/23.64 c | 101 | 1366 1990 7206 | 5500 101 24 | 23.687 % | 23.59/23.64 c | 252 | 1366 1990 7206 | 6050 252 25 | 23.687 % | 23.59/23.65 c | 479 | 1366 1990 7206 | 6655 479 26 | 23.687 % | 23.59/23.65 c =============================================================================== 23.59/23.65 c core #173 23.59/23.65 c 23.59/23.65 c 23.59/23.65 c Core size: 184 Core Weight: 1 Total Weight: 173 23.59/23.65 c Current CPU time: 23.5454 s 23.59/23.65 c 23.59/23.65 c ============================[ Search Statistics ]============================== 23.59/23.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.59/23.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.59/23.65 c =============================================================================== 23.59/23.65 c | 0 | 1381 1991 7236 | 5000 0 -nan | 0.000 % | 23.59/23.66 c | 100 | 1381 1991 7236 | 5500 100 24 | 23.490 % | 23.59/23.66 c | 250 | 1381 1991 7236 | 6050 250 29 | 23.490 % | 23.59/23.66 c | 476 | 1381 1991 7236 | 6655 476 32 | 23.490 % | 23.59/23.67 c | 815 | 1381 1991 7236 | 7320 815 34 | 23.490 % | 23.59/23.69 c | 1324 | 1381 1991 7236 | 8052 1324 33 | 23.490 % | 23.68/23.73 c | 2085 | 1381 1991 7236 | 8857 2085 35 | 23.490 % | 23.78/23.80 c | 3224 | 1381 1991 7236 | 9743 3224 36 | 23.490 % | 23.88/23.93 c | 4932 | 1363 1991 7236 | 10717 4932 36 | 29.529 % | 23.88/23.93 c =============================================================================== 23.88/23.95 c core #174 23.88/23.95 c 23.88/23.95 c 23.88/23.95 c Core size: 184 Core Weight: 1 Total Weight: 174 23.88/23.95 c Current CPU time: 23.8374 s 23.88/23.95 c 23.88/23.95 c ============================[ Search Statistics ]============================== 23.88/23.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.88/23.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.88/23.95 c =============================================================================== 23.88/23.95 c | 0 | 1396 1992 7266 | 5000 0 -nan | 0.000 % | 23.88/23.95 c | 101 | 1396 1992 7266 | 5500 101 39 | 23.297 % | 23.88/23.95 c | 253 | 1396 1992 7266 | 6050 253 35 | 23.297 % | 23.88/23.96 c | 480 | 1396 1992 7266 | 6655 480 38 | 23.297 % | 23.88/23.97 c | 818 | 1396 1992 7266 | 7320 818 42 | 23.297 % | 23.88/23.99 c | 1326 | 1396 1992 7266 | 8052 1326 43 | 23.297 % | 23.99/24.04 c | 2087 | 1396 1992 7266 | 8857 2087 46 | 23.297 % | 24.11/24.13 c | 3230 | 1396 1992 7266 | 9743 3230 48 | 23.297 % | 24.21/24.28 c | 4941 | 1396 1992 7266 | 10717 4941 48 | 23.297 % | 24.48/24.55 c | 7504 | 1396 1992 7266 | 11789 7504 48 | 23.297 % | 25.30/25.33 c | 11349 | 1396 1992 7266 | 12968 11349 50 | 23.297 % | 26.41/26.48 c | 17115 | 1396 1992 7266 | 14265 10390 51 | 23.297 % | 26.49/26.57 c =============================================================================== 26.59/26.65 c core #175 26.59/26.65 c 26.59/26.65 c 26.59/26.65 c Core size: 212 Core Weight: 1 Total Weight: 175 26.59/26.65 c Current CPU time: 26.517 s 26.59/26.65 c 26.59/26.65 c ============================[ Search Statistics ]============================== 26.59/26.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.59/26.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.59/26.65 c =============================================================================== 26.59/26.65 c | 0 | 1415 1993 7304 | 5000 0 -nan | 0.000 % | 26.59/26.65 c | 101 | 1415 1993 7304 | 5500 101 33 | 23.056 % | 26.59/26.65 c | 251 | 1414 1993 7304 | 6050 251 22 | 23.110 % | 26.59/26.65 c =============================================================================== 26.59/26.65 c core #176 26.59/26.65 c 26.59/26.65 c 26.59/26.65 c Core size: 202 Core Weight: 1 Total Weight: 176 26.59/26.65 c Current CPU time: 26.529 s 26.59/26.65 c 26.59/26.65 c ============================[ Search Statistics ]============================== 26.59/26.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.59/26.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.59/26.65 c =============================================================================== 26.59/26.65 c | 0 | 1431 1994 7336 | 5000 0 -nan | 0.000 % | 26.59/26.66 c | 104 | 1431 1994 7336 | 5500 104 60 | 22.857 % | 26.59/26.66 c | 254 | 1431 1994 7336 | 6050 254 35 | 22.857 % | 26.59/26.66 c | 479 | 1428 1994 7336 | 6655 479 31 | 23.019 % | 26.59/26.67 c =============================================================================== 26.59/26.67 c core #177 26.59/26.67 c 26.59/26.67 c 26.59/26.67 c Core size: 221 Core Weight: 1 Total Weight: 177 26.59/26.67 c Current CPU time: 26.548 s 26.59/26.67 c 26.59/26.67 c ============================[ Search Statistics ]============================== 26.59/26.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.59/26.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.59/26.67 c =============================================================================== 26.59/26.67 c | 0 | 1453 1995 7380 | 5000 0 -nan | 0.000 % | 26.59/26.68 c | 102 | 1453 1995 7380 | 5500 102 35 | 22.589 % | 26.59/26.68 c | 254 | 1453 1995 7380 | 6050 254 48 | 22.589 % | 26.59/26.69 c | 479 | 1453 1995 7380 | 6655 479 52 | 22.589 % | 26.69/26.70 c | 818 | 1453 1995 7380 | 7320 818 58 | 22.589 % | 26.69/26.73 c | 1325 | 1453 1995 7380 | 8052 1325 62 | 22.589 % | 26.69/26.78 c | 2085 | 1453 1995 7380 | 8857 2085 61 | 22.589 % | 26.78/26.87 c | 3224 | 1453 1995 7380 | 9743 3224 60 | 22.589 % | 26.98/27.03 c | 4932 | 1453 1995 7380 | 10717 4932 62 | 22.589 % | 27.40/27.44 c | 7498 | 1453 1995 7380 | 11789 7498 61 | 22.589 % | 28.09/28.12 c | 11343 | 1453 1995 7380 | 12968 11343 62 | 22.589 % | 28.99/29.05 c | 17112 | 1453 1995 7380 | 14265 10381 59 | 22.589 % | 30.71/30.73 c | 25762 | 1453 1995 7380 | 15692 11607 57 | 22.589 % | 34.29/34.38 c | 38736 | 1449 1995 7380 | 17261 8365 64 | 22.802 % | 37.89/37.92 c | 58197 | 1449 1995 7380 | 18987 9722 58 | 22.802 % | 44.88/44.93 c | 87391 | 1448 1995 7380 | 20886 19123 60 | 22.856 % | 49.40/49.42 c =============================================================================== 49.40/49.46 c core #178 49.40/49.46 c 49.40/49.46 c 49.40/49.46 c Core size: 166 Core Weight: 1 Total Weight: 178 49.40/49.46 c Current CPU time: 49.2075 s 49.40/49.46 c 49.40/49.46 c ============================[ Search Statistics ]============================== 49.40/49.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.40/49.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.40/49.46 c =============================================================================== 49.40/49.46 c | 0 | 1462 1996 7398 | 5000 0 -nan | 0.000 % | 49.40/49.47 c | 101 | 1462 1996 7398 | 5500 101 69 | 22.481 % | 49.40/49.47 c | 252 | 1461 1996 7398 | 6050 252 40 | 22.534 % | 49.40/49.47 c | 478 | 1459 1996 7398 | 6655 478 32 | 22.641 % | 49.40/49.48 c | 816 | 1456 1996 7398 | 7320 816 30 | 23.012 % | 49.40/49.50 c =============================================================================== 49.40/49.50 c core #179 49.40/49.50 c 49.40/49.50 c 49.40/49.50 c Core size: 179 Core Weight: 1 Total Weight: 179 49.40/49.50 c Current CPU time: 49.2815 s 49.40/49.50 c 49.40/49.50 c ============================[ Search Statistics ]============================== 49.40/49.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.40/49.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.40/49.50 c =============================================================================== 49.40/49.50 c | 0 | 1475 1997 7424 | 5000 0 -nan | 0.000 % | 49.40/49.50 c | 100 | 1475 1997 7424 | 5500 100 68 | 22.328 % | 49.40/49.51 c | 250 | 1475 1997 7424 | 6050 250 42 | 22.328 % | 49.40/49.51 c | 476 | 1475 1997 7424 | 6655 476 56 | 22.328 % | 49.51/49.52 c | 817 | 1475 1997 7424 | 7320 817 57 | 22.328 % | 49.51/49.54 c | 1324 | 1475 1997 7424 | 8052 1324 64 | 22.328 % | 49.51/49.58 c | 2085 | 1475 1997 7424 | 8857 2085 87 | 22.328 % | 49.58/49.64 c | 3226 | 1475 1997 7424 | 9743 3226 93 | 22.328 % | 49.79/49.82 c | 4934 | 1475 1997 7424 | 10717 4934 110 | 22.328 % | 50.19/50.21 c | 7496 | 1475 1997 7424 | 11789 7496 128 | 22.328 % | 50.89/50.94 c | 11342 | 1475 1997 7424 | 12968 11342 139 | 22.328 % | 51.89/51.96 c | 17110 | 1475 1997 7424 | 14265 10288 144 | 22.328 % | 54.48/54.58 c | 25762 | 1475 1997 7424 | 15692 11489 150 | 22.328 % | 57.48/57.59 c | 38737 | 1475 1997 7424 | 17261 8185 124 | 22.328 % | 62.48/62.56 c | 58199 | 1471 1997 7424 | 18987 9823 130 | 22.538 % | 70.49/70.56 c | 87391 | 1471 1997 7424 | 20886 19396 118 | 22.538 % | 80.69/80.72 c | 131180 | 1471 1997 7424 | 22974 20118 128 | 22.538 % | 96.08/96.13 c =============================================================================== 96.98/97.02 c core #180 96.98/97.02 c 96.98/97.02 c 96.98/97.02 c Core size: 309 Core Weight: 1 Total Weight: 180 96.98/97.02 c Current CPU time: 96.5073 s 96.98/97.02 c 96.98/97.02 c ============================[ Search Statistics ]============================== 96.98/97.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.98/97.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.98/97.02 c =============================================================================== 96.98/97.02 c | 0 | 1526 1998 7526 | 5000 0 -nan | 0.000 % | 96.98/97.02 c | 101 | 1526 1998 7526 | 5500 101 52 | 21.744 % | 96.98/97.02 c | 251 | 1526 1998 7526 | 6050 251 38 | 21.744 % | 96.98/97.03 c | 477 | 1526 1998 7526 | 6655 477 36 | 21.744 % | 96.98/97.03 c | 815 | 1526 1998 7526 | 7320 815 35 | 21.744 % | 96.98/97.05 c | 1321 | 1526 1998 7526 | 8052 1321 51 | 21.744 % | 96.98/97.07 c | 2081 | 1526 1998 7526 | 8857 2081 44 | 21.744 % | 97.09/97.12 c | 3223 | 1526 1998 7526 | 9743 3223 51 | 21.744 % | 97.19/97.23 c | 4933 | 1523 1998 7526 | 10717 4933 70 | 21.897 % | 97.38/97.47 c | 7496 | 1523 1998 7526 | 11789 7496 92 | 21.897 % | 97.91/97.98 c | 11340 | 1522 1998 7526 | 12968 11340 105 | 21.949 % | 98.79/98.87 c | 17109 | 1520 1998 7526 | 14265 10307 113 | 22.256 % | 100.78/100.85 c | 25764 | 1504 1998 7526 | 15692 11494 119 | 22.872 % | 103.99/104.04 c | 38738 | 1504 1998 7526 | 17261 16312 128 | 22.872 % | 109.08/109.16 c | 58199 | 1504 1998 7526 | 18987 9007 123 | 22.872 % | 115.40/115.42 c | 87394 | 1504 1998 7526 | 20886 18598 105 | 22.872 % | 125.18/125.22 c =============================================================================== 125.66/125.70 c core #181 125.66/125.70 c 125.66/125.70 c 125.66/125.70 c Core size: 316 Core Weight: 1 Total Weight: 181 125.66/125.70 c Current CPU time: 125.099 s 125.66/125.70 c 125.66/125.70 c ============================[ Search Statistics ]============================== 125.66/125.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.66/125.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.66/125.70 c =============================================================================== 125.66/125.70 c | 0 | 1583 1999 7640 | 5000 0 -nan | 0.000 % | 125.66/125.70 c | 101 | 1583 1999 7640 | 5500 101 35 | 21.126 % | 125.66/125.71 c | 253 | 1583 1999 7640 | 6050 253 31 | 21.126 % | 125.66/125.71 c | 479 | 1583 1999 7640 | 6655 479 34 | 21.126 % | 125.66/125.72 c | 818 | 1583 1999 7640 | 7320 818 42 | 21.126 % | 125.66/125.74 c | 1327 | 1583 1999 7640 | 8052 1327 56 | 21.126 % | 125.77/125.80 c | 2086 | 1583 1999 7640 | 8857 2086 65 | 21.126 % | 125.77/125.88 c | 3225 | 1583 1999 7640 | 9743 3225 68 | 21.126 % | 126.07/126.11 c | 4934 | 1583 1999 7640 | 10717 4934 68 | 21.126 % | 126.57/126.61 c | 7497 | 1579 1999 7640 | 11789 7497 71 | 21.325 % | 127.16/127.27 c | 11343 | 1579 1999 7640 | 12968 11343 71 | 21.325 % | 128.47/128.57 c | 17109 | 1579 1999 7640 | 14265 10354 67 | 21.325 % | 130.07/130.19 c | 25761 | 1579 1999 7640 | 15692 11634 68 | 21.325 % | 132.77/132.84 c | 38737 | 1579 1999 7640 | 17261 8391 73 | 21.325 % | 136.47/136.50 c | 58200 | 1579 1999 7640 | 18987 10053 75 | 21.325 % | 141.17/141.21 c | 87393 | 1579 1999 7640 | 20886 9979 75 | 21.325 % | 151.47/151.52 c | 131183 | 1579 1999 7640 | 22974 11012 75 | 21.325 % | 161.77/161.81 c =============================================================================== 162.87/162.94 c core #182 162.87/162.94 c 162.87/162.94 c 162.87/162.94 c Core size: 277 Core Weight: 1 Total Weight: 182 162.87/162.94 c Current CPU time: 162.194 s 162.87/162.94 c 162.87/162.94 c ============================[ Search Statistics ]============================== 162.87/162.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 162.87/162.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 162.87/162.94 c =============================================================================== 162.87/162.94 c | 0 | 1621 2000 7716 | 5000 0 -nan | 0.000 % | 162.87/162.95 c | 101 | 1621 2000 7716 | 5500 101 32 | 20.734 % | 162.87/162.95 c | 251 | 1621 2000 7716 | 6050 251 29 | 20.734 % | 162.87/162.95 c | 476 | 1621 2000 7716 | 6655 476 33 | 20.734 % | 162.87/162.96 c | 816 | 1621 2000 7716 | 7320 816 40 | 20.734 % | 162.87/162.97 c | 1323 | 1621 2000 7716 | 8052 1323 46 | 20.734 % | 162.97/163.00 c | 2082 | 1621 2000 7716 | 8857 2082 52 | 20.734 % | 162.97/163.03 c | 3221 | 1621 2000 7716 | 9743 3221 46 | 20.734 % | 163.07/163.15 c | 4930 | 1621 2000 7716 | 10717 4930 60 | 20.734 % | 163.27/163.32 c | 7493 | 1621 2000 7716 | 11789 7493 62 | 20.734 % | 163.79/163.85 c | 11337 | 1621 2000 7716 | 12968 11337 70 | 20.734 % | 164.77/164.91 c | 17111 | 1621 2000 7716 | 14265 10364 80 | 20.734 % | 166.87/166.95 c | 25762 | 1621 2000 7716 | 15692 11619 80 | 20.734 % | 169.97/170.00 c | 38742 | 1617 2000 7716 | 17261 8386 79 | 20.929 % | 173.79/173.84 c | 58203 | 1617 2000 7716 | 18987 10055 78 | 20.929 % | 179.67/179.79 c | 87395 | 1617 2000 7716 | 20886 9957 74 | 20.929 % | 186.17/186.24 c | 131184 | 1617 2000 7716 | 22974 20899 113 | 20.929 % | 201.87/201.97 c | 196871 | 1617 2000 7716 | 25272 14937 177 | 20.929 % | 238.07/238.19 c | 295397 | 1617 2000 7716 | 27799 18961 206 | 20.929 % | 290.07/290.12 c | 443188 | 1617 2000 7716 | 30579 13501 199 | 20.929 % | 379.39/379.50 c | 664872 | 1617 2000 7716 | 33637 20761 230 | 20.929 % | 492.48/492.56 c | 997399 | 1617 2000 7716 | 37001 25454 219 | 20.929 % | 741.58/741.69 c | 1496192 | 1616 2000 7716 | 40701 30279 167 | 20.978 % | 1137.68/1137.78 c | 2244374 | 1616 2000 7716 | 44771 40128 262 | 20.978 % | 1770.00/1770.01 c | 3366648 | 1616 2000 7716 | 49248 18810 244 | 20.978 % |
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-3461422-1307087654/watcher-3461422-1307087654 -o /tmp/evaluation-result-3461422-1307087654/solver-3461422-1307087654 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461422-1307087654.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.04 2.01 2.00 3/558 30879 /proc/meminfo: memFree=28094328/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=2368 CPUtime=0.01 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 398 0 0 0 1 0 0 0 25 0 1 0 898996054 2424832 340 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 592 340 175 372 0 217 0 [startup+0.043513 s] /proc/loadavg: 2.04 2.01 2.00 3/558 30879 /proc/meminfo: memFree=28094328/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=2504 CPUtime=0.03 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 443 0 0 0 3 0 0 0 25 0 1 0 898996054 2564096 385 33554432000 4194304 5714214 140736065738768 18446744073709551615 4968701 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 626 385 175 372 0 251 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2504 [startup+0.100459 s] /proc/loadavg: 2.04 2.01 2.00 3/558 30879 /proc/meminfo: memFree=28094328/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=3196 CPUtime=0.09 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 590 0 0 0 9 0 0 0 25 0 1 0 898996054 3272704 532 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 799 532 180 372 0 424 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3196 [startup+0.300425 s] /proc/loadavg: 2.04 2.01 2.00 3/558 30879 /proc/meminfo: memFree=28094328/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=4044 CPUtime=0.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 831 0 0 0 29 0 0 0 25 0 1 0 898996054 4141056 768 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 1011 768 180 372 0 636 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4044 [startup+0.700358 s] /proc/loadavg: 2.04 2.01 2.00 3/558 30879 /proc/meminfo: memFree=28094328/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=4880 CPUtime=0.69 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 1029 0 0 0 68 1 0 0 25 0 1 0 898996054 4997120 966 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 1220 966 180 372 0 845 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4880 [startup+1.50022 s] /proc/loadavg: 2.04 2.01 2.00 3/559 30880 /proc/meminfo: memFree=28088484/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=8040 CPUtime=1.48 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 1812 0 0 0 147 1 0 0 25 0 1 0 898996054 8232960 1749 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 2010 1749 180 372 0 1635 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8040 [startup+3.10099 s] /proc/loadavg: 2.20 2.05 2.01 3/559 30880 /proc/meminfo: memFree=28082532/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=10036 CPUtime=3.09 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 2313 0 0 0 306 3 0 0 25 0 1 0 898996054 10276864 2250 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 2509 2250 180 372 0 2134 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10036 [startup+6.30048 s] /proc/loadavg: 2.20 2.05 2.01 2/557 30881 /proc/meminfo: memFree=28772976/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=13248 CPUtime=6.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 3122 0 0 0 625 4 0 0 25 0 1 0 898996054 13565952 3059 33554432000 4194304 5714214 140736065738768 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 3312 3059 180 372 0 2937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13248 [startup+12.7004 s] /proc/loadavg: 2.09 2.03 2.01 3/559 30937 /proc/meminfo: memFree=28751448/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=14892 CPUtime=12.68 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 4011 0 0 0 1262 6 0 0 25 0 1 0 898996054 15249408 3475 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 3723 3475 180 372 0 3348 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14892 [startup+25.5002 s] /proc/loadavg: 2.08 2.03 2.00 3/559 30937 /proc/meminfo: memFree=28724908/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=21328 CPUtime=25.48 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 6029 0 0 0 2537 11 0 0 25 0 1 0 898996054 21839872 5065 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 5332 5065 180 372 0 4957 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21328 [startup+51.101 s] /proc/loadavg: 2.05 2.02 2.00 3/559 30937 /proc/meminfo: memFree=28702836/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=25072 CPUtime=51.09 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 7471 0 0 0 5087 22 0 0 25 0 1 0 898996054 25673728 5990 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 6268 5990 180 372 0 5893 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 25072 [startup+102.321 s] /proc/loadavg: 2.02 2.02 2.00 3/559 30939 /proc/meminfo: memFree=28645900/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=55152 CPUtime=102.31 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 14875 0 0 0 10186 45 0 0 25 0 1 0 898996054 56475648 13347 33554432000 4194304 5714214 140736065738768 18446744073709551615 4300379 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30879/statm: 13788 13347 180 372 0 13413 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 55152 [startup+162.3 s] /proc/loadavg: 2.07 2.04 2.01 3/559 30941 /proc/meminfo: memFree=28619572/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=55152 CPUtime=162.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 14959 0 0 0 16162 65 0 0 25 0 1 0 898996054 56475648 13431 33554432000 4194304 5714214 140736065738768 18446744073709551615 4197776 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 13788 13431 180 372 0 13413 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 55152 [startup+222.3 s] /proc/loadavg: 2.06 2.05 2.01 3/559 30941 /proc/meminfo: memFree=28577276/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=72044 CPUtime=222.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 19228 0 0 0 22141 86 0 0 25 0 1 0 898996054 73773056 17700 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 18011 17700 180 372 0 17636 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 72044 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.00 3/559 30943 /proc/meminfo: memFree=28537576/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=107204 CPUtime=282.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 27877 0 0 0 28122 105 0 0 25 0 1 0 898996054 109776896 26349 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 26801 26349 180 372 0 26426 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 107204 [startup+342.3 s] /proc/loadavg: 2.10 2.05 2.01 3/559 30945 /proc/meminfo: memFree=28508776/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=136312 CPUtime=342.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 35032 0 0 0 34107 120 0 0 25 0 1 0 898996054 139583488 33504 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 34078 33504 180 372 0 33703 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 136312 [startup+402.3 s] /proc/loadavg: 2.08 2.06 2.01 3/559 30947 /proc/meminfo: memFree=28483196/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=163568 CPUtime=402.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 41755 0 0 0 40092 135 0 0 25 0 1 0 898996054 167493632 40227 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 40892 40227 180 372 0 40517 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 163568 [startup+462.3 s] /proc/loadavg: 2.03 2.04 2.00 3/559 30958 /proc/meminfo: memFree=28447872/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=197420 CPUtime=462.27 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 50124 0 0 0 46078 149 0 0 25 0 1 0 898996054 202158080 48596 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 49355 48596 180 372 0 48980 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 197420 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.00 3/559 30958 /proc/meminfo: memFree=28402824/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=226400 CPUtime=522.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 57271 0 0 0 52061 167 0 0 25 0 1 0 898996054 231833600 55743 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 56600 55743 180 372 0 56225 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 226400 [startup+582.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30960 /proc/meminfo: memFree=28358532/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=250084 CPUtime=582.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 63101 0 0 0 58047 181 0 0 25 0 1 0 898996054 256086016 61573 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 62521 61573 180 372 0 62146 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 250084 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.07 2.04 2.01 3/559 30966 /proc/meminfo: memFree=28195728/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=338176 CPUtime=822.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 84824 0 0 0 82004 224 0 0 25 0 1 0 898996054 346292224 83296 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 84544 83296 180 372 0 84169 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 338176 [startup+882.301 s] /proc/loadavg: 2.02 2.03 2.00 3/559 30968 /proc/meminfo: memFree=28182800/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=350496 CPUtime=882.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 87782 0 0 0 87991 237 0 0 25 0 1 0 898996054 358907904 86254 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 87624 86254 180 372 0 87249 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 350496 [startup+942.301 s] /proc/loadavg: 2.13 2.06 2.01 3/559 30970 /proc/meminfo: memFree=28151388/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=382428 CPUtime=942.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 95725 0 0 0 93980 248 0 0 25 0 1 0 898996054 391606272 94197 33554432000 4194304 5714214 140736065738768 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 95607 94197 180 372 0 95232 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 382428 [startup+1002.3 s] /proc/loadavg: 2.10 2.06 2.01 3/559 30972 /proc/meminfo: memFree=28142804/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=392748 CPUtime=1002.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 98297 0 0 0 99972 257 0 0 25 0 1 0 898996054 402173952 96769 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 98187 96769 180 372 0 97812 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 392748 [startup+1062.3 s] /proc/loadavg: 2.04 2.05 2.00 3/559 30974 /proc/meminfo: memFree=28130248/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=404192 CPUtime=1062.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 101158 0 0 0 105961 267 0 0 25 0 1 0 898996054 413892608 99630 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 101048 99630 180 372 0 100673 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 404192 [startup+1122.3 s] /proc/loadavg: 2.01 2.04 2.00 3/559 30974 /proc/meminfo: memFree=28101312/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=433336 CPUtime=1122.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 108372 0 0 0 111950 278 0 0 25 0 1 0 898996054 443736064 106844 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 108334 106844 180 372 0 107959 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 433336 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30976 /proc/meminfo: memFree=28094964/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=438716 CPUtime=1182.28 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 109733 0 0 0 117940 288 0 0 25 0 1 0 898996054 449245184 108205 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 109679 108205 180 372 0 109304 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 438716 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30978 /proc/meminfo: memFree=28072260/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=460604 CPUtime=1242.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 115220 0 0 0 123931 298 0 0 25 0 1 0 898996054 471658496 113692 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 115151 113692 180 372 0 114776 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 460604 [startup+1302.3 s] /proc/loadavg: 2.12 2.05 2.01 3/559 30980 /proc/meminfo: memFree=28049156/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=478704 CPUtime=1302.31 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 119700 0 0 0 129922 309 0 0 25 0 1 0 898996054 490192896 118172 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 119676 118172 180 372 0 119301 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 478704 [startup+1362.3 s] /proc/loadavg: 2.16 2.07 2.01 3/559 30982 /proc/meminfo: memFree=28011444/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=493020 CPUtime=1362.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 123247 0 0 0 135909 320 0 0 25 0 1 0 898996054 504852480 121719 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 123255 121719 180 372 0 122880 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 493020 [startup+1422.32 s] /proc/loadavg: 2.06 2.05 2.01 3/559 30982 /proc/meminfo: memFree=27971868/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=511036 CPUtime=1422.31 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 127715 0 0 0 141901 330 0 0 25 0 1 0 898996054 523300864 126187 33554432000 4194304 5714214 140736065738768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 127759 126187 180 372 0 127384 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 511036 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/559 30984 /proc/meminfo: memFree=27931532/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=528420 CPUtime=1482.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 132057 0 0 0 147886 343 0 0 25 0 1 0 898996054 541102080 130529 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 132105 130529 180 372 0 131730 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 528420 [startup+1542.3 s] /proc/loadavg: 2.23 2.09 2.02 3/559 30986 /proc/meminfo: memFree=27894888/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=542368 CPUtime=1542.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 135525 0 0 0 153875 354 0 0 25 0 1 0 898996054 555384832 133997 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 135592 133997 180 372 0 135217 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 542368 [startup+1602.3 s] /proc/loadavg: 2.16 2.09 2.02 3/559 30988 /proc/meminfo: memFree=27864360/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=551624 CPUtime=1602.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 137787 0 0 0 159866 363 0 0 25 0 1 0 898996054 564862976 136259 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 137906 136259 180 372 0 137531 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 551624 [startup+1662.3 s] /proc/loadavg: 2.06 2.07 2.01 3/559 30990 /proc/meminfo: memFree=27819932/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=572176 CPUtime=1662.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 143158 0 0 0 165857 372 0 0 25 0 1 0 898996054 585908224 141399 33554432000 4194304 5714214 140736065738768 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 143044 141399 180 372 0 142669 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 572176 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.01 3/559 30990 /proc/meminfo: memFree=27765092/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=604416 CPUtime=1722.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 151198 0 0 0 171845 384 0 0 25 0 1 0 898996054 618921984 149439 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 151104 149439 180 372 0 150729 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 604416 [startup+1782.3 s] /proc/loadavg: 2.00 2.04 2.00 3/559 30992 /proc/meminfo: memFree=27735924/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=608648 CPUtime=1782.29 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 154865 0 0 0 177834 395 0 0 25 0 1 0 898996054 623255552 150531 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 152162 150531 180 372 0 151787 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 608648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.04 2.00 3/559 30992 /proc/meminfo: memFree=27721784/32951124 swapFree=34426104/67111528 [pid=30879] ppid=30877 vsize=616832 CPUtime=1800.01 cores=0,2,4,6 /proc/30879/stat : 30879 (wbo1.6) R 30877 30879 27313 0 -1 4202496 156934 0 0 0 179602 399 0 0 25 0 1 0 898996054 631635968 152600 33554432000 4194304 5714214 140736065738768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30879/statm: 154208 152600 180 372 0 153833 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 616832 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.05 CPU time (s): 1800.05 CPU user time (s): 1796.03 CPU system time (s): 4.02039 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 616832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.03 system time used= 4.02039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156934 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= 22 involuntary context switches= 2617 runsolver used 10.8583 second user time and 22.5396 second system time The end
Begin job on node118 at 2011-06-03 09:54:14 IDJOB=3461422 IDBENCH=2141 IDSOLVER=1953 FILE ID=node118/3461422-1307087654 RUNJOBID= node118-1307082245-30505 PBS_JOBID= 13497868 Free space on /tmp= 73748 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-1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461422-1307087654/watcher-3461422-1307087654 -o /tmp/evaluation-result-3461422-1307087654/solver-3461422-1307087654 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461422-1307087654.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4516c2b2a07b4de9da3fc3a8a0c3a78c RANDOM SEED=1307165909 node118.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.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 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.75 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.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28094608 kB Buffers: 309276 kB Cached: 1950956 kB SwapCached: 56168 kB Active: 1532472 kB Inactive: 2985364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28094608 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 4300 kB Writeback: 0 kB AnonPages: 2214516 kB Mapped: 15492 kB Slab: 149576 kB PageTables: 116792 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184500872 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= 73740 MiB End job on node118 at 2011-06-03 10:24:16