0.05 c # Sugar v0-40 (/tmp/evaluation/200725-1170094578/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/200725-1170094578/unknown.xml [Mon Jan 29 19:16:18 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/200725-1170094578/unknown.xml /tmp/evaluation/200725-1170094578/sugar15193.csp [Mon Jan 29 19:16:18 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200725-1170094578/sugar-v0-40.jar -convert /tmp/evaluation/200725-1170094578/unknown.xml /tmp/evaluation/200725-1170094578/sugar15193.csp
0.16 c BEGIN convert /tmp/evaluation/200725-1170094578/unknown.xml
0.60 c END convert (0.435593 seconds)
0.65 c # CONVERT_XML END : /tmp/evaluation/200725-1170094578/sugar15193.csp 458550 bytes (0 seconds) [Mon Jan 29 19:16:18 2007]
0.65 c # CONVERT_XML CPU : 0.54 = 0 + 0 + 0.49 + 0.05
0.65
0.65 c # GENERATE_SAT BEGIN : /tmp/evaluation/200725-1170094578/sugar15193.bcnf [Mon Jan 29 19:16:18 2007]
0.65 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200725-1170094578/sugar-v0-40.jar -bcnf -map /tmp/evaluation/200725-1170094578/sugar15193.map /tmp/evaluation/200725-1170094578/sugar15193.csp /tmp/evaluation/200725-1170094578/sugar15193.bcnf
0.77 c BEGIN parse /tmp/evaluation/200725-1170094578/sugar15193.csp
6.39 c END parse (5.619172 seconds)
6.39 c BEGIN simplify
6.47 c END simplify (0.080053 seconds)
6.47 c BEGIN encode /tmp/evaluation/200725-1170094578/sugar15193.bcnf
7.04 c END encode (0.57506 seconds)
7.31 c # GENERATE_SAT END : 22505 variables 55181 clauses 5599396 bytes (7 seconds) [Mon Jan 29 19:16:25 2007]
7.31 c # GENERATE_SAT CPU : 0.2 = 0.19 + 0.01 + 0 + 0
7.31
7.31 c # SOLVE_SAT BEGIN : /tmp/evaluation/200725-1170094578/sugar15193.bcnf [Mon Jan 29 19:16:25 2007]
7.31 c # CMD : /tmp/evaluation/200725-1170094578/minisat /tmp/evaluation/200725-1170094578/sugar15193.bcnf /tmp/evaluation/200725-1170094578/sugar15193.out
7.44 c ==================================[MINISAT]===================================
7.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.44 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.44 c ==============================================================================
7.44 c | 0 | 55181 1344660 | 18393 0 0 nan | 0.000 % |
7.46 c | 101 | 55189 1344660 | 20232 93 1450 15.6 | 0.000 % |
7.48 c | 251 | 55190 1344660 | 22255 242 3301 13.6 | 0.000 % |
7.51 c | 477 | 55192 1344660 | 24481 466 6641 14.3 | 0.000 % |
7.56 c | 815 | 55193 1344660 | 26929 803 12787 15.9 | 0.000 % |
7.65 c | 1321 | 55206 1344660 | 29622 1296 21907 16.9 | 0.000 % |
7.76 c | 2081 | 55212 1344660 | 32584 2046 36231 17.7 | 0.009 % |
7.92 c | 3220 | 55233 1344660 | 35842 3161 55586 17.6 | 0.093 % |
8.19 c | 4928 | 55291 1344660 | 39427 4808 87435 18.2 | 0.107 % |
8.75 c | 7490 | 54588 1333359 | 43369 6517 120080 18.4 | 2.360 % |
9.82 c | 11335 | 53429 1314613 | 47706 8888 166812 18.8 | 7.123 % |
9.87 c ==============================================================================
9.87 c restarts : 11
9.87 c conflicts : 11544 (4669 /sec)
9.87 c decisions : 981547 (396966 /sec)
9.87 c propagations : 4297371 (1737980 /sec)
9.87 c conflict literals : 194917 (49.59 % deleted)
9.87 c Memory used : 11.02 MB
9.87 c CPU time : 2.47262 s
9.87 c
9.87 c SATISFIABLE
9.93 c # SOLVE_SAT END : SATISFIABLE (3 seconds) [Mon Jan 29 19:16:28 2007]
9.93 c # SOLVE_SAT CPU : 2.54 = 0 + 0.01 + 2.49 + 0.04
9.93
9.93 c # RESULT : SATISFIABLE
9.93
9.93 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 19:16:28 2007]
10.05 c BEGIN read SAT output /tmp/evaluation/200725-1170094578/sugar15193.out
10.09 c END read SAT output (0.047078 seconds)
10.09 c BEGIN write solution /tmp/evaluation/200725-1170094578/sugar15193.sol
10.34 c END write solution (0.244255 seconds)
10.39 s SATISFIABLE
10.39 v 5 9 9 4 0 6 3 0 9 3 8 8 0 7 6 8 4 8 6 1 9 3 6 7 4 0 3 7 0 9 5 5 0 1 7 8 2 6 2 4 2 9 5 2 0 1 8 6 4 3 8 8 7 2 7 6 3 8 6 3 9 2 5 6 9 3 8 6 3 4 7 3 9 7 2 1 8 2 9 0 9 5 2 9 9 2 9 1 0 4 0 1 1 4 1 8 6 2 9 9 9 3 9 5 8
10.39 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 19:16:28 2007]
10.39 c # OUTPUT_SOL CPU : 0.43 = 0.02 + 0 + 0.35 + 0.06
10.39
10.39 c # MAIN END : (10 seconds) [Mon Jan 29 19:16:28 2007]
10.39 c # MAIN CPU : 3.71 = 0.21 + 0.02 + 3.33 + 0.15
10.39
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-200725-1170094578 -o ROOT/results/node55/solver-200725-1170094578 -C 1800 -M 900 /tmp/evaluation/200725-1170094578/solver /tmp/evaluation/200725-1170094578 /tmp/evaluation/200725-1170094578/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: 2.28 3.18 4.50 3/81 15194
/proc/meminfo: memFree=1822072/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=5352 CPUtime=0
/proc/15193/stat : 15193 (solver) R 15191 15193 14506 0 -1 4194304 235 0 0 0 0 0 0 0 20 0 1 0 29414228 5480448 202 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 248761778258 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15193/statm: 1338 202 168 169 0 49 0
[startup+0.104082 s]
/proc/loadavg: 2.28 3.18 4.50 3/81 15194
/proc/meminfo: memFree=1822072/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=13724 CPUtime=0.04
/proc/15193/stat : 15193 (sugar) S 15191 15193 14506 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29414228 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15193/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51212 s]
/proc/loadavg: 2.28 3.18 4.50 3/81 15194
/proc/meminfo: memFree=1822072/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=13724 CPUtime=0.04
/proc/15193/stat : 15193 (sugar) S 15191 15193 14506 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29414228 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15193/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3352 s]
/proc/loadavg: 2.28 3.18 4.50 4/83 15211
/proc/meminfo: memFree=1846064/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=13724 CPUtime=0.58
/proc/15193/stat : 15193 (sugar) S 15191 15193 14506 0 -1 4194304 1190 7082 0 1 3 1 49 5 15 0 1 0 29414228 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15193/statm: 3431 809 371 3 0 531 0
[pid=15204] ppid=15193 vsize=807064 CPUtime=0.66
/proc/15204/stat : 15204 (java) R 15193 15193 14506 0 -1 0 8308 0 1 0 63 3 0 0 17 0 8 0 29414294 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560761 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15204/statm: 201766 8055 1494 14 0 189044 0
[pid=15204/tid=15205] ppid=15193 vsize=807064 CPUtime=0.11
/proc/15204/task/15205/stat : 15205 (java) S 15193 15193 14506 0 -1 64 2254 0 0 0 11 0 0 0 16 0 8 0 29414297 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15206] ppid=15193 vsize=807064 CPUtime=0
/proc/15204/task/15206/stat : 15206 (java) S 15193 15193 14506 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29414298 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15207] ppid=15193 vsize=807064 CPUtime=0
/proc/15204/task/15207/stat : 15207 (java) S 15193 15193 14506 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29414298 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15208] ppid=15193 vsize=807064 CPUtime=0
/proc/15204/task/15208/stat : 15208 (java) S 15193 15193 14506 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29414301 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15209] ppid=15193 vsize=807064 CPUtime=0.05
/proc/15204/task/15209/stat : 15209 (java) R 15193 15193 14506 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29414301 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15210] ppid=15193 vsize=807064 CPUtime=0
/proc/15204/task/15210/stat : 15210 (java) S 15193 15193 14506 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29414301 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15211] ppid=15193 vsize=807064 CPUtime=0
/proc/15204/task/15211/stat : 15211 (java) S 15193 15193 14506 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29414301 826433536 8055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.98836 s]
/proc/loadavg: 2.42 3.20 4.49 3/83 15211
/proc/meminfo: memFree=1833392/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=13724 CPUtime=0.58
/proc/15193/stat : 15193 (sugar) S 15191 15193 14506 0 -1 4194304 1190 7082 0 1 3 1 49 5 15 0 1 0 29414228 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15193/statm: 3431 809 371 3 0 531 0
[pid=15204] ppid=15193 vsize=807344 CPUtime=2.31
/proc/15204/stat : 15204 (java) R 15193 15193 14506 0 -1 0 11895 0 1 0 226 5 0 0 25 0 8 0 29414294 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15204/statm: 201836 11597 1506 14 0 189114 0
[pid=15204/tid=15205] ppid=15193 vsize=807344 CPUtime=0.34
/proc/15204/task/15205/stat : 15205 (java) R 15193 15193 14506 0 -1 64 5660 0 0 0 32 2 0 0 16 0 8 0 29414297 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154023992 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15206] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15206/stat : 15206 (java) S 15193 15193 14506 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29414298 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15207] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15207/stat : 15207 (java) S 15193 15193 14506 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29414298 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15208] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15208/stat : 15208 (java) S 15193 15193 14506 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29414301 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15209] ppid=15193 vsize=807344 CPUtime=0.14
/proc/15204/task/15209/stat : 15209 (java) S 15193 15193 14506 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29414301 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15210] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15210/stat : 15210 (java) S 15193 15193 14506 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29414301 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15211] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15211/stat : 15211 (java) S 15193 15193 14506 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29414301 826720256 11597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821068
[startup+6.19067 s]
/proc/loadavg: 2.42 3.20 4.49 2/76 15227
/proc/meminfo: memFree=1833696/2055920 swapFree=4184164/4192956
[pid=15193] ppid=15191 vsize=13724 CPUtime=0.58
/proc/15193/stat : 15193 (sugar) S 15191 15193 14506 0 -1 4194304 1190 7082 0 1 3 1 49 5 15 0 1 0 29414228 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15193/statm: 3431 809 371 3 0 531 0
[pid=15204] ppid=15193 vsize=807344 CPUtime=5.49
/proc/15204/stat : 15204 (java) R 15193 15193 14506 0 -1 0 19023 0 1 0 539 10 0 0 17 0 8 0 29414294 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073576572 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15204/statm: 201836 18619 1506 14 0 189114 0
[pid=15204/tid=15205] ppid=15193 vsize=807344 CPUtime=0.81
/proc/15204/task/15205/stat : 15205 (java) S 15193 15193 14506 0 -1 64 12682 0 0 0 75 6 0 0 16 0 8 0 29414297 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15206] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15206/stat : 15206 (java) S 15193 15193 14506 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29414298 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15207] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15207/stat : 15207 (java) S 15193 15193 14506 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29414298 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15208] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15208/stat : 15208 (java) S 15193 15193 14506 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29414301 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15209] ppid=15193 vsize=807344 CPUtime=0.14
/proc/15204/task/15209/stat : 15209 (java) S 15193 15193 14506 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 29414301 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15210] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15210/stat : 15210 (java) S 15193 15193 14506 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29414301 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15204/tid=15211] ppid=15193 vsize=807344 CPUtime=0
/proc/15204/task/15211/stat : 15211 (java) S 15193 15193 14506 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29414301 826720256 18619 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 821068
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 15193 and gives childrusage.ru_utime.tv_sec=3 childrusage.ru_utime.tv_usec=577456 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=192970
CPU time returned by wait4() is 3.77043
while last known CPU time is 10.12
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 10.3984
CPU time (s): 10.12
CPU user time (s): 9.79
CPU system time (s): 0.33
CPU usage (%): 97.3226
Max. virtual memory (cumulated for all children) (KiB): 832976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.57746
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21083
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= 923
involuntary context switches= 940
runsolver used 0.017997 s user time and 0.035994 s system time
The end
Begin job on node55 on Mon Jan 29 18:16:18 UTC 2007
IDJOB= 200725
IDBENCH= 3723
IDSOLVER= 86
FILE ID= node55/200725-1170094578
PBS_JOBID= 3689581
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-10-20/composed-25-10-20-9_ext.xml
COMMAND LINE= /tmp/evaluation/200725-1170094578/solver /tmp/evaluation/200725-1170094578 /tmp/evaluation/200725-1170094578/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-200725-1170094578 -o ROOT/results/node55/solver-200725-1170094578 -C 1800 -M 900 /tmp/evaluation/200725-1170094578/solver /tmp/evaluation/200725-1170094578 /tmp/evaluation/200725-1170094578/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a0495c96395fb7b5d85cd1d670701d95
RANDOM SEED= 812700386
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: 1822552 kB
Buffers: 53444 kB
Cached: 35608 kB
SwapCached: 1524 kB
Active: 129872 kB
Inactive: 50832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822552 kB
SwapTotal: 4192956 kB
SwapFree: 4184164 kB
Dirty: 3352 kB
Writeback: 0 kB
Mapped: 105532 kB
Slab: 37860 kB
Committed_AS: 330984 kB
PageTables: 1956 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= 66558 MiB
End job on node55 on Mon Jan 29 18:16:28 UTC 2007