0.05 c # Sugar v0-40 (/tmp/evaluation/245903-1170109381/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/245903-1170109381/unknown.xml [Mon Jan 29 23:23:06 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/245903-1170109381/unknown.xml /tmp/evaluation/245903-1170109381/sugar28853.csp [Mon Jan 29 23:23:06 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/245903-1170109381/sugar-v0-40.jar -convert /tmp/evaluation/245903-1170109381/unknown.xml /tmp/evaluation/245903-1170109381/sugar28853.csp
0.18 c BEGIN convert /tmp/evaluation/245903-1170109381/unknown.xml
9.39 c END convert (9.210891 seconds)
9.44 c # CONVERT_XML END : /tmp/evaluation/245903-1170109381/sugar28853.csp 5963355 bytes (10 seconds) [Mon Jan 29 23:23:16 2007]
9.44 c # CONVERT_XML CPU : 9.28 = 0 + 0.01 + 8.82 + 0.45
9.44
9.44 c # GENERATE_SAT BEGIN : /tmp/evaluation/245903-1170109381/sugar28853.bcnf [Mon Jan 29 23:23:16 2007]
9.44 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/245903-1170109381/sugar-v0-40.jar -bcnf -map /tmp/evaluation/245903-1170109381/sugar28853.map /tmp/evaluation/245903-1170109381/sugar28853.csp /tmp/evaluation/245903-1170109381/sugar28853.bcnf
9.60 c BEGIN parse /tmp/evaluation/245903-1170109381/sugar28853.csp
56.68 c END parse (47.081921 seconds)
56.68 c BEGIN simplify
78.90 c END simplify (22.220303 seconds)
78.90 c BEGIN encode /tmp/evaluation/245903-1170109381/sugar28853.bcnf
2092.88
2092.88 s UNKNOWN
2092.88 c # INTERRUPTED
2092.88 c # MAIN END : (2093 seconds) [Mon Jan 29 23:57:59 2007]
2092.88 c # MAIN CPU : 9.28 = 0 + 0.01 + 8.82 + 0.45
2092.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-245903-1170109381 -o ROOT/results/node7/solver-245903-1170109381 -C 1800 -M 900 /tmp/evaluation/245903-1170109381/solver /tmp/evaluation/245903-1170109381 /tmp/evaluation/245903-1170109381/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.10 1.61 2.40 5/88 28854
/proc/meminfo: memFree=1711800/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=5212 CPUtime=0
/proc/28853/stat : 28853 (solver) R 28851 28853 28724 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 30893355 5337088 67 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 4512496 0 0 4096 0 0 0 0 17 1 0 0
/proc/28853/statm: 1303 67 50 169 0 14 0
[startup+0.104283 s]
/proc/loadavg: 1.10 1.61 2.40 5/88 28854
/proc/meminfo: memFree=1711800/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=0.04
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 30893355 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.516324 s]
/proc/loadavg: 1.10 1.61 2.40 5/88 28854
/proc/meminfo: memFree=1711800/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=0.04
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30893355 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34541 s]
/proc/loadavg: 1.10 1.61 2.40 4/96 28862
/proc/meminfo: memFree=1658232/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=0.04
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30893355 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 805 368 3 0 531 0
[pid=28855] ppid=28853 vsize=807288 CPUtime=1.26
/proc/28855/stat : 28855 (java) R 28853 28853 28724 0 -1 0 17401 0 1 0 115 11 0 0 19 0 8 0 30893360 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073467890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28855/statm: 201822 17146 1658 14 0 189100 0
[pid=28855/tid=28856] ppid=28853 vsize=807288 CPUtime=0.24
/proc/28855/task/28856/stat : 28856 (java) S 28853 28853 28724 0 -1 64 10936 0 0 0 19 5 0 0 16 0 8 0 30893364 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28857] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28857/stat : 28857 (java) S 28853 28853 28724 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30893364 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28858] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28858/stat : 28858 (java) S 28853 28853 28724 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30893364 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28859] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28859/stat : 28859 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30893368 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28860] ppid=28853 vsize=807288 CPUtime=0.08
/proc/28855/task/28860/stat : 28860 (java) S 28853 28853 28724 0 -1 64 370 0 0 0 8 0 0 0 19 0 8 0 30893368 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28861] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28861/stat : 28861 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30893368 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28862] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28862/stat : 28862 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30893368 826662912 17146 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 821012
[startup+2.98259 s]
/proc/loadavg: 1.10 1.61 2.40 3/96 28862
/proc/meminfo: memFree=1594360/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=0.04
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30893355 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 805 368 3 0 531 0
[pid=28855] ppid=28853 vsize=807288 CPUtime=2.88
/proc/28855/stat : 28855 (java) R 28853 28853 28724 0 -1 0 39192 0 1 0 263 25 0 0 25 0 8 0 30893360 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073713006 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28855/statm: 201822 38929 1690 14 0 189100 0
[pid=28855/tid=28856] ppid=28853 vsize=807288 CPUtime=0.75
/proc/28855/task/28856/stat : 28856 (java) S 28853 28853 28724 0 -1 64 32634 0 0 0 60 15 0 0 16 0 8 0 30893364 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28857] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28857/stat : 28857 (java) S 28853 28853 28724 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 30893364 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28858] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28858/stat : 28858 (java) S 28853 28853 28724 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 30893364 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28859] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28859/stat : 28859 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30893368 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28860] ppid=28853 vsize=807288 CPUtime=0.11
/proc/28855/task/28860/stat : 28860 (java) S 28853 28853 28724 0 -1 64 388 0 0 0 11 0 0 0 16 0 8 0 30893368 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28861] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28861/stat : 28861 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30893368 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28862] ppid=28853 vsize=807288 CPUtime=0
/proc/28855/task/28862/stat : 28862 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30893368 826662912 38929 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 821012
[startup+6.27793 s]
/proc/loadavg: 1.18 1.62 2.40 3/96 28862
/proc/meminfo: memFree=1493304/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=0.04
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30893355 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 805 368 3 0 531 0
[pid=28855] ppid=28853 vsize=807420 CPUtime=6.14
/proc/28855/stat : 28855 (java) R 28853 28853 28724 0 -1 0 57022 0 1 0 580 34 0 0 25 0 8 0 30893360 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073451499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28855/statm: 201855 54968 1694 14 0 189133 0
[pid=28855/tid=28856] ppid=28853 vsize=807420 CPUtime=2.45
/proc/28855/task/28856/stat : 28856 (java) S 28853 28853 28724 0 -1 64 50424 0 0 0 221 24 0 0 25 0 8 0 30893364 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28857] ppid=28853 vsize=807420 CPUtime=0
/proc/28855/task/28857/stat : 28857 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30893364 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28858] ppid=28853 vsize=807420 CPUtime=0
/proc/28855/task/28858/stat : 28858 (java) S 28853 28853 28724 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 30893364 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28859] ppid=28853 vsize=807420 CPUtime=0
/proc/28855/task/28859/stat : 28859 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30893368 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28860] ppid=28853 vsize=807420 CPUtime=0.14
/proc/28855/task/28860/stat : 28860 (java) S 28853 28853 28724 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 30893368 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28861] ppid=28853 vsize=807420 CPUtime=0
/proc/28855/task/28861/stat : 28861 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30893368 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28855/tid=28862] ppid=28853 vsize=807420 CPUtime=0
/proc/28855/task/28862/stat : 28862 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30893368 826798080 54968 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821144
[startup+12.7726 s]
/proc/loadavg: 1.24 1.62 2.39 3/96 28870
/proc/meminfo: memFree=1644536/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 15 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807064 CPUtime=3.25
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 17489 0 1 0 316 9 0 0 25 0 8 0 30894299 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073482384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28863/statm: 201766 17216 1494 14 0 189044 0
[pid=28863/tid=28864] ppid=28853 vsize=807064 CPUtime=0.84
/proc/28863/task/28864/stat : 28864 (java) S 28853 28853 28724 0 -1 64 11413 0 0 0 79 5 0 0 16 0 8 0 30894303 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807064 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807064 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30894304 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807064 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807064 CPUtime=0.06
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 293 0 0 0 6 0 0 0 16 0 8 0 30894307 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807064 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807064 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826433536 17216 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 820788
[startup+25.598 s]
/proc/loadavg: 1.41 1.64 2.39 3/96 28870
/proc/meminfo: memFree=1492984/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 15 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=15.98
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 58308 0 1 0 1570 28 0 0 25 0 8 0 30894299 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28863/statm: 201846 57759 1507 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=4.52
/proc/28863/task/28864/stat : 28864 (java) S 28853 28853 28724 0 -1 64 50657 0 0 0 429 23 0 0 16 0 8 0 30894303 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30894304 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.16
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 426 0 0 0 16 0 0 0 17 0 8 0 30894307 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 57759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 57759 18446744073709551615 134512640 134570532 4294956464 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) 821108
[startup+51.2187 s]
/proc/loadavg: 1.74 1.70 2.39 3/96 28870
/proc/meminfo: memFree=1196152/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 15 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=41.46
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 129638 0 1 0 4080 66 0 0 25 0 8 0 30894299 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28863/statm: 201846 128315 1507 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=10.94
/proc/28863/task/28864/stat : 28864 (java) R 28853 28853 28724 0 -1 64 119683 0 0 0 1036 58 0 0 16 0 8 0 30894303 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30894304 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.16
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 426 0 0 0 16 0 0 0 17 0 8 0 30894307 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 128315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 821108
[startup+102.511 s]
/proc/loadavg: 2.22 1.82 2.39 3/97 28872
/proc/meminfo: memFree=575280/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 16 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=92.35
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 173400 0 1 0 8919 316 0 0 25 0 8 0 30894299 826761216 156898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28863/statm: 201846 156898 1509 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=36.61
################
# More data... #
################
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.19
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 444 0 0 0 19 0 0 0 16 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.94
Current children cumulated vsize (KiB) 821108
[startup+2024.78 s]
/proc/loadavg: 7.54 7.27 5.42 3/106 29071
/proc/meminfo: memFree=15968/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 16 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=1756.92
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 201368 0 1 0 162260 13432 0 0 25 0 8 0 30894299 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28863/statm: 201846 156911 1511 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=66.8
/proc/28863/task/28864/stat : 28864 (java) S 28853 28853 28724 0 -1 64 190481 0 0 0 6576 104 0 0 16 0 8 0 30894303 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.19
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 444 0 0 0 19 0 0 0 16 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.23
Current children cumulated vsize (KiB) 821108
[startup+2084.83 s]
/proc/loadavg: 7.49 7.40 5.59 1/102 29077
/proc/meminfo: memFree=14912/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 16 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=1785.96
/proc/28863/stat : 28863 (java) D 28853 28853 28724 0 -1 0 201368 0 1 0 164918 13678 0 0 25 0 8 0 30894299 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28863/statm: 201846 156911 1511 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=66.8
/proc/28863/task/28864/stat : 28864 (java) S 28853 28853 28724 0 -1 64 190481 0 0 0 6576 104 0 0 16 0 8 0 30894303 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.19
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 444 0 0 0 19 0 0 0 16 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 821108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2092.87 s]
/proc/loadavg: 6.96 7.28 5.57 3/102 29077
/proc/meminfo: memFree=16320/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.31
/proc/28853/stat : 28853 (sugar) S 28851 28853 28724 0 -1 4194304 1190 63686 0 1 3 1 882 45 16 0 1 0 30893355 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28853/statm: 3431 809 371 3 0 531 0
[pid=28863] ppid=28853 vsize=807384 CPUtime=1790.76
/proc/28863/stat : 28863 (java) R 28853 28853 28724 0 -1 0 201368 0 1 0 165360 13716 0 0 25 0 8 0 30894299 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28863/statm: 201846 156911 1511 14 0 189124 0
[pid=28863/tid=28864] ppid=28853 vsize=807384 CPUtime=66.8
/proc/28863/task/28864/stat : 28864 (java) S 28853 28853 28724 0 -1 64 190481 0 0 0 6576 104 0 0 16 0 8 0 30894303 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28863/tid=28865] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28865/stat : 28865 (java) S 28853 28853 28724 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28866] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28866/stat : 28866 (java) S 28853 28853 28724 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30894304 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28867] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28867/stat : 28867 (java) S 28853 28853 28724 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28868] ppid=28853 vsize=807384 CPUtime=0.19
/proc/28863/task/28868/stat : 28868 (java) S 28853 28853 28724 0 -1 64 444 0 0 0 19 0 0 0 16 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28869] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28869/stat : 28869 (java) S 28853 28853 28724 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28863/tid=28870] ppid=28853 vsize=807384 CPUtime=0
/proc/28863/task/28870/stat : 28870 (java) S 28853 28853 28724 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30894307 826761216 156911 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 821108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+2144.84 s]
/proc/loadavg: 5.45 6.80 5.49 2/96 29084
/proc/meminfo: memFree=408504/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=9.87
/proc/28853/stat : 28853 (sugar) D 28851 28853 28724 0 -1 4194304 1214 63686 1 1 3 57 882 45 18 0 1 0 30893355 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244671288361 256 16384 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/28853/statm: 3431 811 373 3 0 531 0
[pid=28863] ppid=28853 vsize=0 CPUtime=1791.07
/proc/28863/stat : 28863 (java) Z 28853 28853 28724 0 -1 1036 201380 0 4 0 165379 13728 0 0 23 0 1 0 30894299 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 13724
[startup+2204.9 s]
/proc/loadavg: 5.10 6.46 5.45 2/95 29091
/proc/meminfo: memFree=15168/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=10.18
/proc/28853/stat : 28853 (sugar) D 28851 28853 28724 0 -1 4194304 1214 63686 1 1 3 88 882 45 18 0 1 0 30893355 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244671288361 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/28853/statm: 3431 811 373 3 0 531 0
[pid=28863] ppid=28853 vsize=0 CPUtime=1791.07
/proc/28863/stat : 28863 (java) Z 28853 28853 28724 0 -1 1036 201380 0 4 0 165379 13728 0 0 23 0 1 0 30894299 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 13724
[startup+2264.93 s]
/proc/loadavg: 4.81 6.12 5.40 2/95 29098
/proc/meminfo: memFree=15808/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=10.42
/proc/28853/stat : 28853 (sugar) D 28851 28853 28724 0 -1 4194304 1214 63686 1 1 3 112 882 45 18 0 1 0 30893355 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244671288361 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/28853/statm: 3431 811 373 3 0 531 0
[pid=28863] ppid=28853 vsize=0 CPUtime=1791.07
/proc/28863/stat : 28863 (java) Z 28853 28853 28724 0 -1 1036 201380 0 4 0 165379 13728 0 0 23 0 1 0 30894299 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 13724
[startup+2324.96 s]
/proc/loadavg: 4.88 5.91 5.37 2/102 29214
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=10.61
/proc/28853/stat : 28853 (sugar) D 28851 28853 28724 0 -1 4194304 1214 63686 1 1 3 131 882 45 18 0 1 0 30893355 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244671288361 256 16384 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/28853/statm: 3431 811 373 3 0 531 0
[pid=28863] ppid=28853 vsize=0 CPUtime=1791.07
/proc/28863/stat : 28863 (java) Z 28853 28853 28724 0 -1 1036 201380 0 4 0 165379 13728 0 0 23 0 1 0 30894299 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 13724
[startup+2384.99 s]
/proc/loadavg: 4.55 5.62 5.30 2/95 29302
/proc/meminfo: memFree=15744/2055920 swapFree=4192812/4192956
[pid=28853] ppid=28851 vsize=13724 CPUtime=10.82
/proc/28853/stat : 28853 (sugar) D 28851 28853 28724 0 -1 4194304 1214 63686 1 1 3 152 882 45 18 0 1 0 30893355 14053376 811 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244671288361 256 16384 4224 16386 18446744071563608240 0 0 17 0 0 0
/proc/28853/statm: 3431 811 373 3 0 531 0
[pid=28863] ppid=28853 vsize=0 CPUtime=1791.07
/proc/28863/stat : 28863 (java) Z 28853 28853 28724 0 -1 1036 201380 0 4 0 165379 13728 0 0 23 0 1 0 30894299 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 0 0 0
/proc/28863/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 13724
Child ended because it received signal 9 (SIGKILL)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 28853 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=864652 childrusage.ru_stime.tv_sec=3 childrusage.ru_stime.tv_usec=399483
CPU time returned by wait4() is 12.2641
while last known CPU time is 1803.31
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2419.04
CPU time (s): 1803.31
CPU user time (s): 1662.64
CPU system time (s): 140.67
CPU usage (%): 74.5466
Max. virtual memory (cumulated for all children) (KiB): 833116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.86465
system time used= 3.39948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64900
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= 8740
involuntary context switches= 1231
runsolver used 3.01154 s user time and 8.01778 s system time
The end
Begin job on node7 on Mon Jan 29 22:23:05 UTC 2007
IDJOB= 245903
IDBENCH= 10311
IDSOLVER= 86
FILE ID= node7/245903-1170109381
PBS_JOBID= 3690016
Free space on /tmp= 66518 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/largeQueens/queens-500.xml
COMMAND LINE= /tmp/evaluation/245903-1170109381/solver /tmp/evaluation/245903-1170109381 /tmp/evaluation/245903-1170109381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-245903-1170109381 -o ROOT/results/node7/solver-245903-1170109381 -C 1800 -M 900 /tmp/evaluation/245903-1170109381/solver /tmp/evaluation/245903-1170109381 /tmp/evaluation/245903-1170109381/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 5b25d062fefd9db3976f835c6c16921b
RANDOM SEED= 680212291
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1712216 kB
Buffers: 20804 kB
Cached: 109076 kB
SwapCached: 0 kB
Active: 251908 kB
Inactive: 49188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1712216 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 17244 kB
Writeback: 0 kB
Mapped: 190660 kB
Slab: 27240 kB
Committed_AS: 673880 kB
PageTables: 2372 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= 50481 MiB
End job on node7 on Mon Jan 29 23:03:26 UTC 2007