0.00/0.00 c Parsing...
0.00/0.75 c ==============================================================================
0.00/0.75 c | | ORIGINAL | LEARNT | |
0.00/0.75 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.75 c ==============================================================================
0.00/0.75 c | 0 | 936867 2518386 | 281060 0 0 nan | 0.000 % |
16.28/16.32 c | 0 | 661069 3356557 | -- 0 -- -- | -- | -275798/838171
16.28/16.32 c ==============================================================================
16.28/16.32 c Result : #vars: 11635 #clauses: 661069 #literals: 3356557
16.28/16.32 c CPU time: 15.9776 s
16.28/16.32 c ==============================================================================
17.28/17.34 c WARNING: for repeatability, setting FPU to use double precision
17.28/17.34 c Number of variables : 11635
17.28/17.34 c Number of clauses : 661069
17.76/17.82 c Parsing time: 0.42 s
74.43/74.51 c restarts : 169
74.43/74.51 c conflicts : 87933 (1541 /sec)
74.43/74.51 c decisions : 174979 (1.72 % random) (3067 /sec)
74.43/74.51 c propagations : 63959385 (1120908 /sec)
74.43/74.51 c conflict literals : 1687853 (37.12 % deleted)
74.43/74.51 c Memory used : 38.55 MB
74.43/74.51 c CPU time : 57.0603 s
74.43/74.51 UNSATISFIABLE
74.43/74.51
74.43/74.51 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837121-1242857040/watcher-1837121-1242857040 -o /tmp/evaluation-result-1837121-1242857040/solver-1837121-1242857040 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837121-1242857040.cnf -random-seed=1193390495
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.28 0.06 0.02 3/64 18311
/proc/meminfo: memFree=1775736/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
[startup+0.0370559 s]
/proc/loadavg: 0.28 0.06 0.02 3/64 18311
/proc/meminfo: memFree=1775736/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101069 s]
/proc/loadavg: 0.28 0.06 0.02 3/64 18311
/proc/meminfo: memFree=1775736/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301106 s]
/proc/loadavg: 0.28 0.06 0.02 3/64 18311
/proc/meminfo: memFree=1775736/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701185 s]
/proc/loadavg: 0.28 0.06 0.02 3/64 18311
/proc/meminfo: memFree=1775736/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50134 s]
/proc/loadavg: 0.28 0.06 0.02 2/66 18316
/proc/meminfo: memFree=1685096/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
[pid=18315] ppid=18311 vsize=105040 CPUtime=1.49
/proc/18315/stat : 18315 (SatELite_releas) R 18311 18311 18241 0 -1 4194304 23146 0 0 0 134 15 0 0 25 0 1 0 313738449 107560960 22769 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/18315/statm: 26260 22769 76 173 0 26085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110396
[startup+3.10165 s]
/proc/loadavg: 0.28 0.06 0.02 2/66 18316
/proc/meminfo: memFree=1678504/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
[pid=18315] ppid=18311 vsize=108768 CPUtime=3.09
/proc/18315/stat : 18315 (SatELite_releas) R 18311 18311 18241 0 -1 4194304 24075 0 0 0 291 18 0 0 25 0 1 0 313738449 111378432 23698 1992294400 134512640 135223648 4294956128 18446744073709551615 134597809 0 0 4096 3 0 0 0 17 1 0 0
/proc/18315/statm: 27192 23698 76 173 0 27017 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114124
[startup+6.30128 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 18316
/proc/meminfo: memFree=1663720/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
[pid=18315] ppid=18311 vsize=114368 CPUtime=6.29
/proc/18315/stat : 18315 (SatELite_releas) R 18311 18311 18241 0 -1 4194304 25397 0 0 0 605 24 0 0 25 0 1 0 313738449 117112832 25020 1992294400 134512640 135223648 4294956128 18446744073709551615 134548984 0 0 4096 3 0 0 0 17 1 0 0
/proc/18315/statm: 28592 25020 76 173 0 28417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 119724
[startup+12.7015 s]
/proc/loadavg: 0.39 0.09 0.03 2/66 18316
/proc/meminfo: memFree=1632040/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=0
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 309 250 0 0 0 0 0 0 18 0 1 0 313738448 5484544 237 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18311/statm: 1339 237 197 169 0 50 0
[pid=18315] ppid=18311 vsize=140628 CPUtime=12.68
/proc/18315/stat : 18315 (SatELite_releas) R 18311 18311 18241 0 -1 4194304 30507 0 0 0 1236 32 0 0 25 0 1 0 313738449 144003072 29832 1992294400 134512640 135223648 4294956128 18446744073709551615 134610222 0 0 4096 3 0 0 0 17 1 0 0
/proc/18315/statm: 35157 29832 76 173 0 34982 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 145984
[startup+25.501 s]
/proc/loadavg: 0.53 0.14 0.04 2/66 18317
/proc/meminfo: memFree=1694760/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=37964 CPUtime=8.15
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9344 0 0 0 809 6 0 0 25 0 1 0 313740182 38875136 9330 1992294400 134512640 135212243 4294956240 18446744073709551615 134526248 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9491 9330 75 170 0 9318 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43320
[startup+51.101 s]
/proc/loadavg: 0.69 0.21 0.07 2/66 18317
/proc/meminfo: memFree=1693032/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=38756 CPUtime=33.72
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9541 0 0 0 3366 6 0 0 25 0 1 0 313740182 39686144 9527 1992294400 134512640 135212243 4294956240 18446744073709551615 134526464 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9689 9527 75 170 0 9516 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 44112
Solver just ended. Dumping a history of the last processes samples
[startup+63.9016 s]
/proc/loadavg: 0.76 0.24 0.08 2/66 18317
/proc/meminfo: memFree=1693864/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39072 CPUtime=46.51
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9610 0 0 0 4645 6 0 0 25 0 1 0 313740182 40009728 9596 1992294400 134512640 135212243 4294956240 18446744073709551615 134526248 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9768 9596 75 170 0 9595 0
Current children cumulated CPU time (s) 63.83
Current children cumulated vsize (KiB) 44428
[startup+70.3018 s]
/proc/loadavg: 0.77 0.26 0.09 2/66 18317
/proc/meminfo: memFree=1693608/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39336 CPUtime=52.91
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9679 0 0 0 5285 6 0 0 25 0 1 0 313740182 40280064 9665 1992294400 134512640 135212243 4294956240 18446744073709551615 134526248 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9834 9665 75 170 0 9661 0
Current children cumulated CPU time (s) 70.23
Current children cumulated vsize (KiB) 44692
[startup+71.9011 s]
/proc/loadavg: 0.77 0.26 0.09 2/66 18317
/proc/meminfo: memFree=1693608/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39472 CPUtime=54.51
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9695 0 0 0 5445 6 0 0 25 0 1 0 313740182 40419328 9681 1992294400 134512640 135212243 4294956240 18446744073709551615 134526248 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9868 9681 75 170 0 9695 0
Current children cumulated CPU time (s) 71.83
Current children cumulated vsize (KiB) 44828
[startup+73.5024 s]
/proc/loadavg: 0.77 0.26 0.09 2/66 18317
/proc/meminfo: memFree=1693544/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39472 CPUtime=56.11
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9702 0 0 0 5605 6 0 0 25 0 1 0 313740182 40419328 9688 1992294400 134512640 135212243 4294956240 18446744073709551615 134526236 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9868 9688 75 170 0 9695 0
Current children cumulated CPU time (s) 73.43
Current children cumulated vsize (KiB) 44828
[startup+74.3016 s]
/proc/loadavg: 0.79 0.27 0.09 2/66 18317
/proc/meminfo: memFree=1693544/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39472 CPUtime=56.91
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9702 0 0 0 5685 6 0 0 25 0 1 0 313740182 40419328 9688 1992294400 134512640 135212243 4294956240 18446744073709551615 134538404 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9868 9688 75 170 0 9695 0
Current children cumulated CPU time (s) 74.23
Current children cumulated vsize (KiB) 44828
[startup+74.5016 s]
/proc/loadavg: 0.79 0.27 0.09 2/66 18317
/proc/meminfo: memFree=1693544/2055924 swapFree=4098632/4192956
[pid=18311] ppid=18309 vsize=5356 CPUtime=17.32
/proc/18311/stat : 18311 (SatELiteGTI) S 18309 18311 18241 0 -1 4194304 333 32828 0 0 0 0 1691 41 16 0 1 0 313738448 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18311/statm: 1339 239 197 169 0 50 0
[pid=18317] ppid=18311 vsize=39472 CPUtime=57.11
/proc/18317/stat : 18317 (minisat_static) R 18311 18311 18241 0 -1 4194304 9703 0 0 0 5705 6 0 0 25 0 1 0 313740182 40419328 9689 1992294400 134512640 135212243 4294956240 18446744073709551615 134526248 0 0 4096 3 0 0 0 17 1 0 0
/proc/18317/statm: 9868 9689 75 170 0 9695 0
Current children cumulated CPU time (s) 74.43
Current children cumulated vsize (KiB) 44828
Child status: 20
Real time (s): 74.5462
CPU time (s): 74.4997
CPU user time (s): 73.9778
CPU system time (s): 0.52192
CPU usage (%): 99.9376
Max. virtual memory (cumulated for all children) (KiB): 145984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.9778
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43033
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= 47
involuntary context switches= 221
runsolver used 0.084987 second user time and 0.19197 second system time
The end
Begin job on node6 at 2009-05-21 00:04:01
IDJOB=1837121
IDBENCH=20430
IDSOLVER=675
FILE ID=node6/1837121-1242857040
PBS_JOBID= 9328508
Free space on /tmp= 66284 MiB
SOLVER NAME= MiniSAT 09z 2009-03-22
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -random-seed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837121-1242857040/watcher-1837121-1242857040 -o /tmp/evaluation-result-1837121-1242857040/solver-1837121-1242857040 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837121-1242857040.cnf -random-seed=1193390495
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8c6ad18be635cee0d986377c4d06ab11
RANDOM SEED=1193390495
node6.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.281
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.281
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: 1776280 kB
Buffers: 31872 kB
Cached: 123856 kB
SwapCached: 88392 kB
Active: 143316 kB
Inactive: 102272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1776280 kB
SwapTotal: 4192956 kB
SwapFree: 4098632 kB
Dirty: 18868 kB
Writeback: 0 kB
Mapped: 13868 kB
Slab: 20128 kB
Committed_AS: 1159516 kB
PageTables: 1456 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= 66280 MiB
End job on node6 at 2009-05-21 00:05:16