Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1308.7 | 1309.18 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 2.80357 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
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 | 80 |
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-2656126-1276411933.opb. 0.00/0.00 c Instance file HOME/instance-2656126-1276411933.opb 0.00/0.00 c File size is 127509 bytes. 0.00/0.02 c Highest Coefficient sum: 81 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 4676 | 0.00/0.02 c | Number Clauses: 398 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.02/0.02 c ============================[ Search Statistics ]============================== 0.02/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.02 c =============================================================================== 0.02/0.02 c | 0 | 4676 398 9563 | 5000 0 nan | 0.000 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 173 0.02/0.03 o 173 0.02/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 0 | 4676 399 14239 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 172 0.02/0.04 o 172 0.02/0.04 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 4676 400 18915 | 5000 0 nan | 0.000 % | 0.02/0.09 c | 100 | 4676 400 18915 | 5500 100 216 | 0.000 % | 0.09/0.19 c | 253 | 4676 400 18915 | 6050 253 206 | 0.000 % | 0.29/0.32 c | 478 | 4676 400 18915 | 6655 478 210 | 0.000 % | 0.39/0.46 c | 815 | 4676 400 18915 | 7320 815 210 | 0.000 % | 0.59/0.67 c | 1321 | 4676 400 18915 | 8052 1321 218 | 0.000 % | 1.00/1.03 c | 2081 | 4676 400 18915 | 8857 2081 219 | 0.000 % | 1.39/1.49 c | 3220 | 4676 400 18915 | 9743 3220 217 | 0.000 % | 2.39/2.43 c | 4929 | 4676 400 18915 | 10717 4929 221 | 0.000 % | 3.89/3.98 c | 7494 | 4676 400 18915 | 11789 7494 220 | 0.000 % | 6.29/6.31 c | 11338 | 4676 400 18915 | 12968 11338 218 | 0.000 % | 10.59/10.65 c | 17104 | 4676 400 18915 | 14265 9026 217 | 0.000 % | 16.98/17.00 c | 25755 | 4676 400 18915 | 15692 8939 216 | 0.000 % | 22.79/22.83 c | 38730 | 4676 400 18915 | 17261 11928 224 | 0.000 % | 34.18/34.23 c | 58191 | 4676 400 18915 | 18987 20473 215 | 0.000 % | 51.28/51.35 c | 87384 | 4676 400 18915 | 20886 14857 220 | 0.000 % | 76.77/76.82 c | 131173 | 4676 400 18915 | 22974 15445 226 | 0.000 % | 123.07/123.18 c | 196857 | 4676 400 18915 | 25272 15991 218 | 0.000 % | 178.55/178.60 c | 295384 | 4676 400 18915 | 27799 21409 225 | 0.000 % | 181.14/181.24 c There are 0 assigned variables. 0 in cost function. 183.04/183.18 c core #1 183.04/183.18 c core #2 183.04/183.18 c core #3 183.04/183.18 c core #4 183.04/183.18 c core #5 183.04/183.18 c core #6 183.04/183.18 c core #7 183.04/183.18 c core #8 183.04/183.18 c core #9 183.04/183.18 c core #10 183.04/183.18 c core #11 183.04/183.18 c core #12 183.04/183.18 c core #13 183.04/183.18 c core #14 183.04/183.18 c core #15 183.04/183.18 c core #16 183.04/183.18 c core #17 183.04/183.18 c core #18 183.04/183.18 c core #19 183.04/183.18 c core #20 183.04/183.18 c core #21 183.04/183.18 c core #22 183.04/183.18 c core #23 183.04/183.18 c core #24 183.04/183.18 c core #25 183.04/183.18 c core #26 183.04/183.18 c core #27 183.04/183.18 c core #28 183.04/183.18 c core #29 183.04/183.18 c core #30 183.04/183.18 c core #31 183.04/183.18 c core #32 183.04/183.18 c core #33 183.04/183.18 c core #34 183.04/183.18 c core #35 183.04/183.18 c core #36 183.04/183.18 c core #37 183.04/183.18 c core #38 183.04/183.18 c core #39 183.04/183.18 c core #40 183.04/183.18 c core #41 183.04/183.18 c core #42 183.04/183.18 c core #43 183.04/183.18 c core #44 183.04/183.18 c core #45 183.04/183.18 c core #46 183.04/183.18 c core #47 183.04/183.18 c core #48 183.04/183.18 c core #49 183.04/183.18 c core #50 183.04/183.18 c core #51 183.04/183.18 c core #52 183.04/183.18 c core #53 183.04/183.18 c core #54 183.04/183.18 c core #55 183.04/183.18 c core #56 183.04/183.18 c core #57 183.04/183.18 c core #58 183.04/183.18 c core #59 183.04/183.18 c core #60 183.04/183.18 c core #61 183.04/183.18 c core #62 183.04/183.18 c core #63 183.04/183.18 c core #64 183.04/183.18 c core #65 183.04/183.18 c core #66 183.04/183.18 c core #67 183.04/183.18 c core #68 183.04/183.18 c core #69 183.04/183.18 c core #70 183.04/183.18 c core #71 183.04/183.18 c core #72 183.04/183.18 c core #73 183.04/183.18 c core #74 183.04/183.18 c core #75 183.04/183.18 c core #76 183.04/183.18 c core #77 183.04/183.18 c core #78 183.04/183.18 c core #79 183.04/183.18 c core #80 183.04/183.18 c core #81 183.04/183.18 c core #82 183.04/183.18 c core #83 183.04/183.18 c core #84 183.04/183.18 c core #85 183.04/183.18 c core #86 183.04/183.18 c core #87 183.04/183.18 c core #88 183.04/183.18 c core #89 183.04/183.18 c core #90 183.04/183.18 c core #91 183.04/183.18 c core #92 183.04/183.18 c core #93 183.04/183.18 c core #94 183.04/183.18 c core #95 183.04/183.18 c core #96 183.04/183.18 c core #97 183.04/183.18 c core #98 183.04/183.18 c core #99 183.04/183.18 c core #100 183.04/183.18 c core #101 183.04/183.18 c core #102 183.04/183.18 c core #103 183.04/183.18 c core #104 183.04/183.18 c ============================[ Search Statistics ]============================== 183.04/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.18 c =============================================================================== 183.04/183.18 c | 0 | 3247 5181 28932 | 5000 0 nan | 0.000 % | 183.04/183.19 c =============================================================================== 183.14/183.21 c core #105 183.14/183.21 c ============================[ Search Statistics ]============================== 183.14/183.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.21 c =============================================================================== 183.14/183.21 c | 0 | 3461 5182 29139 | 5000 0 nan | 0.000 % | 183.14/183.21 c =============================================================================== 183.14/183.23 c core #106 183.14/183.23 c ============================[ Search Statistics ]============================== 183.14/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.23 c =============================================================================== 183.14/183.23 c | 0 | 3627 5183 29329 | 5000 0 nan | 0.000 % | 183.14/183.25 c | 100 | 3623 5183 29329 | 5500 100 15 | 45.445 % | 183.14/183.25 c =============================================================================== 183.14/183.28 c core #107 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 4265 5184 30248 | 5000 0 nan | 0.000 % | 183.25/183.31 c | 101 | 4257 5184 30248 | 5500 101 12 | 39.637 % | 183.25/183.34 c | 257 | 4222 5184 30248 | 6050 178 19 | 42.578 % | 183.25/183.34 c =============================================================================== 183.25/183.37 c core #108 183.25/183.37 c ============================[ Search Statistics ]============================== 183.25/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.25/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.25/183.37 c =============================================================================== 183.25/183.37 c | 0 | 4573 5185 30786 | 5000 0 nan | 0.000 % | 183.25/183.38 c | 100 | 4573 5185 30786 | 5500 100 33 | 36.802 % | 183.34/183.41 c | 250 | 4566 5185 30786 | 6050 250 41 | 36.899 % | 183.34/183.46 c | 475 | 4553 5185 30786 | 6655 468 44 | 37.078 % | 183.44/183.55 c | 812 | 4538 5185 30786 | 7320 762 49 | 37.341 % | 183.56/183.69 c | 1318 | 4523 5185 30786 | 8052 1246 99 | 37.493 % | 183.65/183.76 c =============================================================================== 183.65/183.79 c core #109 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 | 5044 5186 31654 | 5000 0 nan | 0.000 % | 183.75/183.82 c | 102 | 5044 5186 31654 | 5500 102 69 | 33.919 % | 183.75/183.85 c | 254 | 5042 5186 31654 | 6050 253 78 | 33.945 % | 183.75/183.89 c | 479 | 5042 5186 31654 | 6655 478 73 | 33.945 % | 183.94/184.01 c | 816 | 5040 5186 31654 | 7320 814 76 | 33.971 % | 184.05/184.14 c | 1322 | 5038 5186 31654 | 8052 1318 114 | 33.997 % | 184.55/184.65 c | 2081 | 5038 5186 31654 | 8857 2077 171 | 33.997 % | 184.84/184.96 c | 3222 | 5038 5186 31654 | 9743 3218 158 | 33.997 % | 185.86/185.98 c | 4930 | 5036 5186 31654 | 10717 4925 187 | 34.023 % | 186.85/186.97 c | 7494 | 5031 5186 31654 | 11789 7489 190 | 35.124 % | 187.04/187.17 c =============================================================================== 187.14/187.21 c core #110 187.14/187.21 c ============================[ Search Statistics ]============================== 187.14/187.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.14/187.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.14/187.21 c =============================================================================== 187.14/187.21 c | 0 | 5165 5187 31826 | 5000 0 nan | 0.000 % | 187.14/187.26 c | 100 | 5165 5187 31826 | 5500 100 77 | 32.931 % | 187.14/187.29 c | 252 | 5165 5187 31826 | 6050 252 55 | 32.931 % | 187.25/187.35 c | 478 | 5165 5187 31826 | 6655 478 66 | 32.931 % | 187.34/187.48 c | 815 | 5163 5187 31826 | 7320 814 82 | 32.957 % | 187.54/187.64 c | 1324 | 5161 5187 31826 | 8052 1322 147 | 33.009 % | 187.84/187.92 c | 2088 | 5160 5187 31826 | 8857 2086 171 | 33.009 % | 188.35/188.44 c | 3228 | 5159 5187 31826 | 9743 3225 213 | 33.009 % | 189.24/189.36 c | 4936 | 5159 5187 31826 | 10717 4933 258 | 33.009 % | 190.74/190.87 c | 7502 | 5159 5187 31826 | 11789 7499 305 | 33.009 % | 193.14/193.28 c | 11346 | 5159 5187 31826 | 12968 11343 314 | 33.009 % | 197.44/197.59 c | 17112 | 5159 5187 31826 | 14265 9172 329 | 33.009 % | 204.14/204.23 c | 25761 | 5159 5187 31826 | 15692 9064 352 | 33.009 % | 206.04/206.18 c =============================================================================== 206.44/206.58 c core #111 206.44/206.58 c ============================[ Search Statistics ]============================== 206.44/206.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.44/206.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.44/206.58 c =============================================================================== 206.44/206.58 c | 0 | 6471 5188 34020 | 5000 0 nan | 0.000 % | 206.54/206.60 c | 105 | 6471 5188 34020 | 5500 105 67 | 24.965 % | 206.54/206.62 c | 258 | 6471 5188 34020 | 6050 258 44 | 24.965 % | 206.54/206.68 c | 486 | 6471 5188 34020 | 6655 486 110 | 24.965 % | 206.64/206.73 c | 824 | 6471 5188 34020 | 7320 824 100 | 24.965 % | 206.75/206.86 c | 1330 | 6471 5188 34020 | 8052 1330 146 | 24.965 % | 206.94/207.02 c | 2092 | 6467 5188 34020 | 8857 2091 132 | 25.012 % | 207.63/207.71 c | 3231 | 6466 5188 34020 | 9743 3230 236 | 25.035 % | 208.74/208.87 c | 4940 | 6465 5188 34020 | 10717 4937 350 | 25.035 % | 210.54/210.69 c | 7502 | 6464 5188 34020 | 11789 7499 362 | 25.058 % | 213.04/213.18 c | 11346 | 6461 5188 34020 | 12968 11342 345 | 25.081 % | 218.43/218.59 c | 17112 | 6461 5188 34020 | 14265 9339 388 | 25.081 % | 225.23/225.36 c | 25761 | 6461 5188 34020 | 15692 9579 382 | 25.081 % | 242.53/242.67 c | 38735 | 6461 5188 34020 | 17261 13534 439 | 25.081 % | 274.73/274.86 c | 58202 | 6458 5188 34020 | 18987 12764 430 | 25.151 % | 310.03/310.14 c =============================================================================== 310.12/310.26 c core #112 310.12/310.26 c ============================[ Search Statistics ]============================== 310.12/310.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 310.12/310.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 310.12/310.26 c =============================================================================== 310.12/310.26 c | 0 | 6513 5189 34088 | 5000 0 nan | 0.000 % | 310.21/310.31 c | 100 | 6513 5189 34088 | 5500 100 108 | 24.705 % | 310.21/310.34 c | 250 | 6513 5189 34088 | 6050 250 76 | 24.705 % | 310.32/310.40 c | 477 | 6513 5189 34088 | 6655 477 98 | 24.705 % | 310.42/310.56 c | 814 | 6513 5189 34088 | 7320 814 98 | 24.705 % | 310.61/310.73 c | 1325 | 6513 5189 34088 | 8052 1325 172 | 24.705 % | 311.02/311.19 c | 2084 | 6513 5189 34088 | 8857 2084 289 | 24.705 % | 311.82/311.97 c | 3223 | 6513 5189 34088 | 9743 3223 369 | 24.705 % | 313.01/313.18 c | 4933 | 6513 5189 34088 | 10717 4933 339 | 24.705 % | 315.01/315.11 c | 7495 | 6513 5189 34088 | 11789 7495 378 | 24.705 % | 318.51/318.60 c | 11339 | 6513 5189 34088 | 12968 11339 422 | 24.705 % | 323.22/323.38 c | 17105 | 6513 5189 34088 | 14265 8767 501 | 24.705 % | 329.91/330.07 c | 25756 | 6511 5189 34088 | 15692 8850 409 | 24.728 % | 341.81/341.96 c | 38738 | 6511 5189 34088 | 17261 12721 417 | 24.728 % | 359.40/359.59 c | 58199 | 6511 5189 34088 | 18987 12461 496 | 24.728 % | 391.59/391.74 c | 87391 | 6509 5189 34088 | 20886 19517 348 | 24.751 % | 429.58/429.70 c | 131180 | 6504 5189 34088 | 22974 16463 316 | 24.821 % | 502.16/502.31 c | 196865 | 6501 5189 34088 | 25272 14838 208 | 24.844 % | 588.03/588.22 c | 295392 | 6501 5189 34088 | 27799 20742 361 | 24.844 % | 756.09/756.37 c | 443181 | 6493 5189 34088 | 30579 14224 243 | 24.936 % | 1107.80/1108.10 c | 664865 | 6491 5189 34088 | 33637 26376 507 | 24.960 % |
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-2656126-1276411933/watcher-2656126-1276411933 -o /tmp/evaluation-result-2656126-1276411933/solver-2656126-1276411933 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656126-1276411933.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: 2.28 2.63 2.16 3/106 23018 /proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=3572 CPUtime=0 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 1 0 16794663 3657728 382 1992294400 134512640 135751879 4292436304 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 893 382 140 303 0 556 0 [startup+0.026696 s] /proc/loadavg: 2.28 2.63 2.16 3/106 23018 /proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=4008 CPUtime=0.02 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 661 0 0 0 2 0 0 0 20 0 1 0 16794663 4104192 548 1992294400 134512640 135751879 4292436304 18446744073709551615 135010149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 1002 548 143 303 0 697 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4008 [startup+0.100703 s] /proc/loadavg: 2.28 2.63 2.16 3/106 23018 /proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=4148 CPUtime=0.09 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 684 0 0 0 8 1 0 0 20 0 1 0 16794663 4247552 571 1992294400 134512640 135751879 4292436304 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 1037 571 147 303 0 732 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.300721 s] /proc/loadavg: 2.28 2.63 2.16 3/106 23018 /proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=4148 CPUtime=0.29 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 712 0 0 0 27 2 0 0 20 0 1 0 16794663 4247552 599 1992294400 134512640 135751879 4292436304 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 1037 599 147 303 0 732 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4148 [startup+0.700759 s] /proc/loadavg: 2.28 2.63 2.16 3/106 23018 /proc/meminfo: memFree=1835732/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=5180 CPUtime=0.69 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 946 0 0 0 66 3 0 0 20 0 1 0 16794663 5304320 833 1992294400 134512640 135751879 4292436304 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 1295 833 147 303 0 990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5180 [startup+1.50084 s] /proc/loadavg: 2.28 2.63 2.16 2/107 23019 /proc/meminfo: memFree=1832128/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=6992 CPUtime=1.49 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 1399 0 0 0 145 4 0 0 22 0 1 0 16794663 7159808 1286 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 1748 1286 147 303 0 1443 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6992 [startup+3.10099 s] /proc/loadavg: 2.28 2.63 2.16 2/107 23019 /proc/meminfo: memFree=1829772/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=9828 CPUtime=3.09 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 2127 0 0 0 303 6 0 0 25 0 1 0 16794663 10063872 2014 1992294400 134512640 135751879 4292436304 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 2457 2014 147 303 0 2152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9828 [startup+6.30129 s] /proc/loadavg: 2.17 2.60 2.15 2/107 23021 /proc/meminfo: memFree=1824192/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=14984 CPUtime=6.29 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 3407 0 0 0 622 7 0 0 25 0 1 0 16794663 15343616 3294 1992294400 134512640 135751879 4292436304 18446744073709551615 134607697 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 3746 3294 147 303 0 3441 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14984 [startup+12.7009 s] /proc/loadavg: 2.08 2.57 2.15 2/107 23021 /proc/meminfo: memFree=1815016/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=23516 CPUtime=12.69 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 5556 0 0 0 1256 13 0 0 25 0 1 0 16794663 24080384 5443 1992294400 134512640 135751879 4292436304 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 5879 5443 148 303 0 5574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23516 [startup+25.5011 s] /proc/loadavg: 1.84 2.50 2.13 2/107 23021 /proc/meminfo: memFree=1790960/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=47152 CPUtime=25.49 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 11453 0 0 0 2527 22 0 0 25 0 1 0 16794663 48283648 11340 1992294400 134512640 135751879 4292436304 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 11788 11340 148 303 0 11483 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47152 [startup+51.1005 s] /proc/loadavg: 1.55 2.37 2.10 2/107 23021 /proc/meminfo: memFree=1749668/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=88884 CPUtime=51.08 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 21882 0 0 0 5070 38 0 0 25 0 1 0 16794663 91017216 21769 1992294400 134512640 135751879 4292436304 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 22221 21769 148 303 0 21916 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88884 [startup+102.308 s] /proc/loadavg: 1.24 2.16 2.04 2/107 23023 /proc/meminfo: memFree=1667208/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=170392 CPUtime=102.27 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 42215 0 0 0 10159 68 0 0 25 0 1 0 16794663 174481408 42102 1992294400 134512640 135751879 4292436304 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 42598 42102 148 303 0 42293 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 170392 [startup+162.301 s] /proc/loadavg: 1.09 1.95 1.97 2/107 23025 /proc/meminfo: memFree=1568256/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=270384 CPUtime=162.25 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 67212 0 0 0 16120 105 0 0 25 0 1 0 16794663 276873216 67099 1992294400 134512640 135751879 4292436304 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 67596 67099 148 303 0 67291 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 270384 [startup+222.301 s] /proc/loadavg: 1.03 1.77 1.91 2/107 23025 /proc/meminfo: memFree=1502784/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=334120 CPUtime=222.23 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 83326 0 0 0 22037 186 0 0 25 0 1 0 16794663 342138880 83099 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 83530 83099 151 303 0 83225 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 334120 [startup+282.3 s] /proc/loadavg: 1.01 1.63 1.85 2/107 23027 /proc/meminfo: memFree=1424788/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=412464 CPUtime=282.22 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 102910 0 0 0 27994 228 0 0 25 0 1 0 16794663 422363136 102683 1992294400 134512640 135751879 4292436304 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 103116 102683 151 303 0 102811 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 412464 [startup+342.301 s] /proc/loadavg: 1.00 1.51 1.79 2/107 23029 /proc/meminfo: memFree=1344064/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=492588 CPUtime=342.2 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 122981 0 0 0 33917 303 0 0 25 0 1 0 16794663 504410112 122703 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 123147 122703 151 303 0 122842 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 492588 [startup+402.301 s] /proc/loadavg: 1.00 1.42 1.74 2/107 23031 /proc/meminfo: memFree=1231720/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=605684 CPUtime=402.19 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 151253 0 0 0 39850 369 0 0 25 0 1 0 16794663 620220416 150975 1992294400 134512640 135751879 4292436304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 151421 150975 151 303 0 151116 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 605684 [startup+462.301 s] /proc/loadavg: 1.00 1.34 1.69 2/107 23033 /proc/meminfo: memFree=1137356/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=699072 CPUtime=462.17 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 174603 0 0 0 45790 427 0 0 25 0 1 0 16794663 715849728 174325 1992294400 134512640 135751879 4292436304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 174768 174325 151 303 0 174463 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 699072 [startup+522.301 s] /proc/loadavg: 1.00 1.27 1.64 2/107 23033 /proc/meminfo: memFree=1050432/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=786080 CPUtime=522.17 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 196349 0 0 0 51726 491 0 0 25 0 1 0 16794663 804945920 196071 1992294400 134512640 135751879 4292436304 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 196520 196071 151 303 0 196215 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 786080 [startup+582.301 s] /proc/loadavg: 1.00 1.22 1.60 2/107 23044 /proc/meminfo: memFree=965492/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=870772 CPUtime=582.13 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 217496 0 0 0 57667 546 0 0 25 0 1 0 16794663 891670528 217218 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 217693 217218 151 303 0 217388 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 870772 [startup+642.301 s] /proc/loadavg: 1.00 1.18 1.56 2/107 23046 /proc/meminfo: memFree=874104/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=960992 CPUtime=642.12 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 240068 0 0 0 63602 610 0 0 25 0 1 0 16794663 984055808 239790 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 240248 239790 151 303 0 239943 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 960992 [startup+702.301 s] /proc/loadavg: 1.00 1.14 1.52 2/107 23048 /proc/meminfo: memFree=799704/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1036056 CPUtime=702.1 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 258823 0 0 0 69558 652 0 0 25 0 1 0 16794663 1060921344 258545 1992294400 134512640 135751879 4292436304 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 259014 258545 151 303 0 258709 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1036056 [startup+762.308 s] /proc/loadavg: 1.00 1.11 1.49 2/107 23050 /proc/meminfo: memFree=716996/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1118080 CPUtime=762.1 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 279297 0 0 0 75511 699 0 0 25 0 1 0 16794663 1144913920 279019 1992294400 134512640 135751879 4292436304 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 279520 279019 151 303 0 279215 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1118080 [startup+822.301 s] /proc/loadavg: 1.08 1.11 1.46 2/107 23050 /proc/meminfo: memFree=631560/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1203928 CPUtime=822.07 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 300771 0 0 0 81454 753 0 0 25 0 1 0 16794663 1232822272 300493 1992294400 134512640 135751879 4292436304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 300982 300493 151 303 0 300677 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1203928 [startup+882.301 s] /proc/loadavg: 1.03 1.08 1.43 2/107 23052 /proc/meminfo: memFree=546992/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1287708 CPUtime=882.06 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 321704 0 0 0 87417 789 0 0 25 0 1 0 16794663 1318612992 321426 1992294400 134512640 135751879 4292436304 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 321927 321426 151 303 0 321622 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1287708 [startup+942.301 s] /proc/loadavg: 1.01 1.07 1.40 2/107 23054 /proc/meminfo: memFree=473584/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1361876 CPUtime=942.05 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 340244 0 0 0 93377 828 0 0 25 0 1 0 16794663 1394561024 339966 1992294400 134512640 135751879 4292436304 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 340469 339966 151 303 0 340164 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1361876 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.37 2/107 23056 /proc/meminfo: memFree=393356/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1441484 CPUtime=1002.03 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 360135 0 0 0 99336 867 0 0 25 0 1 0 16794663 1476079616 359857 1992294400 134512640 135751879 4292436304 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 360371 359857 151 303 0 360066 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1441484 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.34 2/107 23058 /proc/meminfo: memFree=311640/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1523104 CPUtime=1062.01 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 380551 0 0 0 105303 898 0 0 25 0 1 0 16794663 1559658496 380273 1992294400 134512640 135751879 4292436304 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 380776 380273 151 303 0 380471 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1523104 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.32 2/107 23058 /proc/meminfo: memFree=251748/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1582556 CPUtime=1122 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 395403 0 0 0 111270 930 0 0 25 0 1 0 16794663 1620537344 395125 1992294400 134512640 135751879 4292436304 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 395639 395126 151 303 0 395334 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1582556 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.30 2/107 23060 /proc/meminfo: memFree=165568/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1669992 CPUtime=1181.98 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 417245 0 0 0 117229 969 0 0 25 0 1 0 16794663 1710071808 416967 1992294400 134512640 135751879 4292436304 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 417498 416967 151 303 0 417193 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1669992 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 1.28 2/107 23062 /proc/meminfo: memFree=80628/2059040 swapFree=4100916/4192956 [pid=23018] ppid=23016 vsize=1753652 CPUtime=1241.97 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 438151 0 0 0 123186 1011 0 0 25 0 1 0 16794663 1795739648 437873 1992294400 134512640 135751879 4292436304 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 438413 437873 151 303 0 438108 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1753652 [startup+1302.3 s] /proc/loadavg: 1.05 1.04 1.26 2/107 23064 /proc/meminfo: memFree=9424/2059040 swapFree=4109364/4192956 [pid=23018] ppid=23016 vsize=1832008 CPUtime=1301.93 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 457753 0 0 0 129142 1051 0 0 25 0 1 0 16794663 1875976192 457475 1992294400 134512640 135751879 4292436304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 458002 457475 151 303 0 457697 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1832008 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1309.01 s] /proc/loadavg: 1.12 1.05 1.27 2/107 23067 /proc/meminfo: memFree=44328/2059040 swapFree=4134900/4192956 [pid=23018] ppid=23016 vsize=1843360 CPUtime=1308.52 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4202496 460569 0 0 0 129795 1057 0 0 25 0 1 0 16794663 1887600640 460291 1992294400 134512640 135751879 4292436304 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23018/statm: 460840 460291 151 303 0 460535 0 Current children cumulated CPU time (s) 1308.52 Current children cumulated vsize (KiB) 1843360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1309.11 s] /proc/loadavg: 1.12 1.05 1.27 2/107 23067 /proc/meminfo: memFree=44328/2059040 swapFree=4134900/4192956 [pid=23018] ppid=23016 vsize=0 CPUtime=1308.62 /proc/23018/stat : 23018 (wbo1.4b) R 23016 23018 22158 0 -1 4203524 460569 0 0 0 129795 1067 0 0 25 0 1 0 16794663 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/23018/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1308.62 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1309.18 CPU time (s): 1308.7 CPU user time (s): 1297.95 CPU system time (s): 10.7484 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 1843360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1297.95 system time used= 10.7484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460569 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= 6 involuntary context switches= 4662 runsolver used 2.21766 second user time and 6.13707 second system time The end
Begin job on node015 at 2010-06-13 08:52:13 IDJOB=2656126 IDBENCH=2048 IDSOLVER=1161 FILE ID=node015/2656126-1276411933 PBS_JOBID= 11173274 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656126-1276411933/watcher-2656126-1276411933 -o /tmp/evaluation-result-2656126-1276411933/solver-2656126-1276411933 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656126-1276411933.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=628565148 node015.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836136 kB Buffers: 18684 kB Cached: 100596 kB SwapCached: 51776 kB Active: 97072 kB Inactive: 75724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836136 kB SwapTotal: 4192956 kB SwapFree: 4100916 kB Dirty: 3012 kB Writeback: 0 kB AnonPages: 10788 kB Mapped: 7124 kB Slab: 28300 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180936 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= 62544 MiB End job on node015 at 2010-06-13 09:14:04