runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248298-1500738654/watcher-4248298-1500738654 -o /tmp/evaluation-result-4248298-1500738654/solver-4248298-1500738654 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18228 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 839403409 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248298-1500738654.xml
pid=25654
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.64 1.90 2.41 3/261 25657
/proc/meminfo: memFree=26481536/32770624 swapFree=5892/216104
[pid=25657] ppid=25654 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 9135142 369864704 1925 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 90299 1925 1072 1 0 79210 0
[pid=25657/tid=25658] ppid=25654 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) S 25654 25657 18196 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 9135143 369864704 1925 33554432000 4194304 4196468 140720435404320 140535371282848 140535367051906 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[startup+0.10016 s]
/proc/loadavg: 1.64 1.90 2.41 3/261 25657
/proc/meminfo: memFree=26481536/32770624 swapFree=5892/216104
[pid=25657] ppid=25654 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 5260 0 0 0 9 0 0 0 20 0 20 0 9135142 13582725120 5867 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3316095 5867 2765 1 0 3303815 0
[pid=25657/tid=25658] ppid=25654 vsize=13264380 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 3348 0 0 0 7 0 0 0 20 0 20 0 9135143 13582725120 5867 33554432000 4194304 4196468 140720435404320 140535371273008 140535323676534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200399 s]
/proc/loadavg: 1.64 1.90 2.41 3/261 25657
/proc/meminfo: memFree=26481536/32770624 swapFree=5892/216104
[pid=25657] ppid=25654 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 9000 0 0 0 24 1 0 0 20 0 20 0 9135142 13582245888 9047 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3315978 9047 3567 1 0 3303698 0
[pid=25657/tid=25658] ppid=25654 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 6737 0 0 0 16 1 0 0 20 0 20 0 9135143 13582245888 9047 33554432000 4194304 4196468 140720435404320 140535371256544 140535367052694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300411 s]
/proc/loadavg: 1.64 1.90 2.41 3/261 25657
/proc/meminfo: memFree=26481536/32770624 swapFree=5892/216104
[pid=25657] ppid=25654 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 10037 0 0 0 40 2 0 0 20 0 20 0 9135142 13582245888 11310 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3315978 11310 3642 1 0 3303698 0
[pid=25657/tid=25658] ppid=25654 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 7472 0 0 0 26 1 0 0 20 0 20 0 9135143 13582245888 11310 33554432000 4194304 4196468 140720435404320 140535371253088 140535351121246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700223 s]
/proc/loadavg: 1.64 1.90 2.41 3/261 25657
/proc/meminfo: memFree=26481536/32770624 swapFree=5892/216104
[pid=25657] ppid=25654 vsize=13265980 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 13351 0 0 0 145 4 0 0 20 0 20 0 9135142 13584363520 23851 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3316495 23851 3772 1 0 3304210 0
[pid=25657/tid=25658] ppid=25654 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 8445 0 0 0 65 2 0 0 20 0 20 0 9135143 13584363520 23851 33554432000 4194304 4196468 140720435404320 140535371272176 140535349330127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13265980
[startup+1.50088 s]
/proc/loadavg: 1.64 1.90 2.41 7/281 25677
/proc/meminfo: memFree=26293708/32770624 swapFree=5892/216492
[pid=25657] ppid=25654 vsize=13265980 CPUtime=3.47 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 14987 0 0 0 333 14 0 0 20 0 20 0 9135142 13584363520 50923 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3316495 50923 3795 1 0 3304210 0
[pid=25657/tid=25658] ppid=25654 vsize=13265980 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 8677 0 0 0 141 4 0 0 20 0 20 0 9135143 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535371276968 140534974715552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) S 25654 25657 18196 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535299177488 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535298124944 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) S 25654 25657 18196 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535297071888 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) S 25654 25657 18196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535296019344 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) S 25654 25657 18196 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535294966288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535293913744 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) S 25654 25657 18196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535292860688 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) S 25654 25657 18196 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 50923 33554432000 4194304 4196468 140720435404320 140535291808144 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 9135146 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534562015984 140535367051906 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25671/stat : 25671 (java) S 25654 25657 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534558857680 140535367059355 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25672] ppid=25654 vsize=13265980 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25672/stat : 25672 (java) S 25654 25657 18196 0 -1 1077944384 1356 0 0 0 45 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534557804784 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25673] ppid=25654 vsize=13265980 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 1165 0 0 0 49 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534556752240 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13265980 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1153 0 0 0 52 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534555699184 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13265980 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1072 0 0 0 35 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534554646640 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9135152 13584363520 50923 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 13265980
[startup+3.10089 s]
/proc/loadavg: 1.59 1.89 2.40 3/281 25677
/proc/meminfo: memFree=26291724/32770624 swapFree=5892/216480
[pid=25657] ppid=25654 vsize=13265980 CPUtime=5.26 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 16469 0 0 0 512 14 0 0 20 0 20 0 9135142 13584363520 51029 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3316495 51029 3797 1 0 3304210 0
[pid=25657/tid=25658] ppid=25654 vsize=13265980 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 8866 0 0 0 301 4 0 0 20 0 20 0 9135143 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535371275256 140534974919456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) S 25654 25657 18196 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535299177488 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535298124944 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) S 25654 25657 18196 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535297071888 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) S 25654 25657 18196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535296019344 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) S 25654 25657 18196 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535294966288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535293913744 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) S 25654 25657 18196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535292860688 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) S 25654 25657 18196 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51029 33554432000 4194304 4196468 140720435404320 140535291808144 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 9135146 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534562015984 140535367051906 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25671/stat : 25671 (java) S 25654 25657 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534558857680 140535367059355 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25672] ppid=25654 vsize=13265980 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25672/stat : 25672 (java) S 25654 25657 18196 0 -1 1077944384 1378 0 0 0 48 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534557804784 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25673] ppid=25654 vsize=13265980 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 2353 0 0 0 58 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534556752240 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13265980 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1194 0 0 0 59 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534555699184 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13265980 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1102 0 0 0 35 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534554646640 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 9135152 13584363520 51029 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 53 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 13265980
[startup+6.30077 s]
/proc/loadavg: 1.59 1.89 2.40 3/281 25677
/proc/meminfo: memFree=26291084/32770624 swapFree=5892/216488
[pid=25657] ppid=25654 vsize=13265980 CPUtime=8.46 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 17134 0 0 0 832 14 0 0 20 0 20 0 9135142 13584363520 51030 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3316495 51030 3797 1 0 3304210 0
[pid=25657/tid=25658] ppid=25654 vsize=13265980 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) R 25654 25657 18196 0 -1 4202560 8917 0 0 0 621 4 0 0 20 0 20 0 9135143 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535371274448 140534974715552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) S 25654 25657 18196 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535299177488 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535298124944 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) S 25654 25657 18196 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535297071888 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) S 25654 25657 18196 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535296019344 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) S 25654 25657 18196 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535294966288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) S 25654 25657 18196 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535293913744 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) S 25654 25657 18196 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535292860688 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13265980 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) S 25654 25657 18196 0 -1 1077944384 8 0 0 0 1 0 0 0 20 0 20 0 9135144 13584363520 51030 33554432000 4194304 4196468 140720435404320 140535291808144 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 9135146 13584363520 51030 33554432000 4194304 4196468 140720435404320 140534562015984 140535367051906 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 51030 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 9135147 13584363520 51030 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=25657/tid=25673] ppid=25654 vsize=13593660 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 2556 0 0 0 58 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534556752288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13593660 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1326 0 0 0 59 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534555699232 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13593660 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1282 0 0 0 36 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534554646400 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13593660 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 1102 0 0 0 14 15 0 0 20 0 20 0 9135152 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 53 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13593660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25657
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25657 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+1216 s]
/proc/loadavg: 5.63 3.75 2.92 10/282 25736
/proc/meminfo: memFree=15833000/32770624 swapFree=5892/216944
[pid=25657] ppid=25654 vsize=13593660 CPUtime=2409.37 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 1231842 0 0 0 238361 2576 0 0 20 0 20 0 9135142 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3398415 2658925 3823 1 0 3386130 0
[pid=25657/tid=25658] ppid=25654 vsize=13593660 CPUtime=1026.12 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) S 25654 25657 18196 0 -1 1077944384 23612 0 0 0 102575 37 0 0 20 0 20 0 9135143 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535371277504 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13593660 CPUtime=170.9 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) R 25654 25657 18196 0 -1 4202560 260147 0 0 0 16777 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535299177384 140535359668967 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13593660 CPUtime=170.17 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) R 25654 25657 18196 0 -1 4202560 152812 0 0 0 16704 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535298124840 140535359668967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13593660 CPUtime=171.67 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) R 25654 25657 18196 0 -1 4202560 190930 0 0 0 16860 307 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535297071784 140535359668967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13593660 CPUtime=170.41 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) R 25654 25657 18196 0 -1 4202560 67139 0 0 0 16716 325 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535296019240 140535359668967 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13593660 CPUtime=170.65 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) R 25654 25657 18196 0 -1 4202560 49892 0 0 0 16743 322 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535294966184 140535350423794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13593660 CPUtime=171.05 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) R 25654 25657 18196 0 -1 4202560 171121 0 0 0 16793 312 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535293913944 140535351991979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13593660 CPUtime=171 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) R 25654 25657 18196 0 -1 4202560 142687 0 0 0 16789 311 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535292860584 140535359668967 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13593660 CPUtime=170.49 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) R 25654 25657 18196 0 -1 4202560 101497 0 0 0 16734 315 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535291808040 140535350423794 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13593660 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 62804 0 0 0 1443 4 0 0 20 0 20 0 9135146 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534562014304 140535367050965 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25671/stat : 25671 (java) S 25654 25657 18196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534558857328 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25672] ppid=25654 vsize=13593660 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25672/stat : 25672 (java) S 25654 25657 18196 0 -1 1077944384 1503 0 0 0 49 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534557804832 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25673] ppid=25654 vsize=13593660 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 2556 0 0 0 58 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534556752288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13593660 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1326 0 0 0 59 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534555699232 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13593660 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1282 0 0 0 36 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534554646400 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13593660 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 1104 0 0 0 14 15 0 0 20 0 20 0 9135152 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 53 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 2409.37
Current children cumulated vsize (KiB) 13593660
[startup+1216.4 s]
/proc/loadavg: 5.63 3.75 2.92 10/282 25736
/proc/meminfo: memFree=15833000/32770624 swapFree=5892/216944
[pid=25657] ppid=25654 vsize=13593660 CPUtime=2412.48 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 1231849 0 0 0 238671 2577 0 0 20 0 20 0 9135142 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3398415 2658925 3823 1 0 3386130 0
[pid=25657/tid=25658] ppid=25654 vsize=13593660 CPUtime=1026.12 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) S 25654 25657 18196 0 -1 1077944384 23612 0 0 0 102575 37 0 0 20 0 20 0 9135143 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535371277504 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13593660 CPUtime=171.29 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) R 25654 25657 18196 0 -1 4202560 260147 0 0 0 16816 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535299177384 140535359668967 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13593660 CPUtime=170.55 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) R 25654 25657 18196 0 -1 4202560 152812 0 0 0 16742 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535298124840 140535359668967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13593660 CPUtime=172.05 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) R 25654 25657 18196 0 -1 4202560 190930 0 0 0 16898 307 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535297071784 140535359668967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13593660 CPUtime=170.8 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) R 25654 25657 18196 0 -1 4202560 67139 0 0 0 16755 325 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535296019240 140535359668967 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13593660 CPUtime=171.03 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) R 25654 25657 18196 0 -1 4202560 49892 0 0 0 16781 322 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535294966184 140535359668967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13593660 CPUtime=171.45 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) R 25654 25657 18196 0 -1 4202560 171128 0 0 0 16833 312 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535293913944 140535351494764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13593660 CPUtime=171.39 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) R 25654 25657 18196 0 -1 4202560 142687 0 0 0 16828 311 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535292860584 140535359668967 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13593660 CPUtime=170.88 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) R 25654 25657 18196 0 -1 4202560 101497 0 0 0 16773 315 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535291808040 140535350423794 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13593660 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 62804 0 0 0 1443 4 0 0 20 0 20 0 9135146 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534562014304 140535367050965 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25671/stat : 25671 (java) S 25654 25657 18196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534558857328 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25672] ppid=25654 vsize=13593660 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25672/stat : 25672 (java) S 25654 25657 18196 0 -1 1077944384 1503 0 0 0 49 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534557804832 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25673] ppid=25654 vsize=13593660 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 2556 0 0 0 58 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534556752288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13593660 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1326 0 0 0 59 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534555699232 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13593660 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1282 0 0 0 36 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534554646400 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13593660 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 1104 0 0 0 14 15 0 0 20 0 20 0 9135152 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 53 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 2412.48
Current children cumulated vsize (KiB) 13593660
[startup+1216.8 s]
/proc/loadavg: 5.63 3.75 2.92 10/282 25736
/proc/meminfo: memFree=15833000/32770624 swapFree=5892/216944
[pid=25657] ppid=25654 vsize=13593660 CPUtime=2415.53 cores=1,3,5,7,9,11,13,15
/proc/25657/stat : 25657 (java) S 25654 25657 18196 0 -1 1077944320 1231854 0 0 0 238976 2577 0 0 20 0 20 0 9135142 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140720435386864 140535367040759 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
/proc/25657/statm: 3398415 2658925 3823 1 0 3386130 0
[pid=25657/tid=25658] ppid=25654 vsize=13593660 CPUtime=1026.12 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25658/stat : 25658 (java) S 25654 25657 18196 0 -1 1077944384 23612 0 0 0 102575 37 0 0 20 0 20 0 9135143 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535371277504 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25660] ppid=25654 vsize=13593660 CPUtime=171.68 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25660/stat : 25660 (java) R 25654 25657 18196 0 -1 4202560 260147 0 0 0 16855 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535299177384 140535359668967 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25661] ppid=25654 vsize=13593660 CPUtime=170.94 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25661/stat : 25661 (java) R 25654 25657 18196 0 -1 4202560 152812 0 0 0 16781 313 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535298124840 140535359668967 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25662] ppid=25654 vsize=13593660 CPUtime=172.42 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25662/stat : 25662 (java) R 25654 25657 18196 0 -1 4202560 190930 0 0 0 16935 307 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535297071784 140535350423794 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25663] ppid=25654 vsize=13593660 CPUtime=171.19 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25663/stat : 25663 (java) R 25654 25657 18196 0 -1 4202560 67139 0 0 0 16794 325 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535296019240 140535359668967 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25664] ppid=25654 vsize=13593660 CPUtime=171.42 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25664/stat : 25664 (java) R 25654 25657 18196 0 -1 4202560 49892 0 0 0 16820 322 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535294966184 140535359668967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25665] ppid=25654 vsize=13593660 CPUtime=171.85 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25665/stat : 25665 (java) R 25654 25657 18196 0 -1 4202560 171133 0 0 0 16873 312 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535293913944 140535351991364 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25666] ppid=25654 vsize=13593660 CPUtime=171.77 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25666/stat : 25666 (java) R 25654 25657 18196 0 -1 4202560 142687 0 0 0 16866 311 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535292860584 140535359668967 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25667] ppid=25654 vsize=13593660 CPUtime=171.23 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25667/stat : 25667 (java) R 25654 25657 18196 0 -1 4202560 101497 0 0 0 16808 315 0 0 20 0 20 0 9135144 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140535291807728 140535359668967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25668] ppid=25654 vsize=13593660 CPUtime=14.47 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25668/stat : 25668 (java) S 25654 25657 18196 0 -1 1077944384 62804 0 0 0 1443 4 0 0 20 0 20 0 9135146 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534562014304 140535367050965 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25669] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25669/stat : 25669 (java) S 25654 25657 18196 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534560962272 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25670] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25670/stat : 25670 (java) S 25654 25657 18196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9135147 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534559909120 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25671] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25671/stat : 25671 (java) S 25654 25657 18196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534558857328 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25672] ppid=25654 vsize=13593660 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25672/stat : 25672 (java) S 25654 25657 18196 0 -1 1077944384 1503 0 0 0 49 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534557804832 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25673] ppid=25654 vsize=13593660 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25673/stat : 25673 (java) S 25654 25657 18196 0 -1 1077944384 2556 0 0 0 58 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534556752288 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25674] ppid=25654 vsize=13593660 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25674/stat : 25674 (java) S 25654 25657 18196 0 -1 1077944384 1326 0 0 0 59 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534555699232 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25675] ppid=25654 vsize=13593660 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25675/stat : 25675 (java) S 25654 25657 18196 0 -1 1077944384 1282 0 0 0 36 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534554646400 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25676] ppid=25654 vsize=13593660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25676/stat : 25676 (java) S 25654 25657 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9135151 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534553594848 140535367050965 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
[pid=25657/tid=25677] ppid=25654 vsize=13593660 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/25657/task/25677/stat : 25677 (java) S 25654 25657 18196 0 -1 1077944384 1104 0 0 0 14 15 0 0 20 0 20 0 9135152 13919907840 2658925 33554432000 4194304 4196468 140720435404320 140534552542384 140535367051906 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 53 0 0 6293624 6294260 8208384 140720435410058 140720435410244 140720435410244 140720435412943 0
Current children cumulated CPU time (s) 2415.53
Current children cumulated vsize (KiB) 13593660
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1216.89
CPU time (s): 2415.66
CPU user time (s): 2389.8
CPU system time (s): 25.8651
CPU usage (%): 198.511
Max. virtual memory (cumulated for all children) (KiB): 13593660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.8
system time used= 25.8651
maximum resident set size= 10636004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66040
involuntary context switches= 152291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18985 second user time and 9.50884 second system time
The end