0.05 c # Sugar v0-40 (/tmp/evaluation/211494-1170098111/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/211494-1170098111/unknown.xml [Mon Jan 29 20:15:11 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/211494-1170098111/unknown.xml /tmp/evaluation/211494-1170098111/sugar17017.csp [Mon Jan 29 20:15:11 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211494-1170098111/sugar-v0-40.jar -convert /tmp/evaluation/211494-1170098111/unknown.xml /tmp/evaluation/211494-1170098111/sugar17017.csp
0.18 c BEGIN convert /tmp/evaluation/211494-1170098111/unknown.xml
1.76 c END convert (1.581659 seconds)
1.84 c # CONVERT_XML END : /tmp/evaluation/211494-1170098111/sugar17017.csp 511272 bytes (2 seconds) [Mon Jan 29 20:15:13 2007]
1.84 c # CONVERT_XML CPU : 1.69 = 0 + 0 + 1.62 + 0.07
1.84
1.84 c # GENERATE_SAT BEGIN : /tmp/evaluation/211494-1170098111/sugar17017.bcnf [Mon Jan 29 20:15:13 2007]
1.84 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211494-1170098111/sugar-v0-40.jar -bcnf -map /tmp/evaluation/211494-1170098111/sugar17017.map /tmp/evaluation/211494-1170098111/sugar17017.csp /tmp/evaluation/211494-1170098111/sugar17017.bcnf
1.97 c BEGIN parse /tmp/evaluation/211494-1170098111/sugar17017.csp
13.19 c END parse (11.21079 seconds)
13.19 c BEGIN simplify
13.20 c END simplify (0.014072 seconds)
13.20 c BEGIN encode /tmp/evaluation/211494-1170098111/sugar17017.bcnf
8364.59
8364.59 s UNKNOWN
8364.59 c # INTERRUPTED
8364.59 c # MAIN END : (8365 seconds) [Mon Jan 29 22:34:36 2007]
8364.59 c # MAIN CPU : 1.69 = 0 + 0 + 1.62 + 0.07
8364.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-211494-1170098111 -o ROOT/results/node56/solver-211494-1170098111 -C 1800 -M 900 /tmp/evaluation/211494-1170098111/solver /tmp/evaluation/211494-1170098111 /tmp/evaluation/211494-1170098111/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.00 1.75 1.34 3/81 17018
/proc/meminfo: memFree=1176280/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=5352 CPUtime=0
/proc/17017/stat : 17017 (solver) R 17015 17017 16833 0 -1 4194304 264 0 0 0 0 0 0 0 21 0 1 0 29767655 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 253307032289 0 0 4100 65536 0 0 0 17 1 0 0
/proc/17017/statm: 1338 231 193 169 0 49 0
[startup+0.104621 s]
/proc/loadavg: 2.00 1.75 1.34 3/81 17018
/proc/meminfo: memFree=1176280/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=0.03
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29767655 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.512657 s]
/proc/loadavg: 2.00 1.75 1.34 3/81 17018
/proc/meminfo: memFree=1176280/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=0.03
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29767655 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33574 s]
/proc/loadavg: 2.00 1.75 1.34 4/89 17026
/proc/meminfo: memFree=1147608/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=0.03
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29767655 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 805 368 3 0 531 0
[pid=17019] ppid=17017 vsize=807408 CPUtime=1.26
/proc/17019/stat : 17019 (java) R 17017 17017 16833 0 -1 0 8371 0 1 0 121 5 0 0 21 0 8 0 29767661 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073682926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17019/statm: 201852 8115 1690 14 0 189130 0
[pid=17019/tid=17020] ppid=17017 vsize=807408 CPUtime=0.04
/proc/17019/task/17020/stat : 17020 (java) S 17017 17017 16833 0 -1 64 1787 0 0 0 4 0 0 0 16 0 8 0 29767664 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17021] ppid=17017 vsize=807408 CPUtime=0
/proc/17019/task/17021/stat : 17021 (java) S 17017 17017 16833 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29767665 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17022] ppid=17017 vsize=807408 CPUtime=0
/proc/17019/task/17022/stat : 17022 (java) S 17017 17017 16833 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29767665 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17023] ppid=17017 vsize=807408 CPUtime=0
/proc/17019/task/17023/stat : 17023 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767668 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17024] ppid=17017 vsize=807408 CPUtime=0.15
/proc/17019/task/17024/stat : 17024 (java) S 17017 17017 16833 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 29767668 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17025] ppid=17017 vsize=807408 CPUtime=0
/proc/17019/task/17025/stat : 17025 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767668 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17019/tid=17026] ppid=17017 vsize=807408 CPUtime=0
/proc/17019/task/17026/stat : 17026 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767668 826785792 8115 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 821132
[startup+2.9849 s]
/proc/loadavg: 2.00 1.75 1.34 4/89 17034
/proc/meminfo: memFree=1153176/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 15 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1.1
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 9330 0 1 0 104 6 0 0 22 0 8 0 29767839 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17027/statm: 201839 9075 1506 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.18
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 3120 0 0 0 17 1 0 0 16 0 8 0 29767843 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.12
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 397 0 0 0 12 0 0 0 16 0 8 0 29767848 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 9075 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 821080
[startup+6.28523 s]
/proc/loadavg: 2.08 1.77 1.35 3/89 17034
/proc/meminfo: memFree=1133144/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 15 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=4.38
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 12065 0 1 0 430 8 0 0 25 0 8 0 29767839 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073721421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17027/statm: 201839 11787 1506 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.39
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 5810 0 0 0 36 3 0 0 16 0 8 0 29767843 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.15
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 419 0 0 0 15 0 0 0 17 0 8 0 29767848 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 11787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821080
[startup+12.6959 s]
/proc/loadavg: 2.08 1.78 1.36 3/89 17034
/proc/meminfo: memFree=1115352/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 15 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=10.77
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16243 0 1 0 1066 11 0 0 25 0 8 0 29767839 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17027/statm: 201839 15921 1506 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.78
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 9944 0 0 0 73 5 0 0 16 0 8 0 29767843 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.15
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 419 0 0 0 15 0 0 0 17 0 8 0 29767848 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 15921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 821080
[startup+25.5671 s]
/proc/loadavg: 2.30 1.84 1.38 3/89 17034
/proc/meminfo: memFree=796760/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=23.52
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16688 0 1 0 2188 164 0 0 25 0 8 0 29767839 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818206 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17027/statm: 201839 16360 1508 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.16
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 426 0 0 0 16 0 0 0 16 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 821080
[startup+51.2146 s]
/proc/loadavg: 3.91 2.24 1.52 2/88 17066
/proc/meminfo: memFree=708248/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=48.52
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16688 0 1 0 4417 435 0 0 25 0 8 0 29767839 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16360 1508 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.16
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 426 0 0 0 16 0 0 0 16 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.24
Current children cumulated vsize (KiB) 821080
[startup+102.464 s]
/proc/loadavg: 4.63 2.75 1.74 1/85 17066
/proc/meminfo: memFree=502768/2055920 swapFree=4183436/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=55.37
/proc/17027/stat : 17027 (java) D 17017 17017 16833 0 -1 0 16688 0 1 0 4983 554 0 0 24 0 8 0 29767839 826732544 16360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16360 1508 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
################
# More data... #
################
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1643.63
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16694 0 1 0 142521 21842 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1645.35
Current children cumulated vsize (KiB) 821080
[startup+8089.35 s]
/proc/loadavg: 5.10 4.97 5.41 3/90 17990
/proc/meminfo: memFree=15616/2055920 swapFree=4183548/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1702.68
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16694 0 1 0 143699 26569 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.4
Current children cumulated vsize (KiB) 821080
[startup+8149.44 s]
/proc/loadavg: 4.79 4.88 5.35 1/90 17991
/proc/meminfo: memFree=16384/2055920 swapFree=4183548/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1709.88
/proc/17027/stat : 17027 (java) D 17017 17017 16833 0 -1 0 16694 0 1 0 143834 27154 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.6
Current children cumulated vsize (KiB) 821080
[startup+8273.96 s]
/proc/loadavg: 4.79 4.88 5.35 1/90 17991
/proc/meminfo: memFree=16384/2055920 swapFree=4183548/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1709.88
/proc/17027/stat : 17027 (java) D 17017 17017 16833 0 -1 0 16694 0 1 0 143834 27154 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.6
Current children cumulated vsize (KiB) 821080
[startup+8333.98 s]
/proc/loadavg: 5.26 5.37 5.48 3/90 17994
/proc/meminfo: memFree=14848/2055920 swapFree=4183548/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1768.09
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16694 0 1 0 145014 31795 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.81
Current children cumulated vsize (KiB) 821080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+8364.58 s]
/proc/loadavg: 5.00 5.30 5.45 3/90 17995
/proc/meminfo: memFree=16128/2055920 swapFree=4183548/4192956
[pid=17017] ppid=17015 vsize=13724 CPUtime=1.72
/proc/17017/stat : 17017 (sugar) S 17015 17017 16833 0 -1 4194304 1190 9284 0 1 3 0 162 7 16 0 1 0 29767655 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 253316083810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17017/statm: 3431 809 371 3 0 531 0
[pid=17027] ppid=17017 vsize=807356 CPUtime=1798.37
/proc/17027/stat : 17027 (java) R 17017 17017 16833 0 -1 0 16694 0 1 0 145618 34219 0 0 25 0 8 0 29767839 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17027/statm: 201839 16366 1509 14 0 189117 0
[pid=17027/tid=17028] ppid=17017 vsize=807356 CPUtime=0.81
/proc/17027/task/17028/stat : 17028 (java) S 17017 17017 16833 0 -1 64 10368 0 0 0 76 5 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17029] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17029/stat : 17029 (java) S 17017 17017 16833 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17030] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17030/stat : 17030 (java) S 17017 17017 16833 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29767843 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17031] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17031/stat : 17031 (java) S 17017 17017 16833 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17032] ppid=17017 vsize=807356 CPUtime=0.17
/proc/17027/task/17032/stat : 17032 (java) S 17017 17017 16833 0 -1 64 432 0 0 0 17 0 0 0 16 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17033] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17033/stat : 17033 (java) S 17017 17017 16833 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17027/tid=17034] ppid=17017 vsize=807356 CPUtime=0
/proc/17027/task/17034/stat : 17034 (java) S 17017 17017 16833 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29767848 826732544 16366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 821080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 17017 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=663747 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=88986
CPU time returned by wait4() is 1.75273
while last known CPU time is 1800.95
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 8366.81
CPU time (s): 1800.95
CPU user time (s): 1458.02
CPU system time (s): 342.93
CPU usage (%): 21.5249
Max. virtual memory (cumulated for all children) (KiB): 821596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.66375
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10497
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= 735
involuntary context switches= 635
runsolver used 10.4774 s user time and 26.7059 s system time
The end
Begin job on node56 on Mon Jan 29 19:15:11 UTC 2007
IDJOB= 211494
IDBENCH= 4698
IDSOLVER= 86
FILE ID= node56/211494-1170098111
PBS_JOBID= 3689705
Free space on /tmp= 66535 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-timtab1.xml
COMMAND LINE= /tmp/evaluation/211494-1170098111/solver /tmp/evaluation/211494-1170098111 /tmp/evaluation/211494-1170098111/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-211494-1170098111 -o ROOT/results/node56/solver-211494-1170098111 -C 1800 -M 900 /tmp/evaluation/211494-1170098111/solver /tmp/evaluation/211494-1170098111 /tmp/evaluation/211494-1170098111/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 32c91da81888477cfae68f23dd35133c
RANDOM SEED= 5035077
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.231
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.231
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: 1177080 kB
Buffers: 24888 kB
Cached: 146152 kB
SwapCached: 4604 kB
Active: 691876 kB
Inactive: 117316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1177080 kB
SwapTotal: 4192956 kB
SwapFree: 4183436 kB
Dirty: 1588 kB
Writeback: 0 kB
Mapped: 649620 kB
Slab: 53252 kB
Committed_AS: 791772 kB
PageTables: 3432 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= 16472 MiB
End job on node56 on Mon Jan 29 21:34:46 UTC 2007