runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065228-1247338085/watcher-2065228-1247338085 -o /tmp/evaluation-result-2065228-1247338085/solver-2065228-1247338085 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2065228-1247338085.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 3.48 2.61 2.22 4/73 15256
/proc/meminfo: memFree=1036120/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=18576 CPUtime=0
/proc/15256/stat : 15256 (runsolver) R 15254 15256 14760 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 20873810 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15256/statm: 4644 284 249 26 0 2626 0
[startup+0.0533881 s]
/proc/loadavg: 3.48 2.61 2.22 4/73 15256
/proc/meminfo: memFree=1036120/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=861572 CPUtime=0.03
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 2434 0 1 0 2 1 0 0 20 0 9 0 20873810 882249728 1986 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 215393 1986 920 9 0 210308 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861572
[startup+0.102399 s]
/proc/loadavg: 3.48 2.61 2.22 4/73 15256
/proc/meminfo: memFree=1036120/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=864096 CPUtime=0.08
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 3804 0 1 0 6 2 0 0 20 0 9 0 20873810 884834304 3267 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216024 3267 1723 9 0 210492 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864096
[startup+0.301435 s]
/proc/loadavg: 3.48 2.61 2.22 4/73 15256
/proc/meminfo: memFree=1036120/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=864368 CPUtime=0.27
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 4577 0 1 0 25 2 0 0 20 0 9 0 20873810 885112832 4002 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216092 4002 1852 9 0 210560 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864368
[startup+0.70251 s]
/proc/loadavg: 3.48 2.61 2.22 4/73 15256
/proc/meminfo: memFree=1036120/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865132 CPUtime=0.68
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 7241 0 1 0 64 4 0 0 20 0 9 0 20873810 885895168 6644 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216283 6644 1932 9 0 210751 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 865132
[startup+1.50167 s]
/proc/loadavg: 3.36 2.60 2.22 3/82 15265
/proc/meminfo: memFree=1005328/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1.47
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 15593 0 1 0 138 9 0 0 20 0 9 0 20873810 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 14973 1974 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1.16
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14206 0 1 0 109 7 0 0 25 0 9 0 20873812 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4125929342 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 20873813 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 10 0 0 0 0 0 0 0 23 0 9 0 20873813 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 20873813 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.29
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 658 0 0 0 28 1 0 0 15 0 9 0 20873816 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 14973 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 865264
[startup+3.10198 s]
/proc/loadavg: 3.36 2.60 2.22 3/82 15265
/proc/meminfo: memFree=974032/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=3.05
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 19364 0 1 0 294 11 0 0 20 0 9 0 20873810 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18739 1984 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=2.63
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14803 0 1 0 255 8 0 0 25 0 9 0 20873812 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4127229284 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0.07
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3156 0 0 0 7 0 0 0 16 0 9 0 20873813 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.32
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 670 0 0 0 31 1 0 0 15 0 9 0 20873816 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18739 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 865264
[startup+6.30159 s]
/proc/loadavg: 3.36 2.60 2.22 3/82 15265
/proc/meminfo: memFree=968336/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=6.23
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 19385 0 1 0 611 12 0 0 20 0 9 0 20873810 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18753 1987 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=5.78
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14810 0 1 0 569 9 0 0 25 0 9 0 20873812 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4127189171 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0.08
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3156 0 0 0 8 0 0 0 16 0 9 0 20873813 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 684 0 0 0 33 1 0 0 15 0 9 0 20873816 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18753 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 865264
[startup+12.7018 s]
/proc/loadavg: 3.15 2.58 2.22 3/82 15265
/proc/meminfo: memFree=968144/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=12.57
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 19399 0 1 0 1244 13 0 0 20 0 9 0 20873810 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18755 1987 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=12.1
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14822 0 1 0 1200 10 0 0 25 0 9 0 20873812 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4127192113 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0.1
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3156 0 0 0 10 0 0 0 16 0 9 0 20873813 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 686 0 0 0 33 1 0 0 17 0 9 0 20873816 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18755 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 865264
[startup+25.5023 s]
/proc/loadavg: 2.97 2.56 2.21 3/82 15265
/proc/meminfo: memFree=968144/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=25.26
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 19424 0 1 0 2512 14 0 0 20 0 9 0 20873810 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18756 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=24.76
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14846 0 1 0 2465 11 0 0 25 0 9 0 20873812 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4127263923 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0.14
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3156 0 0 0 13 1 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 865264
[startup+51.1022 s]
/proc/loadavg: 2.64 2.52 2.21 3/82 15265
/proc/meminfo: memFree=968144/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=50.64
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 19472 0 1 0 5047 17 0 0 20 0 9 0 20873810 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18756 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=50.07
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 14894 0 1 0 4993 14 0 0 25 0 9 0 20873812 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4127190551 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=0.2
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3156 0 0 0 19 1 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18756 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18767 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18767 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18767 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18767 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18767 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1526.23
Current children cumulated vsize (KiB) 865264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/84 15604
/proc/meminfo: memFree=984776/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1585.71
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22361 0 1 0 158332 239 0 0 20 0 9 0 20873810 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18768 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1580.76
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 17771 0 1 0 157860 216 0 0 25 0 9 0 20873812 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4127246950 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=4.57
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3168 0 0 0 437 20 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1585.71
Current children cumulated vsize (KiB) 865264
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.03 3/84 15604
/proc/meminfo: memFree=984776/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1645.2
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22473 0 1 0 164271 249 0 0 20 0 9 0 20873810 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18768 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1640.08
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 17883 0 1 0 163783 225 0 0 25 0 9 0 20873812 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4127189218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=4.74
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3168 0 0 0 453 21 0 0 15 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1645.2
Current children cumulated vsize (KiB) 865264
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.02 3/84 15604
/proc/meminfo: memFree=984712/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1704.69
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22586 0 1 0 170213 256 0 0 20 0 9 0 20873810 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18768 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1699.4
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 17996 0 1 0 169709 231 0 0 25 0 9 0 20873812 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4127187481 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=4.91
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3168 0 0 0 469 22 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1704.69
Current children cumulated vsize (KiB) 865264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/84 15604
/proc/meminfo: memFree=984584/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1764.18
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22698 0 1 0 176152 266 0 0 20 0 9 0 20873810 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18768 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1758.72
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 18108 0 1 0 175632 240 0 0 25 0 9 0 20873812 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4127130160 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=5.08
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3168 0 0 0 485 23 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18768 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1764.18
Current children cumulated vsize (KiB) 865264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.5 s]
/proc/loadavg: 2.00 2.00 2.01 3/84 15604
/proc/meminfo: memFree=984584/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1800.07
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22767 0 1 0 179736 271 0 0 20 0 9 0 20873810 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18769 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1794.52
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 18176 0 1 0 179208 244 0 0 25 0 9 0 20873812 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4127187207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=5.17
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3169 0 0 0 493 24 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 865264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1818.5 s]
/proc/loadavg: 2.00 2.00 2.01 3/84 15604
/proc/meminfo: memFree=984584/2055920 swapFree=4192948/4192956
[pid=15256] ppid=15254 vsize=865264 CPUtime=1800.07
/proc/15256/stat : 15256 (java) S 15254 15256 14760 0 -1 0 22767 0 1 0 179736 271 0 0 20 0 9 0 20873810 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15256/statm: 216316 18769 1988 9 0 210784 0
[pid=15256/tid=15258] ppid=15254 vsize=865264 CPUtime=1794.52
/proc/15256/task/15258/stat : 15258 (java) R 15254 15256 14760 0 -1 64 18176 0 1 0 179208 244 0 0 25 0 9 0 20873812 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4127187207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15259] ppid=15254 vsize=865264 CPUtime=5.17
/proc/15256/task/15259/stat : 15259 (java) S 15254 15256 14760 0 -1 64 3169 0 0 0 493 24 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15256/tid=15260] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15260/stat : 15260 (java) S 15254 15256 14760 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15261] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15261/stat : 15261 (java) S 15254 15256 14760 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 20873813 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15262] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15262/stat : 15262 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15263] ppid=15254 vsize=865264 CPUtime=0.34
/proc/15256/task/15263/stat : 15263 (java) S 15254 15256 14760 0 -1 64 687 0 0 0 33 1 0 0 16 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15264] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15264/stat : 15264 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15256/tid=15265] ppid=15254 vsize=865264 CPUtime=0
/proc/15256/task/15265/stat : 15265 (java) S 15254 15256 14760 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 20873816 886030336 18769 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 865264
Child status: 143
Real time (s): 1818.56
CPU time (s): 1800.12
CPU user time (s): 1797.4
CPU system time (s): 2.72259
CPU usage (%): 98.9864
Max. virtual memory (cumulated for all children) (KiB): 865264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 2.72259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22791
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67026
involuntary context switches= 105356
runsolver used 2.09868 second user time and 6.19206 second system time
The end
Begin job on node76 at 2009-07-11 20:48:05
IDJOB=2065228
IDBENCH=54341
IDSOLVER=737
FILE ID=node76/2065228-1247338085
PBS_JOBID= 9506632
Free space on /tmp= 66376 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/schurrLemma/normalized-lemma-66-4.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065228-1247338085/watcher-2065228-1247338085 -o /tmp/evaluation-result-2065228-1247338085/solver-2065228-1247338085 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2065228-1247338085.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cb71f77943a3e9336840301264b4b7c7
RANDOM SEED=2136889645
node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.277
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.277
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1036536 kB
Buffers: 61820 kB
Cached: 851412 kB
SwapCached: 8 kB
Active: 99436 kB
Inactive: 845600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1036536 kB
SwapTotal: 4192956 kB
SwapFree: 4192948 kB
Dirty: 2868 kB
Writeback: 0 kB
Mapped: 43216 kB
Slab: 59720 kB
Committed_AS: 146108 kB
PageTables: 1808 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= 66380 MiB
End job on node76 at 2009-07-11 21:18:25