Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max512.r.opb |
MD5SUM | abda325d00dae29cc1f423bbedcd64ad |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 113 |
Best CPU time to get the best result obtained on this benchmark | 0.074988 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 113 |
Optimality of the best value was proved | YES |
Number of variables | 515 |
Total number of constraints | 559 |
Number of constraints which are clauses | 559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 515 |
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 | 515 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 515 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461512-1307102609.opb. 0.00/0.00 c Instance file HOME/instance-3461512-1307102609.opb 0.00/0.00 c File size is 36880 bytes. 0.00/0.00 c Highest Coefficient sum: 23 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 515 | 0.00/0.00 c | Number Clauses: 559 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 515 559 3754 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.002999 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 14 Core Weight: 1 Total Weight: 2 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 4 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 13 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 6 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 8 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 7 Core Weight: 1 Total Weight: 43 0.04/0.04 c Current CPU time: 0.021996 s 0.04/0.04 c 0.04/0.04 c core #44 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 6 Core Weight: 1 Total Weight: 44 0.04/0.04 c Current CPU time: 0.022996 s 0.04/0.04 c 0.04/0.04 c core #45 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 11 Core Weight: 1 Total Weight: 45 0.04/0.04 c Current CPU time: 0.023996 s 0.04/0.04 c 0.04/0.04 c core #46 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 6 Core Weight: 1 Total Weight: 46 0.04/0.04 c Current CPU time: 0.023996 s 0.04/0.04 c 0.04/0.04 c core #47 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 47 0.04/0.04 c Current CPU time: 0.024996 s 0.04/0.04 c 0.04/0.04 c core #48 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 48 0.04/0.04 c Current CPU time: 0.024996 s 0.04/0.04 c 0.04/0.04 c core #49 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 49 0.04/0.04 c Current CPU time: 0.025996 s 0.04/0.04 c 0.04/0.04 c core #50 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 8 Core Weight: 1 Total Weight: 50 0.04/0.04 c Current CPU time: 0.025996 s 0.04/0.04 c 0.04/0.04 c core #51 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 6 Core Weight: 1 Total Weight: 51 0.04/0.04 c Current CPU time: 0.026995 s 0.04/0.04 c 0.04/0.04 c core #52 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.04/0.04 c Current CPU time: 0.026995 s 0.04/0.04 c 0.04/0.04 c core #53 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 53 0.04/0.04 c Current CPU time: 0.027995 s 0.04/0.04 c 0.04/0.04 c core #54 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 54 0.04/0.04 c Current CPU time: 0.028995 s 0.04/0.04 c 0.04/0.04 c core #55 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.04/0.04 c Current CPU time: 0.028995 s 0.04/0.04 c 0.04/0.04 c core #56 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 56 0.04/0.04 c Current CPU time: 0.029995 s 0.04/0.04 c 0.04/0.04 c core #57 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 7 Core Weight: 1 Total Weight: 57 0.04/0.04 c Current CPU time: 0.029995 s 0.04/0.04 c 0.04/0.04 c core #58 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 58 0.04/0.04 c Current CPU time: 0.030995 s 0.04/0.04 c 0.04/0.04 c core #59 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 6 Core Weight: 1 Total Weight: 59 0.04/0.04 c Current CPU time: 0.030995 s 0.04/0.04 c 0.04/0.04 c core #60 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 60 0.04/0.04 c Current CPU time: 0.031995 s 0.04/0.04 c 0.04/0.04 c core #61 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 61 0.04/0.04 c Current CPU time: 0.032994 s 0.04/0.04 c 0.04/0.04 c core #62 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 7 Core Weight: 1 Total Weight: 62 0.04/0.04 c Current CPU time: 0.032994 s 0.04/0.04 c 0.04/0.04 c core #63 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 63 0.04/0.04 c Current CPU time: 0.033994 s 0.04/0.04 c 0.04/0.04 c core #64 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 64 0.04/0.04 c Current CPU time: 0.033994 s 0.04/0.04 c 0.04/0.04 c core #65 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 65 0.04/0.04 c Current CPU time: 0.034994 s 0.04/0.04 c 0.04/0.04 c core #66 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 4 Core Weight: 1 Total Weight: 66 0.04/0.04 c Current CPU time: 0.035994 s 0.04/0.04 c 0.04/0.04 c core #67 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 67 0.04/0.04 c Current CPU time: 0.035994 s 0.04/0.04 c 0.04/0.04 c core #68 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 68 0.04/0.04 c Current CPU time: 0.036994 s 0.04/0.04 c 0.04/0.04 c core #69 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 69 0.04/0.04 c Current CPU time: 0.036994 s 0.04/0.04 c 0.04/0.04 c core #70 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 70 0.04/0.04 c Current CPU time: 0.037994 s 0.04/0.04 c 0.04/0.04 c core #71 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 6 Core Weight: 1 Total Weight: 71 0.04/0.04 c Current CPU time: 0.038994 s 0.04/0.04 c 0.04/0.04 c core #72 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 72 0.04/0.04 c Current CPU time: 0.038994 s 0.04/0.04 c 0.04/0.04 c core #73 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 73 0.04/0.04 c Current CPU time: 0.039993 s 0.04/0.04 c 0.04/0.04 c core #74 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 4 Core Weight: 1 Total Weight: 74 0.04/0.04 c Current CPU time: 0.039993 s 0.04/0.04 c 0.04/0.04 c core #75 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 9 Core Weight: 1 Total Weight: 75 0.04/0.04 c Current CPU time: 0.040993 s 0.04/0.04 c 0.04/0.04 c core #76 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 7 Core Weight: 1 Total Weight: 76 0.04/0.04 c Current CPU time: 0.041993 s 0.04/0.04 c 0.04/0.04 c core #77 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 4 Core Weight: 1 Total Weight: 77 0.04/0.04 c Current CPU time: 0.041993 s 0.04/0.04 c 0.04/0.04 c core #78 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 78 0.04/0.04 c Current CPU time: 0.042993 s 0.04/0.04 c 0.04/0.04 c core #79 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 79 0.04/0.04 c Current CPU time: 0.042993 s 0.04/0.04 c 0.04/0.04 c core #80 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 80 0.04/0.04 c Current CPU time: 0.043993 s 0.04/0.04 c 0.04/0.04 c core #81 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 81 0.04/0.04 c Current CPU time: 0.044993 s 0.04/0.04 c 0.04/0.04 c core #82 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 82 0.04/0.04 c Current CPU time: 0.044993 s 0.04/0.04 c 0.04/0.04 c core #83 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 7 Core Weight: 1 Total Weight: 83 0.04/0.04 c Current CPU time: 0.045993 s 0.04/0.04 c 0.04/0.04 c core #84 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 5 Core Weight: 1 Total Weight: 84 0.04/0.04 c Current CPU time: 0.046992 s 0.04/0.04 c 0.04/0.04 c core #85 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 3 Core Weight: 1 Total Weight: 85 0.04/0.06 c Current CPU time: 0.046992 s 0.04/0.06 c 0.04/0.06 c core #86 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 86 0.04/0.06 c Current CPU time: 0.047992 s 0.04/0.06 c 0.04/0.06 c core #87 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 4 Core Weight: 1 Total Weight: 87 0.04/0.06 c Current CPU time: 0.047992 s 0.04/0.06 c 0.04/0.06 c core #88 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 5 Core Weight: 1 Total Weight: 88 0.04/0.06 c Current CPU time: 0.048992 s 0.04/0.06 c 0.04/0.06 c core #89 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 5 Core Weight: 1 Total Weight: 89 0.04/0.06 c Current CPU time: 0.049992 s 0.04/0.06 c 0.04/0.06 c core #90 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 3 Core Weight: 1 Total Weight: 90 0.04/0.06 c Current CPU time: 0.049992 s 0.04/0.06 c 0.04/0.06 c core #91 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 11 Core Weight: 1 Total Weight: 91 0.04/0.06 c Current CPU time: 0.050992 s 0.04/0.06 c 0.04/0.06 c core #92 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 10 Core Weight: 1 Total Weight: 92 0.04/0.06 c Current CPU time: 0.051992 s 0.04/0.06 c 0.04/0.06 c core #93 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 15 Core Weight: 1 Total Weight: 93 0.04/0.06 c Current CPU time: 0.051992 s 0.04/0.06 c 0.04/0.06 c core #94 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 13 Core Weight: 1 Total Weight: 94 0.04/0.06 c Current CPU time: 0.052991 s 0.04/0.06 c 0.04/0.06 c core #95 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 9 Core Weight: 1 Total Weight: 95 0.04/0.06 c Current CPU time: 0.053991 s 0.04/0.06 c 0.04/0.06 c core #96 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 26 Core Weight: 1 Total Weight: 96 0.04/0.06 c Current CPU time: 0.053991 s 0.04/0.06 c 0.04/0.06 c core #97 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 8 Core Weight: 1 Total Weight: 97 0.04/0.06 c Current CPU time: 0.054991 s 0.04/0.06 c 0.04/0.06 c core #98 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 16 Core Weight: 1 Total Weight: 98 0.04/0.06 c Current CPU time: 0.055991 s 0.04/0.06 c 0.04/0.06 c core #99 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 21 Core Weight: 1 Total Weight: 99 0.04/0.06 c Current CPU time: 0.056991 s 0.04/0.06 c 0.04/0.06 c core #100 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 15 Core Weight: 1 Total Weight: 100 0.04/0.06 c Current CPU time: 0.056991 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 919 1174 5167 | 5000 0 -nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #101 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 57 Core Weight: 1 Total Weight: 101 0.04/0.06 c Current CPU time: 0.057991 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 974 1175 5265 | 5000 0 -nan | 0.000 % | 0.04/0.06 c | 103 | 973 1175 5265 | 5500 103 12 | 8.745 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #102 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 67 Core Weight: 1 Total Weight: 102 0.04/0.06 c Current CPU time: 0.06199 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 1038 1176 5390 | 5000 0 -nan | 0.000 % | 0.04/0.06 c | 100 | 1038 1176 5390 | 5500 100 28 | 6.739 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #103 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 15 Core Weight: 1 Total Weight: 103 0.04/0.06 c Current CPU time: 0.06399 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 1055 1177 5420 | 5000 0 -nan | 0.000 % | 0.04/0.06 c | 111 | 1055 1177 5420 | 5500 111 29 | 6.306 % | 0.04/0.07 c | 262 | 1034 1177 5420 | 6050 262 25 | 9.237 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #104 0.04/0.07 c 0.04/0.07 c 0.04/0.07 c Core size: 69 Core Weight: 1 Total Weight: 104 0.04/0.07 c Current CPU time: 0.070989 s 0.04/0.07 c 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 1129 1178 5559 | 5000 0 -nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #105 0.04/0.07 c 0.04/0.07 c 0.04/0.07 c Core size: 8 Core Weight: 1 Total Weight: 105 0.04/0.07 c Current CPU time: 0.072988 s 0.04/0.07 c 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 1134 1179 5569 | 5000 0 -nan | 0.000 % | 0.04/0.08 c | 101 | 1133 1179 5569 | 5500 101 15 | 5.268 % | 0.04/0.08 c | 252 | 1130 1179 5569 | 6050 252 18 | 5.518 % | 0.04/0.08 c | 478 | 1130 1179 5569 | 6655 478 21 | 5.518 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #106 0.04/0.09 c 0.04/0.09 c 0.04/0.09 c Core size: 92 Core Weight: 1 Total Weight: 106 0.04/0.09 c Current CPU time: 0.081987 s 0.04/0.09 c 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 1228 1180 5753 | 5000 0 -nan | 0.000 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #107 0.04/0.09 c 0.04/0.09 c 0.04/0.09 c Core size: 26 Core Weight: 1 Total Weight: 107 0.04/0.09 c Current CPU time: 0.081987 s 0.04/0.09 c 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 1261 1181 5811 | 5000 0 -nan | 0.000 % | 0.04/0.09 c | 100 | 1261 1181 5811 | 5500 100 17 | 3.814 % | 0.04/0.09 c | 251 | 1248 1181 5811 | 6050 251 22 | 5.111 % | 0.09/0.10 c | 477 | 1243 1181 5811 | 6655 477 21 | 5.263 % | 0.09/0.11 c | 817 | 1239 1181 5811 | 7320 817 25 | 5.492 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #108 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 133 Core Weight: 1 Total Weight: 108 0.09/0.12 c Current CPU time: 0.106983 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 | 1396 1182 6074 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 100 | 1396 1182 6074 | 5500 100 39 | 2.786 % | 0.09/0.12 c | 251 | 1396 1182 6074 | 6050 251 33 | 2.786 % | 0.09/0.13 c | 477 | 1396 1182 6074 | 6655 477 34 | 2.786 % | 0.09/0.14 c | 814 | 1396 1182 6074 | 7320 814 36 | 2.786 % | 0.09/0.15 c | 1320 | 1396 1182 6074 | 8052 1320 40 | 2.786 % | 0.09/0.17 c | 2079 | 1396 1182 6074 | 8857 2079 40 | 2.786 % | 0.19/0.21 c | 3218 | 1396 1182 6074 | 9743 3218 44 | 2.786 % | 0.19/0.28 c | 4926 | 1396 1182 6074 | 10717 4926 47 | 2.786 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #109 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 153 Core Weight: 1 Total Weight: 109 0.29/0.36 c Current CPU time: 0.32295 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 1551 1183 6380 | 5000 0 -nan | 0.000 % | 0.29/0.36 c | 101 | 1551 1183 6380 | 5500 101 30 | 2.269 % | 0.29/0.36 c | 253 | 1551 1183 6380 | 6050 253 35 | 2.268 % | 0.29/0.37 c | 479 | 1551 1183 6380 | 6655 479 32 | 2.268 % | 0.29/0.38 c | 817 | 1551 1183 6380 | 7320 817 42 | 2.268 % | 0.29/0.40 c | 1323 | 1551 1183 6380 | 8052 1323 52 | 2.269 % | 0.39/0.42 c | 2082 | 1551 1183 6380 | 8857 2082 65 | 2.269 % | 0.39/0.47 c | 3221 | 1551 1183 6380 | 9743 3221 76 | 2.268 % | 0.49/0.54 c | 4933 | 1551 1183 6380 | 10717 4933 88 | 2.268 % | 0.59/0.68 c | 7495 | 1551 1183 6380 | 11789 7495 95 | 2.268 % | 0.79/0.88 c | 11340 | 1551 1183 6380 | 12968 11340 93 | 2.269 % | 1.29/1.32 c | 17109 | 1551 1183 6380 | 14265 10529 102 | 2.268 % | 1.89/1.94 c | 25758 | 1551 1183 6380 | 15692 11891 86 | 2.268 % | 3.21/3.22 c | 38734 | 1551 1183 6380 | 17261 8841 100 | 2.268 % | 5.51/5.52 c | 58197 | 1551 1183 6380 | 18987 10820 91 | 2.268 % | 7.49/7.64 c =============================================================================== 7.80/7.85 c core #110 7.80/7.85 c 7.80/7.85 c 7.80/7.85 c Core size: 133 Core Weight: 1 Total Weight: 110 7.80/7.85 c Current CPU time: 7.51986 s 7.80/7.85 c 7.80/7.85 c ============================[ Search Statistics ]============================== 7.80/7.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.80/7.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.80/7.85 c =============================================================================== 7.80/7.85 c | 0 | 1681 1184 6640 | 5000 0 -nan | 0.000 % | 7.80/7.86 c | 100 | 1681 1184 6640 | 5500 100 36 | 2.097 % | 7.80/7.86 c | 253 | 1681 1184 6640 | 6050 253 40 | 2.097 % | 7.80/7.87 c | 479 | 1681 1184 6640 | 6655 479 44 | 2.097 % | 7.80/7.88 c | 816 | 1681 1184 6640 | 7320 816 54 | 2.097 % | 7.80/7.90 c | 1323 | 1681 1184 6640 | 8052 1323 81 | 2.097 % | 7.91/7.94 c | 2084 | 1681 1184 6640 | 8857 2084 107 | 2.097 % | 7.99/8.01 c | 3224 | 1681 1184 6640 | 9743 3224 123 | 2.097 % | 8.09/8.12 c | 4934 | 1681 1184 6640 | 10717 4934 124 | 2.097 % | 8.19/8.27 c | 7499 | 1681 1184 6640 | 11789 7499 133 | 2.097 % | 8.49/8.52 c | 11343 | 1681 1184 6640 | 12968 11343 144 | 2.097 % | 8.91/8.98 c | 17110 | 1681 1184 6640 | 14265 10360 159 | 2.097 % | 9.89/9.90 c | 25760 | 1681 1184 6640 | 15692 11729 165 | 2.097 % | 11.79/11.81 c | 38736 | 1681 1184 6640 | 17261 8731 177 | 2.097 % | 14.18/14.27 c | 58198 | 1681 1184 6640 | 18987 10730 174 | 2.097 % | 19.49/19.54 c | 87390 | 1657 1184 6640 | 20886 11195 183 | 3.495 % | 26.29/26.34 c | 131181 | 1641 1184 6640 | 22974 12602 163 | 4.426 % | 36.59/36.69 c | 196865 | 1639 1184 6640 | 25272 19944 180 | 4.543 % | 54.01/54.05 c | 295391 | 1639 1184 6640 | 27799 15029 178 | 4.543 % | 85.39/85.48 c | 443180 | 1637 1184 6640 | 30579 21572 183 | 4.776 % | 148.79/148.80 c | 664863 | 1637 1184 6640 | 33637 26562 184 | 4.776 % | 245.19/245.29 c | 997388 | 1635 1184 6640 | 37001 21306 186 | 4.776 % | 276.39/276.49 c =============================================================================== 287.48/287.58 c core #111 287.48/287.58 c 287.48/287.58 c 287.48/287.58 c Core size: 397 Core Weight: 1 Total Weight: 111 287.48/287.58 c Current CPU time: 282.873 s 287.48/287.58 c 287.48/287.58 c ============================[ Search Statistics ]============================== 287.48/287.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 287.48/287.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 287.48/287.58 c =============================================================================== 287.48/287.58 c | 0 | 2100 1185 7446 | 5000 0 -nan | 0.000 % | 287.48/287.58 c | 102 | 2100 1185 7446 | 5500 102 45 | 0.332 % | 287.48/287.59 c | 252 | 2100 1185 7446 | 6050 252 40 | 0.332 % | 287.48/287.59 c | 479 | 2100 1185 7446 | 6655 479 50 | 0.332 % | 287.59/287.60 c | 816 | 2100 1185 7446 | 7320 816 58 | 0.332 % | 287.59/287.62 c | 1325 | 2100 1185 7446 | 8052 1325 62 | 0.332 % | 287.59/287.65 c | 2085 | 2100 1185 7446 | 8857 2085 67 | 0.332 % | 287.69/287.70 c | 3225 | 2100 1185 7446 | 9743 3225 84 | 0.332 % | 287.79/287.81 c | 4935 | 2100 1185 7446 | 10717 4935 99 | 0.332 % | 287.99/288.05 c | 7503 | 2100 1185 7446 | 11789 7503 142 | 0.332 % | 288.30/288.41 c | 11347 | 2100 1185 7446 | 12968 11347 156 | 0.332 % | 288.98/289.01 c | 17117 | 2100 1185 7446 | 14265 10553 192 | 0.332 % | 290.18/290.22 c | 25769 | 2100 1185 7446 | 15692 11942 203 | 0.332 % | 292.19/292.29 c | 38743 | 2100 1185 7446 | 17261 9106 235 | 0.332 % | 297.48/297.56 c | 58205 | 2100 1185 7446 | 18987 11122 268 | 0.332 % | 306.89/306.94 c | 87397 | 2100 1185 7446 | 20886 11170 277 | 0.332 % | 319.49/319.55 c | 131186 | 2100 1185 7446 | 22974 12085 324 | 0.332 % | 336.59/336.63 c | 196870 | 2100 1185 7446 | 25272 19025 269 | 0.332 % | 367.50/367.57 c | 295400 | 2100 1185 7446 | 27799 24306 269 | 0.332 % | 414.28/414.34 c | 443189 | 2100 1185 7446 | 30579 20442 219 | 0.332 % | 492.18/492.20 c | 664872 | 2100 1185 7446 | 33637 30376 316 | 0.332 % | 605.98/606.02 c | 997398 | 2100 1185 7446 | 37001 14707 284 | 0.332 % | 773.18/773.26 c | 1496187 | 2100 1185 7446 | 40701 30276 315 | 0.332 % | 1042.29/1042.36 c | 2244370 | 2100 1185 7446 | 44771 30841 311 | 0.332 % | 1525.60/1525.62 c | 3366644 | 2100 1185 7446 | 49248 20578 200 | 0.333 % |
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-3461512-1307102609/watcher-3461512-1307102609 -o /tmp/evaluation-result-3461512-1307102609/solver-3461512-1307102609 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461512-1307102609.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.96 2.02 2.00 2/525 29512 /proc/meminfo: memFree=15277064/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=2416 CPUtime=0.01 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 413 0 0 0 1 0 0 0 20 0 1 0 821859578 2473984 357 33554432000 4194304 5714214 140736330688832 18446744073709551615 4345924 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 604 357 175 372 0 229 0 [startup+0.0435881 s] /proc/loadavg: 1.96 2.02 2.00 2/525 29512 /proc/meminfo: memFree=15277064/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=2668 CPUtime=0.04 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 482 0 0 0 4 0 0 0 20 0 1 0 821859578 2732032 423 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 667 423 175 372 0 292 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2668 [startup+0.100579 s] /proc/loadavg: 1.96 2.02 2.00 2/525 29512 /proc/meminfo: memFree=15277064/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=3316 CPUtime=0.09 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 627 0 0 0 8 1 0 0 18 0 1 0 821859578 3395584 567 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 829 567 180 372 0 454 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.300544 s] /proc/loadavg: 1.96 2.02 2.00 2/525 29512 /proc/meminfo: memFree=15277064/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=4904 CPUtime=0.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 1037 0 0 0 26 3 0 0 18 0 1 0 821859578 5021696 977 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 1226 977 180 372 0 851 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4904 [startup+0.700487 s] /proc/loadavg: 1.96 2.02 2.00 2/525 29512 /proc/meminfo: memFree=15277064/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=7296 CPUtime=0.69 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 1647 0 0 0 62 7 0 0 18 0 1 0 821859578 7471104 1587 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 1824 1587 180 372 0 1449 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7296 [startup+1.50035 s] /proc/loadavg: 1.96 2.02 2.00 3/531 29550 /proc/meminfo: memFree=15257560/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=11944 CPUtime=1.49 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 2785 0 0 0 137 12 0 0 19 0 1 0 821859578 12230656 2725 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 2986 2725 180 372 0 2611 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11944 [startup+3.10108 s] /proc/loadavg: 1.96 2.02 2.00 3/528 29550 /proc/meminfo: memFree=15256344/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=16976 CPUtime=3.09 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 4036 0 0 0 291 18 0 0 23 0 1 0 821859578 17383424 3976 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 4244 3976 180 372 0 3869 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16976 [startup+6.30052 s] /proc/loadavg: 2.12 2.06 2.01 3/531 29604 /proc/meminfo: memFree=15247044/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=23128 CPUtime=6.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 5562 0 0 0 602 27 0 0 25 0 1 0 821859578 23683072 5502 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 5782 5502 180 372 0 5407 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23128 [startup+12.7004 s] /proc/loadavg: 2.11 2.06 2.01 3/531 29604 /proc/meminfo: memFree=15228716/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=25588 CPUtime=12.69 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 6254 0 0 0 1220 49 0 0 25 0 1 0 821859578 26202112 6156 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 6397 6156 180 372 0 6022 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25588 [startup+25.5202 s] /proc/loadavg: 2.16 2.07 2.01 3/531 29604 /proc/meminfo: memFree=15189900/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=40452 CPUtime=25.51 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 9919 0 0 0 2473 78 0 0 25 0 1 0 821859578 41422848 9821 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 10113 9821 180 372 0 9738 0 Current children cumulated CPU time (s) 25.51 Current children cumulated vsize (KiB) 40452 [startup+51.1008 s] /proc/loadavg: 2.17 2.08 2.01 3/531 29606 /proc/meminfo: memFree=15126832/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=73428 CPUtime=51.09 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 18072 0 0 0 4974 135 0 0 25 0 1 0 821859578 75190272 17974 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 18357 17974 180 372 0 17982 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 73428 [startup+102.301 s] /proc/loadavg: 2.23 2.10 2.02 3/531 29606 /proc/meminfo: memFree=15038148/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=121140 CPUtime=102.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 29881 0 0 0 10016 213 0 0 25 0 1 0 821859578 124047360 29783 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 30285 29783 180 372 0 29910 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 121140 [startup+162.301 s] /proc/loadavg: 2.16 2.09 2.02 3/531 29610 /proc/meminfo: memFree=14947128/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=167720 CPUtime=162.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 41245 0 0 0 15951 278 0 0 25 0 1 0 821859578 171745280 41147 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 41930 41147 180 372 0 41555 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 167720 [startup+222.3 s] /proc/loadavg: 2.19 2.10 2.02 3/531 29613 /proc/meminfo: memFree=14857816/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=204752 CPUtime=222.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 50438 0 0 0 21881 349 0 0 25 0 1 0 821859578 209666048 50340 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 51188 50340 180 372 0 50813 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 204752 [startup+282.301 s] /proc/loadavg: 2.17 2.12 2.04 3/531 29615 /proc/meminfo: memFree=14764528/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261276 CPUtime=282.28 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 64477 0 0 0 27813 415 0 0 25 0 1 0 821859578 267546624 64379 33554432000 4194304 5714214 140736330688832 18446744073709551615 4324865 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65319 64379 180 372 0 64944 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 261276 [startup+342.32 s] /proc/loadavg: 2.14 2.12 2.03 3/531 29617 /proc/meminfo: memFree=14708972/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261396 CPUtime=342.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 64616 0 0 0 33728 502 0 0 25 0 1 0 821859578 267669504 64444 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65349 64444 180 372 0 64974 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 261396 [startup+402.3 s] /proc/loadavg: 2.23 2.14 2.04 3/531 29617 /proc/meminfo: memFree=14664692/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261396 CPUtime=402.28 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 64829 0 0 0 39653 575 0 0 25 0 1 0 821859578 267669504 64657 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65349 64657 180 372 0 64974 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 261396 [startup+462.301 s] /proc/loadavg: 2.38 2.20 2.07 3/531 29619 /proc/meminfo: memFree=14664048/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261396 CPUtime=462.28 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 64926 0 0 0 45587 641 0 0 25 0 1 0 821859578 267669504 64754 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65349 64754 180 372 0 64974 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 261396 [startup+522.301 s] /proc/loadavg: 2.26 2.21 2.08 3/531 29621 /proc/meminfo: memFree=14662680/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261396 CPUtime=522.28 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 65128 0 0 0 51523 705 0 0 25 0 1 0 821859578 267669504 64956 33554432000 4194304 5714214 140736330688832 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65349 64956 180 372 0 64974 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 261396 [startup+582.3 s] /proc/loadavg: 2.10 2.17 2.08 3/531 29623 /proc/meminfo: memFree=14662060/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=261396 CPUtime=582.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 65202 0 0 0 57460 769 0 0 25 0 1 0 821859578 267669504 65030 33554432000 4194304 5714214 140736330688832 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 65349 65030 180 372 0 64974 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 261396 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.06 2.09 2.06 3/531 29629 /proc/meminfo: memFree=14588004/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=324776 CPUtime=822.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 80795 0 0 0 81238 991 0 0 25 0 1 0 821859578 332570624 80623 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 81194 80623 180 372 0 80819 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 324776 [startup+882.301 s] /proc/loadavg: 2.02 2.07 2.06 3/531 29631 /proc/meminfo: memFree=14506784/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=367564 CPUtime=882.31 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 91508 0 0 0 87183 1048 0 0 25 0 1 0 821859578 376385536 91145 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 91891 91145 180 372 0 91516 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 367564 [startup+942.3 s] /proc/loadavg: 2.00 2.06 2.05 3/531 29633 /proc/meminfo: memFree=14446640/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=403928 CPUtime=942.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 100548 0 0 0 93120 1109 0 0 25 0 1 0 821859578 413622272 100185 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 100982 100185 180 372 0 100607 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 403928 [startup+1002.32 s] /proc/loadavg: 2.00 2.04 2.05 3/531 29633 /proc/meminfo: memFree=14379060/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=429740 CPUtime=1002.31 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 106830 0 0 0 99075 1156 0 0 25 0 1 0 821859578 440053760 106467 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 107435 106467 180 372 0 107060 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 429740 [startup+1062.3 s] /proc/loadavg: 2.09 2.06 2.05 3/531 29635 /proc/meminfo: memFree=14309864/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=467944 CPUtime=1062.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 116298 0 0 0 105007 1222 0 0 25 0 1 0 821859578 479174656 115935 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 116986 115935 180 372 0 116611 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 467944 [startup+1122.3 s] /proc/loadavg: 2.07 2.06 2.05 3/531 29637 /proc/meminfo: memFree=14242764/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=496284 CPUtime=1122.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 123390 0 0 0 110954 1276 0 0 25 0 1 0 821859578 508194816 123027 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 124071 123027 180 372 0 123696 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 496284 [startup+1182.3 s] /proc/loadavg: 2.02 2.05 2.04 3/531 29639 /proc/meminfo: memFree=14208536/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=514124 CPUtime=1182.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 127814 0 0 0 116902 1327 0 0 25 0 1 0 821859578 526462976 127451 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 128531 127451 180 372 0 128156 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 514124 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.04 3/531 29641 /proc/meminfo: memFree=14114292/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=568792 CPUtime=1242.29 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 141357 0 0 0 122845 1384 0 0 25 0 1 0 821859578 582443008 140994 33554432000 4194304 5714214 140736330688832 18446744073709551615 4322957 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 142198 140994 180 372 0 141823 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 568792 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.03 3/531 29641 /proc/meminfo: memFree=14078196/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=582008 CPUtime=1302.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 144695 0 0 0 128797 1433 0 0 25 0 1 0 821859578 595976192 144332 33554432000 4194304 5714214 140736330688832 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 145502 144332 180 372 0 145127 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 582008 [startup+1362.3 s] /proc/loadavg: 2.06 2.04 2.03 3/531 29643 /proc/meminfo: memFree=14029584/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=602560 CPUtime=1362.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 149720 0 0 0 134754 1476 0 0 25 0 1 0 821859578 617021440 149357 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 150640 149357 180 372 0 150265 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 602560 [startup+1422.3 s] /proc/loadavg: 2.07 2.04 2.03 3/531 29645 /proc/meminfo: memFree=13993744/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=615152 CPUtime=1422.31 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 152858 0 0 0 140705 1526 0 0 25 0 1 0 821859578 629915648 152495 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 153788 152495 180 372 0 153413 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 615152 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.03 3/531 29647 /proc/meminfo: memFree=13954312/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=624968 CPUtime=1482.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 155257 0 0 0 146659 1571 0 0 25 0 1 0 821859578 639967232 154894 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 156242 154894 180 372 0 155867 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 624968 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.02 3/531 29649 /proc/meminfo: memFree=13880276/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=659180 CPUtime=1542.32 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 163939 0 0 0 152595 1637 0 0 25 0 1 0 821859578 675000320 163436 33554432000 4194304 5714214 140736330688832 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 164795 163436 180 372 0 164420 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 659180 [startup+1602.3 s] /proc/loadavg: 2.13 2.05 2.02 3/531 29649 /proc/meminfo: memFree=13806492/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=701096 CPUtime=1602.3 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 174350 0 0 0 158530 1700 0 0 25 0 1 0 821859578 717922304 173847 33554432000 4194304 5714214 140736330688832 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 175274 173847 180 372 0 174899 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 701096 [startup+1662.32 s] /proc/loadavg: 2.10 2.05 2.02 3/531 29651 /proc/meminfo: memFree=13750444/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=723912 CPUtime=1662.32 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 180043 0 0 0 164488 1744 0 0 25 0 1 0 821859578 741285888 179540 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 180978 179540 180 372 0 180603 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 723912 [startup+1722.3 s] /proc/loadavg: 2.04 2.04 2.02 3/531 29653 /proc/meminfo: memFree=13709764/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=753240 CPUtime=1722.31 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 187280 0 0 0 170445 1786 0 0 25 0 1 0 821859578 771317760 186777 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 188310 186777 180 372 0 187935 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 753240 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.01 3/531 29655 /proc/meminfo: memFree=13652476/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=771196 CPUtime=1782.31 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 191711 0 0 0 176400 1831 0 0 25 0 1 0 821859578 789704704 191208 33554432000 4194304 5714214 140736330688832 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 192799 191208 180 372 0 192424 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 771196 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.01 3/531 29655 /proc/meminfo: memFree=13646896/32951132 swapFree=46579808/67111528 [pid=29512] ppid=29510 vsize=772064 CPUtime=1800.03 cores=1,3,5,7 /proc/29512/stat : 29512 (wbo1.6) R 29510 29512 28716 0 -1 4202496 191877 0 0 0 178156 1847 0 0 25 0 1 0 821859578 790593536 191374 33554432000 4194304 5714214 140736330688832 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/29512/statm: 193016 191374 180 372 0 192641 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 772064 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.06 CPU time (s): 1800.07 CPU user time (s): 1781.56 CPU system time (s): 18.5062 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 772064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.56 system time used= 18.5062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 191877 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= 13 involuntary context switches= 5094 runsolver used 8.77367 second user time and 22.3576 second system time The end
Begin job on node128 at 2011-06-03 14:03:29 IDJOB=3461512 IDBENCH=2855 IDSOLVER=1953 FILE ID=node128/3461512-1307102609 RUNJOBID= node128-1307091794-28735 PBS_JOBID= 13497962 Free space on /tmp= 73912 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max512.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461512-1307102609/watcher-3461512-1307102609 -o /tmp/evaluation-result-3461512-1307102609/solver-3461512-1307102609 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461512-1307102609.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= abda325d00dae29cc1f423bbedcd64ad RANDOM SEED=1899750441 node128.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.852 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.70 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.852 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.852 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.82 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.852 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.852 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.82 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.852 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.852 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.82 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.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 15277220 kB Buffers: 320792 kB Cached: 3451972 kB SwapCached: 35620 kB Active: 8980344 kB Inactive: 8377888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 15277220 kB SwapTotal: 67111528 kB SwapFree: 46579808 kB Dirty: 4300 kB Writeback: 36 kB AnonPages: 13559356 kB Mapped: 17396 kB Slab: 132988 kB PageTables: 111956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 174774432 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73908 MiB End job on node128 at 2011-06-03 14:33:31