231.11/231.25 c starting MXC with:
231.11/231.25 c cnf_path = HOME/instance-1775417-1241312129.cnf
231.11/231.25 c restart_strategy = auto
231.11/231.25 c sign_strategy = cached
231.11/231.25 c use_preprocessing = -1
231.11/231.25 c output_implicant = 1
231.11/231.25 c timeout_seconds = 0
231.11/231.25 c running SatELite... done
231.11/231.25 c 65900 vars eliminated
231.11/231.25 c received 2669 units and 144017 clauses from SatELite
231.11/231.25 c 68568 assignments made, starting to guess now
231.11/231.25 c ===================================[MXC]=====================================
231.11/231.25 c | Conflicts | Clause Statistics | Vars |
231.11/231.25 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
231.11/231.25 c =============================================================================
231.11/231.25 c | 0 | 0 46188 97829 0 0 nan | 98746 |
231.11/231.25 c | 100 | 0 46196 97829 92 1050 17.2 | 30178 |
231.11/231.25 c | 210 | 0 46206 97829 192 1105 13.2 | 30178 |
231.11/231.25 c | 441 | 0 45926 97235 415 1220 12.9 | 30032 |
231.11/231.25 c | 805 | 0 45951 97235 754 1402 13.0 | 30032 |
231.11/231.25 c | 1315 | 0 45921 97171 1217 1657 12.2 | 30007 |
231.11/231.25 c | 1986 | 0 46006 97165 1802 1993 13.1 | 30006 |
231.11/231.25 c | 2834 | 0 46058 97146 1501 2417 12.3 | 30001 |
231.11/231.25 c | 3876 | 0 46145 97146 2456 2938 12.7 | 30001 |
231.11/231.25 c | 5132 | 0 46230 97146 1881 3566 13.0 | 30001 |
231.11/231.25 c | 6623 | 0 46309 96850 3230 4311 12.1 | 29958 |
231.11/231.25 c | 8373 | 0 46422 96850 4862 5186 13.0 | 29957 |
231.11/231.25 c | 10408 | 0 46524 96809 3976 6204 13.4 | 29944 |
231.11/231.25 c | 12756 | 0 46614 96809 6234 7378 14.7 | 29944 |
231.11/231.25 c | 15449 | 0 46734 96798 4488 8724 15.1 | 29939 |
231.11/231.25 c | 18521 | 0 46897 96798 7397 10260 16.2 | 29939 |
231.11/231.25 c | 22010 | 0 47036 96798 10747 12005 15.6 | 29939 |
231.11/231.25 c | 25958 | 0 47189 96797 7909 13979 15.5 | 29938 |
231.11/231.25 c | 30411 | 0 47372 96547 12116 16205 16.5 | 29914 |
231.11/231.25 c | 35419 | 0 47502 96496 16919 18709 17.0 | 29898 |
231.11/231.25 c | 41038 | 0 47690 96475 12109 21519 16.3 | 29885 |
231.11/231.25 c | 47329 | 0 47883 96475 18207 24664 18.6 | 29885 |
231.11/231.25 c | 54360 | 0 48063 96475 25058 28180 21.2 | 29885 |
231.11/231.25 c | 62205 | 0 48242 96475 17106 32102 21.9 | 29885 |
231.11/231.25 c | 70945 | 0 48447 96452 25637 36472 25.4 | 29881 |
231.11/231.25 c | 80669 | 0 48625 96452 35183 41334 28.7 | 29881 |
231.11/231.25 c | 91476 | 0 48811 96452 45804 46738 31.0 | 29881 |
231.11/231.25 c | 103474 | 0 48973 96452 33844 52737 30.4 | 29881 |
231.11/231.25 c | 116782 | 0 49110 96452 47015 59391 34.0 | 29881 |
231.11/231.25 c | 131532 | 0 49216 96452 61659 66766 38.2 | 29881 |
231.11/231.25 c | 147868 | 0 49316 96452 41969 74934 32.7 | 29881 |
231.11/231.25 c | 165948 | 0 49400 96452 59965 83974 38.6 | 29881 |
231.11/231.25 c | 185947 | 0 49453 96450 79909 93973 40.4 | 29880 |
231.11/231.25 c | 208057 | 0 49032 95550 86650 105028 36.8 | 29722 |
231.11/231.25 c | 210856 | 0 49066 95550 89406 106428 36.7 | 29035 |
231.11/231.25 c ----- stats for thread 0 -----
231.11/231.25 c restarts: 542
231.11/231.25 c decisions: 807621
231.11/231.25 c propagations: 237778134
231.11/231.25 c conflicts: 210856
231.11/231.25 c 231.248s elapsed
231.11/231.25 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1775417-1241312129/watcher-1775417-1241312129 -o /tmp/evaluation-result-1775417-1241312129/solver-1775417-1241312129 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1775417-1241312129.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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 0.97 0.99 3/64 25785
/proc/meminfo: memFree=1919800/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=6184 CPUtime=0
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 734 0 0 0 0 0 0 0 18 0 1 0 159247645 6332416 720 1992294400 134512640 135192793 4294956224 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 1546 727 46 166 0 1377 0
[startup+0.0867519 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 25785
/proc/meminfo: memFree=1919800/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=31424 CPUtime=0.07
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 6242 0 0 0 5 2 0 0 18 0 1 0 159247645 32178176 6226 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 7856 6226 55 166 0 7687 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31424
[startup+0.101755 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 25785
/proc/meminfo: memFree=1919800/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=32376 CPUtime=0.09
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 6493 0 0 0 7 2 0 0 18 0 1 0 159247645 33153024 6477 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 8094 6478 55 166 0 7925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32376
[startup+0.301796 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 25785
/proc/meminfo: memFree=1919800/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=45672 CPUtime=0.29
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 9796 0 0 0 26 3 0 0 19 0 1 0 159247645 46768128 9781 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 11418 9781 55 166 0 11249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45672
[startup+0.701874 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 25785
/proc/meminfo: memFree=1919800/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=51580 CPUtime=0.69
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 12490 0 0 0 65 4 0 0 23 0 1 0 159247645 52817920 11139 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 12895 11139 56 166 0 12726 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51580
[startup+1.50203 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 25786
/proc/meminfo: memFree=1868272/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=65416 CPUtime=1.49
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 15864 0 0 0 143 6 0 0 25 0 1 0 159247645 66985984 14513 1992294400 134512640 135192793 4294956224 18446744073709551615 134560269 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 16354 14513 56 166 0 16185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65416
[startup+3.10135 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 25786
/proc/meminfo: memFree=1865456/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=67964 CPUtime=3.09
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 18400 0 0 0 302 7 0 0 25 0 1 0 159247645 69595136 15453 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 16991 15453 72 166 0 16822 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67964
[startup+6.30199 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 25786
/proc/meminfo: memFree=1857144/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=68624 CPUtime=6.29
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 18574 0 0 0 621 8 0 0 25 0 1 0 159247645 70270976 15627 1992294400 134512640 135192793 4294956224 18446744073709551615 134532861 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 17156 15627 73 166 0 16987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68624
[startup+12.7013 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 25786
/proc/meminfo: memFree=1855736/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=69996 CPUtime=12.68
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 18911 0 0 0 1260 8 0 0 25 0 1 0 159247645 71675904 15964 1992294400 134512640 135192793 4294956224 18446744073709551615 134532642 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 17499 15964 73 166 0 17330 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69996
[startup+25.5018 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 25786
/proc/meminfo: memFree=1852984/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=72900 CPUtime=25.48
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 19621 0 0 0 2539 9 0 0 25 0 1 0 159247645 74649600 16674 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 18225 16674 73 166 0 18056 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72900
[startup+51.1019 s]
/proc/loadavg: 1.03 0.99 0.99 2/65 25786
/proc/meminfo: memFree=1846968/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=79172 CPUtime=51.07
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 21178 0 0 0 5096 11 0 0 25 0 1 0 159247645 81072128 18231 1992294400 134512640 135192793 4294956224 18446744073709551615 134533953 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 19793 18231 73 166 0 19624 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 79172
[startup+102.305 s]
/proc/loadavg: 1.31 1.06 1.02 2/65 25786
/proc/meminfo: memFree=1837752/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=88172 CPUtime=102.25
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 23436 0 0 0 10212 13 0 0 25 0 1 0 159247645 90288128 20489 1992294400 134512640 135192793 4294956224 18446744073709551615 134533104 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 22043 20489 73 166 0 21874 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88172
[startup+162.303 s]
/proc/loadavg: 1.15 1.06 1.02 2/65 25786
/proc/meminfo: memFree=1834424/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=91696 CPUtime=162.23
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 24249 0 0 0 16209 14 0 0 25 0 1 0 159247645 93896704 21302 1992294400 134512640 135192793 4294956224 18446744073709551615 134533824 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 22924 21302 73 166 0 22755 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 91696
[startup+222.302 s]
/proc/loadavg: 1.16 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825720/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=100456 CPUtime=222.21
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26420 0 0 0 22204 17 0 0 25 0 1 0 159247645 102866944 23473 1992294400 134512640 135192793 4294956224 18446744073709551615 134533297 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25114 23473 73 166 0 24945 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 100456
Solver just ended. Dumping a history of the last processes samples
[startup+223.901 s]
/proc/loadavg: 1.16 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825592/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=100588 CPUtime=223.81
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26476 0 0 0 22364 17 0 0 25 0 1 0 159247645 103002112 23529 1992294400 134512640 135192793 4294956224 18446744073709551615 134551982 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25147 23529 73 166 0 24978 0
Current children cumulated CPU time (s) 223.81
Current children cumulated vsize (KiB) 100588
[startup+227.102 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825144/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=227.01
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26559 0 0 0 22684 17 0 0 25 0 1 0 159247645 103428096 23612 1992294400 134512640 135192793 4294956224 18446744073709551615 134533792 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23612 73 166 0 25082 0
Current children cumulated CPU time (s) 227.01
Current children cumulated vsize (KiB) 101004
[startup+228.701 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825144/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=228.61
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26561 0 0 0 22844 17 0 0 25 0 1 0 159247645 103428096 23614 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23614 73 166 0 25082 0
Current children cumulated CPU time (s) 228.61
Current children cumulated vsize (KiB) 101004
[startup+230.301 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825144/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=230.21
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26566 0 0 0 23004 17 0 0 25 0 1 0 159247645 103428096 23619 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23619 73 166 0 25082 0
Current children cumulated CPU time (s) 230.21
Current children cumulated vsize (KiB) 101004
[startup+230.702 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825144/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=230.61
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26566 0 0 0 23044 17 0 0 25 0 1 0 159247645 103428096 23619 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23619 73 166 0 25082 0
Current children cumulated CPU time (s) 230.61
Current children cumulated vsize (KiB) 101004
[startup+231.102 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825080/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=231.01
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26566 0 0 0 23084 17 0 0 25 0 1 0 159247645 103428096 23619 1992294400 134512640 135192793 4294956224 18446744073709551615 134532618 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23619 73 166 0 25082 0
Current children cumulated CPU time (s) 231.01
Current children cumulated vsize (KiB) 101004
[startup+231.202 s]
/proc/loadavg: 1.15 1.08 1.02 2/65 25786
/proc/meminfo: memFree=1825080/2055920 swapFree=4180232/4192956
[pid=25785] ppid=25783 vsize=101004 CPUtime=231.11
/proc/25785/stat : 25785 (mxc-sat09) R 25783 25785 25665 0 -1 4194304 26566 0 0 0 23094 17 0 0 25 0 1 0 159247645 103428096 23619 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25785/statm: 25251 23619 73 166 0 25082 0
Current children cumulated CPU time (s) 231.11
Current children cumulated vsize (KiB) 101004
Child status: 20
Real time (s): 231.273
CPU time (s): 231.188
CPU user time (s): 230.997
CPU system time (s): 0.19097
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 101004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.997
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26569
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= 392
runsolver used 0.19497 second user time and 0.489925 second system time
The end
Begin job on node1 at 2009-05-03 02:55:30
IDJOB=1775417
IDBENCH=71751
IDSOLVER=613
FILE ID=node1/1775417-1241312129
PBS_JOBID= 9225266
Free space on /tmp= 66544 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT_RACE06/schup-l2s-guid-1-k56.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1775417-1241312129/watcher-1775417-1241312129 -o /tmp/evaluation-result-1775417-1241312129/solver-1775417-1241312129 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1775417-1241312129.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8945850ff5a1fb30f0867a5172da0b2e
RANDOM SEED=958547544
node1.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 : 5931.00
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: 1920216 kB
Buffers: 20248 kB
Cached: 61324 kB
SwapCached: 6284 kB
Active: 31536 kB
Inactive: 57652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1920216 kB
SwapTotal: 4192956 kB
SwapFree: 4180232 kB
Dirty: 6024 kB
Writeback: 0 kB
Mapped: 13464 kB
Slab: 32468 kB
Committed_AS: 728552 kB
PageTables: 1436 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= 66540 MiB
End job on node1 at 2009-05-03 02:59:21