Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1150.28 | 1150.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-rot.b.opb |
MD5SUM | 82ceb454755e01aa6cecb68eb859eaa6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 115 |
Best CPU time to get the best result obtained on this benchmark | 2.53661 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 116 |
Optimality of the best value was proved | NO |
Number of variables | 1451 |
Total number of constraints | 2932 |
Number of constraints which are clauses | 2932 |
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 | 1 |
Maximum length of a constraint | 81 |
Number of terms in the objective function | 1451 |
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 | 1451 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1451 |
Number of bits of the biggest sum of numbers | 11 |
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-2680659-1277453513.opb. 0.00/0.00 c Instance file HOME/instance-2680659-1277453513.opb 0.00/0.00 c File size is 363009 bytes. 0.00/0.05 c Highest Coefficient sum: 82 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 1451 | 0.00/0.05 c | Number Clauses: 2932 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 1427 2933 40369 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 162 0.00/0.06 o 162 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 4 | 1427 2934 41820 | 5000 4 36 | 0.000 % | 0.06/0.07 c | 105 | 1427 2934 41820 | 5500 105 186 | 1.654 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 155 0.06/0.08 o 155 0.06/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 108 | 1427 2935 43271 | 5000 108 181 | 1.654 % | 0.06/0.08 c =============================================================================== 0.06/0.08 c New solution: 154 0.06/0.08 o 154 0.06/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s 0.06/0.08 c =============================================================================== 0.06/0.08 c | 108 | 1427 2936 44722 | 5000 108 181 | 1.654 % | 0.09/0.10 c | 208 | 1427 2936 44722 | 5500 208 188 | 1.654 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 150 0.09/0.10 o 150 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 209 | 1427 2937 46173 | 5000 209 188 | 1.654 % | 0.09/0.12 c | 309 | 1427 2937 46173 | 5500 309 184 | 1.654 % | 0.09/0.15 c | 460 | 1427 2937 46173 | 6050 460 191 | 1.654 % | 0.09/0.18 c | 685 | 1427 2937 46173 | 6655 685 189 | 1.654 % | 0.19/0.24 c | 1022 | 1427 2937 46173 | 7320 1022 186 | 1.654 % | 0.29/0.34 c | 1528 | 1427 2937 46173 | 8052 1528 182 | 1.654 % | 0.39/0.48 c | 2287 | 1427 2937 46173 | 8857 2287 180 | 1.654 % | 0.69/0.71 c | 3430 | 1427 2937 46173 | 9743 3430 178 | 1.654 % | 1.00/1.09 c | 5139 | 1427 2937 46173 | 10717 5139 177 | 1.654 % | 1.69/1.74 c | 7710 | 1427 2937 46173 | 11789 7710 185 | 1.654 % | 2.89/2.95 c | 11554 | 1427 2937 46173 | 12968 11554 191 | 1.654 % | 3.99/4.02 c | 17320 | 1427 2937 46173 | 14265 10176 188 | 1.654 % | 5.79/5.87 c | 25970 | 1427 2937 46173 | 15692 11061 175 | 1.654 % | 8.70/8.79 c | 38944 | 1427 2937 46173 | 17261 15516 190 | 1.654 % | 8.70/8.80 c =============================================================================== 8.70/8.80 c New solution: 148 8.70/8.80 o 148 8.70/8.80 c Elapsed CPU time: 8.64368 s Remaining CPU time: 171.356 s 8.70/8.80 c =============================================================================== 8.70/8.80 c | 38947 | 1427 2938 47624 | 5000 15519 190 | 1.654 % | 8.79/8.87 c | 39048 | 1427 2938 47624 | 5500 3981 188 | 1.654 % | 8.79/8.88 c =============================================================================== 8.79/8.88 c New solution: 147 8.79/8.88 o 147 8.79/8.88 c Elapsed CPU time: 8.72367 s Remaining CPU time: 171.276 s 8.79/8.88 c =============================================================================== 8.79/8.88 c | 39094 | 1427 2939 49075 | 5000 4027 189 | 1.654 % | 8.88/8.90 c | 39196 | 1427 2939 49075 | 5500 4129 188 | 1.654 % | 8.88/8.93 c | 39347 | 1427 2939 49075 | 6050 4280 188 | 1.654 % | 8.88/8.99 c | 39573 | 1427 2939 49075 | 6655 4506 187 | 1.654 % | 8.99/9.06 c | 39912 | 1427 2939 49075 | 7320 4845 186 | 1.654 % | 9.08/9.18 c | 40419 | 1427 2939 49075 | 8052 5352 185 | 1.654 % | 9.39/9.42 c | 41180 | 1427 2939 49075 | 8857 6113 186 | 1.654 % | 9.59/9.62 c | 42319 | 1427 2939 49075 | 9743 7252 184 | 1.654 % | 9.99/10.07 c | 44028 | 1427 2939 49075 | 10717 8961 184 | 1.654 % | 10.49/10.53 c | 46591 | 1427 2939 49075 | 11789 11524 182 | 1.654 % | 11.39/11.40 c | 50435 | 1427 2939 49075 | 12968 8860 180 | 1.654 % | 13.99/14.00 c | 56201 | 1427 2939 49075 | 14265 7493 177 | 1.654 % | 15.89/15.91 c | 64850 | 1427 2939 49075 | 15692 8403 172 | 1.654 % | 19.49/19.55 c | 77826 | 1427 2939 49075 | 17261 12843 197 | 1.654 % | 24.68/24.79 c | 97287 | 1427 2939 49075 | 18987 13665 173 | 1.654 % | 33.39/33.49 c | 126480 | 1427 2939 49075 | 20886 12285 185 | 1.654 % | 47.18/47.22 c | 170269 | 1427 2939 49075 | 22974 21788 195 | 1.654 % | 66.38/66.41 c | 235953 | 1427 2939 49075 | 25272 20095 177 | 1.654 % | 105.17/105.26 c | 334480 | 1427 2939 49075 | 27799 24601 195 | 1.654 % | 105.67/105.76 c =============================================================================== 105.67/105.76 c New solution: 146 105.67/105.76 o 146 105.67/105.76 c Elapsed CPU time: 104.57 s Remaining CPU time: 75.4299 s 105.67/105.76 c =============================================================================== 105.67/105.76 c | 337223 | 1427 2940 50526 | 5000 27344 194 | 1.654 % | 105.87/105.92 c | 337324 | 1427 2940 50526 | 5500 2840 186 | 1.654 % | 105.87/105.95 c | 337475 | 1427 2940 50526 | 6050 2991 185 | 1.654 % | 105.87/105.99 c | 337700 | 1427 2940 50526 | 6655 3216 185 | 1.654 % | 105.97/106.05 c | 338038 | 1427 2940 50526 | 7320 3554 183 | 1.654 % | 106.06/106.16 c | 338547 | 1427 2940 50526 | 8052 4063 181 | 1.654 % | 106.26/106.32 c | 339306 | 1427 2940 50526 | 8857 4822 179 | 1.654 % | 106.57/106.63 c | 340447 | 1427 2940 50526 | 9743 5963 180 | 1.654 % | 106.87/106.92 c | 342156 | 1427 2940 50526 | 10717 7672 178 | 1.654 % | 107.36/107.46 c | 344719 | 1427 2940 50526 | 11789 10235 176 | 1.654 % | 108.36/108.41 c | 348563 | 1427 2940 50526 | 12968 7544 176 | 1.654 % | 109.67/109.70 c | 354330 | 1427 2940 50526 | 14265 13311 177 | 1.654 % | 111.86/111.91 c | 362979 | 1427 2940 50526 | 15692 14166 182 | 1.654 % | 114.37/114.45 c | 375954 | 1427 2940 50526 | 17261 10078 175 | 1.654 % | 119.16/119.30 c | 395415 | 1427 2940 50526 | 18987 10897 173 | 1.654 % | 126.76/126.88 c | 424607 | 1427 2940 50526 | 20886 19789 173 | 1.654 % | 147.15/147.27 c | 468398 | 1427 2940 50526 | 22974 18585 206 | 1.654 % | 165.25/165.35 c | 534083 | 1427 2940 50526 | 25272 16781 169 | 1.654 % | 181.94/182.06 c There are 24 assigned variables. 24 in cost function. 183.44/183.55 c core #1 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 25 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #2 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 34 Core Weight: 1 Total Weight: 26 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #3 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 17 Core Weight: 1 Total Weight: 27 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #4 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 15 Core Weight: 1 Total Weight: 28 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #5 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 16 Core Weight: 1 Total Weight: 29 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #6 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 30 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #7 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 51 Core Weight: 1 Total Weight: 31 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #8 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 32 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #9 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 4 Core Weight: 1 Total Weight: 33 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #10 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 14 Core Weight: 1 Total Weight: 34 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #11 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 19 Core Weight: 1 Total Weight: 35 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #12 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 5 Core Weight: 1 Total Weight: 36 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #13 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 7 Core Weight: 1 Total Weight: 37 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #14 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 20 Core Weight: 1 Total Weight: 38 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #15 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 11 Core Weight: 1 Total Weight: 39 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #16 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 6 Core Weight: 1 Total Weight: 40 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #17 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 4 Core Weight: 1 Total Weight: 41 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #18 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 13 Core Weight: 1 Total Weight: 42 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #19 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 20 Core Weight: 1 Total Weight: 43 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #20 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 7 Core Weight: 1 Total Weight: 44 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #21 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 69 Core Weight: 1 Total Weight: 45 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #22 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 29 Core Weight: 1 Total Weight: 46 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #23 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 6 Core Weight: 1 Total Weight: 47 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #24 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 48 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #25 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 9 Core Weight: 1 Total Weight: 49 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #26 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 9 Core Weight: 1 Total Weight: 50 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #27 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 5 Core Weight: 1 Total Weight: 51 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #28 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 52 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #29 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 7 Core Weight: 1 Total Weight: 53 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #30 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 11 Core Weight: 1 Total Weight: 54 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #31 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 4 Core Weight: 1 Total Weight: 55 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #32 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 56 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #33 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 57 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #34 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 7 Core Weight: 1 Total Weight: 58 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #35 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 59 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #36 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 13 Core Weight: 1 Total Weight: 60 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #37 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 43 Core Weight: 1 Total Weight: 61 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #38 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 4 Core Weight: 1 Total Weight: 62 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #39 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 63 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #40 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 5 Core Weight: 1 Total Weight: 64 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #41 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 5 Core Weight: 1 Total Weight: 65 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #42 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 66 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #43 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 4 Core Weight: 1 Total Weight: 67 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #44 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 68 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #45 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 33 Core Weight: 1 Total Weight: 69 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #46 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 3 Core Weight: 1 Total Weight: 70 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #47 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 8 Core Weight: 1 Total Weight: 71 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #48 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 10 Core Weight: 1 Total Weight: 72 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #49 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 35 Core Weight: 1 Total Weight: 73 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #50 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 22 Core Weight: 1 Total Weight: 74 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #51 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 19 Core Weight: 1 Total Weight: 75 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #52 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 22 Core Weight: 1 Total Weight: 76 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #53 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 44 Core Weight: 1 Total Weight: 77 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #54 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 18 Core Weight: 1 Total Weight: 78 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #55 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 24 Core Weight: 1 Total Weight: 79 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #56 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 25 Core Weight: 1 Total Weight: 80 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #57 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 33 Core Weight: 1 Total Weight: 81 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #58 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 18 Core Weight: 1 Total Weight: 82 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #59 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 18 Core Weight: 1 Total Weight: 83 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c core #60 183.44/183.55 c 183.44/183.55 c 183.44/183.55 c Core size: 97 Core Weight: 1 Total Weight: 84 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #61 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 8 Core Weight: 1 Total Weight: 85 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c core #62 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c Core size: 12 Core Weight: 1 Total Weight: 86 183.55/183.61 c 183.55/183.61 c 183.55/183.61 c ============================[ Search Statistics ]============================== 183.55/183.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.61 c =============================================================================== 183.55/183.61 c | 0 | 1714 4216 36883 | 5000 0 nan | 0.000 % | 183.55/183.62 c | 101 | 1714 4216 36883 | 5500 101 43 | 27.280 % | 183.55/183.63 c =============================================================================== 183.55/183.65 c core #63 183.55/183.65 c 183.55/183.65 c 183.55/183.65 c Core size: 118 Core Weight: 1 Total Weight: 87 183.55/183.65 c 183.55/183.65 c 183.55/183.65 c ============================[ Search Statistics ]============================== 183.55/183.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.65 c =============================================================================== 183.55/183.65 c | 0 | 1847 4217 37721 | 5000 0 nan | 0.000 % | 183.55/183.65 c =============================================================================== 183.55/183.67 c core #64 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c Core size: 43 Core Weight: 1 Total Weight: 88 183.55/183.67 c 183.55/183.67 c 183.55/183.67 c ============================[ Search Statistics ]============================== 183.55/183.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.55/183.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.55/183.67 c =============================================================================== 183.55/183.67 c | 0 | 1915 4218 38223 | 5000 0 nan | 0.000 % | 183.55/183.68 c | 100 | 1915 4218 38223 | 5500 100 64 | 23.705 % | 183.55/183.69 c | 250 | 1915 4218 38223 | 6050 250 58 | 23.705 % | 183.65/183.71 c | 475 | 1915 4218 38223 | 6655 475 53 | 23.705 % | 183.65/183.75 c | 817 | 1915 4218 38223 | 7320 817 53 | 23.705 % | 183.65/183.77 c =============================================================================== 183.65/183.79 c core #65 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c Core size: 90 Core Weight: 1 Total Weight: 89 183.65/183.79 c 183.65/183.79 c 183.65/183.79 c ============================[ Search Statistics ]============================== 183.65/183.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.79 c =============================================================================== 183.65/183.79 c | 0 | 2032 4219 39767 | 5000 0 nan | 0.000 % | 183.75/183.80 c | 113 | 2032 4219 39767 | 5500 113 82 | 21.635 % | 183.75/183.81 c | 263 | 2032 4219 39767 | 6050 263 61 | 21.635 % | 183.75/183.84 c | 488 | 2032 4219 39767 | 6655 488 56 | 21.635 % | 183.75/183.88 c | 826 | 2032 4219 39767 | 7320 826 53 | 21.635 % | 183.84/183.95 c | 1335 | 2032 4219 39767 | 8052 1335 49 | 21.635 % | 183.84/183.98 c =============================================================================== 183.94/184.00 c core #66 183.94/184.00 c 183.94/184.00 c 183.94/184.00 c Core size: 169 Core Weight: 1 Total Weight: 90 183.94/184.00 c 183.94/184.00 c 183.94/184.00 c ============================[ Search Statistics ]============================== 183.94/184.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.00 c =============================================================================== 183.94/184.00 c | 0 | 2243 4220 41405 | 5000 0 nan | 0.000 % | 183.94/184.01 c | 100 | 2243 4220 41405 | 5500 100 63 | 18.496 % | 183.94/184.02 c =============================================================================== 183.94/184.04 c core #67 183.94/184.04 c 183.94/184.04 c 183.94/184.04 c Core size: 76 Core Weight: 1 Total Weight: 91 183.94/184.04 c 183.94/184.04 c 183.94/184.04 c ============================[ Search Statistics ]============================== 183.94/184.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.04 c =============================================================================== 183.94/184.04 c | 0 | 2345 4221 42858 | 5000 0 nan | 0.000 % | 183.94/184.05 c | 100 | 2345 4221 42858 | 5500 100 64 | 16.932 % | 183.94/184.06 c =============================================================================== 183.94/184.08 c core #68 183.94/184.08 c 183.94/184.08 c 183.94/184.08 c Core size: 23 Core Weight: 1 Total Weight: 92 183.94/184.08 c 183.94/184.08 c 183.94/184.08 c ============================[ Search Statistics ]============================== 183.94/184.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.94/184.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.94/184.08 c =============================================================================== 183.94/184.08 c | 0 | 2365 4222 42898 | 5000 0 nan | 0.000 % | 183.94/184.09 c | 100 | 2365 4222 42898 | 5500 100 49 | 16.919 % | 184.04/184.10 c | 251 | 2365 4222 42898 | 6050 251 39 | 16.919 % | 184.04/184.13 c | 477 | 2365 4222 42898 | 6655 477 43 | 16.919 % | 184.04/184.15 c | 815 | 2362 4222 42898 | 7320 814 46 | 16.919 % | 184.15/184.21 c | 1322 | 2362 4222 42898 | 8052 1321 50 | 16.919 % | 184.25/184.32 c | 2082 | 2362 4222 42898 | 8857 2081 48 | 16.919 % | 184.34/184.45 c =============================================================================== 184.34/184.47 c core #69 184.34/184.47 c 184.34/184.47 c 184.34/184.47 c Core size: 99 Core Weight: 1 Total Weight: 93 184.34/184.47 c 184.34/184.47 c 184.34/184.47 c ============================[ Search Statistics ]============================== 184.34/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.47 c =============================================================================== 184.34/184.47 c | 0 | 2475 4223 43466 | 5000 0 nan | 0.000 % | 184.34/184.48 c | 100 | 2475 4223 43466 | 5500 100 74 | 15.845 % | 184.34/184.50 c | 250 | 2474 4223 43466 | 6050 250 54 | 15.913 % | 184.45/184.52 c | 475 | 2474 4223 43466 | 6655 475 50 | 15.913 % | 184.45/184.52 c =============================================================================== 184.45/184.54 c core #70 184.45/184.54 c 184.45/184.54 c 184.45/184.54 c Core size: 106 Core Weight: 1 Total Weight: 94 184.45/184.54 c 184.45/184.54 c 184.45/184.54 c ============================[ Search Statistics ]============================== 184.45/184.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.45/184.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.45/184.54 c =============================================================================== 184.45/184.54 c | 0 | 2598 4224 43867 | 5000 0 nan | 0.000 % | 184.45/184.55 c | 102 | 2598 4224 43867 | 5500 102 68 | 14.680 % | 184.45/184.57 c | 253 | 2598 4224 43867 | 6050 253 54 | 14.680 % | 184.45/184.58 c | 478 | 2593 4224 43867 | 6655 478 34 | 15.402 % | 184.55/184.62 c | 816 | 2575 4224 43867 | 7320 811 40 | 15.501 % | 184.55/184.68 c | 1322 | 2575 4224 43867 | 8052 1317 47 | 15.501 % | 184.65/184.78 c | 2084 | 2573 4224 43867 | 8857 2078 59 | 15.501 % | 184.84/184.96 c | 3225 | 2573 4224 43867 | 9743 3219 67 | 15.501 % | 185.24/185.36 c | 4934 | 2573 4224 43867 | 10717 4928 71 | 15.501 % | 185.94/186.02 c | 7496 | 2561 4224 43867 | 11789 7489 72 | 15.895 % | 186.35/186.46 c =============================================================================== 186.45/186.58 c core #71 186.45/186.58 c 186.45/186.58 c 186.45/186.58 c Core size: 267 Core Weight: 1 Total Weight: 95 186.45/186.58 c 186.45/186.58 c 186.45/186.58 c ============================[ Search Statistics ]============================== 186.45/186.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.58 c =============================================================================== 186.45/186.58 c | 0 | 2926 4225 46417 | 5000 0 nan | 0.000 % | 186.54/186.60 c | 102 | 2923 4225 46417 | 5500 102 29 | 12.757 % | 186.54/186.61 c | 254 | 2923 4225 46417 | 6050 254 26 | 12.757 % | 186.54/186.63 c | 481 | 2923 4225 46417 | 6655 481 40 | 12.757 % | 186.54/186.66 c | 820 | 2923 4225 46417 | 7320 820 41 | 12.757 % | 186.64/186.71 c | 1326 | 2886 4225 46417 | 8052 1320 45 | 12.757 % | 186.64/186.79 c | 2085 | 2885 4225 46417 | 8857 1433 39 | 12.787 % | 186.74/186.80 c =============================================================================== 186.74/186.84 c core #72 186.74/186.84 c 186.74/186.84 c 186.74/186.84 c Core size: 124 Core Weight: 1 Total Weight: 96 186.74/186.84 c 186.74/186.84 c 186.74/186.84 c ============================[ Search Statistics ]============================== 186.74/186.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.74/186.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.74/186.84 c =============================================================================== 186.74/186.84 c | 0 | 3056 4226 46765 | 5000 0 nan | 0.000 % | 186.74/186.86 c | 105 | 3056 4226 46765 | 5500 105 56 | 10.904 % | 186.74/186.87 c | 255 | 3056 4226 46765 | 6050 255 58 | 10.904 % | 186.74/186.90 c | 481 | 3056 4226 46765 | 6655 481 61 | 10.904 % | 186.85/186.94 c | 823 | 3052 4226 46765 | 7320 822 60 | 11.050 % | 186.95/187.03 c | 1329 | 3052 4226 46765 | 8052 1328 57 | 11.050 % | 187.04/187.11 c | 2088 | 3051 4226 46765 | 8857 2083 71 | 11.050 % | 187.15/187.30 c | 3227 | 3051 4226 46765 | 9743 3222 85 | 11.050 % | 187.65/187.77 c | 4936 | 3039 4226 46765 | 10717 4930 91 | 11.399 % | 188.74/188.81 c | 7498 | 3038 4226 46765 | 11789 7492 97 | 11.429 % | 190.15/190.26 c | 11343 | 3037 4226 46765 | 12968 11336 105 | 11.458 % | 191.44/191.54 c =============================================================================== 191.64/191.72 c core #73 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c Core size: 265 Core Weight: 1 Total Weight: 97 191.64/191.72 c 191.64/191.72 c 191.64/191.72 c ============================[ Search Statistics ]============================== 191.64/191.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.64/191.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.64/191.72 c =============================================================================== 191.64/191.72 c | 0 | 3322 4227 47408 | 5000 0 nan | 0.000 % | 191.64/191.75 c | 100 | 3322 4227 47408 | 5500 100 99 | 10.022 % | 191.64/191.77 c | 250 | 3322 4227 47408 | 6050 250 80 | 10.022 % | 191.64/191.79 c | 475 | 3322 4227 47408 | 6655 475 71 | 10.022 % | 191.74/191.84 c | 812 | 3322 4227 47408 | 7320 812 67 | 10.022 % | 191.84/191.96 c | 1319 | 3322 4227 47408 | 8052 1319 85 | 10.022 % | 192.05/192.16 c | 2083 | 3322 4227 47408 | 8857 2083 102 | 10.022 % | 192.34/192.43 c | 3223 | 3322 4227 47408 | 9743 3223 117 | 10.022 % | 192.74/192.85 c | 4931 | 3322 4227 47408 | 10717 4931 115 | 10.022 % | 193.64/193.78 c | 7493 | 3310 4227 47408 | 11789 7492 124 | 10.347 % | 195.24/195.31 c | 11337 | 3310 4227 47408 | 12968 11336 153 | 10.401 % | 197.54/197.62 c | 17103 | 3308 4227 47408 | 14265 10368 181 | 10.401 % | 201.25/201.32 c | 25752 | 3308 4227 47408 | 15692 11579 211 | 10.401 % | 208.44/208.57 c | 38729 | 3308 4227 47408 | 17261 16293 239 | 10.401 % | 219.54/219.65 c | 58191 | 3308 4227 47408 | 18987 17732 196 | 10.401 % | 235.53/235.62 c | 87385 | 3308 4227 47408 | 20886 17498 261 | 10.401 % | 276.22/276.38 c | 131174 | 3308 4227 47408 | 22974 18136 273 | 10.401 % | 294.72/294.83 c =============================================================================== 297.92/298.00 c core #74 297.92/298.00 c 297.92/298.00 c 297.92/298.00 c Core size: 401 Core Weight: 1 Total Weight: 98 297.92/298.00 c 297.92/298.00 c 297.92/298.00 c ============================[ Search Statistics ]============================== 297.92/298.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.92/298.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.92/298.00 c =============================================================================== 297.92/298.00 c | 0 | 3784 4228 49792 | 5000 0 nan | 0.000 % | 297.92/298.07 c | 101 | 3784 4228 49792 | 5500 101 134 | 7.482 % | 297.92/298.09 c | 254 | 3775 4228 49792 | 6050 254 92 | 7.775 % | 298.02/298.13 c | 479 | 3772 4228 49792 | 6655 478 84 | 7.775 % | 298.12/298.21 c | 822 | 3772 4228 49792 | 7320 821 107 | 7.775 % | 298.12/298.30 c | 1328 | 3772 4228 49792 | 8052 1327 130 | 7.775 % | 298.31/298.47 c | 2087 | 3772 4228 49792 | 8857 2086 144 | 7.775 % | 298.72/298.81 c | 3226 | 3770 4228 49792 | 9743 3223 129 | 7.824 % | 299.21/299.32 c | 4934 | 3770 4228 49792 | 10717 4931 124 | 7.824 % | 300.22/300.31 c | 7496 | 3770 4228 49792 | 11789 7491 165 | 7.824 % | 302.02/302.19 c | 11343 | 3770 4228 49792 | 12968 11338 191 | 7.824 % | 304.72/304.82 c | 17111 | 3770 4228 49792 | 14265 10131 219 | 7.824 % | 309.11/309.21 c | 25765 | 3768 4228 49792 | 15692 11431 202 | 7.922 % | 317.51/317.63 c | 38739 | 3768 4228 49792 | 17261 15991 215 | 7.922 % | 333.22/333.31 c | 58203 | 3766 4228 49792 | 18987 17593 247 | 7.971 % | 359.89/360.00 c | 87396 | 3764 4228 49792 | 20886 17237 285 | 7.971 % | 383.49/383.60 c =============================================================================== 383.59/383.76 c core #75 383.59/383.76 c 383.59/383.76 c 383.59/383.76 c Core size: 150 Core Weight: 1 Total Weight: 99 383.59/383.76 c 383.59/383.76 c 383.59/383.76 c ============================[ Search Statistics ]============================== 383.59/383.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 383.59/383.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 383.59/383.76 c =============================================================================== 383.59/383.76 c | 0 | 3985 4229 51405 | 5000 0 nan | 0.000 % | 383.70/383.81 c | 104 | 3985 4229 51405 | 5500 104 72 | 5.925 % | 383.70/383.82 c | 257 | 3985 4229 51405 | 6050 257 65 | 5.925 % | 383.70/383.85 c | 482 | 3985 4229 51405 | 6655 482 55 | 5.925 % | 383.70/383.88 c | 819 | 3985 4229 51405 | 7320 819 50 | 5.925 % | 383.80/383.94 c | 1329 | 3985 4229 51405 | 8052 1329 48 | 5.925 % | 383.89/384.07 c | 2088 | 3973 4229 51405 | 8857 2087 55 | 6.209 % | 384.10/384.28 c | 3227 | 3970 4229 51405 | 9743 3223 78 | 6.280 % | 384.59/384.76 c | 4935 | 3968 4229 51405 | 10717 4929 84 | 6.327 % | 385.49/385.62 c | 7499 | 3968 4229 51405 | 11789 7493 122 | 6.327 % | 386.59/386.79 c | 11343 | 3968 4229 51405 | 12968 11337 113 | 6.327 % | 388.39/388.52 c | 17110 | 3968 4229 51405 | 14265 10414 104 | 6.327 % | 392.09/392.27 c | 25760 | 3968 4229 51405 | 15692 11588 152 | 6.327 % | 398.89/399.05 c | 38734 | 3967 4229 51405 | 17261 6049 130 | 6.350 % | 401.59/401.70 c =============================================================================== 402.09/402.28 c core #76 402.09/402.28 c 402.09/402.28 c 402.09/402.28 c Core size: 253 Core Weight: 1 Total Weight: 100 402.09/402.28 c 402.09/402.28 c 402.09/402.28 c ============================[ Search Statistics ]============================== 402.09/402.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 402.09/402.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 402.09/402.28 c =============================================================================== 402.09/402.28 c | 0 | 4236 4230 51907 | 5000 0 nan | 0.000 % | 402.19/402.32 c | 100 | 4236 4230 51907 | 5500 100 79 | 5.594 % | 402.19/402.33 c | 250 | 4236 4230 51907 | 6050 250 54 | 5.594 % | 402.19/402.35 c | 481 | 4236 4230 51907 | 6655 481 57 | 5.594 % | 402.19/402.39 c | 818 | 4236 4230 51907 | 7320 818 80 | 5.594 % | 402.28/402.46 c | 1324 | 4236 4230 51907 | 8052 1324 86 | 5.594 % | 402.39/402.58 c | 2084 | 4236 4230 51907 | 8857 2084 88 | 5.594 % | 402.59/402.72 c | 3224 | 4236 4230 51907 | 9743 3224 83 | 5.594 % | 402.89/403.09 c | 4934 | 4224 4230 51907 | 10717 4933 80 | 5.861 % | 403.59/403.74 c | 7496 | 4224 4230 51907 | 11789 7495 85 | 5.861 % | 404.09/404.23 c =============================================================================== 404.19/404.37 c core #77 404.19/404.37 c 404.19/404.37 c 404.19/404.37 c Core size: 159 Core Weight: 1 Total Weight: 101 404.19/404.37 c 404.19/404.37 c 404.19/404.37 c ============================[ Search Statistics ]============================== 404.19/404.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 404.19/404.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 404.19/404.37 c =============================================================================== 404.19/404.37 c | 0 | 4398 4232 52362 | 5000 0 nan | 0.000 % | 404.29/404.40 c | 104 | 4398 4232 52362 | 5500 104 80 | 5.297 % | 404.29/404.42 c | 254 | 4398 4232 52362 | 6050 254 66 | 5.556 % | 404.29/404.44 c | 479 | 4389 4232 52362 | 6655 479 66 | 5.577 % | 404.29/404.48 c | 817 | 4385 4232 52362 | 7320 814 69 | 5.577 % | 404.39/404.56 c | 1324 | 4383 4232 52362 | 8052 1321 66 | 5.620 % | 404.49/404.67 c | 2089 | 4383 4232 52362 | 8857 2085 55 | 5.620 % | 404.70/404.86 c | 3242 | 4383 4232 52362 | 9743 3238 52 | 5.620 % | 405.09/405.27 c | 4952 | 4383 4232 52362 | 10717 4948 76 | 5.620 % | 405.69/405.89 c | 7514 | 4383 4232 52362 | 11789 7510 114 | 5.620 % | 406.89/407.07 c | 11359 | 4383 4232 52362 | 12968 11355 147 | 5.620 % | 409.19/409.34 c | 17127 | 4383 4232 52362 | 14265 10330 244 | 5.620 % | 413.58/413.77 c | 25777 | 4383 4232 52362 | 15692 11579 257 | 5.620 % | 418.68/418.83 c | 38752 | 4383 4232 52362 | 17261 8491 213 | 5.620 % | 427.58/427.76 c | 58213 | 4383 4232 52362 | 18987 10412 257 | 5.620 % | 449.88/450.05 c | 87405 | 4383 4232 52362 | 20886 10487 255 | 5.620 % | 474.67/474.81 c | 131197 | 4383 4232 52362 | 22974 12060 212 | 5.620 % | 519.16/519.31 c | 196881 | 4383 4232 52362 | 25272 18167 271 | 5.620 % | 590.74/590.95 c | 295408 | 4383 4232 52362 | 27799 23763 455 | 5.620 % | 704.71/704.95 c | 443200 | 4382 4232 52362 | 30579 20496 247 | 5.642 % | 944.85/945.12 c | 664883 | 4382 4232 52362 | 33637 26925 232 | 5.642 % |
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-2680659-1277453513/watcher-2680659-1277453513 -o /tmp/evaluation-result-2680659-1277453513/solver-2680659-1277453513 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680659-1277453513.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: 0.99 0.97 0.82 3/105 26462 /proc/meminfo: memFree=1172276/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=3100 CPUtime=0 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 323 0 0 0 0 0 0 0 25 0 1 0 86645443 3174400 242 1992294400 134512640 135752675 4289723296 18446744073709551615 135162482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 775 242 142 303 0 381 0 [startup+0.072581 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26462 /proc/meminfo: memFree=1172276/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=3148 CPUtime=0.06 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 536 0 0 0 6 0 0 0 18 0 1 0 86645443 3223552 366 1992294400 134512640 135752675 4289723296 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 787 366 144 303 0 482 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3148 [startup+0.101583 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26462 /proc/meminfo: memFree=1172276/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=3408 CPUtime=0.09 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 576 0 0 0 9 0 0 0 18 0 1 0 86645443 3489792 406 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 852 406 145 303 0 547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3408 [startup+0.300606 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26462 /proc/meminfo: memFree=1172276/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=4440 CPUtime=0.29 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 831 0 0 0 28 1 0 0 18 0 1 0 86645443 4546560 661 1992294400 134512640 135752675 4289723296 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 1110 661 145 303 0 805 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4440 [startup+0.700647 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26462 /proc/meminfo: memFree=1172276/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=5984 CPUtime=0.69 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 1245 0 0 0 67 2 0 0 18 0 1 0 86645443 6127616 1075 1992294400 134512640 135752675 4289723296 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 1496 1075 145 303 0 1191 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5984 [startup+1.50073 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26463 /proc/meminfo: memFree=1167432/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=9076 CPUtime=1.49 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 1995 0 0 0 146 3 0 0 19 0 1 0 86645443 9293824 1825 1992294400 134512640 135752675 4289723296 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 2269 1825 145 303 0 1964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9076 [startup+3.1009 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26463 /proc/meminfo: memFree=1163464/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=14268 CPUtime=3.09 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 3288 0 0 0 304 5 0 0 25 0 1 0 86645443 14610432 3118 1992294400 134512640 135752675 4289723296 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 3567 3118 145 303 0 3262 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14268 [startup+6.30124 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26465 /proc/meminfo: memFree=1150816/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=27248 CPUtime=6.29 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 6560 0 0 0 617 12 0 0 25 0 1 0 86645443 27901952 6390 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 6812 6390 145 303 0 6507 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27248 [startup+12.7009 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26465 /proc/meminfo: memFree=1127008/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=48608 CPUtime=12.68 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 11871 0 0 0 1248 20 0 0 25 0 1 0 86645443 49774592 11701 1992294400 134512640 135752675 4289723296 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 12152 11702 145 303 0 11847 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48608 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26465 /proc/meminfo: memFree=1087328/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=88140 CPUtime=25.49 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 21749 0 0 0 2513 36 0 0 25 0 1 0 86645443 90255360 21579 1992294400 134512640 135752675 4289723296 18446744073709551615 134638047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 22035 21579 145 303 0 21730 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88140 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26465 /proc/meminfo: memFree=1015780/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=159880 CPUtime=51.08 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 39678 0 0 0 5043 65 0 0 25 0 1 0 86645443 163717120 39508 1992294400 134512640 135752675 4289723296 18446744073709551615 134612058 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 39970 39509 145 303 0 39665 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 159880 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.83 2/106 26467 /proc/meminfo: memFree=890292/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=283624 CPUtime=102.27 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 70609 0 0 0 10114 113 0 0 25 0 1 0 86645443 290430976 70439 1992294400 134512640 135752675 4289723296 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 70906 70439 145 303 0 70601 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 283624 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.84 2/106 26469 /proc/meminfo: memFree=729092/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=446176 CPUtime=162.25 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 111185 0 0 0 16047 178 0 0 25 0 1 0 86645443 456884224 111015 1992294400 134512640 135752675 4289723296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 111544 111015 145 303 0 111239 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 446176 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/106 26469 /proc/meminfo: memFree=630636/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=542908 CPUtime=222.23 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 135466 0 0 0 21969 254 0 0 25 0 1 0 86645443 555937792 135269 1992294400 134512640 135752675 4289723296 18446744073709551615 134611771 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 135727 135269 146 303 0 135422 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 542908 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26471 /proc/meminfo: memFree=538628/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=635204 CPUtime=282.22 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 158527 0 0 0 27916 306 0 0 25 0 1 0 86645443 650448896 158330 1992294400 134512640 135752675 4289723296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 158801 158330 146 303 0 158496 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 635204 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26473 /proc/meminfo: memFree=491880/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=681184 CPUtime=342.21 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 170034 0 0 0 33853 368 0 0 25 0 1 0 86645443 697532416 169837 1992294400 134512640 135752675 4289723296 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 170296 169837 146 303 0 169991 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 681184 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26475 /proc/meminfo: memFree=428144/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=745652 CPUtime=402.19 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 186131 0 0 0 39788 431 0 0 25 0 1 0 86645443 763547648 185934 1992294400 134512640 135752675 4289723296 18446744073709551615 135205025 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 186413 185934 146 303 0 186108 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 745652 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26477 /proc/meminfo: memFree=325348/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=847532 CPUtime=462.18 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 211645 0 0 0 45706 512 0 0 25 0 1 0 86645443 867872768 211420 1992294400 134512640 135752675 4289723296 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 211883 211420 146 303 0 211578 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 847532 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 26477 /proc/meminfo: memFree=230612/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=943104 CPUtime=522.15 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 235528 0 0 0 51647 568 0 0 25 0 1 0 86645443 965738496 235303 1992294400 134512640 135752675 4289723296 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 235776 235303 146 303 0 235471 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 943104 [startup+582.3 s] /proc/loadavg: 0.99 0.97 0.88 2/106 26479 /proc/meminfo: memFree=123848/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=1049400 CPUtime=582.15 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 262078 0 0 0 57581 634 0 0 25 0 1 0 86645443 1074585600 261853 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 262350 261853 146 303 0 262045 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1049400 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 26481 /proc/meminfo: memFree=30104/2059040 swapFree=4159788/4192956 [pid=26462] ppid=26460 vsize=1141888 CPUtime=642.13 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 285207 0 0 0 63517 696 0 0 25 0 1 0 86645443 1169293312 284982 1992294400 134512640 135752675 4289723296 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 285472 284982 146 303 0 285167 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1141888 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.89 2/106 26483 /proc/meminfo: memFree=10436/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1229128 CPUtime=702.11 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 306999 0 0 0 69459 752 0 0 25 0 1 0 86645443 1258627072 306774 1992294400 134512640 135752675 4289723296 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 307282 306774 146 303 0 306977 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1229128 [startup+762.307 s] /proc/loadavg: 0.99 0.97 0.89 2/106 26485 /proc/meminfo: memFree=10196/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1313104 CPUtime=762.11 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 327977 0 0 0 75404 807 0 0 25 0 1 0 86645443 1344618496 327752 1992294400 134512640 135752675 4289723296 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 328276 327752 146 303 0 327971 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1313104 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.90 2/106 26485 /proc/meminfo: memFree=10156/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1403928 CPUtime=822.08 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 350649 0 0 0 81349 859 0 0 25 0 1 0 86645443 1437622272 350424 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 350982 350424 146 303 0 350677 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1403928 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26487 /proc/meminfo: memFree=10720/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1467028 CPUtime=882.07 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 366407 0 0 0 87319 888 0 0 25 0 1 0 86645443 1502236672 366182 1992294400 134512640 135752675 4289723296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 366757 366182 146 303 0 366452 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1467028 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26489 /proc/meminfo: memFree=9292/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1537496 CPUtime=942.05 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 384013 0 0 0 93277 928 0 0 25 0 1 0 86645443 1574395904 383788 1992294400 134512640 135752675 4289723296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 384374 383788 146 303 0 384069 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1537496 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26491 /proc/meminfo: memFree=10296/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1616940 CPUtime=1002.03 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 403846 0 0 0 99225 978 0 0 25 0 1 0 86645443 1655746560 403621 1992294400 134512640 135752675 4289723296 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 404235 403621 146 303 0 403930 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1616940 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26493 /proc/meminfo: memFree=9544/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1702116 CPUtime=1062.02 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 425140 0 0 0 105167 1035 0 0 25 0 1 0 86645443 1742966784 424915 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 425529 424915 146 303 0 425224 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1702116 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 3/106 26493 /proc/meminfo: memFree=10000/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1793920 CPUtime=1122 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 448081 0 0 0 111100 1100 0 0 25 0 1 0 86645443 1836974080 447856 1992294400 134512640 135752675 4289723296 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 448480 447856 146 303 0 448175 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1793920 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1150.4 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26495 /proc/meminfo: memFree=9316/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=1843288 CPUtime=1150.1 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4202496 460413 0 0 0 113883 1127 0 0 25 0 1 0 86645443 1887526912 460188 1992294400 134512640 135752675 4289723296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26462/statm: 460822 460188 146 303 0 460517 0 Current children cumulated CPU time (s) 1150.1 Current children cumulated vsize (KiB) 1843288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1150.51 s] /proc/loadavg: 0.99 0.97 0.91 2/107 26496 /proc/meminfo: memFree=1210124/2059040 swapFree=4140332/4192956 [pid=26462] ppid=26460 vsize=0 CPUtime=1150.2 /proc/26462/stat : 26462 (wbo1.4b) R 26460 26462 26352 0 -1 4203524 460413 0 0 0 113883 1137 0 0 25 0 1 0 86645443 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26462/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1150.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1150.58 CPU time (s): 1150.28 CPU user time (s): 1138.84 CPU system time (s): 11.4443 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1843288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1138.84 system time used= 11.4443 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460413 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 874 runsolver used 1.9827 second user time and 5.37218 second system time The end
Begin job on node081 at 2010-06-25 10:11:53 IDJOB=2680659 IDBENCH=2055 IDSOLVER=1190 FILE ID=node081/2680659-1277453513 PBS_JOBID= 11188109 Free space on /tmp= 121784 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680659-1277453513/watcher-2680659-1277453513 -o /tmp/evaluation-result-2680659-1277453513/solver-2680659-1277453513 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680659-1277453513.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6 RANDOM SEED=795713866 node081.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.212 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.42 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.212 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1172804 kB Buffers: 209140 kB Cached: 548060 kB SwapCached: 1912 kB Active: 383424 kB Inactive: 402900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1172804 kB SwapTotal: 4192956 kB SwapFree: 4159788 kB Dirty: 3020 kB Writeback: 0 kB AnonPages: 27196 kB Mapped: 12976 kB Slab: 78052 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180620 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121784 MiB End job on node081 at 2010-06-25 10:31:06