Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1356.79 | 1357.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 6.91795 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 509 |
Number of constraints which are clauses | 509 |
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 | 3 |
Maximum length of a constraint | 166 |
Number of terms in the objective function | 4676 |
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 | 4676 |
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 | 4676 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656012-1276409608.opb. 0.00/0.00 c Instance file HOME/instance-2656012-1276409608.opb 0.00/0.00 c File size is 266563 bytes. 0.00/0.04 c Highest Coefficient sum: 167 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 4676 | 0.00/0.04 c | Number Clauses: 509 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 4676 509 25694 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 89 0.00/0.05 o 89 0.00/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 4676 510 30370 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 88 0.00/0.08 o 88 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 52 | 4676 511 35046 | 5000 52 168 | 0.000 % | 0.09/0.14 c | 154 | 4676 511 35046 | 5500 154 194 | 0.000 % | 0.19/0.29 c | 305 | 4676 511 35046 | 6050 305 194 | 0.000 % | 0.39/0.47 c | 532 | 4676 511 35046 | 6655 532 175 | 0.000 % | 0.69/0.79 c | 870 | 4676 511 35046 | 7320 870 173 | 0.000 % | 1.49/1.50 c | 1377 | 4676 511 35046 | 8052 1377 185 | 0.000 % | 2.09/2.16 c | 2136 | 4676 511 35046 | 8857 2136 178 | 0.000 % | 3.09/3.12 c | 3275 | 4676 511 35046 | 9743 3275 188 | 0.000 % | 4.40/4.50 c | 4983 | 4676 511 35046 | 10717 4983 203 | 0.000 % | 6.49/6.52 c | 7549 | 4676 511 35046 | 11789 7549 192 | 0.000 % | 10.27/10.35 c | 11398 | 4676 511 35046 | 12968 11398 180 | 0.000 % | 15.07/15.13 c | 17164 | 4676 511 35046 | 14265 9250 145 | 0.000 % | 23.87/23.93 c | 25814 | 4676 511 35046 | 15692 9539 154 | 0.000 % | 35.96/36.05 c | 38789 | 4676 511 35046 | 17261 12759 263 | 0.000 % | 50.96/51.08 c | 58250 | 4676 511 35046 | 18987 11048 202 | 0.000 % | 73.55/73.69 c | 87442 | 4676 511 35046 | 20886 16122 154 | 0.000 % | 101.05/101.17 c | 131232 | 4676 511 35046 | 22974 18748 215 | 0.000 % | 148.33/148.44 c | 196917 | 4676 511 35046 | 25272 21356 167 | 0.000 % | 181.02/181.16 c There are 0 assigned variables. 0 in cost function. 182.12/182.25 c core #1 182.12/182.25 c core #2 182.12/182.25 c core #3 182.12/182.25 c core #4 182.12/182.25 c core #5 182.12/182.25 c core #6 182.12/182.25 c core #7 182.12/182.25 c core #8 182.12/182.25 c core #9 182.12/182.25 c core #10 182.12/182.25 c core #11 182.12/182.25 c core #12 182.12/182.25 c core #13 182.12/182.25 c core #14 182.12/182.25 c core #15 182.12/182.25 c core #16 182.12/182.25 c core #17 182.12/182.25 c core #18 182.12/182.25 c core #19 182.12/182.25 c core #20 182.12/182.25 c core #21 182.12/182.25 c core #22 182.12/182.25 c core #23 182.12/182.25 c core #24 182.12/182.25 c core #25 182.12/182.25 c core #26 182.12/182.25 c core #27 182.12/182.25 c core #28 182.12/182.25 c core #29 182.12/182.25 c core #30 182.12/182.25 c core #31 182.12/182.25 c core #32 182.12/182.25 c core #33 182.12/182.25 c core #34 182.12/182.25 c core #35 182.12/182.25 c core #36 182.12/182.25 c core #37 182.12/182.25 c core #38 182.12/182.25 c core #39 182.12/182.25 c core #40 182.12/182.25 c core #41 182.12/182.25 c core #42 182.12/182.25 c core #43 182.12/182.25 c core #44 182.12/182.25 c ============================[ Search Statistics ]============================== 182.12/182.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.12/182.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.12/182.25 c =============================================================================== 182.12/182.25 c | 0 | 2904 5232 43978 | 5000 0 nan | 0.000 % | 182.12/182.26 c | 102 | 2903 5232 43978 | 5500 102 62 | 53.028 % | 182.12/182.29 c | 252 | 2901 5232 43978 | 6050 252 72 | 53.093 % | 182.22/182.34 c =============================================================================== 182.22/182.36 c core #45 182.22/182.36 c ============================[ Search Statistics ]============================== 182.22/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.22/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.22/182.36 c =============================================================================== 182.22/182.36 c | 0 | 3318 5233 44712 | 5000 0 nan | 0.000 % | 182.22/182.37 c =============================================================================== 182.22/182.39 c core #46 182.22/182.39 c ============================[ Search Statistics ]============================== 182.22/182.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.22/182.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.22/182.39 c =============================================================================== 182.22/182.39 c | 0 | 3680 5234 45400 | 5000 0 nan | 0.000 % | 182.32/182.40 c =============================================================================== 182.32/182.42 c core #47 182.32/182.42 c ============================[ Search Statistics ]============================== 182.32/182.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.32/182.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.32/182.42 c =============================================================================== 182.32/182.42 c | 0 | 3822 5235 45643 | 5000 0 nan | 0.000 % | 182.32/182.44 c | 102 | 3822 5235 45643 | 5500 102 88 | 43.587 % | 182.32/182.48 c | 253 | 3822 5235 45643 | 6050 253 98 | 43.587 % | 182.42/182.52 c =============================================================================== 182.42/182.55 c core #48 182.42/182.55 c ============================[ Search Statistics ]============================== 182.42/182.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.42/182.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.42/182.55 c =============================================================================== 182.42/182.55 c | 0 | 4132 5236 46204 | 5000 0 nan | 0.000 % | 182.42/182.57 c | 100 | 4132 5236 46204 | 5500 100 34 | 41.190 % | 182.53/182.60 c | 253 | 4132 5236 46204 | 6050 253 52 | 41.190 % | 182.53/182.64 c | 479 | 4132 5236 46204 | 6655 479 53 | 41.190 % | 182.53/182.67 c =============================================================================== 182.53/182.70 c core #49 182.53/182.70 c ============================[ Search Statistics ]============================== 182.53/182.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.53/182.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.53/182.70 c =============================================================================== 182.53/182.70 c | 0 | 4338 5237 46584 | 5000 0 nan | 0.000 % | 182.62/182.72 c | 100 | 4338 5237 46584 | 5500 100 57 | 39.750 % | 182.62/182.76 c | 251 | 4338 5237 46584 | 6050 251 51 | 39.750 % | 182.62/182.79 c | 476 | 4338 5237 46584 | 6655 476 60 | 39.750 % | 182.72/182.89 c | 818 | 4336 5237 46584 | 7320 817 79 | 39.778 % | 182.92/183.03 c | 1324 | 4336 5237 46584 | 8052 1323 93 | 39.778 % | 183.12/183.28 c | 2083 | 4336 5237 46584 | 8857 2082 109 | 39.778 % | 183.52/183.65 c | 3223 | 4336 5237 46584 | 9743 3222 114 | 39.778 % | 184.32/184.46 c | 4933 | 4336 5237 46584 | 10717 4932 128 | 39.778 % | 185.62/185.73 c | 7496 | 4336 5237 46584 | 11789 7495 131 | 39.778 % | 186.62/186.77 c =============================================================================== 186.72/186.81 c core #50 186.72/186.81 c ============================[ Search Statistics ]============================== 186.72/186.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.72/186.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.72/186.81 c =============================================================================== 186.72/186.81 c | 0 | 4502 5238 46841 | 5000 0 nan | 0.000 % | 186.72/186.83 c | 101 | 4502 5238 46841 | 5500 101 73 | 38.270 % | 186.72/186.86 c | 251 | 4502 5238 46841 | 6050 251 81 | 38.270 % | 186.82/186.90 c | 478 | 4502 5238 46841 | 6655 478 88 | 38.270 % | 186.82/186.97 c | 815 | 4502 5238 46841 | 7320 815 94 | 38.270 % | 186.93/187.05 c | 1321 | 4502 5238 46841 | 8052 1321 91 | 38.270 % | 187.03/187.18 c | 2081 | 4500 5238 46841 | 8857 2076 82 | 38.297 % | 187.12/187.24 c =============================================================================== 187.12/187.28 c core #51 187.12/187.28 c ============================[ Search Statistics ]============================== 187.12/187.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.12/187.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.12/187.28 c =============================================================================== 187.12/187.28 c | 0 | 4750 5239 47306 | 5000 0 nan | 0.000 % | 187.22/187.30 c | 100 | 4750 5239 47306 | 5500 100 59 | 36.751 % | 187.22/187.32 c | 252 | 4750 5239 47306 | 6050 252 73 | 36.751 % | 187.22/187.35 c | 477 | 4750 5239 47306 | 6655 477 73 | 36.751 % | 187.22/187.39 c | 816 | 4750 5239 47306 | 7320 816 70 | 36.751 % | 187.32/187.49 c | 1322 | 4748 5239 47306 | 8052 1321 79 | 36.778 % | 187.52/187.65 c | 2082 | 4748 5239 47306 | 8857 2081 94 | 36.778 % | 187.82/187.96 c | 3221 | 4748 5239 47306 | 9743 3220 116 | 36.778 % | 188.42/188.53 c | 4929 | 4748 5239 47306 | 10717 4928 135 | 36.778 % | 189.32/189.41 c | 7492 | 4748 5239 47306 | 11789 7491 147 | 36.778 % | 190.92/191.02 c | 11351 | 4748 5239 47306 | 12968 11350 153 | 36.778 % | 191.92/192.00 c =============================================================================== 191.92/192.05 c core #52 191.92/192.05 c ============================[ Search Statistics ]============================== 191.92/192.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.92/192.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.92/192.05 c =============================================================================== 191.92/192.05 c | 0 | 4869 5240 47493 | 5000 0 nan | 0.000 % | 191.92/192.07 c | 100 | 4869 5240 47493 | 5500 100 56 | 35.748 % | 191.92/192.09 c | 251 | 4869 5240 47493 | 6050 251 49 | 35.748 % | 192.02/192.13 c | 476 | 4869 5240 47493 | 6655 476 56 | 35.748 % | 192.12/192.21 c | 813 | 4869 5240 47493 | 7320 813 62 | 35.748 % | 192.12/192.29 c | 1325 | 4869 5240 47493 | 8052 1325 81 | 35.748 % | 192.32/192.47 c | 2086 | 4869 5240 47493 | 8857 2086 99 | 35.748 % | 192.71/192.80 c | 3228 | 4869 5240 47493 | 9743 3228 118 | 35.748 % | 193.12/193.29 c | 4937 | 4869 5240 47493 | 10717 4937 133 | 35.748 % | 194.02/194.12 c | 7499 | 4869 5240 47493 | 11789 7499 132 | 35.748 % | 195.52/195.70 c | 11343 | 4869 5240 47493 | 12968 11343 132 | 35.748 % | 198.02/198.11 c | 17110 | 4869 5240 47493 | 14265 9134 134 | 35.748 % | 201.51/201.63 c | 25761 | 4869 5240 47493 | 15692 9245 163 | 35.748 % | 206.01/206.14 c | 38737 | 4869 5240 47493 | 17261 12834 149 | 35.748 % | 214.31/214.47 c | 58199 | 4869 5240 47493 | 18987 11874 137 | 35.748 % | 218.72/218.88 c =============================================================================== 219.11/219.20 c core #53 219.11/219.20 c ============================[ Search Statistics ]============================== 219.11/219.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.11/219.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.11/219.20 c =============================================================================== 219.11/219.20 c | 0 | 5547 5241 48742 | 5000 0 nan | 0.000 % | 219.11/219.24 c | 100 | 5547 5241 48742 | 5500 100 65 | 31.930 % | 219.11/219.26 c | 254 | 5547 5241 48742 | 6050 254 48 | 31.930 % | 219.21/219.30 c | 483 | 5547 5241 48742 | 6655 483 50 | 31.930 % | 219.21/219.38 c | 820 | 5547 5241 48742 | 7320 820 69 | 31.930 % | 219.31/219.49 c | 1328 | 5547 5241 48742 | 8052 1328 85 | 31.930 % | 219.61/219.73 c | 2089 | 5547 5241 48742 | 8857 2089 105 | 31.930 % | 219.92/220.09 c | 3228 | 5547 5241 48742 | 9743 3228 117 | 31.930 % | 220.41/220.59 c | 4938 | 5545 5241 48742 | 10717 4937 122 | 31.955 % | 221.21/221.30 c | 7501 | 5542 5241 48742 | 11789 7499 139 | 31.992 % | 223.22/223.36 c | 11348 | 5542 5241 48742 | 12968 11346 189 | 31.992 % | 227.11/227.28 c | 17119 | 5537 5241 48742 | 14265 9168 329 | 32.053 % | 232.41/232.58 c | 25768 | 5537 5241 48742 | 15692 9349 328 | 32.065 % | 245.51/245.65 c | 38742 | 5535 5241 48742 | 17261 12978 323 | 32.078 % | 265.40/265.54 c | 58204 | 5533 5241 48742 | 18987 11685 284 | 32.139 % | 294.99/295.12 c | 87396 | 5525 5241 48742 | 20886 18906 264 | 32.200 % | 338.69/338.87 c | 131185 | 5520 5241 48742 | 22974 14164 333 | 32.568 % | 447.15/447.30 c | 196869 | 5494 5241 48742 | 25272 13283 424 | 32.581 % | 550.22/550.49 c =============================================================================== 550.62/550.87 c core #54 550.62/550.87 c ============================[ Search Statistics ]============================== 550.62/550.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 550.62/550.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 550.62/550.87 c =============================================================================== 550.62/550.87 c | 0 | 6143 5242 49807 | 5000 0 nan | 0.000 % | 550.72/550.92 c | 102 | 6143 5242 49807 | 5500 102 67 | 28.719 % | 550.72/550.96 c | 252 | 6143 5242 49807 | 6050 252 71 | 28.719 % | 550.82/551.00 c | 477 | 6143 5242 49807 | 6655 477 70 | 28.719 % | 550.82/551.07 c | 816 | 6143 5242 49807 | 7320 816 75 | 28.719 % | 550.93/551.15 c | 1322 | 6143 5242 49807 | 8052 1322 83 | 28.719 % | 551.22/551.41 c | 2081 | 6142 5242 49807 | 8857 2080 115 | 28.731 % | 551.61/551.84 c | 3221 | 6139 5242 49807 | 9743 3200 196 | 28.765 % | 552.62/552.84 c | 4930 | 6139 5242 49807 | 10717 4909 263 | 28.777 % | 556.53/556.71 c | 7492 | 6135 5242 49807 | 11789 7469 312 | 28.812 % | 560.62/560.81 c | 11338 | 6133 5242 49807 | 12968 11315 345 | 28.835 % | 569.21/569.41 c | 17106 | 6133 5242 49807 | 14265 9191 422 | 28.847 % | 577.71/577.98 c | 25756 | 6128 5242 49807 | 15692 9066 350 | 28.893 % | 593.71/593.94 c | 38731 | 6128 5242 49807 | 17261 12634 379 | 28.893 % | 610.70/610.94 c | 58195 | 6128 5242 49807 | 18987 11816 376 | 28.893 % | 641.20/641.46 c | 87389 | 6128 5242 49807 | 20886 18996 394 | 28.893 % | 694.99/695.28 c | 131182 | 6128 5242 49807 | 22974 15202 462 | 28.893 % | 781.25/781.50 c | 196868 | 6127 5242 49807 | 25272 26256 364 | 28.905 % | 876.93/877.21 c | 295394 | 6120 5242 49807 | 27799 11746 357 | 28.986 % | 936.01/936.37 c =============================================================================== 939.61/939.99 c core #55 939.61/939.99 c ============================[ Search Statistics ]============================== 939.61/939.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 939.61/939.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 939.61/939.99 c =============================================================================== 939.61/939.99 c | 0 | 7321 5243 51985 | 5000 0 nan | 0.000 % | 939.70/940.05 c | 103 | 7321 5243 51985 | 5500 103 46 | 23.882 % | 939.80/940.15 c | 254 | 7321 5243 51985 | 6050 254 56 | 23.882 % | 940.00/940.31 c | 481 | 7321 5243 51985 | 6655 481 74 | 23.882 % | 940.21/940.58 c | 821 | 7321 5243 51985 | 7320 821 83 | 23.882 % | 940.61/940.98 c | 1330 | 7321 5243 51985 | 8052 1330 81 | 23.882 % | 940.90/941.22 c | 2092 | 7321 5243 51985 | 8857 2092 128 | 23.882 % | 941.41/941.77 c | 3231 | 7321 5243 51985 | 9743 3231 108 | 23.882 % | 942.00/942.34 c | 4941 | 7321 5243 51985 | 10717 4941 122 | 23.882 % | 943.10/943.47 c | 7503 | 7321 5243 51985 | 11789 7503 136 | 23.882 % | 944.61/944.95 c | 11347 | 7321 5243 51985 | 12968 11347 227 | 23.882 % | 948.79/949.14 c | 17113 | 7321 5243 51985 | 14265 9111 426 | 23.882 % | 955.99/956.37 c | 25762 | 7321 5243 51985 | 15692 9105 453 | 23.882 % | 973.89/974.29 c | 38736 | 7321 5243 51985 | 17261 12821 525 | 23.882 % | 994.69/995.06 c | 58198 | 7321 5243 51985 | 18987 11898 568 | 23.882 % | 1025.87/1026.22 c | 87390 | 7321 5243 51985 | 20886 19613 468 | 23.882 % | 1081.07/1081.47 c | 131185 | 7321 5243 51985 | 22974 16169 375 | 23.882 % | 1182.73/1183.12 c | 196871 | 7321 5243 51985 | 25272 14490 518 | 23.882 % | 1287.80/1288.28 c | 295397 | 7319 5243 51985 | 27799 15123 396 | 23.903 % |
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-2656012-1276409608/watcher-2656012-1276409608 -o /tmp/evaluation-result-2656012-1276409608/solver-2656012-1276409608 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656012-1276409608.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.92 0.98 0.99 3/106 20336 /proc/meminfo: memFree=1760712/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=3712 CPUtime=0 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 16564675 3801088 385 1992294400 134512640 135751879 4293787152 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 928 385 140 303 0 557 0 [startup+0.101627 s] /proc/loadavg: 0.92 0.98 0.99 3/106 20336 /proc/meminfo: memFree=1760712/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=3852 CPUtime=0.09 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 791 0 0 0 9 0 0 0 20 0 1 0 16564675 3944448 526 1992294400 134512640 135751879 4293787152 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 963 526 146 303 0 658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3852 [startup+0.200636 s] /proc/loadavg: 0.92 0.98 0.99 3/106 20336 /proc/meminfo: memFree=1760712/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=3984 CPUtime=0.19 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 826 0 0 0 18 1 0 0 20 0 1 0 16564675 4079616 561 1992294400 134512640 135751879 4293787152 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 996 561 147 303 0 691 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3984 [startup+0.300645 s] /proc/loadavg: 0.92 0.98 0.99 3/106 20336 /proc/meminfo: memFree=1760712/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=4112 CPUtime=0.29 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 848 0 0 0 28 1 0 0 20 0 1 0 16564675 4210688 583 1992294400 134512640 135751879 4293787152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 1028 583 147 303 0 723 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4112 [startup+0.700683 s] /proc/loadavg: 0.92 0.98 0.99 3/106 20336 /proc/meminfo: memFree=1760712/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=4504 CPUtime=0.69 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 932 0 0 0 68 1 0 0 21 0 1 0 16564675 4612096 667 1992294400 134512640 135751879 4293787152 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 1126 667 147 303 0 821 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4504 [startup+1.50076 s] /proc/loadavg: 0.92 0.98 0.99 2/107 20337 /proc/meminfo: memFree=1758100/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=5152 CPUtime=1.49 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 1091 0 0 0 147 2 0 0 23 0 1 0 16564675 5275648 826 1992294400 134512640 135751879 4293787152 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 1288 826 147 303 0 983 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5152 [startup+3.10091 s] /proc/loadavg: 0.92 0.98 0.99 2/107 20337 /proc/meminfo: memFree=1756984/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=6720 CPUtime=3.09 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 1510 0 0 0 305 4 0 0 25 0 1 0 16564675 6881280 1245 1992294400 134512640 135751879 4293787152 18446744073709551615 134606456 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 1680 1245 147 303 0 1375 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6720 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 3/107 20337 /proc/meminfo: memFree=1753016/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=10520 CPUtime=6.29 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 2435 0 0 0 623 6 0 0 25 0 1 0 16564675 10772480 2170 1992294400 134512640 135751879 4293787152 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 2630 2170 147 303 0 2325 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10520 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.99 2/107 20340 /proc/meminfo: memFree=1747188/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=15660 CPUtime=12.67 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 3728 0 0 0 1258 9 0 0 25 0 1 0 16564675 16035840 3463 1992294400 134512640 135751879 4293787152 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 3915 3463 147 303 0 3610 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 15660 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 20340 /proc/meminfo: memFree=1735904/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=26716 CPUtime=25.47 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 6504 0 0 0 2531 16 0 0 25 0 1 0 16564675 27357184 6239 1992294400 134512640 135751879 4293787152 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 6679 6239 148 303 0 6374 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 26716 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 3/107 20342 /proc/meminfo: memFree=1706640/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=56520 CPUtime=51.05 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 13930 0 0 0 5075 30 0 0 25 0 1 0 16564675 57876480 13665 1992294400 134512640 135751879 4293787152 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 14130 13665 148 303 0 13825 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 56520 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/107 20342 /proc/meminfo: memFree=1642036/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=120256 CPUtime=102.25 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 29857 0 0 0 10163 62 0 0 25 0 1 0 16564675 123142144 29592 1992294400 134512640 135751879 4293787152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 30064 29592 148 303 0 29759 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 120256 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20344 /proc/meminfo: memFree=1571356/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=191440 CPUtime=162.23 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 47654 0 0 0 16126 97 0 0 25 0 1 0 16564675 196034560 47389 1992294400 134512640 135751879 4293787152 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 47860 47389 148 303 0 47555 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 191440 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20346 /proc/meminfo: memFree=1515308/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=246596 CPUtime=222.22 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 61573 0 0 0 22047 175 0 0 25 0 1 0 16564675 252514304 61195 1992294400 134512640 135751879 4293787152 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 61649 61195 151 303 0 61344 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 246596 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20348 /proc/meminfo: memFree=1432228/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=330204 CPUtime=282.2 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 82461 0 0 0 27988 232 0 0 25 0 1 0 16564675 338128896 82083 1992294400 134512640 135751879 4293787152 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 82551 82083 151 303 0 82246 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 330204 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20350 /proc/meminfo: memFree=1343940/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=417680 CPUtime=342.18 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 104328 0 0 0 33935 283 0 0 25 0 1 0 16564675 427704320 103950 1992294400 134512640 135751879 4293787152 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 104420 103950 151 303 0 104115 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 417680 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20350 /proc/meminfo: memFree=1281692/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=480196 CPUtime=402.16 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 119940 0 0 0 39901 315 0 0 25 0 1 0 16564675 491720704 119562 1992294400 134512640 135751879 4293787152 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 120049 119562 151 303 0 119744 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 480196 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20352 /proc/meminfo: memFree=1218328/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=543364 CPUtime=462.14 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 135709 0 0 0 45864 350 0 0 25 0 1 0 16564675 556404736 135331 1992294400 134512640 135751879 4293787152 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 135841 135331 151 303 0 135536 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 543364 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20354 /proc/meminfo: memFree=1149508/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=612768 CPUtime=522.13 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 153060 0 0 0 51821 392 0 0 25 0 1 0 16564675 627474432 152682 1992294400 134512640 135751879 4293787152 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 153192 152682 151 303 0 152887 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 612768 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20356 /proc/meminfo: memFree=1091724/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=669384 CPUtime=582.11 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 167392 0 0 0 57766 445 0 0 25 0 1 0 16564675 685449216 166918 1992294400 134512640 135751879 4293787152 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 167346 166918 151 303 0 167041 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 669384 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20356 /proc/meminfo: memFree=1000460/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=761516 CPUtime=642.09 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 190419 0 0 0 63714 495 0 0 25 0 1 0 16564675 779792384 189945 1992294400 134512640 135751879 4293787152 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 190379 189945 151 303 0 190074 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 761516 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20358 /proc/meminfo: memFree=910684/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=849928 CPUtime=702.07 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 212483 0 0 0 69661 546 0 0 25 0 1 0 16564675 870326272 212009 1992294400 134512640 135751879 4293787152 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 212482 212009 151 303 0 212177 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 849928 [startup+762.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20360 /proc/meminfo: memFree=834920/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=925168 CPUtime=762.07 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 231282 0 0 0 75619 588 0 0 25 0 1 0 16564675 947372032 230808 1992294400 134512640 135751879 4293787152 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 231292 230808 151 303 0 230987 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 925168 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20362 /proc/meminfo: memFree=735968/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1024912 CPUtime=822.04 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 256211 0 0 0 81561 643 0 0 25 0 1 0 16564675 1049509888 255737 1992294400 134512640 135751879 4293787152 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 256228 255737 151 303 0 255923 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1024912 [startup+882.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20364 /proc/meminfo: memFree=627716/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1132360 CPUtime=882.03 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 283072 0 0 0 87500 703 0 0 25 0 1 0 16564675 1159536640 282598 1992294400 134512640 135751879 4293787152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 283090 282598 151 303 0 282785 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1132360 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 3/107 20366 /proc/meminfo: memFree=536700/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1222856 CPUtime=942 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 305678 0 0 0 93448 752 0 0 25 0 1 0 16564675 1252204544 305153 1992294400 134512640 135751879 4293787152 18446744073709551615 134605963 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 305714 305153 151 303 0 305409 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1222856 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20366 /proc/meminfo: memFree=448040/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1311468 CPUtime=1001.99 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 327912 0 0 0 99383 816 0 0 25 0 1 0 16564675 1342943232 327387 1992294400 134512640 135751879 4293787152 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 327867 327387 151 303 0 327562 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1311468 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20368 /proc/meminfo: memFree=360248/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1399564 CPUtime=1061.96 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 349909 0 0 0 105328 868 0 0 25 0 1 0 16564675 1433153536 349384 1992294400 134512640 135751879 4293787152 18446744073709551615 134610862 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 349891 349384 151 303 0 349586 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1399564 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20370 /proc/meminfo: memFree=275432/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1483724 CPUtime=1121.94 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 370967 0 0 0 111276 918 0 0 25 0 1 0 16564675 1519333376 370442 1992294400 134512640 135751879 4293787152 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 370931 370442 151 303 0 370626 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1483724 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20372 /proc/meminfo: memFree=204132/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1554856 CPUtime=1181.93 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 388733 0 0 0 117237 956 0 0 25 0 1 0 16564675 1592172544 388208 1992294400 134512640 135751879 4293787152 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 388714 388208 151 303 0 388409 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1554856 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20374 /proc/meminfo: memFree=103940/2059040 swapFree=4163504/4192956 [pid=20336] ppid=20334 vsize=1654980 CPUtime=1241.91 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 413723 0 0 0 123183 1008 0 0 25 0 1 0 16564675 1694699520 413198 1992294400 134512640 135751879 4293787152 18446744073709551615 134607728 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 413745 413198 151 303 0 413440 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1654980 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20374 /proc/meminfo: memFree=10264/2059040 swapFree=4156052/4192956 [pid=20336] ppid=20334 vsize=1756424 CPUtime=1301.89 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 439079 0 0 0 129128 1061 0 0 25 0 1 0 16564675 1798578176 438554 1992294400 134512640 135751879 4293787152 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20336/statm: 439106 438554 151 303 0 438801 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1756424 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1357.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 20376 /proc/meminfo: memFree=9716/2059040 swapFree=4140400/4192956 [pid=20336] ppid=20334 vsize=1843344 CPUtime=1356.62 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4202496 460809 0 0 0 134549 1113 0 0 25 0 1 0 16564675 1887584256 460284 1992294400 134512640 135751879 4293787152 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/20336/statm: 460836 460284 151 303 0 460531 0 Current children cumulated CPU time (s) 1356.62 Current children cumulated vsize (KiB) 1843344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1357.41 s] /proc/loadavg: 0.99 0.98 0.99 2/108 20377 /proc/meminfo: memFree=1164148/2059040 swapFree=4140400/4192956 [pid=20336] ppid=20334 vsize=0 CPUtime=1356.73 /proc/20336/stat : 20336 (wbo1.4b) R 20334 20336 20212 0 -1 4203524 460809 0 0 0 134549 1124 0 0 25 0 1 0 16564675 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/20336/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1356.73 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1357.47 CPU time (s): 1356.79 CPU user time (s): 1345.49 CPU system time (s): 11.2993 CPU usage (%): 99.9499 Max. virtual memory (cumulated for all children) (KiB): 1843344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1345.49 system time used= 11.2993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460809 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= 5000 runsolver used 2.36264 second user time and 6.35303 second system time The end
Begin job on node004 at 2010-06-13 08:13:28 IDJOB=2656012 IDBENCH=2044 IDSOLVER=1161 FILE ID=node004/2656012-1276409608 PBS_JOBID= 11173287 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656012-1276409608/watcher-2656012-1276409608 -o /tmp/evaluation-result-2656012-1276409608/solver-2656012-1276409608 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656012-1276409608.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED=121447757 node004.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.210 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1761240 kB Buffers: 49572 kB Cached: 150036 kB SwapCached: 1724 kB Active: 129908 kB Inactive: 101584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1761240 kB SwapTotal: 4192956 kB SwapFree: 4163504 kB Dirty: 2936 kB Writeback: 0 kB AnonPages: 30076 kB Mapped: 14092 kB Slab: 44512 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181372 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= 62536 MiB End job on node004 at 2010-06-13 08:36:07