0.05 c # Sugar v0-40 (/tmp/evaluation/223388-1170102815/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/223388-1170102815/unknown.xml [Mon Jan 29 21:33:38 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/223388-1170102815/unknown.xml /tmp/evaluation/223388-1170102815/sugar31023.csp [Mon Jan 29 21:33:38 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223388-1170102815/sugar-v0-40.jar -convert /tmp/evaluation/223388-1170102815/unknown.xml /tmp/evaluation/223388-1170102815/sugar31023.csp
0.18 c BEGIN convert /tmp/evaluation/223388-1170102815/unknown.xml
0.58 c END convert (0.396603 seconds)
0.61 c # CONVERT_XML END : /tmp/evaluation/223388-1170102815/sugar31023.csp 455283 bytes (0 seconds) [Mon Jan 29 21:33:38 2007]
0.61 c # CONVERT_XML CPU : 0.52 = 0 + 0 + 0.46 + 0.06
0.61
0.61 c # GENERATE_SAT BEGIN : /tmp/evaluation/223388-1170102815/sugar31023.bcnf [Mon Jan 29 21:33:38 2007]
0.61 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223388-1170102815/sugar-v0-40.jar -bcnf -map /tmp/evaluation/223388-1170102815/sugar31023.map /tmp/evaluation/223388-1170102815/sugar31023.csp /tmp/evaluation/223388-1170102815/sugar31023.bcnf
0.73 c BEGIN parse /tmp/evaluation/223388-1170102815/sugar31023.csp
4.38 c END parse (3.649939 seconds)
4.38 c BEGIN simplify
4.41 c END simplify (0.030113 seconds)
4.41 c BEGIN encode /tmp/evaluation/223388-1170102815/sugar31023.bcnf
4.65 c END encode (0.243208 seconds)
4.82 c # GENERATE_SAT END : 3278 variables 20058 clauses 1722744 bytes (5 seconds) [Mon Jan 29 21:33:43 2007]
4.82 c # GENERATE_SAT CPU : 4.06 = 0.02 + 0 + 3.9 + 0.14
4.82
4.82 c # SOLVE_SAT BEGIN : /tmp/evaluation/223388-1170102815/sugar31023.bcnf [Mon Jan 29 21:33:43 2007]
4.82 c # CMD : /tmp/evaluation/223388-1170102815/minisat /tmp/evaluation/223388-1170102815/sugar31023.bcnf /tmp/evaluation/223388-1170102815/sugar31023.out
4.87 c ==================================[MINISAT]===================================
4.87 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.87 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
4.87 c ==============================================================================
4.87 c | 0 | 20058 410622 | 6686 0 0 nan | 0.000 % |
4.88 c | 102 | 20058 410622 | 7354 102 1123 11.0 | 0.000 % |
4.90 c | 252 | 20059 410622 | 8090 251 2854 11.4 | 0.000 % |
4.93 c | 477 | 20059 410622 | 8899 476 5651 11.9 | 0.001 % |
4.99 c | 817 | 20059 410622 | 9788 816 9021 11.1 | 0.000 % |
5.05 c | 1323 | 20059 410622 | 10767 1322 15010 11.4 | 0.001 % |
5.15 c | 2082 | 20059 410622 | 11844 2081 22895 11.0 | 0.001 % |
5.32 c | 3221 | 20059 410622 | 13029 3220 34561 10.7 | 0.001 % |
5.57 c | 4932 | 20060 410622 | 14332 4930 53990 11.0 | 0.001 % |
5.99 c | 7496 | 20063 410622 | 15765 7491 85128 11.4 | 0.001 % |
6.67 c | 11341 | 20068 410622 | 17341 11331 136107 12.0 | 0.002 % |
7.89 c | 17108 | 20076 410622 | 19075 17090 216318 12.7 | 0.002 % |
9.45 c | 25757 | 19990 409810 | 20983 7052 108077 15.3 | 0.031 % |
12.58 c | 38734 | 20000 409810 | 23081 20019 337976 16.9 | 0.031 % |
18.33 c | 58195 | 20010 409810 | 25390 15931 299796 18.8 | 0.031 % |
25.85 c | 87388 | 20020 409810 | 27929 19534 323425 16.6 | 0.031 % |
38.65 c | 131177 | 20042 409810 | 30721 19930 341653 17.1 | 0.031 % |
49.93 c ==============================================================================
49.93 c restarts : 17
49.93 c conflicts : 170404 (3817 /sec)
49.93 c decisions : 231059 (5176 /sec)
49.93 c propagations : 31795929 (712239 /sec)
49.93 c conflict literals : 3128837 (45.53 % deleted)
49.93 c Memory used : 8.47 MB
49.93 c CPU time : 44.6422 s
49.93 c
49.93 c SATISFIABLE
49.93 c # SOLVE_SAT END : SATISFIABLE (45 seconds) [Mon Jan 29 21:34:28 2007]
49.93 c # SOLVE_SAT CPU : 44.69 = 0.01 + 0 + 44.65 + 0.03
49.93
49.93 c # RESULT : SATISFIABLE
49.93
49.93 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 21:34:28 2007]
50.14 c BEGIN read SAT output /tmp/evaluation/223388-1170102815/sugar31023.out
50.17 c END read SAT output (0.031547 seconds)
50.17 c BEGIN write solution /tmp/evaluation/223388-1170102815/sugar31023.sol
50.30 c END write solution (0.128083 seconds)
50.35 s SATISFIABLE
50.35 v 7 1 12 11 2 13 13 0 14 7 4 0 13 3 0 6 6 0 8 12 13 2 11 1 8 11 14 7 2 9
50.35 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 21:34:28 2007]
50.35 c # OUTPUT_SOL CPU : 0.28 = 0 + 0 + 0.25 + 0.03
50.35
50.35 c # MAIN END : (50 seconds) [Mon Jan 29 21:34:28 2007]
50.35 c # MAIN CPU : 49.55 = 0.03 + 0 + 49.26 + 0.26
50.35
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-223388-1170102815 -o ROOT/results/node2/solver-223388-1170102815 -C 1800 -M 900 /tmp/evaluation/223388-1170102815/solver /tmp/evaluation/223388-1170102815 /tmp/evaluation/223388-1170102815/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.29 1.96 2.05 5/94 31024
/proc/meminfo: memFree=1369752/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=18540 CPUtime=0
/proc/31023/stat : 31023 (runsolver) R 31021 31023 30670 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 30236717 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31023/statm: 4635 279 244 17 0 2626 0
[startup+0.110357 s]
/proc/loadavg: 1.29 1.96 2.05 5/94 31024
/proc/meminfo: memFree=1369752/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=13724 CPUtime=0.04
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30236717 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31023/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.518406 s]
/proc/loadavg: 1.29 1.96 2.05 5/94 31024
/proc/meminfo: memFree=1369752/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=13724 CPUtime=0.04
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30236717 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31023/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34149 s]
/proc/loadavg: 1.29 1.96 2.05 4/102 31040
/proc/meminfo: memFree=1346392/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=13724 CPUtime=0.56
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1190 6866 0 1 3 1 46 6 16 0 1 0 30236717 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31023/statm: 3431 809 371 3 0 531 0
[pid=31033] ppid=31023 vsize=807064 CPUtime=0.71
/proc/31033/stat : 31033 (java) R 31023 31023 30670 0 -1 0 8208 0 1 0 66 5 0 0 25 0 8 0 30236779 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31033/statm: 201766 7955 1506 14 0 189044 0
[pid=31033/tid=31034] ppid=31023 vsize=807064 CPUtime=0.12
/proc/31033/task/31034/stat : 31034 (java) S 31023 31023 30670 0 -1 64 2124 0 0 0 11 1 0 0 16 0 8 0 30236782 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31035] ppid=31023 vsize=807064 CPUtime=0
/proc/31033/task/31035/stat : 31035 (java) S 31023 31023 30670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30236782 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31036] ppid=31023 vsize=807064 CPUtime=0
/proc/31033/task/31036/stat : 31036 (java) S 31023 31023 30670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30236782 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31037] ppid=31023 vsize=807064 CPUtime=0
/proc/31033/task/31037/stat : 31037 (java) S 31023 31023 30670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30236785 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31038] ppid=31023 vsize=807064 CPUtime=0.06
/proc/31033/task/31038/stat : 31038 (java) S 31023 31023 30670 0 -1 64 298 0 0 0 6 0 0 0 16 0 8 0 30236785 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31039] ppid=31023 vsize=807064 CPUtime=0
/proc/31033/task/31039/stat : 31039 (java) S 31023 31023 30670 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30236785 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31040] ppid=31023 vsize=807064 CPUtime=0
/proc/31033/task/31040/stat : 31040 (java) S 31023 31023 30670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30236786 826433536 7955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788
[startup+3.01067 s]
/proc/loadavg: 1.29 1.96 2.05 3/102 31040
/proc/meminfo: memFree=1333656/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=13724 CPUtime=0.56
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1190 6866 0 1 3 1 46 6 16 0 1 0 30236717 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31023/statm: 3431 809 371 3 0 531 0
[pid=31033] ppid=31023 vsize=807336 CPUtime=2.38
/proc/31033/stat : 31033 (java) R 31023 31023 30670 0 -1 0 13157 0 1 0 229 9 0 0 25 0 8 0 30236779 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745294 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31033/statm: 201834 12864 1506 14 0 189112 0
[pid=31033/tid=31034] ppid=31023 vsize=807336 CPUtime=0.41
/proc/31033/task/31034/stat : 31034 (java) S 31023 31023 30670 0 -1 64 6920 0 0 0 37 4 0 0 16 0 8 0 30236782 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31035] ppid=31023 vsize=807336 CPUtime=0
/proc/31033/task/31035/stat : 31035 (java) S 31023 31023 30670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 30236782 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31036] ppid=31023 vsize=807336 CPUtime=0
/proc/31033/task/31036/stat : 31036 (java) S 31023 31023 30670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30236782 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31037] ppid=31023 vsize=807336 CPUtime=0
/proc/31033/task/31037/stat : 31037 (java) S 31023 31023 30670 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30236785 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31038] ppid=31023 vsize=807336 CPUtime=0.13
/proc/31033/task/31038/stat : 31038 (java) S 31023 31023 30670 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 30236785 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31039] ppid=31023 vsize=807336 CPUtime=0
/proc/31033/task/31039/stat : 31039 (java) S 31023 31023 30670 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30236785 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31033/tid=31040] ppid=31023 vsize=807336 CPUtime=0
/proc/31033/task/31040/stat : 31040 (java) S 31023 31023 30670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30236786 826712064 12864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 821060
[startup+6.30601 s]
/proc/loadavg: 1.34 1.96 2.05 3/95 31041
/proc/meminfo: memFree=1356304/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=15248 CPUtime=4.63
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1688 24771 0 2 6 1 436 20 15 0 1 0 30236717 15613952 1199 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31023/statm: 3812 1199 373 3 0 912 0
[pid=31041] ppid=31023 vsize=4804 CPUtime=1.45
/proc/31041/stat : 31041 (minisat) R 31023 31023 30670 0 -1 0 1275 0 0 0 144 1 0 0 25 0 1 0 30237200 4919296 839 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134518931 0 0 4096 3 0 0 0 17 1 0 0
/proc/31041/statm: 1201 839 52 112 0 1085 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 20052
[startup+12.7867 s]
/proc/loadavg: 1.48 1.98 2.05 3/95 31041
/proc/meminfo: memFree=1356752/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=15248 CPUtime=4.63
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1688 24771 0 2 6 1 436 20 16 0 1 0 30236717 15613952 1199 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31023/statm: 3812 1199 373 3 0 912 0
[pid=31041] ppid=31023 vsize=6380 CPUtime=7.86
/proc/31041/stat : 31041 (minisat) R 31023 31023 30670 0 -1 0 1664 0 0 0 785 1 0 0 25 0 1 0 30237200 6533120 1228 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 1 0 0
/proc/31041/statm: 1595 1228 52 112 0 1479 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 21628
[startup+25.643 s]
/proc/loadavg: 1.66 2.00 2.06 3/95 31041
/proc/meminfo: memFree=1346704/2055920 swapFree=4192812/4192956
[pid=31023] ppid=31021 vsize=15248 CPUtime=4.63
/proc/31023/stat : 31023 (sugar) S 31021 31023 30670 0 -1 4194304 1688 24771 0 2 6 1 436 20 16 0 1 0 30236717 15613952 1199 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31023/statm: 3812 1199 373 3 0 912 0
[pid=31041] ppid=31023 vsize=7180 CPUtime=20.61
/proc/31041/stat : 31041 (minisat) R 31023 31023 30670 0 -1 0 1874 0 0 0 2059 2 0 0 25 0 1 0 30237200 7352320 1438 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/31041/statm: 1795 1438 52 112 0 1679 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 22428
Child status: 0
Real time (s): 50.3604
CPU time (s): 49.6185
CPU user time (s): 49.3255
CPU system time (s): 0.292955
CPU usage (%): 98.5267
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.3255
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32596
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2166
involuntary context switches= 4781
runsolver used 0.054991 s user time and 0.181972 s system time
The end
Begin job on node2 on Mon Jan 29 20:33:35 UTC 2007
IDJOB= 223388
IDBENCH= 5628
IDSOLVER= 86
FILE ID= node2/223388-1170102815
PBS_JOBID= 3689559
Free space on /tmp= 66553 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-30-15-fcd/rand-2-30-15-306-230-fcd-33_ext.xml
COMMAND LINE= /tmp/evaluation/223388-1170102815/solver /tmp/evaluation/223388-1170102815 /tmp/evaluation/223388-1170102815/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-223388-1170102815 -o ROOT/results/node2/solver-223388-1170102815 -C 1800 -M 900 /tmp/evaluation/223388-1170102815/solver /tmp/evaluation/223388-1170102815 /tmp/evaluation/223388-1170102815/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= facbea66720daad51cbafbf952290990
RANDOM SEED= 393913169
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.247
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.247
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: 1367352 kB
Buffers: 9544 kB
Cached: 70492 kB
SwapCached: 0 kB
Active: 606028 kB
Inactive: 29312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1367352 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 888 kB
Writeback: 0 kB
Mapped: 580852 kB
Slab: 37040 kB
Committed_AS: 1313020 kB
PageTables: 3204 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= 66553 MiB
End job on node2 on Mon Jan 29 20:34:28 UTC 2007