0.05 c # Sugar v0-40 (/tmp/evaluation/200557-1170094546/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/200557-1170094546/unknown.xml [Mon Jan 29 19:15:47 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/200557-1170094546/unknown.xml /tmp/evaluation/200557-1170094546/sugar24532.csp [Mon Jan 29 19:15:47 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200557-1170094546/sugar-v0-40.jar -convert /tmp/evaluation/200557-1170094546/unknown.xml /tmp/evaluation/200557-1170094546/sugar24532.csp
0.18 c BEGIN convert /tmp/evaluation/200557-1170094546/unknown.xml
0.91 c END convert (0.735001 seconds)
0.92 c # CONVERT_XML END : /tmp/evaluation/200557-1170094546/sugar24532.csp 217755 bytes (1 seconds) [Mon Jan 29 19:15:48 2007]
0.92 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.92
0.92 c # GENERATE_SAT BEGIN : /tmp/evaluation/200557-1170094546/sugar24532.bcnf [Mon Jan 29 19:15:48 2007]
0.92 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/200557-1170094546/sugar-v0-40.jar -bcnf -map /tmp/evaluation/200557-1170094546/sugar24532.map /tmp/evaluation/200557-1170094546/sugar24532.csp /tmp/evaluation/200557-1170094546/sugar24532.bcnf
1.04 c BEGIN parse /tmp/evaluation/200557-1170094546/sugar24532.csp
2.99 c END parse (1.94887 seconds)
2.99 c BEGIN simplify
3.13 c END simplify (0.140747 seconds)
3.13 c BEGIN encode /tmp/evaluation/200557-1170094546/sugar24532.bcnf
228.83 c END encode (225.698632 seconds)
229.25 c # GENERATE_SAT END : 1062805 variables 210423950 clauses 3743146956 bytes (228 seconds) [Mon Jan 29 19:19:36 2007]
229.25 c # GENERATE_SAT CPU : 218.24 = 0.23 + 0.03 + 203.62 + 14.36
229.25
229.25 c # SOLVE_SAT BEGIN : /tmp/evaluation/200557-1170094546/sugar24532.bcnf [Mon Jan 29 19:19:36 2007]
229.25 c # CMD : /tmp/evaluation/200557-1170094546/minisat /tmp/evaluation/200557-1170094546/sugar24532.bcnf /tmp/evaluation/200557-1170094546/sugar24532.out
229.28 c ERROR! Could not open file: /tmp/evaluation/200557-1170094546/sugar24532.bcnf
229.28 s UNKNOWN
229.28 c # ERROR No such file or directory /tmp/evaluation/200557-1170094546/sugar24532.out, at /tmp/evaluation/200557-1170094546/sugar line 393.
229.28
229.28 c # MAIN END : (229 seconds) [Mon Jan 29 19:19:36 2007]
229.28 c # MAIN CPU : 218.24 = 0.23 + 0.03 + 203.62 + 14.36
229.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-200557-1170094546 -o ROOT/results/node15/solver-200557-1170094546 -C 1800 -M 900 /tmp/evaluation/200557-1170094546/solver /tmp/evaluation/200557-1170094546 /tmp/evaluation/200557-1170094546/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.12 2.11 2.24 5/87 24533
/proc/meminfo: memFree=1130928/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=18540 CPUtime=0
/proc/24532/stat : 24532 (runsolver) R 24530 24532 23592 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29409074 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24532/statm: 4635 279 244 17 0 2626 0
[startup+0.110264 s]
/proc/loadavg: 2.12 2.11 2.24 5/87 24533
/proc/meminfo: memFree=1130928/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.03
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1112 0 0 0 2 1 0 0 18 0 1 0 29409074 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518331 s]
/proc/loadavg: 2.12 2.11 2.24 5/87 24533
/proc/meminfo: memFree=1130928/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.03
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 29409074 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34547 s]
/proc/loadavg: 2.12 2.11 2.24 4/96 24549
/proc/meminfo: memFree=1122664/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 15 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807064 CPUtime=0.4
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 6551 0 1 0 37 3 0 0 21 0 8 0 29409167 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073523249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201766 6301 1494 14 0 189044 0
[pid=24542/tid=24543] ppid=24532 vsize=807064 CPUtime=0.02
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 498 0 0 0 2 0 0 0 16 0 8 0 29409170 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807064 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807064 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807064 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807064 CPUtime=0.06
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 293 0 0 0 6 0 0 0 16 0 8 0 29409174 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807064 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807064 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826433536 6301 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 820788
[startup+2.98375 s]
/proc/loadavg: 2.11 2.11 2.24 3/96 24549
/proc/meminfo: memFree=1098984/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 15 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807360 CPUtime=2.02
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 11488 0 1 0 195 7 0 0 25 0 8 0 29409167 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073588756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201840 11227 1506 14 0 189118 0
[pid=24542/tid=24543] ppid=24532 vsize=807360 CPUtime=0.29
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 5267 0 0 0 27 2 0 0 16 0 8 0 29409170 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807360 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807360 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807360 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807360 CPUtime=0.15
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 421 0 0 0 15 0 0 0 16 0 8 0 29409174 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807360 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807360 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826736640 11227 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821084
[startup+6.1893 s]
/proc/loadavg: 2.11 2.11 2.24 3/96 24549
/proc/meminfo: memFree=1031336/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=5.19
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 487 32 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 821176
[startup+12.6804 s]
/proc/loadavg: 2.09 2.11 2.24 3/96 24549
/proc/meminfo: memFree=914792/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=11.59
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 1086 73 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 821176
[startup+25.5816 s]
/proc/loadavg: 2.23 2.14 2.25 4/96 24549
/proc/meminfo: memFree=699688/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=24.13
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 2262 151 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 821176
[startup+51.2765 s]
/proc/loadavg: 2.29 2.16 2.25 4/96 24549
/proc/meminfo: memFree=259752/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=49.09
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 4596 313 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 821176
[startup+102.533 s]
/proc/loadavg: 2.84 2.32 2.30 3/96 24549
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=98.56
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 9224 632 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 99.44
Current children cumulated vsize (KiB) 821176
[startup+162.583 s]
/proc/loadavg: 3.04 2.47 2.35 3/96 24549
/proc/meminfo: memFree=16168/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=156.14
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 14581 1033 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 157.02
Current children cumulated vsize (KiB) 821176
[startup+222.633 s]
/proc/loadavg: 3.98 2.81 2.47 3/96 24549
/proc/meminfo: memFree=15400/2055920 swapFree=4192812/4192956
[pid=24532] ppid=24530 vsize=13724 CPUtime=0.04
/proc/24532/stat : 24532 (sugar) S 24530 24532 23592 0 -1 4194304 1188 0 0 0 2 2 0 0 16 0 1 0 29409074 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24532/statm: 3431 808 370 3 0 531 0
[pid=24534] ppid=24532 vsize=0 CPUtime=0.84
/proc/24534/stat : 24534 (java) Z 24532 24532 23592 0 -1 1036 8667 0 1 0 78 6 0 0 17 0 1 0 29409080 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24534/statm: 0 0 0 0 0 0 0
[pid=24542] ppid=24532 vsize=807452 CPUtime=213.18
/proc/24542/stat : 24542 (java) R 24532 24532 23592 0 -1 0 14620 0 1 0 19915 1403 0 0 25 0 8 0 29409167 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846510 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24542/statm: 201863 14356 1510 14 0 189141 0
[pid=24542/tid=24543] ppid=24532 vsize=807452 CPUtime=0.41
/proc/24542/task/24543/stat : 24543 (java) S 24532 24532 23592 0 -1 64 8357 0 0 0 37 4 0 0 16 0 8 0 29409170 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24544] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24544/stat : 24544 (java) S 24532 24532 23592 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24545] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24545/stat : 24545 (java) S 24532 24532 23592 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29409171 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24546] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24546/stat : 24546 (java) S 24532 24532 23592 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24547] ppid=24532 vsize=807452 CPUtime=0.19
/proc/24542/task/24547/stat : 24547 (java) S 24532 24532 23592 0 -1 64 438 0 0 0 18 1 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24548] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24548/stat : 24548 (java) S 24532 24532 23592 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24542/tid=24549] ppid=24532 vsize=807452 CPUtime=0
/proc/24542/task/24549/stat : 24549 (java) S 24532 24532 23592 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29409174 826830848 14356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 214.06
Current children cumulated vsize (KiB) 821176
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24532 and gives childrusage.ru_utime.tv_sec=203 childrusage.ru_utime.tv_usec=882005 childrusage.ru_stime.tv_sec=15 childrusage.ru_stime.tv_usec=294674
CPU time returned by wait4() is 219.177
while last known CPU time is 219.99
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 232.017
CPU time (s): 219.99
CPU user time (s): 204.65
CPU system time (s): 15.34
CPU usage (%): 94.8165
Max. virtual memory (cumulated for all children) (KiB): 821176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.882
system time used= 15.2947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19981
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5885
involuntary context switches= 13078
runsolver used 0.285956 s user time and 0.794879 s system time
The end
Begin job on node15 on Mon Jan 29 18:15:47 UTC 2007
IDJOB= 200557
IDBENCH= 3714
IDSOLVER= 86
FILE ID= node15/200557-1170094546
PBS_JOBID= 3689413
Free space on /tmp= 66347 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/queensKnights/queensKnights-100-5-add.xml
COMMAND LINE= /tmp/evaluation/200557-1170094546/solver /tmp/evaluation/200557-1170094546 /tmp/evaluation/200557-1170094546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-200557-1170094546 -o ROOT/results/node15/solver-200557-1170094546 -C 1800 -M 900 /tmp/evaluation/200557-1170094546/solver /tmp/evaluation/200557-1170094546 /tmp/evaluation/200557-1170094546/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 814dd4df9b9e9ae148440d277fd5ff15
RANDOM SEED= 780591063
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.276
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.276
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: 1131344 kB
Buffers: 21844 kB
Cached: 361676 kB
SwapCached: 0 kB
Active: 748040 kB
Inactive: 126856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1131344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1384 kB
Writeback: 0 kB
Mapped: 511040 kB
Slab: 33720 kB
Committed_AS: 726048 kB
PageTables: 3032 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= 66347 MiB
End job on node15 on Mon Jan 29 18:19:39 UTC 2007