0.04 c # Sugar v0-40 (/tmp/evaluation/246834-1170109398/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/246834-1170109398/unknown.xml [Mon Jan 29 23:23:21 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/246834-1170109398/unknown.xml /tmp/evaluation/246834-1170109398/sugar31778.csp [Mon Jan 29 23:23:21 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246834-1170109398/sugar-v0-40.jar -convert /tmp/evaluation/246834-1170109398/unknown.xml /tmp/evaluation/246834-1170109398/sugar31778.csp
0.16 c BEGIN convert /tmp/evaluation/246834-1170109398/unknown.xml
0.23 c END convert (0.067058 seconds)
0.28 c # CONVERT_XML END : /tmp/evaluation/246834-1170109398/sugar31778.csp 1183 bytes (0 seconds) [Mon Jan 29 23:23:21 2007]
0.28 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.28
0.28 c # GENERATE_SAT BEGIN : /tmp/evaluation/246834-1170109398/sugar31778.bcnf [Mon Jan 29 23:23:21 2007]
0.28 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/246834-1170109398/sugar-v0-40.jar -bcnf -map /tmp/evaluation/246834-1170109398/sugar31778.map /tmp/evaluation/246834-1170109398/sugar31778.csp /tmp/evaluation/246834-1170109398/sugar31778.bcnf
0.39 c BEGIN parse /tmp/evaluation/246834-1170109398/sugar31778.csp
0.48 c END parse (0.090438 seconds)
0.48 c BEGIN simplify
0.49 c END simplify (0.007153 seconds)
0.49 c BEGIN encode /tmp/evaluation/246834-1170109398/sugar31778.bcnf
0.53 c END encode (0.038197 seconds)
0.56 c # GENERATE_SAT END : 299 variables 2080 clauses 31224 bytes (0 seconds) [Mon Jan 29 23:23:21 2007]
0.56 c # GENERATE_SAT CPU : 0 = 0 + 0 + 0 + 0
0.56
0.56 c # SOLVE_SAT BEGIN : /tmp/evaluation/246834-1170109398/sugar31778.bcnf [Mon Jan 29 23:23:21 2007]
0.56 c # CMD : /tmp/evaluation/246834-1170109398/minisat /tmp/evaluation/246834-1170109398/sugar31778.bcnf /tmp/evaluation/246834-1170109398/sugar31778.out
0.56 c ==================================[MINISAT]===================================
0.56 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.56 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
0.56 c ==============================================================================
0.56 c | 0 | 2080 5720 | 693 0 0 nan | 0.000 % |
0.57 c | 103 | 2080 5720 | 762 103 922 9.0 | 0.001 % |
0.57 c | 254 | 2080 5720 | 838 254 2274 9.0 | 0.004 % |
0.57 c | 479 | 2080 5720 | 922 479 3816 8.0 | 0.011 % |
0.58 c | 816 | 2080 5720 | 1014 816 6646 8.1 | 0.002 % |
0.60 c | 1322 | 2080 5720 | 1116 744 6886 9.3 | 0.006 % |
0.61 c | 2083 | 2080 5720 | 1227 846 6746 8.0 | 0.011 % |
0.64 c | 3222 | 2080 5720 | 1350 1274 10418 8.2 | 0.002 % |
0.69 c | 4930 | 2080 5720 | 1485 833 7445 8.9 | 0.006 % |
0.75 c | 7492 | 2080 5720 | 1634 897 7159 8.0 | 0.010 % |
0.87 c | 11338 | 2080 5720 | 1797 1249 11622 9.3 | 0.004 % |
1.02 c | 17104 | 2080 5720 | 1977 1122 8509 7.6 | 0.010 % |
1.29 c | 25753 | 2080 5720 | 2174 1385 11565 8.4 | 0.002 % |
1.77 c | 38727 | 2080 5720 | 2392 1877 17549 9.3 | 0.004 % |
2.32 c | 58189 | 2080 5720 | 2631 2312 24359 10.5 | 0.010 % |
3.46 c | 87381 | 2080 5720 | 2894 2657 31098 11.7 | 0.004 % |
4.71 c | 131173 | 2080 5720 | 3184 2104 21770 10.3 | 0.010 % |
7.27 c | 196858 | 2080 5720 | 3502 3282 38245 11.7 | 0.004 % |
11.33 c | 295386 | 2080 5720 | 3853 2215 21712 9.8 | 0.008 % |
17.26 c | 443175 | 2080 5720 | 4238 2937 25281 8.6 | 0.004 % |
25.07 c | 664858 | 2055 5684 | 4662 4277 40345 9.4 | 0.676 % |
38.50 c | 997383 | 2056 5684 | 5128 3782 34574 9.1 | 0.683 % |
58.22 c | 1496171 | 1984 5504 | 5641 3816 32283 8.5 | 2.685 % |
71.82 c ==============================================================================
71.82 c restarts : 23
71.82 c conflicts : 1840718 (26039 /sec)
71.82 c decisions : 2298425 (32514 /sec)
71.82 c propagations : 79916050 (1130494 /sec)
71.82 c conflict literals : 19389668 (7.02 % deleted)
71.82 c Memory used : 3.16 MB
71.82 c CPU time : 70.6913 s
71.82 c
71.82 c UNSATISFIABLE
71.82 c # SOLVE_SAT END : UNSATISFIABLE (71 seconds) [Mon Jan 29 23:24:32 2007]
71.82 c # SOLVE_SAT CPU : 70.69 = 0 + 0 + 70.69 + 0
71.82
71.82 c # RESULT : UNSATISFIABLE
71.82
71.82 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 23:24:32 2007]
71.82 s UNSATISFIABLE
71.82 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 23:24:32 2007]
71.82 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
71.82
71.82 c # MAIN END : (71 seconds) [Mon Jan 29 23:24:32 2007]
71.82 c # MAIN CPU : 70.69 = 0 + 0 + 70.69 + 0
71.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-246834-1170109398 -o ROOT/results/node35/solver-246834-1170109398 -C 1800 -M 900 /tmp/evaluation/246834-1170109398/solver /tmp/evaluation/246834-1170109398 /tmp/evaluation/246834-1170109398/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: 0.21 1.16 2.00 4/69 31779
/proc/meminfo: memFree=1932400/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=12268 CPUtime=0
/proc/31778/stat : 31778 (sugar) D 31775 31778 31274 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 4703772 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266134583909 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/31778/statm: 3067 316 241 3 0 167 0
[startup+0.103262 s]
/proc/loadavg: 0.21 1.16 2.00 4/69 31779
/proc/meminfo: memFree=1932400/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 4703772 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.511336 s]
/proc/loadavg: 0.21 1.16 2.00 4/69 31779
/proc/meminfo: memFree=1932400/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 4703772 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 808 370 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3315 s]
/proc/loadavg: 0.21 1.16 2.00 2/71 31819
/proc/meminfo: memFree=1929368/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 15 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=1916 CPUtime=0.76
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 170 0 0 0 76 0 0 0 24 0 1 0 4703828 1961984 148 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/31819/statm: 479 148 51 112 0 363 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 15640
[startup+2.97583 s]
/proc/loadavg: 0.21 1.16 2.00 4/85 31840
/proc/meminfo: memFree=1902888/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 15 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=2048 CPUtime=2.39
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 209 0 0 0 239 0 0 0 25 0 1 0 4703828 2097152 187 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525481 0 0 4096 3 0 0 0 17 0 0 0
/proc/31819/statm: 512 187 51 112 0 396 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 15772
[startup+6.25848 s]
/proc/loadavg: 0.44 1.19 2.01 3/79 31841
/proc/meminfo: memFree=1915864/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 16 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=2312 CPUtime=5.65
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 259 0 0 0 565 0 0 0 25 0 1 0 4703828 2367488 237 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528267 0 0 4096 3 0 0 0 17 0 0 0
/proc/31819/statm: 578 237 51 112 0 462 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 16036
[startup+12.7308 s]
/proc/loadavg: 0.68 1.22 2.01 3/79 31841
/proc/meminfo: memFree=1912280/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 16 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=2576 CPUtime=12.07
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 316 0 0 0 1207 0 0 0 25 0 1 0 4703828 2637824 294 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528792 0 0 4096 3 0 0 0 17 0 0 0
/proc/31819/statm: 644 294 51 112 0 528 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 16300
[startup+25.5653 s]
/proc/loadavg: 0.88 1.24 2.00 3/79 31841
/proc/meminfo: memFree=1907608/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 16 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=2708 CPUtime=24.81
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 376 0 0 0 2481 0 0 0 25 0 1 0 4703828 2772992 354 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528504 0 0 4096 3 0 0 0 17 0 0 0
/proc/31819/statm: 677 354 51 112 0 561 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16432
[startup+51.2355 s]
/proc/loadavg: 1.26 1.30 2.00 3/79 31841
/proc/meminfo: memFree=1905880/2055920 swapFree=4192812/4192956
[pid=31778] ppid=31775 vsize=13724 CPUtime=0.04
/proc/31778/stat : 31778 (sugar) S 31775 31778 31274 0 -1 4194304 1323 0 0 0 3 1 0 0 16 0 1 0 4703772 14053376 836 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 266143314018 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/31778/statm: 3431 836 372 3 0 531 0
[pid=31796] ppid=31778 vsize=0 CPUtime=0.17
/proc/31796/stat : 31796 (java) Z 31778 31778 31274 0 -1 1036 3436 0 1 0 15 2 0 0 16 0 1 0 4703776 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31796/statm: 0 0 0 0 0 0 0
[pid=31811] ppid=31778 vsize=0 CPUtime=0.23
/proc/31811/stat : 31811 (java) Z 31778 31778 31274 0 -1 1036 4324 0 1 0 20 3 0 0 16 0 1 0 4703800 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/31811/statm: 0 0 0 0 0 0 0
[pid=31819] ppid=31778 vsize=3104 CPUtime=50.25
/proc/31819/stat : 31819 (minisat) R 31778 31778 31274 0 -1 0 470 0 0 0 5025 0 0 0 25 0 1 0 4703828 3178496 448 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 0 0 0
/proc/31819/statm: 776 448 51 112 0 660 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 16828
Child status: 0
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 31778 and gives childrusage.ru_utime.tv_sec=70 childrusage.ru_utime.tv_usec=729247 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=17997
CPU time returned by wait4() is 70.7472
while last known CPU time is 71.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 71.8299
CPU time (s): 71.07
CPU user time (s): 71.01
CPU system time (s): 0.06
CPU usage (%): 98.9421
Max. virtual memory (cumulated for all children) (KiB): 16960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.7292
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 1663
runsolver used 0.074988 s user time and 0.186971 s system time
The end
Begin job on node35 on Mon Jan 29 22:23:19 UTC 2007
IDJOB= 246834
IDBENCH= 10727
IDSOLVER= 86
FILE ID= node35/246834-1170109398
PBS_JOBID= 3690204
Free space on /tmp= 66564 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pigeons_glb/pigeons-13_ext.xml
COMMAND LINE= /tmp/evaluation/246834-1170109398/solver /tmp/evaluation/246834-1170109398 /tmp/evaluation/246834-1170109398/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-246834-1170109398 -o ROOT/results/node35/solver-246834-1170109398 -C 1800 -M 900 /tmp/evaluation/246834-1170109398/solver /tmp/evaluation/246834-1170109398 /tmp/evaluation/246834-1170109398/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5623a38268d98e817ff88a093970d18d
RANDOM SEED= 330329555
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.263
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.263
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: 1933080 kB
Buffers: 19884 kB
Cached: 39956 kB
SwapCached: 0 kB
Active: 48712 kB
Inactive: 31208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1933080 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 976 kB
Writeback: 0 kB
Mapped: 30248 kB
Slab: 28660 kB
Committed_AS: 452156 kB
PageTables: 1620 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 node35 on Mon Jan 29 22:24:33 UTC 2007