Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.31 | 1800.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 761 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 492823 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 492823 |
Number of bits of the biggest sum of numbers | 19 |
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-3460839-1307076838.opb. 0.00/0.00 c Instance file HOME/instance-3460839-1307076838.opb 0.00/0.00 c File size is 17233622 bytes. 1.11/1.15 c Highest Coefficient sum: 101 1.11/1.15 c ============================[ Problem Statistics ]============================= 1.11/1.15 c | | 1.11/1.15 c | Parsing time: 1.13 s | 1.11/1.15 c | Number Variables: 10000 | 1.11/1.15 c | Number Clauses: 656900 | 1.11/1.15 c | Number Cardinality: 0 | 1.11/1.15 c | Number PB Constraints: 0 | 1.40/1.44 c ============================[ Search Statistics ]============================== 1.40/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.40/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.40/1.44 c =============================================================================== 1.40/1.44 c | 0 | 10000 656900 1333400 | 218966 0 -nan | 0.000 % | 7.71/7.76 c core #1 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 1 7.71/7.76 c Current CPU time: 1.54377 s 7.71/7.76 c 7.71/7.76 c core #2 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 2 7.71/7.76 c Current CPU time: 1.68574 s 7.71/7.76 c 7.71/7.76 c core #3 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 3 7.71/7.76 c Current CPU time: 1.83572 s 7.71/7.76 c 7.71/7.76 c core #4 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 4 7.71/7.76 c Current CPU time: 1.9757 s 7.71/7.76 c 7.71/7.76 c core #5 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 5 7.71/7.76 c Current CPU time: 2.12568 s 7.71/7.76 c 7.71/7.76 c core #6 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 6 7.71/7.76 c Current CPU time: 2.26565 s 7.71/7.76 c 7.71/7.76 c core #7 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 7 7.71/7.76 c Current CPU time: 2.41563 s 7.71/7.76 c 7.71/7.76 c core #8 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 8 7.71/7.76 c Current CPU time: 2.55761 s 7.71/7.76 c 7.71/7.76 c core #9 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 9 7.71/7.76 c Current CPU time: 2.70759 s 7.71/7.76 c 7.71/7.76 c core #10 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 10 7.71/7.76 c Current CPU time: 2.84757 s 7.71/7.76 c 7.71/7.76 c core #11 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 11 7.71/7.76 c Current CPU time: 2.99854 s 7.71/7.76 c 7.71/7.76 c core #12 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 12 7.71/7.76 c Current CPU time: 3.13952 s 7.71/7.76 c 7.71/7.76 c core #13 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 13 7.71/7.76 c Current CPU time: 3.2885 s 7.71/7.76 c 7.71/7.76 c core #14 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 14 7.71/7.76 c Current CPU time: 3.43148 s 7.71/7.76 c 7.71/7.76 c core #15 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 3 Total Weight: 17 7.71/7.76 c Current CPU time: 3.58146 s 7.71/7.76 c 7.71/7.76 c core #16 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 18 7.71/7.76 c Current CPU time: 3.72243 s 7.71/7.76 c 7.71/7.76 c core #17 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 19 7.71/7.76 c Current CPU time: 3.87141 s 7.71/7.76 c 7.71/7.76 c core #18 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 20 7.71/7.76 c Current CPU time: 4.01439 s 7.71/7.76 c 7.71/7.76 c core #19 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 3 Total Weight: 23 7.71/7.76 c Current CPU time: 4.16437 s 7.71/7.76 c 7.71/7.76 c core #20 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 24 7.71/7.76 c Current CPU time: 4.30734 s 7.71/7.76 c 7.71/7.76 c core #21 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 25 7.71/7.76 c Current CPU time: 4.45632 s 7.71/7.76 c 7.71/7.76 c core #22 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 26 7.71/7.76 c Current CPU time: 4.5983 s 7.71/7.76 c 7.71/7.76 c core #23 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 27 7.71/7.76 c Current CPU time: 4.75128 s 7.71/7.76 c 7.71/7.76 c core #24 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 28 7.71/7.76 c Current CPU time: 4.89426 s 7.71/7.76 c 7.71/7.76 c core #25 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 29 7.71/7.76 c Current CPU time: 5.04323 s 7.71/7.76 c 7.71/7.76 c core #26 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 30 7.71/7.76 c Current CPU time: 5.18721 s 7.71/7.76 c 7.71/7.76 c core #27 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 31 7.71/7.76 c Current CPU time: 5.33919 s 7.71/7.76 c 7.71/7.76 c core #28 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 32 7.71/7.76 c Current CPU time: 5.48217 s 7.71/7.76 c 7.71/7.76 c core #29 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 33 7.71/7.76 c Current CPU time: 5.63514 s 7.71/7.76 c 7.71/7.76 c core #30 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 34 7.71/7.76 c Current CPU time: 5.77912 s 7.71/7.76 c 7.71/7.76 c core #31 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 35 7.71/7.76 c Current CPU time: 5.9301 s 7.71/7.76 c 7.71/7.76 c core #32 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 36 7.71/7.76 c Current CPU time: 6.07308 s 7.71/7.76 c 7.71/7.76 c core #33 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 37 7.71/7.76 c Current CPU time: 6.22305 s 7.71/7.76 c 7.71/7.76 c core #34 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 38 7.71/7.76 c Current CPU time: 6.36603 s 7.71/7.76 c 7.71/7.76 c core #35 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 39 7.71/7.76 c Current CPU time: 6.51801 s 7.71/7.76 c 7.71/7.76 c core #36 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 40 7.71/7.76 c Current CPU time: 6.66199 s 7.71/7.76 c 7.71/7.76 c core #37 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 41 7.71/7.76 c Current CPU time: 6.81596 s 7.71/7.76 c 7.71/7.76 c core #38 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 42 7.71/7.76 c Current CPU time: 6.95994 s 7.71/7.76 c 7.71/7.76 c core #39 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 401 Core Weight: 1 Total Weight: 43 7.71/7.76 c Current CPU time: 7.11392 s 7.71/7.76 c 7.71/7.76 c core #40 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 2 Total Weight: 45 7.71/7.76 c Current CPU time: 7.2569 s 7.71/7.76 c 7.71/7.76 c core #41 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 46 7.71/7.76 c Current CPU time: 7.40687 s 7.71/7.76 c 7.71/7.76 c core #42 7.71/7.76 c 7.71/7.76 c 7.71/7.76 c Core size: 101 Core Weight: 1 Total Weight: 47 7.71/7.76 c Current CPU time: 7.54985 s 7.71/7.76 c 7.71/7.76 c core #43 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 48 13.89/13.93 c Current CPU time: 7.70183 s 13.89/13.93 c 13.89/13.93 c core #44 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 49 13.89/13.93 c Current CPU time: 7.84581 s 13.89/13.93 c 13.89/13.93 c core #45 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 50 13.89/13.93 c Current CPU time: 7.99978 s 13.89/13.93 c 13.89/13.93 c core #46 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 401 Core Weight: 1 Total Weight: 51 13.89/13.93 c Current CPU time: 8.14476 s 13.89/13.93 c 13.89/13.93 c core #47 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 52 13.89/13.93 c Current CPU time: 8.29674 s 13.89/13.93 c 13.89/13.93 c core #48 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 53 13.89/13.93 c Current CPU time: 8.44072 s 13.89/13.93 c 13.89/13.93 c core #49 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 54 13.89/13.93 c Current CPU time: 8.59269 s 13.89/13.93 c 13.89/13.93 c core #50 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 55 13.89/13.93 c Current CPU time: 8.73767 s 13.89/13.93 c 13.89/13.93 c core #51 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 56 13.89/13.93 c Current CPU time: 8.89165 s 13.89/13.93 c 13.89/13.93 c core #52 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 57 13.89/13.93 c Current CPU time: 9.03663 s 13.89/13.93 c 13.89/13.93 c core #53 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 58 13.89/13.93 c Current CPU time: 9.1876 s 13.89/13.93 c 13.89/13.93 c core #54 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 59 13.89/13.93 c Current CPU time: 9.33358 s 13.89/13.93 c 13.89/13.93 c core #55 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 60 13.89/13.93 c Current CPU time: 9.48756 s 13.89/13.93 c 13.89/13.93 c core #56 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 61 13.89/13.93 c Current CPU time: 9.63354 s 13.89/13.93 c 13.89/13.93 c core #57 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 62 13.89/13.93 c Current CPU time: 9.78551 s 13.89/13.93 c 13.89/13.93 c core #58 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 63 13.89/13.93 c Current CPU time: 9.93049 s 13.89/13.93 c 13.89/13.93 c core #59 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 64 13.89/13.93 c Current CPU time: 10.0835 s 13.89/13.93 c 13.89/13.93 c core #60 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 501 Core Weight: 1 Total Weight: 65 13.89/13.93 c Current CPU time: 10.2324 s 13.89/13.93 c 13.89/13.93 c core #61 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 66 13.89/13.93 c Current CPU time: 10.3834 s 13.89/13.93 c 13.89/13.93 c core #62 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 67 13.89/13.93 c Current CPU time: 10.5284 s 13.89/13.93 c 13.89/13.93 c core #63 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 3 Total Weight: 70 13.89/13.93 c Current CPU time: 10.6864 s 13.89/13.93 c 13.89/13.93 c core #64 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 301 Core Weight: 1 Total Weight: 71 13.89/13.93 c Current CPU time: 10.8324 s 13.89/13.93 c 13.89/13.93 c core #65 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 72 13.89/13.93 c Current CPU time: 10.9853 s 13.89/13.93 c 13.89/13.93 c core #66 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 73 13.89/13.93 c Current CPU time: 11.1313 s 13.89/13.93 c 13.89/13.93 c core #67 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 301 Core Weight: 2 Total Weight: 75 13.89/13.93 c Current CPU time: 11.2853 s 13.89/13.93 c 13.89/13.93 c core #68 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 76 13.89/13.93 c Current CPU time: 11.4313 s 13.89/13.93 c 13.89/13.93 c core #69 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 77 13.89/13.93 c Current CPU time: 11.5862 s 13.89/13.93 c 13.89/13.93 c core #70 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 78 13.89/13.93 c Current CPU time: 11.7332 s 13.89/13.93 c 13.89/13.93 c core #71 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 2 Total Weight: 80 13.89/13.93 c Current CPU time: 11.8882 s 13.89/13.93 c 13.89/13.93 c core #72 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 81 13.89/13.93 c Current CPU time: 12.0342 s 13.89/13.93 c 13.89/13.93 c core #73 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 82 13.89/13.93 c Current CPU time: 12.1871 s 13.89/13.93 c 13.89/13.93 c core #74 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 83 13.89/13.93 c Current CPU time: 12.3331 s 13.89/13.93 c 13.89/13.93 c core #75 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 84 13.89/13.93 c Current CPU time: 12.4891 s 13.89/13.93 c 13.89/13.93 c core #76 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 85 13.89/13.93 c Current CPU time: 12.6351 s 13.89/13.93 c 13.89/13.93 c core #77 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 2101 Core Weight: 1 Total Weight: 86 13.89/13.93 c Current CPU time: 12.8001 s 13.89/13.93 c 13.89/13.93 c core #78 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 87 13.89/13.93 c Current CPU time: 12.952 s 13.89/13.93 c 13.89/13.93 c core #79 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 88 13.89/13.93 c Current CPU time: 13.11 s 13.89/13.93 c 13.89/13.93 c core #80 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 89 13.89/13.93 c Current CPU time: 13.259 s 13.89/13.93 c 13.89/13.93 c core #81 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 90 13.89/13.93 c Current CPU time: 13.414 s 13.89/13.93 c 13.89/13.93 c core #82 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 501 Core Weight: 1 Total Weight: 91 13.89/13.93 c Current CPU time: 13.5639 s 13.89/13.93 c 13.89/13.93 c core #83 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 92 13.89/13.93 c Current CPU time: 13.7209 s 13.89/13.93 c 13.89/13.93 c core #84 13.89/13.93 c 13.89/13.93 c 13.89/13.93 c Core size: 101 Core Weight: 1 Total Weight: 93 13.89/13.93 c Current CPU time: 13.8699 s 20.49/20.59 c 20.49/20.59 c core #85 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 94 20.49/20.59 c Current CPU time: 14.0289 s 20.49/20.59 c 20.49/20.59 c core #86 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 95 20.49/20.59 c Current CPU time: 14.1778 s 20.49/20.59 c 20.49/20.59 c core #87 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 96 20.49/20.59 c Current CPU time: 14.3378 s 20.49/20.59 c 20.49/20.59 c core #88 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 2 Total Weight: 98 20.49/20.59 c Current CPU time: 14.4908 s 20.49/20.59 c 20.49/20.59 c core #89 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 501 Core Weight: 1 Total Weight: 99 20.49/20.59 c Current CPU time: 14.6488 s 20.49/20.59 c 20.49/20.59 c core #90 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 1001 Core Weight: 1 Total Weight: 100 20.49/20.59 c Current CPU time: 14.8027 s 20.49/20.59 c 20.49/20.59 c core #91 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 101 20.49/20.59 c Current CPU time: 14.9617 s 20.49/20.59 c 20.49/20.59 c core #92 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 102 20.49/20.59 c Current CPU time: 15.1127 s 20.49/20.59 c 20.49/20.59 c core #93 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 2 Total Weight: 104 20.49/20.59 c Current CPU time: 15.2697 s 20.49/20.59 c 20.49/20.59 c core #94 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 105 20.49/20.59 c Current CPU time: 15.4207 s 20.49/20.59 c 20.49/20.59 c core #95 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 901 Core Weight: 1 Total Weight: 106 20.49/20.59 c Current CPU time: 15.5836 s 20.49/20.59 c 20.49/20.59 c core #96 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 107 20.49/20.59 c Current CPU time: 15.7356 s 20.49/20.59 c 20.49/20.59 c core #97 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 108 20.49/20.59 c Current CPU time: 15.8936 s 20.49/20.59 c 20.49/20.59 c core #98 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 109 20.49/20.59 c Current CPU time: 16.0446 s 20.49/20.59 c 20.49/20.59 c core #99 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 110 20.49/20.59 c Current CPU time: 16.2045 s 20.49/20.59 c 20.49/20.59 c core #100 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 111 20.49/20.59 c Current CPU time: 16.3565 s 20.49/20.59 c 20.49/20.59 c core #101 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 112 20.49/20.59 c Current CPU time: 16.5135 s 20.49/20.59 c 20.49/20.59 c core #102 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 113 20.49/20.59 c Current CPU time: 16.6665 s 20.49/20.59 c 20.49/20.59 c core #103 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 114 20.49/20.59 c Current CPU time: 16.8254 s 20.49/20.59 c 20.49/20.59 c core #104 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 1401 Core Weight: 1 Total Weight: 115 20.49/20.59 c Current CPU time: 16.9844 s 20.49/20.59 c 20.49/20.59 c core #105 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 116 20.49/20.59 c Current CPU time: 17.1474 s 20.49/20.59 c 20.49/20.59 c core #106 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 117 20.49/20.59 c Current CPU time: 17.3004 s 20.49/20.59 c 20.49/20.59 c core #107 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 118 20.49/20.59 c Current CPU time: 17.4613 s 20.49/20.59 c 20.49/20.59 c core #108 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 119 20.49/20.59 c Current CPU time: 17.6143 s 20.49/20.59 c 20.49/20.59 c core #109 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 120 20.49/20.59 c Current CPU time: 17.7743 s 20.49/20.59 c 20.49/20.59 c core #110 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 2 Total Weight: 122 20.49/20.59 c Current CPU time: 17.9303 s 20.49/20.59 c 20.49/20.59 c core #111 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 301 Core Weight: 1 Total Weight: 123 20.49/20.59 c Current CPU time: 18.0922 s 20.49/20.59 c 20.49/20.59 c core #112 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 124 20.49/20.59 c Current CPU time: 18.2472 s 20.49/20.59 c 20.49/20.59 c core #113 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 501 Core Weight: 1 Total Weight: 125 20.49/20.59 c Current CPU time: 18.4102 s 20.49/20.59 c 20.49/20.59 c core #114 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 200 Core Weight: 1 Total Weight: 126 20.49/20.59 c Current CPU time: 18.5622 s 20.49/20.59 c 20.49/20.59 c core #115 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 127 20.49/20.59 c Current CPU time: 18.7352 s 20.49/20.59 c 20.49/20.59 c core #116 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 3 Total Weight: 130 20.49/20.59 c Current CPU time: 18.8891 s 20.49/20.59 c 20.49/20.59 c core #117 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 131 20.49/20.59 c Current CPU time: 19.0491 s 20.49/20.59 c 20.49/20.59 c core #118 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 1169 Core Weight: 1 Total Weight: 132 20.49/20.59 c Current CPU time: 19.2091 s 20.49/20.59 c 20.49/20.59 c core #119 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 1 Total Weight: 133 20.49/20.59 c Current CPU time: 19.3761 s 20.49/20.59 c 20.49/20.59 c core #120 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 881 Core Weight: 1 Total Weight: 134 20.49/20.59 c Current CPU time: 19.538 s 20.49/20.59 c 20.49/20.59 c core #121 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 695 Core Weight: 1 Total Weight: 135 20.49/20.59 c Current CPU time: 19.704 s 20.49/20.59 c 20.49/20.59 c core #122 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 789 Core Weight: 1 Total Weight: 136 20.49/20.59 c Current CPU time: 19.867 s 20.49/20.59 c 20.49/20.59 c core #123 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 5 Total Weight: 141 20.49/20.59 c Current CPU time: 20.038 s 20.49/20.59 c 20.49/20.59 c core #124 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 101 Core Weight: 2 Total Weight: 143 20.49/20.59 c Current CPU time: 20.1939 s 20.49/20.59 c 20.49/20.59 c core #125 20.49/20.59 c 20.49/20.59 c 20.49/20.59 c Core size: 789 Core Weight: 1 Total Weight: 144 20.49/20.59 c Current CPU time: 20.3589 s 20.49/20.59 c 20.49/20.59 c core #126 20.91/20.93 c 20.91/20.93 c 20.91/20.93 c Core size: 1357 Core Weight: 1 Total Weight: 145 20.91/20.93 c Current CPU time: 20.5259 s 20.91/20.93 c 20.91/20.93 c core #127 20.91/20.93 c 20.91/20.93 c 20.91/20.93 c Core size: 499 Core Weight: 1 Total Weight: 146 20.91/20.93 c Current CPU time: 20.6959 s 20.91/20.93 c 20.91/20.93 c ============================[ Search Statistics ]============================== 20.91/20.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.91/20.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.91/20.93 c =============================================================================== 20.91/20.93 c | 0 | 25959 692390 49223 | 230796 0 -nan | 0.000 % | 20.91/20.93 c =============================================================================== 21.09/21.10 c core #128 21.09/21.10 c 21.09/21.10 c 21.09/21.10 c Core size: 508 Core Weight: 1 Total Weight: 147 21.09/21.10 c Current CPU time: 20.8638 s 21.09/21.10 c 21.09/21.10 c ============================[ Search Statistics ]============================== 21.09/21.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.10 c =============================================================================== 21.09/21.10 c | 0 | 26570 692869 50063 | 230956 0 -nan | 0.000 % | 21.09/21.11 c =============================================================================== 21.19/21.27 c core #129 21.19/21.27 c 21.19/21.27 c 21.19/21.27 c Core size: 593 Core Weight: 1 Total Weight: 148 21.19/21.27 c Current CPU time: 21.0418 s 21.19/21.27 c 21.19/21.27 c ============================[ Search Statistics ]============================== 21.19/21.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.19/21.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.19/21.27 c =============================================================================== 21.19/21.27 c | 0 | 27167 693433 50923 | 231144 0 -nan | 0.000 % | 21.19/21.28 c =============================================================================== 21.39/21.45 c core #130 21.39/21.45 c 21.39/21.45 c 21.39/21.45 c Core size: 1182 Core Weight: 1 Total Weight: 149 21.39/21.45 c Current CPU time: 21.2148 s 21.39/21.45 c 21.39/21.45 c ============================[ Search Statistics ]============================== 21.39/21.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.39/21.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.39/21.45 c =============================================================================== 21.39/21.45 c | 0 | 28356 694556 52491 | 231518 0 -nan | 0.000 % | 21.39/21.48 c =============================================================================== 21.59/21.65 c core #131 21.59/21.65 c 21.59/21.65 c 21.59/21.65 c Core size: 1982 Core Weight: 1 Total Weight: 150 21.59/21.65 c Current CPU time: 21.4137 s 21.59/21.65 c 21.59/21.65 c ============================[ Search Statistics ]============================== 21.59/21.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.59/21.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.59/21.65 c =============================================================================== 21.59/21.65 c | 0 | 30335 696465 54873 | 232155 0 -nan | 0.000 % | 21.91/21.94 c =============================================================================== 22.09/22.12 c core #132 22.09/22.12 c 22.09/22.12 c 22.09/22.12 c Core size: 5214 Core Weight: 1 Total Weight: 151 22.09/22.12 c Current CPU time: 21.8687 s 22.09/22.12 c 22.09/22.12 c ============================[ Search Statistics ]============================== 22.09/22.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.09/22.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.09/22.12 c =============================================================================== 22.09/22.12 c | 0 | 35682 701453 61454 | 233817 0 -nan | 0.000 % | 22.09/22.18 c | 103 | 35681 701453 61454 | 257199 103 1452 | 21.025 % | 22.79/22.81 c =============================================================================== 22.89/23.00 c core #133 22.89/23.00 c 22.89/23.00 c 22.89/23.00 c Core size: 6968 Core Weight: 1 Total Weight: 152 22.89/23.00 c Current CPU time: 22.7435 s 22.89/23.00 c 22.89/23.00 c ============================[ Search Statistics ]============================== 22.89/23.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.89/23.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.89/23.00 c =============================================================================== 22.89/23.00 c | 0 | 42710 707921 70748 | 235973 0 -nan | 0.000 % | 23.01/23.05 c | 100 | 42710 707921 70748 | 259571 100 866 | 18.075 % | 23.11/23.14 c | 251 | 42707 707921 70748 | 285528 251 996 | 18.081 % | 23.19/23.26 c | 477 | 42706 707921 70748 | 314080 477 1071 | 18.083 % | 23.79/23.84 c =============================================================================== 23.99/24.04 c core #134 23.99/24.04 c 23.99/24.04 c 23.99/24.04 c Core size: 7145 Core Weight: 1 Total Weight: 153 23.99/24.04 c Current CPU time: 23.7584 s 23.99/24.04 c 23.99/24.04 c ============================[ Search Statistics ]============================== 23.99/24.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.99/24.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.99/24.04 c =============================================================================== 23.99/24.04 c | 0 | 49910 714446 80171 | 238148 0 -nan | 0.000 % | 23.99/24.11 c | 103 | 49910 714446 80171 | 261963 103 555 | 15.792 % | 24.11/24.19 c | 253 | 49910 714446 80171 | 288159 253 498 | 15.792 % | 24.29/24.36 c | 479 | 49910 714446 80171 | 316975 479 612 | 15.792 % | 24.59/24.60 c | 816 | 49910 714446 80171 | 348673 816 768 | 15.792 % | 24.99/25.05 c | 1323 | 49910 714446 80171 | 383540 1323 1157 | 15.792 % | 25.59/25.67 c | 2082 | 49909 714446 80171 | 421894 2082 1289 | 15.794 % | 26.89/26.91 c | 3224 | 49909 714446 80171 | 464084 3224 1876 | 15.794 % | 28.69/28.77 c | 4933 | 49908 714446 80171 | 510492 4933 2120 | 15.796 % | 32.69/32.75 c | 7495 | 49908 714446 80171 | 561542 7495 2993 | 15.796 % | 38.51/38.59 c =============================================================================== 38.80/38.83 c core #135 38.80/38.83 c 38.80/38.83 c 38.80/38.83 c Core size: 10084 Core Weight: 1 Total Weight: 154 38.80/38.83 c Current CPU time: 38.4851 s 38.80/38.83 c 38.80/38.83 c ============================[ Search Statistics ]============================== 38.80/38.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.80/38.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.80/38.83 c =============================================================================== 38.80/38.83 c | 0 | 60060 723132 94687 | 241044 0 -nan | 0.000 % | 38.89/38.91 c | 101 | 60060 723132 94687 | 265148 101 684 | 13.356 % | 38.99/39.06 c | 251 | 60060 723132 94687 | 291663 251 565 | 13.356 % | 39.39/39.44 c | 476 | 60060 723132 94687 | 320829 476 631 | 13.356 % | 39.80/39.81 c | 816 | 60060 723132 94687 | 352912 816 651 | 13.356 % | 40.29/40.37 c | 1323 | 60060 723132 94687 | 388203 1323 688 | 13.356 % | 41.29/41.34 c | 2082 | 60060 723132 94687 | 427024 2082 782 | 13.356 % | 43.00/43.02 c | 3223 | 60060 723132 94687 | 469726 3223 992 | 13.356 % | 45.11/45.17 c | 4932 | 60060 723132 94687 | 516699 4932 1051 | 13.356 % | 49.41/49.44 c | 7495 | 60060 723132 94687 | 568369 7495 1402 | 13.356 % | 54.09/54.15 c | 11339 | 60060 723132 94687 | 625206 11339 1252 | 13.356 % | 62.79/62.83 c | 17106 | 60060 723132 94687 | 687726 17106 1352 | 13.356 % | 76.91/76.92 c | 25755 | 60060 723132 94687 | 756499 25755 1538 | 13.356 % | 106.19/106.21 c | 38732 | 60059 723132 94687 | 832149 38732 2046 | 13.357 % | 156.69/156.70 c | 58194 | 60059 723132 94687 | 915364 58194 2347 | 13.357 % | 276.99/277.04 c | 87386 | 60059 723132 94687 | 1006900 87386 3405 | 13.357 % | 543.89/543.94 c | 131175 | 60058 723132 94687 | 1107590 131175 4338 | 13.359 % | 847.90/847.94 c | 196860 | 60056 723132 94687 | 1218349 196860 4482 | 13.362 % | 1467.70/1467.79 c | 295387 | 60054 723132 94687 | 1340184 295387 4930 | 13.364 % |
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-3460839-1307076838/watcher-3460839-1307076838 -o /tmp/evaluation-result-3460839-1307076838/solver-3460839-1307076838 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460839-1307076838.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: 1.93 2.03 2.00 2/558 30137 /proc/meminfo: memFree=28352744/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=21904 CPUtime=0.01 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1009 0 0 0 1 0 0 0 24 0 1 0 897914526 22429696 962 33554432000 4194304 5714214 140733297517040 18446744073709551615 4232675 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 5476 962 219 372 0 893 0 [startup+0.065208 s] /proc/loadavg: 1.93 2.03 2.00 2/558 30137 /proc/meminfo: memFree=28352744/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=24468 CPUtime=0.06 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1833 0 0 0 6 0 0 0 24 0 1 0 897914526 25055232 1753 33554432000 4194304 5714214 140733297517040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 6117 1753 394 372 0 1534 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 24468 [startup+0.101188 s] /proc/loadavg: 1.93 2.03 2.00 2/558 30137 /proc/meminfo: memFree=28352744/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=25948 CPUtime=0.1 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 2358 0 0 0 10 0 0 0 24 0 1 0 897914526 26570752 2278 33554432000 4194304 5714214 140733297517040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 6487 2278 529 372 0 1904 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 25948 [startup+0.301158 s] /proc/loadavg: 1.93 2.03 2.00 2/558 30137 /proc/meminfo: memFree=28352744/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=36040 CPUtime=0.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 5689 0 0 0 29 0 0 0 25 0 1 0 897914526 36904960 5415 33554432000 4194304 5714214 140733297517040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 9043 5416 1262 372 0 4460 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.701093 s] /proc/loadavg: 1.93 2.03 2.00 2/558 30137 /proc/meminfo: memFree=28352744/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=54796 CPUtime=0.69 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 12026 0 0 0 68 1 0 0 25 0 1 0 897914526 56111104 11495 33554432000 4194304 5714214 140733297517040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 13699 11496 2734 372 0 9116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54796 [startup+1.50097 s] /proc/loadavg: 1.93 2.03 2.00 3/559 30138 /proc/meminfo: memFree=28300656/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=160520 CPUtime=1.49 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 44557 0 0 0 143 6 0 0 18 0 1 0 897914526 164372480 39305 33554432000 4194304 5714214 140733297517040 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 40163 39312 172 372 0 39788 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 160520 [startup+3.10067 s] /proc/loadavg: 1.93 2.03 2.00 3/559 30138 /proc/meminfo: memFree=28176264/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=178336 CPUtime=3.09 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 50962 0 0 0 303 6 0 0 20 0 1 0 897914526 182616064 42965 33554432000 4194304 5714214 140733297517040 18446744073709551615 4964757 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 44584 42965 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30115 s] /proc/loadavg: 1.94 2.03 2.00 3/559 30138 /proc/meminfo: memFree=28175184/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=178336 CPUtime=6.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 50970 0 0 0 623 6 0 0 25 0 1 0 897914526 182616064 42973 33554432000 4194304 5714214 140733297517040 18446744073709551615 4355644 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 44584 42973 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7011 s] /proc/loadavg: 1.94 2.03 2.00 3/559 30138 /proc/meminfo: memFree=28168120/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=178336 CPUtime=12.69 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 50986 0 0 0 1263 6 0 0 25 0 1 0 897914526 182616064 42989 33554432000 4194304 5714214 140733297517040 18446744073709551615 4956294 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 44584 42989 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.501 s] /proc/loadavg: 2.09 2.06 2.01 3/559 30140 /proc/meminfo: memFree=28132380/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=207460 CPUtime=25.49 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 59195 0 0 0 2540 9 0 0 25 0 1 0 897914526 212439040 49815 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319209 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 51865 49815 180 372 0 51490 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 207460 [startup+51.1007 s] /proc/loadavg: 2.06 2.05 2.00 3/559 30140 /proc/meminfo: memFree=27980856/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=335368 CPUtime=51.09 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 92856 0 0 0 5093 16 0 0 25 0 1 0 897914526 343416832 82080 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 83842 82080 180 372 0 83467 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 335368 [startup+102.322 s] /proc/loadavg: 2.07 2.06 2.00 3/559 30142 /proc/meminfo: memFree=27827468/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=456772 CPUtime=102.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 123206 0 0 0 10207 24 0 0 25 0 1 0 897914526 467734528 112430 33554432000 4194304 5714214 140733297517040 18446744073709551615 4310636 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 114193 112430 180 372 0 113818 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 456772 [startup+162.301 s] /proc/loadavg: 2.02 2.05 2.00 3/559 30142 /proc/meminfo: memFree=27525624/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=724660 CPUtime=162.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 190145 0 0 0 16191 38 0 0 25 0 1 0 897914526 742051840 179369 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319215 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 181165 179369 180 372 0 180790 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 724660 [startup+222.301 s] /proc/loadavg: 2.01 2.03 2.00 3/559 30144 /proc/meminfo: memFree=27102272/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=1092108 CPUtime=222.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 281972 0 0 0 22172 57 0 0 25 0 1 0 897914526 1118318592 271196 33554432000 4194304 5714214 140733297517040 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 273027 271196 180 372 0 272652 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1092108 [startup+282.301 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30146 /proc/meminfo: memFree=26782080/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=1366268 CPUtime=282.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 350501 0 0 0 28162 68 0 0 25 0 1 0 897914526 1399058432 339725 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 341567 339725 180 372 0 341192 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1366268 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30148 /proc/meminfo: memFree=26454080/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=1656136 CPUtime=342.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 422878 0 0 0 34150 80 0 0 25 0 1 0 897914526 1695883264 412102 33554432000 4194304 5714214 140733297517040 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 414034 412102 180 372 0 413659 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1656136 [startup+402.301 s] /proc/loadavg: 2.09 2.04 2.01 3/559 30150 /proc/meminfo: memFree=26192028/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=1889044 CPUtime=402.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 481070 0 0 0 40140 89 0 0 25 0 1 0 897914526 1934381056 470294 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 472261 470294 180 372 0 471886 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 1889044 [startup+462.301 s] /proc/loadavg: 2.11 2.06 2.01 3/559 30159 /proc/meminfo: memFree=25992904/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=2045116 CPUtime=462.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 520089 0 0 0 46134 96 0 0 25 0 1 0 897914526 2094198784 509313 33554432000 4194304 5714214 140733297517040 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 511279 509313 180 372 0 510904 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 2045116 [startup+522.301 s] /proc/loadavg: 2.04 2.05 2.01 3/559 30161 /proc/meminfo: memFree=25646056/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=2295692 CPUtime=522.29 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 582731 0 0 0 52122 107 0 0 25 0 1 0 897914526 2350788608 571955 33554432000 4194304 5714214 140733297517040 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 573923 571955 180 372 0 573548 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 2295692 [startup+582.301 s] /proc/loadavg: 2.01 2.04 2.00 3/559 30163 /proc/meminfo: memFree=25381504/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=2553780 CPUtime=582.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 647250 0 0 0 58111 119 0 0 25 0 1 0 897914526 2615070720 636474 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 638445 636474 180 372 0 638070 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 2553780 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30171 /proc/meminfo: memFree=24131040/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=3799712 CPUtime=882.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 958629 0 0 0 88055 175 0 0 25 0 1 0 897914526 3890905088 947853 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 949928 947853 180 372 0 949553 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 3799712 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30173 /proc/meminfo: memFree=23893296/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=4040428 CPUtime=942.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1018565 0 0 0 94044 187 0 0 25 0 1 0 897914526 4137398272 1007789 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1010107 1007789 180 372 0 1009732 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 4040428 [startup+1002.3 s] /proc/loadavg: 2.11 2.04 2.01 3/559 30175 /proc/meminfo: memFree=23656916/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=4275212 CPUtime=1002.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1077245 0 0 0 100032 198 0 0 25 0 1 0 897914526 4377817088 1066469 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1068803 1066469 180 372 0 1068428 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 4275212 [startup+1062.3 s] /proc/loadavg: 2.09 2.05 2.01 3/559 30175 /proc/meminfo: memFree=23453396/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=4478104 CPUtime=1062.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1127908 0 0 0 106023 208 0 0 25 0 1 0 897914526 4585578496 1117132 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1119526 1117132 180 372 0 1119151 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 4478104 [startup+1122.3 s] /proc/loadavg: 2.03 2.03 2.00 3/559 30177 /proc/meminfo: memFree=23242820/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=4687980 CPUtime=1122.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1180408 0 0 0 112012 218 0 0 25 0 1 0 897914526 4800491520 1169632 33554432000 4194304 5714214 140733297517040 18446744073709551615 4322928 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1171995 1169632 180 372 0 1171620 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 4687980 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/559 30179 /proc/meminfo: memFree=23014752/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=4917008 CPUtime=1182.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1237661 0 0 0 118002 229 0 0 25 0 1 0 897914526 5035016192 1226885 33554432000 4194304 5714214 140733297517040 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1229252 1226885 180 372 0 1228877 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 4917008 [startup+1242.3 s] /proc/loadavg: 2.11 2.06 2.01 3/559 30181 /proc/meminfo: memFree=22799444/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=5129264 CPUtime=1242.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1290694 0 0 0 123993 238 0 0 25 0 1 0 897914526 5252366336 1279918 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1282316 1279918 180 372 0 1281941 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 5129264 [startup+1302.3 s] /proc/loadavg: 2.18 2.09 2.02 3/559 30211 /proc/meminfo: memFree=23410068/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=5314012 CPUtime=1302.32 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1336903 0 0 0 129988 244 0 0 25 0 1 0 897914526 5441548288 1326127 33554432000 4194304 5714214 140733297517040 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1328503 1326127 180 372 0 1328128 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 5314012 [startup+1362.3 s] /proc/loadavg: 2.06 2.07 2.02 3/559 30211 /proc/meminfo: memFree=23138164/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=5528192 CPUtime=1362.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1390457 0 0 0 135976 254 0 0 25 0 1 0 897914526 5660868608 1379681 33554432000 4194304 5714214 140733297517040 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1382048 1379681 180 372 0 1381673 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 5528192 [startup+1422.32 s] /proc/loadavg: 2.02 2.06 2.01 3/559 30213 /proc/meminfo: memFree=22864340/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=5752048 CPUtime=1422.33 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1446442 0 0 0 141968 265 0 0 25 0 1 0 897914526 5890097152 1435666 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1438012 1435666 180 372 0 1437637 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 5752048 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/559 30215 /proc/meminfo: memFree=22606128/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=5949264 CPUtime=1482.3 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1495687 0 0 0 147958 272 0 0 25 0 1 0 897914526 6092046336 1484911 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1487316 1484911 180 372 0 1486941 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 5949264 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30217 /proc/meminfo: memFree=22439200/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6073864 CPUtime=1542.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1526842 0 0 0 153952 279 0 0 25 0 1 0 897914526 6219636736 1516066 33554432000 4194304 5714214 140733297517040 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1518466 1516066 180 372 0 1518091 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 6073864 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30219 /proc/meminfo: memFree=22264928/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6207916 CPUtime=1602.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1560360 0 0 0 159946 285 0 0 25 0 1 0 897914526 6356905984 1549584 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1551979 1549584 180 372 0 1551604 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 6207916 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30219 /proc/meminfo: memFree=22081244/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6334928 CPUtime=1662.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1592117 0 0 0 165940 291 0 0 25 0 1 0 897914526 6486966272 1581341 33554432000 4194304 5714214 140733297517040 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1583732 1581341 180 372 0 1583357 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 6334928 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 30221 /proc/meminfo: memFree=21909472/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6472620 CPUtime=1722.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1626211 0 0 0 171935 296 0 0 25 0 1 0 897914526 6627962880 1615435 33554432000 4194304 5714214 140733297517040 18446744073709551615 4322626 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1618155 1615435 180 372 0 1617780 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 6472620 [startup+1782.3 s] /proc/loadavg: 2.09 2.04 2.01 3/559 30223 /proc/meminfo: memFree=21777508/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6572020 CPUtime=1782.31 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1651087 0 0 0 177931 300 0 0 25 0 1 0 897914526 6729748480 1640311 33554432000 4194304 5714214 140733297517040 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1643005 1640311 180 372 0 1642630 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 6572020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.14 2.05 2.01 3/559 30223 /proc/meminfo: memFree=21733712/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=6606868 CPUtime=1800.02 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4202496 1659794 0 0 0 179701 301 0 0 25 0 1 0 897914526 6765432832 1649018 33554432000 4194304 5714214 140733297517040 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30137/statm: 1651717 1649018 180 372 0 1651342 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 6606868 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 2.14 2.05 2.01 3/559 30223 /proc/meminfo: memFree=21733712/32951124 swapFree=34426104/67111528 [pid=30137] ppid=30135 vsize=0 CPUtime=1800.21 cores=0,2,4,6 /proc/30137/stat : 30137 (wbo1.6) R 30135 30137 27313 0 -1 4203524 1659794 0 0 0 179702 319 0 0 25 0 1 0 897914526 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0 /proc/30137/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.28 CPU time (s): 1800.31 CPU user time (s): 1797.02 CPU system time (s): 3.2815 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 6606868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.02 system time used= 3.2815 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1659794 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= 9 involuntary context switches= 1038 runsolver used 10.9323 second user time and 22.6226 second system time The end
Begin job on node118 at 2011-06-03 06:53:59 IDJOB=3460839 IDBENCH=1963 IDSOLVER=1953 FILE ID=node118/3460839-1307076838 RUNJOBID= node118-1307066710-28357 PBS_JOBID= 13497868 Free space on /tmp= 73732 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460839-1307076838/watcher-3460839-1307076838 -o /tmp/evaluation-result-3460839-1307076838/solver-3460839-1307076838 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460839-1307076838.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=370623885 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: 28352908 kB Buffers: 307284 kB Cached: 1967284 kB SwapCached: 56168 kB Active: 1271648 kB Inactive: 2988588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28352908 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 20936 kB Writeback: 0 kB AnonPages: 1942860 kB Mapped: 15548 kB Slab: 150284 kB PageTables: 116204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184226060 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= 73724 MiB End job on node118 at 2011-06-03 07:24:01