0.04 c # Sugar v0-40 (/tmp/evaluation/200668-1170094571/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/200668-1170094571/unknown.xml [Mon Jan 29 19:16:11 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/200668-1170094571/unknown.xml /tmp/evaluation/200668-1170094571/sugar15130.csp [Mon Jan 29 19:16:11 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200668-1170094571/sugar-v0-40.jar -convert /tmp/evaluation/200668-1170094571/unknown.xml /tmp/evaluation/200668-1170094571/sugar15130.csp
0.15 c BEGIN convert /tmp/evaluation/200668-1170094571/unknown.xml
0.57 c END convert (0.413928 seconds)
0.58 c # CONVERT_XML END : /tmp/evaluation/200668-1170094571/sugar15130.csp 458100 bytes (1 seconds) [Mon Jan 29 19:16:12 2007]
0.58 c # CONVERT_XML CPU : 0.5 = 0 + 0 + 0.47 + 0.03
0.58
0.58 c # GENERATE_SAT BEGIN : /tmp/evaluation/200668-1170094571/sugar15130.bcnf [Mon Jan 29 19:16:12 2007]
0.58 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200668-1170094571/sugar-v0-40.jar -bcnf -map /tmp/evaluation/200668-1170094571/sugar15130.map /tmp/evaluation/200668-1170094571/sugar15130.csp /tmp/evaluation/200668-1170094571/sugar15130.bcnf
0.70 c BEGIN parse /tmp/evaluation/200668-1170094571/sugar15130.csp
6.19 c END parse (5.495367 seconds)
6.19 c BEGIN simplify
6.28 c END simplify (0.086197 seconds)
6.28 c BEGIN encode /tmp/evaluation/200668-1170094571/sugar15130.bcnf
6.86 c END encode (0.583239 seconds)
7.12 c # GENERATE_SAT END : 22505 variables 55204 clauses 5604972 bytes (6 seconds) [Mon Jan 29 19:16:18 2007]
7.12 c # GENERATE_SAT CPU : 0.2 = 0.18 + 0.02 + 0 + 0
7.12
7.12 c # SOLVE_SAT BEGIN : /tmp/evaluation/200668-1170094571/sugar15130.bcnf [Mon Jan 29 19:16:18 2007]
7.12 c # CMD : /tmp/evaluation/200668-1170094571/minisat /tmp/evaluation/200668-1170094571/sugar15130.bcnf /tmp/evaluation/200668-1170094571/sugar15130.out
7.25 c ==================================[MINISAT]===================================
7.25 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.25 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.25 c ==============================================================================
7.25 c | 0 | 55204 1346031 | 18401 0 0 nan | 0.000 % |
7.27 c | 100 | 55208 1346031 | 20241 92 1639 17.8 | 0.009 % |
7.30 c | 250 | 55218 1346031 | 22265 232 3915 16.9 | 0.009 % |
7.33 c | 475 | 55222 1346031 | 24491 453 8022 17.7 | 0.009 % |
7.37 c | 812 | 55232 1346031 | 26940 779 13096 16.8 | 0.013 % |
7.45 c | 1318 | 55244 1346031 | 29634 1271 21367 16.8 | 0.187 % |
7.57 c | 2078 | 55260 1346031 | 32598 2014 34379 17.1 | 0.515 % |
7.76 c | 3217 | 55307 1346031 | 35858 3103 53581 17.3 | 1.178 % |
8.06 c | 4926 | 54773 1340641 | 39444 4366 81575 18.7 | 2.017 % |
8.73 c | 7491 | 54924 1340641 | 43388 6748 123537 18.3 | 4.390 % |
9.73 c | 11336 | 53652 1323078 | 47727 9299 176433 19.0 | 6.052 % |
10.50 c ==============================================================================
10.50 c restarts : 11
10.50 c conflicts : 13940 (4162 /sec)
10.50 c decisions : 1426258 (425813 /sec)
10.50 c propagations : 5533023 (1651900 /sec)
10.50 c conflict literals : 240659 (48.61 % deleted)
10.50 c Memory used : 11.33 MB
10.50 c CPU time : 3.34949 s
10.50 c
10.50 c SATISFIABLE
10.52 c # SOLVE_SAT END : SATISFIABLE (4 seconds) [Mon Jan 29 19:16:22 2007]
10.52 c # SOLVE_SAT CPU : 3.38 = 0 + 0 + 3.36 + 0.02
10.52
10.52 c # RESULT : SATISFIABLE
10.52
10.52 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 19:16:22 2007]
10.64 c BEGIN read SAT output /tmp/evaluation/200668-1170094571/sugar15130.out
10.69 c END read SAT output (0.050953 seconds)
10.69 c BEGIN write solution /tmp/evaluation/200668-1170094571/sugar15130.sol
10.95 c END write solution (0.262195 seconds)
11.01 s SATISFIABLE
11.01 v 4 7 5 7 9 9 3 0 8 8 0 9 9 9 9 8 4 9 9 1 7 3 4 9 4 8 8 7 7 2 4 1 9 4 7 5 0 1 5 7 8 7 6 9 7 4 5 2 6 0 9 8 8 1 2 9 2 9 0 2 6 2 5 7 9 2 3 9 5 0 3 7 0 2 9 6 7 0 5 3 3 3 1 6 9 8 6 9 3 8 8 6 8 3 5 5 7 7 1 6 0 7 9 6 0
11.01 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 19:16:22 2007]
11.01 c # OUTPUT_SOL CPU : 0.44 = 0.01 + 0 + 0.39 + 0.04
11.02
11.02 c # MAIN END : (11 seconds) [Mon Jan 29 19:16:22 2007]
11.02 c # MAIN CPU : 4.52 = 0.19 + 0.02 + 4.22 + 0.09
11.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-200668-1170094571 -o ROOT/results/node55/solver-200668-1170094571 -C 1800 -M 900 /tmp/evaluation/200668-1170094571/solver /tmp/evaluation/200668-1170094571 /tmp/evaluation/200668-1170094571/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.31 3.20 4.51 4/74 15131
/proc/meminfo: memFree=1902968/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=12268 CPUtime=0
/proc/15130/stat : 15130 (sugar) R 15128 15130 14479 0 -1 4194304 607 0 0 0 0 0 0 0 18 0 1 0 29413574 12562432 326 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770509822 0 0 4224 0 0 0 0 17 0 0 0
/proc/15130/statm: 3067 326 246 3 0 167 0
[startup+0.108127 s]
/proc/loadavg: 2.31 3.20 4.51 4/74 15131
/proc/meminfo: memFree=1902968/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=13724 CPUtime=0.04
/proc/15130/stat : 15130 (sugar) S 15128 15130 14479 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 29413574 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15130/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.51607 s]
/proc/loadavg: 2.31 3.20 4.51 4/74 15131
/proc/meminfo: memFree=1902968/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=13724 CPUtime=0.04
/proc/15130/stat : 15130 (sugar) S 15128 15130 14479 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29413574 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15130/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33915 s]
/proc/loadavg: 2.31 3.20 4.51 2/82 15147
/proc/meminfo: memFree=1875000/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=13724 CPUtime=0.54
/proc/15130/stat : 15130 (sugar) S 15128 15130 14479 0 -1 4194304 1190 7081 0 1 3 1 47 3 15 0 1 0 29413574 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15130/statm: 3431 809 371 3 0 531 0
[pid=15140] ppid=15130 vsize=807064 CPUtime=0.73
/proc/15140/stat : 15140 (java) S 15130 15130 14479 0 -1 0 8720 0 1 0 69 4 0 0 16 0 8 0 29413633 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15140/statm: 201766 8467 1506 14 0 189044 0
[pid=15140/tid=15141] ppid=15130 vsize=807064 CPUtime=0.13
/proc/15140/task/15141/stat : 15141 (java) R 15130 15130 14479 0 -1 64 2637 0 0 0 13 0 0 0 16 0 8 0 29413636 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15142] ppid=15130 vsize=807064 CPUtime=0
/proc/15140/task/15142/stat : 15142 (java) S 15130 15130 14479 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29413636 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15143] ppid=15130 vsize=807064 CPUtime=0
/proc/15140/task/15143/stat : 15143 (java) S 15130 15130 14479 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29413636 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15144] ppid=15130 vsize=807064 CPUtime=0
/proc/15140/task/15144/stat : 15144 (java) S 15130 15130 14479 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29413639 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15145] ppid=15130 vsize=807064 CPUtime=0.06
/proc/15140/task/15145/stat : 15145 (java) S 15130 15130 14479 0 -1 64 297 0 0 0 6 0 0 0 16 0 8 0 29413639 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15146] ppid=15130 vsize=807064 CPUtime=0
/proc/15140/task/15146/stat : 15146 (java) S 15130 15130 14479 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29413639 826433536 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15147] ppid=15130 vsize=807064 CPUtime=0
/proc/15140/task/15147/stat : 15147 (java) S 15130 15130 14479 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29413639 826433536 8467 18446744073709551615 134512640 134570532 4294956480 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+2.99031 s]
/proc/loadavg: 2.31 3.20 4.51 2/82 15147
/proc/meminfo: memFree=1862456/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=13724 CPUtime=0.54
/proc/15130/stat : 15130 (sugar) S 15128 15130 14479 0 -1 4194304 1190 7081 0 1 3 1 47 3 15 0 1 0 29413574 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15130/statm: 3431 809 371 3 0 531 0
[pid=15140] ppid=15130 vsize=807344 CPUtime=2.38
/proc/15140/stat : 15140 (java) R 15130 15130 14479 0 -1 0 12447 0 1 0 231 7 0 0 16 0 8 0 29413633 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601628 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15140/statm: 201836 12141 1506 14 0 189114 0
[pid=15140/tid=15141] ppid=15130 vsize=807344 CPUtime=0.36
/proc/15140/task/15141/stat : 15141 (java) S 15130 15130 14479 0 -1 64 6205 0 0 0 33 3 0 0 16 0 8 0 29413636 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15142] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15142/stat : 15142 (java) S 15130 15130 14479 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29413636 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15143] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15143/stat : 15143 (java) S 15130 15130 14479 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29413636 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15144] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15144/stat : 15144 (java) S 15130 15130 14479 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29413639 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15145] ppid=15130 vsize=807344 CPUtime=0.13
/proc/15140/task/15145/stat : 15145 (java) S 15130 15130 14479 0 -1 64 403 0 0 0 13 0 0 0 16 0 8 0 29413639 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15146] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15146/stat : 15146 (java) S 15130 15130 14479 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29413639 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15147] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15147/stat : 15147 (java) S 15130 15130 14479 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29413639 826720256 12141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821068
[startup+6.27063 s]
/proc/loadavg: 2.28 3.18 4.50 2/76 15159
/proc/meminfo: memFree=1833248/2055920 swapFree=4184164/4192956
[pid=15130] ppid=15128 vsize=13724 CPUtime=0.54
/proc/15130/stat : 15130 (sugar) S 15128 15130 14479 0 -1 4194304 1190 7081 0 1 3 1 47 3 16 0 1 0 29413574 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15130/statm: 3431 809 371 3 0 531 0
[pid=15140] ppid=15130 vsize=807344 CPUtime=5.64
/proc/15140/stat : 15140 (java) R 15130 15130 14479 0 -1 0 19433 0 1 0 553 11 0 0 17 0 8 0 29413633 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073587719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15140/statm: 201836 19022 1506 14 0 189114 0
[pid=15140/tid=15141] ppid=15130 vsize=807344 CPUtime=0.8
/proc/15140/task/15141/stat : 15141 (java) S 15130 15130 14479 0 -1 64 13085 0 0 0 74 6 0 0 16 0 8 0 29413636 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15142] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15142/stat : 15142 (java) S 15130 15130 14479 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29413636 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15143] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15143/stat : 15143 (java) S 15130 15130 14479 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29413636 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15140/tid=15144] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15144/stat : 15144 (java) S 15130 15130 14479 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29413639 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15145] ppid=15130 vsize=807344 CPUtime=0.13
/proc/15140/task/15145/stat : 15145 (java) S 15130 15130 14479 0 -1 64 404 0 0 0 13 0 0 0 16 0 8 0 29413639 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15146] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15146/stat : 15146 (java) S 15130 15130 14479 0 -1 64 2 0 0 0 0 0 0 0 23 0 8 0 29413639 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15140/tid=15147] ppid=15130 vsize=807344 CPUtime=0
/proc/15140/task/15147/stat : 15147 (java) S 15130 15130 14479 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29413639 826720256 19022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821068
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 15130 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=450323 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=140978
CPU time returned by wait4() is 4.5913
while last known CPU time is 10.36
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 11.0261
CPU time (s): 10.36
CPU user time (s): 10.14
CPU system time (s): 0.22
CPU usage (%): 93.9593
Max. virtual memory (cumulated for all children) (KiB): 821068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.45032
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21134
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= 866
involuntary context switches= 516
runsolver used 0.016997 s user time and 0.039993 s system time
The end
Begin job on node55 on Mon Jan 29 18:16:11 UTC 2007
IDJOB= 200668
IDBENCH= 3720
IDSOLVER= 86
FILE ID= node55/200668-1170094571
PBS_JOBID= 3689580
Free space on /tmp= 63700 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/composed/composed-25-10-20/composed-25-10-20-4_ext.xml
COMMAND LINE= /tmp/evaluation/200668-1170094571/solver /tmp/evaluation/200668-1170094571 /tmp/evaluation/200668-1170094571/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-200668-1170094571 -o ROOT/results/node55/solver-200668-1170094571 -C 1800 -M 900 /tmp/evaluation/200668-1170094571/solver /tmp/evaluation/200668-1170094571 /tmp/evaluation/200668-1170094571/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 05b8bfbbbda746f8f05c15c6f7b30a37
RANDOM SEED= 628264850
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: 1903448 kB
Buffers: 50528 kB
Cached: 34036 kB
SwapCached: 1524 kB
Active: 52292 kB
Inactive: 48216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1903448 kB
SwapTotal: 4192956 kB
SwapFree: 4184164 kB
Dirty: 1744 kB
Writeback: 0 kB
Mapped: 23676 kB
Slab: 37452 kB
Committed_AS: 111252 kB
PageTables: 1732 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= 66562 MiB
End job on node55 on Mon Jan 29 18:16:22 UTC 2007