0.05 c # Sugar v0-40 (/tmp/evaluation/229116-1170106006/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/229116-1170106006/unknown.xml [Mon Jan 29 22:26:46 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/229116-1170106006/unknown.xml /tmp/evaluation/229116-1170106006/sugar19861.csp [Mon Jan 29 22:26:47 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229116-1170106006/sugar-v0-40.jar -convert /tmp/evaluation/229116-1170106006/unknown.xml /tmp/evaluation/229116-1170106006/sugar19861.csp
0.22 c BEGIN convert /tmp/evaluation/229116-1170106006/unknown.xml
0.63 c END convert (0.416312 seconds)
0.64 c # CONVERT_XML END : /tmp/evaluation/229116-1170106006/sugar19861.csp 728766 bytes (0 seconds) [Mon Jan 29 22:26:47 2007]
0.64 c # CONVERT_XML CPU : 0.52 = 0 + 0 + 0.47 + 0.05
0.64
0.64 c # GENERATE_SAT BEGIN : /tmp/evaluation/229116-1170106006/sugar19861.bcnf [Mon Jan 29 22:26:47 2007]
0.64 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/229116-1170106006/sugar-v0-40.jar -bcnf -map /tmp/evaluation/229116-1170106006/sugar19861.map /tmp/evaluation/229116-1170106006/sugar19861.csp /tmp/evaluation/229116-1170106006/sugar19861.bcnf
0.76 c BEGIN parse /tmp/evaluation/229116-1170106006/sugar19861.csp
3.59 c END parse (2.833734 seconds)
3.59 c BEGIN simplify
3.61 c END simplify (0.013957 seconds)
3.61 c BEGIN encode /tmp/evaluation/229116-1170106006/sugar19861.bcnf
3.75 c END encode (0.141211 seconds)
3.79 c # GENERATE_SAT END : 600 variables 23126 clauses 435512 bytes (3 seconds) [Mon Jan 29 22:26:50 2007]
3.80 c # GENERATE_SAT CPU : 3.1 = 0 + 0 + 3 + 0.1
3.80
3.80 c # SOLVE_SAT BEGIN : /tmp/evaluation/229116-1170106006/sugar19861.bcnf [Mon Jan 29 22:26:50 2007]
3.80 c # CMD : /tmp/evaluation/229116-1170106006/minisat /tmp/evaluation/229116-1170106006/sugar19861.bcnf /tmp/evaluation/229116-1170106006/sugar19861.out
3.81 c ==================================[MINISAT]===================================
3.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.81 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.81 c ==============================================================================
3.81 c | 0 | 23126 85746 | 7708 0 0 nan | 0.000 % |
3.82 c | 101 | 23126 85746 | 8478 101 799 7.9 | 0.000 % |
3.84 c | 251 | 23126 85746 | 9326 251 1913 7.6 | 0.009 % |
3.86 c | 478 | 23126 85746 | 10259 478 3966 8.3 | 0.006 % |
3.89 c | 816 | 23126 85746 | 11285 816 6847 8.4 | 0.009 % |
3.94 c | 1324 | 23128 85746 | 12413 1322 10776 8.2 | 0.009 % |
4.01 c | 2083 | 23129 85746 | 13655 2080 17606 8.5 | 0.009 % |
4.12 c | 3222 | 23134 85746 | 15020 3214 29736 9.3 | 0.004 % |
4.29 c | 4930 | 23136 85746 | 16522 4920 47338 9.6 | 0.009 % |
4.61 c | 7492 | 23141 85746 | 18175 7477 75587 10.1 | 0.008 % |
5.14 c | 11337 | 23144 85746 | 19992 11319 119456 10.6 | 0.007 % |
6.01 c | 17104 | 23148 85746 | 21991 17082 189919 11.1 | 0.008 % |
7.64 c | 25753 | 23152 85746 | 24191 14685 170543 11.6 | 0.009 % |
10.46 c | 38727 | 23158 85746 | 26610 15504 181639 11.7 | 0.010 % |
13.78 c | 58188 | 23087 85542 | 29271 18159 235718 13.0 | 0.167 % |
20.13 c | 87381 | 23002 85302 | 32198 12948 149729 11.6 | 0.334 % |
30.83 c | 131170 | 22846 84735 | 35418 23953 320816 13.4 | 0.667 % |
50.48 c | 196854 | 22788 84522 | 38959 23240 289069 12.4 | 0.834 % |
78.49 c | 295380 | 22313 82763 | 42855 32379 445794 13.8 | 1.667 % |
101.98 c ==============================================================================
101.98 c restarts : 19
101.98 c conflicts : 369088 (3778 /sec)
101.98 c decisions : 448919 (4595 /sec)
101.98 c propagations : 32779222 (335550 /sec)
101.98 c conflict literals : 5010942 (29.64 % deleted)
101.98 c Memory used : 7.73 MB
101.98 c CPU time : 97.6881 s
101.98 c
101.98 c UNSATISFIABLE
101.98 c # SOLVE_SAT END : UNSATISFIABLE (98 seconds) [Mon Jan 29 22:28:28 2007]
101.98 c # SOLVE_SAT CPU : 97.71 = 0 + 0 + 97.68 + 0.03
101.98
101.98 c # RESULT : UNSATISFIABLE
101.98
101.98 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 22:28:28 2007]
101.98 s UNSATISFIABLE
101.98 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:28:28 2007]
101.98 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
101.98
101.98 c # MAIN END : (102 seconds) [Mon Jan 29 22:28:28 2007]
101.98 c # MAIN CPU : 101.33 = 0 + 0 + 101.15 + 0.18
101.98
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-229116-1170106006 -o ROOT/results/node39/solver-229116-1170106006 -C 1800 -M 900 /tmp/evaluation/229116-1170106006/solver /tmp/evaluation/229116-1170106006 /tmp/evaluation/229116-1170106006/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.62 2.83 2.86 3/81 19862
/proc/meminfo: memFree=1310160/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=880 CPUtime=0
/proc/19861/stat : 19861 (solver) R 19859 19861 19668 0 -1 4194304 36 0 0 0 0 0 0 0 20 0 1 0 30556532 901120 20 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 231491017024 0 0 4096 0 0 0 0 17 1 0 0
/proc/19861/statm: 220 20 13 169 0 8 0
[startup+0.102916 s]
/proc/loadavg: 2.62 2.83 2.86 3/81 19862
/proc/meminfo: memFree=1310160/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=0.04
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30556532 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19861/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510984 s]
/proc/loadavg: 2.62 2.83 2.86 3/81 19862
/proc/meminfo: memFree=1310160/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=0.04
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 30556532 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19861/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34012 s]
/proc/loadavg: 2.62 2.83 2.86 3/89 19878
/proc/meminfo: memFree=1285264/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=0.56
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1190 7342 0 1 3 1 47 5 15 0 1 0 30556532 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19861/statm: 3431 809 371 3 0 531 0
[pid=19871] ppid=19861 vsize=807064 CPUtime=0.67
/proc/19871/stat : 19871 (java) R 19861 19861 19668 0 -1 0 8164 0 1 0 63 4 0 0 25 0 8 0 30556597 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19871/statm: 201766 7911 1494 14 0 189044 0
[pid=19871/tid=19872] ppid=19861 vsize=807064 CPUtime=0.13
/proc/19871/task/19872/stat : 19872 (java) S 19861 19861 19668 0 -1 64 2109 0 0 0 12 1 0 0 16 0 8 0 30556600 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19873] ppid=19861 vsize=807064 CPUtime=0
/proc/19871/task/19873/stat : 19873 (java) S 19861 19861 19668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30556601 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19874] ppid=19861 vsize=807064 CPUtime=0
/proc/19871/task/19874/stat : 19874 (java) S 19861 19861 19668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30556601 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19875] ppid=19861 vsize=807064 CPUtime=0
/proc/19871/task/19875/stat : 19875 (java) S 19861 19861 19668 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30556604 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19876] ppid=19861 vsize=807064 CPUtime=0.04
/proc/19871/task/19876/stat : 19876 (java) S 19861 19861 19668 0 -1 64 292 0 0 0 4 0 0 0 18 0 8 0 30556604 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19877] ppid=19861 vsize=807064 CPUtime=0
/proc/19871/task/19877/stat : 19877 (java) S 19861 19861 19668 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30556604 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19878] ppid=19861 vsize=807064 CPUtime=0
/proc/19871/task/19878/stat : 19878 (java) S 19861 19861 19668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30556604 826433536 7911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+2.97941 s]
/proc/loadavg: 2.57 2.82 2.85 3/89 19878
/proc/meminfo: memFree=1271504/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=0.56
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1190 7342 0 1 3 1 47 5 15 0 1 0 30556532 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19861/statm: 3431 809 371 3 0 531 0
[pid=19871] ppid=19861 vsize=807336 CPUtime=2.3
/proc/19871/stat : 19871 (java) R 19861 19861 19668 0 -1 0 12346 0 1 0 223 7 0 0 25 0 8 0 30556597 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19871/statm: 201834 12079 1506 14 0 189112 0
[pid=19871/tid=19872] ppid=19861 vsize=807336 CPUtime=0.41
/proc/19871/task/19872/stat : 19872 (java) S 19861 19861 19668 0 -1 64 6145 0 0 0 37 4 0 0 16 0 8 0 30556600 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19873] ppid=19861 vsize=807336 CPUtime=0
/proc/19871/task/19873/stat : 19873 (java) S 19861 19861 19668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30556601 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19874] ppid=19861 vsize=807336 CPUtime=0
/proc/19871/task/19874/stat : 19874 (java) S 19861 19861 19668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30556601 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19875] ppid=19861 vsize=807336 CPUtime=0
/proc/19871/task/19875/stat : 19875 (java) S 19861 19861 19668 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30556604 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19876] ppid=19861 vsize=807336 CPUtime=0.12
/proc/19871/task/19876/stat : 19876 (java) S 19861 19861 19668 0 -1 64 400 0 0 0 12 0 0 0 17 0 8 0 30556604 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19877] ppid=19861 vsize=807336 CPUtime=0
/proc/19871/task/19877/stat : 19877 (java) S 19861 19861 19668 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30556604 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19871/tid=19878] ppid=19861 vsize=807336 CPUtime=0
/proc/19871/task/19878/stat : 19878 (java) S 19861 19861 19668 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30556604 826712064 12079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821060
[startup+6.26597 s]
/proc/loadavg: 2.57 2.82 2.85 3/82 19879
/proc/meminfo: memFree=1304776/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=3.66
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1280 22545 0 2 3 1 347 15 16 0 1 0 30556532 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19861/statm: 3431 819 373 3 0 531 0
[pid=19879] ppid=19861 vsize=4100 CPUtime=2.45
/proc/19879/stat : 19879 (minisat) R 19861 19861 19668 0 -1 0 810 0 0 0 245 0 0 0 25 0 1 0 30556912 4198400 689 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/19879/statm: 1025 689 51 112 0 909 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 17824
[startup+12.7371 s]
/proc/loadavg: 2.63 2.82 2.85 3/82 19879
/proc/meminfo: memFree=1303824/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=3.66
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1280 22545 0 2 3 1 347 15 16 0 1 0 30556532 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19861/statm: 3431 819 373 3 0 531 0
[pid=19879] ppid=19861 vsize=4760 CPUtime=8.88
/proc/19879/stat : 19879 (minisat) R 19861 19861 19668 0 -1 0 980 0 0 0 888 0 0 0 25 0 1 0 30556912 4874240 859 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525935 0 0 4096 3 0 0 0 17 1 0 0
/proc/19879/statm: 1190 859 51 112 0 1074 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 18484
[startup+25.5713 s]
/proc/loadavg: 2.53 2.80 2.84 4/82 19879
/proc/meminfo: memFree=1302992/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=3.66
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1280 22545 0 2 3 1 347 15 16 0 1 0 30556532 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19861/statm: 3431 819 373 3 0 531 0
[pid=19879] ppid=19861 vsize=5716 CPUtime=21.65
/proc/19879/stat : 19879 (minisat) R 19861 19861 19668 0 -1 0 1190 0 0 0 2165 0 0 0 25 0 1 0 30556912 5853184 1069 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19879/statm: 1429 1069 51 112 0 1313 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 19440
[startup+51.2567 s]
/proc/loadavg: 2.43 2.75 2.83 3/82 19879
/proc/meminfo: memFree=1301904/2055920 swapFree=4192812/4192956
[pid=19861] ppid=19859 vsize=13724 CPUtime=3.66
/proc/19861/stat : 19861 (sugar) S 19859 19861 19668 0 -1 4194304 1280 22545 0 2 3 1 347 15 16 0 1 0 30556532 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19861/statm: 3431 819 373 3 0 531 0
[pid=19879] ppid=19861 vsize=6772 CPUtime=47.21
/proc/19879/stat : 19879 (minisat) R 19861 19861 19668 0 -1 0 1475 0 0 0 4720 1 0 0 25 0 1 0 30556912 6934528 1354 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 1 0 0
/proc/19879/statm: 1693 1354 51 112 0 1577 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 20496
Child status: 0
Real time (s): 101.988
CPU time (s): 101.395
CPU user time (s): 101.196
CPU system time (s): 0.198969
CPU usage (%): 99.418
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.196
system time used= 0.198969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25644
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= 1418
involuntary context switches= 4351
runsolver used 0.099984 s user time and 0.360945 s system time
The end
Begin job on node39 on Mon Jan 29 21:26:46 UTC 2007
IDJOB= 229116
IDBENCH= 6278
IDSOLVER= 86
FILE ID= node39/229116-1170106006
PBS_JOBID= 3689798
Free space on /tmp= 66553 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-3_ext.xml
COMMAND LINE= /tmp/evaluation/229116-1170106006/solver /tmp/evaluation/229116-1170106006 /tmp/evaluation/229116-1170106006/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-229116-1170106006 -o ROOT/results/node39/solver-229116-1170106006 -C 1800 -M 900 /tmp/evaluation/229116-1170106006/solver /tmp/evaluation/229116-1170106006 /tmp/evaluation/229116-1170106006/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 2304a437f976a87177b662aafeab0674
RANDOM SEED= 678628461
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.285
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.285
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: 1310640 kB
Buffers: 19932 kB
Cached: 55072 kB
SwapCached: 0 kB
Active: 664840 kB
Inactive: 31168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310640 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 884 kB
Writeback: 0 kB
Mapped: 637888 kB
Slab: 33260 kB
Committed_AS: 938880 kB
PageTables: 3016 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 node39 on Mon Jan 29 21:28:28 UTC 2007