0.07 c # Sugar v0-40 (/tmp/evaluation/248566-1170110312/sugar-v0-40.jar)
0.07
0.08 c # MAIN BEGIN : /tmp/evaluation/248566-1170110312/unknown.xml [Mon Jan 29 23:38:33 2007]
0.08 c # CONVERT_XML BEGIN : /tmp/evaluation/248566-1170110312/unknown.xml /tmp/evaluation/248566-1170110312/sugar432.csp [Mon Jan 29 23:38:33 2007]
0.08 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/248566-1170110312/sugar-v0-40.jar -convert /tmp/evaluation/248566-1170110312/unknown.xml /tmp/evaluation/248566-1170110312/sugar432.csp
0.36 c BEGIN convert /tmp/evaluation/248566-1170110312/unknown.xml
0.61 c END convert (0.256881 seconds)
0.63 c # CONVERT_XML END : /tmp/evaluation/248566-1170110312/sugar432.csp 5516 bytes (0 seconds) [Mon Jan 29 23:38:33 2007]
0.63 c # CONVERT_XML CPU : 0.33 = 0 + 0 + 0.28 + 0.05
0.63
0.63 c # GENERATE_SAT BEGIN : /tmp/evaluation/248566-1170110312/sugar432.bcnf [Mon Jan 29 23:38:33 2007]
0.63 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/248566-1170110312/sugar-v0-40.jar -bcnf -map /tmp/evaluation/248566-1170110312/sugar432.map /tmp/evaluation/248566-1170110312/sugar432.csp /tmp/evaluation/248566-1170110312/sugar432.bcnf
0.74 c BEGIN parse /tmp/evaluation/248566-1170110312/sugar432.csp
0.95 c END parse (0.213089 seconds)
0.95 c BEGIN simplify
0.96 c END simplify (0.001165 seconds)
0.96 c BEGIN encode /tmp/evaluation/248566-1170110312/sugar432.bcnf
2023.02
2023.02 s UNKNOWN
2023.02 c # INTERRUPTED
2023.02 c # MAIN END : (2023 seconds) [Tue Jan 30 00:12:16 2007]
2023.02 c # MAIN CPU : 0.33 = 0 + 0 + 0.28 + 0.05
2023.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-248566-1170110312 -o ROOT/results/node2/solver-248566-1170110312 -C 1800 -M 900 /tmp/evaluation/248566-1170110312/solver /tmp/evaluation/248566-1170110312 /tmp/evaluation/248566-1170110312/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.42 2.97 3.08 5/88 433
/proc/meminfo: memFree=1758480/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=18540 CPUtime=0
/proc/432/stat : 432 (runsolver) R 430 432 367 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30986198 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/432/statm: 4635 279 244 17 0 2626 0
[startup+0.110515 s]
/proc/loadavg: 2.42 2.97 3.08 5/88 433
/proc/meminfo: memFree=1758480/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.03
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1096 0 0 0 3 0 0 0 19 0 1 0 30986198 14053376 804 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/432/statm: 3431 804 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.518567 s]
/proc/loadavg: 2.42 2.97 3.08 5/88 433
/proc/meminfo: memFree=1758480/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.03
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 30986198 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34165 s]
/proc/loadavg: 2.42 2.97 3.08 3/96 449
/proc/meminfo: memFree=1731984/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=0.69
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4973 0 1 0 63 6 0 0 25 0 8 0 30986261 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073669708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4724 1499 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 6 0 0 0 0 0 0 0 20 0 8 0 30986264 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 821060
[startup+2.99482 s]
/proc/loadavg: 2.42 2.97 3.08 3/96 449
/proc/meminfo: memFree=1710992/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=2.35
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4976 0 1 0 217 18 0 0 25 0 8 0 30986261 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073677060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4726 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 821060
[startup+6.28916 s]
/proc/loadavg: 2.39 2.95 3.08 3/96 449
/proc/meminfo: memFree=1649168/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=5.64
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4976 0 1 0 523 41 0 0 25 0 8 0 30986261 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4726 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 821060
[startup+12.7888 s]
/proc/loadavg: 2.36 2.93 3.07 3/96 449
/proc/meminfo: memFree=1531088/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=12.08
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4976 0 1 0 1119 89 0 0 25 0 8 0 30986261 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665446 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4726 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 821060
[startup+25.6552 s]
/proc/loadavg: 2.28 2.89 3.06 3/96 449
/proc/meminfo: memFree=1307664/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=24.69
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4976 0 1 0 2298 171 0 0 25 0 8 0 30986261 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4726 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 821060
[startup+51.3138 s]
/proc/loadavg: 2.37 2.86 3.04 3/96 449
/proc/meminfo: memFree=856528/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=49.84
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4977 0 1 0 4646 338 0 0 25 0 8 0 30986261 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4727 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 16 0 8 0 30986268 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30986268 826712064 4727 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 821060
[startup+102.521 s]
/proc/loadavg: 2.43 2.79 3.01 3/96 449
/proc/meminfo: memFree=16464/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=100.04
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 4980 0 1 0 9337 667 0 0 25 0 8 0 30986261 826712064 4730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4730 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
################
# More data... #
################
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.11
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 6 5 0 0 15 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1507.22
Current children cumulated vsize (KiB) 821060
[startup+1784.2 s]
/proc/loadavg: 2.14 2.87 3.55 3/103 816
/proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=1565.48
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 5009 0 1 0 111458 45090 0 0 25 0 8 0 30986261 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/442/statm: 201834 4759 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.13
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 7 6 0 0 15 0 8 0 30986268 826712064 4759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1565.84
Current children cumulated vsize (KiB) 821060
[startup+1844.25 s]
/proc/loadavg: 2.11 2.72 3.46 3/103 816
/proc/meminfo: memFree=15184/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=1623.89
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 5010 0 1 0 112573 49816 0 0 25 0 8 0 30986261 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073661342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/442/statm: 201834 4760 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.14
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 7 7 0 0 15 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1624.25
Current children cumulated vsize (KiB) 821060
[startup+1904.33 s]
/proc/loadavg: 2.26 2.64 3.38 3/103 816
/proc/meminfo: memFree=15632/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=1682.67
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 5010 0 1 0 113697 54570 0 0 25 0 8 0 30986261 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/442/statm: 201834 4760 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.15
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 8 7 0 0 15 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1683.03
Current children cumulated vsize (KiB) 821060
[startup+1964.4 s]
/proc/loadavg: 2.19 2.55 3.30 3/103 816
/proc/meminfo: memFree=15824/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=1741.82
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 5010 0 1 0 114824 59358 0 0 25 0 8 0 30986261 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/442/statm: 201834 4760 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.16
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 8 8 0 0 15 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1742.18
Current children cumulated vsize (KiB) 821060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2023.01 s]
/proc/loadavg: 2.21 2.49 3.23 3/103 816
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.36
/proc/432/stat : 432 (sugar) S 430 432 367 0 -1 4194304 1190 3715 0 29 3 0 28 5 15 0 1 0 30986198 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/432/statm: 3431 809 371 3 0 531 0
[pid=442] ppid=432 vsize=807336 CPUtime=1799.74
/proc/442/stat : 442 (java) R 432 432 367 0 -1 0 5010 0 1 0 115903 64071 0 0 25 0 8 0 30986261 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/442/statm: 201834 4760 1501 14 0 189112 0
[pid=442/tid=443] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/443/stat : 443 (java) S 432 432 367 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30986264 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=444] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/444/stat : 444 (java) S 432 432 367 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=445] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/445/stat : 445 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 22 0 8 0 30986265 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=446] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/446/stat : 446 (java) S 432 432 367 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=447] ppid=432 vsize=807336 CPUtime=0.1
/proc/442/task/447/stat : 447 (java) S 432 432 367 0 -1 64 375 0 0 0 10 0 0 0 17 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=448] ppid=432 vsize=807336 CPUtime=0
/proc/442/task/448/stat : 448 (java) S 432 432 367 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=442/tid=449] ppid=432 vsize=807336 CPUtime=0.17
/proc/442/task/449/stat : 449 (java) S 432 432 367 0 -1 64 1 0 0 0 8 9 0 0 15 0 8 0 30986268 826712064 4760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 821060
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2024.47 s]
/proc/loadavg: 2.21 2.49 3.23 2/97 819
/proc/meminfo: memFree=27016/2055920 swapFree=4192812/4192956
[pid=432] ppid=430 vsize=13724 CPUtime=0.76
/proc/432/stat : 432 (sugar) R 430 432 367 0 -1 4194304 1214 3715 1 29 3 40 28 5 19 0 1 0 30986198 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206381487145 0 16384 4224 16386 0 0 0 17 1 0 0
/proc/432/statm: 3431 811 373 3 0 531 0
[pid=442] ppid=432 vsize=0 CPUtime=1799.81
/proc/442/stat : 442 (java) Z 432 432 367 0 -1 1036 5030 0 6 0 115904 64077 0 0 22 0 1 0 30986261 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/442/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 13724
Sending SIGKILL to process tree (bottom up)
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 432 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=320951 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=927402
CPU time returned by wait4() is 4.24835
while last known CPU time is 1804.03
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2069.1
CPU time (s): 1804.03
CPU user time (s): 1159.35
CPU system time (s): 644.68
CPU usage (%): 87.1891
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.320951
system time used= 3.9274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4929
page faults= 30
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5348
involuntary context switches= 423
runsolver used 3.38748 s user time and 8.66068 s system time
The end
Begin job on node2 on Mon Jan 29 22:38:32 UTC 2007
IDJOB= 248566
IDBENCH= 11716
IDSOLVER= 86
FILE ID= node2/248566-1170110312
PBS_JOBID= 3690029
Free space on /tmp= 66533 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-25/primes-25-60-2-3.xml
COMMAND LINE= /tmp/evaluation/248566-1170110312/solver /tmp/evaluation/248566-1170110312 /tmp/evaluation/248566-1170110312/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-248566-1170110312 -o ROOT/results/node2/solver-248566-1170110312 -C 1800 -M 900 /tmp/evaluation/248566-1170110312/solver /tmp/evaluation/248566-1170110312 /tmp/evaluation/248566-1170110312/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= c8990a23bf2da1f9d84446919346d21e
RANDOM SEED= 343748980
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: 1759152 kB
Buffers: 34332 kB
Cached: 38428 kB
SwapCached: 0 kB
Active: 207032 kB
Inactive: 34868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1759152 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1604 kB
Writeback: 0 kB
Mapped: 188872 kB
Slab: 39540 kB
Committed_AS: 1009500 kB
PageTables: 2368 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= 47157 MiB
End job on node2 on Mon Jan 29 23:13:02 UTC 2007