Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | UNSAT | 140.553 | 140.603 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb |
MD5SUM | 1d7dd5c267917b6fb58d303c57bfa918 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 77.4292 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2424 |
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2657201-1276600350.opb 0.00/0.00 c File size is 2084 bytes. 0.00/0.00 c Highest Coefficient sum: 2424 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 31 Constr: 9 1/0/8 Lit: 235 Watch. Lit: 85 0.00/0.00 c Obj. Vars: 1 (3.22581 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 30 8 234 29 86 468 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 140.54/140.60 c 100 30 167 3613 21 589 515 159 10000 0.01 140.54/140.60 c 250 30 406 8396 20 1189 567 398 9615 0.03 140.54/140.60 c 475 30 484 9958 20 1202 624 476 9134 0.05 140.54/140.60 c 813 30 395 8023 20 970 687 387 9134 0.09 140.54/140.60 c 1322 30 570 11945 20 1487 756 562 8932 0.15 140.54/140.60 c 2085 30 703 14587 20 1792 832 695 8615 0.24 140.54/140.60 c 3231 30 525 10767 20 1285 916 517 8305 0.39 140.54/140.60 c 4952 30 717 14337 19 1749 1008 709 8052 0.61 140.54/140.60 c 7537 30 513 10447 20 1159 1109 505 7842 0.96 140.54/140.60 c 11416 30 679 13631 20 1568 1220 671 7677 1.49 140.54/140.60 c 17239 30 790 16231 20 1855 1343 782 7379 2.34 140.54/140.60 c 25976 30 764 15334 20 1708 1478 756 7112 3.65 140.54/140.60 c 39086 30 808 16330 20 1827 1626 800 6846 5.71 140.54/140.60 c 58756 30 1031 20583 19 2334 1789 1023 6552 8.97 140.54/140.60 c 88266 30 1597 31830 19 4297 1968 1589 6188 14.26 140.54/140.60 c 132537 30 1490 29637 19 3856 2165 1482 5897 22.48 140.54/140.60 c 198948 30 1780 35604 20 4629 2382 1772 5626 35.36 140.54/140.60 c 298568 30 1419 28919 20 3685 2621 1411 5331 56.00 140.54/140.60 c 448003 30 2058 40803 19 5219 2884 2050 5024 89.16 140.54/140.60 c Backtracks by Clause: 671730 140.54/140.60 c Backtracks by PB constraint: 262 140.54/140.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 140.54/140.60 c 19 671992 5262 677461 2669 37732 2661 4781 140.55 140.54/140.60 s UNSATISFIABLE 140.54/140.60 c Total time: 140.55 s
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-2657201-1276600350/watcher-2657201-1276600350 -o /tmp/evaluation-result-2657201-1276600350/solver-2657201-1276600350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657201-1276600350.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: 1.00 1.00 1.00 2/106 9252 /proc/meminfo: memFree=1538912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18600 CPUtime=0 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 1327339 19046400 241 1992294400 134512640 137138936 4289205728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4650 241 192 642 0 4006 0 [startup+0.0464809 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9252 /proc/meminfo: memFree=1538912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18728 CPUtime=0.04 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 372 0 0 0 4 0 0 0 20 0 1 0 1327339 19177472 289 1992294400 134512640 137138936 4289205728 18446744073709551615 134577129 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4682 289 192 642 0 4038 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 18728 [startup+0.100491 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9252 /proc/meminfo: memFree=1538912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18728 CPUtime=0.09 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 376 0 0 0 9 0 0 0 20 0 1 0 1327339 19177472 293 1992294400 134512640 137138936 4289205728 18446744073709551615 134539661 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4682 293 192 642 0 4038 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18728 [startup+0.300527 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9252 /proc/meminfo: memFree=1538912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18856 CPUtime=0.29 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 398 0 0 0 29 0 0 0 20 0 1 0 1327339 19308544 315 1992294400 134512640 137138936 4289205728 18446744073709551615 134544812 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4714 315 192 642 0 4070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18856 [startup+0.700599 s] /proc/loadavg: 1.00 1.00 1.00 2/106 9252 /proc/meminfo: memFree=1538912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18860 CPUtime=0.69 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 414 0 0 0 68 1 0 0 20 0 1 0 1327339 19312640 331 1992294400 134512640 137138936 4289205728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4715 331 192 642 0 4071 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18860 [startup+1.50074 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=1538160/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18988 CPUtime=1.49 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 427 0 0 0 147 2 0 0 22 0 1 0 1327339 19443712 344 1992294400 134512640 137138936 4289205728 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4747 344 192 642 0 4103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18988 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=1537912/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=18988 CPUtime=3.09 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 450 0 0 0 306 3 0 0 25 0 1 0 1327339 19443712 367 1992294400 134512640 137138936 4289205728 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4747 367 192 642 0 4103 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18988 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=1537788/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19116 CPUtime=6.29 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 477 0 0 0 623 6 0 0 25 0 1 0 1327339 19574784 394 1992294400 134512640 137138936 4289205728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4779 394 192 642 0 4135 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19116 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=1537540/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19244 CPUtime=12.69 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 496 0 0 0 1259 10 0 0 25 0 1 0 1327339 19705856 413 1992294400 134512640 137138936 4289205728 18446744073709551615 134575353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4811 413 192 642 0 4167 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19244 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9253 /proc/meminfo: memFree=1537292/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19376 CPUtime=25.48 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 533 0 0 0 2530 18 0 0 25 0 1 0 1327339 19841024 450 1992294400 134512640 137138936 4289205728 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4844 450 192 642 0 4200 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19376 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9255 /proc/meminfo: memFree=1537168/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19496 CPUtime=51.07 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 558 0 0 0 5074 33 0 0 25 0 1 0 1327339 19963904 475 1992294400 134512640 137138936 4289205728 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4874 475 192 642 0 4230 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19496 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9255 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=102.26 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 608 0 0 0 10167 59 0 0 25 0 1 0 1327339 20086784 525 1992294400 134512640 137138936 4289205728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 525 192 642 0 4260 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19616 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=127.85 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 12711 74 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 19616 [startup+134.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=134.24 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13347 77 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134618248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 134.24 Current children cumulated vsize (KiB) 19616 [startup+137.508 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=137.45 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13665 80 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 137.45 Current children cumulated vsize (KiB) 19616 [startup+139.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=139.04 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13823 81 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134602724 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 139.04 Current children cumulated vsize (KiB) 19616 [startup+139.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=139.84 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13903 81 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134575052 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 139.84 Current children cumulated vsize (KiB) 19616 [startup+140.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=140.24 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13943 81 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 140.24 Current children cumulated vsize (KiB) 19616 [startup+140.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=140.44 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13963 81 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134542535 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 140.44 Current children cumulated vsize (KiB) 19616 [startup+140.601 s] /proc/loadavg: 1.00 1.00 1.00 2/107 9257 /proc/meminfo: memFree=1536920/2059040 swapFree=4192956/4192956 [pid=9252] ppid=9250 vsize=19616 CPUtime=140.54 /proc/9252/stat : 9252 (bsolo_pb10) R 9250 9252 2337 0 -1 4202496 609 0 0 0 13973 81 0 0 25 0 1 0 1327339 20086784 526 1992294400 134512640 137138936 4289205728 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9252/statm: 4904 526 192 642 0 4260 0 Current children cumulated CPU time (s) 140.54 Current children cumulated vsize (KiB) 19616 Child status: 0 Real time (s): 140.603 CPU time (s): 140.553 CPU user time (s): 139.734 CPU system time (s): 0.818875 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 19616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 139.734 system time used= 0.818875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 609 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= 1 involuntary context switches= 560 runsolver used 0.246962 second user time and 0.661899 second system time The end
Begin job on node044 at 2010-06-15 13:12:30 IDJOB=2657201 IDBENCH=2901 IDSOLVER=1162 FILE ID=node044/2657201-1276600350 PBS_JOBID= 11173567 Free space on /tmp= 62588 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657201-1276600350/watcher-2657201-1276600350 -o /tmp/evaluation-result-2657201-1276600350/solver-2657201-1276600350 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657201-1276600350.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918 RANDOM SEED=1195552632 node044.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.266 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.53 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.266 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: 1539440 kB Buffers: 49468 kB Cached: 344248 kB SwapCached: 0 kB Active: 186744 kB Inactive: 266308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1539440 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3868 kB Writeback: 0 kB AnonPages: 59312 kB Mapped: 15476 kB Slab: 44752 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179724 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= 62584 MiB End job on node044 at 2010-06-15 13:14:51