Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.28 | 1800.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 488 |
Best CPU time to get the best result obtained on this benchmark | 1800.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
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 | 495618 |
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 | 495618 |
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-3460840-1307077499.opb. 0.00/0.00 c Instance file HOME/instance-3460840-1307077499.opb 0.00/0.00 c File size is 17233679 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.74 c core #1 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 1 7.71/7.74 c Current CPU time: 1.56476 s 7.71/7.74 c 7.71/7.74 c core #2 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 2 7.71/7.74 c Current CPU time: 1.70674 s 7.71/7.74 c 7.71/7.74 c core #3 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 3 7.71/7.74 c Current CPU time: 1.85572 s 7.71/7.74 c 7.71/7.74 c core #4 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 4 7.71/7.74 c Current CPU time: 1.9957 s 7.71/7.74 c 7.71/7.74 c core #5 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 5 7.71/7.74 c Current CPU time: 2.14367 s 7.71/7.74 c 7.71/7.74 c core #6 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 6 7.71/7.74 c Current CPU time: 2.28465 s 7.71/7.74 c 7.71/7.74 c core #7 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 7 7.71/7.74 c Current CPU time: 2.43463 s 7.71/7.74 c 7.71/7.74 c core #8 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 8 7.71/7.74 c Current CPU time: 2.57561 s 7.71/7.74 c 7.71/7.74 c core #9 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 9 7.71/7.74 c Current CPU time: 2.72459 s 7.71/7.74 c 7.71/7.74 c core #10 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 10 7.71/7.74 c Current CPU time: 2.86556 s 7.71/7.74 c 7.71/7.74 c core #11 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 11 7.71/7.74 c Current CPU time: 3.01554 s 7.71/7.74 c 7.71/7.74 c core #12 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 12 7.71/7.74 c Current CPU time: 3.15652 s 7.71/7.74 c 7.71/7.74 c core #13 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 13 7.71/7.74 c Current CPU time: 3.3055 s 7.71/7.74 c 7.71/7.74 c core #14 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 14 7.71/7.74 c Current CPU time: 3.44648 s 7.71/7.74 c 7.71/7.74 c core #15 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 15 7.71/7.74 c Current CPU time: 3.59645 s 7.71/7.74 c 7.71/7.74 c core #16 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 16 7.71/7.74 c Current CPU time: 3.73743 s 7.71/7.74 c 7.71/7.74 c core #17 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 17 7.71/7.74 c Current CPU time: 3.88641 s 7.71/7.74 c 7.71/7.74 c core #18 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 18 7.71/7.74 c Current CPU time: 4.02739 s 7.71/7.74 c 7.71/7.74 c core #19 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 2 Total Weight: 20 7.71/7.74 c Current CPU time: 4.17736 s 7.71/7.74 c 7.71/7.74 c core #20 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 201 Core Weight: 1 Total Weight: 21 7.71/7.74 c Current CPU time: 4.31834 s 7.71/7.74 c 7.71/7.74 c core #21 7.71/7.74 c 7.71/7.74 c 7.71/7.74 c Core size: 101 Core Weight: 1 Total Weight: 22 7.71/7.74 c Current CPU time: 4.46732 s 7.71/7.74 c 7.71/7.74 c core #22 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 23 7.71/7.75 c Current CPU time: 4.6083 s 7.71/7.75 c 7.71/7.75 c core #23 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 24 7.71/7.75 c Current CPU time: 4.75928 s 7.71/7.75 c 7.71/7.75 c core #24 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 25 7.71/7.75 c Current CPU time: 4.90125 s 7.71/7.75 c 7.71/7.75 c core #25 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 26 7.71/7.75 c Current CPU time: 5.05023 s 7.71/7.75 c 7.71/7.75 c core #26 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 27 7.71/7.75 c Current CPU time: 5.19221 s 7.71/7.75 c 7.71/7.75 c core #27 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 28 7.71/7.75 c Current CPU time: 5.34319 s 7.71/7.75 c 7.71/7.75 c core #28 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 29 7.71/7.75 c Current CPU time: 5.48616 s 7.71/7.75 c 7.71/7.75 c core #29 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 30 7.71/7.75 c Current CPU time: 5.63514 s 7.71/7.75 c 7.71/7.75 c core #30 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 31 7.71/7.75 c Current CPU time: 5.77812 s 7.71/7.75 c 7.71/7.75 c core #31 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 3 Total Weight: 34 7.71/7.75 c Current CPU time: 5.9301 s 7.71/7.75 c 7.71/7.75 c core #32 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 35 7.71/7.75 c Current CPU time: 6.07308 s 7.71/7.75 c 7.71/7.75 c core #33 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 36 7.71/7.75 c Current CPU time: 6.22405 s 7.71/7.75 c 7.71/7.75 c core #34 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 2 Total Weight: 38 7.71/7.75 c Current CPU time: 6.36803 s 7.71/7.75 c 7.71/7.75 c core #35 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 201 Core Weight: 1 Total Weight: 39 7.71/7.75 c Current CPU time: 6.52001 s 7.71/7.75 c 7.71/7.75 c core #36 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 40 7.71/7.75 c Current CPU time: 6.66299 s 7.71/7.75 c 7.71/7.75 c core #37 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 41 7.71/7.75 c Current CPU time: 6.81296 s 7.71/7.75 c 7.71/7.75 c core #38 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 42 7.71/7.75 c Current CPU time: 6.95594 s 7.71/7.75 c 7.71/7.75 c core #39 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 43 7.71/7.75 c Current CPU time: 7.10892 s 7.71/7.75 c 7.71/7.75 c core #40 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 1 Total Weight: 44 7.71/7.75 c Current CPU time: 7.2519 s 7.71/7.75 c 7.71/7.75 c core #41 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 101 Core Weight: 2 Total Weight: 46 7.71/7.75 c Current CPU time: 7.40287 s 7.71/7.75 c 7.71/7.75 c core #42 7.71/7.75 c 7.71/7.75 c 7.71/7.75 c Core size: 401 Core Weight: 1 Total Weight: 47 7.71/7.75 c Current CPU time: 7.54785 s 7.71/7.75 c 7.71/7.75 c core #43 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 2 Total Weight: 49 13.90/13.94 c Current CPU time: 7.69983 s 13.90/13.94 c 13.90/13.94 c core #44 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 50 13.90/13.94 c Current CPU time: 7.84381 s 13.90/13.94 c 13.90/13.94 c core #45 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 51 13.90/13.94 c Current CPU time: 7.99478 s 13.90/13.94 c 13.90/13.94 c core #46 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 52 13.90/13.94 c Current CPU time: 8.13776 s 13.90/13.94 c 13.90/13.94 c core #47 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 53 13.90/13.94 c Current CPU time: 8.29074 s 13.90/13.94 c 13.90/13.94 c core #48 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 54 13.90/13.94 c Current CPU time: 8.43472 s 13.90/13.94 c 13.90/13.94 c core #49 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 5 Total Weight: 59 13.90/13.94 c Current CPU time: 8.58569 s 13.90/13.94 c 13.90/13.94 c core #50 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 60 13.90/13.94 c Current CPU time: 8.72967 s 13.90/13.94 c 13.90/13.94 c core #51 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 61 13.90/13.94 c Current CPU time: 8.88165 s 13.90/13.94 c 13.90/13.94 c core #52 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 62 13.90/13.94 c Current CPU time: 9.02563 s 13.90/13.94 c 13.90/13.94 c core #53 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 2 Total Weight: 64 13.90/13.94 c Current CPU time: 9.1776 s 13.90/13.94 c 13.90/13.94 c core #54 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 65 13.90/13.94 c Current CPU time: 9.32358 s 13.90/13.94 c 13.90/13.94 c core #55 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 66 13.90/13.94 c Current CPU time: 9.47656 s 13.90/13.94 c 13.90/13.94 c core #56 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 67 13.90/13.94 c Current CPU time: 9.62154 s 13.90/13.94 c 13.90/13.94 c core #57 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 68 13.90/13.94 c Current CPU time: 9.77351 s 13.90/13.94 c 13.90/13.94 c core #58 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 2 Total Weight: 70 13.90/13.94 c Current CPU time: 9.92049 s 13.90/13.94 c 13.90/13.94 c core #59 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 71 13.90/13.94 c Current CPU time: 10.0735 s 13.90/13.94 c 13.90/13.94 c core #60 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 1201 Core Weight: 1 Total Weight: 72 13.90/13.94 c Current CPU time: 10.2224 s 13.90/13.94 c 13.90/13.94 c core #61 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 73 13.90/13.94 c Current CPU time: 10.3754 s 13.90/13.94 c 13.90/13.94 c core #62 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 74 13.90/13.94 c Current CPU time: 10.5194 s 13.90/13.94 c 13.90/13.94 c core #63 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 75 13.90/13.94 c Current CPU time: 10.6744 s 13.90/13.94 c 13.90/13.94 c core #64 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 4 Total Weight: 79 13.90/13.94 c Current CPU time: 10.8204 s 13.90/13.94 c 13.90/13.94 c core #65 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 80 13.90/13.94 c Current CPU time: 10.9743 s 13.90/13.94 c 13.90/13.94 c core #66 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 81 13.90/13.94 c Current CPU time: 11.1203 s 13.90/13.94 c 13.90/13.94 c core #67 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 82 13.90/13.94 c Current CPU time: 11.2773 s 13.90/13.94 c 13.90/13.94 c core #68 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 83 13.90/13.94 c Current CPU time: 11.4233 s 13.90/13.94 c 13.90/13.94 c core #69 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 84 13.90/13.94 c Current CPU time: 11.5782 s 13.90/13.94 c 13.90/13.94 c core #70 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 2901 Core Weight: 1 Total Weight: 85 13.90/13.94 c Current CPU time: 11.7472 s 13.90/13.94 c 13.90/13.94 c core #71 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 86 13.90/13.94 c Current CPU time: 11.9112 s 13.90/13.94 c 13.90/13.94 c core #72 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 87 13.90/13.94 c Current CPU time: 12.0592 s 13.90/13.94 c 13.90/13.94 c core #73 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 88 13.90/13.94 c Current CPU time: 12.2141 s 13.90/13.94 c 13.90/13.94 c core #74 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 89 13.90/13.94 c Current CPU time: 12.3621 s 13.90/13.94 c 13.90/13.94 c core #75 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 90 13.90/13.94 c Current CPU time: 12.5191 s 13.90/13.94 c 13.90/13.94 c core #76 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 91 13.90/13.94 c Current CPU time: 12.6671 s 13.90/13.94 c 13.90/13.94 c core #77 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 2 Total Weight: 93 13.90/13.94 c Current CPU time: 12.824 s 13.90/13.94 c 13.90/13.94 c core #78 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 94 13.90/13.94 c Current CPU time: 12.972 s 13.90/13.94 c 13.90/13.94 c core #79 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 3 Total Weight: 97 13.90/13.94 c Current CPU time: 13.129 s 13.90/13.94 c 13.90/13.94 c core #80 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 98 13.90/13.94 c Current CPU time: 13.278 s 13.90/13.94 c 13.90/13.94 c core #81 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 99 13.90/13.94 c Current CPU time: 13.434 s 13.90/13.94 c 13.90/13.94 c core #82 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 901 Core Weight: 1 Total Weight: 100 13.90/13.94 c Current CPU time: 13.5869 s 13.90/13.94 c 13.90/13.94 c core #83 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 101 13.90/13.94 c Current CPU time: 13.7439 s 13.90/13.94 c 13.90/13.94 c core #84 13.90/13.94 c 13.90/13.94 c 13.90/13.94 c Core size: 101 Core Weight: 1 Total Weight: 102 13.90/13.94 c Current CPU time: 13.8949 s 20.49/20.56 c 20.49/20.56 c core #85 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 103 20.49/20.56 c Current CPU time: 14.0519 s 20.49/20.56 c 20.49/20.56 c core #86 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 2 Total Weight: 105 20.49/20.56 c Current CPU time: 14.2038 s 20.49/20.56 c 20.49/20.56 c core #87 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 106 20.49/20.56 c Current CPU time: 14.3628 s 20.49/20.56 c 20.49/20.56 c core #88 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 107 20.49/20.56 c Current CPU time: 14.5148 s 20.49/20.56 c 20.49/20.56 c core #89 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 2 Total Weight: 109 20.49/20.56 c Current CPU time: 14.6718 s 20.49/20.56 c 20.49/20.56 c core #90 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 301 Core Weight: 2 Total Weight: 111 20.49/20.56 c Current CPU time: 14.8217 s 20.49/20.56 c 20.49/20.56 c core #91 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 112 20.49/20.56 c Current CPU time: 14.9807 s 20.49/20.56 c 20.49/20.56 c core #92 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 113 20.49/20.56 c Current CPU time: 15.1317 s 20.49/20.56 c 20.49/20.56 c core #93 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 114 20.49/20.56 c Current CPU time: 15.2887 s 20.49/20.56 c 20.49/20.56 c core #94 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 115 20.49/20.56 c Current CPU time: 15.4397 s 20.49/20.56 c 20.49/20.56 c core #95 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 116 20.49/20.56 c Current CPU time: 15.5986 s 20.49/20.56 c 20.49/20.56 c core #96 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 117 20.49/20.56 c Current CPU time: 15.7486 s 20.49/20.56 c 20.49/20.56 c core #97 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 2501 Core Weight: 1 Total Weight: 118 20.49/20.56 c Current CPU time: 15.9226 s 20.49/20.56 c 20.49/20.56 c core #98 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 119 20.49/20.56 c Current CPU time: 16.0776 s 20.49/20.56 c 20.49/20.56 c core #99 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 120 20.49/20.56 c Current CPU time: 16.2375 s 20.49/20.56 c 20.49/20.56 c core #100 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 2 Total Weight: 122 20.49/20.56 c Current CPU time: 16.3895 s 20.49/20.56 c 20.49/20.56 c core #101 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 2 Total Weight: 124 20.49/20.56 c Current CPU time: 16.5485 s 20.49/20.56 c 20.49/20.56 c core #102 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 125 20.49/20.56 c Current CPU time: 16.7005 s 20.49/20.56 c 20.49/20.56 c core #103 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 126 20.49/20.56 c Current CPU time: 16.8604 s 20.49/20.56 c 20.49/20.56 c core #104 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 127 20.49/20.56 c Current CPU time: 17.0134 s 20.49/20.56 c 20.49/20.56 c core #105 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 128 20.49/20.56 c Current CPU time: 17.1724 s 20.49/20.56 c 20.49/20.56 c core #106 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 129 20.49/20.56 c Current CPU time: 17.3244 s 20.49/20.56 c 20.49/20.56 c core #107 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 130 20.49/20.56 c Current CPU time: 17.4853 s 20.49/20.56 c 20.49/20.56 c core #108 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 131 20.49/20.56 c Current CPU time: 17.6383 s 20.49/20.56 c 20.49/20.56 c core #109 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 1586 Core Weight: 1 Total Weight: 132 20.49/20.56 c Current CPU time: 17.8073 s 20.49/20.56 c 20.49/20.56 c core #110 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 497 Core Weight: 1 Total Weight: 133 20.49/20.56 c Current CPU time: 17.9653 s 20.49/20.56 c 20.49/20.56 c core #111 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 2011 Core Weight: 1 Total Weight: 134 20.49/20.56 c Current CPU time: 18.1402 s 20.49/20.56 c 20.49/20.56 c core #112 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 1724 Core Weight: 1 Total Weight: 135 20.49/20.56 c Current CPU time: 18.3122 s 20.49/20.56 c 20.49/20.56 c core #113 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 2 Total Weight: 137 20.49/20.56 c Current CPU time: 18.4782 s 20.49/20.56 c 20.49/20.56 c core #114 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 881 Core Weight: 1 Total Weight: 138 20.49/20.56 c Current CPU time: 18.6392 s 20.49/20.56 c 20.49/20.56 c core #115 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 495 Core Weight: 1 Total Weight: 139 20.49/20.56 c Current CPU time: 18.8071 s 20.49/20.56 c 20.49/20.56 c core #116 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 1635 Core Weight: 1 Total Weight: 140 20.49/20.56 c Current CPU time: 18.9721 s 20.49/20.56 c 20.49/20.56 c core #117 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 101 Core Weight: 1 Total Weight: 141 20.49/20.56 c Current CPU time: 19.1411 s 20.49/20.56 c 20.49/20.56 c core #118 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 1077 Core Weight: 1 Total Weight: 142 20.49/20.56 c Current CPU time: 19.3041 s 20.49/20.56 c 20.49/20.56 c core #119 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 400 Core Weight: 1 Total Weight: 143 20.49/20.56 c Current CPU time: 19.477 s 20.49/20.56 c 20.49/20.56 c core #120 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 1723 Core Weight: 1 Total Weight: 144 20.49/20.56 c Current CPU time: 19.644 s 20.49/20.56 c 20.49/20.56 c core #121 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 399 Core Weight: 1 Total Weight: 145 20.49/20.56 c Current CPU time: 19.822 s 20.49/20.56 c 20.49/20.56 c core #122 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 790 Core Weight: 1 Total Weight: 146 20.49/20.56 c Current CPU time: 19.992 s 20.49/20.56 c 20.49/20.56 c core #123 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 695 Core Weight: 1 Total Weight: 147 20.49/20.56 c Current CPU time: 20.1639 s 20.49/20.56 c 20.49/20.56 c core #124 20.49/20.56 c 20.49/20.56 c 20.49/20.56 c Core size: 597 Core Weight: 1 Total Weight: 148 20.49/20.56 c Current CPU time: 20.3329 s 20.49/20.56 c 20.49/20.56 c ============================[ Search Statistics ]============================== 20.49/20.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.49/20.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.49/20.56 c =============================================================================== 20.49/20.56 c | 0 | 32941 699322 56998 | 233107 0 -nan | 0.000 % | 20.49/20.57 c =============================================================================== 20.69/20.74 c core #125 20.69/20.74 c 20.69/20.74 c 20.69/20.74 c Core size: 897 Core Weight: 1 Total Weight: 149 20.69/20.74 c Current CPU time: 20.5159 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 | 33945 700171 58307 | 233390 0 -nan | 0.000 % | 20.91/20.96 c =============================================================================== 21.09/21.15 c core #126 21.09/21.15 c 21.09/21.15 c 21.09/21.15 c Core size: 4565 Core Weight: 1 Total Weight: 150 21.09/21.15 c Current CPU time: 20.9048 s 21.09/21.15 c 21.09/21.15 c ============================[ Search Statistics ]============================== 21.09/21.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.15 c =============================================================================== 21.09/21.15 c | 0 | 38639 704549 64214 | 234849 0 -nan | 0.000 % | 21.09/21.18 c =============================================================================== 21.29/21.36 c core #127 21.29/21.36 c 21.29/21.36 c 21.29/21.36 c Core size: 1452 Core Weight: 1 Total Weight: 151 21.29/21.36 c Current CPU time: 21.1228 s 21.29/21.36 c 21.29/21.36 c ============================[ Search Statistics ]============================== 21.29/21.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.29/21.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.29/21.36 c =============================================================================== 21.29/21.36 c | 0 | 40099 705923 66175 | 235307 0 -nan | 0.000 % | 21.39/21.41 c | 100 | 40088 705923 66175 | 258838 100 956 | 19.319 % | 21.69/21.79 c =============================================================================== 21.90/21.98 c core #128 21.90/21.98 c 21.90/21.98 c 21.90/21.98 c Core size: 5999 Core Weight: 1 Total Weight: 152 21.90/21.98 c Current CPU time: 21.7277 s 21.90/21.98 c 21.90/21.98 c ============================[ Search Statistics ]============================== 21.90/21.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.90/21.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.90/21.98 c =============================================================================== 21.90/21.98 c | 0 | 46245 711521 74246 | 237173 0 -nan | 0.000 % | 22.01/22.05 c | 100 | 46245 711521 74246 | 260891 100 1131 | 16.921 % | 22.09/22.18 c | 255 | 46245 711521 74246 | 286980 255 1358 | 16.921 % | 22.29/22.32 c =============================================================================== 22.49/22.50 c core #129 22.49/22.50 c 22.49/22.50 c 22.49/22.50 c Core size: 1656 Core Weight: 1 Total Weight: 153 22.49/22.50 c Current CPU time: 22.2516 s 22.49/22.50 c 22.49/22.50 c ============================[ Search Statistics ]============================== 22.49/22.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.49/22.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.49/22.50 c =============================================================================== 22.49/22.50 c | 0 | 47903 713057 76484 | 237685 0 -nan | 0.000 % | 22.49/22.56 c | 101 | 47902 713057 76484 | 261454 101 799 | 16.413 % | 22.59/22.65 c | 251 | 47898 713057 76484 | 287599 251 997 | 16.420 % | 22.69/22.78 c | 476 | 47894 713057 76484 | 316359 476 1034 | 16.427 % | 23.79/23.85 c =============================================================================== 23.99/24.05 c core #130 23.99/24.05 c 23.99/24.05 c 23.99/24.05 c Core size: 9096 Core Weight: 1 Total Weight: 154 23.99/24.05 c Current CPU time: 23.7774 s 23.99/24.05 c 23.99/24.05 c ============================[ Search Statistics ]============================== 23.99/24.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.99/24.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.99/24.05 c =============================================================================== 23.99/24.05 c | 0 | 57061 721325 88894 | 240441 0 -nan | 0.000 % | 24.10/24.14 c | 100 | 57061 721325 88894 | 264485 100 1207 | 14.041 % | 24.29/24.30 c | 250 | 57061 721325 88894 | 290934 250 810 | 14.041 % | 24.49/24.54 c | 475 | 57061 721325 88894 | 320027 475 825 | 14.041 % | 24.79/24.86 c | 812 | 57061 721325 88894 | 352030 812 893 | 14.041 % | 25.49/25.54 c | 1318 | 57061 721325 88894 | 387233 1318 1067 | 14.041 % | 26.29/26.36 c | 2077 | 57061 721325 88894 | 425957 2077 1267 | 14.041 % | 27.69/27.73 c | 3216 | 57061 721325 88894 | 468552 3216 1391 | 14.041 % | 29.89/29.93 c | 4929 | 57061 721325 88894 | 515408 4929 1522 | 14.041 % | 33.19/33.28 c | 7491 | 57061 721325 88894 | 566948 7491 1610 | 14.041 % | 39.79/39.82 c | 11338 | 57057 721325 88894 | 623643 11338 2374 | 14.047 % | 50.19/50.28 c | 17107 | 57053 721325 88894 | 686008 17107 2856 | 14.054 % | 67.00/67.03 c =============================================================================== 67.29/67.35 c core #131 67.29/67.35 c 67.29/67.35 c 67.29/67.35 c Core size: 11390 Core Weight: 1 Total Weight: 155 67.29/67.35 c Current CPU time: 66.9448 s 67.29/67.35 c 67.29/67.35 c ============================[ Search Statistics ]============================== 67.29/67.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.29/67.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.29/67.35 c =============================================================================== 67.29/67.35 c | 0 | 68513 730530 105330 | 243510 0 -nan | 0.000 % | 67.39/67.42 c | 100 | 68513 730530 105330 | 267861 100 873 | 11.875 % | 67.49/67.58 c | 251 | 68513 730530 105330 | 294647 251 485 | 11.875 % | 67.79/67.84 c | 479 | 68513 730530 105330 | 324111 479 795 | 11.875 % | 68.21/68.23 c | 818 | 68513 730530 105330 | 356522 818 855 | 11.875 % | 68.89/68.98 c | 1324 | 68513 730530 105330 | 392175 1324 1342 | 11.875 % | 69.79/69.85 c | 2085 | 68513 730530 105330 | 431392 2085 1237 | 11.875 % | 71.59/71.67 c | 3225 | 68513 730530 105330 | 474532 3225 1162 | 11.875 % | 74.59/74.62 c | 4935 | 68513 730530 105330 | 521985 4935 1225 | 11.875 % | 78.29/78.31 c | 7497 | 68513 730530 105330 | 574183 7497 1069 | 11.875 % | 85.70/85.73 c | 11341 | 68513 730530 105330 | 631602 11341 1490 | 11.875 % | 96.81/96.88 c | 17108 | 68512 730530 105330 | 694762 17108 1658 | 11.876 % | 115.59/115.60 c | 25757 | 68512 730530 105330 | 764238 25757 2112 | 11.876 % | 142.80/142.89 c | 38733 | 68512 730530 105330 | 840662 38733 2190 | 11.876 % | 195.60/195.68 c | 58195 | 68512 730530 105330 | 924728 58195 2587 | 11.876 % | 269.10/269.11 c | 87387 | 68512 730530 105330 | 1017201 87387 2528 | 11.876 % | 412.10/412.18 c | 131176 | 68512 730530 105330 | 1118921 131176 2798 | 11.876 % | 717.31/717.31 c | 196860 | 68509 730530 105330 | 1230814 196860 3327 | 11.880 % | 1290.72/1290.79 c | 295386 | 68509 730530 105330 | 1353895 295386 3596 | 11.880 % |
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-3460840-1307077499/watcher-3460840-1307077499 -o /tmp/evaluation-result-3460840-1307077499/solver-3460840-1307077499 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460840-1307077499.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.13 2/485 3968 /proc/meminfo: memFree=21556016/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=20548 CPUtime=0 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 665 0 0 0 0 0 0 0 25 0 1 0 551941194 21041152 618 33554432000 4194304 5714214 140734562343504 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 5137 620 173 372 0 554 0 [startup+0.035543 s] /proc/loadavg: 2.00 2.02 2.13 2/485 3968 /proc/meminfo: memFree=21556016/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=22840 CPUtime=0.03 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1318 0 0 0 3 0 0 0 25 0 1 0 551941194 23388160 1271 33554432000 4194304 5714214 140734562343504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 5710 1271 284 372 0 1127 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 22840 [startup+0.100511 s] /proc/loadavg: 2.00 2.02 2.13 2/485 3968 /proc/meminfo: memFree=21556016/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=25948 CPUtime=0.09 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 2342 0 0 0 9 0 0 0 25 0 1 0 551941194 26570752 2262 33554432000 4194304 5714214 140734562343504 18446744073709551615 4226564 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 6487 2262 525 372 0 1904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25948 [startup+0.300512 s] /proc/loadavg: 2.00 2.02 2.13 2/485 3968 /proc/meminfo: memFree=21556016/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=36040 CPUtime=0.29 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 5667 0 0 0 29 0 0 0 25 0 1 0 551941194 36904960 5393 33554432000 4194304 5714214 140734562343504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 9010 5393 1256 372 0 4427 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36040 [startup+0.700468 s] /proc/loadavg: 2.00 2.02 2.13 2/485 3968 /proc/meminfo: memFree=21556016/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=54796 CPUtime=0.69 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 11995 0 0 0 68 1 0 0 25 0 1 0 551941194 56111104 11464 33554432000 4194304 5714214 140734562343504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 13699 11464 2726 372 0 9116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 54796 [startup+1.50034 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21481128/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=159860 CPUtime=1.49 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 44344 0 0 0 145 4 0 0 18 0 1 0 551941194 163696640 39092 33554432000 4194304 5714214 140734562343504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 39965 39099 172 372 0 39590 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159860 [startup+3.10106 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21231640/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=178336 CPUtime=3.09 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 50961 0 0 0 305 4 0 0 21 0 1 0 551941194 182616064 42964 33554432000 4194304 5714214 140734562343504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 44584 42964 175 372 0 44209 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 178336 [startup+6.30049 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3987 /proc/meminfo: memFree=21198408/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=178336 CPUtime=6.3 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 50969 0 0 0 625 5 0 0 25 0 1 0 551941194 182616064 42972 33554432000 4194304 5714214 140734562343504 18446744073709551615 4976474 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 44584 42972 175 372 0 44209 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 178336 [startup+12.7004 s] /proc/loadavg: 2.00 2.02 2.13 3/489 3988 /proc/meminfo: memFree=21194120/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=180156 CPUtime=12.7 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 52318 0 0 0 1265 5 0 0 25 0 1 0 551941194 184479744 44321 33554432000 4194304 5714214 140734562343504 18446744073709551615 4342288 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 45039 44321 175 372 0 44664 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 180156 [startup+25.5011 s] /proc/loadavg: 2.00 2.02 2.12 3/489 3988 /proc/meminfo: memFree=21133728/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=211676 CPUtime=25.49 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 66502 0 0 0 2541 8 0 0 19 0 1 0 551941194 216756224 51014 33554432000 4194304 5714214 140734562343504 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 52919 51014 180 372 0 52544 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 211676 [startup+51.1006 s] /proc/loadavg: 2.05 2.03 2.12 3/489 3989 /proc/meminfo: memFree=20904076/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=373232 CPUtime=51.09 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 108230 0 0 0 5095 14 0 0 25 0 1 0 551941194 382189568 92742 33554432000 4194304 5714214 140734562343504 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 93308 92742 180 372 0 92933 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 373232 [startup+102.319 s] /proc/loadavg: 2.02 2.03 2.11 3/489 3990 /proc/meminfo: memFree=20479692/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=528696 CPUtime=102.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 146049 0 0 0 10208 23 0 0 25 0 1 0 551941194 541384704 130561 33554432000 4194304 5714214 140734562343504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 132174 130561 180 372 0 131799 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 528696 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.10 3/489 3992 /proc/meminfo: memFree=20105196/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=585820 CPUtime=162.29 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 160336 0 0 0 16200 29 0 0 25 0 1 0 551941194 599879680 144848 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 146455 144848 180 372 0 146080 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 585820 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.09 3/489 3993 /proc/meminfo: memFree=19537868/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=849592 CPUtime=222.3 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 226252 0 0 0 22186 44 0 0 25 0 1 0 551941194 869982208 210764 33554432000 4194304 5714214 140734562343504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 212398 210764 180 372 0 212023 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 849592 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.08 3/489 3995 /proc/meminfo: memFree=19049048/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=1089564 CPUtime=282.3 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 286249 0 0 0 28174 56 0 0 25 0 1 0 551941194 1115713536 270761 33554432000 4194304 5714214 140734562343504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 272391 270761 180 372 0 272016 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1089564 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.08 3/489 3996 /proc/meminfo: memFree=18591592/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=1315512 CPUtime=342.3 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 342663 0 0 0 34164 66 0 0 25 0 1 0 551941194 1347084288 327175 33554432000 4194304 5714214 140734562343504 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 328878 327175 180 372 0 328503 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1315512 [startup+402.301 s] /proc/loadavg: 2.06 2.01 2.08 3/489 3998 /proc/meminfo: memFree=18096292/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=1596020 CPUtime=402.3 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 412799 0 0 0 40153 77 0 0 25 0 1 0 551941194 1634324480 397311 33554432000 4194304 5714214 140734562343504 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 399005 397311 180 372 0 398630 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1596020 [startup+462.3 s] /proc/loadavg: 2.07 2.03 2.08 3/489 4000 /proc/meminfo: memFree=17621788/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=1833756 CPUtime=462.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 472143 0 0 0 46143 88 0 0 25 0 1 0 551941194 1877766144 456655 33554432000 4194304 5714214 140734562343504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 458439 456655 180 372 0 458064 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1833756 [startup+522.301 s] /proc/loadavg: 2.02 2.02 2.07 3/489 4001 /proc/meminfo: memFree=17191108/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=2076976 CPUtime=522.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 532928 0 0 0 52131 100 0 0 25 0 1 0 551941194 2126823424 517440 33554432000 4194304 5714214 140734562343504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 519244 517440 180 372 0 518869 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 2076976 [startup+582.301 s] /proc/loadavg: 2.08 2.04 2.08 3/489 4003 /proc/meminfo: memFree=16725340/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=2300392 CPUtime=582.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 588801 0 0 0 58120 111 0 0 25 0 1 0 551941194 2355601408 573313 33554432000 4194304 5714214 140734562343504 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 575098 573313 180 372 0 574723 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2300392 [startup+642.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.05 3/489 4011 /proc/meminfo: memFree=14839548/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=3291740 CPUtime=882.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 836426 0 0 0 88075 156 0 0 25 0 1 0 551941194 3370741760 820938 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 822935 820938 180 372 0 822560 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 3291740 [startup+942.301 s] /proc/loadavg: 2.16 2.04 2.06 3/489 4012 /proc/meminfo: memFree=14482780/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=3492456 CPUtime=942.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 886604 0 0 0 94067 164 0 0 25 0 1 0 551941194 3576274944 871116 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 873114 871116 180 372 0 872739 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 3492456 [startup+1002.3 s] /proc/loadavg: 2.13 2.05 2.06 3/489 4014 /proc/meminfo: memFree=14104804/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=3631172 CPUtime=1002.31 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 921236 0 0 0 100060 171 0 0 25 0 1 0 551941194 3718320128 905748 33554432000 4194304 5714214 140734562343504 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 907793 905748 180 372 0 907418 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 3631172 [startup+1062.3 s] /proc/loadavg: 2.05 2.04 2.05 3/489 4015 /proc/meminfo: memFree=13944696/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=3791016 CPUtime=1062.32 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 961148 0 0 0 106055 177 0 0 25 0 1 0 551941194 3882000384 945660 33554432000 4194304 5714214 140734562343504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 947754 945660 180 372 0 947379 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 3791016 [startup+1122.3 s] /proc/loadavg: 2.11 2.06 2.06 3/489 4017 /proc/meminfo: memFree=13775136/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=3959516 CPUtime=1122.32 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1003252 0 0 0 112045 187 0 0 25 0 1 0 551941194 4054544384 987764 33554432000 4194304 5714214 140734562343504 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 989879 987764 180 372 0 989504 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 3959516 [startup+1182.3 s] /proc/loadavg: 2.08 2.06 2.06 3/489 4019 /proc/meminfo: memFree=13623580/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4111128 CPUtime=1182.32 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1041179 0 0 0 118035 197 0 0 25 0 1 0 551941194 4209795072 1025691 33554432000 4194304 5714214 140734562343504 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1027782 1025691 180 372 0 1027407 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 4111128 [startup+1242.3 s] /proc/loadavg: 2.03 2.05 2.05 3/489 4020 /proc/meminfo: memFree=13444872/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4288988 CPUtime=1242.32 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1085654 0 0 0 124025 207 0 0 25 0 1 0 551941194 4391923712 1070166 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1072247 1070166 180 372 0 1071872 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 4288988 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.04 3/489 4022 /proc/meminfo: memFree=13332124/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4399284 CPUtime=1302.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1113187 0 0 0 130020 213 0 0 25 0 1 0 551941194 4504866816 1097699 33554432000 4194304 5714214 140734562343504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1099821 1097699 180 372 0 1099446 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 4399284 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.04 3/489 4024 /proc/meminfo: memFree=13208596/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4524744 CPUtime=1362.32 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1144574 0 0 0 136013 219 0 0 25 0 1 0 551941194 4633337856 1129086 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1131186 1129086 180 372 0 1130811 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 4524744 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.03 3/489 4025 /proc/meminfo: memFree=13079600/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4650108 CPUtime=1422.34 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1175897 0 0 0 142008 226 0 0 25 0 1 0 551941194 4761710592 1160409 33554432000 4194304 5714214 140734562343504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1162527 1160409 180 372 0 1162152 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 4650108 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.03 3/489 4027 /proc/meminfo: memFree=12955592/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4775512 CPUtime=1482.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1206995 0 0 0 148000 233 0 0 25 0 1 0 551941194 4890124288 1191507 33554432000 4194304 5714214 140734562343504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1193878 1191507 180 372 0 1193503 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 4775512 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 2.03 3/489 4028 /proc/meminfo: memFree=12808260/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=4922492 CPUtime=1542.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1243693 0 0 0 153991 242 0 0 25 0 1 0 551941194 5040631808 1228205 33554432000 4194304 5714214 140734562343504 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1230623 1228205 180 372 0 1230248 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 4922492 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.03 3/489 4030 /proc/meminfo: memFree=12610828/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=5120640 CPUtime=1602.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1293255 0 0 0 159982 251 0 0 25 0 1 0 551941194 5243535360 1277767 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1280160 1277767 180 372 0 1279785 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 5120640 [startup+1662.3 s] /proc/loadavg: 2.16 2.06 2.04 3/489 4032 /proc/meminfo: memFree=12473056/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=5256632 CPUtime=1662.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1327212 0 0 0 165973 260 0 0 25 0 1 0 551941194 5382791168 1311724 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1314158 1311724 180 372 0 1313783 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 5256632 [startup+1722.3 s] /proc/loadavg: 2.18 2.08 2.04 3/489 4033 /proc/meminfo: memFree=12283916/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=5448092 CPUtime=1722.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1375107 0 0 0 171964 269 0 0 25 0 1 0 551941194 5578846208 1359619 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1362023 1359619 180 372 0 1361648 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 5448092 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.03 3/489 4035 /proc/meminfo: memFree=12146376/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=5580516 CPUtime=1782.33 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1408122 0 0 0 177957 276 0 0 25 0 1 0 551941194 5714448384 1392634 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319448 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1395129 1392634 180 372 0 1394754 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 5580516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.06 2.03 3/489 4035 /proc/meminfo: memFree=12102716/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=5624660 CPUtime=1800.04 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4202496 1419160 0 0 0 179726 278 0 0 25 0 1 0 551941194 5759651840 1403672 33554432000 4194304 5714214 140734562343504 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3968/statm: 1406165 1403672 180 372 0 1405790 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 5624660 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.05 2.06 2.03 3/489 4035 /proc/meminfo: memFree=12102716/32951124 swapFree=46575304/67111528 [pid=3968] ppid=3966 vsize=0 CPUtime=1800.23 cores=0,2,4,6 /proc/3968/stat : 3968 (wbo1.6) R 3966 3968 31334 0 -1 4203524 1419162 0 0 0 179727 296 0 0 25 0 1 0 551941194 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/3968/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.24 CPU time (s): 1800.28 CPU user time (s): 1797.28 CPU system time (s): 2.99754 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 5624660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.28 system time used= 2.99754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1419162 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= 10 involuntary context switches= 18992 runsolver used 9.1846 second user time and 18.9271 second system time The end
Begin job on node107 at 2011-06-03 07:04:59 IDJOB=3460840 IDBENCH=1964 IDSOLVER=1953 FILE ID=node107/3460840-1307077499 RUNJOBID= node107-1307075697-3850 PBS_JOBID= 13497881 Free space on /tmp= 73840 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460840-1307077499/watcher-3460840-1307077499 -o /tmp/evaluation-result-3460840-1307077499/solver-3460840-1307077499 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460840-1307077499.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=101005938 node107.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.829 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.65 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.829 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.829 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.67 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.829 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.82 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.829 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.74 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.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21556296 kB Buffers: 295948 kB Cached: 2044084 kB SwapCached: 22548 kB Active: 9124876 kB Inactive: 1922804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21556296 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 21272 kB Writeback: 0 kB AnonPages: 8702640 kB Mapped: 32116 kB Slab: 184752 kB PageTables: 94400 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145084712 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= 73824 MiB End job on node107 at 2011-06-03 07:35:01