0.37 c # Sugar v0-40 (/tmp/evaluation/237016-1170108374/sugar-v0-40.jar)
0.37
0.37 c # MAIN BEGIN : /tmp/evaluation/237016-1170108374/unknown.xml [Mon Jan 29 23:06:15 2007]
0.37 c # CONVERT_XML BEGIN : /tmp/evaluation/237016-1170108374/unknown.xml /tmp/evaluation/237016-1170108374/sugar32394.csp [Mon Jan 29 23:06:15 2007]
0.37 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237016-1170108374/sugar-v0-40.jar -convert /tmp/evaluation/237016-1170108374/unknown.xml /tmp/evaluation/237016-1170108374/sugar32394.csp
0.57 c BEGIN convert /tmp/evaluation/237016-1170108374/unknown.xml
6.99 c END convert (6.424968 seconds)
7.05 c # CONVERT_XML END : /tmp/evaluation/237016-1170108374/sugar32394.csp 2210245 bytes (7 seconds) [Mon Jan 29 23:06:22 2007]
7.05 c # CONVERT_XML CPU : 6.34 = 0 + 0 + 6.15 + 0.19
7.05
7.05 c # GENERATE_SAT BEGIN : /tmp/evaluation/237016-1170108374/sugar32394.bcnf [Mon Jan 29 23:06:22 2007]
7.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/237016-1170108374/sugar-v0-40.jar -bcnf -map /tmp/evaluation/237016-1170108374/sugar32394.map /tmp/evaluation/237016-1170108374/sugar32394.csp /tmp/evaluation/237016-1170108374/sugar32394.bcnf
7.17 c BEGIN parse /tmp/evaluation/237016-1170108374/sugar32394.csp
14.42 c END parse (7.244279 seconds)
14.42 c BEGIN simplify
14.73 c END simplify (0.316466 seconds)
14.73 c BEGIN encode /tmp/evaluation/237016-1170108374/sugar32394.bcnf
1883.13
1883.13 s UNKNOWN
1883.13 c # INTERRUPTED
1883.13 c # MAIN END : (1883 seconds) [Mon Jan 29 23:37:38 2007]
1883.13 c # MAIN CPU : 6.34 = 0 + 0 + 6.15 + 0.19
1883.13
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-237016-1170108374 -o ROOT/results/node2/solver-237016-1170108374 -C 1800 -M 900 /tmp/evaluation/237016-1170108374/solver /tmp/evaluation/237016-1170108374 /tmp/evaluation/237016-1170108374/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: 4.39 4.76 3.56 5/94 32395
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=12128 CPUtime=0
/proc/32394/stat : 32394 (sugar) R 32392 32394 31064 0 -1 4194304 499 0 0 0 0 0 0 0 20 0 1 0 30792396 12419072 218 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206398787793 0 0 4224 0 0 0 0 17 1 0 0
/proc/32394/statm: 3032 218 164 3 0 132 0
[startup+0.106402 s]
/proc/loadavg: 4.39 4.76 3.56 5/94 32395
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=12268 CPUtime=0
/proc/32394/stat : 32394 (sugar) D 32392 32394 31064 0 -1 4194304 601 0 0 0 0 0 0 0 18 0 1 0 30792396 12562432 320 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/32394/statm: 3067 320 242 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.517456 s]
/proc/loadavg: 4.39 4.76 3.56 5/94 32395
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=0.04
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30792396 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33854 s]
/proc/loadavg: 4.39 4.76 3.56 4/102 32403
/proc/meminfo: memFree=15816/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=0.04
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30792396 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 805 368 3 0 531 0
[pid=32396] ppid=32394 vsize=807280 CPUtime=0.84
/proc/32396/stat : 32396 (java) S 32394 32394 31064 0 -1 0 13206 0 1 0 76 8 0 0 17 0 8 0 30792434 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 201820 12952 1658 14 0 189098 0
[pid=32396/tid=32397] ppid=32394 vsize=807280 CPUtime=0.11
/proc/32396/task/32397/stat : 32397 (java) R 32394 32394 31064 0 -1 64 6742 0 0 0 9 2 0 0 16 0 8 0 30792444 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32398] ppid=32394 vsize=807280 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) S 32394 32394 31064 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30792445 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=807280 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32394 31064 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30792445 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=807280 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30792448 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=807280 CPUtime=0.08
/proc/32396/task/32401/stat : 32401 (java) R 32394 32394 31064 0 -1 64 369 0 0 0 8 0 0 0 19 0 8 0 30792448 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=807280 CPUtime=0
/proc/32396/task/32402/stat : 32402 (java) S 32394 32394 31064 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30792448 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=807280 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30792448 826654720 12952 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 821004
[startup+2.9777 s]
/proc/loadavg: 4.44 4.76 3.57 4/104 32405
/proc/meminfo: memFree=15480/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=0.04
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30792396 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 805 368 3 0 531 0
[pid=32396] ppid=32394 vsize=807412 CPUtime=2.44
/proc/32396/stat : 32396 (java) S 32394 32394 31064 0 -1 0 26315 0 1 0 230 14 0 0 18 0 8 0 30792434 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 201853 26056 1690 14 0 189131 0
[pid=32396/tid=32397] ppid=32394 vsize=807412 CPUtime=0.54
/proc/32396/task/32397/stat : 32397 (java) R 32394 32394 31064 0 -1 64 19725 0 0 0 47 7 0 0 16 0 8 0 30792444 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32398] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) S 32394 32394 31064 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30792445 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32394 31064 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30792445 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30792448 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=807412 CPUtime=0.15
/proc/32396/task/32401/stat : 32401 (java) R 32394 32394 31064 0 -1 64 416 0 0 0 14 1 0 0 20 0 8 0 30792448 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32402/stat : 32402 (java) S 32394 32394 31064 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30792448 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30792448 826789888 26056 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 821136
[startup+6.27504 s]
/proc/loadavg: 4.44 4.76 3.57 3/102 32405
/proc/meminfo: memFree=16328/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=0.04
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30792396 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 805 368 3 0 531 0
[pid=32396] ppid=32394 vsize=807412 CPUtime=5.61
/proc/32396/stat : 32396 (java) R 32394 32394 31064 0 -1 0 28850 0 1 0 545 16 0 0 25 0 8 0 30792434 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4073825102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32396/statm: 201853 28589 1690 14 0 189131 0
[pid=32396/tid=32397] ppid=32394 vsize=807412 CPUtime=0.72
/proc/32396/task/32397/stat : 32397 (java) S 32394 32394 31064 0 -1 64 22249 0 0 0 63 9 0 0 16 0 8 0 30792444 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32398] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32398/stat : 32398 (java) S 32394 32394 31064 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30792445 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32399] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32399/stat : 32399 (java) S 32394 32394 31064 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30792445 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32400] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32400/stat : 32400 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30792448 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32401] ppid=32394 vsize=807412 CPUtime=0.16
/proc/32396/task/32401/stat : 32401 (java) S 32394 32394 31064 0 -1 64 424 0 0 0 15 1 0 0 16 0 8 0 30792448 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32402] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32402/stat : 32402 (java) S 32394 32394 31064 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30792448 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32396/tid=32403] ppid=32394 vsize=807412 CPUtime=0
/proc/32396/task/32403/stat : 32403 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30792448 826789888 28589 18446744073709551615 134512640 134570532 4294956544 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 821136
[startup+12.7567 s]
/proc/loadavg: 4.14 4.69 3.56 3/102 32413
/proc/meminfo: memFree=15112/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 15 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=5.54
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 28600 0 2 0 538 16 0 0 25 0 8 0 30793102 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154545185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32406/statm: 201844 28314 1507 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=1.37
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 22351 0 1 0 126 11 0 0 16 0 8 0 30793105 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.16
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 424 0 0 0 16 0 0 0 16 0 8 0 30793109 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 28314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 821100
[startup+25.6571 s]
/proc/loadavg: 4.04 4.65 3.56 3/102 32414
/proc/meminfo: memFree=15176/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=17.96
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 42210 0 2 0 1660 136 0 0 25 0 8 0 30793102 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073842598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32406/statm: 201844 41907 1509 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.09
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 35928 0 1 0 192 17 0 0 16 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.18
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.34
Current children cumulated vsize (KiB) 821100
[startup+51.3317 s]
/proc/loadavg: 3.83 4.55 3.55 3/102 32419
/proc/meminfo: memFree=15240/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=40.01
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 42210 0 2 0 3610 391 0 0 25 0 8 0 30793102 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32406/statm: 201844 41907 1509 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.09
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 35928 0 1 0 192 17 0 0 16 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.18
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.39
Current children cumulated vsize (KiB) 821100
[startup+102.547 s]
/proc/loadavg: 4.34 4.55 3.60 2/95 32420
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=88.2
/proc/32406/stat : 32406 (java) D 32394 32394 31064 0 -1 0 42210 0 2 0 7897 923 0 0 25 0 8 0 30793102 826753024 41907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32406/statm: 201844 41907 1509 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.09
################
# More data... #
################
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.31
Current children cumulated vsize (KiB) 821100
[startup+1663.86 s]
/proc/loadavg: 2.81 2.91 3.09 3/96 347
/proc/meminfo: memFree=15184/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=1583.48
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 43999 0 4 0 145975 12373 0 0 25 0 8 0 30793102 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853086 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32406/statm: 201844 43690 1511 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.21
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 37701 0 1 0 203 18 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.86
Current children cumulated vsize (KiB) 821100
[startup+1723.94 s]
/proc/loadavg: 3.02 2.95 3.09 4/96 347
/proc/meminfo: memFree=15632/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=1641.08
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 43999 0 4 0 151329 12779 0 0 25 0 8 0 30793102 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32406/statm: 201844 43690 1511 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.21
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 37701 0 1 0 203 18 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.46
Current children cumulated vsize (KiB) 821100
[startup+1784.01 s]
/proc/loadavg: 3.00 2.95 3.09 3/96 349
/proc/meminfo: memFree=15824/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=1698.59
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 43999 0 4 0 156679 13180 0 0 25 0 8 0 30793102 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32406/statm: 201844 43690 1511 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.21
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 37701 0 1 0 203 18 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.97
Current children cumulated vsize (KiB) 821100
[startup+1844.07 s]
/proc/loadavg: 4.13 3.30 3.20 3/96 349
/proc/meminfo: memFree=15952/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=1756.25
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 44090 0 4 0 162076 13549 0 0 25 0 8 0 30793102 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32406/statm: 201844 43780 1511 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.23
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 37791 0 1 0 205 18 0 0 16 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1762.63
Current children cumulated vsize (KiB) 821100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1883.11 s]
/proc/loadavg: 3.26 3.19 3.16 3/96 349
/proc/meminfo: memFree=14928/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=6.38
/proc/32394/stat : 32394 (sugar) S 32392 32394 31064 0 -1 4194304 1190 29267 0 1 3 1 615 19 16 0 1 0 30792396 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/32394/statm: 3431 809 371 3 0 531 0
[pid=32406] ppid=32394 vsize=807376 CPUtime=1793.72
/proc/32406/stat : 32406 (java) R 32394 32394 31064 0 -1 0 44090 0 4 0 165598 13774 0 0 25 0 8 0 30793102 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32406/statm: 201844 43780 1511 14 0 189122 0
[pid=32406/tid=32407] ppid=32394 vsize=807376 CPUtime=2.23
/proc/32406/task/32407/stat : 32407 (java) S 32394 32394 31064 0 -1 64 37791 0 1 0 205 18 0 0 16 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32408] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32408/stat : 32408 (java) S 32394 32394 31064 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32409] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32409/stat : 32409 (java) S 32394 32394 31064 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30793105 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32410] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32410/stat : 32410 (java) S 32394 32394 31064 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32411] ppid=32394 vsize=807376 CPUtime=0.19
/proc/32406/task/32411/stat : 32411 (java) S 32394 32394 31064 0 -1 64 440 0 1 0 19 0 0 0 17 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32412] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32412/stat : 32412 (java) S 32394 32394 31064 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32406/tid=32413] ppid=32394 vsize=807376 CPUtime=0
/proc/32406/task/32413/stat : 32413 (java) S 32394 32394 31064 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30793109 826753024 43780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
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.08 s]
/proc/loadavg: 2.90 3.11 3.13 2/89 352
/proc/meminfo: memFree=1787920/2055920 swapFree=4192812/4192956
[pid=32394] ppid=32392 vsize=13724 CPUtime=8.34
/proc/32394/stat : 32394 (sugar) D 32392 32394 31064 0 -1 4194304 1214 29267 0 1 3 197 615 19 18 0 1 0 30792396 14053376 811 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 206381487145 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/32394/statm: 3431 811 373 3 0 531 0
[pid=32406] ppid=32394 vsize=0 CPUtime=1794
/proc/32406/stat : 32406 (java) Z 32394 32394 31064 0 -1 1036 44107 0 7 0 165621 13779 0 0 15 0 1 0 30793102 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/32406/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.34
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 32394 and gives childrusage.ru_utime.tv_sec=6 childrusage.ru_utime.tv_usec=192058 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=668442
CPU time returned by wait4() is 9.8605
while last known CPU time is 1803.83
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1933.96
CPU time (s): 1803.83
CPU user time (s): 1662.39
CPU system time (s): 141.44
CPU usage (%): 93.2712
Max. virtual memory (cumulated for all children) (KiB): 822132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.19206
system time used= 3.66844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30481
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= 8657
involuntary context switches= 1155
runsolver used 2.34564 s user time and 6.35703 s system time
The end
Begin job on node2 on Mon Jan 29 22:06:14 UTC 2007
IDJOB= 237016
IDBENCH= 6891
IDSOLVER= 86
FILE ID= node2/237016-1170108374
PBS_JOBID= 3689777
Free space on /tmp= 64484 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fisher/FISCHER10-15-fair.xml
COMMAND LINE= /tmp/evaluation/237016-1170108374/solver /tmp/evaluation/237016-1170108374 /tmp/evaluation/237016-1170108374/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-237016-1170108374 -o ROOT/results/node2/solver-237016-1170108374 -C 1800 -M 900 /tmp/evaluation/237016-1170108374/solver /tmp/evaluation/237016-1170108374 /tmp/evaluation/237016-1170108374/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= b17abeb1e6a9239344f0a743c32a5318
RANDOM SEED= 782800475
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.247
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.247
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: 16552 kB
Buffers: 20800 kB
Cached: 1812956 kB
SwapCached: 0 kB
Active: 149672 kB
Inactive: 1789932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 16552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 825344 kB
Writeback: 3312 kB
Mapped: 131456 kB
Slab: 84488 kB
Committed_AS: 1104360 kB
PageTables: 2316 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= 66527 MiB
End job on node2 on Mon Jan 29 22:38:29 UTC 2007