0.04 c # Sugar v0-40 (/tmp/evaluation/194217-1170090241/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194217-1170090241/unknown.xml [Mon Jan 29 18:04:02 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194217-1170090241/unknown.xml /tmp/evaluation/194217-1170090241/sugar23548.csp [Mon Jan 29 18:04:02 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194217-1170090241/sugar-v0-40.jar -convert /tmp/evaluation/194217-1170090241/unknown.xml /tmp/evaluation/194217-1170090241/sugar23548.csp
0.16 c BEGIN convert /tmp/evaluation/194217-1170090241/unknown.xml
1.03 c END convert (0.866129 seconds)
1.08 c # CONVERT_XML END : /tmp/evaluation/194217-1170090241/sugar23548.csp 3153159 bytes (1 seconds) [Mon Jan 29 18:04:03 2007]
1.08 c # CONVERT_XML CPU : 0.97 = 0 + 0 + 0.9 + 0.07
1.08
1.08 c # GENERATE_SAT BEGIN : /tmp/evaluation/194217-1170090241/sugar23548.bcnf [Mon Jan 29 18:04:03 2007]
1.08 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194217-1170090241/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194217-1170090241/sugar23548.map /tmp/evaluation/194217-1170090241/sugar23548.csp /tmp/evaluation/194217-1170090241/sugar23548.bcnf
1.20 c BEGIN parse /tmp/evaluation/194217-1170090241/sugar23548.csp
20.16 c END parse (18.960187 seconds)
20.18 c BEGIN simplify
20.40 c END simplify (0.234801 seconds)
20.40 c BEGIN encode /tmp/evaluation/194217-1170090241/sugar23548.bcnf
22.15 c END encode (1.752837 seconds)
23.14 c # GENERATE_SAT END : 95742 variables 265941 clauses 13079108 bytes (22 seconds) [Mon Jan 29 18:04:25 2007]
23.14 c # GENERATE_SAT CPU : 22.02 = 0.84 + 0.08 + 20.63 + 0.47
23.14
23.14 c # SOLVE_SAT BEGIN : /tmp/evaluation/194217-1170090241/sugar23548.bcnf [Mon Jan 29 18:04:25 2007]
23.14 c # CMD : /tmp/evaluation/194217-1170090241/minisat /tmp/evaluation/194217-1170090241/sugar23548.bcnf /tmp/evaluation/194217-1170090241/sugar23548.out
23.48 c ==================================[MINISAT]===================================
23.48 c | Conflicts | ORIGINAL | LEARNT | Progress |
23.48 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
23.48 c ==============================================================================
23.48 c | 0 | 265941 3003824 | 88647 0 0 nan | 0.000 % |
23.58 c | 100 | 265946 3003824 | 97511 95 1421 15.0 | 0.000 % |
23.68 c | 250 | 265951 3003824 | 107262 240 3602 15.0 | 0.000 % |
23.93 c | 476 | 265957 3003824 | 117989 460 7917 17.2 | 0.000 % |
24.27 c | 813 | 265969 3003824 | 129788 785 13214 16.8 | 0.000 % |
25.13 c | 1319 | 265982 3003824 | 142766 1278 23484 18.4 | 0.000 % |
25.29 c ==============================================================================
25.29 c restarts : 6
25.29 c conflicts : 1571 (747 /sec)
25.29 c decisions : 34861 (16571 /sec)
25.29 c propagations : 3448554 (1639296 /sec)
25.29 c conflict literals : 26406 (25.96 % deleted)
25.29 c Memory used : 27.60 MB
25.29 c CPU time : 2.10368 s
25.29 c
25.29 c UNSATISFIABLE
25.30 c # SOLVE_SAT END : UNSATISFIABLE (3 seconds) [Mon Jan 29 18:04:28 2007]
25.30 c # SOLVE_SAT CPU : 2.16 = 0 + 0.01 + 2.1 + 0.0499999999999999
25.30
25.30 c # RESULT : UNSATISFIABLE
25.30
25.30 c # OUTPUT_SOL BEGIN : UNSAT [Mon Jan 29 18:04:28 2007]
25.30 s UNSATISFIABLE
25.30 c # OUTPUT_SOL END : (0 seconds) [Mon Jan 29 18:04:28 2007]
25.30 c # OUTPUT_SOL CPU : 0 = 0 + 0 + 0 + 0
25.30
25.30 c # MAIN END : (26 seconds) [Mon Jan 29 18:04:28 2007]
25.30 c # MAIN CPU : 25.15 = 0.84 + 0.09 + 23.63 + 0.59
25.30
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-194217-1170090241 -o ROOT/results/node2/solver-194217-1170090241 -C 1800 -M 900 /tmp/evaluation/194217-1170090241/solver /tmp/evaluation/194217-1170090241 /tmp/evaluation/194217-1170090241/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.72 0.43 0.16 5/83 23549
/proc/meminfo: memFree=1710320/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=12268 CPUtime=0
/proc/23548/stat : 23548 (sugar) R 23545 23548 22720 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 28979177 12562432 315 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206381480549 0 0 4224 0 0 0 0 17 1 0 0
/proc/23548/statm: 3067 315 241 3 0 167 0
[startup+0.107764 s]
/proc/loadavg: 0.72 0.43 0.16 5/83 23549
/proc/meminfo: memFree=1710320/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 28979177 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515807 s]
/proc/loadavg: 0.72 0.43 0.16 5/83 23549
/proc/meminfo: memFree=1710320/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=0.03
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 28979177 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33789 s]
/proc/loadavg: 0.72 0.43 0.16 3/98 23580
/proc/meminfo: memFree=1693368/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=1
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1190 8103 0 1 3 0 90 7 15 0 1 0 28979177 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 809 371 3 0 531 0
[pid=23573] ppid=23548 vsize=807064 CPUtime=0.25
/proc/23573/stat : 23573 (java) R 23548 23548 22720 0 -1 0 4241 0 1 0 22 3 0 0 17 0 8 0 28979286 826433536 3992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073497968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23573/statm: 201766 3993 1482 14 0 189044 0
[pid=23573/tid=23578] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23578/stat : 23578 (java) S 23548 23548 22720 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 28979289 826433536 3994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23573/tid=23579] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23579/stat : 23579 (java) S 23548 23548 22720 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 28979289 826433536 3995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23580] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23580/stat : 23580 (java) S 23548 23548 22720 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 28979289 826433536 3996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.99107 s]
/proc/loadavg: 0.72 0.43 0.16 4/102 23584
/proc/meminfo: memFree=1631448/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=1
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1190 8103 0 1 3 0 90 7 15 0 1 0 28979177 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 809 371 3 0 531 0
[pid=23573] ppid=23548 vsize=807064 CPUtime=1.89
/proc/23573/stat : 23573 (java) R 23548 23548 22720 0 -1 0 13158 0 1 0 182 7 0 0 25 0 8 0 28979286 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23573/statm: 201766 12894 1494 14 0 189044 0
[pid=23573/tid=23578] ppid=23548 vsize=807064 CPUtime=0.46
/proc/23573/task/23578/stat : 23578 (java) S 23548 23548 22720 0 -1 64 7093 0 0 0 43 3 0 0 16 0 8 0 28979289 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23579] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23579/stat : 23579 (java) S 23548 23548 22720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979289 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23580] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23580/stat : 23580 (java) S 23548 23548 22720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979289 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23581] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23581/stat : 23581 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28979293 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23582] ppid=23548 vsize=807064 CPUtime=0.05
/proc/23573/task/23582/stat : 23582 (java) S 23548 23548 22720 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28979293 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23583] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23583/stat : 23583 (java) S 23548 23548 22720 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28979293 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23584] ppid=23548 vsize=807064 CPUtime=0
/proc/23573/task/23584/stat : 23584 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979293 826433536 12894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 820788
[startup+6.28041 s]
/proc/loadavg: 0.83 0.45 0.17 3/102 23584
/proc/meminfo: memFree=1528152/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=1
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1190 8103 0 1 3 0 90 7 15 0 1 0 28979177 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 809 371 3 0 531 0
[pid=23573] ppid=23548 vsize=807340 CPUtime=5.18
/proc/23573/stat : 23573 (java) R 23548 23548 22720 0 -1 0 24550 0 1 0 505 13 0 0 25 0 8 0 28979286 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073579582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23573/statm: 201835 24245 1507 14 0 189113 0
[pid=23573/tid=23578] ppid=23548 vsize=807340 CPUtime=1.23
/proc/23573/task/23578/stat : 23578 (java) S 23548 23548 22720 0 -1 64 18308 0 0 0 114 9 0 0 16 0 8 0 28979289 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23579] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23579/stat : 23579 (java) S 23548 23548 22720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979289 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23580] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23580/stat : 23580 (java) S 23548 23548 22720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979289 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23581] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23581/stat : 23581 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28979293 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23582] ppid=23548 vsize=807340 CPUtime=0.14
/proc/23573/task/23582/stat : 23582 (java) S 23548 23548 22720 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 28979293 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23583] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23583/stat : 23583 (java) S 23548 23548 22720 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28979293 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23584] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23584/stat : 23584 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979293 826716160 24245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821064
[startup+12.7231 s]
/proc/loadavg: 0.92 0.48 0.18 3/102 23584
/proc/meminfo: memFree=1370648/2055920 swapFree=4192956/4192956
[pid=23548] ppid=23545 vsize=13724 CPUtime=1
/proc/23548/stat : 23548 (sugar) S 23545 23548 22720 0 -1 4194304 1190 8103 0 1 3 0 90 7 15 0 1 0 28979177 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23548/statm: 3431 809 371 3 0 531 0
[pid=23573] ppid=23548 vsize=807340 CPUtime=11.62
/proc/23573/stat : 23573 (java) R 23548 23548 22720 0 -1 0 42730 0 1 0 1138 24 0 0 25 0 8 0 28979286 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23573/statm: 201835 42306 1507 14 0 189113 0
[pid=23573/tid=23578] ppid=23548 vsize=807340 CPUtime=2.37
/proc/23573/task/23578/stat : 23578 (java) S 23548 23548 22720 0 -1 64 36369 0 0 0 218 19 0 0 16 0 8 0 28979289 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23579] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23579/stat : 23579 (java) S 23548 23548 22720 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28979289 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23580] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23580/stat : 23580 (java) S 23548 23548 22720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28979289 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23581] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23581/stat : 23581 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28979293 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23582] ppid=23548 vsize=807340 CPUtime=0.14
/proc/23573/task/23582/stat : 23582 (java) S 23548 23548 22720 0 -1 64 404 0 0 0 14 0 0 0 17 0 8 0 28979293 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23583] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23583/stat : 23583 (java) S 23548 23548 22720 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28979293 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23573/tid=23584] ppid=23548 vsize=807340 CPUtime=0
/proc/23573/task/23584/stat : 23584 (java) S 23548 23548 22720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28979293 826716160 42306 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 821064
Child status: 0
Real time (s): 25.3242
CPU time (s): 25.2112
CPU user time (s): 24.5123
CPU system time (s): 0.698893
CPU usage (%): 99.5538
Max. virtual memory (cumulated for all children) (KiB): 823068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.5123
system time used= 0.698893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96350
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= 3755
involuntary context switches= 3827
runsolver used 0.051992 s user time and 0.095985 s system time
The end
Begin job on node2 on Mon Jan 29 17:04:02 UTC 2007
IDJOB= 194217
IDBENCH= 3202
IDSOLVER= 86
FILE ID= node2/194217-1170090241
PBS_JOBID= 3689394
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ehi/ehi-85/ehi-85-297-18_ext.xml
COMMAND LINE= /tmp/evaluation/194217-1170090241/solver /tmp/evaluation/194217-1170090241 /tmp/evaluation/194217-1170090241/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-194217-1170090241 -o ROOT/results/node2/solver-194217-1170090241 -C 1800 -M 900 /tmp/evaluation/194217-1170090241/solver /tmp/evaluation/194217-1170090241 /tmp/evaluation/194217-1170090241/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 63acf96d707ae15bdb3b2fcf76cc15e8
RANDOM SEED= 574912907
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: 1711208 kB
Buffers: 47072 kB
Cached: 165904 kB
SwapCached: 0 kB
Active: 195000 kB
Inactive: 82828 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711208 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2112 kB
Writeback: 0 kB
Mapped: 83708 kB
Slab: 52044 kB
Committed_AS: 207132 kB
PageTables: 1984 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= 66560 MiB
End job on node2 on Mon Jan 29 17:04:33 UTC 2007