Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1192.96 | 1193.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 110 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
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 | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
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 | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
Number of bits of the biggest sum of numbers | 13 |
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-2680654-1277453467.opb. 0.00/0.00 c Instance file HOME/instance-2680654-1277453467.opb 0.00/0.00 c File size is 1025835 bytes. 0.09/0.17 c Highest Coefficient sum: 173 0.09/0.17 c ============================[ Problem Statistics ]============================= 0.09/0.17 c | | 0.09/0.17 c | Parsing time: 0.18 s | 0.09/0.17 c | Number Variables: 6139 | 0.09/0.17 c | Number Clauses: 1437 | 0.09/0.17 c | Number Cardinality: 0 | 0.09/0.17 c | Number PB Constraints: 0 | 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 6139 1437 109318 | 5000 0 nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.09/0.20 c New solution: 177 0.09/0.20 o 177 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s 0.09/0.20 c =============================================================================== 0.09/0.20 c | 0 | 6139 1438 115457 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 176 0.19/0.25 o 176 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 65 | 6139 1439 121596 | 5000 65 235 | 0.000 % | 0.29/0.37 c | 165 | 6139 1439 121596 | 5500 165 295 | 0.000 % | 0.39/0.49 c | 315 | 6139 1439 121596 | 6050 315 299 | 0.000 % | 0.59/0.63 c | 540 | 6139 1439 121596 | 6655 540 310 | 0.000 % | 0.79/0.88 c | 877 | 6139 1439 121596 | 7320 877 306 | 0.000 % | 1.10/1.15 c | 1384 | 6139 1439 121596 | 8052 1384 305 | 0.000 % | 1.69/1.71 c | 2145 | 6139 1439 121596 | 8857 2145 303 | 0.000 % | 2.39/2.44 c | 3285 | 6139 1439 121596 | 9743 3285 309 | 0.000 % | 3.59/3.68 c | 4993 | 6139 1439 121596 | 10717 4993 319 | 0.000 % | 5.69/5.79 c | 7555 | 6139 1439 121596 | 11789 7555 332 | 0.000 % | 8.69/8.80 c | 11399 | 6139 1439 121596 | 12968 11399 343 | 0.000 % | 13.39/13.40 c | 17165 | 6139 1439 121596 | 14265 17165 338 | 0.000 % | 20.28/20.38 c | 25815 | 6139 1439 121596 | 15692 17233 297 | 0.000 % | 27.88/27.91 c | 38789 | 6139 1439 121596 | 17261 10769 300 | 0.000 % | 40.58/40.70 c | 58251 | 6139 1439 121596 | 18987 17902 306 | 0.000 % | 61.97/62.08 c | 87444 | 6139 1439 121596 | 20886 19161 281 | 0.000 % | 93.86/93.96 c | 131233 | 6139 1439 121596 | 22974 14906 306 | 0.000 % | 138.34/138.50 c | 196917 | 6139 1439 121596 | 25272 28487 287 | 0.000 % | 181.13/181.27 c There are 0 assigned variables. 0 in cost function. 182.93/183.06 c core #1 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 128 Core Weight: 1 Total Weight: 1 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #2 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 63 Core Weight: 1 Total Weight: 2 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #3 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 62 Core Weight: 1 Total Weight: 3 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #4 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 34 Core Weight: 1 Total Weight: 4 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #5 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 59 Core Weight: 1 Total Weight: 5 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #6 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 41 Core Weight: 1 Total Weight: 6 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #7 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 69 Core Weight: 1 Total Weight: 7 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #8 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 96 Core Weight: 1 Total Weight: 8 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #9 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 43 Core Weight: 1 Total Weight: 9 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #10 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 79 Core Weight: 1 Total Weight: 10 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #11 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 35 Core Weight: 1 Total Weight: 11 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #12 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 60 Core Weight: 1 Total Weight: 12 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #13 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 59 Core Weight: 1 Total Weight: 13 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #14 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 38 Core Weight: 1 Total Weight: 14 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #15 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 95 Core Weight: 1 Total Weight: 15 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #16 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 30 Core Weight: 1 Total Weight: 16 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #17 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 41 Core Weight: 1 Total Weight: 17 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #18 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 27 Core Weight: 1 Total Weight: 18 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #19 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 48 Core Weight: 1 Total Weight: 19 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #20 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 35 Core Weight: 1 Total Weight: 20 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #21 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 6 Core Weight: 1 Total Weight: 21 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #22 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 22 Core Weight: 1 Total Weight: 22 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #23 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 17 Core Weight: 1 Total Weight: 23 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #24 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 70 Core Weight: 1 Total Weight: 24 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #25 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 48 Core Weight: 1 Total Weight: 25 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #26 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 33 Core Weight: 1 Total Weight: 26 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #27 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 42 Core Weight: 1 Total Weight: 27 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #28 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 19 Core Weight: 1 Total Weight: 28 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #29 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 23 Core Weight: 1 Total Weight: 29 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c core #30 182.93/183.06 c 182.93/183.06 c 182.93/183.06 c Core size: 25 Core Weight: 1 Total Weight: 30 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #31 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 59 Core Weight: 1 Total Weight: 31 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #32 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 43 Core Weight: 1 Total Weight: 32 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #33 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 47 Core Weight: 1 Total Weight: 33 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #34 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 11 Core Weight: 1 Total Weight: 34 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #35 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 26 Core Weight: 1 Total Weight: 35 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #36 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 61 Core Weight: 1 Total Weight: 36 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #37 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 18 Core Weight: 1 Total Weight: 37 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #38 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 43 Core Weight: 1 Total Weight: 38 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #39 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 63 Core Weight: 1 Total Weight: 39 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #40 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 23 Core Weight: 1 Total Weight: 40 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #41 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 30 Core Weight: 1 Total Weight: 41 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #42 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 23 Core Weight: 1 Total Weight: 42 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #43 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 62 Core Weight: 1 Total Weight: 43 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #44 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 15 Core Weight: 1 Total Weight: 44 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #45 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 43 Core Weight: 1 Total Weight: 45 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #46 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 45 Core Weight: 1 Total Weight: 46 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #47 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 37 Core Weight: 1 Total Weight: 47 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c core #48 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c Core size: 50 Core Weight: 1 Total Weight: 48 182.93/183.07 c 182.93/183.07 c 182.93/183.07 c ============================[ Search Statistics ]============================== 182.93/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.07 c =============================================================================== 182.93/183.07 c | 0 | 3706 7626 127377 | 5000 0 nan | 0.000 % | 182.93/183.07 c =============================================================================== 183.03/183.11 c core #49 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 119 Core Weight: 1 Total Weight: 49 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c ============================[ Search Statistics ]============================== 183.03/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.11 c =============================================================================== 183.03/183.11 c | 0 | 3982 7627 127885 | 5000 0 nan | 0.000 % | 183.03/183.12 c =============================================================================== 183.03/183.16 c core #50 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c Core size: 435 Core Weight: 1 Total Weight: 50 183.03/183.16 c 183.03/183.16 c 183.03/183.16 c ============================[ Search Statistics ]============================== 183.03/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.16 c =============================================================================== 183.03/183.16 c | 0 | 5172 7628 129407 | 5000 0 nan | 0.000 % | 183.03/183.19 c | 100 | 5172 7628 129407 | 5500 100 103 | 41.103 % | 183.12/183.25 c | 251 | 5172 7628 129407 | 6050 251 164 | 41.103 % | 183.23/183.35 c | 476 | 5172 7628 129407 | 6655 476 188 | 41.103 % | 183.43/183.51 c | 813 | 5170 7628 129407 | 7320 812 202 | 41.103 % | 183.73/183.81 c | 1320 | 5170 7628 129407 | 8052 1319 223 | 41.103 % | 184.13/184.24 c | 2079 | 5170 7628 129407 | 8857 2078 212 | 41.103 % | 184.73/184.82 c | 3223 | 5168 7628 129407 | 9743 3221 220 | 41.126 % | 184.82/184.97 c =============================================================================== 184.92/185.01 c core #51 184.92/185.01 c 184.92/185.01 c 184.92/185.01 c Core size: 123 Core Weight: 1 Total Weight: 51 184.92/185.01 c 184.92/185.01 c 184.92/185.01 c ============================[ Search Statistics ]============================== 184.92/185.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.92/185.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.92/185.01 c =============================================================================== 184.92/185.01 c | 0 | 5386 7629 129742 | 5000 0 nan | 0.000 % | 184.92/185.03 c | 100 | 5386 7629 129742 | 5500 100 64 | 39.476 % | 184.92/185.05 c | 253 | 5386 7629 129742 | 6050 253 71 | 39.476 % | 184.92/185.09 c | 483 | 5386 7629 129742 | 6655 483 77 | 39.476 % | 185.02/185.17 c | 820 | 5386 7629 129742 | 7320 820 87 | 39.476 % | 185.13/185.26 c =============================================================================== 185.23/185.31 c core #52 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c Core size: 977 Core Weight: 1 Total Weight: 52 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c ============================[ Search Statistics ]============================== 185.23/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.31 c =============================================================================== 185.23/185.31 c | 0 | 6864 7630 132189 | 5000 0 nan | 0.000 % | 185.23/185.34 c | 100 | 6864 7630 132189 | 5500 100 107 | 30.442 % | 185.23/185.39 c | 251 | 6864 7630 132189 | 6050 251 64 | 30.442 % | 185.33/185.42 c | 476 | 6862 7630 132189 | 6655 476 88 | 30.462 % | 185.53/185.63 c | 813 | 6862 7630 132189 | 7320 812 114 | 30.462 % | 185.73/185.90 c | 1320 | 6862 7630 132189 | 8052 1319 112 | 30.462 % | 186.03/186.14 c | 2079 | 6862 7630 132189 | 8857 2078 115 | 30.462 % | 187.03/187.10 c | 3221 | 6862 7630 132189 | 9743 3220 149 | 30.462 % | 188.33/188.40 c | 4929 | 6862 7630 132189 | 10717 4928 142 | 30.462 % | 191.52/191.66 c | 7491 | 6862 7630 132189 | 11789 7490 134 | 30.462 % | 193.63/193.70 c =============================================================================== 193.73/193.84 c core #53 193.73/193.84 c 193.73/193.84 c 193.73/193.84 c Core size: 1408 Core Weight: 1 Total Weight: 53 193.73/193.84 c 193.73/193.84 c 193.73/193.84 c ============================[ Search Statistics ]============================== 193.73/193.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.73/193.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.73/193.84 c =============================================================================== 193.73/193.84 c | 0 | 8541 7631 135270 | 5000 0 nan | 0.000 % | 193.82/193.90 c | 100 | 8541 7631 135270 | 5500 100 124 | 24.228 % | 193.92/194.05 c | 250 | 8541 7631 135270 | 6050 250 189 | 24.228 % | 194.23/194.32 c | 478 | 8541 7631 135270 | 6655 478 232 | 24.228 % | 194.53/194.65 c | 816 | 8541 7631 135270 | 7320 816 255 | 24.228 % | 195.02/195.20 c | 1322 | 8541 7631 135270 | 8052 1322 268 | 24.228 % | 195.63/195.72 c | 2081 | 8541 7631 135270 | 8857 2081 278 | 24.228 % | 197.12/197.25 c | 3220 | 8541 7631 135270 | 9743 3220 330 | 24.228 % | 199.22/199.36 c | 4931 | 8541 7631 135270 | 10717 4931 368 | 24.228 % | 201.82/201.94 c | 7494 | 8541 7631 135270 | 11789 7494 348 | 24.228 % | 210.72/210.82 c | 11340 | 8541 7631 135270 | 12968 11340 344 | 24.228 % | 229.22/229.33 c | 17106 | 8541 7631 135270 | 14265 8902 474 | 24.228 % | 250.71/250.87 c | 25755 | 8541 7631 135270 | 15692 8955 553 | 24.228 % | 281.90/282.07 c | 38729 | 8541 7631 135270 | 17261 12475 580 | 24.228 % | 330.28/330.44 c | 58194 | 8541 7631 135270 | 18987 11529 575 | 24.228 % | 374.56/374.79 c =============================================================================== 374.87/375.05 c core #54 374.87/375.05 c 374.87/375.05 c 374.87/375.05 c Core size: 916 Core Weight: 1 Total Weight: 54 374.87/375.05 c 374.87/375.05 c 374.87/375.05 c ============================[ Search Statistics ]============================== 374.87/375.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 374.87/375.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 374.87/375.05 c =============================================================================== 374.87/375.05 c | 0 | 9676 7632 137318 | 5000 0 nan | 0.000 % | 374.96/375.18 c | 100 | 9676 7632 137318 | 5500 100 133 | 20.591 % | 375.07/375.22 c | 250 | 9676 7632 137318 | 6050 250 130 | 20.591 % | 375.16/375.31 c | 477 | 9676 7632 137318 | 6655 477 153 | 20.591 % | 375.26/375.44 c | 814 | 9676 7632 137318 | 7320 814 145 | 20.591 % | 375.97/376.12 c | 1320 | 9676 7632 137318 | 8052 1320 265 | 20.591 % | 376.46/376.64 c | 2080 | 9676 7632 137318 | 8857 2080 240 | 20.591 % | 377.56/377.79 c | 3220 | 9676 7632 137318 | 9743 3220 259 | 20.591 % | 379.96/380.15 c | 4928 | 9676 7632 137318 | 10717 4928 298 | 20.591 % | 383.46/383.63 c | 7490 | 9676 7632 137318 | 11789 7490 352 | 20.591 % | 389.75/389.99 c | 11344 | 9676 7632 137318 | 12968 11344 399 | 20.591 % | 403.66/403.87 c | 17112 | 9676 7632 137318 | 14265 9249 481 | 20.591 % | 422.55/422.70 c | 25761 | 9676 7632 137318 | 15692 9330 502 | 20.591 % | 448.74/448.92 c | 38737 | 9676 7632 137318 | 17261 12416 520 | 20.591 % | 495.03/495.23 c | 58198 | 9676 7632 137318 | 18987 11612 666 | 20.591 % | 560.81/561.07 c | 87390 | 9676 7632 137318 | 20886 18729 728 | 20.591 % | 682.76/683.01 c | 131180 | 9676 7632 137318 | 22974 15253 1275 | 20.591 % | 852.61/852.92 c | 196864 | 9676 7632 137318 | 25272 25443 1093 | 20.591 % | 1082.92/1083.33 c | 295390 | 9676 7632 137318 | 27799 24179 1140 | 20.591 % |
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-2680654-1277453467/watcher-2680654-1277453467 -o /tmp/evaluation-result-2680654-1277453467/solver-2680654-1277453467 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680654-1277453467.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.09 1.07 0.85 3/106 22112 /proc/meminfo: memFree=1849896/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=4452 CPUtime=0 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 459 0 0 0 0 0 0 0 18 0 1 0 120950134 4558848 377 1992294400 134512640 135752675 4288616352 18446744073709551615 134564974 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1113 378 135 303 0 557 0 [startup+0.048725 s] /proc/loadavg: 1.09 1.07 0.85 3/106 22112 /proc/meminfo: memFree=1849896/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=4736 CPUtime=0.04 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 587 0 0 0 4 0 0 0 20 0 1 0 120950134 4849664 505 1992294400 134512640 135752675 4288616352 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1184 505 196 303 0 628 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4736 [startup+0.100734 s] /proc/loadavg: 1.09 1.07 0.85 3/106 22112 /proc/meminfo: memFree=1849896/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=4864 CPUtime=0.09 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 698 0 0 0 9 0 0 0 20 0 1 0 120950134 4980736 616 1992294400 134512640 135752675 4288616352 18446744073709551615 134564951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1216 616 269 303 0 660 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4864 [startup+0.300771 s] /proc/loadavg: 1.09 1.07 0.85 3/106 22112 /proc/meminfo: memFree=1849896/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=4756 CPUtime=0.29 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 1227 0 0 0 28 1 0 0 20 0 1 0 120950134 4870144 729 1992294400 134512640 135752675 4288616352 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1189 729 144 303 0 884 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4756 [startup+0.700845 s] /proc/loadavg: 1.09 1.07 0.85 3/106 22112 /proc/meminfo: memFree=1849896/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=5668 CPUtime=0.69 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 1425 0 0 0 67 2 0 0 20 0 1 0 120950134 5804032 927 1992294400 134512640 135752675 4288616352 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1417 927 145 303 0 1112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5668 [startup+1.50099 s] /proc/loadavg: 1.09 1.07 0.85 2/107 22113 /proc/meminfo: memFree=1846044/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=7220 CPUtime=1.49 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 1844 0 0 0 146 3 0 0 23 0 1 0 120950134 7393280 1346 1992294400 134512640 135752675 4288616352 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 1805 1346 145 303 0 1500 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7220 [startup+3.10029 s] /proc/loadavg: 1.09 1.07 0.85 2/107 22113 /proc/meminfo: memFree=1843688/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=10472 CPUtime=3.09 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 2656 0 0 0 303 6 0 0 25 0 1 0 120950134 10723328 2158 1992294400 134512640 135752675 4288616352 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 2618 2158 145 303 0 2313 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10472 [startup+6.30088 s] /proc/loadavg: 1.08 1.07 0.85 2/107 22115 /proc/meminfo: memFree=1837240/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=16696 CPUtime=6.29 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 4195 0 0 0 620 9 0 0 25 0 1 0 120950134 17096704 3697 1992294400 134512640 135752675 4288616352 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 4174 3697 145 303 0 3869 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16696 [startup+12.7011 s] /proc/loadavg: 1.08 1.06 0.85 2/107 22115 /proc/meminfo: memFree=1824468/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=28560 CPUtime=12.69 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 7152 0 0 0 1255 14 0 0 25 0 1 0 120950134 29245440 6654 1992294400 134512640 135752675 4288616352 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 7140 6654 145 303 0 6835 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28560 [startup+25.5014 s] /proc/loadavg: 1.06 1.06 0.85 2/107 22115 /proc/meminfo: memFree=1801156/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=51356 CPUtime=25.48 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 12854 0 0 0 2524 24 0 0 25 0 1 0 120950134 52588544 12356 1992294400 134512640 135752675 4288616352 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 12839 12356 145 303 0 12534 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51356 [startup+51.1012 s] /proc/loadavg: 1.04 1.05 0.86 2/107 22115 /proc/meminfo: memFree=1752300/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=100484 CPUtime=51.07 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 25126 0 0 0 5066 41 0 0 25 0 1 0 120950134 102895616 24628 1992294400 134512640 135752675 4288616352 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 25121 24628 145 303 0 24816 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 100484 [startup+102.309 s] /proc/loadavg: 1.02 1.04 0.86 2/107 22117 /proc/meminfo: memFree=1660664/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=191112 CPUtime=102.27 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 47775 0 0 0 10153 74 0 0 25 0 1 0 120950134 195698688 47277 1992294400 134512640 135752675 4288616352 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 47778 47277 145 303 0 47473 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 191112 [startup+162.301 s] /proc/loadavg: 1.08 1.05 0.87 2/107 22122 /proc/meminfo: memFree=1550616/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=301196 CPUtime=162.23 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 75265 0 0 0 16115 108 0 0 25 0 1 0 120950134 308424704 74767 1992294400 134512640 135752675 4288616352 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 75299 74767 145 303 0 74994 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 301196 [startup+222.301 s] /proc/loadavg: 1.03 1.04 0.88 2/107 22122 /proc/meminfo: memFree=1516764/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=333084 CPUtime=222.22 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 83498 0 0 0 22071 151 0 0 25 0 1 0 120950134 341078016 82825 1992294400 134512640 135752675 4288616352 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 83271 82825 146 303 0 82966 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 333084 [startup+282.302 s] /proc/loadavg: 1.01 1.03 0.88 2/107 22124 /proc/meminfo: memFree=1473116/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=378164 CPUtime=282.19 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 94772 0 0 0 28036 183 0 0 25 0 1 0 120950134 387239936 94099 1992294400 134512640 135752675 4288616352 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 94541 94099 146 303 0 94236 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 378164 [startup+342.301 s] /proc/loadavg: 1.00 1.02 0.89 2/107 22126 /proc/meminfo: memFree=1410496/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=440120 CPUtime=342.18 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 110250 0 0 0 34005 213 0 0 25 0 1 0 120950134 450682880 109577 1992294400 134512640 135752675 4288616352 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 110030 109577 146 303 0 109725 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 440120 [startup+402.301 s] /proc/loadavg: 1.00 1.02 0.89 2/107 22128 /proc/meminfo: memFree=1371064/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=479468 CPUtime=402.16 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 120092 0 0 0 39958 258 0 0 25 0 1 0 120950134 490975232 119419 1992294400 134512640 135752675 4288616352 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 119867 119419 146 303 0 119562 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 479468 [startup+462.301 s] /proc/loadavg: 1.00 1.01 0.90 2/107 22130 /proc/meminfo: memFree=1308444/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=542136 CPUtime=462.13 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 135747 0 0 0 45916 297 0 0 25 0 1 0 120950134 555147264 135074 1992294400 134512640 135752675 4288616352 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 135534 135074 146 303 0 135229 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 542136 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22130 /proc/meminfo: memFree=1235408/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=615956 CPUtime=522.11 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 154198 0 0 0 51875 336 0 0 25 0 1 0 120950134 630738944 153525 1992294400 134512640 135752675 4288616352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 153989 153525 146 303 0 153684 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 615956 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22132 /proc/meminfo: memFree=1150716/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=699844 CPUtime=582.09 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 175167 0 0 0 57823 386 0 0 25 0 1 0 120950134 716640256 174494 1992294400 134512640 135752675 4288616352 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 174961 174494 146 303 0 174656 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 699844 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22134 /proc/meminfo: memFree=1021880/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=827508 CPUtime=642.08 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 207076 0 0 0 63778 430 0 0 25 0 1 0 120950134 847368192 206403 1992294400 134512640 135752675 4288616352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 206877 206403 146 303 0 206572 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 827508 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22136 /proc/meminfo: memFree=923796/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=926156 CPUtime=702.05 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 231744 0 0 0 69745 460 0 0 25 0 1 0 120950134 948383744 231071 1992294400 134512640 135752675 4288616352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 231539 231071 146 303 0 231234 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 926156 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22138 /proc/meminfo: memFree=805624/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1043684 CPUtime=762.04 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 261113 0 0 0 75707 497 0 0 25 0 1 0 120950134 1068732416 260440 1992294400 134512640 135752675 4288616352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 260921 260440 146 303 0 260616 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1043684 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22138 /proc/meminfo: memFree=701464/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1148404 CPUtime=822.01 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 287300 0 0 0 81674 527 0 0 25 0 1 0 120950134 1175965696 286627 1992294400 134512640 135752675 4288616352 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 287101 286627 146 303 0 286796 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 1148404 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22140 /proc/meminfo: memFree=625328/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1223800 CPUtime=881.99 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 306147 0 0 0 87652 547 0 0 25 0 1 0 120950134 1253171200 305474 1992294400 134512640 135752675 4288616352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 305950 305474 146 303 0 305645 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 1223800 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22142 /proc/meminfo: memFree=523152/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1327028 CPUtime=941.97 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 331965 0 0 0 93615 582 0 0 25 0 1 0 120950134 1358876672 331292 1992294400 134512640 135752675 4288616352 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 331757 331292 146 303 0 331452 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1327028 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22144 /proc/meminfo: memFree=400764/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1448148 CPUtime=1001.95 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 362227 0 0 0 99571 624 0 0 25 0 1 0 120950134 1482903552 361554 1992294400 134512640 135752675 4288616352 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 362037 361554 146 303 0 361732 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1448148 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22146 /proc/meminfo: memFree=281972/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1567484 CPUtime=1061.92 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 392066 0 0 0 105534 658 0 0 25 0 1 0 120950134 1605103616 391393 1992294400 134512640 135752675 4288616352 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 391871 391393 146 303 0 391566 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1567484 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22146 /proc/meminfo: memFree=156608/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1691588 CPUtime=1121.91 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 423088 0 0 0 111489 702 0 0 25 0 1 0 120950134 1732186112 422415 1992294400 134512640 135752675 4288616352 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 422897 422415 146 303 0 422592 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1691588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22148 /proc/meminfo: memFree=31368/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1818532 CPUtime=1181.89 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 454829 0 0 0 117445 744 0 0 25 0 1 0 120950134 1862176768 454156 1992294400 134512640 135752675 4288616352 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 454633 454156 146 303 0 454328 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1818532 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1193.2 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22148 /proc/meminfo: memFree=10204/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=1843296 CPUtime=1192.78 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4202496 461009 0 0 0 118529 749 0 0 25 0 1 0 120950134 1887535104 460336 1992294400 134512640 135752675 4288616352 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22112/statm: 460824 460336 146 303 0 460519 0 Current children cumulated CPU time (s) 1192.78 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1193.31 s] /proc/loadavg: 1.00 1.00 0.91 2/107 22148 /proc/meminfo: memFree=10204/2059040 swapFree=4139944/4192956 [pid=22112] ppid=22110 vsize=0 CPUtime=1192.88 /proc/22112/stat : 22112 (wbo1.4b) R 22110 22112 22004 0 -1 4203524 461009 0 0 0 118529 759 0 0 25 0 1 0 120950134 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/22112/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1192.88 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1193.38 CPU time (s): 1192.96 CPU user time (s): 1185.29 CPU system time (s): 7.67183 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1185.29 system time used= 7.67183 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461009 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1179 runsolver used 2.05169 second user time and 5.57415 second system time The end
Begin job on node007 at 2010-06-25 10:11:07 IDJOB=2680654 IDBENCH=2042 IDSOLVER=1190 FILE ID=node007/2680654-1277453467 PBS_JOBID= 11188150 Free space on /tmp= 62412 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680654-1277453467/watcher-2680654-1277453467 -o /tmp/evaluation-result-2680654-1277453467/solver-2680654-1277453467 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680654-1277453467.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED=1312061021 node007.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.264 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.52 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.264 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 : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850300 kB Buffers: 27152 kB Cached: 95640 kB SwapCached: 5936 kB Active: 25212 kB Inactive: 111040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850300 kB SwapTotal: 4192956 kB SwapFree: 4139944 kB Dirty: 3616 kB Writeback: 0 kB AnonPages: 12044 kB Mapped: 11940 kB Slab: 50296 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181728 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= 62408 MiB End job on node007 at 2010-06-25 10:31:02