0.04 c # Sugar v0-40 (/tmp/evaluation/245887-1170109379/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/245887-1170109379/unknown.xml [Mon Jan 29 23:23:06 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/245887-1170109379/unknown.xml /tmp/evaluation/245887-1170109379/sugar26839.csp [Mon Jan 29 23:23:06 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/245887-1170109379/sugar-v0-40.jar -convert /tmp/evaluation/245887-1170109379/unknown.xml /tmp/evaluation/245887-1170109379/sugar26839.csp
0.16 c BEGIN convert /tmp/evaluation/245887-1170109379/unknown.xml
5.19 c END convert (5.021682 seconds)
5.25 c # CONVERT_XML END : /tmp/evaluation/245887-1170109379/sugar26839.csp 3791705 bytes (6 seconds) [Mon Jan 29 23:23:12 2007]
5.25 c # CONVERT_XML CPU : 5.13 = 0 + 0 + 4.85 + 0.28
5.25
5.25 c # GENERATE_SAT BEGIN : /tmp/evaluation/245887-1170109379/sugar26839.bcnf [Mon Jan 29 23:23:12 2007]
5.25 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/245887-1170109379/sugar-v0-40.jar -bcnf -map /tmp/evaluation/245887-1170109379/sugar26839.map /tmp/evaluation/245887-1170109379/sugar26839.csp /tmp/evaluation/245887-1170109379/sugar26839.bcnf
5.37 c BEGIN parse /tmp/evaluation/245887-1170109379/sugar26839.csp
34.09 c END parse (28.722613 seconds)
34.09 c BEGIN simplify
35.96 c END simplify (1.866728 seconds)
35.96 c BEGIN encode /tmp/evaluation/245887-1170109379/sugar26839.bcnf
3669.86
3669.86 s UNKNOWN
3669.86 c # INTERRUPTED
3669.86 c # MAIN END : (3670 seconds) [Tue Jan 30 00:24:16 2007]
3669.86 c # MAIN CPU : 5.13 = 0 + 0 + 4.85 + 0.28
3669.86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-245887-1170109379 -o ROOT/results/node63/solver-245887-1170109379 -C 1800 -M 900 /tmp/evaluation/245887-1170109379/solver /tmp/evaluation/245887-1170109379 /tmp/evaluation/245887-1170109379/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: 0.55 3.20 4.01 5/70 26840
/proc/meminfo: memFree=1892712/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=12132 CPUtime=0
/proc/26839/stat : 26839 (sugar) R 26836 26839 26591 0 -1 4194304 536 0 0 0 0 0 0 0 18 0 1 0 30896017 12423168 255 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247274812590 0 0 4224 0 0 0 0 17 1 0 0
/proc/26839/statm: 3033 255 189 3 0 133 0
[startup+0.10373 s]
/proc/loadavg: 0.55 3.20 4.01 5/70 26840
/proc/meminfo: memFree=1892712/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=0.03
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 30896017 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.512778 s]
/proc/loadavg: 0.55 3.20 4.01 5/70 26840
/proc/meminfo: memFree=1892712/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=0.03
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30896017 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34187 s]
/proc/loadavg: 0.55 3.20 4.01 4/89 26859
/proc/meminfo: memFree=1774672/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=0.03
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30896017 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 805 368 3 0 531 0
[pid=26844] ppid=26839 vsize=807288 CPUtime=1.27
/proc/26844/stat : 26844 (java) R 26839 26839 26591 0 -1 0 20056 0 1 0 116 11 0 0 25 0 8 0 30896022 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073486004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26844/statm: 201822 19800 1658 14 0 189100 0
[pid=26844/tid=26846] ppid=26839 vsize=807288 CPUtime=0.26
/proc/26844/task/26846/stat : 26846 (java) S 26839 26839 26591 0 -1 64 13591 0 0 0 22 4 0 0 16 0 8 0 30896026 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26848] ppid=26839 vsize=807288 CPUtime=0
/proc/26844/task/26848/stat : 26848 (java) S 26839 26839 26591 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 30896026 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26849] ppid=26839 vsize=807288 CPUtime=0
/proc/26844/task/26849/stat : 26849 (java) S 26839 26839 26591 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 30896026 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26852] ppid=26839 vsize=807288 CPUtime=0
/proc/26844/task/26852/stat : 26852 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30896029 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26853] ppid=26839 vsize=807288 CPUtime=0.08
/proc/26844/task/26853/stat : 26853 (java) S 26839 26839 26591 0 -1 64 370 0 0 0 8 0 0 0 16 0 8 0 30896029 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26854] ppid=26839 vsize=807288 CPUtime=0
/proc/26844/task/26854/stat : 26854 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30896029 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26855] ppid=26839 vsize=807288 CPUtime=0
/proc/26844/task/26855/stat : 26855 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896029 826662912 19800 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821012
[startup+2.98504 s]
/proc/loadavg: 0.75 3.20 4.00 4/89 26859
/proc/meminfo: memFree=1681424/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=0.03
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 30896017 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 805 368 3 0 531 0
[pid=26844] ppid=26839 vsize=807400 CPUtime=2.9
/proc/26844/stat : 26844 (java) R 26839 26839 26591 0 -1 0 36968 0 1 0 270 20 0 0 25 0 8 0 30896022 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073676103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26844/statm: 201850 36706 1690 14 0 189128 0
[pid=26844/tid=26846] ppid=26839 vsize=807400 CPUtime=0.8
/proc/26844/task/26846/stat : 26846 (java) S 26839 26839 26591 0 -1 64 30384 0 0 0 67 13 0 0 17 0 8 0 30896026 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26848] ppid=26839 vsize=807400 CPUtime=0
/proc/26844/task/26848/stat : 26848 (java) S 26839 26839 26591 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 30896026 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26849] ppid=26839 vsize=807400 CPUtime=0
/proc/26844/task/26849/stat : 26849 (java) S 26839 26839 26591 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 30896026 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26852] ppid=26839 vsize=807400 CPUtime=0
/proc/26844/task/26852/stat : 26852 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 30896029 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26853] ppid=26839 vsize=807400 CPUtime=0.14
/proc/26844/task/26853/stat : 26853 (java) S 26839 26839 26591 0 -1 64 411 0 0 0 14 0 0 0 16 0 8 0 30896029 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26854] ppid=26839 vsize=807400 CPUtime=0
/proc/26844/task/26854/stat : 26854 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 25 0 8 0 30896029 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26844/tid=26855] ppid=26839 vsize=807400 CPUtime=0
/proc/26844/task/26855/stat : 26855 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896029 826777600 36706 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 821124
[startup+6.27039 s]
/proc/loadavg: 0.75 3.20 4.00 4/89 26875
/proc/meminfo: memFree=1814992/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807064 CPUtime=1
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 9222 0 1 0 94 6 0 0 18 0 8 0 30896543 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26868/statm: 201766 8967 1494 14 0 189044 0
[pid=26868/tid=26869] ppid=26839 vsize=807064 CPUtime=0.19
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 3166 0 0 0 18 1 0 0 16 0 8 0 30896546 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807064 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807064 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807064 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807064 CPUtime=0.05
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 293 0 0 0 5 0 0 0 16 0 8 0 30896550 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807064 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807064 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826433536 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 820788
[startup+12.6881 s]
/proc/loadavg: 1.01 3.18 3.98 4/89 26875
/proc/meminfo: memFree=1630160/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=7.38
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 32570 0 2 0 721 17 0 0 25 0 8 0 30896543 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073442080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26868/statm: 201841 32262 1507 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=1.69
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 26304 0 1 0 158 11 0 0 16 0 8 0 30896546 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.14
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 425 0 0 0 14 0 0 0 16 0 8 0 30896550 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 32262 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 821088
[startup+25.5894 s]
/proc/loadavg: 1.16 3.14 3.96 3/89 26875
/proc/meminfo: memFree=1242768/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=20.13
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 72739 0 2 0 1979 34 0 0 25 0 8 0 30896543 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26868/statm: 201841 72077 1507 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=5.01
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 65033 0 1 0 473 28 0 0 16 0 8 0 30896546 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.14
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 426 0 0 0 14 0 0 0 16 0 8 0 30896550 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 72077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 821088
[startup+51.2532 s]
/proc/loadavg: 2.27 3.24 3.97 3/90 26878
/proc/meminfo: memFree=73864/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=45.42
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 123359 0 2 0 4330 212 0 0 25 0 8 0 30896543 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26868/statm: 201841 121986 1509 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.26
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 113348 0 1 0 880 46 0 0 16 0 8 0 30896546 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.17
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 433 0 0 0 16 1 0 0 16 0 8 0 30896550 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 821088
[startup+102.502 s]
/proc/loadavg: 5.23 3.86 4.14 1/92 26881
/proc/meminfo: memFree=14968/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=56.01
/proc/26868/stat : 26868 (java) D 26839 26839 26591 0 -1 0 123359 0 2 0 5252 349 0 0 18 0 8 0 30896543 826740736 121986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26868/statm: 201841 121986 1509 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.26
################
# More data... #
################
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1538.55
Current children cumulated vsize (KiB) 821088
[startup+3465.46 s]
/proc/loadavg: 3.24 4.66 5.22 4/89 27397
/proc/meminfo: memFree=15440/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=1592.58
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 129373 0 2 0 139579 19679 0 0 25 0 8 0 30896543 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26868/statm: 201841 127995 1511 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.58
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 119347 0 1 0 910 48 0 0 16 0 8 0 30896546 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.74
Current children cumulated vsize (KiB) 821088
[startup+3525.5 s]
/proc/loadavg: 2.56 4.20 5.02 3/89 27397
/proc/meminfo: memFree=15760/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=1651.96
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 129373 0 2 0 141050 24146 0 0 25 0 8 0 30896543 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26868/statm: 201841 127995 1511 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.58
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 119347 0 1 0 910 48 0 0 16 0 8 0 30896546 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.12
Current children cumulated vsize (KiB) 821088
[startup+3585.56 s]
/proc/loadavg: 2.27 3.82 4.84 3/89 27397
/proc/meminfo: memFree=14928/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=1711.48
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 129373 0 2 0 142544 28604 0 0 25 0 8 0 30896543 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26868/statm: 201841 127995 1511 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.58
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 119347 0 1 0 910 48 0 0 16 0 8 0 30896546 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.64
Current children cumulated vsize (KiB) 821088
[startup+3645.59 s]
/proc/loadavg: 2.21 3.51 4.67 3/89 27397
/proc/meminfo: memFree=16272/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=1770.87
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 129373 0 2 0 144029 33058 0 0 25 0 8 0 30896543 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26868/statm: 201841 127995 1511 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.58
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 119347 0 1 0 910 48 0 0 16 0 8 0 30896546 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.03
Current children cumulated vsize (KiB) 821088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3669.84 s]
/proc/loadavg: 2.40 3.46 4.62 3/89 27397
/proc/meminfo: memFree=15120/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=5.16
/proc/26839/stat : 26839 (sugar) S 26836 26839 26591 0 -1 4194304 1190 41148 0 1 3 0 485 28 16 0 1 0 30896017 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247263703138 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26839/statm: 3431 809 371 3 0 531 0
[pid=26868] ppid=26839 vsize=807364 CPUtime=1794.86
/proc/26868/stat : 26868 (java) R 26839 26839 26591 0 -1 0 129373 0 2 0 144629 34857 0 0 25 0 8 0 30896543 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26868/statm: 201841 127995 1511 14 0 189119 0
[pid=26868/tid=26869] ppid=26839 vsize=807364 CPUtime=9.58
/proc/26868/task/26869/stat : 26869 (java) S 26839 26839 26591 0 -1 64 119347 0 1 0 910 48 0 0 16 0 8 0 30896546 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26870] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26870/stat : 26870 (java) S 26839 26839 26591 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26868/tid=26871] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26871/stat : 26871 (java) S 26839 26839 26591 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30896547 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26872] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26872/stat : 26872 (java) S 26839 26839 26591 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26873] ppid=26839 vsize=807364 CPUtime=0.18
/proc/26868/task/26873/stat : 26873 (java) S 26839 26839 26591 0 -1 64 442 0 0 0 17 1 0 0 16 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26874] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26874/stat : 26874 (java) S 26839 26839 26591 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30896550 826740736 127995 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26868/tid=26875] ppid=26839 vsize=807364 CPUtime=0
/proc/26868/task/26875/stat : 26875 (java) S 26839 26839 26591 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30896550 826740736 127995 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) 821088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3705.62 s]
/proc/loadavg: 2.22 3.29 4.52 2/82 27400
/proc/meminfo: memFree=914960/2055920 swapFree=4192812/4192956
[pid=26839] ppid=26836 vsize=13724 CPUtime=7.72
/proc/26839/stat : 26839 (sugar) D 26836 26839 26591 0 -1 4194304 1213 41148 1 1 3 256 485 28 18 0 1 0 30896017 14053376 811 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 247254979625 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/26839/statm: 3431 811 373 3 0 531 0
[pid=26868] ppid=26839 vsize=0 CPUtime=1795
/proc/26868/stat : 26868 (java) Z 26839 26839 26591 0 -1 1036 129390 0 5 0 144630 34870 0 0 23 0 1 0 30896543 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/26868/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.72
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26839 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=891256 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=981394
CPU time returned by wait4() is 8.87265
while last known CPU time is 1803.85
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 3734.82
CPU time (s): 1803.85
CPU user time (s): 1451.18
CPU system time (s): 352.67
CPU usage (%): 48.2982
Max. virtual memory (cumulated for all children) (KiB): 823092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89126
system time used= 3.98139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42361
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7777
involuntary context switches= 1063
runsolver used 4.65329 s user time and 12.2071 s system time
The end
Begin job on node63 on Mon Jan 29 22:23:05 UTC 2007
IDJOB= 245887
IDBENCH= 10310
IDSOLVER= 86
FILE ID= node63/245887-1170109379
PBS_JOBID= 3690249
Free space on /tmp= 66547 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/largeQueens/queens-400.xml
COMMAND LINE= /tmp/evaluation/245887-1170109379/solver /tmp/evaluation/245887-1170109379 /tmp/evaluation/245887-1170109379/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-245887-1170109379 -o ROOT/results/node63/solver-245887-1170109379 -C 1800 -M 900 /tmp/evaluation/245887-1170109379/solver /tmp/evaluation/245887-1170109379 /tmp/evaluation/245887-1170109379/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 367861c7e3ea4a3a4550c74e92b0ac99
RANDOM SEED= 552221320
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.214
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.214
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: 1893600 kB
Buffers: 21984 kB
Cached: 71176 kB
SwapCached: 0 kB
Active: 68008 kB
Inactive: 45376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1893600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 17744 kB
Writeback: 0 kB
Mapped: 30368 kB
Slab: 34652 kB
Committed_AS: 366920 kB
PageTables: 1676 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= 42398 MiB
End job on node63 on Mon Jan 29 23:25:23 UTC 2007