Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.0 | UNSAT | 232.813 | 232.895 |
Name | /PURE-SAT/SAT_RACE08/cnf/ cmu-bmc-longmult15.opb |
MD5SUM | e9758ba2e2b780b799e48ad52e1fffea |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | 44.1453 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7807 |
Total number of constraints | 24351 |
Number of constraints which are clauses | 24351 |
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 | 1 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 19 |
Number of bits of the biggest sum of numbers | 5 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1884421-1245258161.opb. 0.00/0.00 c Instance file HOME/instance-1884421-1245258161.opb 0.00/0.00 c File size is 693689 bytes. 0.09/0.10 c Highest Coefficient sum: 19 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 7807 | 0.09/0.10 c | Number Clauses: 24351 | 0.09/0.10 c | Number Cardinality: 0 | 0.09/0.10 c | Number PB Constraints: 0 | 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 7447 24351 58504 | 8117 0 nan | 0.000 % | 0.09/0.12 c | 100 | 7436 24351 58504 | 8928 100 38 | 4.983 % | 0.09/0.16 c | 250 | 7418 24351 58504 | 9821 247 36 | 4.985 % | 0.19/0.26 c | 475 | 7418 24351 58504 | 10803 472 45 | 4.983 % | 0.39/0.47 c | 812 | 7418 24351 58504 | 11884 809 49 | 4.983 % | 0.69/0.77 c | 1318 | 7418 24351 58504 | 13072 1315 54 | 4.983 % | 0.89/0.96 c | 2078 | 7418 24351 58504 | 14379 2075 54 | 4.983 % | 1.79/1.85 c | 3217 | 7417 24351 58504 | 15817 3212 75 | 4.996 % | 3.69/3.76 c | 4925 | 7417 24351 58504 | 17399 4920 100 | 4.996 % | 6.89/6.90 c | 7487 | 7414 24351 58504 | 19139 7481 100 | 5.034 % | 12.69/12.73 c | 11333 | 7411 24351 58504 | 21053 11182 108 | 5.073 % | 23.58/23.65 c | 17100 | 7410 24351 58504 | 23158 16948 117 | 5.086 % | 32.88/32.99 c | 25749 | 7408 24351 58504 | 25474 13079 113 | 5.111 % | 62.87/62.93 c | 38723 | 7406 24351 58504 | 28022 26053 136 | 5.136 % | 104.95/105.02 c | 58184 | 7396 24351 58504 | 30824 15535 123 | 5.265 % | 179.73/179.88 c | 87377 | 7276 24351 58504 | 33906 18556 111 | 6.802 % | 222.91/223.05 c =============================================================================== 232.71/232.86 c core #1 232.71/232.86 c Core size: 14035 Core Weight: 2147483647 Total Weight: 2147483647 232.71/232.86 c restarts : 16 232.71/232.86 c conflicts : 102102 (440 /sec) 232.71/232.86 c decisions : 121571 (0.99 % random) (524 /sec) 232.71/232.86 c propagations : 85089576 (366510 /sec) 232.71/232.86 c conflict literals : 17880436 (0.00 % deleted) 232.71/232.86 c Memory used : 181.52 MB 232.71/232.86 c CPU time : 232.162 s 232.71/232.86 c 232.71/232.86 s UNSATISFIABLE
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-1884421-1245258161/watcher-1884421-1245258161 -o /tmp/evaluation-result-1884421-1245258161/solver-1884421-1245258161 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1884421-1245258161.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.99 1.00 0.91 3/64 21709 /proc/meminfo: memFree=1552928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=3204 CPUtime=0 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 193417051 3280896 183 1992294400 134512640 135709839 4294956240 18446744073709551615 135359785 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 801 183 125 292 0 336 0 [startup+0.0464751 s] /proc/loadavg: 0.99 1.00 0.91 3/64 21709 /proc/meminfo: memFree=1552928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=4128 CPUtime=0.04 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 512 0 0 0 4 0 0 0 18 0 1 0 193417051 4227072 496 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 1032 496 196 292 0 567 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4128 [startup+0.101522 s] /proc/loadavg: 0.99 1.00 0.91 3/64 21709 /proc/meminfo: memFree=1552928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=5392 CPUtime=0.09 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 885 0 0 0 9 0 0 0 18 0 1 0 193417051 5521408 869 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 1348 869 289 292 0 883 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5392 [startup+0.301556 s] /proc/loadavg: 0.99 1.00 0.91 3/64 21709 /proc/meminfo: memFree=1552928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=5536 CPUtime=0.29 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 1126 0 0 0 29 0 0 0 19 0 1 0 193417051 5668864 940 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 1384 940 135 292 0 1089 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5536 [startup+0.701625 s] /proc/loadavg: 0.99 1.00 0.91 3/64 21709 /proc/meminfo: memFree=1552928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=6592 CPUtime=0.69 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 1362 0 0 0 69 0 0 0 22 0 1 0 193417051 6750208 1176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 1648 1176 135 292 0 1353 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6592 [startup+1.50177 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1547928/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=8316 CPUtime=1.49 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 1820 0 0 0 148 1 0 0 25 0 1 0 193417051 8515584 1634 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 2079 1634 135 292 0 1784 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8316 [startup+3.10101 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1545752/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=11096 CPUtime=3.09 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 2490 0 0 0 307 2 0 0 25 0 1 0 193417051 11362304 2304 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 2774 2304 135 292 0 2479 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11096 [startup+6.30157 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1540760/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=15236 CPUtime=6.29 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 3532 0 0 0 625 4 0 0 25 0 1 0 193417051 15601664 3346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 3809 3346 135 292 0 3514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15236 [startup+12.7017 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1533336/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=22260 CPUtime=12.69 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 5307 0 0 0 1263 6 0 0 25 0 1 0 193417051 22794240 5121 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 5565 5121 135 292 0 5270 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22260 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1520472/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=34924 CPUtime=25.48 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 8447 0 0 0 2537 11 0 0 25 0 1 0 193417051 35762176 8261 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 8731 8261 135 292 0 8436 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34924 [startup+51.1014 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1498072/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=57296 CPUtime=51.07 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 14047 0 0 0 5089 18 0 0 25 0 1 0 193417051 58671104 13861 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 14324 13861 135 292 0 14029 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57296 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1459800/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=95068 CPUtime=102.25 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 23492 0 0 0 10194 31 0 0 25 0 1 0 193417051 97349632 23306 1992294400 134512640 135709839 4294956240 18446744073709551615 134568589 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 23767 23306 135 292 0 23472 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 95068 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1416152/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=139056 CPUtime=162.23 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 34484 0 0 0 16178 45 0 0 25 0 1 0 193417051 142393344 34298 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 34764 34298 135 292 0 34469 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 139056 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1372952/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=181772 CPUtime=222.21 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 45175 0 0 0 22161 60 0 0 25 0 1 0 193417051 186134528 44989 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 45443 44989 135 292 0 45148 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 181772 Solver just ended. Dumping a history of the last processes samples [startup+223.902 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1371736/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=184024 CPUtime=223.81 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 45729 0 0 0 22321 60 0 0 25 0 1 0 193417051 188440576 45543 1992294400 134512640 135709839 4294956240 18446744073709551615 134516760 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46006 45543 136 292 0 45711 0 Current children cumulated CPU time (s) 223.81 Current children cumulated vsize (KiB) 184024 [startup+227.101 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368984/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185740 CPUtime=227.01 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46161 0 0 0 22640 61 0 0 25 0 1 0 193417051 190197760 45975 1992294400 134512640 135709839 4294956240 18446744073709551615 134584114 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46435 45975 136 292 0 46140 0 Current children cumulated CPU time (s) 227.01 Current children cumulated vsize (KiB) 185740 [startup+230.302 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368792/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185872 CPUtime=230.21 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46172 0 0 0 22960 61 0 0 25 0 1 0 193417051 190332928 45986 1992294400 134512640 135709839 4294956240 18446744073709551615 134583733 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46468 45986 136 292 0 46173 0 Current children cumulated CPU time (s) 230.21 Current children cumulated vsize (KiB) 185872 [startup+231.901 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368792/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185872 CPUtime=231.81 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46172 0 0 0 23120 61 0 0 25 0 1 0 193417051 190332928 45986 1992294400 134512640 135709839 4294956240 18446744073709551615 134584105 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46468 45986 136 292 0 46173 0 Current children cumulated CPU time (s) 231.81 Current children cumulated vsize (KiB) 185872 [startup+232.301 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368792/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185872 CPUtime=232.21 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46172 0 0 0 23160 61 0 0 25 0 1 0 193417051 190332928 45986 1992294400 134512640 135709839 4294956240 18446744073709551615 134584062 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46468 45986 136 292 0 46173 0 Current children cumulated CPU time (s) 232.21 Current children cumulated vsize (KiB) 185872 [startup+232.702 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368792/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185872 CPUtime=232.61 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46172 0 0 0 23200 61 0 0 25 0 1 0 193417051 190332928 45986 1992294400 134512640 135709839 4294956240 18446744073709551615 134583795 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46468 45986 136 292 0 46173 0 Current children cumulated CPU time (s) 232.61 Current children cumulated vsize (KiB) 185872 [startup+232.802 s] /proc/loadavg: 0.99 1.00 0.91 2/65 21710 /proc/meminfo: memFree=1368792/2055920 swapFree=4182028/4192956 [pid=21709] ppid=21707 vsize=185872 CPUtime=232.71 /proc/21709/stat : 21709 (wbo) R 21707 21709 21304 0 -1 4194304 46172 0 0 0 23210 61 0 0 25 0 1 0 193417051 190332928 45986 1992294400 134512640 135709839 4294956240 18446744073709551615 134584114 0 0 4096 3 0 0 0 17 1 0 0 /proc/21709/statm: 46468 45986 136 292 0 46173 0 Current children cumulated CPU time (s) 232.71 Current children cumulated vsize (KiB) 185872 Child status: 0 Real time (s): 232.895 CPU time (s): 232.813 CPU user time (s): 232.166 CPU system time (s): 0.646901 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 185872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 232.166 system time used= 0.646901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46174 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= 2 involuntary context switches= 234 runsolver used 0.183972 second user time and 0.477927 second system time The end
Begin job on node4 at 2009-06-17 19:02:41 IDJOB=1884421 IDBENCH=71955 IDSOLVER=698 FILE ID=node4/1884421-1245258161 PBS_JOBID= 9372449 Free space on /tmp= 66408 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT_RACE08/cnf/cmu-bmc-longmult15.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1884421-1245258161/watcher-1884421-1245258161 -o /tmp/evaluation-result-1884421-1245258161/solver-1884421-1245258161 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1884421-1245258161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e9758ba2e2b780b799e48ad52e1fffea RANDOM SEED=1743837370 node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1553344 kB Buffers: 37892 kB Cached: 372524 kB SwapCached: 4996 kB Active: 43488 kB Inactive: 375140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1553344 kB SwapTotal: 4192956 kB SwapFree: 4182028 kB Dirty: 3048 kB Writeback: 0 kB Mapped: 14464 kB Slab: 69876 kB Committed_AS: 168988 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1884421-1245258161.opb Free space on /tmp at the end= 66404 MiB End job on node4 at 2009-06-17 19:06:34