0.05 c # Sugar v0-40 (/tmp/evaluation/211507-1170098113/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/211507-1170098113/unknown.xml [Mon Jan 29 20:15:14 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/211507-1170098113/unknown.xml /tmp/evaluation/211507-1170098113/sugar28717.csp [Mon Jan 29 20:15:14 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211507-1170098113/sugar-v0-40.jar -convert /tmp/evaluation/211507-1170098113/unknown.xml /tmp/evaluation/211507-1170098113/sugar28717.csp
0.19 c BEGIN convert /tmp/evaluation/211507-1170098113/unknown.xml
1.06 c END convert (0.873198 seconds)
1.08 c # CONVERT_XML END : /tmp/evaluation/211507-1170098113/sugar28717.csp 413618 bytes (1 seconds) [Mon Jan 29 20:15:15 2007]
1.08 c # CONVERT_XML CPU : 0.98 = 0 + 0 + 0.92 + 0.06
1.08
1.08 c # GENERATE_SAT BEGIN : /tmp/evaluation/211507-1170098113/sugar28717.bcnf [Mon Jan 29 20:15:15 2007]
1.08 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/211507-1170098113/sugar-v0-40.jar -bcnf -map /tmp/evaluation/211507-1170098113/sugar28717.map /tmp/evaluation/211507-1170098113/sugar28717.csp /tmp/evaluation/211507-1170098113/sugar28717.bcnf
1.21 c BEGIN parse /tmp/evaluation/211507-1170098113/sugar28717.csp
19.87 c END parse (18.65801 seconds)
19.87 c BEGIN simplify
19.88 c END simplify (0.01271 seconds)
19.88 c BEGIN encode /tmp/evaluation/211507-1170098113/sugar28717.bcnf
1874.79
1874.79 s UNKNOWN
1874.79 c # INTERRUPTED
1874.79 c # MAIN END : (1874 seconds) [Mon Jan 29 20:46:28 2007]
1874.79 c # MAIN CPU : 0.98 = 0 + 0 + 0.92 + 0.06
1874.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-211507-1170098113 -o ROOT/results/node10/solver-211507-1170098113 -C 1800 -M 900 /tmp/evaluation/211507-1170098113/solver /tmp/evaluation/211507-1170098113 /tmp/evaluation/211507-1170098113/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 2.03 2.00 5/88 28718
/proc/meminfo: memFree=1725072/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=7504 CPUtime=0
/proc/28717/stat : 28717 (sugar) R 28715 28717 25285 0 -1 4194304 315 0 0 0 0 0 0 0 20 0 1 0 29766349 7684096 51 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214917248393 0 0 4096 0 0 0 0 17 1 0 0
/proc/28717/statm: 1876 51 38 3 0 55 0
[startup+0.105022 s]
/proc/loadavg: 2.00 2.03 2.00 5/88 28718
/proc/meminfo: memFree=1725072/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=0.03
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29766349 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.513075 s]
/proc/loadavg: 2.00 2.03 2.00 5/88 28718
/proc/meminfo: memFree=1725072/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=0.03
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29766349 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33419 s]
/proc/loadavg: 2.00 2.03 2.00 4/92 28730
/proc/meminfo: memFree=1720048/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 15 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807064 CPUtime=0.22
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 3605 0 1 0 20 2 0 0 17 0 8 0 29766458 826433536 3356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201766 3356 1482 14 0 189044 0
[pid=28727/tid=28728] ppid=28717 vsize=807064 CPUtime=0
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 29766461 826433536 3356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807064 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29766462 826433536 3356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807064 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29766462 826433536 3356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+2.97842 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 28734
/proc/meminfo: memFree=1693392/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 15 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1.85
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 9317 0 1 0 180 5 0 0 25 0 8 0 29766458 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 9058 1506 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.18
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 3096 0 0 0 17 1 0 0 16 0 8 0 29766461 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.14
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 29766466 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 9058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821100
[startup+6.18685 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 28734
/proc/meminfo: memFree=1685712/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 15 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=5.03
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 10596 0 1 0 497 6 0 0 25 0 8 0 29766458 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073620316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 10318 1506 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.31
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 4354 0 0 0 29 2 0 0 16 0 8 0 29766461 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.14
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 414 0 0 0 14 0 0 0 16 0 8 0 29766466 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 10318 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 821100
[startup+12.6767 s]
/proc/loadavg: 2.00 2.02 2.00 3/96 28734
/proc/meminfo: memFree=1674512/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 15 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=11.46
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 12604 0 1 0 1138 8 0 0 25 0 8 0 29766458 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 12289 1506 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.54
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 6325 0 0 0 51 3 0 0 16 0 8 0 29766461 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.14
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 414 0 0 0 14 0 0 0 16 0 8 0 29766466 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 12289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 12289 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) 821100
[startup+25.5655 s]
/proc/loadavg: 2.00 2.02 2.00 4/96 28734
/proc/meminfo: memFree=1524688/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=24.18
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14797 0 1 0 2347 71 0 0 25 0 8 0 29766458 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 14438 1508 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.16
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 821100
[startup+51.241 s]
/proc/loadavg: 2.98 2.25 2.07 3/96 28740
/proc/meminfo: memFree=844368/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=49.02
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14797 0 1 0 4544 358 0 0 25 0 8 0 29766458 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 14438 1508 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.16
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 421 0 0 0 15 1 0 0 16 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.03
Current children cumulated vsize (KiB) 821100
[startup+102.503 s]
/proc/loadavg: 4.33 2.74 2.25 3/96 28754
/proc/meminfo: memFree=15504/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=98.31
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14797 0 1 0 8917 914 0 0 25 0 8 0 29766458 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 14438 1508 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14438 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.16
################
# More data... #
################
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.47
Current children cumulated vsize (KiB) 821100
[startup+1663.82 s]
/proc/loadavg: 3.74 3.02 2.76 2/89 29081
/proc/meminfo: memFree=16176/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1595.18
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14803 0 2 0 146812 12706 0 0 25 0 8 0 29766458 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28727/statm: 201844 14445 1509 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.19
Current children cumulated vsize (KiB) 821100
[startup+1723.87 s]
/proc/loadavg: 3.52 3.10 2.80 3/96 29211
/proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1653.41
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14803 0 2 0 152232 13109 0 0 25 0 8 0 29766458 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 201844 14445 1509 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.42
Current children cumulated vsize (KiB) 821100
[startup+1783.92 s]
/proc/loadavg: 2.78 2.96 2.77 3/96 29211
/proc/meminfo: memFree=15104/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1711.34
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14803 0 2 0 157645 13489 0 0 25 0 8 0 29766458 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 201844 14445 1509 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.35
Current children cumulated vsize (KiB) 821100
[startup+1843.97 s]
/proc/loadavg: 2.56 2.86 2.74 3/96 29211
/proc/meminfo: memFree=16000/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1769.35
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14803 0 2 0 163072 13863 0 0 25 0 8 0 29766458 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152096930 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 201844 14445 1509 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.36
Current children cumulated vsize (KiB) 821100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1874.77 s]
/proc/loadavg: 2.54 2.82 2.73 3/96 29211
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=1.01
/proc/28717/stat : 28717 (sugar) S 28715 28717 25285 0 -1 4194304 1190 8319 0 1 3 0 92 6 16 0 1 0 29766349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214928765026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28717/statm: 3431 809 371 3 0 531 0
[pid=28727] ppid=28717 vsize=807376 CPUtime=1799.03
/proc/28727/stat : 28727 (java) R 28717 28717 25285 0 -1 0 14803 0 2 0 165840 14063 0 0 25 0 8 0 29766458 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804510 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 201844 14445 1509 14 0 189122 0
[pid=28727/tid=28728] ppid=28717 vsize=807376 CPUtime=0.82
/proc/28727/task/28728/stat : 28728 (java) S 28717 28717 25285 0 -1 64 8459 0 0 0 78 4 0 0 16 0 8 0 29766461 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28729] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28729/stat : 28729 (java) S 28717 28717 25285 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28730] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28717 28717 25285 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29766462 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28731] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28717 28717 25285 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28732] ppid=28717 vsize=807376 CPUtime=0.17
/proc/28727/task/28732/stat : 28732 (java) S 28717 28717 25285 0 -1 64 427 0 1 0 16 1 0 0 17 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28733] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28733/stat : 28733 (java) S 28717 28717 25285 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28727/tid=28734] ppid=28717 vsize=807376 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28717 28717 25285 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29766466 826753024 14445 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 821100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1904.03 s]
/proc/loadavg: 2.38 2.76 2.71 2/89 29214
/proc/meminfo: memFree=1887488/2055920 swapFree=4192812/4192956
[pid=28717] ppid=28715 vsize=13724 CPUtime=3.6
/proc/28717/stat : 28717 (sugar) D 28715 28717 25285 0 -1 4194304 1215 8319 0 1 3 259 92 6 18 0 1 0 29766349 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 214920041513 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/28717/statm: 3431 811 373 3 0 531 0
[pid=28727] ppid=28717 vsize=0 CPUtime=1799.08
/proc/28727/stat : 28727 (java) Z 28717 28717 25285 0 -1 1036 14821 0 3 0 165843 14065 0 0 22 0 1 0 29766458 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28727/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.68
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28717 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=963853 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=467472
CPU time returned by wait4() is 4.43132
while last known CPU time is 1803.48
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1915.31
CPU time (s): 1803.48
CPU user time (s): 1659.38
CPU system time (s): 144.1
CPU usage (%): 94.1612
Max. virtual memory (cumulated for all children) (KiB): 822132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.963853
system time used= 3.46747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9534
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8329
involuntary context switches= 791
runsolver used 2.25866 s user time and 6.44202 s system time
The end
Begin job on node10 on Mon Jan 29 19:15:13 UTC 2007
IDJOB= 211507
IDBENCH= 4699
IDSOLVER= 86
FILE ID= node10/211507-1170098113
PBS_JOBID= 3689421
Free space on /tmp= 66556 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-glass4.xml
COMMAND LINE= /tmp/evaluation/211507-1170098113/solver /tmp/evaluation/211507-1170098113 /tmp/evaluation/211507-1170098113/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-211507-1170098113 -o ROOT/results/node10/solver-211507-1170098113 -C 1800 -M 900 /tmp/evaluation/211507-1170098113/solver /tmp/evaluation/211507-1170098113 /tmp/evaluation/211507-1170098113/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a393d1e6548d9c16d28bba6527a32f99
RANDOM SEED= 601427123
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.232
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.232
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: 1725552 kB
Buffers: 40120 kB
Cached: 73576 kB
SwapCached: 0 kB
Active: 205824 kB
Inactive: 68900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1256 kB
Writeback: 0 kB
Mapped: 180820 kB
Slab: 40368 kB
Committed_AS: 569104 kB
PageTables: 2372 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= 66559 MiB
End job on node10 on Mon Jan 29 19:47:09 UTC 2007