Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 53 |
Best CPU time to get the best result obtained on this benchmark | 1801.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
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 | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
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 | 5203 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680718-1277457384.opb. 0.00/0.00 c Instance file HOME/instance-2680718-1277457384.opb 0.00/0.00 c File size is 9972193 bytes. 1.59/1.64 c Highest Coefficient sum: 361 1.59/1.64 c ============================[ Problem Statistics ]============================= 1.59/1.64 c | | 1.59/1.64 c | Parsing time: 1.63 s | 1.59/1.64 c | Number Variables: 5203 | 1.59/1.64 c | Number Clauses: 19637 | 1.59/1.64 c | Number Cardinality: 0 | 1.59/1.64 c | Number PB Constraints: 0 | 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 5203 19637 1117990 | 6545 0 nan | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.70 c New solution: 86 1.69/1.70 o 86 1.69/1.70 c Elapsed CPU time: 1.68674 s Remaining CPU time: 178.313 s 1.69/1.70 c =============================================================================== 1.69/1.70 c | 4 | 5203 19638 1123193 | 6546 4 176 | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c New solution: 82 1.69/1.73 o 82 1.69/1.73 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s 1.69/1.73 c =============================================================================== 1.69/1.73 c | 5 | 5203 19639 1128396 | 6546 5 168 | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c New solution: 73 1.69/1.79 o 73 1.69/1.79 c Elapsed CPU time: 1.77173 s Remaining CPU time: 178.228 s 1.69/1.79 c =============================================================================== 1.69/1.79 c | 9 | 5203 19640 1133599 | 6546 9 146 | 0.000 % | 1.79/1.86 c | 110 | 5203 19640 1133599 | 7201 110 172 | 0.000 % | 1.89/1.99 c | 260 | 5203 19640 1133599 | 7921 260 187 | 0.000 % | 2.20/2.21 c | 486 | 5203 19640 1133599 | 8713 486 248 | 0.000 % | 2.39/2.48 c | 823 | 5203 19640 1133599 | 9584 823 253 | 0.000 % | 3.09/3.17 c | 1331 | 5203 19640 1133599 | 10543 1331 234 | 0.000 % | 3.99/4.04 c | 2090 | 5203 19640 1133599 | 11597 2090 230 | 0.000 % | 5.98/6.02 c | 3230 | 5203 19640 1133599 | 12757 3230 235 | 0.000 % | 8.09/8.12 c | 4941 | 5203 19640 1133599 | 14033 4941 241 | 0.000 % | 9.98/10.01 c | 7504 | 5203 19640 1133599 | 15436 7504 229 | 0.000 % | 13.78/13.82 c | 11351 | 5203 19640 1133599 | 16980 11351 214 | 0.000 % | 21.48/21.58 c | 17117 | 5203 19640 1133599 | 18678 17117 231 | 0.000 % | 28.98/29.02 c | 25766 | 5203 19640 1133599 | 20546 13104 227 | 0.000 % | 38.39/38.47 c | 38740 | 5203 19640 1133599 | 22600 11497 237 | 0.000 % | 53.17/53.25 c | 58201 | 5203 19640 1133599 | 24860 14443 235 | 0.000 % | 75.97/76.03 c | 87393 | 5203 19640 1133599 | 27347 25105 233 | 0.000 % | 113.56/113.69 c | 131183 | 5203 19640 1133599 | 30081 26556 208 | 0.000 % | 180.84/180.92 c There are 0 assigned variables. 0 in cost function. 183.44/183.50 c core #1 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 77 Core Weight: 1 Total Weight: 1 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #2 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 46 Core Weight: 1 Total Weight: 2 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #3 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 77 Core Weight: 1 Total Weight: 3 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #4 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 46 Core Weight: 1 Total Weight: 4 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #5 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 42 Core Weight: 1 Total Weight: 5 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #6 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 48 Core Weight: 1 Total Weight: 6 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #7 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 111 Core Weight: 1 Total Weight: 7 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #8 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 43 Core Weight: 1 Total Weight: 8 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #9 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 55 Core Weight: 1 Total Weight: 9 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #10 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 48 Core Weight: 1 Total Weight: 10 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #11 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 42 Core Weight: 1 Total Weight: 11 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #12 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 527 Core Weight: 1 Total Weight: 12 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #13 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 287 Core Weight: 1 Total Weight: 13 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c core #14 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c Core size: 203 Core Weight: 1 Total Weight: 14 183.44/183.50 c 183.44/183.50 c 183.44/183.50 c ============================[ Search Statistics ]============================== 183.44/183.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.50 c =============================================================================== 183.44/183.50 c | 0 | 3150 24857 351769 | 8285 0 nan | 0.000 % | 183.44/183.54 c | 105 | 3146 24857 351769 | 9114 105 126 | 53.812 % | 183.44/183.58 c =============================================================================== 183.64/183.73 c core #15 183.64/183.73 c 183.64/183.73 c 183.64/183.73 c Core size: 1198 Core Weight: 1 Total Weight: 15 183.64/183.73 c 183.64/183.73 c 183.64/183.73 c ============================[ Search Statistics ]============================== 183.64/183.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.73 c =============================================================================== 183.64/183.73 c | 0 | 5063 24858 452474 | 8286 0 nan | 0.000 % | 183.64/183.79 c | 112 | 5063 24858 452474 | 9114 112 383 | 36.697 % | 183.85/183.97 c | 262 | 5063 24858 452474 | 10026 262 383 | 36.722 % | 184.24/184.30 c | 495 | 5063 24858 452474 | 11028 495 401 | 36.722 % | 184.44/184.59 c | 832 | 5060 24858 452474 | 12131 830 377 | 36.747 % | 184.84/184.92 c | 1338 | 5060 24858 452474 | 13344 1336 388 | 36.747 % | 186.14/186.22 c | 2098 | 5060 24858 452474 | 14679 2096 392 | 36.747 % | 187.84/187.96 c | 3238 | 5058 24858 452474 | 16147 3234 422 | 36.759 % | 190.14/190.25 c | 4947 | 5058 24858 452474 | 17761 4942 472 | 36.759 % | 191.34/191.45 c =============================================================================== 191.53/191.67 c core #16 191.53/191.67 c 191.53/191.67 c 191.53/191.67 c Core size: 2082 Core Weight: 1 Total Weight: 16 191.53/191.67 c 191.53/191.67 c 191.53/191.67 c ============================[ Search Statistics ]============================== 191.53/191.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.67 c =============================================================================== 191.53/191.67 c | 0 | 7979 24859 629081 | 8286 0 nan | 0.000 % | 191.64/191.73 c | 102 | 7979 24859 629081 | 9114 102 362 | 20.757 % | 192.03/192.11 c | 253 | 7979 24859 629081 | 10026 253 418 | 20.757 % | 192.34/192.43 c | 487 | 7979 24859 629081 | 11029 487 319 | 20.757 % | 192.93/193.07 c | 824 | 7979 24859 629081 | 12132 824 292 | 20.757 % | 193.33/193.49 c | 1330 | 7979 24859 629081 | 13345 1330 262 | 20.757 % | 194.83/194.97 c | 2089 | 7979 24859 629081 | 14679 2089 313 | 20.757 % | 197.14/197.28 c | 3228 | 7979 24859 629081 | 16147 3228 353 | 20.757 % | 199.83/199.98 c | 4939 | 7979 24859 629081 | 17762 4939 394 | 20.757 % | 204.33/204.47 c | 7502 | 7979 24859 629081 | 19538 7502 468 | 20.757 % | 211.52/211.66 c | 11346 | 7979 24859 629081 | 21492 11346 547 | 20.757 % | 225.43/225.50 c | 17115 | 7979 24859 629081 | 23641 17115 582 | 20.757 % | 248.42/248.60 c | 25765 | 7979 24859 629081 | 26006 25765 640 | 20.757 % | 259.21/259.31 c =============================================================================== 259.72/259.90 c core #17 259.72/259.90 c 259.72/259.90 c 259.72/259.90 c Core size: 1852 Core Weight: 1 Total Weight: 17 259.72/259.90 c 259.72/259.90 c 259.72/259.90 c ============================[ Search Statistics ]============================== 259.72/259.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 259.72/259.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 259.72/259.90 c =============================================================================== 259.72/259.90 c | 0 | 10826 24860 900080 | 8286 0 nan | 0.000 % | 259.91/260.09 c | 102 | 10826 24860 900080 | 9115 102 616 | 9.185 % | 260.12/260.25 c | 252 | 10826 24860 900080 | 10026 252 475 | 9.185 % | 260.71/260.87 c | 477 | 10826 24860 900080 | 11029 477 539 | 9.185 % | 261.72/261.83 c | 816 | 10826 24860 900080 | 12132 816 622 | 9.185 % | 262.41/262.58 c | 1323 | 10826 24860 900080 | 13345 1323 602 | 9.185 % | 264.41/264.55 c | 2082 | 10826 24860 900080 | 14680 2082 576 | 9.185 % | 266.61/266.79 c | 3223 | 10826 24860 900080 | 16148 3223 620 | 9.185 % | 276.81/276.96 c | 4931 | 10826 24860 900080 | 17763 4931 630 | 9.185 % | 281.91/282.02 c | 7493 | 10826 24860 900080 | 19539 7493 533 | 9.185 % | 293.80/293.97 c | 11340 | 10826 24860 900080 | 21493 11340 557 | 9.185 % | 317.19/317.38 c | 17111 | 10826 24860 900080 | 23642 17111 569 | 9.185 % | 342.49/342.60 c | 25762 | 10826 24860 900080 | 26007 12257 417 | 9.185 % | 372.18/372.35 c | 38736 | 10826 24860 900080 | 28607 25231 367 | 9.185 % | 418.26/418.44 c | 58197 | 10826 24860 900080 | 31468 27090 289 | 9.185 % | 494.75/494.94 c | 87390 | 10826 24860 900080 | 34615 16227 357 | 9.185 % | 687.59/687.82 c | 131179 | 10826 24860 900080 | 38077 13741 725 | 9.185 % | 935.60/935.98 c | 196864 | 10826 24860 900080 | 41884 24733 610 | 9.185 % | 1259.81/1260.23 c | 295392 | 10826 24860 900080 | 46073 34744 475 | 9.185 % | 1738.49/1739.08 c | 443201 | 10825 24860 900080 | 50680 9977 229 | 9.194 % |
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-2680718-1277457384/watcher-2680718-1277457384 -o /tmp/evaluation-result-2680718-1277457384/solver-2680718-1277457384 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680718-1277457384.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.93 3/106 26473 /proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=13188 CPUtime=0 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 458 0 0 0 0 0 0 0 19 0 1 0 87031146 13504512 377 1992294400 134512640 135752675 4292253760 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3297 377 134 303 0 557 0 [startup+0.068109 s] /proc/loadavg: 0.92 0.98 0.93 3/106 26473 /proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=13200 CPUtime=0.06 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 587 0 0 0 6 0 0 0 21 0 1 0 87031146 13516800 506 1992294400 134512640 135752675 4292253760 18446744073709551615 134562306 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3300 506 226 303 0 560 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13200 [startup+0.101112 s] /proc/loadavg: 0.92 0.98 0.93 3/106 26473 /proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=13332 CPUtime=0.09 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 666 0 0 0 9 0 0 0 21 0 1 0 87031146 13651968 585 1992294400 134512640 135752675 4292253760 18446744073709551615 134559951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3333 585 276 303 0 593 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13332 [startup+0.301129 s] /proc/loadavg: 0.92 0.98 0.93 3/106 26473 /proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=14008 CPUtime=0.29 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 1121 0 0 0 29 0 0 0 21 0 1 0 87031146 14344192 1040 1992294400 134512640 135752675 4292253760 18446744073709551615 135225940 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3502 1042 571 303 0 762 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14008 [startup+0.701164 s] /proc/loadavg: 0.92 0.98 0.93 3/106 26473 /proc/meminfo: memFree=1843576/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=15356 CPUtime=0.69 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 2046 0 0 0 69 0 0 0 22 0 1 0 87031146 15724544 1965 1992294400 134512640 135752675 4292253760 18446744073709551615 135010788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3839 1965 1169 303 0 1099 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15356 [startup+1.50124 s] /proc/loadavg: 0.92 0.98 0.93 2/107 26474 /proc/meminfo: memFree=1839228/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=17760 CPUtime=1.49 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 3864 0 0 0 149 0 0 0 25 0 1 0 87031146 18186240 3783 1992294400 134512640 135752675 4292253760 18446744073709551615 135010149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 4440 3783 2352 303 0 1700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17760 [startup+3.10038 s] /proc/loadavg: 0.92 0.98 0.93 2/107 26474 /proc/meminfo: memFree=1834764/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=11512 CPUtime=3.09 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 5031 0 0 0 305 4 0 0 25 0 1 0 87031146 11788288 2408 1992294400 134512640 135752675 4292253760 18446744073709551615 134639641 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 2878 2408 145 303 0 2573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11512 [startup+6.30065 s] /proc/loadavg: 0.93 0.98 0.93 2/107 26474 /proc/meminfo: memFree=1832036/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=14000 CPUtime=6.29 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 5656 0 0 0 623 6 0 0 25 0 1 0 87031146 14336000 3033 1992294400 134512640 135752675 4292253760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 3500 3033 145 303 0 3195 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14000 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.93 2/107 26474 /proc/meminfo: memFree=1825092/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=20556 CPUtime=12.69 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 7311 0 0 0 1261 8 0 0 25 0 1 0 87031146 21049344 4688 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 5139 4688 145 303 0 4834 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20556 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.93 2/107 26474 /proc/meminfo: memFree=1812692/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=32964 CPUtime=25.49 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 10409 0 0 0 2534 15 0 0 25 0 1 0 87031146 33755136 7786 1992294400 134512640 135752675 4292253760 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 8241 7786 145 303 0 7936 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32964 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.93 2/107 26476 /proc/meminfo: memFree=1774748/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=71348 CPUtime=51.08 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 19978 0 0 0 5079 29 0 0 25 0 1 0 87031146 73060352 17355 1992294400 134512640 135752675 4292253760 18446744073709551615 134638047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 17837 17355 145 303 0 17532 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71348 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.93 2/107 26476 /proc/meminfo: memFree=1707540/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=137916 CPUtime=102.27 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 36606 0 0 0 10174 53 0 0 25 0 1 0 87031146 141225984 33983 1992294400 134512640 135752675 4292253760 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 34479 33983 145 303 0 34174 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 137916 [startup+162.301 s] /proc/loadavg: 1.07 1.00 0.94 2/107 26478 /proc/meminfo: memFree=1651864/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=193812 CPUtime=162.24 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 50588 0 0 0 16145 79 0 0 25 0 1 0 87031146 198463488 47965 1992294400 134512640 135752675 4292253760 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 48453 47965 145 303 0 48148 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 193812 [startup+222.302 s] /proc/loadavg: 1.09 1.02 0.94 2/107 26480 /proc/meminfo: memFree=1630412/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=214512 CPUtime=222.23 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 55980 0 0 0 22115 108 0 0 25 0 1 0 87031146 219660288 53182 1992294400 134512640 135752675 4292253760 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 53628 53182 146 303 0 53323 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 214512 [startup+282.301 s] /proc/loadavg: 1.09 1.03 0.95 2/107 26482 /proc/meminfo: memFree=1580316/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=264472 CPUtime=282.21 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 68447 0 0 0 28082 139 0 0 25 0 1 0 87031146 270819328 65649 1992294400 134512640 135752675 4292253760 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 66118 65649 146 303 0 65813 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 264472 [startup+342.301 s] /proc/loadavg: 1.09 1.04 0.95 2/107 26482 /proc/meminfo: memFree=1544356/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=300636 CPUtime=342.19 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 77509 0 0 0 34052 167 0 0 25 0 1 0 87031146 307851264 74711 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 75159 74711 146 303 0 74854 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 300636 [startup+402.301 s] /proc/loadavg: 1.08 1.04 0.96 2/107 26484 /proc/meminfo: memFree=1506412/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=338620 CPUtime=402.17 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 86991 0 0 0 40020 197 0 0 25 0 1 0 87031146 346746880 84193 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 84655 84193 146 303 0 84350 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 338620 [startup+462.302 s] /proc/loadavg: 1.03 1.03 0.96 2/107 26486 /proc/meminfo: memFree=1468716/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=376160 CPUtime=462.15 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 96354 0 0 0 45988 227 0 0 25 0 1 0 87031146 385187840 93556 1992294400 134512640 135752675 4292253760 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 94040 93556 146 303 0 93735 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 376160 [startup+522.301 s] /proc/loadavg: 1.01 1.02 0.96 2/107 26488 /proc/meminfo: memFree=1428788/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=416268 CPUtime=522.14 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 106373 0 0 0 51958 256 0 0 25 0 1 0 87031146 426258432 103575 1992294400 134512640 135752675 4292253760 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 104067 103575 146 303 0 103762 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 416268 [startup+582.301 s] /proc/loadavg: 1.00 1.02 0.96 2/107 26490 /proc/meminfo: memFree=1391340/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=453312 CPUtime=582.12 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 115646 0 0 0 57939 273 0 0 25 0 1 0 87031146 464191488 112848 1992294400 134512640 135752675 4292253760 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 113328 112848 146 303 0 113023 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 453312 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.96 2/107 26490 /proc/meminfo: memFree=1351164/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=493160 CPUtime=642.11 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 125598 0 0 0 63919 292 0 0 25 0 1 0 87031146 504995840 122800 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 123290 122800 146 303 0 122985 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 493160 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26498 /proc/meminfo: memFree=1183268/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=660796 CPUtime=882.03 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 167485 0 0 0 87813 390 0 0 25 0 1 0 87031146 676655104 164687 1992294400 134512640 135752675 4292253760 18446744073709551615 134639697 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 165199 164687 146 303 0 164894 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 660796 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26498 /proc/meminfo: memFree=1132056/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=712328 CPUtime=942 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 180349 0 0 0 93780 420 0 0 25 0 1 0 87031146 729423872 177551 1992294400 134512640 135752675 4292253760 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 178082 177551 146 303 0 177777 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 712328 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 0.96 2/107 26503 /proc/meminfo: memFree=1095600/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=747588 CPUtime=1001.98 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 189175 0 0 0 99753 445 0 0 25 0 1 0 87031146 765530112 186377 1992294400 134512640 135752675 4292253760 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 186897 186378 146 303 0 186592 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 747588 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 0.96 2/107 26505 /proc/meminfo: memFree=1056168/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=787220 CPUtime=1061.97 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 199070 0 0 0 105727 470 0 0 25 0 1 0 87031146 806113280 196272 1992294400 134512640 135752675 4292253760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 196805 196272 146 303 0 196500 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 787220 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26507 /proc/meminfo: memFree=1013388/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=829804 CPUtime=1121.95 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 209707 0 0 0 111697 498 0 0 25 0 1 0 87031146 849719296 206909 1992294400 134512640 135752675 4292253760 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 207451 206909 146 303 0 207146 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 829804 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26509 /proc/meminfo: memFree=978916/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=864608 CPUtime=1181.94 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 218420 0 0 0 117674 520 0 0 25 0 1 0 87031146 885358592 215622 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 216152 215622 146 303 0 215847 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 864608 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26509 /proc/meminfo: memFree=936508/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=906724 CPUtime=1241.92 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 228960 0 0 0 123642 550 0 0 25 0 1 0 87031146 928485376 226162 1992294400 134512640 135752675 4292253760 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 226681 226162 146 303 0 226376 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 906724 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26511 /proc/meminfo: memFree=900548/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=942264 CPUtime=1301.91 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 237846 0 0 0 129616 575 0 0 25 0 1 0 87031146 964878336 235048 1992294400 134512640 135752675 4292253760 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 235566 235048 146 303 0 235261 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 942264 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26513 /proc/meminfo: memFree=859752/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=983220 CPUtime=1361.88 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 248071 0 0 0 135585 603 0 0 25 0 1 0 87031146 1006817280 245273 1992294400 134512640 135752675 4292253760 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 245805 245273 146 303 0 245500 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 983220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26515 /proc/meminfo: memFree=827760/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1015064 CPUtime=1421.87 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 256015 0 0 0 141566 621 0 0 25 0 1 0 87031146 1039425536 253217 1992294400 134512640 135752675 4292253760 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 253766 253217 146 303 0 253461 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1015064 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26517 /proc/meminfo: memFree=786840/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1056296 CPUtime=1481.85 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 266342 0 0 0 147538 647 0 0 25 0 1 0 87031146 1081647104 263544 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 264074 263544 146 303 0 263769 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1056296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26517 /proc/meminfo: memFree=739844/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1102868 CPUtime=1541.83 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 277979 0 0 0 153509 674 0 0 25 0 1 0 87031146 1129336832 275181 1992294400 134512640 135752675 4292253760 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 275717 275181 146 303 0 275412 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1102868 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26519 /proc/meminfo: memFree=695080/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1147944 CPUtime=1601.81 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 289213 0 0 0 159479 702 0 0 25 0 1 0 87031146 1175494656 286415 1992294400 134512640 135752675 4292253760 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 286986 286415 146 303 0 286681 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1147944 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26521 /proc/meminfo: memFree=657756/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1184952 CPUtime=1661.81 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 298460 0 0 0 165450 731 0 0 25 0 1 0 87031146 1213390848 295662 1992294400 134512640 135752675 4292253760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 296238 295662 146 303 0 295933 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1184952 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26523 /proc/meminfo: memFree=616340/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1226428 CPUtime=1721.78 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 308828 0 0 0 171415 763 0 0 25 0 1 0 87031146 1255862272 306030 1992294400 134512640 135752675 4292253760 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 306607 306030 146 303 0 306302 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1226428 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26525 /proc/meminfo: memFree=570088/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1272260 CPUtime=1781.77 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 320286 0 0 0 177387 790 0 0 25 0 1 0 87031146 1302794240 317488 1992294400 134512640 135752675 4292253760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 318065 317488 146 303 0 317760 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1272260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26525 /proc/meminfo: memFree=557936/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=1284440 CPUtime=1800.07 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4202496 323338 0 0 0 179210 797 0 0 25 0 1 0 87031146 1315266560 320540 1992294400 134512640 135752675 4292253760 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26473/statm: 321110 320540 146 303 0 320805 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1284440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 0.96 2/107 26525 /proc/meminfo: memFree=557936/2059040 swapFree=4140412/4192956 [pid=26473] ppid=26471 vsize=0 CPUtime=1800.17 /proc/26473/stat : 26473 (wbo1.4b) R 26471 26473 25920 0 -1 4203524 323338 0 0 0 179210 807 0 0 25 0 1 0 87031146 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26473/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.21 CPU user time (s): 1792.11 CPU system time (s): 8.09977 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1284440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.11 system time used= 8.09977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 323338 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= 3792 runsolver used 2.90956 second user time and 8.5757 second system time The end
Begin job on node041 at 2010-06-25 11:16:25 IDJOB=2680718 IDBENCH=2889 IDSOLVER=1190 FILE ID=node041/2680718-1277457384 PBS_JOBID= 11188126 Free space on /tmp= 61668 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680718-1277457384/watcher-2680718-1277457384 -o /tmp/evaluation-result-2680718-1277457384/solver-2680718-1277457384 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680718-1277457384.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=1157272844 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844104 kB Buffers: 20208 kB Cached: 97720 kB SwapCached: 5276 kB Active: 41528 kB Inactive: 89372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844104 kB SwapTotal: 4192956 kB SwapFree: 4140412 kB Dirty: 12420 kB Writeback: 0 kB AnonPages: 11552 kB Mapped: 12044 kB Slab: 62080 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181108 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= 61668 MiB End job on node041 at 2010-06-25 11:46:27