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-4244213-1500681781/watcher-4244213-1500681781 -o /tmp/evaluation-result-4244213-1500681781/solver-4244213-1500681781 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500678414-14988 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244213-1500681781.xml
pid=16028
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: 5.92 7.32 6.23 3/263 16031
/proc/meminfo: memFree=31188500/32770624 swapFree=6580/73996
[pid=16031] ppid=16028 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 2177 0 0 0 0 0 0 0 20 0 2 0 3443048 8550137856 1932 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2087436 1932 1197 1 0 2076347 0
[pid=16031/tid=16032] ppid=16028 vsize=8349744 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 920 0 0 0 0 0 0 0 20 0 2 0 3443048 8550137856 1932 33554432000 4194304 4196468 140735418702448 140253879220640 140253867219941 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 3443050 8552243200 1932 33554432000 4194304 4196468 140735418702448 140253835938400 140253874988757 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 4 0 3443050 8552243200 1932 33554432000 4194304 4196468 140735418702448 140253481114336 140253874988757 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) R 16028 16031 14955 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 3443050 8553295872 1998 33554432000 4194304 4196468 140735418702448 140253879219920 140253874992842 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[startup+0.100104 s]
/proc/loadavg: 5.92 7.32 6.23 3/263 16031
/proc/meminfo: memFree=31188500/32770624 swapFree=6580/73996
[pid=16031] ppid=16028 vsize=10900456 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 4973 0 0 0 7 2 0 0 20 0 20 0 3443048 11162066944 6112 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725114 6112 2618 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900456 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 3062 0 0 0 6 1 0 0 20 0 20 0 3443048 11162066944 6112 33554432000 4194304 4196468 140735418702448 140253879208648 140253856372282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3443050 11162066944 6112 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162066944 6112 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162066944 6112 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.20082 s]
/proc/loadavg: 5.92 7.32 6.23 3/263 16031
/proc/meminfo: memFree=31188500/32770624 swapFree=6580/73996
[pid=16031] ppid=16028 vsize=10900556 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 7077 0 0 0 21 3 0 0 20 0 20 0 3443048 11162169344 7883 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725139 7883 2843 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900556 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 4768 0 0 0 16 2 0 0 20 0 20 0 3443048 11162169344 7883 33554432000 4194304 4196468 140735418702448 140253879202064 140253859058246 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 7883 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 7883 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 7883 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10900556
[startup+0.30049 s]
/proc/loadavg: 5.92 7.32 6.23 3/263 16031
/proc/meminfo: memFree=31188500/32770624 swapFree=6580/73996
[pid=16031] ppid=16028 vsize=10900556 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 8008 0 0 0 37 3 0 0 20 0 20 0 3443048 11162169344 9871 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725139 9871 2934 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 5087 0 0 0 25 2 0 0 20 0 20 0 3443048 11162169344 9871 33554432000 4194304 4196468 140735418702448 140253879217112 140253511701856 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 9871 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 9871 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162169344 9871 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10900556
[startup+0.700341 s]
/proc/loadavg: 5.92 7.32 6.23 3/263 16031
/proc/meminfo: memFree=31188500/32770624 swapFree=6580/73996
[pid=16031] ppid=16028 vsize=10900632 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 11366 0 0 0 163 6 0 0 20 0 20 0 3443048 11162247168 32480 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725158 32480 3077 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 5946 0 0 0 63 4 0 0 20 0 20 0 3443048 11162247168 32480 33554432000 4194304 4196468 140735418702448 140253879214648 140253514898533 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3443050 11162247168 32480 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162247168 32480 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443050 11162247168 32480 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10900632
[startup+1.50107 s]
/proc/loadavg: 5.92 7.32 6.23 10/283 16051
/proc/meminfo: memFree=30888644/32770624 swapFree=6580/74388
[pid=16031] ppid=16028 vsize=10900632 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 12911 0 0 0 347 116 0 0 20 0 20 0 3443048 11162247168 121309 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725158 121309 3115 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900632 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) S 16028 16031 14955 0 -1 1077944384 6068 0 0 0 112 6 0 0 20 0 20 0 3443048 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253879214384 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) R 16028 16031 14955 0 -1 4202560 131 0 0 0 14 14 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253835938264 140253860006425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) R 16028 16031 14955 0 -1 4202560 137 0 0 0 15 13 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253481114200 140253860005970 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) R 16028 16031 14955 0 -1 4202560 131 0 0 0 16 12 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253480061656 140253860006425 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16036] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16036/stat : 16036 (java) R 16028 16031 14955 0 -1 4202560 134 0 0 0 14 14 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253479009112 140253860006425 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16037] ppid=16028 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16037/stat : 16037 (java) R 16028 16031 14955 0 -1 4202560 132 0 0 0 14 13 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253477956568 140253860006425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16038] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16038/stat : 16038 (java) R 16028 16031 14955 0 -1 4202560 143 0 0 0 15 13 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253476904024 140253860006425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16040] ppid=16028 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16040/stat : 16040 (java) R 16028 16031 14955 0 -1 4202560 137 0 0 0 12 12 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253475851168 140253860006425 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16041] ppid=16028 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16041/stat : 16041 (java) R 16028 16031 14955 0 -1 4202560 136 0 0 0 14 13 0 0 20 0 20 0 3443050 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253474798936 140253860000672 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16042] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16042/stat : 16042 (java) S 16028 16031 14955 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3443052 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253081829920 140253874988757 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16043] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16043/stat : 16043 (java) S 16028 16031 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3443053 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253080777696 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16044] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16044/stat : 16044 (java) S 16028 16031 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3443053 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253079725040 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16045] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16045/stat : 16045 (java) S 16028 16031 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3443057 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253078673616 140253874997147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16046] ppid=16028 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16046/stat : 16046 (java) S 16028 16031 14955 0 -1 1077944384 1292 0 0 0 27 0 0 0 20 0 20 0 3443057 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253077621232 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16047] ppid=16028 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16047/stat : 16047 (java) S 16028 16031 14955 0 -1 1077944384 780 0 0 0 26 0 0 0 20 0 20 0 3443057 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253076568688 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16048] ppid=16028 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16048/stat : 16048 (java) S 16028 16031 14955 0 -1 1077944384 732 0 0 0 27 0 0 0 20 0 20 0 3443057 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253075516144 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16049] ppid=16028 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 1510 0 0 0 37 0 0 0 20 0 20 0 3443057 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253074461104 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443058 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443058 11162247168 121309 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 10900632
[startup+3.10111 s]
/proc/loadavg: 5.60 7.23 6.21 10/283 16051
/proc/meminfo: memFree=30579868/32770624 swapFree=6580/74400
[pid=16031] ppid=16028 vsize=10900632 CPUtime=12.55 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 15594 0 0 0 1009 246 0 0 20 0 20 0 3443048 11162247168 193747 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2725158 193747 3131 1 0 2713552 0
[pid=16031/tid=16032] ppid=16028 vsize=10900632 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) S 16028 16031 14955 0 -1 1077944384 6090 0 0 0 148 6 0 0 20 0 20 0 3443048 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253879214128 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) R 16028 16031 14955 0 -1 4202560 457 0 0 0 86 30 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253835938184 140253860000123 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) R 16028 16031 14955 0 -1 4202560 396 0 0 0 88 28 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253481114120 140253860004194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) R 16028 16031 14955 0 -1 4202560 370 0 0 0 88 29 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253480061576 140253860022643 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16036] ppid=16028 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16036/stat : 16036 (java) R 16028 16031 14955 0 -1 4202560 414 0 0 0 86 30 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253479009032 140253860022961 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16037] ppid=16028 vsize=10900632 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16037/stat : 16037 (java) R 16028 16031 14955 0 -1 4202560 382 0 0 0 87 29 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253477956488 140253860022610 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16038] ppid=16028 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16038/stat : 16038 (java) R 16028 16031 14955 0 -1 4202560 499 0 0 0 87 28 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253476903944 140253860019660 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16040] ppid=16028 vsize=10900632 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16040/stat : 16040 (java) R 16028 16031 14955 0 -1 4202560 370 0 0 0 84 27 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253475851480 140253860002254 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16041] ppid=16028 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16041/stat : 16041 (java) R 16028 16031 14955 0 -1 4202560 389 0 0 0 87 30 0 0 20 0 20 0 3443050 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253474798856 140253860004144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16042] ppid=16028 vsize=10900632 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16042/stat : 16042 (java) S 16028 16031 14955 0 -1 1077944384 499 0 0 0 33 0 0 0 20 0 20 0 3443052 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253081829920 140253874988757 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16043] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16043/stat : 16043 (java) S 16028 16031 14955 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3443053 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253080777696 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16044] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16044/stat : 16044 (java) S 16028 16031 14955 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3443053 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253079725040 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16045] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16045/stat : 16045 (java) S 16028 16031 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3443057 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253078673616 140253874997147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16046] ppid=16028 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16046/stat : 16046 (java) S 16028 16031 14955 0 -1 1077944384 1301 0 0 0 31 0 0 0 20 0 20 0 3443057 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253077621232 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16047] ppid=16028 vsize=10900632 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16047/stat : 16047 (java) S 16028 16031 14955 0 -1 1077944384 787 0 0 0 28 0 0 0 20 0 20 0 3443057 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253076568688 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16048] ppid=16028 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16048/stat : 16048 (java) S 16028 16031 14955 0 -1 1077944384 736 0 0 0 31 0 0 0 20 0 20 0 3443057 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253075516144 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16049] ppid=16028 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 1534 0 0 0 39 0 0 0 20 0 20 0 3443057 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253074463600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443058 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3443058 11162247168 193747 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 10900632
[startup+6.30078 s]
################
# More data... #
################
[pid=16031/tid=16049] ppid=16028 vsize=10967196 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 4899 0 0 0 54 0 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253074463600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3443058 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=10967196 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 2078 0 0 0 61 73 0 0 20 0 21 0 3443058 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16052] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16052/stat : 16052 (java) S 16028 16031 14955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3444418 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253071303600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 2360.42
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2301.9 s]
/proc/loadavg: 1.19 1.15 2.00 2/258 16290
/proc/meminfo: memFree=27916784/32770624 swapFree=6580/76956
[pid=16031] ppid=16028 vsize=10967196 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 209210 0 0 0 238402 1600 0 0 20 0 21 0 3443048 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2741799 1041076 3162 1 0 2730193 0
[pid=16031/tid=16032] ppid=16028 vsize=10967196 CPUtime=2283.55 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) R 16028 16031 14955 0 -1 4202560 122931 0 0 0 228332 23 0 0 20 0 21 0 3443048 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253879217576 140253517069000 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=10967196 CPUtime=13.31 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 7802 0 0 0 1142 189 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=10967196 CPUtime=13.44 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 4647 0 0 0 1157 187 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=10967196 CPUtime=13.39 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 5183 0 0 0 1147 192 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16036] ppid=16028 vsize=10967196 CPUtime=13.34 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16036/stat : 16036 (java) S 16028 16031 14955 0 -1 1077944384 5741 0 0 0 1143 191 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253479008912 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16037] ppid=16028 vsize=10967196 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16037/stat : 16037 (java) S 16028 16031 14955 0 -1 1077944384 5947 0 0 0 1136 192 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253477956368 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16038] ppid=16028 vsize=10967196 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16038/stat : 16038 (java) S 16028 16031 14955 0 -1 1077944384 4251 0 0 0 1140 180 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253476903824 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16040] ppid=16028 vsize=10967196 CPUtime=13.41 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16040/stat : 16040 (java) S 16028 16031 14955 0 -1 1077944384 5595 0 0 0 1168 173 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253475851280 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16041] ppid=16028 vsize=10967196 CPUtime=13.42 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16041/stat : 16041 (java) S 16028 16031 14955 0 -1 1077944384 6310 0 0 0 1146 196 0 0 20 0 21 0 3443050 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253474798736 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16042] ppid=16028 vsize=10967196 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16042/stat : 16042 (java) S 16028 16031 14955 0 -1 1077944384 12426 0 0 0 359 3 0 0 20 0 21 0 3443052 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253081831408 140253874989698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16043] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16043/stat : 16043 (java) S 16028 16031 14955 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 3443053 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253080777696 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16044] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16044/stat : 16044 (java) S 16028 16031 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 21 0 3443053 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253079725056 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16045] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16045/stat : 16045 (java) S 16028 16031 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253078673616 140253874997147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16046] ppid=16028 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16046/stat : 16046 (java) S 16028 16031 14955 0 -1 1077944384 7703 0 0 0 135 2 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253077621232 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16047] ppid=16028 vsize=10967196 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16047/stat : 16047 (java) S 16028 16031 14955 0 -1 1077944384 8876 0 0 0 162 1 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253076568688 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16048] ppid=16028 vsize=10967196 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16048/stat : 16048 (java) S 16028 16031 14955 0 -1 1077944384 3306 0 0 0 100 1 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253075516144 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16049] ppid=16028 vsize=10967196 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 4909 0 0 0 54 0 0 0 20 0 21 0 3443057 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253074463600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3443058 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=10967196 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 2117 0 0 0 62 74 0 0 20 0 21 0 3443058 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16052] ppid=16028 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16052/stat : 16052 (java) S 16028 16031 14955 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3444418 11230408704 1041076 33554432000 4194304 4196468 140735418702448 140253071303600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16031 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2302.01 s]
/proc/loadavg: 1.19 1.15 2.00 2/258 16290
/proc/meminfo: memFree=27916784/32770624 swapFree=6580/76956
[pid=16031] ppid=16028 vsize=11166888 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 210097 0 0 0 238403 1600 0 0 20 0 22 0 3443048 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2791722 1041157 3164 1 0 2780116 0
[pid=16031/tid=16032] ppid=16028 vsize=11166888 CPUtime=2283.55 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) S 16028 16031 14955 0 -1 1077944384 123026 0 0 0 228332 23 0 0 20 0 22 0 3443048 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253879221424 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=11166888 CPUtime=13.31 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 7802 0 0 0 1142 189 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=11166888 CPUtime=13.44 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 4647 0 0 0 1157 187 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=11166888 CPUtime=13.39 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 5183 0 0 0 1147 192 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16036] ppid=16028 vsize=11166888 CPUtime=13.34 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16036/stat : 16036 (java) S 16028 16031 14955 0 -1 1077944384 5741 0 0 0 1143 191 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253479008912 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16037] ppid=16028 vsize=11166888 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16037/stat : 16037 (java) S 16028 16031 14955 0 -1 1077944384 5947 0 0 0 1136 192 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253477956368 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16038] ppid=16028 vsize=11166888 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16038/stat : 16038 (java) S 16028 16031 14955 0 -1 1077944384 4251 0 0 0 1140 180 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253476903824 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16040] ppid=16028 vsize=11166888 CPUtime=13.41 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16040/stat : 16040 (java) S 16028 16031 14955 0 -1 1077944384 5595 0 0 0 1168 173 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253475851280 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16041] ppid=16028 vsize=11166888 CPUtime=13.42 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16041/stat : 16041 (java) S 16028 16031 14955 0 -1 1077944384 6310 0 0 0 1146 196 0 0 20 0 22 0 3443050 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253474798736 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16042] ppid=16028 vsize=11166888 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16042/stat : 16042 (java) S 16028 16031 14955 0 -1 1077944384 12458 0 0 0 359 3 0 0 20 0 22 0 3443052 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253081831408 140253874989698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16043] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16043/stat : 16043 (java) S 16028 16031 14955 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 22 0 3443053 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253080777696 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16044] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16044/stat : 16044 (java) S 16028 16031 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 22 0 3443053 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253079725056 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16045] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16045/stat : 16045 (java) S 16028 16031 14955 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 22 0 3443057 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253078673616 140253874997147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16046] ppid=16028 vsize=11166888 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16046/stat : 16046 (java) S 16028 16031 14955 0 -1 1077944384 7703 0 0 0 135 2 0 0 20 0 22 0 3443057 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253077621232 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16047] ppid=16028 vsize=11166888 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16047/stat : 16047 (java) S 16028 16031 14955 0 -1 1077944384 8876 0 0 0 162 1 0 0 20 0 22 0 3443057 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253076568688 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16048] ppid=16028 vsize=11166888 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16048/stat : 16048 (java) S 16028 16031 14955 0 -1 1077944384 3306 0 0 0 100 1 0 0 20 0 22 0 3443057 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253075516144 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16049] ppid=16028 vsize=11166888 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 5038 0 0 0 55 0 0 0 20 0 22 0 3443057 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253074463600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3443058 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=11166888 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 2117 0 0 0 62 74 0 0 20 0 22 0 3443058 11434893312 1041157 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 11166888
[startup+2302.2 s]
/proc/loadavg: 1.19 1.15 2.00 2/258 16290
/proc/meminfo: memFree=27916784/32770624 swapFree=6580/76956
[pid=16031] ppid=16028 vsize=11166888 CPUtime=2400.19 cores=1,3,5,7,9,11,13,15
/proc/16031/stat : 16031 (java) S 16028 16031 14955 0 -1 1077944320 212047 0 0 0 238418 1601 0 0 20 0 22 0 3443048 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140735418684992 140253874978551 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
/proc/16031/statm: 2791722 1041173 3164 1 0 2780116 0
[pid=16031/tid=16032] ppid=16028 vsize=11166888 CPUtime=2283.55 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16032/stat : 16032 (java) S 16028 16031 14955 0 -1 1077944384 123026 0 0 0 228332 23 0 0 20 0 22 0 3443048 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253879221424 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16033] ppid=16028 vsize=11166888 CPUtime=13.31 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16033/stat : 16033 (java) S 16028 16031 14955 0 -1 1077944384 7802 0 0 0 1142 189 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253835938064 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16034] ppid=16028 vsize=11166888 CPUtime=13.44 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16034/stat : 16034 (java) S 16028 16031 14955 0 -1 1077944384 4647 0 0 0 1157 187 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253481114000 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16035] ppid=16028 vsize=11166888 CPUtime=13.39 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16035/stat : 16035 (java) S 16028 16031 14955 0 -1 1077944384 5183 0 0 0 1147 192 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253480061456 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16036] ppid=16028 vsize=11166888 CPUtime=13.34 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16036/stat : 16036 (java) S 16028 16031 14955 0 -1 1077944384 5741 0 0 0 1143 191 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253479008912 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16037] ppid=16028 vsize=11166888 CPUtime=13.28 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16037/stat : 16037 (java) S 16028 16031 14955 0 -1 1077944384 5947 0 0 0 1136 192 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253477956368 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16038] ppid=16028 vsize=11166888 CPUtime=13.2 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16038/stat : 16038 (java) S 16028 16031 14955 0 -1 1077944384 4251 0 0 0 1140 180 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253476903824 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16040] ppid=16028 vsize=11166888 CPUtime=13.41 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16040/stat : 16040 (java) S 16028 16031 14955 0 -1 1077944384 5595 0 0 0 1168 173 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253475851280 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16041] ppid=16028 vsize=11166888 CPUtime=13.42 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16041/stat : 16041 (java) S 16028 16031 14955 0 -1 1077944384 6310 0 0 0 1146 196 0 0 20 0 22 0 3443050 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253474798736 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16042] ppid=16028 vsize=11166888 CPUtime=3.62 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16042/stat : 16042 (java) S 16028 16031 14955 0 -1 1077944384 12458 0 0 0 359 3 0 0 20 0 22 0 3443052 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253081831408 140253874989698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16043] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16043/stat : 16043 (java) S 16028 16031 14955 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 22 0 3443053 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253080777696 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16044] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16044/stat : 16044 (java) S 16028 16031 14955 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 22 0 3443053 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253079725056 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16045] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16045/stat : 16045 (java) S 16028 16031 14955 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 22 0 3443057 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253078673616 140253874997147 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16046] ppid=16028 vsize=11166888 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16046/stat : 16046 (java) S 16028 16031 14955 0 -1 1077944384 8064 0 0 0 137 2 0 0 20 0 22 0 3443057 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253077621232 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16047] ppid=16028 vsize=11166888 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16047/stat : 16047 (java) S 16028 16031 14955 0 -1 1077944384 9127 0 0 0 162 1 0 0 20 0 22 0 3443057 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253076568688 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16048] ppid=16028 vsize=11166888 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16048/stat : 16048 (java) R 16028 16031 14955 0 -1 4202560 3692 0 0 0 102 1 0 0 20 0 22 0 3443057 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253075516440 140253856522274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16049] ppid=16028 vsize=11166888 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16049/stat : 16049 (java) S 16028 16031 14955 0 -1 1077944384 5794 0 0 0 55 1 0 0 20 0 22 0 3443057 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253074463600 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16050] ppid=16028 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16050/stat : 16050 (java) S 16028 16031 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3443058 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253073410272 140253874988757 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
[pid=16031/tid=16051] ppid=16028 vsize=11166888 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/16031/task/16051/stat : 16051 (java) S 16028 16031 14955 0 -1 1077944384 2117 0 0 0 62 74 0 0 20 0 22 0 3443058 11434893312 1041173 33554432000 4194304 4196468 140735418702448 140253072357808 140253874989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30404608 140735418705067 140735418705220 140735418705220 140735418707919 0
Current children cumulated CPU time (s) 2400.19
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2302.24
CPU time (s): 2400.25
CPU user time (s): 2384.21
CPU system time (s): 16.0387
CPU usage (%): 104.257
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2384.21
system time used= 16.0387
maximum resident set size= 4165104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54947
involuntary context switches= 128592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.275 second user time and 18.1317 second system time
The end