0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.02/0.03 c | Number of variables: 2401 |
0.02/0.03 c | Number of clauses: 15697 |
0.02/0.03 c | Parse time: 0.03 s |
0.09/0.14 c | Simplification time: 0.11 s |
0.09/0.14 c | |
0.09/0.14 c ============================[ Search Statistics ]==============================
0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.09/0.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.09/0.14 c ===============================================================================
0.09/0.14 c | 100 | 1833 10202 64745 | 3740 100 12 | 2.374 % |
0.09/0.14 c | 250 | 1833 10202 64745 | 4114 250 13 | 2.374 % |
0.09/0.15 c | 475 | 1833 10202 64745 | 4526 475 13 | 2.374 % |
0.09/0.15 c | 812 | 1833 10202 64745 | 4978 812 14 | 2.374 % |
0.09/0.17 c | 1318 | 1833 10202 64745 | 5476 1318 16 | 2.374 % |
0.09/0.18 c | 2077 | 1833 10202 64745 | 6024 2077 17 | 2.374 % |
0.19/0.21 c | 3216 | 1833 10202 64745 | 6626 3216 19 | 2.374 % |
0.19/0.27 c | 4924 | 1833 10202 64745 | 7289 4924 19 | 2.374 % |
0.39/0.41 c | 7486 | 1833 10202 64745 | 8018 3755 22 | 2.374 % |
0.49/0.59 c | 11330 | 1833 10202 64745 | 8820 7599 24 | 2.374 % |
0.89/0.95 c | 17096 | 1833 10202 64745 | 9702 8915 24 | 2.374 % |
1.49/1.51 c | 25745 | 1833 10202 64745 | 10672 7723 23 | 2.374 % |
2.29/2.36 c | 38719 | 1833 10202 64745 | 11740 9870 25 | 2.374 % |
3.79/3.84 c | 58180 | 1833 10202 64745 | 12914 11521 26 | 2.374 % |
6.19/6.20 c | 87372 | 1833 10202 64745 | 14205 8045 23 | 2.374 % |
10.08/10.11 c | 131161 | 1833 10202 64745 | 15625 8827 26 | 2.374 % |
16.18/16.24 c | 196845 | 1833 10202 64745 | 17188 11389 26 | 2.374 % |
25.79/25.89 c | 295371 | 1833 10202 64745 | 18907 14625 26 | 2.374 % |
41.27/41.31 c | 443160 | 1833 10202 64745 | 20798 9946 26 | 2.374 % |
66.47/66.51 c | 664843 | 1833 10202 64745 | 22877 11737 24 | 2.374 % |
104.26/104.31 c | 997368 | 1833 10202 64745 | 25165 21962 27 | 2.374 % |
166.23/166.36 c | 1496156 | 1833 10202 64745 | 27682 14809 25 | 2.374 % |
267.19/267.39 c | 2244338 | 1833 10202 64745 | 30450 25770 27 | 2.374 % |
309.47/309.67 c ===============================================================================
309.47/309.67 c restarts : 4380
309.47/309.67 c conflicts : 2569609 (8302 /sec)
309.47/309.67 c decisions : 3278186 (10592 /sec)
309.47/309.67 c propagations : 193060261 (623779 /sec)
309.47/309.67 c conflict literals : 78154849 (30.54 % deleted)
309.47/309.67 c Memory used : 21.98 MB
309.47/309.67 c CPU time : 309.501 s
309.47/309.67 c
309.47/309.67 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783703-1241873512/watcher-1783703-1241873512 -o /tmp/evaluation-result-1783703-1241873512/solver-1783703-1241873512 -C 5000 -W 6000 -M 1800 HOME/minisat HOME/instance-1783703-1241873512.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.94 3/65 18482
/proc/meminfo: memFree=1546208/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=7784 CPUtime=0
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 357 0 0 0 0 0 0 0 20 0 1 0 215381621 7970816 341 1992294400 4194304 5092341 548682068848 18446744073709551615 4494759 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 1946 342 63 219 0 1724 0
[startup+0.0304619 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 18482
/proc/meminfo: memFree=1546208/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=8680 CPUtime=0.02
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 715 0 0 0 2 0 0 0 20 0 1 0 215381621 8888320 699 1992294400 4194304 5092341 548682068848 18446744073709551615 4270144 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 2170 699 63 219 0 1948 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8680
[startup+0.102476 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 18482
/proc/meminfo: memFree=1546208/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=8676 CPUtime=0.09
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 789 0 0 0 9 0 0 0 20 0 1 0 215381621 8884224 773 1992294400 4194304 5092341 548682068848 18446744073709551615 4212251 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 2169 773 88 219 0 1947 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8676
[startup+0.302515 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 18482
/proc/meminfo: memFree=1546208/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=8812 CPUtime=0.29
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 999 0 0 0 29 0 0 0 22 0 1 0 215381621 9023488 821 1992294400 4194304 5092341 548682068848 18446744073709551615 4241098 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 2203 821 103 219 0 1981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8812
[startup+0.701594 s]
/proc/loadavg: 0.92 0.98 0.94 3/65 18482
/proc/meminfo: memFree=1546208/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=14048 CPUtime=0.69
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 1540 0 0 0 69 0 0 0 25 0 1 0 215381621 14385152 1118 1992294400 4194304 5092341 548682068848 18446744073709551615 4241418 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 3512 1118 103 219 0 3290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14048
[startup+1.50175 s]
/proc/loadavg: 0.92 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1541528/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=19240 CPUtime=1.49
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 2029 0 0 0 148 1 0 0 25 0 1 0 215381621 19701760 1607 1992294400 4194304 5092341 548682068848 18446744073709551615 4250359 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 4810 1607 103 219 0 4588 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19240
[startup+3.10107 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1539800/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=19240 CPUtime=3.09
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 2163 0 0 0 308 1 0 0 25 0 1 0 215381621 19701760 1741 1992294400 4194304 5092341 548682068848 18446744073709551615 4241380 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 4810 1741 103 219 0 4588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19240
[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1539288/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=19264 CPUtime=6.29
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 3105 0 0 0 628 1 0 0 25 0 1 0 215381621 19726336 1836 1992294400 4194304 5092341 548682068848 18446744073709551615 4241418 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 4816 1836 103 219 0 4594 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19264
[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1537768/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=19264 CPUtime=12.68
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 3423 0 0 0 1267 1 0 0 25 0 1 0 215381621 19726336 2154 1992294400 4194304 5092341 548682068848 18446744073709551615 4240611 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 4816 2154 103 219 0 4594 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19264
[startup+25.5025 s]
/proc/loadavg: 0.95 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1536424/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=19264 CPUtime=25.49
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 3741 0 0 0 2547 2 0 0 25 0 1 0 215381621 19726336 2472 1992294400 4194304 5092341 548682068848 18446744073709551615 4241089 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 4816 2472 103 219 0 4594 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19264
[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1529704/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=51.08
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 8554 0 0 0 5103 5 0 0 25 0 1 0 215381621 23044096 4163 1992294400 4194304 5092341 548682068848 18446744073709551615 4240665 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4163 103 219 0 5404 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22504
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1529192/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=102.26
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 8660 0 0 0 10221 5 0 0 25 0 1 0 215381621 23044096 4269 1992294400 4194304 5092341 548682068848 18446744073709551615 4249622 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4269 103 219 0 5404 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22504
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1528360/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=162.23
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 8866 0 0 0 16218 5 0 0 25 0 1 0 215381621 23044096 4475 1992294400 4194304 5092341 548682068848 18446744073709551615 4241089 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4475 103 219 0 5404 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 22504
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527848/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=222.21
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 8979 0 0 0 22216 5 0 0 25 0 1 0 215381621 23044096 4588 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4588 103 219 0 5404 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 22504
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=282.18
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9009 0 0 0 28213 5 0 0 25 0 1 0 215381621 23044096 4618 1992294400 4194304 5092341 548682068848 18446744073709551615 4241449 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4618 103 219 0 5404 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 22504
Solver just ended. Dumping a history of the last processes samples
[startup+294.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=294.18
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 29413 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4240947 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 294.18
Current children cumulated vsize (KiB) 22504
[startup+300.702 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=300.58
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30053 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4241098 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 300.58
Current children cumulated vsize (KiB) 22504
[startup+303.901 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=303.78
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30373 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4241447 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 303.78
Current children cumulated vsize (KiB) 22504
[startup+307.102 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=306.97
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30692 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4250096 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 306.97
Current children cumulated vsize (KiB) 22504
[startup+308.701 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=308.57
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30852 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4249594 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 308.57
Current children cumulated vsize (KiB) 22504
[startup+309.105 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=308.98
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30893 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4241117 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 308.98
Current children cumulated vsize (KiB) 22504
[startup+309.501 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=309.37
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30932 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4248055 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 309.37
Current children cumulated vsize (KiB) 22504
[startup+309.601 s]
/proc/loadavg: 0.99 0.98 0.94 2/66 18483
/proc/meminfo: memFree=1527720/2055920 swapFree=4180628/4192956
[pid=18482] ppid=18480 vsize=22504 CPUtime=309.47
/proc/18482/stat : 18482 (minisat) R 18480 18482 18445 0 -1 4194304 9012 0 0 0 30942 5 0 0 25 0 1 0 215381621 23044096 4621 1992294400 4194304 5092341 548682068848 18446744073709551615 4249477 0 0 4096 3 0 0 0 17 1 0 0
/proc/18482/statm: 5626 4621 103 219 0 5404 0
Current children cumulated CPU time (s) 309.47
Current children cumulated vsize (KiB) 22504
Child status: 20
Real time (s): 309.677
CPU time (s): 309.561
CPU user time (s): 309.501
CPU system time (s): 0.05999
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 24428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 309.501
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9022
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= 422
runsolver used 0.343947 second user time and 0.710891 second system time
The end
Begin job on node77 at 2009-05-09 14:51:52
IDJOB=1783703
IDBENCH=24642
IDSOLVER=608
FILE ID=node77/1783703-1241873512
PBS_JOBID= 9264632
Free space on /tmp= 66180 MiB
SOLVER NAME= MiniSat 2.1 (Sat-race'08 Edition)
BENCH NAME= SAT07/crafted/Hard/contest05/QG/QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
COMMAND LINE= HOME/minisat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783703-1241873512/watcher-1783703-1241873512 -o /tmp/evaluation-result-1783703-1241873512/solver-1783703-1241873512 -C 5000 -W 6000 -M 1800 HOME/minisat HOME/instance-1783703-1241873512.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d9bf8689fd094f6ad4f37a57f4f0a5ae
RANDOM SEED=1094735615
node77.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1546688 kB
Buffers: 43260 kB
Cached: 386232 kB
SwapCached: 6388 kB
Active: 55976 kB
Inactive: 381988 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1546688 kB
SwapTotal: 4192956 kB
SwapFree: 4180628 kB
Dirty: 1592 kB
Writeback: 0 kB
Mapped: 14044 kB
Slab: 57292 kB
Committed_AS: 744992 kB
PageTables: 1372 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= 66176 MiB
End job on node77 at 2009-05-09 14:57:02