0.05 c # Sugar v0-40 (/tmp/evaluation/205273-1170096181/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/205273-1170096181/unknown.xml [Mon Jan 29 19:43:01 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/205273-1170096181/unknown.xml /tmp/evaluation/205273-1170096181/sugar25179.csp [Mon Jan 29 19:43:01 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205273-1170096181/sugar-v0-40.jar -convert /tmp/evaluation/205273-1170096181/unknown.xml /tmp/evaluation/205273-1170096181/sugar25179.csp
0.17 c BEGIN convert /tmp/evaluation/205273-1170096181/unknown.xml
0.54 c END convert (0.372056 seconds)
0.55 c # CONVERT_XML END : /tmp/evaluation/205273-1170096181/sugar25179.csp 452065 bytes (1 seconds) [Mon Jan 29 19:43:02 2007]
0.55 c # CONVERT_XML CPU : 0.48 = 0 + 0 + 0.44 + 0.04
0.55
0.55 c # GENERATE_SAT BEGIN : /tmp/evaluation/205273-1170096181/sugar25179.bcnf [Mon Jan 29 19:43:02 2007]
0.55 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/205273-1170096181/sugar-v0-40.jar -bcnf -map /tmp/evaluation/205273-1170096181/sugar25179.map /tmp/evaluation/205273-1170096181/sugar25179.csp /tmp/evaluation/205273-1170096181/sugar25179.bcnf
0.67 c BEGIN parse /tmp/evaluation/205273-1170096181/sugar25179.csp
4.28 c END parse (3.607897 seconds)
4.28 c BEGIN simplify
4.31 c END simplify (0.029924 seconds)
4.31 c BEGIN encode /tmp/evaluation/205273-1170096181/sugar25179.bcnf
4.57 c END encode (0.256057 seconds)
4.64 c # GENERATE_SAT END : 3254 variables 19919 clauses 1700696 bytes (4 seconds) [Mon Jan 29 19:43:06 2007]
4.64 c # GENERATE_SAT CPU : 4.04 = 0.03 + 0.01 + 3.84 + 0.16
4.64
4.64 c # SOLVE_SAT BEGIN : /tmp/evaluation/205273-1170096181/sugar25179.bcnf [Mon Jan 29 19:43:06 2007]
4.64 c # CMD : /tmp/evaluation/205273-1170096181/minisat /tmp/evaluation/205273-1170096181/sugar25179.bcnf /tmp/evaluation/205273-1170096181/sugar25179.out
4.69 c ==================================[MINISAT]===================================
4.69 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.69 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
4.69 c ==============================================================================
4.69 c | 0 | 19919 405249 | 6639 0 0 nan | 0.000 % |
4.70 c | 100 | 19919 405249 | 7302 100 1726 17.3 | 0.000 % |
4.73 c | 251 | 19919 405249 | 8033 251 3286 13.1 | 0.000 % |
4.75 c | 476 | 19919 405249 | 8836 476 5480 11.5 | 0.001 % |
4.79 c | 817 | 19921 405249 | 9720 815 9006 11.1 | 0.001 % |
4.87 c | 1324 | 19922 405249 | 10692 1321 14716 11.1 | 0.001 % |
4.97 c | 2085 | 19924 405249 | 11761 2080 25064 12.1 | 0.001 % |
5.16 c | 3225 | 19925 405249 | 12937 3219 39850 12.4 | 0.001 % |
5.45 c | 4934 | 19926 405249 | 14231 4927 64781 13.1 | 0.000 % |
5.89 c | 7496 | 19927 405249 | 15654 7488 106287 14.2 | 0.000 % |
6.62 c | 11340 | 19931 405249 | 17219 11328 169491 15.0 | 0.000 % |
7.67 c | 17107 | 19943 405249 | 18941 17083 266341 15.6 | 0.000 % |
9.16 c | 25756 | 19873 404987 | 20836 8545 146573 17.2 | 0.338 % |
11.92 c | 38730 | 19882 404987 | 22919 10987 196782 17.9 | 0.338 % |
15.91 c | 58191 | 19829 404837 | 25211 9912 180900 18.3 | 0.369 % |
23.36 c | 87383 | 19475 403429 | 27732 8611 162122 18.8 | 0.523 % |
34.39 c | 131172 | 19057 398614 | 30506 25351 523330 20.6 | 3.258 % |
37.00 c ==============================================================================
37.00 c restarts : 17
37.00 c conflicts : 139077 (4305 /sec)
37.00 c decisions : 208425 (6452 /sec)
37.00 c propagations : 27318975 (845629 /sec)
37.00 c conflict literals : 2797025 (52.04 % deleted)
37.00 c Memory used : 7.80 MB
37.00 c CPU time : 32.3061 s
37.00 c
37.00 c UNSATISFIABLE
37.00 c # SOLVE_SAT END : UNSATISFIABLE (32 seconds) [Mon Jan 29 19:43:38 2007]
37.00 c # SOLVE_SAT CPU : 32.33 = 0 + 0 + 32.31 + 0.02
37.00
37.00 c # RESULT : UNSATISFIABLE
37.00
37.00 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 19:43:38 2007]
37.00 s UNSATISFIABLE
37.00 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 19:43:38 2007]
37.00 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
37.00
37.00 c # MAIN END : (37 seconds) [Mon Jan 29 19:43:38 2007]
37.00 c # MAIN CPU : 36.85 = 0.03 + 0.01 + 36.59 + 0.22
37.00
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-205273-1170096181 -o ROOT/results/node24/solver-205273-1170096181 -C 1800 -M 900 /tmp/evaluation/205273-1170096181/solver /tmp/evaluation/205273-1170096181 /tmp/evaluation/205273-1170096181/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.53 2.26 2.66 5/89 25180
/proc/meminfo: memFree=1903512/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=12128 CPUtime=0
/proc/25179/stat : 25179 (sugar) R 25177 25179 24516 0 -1 4194304 506 0 0 0 0 0 0 0 20 0 1 0 29572416 12419072 225 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237788133072 0 0 4224 0 0 0 0 17 1 0 0
/proc/25179/statm: 3032 225 170 3 0 132 0
[startup+0.106404 s]
/proc/loadavg: 1.53 2.26 2.66 5/89 25180
/proc/meminfo: memFree=1903512/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=13724 CPUtime=0.03
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29572416 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51845 s]
/proc/loadavg: 1.53 2.26 2.66 5/89 25180
/proc/meminfo: memFree=1903512/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=13724 CPUtime=0.03
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29572416 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33954 s]
/proc/loadavg: 1.53 2.26 2.66 3/97 25196
/proc/meminfo: memFree=1876696/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=13724 CPUtime=0.51
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1190 6863 0 1 3 0 44 4 15 0 1 0 29572416 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3431 809 371 3 0 531 0
[pid=25189] ppid=25179 vsize=807336 CPUtime=0.76
/proc/25189/stat : 25189 (java) R 25179 25179 24516 0 -1 0 8257 0 1 0 70 6 0 0 23 0 8 0 29572472 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 201834 8004 1506 14 0 189112 0
[pid=25189/tid=25190] ppid=25179 vsize=807336 CPUtime=0.11
/proc/25189/task/25190/stat : 25190 (java) S 25179 25179 24516 0 -1 64 2119 0 0 0 11 0 0 0 16 0 8 0 29572475 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25191] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25191/stat : 25191 (java) S 25179 25179 24516 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29572476 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25192/stat : 25192 (java) S 25179 25179 24516 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29572476 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25193/stat : 25193 (java) S 25179 25179 24516 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29572479 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25179 vsize=807336 CPUtime=0.07
/proc/25189/task/25194/stat : 25194 (java) R 25179 25179 24516 0 -1 64 351 0 0 0 7 0 0 0 16 0 8 0 29572479 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153324065 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25195/stat : 25195 (java) S 25179 25179 24516 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29572479 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25196/stat : 25196 (java) S 25179 25179 24516 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29572479 826712064 8004 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821060
[startup+2.97672 s]
/proc/loadavg: 1.53 2.26 2.66 3/97 25196
/proc/meminfo: memFree=1864536/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=13724 CPUtime=0.51
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1190 6863 0 1 3 0 44 4 15 0 1 0 29572416 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3431 809 371 3 0 531 0
[pid=25189] ppid=25179 vsize=807336 CPUtime=2.39
/proc/25189/stat : 25189 (java) R 25179 25179 24516 0 -1 0 14199 0 1 0 229 10 0 0 25 0 8 0 29572472 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25189/statm: 201834 13904 1506 14 0 189112 0
[pid=25189/tid=25190] ppid=25179 vsize=807336 CPUtime=0.43
/proc/25189/task/25190/stat : 25190 (java) S 25179 25179 24516 0 -1 64 7961 0 0 0 40 3 0 0 16 0 8 0 29572475 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25191] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25191/stat : 25191 (java) S 25179 25179 24516 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29572476 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25192] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25192/stat : 25192 (java) S 25179 25179 24516 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29572476 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25193] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25193/stat : 25193 (java) S 25179 25179 24516 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29572479 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25194] ppid=25179 vsize=807336 CPUtime=0.12
/proc/25189/task/25194/stat : 25194 (java) S 25179 25179 24516 0 -1 64 399 0 0 0 12 0 0 0 16 0 8 0 29572479 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25195] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25195/stat : 25195 (java) S 25179 25179 24516 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29572479 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25189/tid=25196] ppid=25179 vsize=807336 CPUtime=0
/proc/25189/task/25196/stat : 25196 (java) S 25179 25179 24516 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29572479 826712064 13904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821060
[startup+6.27006 s]
/proc/loadavg: 1.56 2.25 2.66 3/90 25197
/proc/meminfo: memFree=1893136/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=15248 CPUtime=4.55
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1684 26958 0 2 6 1 428 20 15 0 1 0 29572416 15613952 1196 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3812 1196 373 3 0 912 0
[pid=25197] ppid=25179 vsize=4836 CPUtime=1.59
/proc/25197/stat : 25197 (minisat) R 25179 25179 24516 0 -1 0 1296 0 0 0 159 0 0 0 25 0 1 0 29572881 4952064 865 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527286 0 0 4096 3 0 0 0 17 0 0 0
/proc/25197/statm: 1209 865 52 112 0 1093 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 20084
[startup+12.7328 s]
/proc/loadavg: 1.52 2.23 2.65 2/79 25211
/proc/meminfo: memFree=1908192/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=15248 CPUtime=4.55
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1684 26958 0 2 6 1 428 20 16 0 1 0 29572416 15613952 1196 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3812 1196 373 3 0 912 0
[pid=25197] ppid=25179 vsize=6432 CPUtime=8.05
/proc/25197/stat : 25197 (minisat) R 25179 25179 24516 0 -1 0 1677 0 0 0 804 1 0 0 25 0 1 0 29572881 6586368 1246 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134518897 0 0 4096 3 0 0 0 17 0 0 0
/proc/25197/statm: 1608 1246 52 112 0 1492 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 21680
[startup+25.5481 s]
/proc/loadavg: 1.40 2.17 2.62 2/79 25211
/proc/meminfo: memFree=1907240/2055920 swapFree=4145204/4192956
[pid=25179] ppid=25177 vsize=15248 CPUtime=4.55
/proc/25179/stat : 25179 (sugar) S 25177 25179 24516 0 -1 4194304 1684 26958 0 2 6 1 428 20 16 0 1 0 29572416 15613952 1196 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25179/statm: 3812 1196 373 3 0 912 0
[pid=25197] ppid=25179 vsize=7484 CPUtime=20.86
/proc/25197/stat : 25197 (minisat) R 25179 25179 24516 0 -1 0 1954 0 0 0 2085 1 0 0 25 0 1 0 29572881 7663616 1523 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/25197/statm: 1871 1523 52 112 0 1755 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 22732
Child status: 0
Real time (s): 37.0101
CPU time (s): 36.8964
CPU user time (s): 36.6584
CPU system time (s): 0.237963
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6584
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30804
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1862
involuntary context switches= 1890
runsolver used 0.048992 s user time and 0.098984 s system time
The end
Begin job on node24 on Mon Jan 29 18:43:01 UTC 2007
IDJOB= 205273
IDBENCH= 4115
IDSOLVER= 86
FILE ID= node24/205273-1170096181
PBS_JOBID= 3689653
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15/rand-2-30-15-306-230-49_ext.xml
COMMAND LINE= /tmp/evaluation/205273-1170096181/solver /tmp/evaluation/205273-1170096181 /tmp/evaluation/205273-1170096181/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-205273-1170096181 -o ROOT/results/node24/solver-205273-1170096181 -C 1800 -M 900 /tmp/evaluation/205273-1170096181/solver /tmp/evaluation/205273-1170096181 /tmp/evaluation/205273-1170096181/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 7d4d0712f747674d4039c362aac30b40
RANDOM SEED= 36300310
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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: 2055920 kB
MemFree: 1904248 kB
Buffers: 29152 kB
Cached: 51064 kB
SwapCached: 4580 kB
Active: 56496 kB
Inactive: 46344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1904248 kB
SwapTotal: 4192956 kB
SwapFree: 4145204 kB
Dirty: 3988 kB
Writeback: 0 kB
Mapped: 30156 kB
Slab: 33748 kB
Committed_AS: 299496 kB
PageTables: 2132 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= 66564 MiB
End job on node24 on Mon Jan 29 18:43:39 UTC 2007