0.05 c # Sugar v0-40 (/tmp/evaluation/216648-1170100800/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/216648-1170100800/unknown.xml [Mon Jan 29 21:00:00 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/216648-1170100800/unknown.xml /tmp/evaluation/216648-1170100800/sugar22345.csp [Mon Jan 29 21:00:00 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216648-1170100800/sugar-v0-40.jar -convert /tmp/evaluation/216648-1170100800/unknown.xml /tmp/evaluation/216648-1170100800/sugar22345.csp
0.21 c BEGIN convert /tmp/evaluation/216648-1170100800/unknown.xml
0.81 c END convert (0.594665 seconds)
0.85 c # CONVERT_XML END : /tmp/evaluation/216648-1170100800/sugar22345.csp 469124 bytes (1 seconds) [Mon Jan 29 21:00:01 2007]
0.85 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.85
0.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/216648-1170100800/sugar22345.bcnf [Mon Jan 29 21:00:01 2007]
0.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/216648-1170100800/sugar-v0-40.jar -bcnf -map /tmp/evaluation/216648-1170100800/sugar22345.map /tmp/evaluation/216648-1170100800/sugar22345.csp /tmp/evaluation/216648-1170100800/sugar22345.bcnf
0.98 c BEGIN parse /tmp/evaluation/216648-1170100800/sugar22345.csp
2.78 c END parse (1.800821 seconds)
2.78 c BEGIN simplify
2.85 c END simplify (0.067075 seconds)
2.85 c BEGIN encode /tmp/evaluation/216648-1170100800/sugar22345.bcnf
1835.28
1835.28 s UNKNOWN
1835.28 c # INTERRUPTED
1835.28 c # MAIN END : (1836 seconds) [Mon Jan 29 21:30:36 2007]
1835.28 c # MAIN CPU : 0 = 0 + 0 + 0 + 0
1835.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-216648-1170100800 -o ROOT/results/node58/solver-216648-1170100800 -C 1800 -M 900 /tmp/evaluation/216648-1170100800/solver /tmp/evaluation/216648-1170100800 /tmp/evaluation/216648-1170100800/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.07 2.16 2.26 5/74 22346
/proc/meminfo: memFree=1907272/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=18540 CPUtime=0
/proc/22345/stat : 22345 (runsolver) R 22343 22345 21575 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30036694 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22345/statm: 4635 279 244 17 0 2626 0
[startup+0.109137 s]
/proc/loadavg: 2.07 2.16 2.26 5/74 22346
/proc/meminfo: memFree=1907272/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30036694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517173 s]
/proc/loadavg: 2.07 2.16 2.26 5/74 22346
/proc/meminfo: memFree=1907272/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30036694 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34025 s]
/proc/loadavg: 2.07 2.16 2.26 4/83 22362
/proc/meminfo: memFree=1893504/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807064 CPUtime=0.46
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 7388 0 1 0 42 4 0 0 17 0 8 0 30036779 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201766 7137 1494 14 0 189044 0
[pid=22355/tid=22356] ppid=22345 vsize=807064 CPUtime=0.06
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 1335 0 0 0 6 0 0 0 16 0 8 0 30036783 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807064 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807064 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807064 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807064 CPUtime=0.05
/proc/22355/task/22360/stat : 22360 (java) R 22345 22345 21575 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30036787 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807064 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807064 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826433536 7137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 820788
[startup+2.99339 s]
/proc/loadavg: 2.07 2.16 2.26 4/83 22362
/proc/meminfo: memFree=1872576/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=2.09
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12309 0 1 0 201 8 0 0 25 0 8 0 30036779 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12048 1508 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.16
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 422 0 0 0 16 0 0 0 16 0 8 0 30036787 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12048 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 821068
[startup+6.20168 s]
/proc/loadavg: 2.07 2.16 2.25 3/83 22362
/proc/meminfo: memFree=1800384/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=5.26
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12323 0 1 0 486 40 0 0 25 0 8 0 30036779 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12059 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 17 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 821068
[startup+12.6892 s]
/proc/loadavg: 2.06 2.16 2.25 3/83 22362
/proc/meminfo: memFree=1679680/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=11.64
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12323 0 1 0 1079 85 0 0 25 0 8 0 30036779 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12059 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 821068
[startup+25.5794 s]
/proc/loadavg: 2.05 2.15 2.25 3/83 22363
/proc/meminfo: memFree=1459904/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=24.15
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12323 0 1 0 2228 187 0 0 25 0 8 0 30036779 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12059 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 821068
[startup+51.2696 s]
/proc/loadavg: 2.16 2.17 2.25 3/83 22371
/proc/meminfo: memFree=995840/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=49.2
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12323 0 1 0 4544 376 0 0 25 0 8 0 30036779 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12059 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12059 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
################
# More data... #
################
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=1570.16
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12325 0 1 0 52990 104026 0 0 25 0 8 0 30036779 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22355/statm: 201836 12061 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 434 0 0 0 18 0 0 0 17 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1570.9
Current children cumulated vsize (KiB) 821068
[startup+1664.84 s]
/proc/loadavg: 2.10 2.16 2.29 4/90 22710
/proc/meminfo: memFree=14984/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=1629.57
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12325 0 1 0 54252 108705 0 0 25 0 8 0 30036779 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22355/statm: 201836 12061 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 434 0 0 0 18 0 0 0 17 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1630.31
Current children cumulated vsize (KiB) 821068
[startup+1724.84 s]
/proc/loadavg: 1.96 2.11 2.26 2/74 22789
/proc/meminfo: memFree=277128/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=1688.91
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12325 0 1 0 55509 113382 0 0 25 0 8 0 30036779 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868370 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22355/statm: 201836 12061 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 434 0 0 0 18 0 0 0 17 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1689.65
Current children cumulated vsize (KiB) 821068
[startup+1784.84 s]
/proc/loadavg: 1.42 1.94 2.19 2/74 22789
/proc/meminfo: memFree=15952/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=1748.9
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12325 0 1 0 56769 118121 0 0 25 0 8 0 30036779 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22355/statm: 201836 12061 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 434 0 0 0 18 0 0 0 17 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1749.64
Current children cumulated vsize (KiB) 821068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1835.27 s]
/proc/loadavg: 1.17 1.78 2.12 2/74 22789
/proc/meminfo: memFree=16080/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=0.04
/proc/22345/stat : 22345 (sugar) S 22343 22345 21575 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 30036694 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22345/statm: 3431 808 370 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=807344 CPUtime=1799.31
/proc/22355/stat : 22355 (java) R 22345 22345 21575 0 -1 0 12325 0 1 0 57840 122091 0 0 25 0 8 0 30036779 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22355/statm: 201836 12061 1510 14 0 189114 0
[pid=22355/tid=22356] ppid=22345 vsize=807344 CPUtime=0.34
/proc/22355/task/22356/stat : 22356 (java) S 22345 22345 21575 0 -1 64 6069 0 0 0 32 2 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22357] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22357/stat : 22357 (java) S 22345 22345 21575 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22358] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22358/stat : 22358 (java) S 22345 22345 21575 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30036783 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22359] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22359/stat : 22359 (java) S 22345 22345 21575 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22360] ppid=22345 vsize=807344 CPUtime=0.18
/proc/22355/task/22360/stat : 22360 (java) S 22345 22345 21575 0 -1 64 434 0 0 0 18 0 0 0 17 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22355/tid=22361] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22361/stat : 22361 (java) S 22345 22345 21575 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22355/tid=22362] ppid=22345 vsize=807344 CPUtime=0
/proc/22355/task/22362/stat : 22362 (java) S 22345 22345 21575 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30036787 826720256 12061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 821068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1844.93 s]
/proc/loadavg: 1.15 1.76 2.11 2/67 22792
/proc/meminfo: memFree=1943256/2055920 swapFree=4191892/4192956
[pid=22345] ppid=22343 vsize=13724 CPUtime=1.46
/proc/22345/stat : 22345 (sugar) D 22343 22345 21575 0 -1 4194304 1213 0 0 0 3 143 0 0 18 0 1 0 30036694 14053376 810 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226238370857 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/22345/statm: 3431 810 372 3 0 531 0
[pid=22347] ppid=22345 vsize=0 CPUtime=0.7
/proc/22347/stat : 22347 (java) Z 22345 22345 21575 0 -1 1036 7799 0 2 0 64 6 0 0 16 0 1 0 30036699 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22347/statm: 0 0 0 0 0 0 0
[pid=22355] ppid=22345 vsize=0 CPUtime=1799.38
/proc/22355/stat : 22355 (java) Z 22345 22345 21575 0 -1 1036 12345 0 2 0 57841 122097 0 0 25 0 1 0 30036779 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/22355/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22345 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=34994 childrusage.ru_stime.tv_sec=1 childrusage.ru_stime.tv_usec=732736
CPU time returned by wait4() is 1.76773
while last known CPU time is 1801.84
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1849.78
CPU time (s): 1801.84
CPU user time (s): 579.08
CPU system time (s): 1222.76
CPU usage (%): 97.4083
Max. virtual memory (cumulated for all children) (KiB): 821068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.034994
system time used= 1.73274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2292
involuntary context switches= 19
runsolver used 2.11268 s user time and 6.16306 s system time
The end
Begin job on node58 on Mon Jan 29 20:00:00 UTC 2007
IDJOB= 216648
IDBENCH= 5092
IDSOLVER= 86
FILE ID= node58/216648-1170100800
PBS_JOBID= 3689692
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen3-f10.xml
COMMAND LINE= /tmp/evaluation/216648-1170100800/solver /tmp/evaluation/216648-1170100800 /tmp/evaluation/216648-1170100800/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-216648-1170100800 -o ROOT/results/node58/solver-216648-1170100800 -C 1800 -M 900 /tmp/evaluation/216648-1170100800/solver /tmp/evaluation/216648-1170100800 /tmp/evaluation/216648-1170100800/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 3422f7119b184255eb78090900f99fab
RANDOM SEED= 421853551
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.234
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.234
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: 1907688 kB
Buffers: 19748 kB
Cached: 37848 kB
SwapCached: 0 kB
Active: 71512 kB
Inactive: 25508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1907688 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1520 kB
Writeback: 0 kB
Mapped: 50036 kB
Slab: 36512 kB
Committed_AS: 238144 kB
PageTables: 1784 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= 66564 MiB
End job on node58 on Mon Jan 29 20:30:51 UTC 2007