Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1241.49 | 1241.88 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 119.812 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 860 |
Number of terms in the objective function | 2847 |
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 | 2847 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2847 |
Number of bits of the biggest sum of numbers | 12 |
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-2655921-1276596996.opb. 0.00/0.00 c Instance file HOME/instance-2655921-1276596996.opb 0.00/0.00 c File size is 2769108 bytes. 0.39/0.43 c Highest Coefficient sum: 861 0.39/0.43 c ============================[ Problem Statistics ]============================= 0.39/0.43 c | | 0.39/0.43 c | Parsing time: 0.42 s | 0.39/0.43 c | Number Variables: 2847 | 0.39/0.43 c | Number Clauses: 4902 | 0.39/0.43 c | Number Cardinality: 0 | 0.39/0.43 c | Number PB Constraints: 0 | 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2847 4902 315162 | 5000 0 nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 39 0.39/0.44 o 39 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 179.559 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1 | 2847 4903 318009 | 5000 1 98 | 0.000 % | 0.39/0.48 c | 102 | 2847 4903 318009 | 5500 102 269 | 0.000 % | 0.49/0.54 c | 254 | 2847 4903 318009 | 6050 254 312 | 0.000 % | 0.59/0.63 c | 480 | 2847 4903 318009 | 6655 480 253 | 0.000 % | 0.79/0.84 c | 819 | 2847 4903 318009 | 7320 819 256 | 0.000 % | 1.29/1.30 c | 1325 | 2847 4903 318009 | 8052 1325 228 | 0.000 % | 1.89/1.99 c | 2085 | 2847 4903 318009 | 8857 2085 242 | 0.000 % | 3.19/3.27 c | 3226 | 2847 4903 318009 | 9743 3226 245 | 0.000 % | 4.68/4.72 c | 4936 | 2847 4903 318009 | 10717 4936 231 | 0.000 % | 6.39/6.45 c | 7498 | 2847 4903 318009 | 11789 7498 242 | 0.000 % | 11.99/12.04 c | 11343 | 2847 4903 318009 | 12968 11343 249 | 0.000 % | 16.89/16.91 c | 17109 | 2847 4903 318009 | 14265 9344 230 | 0.000 % | 23.38/23.49 c | 25760 | 2847 4903 318009 | 15692 9571 192 | 0.000 % | 32.08/32.13 c | 38745 | 2847 4903 318009 | 17261 13409 227 | 0.000 % | 45.37/45.49 c | 58206 | 2847 4903 318009 | 18987 12964 322 | 0.000 % | 47.28/47.33 c =============================================================================== 47.28/47.33 c New solution: 38 47.28/47.33 o 38 47.28/47.33 c Elapsed CPU time: 46.9779 s Remaining CPU time: 133.022 s 47.28/47.33 c =============================================================================== 47.28/47.33 c | 62955 | 2847 4904 320856 | 5000 17713 325 | 0.000 % | 47.37/47.43 c | 63056 | 2847 4904 320856 | 5500 4530 330 | 0.000 % | 47.37/47.49 c | 63206 | 2847 4904 320856 | 6050 4680 326 | 0.000 % | 47.57/47.61 c | 63431 | 2847 4904 320856 | 6655 4905 316 | 0.000 % | 47.98/48.02 c | 63771 | 2847 4904 320856 | 7320 5245 311 | 0.000 % | 48.38/48.50 c | 64278 | 2847 4904 320856 | 8052 5752 314 | 0.000 % | 49.49/49.55 c | 65037 | 2847 4904 320856 | 8857 6511 314 | 0.000 % | 50.17/50.24 c | 66177 | 2847 4904 320856 | 9743 7651 292 | 0.000 % | 51.58/51.62 c | 67885 | 2847 4904 320856 | 10717 9359 312 | 0.000 % | 52.57/52.63 c | 70447 | 2847 4904 320856 | 11789 11921 304 | 0.000 % | 57.08/57.11 c | 74292 | 2847 4904 320856 | 12968 9806 328 | 0.000 % | 63.57/63.65 c | 80061 | 2847 4904 320856 | 14265 7811 307 | 0.000 % | 72.57/72.65 c | 88710 | 2847 4904 320856 | 15692 16460 276 | 0.000 % | 82.77/82.88 c | 101684 | 2847 4904 320856 | 17261 12033 356 | 0.000 % | 96.66/96.77 c | 121145 | 2847 4904 320856 | 18987 11549 314 | 0.000 % | 114.15/114.28 c | 150338 | 2847 4904 320856 | 20886 18936 389 | 0.000 % | 117.95/118.07 c =============================================================================== 117.95/118.07 c New solution: 37 117.95/118.07 o 37 117.95/118.07 c Elapsed CPU time: 117.171 s Remaining CPU time: 62.8288 s 117.95/118.07 c =============================================================================== 117.95/118.07 c | 159428 | 2847 4905 323703 | 5000 15336 334 | 0.000 % | 118.05/118.19 c | 159530 | 2847 4905 323703 | 5500 3936 298 | 0.000 % | 118.16/118.26 c | 159680 | 2847 4905 323703 | 6050 4086 294 | 0.000 % | 118.46/118.51 c | 159905 | 2847 4905 323703 | 6655 4311 290 | 0.000 % | 119.26/119.37 c | 160244 | 2847 4905 323703 | 7320 4650 290 | 0.000 % | 119.65/119.70 c | 160750 | 2847 4905 323703 | 8052 5156 280 | 0.000 % | 120.35/120.43 c | 161509 | 2847 4905 323703 | 8857 5915 268 | 0.000 % | 121.35/121.41 c | 162648 | 2847 4905 323703 | 9743 7054 262 | 0.000 % | 123.35/123.41 c | 164356 | 2847 4905 323703 | 10717 8762 271 | 0.000 % | 125.56/125.64 c | 166920 | 2847 4905 323703 | 11789 11326 288 | 0.000 % | 128.95/129.07 c | 170764 | 2847 4905 323703 | 12968 8001 285 | 0.000 % | 133.14/133.24 c | 176530 | 2847 4905 323703 | 14265 13767 271 | 0.000 % | 142.04/142.15 c | 185179 | 2847 4905 323703 | 15692 14027 308 | 0.000 % | 154.64/154.73 c | 198154 | 2847 4905 323703 | 17261 17863 320 | 0.000 % | 167.64/167.79 c | 217616 | 2847 4905 323703 | 18987 18378 329 | 0.000 % | 181.34/181.41 c There are 0 assigned variables. 0 in cost function. 181.83/181.99 c core #1 181.83/181.99 c core #2 181.83/181.99 c core #3 181.83/181.99 c core #4 181.83/181.99 c ============================[ Search Statistics ]============================== 181.83/181.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.99 c =============================================================================== 181.83/181.99 c | 0 | 1191 7757 87816 | 5000 0 nan | 0.000 % | 181.93/182.00 c =============================================================================== 181.93/182.06 c core #5 181.93/182.06 c ============================[ Search Statistics ]============================== 181.93/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.06 c =============================================================================== 181.93/182.06 c | 0 | 1256 7758 98159 | 5000 0 nan | 0.000 % | 181.93/182.07 c =============================================================================== 182.03/182.14 c core #6 182.03/182.14 c ============================[ Search Statistics ]============================== 182.03/182.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.03/182.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.03/182.14 c =============================================================================== 182.03/182.14 c | 0 | 2088 7759 157411 | 5000 0 nan | 0.000 % | 182.03/182.16 c =============================================================================== 182.13/182.21 c core #7 182.13/182.21 c ============================[ Search Statistics ]============================== 182.13/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.21 c =============================================================================== 182.13/182.21 c | 0 | 2186 7760 163307 | 5000 0 nan | 0.000 % | 182.13/182.24 c | 100 | 2186 7760 163307 | 5500 100 73 | 44.909 % | 182.13/182.24 c =============================================================================== 182.23/182.31 c core #8 182.23/182.31 c ============================[ Search Statistics ]============================== 182.23/182.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.31 c =============================================================================== 182.23/182.31 c | 0 | 2390 7761 168708 | 5000 0 nan | 0.000 % | 182.23/182.32 c =============================================================================== 182.23/182.37 c core #9 182.23/182.37 c ============================[ Search Statistics ]============================== 182.23/182.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.23/182.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.23/182.37 c =============================================================================== 182.23/182.37 c | 0 | 2407 7762 168742 | 5000 0 nan | 0.000 % | 182.23/182.38 c =============================================================================== 182.33/182.45 c core #10 182.33/182.45 c ============================[ Search Statistics ]============================== 182.33/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.45 c =============================================================================== 182.33/182.45 c | 0 | 2456 7763 168840 | 5000 0 nan | 0.000 % | 182.33/182.47 c | 102 | 2456 7763 168840 | 5500 102 16 | 41.258 % | 182.33/182.47 c =============================================================================== 182.44/182.54 c core #11 182.44/182.54 c ============================[ Search Statistics ]============================== 182.44/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.54 c =============================================================================== 182.44/182.54 c | 0 | 2509 7764 168946 | 5000 0 nan | 0.000 % | 182.44/182.57 c | 102 | 2509 7764 168946 | 5500 102 143 | 40.742 % | 182.54/182.62 c | 252 | 2509 7764 168946 | 6050 252 107 | 40.742 % | 182.54/182.69 c | 482 | 2509 7764 168946 | 6655 482 113 | 40.742 % | 182.63/182.78 c | 819 | 2509 7764 168946 | 7320 819 102 | 40.742 % | 182.83/182.91 c | 1325 | 2509 7764 168946 | 8052 1325 120 | 40.742 % | 182.93/183.09 c | 2086 | 2509 7764 168946 | 8857 2086 121 | 40.742 % | 183.33/183.45 c =============================================================================== 183.43/183.54 c core #12 183.43/183.54 c ============================[ Search Statistics ]============================== 183.43/183.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.54 c =============================================================================== 183.43/183.54 c | 0 | 3345 7765 188913 | 5000 0 nan | 0.000 % | 183.43/183.56 c | 107 | 3345 7765 188913 | 5500 107 53 | 33.020 % | 183.43/183.58 c | 258 | 3345 7765 188913 | 6050 258 45 | 33.020 % | 183.54/183.61 c | 484 | 3345 7765 188913 | 6655 484 43 | 33.020 % | 183.54/183.65 c =============================================================================== 183.64/183.71 c core #13 183.64/183.71 c ============================[ Search Statistics ]============================== 183.64/183.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.71 c =============================================================================== 183.64/183.71 c | 0 | 3398 7766 189019 | 5000 0 nan | 0.000 % | 183.64/183.74 c | 102 | 3398 7766 189019 | 5500 102 60 | 32.673 % | 183.64/183.75 c | 254 | 3398 7766 189019 | 6050 254 60 | 32.673 % | 183.64/183.78 c | 479 | 3398 7766 189019 | 6655 479 60 | 32.673 % | 183.73/183.81 c | 819 | 3398 7766 189019 | 7320 819 66 | 32.673 % | 183.73/183.87 c | 1328 | 3398 7766 189019 | 8052 1328 68 | 32.673 % | 183.83/183.99 c | 2091 | 3398 7766 189019 | 8857 2091 73 | 32.673 % | 184.13/184.20 c | 3230 | 3398 7766 189019 | 9743 3230 76 | 32.673 % | 184.53/184.60 c | 4939 | 3398 7766 189019 | 10717 4939 74 | 32.673 % | 185.13/185.27 c | 7501 | 3398 7766 189019 | 11789 7501 75 | 32.673 % | 186.33/186.43 c | 11346 | 3345 7766 189019 | 12968 2194 74 | 33.723 % | 186.33/186.47 c =============================================================================== 186.53/186.65 c core #14 186.53/186.65 c ============================[ Search Statistics ]============================== 186.53/186.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.65 c =============================================================================== 186.53/186.65 c | 0 | 3482 7767 190157 | 5000 0 nan | 0.000 % | 186.53/186.68 c | 107 | 3482 7767 190157 | 5500 107 105 | 32.059 % | 186.53/186.70 c | 257 | 3482 7767 190157 | 6050 257 64 | 32.059 % | 186.63/186.72 c | 483 | 3482 7767 190157 | 6655 483 78 | 32.059 % | 186.63/186.78 c | 820 | 3482 7767 190157 | 7320 820 85 | 32.059 % | 186.73/186.86 c | 1326 | 3482 7767 190157 | 8052 1326 89 | 32.059 % | 186.83/186.99 c | 2085 | 3482 7767 190157 | 8857 2085 91 | 32.059 % | 187.03/187.17 c | 3234 | 3482 7767 190157 | 9743 3234 90 | 32.059 % | 187.73/187.83 c | 4942 | 3482 7767 190157 | 10717 4942 101 | 32.059 % | 188.53/188.62 c | 7506 | 3482 7767 190157 | 11789 7506 106 | 32.059 % | 189.93/190.09 c | 11350 | 3482 7767 190157 | 12968 11350 106 | 32.059 % | 192.13/192.23 c | 17117 | 3482 7767 190157 | 14265 9706 106 | 32.059 % | 194.83/194.90 c | 25767 | 3482 7767 190157 | 15692 10359 108 | 32.059 % | 198.83/198.90 c =============================================================================== 199.33/199.45 c core #15 199.33/199.45 c ============================[ Search Statistics ]============================== 199.33/199.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.33/199.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.33/199.45 c =============================================================================== 199.33/199.45 c | 0 | 3594 7768 190381 | 5000 0 nan | 0.000 % | 199.33/199.49 c | 102 | 3594 7768 190381 | 5500 102 134 | 31.373 % | 199.43/199.53 c | 252 | 3594 7768 190381 | 6050 252 164 | 31.373 % | 199.63/199.74 c | 479 | 3594 7768 190381 | 6655 479 291 | 31.373 % | 200.03/200.16 c | 816 | 3594 7768 190381 | 7320 816 296 | 31.373 % | 200.33/200.49 c | 1322 | 3594 7768 190381 | 8052 1322 348 | 31.373 % | 201.24/201.34 c | 2081 | 3594 7768 190381 | 8857 2081 390 | 31.373 % | 202.43/202.59 c | 3220 | 3594 7768 190381 | 9743 3220 390 | 31.373 % | 203.63/203.72 c | 4928 | 3594 7768 190381 | 10717 4928 395 | 31.373 % | 206.82/206.93 c | 7491 | 3594 7768 190381 | 11789 7491 406 | 31.373 % | 210.73/210.81 c | 11338 | 3594 7768 190381 | 12968 11338 428 | 31.373 % | 219.72/219.88 c | 17106 | 3594 7768 190381 | 14265 9400 500 | 31.373 % | 234.72/234.83 c | 25755 | 3594 7768 190381 | 15692 9971 701 | 31.373 % | 255.31/255.41 c | 38731 | 3594 7768 190381 | 17261 14066 745 | 31.373 % | 290.71/290.81 c | 58192 | 3594 7768 190381 | 18987 14081 852 | 31.373 % | 334.69/334.86 c | 87385 | 3594 7768 190381 | 20886 11704 823 | 31.373 % | 429.06/429.26 c | 131176 | 3594 7768 190381 | 22974 21313 815 | 31.373 % | 598.72/598.94 c | 196860 | 3594 7768 190381 | 25272 23717 759 | 31.373 % | 853.24/853.57 c | 295386 | 3594 7768 190381 | 27799 16119 810 | 31.373 % | 1030.68/1031.05 c =============================================================================== 1036.98/1037.39 c core #16 1036.98/1037.39 c ============================[ Search Statistics ]============================== 1036.98/1037.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1036.98/1037.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1036.98/1037.39 c =============================================================================== 1036.98/1037.39 c | 0 | 7277 7769 310406 | 5000 0 nan | 0.000 % | 1037.17/1037.52 c | 102 | 7277 7769 310406 | 5500 102 253 | 4.250 % | 1037.77/1038.14 c | 252 | 7277 7769 310406 | 6050 252 244 | 4.250 % | 1038.17/1038.59 c | 478 | 7277 7769 310406 | 6655 478 203 | 4.250 % | 1038.48/1038.84 c | 815 | 7277 7769 310406 | 7320 815 254 | 4.250 % | 1038.57/1038.99 c | 1323 | 7277 7769 310406 | 8052 1323 261 | 4.250 % | 1041.28/1041.61 c | 2082 | 7277 7769 310406 | 8857 2082 324 | 4.250 % | 1044.08/1044.48 c | 3221 | 7277 7769 310406 | 9743 3221 415 | 4.250 % | 1046.78/1047.10 c | 4933 | 7277 7769 310406 | 10717 4933 661 | 4.250 % | 1049.57/1049.99 c | 7496 | 7277 7769 310406 | 11789 7496 771 | 4.250 % | 1054.58/1054.94 c | 11342 | 7277 7769 310406 | 12968 11342 796 | 4.250 % | 1076.27/1076.64 c | 17109 | 7277 7769 310406 | 14265 10020 928 | 4.250 % | 1110.75/1111.16 c | 25758 | 7277 7769 310406 | 15692 10619 1224 | 4.250 % | 1160.04/1160.45 c | 38732 | 7277 7769 310406 | 17261 15208 802 | 4.250 % |
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-2655921-1276596996/watcher-2655921-1276596996 -o /tmp/evaluation-result-2655921-1276596996/solver-2655921-1276596996 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655921-1276596996.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 9363 /proc/meminfo: memFree=1539644/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=5724 CPUtime=0 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 395 0 0 0 0 0 0 0 20 0 1 0 992385 5861376 313 1992294400 134512640 135751879 4288304224 18446744073709551615 135192642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1431 314 143 303 0 449 0 [startup+0.0130741 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9363 /proc/meminfo: memFree=1539644/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=5724 CPUtime=0.01 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 404 0 0 0 1 0 0 0 20 0 1 0 992385 5861376 322 1992294400 134512640 135751879 4288304224 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1431 322 151 303 0 449 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5724 [startup+0.101083 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9363 /proc/meminfo: memFree=1539644/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=5988 CPUtime=0.09 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 598 0 0 0 9 0 0 0 20 0 1 0 992385 6131712 516 1992294400 134512640 135751879 4288304224 18446744073709551615 135202569 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1497 516 290 303 0 515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5988 [startup+0.301104 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9363 /proc/meminfo: memFree=1539644/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=6644 CPUtime=0.29 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 1090 0 0 0 29 0 0 0 20 0 1 0 992385 6803456 1008 1992294400 134512640 135751879 4288304224 18446744073709551615 135161871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1661 1008 606 303 0 679 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6644 [startup+0.701147 s] /proc/loadavg: 0.92 0.98 0.99 3/106 9363 /proc/meminfo: memFree=1539644/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=5424 CPUtime=0.69 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 1677 0 0 0 68 1 0 0 21 0 1 0 992385 5554176 918 1992294400 134512640 135751879 4288304224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1356 918 147 303 0 1051 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5424 [startup+1.50023 s] /proc/loadavg: 0.92 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1536040/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=6348 CPUtime=1.49 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 1900 0 0 0 147 2 0 0 23 0 1 0 992385 6500352 1141 1992294400 134512640 135751879 4288304224 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 1587 1141 147 303 0 1282 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6348 [startup+3.1004 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1534428/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=8328 CPUtime=3.09 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 2401 0 0 0 306 3 0 0 25 0 1 0 992385 8527872 1642 1992294400 134512640 135751879 4288304224 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 2082 1642 147 303 0 1777 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8328 [startup+6.30074 s] /proc/loadavg: 0.93 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1530088/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=13076 CPUtime=6.29 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 3596 0 0 0 624 5 0 0 25 0 1 0 992385 13389824 2837 1992294400 134512640 135751879 4288304224 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 3269 2837 147 303 0 2964 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13076 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1523400/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=19208 CPUtime=12.69 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 5096 0 0 0 1261 8 0 0 25 0 1 0 992385 19668992 4337 1992294400 134512640 135751879 4288304224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 4802 4337 147 303 0 4497 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19208 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1506536/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=35668 CPUtime=25.49 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 9248 0 0 0 2531 18 0 0 25 0 1 0 992385 36524032 8489 1992294400 134512640 135751879 4288304224 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 8917 8489 148 303 0 8612 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35668 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 9364 /proc/meminfo: memFree=1458300/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=84680 CPUtime=51.07 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 21475 0 0 0 5070 37 0 0 25 0 1 0 992385 86712320 20716 1992294400 134512640 135751879 4288304224 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 21170 20716 148 303 0 20865 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 84680 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 9366 /proc/meminfo: memFree=1363812/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=177780 CPUtime=102.26 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 44774 0 0 0 10154 72 0 0 25 0 1 0 992385 182046720 44015 1992294400 134512640 135751879 4288304224 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 44445 44015 148 303 0 44140 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 177780 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9368 /proc/meminfo: memFree=1253080/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=289936 CPUtime=162.24 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 72780 0 0 0 16106 118 0 0 25 0 1 0 992385 296894464 72021 1992294400 134512640 135751879 4288304224 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 72484 72021 148 303 0 72179 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 289936 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9370 /proc/meminfo: memFree=1177688/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=363284 CPUtime=222.23 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 91168 0 0 0 22038 185 0 0 25 0 1 0 992385 372002816 90409 1992294400 134512640 135751879 4288304224 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 90821 90409 151 303 0 90516 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 363284 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9372 /proc/meminfo: memFree=1056292/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=486068 CPUtime=282.21 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 121844 0 0 0 27987 234 0 0 25 0 1 0 992385 497733632 121085 1992294400 134512640 135751879 4288304224 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 121517 121085 151 303 0 121212 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 486068 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9372 /proc/meminfo: memFree=935400/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=605048 CPUtime=342.19 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 151592 0 0 0 33943 276 0 0 25 0 1 0 992385 619569152 150833 1992294400 134512640 135751879 4288304224 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 151262 150833 151 303 0 150957 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 605048 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9374 /proc/meminfo: memFree=836696/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=704976 CPUtime=402.17 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 176552 0 0 0 39902 315 0 0 25 0 1 0 992385 721895424 175793 1992294400 134512640 135751879 4288304224 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 176244 175793 151 303 0 175939 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 704976 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9376 /proc/meminfo: memFree=747292/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=793168 CPUtime=462.16 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 198603 0 0 0 45869 347 0 0 25 0 1 0 992385 812204032 197844 1992294400 134512640 135751879 4288304224 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 198292 197844 151 303 0 197987 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 793168 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 9378 /proc/meminfo: memFree=673760/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=867328 CPUtime=522.14 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 217155 0 0 0 51837 377 0 0 25 0 1 0 992385 888143872 216396 1992294400 134512640 135751879 4288304224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 216832 216396 151 303 0 216527 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 867328 [startup+582.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 9380 /proc/meminfo: memFree=582124/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=958316 CPUtime=582.12 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 239871 0 0 0 57799 413 0 0 25 0 1 0 992385 981315584 239112 1992294400 134512640 135751879 4288304224 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 239579 239112 151 303 0 239274 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 958316 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 9380 /proc/meminfo: memFree=501028/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1038380 CPUtime=642.11 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 259879 0 0 0 63769 442 0 0 25 0 1 0 992385 1063301120 259120 1992294400 134512640 135751879 4288304224 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 259595 259120 151 303 0 259290 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1038380 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9382 /proc/meminfo: memFree=411128/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1129184 CPUtime=702.08 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 282560 0 0 0 69733 475 0 0 25 0 1 0 992385 1156284416 281801 1992294400 134512640 135751879 4288304224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 282296 281801 151 303 0 281991 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1129184 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9384 /proc/meminfo: memFree=319988/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1219468 CPUtime=762.07 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 305132 0 0 0 75696 511 0 0 25 0 1 0 992385 1248735232 304373 1992294400 134512640 135751879 4288304224 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 304867 304373 151 303 0 304562 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1219468 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9386 /proc/meminfo: memFree=230088/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1309520 CPUtime=822.05 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 327651 0 0 0 81662 543 0 0 25 0 1 0 992385 1340948480 326892 1992294400 134512640 135751879 4288304224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 327380 326892 151 303 0 327075 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1309520 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9388 /proc/meminfo: memFree=142544/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1396392 CPUtime=882.03 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 349370 0 0 0 87633 570 0 0 25 0 1 0 992385 1429905408 348611 1992294400 134512640 135751879 4288304224 18446744073709551615 134607671 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 349098 348612 151 303 0 348793 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1396392 [startup+942.302 s] /proc/loadavg: 1.07 1.02 1.00 2/107 9391 /proc/meminfo: memFree=36772/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1503544 CPUtime=942.02 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 376157 0 0 0 93597 605 0 0 25 0 1 0 992385 1539629056 375398 1992294400 134512640 135751879 4288304224 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 375886 375398 151 303 0 375581 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1503544 [startup+1002.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 9393 /proc/meminfo: memFree=10132/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1617168 CPUtime=1001.99 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 404561 0 0 0 99554 645 0 0 25 0 1 0 992385 1655980032 403802 1992294400 134512640 135751879 4288304224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 404292 403802 151 303 0 403987 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1617168 [startup+1062.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 9395 /proc/meminfo: memFree=9884/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1689940 CPUtime=1061.97 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 422844 0 0 0 105514 683 0 0 25 0 1 0 992385 1730498560 422055 1992294400 134512640 135751879 4288304224 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 422485 422055 151 303 0 422180 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1689940 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9397 /proc/meminfo: memFree=10268/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1754256 CPUtime=1121.94 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 438904 0 0 0 111476 718 0 0 25 0 1 0 992385 1796358144 438115 1992294400 134512640 135751879 4288304224 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 438564 438115 151 303 0 438259 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1754256 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9399 /proc/meminfo: memFree=10224/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1797288 CPUtime=1181.92 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 449645 0 0 0 117449 743 0 0 25 0 1 0 992385 1840422912 448856 1992294400 134512640 135751879 4288304224 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 449322 448856 151 303 0 449017 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1797288 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1241.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9399 /proc/meminfo: memFree=9724/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=1843212 CPUtime=1241.31 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4202496 461131 0 0 0 123361 770 0 0 25 0 1 0 992385 1887449088 460342 1992294400 134512640 135751879 4288304224 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9363/statm: 460803 460342 151 303 0 460498 0 Current children cumulated CPU time (s) 1241.31 Current children cumulated vsize (KiB) 1843212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1241.81 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9400 /proc/meminfo: memFree=1134892/2059040 swapFree=4192956/4192956 [pid=9363] ppid=9361 vsize=0 CPUtime=1241.42 /proc/9363/stat : 9363 (wbo1.4b) R 9361 9363 2332 0 -1 4203524 461131 0 0 0 123361 781 0 0 25 0 1 0 992385 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/9363/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1241.42 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1241.88 CPU time (s): 1241.49 CPU user time (s): 1233.62 CPU system time (s): 7.8748 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1233.62 system time used= 7.8748 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461131 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= 5 involuntary context switches= 5678 runsolver used 2.04369 second user time and 5.8911 second system time The end
Begin job on node038 at 2010-06-15 12:16:36 IDJOB=2655921 IDBENCH=2888 IDSOLVER=1161 FILE ID=node038/2655921-1276596996 PBS_JOBID= 11172213 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655921-1276596996/watcher-2655921-1276596996 -o /tmp/evaluation-result-2655921-1276596996/solver-2655921-1276596996 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655921-1276596996.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED=168071585 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1540048 kB Buffers: 41896 kB Cached: 350600 kB SwapCached: 0 kB Active: 196436 kB Inactive: 255448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1540048 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5928 kB Writeback: 0 kB AnonPages: 59336 kB Mapped: 15380 kB Slab: 45364 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180060 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= 62472 MiB End job on node038 at 2010-06-15 12:37:20