Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1329.52 | 1329.89 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex1010.pi.opb |
MD5SUM | 225ae73e36cb5800832cbb742bcd7f01 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 268 |
Best CPU time to get the best result obtained on this benchmark | 1800.35 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 251 |
Optimality of the best value was proved | NO |
Number of variables | 25200 |
Total number of constraints | 1468 |
Number of constraints which are clauses | 1468 |
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 | 9 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 25200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 25200 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 25200 |
Number of bits of the biggest sum of numbers | 15 |
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.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680567-1277457441.opb. 0.00/0.00 c Instance file HOME/instance-2680567-1277457441.opb 0.00/0.00 c File size is 1226225 bytes. 0.19/0.21 c Highest Coefficient sum: 173 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.20 s | 0.19/0.21 c | Number Variables: 25200 | 0.19/0.21 c | Number Clauses: 1468 | 0.19/0.21 c | Number Cardinality: 0 | 0.19/0.21 c | Number PB Constraints: 0 | 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 25200 1468 102114 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 446 0.19/0.28 o 446 0.19/0.28 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 25200 1469 127314 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 444 0.29/0.31 o 444 0.29/0.31 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 25200 1470 152514 | 5000 0 nan | 0.000 % | 1.00/1.07 c | 100 | 25200 1470 152514 | 5500 100 515 | 0.000 % | 1.49/1.56 c | 250 | 25200 1470 152514 | 6050 250 557 | 0.000 % | 2.10/2.11 c | 476 | 25200 1470 152514 | 6655 476 570 | 0.000 % | 2.69/2.79 c | 815 | 25200 1470 152514 | 7320 815 581 | 0.000 % | 3.69/3.70 c | 1321 | 25200 1470 152514 | 8052 1321 600 | 0.000 % | 5.40/5.40 c | 2081 | 25200 1470 152514 | 8857 2081 610 | 0.000 % | 7.38/7.41 c | 3221 | 25200 1470 152514 | 9743 3221 624 | 0.000 % | 10.69/10.71 c | 4930 | 25200 1470 152514 | 10717 4930 621 | 0.000 % | 15.49/15.51 c | 7493 | 25200 1470 152514 | 11789 7493 604 | 0.000 % | 22.18/22.27 c | 11338 | 25200 1470 152514 | 12968 11338 600 | 0.000 % | 34.09/34.13 c | 17104 | 25200 1470 152514 | 14265 17104 588 | 0.000 % | 49.39/49.50 c | 25753 | 25200 1470 152514 | 15692 17201 569 | 0.000 % | 83.57/83.66 c | 38727 | 25200 1470 152514 | 17261 21575 584 | 0.000 % | 126.86/126.93 c | 58189 | 25200 1470 152514 | 18987 30214 595 | 0.000 % | 180.74/180.85 c There are 0 assigned variables. 0 in cost function. 184.24/184.32 c core #1 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 59 Core Weight: 1 Total Weight: 1 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #2 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 66 Core Weight: 1 Total Weight: 2 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #3 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 35 Core Weight: 1 Total Weight: 3 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #4 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 51 Core Weight: 1 Total Weight: 4 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #5 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 74 Core Weight: 1 Total Weight: 5 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #6 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 75 Core Weight: 1 Total Weight: 6 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #7 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 49 Core Weight: 1 Total Weight: 7 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #8 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 68 Core Weight: 1 Total Weight: 8 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #9 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 60 Core Weight: 1 Total Weight: 9 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #10 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 67 Core Weight: 1 Total Weight: 10 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #11 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 44 Core Weight: 1 Total Weight: 11 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #12 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 74 Core Weight: 1 Total Weight: 12 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #13 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 49 Core Weight: 1 Total Weight: 13 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #14 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 29 Core Weight: 1 Total Weight: 14 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #15 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c Core size: 37 Core Weight: 1 Total Weight: 15 184.24/184.32 c 184.24/184.32 c 184.24/184.32 c core #16 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 35 Core Weight: 1 Total Weight: 16 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #17 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 68 Core Weight: 1 Total Weight: 17 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #18 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 38 Core Weight: 1 Total Weight: 18 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #19 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 66 Core Weight: 1 Total Weight: 19 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #20 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 114 Core Weight: 1 Total Weight: 20 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #21 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 38 Core Weight: 1 Total Weight: 21 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #22 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 17 Core Weight: 1 Total Weight: 22 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #23 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 51 Core Weight: 1 Total Weight: 23 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #24 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 56 Core Weight: 1 Total Weight: 24 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #25 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 51 Core Weight: 1 Total Weight: 25 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #26 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 92 Core Weight: 1 Total Weight: 26 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #27 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 46 Core Weight: 1 Total Weight: 27 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #28 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 48 Core Weight: 1 Total Weight: 28 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #29 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 62 Core Weight: 1 Total Weight: 29 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #30 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 60 Core Weight: 1 Total Weight: 30 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #31 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 15 Core Weight: 1 Total Weight: 31 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #32 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 52 Core Weight: 1 Total Weight: 32 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #33 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 57 Core Weight: 1 Total Weight: 33 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #34 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 52 Core Weight: 1 Total Weight: 34 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #35 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 54 Core Weight: 1 Total Weight: 35 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #36 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 23 Core Weight: 1 Total Weight: 36 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #37 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 48 Core Weight: 1 Total Weight: 37 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #38 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 23 Core Weight: 1 Total Weight: 38 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #39 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 22 Core Weight: 1 Total Weight: 39 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #40 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 41 Core Weight: 1 Total Weight: 40 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #41 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 51 Core Weight: 1 Total Weight: 41 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #42 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 50 Core Weight: 1 Total Weight: 42 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #43 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 31 Core Weight: 1 Total Weight: 43 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #44 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 56 Core Weight: 1 Total Weight: 44 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #45 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 77 Core Weight: 1 Total Weight: 45 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #46 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 32 Core Weight: 1 Total Weight: 46 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #47 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 98 Core Weight: 1 Total Weight: 47 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #48 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 30 Core Weight: 1 Total Weight: 48 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #49 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 20 Core Weight: 1 Total Weight: 49 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #50 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 30 Core Weight: 1 Total Weight: 50 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #51 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 25 Core Weight: 1 Total Weight: 51 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #52 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 50 Core Weight: 1 Total Weight: 52 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #53 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 48 Core Weight: 1 Total Weight: 53 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #54 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 67 Core Weight: 1 Total Weight: 54 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #55 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 22 Core Weight: 1 Total Weight: 55 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #56 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 33 Core Weight: 1 Total Weight: 56 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #57 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 65 Core Weight: 1 Total Weight: 57 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #58 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 49 Core Weight: 1 Total Weight: 58 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #59 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 55 Core Weight: 1 Total Weight: 59 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c core #60 184.24/184.33 c 184.24/184.33 c 184.24/184.33 c Core size: 59 Core Weight: 1 Total Weight: 60 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #61 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 35 Core Weight: 1 Total Weight: 61 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #62 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 60 Core Weight: 1 Total Weight: 62 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #63 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 22 Core Weight: 1 Total Weight: 63 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #64 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 30 Core Weight: 1 Total Weight: 64 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #65 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 26 Core Weight: 1 Total Weight: 65 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #66 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 21 Core Weight: 1 Total Weight: 66 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #67 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 49 Core Weight: 1 Total Weight: 67 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #68 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 38 Core Weight: 1 Total Weight: 68 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #69 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 39 Core Weight: 1 Total Weight: 69 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #70 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 51 Core Weight: 1 Total Weight: 70 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #71 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 43 Core Weight: 1 Total Weight: 71 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #72 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 16 Core Weight: 1 Total Weight: 72 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #73 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 61 Core Weight: 1 Total Weight: 73 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #74 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 24 Core Weight: 1 Total Weight: 74 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #75 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 63 Core Weight: 1 Total Weight: 75 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #76 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 60 Core Weight: 1 Total Weight: 76 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #77 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 63 Core Weight: 1 Total Weight: 77 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #78 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 73 Core Weight: 1 Total Weight: 78 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #79 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 59 Core Weight: 1 Total Weight: 79 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #80 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 53 Core Weight: 1 Total Weight: 80 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #81 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 38 Core Weight: 1 Total Weight: 81 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #82 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 95 Core Weight: 1 Total Weight: 82 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #83 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 35 Core Weight: 1 Total Weight: 83 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #84 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 32 Core Weight: 1 Total Weight: 84 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #85 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 55 Core Weight: 1 Total Weight: 85 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #86 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 43 Core Weight: 1 Total Weight: 86 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #87 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 55 Core Weight: 1 Total Weight: 87 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #88 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 99 Core Weight: 1 Total Weight: 88 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #89 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 66 Core Weight: 1 Total Weight: 89 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #90 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 43 Core Weight: 1 Total Weight: 90 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #91 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 25 Core Weight: 1 Total Weight: 91 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #92 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 20 Core Weight: 1 Total Weight: 92 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #93 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 24 Core Weight: 1 Total Weight: 93 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #94 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 64 Core Weight: 1 Total Weight: 94 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #95 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 35 Core Weight: 1 Total Weight: 95 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #96 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 50 Core Weight: 1 Total Weight: 96 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #97 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 47 Core Weight: 1 Total Weight: 97 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #98 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 64 Core Weight: 1 Total Weight: 98 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #99 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 64 Core Weight: 1 Total Weight: 99 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #100 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 70 Core Weight: 1 Total Weight: 100 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #101 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 16 Core Weight: 1 Total Weight: 101 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #102 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 14 Core Weight: 1 Total Weight: 102 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #103 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 40 Core Weight: 1 Total Weight: 103 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #104 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 60 Core Weight: 1 Total Weight: 104 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #105 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 48 Core Weight: 1 Total Weight: 105 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #106 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 61 Core Weight: 1 Total Weight: 106 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #107 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 22 Core Weight: 1 Total Weight: 107 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #108 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 25 Core Weight: 1 Total Weight: 108 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #109 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 24 Core Weight: 1 Total Weight: 109 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #110 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 58 Core Weight: 1 Total Weight: 110 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #111 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 24 Core Weight: 1 Total Weight: 111 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #112 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 92 Core Weight: 1 Total Weight: 112 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #113 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 28 Core Weight: 1 Total Weight: 113 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #114 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 85 Core Weight: 1 Total Weight: 114 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #115 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 32 Core Weight: 1 Total Weight: 115 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #116 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 14 Core Weight: 1 Total Weight: 116 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #117 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 37 Core Weight: 1 Total Weight: 117 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #118 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 42 Core Weight: 1 Total Weight: 118 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c core #119 188.04/188.12 c 188.04/188.12 c 188.04/188.12 c Core size: 34 Core Weight: 1 Total Weight: 119 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #120 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 36 Core Weight: 1 Total Weight: 120 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #121 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 41 Core Weight: 1 Total Weight: 121 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #122 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 83 Core Weight: 1 Total Weight: 122 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #123 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 38 Core Weight: 1 Total Weight: 123 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #124 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 14 Core Weight: 1 Total Weight: 124 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #125 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 18 Core Weight: 1 Total Weight: 125 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #126 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 50 Core Weight: 1 Total Weight: 126 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #127 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 29 Core Weight: 1 Total Weight: 127 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #128 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 104 Core Weight: 1 Total Weight: 128 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #129 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 117 Core Weight: 1 Total Weight: 129 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #130 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 65 Core Weight: 1 Total Weight: 130 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #131 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 85 Core Weight: 1 Total Weight: 131 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #132 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 51 Core Weight: 1 Total Weight: 132 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c core #133 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c Core size: 237 Core Weight: 1 Total Weight: 133 189.14/189.24 c 189.14/189.24 c 189.14/189.24 c ============================[ Search Statistics ]============================== 189.14/189.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.14/189.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.14/189.24 c =============================================================================== 189.14/189.24 c | 0 | 12763 26803 171828 | 8934 0 nan | 0.000 % | 189.14/189.26 c =============================================================================== 189.24/189.34 c core #134 189.24/189.34 c 189.24/189.34 c 189.24/189.34 c Core size: 337 Core Weight: 1 Total Weight: 134 189.24/189.34 c 189.24/189.34 c 189.24/189.34 c ============================[ Search Statistics ]============================== 189.24/189.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.24/189.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.24/189.34 c =============================================================================== 189.24/189.34 c | 0 | 13342 26804 172743 | 8934 0 nan | 0.000 % | 189.24/189.39 c | 100 | 13342 26804 172743 | 9828 100 52 | 58.349 % | 189.24/189.39 c =============================================================================== 189.34/189.47 c core #135 189.34/189.47 c 189.34/189.47 c 189.34/189.47 c Core size: 146 Core Weight: 1 Total Weight: 135 189.34/189.47 c 189.34/189.47 c 189.34/189.47 c ============================[ Search Statistics ]============================== 189.34/189.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.34/189.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.34/189.47 c =============================================================================== 189.34/189.47 c | 0 | 13622 26805 173166 | 8935 0 nan | 0.000 % | 189.44/189.51 c | 100 | 13622 26805 173166 | 9828 100 53 | 57.664 % | 189.44/189.57 c =============================================================================== 189.54/189.65 c core #136 189.54/189.65 c 189.54/189.65 c 189.54/189.65 c Core size: 133 Core Weight: 1 Total Weight: 136 189.54/189.65 c 189.54/189.65 c 189.54/189.65 c ============================[ Search Statistics ]============================== 189.54/189.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.54/189.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.54/189.65 c =============================================================================== 189.54/189.65 c | 0 | 13959 26806 173594 | 8935 0 nan | 0.000 % | 189.54/189.66 c =============================================================================== 189.64/189.75 c core #137 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c Core size: 72 Core Weight: 1 Total Weight: 137 189.64/189.75 c 189.64/189.75 c 189.64/189.75 c ============================[ Search Statistics ]============================== 189.64/189.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.64/189.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.64/189.75 c =============================================================================== 189.64/189.75 c | 0 | 14089 26807 173793 | 8935 0 nan | 0.000 % | 189.64/189.79 c | 100 | 14088 26807 173793 | 9829 100 65 | 57.326 % | 189.74/189.84 c | 251 | 14088 26807 173793 | 10812 251 85 | 57.326 % | 189.84/189.92 c | 476 | 14088 26807 173793 | 11893 476 94 | 57.326 % | 189.94/190.04 c | 819 | 13815 26807 173793 | 13082 818 120 | 57.326 % | 190.15/190.24 c | 1333 | 13815 26807 173793 | 14390 1332 132 | 57.326 % | 190.44/190.53 c | 2094 | 13812 26807 173793 | 15830 2092 127 | 57.335 % | 190.74/190.86 c =============================================================================== 190.84/190.97 c core #138 190.84/190.97 c 190.84/190.97 c 190.84/190.97 c Core size: 926 Core Weight: 1 Total Weight: 138 190.84/190.97 c 190.84/190.97 c 190.84/190.97 c ============================[ Search Statistics ]============================== 190.84/190.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.84/190.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.84/190.97 c =============================================================================== 190.84/190.97 c | 0 | 15349 26808 175970 | 8936 0 nan | 0.000 % | 190.94/191.03 c | 100 | 15349 26808 175970 | 9829 100 305 | 54.248 % | 191.03/191.14 c | 250 | 15339 26808 175970 | 10812 250 273 | 54.260 % | 191.14/191.23 c | 475 | 15339 26808 175970 | 11893 475 301 | 54.260 % | 191.54/191.69 c | 813 | 15227 26808 175970 | 13083 810 327 | 54.260 % | 192.35/192.47 c | 1324 | 15225 26808 175970 | 14391 1320 319 | 54.266 % | 193.24/193.35 c | 2083 | 15225 26808 175970 | 15830 2079 271 | 54.266 % | 193.83/193.96 c =============================================================================== 193.94/194.04 c core #139 193.94/194.04 c 193.94/194.04 c 193.94/194.04 c Core size: 113 Core Weight: 1 Total Weight: 139 193.94/194.04 c 193.94/194.04 c 193.94/194.04 c ============================[ Search Statistics ]============================== 193.94/194.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.04 c =============================================================================== 193.94/194.04 c | 0 | 15555 26809 176286 | 8936 0 nan | 0.000 % | 193.94/194.10 c | 100 | 15555 26809 176286 | 9829 100 246 | 53.428 % | 194.04/194.10 c =============================================================================== 194.04/194.18 c core #140 194.04/194.18 c 194.04/194.18 c 194.04/194.18 c Core size: 66 Core Weight: 1 Total Weight: 140 194.04/194.18 c 194.04/194.18 c 194.04/194.18 c ============================[ Search Statistics ]============================== 194.04/194.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.04/194.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.04/194.18 c =============================================================================== 194.04/194.18 c | 0 | 15677 26810 176471 | 8936 0 nan | 0.000 % | 194.14/194.22 c | 100 | 15676 26810 176471 | 9830 100 23 | 53.154 % | 194.14/194.23 c =============================================================================== 194.24/194.31 c core #141 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c Core size: 78 Core Weight: 1 Total Weight: 141 194.24/194.31 c 194.24/194.31 c 194.24/194.31 c ============================[ Search Statistics ]============================== 194.24/194.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.24/194.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.24/194.31 c =============================================================================== 194.24/194.31 c | 0 | 15767 26811 176638 | 8937 0 nan | 0.000 % | 194.24/194.34 c | 100 | 15767 26811 176638 | 9830 100 26 | 52.990 % | 194.24/194.36 c | 256 | 15767 26811 176638 | 10813 256 67 | 52.990 % | 194.24/194.37 c =============================================================================== 194.34/194.45 c core #142 194.34/194.45 c 194.34/194.45 c 194.34/194.45 c Core size: 204 Core Weight: 1 Total Weight: 142 194.34/194.45 c 194.34/194.45 c 194.34/194.45 c ============================[ Search Statistics ]============================== 194.34/194.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.34/194.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.34/194.45 c =============================================================================== 194.34/194.45 c | 0 | 16075 26812 177149 | 8937 0 nan | 0.000 % | 194.44/194.51 c | 100 | 16075 26812 177149 | 9831 100 244 | 52.360 % | 194.55/194.62 c | 250 | 16075 26812 177149 | 10814 250 216 | 52.360 % | 194.65/194.78 c | 477 | 16075 26812 177149 | 11895 477 174 | 52.360 % | 194.93/195.09 c | 814 | 15906 26812 177149 | 13085 806 186 | 52.867 % | 195.44/195.50 c | 1320 | 15864 26812 177149 | 14393 1232 212 | 52.998 % | 195.74/195.80 c | 2080 | 15839 26812 177149 | 15833 1992 217 | 53.255 % | 195.83/195.93 c =============================================================================== 195.93/196.03 c core #143 195.93/196.03 c 195.93/196.03 c 195.93/196.03 c Core size: 868 Core Weight: 1 Total Weight: 143 195.93/196.03 c 195.93/196.03 c 195.93/196.03 c ============================[ Search Statistics ]============================== 195.93/196.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.93/196.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.93/196.03 c =============================================================================== 195.93/196.03 c | 0 | 17260 26813 179176 | 8937 0 nan | 0.000 % | 195.93/196.09 c | 100 | 17260 26813 179176 | 9831 100 365 | 50.118 % | 196.14/196.29 c | 250 | 17260 26813 179176 | 10814 250 287 | 50.118 % | 196.34/196.43 c | 475 | 17260 26813 179176 | 11896 475 269 | 50.118 % | 196.54/196.60 c | 814 | 17260 26813 179176 | 13085 814 245 | 50.118 % | 196.94/197.04 c | 1321 | 17260 26813 179176 | 14394 1321 339 | 50.118 % | 197.54/197.67 c | 2084 | 17260 26813 179176 | 15833 2084 455 | 50.118 % | 198.94/199.08 c | 3224 | 17260 26813 179176 | 17416 3224 551 | 50.118 % | 201.04/201.18 c | 4940 | 17260 26813 179176 | 19158 4940 517 | 50.118 % | 203.54/203.61 c | 7502 | 17260 26813 179176 | 21074 7502 466 | 50.118 % | 210.53/210.61 c | 11346 | 17260 26813 179176 | 23182 11346 518 | 50.118 % | 220.03/220.15 c | 17112 | 17260 26813 179176 | 25500 17112 569 | 50.118 % | 243.32/243.44 c | 25765 | 17142 26813 179176 | 28050 25764 646 | 50.460 % | 279.72/279.86 c | 38741 | 17142 26813 179176 | 30855 38740 755 | 50.460 % | 316.51/316.65 c | 58203 | 17142 26813 179176 | 33940 21578 762 | 50.460 % | 334.89/335.02 c =============================================================================== 335.50/335.65 c core #144 335.50/335.65 c 335.50/335.65 c 335.50/335.65 c Core size: 1775 Core Weight: 1 Total Weight: 144 335.50/335.65 c 335.50/335.65 c 335.50/335.65 c ============================[ Search Statistics ]============================== 335.50/335.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 335.50/335.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 335.50/335.65 c =============================================================================== 335.50/335.65 c | 0 | 19450 26814 183135 | 8938 0 nan | 0.000 % | 335.60/335.71 c | 101 | 19450 26814 183135 | 9831 101 437 | 46.523 % | 335.60/335.75 c | 253 | 19450 26814 183135 | 10814 253 279 | 46.523 % | 335.79/335.93 c | 479 | 19450 26814 183135 | 11896 479 227 | 46.523 % | 335.79/335.99 c =============================================================================== 335.90/336.07 c core #145 335.90/336.07 c 335.90/336.07 c 335.90/336.07 c Core size: 377 Core Weight: 1 Total Weight: 145 335.90/336.07 c 335.90/336.07 c 335.90/336.07 c ============================[ Search Statistics ]============================== 335.90/336.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 335.90/336.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 335.90/336.07 c =============================================================================== 335.90/336.07 c | 0 | 19964 26815 184025 | 8938 0 nan | 0.000 % | 336.00/336.13 c | 100 | 19964 26815 184025 | 9832 100 341 | 45.672 % | 336.09/336.28 c | 253 | 19964 26815 184025 | 10815 253 322 | 45.672 % | 336.50/336.63 c | 478 | 19964 26815 184025 | 11896 478 305 | 45.672 % | 336.89/337.07 c | 815 | 19964 26815 184025 | 13086 815 375 | 45.672 % | 337.80/337.93 c | 1322 | 19964 26815 184025 | 14395 1322 465 | 45.672 % | 339.20/339.33 c | 2081 | 19964 26815 184025 | 15834 2081 466 | 45.672 % | 340.00/340.19 c | 3224 | 19962 26815 184025 | 17418 3223 432 | 45.677 % | 343.79/343.98 c | 4934 | 19962 26815 184025 | 19160 4933 532 | 45.677 % | 348.80/348.92 c | 7497 | 19962 26815 184025 | 21076 7496 552 | 45.677 % | 354.49/354.61 c | 11341 | 19962 26815 184025 | 23183 11340 623 | 45.677 % | 363.69/363.89 c | 17111 | 19962 26815 184025 | 25502 17110 688 | 45.677 % | 382.78/382.91 c | 25763 | 19962 26815 184025 | 28052 25762 826 | 45.677 % | 413.67/413.88 c | 38752 | 19962 26815 184025 | 30857 38751 955 | 45.677 % | 457.87/458.03 c | 58213 | 19962 26815 184025 | 33943 23042 888 | 45.677 % | 551.95/552.10 c | 87405 | 19962 26815 184025 | 37337 14144 1132 | 45.677 % | 674.51/674.75 c | 131194 | 19960 26815 184025 | 41071 15589 1181 | 45.683 % | 915.33/915.65 c | 196878 | 19956 26815 184025 | 45178 36338 939 | 45.694 % | 1131.37/1131.79 c | 295405 | 19759 26815 184025 | 49696 37926 841 | 46.230 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680567-1277457441/watcher-2680567-1277457441 -o /tmp/evaluation-result-2680567-1277457441/solver-2680567-1277457441 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680567-1277457441.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.04 0.94 3/105 27649 /proc/meminfo: memFree=1255644/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=4644 CPUtime=0 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 463 0 0 0 0 0 0 0 25 0 1 0 87037577 4755456 381 1992294400 134512640 135752675 4289432048 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 1161 381 135 303 0 556 0 [startup+0.068911 s] /proc/loadavg: 1.06 1.04 0.94 3/105 27649 /proc/meminfo: memFree=1255644/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=8088 CPUtime=0.05 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 1361 0 0 0 5 0 0 0 25 0 1 0 87037577 8282112 1279 1992294400 134512640 135752675 4289432048 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 2022 1279 224 303 0 1417 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8088 [startup+0.100914 s] /proc/loadavg: 1.06 1.04 0.94 3/105 27649 /proc/meminfo: memFree=1255644/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=8220 CPUtime=0.09 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 1434 0 0 0 9 0 0 0 25 0 1 0 87037577 8417280 1352 1992294400 134512640 135752675 4289432048 18446744073709551615 134560756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 2055 1352 275 303 0 1450 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8220 [startup+0.300933 s] /proc/loadavg: 1.06 1.04 0.94 3/105 27649 /proc/meminfo: memFree=1255644/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=9480 CPUtime=0.29 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 2676 0 0 0 25 4 0 0 25 0 1 0 87037577 9707520 1843 1992294400 134512640 135752675 4289432048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 2370 1843 143 303 0 2065 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9480 [startup+0.700972 s] /proc/loadavg: 1.06 1.04 0.94 3/105 27649 /proc/meminfo: memFree=1255644/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=9876 CPUtime=0.69 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 2761 0 0 0 63 6 0 0 25 0 1 0 87037577 10113024 1928 1992294400 134512640 135752675 4289432048 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 2469 1928 144 303 0 2164 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9876 [startup+1.50105 s] /proc/loadavg: 1.06 1.04 0.94 2/106 27650 /proc/meminfo: memFree=1248196/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=10272 CPUtime=1.49 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 2853 0 0 0 141 8 0 0 25 0 1 0 87037577 10518528 2020 1992294400 134512640 135752675 4289432048 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 2568 2020 145 303 0 2263 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10272 [startup+3.10121 s] /proc/loadavg: 1.06 1.04 0.94 2/106 27650 /proc/meminfo: memFree=1247204/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=12252 CPUtime=3.09 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 3352 0 0 0 296 13 0 0 25 0 1 0 87037577 12546048 2519 1992294400 134512640 135752675 4289432048 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 3063 2519 145 303 0 2758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12252 [startup+6.30152 s] /proc/loadavg: 1.06 1.04 0.94 2/106 27650 /proc/meminfo: memFree=1242740/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=16476 CPUtime=6.29 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 4423 0 0 0 613 16 0 0 25 0 1 0 87037577 16871424 3590 1992294400 134512640 135752675 4289432048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 4119 3590 145 303 0 3814 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16476 [startup+12.7011 s] /proc/loadavg: 1.05 1.03 0.94 2/106 27652 /proc/meminfo: memFree=1233936/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=24796 CPUtime=12.68 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 6485 0 0 0 1248 20 0 0 25 0 1 0 87037577 25391104 5652 1992294400 134512640 135752675 4289432048 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 6199 5652 145 303 0 5894 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24796 [startup+25.5004 s] /proc/loadavg: 1.04 1.03 0.94 2/106 27652 /proc/meminfo: memFree=1216948/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=41164 CPUtime=25.48 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 10594 0 0 0 2521 27 0 0 25 0 1 0 87037577 42151936 9761 1992294400 134512640 135752675 4289432048 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 10291 9761 145 303 0 9986 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41164 [startup+51.1009 s] /proc/loadavg: 1.03 1.03 0.94 2/106 27652 /proc/meminfo: memFree=1185452/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=73012 CPUtime=51.08 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 18542 0 0 0 5069 39 0 0 25 0 1 0 87037577 74764288 17709 1992294400 134512640 135752675 4289432048 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 18253 17709 145 303 0 17948 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73012 [startup+102.308 s] /proc/loadavg: 1.01 1.02 0.94 2/106 27654 /proc/meminfo: memFree=1134612/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=122964 CPUtime=102.27 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 31048 0 0 0 10171 56 0 0 25 0 1 0 87037577 125915136 30215 1992294400 134512640 135752675 4289432048 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 30741 30215 145 303 0 30436 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 122964 [startup+162.301 s] /proc/loadavg: 1.00 1.02 0.94 2/106 27654 /proc/meminfo: memFree=1071248/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=186872 CPUtime=162.25 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 46994 0 0 0 16152 73 0 0 25 0 1 0 87037577 191356928 46161 1992294400 134512640 135752675 4289432048 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 46718 46161 145 303 0 46413 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 186872 [startup+222.301 s] /proc/loadavg: 1.00 1.01 0.94 2/106 27656 /proc/meminfo: memFree=1051532/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=204872 CPUtime=222.22 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 52394 0 0 0 22102 120 0 0 25 0 1 0 87037577 209788928 50769 1992294400 134512640 135752675 4289432048 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 51218 50769 146 303 0 50913 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 204872 [startup+282.3 s] /proc/loadavg: 1.00 1.01 0.94 2/106 27658 /proc/meminfo: memFree=976884/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=281744 CPUtime=282.21 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 71614 0 0 0 28063 158 0 0 25 0 1 0 87037577 288505856 69989 1992294400 134512640 135752675 4289432048 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 70436 69989 146 303 0 70131 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 281744 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27660 /proc/meminfo: memFree=881528/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=374440 CPUtime=342.2 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 95282 0 0 0 34011 209 0 0 25 0 1 0 87037577 383426560 93157 1992294400 134512640 135752675 4289432048 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 93610 93157 146 303 0 93305 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 374440 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27662 /proc/meminfo: memFree=791008/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=467292 CPUtime=402.18 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 118474 0 0 0 39956 262 0 0 25 0 1 0 87037577 478507008 116349 1992294400 134512640 135752675 4289432048 18446744073709551615 134639528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 116823 116349 146 303 0 116518 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 467292 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27664 /proc/meminfo: memFree=685980/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=570612 CPUtime=462.16 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 144319 0 0 0 45905 311 0 0 25 0 1 0 87037577 584306688 142194 1992294400 134512640 135752675 4289432048 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 142653 142194 146 303 0 142348 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 570612 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27664 /proc/meminfo: memFree=598064/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=659288 CPUtime=522.15 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 166487 0 0 0 51871 344 0 0 25 0 1 0 87037577 675110912 164362 1992294400 134512640 135752675 4289432048 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 164822 164362 146 303 0 164517 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 659288 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27666 /proc/meminfo: memFree=495516/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=760624 CPUtime=582.13 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 191819 0 0 0 57823 390 0 0 25 0 1 0 87037577 778878976 189694 1992294400 134512640 135752675 4289432048 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 190156 189694 146 303 0 189851 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 760624 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27668 /proc/meminfo: memFree=400904/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=854784 CPUtime=642.12 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 215340 0 0 0 63779 433 0 0 25 0 1 0 87037577 875298816 213215 1992294400 134512640 135752675 4289432048 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 213696 213215 146 303 0 213391 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 854784 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27670 /proc/meminfo: memFree=283848/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=972524 CPUtime=702.1 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 244772 0 0 0 69735 475 0 0 25 0 1 0 87037577 995864576 242647 1992294400 134512640 135752675 4289432048 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 243131 242647 146 303 0 242826 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 972524 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27672 /proc/meminfo: memFree=198908/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1056440 CPUtime=762.09 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 265762 0 0 0 75697 512 0 0 25 0 1 0 87037577 1081794560 263637 1992294400 134512640 135752675 4289432048 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 264110 263637 146 303 0 263805 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1056440 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27672 /proc/meminfo: memFree=135544/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1120024 CPUtime=822.07 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 281638 0 0 0 81667 540 0 0 25 0 1 0 87037577 1146904576 279513 1992294400 134512640 135752675 4289432048 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 280006 279513 146 303 0 279701 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1120024 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27674 /proc/meminfo: memFree=66352/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1189068 CPUtime=882.05 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 298882 0 0 0 87634 571 0 0 25 0 1 0 87037577 1217605632 296757 1992294400 134512640 135752675 4289432048 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 297267 296757 146 303 0 296962 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1189068 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27679 /proc/meminfo: memFree=24608/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1266932 CPUtime=942.03 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 318350 0 0 0 93594 609 0 0 25 0 1 0 87037577 1297338368 316225 1992294400 134512640 135752675 4289432048 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 316733 316225 146 303 0 316428 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1266932 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27681 /proc/meminfo: memFree=10580/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1351356 CPUtime=1002.01 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 339434 0 0 0 99547 654 0 0 25 0 1 0 87037577 1383788544 337309 1992294400 134512640 135752675 4289432048 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 337839 337309 146 303 0 337534 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1351356 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27681 /proc/meminfo: memFree=10960/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1457704 CPUtime=1061.99 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 366017 0 0 0 105506 693 0 0 25 0 1 0 87037577 1492688896 363892 1992294400 134512640 135752675 4289432048 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 364426 363892 146 303 0 364121 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1457704 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27683 /proc/meminfo: memFree=9580/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1533436 CPUtime=1121.97 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 384952 0 0 0 111470 727 0 0 25 0 1 0 87037577 1570238464 382827 1992294400 134512640 135752675 4289432048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 383359 382827 146 303 0 383054 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1533436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27685 /proc/meminfo: memFree=10504/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1630232 CPUtime=1181.96 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 409125 0 0 0 117436 760 0 0 25 0 1 0 87037577 1669357568 407000 1992294400 134512640 135752675 4289432048 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 407558 407000 146 303 0 407253 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1630232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27687 /proc/meminfo: memFree=10348/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1716452 CPUtime=1241.94 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 430686 0 0 0 123407 787 0 0 25 0 1 0 87037577 1757646848 428561 1992294400 134512640 135752675 4289432048 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 429113 428561 146 303 0 428808 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1716452 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27689 /proc/meminfo: memFree=9328/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1805924 CPUtime=1301.93 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 453051 0 0 0 129377 816 0 0 25 0 1 0 87037577 1849266176 450926 1992294400 134512640 135752675 4289432048 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 451481 450926 146 303 0 451176 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1805924 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1329.7 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27689 /proc/meminfo: memFree=10128/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=1843204 CPUtime=1329.32 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4202496 462378 0 0 0 132104 828 0 0 25 0 1 0 87037577 1887440896 460253 1992294400 134512640 135752675 4289432048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27649/statm: 460801 460253 146 303 0 460496 0 Current children cumulated CPU time (s) 1329.32 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1329.81 s] /proc/loadavg: 1.00 1.00 0.94 2/107 27690 /proc/meminfo: memFree=1166048/2059040 swapFree=4140364/4192956 [pid=27649] ppid=27647 vsize=0 CPUtime=1329.43 /proc/27649/stat : 27649 (wbo1.4b) R 27647 27649 27340 0 -1 4203524 462378 0 0 0 132104 839 0 0 25 0 1 0 87037577 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27649/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1329.43 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1329.89 CPU time (s): 1329.52 CPU user time (s): 1321.05 CPU system time (s): 8.46671 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1321.05 system time used= 8.46671 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462378 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= 14 involuntary context switches= 1294 runsolver used 2.10868 second user time and 6.39403 second system time The end
Begin job on node089 at 2010-06-25 11:17:21 IDJOB=2680567 IDBENCH=2890 IDSOLVER=1190 FILE ID=node089/2680567-1277457441 PBS_JOBID= 11188101 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680567-1277457441/watcher-2680567-1277457441 -o /tmp/evaluation-result-2680567-1277457441/solver-2680567-1277457441 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680567-1277457441.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 225ae73e36cb5800832cbb742bcd7f01 RANDOM SEED=2052467025 node089.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1256172 kB Buffers: 188816 kB Cached: 504712 kB SwapCached: 5484 kB Active: 204096 kB Inactive: 501944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1256172 kB SwapTotal: 4192956 kB SwapFree: 4140364 kB Dirty: 3884 kB Writeback: 0 kB AnonPages: 11140 kB Mapped: 11956 kB Slab: 75092 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180604 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node089 at 2010-06-25 11:39:33