0.05 c # Sugar v0-40 (/tmp/evaluation/228994-1170105995/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/228994-1170105995/unknown.xml [Mon Jan 29 22:26:36 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/228994-1170105995/unknown.xml /tmp/evaluation/228994-1170105995/sugar20984.csp [Mon Jan 29 22:26:36 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/228994-1170105995/sugar-v0-40.jar -convert /tmp/evaluation/228994-1170105995/unknown.xml /tmp/evaluation/228994-1170105995/sugar20984.csp
0.16 c BEGIN convert /tmp/evaluation/228994-1170105995/unknown.xml
0.56 c END convert (0.406085 seconds)
0.59 c # CONVERT_XML END : /tmp/evaluation/228994-1170105995/sugar20984.csp 719048 bytes (0 seconds) [Mon Jan 29 22:26:36 2007]
0.59 c # CONVERT_XML CPU : 0.51 = 0 + 0 + 0.47 + 0.04
0.59
0.59 c # GENERATE_SAT BEGIN : /tmp/evaluation/228994-1170105995/sugar20984.bcnf [Mon Jan 29 22:26:36 2007]
0.59 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/228994-1170105995/sugar-v0-40.jar -bcnf -map /tmp/evaluation/228994-1170105995/sugar20984.map /tmp/evaluation/228994-1170105995/sugar20984.csp /tmp/evaluation/228994-1170105995/sugar20984.bcnf
0.73 c BEGIN parse /tmp/evaluation/228994-1170105995/sugar20984.csp
3.49 c END parse (2.761017 seconds)
3.49 c BEGIN simplify
3.51 c END simplify (0.015882 seconds)
3.51 c BEGIN encode /tmp/evaluation/228994-1170105995/sugar20984.bcnf
3.66 c END encode (0.150545 seconds)
3.71 c # GENERATE_SAT END : 600 variables 22845 clauses 429632 bytes (3 seconds) [Mon Jan 29 22:26:39 2007]
3.71 c # GENERATE_SAT CPU : 3.02 = 0 + 0 + 2.92 + 0.1
3.71
3.71 c # SOLVE_SAT BEGIN : /tmp/evaluation/228994-1170105995/sugar20984.bcnf [Mon Jan 29 22:26:39 2007]
3.71 c # CMD : /tmp/evaluation/228994-1170105995/minisat /tmp/evaluation/228994-1170105995/sugar20984.bcnf /tmp/evaluation/228994-1170105995/sugar20984.out
3.73 c ==================================[MINISAT]===================================
3.73 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.73 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
3.73 c ==============================================================================
3.73 c | 0 | 22845 84557 | 7615 0 0 nan | 0.000 % |
3.74 c | 100 | 22845 84557 | 8376 100 816 8.2 | 0.000 % |
3.75 c | 250 | 22845 84557 | 9214 250 2171 8.7 | 0.006 % |
3.77 c | 475 | 22846 84557 | 10135 474 3912 8.3 | 0.004 % |
3.80 c | 812 | 22849 84557 | 11149 808 7245 9.0 | 0.006 % |
3.85 c | 1318 | 22850 84557 | 12264 1313 12337 9.4 | 0.009 % |
3.92 c | 2077 | 22850 84557 | 13490 2072 20120 9.7 | 0.006 % |
4.03 c | 3218 | 22852 84557 | 14839 3211 31654 9.9 | 0.009 % |
4.21 c | 4926 | 22854 84557 | 16323 4917 48457 9.9 | 0.009 % |
4.49 c | 7488 | 22861 84557 | 17955 7472 76766 10.3 | 0.009 % |
4.98 c | 11332 | 22863 84557 | 19751 11314 116429 10.3 | 0.010 % |
5.81 c | 17098 | 22868 84557 | 21726 17075 183852 10.8 | 0.011 % |
7.27 c | 25747 | 22879 84557 | 23899 14804 167223 11.3 | 0.034 % |
9.05 c | 38722 | 22805 84329 | 26289 15803 207946 13.2 | 0.167 % |
13.19 c | 58185 | 22822 84329 | 28917 22022 303833 13.8 | 0.168 % |
19.25 c | 87378 | 22759 84113 | 31809 14871 195067 13.1 | 0.336 % |
28.94 c | 131167 | 22666 83828 | 34990 21228 291429 13.7 | 0.501 % |
45.09 c | 196852 | 22589 83573 | 38489 29591 434509 14.7 | 0.667 % |
61.63 c ==============================================================================
61.63 c restarts : 18
61.63 c conflicts : 259152 (4480 /sec)
61.63 c decisions : 328571 (5680 /sec)
61.63 c propagations : 24195695 (418255 /sec)
61.63 c conflict literals : 3810144 (30.27 % deleted)
61.63 c Memory used : 7.22 MB
61.63 c CPU time : 57.8492 s
61.63 c
61.63 c SATISFIABLE
61.64 c # SOLVE_SAT END : SATISFIABLE (58 seconds) [Mon Jan 29 22:27:37 2007]
61.64 c # SOLVE_SAT CPU : 57.87 = 0 + 0 + 57.85 + 0.02
61.64
61.64 c # RESULT : SATISFIABLE
61.64
61.64 c # OUTPUT_SOL BEGIN : SAT [Mon Jan 29 22:27:37 2007]
61.75 c BEGIN read SAT output /tmp/evaluation/228994-1170105995/sugar20984.out
61.76 c END read SAT output (0.011869 seconds)
61.76 c BEGIN write solution /tmp/evaluation/228994-1170105995/sugar20984.sol
61.77 c END write solution (0.013422 seconds)
61.81 s SATISFIABLE
61.81 v 6 6 10 3 7 15 5 13 12 12 11 4 6 11 4 2 9 8 13 5 3 6 1 13 4 4 12 5 13 8 6 13 6 0 5 7 8 0 8 15
61.81 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 22:27:37 2007]
61.81 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
61.81
61.81 c # MAIN END : (61 seconds) [Mon Jan 29 22:27:37 2007]
61.81 c # MAIN CPU : 61.41 = 0 + 0.01 + 61.24 + 0.16
61.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-228994-1170105995 -o ROOT/results/node61/solver-228994-1170105995 -C 1800 -M 900 /tmp/evaluation/228994-1170105995/solver /tmp/evaluation/228994-1170105995 /tmp/evaluation/228994-1170105995/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.84 2.36 2.87 4/82 20985
/proc/meminfo: memFree=1879520/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=18540 CPUtime=0
/proc/20984/stat : 20984 (runsolver) R 20982 20984 20750 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 30556466 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 246406507815 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20984/statm: 4635 279 244 17 0 2626 0
[startup+0.107142 s]
/proc/loadavg: 1.84 2.36 2.87 4/82 20985
/proc/meminfo: memFree=1879520/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=0.04
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1112 0 0 0 3 1 0 0 19 0 1 0 30556466 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20984/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515175 s]
/proc/loadavg: 1.84 2.36 2.87 4/82 20985
/proc/meminfo: memFree=1879520/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=0.04
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30556466 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20984/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33625 s]
/proc/loadavg: 1.84 2.36 2.87 4/90 21001
/proc/meminfo: memFree=1840864/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=0.55
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1190 7339 0 1 3 1 47 4 15 0 1 0 30556466 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20984/statm: 3431 809 371 3 0 531 0
[pid=20994] ppid=20984 vsize=807064 CPUtime=0.7
/proc/20994/stat : 20994 (java) R 20984 20984 20750 0 -1 0 8336 0 1 0 65 5 0 0 23 0 8 0 30556526 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20994/statm: 201766 8082 1494 14 0 189044 0
[pid=20994/tid=20995] ppid=20984 vsize=807064 CPUtime=0.12
/proc/20994/task/20995/stat : 20995 (java) R 20984 20984 20750 0 -1 64 2280 0 0 0 12 0 0 0 16 0 8 0 30556529 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827296 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20996] ppid=20984 vsize=807064 CPUtime=0
/proc/20994/task/20996/stat : 20996 (java) S 20984 20984 20750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30556530 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20997] ppid=20984 vsize=807064 CPUtime=0
/proc/20994/task/20997/stat : 20997 (java) S 20984 20984 20750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30556530 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20998] ppid=20984 vsize=807064 CPUtime=0
/proc/20994/task/20998/stat : 20998 (java) S 20984 20984 20750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30556535 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20999] ppid=20984 vsize=807064 CPUtime=0.06
/proc/20994/task/20999/stat : 20999 (java) S 20984 20984 20750 0 -1 64 292 0 0 0 6 0 0 0 16 0 8 0 30556535 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=21000] ppid=20984 vsize=807064 CPUtime=0
/proc/20994/task/21000/stat : 21000 (java) S 20984 20984 20750 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30556535 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=21001] ppid=20984 vsize=807064 CPUtime=0
/proc/20994/task/21001/stat : 21001 (java) S 20984 20984 20750 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30556535 826433536 8082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98741 s]
/proc/loadavg: 1.84 2.36 2.87 3/90 21001
/proc/meminfo: memFree=1816608/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=0.55
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1190 7339 0 1 3 1 47 4 15 0 1 0 30556466 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/20984/statm: 3431 809 371 3 0 531 0
[pid=20994] ppid=20984 vsize=807336 CPUtime=2.34
/proc/20994/stat : 20994 (java) R 20984 20984 20750 0 -1 0 12546 0 1 0 227 7 0 0 25 0 8 0 30556526 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073573378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20994/statm: 201834 12278 1506 14 0 189112 0
[pid=20994/tid=20995] ppid=20984 vsize=807336 CPUtime=0.37
/proc/20994/task/20995/stat : 20995 (java) S 20984 20984 20750 0 -1 64 6344 0 0 0 35 2 0 0 16 0 8 0 30556529 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20996] ppid=20984 vsize=807336 CPUtime=0
/proc/20994/task/20996/stat : 20996 (java) S 20984 20984 20750 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30556530 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20997] ppid=20984 vsize=807336 CPUtime=0
/proc/20994/task/20997/stat : 20997 (java) S 20984 20984 20750 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30556530 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20998] ppid=20984 vsize=807336 CPUtime=0
/proc/20994/task/20998/stat : 20998 (java) S 20984 20984 20750 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30556535 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=20999] ppid=20984 vsize=807336 CPUtime=0.13
/proc/20994/task/20999/stat : 20999 (java) S 20984 20984 20750 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 30556535 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=21000] ppid=20984 vsize=807336 CPUtime=0
/proc/20994/task/21000/stat : 21000 (java) S 20984 20984 20750 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30556535 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20994/tid=21001] ppid=20984 vsize=807336 CPUtime=0
/proc/20994/task/21001/stat : 21001 (java) S 20984 20984 20750 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 30556535 826712064 12278 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821060
[startup+6.28772 s]
/proc/loadavg: 1.85 2.35 2.86 3/76 21003
/proc/meminfo: memFree=1894360/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=3.57
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1280 22345 0 2 3 1 339 14 15 0 1 0 30556466 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20984/statm: 3431 819 373 3 0 531 0
[pid=21003] ppid=20984 vsize=4176 CPUtime=2.56
/proc/21003/stat : 21003 (minisat) R 20984 20984 20750 0 -1 0 810 0 0 0 256 0 0 0 25 0 1 0 30556838 4276224 691 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21003/statm: 1044 691 51 112 0 928 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 17900
[startup+12.7423 s]
/proc/loadavg: 1.86 2.35 2.86 3/76 21003
/proc/meminfo: memFree=1891736/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=3.57
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1280 22345 0 2 3 1 339 14 16 0 1 0 30556466 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20984/statm: 3431 819 373 3 0 531 0
[pid=21003] ppid=20984 vsize=5100 CPUtime=9.01
/proc/21003/stat : 21003 (minisat) R 20984 20984 20750 0 -1 0 1063 0 0 0 901 0 0 0 25 0 1 0 30556838 5222400 944 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21003/statm: 1275 944 51 112 0 1159 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 18824
[startup+25.5796 s]
/proc/loadavg: 1.89 2.33 2.85 3/76 21003
/proc/meminfo: memFree=1889880/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=3.57
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1280 22345 0 2 3 1 339 14 16 0 1 0 30556466 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20984/statm: 3431 819 373 3 0 531 0
[pid=21003] ppid=20984 vsize=6192 CPUtime=21.84
/proc/21003/stat : 21003 (minisat) R 20984 20984 20750 0 -1 0 1330 0 0 0 2184 0 0 0 25 0 1 0 30556838 6340608 1211 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 1 0 0
/proc/21003/statm: 1548 1211 51 112 0 1432 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 19916
[startup+51.244 s]
/proc/loadavg: 1.93 2.30 2.82 3/76 21003
/proc/meminfo: memFree=1887896/2055920 swapFree=4192812/4192956
[pid=20984] ppid=20982 vsize=13724 CPUtime=3.57
/proc/20984/stat : 20984 (sugar) S 20982 20984 20750 0 -1 4194304 1280 22345 0 2 3 1 339 14 16 0 1 0 30556466 14053376 819 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20984/statm: 3431 819 373 3 0 531 0
[pid=21003] ppid=20984 vsize=7248 CPUtime=47.5
/proc/21003/stat : 21003 (minisat) R 20984 20984 20750 0 -1 0 1593 0 0 0 4749 1 0 0 25 0 1 0 30556838 7421952 1474 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/21003/statm: 1812 1474 51 112 0 1696 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20972
Child status: 0
Real time (s): 61.8203
CPU time (s): 61.4597
CPU user time (s): 61.2787
CPU system time (s): 0.180972
CPU usage (%): 99.4166
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.2787
system time used= 0.180972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25413
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= 1376
involuntary context switches= 1534
runsolver used 0.047992 s user time and 0.181972 s system time
The end
Begin job on node61 on Mon Jan 29 21:26:35 UTC 2007
IDJOB= 228994
IDBENCH= 6264
IDSOLVER= 86
FILE ID= node61/228994-1170105995
PBS_JOBID= 3689846
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-13_ext.xml
COMMAND LINE= /tmp/evaluation/228994-1170105995/solver /tmp/evaluation/228994-1170105995 /tmp/evaluation/228994-1170105995/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-228994-1170105995 -o ROOT/results/node61/solver-228994-1170105995 -C 1800 -M 900 /tmp/evaluation/228994-1170105995/solver /tmp/evaluation/228994-1170105995 /tmp/evaluation/228994-1170105995/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 209a965c6a5512ace4d553e93d5b0a87
RANDOM SEED= 976677344
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.216
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.216
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: 1880000 kB
Buffers: 37384 kB
Cached: 46188 kB
SwapCached: 0 kB
Active: 76928 kB
Inactive: 51344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1880000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2720 kB
Writeback: 0 kB
Mapped: 61416 kB
Slab: 32832 kB
Committed_AS: 590420 kB
PageTables: 1872 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 node61 on Mon Jan 29 21:27:37 UTC 2007