0.04 c # Sugar v0-40 (/tmp/evaluation/195592-1170092208/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/195592-1170092208/unknown.xml [Mon Jan 29 18:36:55 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/195592-1170092208/unknown.xml /tmp/evaluation/195592-1170092208/sugar23606.csp [Mon Jan 29 18:36:55 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195592-1170092208/sugar-v0-40.jar -convert /tmp/evaluation/195592-1170092208/unknown.xml /tmp/evaluation/195592-1170092208/sugar23606.csp
0.67 c BEGIN convert /tmp/evaluation/195592-1170092208/unknown.xml
1.51 c END convert (0.846453 seconds)
1.57 c # CONVERT_XML END : /tmp/evaluation/195592-1170092208/sugar23606.csp 952572 bytes (1 seconds) [Mon Jan 29 18:36:56 2007]
1.57 c # CONVERT_XML CPU : 0.82 = 0 + 0.01 + 0.72 + 0.09
1.57
1.57 c # GENERATE_SAT BEGIN : /tmp/evaluation/195592-1170092208/sugar23606.bcnf [Mon Jan 29 18:36:56 2007]
1.57 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195592-1170092208/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195592-1170092208/sugar23606.map /tmp/evaluation/195592-1170092208/sugar23606.csp /tmp/evaluation/195592-1170092208/sugar23606.bcnf
1.69 c BEGIN parse /tmp/evaluation/195592-1170092208/sugar23606.csp
4.62 c END parse (2.931789 seconds)
4.62 c BEGIN simplify
4.65 c END simplify (0.034902 seconds)
4.65 c BEGIN encode /tmp/evaluation/195592-1170092208/sugar23606.bcnf
1983.52
1983.52 s UNKNOWN
1983.52 c # INTERRUPTED
1983.52 c # MAIN END : (1983 seconds) [Mon Jan 29 19:09:58 2007]
1983.52 c # MAIN CPU : 0.82 = 0 + 0.01 + 0.72 + 0.09
1983.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-195592-1170092208 -o ROOT/results/node24/solver-195592-1170092208 -C 1800 -M 900 /tmp/evaluation/195592-1170092208/solver /tmp/evaluation/195592-1170092208 /tmp/evaluation/195592-1170092208/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: 1.36 1.87 1.90 4/81 23607
/proc/meminfo: memFree=1596392/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=12268 CPUtime=0
/proc/23606/stat : 23606 (sugar) R 23585 23606 23477 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 29175745 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237788428901 0 0 4224 0 0 0 0 17 1 0 0
/proc/23606/statm: 3067 315 241 3 0 167 0
[startup+0.107176 s]
/proc/loadavg: 1.36 1.87 1.90 4/81 23607
/proc/meminfo: memFree=1596392/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.04
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29175745 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.515183 s]
/proc/loadavg: 1.36 1.87 1.90 4/81 23607
/proc/meminfo: memFree=1596392/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.04
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29175745 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33628 s]
/proc/loadavg: 1.36 1.87 1.90 3/102 23628
/proc/meminfo: memFree=1554352/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.04
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29175745 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23606/statm: 3431 805 368 3 0 531 0
[pid=23608] ppid=23606 vsize=807408 CPUtime=0.61
/proc/23608/stat : 23608 (java) R 23606 23606 23477 0 -1 0 7098 0 80 0 54 7 0 0 19 0 8 0 29175750 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23608/statm: 201852 6925 1690 14 0 189130 0
[pid=23608/tid=23615] ppid=23606 vsize=807408 CPUtime=0.01
/proc/23608/task/23615/stat : 23615 (java) R 23606 23606 23477 0 -1 64 588 0 0 0 1 0 0 0 17 0 8 0 29175788 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23617] ppid=23606 vsize=807408 CPUtime=0
/proc/23608/task/23617/stat : 23617 (java) S 23606 23606 23477 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 29175791 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23619] ppid=23606 vsize=807408 CPUtime=0
/proc/23608/task/23619/stat : 23619 (java) S 23606 23606 23477 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29175791 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23621] ppid=23606 vsize=807408 CPUtime=0
/proc/23608/task/23621/stat : 23621 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 29175797 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23622] ppid=23606 vsize=807408 CPUtime=0.16
/proc/23608/task/23622/stat : 23622 (java) S 23606 23606 23477 0 -1 64 415 0 0 0 15 1 0 0 16 0 8 0 29175797 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23624] ppid=23606 vsize=807408 CPUtime=0
/proc/23608/task/23624/stat : 23624 (java) S 23606 23606 23477 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 29175797 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23608/tid=23626] ppid=23606 vsize=807408 CPUtime=0
/proc/23608/task/23626/stat : 23626 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175797 826785792 6925 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 821132
[startup+2.97945 s]
/proc/loadavg: 1.36 1.87 1.90 5/102 23644
/proc/meminfo: memFree=1519536/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 15 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1.38
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 10341 0 1 0 132 6 0 0 24 0 8 0 29175902 826720256 10084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 10090 1506 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.27
/proc/23637/task/23638/stat : 23638 (java) R 23606 23606 23477 0 -1 64 4164 0 0 0 26 1 0 0 16 0 8 0 29175905 826720256 10095 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.11
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 398 0 0 0 11 0 0 0 16 0 8 0 29175909 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175909 826720256 10099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 821068
[startup+6.18679 s]
/proc/loadavg: 1.41 1.87 1.90 3/102 23644
/proc/meminfo: memFree=1383152/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=4.57
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 16976 0 1 0 433 24 0 0 25 0 8 0 29175902 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 16704 1508 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.62
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 10724 0 0 0 58 4 0 0 17 0 8 0 29175905 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.17
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 425 0 0 0 16 1 0 0 15 0 8 0 29175909 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175909 826720256 16704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 821068
[startup+12.6625 s]
/proc/loadavg: 1.69 1.92 1.92 3/102 23644
/proc/meminfo: memFree=1106232/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=10.93
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18396 0 1 0 1023 70 0 0 25 0 8 0 29175902 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 18122 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 433 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 821068
[startup+25.5399 s]
/proc/loadavg: 2.67 2.12 1.99 3/105 23649
/proc/meminfo: memFree=655584/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=23.25
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18396 0 1 0 2164 161 0 0 25 0 8 0 29175902 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 18122 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 433 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.1
Current children cumulated vsize (KiB) 821068
[startup+51.1837 s]
/proc/loadavg: 4.51 2.60 2.14 3/109 23655
/proc/meminfo: memFree=16384/2055920 swapFree=4144968/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=48.06
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18396 0 1 0 4435 371 0 0 25 0 8 0 29175902 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 18122 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 433 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29175909 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.91
Current children cumulated vsize (KiB) 821068
[startup+102.483 s]
/proc/loadavg: 6.84 3.57 2.50 2/106 23657
/proc/meminfo: memFree=15896/2055920 swapFree=4144972/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=96.81
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18396 0 1 0 8925 756 0 0 25 0 8 0 29175902 826720256 18122 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 18122 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
################
# More data... #
################
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1544.33
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 58948 95485 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.12
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 6 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1545.18
Current children cumulated vsize (KiB) 821068
[startup+1783.98 s]
/proc/loadavg: 2.08 2.26 2.80 3/102 23900
/proc/meminfo: memFree=15544/2055920 swapFree=4145168/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1603.83
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 60009 100374 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.12
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 6 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1604.68
Current children cumulated vsize (KiB) 821068
[startup+1844.05 s]
/proc/loadavg: 2.19 2.26 2.76 3/102 23900
/proc/meminfo: memFree=15352/2055920 swapFree=4145168/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1663.05
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 61099 105206 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.13
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.9
Current children cumulated vsize (KiB) 821068
[startup+1904.09 s]
/proc/loadavg: 2.19 2.25 2.72 3/102 23900
/proc/meminfo: memFree=16184/2055920 swapFree=4145168/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1721.66
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 62235 109931 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.13
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.51
Current children cumulated vsize (KiB) 821068
[startup+1964.17 s]
/proc/loadavg: 2.18 2.23 2.69 4/102 23900
/proc/meminfo: memFree=16056/2055920 swapFree=4145168/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1780.31
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 63345 114686 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833630 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.13
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.16
Current children cumulated vsize (KiB) 821068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1983.51 s]
/proc/loadavg: 2.21 2.23 2.68 3/102 23900
/proc/meminfo: memFree=16184/2055920 swapFree=4145168/4192956
[pid=23606] ppid=23585 vsize=13724 CPUtime=0.85
/proc/23606/stat : 23606 (sugar) S 23585 23606 23477 0 -1 4194304 1190 8520 0 80 3 1 72 9 16 0 1 0 29175745 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237797159010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23606/statm: 3431 809 371 3 0 531 0
[pid=23637] ppid=23606 vsize=807344 CPUtime=1799.17
/proc/23637/stat : 23637 (java) R 23606 23606 23477 0 -1 0 18397 0 1 0 63701 116216 0 0 25 0 8 0 29175902 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23637/statm: 201836 18123 1510 14 0 189114 0
[pid=23637/tid=23638] ppid=23606 vsize=807344 CPUtime=0.65
/proc/23637/task/23638/stat : 23638 (java) S 23606 23606 23477 0 -1 64 12133 0 0 0 60 5 0 0 16 0 8 0 29175905 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23639] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23639/stat : 23639 (java) S 23606 23606 23477 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23640] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23640/stat : 23640 (java) S 23606 23606 23477 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29175906 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23641] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23641/stat : 23641 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23642] ppid=23606 vsize=807344 CPUtime=0.18
/proc/23637/task/23642/stat : 23642 (java) S 23606 23606 23477 0 -1 64 434 0 0 0 17 1 0 0 16 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23643] ppid=23606 vsize=807344 CPUtime=0
/proc/23637/task/23643/stat : 23643 (java) S 23606 23606 23477 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23637/tid=23644] ppid=23606 vsize=807344 CPUtime=0.13
/proc/23637/task/23644/stat : 23644 (java) S 23606 23606 23477 0 -1 64 1 0 0 0 6 7 0 0 15 0 8 0 29175909 826720256 18123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 821068
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 23606 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=755885 childrusage.ru_stime.tv_sec=4 childrusage.ru_stime.tv_usec=880258
CPU time returned by wait4() is 5.63614
while last known CPU time is 1804.83
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2010.87
CPU time (s): 1804.83
CPU user time (s): 637.76
CPU system time (s): 1167.07
CPU usage (%): 89.7537
Max. virtual memory (cumulated for all children) (KiB): 821132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.755885
system time used= 4.88026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9733
page faults= 81
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3720
involuntary context switches= 742
runsolver used 3.98539 s user time and 10.3744 s system time
The end
Begin job on node24 on Mon Jan 29 17:36:52 UTC 2007
IDJOB= 195592
IDBENCH= 3288
IDSOLVER= 86
FILE ID= node24/195592-1170092208
PBS_JOBID= 3689572
Free space on /tmp= 66563 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphs/graph11.xml
COMMAND LINE= /tmp/evaluation/195592-1170092208/solver /tmp/evaluation/195592-1170092208 /tmp/evaluation/195592-1170092208/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-195592-1170092208 -o ROOT/results/node24/solver-195592-1170092208 -C 1800 -M 900 /tmp/evaluation/195592-1170092208/solver /tmp/evaluation/195592-1170092208 /tmp/evaluation/195592-1170092208/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f99a84357d49704ce92e19e2187b6864
RANDOM SEED= 207648793
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: 1599688 kB
Buffers: 31284 kB
Cached: 338344 kB
SwapCached: 7364 kB
Active: 44504 kB
Inactive: 343992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599688 kB
SwapTotal: 4192956 kB
SwapFree: 4144968 kB
Dirty: 1536 kB
Writeback: 0 kB
Mapped: 22776 kB
Slab: 52992 kB
Committed_AS: 155832 kB
PageTables: 1944 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= 55148 MiB
End job on node24 on Mon Jan 29 18:10:26 UTC 2007