0.00/0.00 This is MiniMarch 1.1, a modified version of MiniSat 2.0 beta
0.00/0.00 WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 ============================[ Problem Statistics ]=============================
0.00/0.00 | |
0.00/0.00 | Number of variables: 7847 |
0.00/0.00 | Number of clauses: 73394 |
0.09/0.14 | Parsing time: 0.14 s |
1.29/1.35 ============================[ Search Statistics ]==============================
1.29/1.35 | Conflicts | ORIGINAL | LEARNT | Progress |
1.29/1.35 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.29/1.35 ===============================================================================
1.29/1.35 | 0 | 1781 9928 33730 | 3309 0 nan | 0.000 % |
1.29/1.36 | 102 | 1781 9928 33730 | 3640 102 8 | 53.103 % |
1.29/1.38 | 253 | 1781 9928 33730 | 4004 253 16 | 53.103 % |
1.29/1.39 | 479 | 1781 9928 33730 | 4404 479 17 | 53.103 % |
1.40/1.42 | 816 | 1781 9928 33730 | 4845 816 18 | 53.103 % |
1.40/1.47 | 1322 | 1780 9928 33730 | 5329 1321 21 | 53.116 % |
1.60/1.61 | 2082 | 1778 9908 33677 | 5862 2080 22 | 53.141 % |
1.80/1.87 | 3222 | 1778 9908 33677 | 6448 3220 22 | 53.141 % |
2.20/2.29 | 4931 | 1778 9908 33677 | 7093 4929 22 | 53.141 % |
2.90/2.96 | 7494 | 1778 9908 33677 | 7803 7492 23 | 53.141 % |
4.19/4.28 | 11339 | 1778 9908 33677 | 8583 11337 23 | 53.141 % |
6.19/6.24 | 17105 | 1777 9887 33635 | 9441 10472 20 | 53.154 % |
9.29/9.37 | 25754 | 1777 9887 33635 | 10386 12246 20 | 53.154 % |
14.09/14.20 | 38729 | 1776 9878 33607 | 11424 10301 22 | 53.167 % |
21.08/21.17 | 58190 | 1776 9878 33607 | 12567 13873 20 | 53.167 % |
33.89/33.95 | 87384 | 1775 9875 33574 | 13823 17106 21 | 53.180 % |
53.18/53.25 | 131174 | 1775 9875 33574 | 15206 14701 17 | 53.180 % |
82.27/82.33 | 196859 | 1774 9833 33489 | 16726 10579 17 | 53.192 % |
124.65/124.75 | 295387 | 1773 9825 33463 | 18399 12603 16 | 53.205 % |
190.74/190.86 | 443177 | 1596 8342 28748 | 20239 17262 26 | 55.461 % |
212.53/212.67 ===============================================================================
212.53/212.67 lookaheads : 97679
212.53/212.67 variable balance : 0.00
212.53/212.67 restarts : 20
212.53/212.67 conflicts : 496626 (2336 /sec)
212.53/212.67 decisions : 566779 (0.97 % random) (2666 /sec)
212.53/212.67 decision = positive : 298002
212.53/212.67 decision = negative : 268777
212.53/212.67 propagations : 178323307 (838882 /sec)
212.53/212.67 conflict literals : 11184805 (75.00 % deleted)
212.53/212.67 Memory used : 10.00 MB
212.53/212.67 CPU time : 212.573 s
212.53/212.67
212.53/212.67 s UNSATISFIABLE
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-428253-1177714412 -o ROOT/results/node6/solver-428253-1177714412 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/428253-1177714412/minimarch_fixed /tmp/evaluation/428253-1177714412/instance-428253-1177714412.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 11124
/proc/meminfo: memFree=1684016/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=2440 CPUtime=0
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 520 0 0 0 0 0 0 0 18 0 1 0 247478866 2498560 505 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134553749 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 610 505 49 132 0 475 0
[startup+0.0333581 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 11124
/proc/meminfo: memFree=1684016/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=4720 CPUtime=0.02
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 1063 0 0 0 2 0 0 0 18 0 1 0 247478866 4833280 1048 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134688823 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 1180 1048 51 132 0 1045 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4720
[startup+0.101366 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 11124
/proc/meminfo: memFree=1684016/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=6992 CPUtime=0.09
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 1617 0 0 0 9 0 0 0 18 0 1 0 247478866 7159808 1602 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134523361 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 1748 1602 51 132 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6992
[startup+0.301389 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 11124
/proc/meminfo: memFree=1684016/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=6988 CPUtime=0.29
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 1629 0 0 0 29 0 0 0 19 0 1 0 247478866 7155712 1614 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134531673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 1747 1614 63 132 0 1612 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6988
[startup+0.701437 s]
/proc/loadavg: 1.00 0.99 0.98 3/77 11124
/proc/meminfo: memFree=1684016/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=6988 CPUtime=0.69
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 1629 0 0 0 69 0 0 0 22 0 1 0 247478866 7155712 1614 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134531673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 1747 1614 63 132 0 1612 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6988
[startup+1.50153 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1677800/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=1.5
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2081 0 0 0 149 1 0 0 25 0 1 0 247478866 8437760 1949 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551714 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1949 67 132 0 1925 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8240
[startup+3.10172 s]
/proc/loadavg: 1.00 0.99 0.98 3/78 11125
/proc/meminfo: memFree=1676200/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=3.1
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2081 0 0 0 309 1 0 0 25 0 1 0 247478866 8437760 1949 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551374 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1949 67 132 0 1925 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8240
[startup+6.30109 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1676008/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=6.29
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2081 0 0 0 628 1 0 0 25 0 1 0 247478866 8437760 1949 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551247 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1949 67 132 0 1925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8240
[startup+12.7028 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1675944/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=12.69
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2081 0 0 0 1268 1 0 0 25 0 1 0 247478866 8437760 1949 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551347 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1949 67 132 0 1925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8240
[startup+25.5013 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1676008/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=25.49
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2081 0 0 0 2547 2 0 0 25 0 1 0 247478866 8437760 1949 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551227 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1949 67 132 0 1925 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 8240
[startup+51.1013 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1676008/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=51.08
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2082 0 0 0 5106 2 0 0 25 0 1 0 247478866 8437760 1950 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551775 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1950 67 132 0 1925 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8240
[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1676008/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8240 CPUtime=102.26
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2101 0 0 0 10224 2 0 0 25 0 1 0 247478866 8437760 1969 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551227 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2060 1969 67 132 0 1925 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8240
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 11125
/proc/meminfo: memFree=1675944/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=8504 CPUtime=162.25
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2155 0 0 0 16222 3 0 0 25 0 1 0 247478866 8708096 2023 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551270 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2126 2023 67 132 0 1991 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 8504
Solver just ended. Dumping a history of the last processes samples
[startup+179.101 s]
/proc/loadavg: 1.07 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674984/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=9564 CPUtime=179.04
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2411 0 0 0 17901 3 0 0 25 0 1 0 247478866 9793536 2279 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134688823 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2391 2279 67 132 0 2256 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 9564
[startup+191.902 s]
/proc/loadavg: 1.06 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=191.84
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 19180 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551227 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 10232
[startup+204.701 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=204.64
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 20460 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551227 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 10232
[startup+207.906 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=207.84
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 20780 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134557531 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (KiB) 10232
[startup+211.101 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=211.04
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 21100 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134557537 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 211.04
Current children cumulated vsize (KiB) 10232
[startup+211.901 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=211.83
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 21179 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551165 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 211.83
Current children cumulated vsize (KiB) 10232
[startup+212.305 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=212.24
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 21220 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134552500 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 212.24
Current children cumulated vsize (KiB) 10232
[startup+212.501 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=212.43
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 21239 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551235 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 212.43
Current children cumulated vsize (KiB) 10232
[startup+212.601 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 11125
/proc/meminfo: memFree=1674216/2055924 swapFree=4143464/4192956
[pid=11124] ppid=11122 vsize=10232 CPUtime=212.53
/proc/11124/stat : 11124 (minimarch_fixed) R 11122 11124 10284 0 -1 4194304 2576 0 0 0 21249 4 0 0 25 0 1 0 247478866 10477568 2444 18446744073709551615 134512640 135054336 4294956656 18446744073709551615 134551232 0 0 4096 3 0 0 0 17 1 0 0
/proc/11124/statm: 2558 2444 67 132 0 2423 0
Current children cumulated CPU time (s) 212.53
Current children cumulated vsize (KiB) 10232
Child status: 20
Real time (s): 212.677
CPU time (s): 212.621
CPU user time (s): 212.573
CPU system time (s): 0.047992
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 10232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.573
system time used= 0.047992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2583
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= 265
runsolver used 0.184971 second user time and 0.431934 second system time
The end
Begin job on node6 on Fri Apr 27 22:53:32 UTC 2007
IDJOB= 428253
IDBENCH= 20396
IDSOLVER= 198
FILE ID= node6/428253-1177714412
PBS_JOBID= 4698742
Free space on /tmp= 66492 MiB
SOLVER NAME= minimarch 2007-04-26 (fixed)
BENCH NAME= HOME/pub/bench/SAT07/industrial/fuhs/medium/AProVE07-20.cnf
COMMAND LINE= /tmp/evaluation/428253-1177714412/minimarch_fixed /tmp/evaluation/428253-1177714412/instance-428253-1177714412.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-428253-1177714412 -o ROOT/results/node6/solver-428253-1177714412 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/428253-1177714412/minimarch_fixed /tmp/evaluation/428253-1177714412/instance-428253-1177714412.cnf
META MD5SUM SOLVER= 08d902191c06ef4f82d57c2f2b6a82c2
MD5SUM BENCH= 5c40e79430f590d0520492d70b267b66
RANDOM SEED= 695929801
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.232
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.232
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: 2055924 kB
MemFree: 1684488 kB
Buffers: 41376 kB
Cached: 259020 kB
SwapCached: 17912 kB
Active: 181448 kB
Inactive: 146272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1684488 kB
SwapTotal: 4192956 kB
SwapFree: 4143464 kB
Dirty: 4004 kB
Writeback: 0 kB
Mapped: 30180 kB
Slab: 29300 kB
Committed_AS: 7179096 kB
PageTables: 1784 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66492 MiB
End job on node6 on Fri Apr 27 22:57:05 UTC 2007