runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7098 MiB free)
memory of node 1: 16384 MiB (13214 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292848-1532296193/watcher-4292848-1532296193 -o /tmp/evaluation-result-4292848-1532296193/solver-4292848-1532296193 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1409520345 -superng HOME/instance-4292848-1532296193.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16143, runsolver pid=16136
[startup+0.100085 s]*
/proc/loadavg: 1.44 1.59 1.48 2/217 16217
/proc/meminfo: memFree=20775396/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/16143/stat : 16143 (bash) S 16136 16143 16080 0 -1 4202496 877 5672 0 0 0 0 0 1 20 0 1 0 47182526 115974144 403 33554432000 4194304 5098028 140724405580256 140724405574264 139728895101952 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 10657792 140724405585045 140724405585192 140724405585192 140724405587950 0
/proc/16143/statm: 28314 403 319 221 0 119 0
[pid=16195] ppid=16143 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/16195/stat : 16195 (bash) S 16143 16143 16080 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 47182530 115974144 179 33554432000 4194304 5098028 140724405580256 140724405572936 139728894927484 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10657792 140724405585045 140724405585192 140724405585192 140724405587950 0
/proc/16195/statm: 28314 179 95 221 0 119 0
[pid=16198] ppid=16195 vsize=113492 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/16198/stat : 16198 (awk) S 16195 16143 16080 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 47182530 116215808 308 33554432000 4194304 4609284 140721800942384 140721800941560 139923241856000 0 0 4096 1216 18446744071580971376 0 0 17 2 0 0 0 0 0 6708720 6711756 33431552 140721800951123 140721800951153 140721800951153 140721800953839 0
/proc/16198/statm: 28373 308 255 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3560 KiB
[startup+0.210799 s]*
/proc/loadavg: 1.44 1.59 1.48 6/223 16275
/proc/meminfo: memFree=20750828/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10818856 memory=37188 CPUtime=0.22 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 6497 12986 0 0 13 1 5 3 20 0 15 0 47182526 11078508544 9297 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2704714 9297 2954 1 0 2667149 0
[pid=16143/tid=16249] ppid=16136 vsize=10818856 memory=4871374705135476842 CPUtime=0.16 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 3126 12986 0 0 8 0 5 3 20 0 15 0 47182538 11078508544 9297 33554432000 4194304 4196468 140725122273264 140314313445056 140314326787167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10818856 memory=4211973517604937098 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11078508544 9297 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10818856 memory=139791400146560 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11078508544 9297 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182539 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10818856 memory=139791400146560 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 47182541 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313665856928 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182541 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313226110448 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10818856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 508 12986 0 0 1 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 76 12986 0 0 0 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10818856 memory=139791400146560 CPUtime=0.1 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 560 12986 0 0 2 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10818856 memory=139791400146560 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182544 11078508544 9297 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 37188 KiB
[startup+0.311101 s]*
/proc/loadavg: 1.44 1.59 1.48 5/223 16275
/proc/meminfo: memFree=20724408/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10819352 memory=48264 CPUtime=0.36 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 9583 12986 0 0 26 2 5 3 20 0 15 0 47182526 11079016448 12066 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2704846 12066 3085 1 0 2667157 0
[pid=16143/tid=16249] ppid=16136 vsize=10819352 memory=4871374705135476842 CPUtime=0.26 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 6213 12986 0 0 17 1 5 3 20 0 15 0 47182538 11079016448 12066 33554432000 4194304 4196468 140725122273264 140314313432048 140314325701982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10819352 memory=3471342187720984240 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 12066 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10819352 memory=139791400162696 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 12066 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10819352 memory=279582507014512 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313665856928 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313226110448 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 509 12986 0 0 1 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 76 12986 0 0 1 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10819352 memory=139791400146560 CPUtime=0.12 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 584 12986 0 0 4 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10819352 memory=139791400146560 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 12066 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 48264 KiB
[startup+0.700753 s]
/proc/loadavg: 1.44 1.59 1.48 4/223 16275
/proc/meminfo: memFree=20696120/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10819352 memory=86372 CPUtime=0.97 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 16769 12986 0 0 84 5 5 3 20 0 15 0 47182526 11079016448 21593 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2704838 21593 3237 1 0 2667149 0
[pid=16143/tid=16249] ppid=16136 vsize=10819352 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 12394 12986 0 0 53 3 5 3 20 0 15 0 47182538 11079016448 21593 33554432000 4194304 4196468 140725122273264 140314313416280 140314323185535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10819352 memory=279582506830368 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 21593 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10819352 memory=1860 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 21593 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10819352 memory=9672 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10819352 memory=18472 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182539 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10819352 memory=4048 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 5 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10819352 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 33 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313665856928 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10819352 memory=1240 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182541 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313226110448 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10819352 memory=648 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10819352 memory=956 CPUtime=0.17 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 1088 12986 0 0 9 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10819352 memory=2340 CPUtime=0.15 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 374 12986 0 0 7 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10819352 memory=1584 CPUtime=0.2 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 674 12986 0 0 12 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10819352 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10819352 memory=2236 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182544 11079016448 21593 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86372 KiB
[startup+1.5007 s]
/proc/loadavg: 1.44 1.59 1.48 4/223 16275
/proc/meminfo: memFree=20612880/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10834252 memory=178932 CPUtime=2.21 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 24494 12986 0 0 203 10 5 3 20 0 15 0 47182526 11094274048 44733 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2708563 44733 3469 1 0 2670221 0
[pid=16143/tid=16249] ppid=16136 vsize=10834252 memory=6944656592387989600 CPUtime=1.39 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 18119 12986 0 0 125 6 5 3 20 0 15 0 47182538 11094274048 44733 33554432000 4194304 4196468 140725122273264 140314313451744 140314341643421 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10834252 memory=-7595718316223324558 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 189 12986 0 0 1 0 5 3 20 0 15 0 47182539 11094274048 44733 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10834252 memory=279582506746096 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 27 12986 0 0 1 0 5 3 20 0 15 0 47182539 11094274048 44733 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 21 12986 0 0 1 0 5 3 20 0 15 0 47182539 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 68 12986 0 0 0 0 5 3 20 0 15 0 47182539 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 331 12986 0 0 1 0 5 3 20 0 15 0 47182541 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 34 12986 0 0 0 0 5 3 20 0 15 0 47182541 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313665856992 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10834252 memory=139791253413936 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182541 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313226110464 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10834252 memory=641 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10834252 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 1240 12986 0 0 21 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10834252 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) R 16136 16143 16080 0 -1 4202560 829 12986 0 0 19 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313631246448 140314323146664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10834252 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 1440 12986 0 0 30 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 1 12986 0 0 0 0 5 3 20 0 15 0 47182544 11094274048 44733 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 2.21 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 178932 KiB
[startup+3.11078 s]
/proc/loadavg: 1.44 1.59 1.48 8/223 16275
################
# More data... #
################
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 67940 12986 0 0 237416 22 5 3 20 0 15 0 47182538 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314313455312 140313927048824 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.84 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 4710 12986 0 0 355 21 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10914144 memory=0 CPUtime=3.84 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 6590 12986 0 0 354 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.84 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 6504 12986 0 0 353 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.85 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 7297 12986 0 0 355 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10914144 memory=456340 CPUtime=2.98 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 7022 12986 0 0 273 17 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 38 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313665856992 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313226110464 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10914144 memory=4132 CPUtime=3.49 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 16546 12986 0 0 339 2 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10914144 memory=15916 CPUtime=3.55 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 14892 12986 0 0 344 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10914144 memory=456340 CPUtime=1.65 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 16886 12986 0 0 154 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10914144 memory=2196 CPUtime=1.38 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 775 12986 0 0 63 67 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 2402.26 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 456340 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.39 1.42 3/219 16529
/proc/meminfo: memFree=19978652/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10914144 memory=456340 CPUtime=2462.54 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 151993 12986 0 0 246072 174 5 3 20 0 15 0 47182526 11176083456 114085 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2728536 114085 3523 1 0 2690189 0
[pid=16143/tid=16249] ppid=16136 vsize=10914144 memory=456340 CPUtime=2434.23 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 68243 12986 0 0 243393 22 5 3 20 0 15 0 47182538 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314313456272 140313927138768 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.94 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 4713 12986 0 0 365 21 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.93 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 6675 12986 0 0 363 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.94 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 6507 12986 0 0 363 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.95 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 7312 12986 0 0 365 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.05 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 7194 12986 0 0 280 17 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 38 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313665856992 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313226110464 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.49 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 16546 12986 0 0 339 2 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.55 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 14892 12986 0 0 344 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10914144 memory=4132 CPUtime=1.65 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 16886 12986 0 0 154 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10914144 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10914144 memory=2196 CPUtime=1.41 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 791 12986 0 0 64 69 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 2462.54 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 456340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2499.51 s]
/proc/loadavg: 1.29 1.36 1.41 3/219 16530
/proc/meminfo: memFree=19978964/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10914144 memory=456340 CPUtime=2520.02 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 153095 12986 0 0 251817 177 5 3 20 0 15 0 47182526 11176083456 114085 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2728536 114085 3523 1 0 2690189 0
[pid=16143/tid=16249] ppid=16136 vsize=10914144 memory=456340 CPUtime=2491.24 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 68717 12986 0 0 249093 23 5 3 20 0 15 0 47182538 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314313455952 140313928503429 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.04 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 4729 12986 0 0 374 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.03 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 6925 12986 0 0 372 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.03 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 6642 12986 0 0 372 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.04 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 7328 12986 0 0 374 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.11 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 7382 12986 0 0 286 17 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 38 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313665856992 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313226110464 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.49 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 16548 12986 0 0 339 2 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.55 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 14894 12986 0 0 344 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10914144 memory=1240 CPUtime=1.65 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 16888 12986 0 0 154 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10914144 memory=648 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10914144 memory=956 CPUtime=1.44 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 808 12986 0 0 67 69 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 456340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2499.53 s]
# the end of solver process 16143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.25 s, system=1.81362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2499.51 s]
/proc/loadavg: 1.29 1.36 1.41 3/219 16530
/proc/meminfo: memFree=19978964/32770624 swapFree=67108860/67108860
[pid=16143] ppid=16136 vsize=10914144 memory=456340 CPUtime=2520.02 cores=0,2,4,6
/proc/16143/stat : 16143 (java) S 16136 16143 16080 0 -1 1077944320 153095 12986 0 0 251817 177 5 3 20 0 15 0 47182526 11176083456 114085 33554432000 4194304 4196468 140725122273264 140725122255808 140314341621495 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
/proc/16143/statm: 2728536 114085 3523 1 0 2690189 0
[pid=16143/tid=16249] ppid=16136 vsize=10914144 memory=456340 CPUtime=2491.24 cores=0,2,4,6
/proc/16143/task/16249/stat : 16249 (java) R 16136 16143 16080 0 -1 4202560 68717 12986 0 0 249093 23 5 3 20 0 15 0 47182538 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314313455952 140313928503429 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16251] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.04 cores=0,2,4,6
/proc/16143/task/16251/stat : 16251 (java) S 16136 16143 16080 0 -1 1077944384 4729 12986 0 0 374 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314345863440 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16253] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.03 cores=0,2,4,6
/proc/16143/task/16253/stat : 16253 (java) S 16136 16143 16080 0 -1 1077944384 6925 12986 0 0 372 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140314234136976 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16254] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.03 cores=0,2,4,6
/proc/16143/task/16254/stat : 16254 (java) S 16136 16143 16080 0 -1 1077944384 6642 12986 0 0 372 23 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313913977360 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16256] ppid=16136 vsize=10914144 memory=456340 CPUtime=4.04 cores=0,2,4,6
/proc/16143/task/16256/stat : 16256 (java) S 16136 16143 16080 0 -1 1077944384 7328 12986 0 0 374 22 5 3 20 0 15 0 47182539 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313912924816 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16258] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.11 cores=0,2,4,6
/proc/16143/task/16258/stat : 16258 (java) S 16136 16143 16080 0 -1 1077944384 7382 12986 0 0 286 17 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313666910704 140314341632642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16260] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16260/stat : 16260 (java) S 16136 16143 16080 0 -1 1077944384 38 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313665856992 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16262] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16262/stat : 16262 (java) S 16136 16143 16080 0 -1 1077944384 2 12986 0 0 0 0 5 3 20 0 15 0 47182541 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313226110464 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16264] ppid=16136 vsize=10914144 memory=456340 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16264/stat : 16264 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312918710992 140314341640091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16266] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.49 cores=0,2,4,6
/proc/16143/task/16266/stat : 16266 (java) S 16136 16143 16080 0 -1 1077944384 16548 12986 0 0 339 2 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313632298992 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16267] ppid=16136 vsize=10914144 memory=456340 CPUtime=3.55 cores=0,2,4,6
/proc/16143/task/16267/stat : 16267 (java) S 16136 16143 16080 0 -1 1077944384 14894 12986 0 0 344 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313631246448 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16268] ppid=16136 vsize=10914144 memory=1240 CPUtime=1.65 cores=0,2,4,6
/proc/16143/task/16268/stat : 16268 (java) S 16136 16143 16080 0 -1 1077944384 16888 12986 0 0 154 3 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313630193904 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16272] ppid=16136 vsize=10914144 memory=648 CPUtime=0.08 cores=0,2,4,6
/proc/16143/task/16272/stat : 16272 (java) S 16136 16143 16080 0 -1 1077944384 3 12986 0 0 0 0 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140312885152352 140314341631701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
[pid=16143/tid=16274] ppid=16136 vsize=10914144 memory=956 CPUtime=1.44 cores=0,2,4,6
/proc/16143/task/16274/stat : 16274 (java) S 16136 16143 16080 0 -1 1077944384 808 12986 0 0 67 69 5 3 20 0 15 0 47182544 11176083456 114085 33554432000 4194304 4196468 140725122273264 140313306852144 140314341632642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12533760 140725122275499 140725122278748 140725122278748 140725122281423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 456340 KiB
Child status: 143
Real time (s): 2499.53
CPU time (s): 2520.06
CPU user time (s): 2518.25
CPU system time (s): 1.81362
CPU usage (%): 100.821
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 751832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.25
system time used= 1.81362
maximum resident set size= 754936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167095
page faults= 0
swaps= 0
block input operations= 1400
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122215
involuntary context switches= 6013
# summary of solver processes directly reported to runsolver:
# pid: 16143
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.25
# total CPU system time (s): 1.81362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.995 second user time and 24.2221 second system time
The end