0.05 c # Sugar v0-40 (/tmp/evaluation/220221-1170102556/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/220221-1170102556/unknown.xml [Mon Jan 29 21:29:17 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/220221-1170102556/unknown.xml /tmp/evaluation/220221-1170102556/sugar31587.csp [Mon Jan 29 21:29:17 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/220221-1170102556/sugar-v0-40.jar -convert /tmp/evaluation/220221-1170102556/unknown.xml /tmp/evaluation/220221-1170102556/sugar31587.csp
0.17 c BEGIN convert /tmp/evaluation/220221-1170102556/unknown.xml
1.13 c END convert (0.959729 seconds)
1.18 c # CONVERT_XML END : /tmp/evaluation/220221-1170102556/sugar31587.csp 3352098 bytes (1 seconds) [Mon Jan 29 21:29:18 2007]
1.18 c # CONVERT_XML CPU : 1.07 = 0 + 0.01 + 0.98 + 0.08
1.18
1.18 c # GENERATE_SAT BEGIN : /tmp/evaluation/220221-1170102556/sugar31587.bcnf [Mon Jan 29 21:29:18 2007]
1.18 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/220221-1170102556/sugar-v0-40.jar -bcnf -map /tmp/evaluation/220221-1170102556/sugar31587.map /tmp/evaluation/220221-1170102556/sugar31587.csp /tmp/evaluation/220221-1170102556/sugar31587.bcnf
1.32 c BEGIN parse /tmp/evaluation/220221-1170102556/sugar31587.csp
22.68 c END parse (21.355279 seconds)
22.68 c BEGIN simplify
22.94 c END simplify (0.263721 seconds)
22.94 c BEGIN encode /tmp/evaluation/220221-1170102556/sugar31587.bcnf
24.90 c END encode (1.961878 seconds)
26.10 c # GENERATE_SAT END : 101942 variables 282884 clauses 13918976 bytes (25 seconds) [Mon Jan 29 21:29:43 2007]
26.10 c # GENERATE_SAT CPU : 24.58 = 0.98 + 0.09 + 22.94 + 0.57
26.10
26.10 c # SOLVE_SAT BEGIN : /tmp/evaluation/220221-1170102556/sugar31587.bcnf [Mon Jan 29 21:29:43 2007]
26.10 c # CMD : /tmp/evaluation/220221-1170102556/minisat /tmp/evaluation/220221-1170102556/sugar31587.bcnf /tmp/evaluation/220221-1170102556/sugar31587.out
26.54 c ==================================[MINISAT]===================================
26.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
26.54 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
26.54 c ==============================================================================
26.54 c | 0 | 282884 3196848 | 94294 0 0 nan | 0.000 % |
26.65 c | 100 | 282887 3196848 | 103723 97 1395 14.4 | 0.000 % |
26.73 c ==============================================================================
26.73 c restarts : 2
26.73 c conflicts : 195 (362 /sec)
26.73 c decisions : 3420 (6346 /sec)
26.73 c propagations : 290572 (539177 /sec)
26.73 c conflict literals : 2125 (28.16 % deleted)
26.73 c Memory used : 28.08 MB
26.73 c CPU time : 0.538918 s
26.73 c
26.73 c UNSATISFIABLE
26.74 c # SOLVE_SAT END : UNSATISFIABLE (0 seconds) [Mon Jan 29 21:29:43 2007]
26.74 c # SOLVE_SAT CPU : 0.629999999999999 = 0 + 0.01 + 0.539999999999999 + 0.08
26.74
26.74 c # RESULT : UNSATISFIABLE
26.74
26.74 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 21:29:43 2007]
26.74 s UNSATISFIABLE
26.74 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 21:29:43 2007]
26.74 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
26.74
26.74 c # MAIN END : (26 seconds) [Mon Jan 29 21:29:43 2007]
26.74 c # MAIN CPU : 26.29 = 0.99 + 0.11 + 24.46 + 0.73
26.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-220221-1170102556 -o ROOT/results/node10/solver-220221-1170102556 -C 1800 -M 900 /tmp/evaluation/220221-1170102556/solver /tmp/evaluation/220221-1170102556 /tmp/evaluation/220221-1170102556/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
/proc/loadavg: 2.23 2.63 2.85 5/94 31588
/proc/meminfo: memFree=1275272/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=18540 CPUtime=0
/proc/31587/stat : 31587 (runsolver) R 31585 31522 31522 0 -1 4194368 2 0 0 0 0 0 0 0 19 0 1 0 30210650 18984960 277 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 214919867074 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31587/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.10817 s]
/proc/loadavg: 2.23 2.63 2.85 5/94 31588
/proc/meminfo: memFree=1275272/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=0.03
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 30210650 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516225 s]
/proc/loadavg: 2.23 2.63 2.85 5/94 31588
/proc/meminfo: memFree=1275272/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=0.03
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30210650 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33838 s]
/proc/loadavg: 2.23 2.63 2.85 4/102 31596
/proc/meminfo: memFree=1245128/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=1.1
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1190 8164 0 1 3 1 98 8 16 0 1 0 30210650 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13724
[startup+2.98255 s]
/proc/loadavg: 2.23 2.63 2.85 3/102 31604
/proc/meminfo: memFree=1232392/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=1.1
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1190 8164 0 1 3 1 98 8 16 0 1 0 30210650 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 809 371 3 0 531 0
[pid=31597] ppid=31587 vsize=807064 CPUtime=1.75
/proc/31597/stat : 31597 (java) R 31587 31587 31522 0 -1 0 12268 0 1 0 168 7 0 0 25 0 8 0 30210769 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31597/statm: 201766 12006 1494 14 0 189044 0
[pid=31597/tid=31598] ppid=31587 vsize=807064 CPUtime=0.43
/proc/31597/task/31598/stat : 31598 (java) S 31587 31587 31522 0 -1 64 6204 0 0 0 40 3 0 0 16 0 8 0 30210772 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31599] ppid=31587 vsize=807064 CPUtime=0
/proc/31597/task/31599/stat : 31599 (java) S 31587 31587 31522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30210772 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31600] ppid=31587 vsize=807064 CPUtime=0
/proc/31597/task/31600/stat : 31600 (java) S 31587 31587 31522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30210772 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31601] ppid=31587 vsize=807064 CPUtime=0
/proc/31597/task/31601/stat : 31601 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30210778 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31602] ppid=31587 vsize=807064 CPUtime=0.05
/proc/31597/task/31602/stat : 31602 (java) S 31587 31587 31522 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30210778 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31603] ppid=31587 vsize=807064 CPUtime=0
/proc/31597/task/31603/stat : 31603 (java) S 31587 31587 31522 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30210778 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31604] ppid=31587 vsize=807064 CPUtime=0
/proc/31597/task/31604/stat : 31604 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30210778 826433536 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 820788
[startup+6.282 s]
/proc/loadavg: 2.21 2.61 2.85 3/102 31604
/proc/meminfo: memFree=1188296/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=1.1
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1190 8164 0 1 3 1 98 8 16 0 1 0 30210650 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 809 371 3 0 531 0
[pid=31597] ppid=31587 vsize=807340 CPUtime=5.01
/proc/31597/stat : 31597 (java) R 31587 31587 31522 0 -1 0 23741 0 1 0 486 15 0 0 25 0 8 0 30210769 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31597/statm: 201835 23445 1506 14 0 189113 0
[pid=31597/tid=31598] ppid=31587 vsize=807340 CPUtime=1.31
/proc/31597/task/31598/stat : 31598 (java) S 31587 31587 31522 0 -1 64 17507 0 0 0 121 10 0 0 16 0 8 0 30210772 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31599] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31599/stat : 31599 (java) S 31587 31587 31522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30210772 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31600] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31600/stat : 31600 (java) S 31587 31587 31522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30210772 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31601] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31601/stat : 31601 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30210778 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31602] ppid=31587 vsize=807340 CPUtime=0.15
/proc/31597/task/31602/stat : 31602 (java) S 31587 31587 31522 0 -1 64 404 0 0 0 14 1 0 0 16 0 8 0 30210778 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31603] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31603/stat : 31603 (java) S 31587 31587 31522 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30210778 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31604] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31604/stat : 31604 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30210778 826716160 23445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821064
[startup+12.7329 s]
/proc/loadavg: 2.28 2.62 2.85 3/102 31604
/proc/meminfo: memFree=1115784/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=13724 CPUtime=1.1
/proc/31587/stat : 31587 (sugar) S 31585 31587 31522 0 -1 4194304 1190 8164 0 1 3 1 98 8 16 0 1 0 30210650 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31587/statm: 3431 809 371 3 0 531 0
[pid=31597] ppid=31587 vsize=807340 CPUtime=11.4
/proc/31597/stat : 31597 (java) R 31587 31587 31522 0 -1 0 40946 0 1 0 1113 27 0 0 25 0 8 0 30210769 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31597/statm: 201835 40538 1506 14 0 189113 0
[pid=31597/tid=31598] ppid=31587 vsize=807340 CPUtime=2.5
/proc/31597/task/31598/stat : 31598 (java) S 31587 31587 31522 0 -1 64 34599 0 0 0 229 21 0 0 16 0 8 0 30210772 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31599] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31599/stat : 31599 (java) S 31587 31587 31522 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30210772 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31600] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31600/stat : 31600 (java) S 31587 31587 31522 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30210772 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31597/tid=31601] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31601/stat : 31601 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 30210778 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31602] ppid=31587 vsize=807340 CPUtime=0.15
/proc/31597/task/31602/stat : 31602 (java) S 31587 31587 31522 0 -1 64 405 0 0 0 14 1 0 0 17 0 8 0 30210778 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31603] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31603/stat : 31603 (java) S 31587 31587 31522 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 30210778 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31597/tid=31604] ppid=31587 vsize=807340 CPUtime=0
/proc/31597/task/31604/stat : 31604 (java) S 31587 31587 31522 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30210778 826716160 40538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 821064
[startup+25.5736 s]
/proc/loadavg: 2.36 2.62 2.84 3/94 31604
/proc/meminfo: memFree=1249992/2055920 swapFree=4192812/4192956
[pid=31587] ppid=31585 vsize=42756 CPUtime=25.16
/proc/31587/stat : 31587 (sugar) R 31585 31587 31522 0 -1 4194304 8351 79153 0 2 53 6 2392 65 22 0 1 0 30210650 43782144 7824 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214937707009 0 0 4224 16386 0 0 0 17 1 0 0
/proc/31587/statm: 10689 7824 371 3 0 7789 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 42756
Child status: 0
Real time (s): 26.7685
CPU time (s): 26.366
CPU user time (s): 25.4881
CPU system time (s): 0.877866
CPU usage (%): 98.4963
Max. virtual memory (cumulated for all children) (KiB): 823068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4881
system time used= 0.877866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101761
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= 3680
involuntary context switches= 4819
runsolver used 0.034994 s user time and 0.101984 s system time
The end
Begin job on node10 on Mon Jan 29 20:29:16 UTC 2007
IDJOB= 220221
IDBENCH= 5348
IDSOLVER= 86
FILE ID= node10/220221-1170102556
PBS_JOBID= 3689549
Free space on /tmp= 66552 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-90/ehi-90-315-78_ext.xml
COMMAND LINE= /tmp/evaluation/220221-1170102556/solver /tmp/evaluation/220221-1170102556 /tmp/evaluation/220221-1170102556/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-220221-1170102556 -o ROOT/results/node10/solver-220221-1170102556 -C 1800 -M 900 /tmp/evaluation/220221-1170102556/solver /tmp/evaluation/220221-1170102556 /tmp/evaluation/220221-1170102556/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 03e71ecf107e977d828bef92cbbc4514
RANDOM SEED= 555146004
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: 1275752 kB
Buffers: 31756 kB
Cached: 51952 kB
SwapCached: 0 kB
Active: 680384 kB
Inactive: 45276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1275752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1300 kB
Writeback: 0 kB
Mapped: 667516 kB
Slab: 38020 kB
Committed_AS: 1279756 kB
PageTables: 3384 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= 66552 MiB
End job on node10 on Mon Jan 29 20:29:43 UTC 2007