Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.29 | 1800.25 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
MD5SUM | 2fd45123d8e20b24379108257151f007 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 712 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 414 |
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 | 488873 |
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 | 488873 |
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-3460853-1307078077.opb. 0.00/0.00 c Instance file HOME/instance-3460853-1307078077.opb 0.00/0.00 c File size is 17233614 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.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/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.55576 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.69774 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: 2 Total Weight: 4 7.71/7.76 c Current CPU time: 1.84772 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: 5 7.71/7.76 c Current CPU time: 1.9877 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: 6 7.71/7.76 c Current CPU time: 2.13567 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: 7 7.71/7.76 c Current CPU time: 2.27565 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: 8 7.71/7.76 c Current CPU time: 2.42463 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: 9 7.71/7.76 c Current CPU time: 2.56561 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: 10 7.71/7.76 c Current CPU time: 2.71459 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: 11 7.71/7.76 c Current CPU time: 2.85757 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: 12 7.71/7.76 c Current CPU time: 3.00754 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: 13 7.71/7.76 c Current CPU time: 3.15152 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: 14 7.71/7.76 c Current CPU time: 3.3005 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: 15 7.71/7.76 c Current CPU time: 3.44048 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: 1 Total Weight: 16 7.71/7.76 c Current CPU time: 3.59045 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: 201 Core Weight: 1 Total Weight: 17 7.71/7.76 c Current CPU time: 3.73143 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: 18 7.71/7.76 c Current CPU time: 3.87941 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: 2 Total Weight: 20 7.71/7.76 c Current CPU time: 4.02039 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.17136 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.31234 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.46132 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.6033 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.75528 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.89926 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.04823 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.19021 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: 2 Total Weight: 32 7.71/7.76 c Current CPU time: 5.34119 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: 33 7.71/7.76 c Current CPU time: 5.48417 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: 34 7.71/7.76 c Current CPU time: 5.63314 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: 35 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: 501 Core Weight: 1 Total Weight: 36 7.71/7.76 c Current CPU time: 5.9321 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: 37 7.71/7.76 c Current CPU time: 6.07208 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: 38 7.71/7.76 c Current CPU time: 6.22205 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: 201 Core Weight: 4 Total Weight: 42 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: 43 7.71/7.76 c Current CPU time: 6.51701 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: 2 Total Weight: 45 7.71/7.76 c Current CPU time: 6.66099 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: 201 Core Weight: 2 Total Weight: 47 7.71/7.76 c Current CPU time: 6.81196 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: 48 7.71/7.76 c Current CPU time: 6.95494 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: 101 Core Weight: 2 Total Weight: 50 7.71/7.76 c Current CPU time: 7.10792 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: 201 Core Weight: 1 Total Weight: 51 7.71/7.76 c Current CPU time: 7.2519 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: 52 7.71/7.76 c Current CPU time: 7.40287 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: 53 7.71/7.76 c Current CPU time: 7.54685 s 7.71/7.76 c 7.71/7.76 c core #43 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 2 Total Weight: 55 13.89/13.92 c Current CPU time: 7.70083 s 13.89/13.92 c 13.89/13.92 c core #44 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 56 13.89/13.92 c Current CPU time: 7.84481 s 13.89/13.92 c 13.89/13.92 c core #45 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 57 13.89/13.92 c Current CPU time: 7.99978 s 13.89/13.92 c 13.89/13.92 c core #46 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 58 13.89/13.92 c Current CPU time: 8.14376 s 13.89/13.92 c 13.89/13.92 c core #47 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 3 Total Weight: 61 13.89/13.92 c Current CPU time: 8.29574 s 13.89/13.92 c 13.89/13.92 c core #48 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 62 13.89/13.92 c Current CPU time: 8.44072 s 13.89/13.92 c 13.89/13.92 c core #49 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 63 13.89/13.92 c Current CPU time: 8.59169 s 13.89/13.92 c 13.89/13.92 c core #50 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 64 13.89/13.92 c Current CPU time: 8.73667 s 13.89/13.92 c 13.89/13.92 c core #51 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 65 13.89/13.92 c Current CPU time: 8.88965 s 13.89/13.92 c 13.89/13.92 c core #52 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 66 13.89/13.92 c Current CPU time: 9.03363 s 13.89/13.92 c 13.89/13.92 c core #53 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 2 Total Weight: 68 13.89/13.92 c Current CPU time: 9.1856 s 13.89/13.92 c 13.89/13.92 c core #54 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 1001 Core Weight: 1 Total Weight: 69 13.89/13.92 c Current CPU time: 9.33358 s 13.89/13.92 c 13.89/13.92 c core #55 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 3 Total Weight: 72 13.89/13.92 c Current CPU time: 9.48756 s 13.89/13.92 c 13.89/13.92 c core #56 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 73 13.89/13.92 c Current CPU time: 9.63354 s 13.89/13.92 c 13.89/13.92 c core #57 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 74 13.89/13.92 c Current CPU time: 9.78551 s 13.89/13.92 c 13.89/13.92 c core #58 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 1 Total Weight: 75 13.89/13.92 c Current CPU time: 9.93249 s 13.89/13.92 c 13.89/13.92 c core #59 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 76 13.89/13.92 c Current CPU time: 10.0855 s 13.89/13.92 c 13.89/13.92 c core #60 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 77 13.89/13.92 c Current CPU time: 10.2314 s 13.89/13.92 c 13.89/13.92 c core #61 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 78 13.89/13.92 c Current CPU time: 10.3844 s 13.89/13.92 c 13.89/13.92 c core #62 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 401 Core Weight: 1 Total Weight: 79 13.89/13.92 c Current CPU time: 10.5324 s 13.89/13.92 c 13.89/13.92 c core #63 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 80 13.89/13.92 c Current CPU time: 10.6884 s 13.89/13.92 c 13.89/13.92 c core #64 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 81 13.89/13.92 c Current CPU time: 10.8344 s 13.89/13.92 c 13.89/13.92 c core #65 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 82 13.89/13.92 c Current CPU time: 10.9883 s 13.89/13.92 c 13.89/13.92 c core #66 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 83 13.89/13.92 c Current CPU time: 11.1333 s 13.89/13.92 c 13.89/13.92 c core #67 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 84 13.89/13.92 c Current CPU time: 11.2883 s 13.89/13.92 c 13.89/13.92 c core #68 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 701 Core Weight: 1 Total Weight: 85 13.89/13.92 c Current CPU time: 11.4383 s 13.89/13.92 c 13.89/13.92 c core #69 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 86 13.89/13.92 c Current CPU time: 11.5912 s 13.89/13.92 c 13.89/13.92 c core #70 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 87 13.89/13.92 c Current CPU time: 11.7372 s 13.89/13.92 c 13.89/13.92 c core #71 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 88 13.89/13.92 c Current CPU time: 11.8932 s 13.89/13.92 c 13.89/13.92 c core #72 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 89 13.89/13.92 c Current CPU time: 12.0402 s 13.89/13.92 c 13.89/13.92 c core #73 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 90 13.89/13.92 c Current CPU time: 12.1961 s 13.89/13.92 c 13.89/13.92 c core #74 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 201 Core Weight: 2 Total Weight: 92 13.89/13.92 c Current CPU time: 12.3431 s 13.89/13.92 c 13.89/13.92 c core #75 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 2 Total Weight: 94 13.89/13.92 c Current CPU time: 12.4981 s 13.89/13.92 c 13.89/13.92 c core #76 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 95 13.89/13.92 c Current CPU time: 12.6461 s 13.89/13.92 c 13.89/13.92 c core #77 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 96 13.89/13.92 c Current CPU time: 12.8001 s 13.89/13.92 c 13.89/13.92 c core #78 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 2 Total Weight: 98 13.89/13.92 c Current CPU time: 12.948 s 13.89/13.92 c 13.89/13.92 c core #79 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 99 13.89/13.92 c Current CPU time: 13.104 s 13.89/13.92 c 13.89/13.92 c core #80 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 100 13.89/13.92 c Current CPU time: 13.252 s 13.89/13.92 c 13.89/13.92 c core #81 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 101 13.89/13.92 c Current CPU time: 13.409 s 13.89/13.92 c 13.89/13.92 c core #82 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 102 13.89/13.92 c Current CPU time: 13.5559 s 13.89/13.92 c 13.89/13.92 c core #83 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 103 13.89/13.92 c Current CPU time: 13.7129 s 13.89/13.92 c 13.89/13.92 c core #84 13.89/13.92 c 13.89/13.92 c 13.89/13.92 c Core size: 101 Core Weight: 1 Total Weight: 104 13.89/13.92 c Current CPU time: 13.8619 s 20.39/20.40 c 20.39/20.40 c core #85 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 105 20.39/20.40 c Current CPU time: 14.0169 s 20.39/20.40 c 20.39/20.40 c core #86 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 106 20.39/20.40 c Current CPU time: 14.1658 s 20.39/20.40 c 20.39/20.40 c core #87 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 301 Core Weight: 1 Total Weight: 107 20.39/20.40 c Current CPU time: 14.3268 s 20.39/20.40 c 20.39/20.40 c core #88 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 2 Total Weight: 109 20.39/20.40 c Current CPU time: 14.4748 s 20.39/20.40 c 20.39/20.40 c core #89 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 110 20.39/20.40 c Current CPU time: 14.6308 s 20.39/20.40 c 20.39/20.40 c core #90 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 2 Total Weight: 112 20.39/20.40 c Current CPU time: 14.7818 s 20.39/20.40 c 20.39/20.40 c core #91 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 113 20.39/20.40 c Current CPU time: 14.9387 s 20.39/20.40 c 20.39/20.40 c core #92 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 2 Total Weight: 115 20.39/20.40 c Current CPU time: 15.0887 s 20.39/20.40 c 20.39/20.40 c core #93 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 116 20.39/20.40 c Current CPU time: 15.2457 s 20.39/20.40 c 20.39/20.40 c core #94 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 301 Core Weight: 1 Total Weight: 117 20.39/20.40 c Current CPU time: 15.3957 s 20.39/20.40 c 20.39/20.40 c core #95 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 118 20.39/20.40 c Current CPU time: 15.5536 s 20.39/20.40 c 20.39/20.40 c core #96 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 201 Core Weight: 1 Total Weight: 119 20.39/20.40 c Current CPU time: 15.7036 s 20.39/20.40 c 20.39/20.40 c core #97 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 201 Core Weight: 1 Total Weight: 120 20.39/20.40 c Current CPU time: 15.8596 s 20.39/20.40 c 20.39/20.40 c core #98 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 121 20.39/20.40 c Current CPU time: 16.0086 s 20.39/20.40 c 20.39/20.40 c core #99 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 122 20.39/20.40 c Current CPU time: 16.1665 s 20.39/20.40 c 20.39/20.40 c core #100 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 123 20.39/20.40 c Current CPU time: 16.3165 s 20.39/20.40 c 20.39/20.40 c core #101 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 1501 Core Weight: 1 Total Weight: 124 20.39/20.40 c Current CPU time: 16.4805 s 20.39/20.40 c 20.39/20.40 c core #102 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 125 20.39/20.40 c Current CPU time: 16.6345 s 20.39/20.40 c 20.39/20.40 c core #103 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 126 20.39/20.40 c Current CPU time: 16.7924 s 20.39/20.40 c 20.39/20.40 c core #104 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 127 20.39/20.40 c Current CPU time: 16.9444 s 20.39/20.40 c 20.39/20.40 c core #105 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 128 20.39/20.40 c Current CPU time: 17.1024 s 20.39/20.40 c 20.39/20.40 c core #106 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 129 20.39/20.40 c Current CPU time: 17.2554 s 20.39/20.40 c 20.39/20.40 c core #107 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 130 20.39/20.40 c Current CPU time: 17.4144 s 20.39/20.40 c 20.39/20.40 c core #108 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 2501 Core Weight: 1 Total Weight: 131 20.39/20.40 c Current CPU time: 17.5843 s 20.39/20.40 c 20.39/20.40 c core #109 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 132 20.39/20.40 c Current CPU time: 17.7503 s 20.39/20.40 c 20.39/20.40 c core #110 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 133 20.39/20.40 c Current CPU time: 17.9043 s 20.39/20.40 c 20.39/20.40 c core #111 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 134 20.39/20.40 c Current CPU time: 18.0643 s 20.39/20.40 c 20.39/20.40 c core #112 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 135 20.39/20.40 c Current CPU time: 18.2182 s 20.39/20.40 c 20.39/20.40 c core #113 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 136 20.39/20.40 c Current CPU time: 18.3782 s 20.39/20.40 c 20.39/20.40 c core #114 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 137 20.39/20.40 c Current CPU time: 18.5322 s 20.39/20.40 c 20.39/20.40 c core #115 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 138 20.39/20.40 c Current CPU time: 18.6942 s 20.39/20.40 c 20.39/20.40 c core #116 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 139 20.39/20.40 c Current CPU time: 18.8501 s 20.39/20.40 c 20.39/20.40 c core #117 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 2199 Core Weight: 1 Total Weight: 140 20.39/20.40 c Current CPU time: 19.0241 s 20.39/20.40 c 20.39/20.40 c core #118 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 786 Core Weight: 1 Total Weight: 141 20.39/20.40 c Current CPU time: 19.1871 s 20.39/20.40 c 20.39/20.40 c core #119 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 1997 Core Weight: 1 Total Weight: 142 20.39/20.40 c Current CPU time: 19.3641 s 20.39/20.40 c 20.39/20.40 c core #120 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 143 20.39/20.40 c Current CPU time: 19.528 s 20.39/20.40 c 20.39/20.40 c core #121 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 200 Core Weight: 1 Total Weight: 144 20.39/20.40 c Current CPU time: 19.693 s 20.39/20.40 c 20.39/20.40 c core #122 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 145 20.39/20.40 c Current CPU time: 19.852 s 20.39/20.40 c 20.39/20.40 c core #123 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 200 Core Weight: 1 Total Weight: 146 20.39/20.40 c Current CPU time: 20.019 s 20.39/20.40 c 20.39/20.40 c core #124 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 101 Core Weight: 1 Total Weight: 147 20.39/20.40 c Current CPU time: 20.1779 s 20.39/20.40 c 20.39/20.40 c core #125 20.39/20.40 c 20.39/20.40 c 20.39/20.40 c Core size: 499 Core Weight: 1 Total Weight: 148 20.39/20.40 c Current CPU time: 20.3419 s 20.69/20.74 c 20.69/20.74 c core #126 20.69/20.74 c 20.69/20.74 c 20.69/20.74 c Core size: 1451 Core Weight: 1 Total Weight: 149 20.69/20.74 c Current CPU time: 20.5099 s 20.69/20.74 c 20.69/20.74 c ============================[ Search Statistics ]============================== 20.69/20.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.69/20.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.69/20.74 c =============================================================================== 20.69/20.74 c | 0 | 26411 692704 49730 | 230901 0 -nan | 0.000 % | 20.69/20.75 c =============================================================================== 20.90/20.91 c core #127 20.90/20.91 c 20.90/20.91 c 20.90/20.91 c Core size: 400 Core Weight: 1 Total Weight: 150 20.90/20.91 c Current CPU time: 20.6839 s 20.90/20.91 c 20.90/20.91 c ============================[ Search Statistics ]============================== 20.90/20.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.90/20.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.90/20.91 c =============================================================================== 20.90/20.91 c | 0 | 26813 693084 50247 | 231028 0 -nan | 0.000 % | 20.90/20.93 c =============================================================================== 21.09/21.11 c core #128 21.09/21.11 c 21.09/21.11 c 21.09/21.11 c Core size: 1710 Core Weight: 1 Total Weight: 151 21.09/21.11 c Current CPU time: 20.8688 s 21.09/21.11 c 21.09/21.11 c ============================[ Search Statistics ]============================== 21.09/21.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.11 c =============================================================================== 21.09/21.11 c | 0 | 28633 694743 52526 | 231581 0 -nan | 0.000 % | 21.09/21.13 c =============================================================================== 21.30/21.30 c core #129 21.30/21.30 c 21.30/21.30 c 21.30/21.30 c Core size: 1633 Core Weight: 1 Total Weight: 152 21.30/21.30 c Current CPU time: 21.0628 s 21.30/21.30 c 21.30/21.30 c ============================[ Search Statistics ]============================== 21.30/21.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.30/21.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.30/21.30 c =============================================================================== 21.30/21.30 c | 0 | 30270 696313 54521 | 232104 0 -nan | 0.000 % | 21.49/21.55 c =============================================================================== 21.69/21.75 c core #130 21.69/21.75 c 21.69/21.75 c 21.69/21.75 c Core size: 4999 Core Weight: 1 Total Weight: 153 21.69/21.75 c Current CPU time: 21.4867 s 21.69/21.75 c 21.69/21.75 c ============================[ Search Statistics ]============================== 21.69/21.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.69/21.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.69/21.75 c =============================================================================== 21.69/21.75 c | 0 | 35300 701083 61038 | 233694 0 -nan | 0.000 % | 22.19/22.26 c =============================================================================== 22.39/22.45 c core #131 22.39/22.45 c 22.39/22.45 c 22.39/22.45 c Core size: 6711 Core Weight: 1 Total Weight: 154 22.39/22.45 c Current CPU time: 22.1916 s 22.39/22.45 c 22.39/22.45 c ============================[ Search Statistics ]============================== 22.39/22.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.45 c =============================================================================== 22.39/22.45 c | 0 | 42063 707394 69796 | 235798 0 -nan | 0.000 % | 22.50/22.50 c | 100 | 42063 707394 69796 | 259377 100 1363 | 18.285 % | 22.59/22.61 c | 250 | 42063 707394 69796 | 285315 250 1474 | 18.285 % | 22.69/22.76 c | 476 | 42062 707394 69796 | 313847 476 1587 | 18.287 % | 22.89/22.99 c | 813 | 42061 707394 69796 | 345231 813 1584 | 18.288 % | 23.29/23.37 c | 1319 | 42054 707394 69796 | 379755 1319 1925 | 18.304 % | 24.89/24.94 c =============================================================================== 25.09/25.15 c core #132 25.09/25.15 c 25.09/25.15 c 25.09/25.15 c Core size: 9787 Core Weight: 1 Total Weight: 155 25.09/25.15 c Current CPU time: 24.8502 s 25.09/25.15 c 25.09/25.15 c ============================[ Search Statistics ]============================== 25.09/25.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.09/25.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.09/25.15 c =============================================================================== 25.09/25.15 c | 0 | 51928 716112 83628 | 238704 0 -nan | 0.000 % | 25.20/25.22 c | 102 | 51928 716112 83628 | 262574 102 1087 | 15.199 % | 25.39/25.41 c | 254 | 51928 716112 83628 | 288831 254 1332 | 15.199 % | 25.59/25.66 c | 479 | 51927 716112 83628 | 317715 479 1200 | 15.200 % | 25.90/25.99 c | 816 | 51927 716112 83628 | 349486 816 1102 | 15.200 % | 26.49/26.57 c | 1327 | 51927 716112 83628 | 384435 1327 1274 | 15.200 % | 27.29/27.33 c | 2086 | 51927 716112 83628 | 422878 2086 1156 | 15.200 % | 28.61/28.69 c | 3225 | 51926 716112 83628 | 465166 3225 1338 | 15.202 % | 30.70/30.78 c | 4933 | 51924 716112 83628 | 511683 4933 1692 | 15.205 % | 33.59/33.62 c | 7497 | 51923 716112 83628 | 562851 7497 1591 | 15.207 % | 39.50/39.55 c | 11344 | 51923 716112 83628 | 619136 11344 1941 | 15.207 % | 44.69/44.72 c =============================================================================== 44.89/44.99 c core #133 44.89/44.99 c 44.89/44.99 c 44.89/44.99 c Core size: 10272 Core Weight: 1 Total Weight: 156 44.89/44.99 c Current CPU time: 44.5942 s 44.89/44.99 c 44.89/44.99 c ============================[ Search Statistics ]============================== 44.89/44.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.89/44.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.89/44.99 c =============================================================================== 44.89/44.99 c | 0 | 62292 724939 98664 | 241646 0 -nan | 0.000 % | 45.00/45.07 c | 101 | 62292 724939 98664 | 265810 101 1150 | 12.871 % | 45.19/45.23 c | 252 | 62292 724939 98664 | 292392 252 778 | 12.871 % | 45.59/45.63 c | 479 | 62292 724939 98664 | 321631 479 643 | 12.871 % | 45.89/45.99 c | 817 | 62292 724939 98664 | 353794 817 690 | 12.871 % | 46.49/46.53 c | 1324 | 62292 724939 98664 | 389173 1324 732 | 12.871 % | 47.40/47.45 c | 2084 | 62292 724939 98664 | 428091 2084 798 | 12.871 % | 49.29/49.30 c | 3223 | 62292 724939 98664 | 470900 3223 827 | 12.871 % | 52.71/52.80 c | 4931 | 62292 724939 98664 | 517990 4931 1237 | 12.871 % | 56.89/56.97 c | 7493 | 62292 724939 98664 | 569789 7493 1396 | 12.871 % | 62.50/62.55 c | 11341 | 62292 724939 98664 | 626768 11341 1469 | 12.871 % | 72.10/72.15 c | 17109 | 62291 724939 98664 | 689445 17109 1497 | 12.872 % | 89.80/89.85 c | 25759 | 62291 724939 98664 | 758389 25759 1681 | 12.872 % | 116.40/116.46 c | 38734 | 62291 724939 98664 | 834228 38734 1838 | 12.872 % | 166.59/166.68 c | 58195 | 62291 724939 98664 | 917651 58195 2190 | 12.872 % | 253.20/253.27 c | 87387 | 62291 724939 98664 | 1009416 87387 2624 | 12.872 % | 386.90/386.95 c | 131177 | 62290 724939 98664 | 1110358 131177 2659 | 12.874 % | 705.69/705.79 c | 196864 | 62289 724939 98664 | 1221394 196864 3326 | 12.875 % | 1568.92/1568.92 c | 295394 | 62289 724939 98664 | 1343533 295394 4212 | 12.875 % |
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-3460853-1307078077/watcher-3460853-1307078077 -o /tmp/evaluation-result-3460853-1307078077/solver-3460853-1307078077 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460853-1307078077.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 2.00 2/443 12442 /proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=21456 CPUtime=0 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 873 0 0 0 0 0 0 0 25 0 1 0 898038410 21970944 826 33554432000 4194304 5714214 140735715579136 18446744073709551615 4226564 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 5364 826 190 372 0 781 0 [startup+0.0491151 s] /proc/loadavg: 2.03 2.03 2.00 2/443 12442 /proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=23572 CPUtime=0.04 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1552 0 0 0 4 0 0 0 25 0 1 0 898038410 24137728 1505 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 5893 1506 333 372 0 1310 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 23572 [startup+0.101102 s] /proc/loadavg: 2.03 2.03 2.00 2/443 12442 /proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=25948 CPUtime=0.09 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 2354 0 0 0 9 0 0 0 25 0 1 0 898038410 26570752 2274 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 6487 2274 528 372 0 1904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25948 [startup+0.301069 s] /proc/loadavg: 2.03 2.03 2.00 2/443 12442 /proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=36040 CPUtime=0.29 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 5674 0 0 0 29 0 0 0 25 0 1 0 898038410 36904960 5400 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 9010 5401 1258 372 0 4427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.700996 s] /proc/loadavg: 2.03 2.03 2.00 2/443 12442 /proc/meminfo: memFree=29792192/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=54796 CPUtime=0.69 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 11995 0 0 0 68 1 0 0 25 0 1 0 898038410 56111104 11464 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 13699 11464 2726 372 0 9116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54796 [startup+1.50085 s] /proc/loadavg: 2.03 2.03 2.00 3/444 12443 /proc/meminfo: memFree=29741840/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=159596 CPUtime=1.49 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 44266 0 0 0 144 5 0 0 18 0 1 0 898038410 163426304 39014 33554432000 4194304 5714214 140735715579136 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 39899 39021 172 372 0 39524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159596 [startup+3.10055 s] /proc/loadavg: 2.03 2.03 2.00 3/444 12443 /proc/meminfo: memFree=29617588/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=178336 CPUtime=3.1 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50961 0 0 0 304 6 0 0 20 0 1 0 898038410 182616064 42964 33554432000 4194304 5714214 140735715579136 18446744073709551615 4973065 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 44584 42964 175 372 0 44209 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 178336 [startup+6.30095 s] /proc/loadavg: 2.03 2.03 2.00 3/444 12443 /proc/meminfo: memFree=29612312/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=178336 CPUtime=6.29 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50970 0 0 0 623 6 0 0 25 0 1 0 898038410 182616064 42973 33554432000 4194304 5714214 140735715579136 18446744073709551615 4345860 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 44584 42973 175 372 0 44209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 178336 [startup+12.7008 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12444 /proc/meminfo: memFree=29595352/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=178336 CPUtime=12.69 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 50989 0 0 0 1263 6 0 0 25 0 1 0 898038410 182616064 42992 33554432000 4194304 5714214 140735715579136 18446744073709551615 4956403 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 44584 42992 175 372 0 44209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 178336 [startup+25.5003 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12444 /proc/meminfo: memFree=29496224/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=221528 CPUtime=25.49 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 65937 0 0 0 2538 11 0 0 25 0 1 0 898038410 226844672 53136 33554432000 4194304 5714214 140735715579136 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 55382 53136 180 372 0 55007 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 221528 [startup+51.1005 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12445 /proc/meminfo: memFree=29183200/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=330164 CPUtime=51.09 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 92903 0 0 0 5086 23 0 0 25 0 1 0 898038410 338087936 80102 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 82541 80102 180 372 0 82166 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 330164 [startup+102.317 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12446 /proc/meminfo: memFree=28932572/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=382124 CPUtime=102.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 106611 0 0 0 10195 36 0 0 25 0 1 0 898038410 391294976 93810 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 95531 93810 180 372 0 95156 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 382124 [startup+162.301 s] /proc/loadavg: 2.09 2.04 2.01 3/444 12448 /proc/meminfo: memFree=28663648/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=650016 CPUtime=162.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 173587 0 0 0 16173 57 0 0 25 0 1 0 898038410 665616384 160786 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 162504 160786 180 372 0 162129 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 650016 [startup+222.3 s] /proc/loadavg: 2.07 2.05 2.01 3/444 12449 /proc/meminfo: memFree=28156444/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=925088 CPUtime=222.29 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 242326 0 0 0 22154 75 0 0 25 0 1 0 898038410 947290112 229525 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 231272 229525 180 372 0 230897 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 925088 [startup+282.301 s] /proc/loadavg: 2.02 2.04 2.00 3/444 12451 /proc/meminfo: memFree=27671552/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=1179120 CPUtime=282.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 305742 0 0 0 28143 87 0 0 25 0 1 0 898038410 1207418880 292941 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 294780 292941 180 372 0 294405 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1179120 [startup+342.301 s] /proc/loadavg: 2.07 2.04 2.00 3/444 12452 /proc/meminfo: memFree=27260696/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=1387648 CPUtime=342.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 357907 0 0 0 34128 102 0 0 25 0 1 0 898038410 1420951552 345106 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 346912 345106 180 372 0 346537 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1387648 [startup+402.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12454 /proc/meminfo: memFree=26833592/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=1606256 CPUtime=402.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 412591 0 0 0 40112 119 0 0 25 0 1 0 898038410 1644806144 399790 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311436 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 401564 399790 180 372 0 401189 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 1606256 [startup+462.301 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12456 /proc/meminfo: memFree=26396800/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=1822468 CPUtime=462.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 466478 0 0 0 46097 133 0 0 25 0 1 0 898038410 1866207232 453677 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 455617 453677 180 372 0 455242 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1822468 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12457 /proc/meminfo: memFree=25981728/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=2049564 CPUtime=522.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 523264 0 0 0 52084 146 0 0 25 0 1 0 898038410 2098753536 510463 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 512391 510463 180 372 0 512016 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 2049564 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12459 /proc/meminfo: memFree=25538508/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=2312500 CPUtime=582.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 589033 0 0 0 58072 159 0 0 25 0 1 0 898038410 2368000000 576232 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12442/statm: 578125 576232 180 372 0 577750 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2312500 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.07 2.03 2.01 3/444 12467 /proc/meminfo: memFree=23752372/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=3318700 CPUtime=882.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 840312 0 0 0 88010 221 0 0 25 0 1 0 898038410 3398348800 827511 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 829675 827511 180 372 0 829300 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 3318700 [startup+942.301 s] /proc/loadavg: 2.06 2.03 2.01 3/444 12468 /proc/meminfo: memFree=23382920/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=3485268 CPUtime=942.3 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 881953 0 0 0 94001 229 0 0 25 0 1 0 898038410 3568914432 869152 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 871317 869152 180 372 0 870942 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 3485268 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12470 /proc/meminfo: memFree=22987924/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=3669660 CPUtime=1002.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 928047 0 0 0 99992 239 0 0 25 0 1 0 898038410 3757731840 915246 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 917415 915246 180 372 0 917040 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 3669660 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12472 /proc/meminfo: memFree=22646240/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=3835284 CPUtime=1062.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 969444 0 0 0 105982 249 0 0 25 0 1 0 898038410 3927330816 956643 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 958821 956643 180 372 0 958446 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 3835284 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12473 /proc/meminfo: memFree=22278664/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4014688 CPUtime=1122.32 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1014290 0 0 0 111971 261 0 0 25 0 1 0 898038410 4111040512 1001489 33554432000 4194304 5714214 140735715579136 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1003672 1001489 180 372 0 1003297 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 4014688 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12475 /proc/meminfo: memFree=21969736/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4173860 CPUtime=1182.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1054095 0 0 0 117963 268 0 0 25 0 1 0 898038410 4274032640 1041294 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1043465 1041294 180 372 0 1043090 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 4173860 [startup+1242.3 s] /proc/loadavg: 2.07 2.03 2.01 3/444 12476 /proc/meminfo: memFree=21655492/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4328296 CPUtime=1242.31 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1092693 0 0 0 123955 276 0 0 25 0 1 0 898038410 4432175104 1079892 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1082074 1079892 180 372 0 1081699 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 4328296 [startup+1302.3 s] /proc/loadavg: 2.06 2.04 2.01 3/444 12478 /proc/meminfo: memFree=21381772/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4471796 CPUtime=1302.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1128526 0 0 0 129949 284 0 0 25 0 1 0 898038410 4579119104 1115725 33554432000 4194304 5714214 140735715579136 18446744073709551615 4322922 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1117949 1115725 180 372 0 1117574 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 4471796 [startup+1362.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12480 /proc/meminfo: memFree=21088312/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4618012 CPUtime=1362.32 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1165112 0 0 0 135941 291 0 0 25 0 1 0 898038410 4728844288 1152311 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1154503 1152311 180 372 0 1154128 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 4618012 [startup+1422.32 s] /proc/loadavg: 2.05 2.03 2.00 3/444 12481 /proc/meminfo: memFree=20861348/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4734020 CPUtime=1422.34 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1194090 0 0 0 141937 297 0 0 25 0 1 0 898038410 4847636480 1181289 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1183505 1181289 180 372 0 1183130 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 4734020 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12486 /proc/meminfo: memFree=20564672/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=4873072 CPUtime=1482.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1228890 0 0 0 147929 304 0 0 25 0 1 0 898038410 4990025728 1216089 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1218268 1216089 180 372 0 1217893 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 4873072 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12487 /proc/meminfo: memFree=20256412/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5036004 CPUtime=1542.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1269587 0 0 0 153921 312 0 0 25 0 1 0 898038410 5156868096 1256786 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1259001 1256786 180 372 0 1258626 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 5036004 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12489 /proc/meminfo: memFree=20007860/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5167628 CPUtime=1602.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1302485 0 0 0 159913 320 0 0 25 0 1 0 898038410 5291651072 1289684 33554432000 4194304 5714214 140735715579136 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1291907 1289684 180 372 0 1291532 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 5167628 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12491 /proc/meminfo: memFree=19745936/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5305596 CPUtime=1662.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1336934 0 0 0 165906 327 0 0 25 0 1 0 898038410 5432930304 1324133 33554432000 4194304 5714214 140735715579136 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1326399 1324133 180 372 0 1326024 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 5305596 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/444 12492 /proc/meminfo: memFree=19469984/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5444728 CPUtime=1722.33 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1371683 0 0 0 171898 335 0 0 25 0 1 0 898038410 5575401472 1358882 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1361182 1358882 180 372 0 1360807 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 5444728 [startup+1782.3 s] /proc/loadavg: 2.10 2.03 2.01 3/444 12494 /proc/meminfo: memFree=19147296/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5647360 CPUtime=1782.34 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1422025 0 0 0 177886 348 0 0 25 0 1 0 898038410 5782896640 1409224 33554432000 4194304 5714214 140735715579136 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1411840 1409224 180 372 0 1411465 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 5647360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.15 2.04 2.01 3/444 12522 /proc/meminfo: memFree=24102908/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=5710400 CPUtime=1800.05 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4202496 1437796 0 0 0 179653 352 0 0 25 0 1 0 898038410 5847449600 1424995 33554432000 4194304 5714214 140735715579136 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12442/statm: 1427600 1424995 180 372 0 1427225 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 5710400 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.15 2.04 2.01 3/444 12522 /proc/meminfo: memFree=24102908/32950928 swapFree=52246700/67111528 [pid=12442] ppid=12440 vsize=0 CPUtime=1800.24 cores=1,3,5,7 /proc/12442/stat : 12442 (wbo1.6) R 12440 12442 9824 0 -1 4203524 1437798 0 0 0 179654 370 0 0 25 0 1 0 898038410 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/12442/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.25 CPU time (s): 1800.29 CPU user time (s): 1796.54 CPU system time (s): 3.75043 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 5710400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.54 system time used= 3.75043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1437798 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= 4 involuntary context switches= 13065 runsolver used 7.41987 second user time and 18.7881 second system time The end
Begin job on node114 at 2011-06-03 07:14:37 IDJOB=3460853 IDBENCH=1977 IDSOLVER=1953 FILE ID=node114/3460853-1307078077 RUNJOBID= node114-1307068244-11008 PBS_JOBID= 13497874 Free space on /tmp= 73892 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460853-1307078077/watcher-3460853-1307078077 -o /tmp/evaluation-result-3460853-1307078077/solver-3460853-1307078077 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460853-1307078077.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2fd45123d8e20b24379108257151f007 RANDOM SEED=1806822364 node114.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.848 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.69 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.848 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 : 5226.15 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.848 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.848 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.73 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.74 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29792472 kB Buffers: 256884 kB Cached: 421272 kB SwapCached: 10660 kB Active: 2494228 kB Inactive: 393328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29792472 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 42384 kB Writeback: 0 kB AnonPages: 2206820 kB Mapped: 21936 kB Slab: 140816 kB PageTables: 62620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108357200 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= 73904 MiB End job on node114 at 2011-06-03 07:44:39