0.04 c # Sugar v0-40 (/tmp/evaluation/203379-1170095942/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/203379-1170095942/unknown.xml [Mon Jan 29 19:39:03 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/203379-1170095942/unknown.xml /tmp/evaluation/203379-1170095942/sugar16502.csp [Mon Jan 29 19:39:03 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203379-1170095942/sugar-v0-40.jar -convert /tmp/evaluation/203379-1170095942/unknown.xml /tmp/evaluation/203379-1170095942/sugar16502.csp
0.16 c BEGIN convert /tmp/evaluation/203379-1170095942/unknown.xml
0.52 c END convert (0.354335 seconds)
0.54 c # CONVERT_XML END : /tmp/evaluation/203379-1170095942/sugar16502.csp 452900 bytes (0 seconds) [Mon Jan 29 19:39:03 2007]
0.55 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.55
0.55 c # GENERATE_SAT BEGIN : /tmp/evaluation/203379-1170095942/sugar16502.bcnf [Mon Jan 29 19:39:03 2007]
0.55 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203379-1170095942/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203379-1170095942/sugar16502.map /tmp/evaluation/203379-1170095942/sugar16502.csp /tmp/evaluation/203379-1170095942/sugar16502.bcnf
0.66 c BEGIN parse /tmp/evaluation/203379-1170095942/sugar16502.csp
3.52 c END parse (2.864737 seconds)
3.52 c BEGIN simplify
3.55 c END simplify (0.024562 seconds)
3.55 c BEGIN encode /tmp/evaluation/203379-1170095942/sugar16502.bcnf
3.75 c END encode (0.198988 seconds)
3.82 c # GENERATE_SAT END : 2566 variables 18645 clauses 1244636 bytes (4 seconds) [Mon Jan 29 19:39:07 2007]
3.82 c # GENERATE_SAT CPU : 3.2 = 0.02 + 0 + 3.09 + 0.09
3.82
3.82 c # SOLVE_SAT BEGIN : /tmp/evaluation/203379-1170095942/sugar16502.bcnf [Mon Jan 29 19:39:07 2007]
3.82 c # CMD : /tmp/evaluation/203379-1170095942/minisat /tmp/evaluation/203379-1170095942/sugar16502.bcnf /tmp/evaluation/203379-1170095942/sugar16502.out
3.85 c ==================================[MINISAT]===================================
3.85 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.85 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.85 c ==============================================================================
3.85 c | 0 | 18645 292508 | 6215 0 0 nan | 0.000 % |
3.86 c | 101 | 18645 292508 | 6836 101 991 9.8 | 0.000 % |
3.88 c | 251 | 18646 292508 | 7520 250 2917 11.7 | 0.000 % |
3.90 c | 476 | 18647 292508 | 8272 474 5653 11.9 | 0.001 % |
3.94 c | 815 | 18647 292508 | 9099 813 9895 12.2 | 0.001 % |
4.00 c | 1321 | 18647 292508 | 10009 1319 16138 12.2 | 0.001 % |
4.09 c | 2081 | 18652 292508 | 11010 2074 25891 12.5 | 0.000 % |
4.23 c | 3220 | 18657 292508 | 12111 3208 40778 12.7 | 0.000 % |
4.45 c | 4929 | 18661 292508 | 13322 4913 65578 13.3 | 0.000 % |
4.78 c | 7491 | 18666 292508 | 14654 7470 102737 13.8 | 0.002 % |
5.33 c | 11335 | 18668 292508 | 16120 11312 164272 14.5 | 0.002 % |
6.38 c | 17102 | 18573 292153 | 17732 1794 22730 12.7 | 0.585 % |
7.56 c | 25751 | 18594 292153 | 19505 10422 179170 17.2 | 0.585 % |
9.77 c | 38725 | 18445 291333 | 21455 10800 178120 16.5 | 1.832 % |
13.63 c ==============================================================================
13.63 c restarts : 14
13.63 c conflicts : 57139 (5834 /sec)
13.63 c decisions : 94328 (9631 /sec)
13.63 c propagations : 9080913 (927143 /sec)
13.63 c conflict literals : 980409 (47.04 % deleted)
13.63 c Memory used : 5.78 MB
13.63 c CPU time : 9.79451 s
13.63 c
13.63 c SATISFIABLE
13.63 c # SOLVE_SAT END : SATISFIABLE (9 seconds) [Mon Jan 29 19:39:16 2007]
13.63 c # SOLVE_SAT CPU : 9.82 = 0 + 0 + 9.8 + 0.02
13.63
13.63 c # RESULT : SATISFIABLE
13.63
13.63 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 19:39:16 2007]
13.74 c BEGIN read SAT output /tmp/evaluation/203379-1170095942/sugar16502.out
13.77 c END read SAT output (0.026676 seconds)
13.77 c BEGIN write solution /tmp/evaluation/203379-1170095942/sugar16502.sol
13.89 c END write solution (0.115023 seconds)
13.91 s SATISFIABLE
13.91 v 12 11 2 10 13 14 4 8 2 13 8 0 6 14 10 12 6 1 3 7 6 13 6 3 6 5 9 12 10 0
13.91 c # OUTPUT_SOL END : (1 seconds) [Mon Jan 29 19:39:17 2007]
13.91 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
13.91
13.91 c # MAIN END : (14 seconds) [Mon Jan 29 19:39:17 2007]
13.91 c # MAIN CPU : 13.03 = 0.02 + 0.01 + 12.89 + 0.11
13.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-203379-1170095942 -o ROOT/results/node56/solver-203379-1170095942 -C 1800 -M 900 /tmp/evaluation/203379-1170095942/solver /tmp/evaluation/203379-1170095942 /tmp/evaluation/203379-1170095942/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.00 1.00 1.04 3/65 16503
/proc/meminfo: memFree=1846248/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=5212 CPUtime=0
/proc/16502/stat : 16502 (solver) R 16500 16502 15705 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 29550813 5337088 99 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 253307456516 0 0 4096 0 0 0 0 17 1 0 0
/proc/16502/statm: 1336 113 91 169 0 47 0
[startup+0.107366 s]
/proc/loadavg: 1.00 1.00 1.04 3/65 16503
/proc/meminfo: memFree=1846248/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=13724 CPUtime=0.03
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29550813 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.516404 s]
/proc/loadavg: 1.00 1.00 1.04 3/65 16503
/proc/meminfo: memFree=1846248/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=13724 CPUtime=0.03
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29550813 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34249 s]
/proc/loadavg: 1.00 1.00 1.04 2/74 16519
/proc/meminfo: memFree=1819688/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=13724 CPUtime=0.03
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29550813 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16502/statm: 3431 808 370 3 0 531 0
[pid=16504] ppid=16502 vsize=0 CPUtime=0.46
/proc/16504/stat : 16504 (java) Z 16502 16502 15705 0 -1 1036 6859 0 1 0 42 4 0 0 16 0 1 0 29550818 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16504/statm: 0 0 0 0 0 0 0
[pid=16512] ppid=16502 vsize=807336 CPUtime=0.78
/proc/16512/stat : 16512 (java) R 16502 16502 15705 0 -1 0 8276 0 1 0 74 4 0 0 16 0 8 0 29550868 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 201834 8023 1506 14 0 189112 0
[pid=16512/tid=16513] ppid=16502 vsize=807336 CPUtime=0.11
/proc/16512/task/16513/stat : 16513 (java) S 16502 16502 15705 0 -1 64 2120 0 0 0 11 0 0 0 16 0 8 0 29550871 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16514] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16502 16502 15705 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29550871 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16515] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16502 16502 15705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29550871 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16516] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16502 16502 15705 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29550874 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16517] ppid=16502 vsize=807336 CPUtime=0.08
/proc/16512/task/16517/stat : 16517 (java) S 16502 16502 15705 0 -1 64 369 0 0 0 8 0 0 0 16 0 8 0 29550874 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16518] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16502 16502 15705 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29550874 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16519] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16519/stat : 16519 (java) S 16502 16502 15705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29550874 826712064 8023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 821060
[startup+2.98384 s]
/proc/loadavg: 1.00 1.00 1.04 2/74 16519
/proc/meminfo: memFree=1808872/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=13724 CPUtime=0.03
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29550813 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16502/statm: 3431 808 370 3 0 531 0
[pid=16504] ppid=16502 vsize=0 CPUtime=0.46
/proc/16504/stat : 16504 (java) Z 16502 16502 15705 0 -1 1036 6859 0 1 0 42 4 0 0 16 0 1 0 29550818 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16504/statm: 0 0 0 0 0 0 0
[pid=16512] ppid=16502 vsize=807336 CPUtime=2.42
/proc/16512/stat : 16512 (java) R 16502 16502 15705 0 -1 0 13272 0 1 0 235 7 0 0 16 0 8 0 29550868 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16512/statm: 201834 12977 1506 14 0 189112 0
[pid=16512/tid=16513] ppid=16502 vsize=807336 CPUtime=0.38
/proc/16512/task/16513/stat : 16513 (java) S 16502 16502 15705 0 -1 64 7031 0 0 0 35 3 0 0 16 0 8 0 29550871 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16514] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16514/stat : 16514 (java) S 16502 16502 15705 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29550871 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16515] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16515/stat : 16515 (java) S 16502 16502 15705 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29550871 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16516] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16516/stat : 16516 (java) S 16502 16502 15705 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29550874 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16517] ppid=16502 vsize=807336 CPUtime=0.12
/proc/16512/task/16517/stat : 16517 (java) S 16502 16502 15705 0 -1 64 402 0 0 0 12 0 0 0 16 0 8 0 29550874 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16518] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16518/stat : 16518 (java) S 16502 16502 15705 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29550874 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16512/tid=16519] ppid=16502 vsize=807336 CPUtime=0
/proc/16512/task/16519/stat : 16519 (java) S 16502 16502 15705 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29550874 826712064 12977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821060
[startup+6.26314 s]
/proc/loadavg: 1.00 1.00 1.04 2/67 16520
/proc/meminfo: memFree=1838240/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=14984 CPUtime=3.24
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1606 16007 0 1 5 1 309 9 15 0 1 0 29550813 15343616 1117 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16502/statm: 3746 1117 373 3 0 846 0
[pid=16504] ppid=16502 vsize=0 CPUtime=0.46
/proc/16504/stat : 16504 (java) Z 16502 16502 15705 0 -1 1036 6859 0 1 0 42 4 0 0 16 0 1 0 29550818 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16504/statm: 0 0 0 0 0 0 0
[pid=16520] ppid=16502 vsize=4976 CPUtime=2.43
/proc/16520/stat : 16520 (minisat) R 16502 16502 15705 0 -1 0 1225 0 0 0 243 0 0 0 25 0 1 0 29551195 5095424 906 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134640275 0 0 4096 3 0 0 0 17 0 0 0
/proc/16520/statm: 1244 906 52 112 0 1128 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 19960
[startup+12.7298 s]
/proc/loadavg: 1.00 1.00 1.04 2/67 16520
/proc/meminfo: memFree=1837024/2055920 swapFree=4183436/4192956
[pid=16502] ppid=16500 vsize=14984 CPUtime=3.24
/proc/16502/stat : 16502 (sugar) S 16500 16502 15705 0 -1 4194304 1606 16007 0 1 5 1 309 9 16 0 1 0 29550813 15343616 1117 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16502/statm: 3746 1117 373 3 0 846 0
[pid=16504] ppid=16502 vsize=0 CPUtime=0.46
/proc/16504/stat : 16504 (java) Z 16502 16502 15705 0 -1 1036 6859 0 1 0 42 4 0 0 16 0 1 0 29550818 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/16504/statm: 0 0 0 0 0 0 0
[pid=16520] ppid=16502 vsize=5916 CPUtime=8.9
/proc/16520/stat : 16520 (minisat) R 16502 16502 15705 0 -1 0 1445 0 0 0 889 1 0 0 25 0 1 0 29551195 6057984 1126 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528354 0 0 4096 3 0 0 0 17 0 0 0
/proc/16520/statm: 1479 1126 52 112 0 1363 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 20900
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16502 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=953030 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=126980
CPU time returned by wait4() is 13.08
while last known CPU time is 13.52
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 13.921
CPU time (s): 13.52
CPU user time (s): 13.36
CPU system time (s): 0.16
CPU usage (%): 97.1197
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.953
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19236
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 717
involuntary context switches= 197
runsolver used 0.013997 s user time and 0.043993 s system time
The end
Begin job on node56 on Mon Jan 29 18:39:03 UTC 2007
IDJOB= 203379
IDBENCH= 3959
IDSOLVER= 86
FILE ID= node56/203379-1170095942
PBS_JOBID= 3689565
Free space on /tmp= 66564 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb30-15/frb30-15-4-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/203379-1170095942/solver /tmp/evaluation/203379-1170095942 /tmp/evaluation/203379-1170095942/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-203379-1170095942 -o ROOT/results/node56/solver-203379-1170095942 -C 1800 -M 900 /tmp/evaluation/203379-1170095942/solver /tmp/evaluation/203379-1170095942 /tmp/evaluation/203379-1170095942/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 6aedf568f8c16800ae9716f9000705b1
RANDOM SEED= 964122924
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.231
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.231
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: 1846664 kB
Buffers: 24160 kB
Cached: 107168 kB
SwapCached: 4604 kB
Active: 32844 kB
Inactive: 109432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1846664 kB
SwapTotal: 4192956 kB
SwapFree: 4183436 kB
Dirty: 844 kB
Writeback: 0 kB
Mapped: 15688 kB
Slab: 52988 kB
Committed_AS: 99928 kB
PageTables: 1472 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= 66564 MiB
End job on node56 on Mon Jan 29 18:39:17 UTC 2007